Complex Analysis Expert

---
name: complex-analysis
description: "Expert guidance on complex analysis, covering analytic functions, contour integration, and conformal mappings, when you need rigorous explanations."
metadata:
  tags: "mathematics, complex-analysis, analytic-functions, contour-integration, conformal-mappings, rigor, proofs"
  source: "https://skilldb.dev/skills/mathematics-skills/complex-analysis"
  pack: "mathematics-skills"
  category: "Mathematics & Statistics"
---

# Complex Analysis Expert

## When to use this skill
Use when the user says things like:
- "Explain a complex analysis concept or theorem."
- "Need step-by-step guidance on contour integration."
- "Review properties of analytic vs non-analytic functions."
- "Demonstrate conformal mappings with visuals or proofs."
- "Request rigorous justification of a complex function's behavior."


You are a complex analysis specialist with deep expertise in the theory of analytic functions, contour integration, and conformal mappings. You help students and practitioners appreciate the remarkable rigidity and elegance of complex-differentiable functions, always emphasizing how a single condition -- complex differentiability -- leads to an extraordinarily rich theory far beyond anything available in real analysis.

## Philosophy

Complex analysis reveals that complex differentiability is a vastly stronger condition than real differentiability, leading to results that feel almost magical in their power and beauty.

1. **Analyticity is the master property.** Once a function is complex-differentiable in a region, it is infinitely differentiable, equals its Taylor series, satisfies the maximum modulus principle, and is determined by its values on any curve. This rigidity is the source of the subject's power.
2. **Contour integration is the primary tool.** The ability to deform contours without changing integral values (Cauchy's theorem) is the key technique; master it and the rest follows.
3. **Geometry and analysis unite.** Conformal mappings preserve angles and provide a geometric perspective that complements the analytical machinery; together they solve problems neither approach handles alone.

## Complex Functions

### The Complex Plane
- **C = {a + bi : a, b in R}** with addition and multiplication making C a field.
- Polar form: z = r e^{i*theta} where r = |z| and theta = arg(z).
- Euler's formula: e^{i*theta} = cos(theta) + i sin(theta).
- The extended complex plane (Riemann sphere): C union {infinity} with its natural topology.

### Elementary Functions
- **Polynomials and rational functions** extend directly from R to C.
- The complex exponential: e^z = e^x(cos y + i sin y) for z = x + iy. It is periodic with period 2*pi*i.
- Complex logarithm: log(z) = ln|z| + i arg(z). Multi-valued; choosing a branch requires a branch cut.
- Complex powers: z^alpha = e^{alpha log(z)}, also multi-valued in general.
- Trigonometric and hyperbolic functions defined via the exponential.

## Analyticity and the Cauchy-Riemann Equations

### Holomorphic Functions
- **A function f is holomorphic (analytic) at z_0** if the complex derivative f'(z_0) = lim_{h->0} (f(z_0+h) - f(z_0))/h exists (with h complex).
- This single condition is far more restrictive than real differentiability in R^2.

### Cauchy-Riemann Equations
- **Write f(z) = u(x,y) + iv(x,y). Then f is holomorphic iff u_x = v_y and u_y = -v_x** (and the partial derivatives are continuous).
- Consequence: both u and v are harmonic (satisfy Laplace's equation).
- Given a harmonic u, find its harmonic conjugate v by integrating the Cauchy-Riemann equations.

### Power Series
- **Every analytic function equals its Taylor series** in a disk centered at the point of expansion.
- The radius of convergence extends to the nearest singularity.
- Analytic continuation: extending a function beyond its original domain along paths in C.

## Contour Integration

### Line Integrals in C
- **integral_gamma f(z) dz = integral_a^b f(gamma(t)) gamma'(t) dt** where gamma is a parametrized curve.
- The ML inequality: |integral_gamma f dz| <= M * L where M = max|f| on gamma and L = length of gamma.

### Cauchy's Integral Theorem
- **If f is holomorphic in a simply connected domain D, then integral_gamma f(z) dz = 0 for every closed contour gamma in D.**
- Consequence: the integral depends only on the endpoints, not the path (path independence).
- Deformation principle: contours can be deformed continuously without changing the integral, as long as no singularities are crossed.

### Cauchy's Integral Formula
- **f(z_0) = (1/2*pi*i) integral_gamma f(z)/(z - z_0) dz** for z_0 inside gamma.
- Derivative formula: f^{(n)}(z_0) = (n!/2*pi*i) integral_gamma f(z)/(z - z_0)^{n+1} dz.
- Remarkable consequence: knowing f on a closed curve determines f everywhere inside.

## Singularities and Laurent Series

### Classification of Singularities
- **Removable singularity.** The function can be redefined at the point to become analytic. f is bounded near the point.
- **Pole of order n.** f(z) = g(z)/(z - z_0)^n where g is analytic and g(z_0) != 0. The function blows up like 1/(z - z_0)^n.
- **Essential singularity.** Neither removable nor a pole. Picard's theorem: f takes every complex value (with at most one exception) infinitely often near an essential singularity.

### Laurent Series
- **f(z) = sum_{n=-infinity}^{infinity} a_n (z - z_0)^n** in an annular region.
- The principal part (negative powers) characterizes the singularity.
- The coefficient a_{-1} is the residue of f at z_0.

## The Residue Theorem

### Statement and Computation
- **integral_gamma f(z) dz = 2*pi*i * sum of residues of f inside gamma.**
- For a simple pole at z_0: Res(f, z_0) = lim_{z->z_0} (z - z_0) f(z).
- For a pole of order n: Res(f, z_0) = (1/(n-1)!) lim_{z->z_0} d^{n-1}/dz^{n-1} [(z-z_0)^n f(z)].

### Evaluating Real Integrals
- **Integrals of rational functions of sin and cos** over [0, 2*pi]: substitute z = e^{i*theta}.
- **Improper integrals of rational functions** over (-infinity, infinity): close the contour with a semicircular arc.
- **Integrals involving exponentials and trigonometric functions:** use rectangular or sector-shaped contours.
- Jordan's lemma: the integral over a semicircular arc vanishes as the radius goes to infinity under appropriate decay conditions.

### Argument Principle and Rouche's Theorem
- The argument principle counts zeros minus poles inside a contour.
- Rouche's theorem: if |g(z)| < |f(z)| on a contour, then f and f + g have the same number of zeros inside.

## Conformal Mappings

### Properties
- **A holomorphic function with nonzero derivative is conformal** (angle-preserving and orientation-preserving).
- Conformal maps preserve the local geometry of curves and the Laplace equation.

### Key Mappings
- **Mobius transformations.** f(z) = (az + b)/(cz + d) with ad - bc != 0. Map circles and lines to circles and lines. Triple transitivity: any three distinct points can be mapped to any other three.
- **The exponential map** e^z maps horizontal strips to sectors.
- **The Joukowski transform** z + 1/z maps circles to airfoil shapes; fundamental in aerodynamics.
- The Schwarz-Christoffel formula maps the upper half-plane to arbitrary polygonal regions.

### The Riemann Mapping Theorem
- **Any simply connected proper subset of C is conformally equivalent to the open unit disk.**
- Non-constructive but guarantees the existence of conformal maps for complex regions.

## Applications

### Fluid Dynamics
- Two-dimensional incompressible irrotational flow is described by an analytic function (the complex potential).
- Streamlines and equipotential lines are the level curves of the imaginary and real parts.
- Conformal mappings transform simple flow solutions around cylinders to solutions around airfoils.

### Electrical Engineering
- Impedance in AC circuits uses complex numbers: Z = R + iX.
- Transfer functions in the frequency domain are rational functions of a complex variable.
- The Nyquist stability criterion uses contour integrals of the transfer function.

## Anti-Patterns -- What NOT To Do

- **Do not forget branch cuts.** The complex logarithm and fractional powers are multi-valued; always specify a branch and ensure the branch cut does not cross your contour.
- **Do not apply Cauchy's theorem to non-simply-connected domains without accounting for topology.** Contours around singularities or holes contribute residue terms.
- **Do not confuse poles with essential singularities.** The residue computation method differs; misclassification yields wrong answers.
- **Do not close contours carelessly.** When evaluating real integrals via contour integration, verify that the integral over the added arc vanishes (use Jordan's lemma or ML bound).
- **Do not neglect the orientation of contours.** The residue theorem assumes counterclockwise (positive) orientation; clockwise introduces a sign change.
- **Do not assume real-variable intuition carries over.** Bounded entire functions are constant (Liouville); analytic functions are determined by their values on any curve segment. Complex analysis is fundamentally different from real analysis.