Complex Functions and Analyticity

⚡ Key Takeaways

Complex functions map subsets of $\mathbb{C}$ to $\mathbb{C}$ ; a function is analytic (holomorphic) at a point if it is complex-differentiable in a neighborhood of that point. The key result: complex differentiability is enormously stronger than its real counterpart — a once-differentiable complex function is automatically infinitely differentiable and equals its own Taylor series. Applies throughout physics (fluid flow, electrostatics), engineering (signal processing), and number theory. Foundations laid by Cauchy, Riemann, and Weierstrass in the 19th century.

💡 The Core Insight

In $\mathbb{R}^2$ , the derivative of a map is a linear transformation that can stretch, shear, and rotate independently in different directions. Complex differentiability demands that this linear map be multiplication by a single complex number — equivalently, a rotation composed with a uniform scaling. This geometric constraint (angle-preservation, conformality) is the source of every deep theorem in the subject.

DefinitionComplex Function

A complex function is a map $f:\Omega\to\mathbb{C}$ where $\Omega\subseteq\mathbb{C}$ . Writing $z=x+iy$ with $x,y\in\mathbb{R}$ , and decomposing the output as $f(z)=u(x,y)+iv(x,y)$ , we obtain two real-valued functions $u,v:\Omega\to\mathbb{R}$ called the real part $u=\operatorname{Re}f$ and imaginary part $v=\operatorname{Im}f$ .

DefinitionComplex Derivative & Analyticity

Let $\Omega$ be open and $z_0\in\Omega$ . The function $f$ is complex-differentiable at $z_0$ if the limit

1

\quad f'(z_0)=\lim_{h\to 0}\frac{f(z_0+h)-f(z_0)}{h}

exists, where $h\in\mathbb{C}\setminus\{0\}$ and $h\to0$ along any path in the plane. The value $f'(z_0)\in\mathbb{C}$ is the derivative. The function $f$ is analytic (holomorphic) on $\Omega$ if $f'(z)$ exists at every point of $\Omega$ . If $f$ is analytic on all of $\mathbb{C}$ it is called entire.

TheoremCauchy–Riemann Equations

Let $f=u+iv$ be defined on an open set $\Omega$ and write $z=x+iy$ . Then $f$ is complex-differentiable at $z_0=x_0+iy_0$ if and only if $u$ and $v$ are real-differentiable at $(x_0,y_0)$ and satisfy the Cauchy–Riemann (CR) equations:

2

\quad \frac{\partial u}{\partial x}=\frac{\partial v}{\partial y},\qquad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}.

Derivation hint: Approach $z_0$ first horizontally ( $h=\Delta x$ ) then vertically ( $h=i\Delta y$ ); equating the two expressions for $f'(z_0)$ yields the pair above. When they hold, the derivative is

3

\quad f'(z_0)=\frac{\partial u}{\partial x}+i\frac{\partial v}{\partial x}=\frac{\partial v}{\partial y}-i\frac{\partial u}{\partial y}.

Derivation hint: Take the horizontal-approach limit and substitute the CR relations to rewrite via the $y$ -derivatives.

TheoremConsequences of Analyticity

If $f$ is analytic on a domain (open connected set) $\Omega$ , then: 1. $f$ is infinitely complex-differentiable on $\Omega$ . 2. $f$ is analytic in the power-series sense: around each $z_0\in\Omega$ it equals a convergent Taylor series

5

\quad f(z)=\sum_{n=0}^{\infty}\frac{f^{(n)}(z_0)}{n!}(z-z_0)^n,\qquad |z-z_0|<R,

with $R$ at least the distance from $z_0$ to $\partial\Omega$ . 3. Both $u$ and $v$ are harmonic: $\nabla^2 u=\nabla^2 v=0$ . Derivation hint: (1)–(2) follow from the Cauchy integral formula by differentiating under the integral; (3) by differentiating the CR equations once more and using equality of mixed partials.

ProofCauchy–Riemann from Direction-Independence

Step 1. Suppose $f'(z_0)$ exists. Compute the limit in [1] along the real axis, $h=\Delta x\to0$ :

6

\quad f'(z_0)=\lim_{\Delta x\to0}\frac{u(x_0+\Delta x,y_0)+iv(x_0+\Delta x,y_0)-u-iv}{\Delta x}=u_x+iv_x.

Derivation hint: Split numerator into real/imaginary parts; the difference quotients converge to the $x$ -partials.

Step 2. Now approach along the imaginary axis, $h=i\Delta y\to0$ . Since $1/(i\Delta y)=-i/\Delta y$ :

7

