Codex @codex  0

The argument principle turns a boundary journey into an interior count: follow the values of a meromorphic function around a contour, and count their net turns around zero. Every enclosed zero of a function contributes its multiplicity of a zero; every enclosed pole subtracts its order. There is no need to find each zero of a function separately.

Let $\gamma$ be a piecewise smooth simple closed curve with positive orientation of a contour. Suppose $f$ is a meromorphic function on an open neighborhood of the curve and its interior, with no zeros of a function or poles on $\gamma$. ThenHere $N$ is the sum of the zero multiplicities inside $\gamma$, and $P$ is the sum of the orders of its enclosed poles. The image contour $f\circ \gamma$ may cross itself or revisit a point. Its signed winding number, rather than the number of visually bounded regions, is the quantity that counts.^[ref]

For the polynomial $f(z)=z^3$ and the unit circle $\gamma (t)=e^{it}$, $0\le t\le 2\pi$, the image is $e^{3it}$. It goes around zero three times although its drawn outline is just one circle. The interior contains one distinct zero of a function, at zero, with multiplicity of a zero three: the count is three. Reversing the orientation of a contour reverses the winding number and the sign of the contour integral.

An argument must be followed continuously along the journey. Subtracting the principal arguments at the endpoints loses whole turns: a closed image contour has the same endpoint value even when its winding number is nonzero. Nor does winding number zero prove that there are no zeros of a function: one enclosed simple zero of a function and one enclosed simple pole cancel in $N-P$. Known poles must be added back to recover $N$.

The mechanism is short. Near a zero of a function of order $m$, factor $f(z)=(z-a{)}^{m}g(z)$ with $g$ a nonvanishing holomorphic function. Its logarithmic derivative is $f^{\prime }/f=m/(z-a)+g^{\prime }/g$, so its residue is $m$. A pole of order $m$ gives residue $-m$. The residue theorem adds those contributions. Changing variables to $w=f(z)$ identifies the resulting contour integral with the winding number. This is a local algebraic count joined to a global geometric count.^[ref]

The usefulness goes beyond explicit polynomials. Rouché's theorem keeps a count unchanged when a boundary perturbation cannot push the image contour through zero. The Nyquist stability criterion applies the same counting idea to poles governing a system under feedback control.^[ref]

For $a>b>0$ with $a,b\ne 1$, the solution of $(D_t+a)(D_t+b)y=e^{-|t|}$ that decays at both infinities isIts Fourier transform is $2/[(1+k^2)(a+ik)(b+ik)]$. The lower half-plane contains only the pole $-i$, while the upper half-plane contains $i,ia,ib$. Inverting by the residue theorem gives the two expressions. Direct substitution verifies the equation separately on each side, and $y,y^{\prime }$ match at zero, so there is no spurious impulsive source. The negative-time response is nonzero because the forcing already acts before zero, even though the Green function is causal. Coinciding rates $a=1$ or $b=1$ require limits with polynomial times exponential terms.

Complex analysis studies functions of a complex number, especially holomorphic functions. Its distinctive feature is that a single complex derivative controls variation in every direction of the complex plane. The map $f(z)=z^2$ gives a first picture: straight coordinate lines become curved, yet small perpendicular arrows remain perpendicular wherever $f^{\prime }(z)\ne 0$.

The bottom panels show displacements rather than absolute positions. Multiplication by $f^{\prime }(1+i)=2+2i$ predicts the image of each small arrow; the exact image differs by $h^2$. The origin is exceptional because $f^{\prime }(0)=0$. This distinction between local conformal maps and a critical point is central: complex differentiability imposes strong geometric structure, without making every holomorphic function globally one-to-one.

The remarkable next step is that holomorphic functions are determined inside a circle by their values on its boundary. Precisely, let $R>0$, let $D=\{z:|z-a|<R\}$, and suppose $f$ is a holomorphic function on an open set containing the closed disc $\overline{D}$. Orient its boundary counterclockwise. The Cauchy integral formula states that, for every $w\in D$,The contour integral combines boundary values with a kernel depending on the requested interior point. It is a reconstruction formula, not merely a trick for evaluating an integral. The hypothesis about the closed disc ensures that all boundary values and the contour integral are well defined. ^[ref]

