Skip to content

Side 147

Complex Analysis

Calculus over complex numbers, where differentiability becomes unexpectedly rigid and local analytic structure controls global behavior.

complex plane→analyticity→contour→residue→global structure
04lenses
16working concepts
V0content
SS-1.0standard

Complex differentiability imposes strong local structure.

The derivative must agree across every direction in the complex plane, leading to the Cauchy–Riemann conditions.

01 · Complex derivative

Take a direction-independent local ratio.

Existence requires stronger consistency than the real derivative.

02 · Cauchy–Riemann

Link real and imaginary partial derivatives.

These equations are necessary and, with suitable regularity, sufficient for analyticity.

03 · Analytic function

Represent locally by a convergent power series.

Analyticity connects differentiation to infinite series structure.

04 · Harmonic function

Relate analytic functions to Laplace's equation.

Real and imaginary parts of analytic functions are harmonic where the function is analytic.

Integration along curves reveals global constraints.

Complex line integrals turn local analyticity into strong statements about whole regions.

01 · Contour integral

Accumulate values along a path in the complex plane.

The path and orientation become part of the integral.

02 · Cauchy theorem

Analyticity can force closed-contour integrals to vanish.

Topology of the domain matters when singularities are present.

03 · Cauchy formula

Recover values from boundary integrals.

An analytic function inside a contour is tightly controlled by its boundary.

04 · Path independence

Some integrals depend only on endpoints.

This occurs when the integrand has an antiderivative on the relevant domain.

Isolated failures of analyticity can still be classified precisely.

Poles and other singularities encode much of the behavior of meromorphic functions.

01 · Removable singularity

Fill in a missing point consistently.

A bounded isolated singularity may be removable.

02 · Pole

Diverge with controlled algebraic order.

Poles produce finite principal parts in Laurent expansions.

03 · Essential singularity

Allow far wilder local behavior.

Essential singularities cannot be captured by finitely many negative-power terms.

04 · Residue

Extract the coefficient controlling contour contribution.

Residues turn difficult contour integrals into local calculations around singularities.

Analytic functions can preserve local angles while reshaping domains.

Conformal mappings connect complex analysis to geometry, potential theory and boundary-value problems.

01 · Conformal map

Preserve angles locally where the derivative is nonzero.

Local shape can change while angular structure survives.

02 · Mobius transformation

Map circles and lines to circles or lines.

Fractional linear maps form a basic family of conformal symmetries.

03 · Maximum principle

Nonconstant analytic functions cannot attain interior maxima of modulus.

This global restriction has no ordinary real-calculus analogue.

04 · Liouville theorem

Bounded entire functions are constant.

A striking global conclusion follows from local analyticity.

Complex differentiability is far stronger than real differentiability. Once a function is analytic, power series, contour integrals and global constraints become tightly connected.