Why study [functions](/page/Function) of a complex variable? The short answer is that complex differentiability is an absurdly powerful condition. In real analysis, knowing that a function is differentiable tells you almost nothing about its global behaviour: there exist real functions that are differentiable everywhere but increasing nowhere, or infinitely differentiable with Taylor [series](/page/Series) that converge to the wrong function. Complex analysis is a different world. A function that is complex-differentiable on an open set is automatically infinitely differentiable, equal to its own Taylor series, determined globally by its values on any tiny arc, and constrained by its [boundary](/page/Boundary) values through explicit integral formulas. The entire subject flows from one fact: the derivative of a complex function, if it exists, must be the same regardless of the direction of approach in the plane — and this single constraint, the Cauchy–Riemann equations, triggers a cascade of rigidity.

This rigidity is not merely a curiosity. It is the reason that complex analysis is indispensable across mathematics and physics. Contour integration and the residue theorem provide the most efficient methods for evaluating definite integrals that arise in probability, number theory, and quantum mechanics. The Laplace and [Fourier transforms](/page/Fourier%20Transform) — whose inversion formulas are contour integrals — are the standard tools for solving linear differential equations in engineering and mathematical physics. Conformal mappings, which preserve angles because holomorphic functions locally act as rotation-dilations, solve boundary value problems for [Laplace's equation](/page/Laplace's%20Equation) in electrostatics, fluid dynamics, and heat conduction. The argument principle and Rouché's theorem give precise control over the location of zeros of polynomials and analytic functions, with applications to stability theory and control engineering. And the theory of uniform [limits](/page/Limit) of holomorphic functions underpins the rigorous foundations of special functions, from the Riemann zeta function to modular forms.

The course develops in six parts. **§1 Complex [Differentiation](/page/Derivative)** establishes the foundations: the Cauchy–Riemann equations, conformality, [power series](/page/Power%20Series), and the connection to harmonic functions and potential theory. **§2 Contour Integration and Cauchy's Theorem** builds the integral theory — from the definition of contour integrals through the ML inequality and the Fundamental Theorem, to Cauchy's theorem in its full homotopy-invariant form, the Cauchy Integral Formula, and its consequences (Liouville, the Fundamental Theorem of Algebra, Taylor and Laurent series). **§3 Residue Calculus** develops the computational engine: residues, the residue theorem, techniques for real integrals (semicircular, indented, and keyhole contours), the argument principle, Rouché's theorem, and the open mapping theorem. **§4 Transform Theory** applies the machinery to the Fourier and Laplace transforms, the Bromwich inversion formula, and the solution of differential equations. **§5 Uniform Limits of Holomorphic Functions** establishes the remarkable closure property — locally uniform limits of holomorphic functions are holomorphic — and its applications to power series, normally convergent series, and limit interchange. **§6 Example Sheets** collects problems that synthesise the entire course.

We assume familiarity with real analysis in $\mathbb{R}^2$ (limits, [continuity](/page/Continuity), real differentiability, partial derivatives, Riemann integration), linear algebra (matrices, eigenvalues), and basic point-set topology (open and [closed sets](/page/Closed%20Set), compactness, connectedness). No prior knowledge of complex analysis or algebraic topology is required.

# Complex Differentiation

At first glance, extending differentiation from $\mathbb{R}$ to $\mathbb{C}$ might seem routine — replace real limits with complex ones and proceed. Yet the requirement that the difference quotient $(f(z) - f(w))/(z - w)$ converges from *every* direction in the plane, not just from left and right, turns out to be extraordinarily restrictive. This single condition forces holomorphic functions to be infinitely differentiable, representable by convergent power series, and intimately connected to harmonic functions solving Laplace's equation. Complex differentiability reveals a hidden rigidity absent in real analysis, and this rigidity is the engine behind the powerful computational and theoretical tools of the subject.

