Foundations — Residue theorem — computing real integrals

Before you can follow the parent note, you must be able to see every symbol it writes. Below, each symbol gets three things: plain words, the picture, and why the topic needs it. They are ordered so each one leans only on the ones above it.

1. The complex plane — where $z$ lives

• Plain words: $z$ is a location on a map, not a single number on a line.
• The picture: look at figure s01 — the black dot is $z=x+iy$; walk right by $x$, then up by $y$.
• Why the topic needs it: the whole trick is to leave the real road (where $y=0$) and travel through points with $y\ne 0$. Without a second dimension there is nowhere to bend the road into a loop.

Two shorthands the parent uses freely:

• Modulus $|z|$ ::: the straight-line distance from the origin to the point $z$, i.e. $|z|=\sqrt{x^2+y^2}$ — the length of the arrow.
• Polar form $z=\rho e^{i\theta }$ ::: same point, described by its distance $\rho =|z|$ and its angle $\theta$ from the positive real axis. Here $e^{i\theta }=\cos \theta +i\sin \theta$ is "the point on the unit circle at angle $\theta$."

2. The upper / lower half-plane

• Plain words: "above the road" vs "below the road."
• The picture: figure s02 — the red shaded region is the UHP; the real line is its floor.
• Why the topic needs it: the parent closes its loop with a semicircle in the UHP. That choice decides which poles are trapped inside. Get the half wrong and every sign flips — this is the first "common mistake" in the parent.

3. A function of a complex number — $f(z)$

• Plain words: a machine turning one map-point into another.
• The picture: think of it as a colour or height assigned to every point of the plane.
• Why the topic needs it: the "genius move" of the whole topic is that a hard real integral is only the restriction of an easy complex $f$ to the road. We extend, work in 2-D, then restrict back.

Why this word matters: the residue theorem's guarantee ("the arc contributes, the inside is a clean sum") only holds where $f$ is analytic. The only exceptional points are the poles — see next.

4. Poles and singularities — the "spikes"

• Plain words: a spot where the function shoots to infinity, like the height of $\frac{1}{x}$ at $x=0$.
• The picture: figure s03 shows $|f|$ as a landscape; each pole is a sharp spike poking up to infinity.
• Why the topic needs it: these spikes are the only things that make a closed loop's integral nonzero. Everything else cancels. Finding poles = finding where the denominator vanishes; that is why the parent always starts by solving $Q(z)=0$.

Finding poles of a rational function $\frac{P(z)}{Q(z)}$: solve $Q(z)=0$. For $z^2+1=0$ we get $z=\pm i$ — one spike in the UHP ($+i$), one in the LHP ($-i$). This is exactly the parent's first example.

5. Laurent series and the residue $c_{-1}$

• Plain words: the residue is one specific number pulled out of the spike's description — its "strength."
• Why this number and no other? Because when you integrate any pure power $(z-z_0{)}^n$ once around a small circle, every term averages to zero except $n=-1$. A full trip through angle $0\to 2\pi$ makes $e^{i(n+1)\theta }$ return to start (net zero) unless $n+1=0$. So the loop integral literally cannot see any coefficient but $c_{-1}$. The residue is "the part of the spike a loop can measure." (The parent proves this line-by-line in §1.)

The two shortcut formulas the parent uses:

You must be fluent with two prerequisite tools here: the derivative $\frac{d}{dz}$ (rate of change, needed for higher-order poles) and the limit ${\lim }_{z\to z_0}$ (the value approached, needed because $f$ itself is undefined at the spike). If either feels shaky, that is the gap to close first.

6. Contours, orientation, and $\oint$

• Plain words: a walk with a direction, drawn as an arrow-marked curve.
• The picture: figure s04 shows the parent's standard contour: a straight segment along the real road from $-\rho$ to $\rho$ (black), plus a big red semicircular arc ${\Gamma }_{\rho }$ closing it through the UHP. The arrow shows the walk goes counter-clockwise.
• Why the topic needs it: the residue theorem only applies to a closed loop. The real integral lives on the straight part; the arc is added purely to close the loop. We then argue the arc's contribution shrinks to zero, leaving the real integral alone.

Two consequences you will meet in the parent:

• The degree condition $\mathrm{deg}Q\ge \mathrm{deg}P+2$: this guarantees $|f|$ shrinks like $1/{\rho }^2$ on the arc, so the arc's contribution (length $\pi \rho$ times height $\sim 1/{\rho }^2$) tends to $0$. This is why the arc "dies."
• Jordan's Lemma: when the degree gap is only $1$ but there is an oscillating factor $e^{iaz}$, the exponential decay $|e^{iaz}|=e^{-a\rho \sin \theta }$ in the UHP kills the arc instead.

7. The theorem you are being equipped for

Everything above snaps together into the one boxed statement of the parent:

Read it now with your new vocabulary: "the loop integral ($\oint$) of an analytic function equals $2\pi i$ times the sum of the residues (spike strengths $c_{-1}$) of the poles trapped inside the contour." Every bold word is a picture you now own.

Prerequisite map

Follow the arrows: this page builds every box, so the final box (the theorem) rests on solid ground.

Equipment checklist

Test yourself — cover the right side and answer before revealing.

Connections

• Residue theorem — computing real integrals (the parent this page equips you for)
• Laurent Series & Classification of Singularities (formalises the series and residue $c_{-1}$)
• Cauchy's Integral Theorem & Formula (the loop-integral machinery underneath)
• Jordan's Lemma (why oscillatory arcs die)
• Contour Integration & Branch Cuts (more contour shapes)
• Principal Value Integrals (handling poles on the road)
• Argument Principle & Rouché's Theorem (counting poles and zeros)