Complex analysis and contour reasoning

For a complex function f(z), the derivative must have the same limit as an increment approaches zero from any direction in the plane. Writing f=u+iv yields the Cauchy–Riemann relations between the two real component functions. When u and v have continuous first partial derivatives on an open region, these relations imply holomorphicity there. Satisfying them at one isolated point does not by itself establish analyticity on a neighborhood; the domain and regularity hypotheses cannot be discarded.

Holomorphic functions are locally represented by convergent power series. This is much stronger than real smoothness: a real function can have derivatives of all orders without equaling its Taylor series near a point. The complex conjugate f(z)=conjugate(z) makes the direction issue vivid. Along real increments its difference quotient is one, while along purely imaginary increments it is minus one. A differentiable map of two real coordinates need not be complex differentiable.

Cauchy's integral theorem says a holomorphic function has zero integral around an appropriately contractible closed contour in its domain. A hole matters. The function 1/z is holomorphic away from zero but has integral 2πi around a counterclockwise circle enclosing zero. Cauchy's integral formula sharpens this observation: integrating f(z)/(z−a) around a suitable enclosing contour recovers f(a). The local value is tied to data around the boundary.

For isolated singularities, the residue is the coefficient of (z−a)^(−1) in the Laurent expansion. The residue theorem adds these coefficients, weighted by winding number, to evaluate a closed contour integral. A simple pole can often be handled by multiplying by z−a and taking the limit. The sign of orientation, excluded poles, and contributions from added arcs all matter. A real integral obtained by closing a contour is incomplete until the extra arc is shown to vanish or its contribution is computed.

A complex logarithm cannot be single-valued and continuous on all nonzero complex numbers. Going once around zero changes the accumulated argument by 2π. A branch chooses a domain and a consistent argument there, often by removing a ray. Fractional powers inherit this choice through the logarithm. Moving across a branch cut changes a selected representation, and analytic continuation around a branch point may return a different branch. This is global information not visible in one local derivative.

In physics, poles near the integration contour require a prescription for how the contour passes them. Replacing a denominator by one shifted by a small positive or negative imaginary term encodes a limiting boundary value, not an inconsequential numerical perturbation. Similar care applies to Wick rotation: singularities, falloff, and contour deformation must permit it. Complex methods can simplify a well-defined integral, but they cannot silently choose the physical boundary conditions that made it well-defined.