Analytic Functions and the Cauchy-Riemann Equations

⚡ Key Takeaways

A complex function $f(z)=u(x,y)+iv(x,y)$ is analytic (holomorphic) on an open set if it is complex-differentiable at every point there. Complex differentiability is dramatically stronger than real differentiability: it forces the Cauchy–Riemann equations $u_x=v_y$ and $u_y=-v_x$ , which (with continuity of partials) are equivalent to analyticity. Analyticity makes $u$ and $v$ harmonic, the function infinitely differentiable, and locally representable by a convergent power series. Used throughout fluid dynamics, electrostatics, signal processing, and number theory. Named for Augustin-Louis Cauchy and Georg Friedrich Bernhard Riemann (1820s–1850s).

💡 The Core Insight

A complex derivative is a single complex number that must describe the local behaviour of $f$ regardless of the direction in which $h\to 0$ . Multiplication by a complex number is a rotation-plus-scaling. So $f$ is analytic exactly when its real Jacobian acts locally as a rotation-scaling — i.e. it is conformal (angle-preserving) wherever $f'\neq 0$ . The Cauchy–Riemann equations are precisely the algebraic condition that the $2\times 2$ Jacobian has this special form.

DefinitionComplex Differentiability

Let $f$ be defined on an open set $\Omega\subseteq\mathbb{C}$ and let $z_0\in\Omega$ . We say $f$ is complex-differentiable at $z_0$ if

1

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

exists as a finite complex number, where $h\in\mathbb{C}$ , $h\neq 0$ . Here $z=x+iy$ with $x,y\in\mathbb{R}$ and $i^2=-1$ ; $h=\Delta x+i\,\Delta y$ ; $f(z)=u(x,y)+iv(x,y)$ with $u,v:\Omega\to\mathbb{R}$ . The notation $u_x=\partial u/\partial x$ , etc.

DefinitionAnalytic / Holomorphic Function

$f$ is analytic (synonym: holomorphic) on an open set $\Omega$ if it is complex-differentiable at every point of $\Omega$ . A function analytic on all of $\mathbb{C}$ is called entire. "Analytic at a point $z_0$ " means analytic on some open disc around $z_0$ .

TheoremCauchy–Riemann Equations

Suppose $f=u+iv$ is complex-differentiable at $z_0=x_0+iy_0$ . Then the partial derivatives of $u,v$ exist at $(x_0,y_0)$ and satisfy

2

\quad u_x=v_y \qquad\text{and}\qquad u_y=-v_x.

Moreover the derivative is then given by

3

\quad f'(z_0)=u_x+i\,v_x=v_y-i\,u_y.

Conversely, if $u,v$ have continuous first partials in a neighbourhood of $(x_0,y_0)$ and satisfy $[2]$ there, then $f$ is complex-differentiable at $z_0$ (indeed analytic on that neighbourhood).

DefinitionWirtinger Form

Introduce the operators

4

\quad \frac{\partial}{\partial z}=\tfrac12\!\left(\frac{\partial}{\partial x}-i\frac{\partial}{\partial y}\right),\qquad \frac{\partial}{\partial \bar z}=\tfrac12\!\left(\frac{\partial}{\partial x}+i\frac{\partial}{\partial y}\right).

Then the Cauchy–Riemann equations collapse to the single elegant condition

5

\quad \frac{\partial f}{\partial \bar z}=0,

and when this holds $f'(z)=\partial f/\partial z$ .

ProofNecessity of the Cauchy–Riemann Equations

Step 1. Assume $f'(z_0)$ exists, with value $a+ib$ . Since the limit $[1]$ is independent of how $h\to0$ , we may compute it along two convenient paths.

Step 2 (real approach). Let $h=\Delta x\in\mathbb{R}$ , $\Delta x\to 0$ . Then

\frac{f(z_0+\Delta x)-f(z_0)}{\Delta x}=\frac{u(x_0+\Delta x,y_0)-u(x_0,y_0)}{\Delta x}+i\,\frac{v(x_0+\Delta x,y_0)-v(x_0,y_0)}{\Delta x}\to u_x+i\,v_x.

