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]

A smoothed form of the summatory totient function satisfiesUse the Dirichlet series $\zeta (s-1)/\zeta (s)$ and the kernel $x^s/[s(s+1)]$ to write the left side as a vertical contour integral. Move the line from real part greater than two to $3/2$. The only crossed pole is at two, with residue $x^3/(6\zeta (2))=x^3/{\pi }^2$; the remaining vertical integral is $O(x^{5/2})$ by the standard zeta bounds in the half-strip. If $A(x)={\sum }_{n\le x}\phi (n)$ and $S(x)={\int }_0^{x}A(t)dt$, positivity of the summands makes $A$ nondecreasing. The backward and forward difference quotients of $S$ bound $A(x)$. Insert $S(x)\sim x^3/{\pi }^2$, then let the relative difference-quotient step tend to zero, proving the displayed asymptotic. This monotone integral Tauberian lemma justifies the passage from a smoothed estimate to an unsmoothed one.

Suppose $f$ is a holomorphic function on an open set containing the closed disc $|z-a|\le R$, with $R>0$. For any nonnegative integer $n$ and $|w-a|<R$, the counterclockwise boundary contour satisfiesThe case $n=0$ is the Cauchy integral formula. On a smaller closed disc, the denominator stays uniformly away from zero, allowing repeated differentiation under the contour integral. This proves that a holomorphic function has complex derivatives of every order. ^[ref]

At the centre, if $M={\max }_{|z-a|=R}|f(z)|$, taking absolute values gives the Cauchy estimate $|f^{(n)}(a)|\le n!M/R^n$. Boundary size therefore limits interior variation. For $f(z)=z^2$ on the unit disc, $M=1$, and the $n=2$ estimate is exact: $|f^{\prime \prime }(0)|=2$. This is one quantitative reason that holomorphic functions are so rigid.

A holomorphic function on an open neighbourhood of a closed triangle has zero contour integral around its boundary. Goursat's subdivision proof uses complex differentiability alone: repeatedly choose a quarter-size triangle carrying at least one quarter of the integral, and subtract the affine expansion at the limiting point. No continuity of the derivative is assumed.

This contour integral defines an analytic function away from the oriented integration curve, under the relevant integrability assumptions. Its limiting values across the curve are related by the Sokhotski–Plemelj theorem. On an oriented real axis, with $Hf(\rho )={\pi }^{-1}\mathrm{PV}\int f(s)/(\rho -s)ds$, the signed Cauchy boundary operators are $C^{\pm }f=\pm f/2+iHf/2$.

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]

A holomorphic function $F$ on a domain with complex derivative $F^{\prime }=f$. Its contour integral satisfies ${\int }_{\gamma }f(z)dz=F(\gamma (b))-F(\gamma (a))$ by the chain rule along each smooth contour segment. In particular every closed contour has integral zero. Having local complex antiderivatives need not provide a single one on a domain with holes.

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.

In planar potential flow, encode a physical force $(F_x,F_y)$ by $F_x-i{F}_y$, using the same negative-imaginary-component convention as the complex velocity $u-iv$. The Blasius force theorem then expresses the force per unit span as a single contour integral. The encoding is a convention: the physical vertical component is the negative imaginary part of this complex number.

Integration of a function along a path in the complex plane, expressed through a contour integral.

A complex integration contour is an oriented piecewise continuously differentiable curve in the complex plane. For a parametrization $\gamma (s)$, its contour integral is ${\int }_{\Gamma }f(z)dz=\int f(\gamma (s)){\gamma }^{\prime }(s)ds$. Reversing orientation changes the sign. Unbounded contours require a convergent improper or explicitly regularized limit.

A contour deformation changes the path of a contour integral through a region where its integrand is a holomorphic function. The Cauchy integral theorem preserves the integral when the endpoints are fixed and the connecting boundary terms vanish. Crossing a pole instead contributes the appropriately oriented residue; a branch cut limits which deformations are permitted on one analytic sheet.

Dan Romik works in number theory, combinatorics and probability theory.^[ref] His Complex Analysis Lecture Notes by Dan Romik also develops holomorphic functions, contour integrals and the geometry of the Riemann sphere, providing an expository connection between complex analysis and geometry.

Identity source: www.math.ucdavis.edu/people/general-profile?fac_id=romik

For fixed order $\nu$, write $\chi =z-\pi \nu /2-\pi /4$. The leading Hankel function asymptotics areOn the corresponding continued argument sheet, the full inverse-power expansion for $H^{(1)}$ is valid on closed subsectors $-\pi +\delta \le \mathrm{ph}z\le 2\pi -\delta$; the $H^{(2)}$ expansion uses $-2\pi +\delta \le \mathrm{ph}z\le \pi -\delta$, for fixed $\delta >0$. The square root uses the same unwrapped phase, $z^{1/2}=\exp [(\log |z|+i\mathrm{ph}z)/2]$. These ranges are not a request to reset the phase to its principal value while crossing a cut.^[ref]