[motivation] ### Why Is Complex Differentiability So Much Stronger Than Real? In real analysis on $\mathbb{R}^2$, a function $F: \mathbb{R}^2 \to \mathbb{R}^2$ is differentiable at a point if it admits a linear approximation — its Jacobian can be any $2 \times 2$ matrix, giving four independent degrees of freedom. In complex analysis, the requirement that $f'(w) = \lim_{z \to w} (f(z) - f(w))/(z - w)$ exists as a single complex number means the linear approximation must be *multiplication by a complex number*. Writing $f'(w) = \alpha + i\beta$, the corresponding Jacobian is $\begin{pmatrix} \alpha & -\beta \\ \beta & \alpha \end{pmatrix}$ — a rotation-dilation matrix with only *two* degrees of freedom. This halving of the degrees of freedom is the Cauchy–Riemann equations in disguise: the four partial derivatives $u_x, u_y, v_x, v_y$ are forced to satisfy two relations $u_x = v_y$ and $u_y = -v_x$. The geometric meaning is immediate. A general real-[linear map](/page/Linear%20Map) can shear, reflect, and stretch by different amounts in different directions. Multiplication by a nonzero complex number can only rotate and uniformly scale. This is why holomorphic maps with $f'(w) \neq 0$ are *conformal* — they preserve angles between curves — and why the theory of holomorphic functions is so much more rigid than real smooth function theory. ### The Cauchy–Riemann Equations as a PDE System The Cauchy–Riemann equations $u_x = v_y$, $u_y = -v_x$ are a first-order system of PDEs linking the real and imaginary parts of $f$. Differentiating once more and using symmetry of mixed partials gives $u_{xx} + u_{yy} = 0$ — Laplace's equation. So the real and imaginary parts of any holomorphic function are automatically *harmonic*. This connects complex analysis directly to potential theory: electrostatic potentials, steady-state heat [distributions](/page/Distribution), and ideal fluid flows are all governed by Laplace's equation, and [conformal maps](/page/Conformal%20Maps) provide the tool to transport solutions between domains. ### Holomorphic vs. Complex Differentiable A function can be complex differentiable at an isolated point without any of the powerful consequences above holding. The full theory — power series representations, Cauchy's integral formula, the identity theorem — requires differentiability in a *neighbourhood*. This motivates the distinction between complex differentiability at a point and holomorphicity (differentiability on an open set), which is the condition that unlocks the theory's full power. [/motivation]

## Foundations

### Domains

[definition: Domain] A **domain** is a non-empty, open, path-connected subset $U \subseteq \mathbb{C}$. [/definition]

Openness ensures that limits can be taken from all directions — the difference quotient $\frac{f(z) - f(w)}{z - w}$ requires $z$ to approach $w$ through a two-dimensional neighbourhood, not along a curve. Path-connectedness prevents the trivial pathology of a function with zero derivative being non-constant (on separate components, the function could take different constant values). We do *not* require simple connectedness at this stage; that stronger [topological](/page/Topology) condition becomes crucial for the existence of antiderivatives and logarithms.

### Complex Differentiability and Holomorphicity

[definition: Complex Differentiability at a Point] Let $U \subseteq \mathbb{C}$ be open and $f: U \to \mathbb{C}$. The function $f$ is **complex differentiable at $w \in U$** if the limit \begin{align*} f'(w) = \lim_{z \to w} \frac{f(z) - f(w)}{z - w} \end{align*} exists as a complex number. The limit is taken over all $z \to w$ in $\mathbb{C}$ (not just along the real axis). [/definition]

The crucial feature is that $z$ approaches $w$ from *every direction* in the plane. Along the real axis ($z = w + h$, $h \in \mathbb{R}$), the quotient reduces to a real derivative; along the imaginary axis ($z = w + ik$, $k \in \mathbb{R}$), it probes a different directional derivative. Requiring a single limit from all directions simultaneously is what produces the Cauchy–Riemann constraint.

[definition: Holomorphic Function] A function $f: U \to \mathbb{C}$ is **holomorphic at $w \in U$** if it is complex differentiable on some open neighbourhood $B(w, \varepsilon) \subseteq U$. It is **holomorphic on $U$** if it is holomorphic at every point of $U$. [/definition]

The distinction matters: complex differentiability at a single point is a local condition with limited consequences, while holomorphicity (differentiability on an open set) is what unlocks power series representations, Cauchy's integral formula, and the full machinery of the theory. A function can be complex differentiable at a point without being holomorphic there — for instance, $f(z) = |z|^2$ is complex differentiable only at $z = 0$ and holomorphic nowhere.

[definition: Entire Function] A function $f: \mathbb{C} \to \mathbb{C}$ is **entire** if it is holomorphic on all of $\mathbb{C}$. [/definition]

The polynomials, $e^z$, $\sin z$, $\cos z$ are all entire. Rational functions are holomorphic on their domains (the complement of their poles). The function $1/z$ is holomorphic on $\mathbb{C}^* = \mathbb{C} \setminus \{0\}$ but not entire.

### The Cauchy–Riemann Equations

[definition: Cauchy–Riemann Equations] Let $f = u + iv$ be defined on an open set $U \subseteq \mathbb{C}$, with $u, v: U \to \mathbb{R}$. At a point $w = c + id \in U$, the **Cauchy–Riemann equations** are: \begin{align*} u_x(c, d) &= v_y(c, d), \\ u_y(c, d) &= -v_x(c, d). \end{align*} [/definition]