Hence $f'(z_0)=u_x+iv_x$ .

Step 3 (imaginary approach). Let $h=i\,\Delta y$ , $\Delta y\in\mathbb{R}\to 0$ . Then $1/h=1/(i\Delta y)=-i/\Delta y$ , so

\frac{f(z_0+i\Delta y)-f(z_0)}{i\Delta y}=-i\!\left(\frac{u(x_0,y_0+\Delta y)-u}{\Delta y}+i\frac{v(x_0,y_0+\Delta y)-v}{\Delta y}\right)\to -i\,u_y+v_y.

Hence $f'(z_0)=v_y-i\,u_y$ .

Step 4. The two expressions for $f'(z_0)$ must be equal:

u_x+i\,v_x=v_y-i\,u_y.

Equating real parts: $u_x=v_y$ . Equating imaginary parts: $v_x=-u_y$ , i.e. $u_y=-v_x$ . These are $[2]$ , and either expression is $[3]$ . $\blacksquare$

∎

ProofSufficiency under Continuity of Partials

Step 1. Assume $u,v$ have continuous partials near $(x_0,y_0)$ and satisfy $[2]$ . Continuity of partials implies $u,v$ are (real) differentiable, so

u(x_0+\Delta x,y_0+\Delta y)-u=u_x\Delta x+u_y\Delta y+\varepsilon_1,\quad v(\cdots)-v=v_x\Delta x+v_y\Delta y+\varepsilon_2,

where $\varepsilon_1,\varepsilon_2=o(|h|)$ with $h=\Delta x+i\Delta y$ .

Step 2. Combine: $f(z_0+h)-f(z_0)=(u_x+iv_x)\Delta x+(u_y+iv_y)\Delta y+(\varepsilon_1+i\varepsilon_2).$

Step 3. Use $[2]$ to write $u_y=-v_x$ , $v_y=u_x$ . Then the $\Delta y$ coefficient is $u_y+iv_y=-v_x+iu_x=i(u_x+iv_x)$ . So

f(z_0+h)-f(z_0)=(u_x+iv_x)(\Delta x+i\Delta y)+o(|h|)=(u_x+iv_x)\,h+o(|h|).

Step 4. Divide by $h$ and let $h\to 0$ : the quotient $\to u_x+iv_x$ , a genuine complex limit. Hence $f'(z_0)$ exists. $\blacksquare$

∎

⚠️ Continuity Hypothesis is Essential

The mere existence of partials satisfying $[2]$ at a single point does not guarantee complex differentiability. Sufficiency needs the partials to be continuous (or that $u,v$ are real-differentiable). See the counterexample below.

AC

Augustin-Louis Cauchy

1789–1857

Cauchy laid the foundations of complex analysis through his work on integration along paths in the complex plane (1825 memoir). He recognised that the value of an analytic function inside a contour is determined entirely by its boundary values — the seed of the integral formula. The directional-consistency conditions now bearing his and Riemann's names appeared in his investigations of complex integration and in earlier work by Euler and d'Alembert on fluid flow. Cauchy's rigour reshaped analysis: he is responsible for the modern $\varepsilon$ -style definition of limits underlying $[1]$ .

🧠 Intuition

Think of $f$ as a map of the plane to the plane. Its real Jacobian at $z_0$ is

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

For an arbitrary smooth map, $J$ can be any $2\times 2$ matrix: stretching differently in different directions, shearing, reflecting. Multiplication by a single complex number $a+ib$ , however, corresponds to the very special matrix

\begin{pmatrix}a & -b\\ b & a\end{pmatrix},

which is a uniform scaling by $\sqrt{a^2+b^2}$ combined with a rotation by $\arg(a+ib)$ . Demanding $J$ have this form forces $u_x=v_y$ ( $=a$ ) and $v_x=-u_y$ ( $=b$ ) — exactly the Cauchy–Riemann equations. So "analytic" = "the local linear approximation is a rotation-and-scaling, never a shear or reflection." Wherever $f'\neq 0$ this means angles between curves are preserved: analytic maps are conformal.

Figure

The Cauchy–Riemann condition: any direction of approach yields the same derivative; the Jacobian acts as rotation-plus-scaling