\quad f'(z_0)=\lim_{\Delta y\to0}\frac{u(x_0,y_0+\Delta y)+iv(\cdots)-u-iv}{i\Delta y}=\frac1i(u_y+iv_y)=v_y-iu_x'\text{-free}\;=v_y-iu_y.

Derivation hint: Multiply numerator and denominator by $-i$ ; the $y$ -partials emerge.

Step 3. Equate the real and imaginary parts of [6] and [7]: $\operatorname{Re}: u_x=v_y$ , $\operatorname{Im}: v_x=-u_y$ . These are exactly [2]. $\blacksquare$

∎

ProofReal & Imaginary Parts Are Harmonic

Step 1. Assume (by the smoothness consequence) that $u,v\in C^2$ . Differentiate the first CR equation $u_x=v_y$ with respect to $x$ and the second $u_y=-v_x$ with respect to $y$ :

8

\quad u_{xx}=v_{yx},\qquad u_{yy}=-v_{xy}.

Derivation hint: Partial-differentiate each CR identity term by term.

Step 2. Add and use equality of mixed partials $v_{yx}=v_{xy}$ :

9

\quad u_{xx}+u_{yy}=v_{yx}-v_{xy}=0.

Derivation hint: The mixed second derivatives of $v$ cancel by Clairaut's theorem. An identical argument gives $v_{xx}+v_{yy}=0$ . Thus both parts solve Laplace's equation. $\blacksquare$

∎

BR

Bernhard Riemann

1826–1866

Though Augustin-Louis Cauchy first formulated the differentiability conditions, it was Bernhard Riemann who, in his 1851 doctoral dissertation, recast complex functions geometrically. Riemann viewed an analytic function as a conformal map and introduced Riemann surfaces to tame multivalued functions like $\sqrt z$ and $\log z$ . His insight that analyticity is equivalent to the CR system — and his physical interpretation via potential theory and fluid flow — fused complex analysis with mathematical physics. Riemann's name attaches to the equations, to the surfaces, and to the deepest open problem in the field, the Riemann Hypothesis.

🧠 Intuition

Think of $f$ as a deformation of the plane. The real Jacobian of $(x,y)\mapsto(u,v)$ is the matrix

\begin{pmatrix} u_x & u_y\\ v_x & v_y\end{pmatrix}.

Imposing the CR equations forces this matrix into the form

\begin{pmatrix} a & -b\\ b & a\end{pmatrix}=r\begin{pmatrix}\cos\theta & -\sin\theta\\ \sin\theta & \cos\theta\end{pmatrix},

which is exactly multiplication by the complex number $a+ib=re^{i\theta}$ . Geometrically: at each point an analytic map acts as a rotation by $\arg f'$ followed by a scaling by $|f'|$ — identical in every direction. That is why angles are preserved (conformality) wherever $f'\neq0$ , and why analytic functions cannot "tear" or "shear" the plane. The rigidity of analyticity — that local data fixes global behavior — is the price the plane pays for this perfect, direction-blind stretching.

Figure

An analytic map is locally a rotation-plus-scaling: it preserves angles between curves

ExampleVerifying Analyticity of

f(z)=z^2

Given: $f(z)=z^2$ . Find $u,v$ , check the CR equations, and compute $f'(z)$ .

Step 1. Expand with $z=x+iy$ :

z^2=(x+iy)^2=x^2-y^2+2ixy,

so $u=x^2-y^2$ and $v=2xy$ .

Step 2. Partial derivatives:

u_x=2x,\quad u_y=-2y,\quad v_x=2y,\quad v_y=2x.

Step 3. Check CR: $u_x=2x=v_y$ ✓ and $u_y=-2y=-v_x$ ✓. The equations hold for all $(x,y)$ .

Step 4. Derivative via [3]: $f'(z)=u_x+iv_x=2x+i\,2y=2(x+iy)=2z.$