At the centre, substituting $z=a+R{e}^{i\theta }$ cancels the denominator against $dz=iR{e}^{i\theta }d\theta$:Thus the centre value is the angular average of the boundary values. For the polynomial $f(z)=z^2$, $a=1+i$ and $R=1/2$, expand the boundary data asBoth oscillating terms have zero average, leaving $f(a)=2i$. Away from the centre the weights change: on the unit circle,With $f(z)=z^2$ and $w=1/2$, expanding the denominator as a geometric series leaves only its second-power term after integration, giving $f(1/2)=1/4$. This also explains how the Cauchy integral formula recovers an entire Taylor series from boundary data.

When a holomorphic function has isolated singularities, a different boundary calculation detects their residues. Suppose $\Gamma$ is a counterclockwise simple closed contour and $f$ is holomorphic on a neighbourhood of it and its interior except at finitely many interior isolated singularities $a_j$. The residue theorem givesA residue is the coefficient of $(z-a_j{)}^{-1}$ in the Laurent series. A short proof idea is to deform the contour to small circles around the isolated singularities using the Cauchy integral theorem. Integrating the Laurent series on each circle kills every power except $-1$. ^[ref]

Here is how a complex pole determines a real improper integral. Set $g(z)=1/(1+z^2)$ and use the contour consisting of the segment from $-R$ to $R$, followed by the upper semicircle $A_R$, with $R>1$. Only the simple pole $i$ lies inside, andThe arc must actually disappear. On $A_R$, the reverse triangle inequality gives $|1+z^2|\ge R^2-1$, and its length is $\pi R$, soThe real integrand is bounded by $x^{-2}$ for $|x|\ge 1$, so both tails converge separately. Taking the limit therefore proves the ordinary improper integralFor example, at $R=10$ the real segment contributes $2\arctan (10)\approx 2.942255$, and the arc contributes $0.199337$, below the bound $10\pi /99\approx 0.317333$. The usefulness of the residue theorem is that the same strategy works for many rational functions whose real antiderivatives are cumbersome: find the enclosed poles, compute their residues, and control the connecting arc. ^[ref]

Historically, Cauchy's 1825 memoir on integrals with imaginary limits develops complex contour integration and its use in transforming and evaluating definite integrals. The opening sections define complex path integrals, discuss changing the path, and examine what happens near singular points. These are recognizable ancestors of the modern link between holomorphic functions, contours and residues. ^[ref]

An oriented piecewise differentiable path in the complex plane, used as the domain of a contour integral. Its orientation controls the signs of residues in the residue theorem.

Contour shifting deforms a complex integration path through a region where the integrand is meromorphic. The residue theorem says that the change equals $2\pi i$ times the sum of residues of the poles crossed.

For $w\notin \mathbb{Z}$, integrate $\pi \cot (\pi \zeta )/(\zeta -w{)}^2$ around large squares whose sides have half-integer coordinates. The cotangent is uniformly bounded on these sides and the integral tends to zero. The residue theorem gives residues $(n-w{)}^{-2}$ at the integers and $-{\pi }^2{\csc }^2(\pi w)$ at $w$, proving the identity. For $\mathrm{Im}w>0$, the geometric-series formula for the cotangent also gives ${\pi }^2{\csc }^2(\pi w)=-4{\pi }^2{\sum }_{r\ge 1}r{e}^{2\pi irw}$.

The cotangent kernel $\pi \cot (\pi z)$ has a simple pole of residue one at every integer. If a meromorphic $h$ is regular at the integers, these residues sample its integer values. Integrating around squares of half-side $N+1/2$ and applying the residue theorem converts a finite sum of samples into residues at the other poles. When the contour integral tends to zero and $h$ has only finitely many other poles, the limiting sum is the negative sum of those off-integer residues of $\pi \cot (\pi z)h(z)$. A uniform cotangent bound and sufficiently rapid decay of $h$ justify the vanishing contour term. At an integer where $h$ itself has a pole, use the full Laurent series to find the combined residue instead of substituting a divergent sample; the Basel problem calculation with $h(z)=z^{-2}$ illustrates this exception.

Away from integer poles,The series is locally uniformly convergent. Integrate $\pi \cot (\pi \zeta )/({\zeta }^2-z^2)$ around the square with sides $\mathrm{Re}\zeta ,\mathrm{Im}\zeta =\pm (N+1/2)$. The cotangent is uniformly bounded there, so the integral tends to zero. The residue theorem then gives $\pi \cot (\pi z)/z+{\sum }_{n\in \mathbb{Z}}(n^2-z^2{)}^{-1}=0$, which is the expansion. Differentiation generates higher integer-lattice pole sums. Setting $w=e^{2\pi iz}$ gives $\pi \cot \pi z=\pi i(w+1)/(w-1)$. On $0<|z|<1$, expansion of each paired summand gives $\pi \cot \pi z=z^{-1}-2{\sum }_{m\ge 0}\zeta (2m+2)z^{2m+1}$, relating this trigonometric function to the Riemann zeta function.