ExampleVerifying analyticity of

f(z)=z^2

Given: $f(z)=z^2$ . Write $z=x+iy$ .

Step 1 — separate parts. $z^2=(x+iy)^2=x^2-y^2+2ixy$ , so

u(x,y)=x^2-y^2,\qquad v(x,y)=2xy.

Step 2 — partials. $u_x=2x,\ u_y=-2y,\ v_x=2y,\ v_y=2x.$

Step 3 — check CR $[2]$ . $u_x=2x=v_y$ ✓ and $u_y=-2y=-v_x$ ✓. Both hold for all $(x,y)$ , and the partials are continuous everywhere.

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.}

This matches the formal power-rule, as expected for any polynomial.

ExampleConformal scaling factor of

f(z)=e^z

at a point

Given: $f(z)=e^z$ . Evaluate analyticity and the local scaling/rotation at $z_0=\ln 2 + i\,\tfrac{\pi}{3}$ .

Step 1 — separate parts. $e^{x+iy}=e^x(\cos y+i\sin y)$ , so $u=e^x\cos y$ , $v=e^x\sin y$ .

Step 2 — partials. $u_x=e^x\cos y,\ u_y=-e^x\sin y,\ v_x=e^x\sin y,\ v_y=e^x\cos y.$

Step 3 — CR check. $u_x=e^x\cos y=v_y$ ✓; $u_y=-e^x\sin y=-v_x$ ✓. Holds everywhere ⇒ $e^z$ is entire, with $f'(z)=u_x+iv_x=e^x(\cos y+i\sin y)=e^z.$

Step 4 — evaluate at $z_0$ . $f'(z_0)=e^{z_0}=e^{\ln 2}e^{i\pi/3}=2\big(\cos\tfrac{\pi}{3}+i\sin\tfrac{\pi}{3}\big)=2(\tfrac12+i\tfrac{\sqrt3}{2})=1+i\sqrt3.$

Step 5 — interpret. Local scaling factor $=|f'(z_0)|=|1+i\sqrt3|=\sqrt{1+3}=2$ . Local rotation angle $=\arg(1+i\sqrt3)=\arctan(\sqrt3)=\tfrac{\pi}{3}=60^\circ.$

\boxed{\text{Near }z_0,\ e^z \text{ magnifies lengths by }2\text{ and rotates by }60^\circ.}

⚠️ Differentiable in

\mathbb{R}^2

≠ analytic

A map $(x,y)\mapsto(u,v)$ can be smooth as a real function yet fail to be complex-differentiable. The classic offender is $f(z)=\bar z=x-iy$ : here $u=x,\ v=-y$ , so $u_x=1$ but $v_y=-1$ , violating $[2]$ everywhere. $\bar z$ is infinitely real-differentiable yet nowhere analytic. Equivalently $\partial\bar z/\partial\bar z=1\neq0$ .

⚠️ Analyticity is an open-set property

A function can be complex-differentiable at isolated points without being analytic anywhere. "Analytic at $z_0$ " requires differentiability on a whole neighbourhood, not just at $z_0$ .

CounterexampleCR equations hold at a point but

f

is not differentiable there

Define

f(z)=\begin{cases}\dfrac{\bar z^{\,2}}{z}, & z\neq 0\\[4pt] 0,& z=0.\end{cases}

Writing $z=re^{i\theta}$ , $\bar z^2/z=r e^{-3i\theta}$ . Along any straight ray $\theta=$ const, the difference quotient $\frac{f(h)-0}{h}=\frac{\bar h^2/h}{h}=\frac{\bar h^2}{h^2}=e^{-2i\theta}$ , which depends on $\theta$ — different limits along different directions, so $f'(0)$ does not exist. Yet a direct computation along the axes shows the partials of $u,v$ at the origin all exist and satisfy $u_x=v_y$ , $u_y=-v_x$ there. The CR equations are satisfied at the point, but $f$ is not complex-differentiable, because real-differentiability (continuity of partials in a neighbourhood) fails. This is exactly why the converse theorem needs its continuity hypothesis.

Counterexample

|z|^2

— differentiable at one point only

