Complex Analysis Fundamentals

1. Introduction: Complex Numbers in Physics

A complex number $z \in \mathbb{C}$ is written as:

In polar form, using Euler's formula:

Complex numbers appear throughout physics for deep structural reasons:

• Quantum mechanics: The wave function $\psi(x,t) \in \mathbb{C}$ is intrinsically complex; the Schrodinger equation involves $i\hbar$.
• Electrodynamics: AC circuit analysis uses complex impedances; electromagnetic waves are naturally described via complex exponentials.
• Fluid dynamics: Two-dimensional incompressible flows are elegantly handled via complex potentials.
• Statistical mechanics: Partition functions are evaluated by analytic continuation into the complex plane.
• Signal processing: The Fourier transform maps real signals to complex frequency spectra.

The key insight that elevates complex analysis above mere ℝ² calculus is the concept of analyticity(complex differentiability). A function that is analytic satisfies extraordinarily strong constraints, leading to results with no analog in real analysis: if you know an analytic function on any small region, you know it everywhere via analytic continuation.

Key Operations

Multiplication of complex numbers in polar form reveals the geometric content:

Multiplication rotates and scales. Division divides moduli and subtracts arguments. This geometric interpretation is central to understanding conformal mappings.

The complex conjugate $\bar{z} = x - iy$ gives us:

The triangle inequality $|z_1 + z_2| \leq |z_1| + |z_2|$ and its reverse$|z_1 + z_2| \geq \big||z_1| - |z_2|\big|$ are essential tools for bounding contour integrals.

Elementary Complex Functions

The exponential function extends naturally to the complex plane:

Note that $e^z$ is periodic with period $2\pi i$, a feature with no real analog. The complex logarithm is necessarily multi-valued:

This multi-valuedness leads to the concept of branch cuts and Riemann surfaces, which are essential for making functions like $\sqrt{z}$ and $\log z$ single-valued.

2. Analytic Functions and the Cauchy-Riemann Equations

Let $f(z)$ be a complex-valued function of a complex variable. Writing $z = x + iy$, we decompose:

where $u$ and $v$ are real-valued functions.

Complex Differentiability

We say $f$ is complex differentiable (analytic, holomorphic) at $z_0$ if the limit

exists and is independent of the direction from which $\Delta z \to 0$. This is a far stronger requirement than real differentiability, because $\Delta z$ can approach zero from any direction in the complex plane.

Deriving the Cauchy-Riemann Equations

Write $\Delta z = \Delta x + i\Delta y$. The derivative becomes:

Approach 1: Along the real axis ($\Delta y = 0$, so $\Delta z = \Delta x$):

Approach 2: Along the imaginary axis ($\Delta x = 0$, so $\Delta z = i\Delta y$):

Since these two expressions must be equal (the derivative is direction-independent), we equate real and imaginary parts:

These are the Cauchy-Riemann equations. They are both necessary and (given continuity of the partials) sufficient for analyticity.

Harmonic Functions

A remarkable consequence: differentiating the first C-R equation with respect to $x$ and the second with respect to $y$:

Adding these (assuming continuous second partials so mixed partials are equal):

By an identical argument applied to $v$:

Both $u$ and $v$ satisfy Laplace's equation — they are harmonic functions. This is why complex analysis is so powerful in electrostatics and fluid dynamics: every analytic function automatically provides solutions to Laplace's equation.

Example: Verifying Analyticity

Consider $f(z) = z^2 = (x+iy)^2 = (x^2 - y^2) + i(2xy)$. Here $u = x^2 - y^2$ and $v = 2xy$. Check:

The C-R equations are satisfied everywhere, confirming $z^2$ is entire (analytic on all of $\mathbb{C}$). Also verify harmonicity: $\nabla^2 u = 2 + (-2) = 0$ and $\nabla^2 v = 0 + 0 = 0$. $\checkmark$

Non-Analytic Functions

Consider $f(z) = \bar{z} = x - iy$. Here $u = x$, $v = -y$:

The first C-R equation fails. So $\bar{z}$ is not analytic anywhere, despite being perfectly smooth as a real function from $\mathbb{R}^2 \to \mathbb{R}^2$. This illustrates how complex differentiability is far more restrictive than real differentiability.

The Wirtinger Derivatives

A compact reformulation uses the Wirtinger (or Dolbeault) operators:

The Cauchy-Riemann equations are then equivalent to the single elegant condition:

That is, an analytic function depends on $z$ but not on $\bar{z}$ — a deep structural insight.

3. Cauchy's Integral Theorem and Formula