The distinction matters when a contour integral is deformed in an asymptotic analysis: crossing an excluded direction can change which exponential contributions are represented. A formal power series in $1/z$ does not establish a global remainder estimate.

A holomorphic logarithm of a nowhere-zero holomorphic function $f$ on a domain $U$ is a holomorphic function $g$ such that $e^{g(z)}=f(z)$ throughout $U$. Differentiating with the chain rule gives $g^{\prime }=f^{\prime }/f$. For $f(z)=z$, a holomorphic logarithm is a branch of the complex logarithm, and its derivative is $1/z$.

The principal logarithm is holomorphic on the slit complex plane $D=\mathbb{C}\setminus (-\infty ,0]$, withHere $\mathrm{Arg}$ is the chosen complex argument, and $\mathrm{Im}\mathrm{Log}z\in (-\pi ,\pi )$. One may conventionally assign a principal value on the negative real axis, but that axis is excluded from this holomorphic domain. ^[ref] For example, $1+i=\sqrt{2}{e}^{i\pi /4}$ gives $\mathrm{Log}(1+i)=\frac{1}{2}\log 2+i\pi /4$ and $(\mathrm{Log}{)}^{\prime }(1+i)=(1-i)/2$; all its other complex logarithms differ by $2\pi ik$, $k\in \mathbb{Z}$.

There is no holomorphic logarithm of $z$ on the punctured complex plane $\mathbb{C}\setminus \{0\}$. Such a function would be a holomorphic primitive of $1/z$, so its contour integral around every closed path would vanish. On the counterclockwise unit circle, however,This is the period obstruction to a holomorphic antiderivative, and also exactly the logarithm change in the monodromy diagram.

Every nowhere-zero holomorphic function $f$ on a simply connected domain $U$ does admit a holomorphic logarithm. Choose $a\in U$ and $b\in \mathbb{C}$ with $e^b=f(a)$, and defineThe Cauchy integral theorem makes this contour integral independent of the path in $U$. Then $g^{\prime }=f^{\prime }/f$ and $(f{e}^{-g}{)}^{\prime }=e^{-g}(f^{\prime }-f{g}^{\prime })=0$; its value at $a$ is $1$, proving $e^g=f$. Any two choices on a connected domain differ by a constant $2\pi ik$, since their difference is continuous and takes values in the discrete set $2\pi i\mathbb{Z}$. ^[ref]

For a computed example, take $f(z)=1+z$ on the unit disc, with $a=b=0$. Expanding $f^{\prime }/f=1/(1+z)$ as a geometric series and integrating givesThe construction also produces holomorphic square roots: $h=e^{g/2}$ satisfies $h^2=f$, so here $h(1/2)=\sqrt{3/2}$. More generally, $e^{\alpha g}$ gives a consistent branch of a multivalued function for complex exponentiation by $\alpha$. A holomorphic logarithm converts multiplicative expressions into additive ones while making the domain restrictions explicit.

Author of MIT teaching notes in complex analysis, including the argument principle and its use in counting zeros and poles by a contour integral.^[ref]

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 locally uniform convergence limit of holomorphic functions is holomorphic, and its derivatives converge locally uniformly as well. The limit is continuous. On each small triangle contained in the domain, uniform convergence allows passage to the limit in its contour integral; the integrals vanish by the Cauchy integral theorem. The Morera theorem therefore makes the limit holomorphic. Applying the Cauchy integral formula on circles in a slightly larger compact subset proves locally uniform convergence of every fixed-order derivative.

Let $U\subseteq \mathbb{C}$ be open, let $L$ be a straight line, and let $f:U\to \mathbb{C}$ be continuous on $U$ and holomorphic on $U\setminus L$. Then $f$ is holomorphic on all of $U$. Near a point of $L$, work in a disk whose closure lies in $U$. Split a small filled triangle along $L$ and triangulate the two resulting convex polygons. Translate each triangle slightly into its corresponding open half-plane, keeping it in $U$. Its contour integral is zero by Cauchy's integral theorem. On each segment the integral is the endpoint difference times the integral of $f$ along the unit-interval parametrization; uniform continuity on a containing compact disk therefore makes the contour integral continuous as the vertices move back. Each untranslated piece consequently has zero integral. Internal oriented edges cancel when the pieces are added, so every small triangle has zero integral. Morera's theorem proves the claim locally along the line. The continuity across $L$ is essential; holomorphicity on the two sides alone is insufficient.

The orientation of a contour specifies the direction in which its parametrization is traversed. Reversing that direction negates its contour integral. For a simple closed curve in the complex plane, positive orientation of a contour is the direction keeping its bounded interior on the left.