$f(z)=|z|^2=x^2+y^2$ has $u=x^2+y^2$ , $v=0$ . CR demands $u_x=2x=v_y=0$ and $u_y=2y=-v_x=0$ , i.e. $x=y=0$ . So $f$ is complex-differentiable only at $z=0$ and analytic nowhere (no open set on which CR holds).

connection

The Cauchy–Riemann equations imply, by differentiating $[2]$ again (when partials are $C^2$ , which analyticity guarantees), that $u_{xx}+u_{yy}=0$ and $v_{xx}+v_{yy}=0$ : both $u$ and $v$ are Harmonic Functions, with $v$ the harmonic conjugate of $u$ . This links analytic functions to Laplace's Equation and potential theory. The single complex equation $[5]$ , $\partial_{\bar z}f=0$ , places analyticity inside the theory of the Wirtinger Derivatives and the $\bar\partial$ -operator. Analyticity is the gateway to Cauchy's Integral Theorem and <a class="wiki-link" href="/wiki/math-topgeo-cauchys-integral-formula">Cauchy's Integral Formula</a>, which in turn yield <a class="wiki-link" href="/wiki/ndli-iit-kgp-ma10001-mathematics-i-taylor-and-laurent-series">Taylor and Laurent Series</a> representations and the <a class="wiki-link" href="/wiki/residue-theorem">Residue Theorem</a>. The angle-preserving property ties the topic to <a class="wiki-link" href="/wiki/math-topgeo-conformal-mappings">Conformal Mappings</a>.

🔬 Where this appears

⏳ History

- 1752 — Jean d'Alembert, studying fluid flow, writes down the equations

u_x=v_y

,

u_y=-v_x

in a hydrodynamic context.

- 1777 — Leonhard Euler uses the same relations in connection with complex integration and the evaluation of integrals.

- 1814–1825 — Augustin-Louis Cauchy develops complex contour integration; his 1825 memoir establishes path-independence of integrals of analytic functions, the foundation of the field.

- 1831 — Cauchy proves the integral formula and power-series expansion, showing analytic ⇒ infinitely differentiable.

- 1851 — Bernhard Riemann's doctoral thesis introduces the geometric viewpoint (Riemann surfaces, conformality) and treats

u_x=v_y

,

u_y=-v_x

as the defining conditions; the equations acquire his name alongside Cauchy's.

- 1850s–1870s — Karl Weierstrass builds complex analysis rigorously from convergent power series, defining "analytic" via series and proving equivalence with Cauchy's differentiability notion.

- 1900–1901 — Édouard Goursat removes the continuity-of-derivative hypothesis from Cauchy's theorem (the Cauchy–Goursat theorem), sharpening the logical foundations.

- 1927 — Wilhelm Wirtinger formalises the

\partial/\partial z

,

\partial/\partial\bar z

calculus, recasting CR as

\partial f/\partial\bar z=0

.

- 20th c. — The Looman–Menchoff theorem shows that continuity plus existence of partials satisfying CR (without assuming differentiability) already implies analyticity, refining the sufficiency conditions.

open-problem

The local theory is complete, but global and boundary questions remain rich. Boundary behaviour: an analytic function on a disc need not extend continuously to the boundary, and characterising boundary values (the theory of $H^p$ Hardy spaces) is deep. Several complex variables: the naive analogue $\partial f/\partial\bar z_j=0$ for each variable behaves utterly differently — Hartogs' phenomenon shows singularities cannot be isolated in $\mathbb{C}^n$ for $n\ge2$ , and which domains are "domains of holomorphy" (pseudoconvexity) is a central modern question. The $\bar\partial$ -problem: solving $\partial u/\partial\bar z = g$ with control of $u$ (Hörmander estimates) is an active analytic theme. Quasiconformal generalisations: relaxing CR to the Beltrami equation $f_{\bar z}=\mu f_z$ underlies Teichmüller theory and remains technically demanding. Even the analytic-continuation behaviour governing the Riemann Hypothesis — zeros of $\zeta(s)$ — is unresolved.

Analytic Functions and the Cauchy-Riemann Equations

Formal Statement

Why It Holds

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also