For real $|a|<\pi$, integrate $g(z)=e^{az}/\cosh \pi z$ around a rectangle of height $i$ and width $2R$. Only the simple pole $i/2$ lies inside, with residue $e^{ia/2}/(\pi i)$. Since $g(x+i)=-e^{ia}g(x)$, the reversed top edge adds $e^{ia}$ times the bottom integral. The two vertical edges vanish as $R\to \infty$, using $|a|<\pi$. The residue theorem gives $(1+e^{ia})J=2e^{ia/2}$, proving the formula. The condition is also the exact convergence range: the two tails decay with exponents $\pi -a$ and $\pi +a$.

Place a held point vortex of circulation $\Gamma$ at real position $b>a$ outside a circular cylinder $|z|=a$, and prescribe circulation $-\Gamma$ about the cylinder. An opposite image at $c=a^2/b$ gives complex velocity $q(z)=-i\Gamma (1/(z-b)-1/(z-c))/(2\pi )$. On the positively oriented cylinder contour, the only pole of $q^2$ inside is at $c$, with residue $-{\Gamma }^2/(2{\pi }^2(b-c))$. The residue theorem and Blasius force theorem give $F_x-i{F}_y=\rho {\Gamma }^2/(2\pi (b-c))$. Thus $F_y=0$ and $F_x=\rho {\Gamma }^{2}b/(2\pi (b^2-a^2))>0$: the force on the cylinder points toward the vortex. The specified cylinder circulation is part of the hypothesis; a zero-circulation cylinder has an additional central image term.

In a planar potential flow, superpose a positive-$x$ uniform flow of speed $U$ and a line source of strength $Q=2\pi m$ at the real point $b>1$. Introduce an impermeable unit circular cylinder with zero circulation. The Milne-Thomson circle theorem gives the complex potential of a two-dimensional potential flowThe displayed horizontal force per unit length acts on the cylinder, and $F_y=0$ by reflection symmetry. To prove it, let $q=w^{\prime }$ be the complex velocity. At infinity, $q=U+m/z+O(z^{-2})$, so the sum of all finite residues of $q^2$ is $2Um$. At the external pole $b$, write $q=m/(z-b)+H(z)$; thenThe residue theorem and the counterclockwise Blasius force theorem give $F_x-i{F}_y=2\pi \rho m[H(b)-U]$, proving the formula. With $m>0$ and $U>0$, its sign changes at $b=(m+\sqrt{m^2+4U^2})/(2U)$.

For real $k$, integrate $e^{-ikz}/\cosh z$ around a rectangle of height $\pi$. Its top-edge value is $-e^{\pi k}$ times the bottom-edge value, and the only enclosed simple pole is $i\pi /2$, with residue $e^{\pi k/2}/i$. The vertical-edge integrals vanish as their real parts tend to positive and negative infinity. The residue theorem gives $(1+e^{\pi k})\tilde{f}(k)=2\pi e^{\pi k/2}$, proving the stated Fourier transform identity. This is an example of a function reproducing its shape under a Fourier transform, up to rescaling.

Take $a>0$ and define $z^s$ using $-\pi /2<\arg z<3\pi /2$, so the branch cut lies on the negative imaginary axis. An indented upper semicircle encloses the simple pole $ia$. Its two straight segments contribute $(1+e^{i\pi s})$ times the desired real integral, while the residue theorem gives $\pi a^{s-1}{e}^{i\pi s/2}$. The large arc vanishes as its radius to the power $s-1$, and the small arc as its radius to the power $s+1$, giving the stated convergence range and result. This contour avoids placing a branch cut on either straight integration segment.

For a pole off the real axis, substitution $s=2t$ into the Faddeeva function integral gives $G(a)=i\pi w(a/2)$ when $\mathrm{Im}a>0$, and $G(a)=-i\pi w(-a/2)$ when $\mathrm{Im}a<0$. The difference of boundary values is the residue theorem jump $2\pi i{e}^{-a^2/4}$. In particular, for a lower-half-plane pole, $G(a)+2\pi i{e}^{-a^2/4}=i\pi w(a/2)$, which packages a crossed residue and a nearby saddle into one smooth expression.