Cauchy's Integral Theorem

Theorem: If $f(z)$ is analytic everywhere inside and on a simple closed contour $C$, then:

Proof using Green's theorem: Write $f(z) = u + iv$ and $dz = dx + i\,dy$:

Apply Green's theorem $\oint_C (P\,dx + Q\,dy) = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)dA$ to each integral:

Both integrands vanish identically by the Cauchy-Riemann equations, proving the theorem. $\blacksquare$

Cauchy's Integral Formula

Now suppose $f(z)$ is analytic inside $C$ and $z_0$ is a point inside $C$. Consider the function $g(z) = f(z)/(z - z_0)$, which has a singularity at $z_0$.

Draw a small circle $C_\epsilon$ of radius $\epsilon$ around $z_0$. By Cauchy's theorem applied to the region between $C$ and $C_\epsilon$ (where $g$ is analytic):

On $C_\epsilon$, parametrize $z = z_0 + \epsilon e^{i\theta}$, so $dz = i\epsilon e^{i\theta}d\theta$:

As $\epsilon \to 0$, $f(z_0 + \epsilon e^{i\theta}) \to f(z_0)$ by continuity, giving:

Formula for Derivatives

By differentiating the integral formula with respect to $z_0$ under the integral sign (justified since $z_0$ is away from the contour):

This astonishing result says: an analytic function is infinitely differentiable, and all its derivatives are determined by contour integrals of the function itself. There is no real-variable analog of this.

Consequences and the ML Inequality

The Cauchy integral formula has far-reaching consequences. One immediate tool is the ML inequality(or estimation lemma): if $|g(z)| \leq M$ on a contour $C$ of length $L$, then:

This inequality is used constantly for bounding integrals, proving convergence, and showing that contributions from certain arcs vanish (as in Jordan's lemma for evaluating real integrals).

Cauchy's Inequality and Bounds on Derivatives

Applying the ML inequality to the derivative formula on a circle of radius $r$:

where $M(r) = \max_{|z-z_0|=r}|f(z)|$. This Cauchy inequality is the key ingredient in proving Liouville's theorem and the maximum modulus principle.

Mean Value Property

Setting $n = 0$ in the integral formula and parametrizing:

The value of an analytic function at any point equals its average over any surrounding circle — a property shared with harmonic functions, which is no coincidence given that $u$ and $v$ are harmonic.

4. Taylor and Laurent Series

Taylor Series

If $f(z)$ is analytic in a disk $|z - z_0| < R$, we derive the Taylor expansion using Cauchy's formula. For any $z$ inside the disk, take a circular contour $C$ of radius $r$ with $|z - z_0| < r < R$:

Write $\frac{1}{\zeta - z} = \frac{1}{(\zeta - z_0) - (z - z_0)} = \frac{1}{\zeta - z_0}\cdot\frac{1}{1 - \frac{z-z_0}{\zeta-z_0}}$ and expand the geometric series (valid since $|z-z_0| < |\zeta - z_0| = r$):

Substituting into Cauchy's formula and using the derivative formula:

This is the Taylor series for $f$ about $z_0$. The series converges in the largest disk centered at $z_0$ in which $f$ is analytic.

Laurent Series

When $f(z)$ has a singularity at $z_0$, we cannot write a Taylor series there. Instead, in an annulus $r_1 < |z - z_0| < r_2$ where $f$ is analytic, we obtain the Laurent series:

where the coefficients are given by:

The series naturally splits into two parts:

• Analytic part (Taylor part): $\sum_{n=0}^{\infty} a_n(z - z_0)^n$
• Principal part: $\sum_{n=1}^{\infty} a_{-n}(z - z_0)^{-n}$

Classification of Singularities

The nature of the principal part classifies isolated singularities:

• Removable singularity: The principal part is zero ($a_{-n} = 0$ for all $n \geq 1$). Example: $\frac{\sin z}{z}$ at $z = 0$.
• Pole of order $m$: The principal part has finitely many terms with $a_{-m} \neq 0$ and $a_{-n} = 0$ for $n > m$. Example: $\frac{1}{z^2}$ has a pole of order 2 at $z = 0$. The coefficient $a_{-1}$ is called the residue.
• Essential singularity: The principal part has infinitely many nonzero terms. Example: $e^{1/z}$ at $z = 0$, where the Laurent series is $\sum_{n=0}^{\infty}\frac{1}{n! z^n}$. By the Casorati-Weierstrass theorem, $f$ takes values arbitrarily close to any complex number in every neighborhood of an essential singularity.

Example: Laurent Expansion of a Rational Function

Consider $f(z) = \frac{1}{z(z-1)}$. By partial fractions:

In the annulus $0 < |z| < 1$, expand $\frac{1}{z-1} = -\frac{1}{1-z} = -\sum_{n=0}^{\infty} z^n$:

The residue at $z = 0$ is $a_{-1} = -1$. In the region $|z| > 1$, a different Laurent expansion holds — the Laurent series depends on the annular region, not just the singularity.

The Residue and Its Significance

The coefficient $a_{-1}$ in the Laurent series — the residue — plays a central role because it is the only term that contributes to the contour integral:

Therefore $\oint_C f(z)\,dz = 2\pi i \cdot a_{-1} = 2\pi i \cdot \text{Res}(f, z_0)$. This observation leads directly to the residue theorem, which we develop fully in the next chapter.

5. Liouville's Theorem and the Fundamental Theorem of Algebra

Liouville's Theorem

Theorem: If $f(z)$ is entire (analytic on all of $\mathbb{C}$) and bounded ($|f(z)| \leq M$ for all $z$), then $f$ is constant.

Proof: Use Cauchy's derivative formula. For any $z_0$ and a circle $C_R$ of radius $R$ centered at $z_0$:

Taking the modulus and applying the ML-inequality (where $L = 2\pi R$ is the length of $C_R$):

Since $f$ is entire, this holds for arbitrarily large $R$. Letting $R \to \infty$:

So $f'(z_0) = 0$ for every $z_0 \in \mathbb{C}$, hence $f$ is constant. $\blacksquare$

Fundamental Theorem of Algebra

Theorem: Every non-constant polynomial $P(z) = a_nz^n + \cdots + a_0$ with $n \geq 1$ has at least one root in $\mathbb{C}$.

Proof using Liouville's theorem: Suppose for contradiction that $P(z) \neq 0$ for all $z \in \mathbb{C}$. Then $g(z) = 1/P(z)$ is entire.

For large $|z|$, $|P(z)| \sim |a_n||z|^n \to \infty$, so $|g(z)| \to 0$ as $|z| \to \infty$. In particular, there exists $R > 0$ such that $|g(z)| < 1$ for $|z| > R$.

On the compact disk $|z| \leq R$, $g$ is continuous (since $P$ has no zeros), hence bounded. So $g$ is bounded on all of $\mathbb{C}$.

By Liouville's theorem, $g$ is constant, implying $P$ is constant — contradiction. Therefore $P$ must have a root. $\blacksquare$

By induction (factoring out the root), every degree-$n$ polynomial has exactly $n$ roots in $\mathbb{C}$ (counting multiplicity). This gives the full factorization:

Maximum Modulus Principle

Another profound consequence of the Cauchy integral formula is the maximum modulus principle: if $f$ is analytic and non-constant on a connected open set $D$, then $|f|$ has no local maximum in $D$.

Proof sketch: By the mean value property, $f(z_0)$ is the average of $f$ over a surrounding circle. If $|f(z_0)| \geq |f(z)|$ for all $z$ on the circle, the triangle inequality forces $f$ to be constant on that circle — and hence in the entire connected region by analytic continuation.

Consequently, $|f|$ achieves its maximum on the boundary of any compact region. This is essential in proving uniqueness of solutions to boundary value problems in electrostatics.

Physical Implications

Liouville's theorem has direct physical meaning: in 2D electrostatics, a potential that is finite everywhere and satisfies Laplace's equation in all of $\mathbb{R}^2$ must be constant. There can be no non-trivial bounded harmonic function on the whole plane — you need boundary conditions (charges, conductors) to create interesting potentials.

6. Applications in Physics

Electrostatics and Conformal Mapping

In 2D electrostatics, the electric potential $\phi(x,y)$ satisfies Laplace's equation $\nabla^2\phi = 0$. Since both real and imaginary parts of an analytic function are harmonic, we can identify $\phi = u$ and the stream function (electric field lines) as $\psi = v$, where $w(z) = u + iv$ is the complex potential.

The electric field components are then:

Conformal mappings (analytic bijections) transform one geometry into another while preserving Laplace's equation. Key examples include:

• The Joukowski transformation $w = z + 1/z$ maps a circle to an airfoil shape, enabling calculation of lift forces.
• The map $w = z^{\pi/\alpha}$ opens a wedge of angle $\alpha$ into a half-plane, solving the potential near conducting corners.
• The Schwarz-Christoffel transformation maps the upper half-plane to any polygon, allowing exact solutions for capacitors with sharp edges.

Fluid Dynamics

For 2D incompressible, irrotational flow, the velocity potential $\phi$ and stream function $\psi$satisfy $\nabla^2\phi = \nabla^2\psi = 0$. The complex potential $w(z) = \phi + i\psi$ is analytic, and the complex velocity is:

Elementary flows have simple complex potentials:

• Uniform flow: $w = Uz$ (velocity $U$ in the $x$-direction)
• Source/sink of strength $m$: $w = \frac{m}{2\pi}\log z$
• Point vortex of circulation $\Gamma$: $w = -\frac{i\Gamma}{2\pi}\log z$
• Flow past a cylinder: $w = U\left(z + \frac{a^2}{z}\right)$

The Blasius theorem computes the force on a body from the complex potential:

Quantum Mechanics: Green's Functions

The retarded Green's function for the Schrodinger equation is computed via a contour integral in the complex energy plane:

The $i\epsilon$ prescription shifts the poles off the real axis, and the choice of contour (closing in the upper or lower half-plane) enforces causality. In quantum field theory, the Feynman propagator has poles shifted as:

The analytic structure of propagators in the complex momentum plane — branch cuts from multi-particle thresholds, poles from bound states — encodes the complete physical content of a quantum field theory. Dispersion relations, which connect real and imaginary parts via Cauchy-type integrals, provide powerful model-independent constraints.

Signal Processing

The Z-transform and Laplace transform are both grounded in complex analysis. Transfer functions $H(z)$ of digital filters are rational functions of a complex variable; their poles determine stability (all poles inside the unit circle) and their zeros shape the frequency response. The inverse transform is a contour integral in the complex plane.

The Kramers-Kronig relations, widely used in optics and condensed matter physics, are dispersion relations that connect the real and imaginary parts of a causal response function. They follow directly from Cauchy's integral theorem applied to the analytic continuation of the response into the upper half-plane:

7. Historical Context

The development of complex analysis spans three centuries and involves some of the greatest mathematicians in history. What began as a reluctant acceptance of "impossible" numbers evolved into one of the most complete and beautiful theories in all of mathematics.

• Leonhard Euler (1707-1783): Discovered the formula $e^{i\theta} = \cos\theta + i\sin\theta$, laying the groundwork for treating complex numbers as objects of analysis rather than mere algebraic curiosities. His work on infinite series and the zeta function anticipated many later developments. Euler freely manipulated complex quantities in his evaluation of integrals and summation of series, often arriving at correct results by methods that would only be justified a century later.
• Carl Friedrich Gauss (1777-1855): Gave the first rigorous proofs of the Fundamental Theorem of Algebra (his doctoral thesis, 1799). Gauss understood the geometric interpretation of complex numbers and complex integration but published little on the subject, noting in private correspondence that he had many of Cauchy's results years earlier.
• Augustin-Louis Cauchy (1789-1857): Established the rigorous foundations of complex analysis. His integral theorem (1825), integral formula, and residue theorem are the cornerstones of the subject. Cauchy published over 800 papers and essentially single-handedly created the theory of functions of a complex variable. His work on residues provided the first systematic method for evaluating definite integrals.
• Bernhard Riemann (1826-1866): Brought a revolutionary geometric perspective to complex analysis through Riemann surfaces, the Riemann mapping theorem, and his study of the Riemann zeta function. His approach emphasized understanding through geometric insight rather than computation. The Riemann hypothesis on the zeros of $\zeta(s)$ remains one of the greatest unsolved problems in mathematics.
• Karl Weierstrass (1815-1897): Developed the rigorous theory of power series and analytic continuation. His approach, more algebraic and computational than Riemann's, provided an alternative foundation for complex analysis. The Casorati-Weierstrass theorem on essential singularities and the Weierstrass factorization theorem bear his name.

The contrast between the approaches of Riemann (geometric, conceptual) and Weierstrass (algebraic, rigorous) enriched the subject enormously. Modern complex analysis synthesizes both viewpoints.

Together, these mathematicians built a theory whose elegance and power continues to astonish: in Jacques Hadamard's famous phrase, "the shortest path between two truths in the real domain passes through the complex domain." Today, complex analysis remains indispensable not only in physics but also in number theory, algebraic geometry, and string theory.

8. Python Simulation: Visualizing Complex Functions

This simulation produces two visualizations. First, domain coloring plots for several complex functions: the color (hue) encodes the argument of $f(z)$ while the brightness encodes $|f(z)|$, revealing poles, zeros, and branch structure. Second, we numerically verify Cauchy's integral theoremby computing contour integrals of analytic functions around closed paths.