\boxed{f(z)=z^2 \text{ is entire, with } f'(z)=2z.}

ExampleA Function That Is Nowhere Analytic:

f(z)=\bar z

Given: $f(z)=\bar z=x-iy$ . Determine where $f$ is complex-differentiable.

Step 1. Identify parts: $u=x$ , $v=-y$ .

Step 2. Partials: $u_x=1$ , $u_y=0$ , $v_x=0$ , $v_y=-1$ .

Step 3. Test first CR equation: $u_x=1$ but $v_y=-1$ , so $u_x\neq v_y$ anywhere.

Step 4. Via Wirtinger calculus [4]: $\partial f/\partial\bar z=\partial(\bar z)/\partial\bar z=1\neq0$ , confirming non-analyticity.

\boxed{f(z)=\bar z \text{ is complex-differentiable at NO point; it is nowhere analytic.}}

Note: $\bar z$ is perfectly smooth as a map $\mathbb{R}^2\to\mathbb{R}^2$ — it is a reflection — yet fails complex differentiability because it reverses orientation and cannot be "multiplication by one complex number."

⚠️ Common mistake

"Satisfying the CR equations at a point implies differentiability there." Not quite — the CR equations alone are necessary but not sufficient for complex differentiability. You also need $u$ and $v$ to be real-differentiable (e.g. continuous partials). There exist functions satisfying CR at the origin that fail to be complex-differentiable there because the partials are not continuous. The clean sufficient condition: if $u,v$ have continuous first partials in a neighborhood AND satisfy the CR equations, then $f$ is analytic.

⚠️ Common mistake

"Analytic and differentiable mean the same thing as in real calculus." In real analysis, $f(x)=x^2\sin(1/x)$ is differentiable once but not twice; analyticity (power-series representability) is strictly stronger than differentiability. In complex analysis these notions coincide: complex-differentiable on an open set $\Rightarrow$ infinitely differentiable $\Rightarrow$ power-series analytic. This collapse has no real-variable analogue.

Counterexample

Consider

f(z)=\begin{cases}\dfrac{z^5}{|z|^4}, & z\neq0\\[4pt] 0, & z=0.\end{cases}

At the origin the Cauchy–Riemann equations are satisfied (the directional derivatives along the axes match), yet the difference quotient $\frac{f(h)-0}{h}=\frac{h^5/|h|^4}{h}=\frac{h^4}{|h|^4}$ depends on $\arg h$ (taking different values along $h=t$ versus $h=te^{i\pi/4}$ ). Hence $f'(0)$ does not exist despite the CR equations holding pointwise — a vivid demonstration that pointwise CR without differentiability of $u,v$ is insufficient.

connection

Analyticity links to many neighbouring topics:

It underwrites Cauchy's Integral Theorem, which states $\oint_\gamma f\,dz=0$ for analytic $f$ on simply connected domains — the foundation of contour integration.
Via Harmonic Functions, the real/imaginary parts solve Laplace's Equation, connecting complex analysis to potential theory and electrostatics.
The power-series consequence ties it to Taylor and Laurent Series, the latter handling isolated singularities.
The geometry of $f'\neq0$ is exactly Conformal Mapping, used to solve boundary-value problems by transforming domains.
Failure of analyticity at isolated points launches the Residue Theorem and the classification of Singularities and Poles.

🔬 Where this appears

⏳ History

- 1748 — Leonhard Euler relates exponentials and trigonometric functions via

e^{i\theta}=\cos\theta+i\sin\theta

, foreshadowing complex function theory.

- 1797 — Caspar Wessel gives the first geometric (plane) interpretation of complex numbers, later rediscovered by Argand (1806) and Gauss.

- 1814–1825 — Augustin-Louis Cauchy develops the integral theorem and formulates the differentiability conditions in his work on definite integrals.

- 1821 — Cauchy's Cours d'analyse establishes rigorous limits, the basis for the modern derivative definition.

- 1851 — Bernhard Riemann's dissertation reframes analytic functions geometrically, introduces Riemann surfaces, and emphasizes the CR equations and conformality.

- 1850s–1870s — Karl Weierstrass builds the theory from power series, defining analyticity via convergent series and pioneering analytic continuation.

- 1859 — Riemann's paper on the prime-counting function introduces

\zeta(s)

as an analytic object, stating the Riemann Hypothesis.

- 1883 — The term conformal and systematic mapping techniques mature in the hands of Schwarz, Christoffel, and others.

- 1900s — Édouard Goursat proves the integral theorem assuming only complex differentiability (no continuity of

f'

), sharpening the foundations into their modern form.

open-problem

The deepest unresolved question intertwined with analyticity is the Riemann Hypothesis (1859): all nontrivial zeros of the analytically continued zeta function $\zeta(s)$ lie on the critical line $\operatorname{Re}(s)=\tfrac12$ . It remains one of the seven Millennium Prize Problems. More broadly, the theory of analytic continuation raises subtle issues: a function defined by a power series on one disk may extend to a multivalued function on a Riemann surface (e.g. $\log z$ ), and determining the precise natural boundary beyond which no continuation exists (as for lacunary series like $\sum z^{2^n}$ ) is delicate. In several complex variables, the rigidity intensifies — the Hartogs phenomenon shows singularities cannot be isolated — revealing that the one-variable intuition built here is only the beginning.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also