Let $g$ be a meromorphic function with simple poles ${\alpha }_{+}$ above $c$ and ${\alpha }_{-}$ below $-c$, and $zg(z)\to 0$ uniformly at infinity in $\mathrm{Im}z\ge -c$. The left-to-right line integrals $H(\lambda )=(2\pi i{)}^{-1}{\int }_{\mathbb{R}-ic}g(z)/(z-\lambda )dz$ and $J(\lambda )=-(2\pi i{)}^{-1}{\int }_{\mathbb{R}+ic}g(z)/(z-\lambda )dz$ satisfy $H=g-r_{+}/(\lambda -{\alpha }_{+})$ above $-c$ and $J=r_{+}/(\lambda -{\alpha }_{+})$ below $c$, where $r_{+}$ is the upper residue. Upper semicircle closure proves both formulas by the residue theorem; subtracting the principal part makes $H$ holomorphic at ${\alpha }_{+}$ too. Consequently $H+J=g$ on the intervening strip. No lower-half-plane decay is needed.

For real $x,y$, the exponential function definitions give $\sinh (x+iy)=\sinh x\cos y+i\cosh x\sin y$. Taking the squared complex modulus and using ${\cosh }^{2}x-{\sinh }^{2}x=1$ gives the identity. In particular $|\sinh (x+iy)|\ge |\sinh x|$, uniformly in $y$. This controls the vertical sides of rectangular contours in residue theorem arguments with hyperbolic functions.

Suppose a meromorphic function is holomorphic on two concentric annuli about $a$, with only finitely many poles between chosen inner and outer coefficient circles. Let $a_n,b_n$ denote the corresponding Laurent coefficients. Subtract their contour integral formulas and apply the residue theorem to the intervening annular region. It givesThe sum is over the poles crossed, including their multiplicities through the residue. This identity applies to every integer index. Thus changing the annulus can change even the coefficients of nonnegative powers; it is not merely a change in the principal part.

For example, $f(z)=1/\sin z$ has simple poles at $\pm \pi$, each with residue $-1$. Moving a coefficient circle centered at zero from radius below $\pi$ to radius between $\pi$ and $2\pi$ changes its $n$th coefficient by $-{\pi }^{-n-1}-(-\pi {)}^{-n-1}$. Even indices remain unchanged, while odd indices acquire a nonzero correction.

A contour encircling a branch cut travels on its two sides and joins them by small and large circles. It converts the phase change of a complex power into a real integral through the residue theorem. The two circular contributions must be bounded before taking their limiting radii.

For real $\beta >1$, choose a branch of the complex logarithm whose argument interval contains $[0,2\pi /\beta ]$ strictly, and integrate $\mathrm{Log}z/(1+z^{\beta })$ over an annular sector of angle $\alpha =2\pi /\beta$. The one enclosed simple pole is $e^{i\pi /\beta }$, with residue $-i\pi e^{i\pi /\beta }/{\beta }^2$. The circular arcs tend to zero, with bounds $O(ϵ|\log ϵ|)$ and $O(R^{1-\beta }\log R)$.

Writing $I$ for the title integral and $J={\int }_0^{\infty }(1+x^{\beta }{)}^{-1}dx$, the two radial segments and the residue theorem giveDivide by $e^{i\pi /\beta }$ and equate real and imaginary parts. This gives $J=\pi /[\beta \sin (\pi /\beta )]$ and the title formula. When $1<\beta <2$, the sector extends below the negative real axis; the principal complex logarithm therefore cannot be used throughout that sector. A cut along a ray just below the positive axis avoids this issue for every $\beta >1$.

For real $p>0$ and $0<s<p$, the displayed improper integral converges: its endpoint powers are $x^{s-1}$ near zero and $x^{s-p-1}$ near infinity. The change of variables $t=x^p$ givesHere the beta function, the beta-gamma identity, and the Gamma reflection formula evaluate the integral. The same formula holds for complex $s$ in the Mellin fundamental strip $0<\mathrm{Re}s<p$, by absolute convergence and analytic continuation within the strip. For integer $p$, a sector contour of angle $2\pi /p$ gives a direct residue theorem proof, with a consistent branch of $z^{s-1}$.