4.10.2 · D1Advanced Topics (Elite Level)

Foundations — Complex integration — contour integrals

2,201 words10 min readBack to topic

Before you can read the parent note you must own nine building blocks. We install them one at a time, each one earning its place before the next. Never do we use a symbol we have not first drawn.


1. The complex number — a point, not a mystery

Figure — Complex integration — contour integrals

Look at the figure. The horizontal axis is the real axis (all the ordinary numbers). The vertical axis is the imaginary axis. The point is found by walking right and up. That is all does at this stage — it separates the up-part from the right-part so we never mix them.

= real part of , written
the horizontal coordinate.
= imaginary part, written
the vertical coordinate (the number multiplying ).

2. Modulus — the distance from home

Why do we need it? The parent note says things like " lies inside because ." That sentence is only readable if you know measures distance from the origin. The circle is literally "all points exactly away from home".


3. The special path — how we drive around a circle

Figure — Complex integration — contour integrals

In the figure, is the angle measured from the positive real axis. At we are at ; at we are at (straight up); at at ; at at .


4. A contour — the road you drive on

Figure — Complex integration — contour integrals

The figure shows two contours: a straight segment from to (used in the parent's Example 1), and a circular loop . A small (circle-on-the-integral) is used instead of when the road is a closed loop — you end where you started.

Symbol
the path/contour you integrate along.
Symbol
an integral over a closed loop.
your position at clock-time (the parametrisation).

5. The velocity and the arrow — the heart of it all

Why does direction matter? In ordinary calculus is a tiny scalar — a sliver of length. Here is a tiny complex number, so it has both a length and an angle. When we sum , each term multiplies the local value by the local step-arrow. This is why can never be forgotten — it's not decoration, it is the direction of the walk.


6. A function — the arrow you collect at each point

This split is exactly what lets the parent note apply real-calculus tools (Green's theorem) to a complex problem: it turns one complex integral into two real ones.

the real part of the output .
the imaginary part of the output .

7. Analytic — the "perfectly smooth field" condition


8. Pole, singularity, and residue — the "spikes"

For a simple pole of where but :


9. The magic constant — what one honest loop is worth

the value of one counterclockwise loop around a single simple spike of strength .

Prerequisite map

Complex number z = x + iy

Modulus abs z distance

Euler spinner e to the it

Contour gamma and z of t

Velocity z prime and step dz

Function f = u + iv

Analytic no swirl

Cauchy theorem loop = 0

Pole singularity

Residue leftover strength

Contour integral

Residue theorem 2 pi i sum Res

Each box must be solid before the next: you cannot understand without , and you cannot understand without and the plane .


Equipment checklist

What does represent geometrically?
A point (address) in the 2D complex plane; right, up.
What does measure and how is it computed?
Distance from the origin; .
Where does sit and where does it start/end for ?
On the unit circle; starts and ends at , sweeping once counterclockwise.
What is for , and what does the factor do?
; the rotates velocity so it is perpendicular to the position.
Why is never optional?
is a directed tiny arrow; its direction is the whole point of a 2D walk.
Split — what are and ?
Two ordinary real functions of : real and imaginary parts of the output.
What does "analytic" mean in one sentence?
The complex derivative exists and gives the same value from every direction (Cauchy–Riemann holds).
Why is not analytic?
Its derivative depends on the direction of the step, so Cauchy–Riemann fails.
What is a residue?
The coefficient of the term in the Laurent series — the "leftover strength" of a pole.
Residue at a simple pole of ?
.
What is one counterclockwise loop around a single unit-strength spike worth?
.

Connections