Augustin-Louis Cauchy

⚡ Key Takeaways

Augustin-Louis Cauchy (1789–1857) was a French mathematician who founded rigorous mathematical analysis, pioneered complex function theory, and made foundational contributions to elasticity, group theory, and differential equations. Key result: he gave analysis its modern epsilon-based footing — defining limits, continuity, derivatives, and integrals rigorously — and proved the central theorems of complex integration. Where it applies: all of real and complex analysis, mathematical physics, and engineering. Who/when: Paris, early-to-mid 19th century; author of over 800 papers.

💡 The Core Insight

Cauchy's unifying conviction was that the infinite must be tamed by the finite: any statement about limits, continuity, or convergence should reduce to an explicit claim that "for every required closeness ( $\varepsilon$ ), there exists a stage ( $\delta$ or $N$ ) beyond which the desired closeness holds." This single methodological move replaced two centuries of intuitive infinitesimal reasoning with verifiable logic, and it is the reason undergraduate analysis still looks the way it does.

DefinitionCauchy's Definition of Limit and Continuity

A function $f$ has limit $L$ as $x \to a$ if the values $f(x)$ can be made arbitrarily close to $L$ by taking $x$ sufficiently close to $a$ :

1

\quad \lim_{x\to a} f(x) = L \iff \forall \varepsilon>0\ \exists \delta>0:\ 0<|x-a|<\delta \implies |f(x)-L|<\varepsilon.

Derivation hint: This is the inequality-based reading of Cauchy's verbal definition ("the difference becomes less than any assignable quantity"); $\varepsilon$ encodes "any assignable quantity," $\delta$ the required nearness in $x$ . $f$ is continuous at $a$ when $L = f(a)$ . The symbols: $f$ a real (or complex) function, $a$ the point of approach, $L$ the limit value, $\varepsilon$ the target tolerance, $\delta$ the corresponding input tolerance.

DefinitionCauchy Sequence

A sequence $(x_n)$ is a Cauchy sequence if its terms become arbitrarily close to each other:

2

\quad \forall \varepsilon>0\ \exists N\in\mathbb{N}:\ m,n\ge N \implies |x_m - x_n|<\varepsilon.

Derivation hint: Replace the (unknown) limit in the convergence definition by mutual closeness of terms; in $\mathbb{R}$ or $\mathbb{C}$ (complete spaces) this is equivalent to convergence. Here $x_n$ are terms of the sequence, $m,n$ indices, $N$ the threshold index.

TheoremCauchy Integral Theorem

If $f$ is holomorphic (complex-differentiable) on and inside a simple closed contour $\gamma$ in a simply connected domain, then

3

\quad \oint_\gamma f(z)\,dz = 0.

Derivation hint: Apply Green's theorem to the real and imaginary parts and invoke the Cauchy–Riemann equations, which force both resulting double integrals to vanish. The symbols: $\gamma$ a closed curve, $z=x+iy$ a complex variable, $f$ holomorphic, $\oint$ the contour integral.

TheoremCauchy Integral Formula

Under the same hypotheses, for any point $z_0$ inside $\gamma$ ,

4

\quad f(z_0) = \frac{1}{2\pi i}\oint_\gamma \frac{f(z)}{z-z_0}\,dz.

Derivation hint: Deform $\gamma$ to a small circle around $z_0$ (legal by [3]), parametrize $z=z_0+re^{i\theta}$ , and let $r\to 0$ using continuity of $f$ . This astonishing identity recovers the value of $f$ everywhere inside from its boundary values alone.

ProofCauchy Integral Formula from the Integral Theorem

Step 1. Let $f$ be holomorphic inside and on $\gamma$ , and fix $z_0$ inside. Define $g(z) = \dfrac{f(z)}{z-z_0}$ , holomorphic except at $z_0$ .

Step 2. Excise a small circle $C_r$ of radius $r$ about $z_0$ . In the region between $\gamma$ and $C_r$ , $g$ is holomorphic; by the Cauchy Integral Theorem [3] applied to this annular region,

5

\quad \oint_\gamma g(z)\,dz = \oint_{C_r} g(z)\,dz.

Derivation hint: The contour integral over a boundary enclosing no singularity is zero; splitting the boundary into $\gamma$ and $-C_r$ gives the equality.

Step 3. Parametrize $C_r$ by $z = z_0 + r e^{i\theta}$ , $dz = i r e^{i\theta}\,d\theta$ , $\theta\in[0,2\pi]$ :

6

\quad \oint_{C_r}\frac{f(z)}{z-z_0}\,dz = \int_0^{2\pi} \frac{f(z_0+re^{i\theta})}{re^{i\theta}}\, i r e^{i\theta}\,d\theta = i\int_0^{2\pi} f(z_0+re^{i\theta})\,d\theta.

Derivation hint: Substitute the parametrization; the factor $re^{i\theta}$ cancels, leaving a clean angular integral.

Step 4. Let $r\to 0$ . By continuity of $f$ , $f(z_0+re^{i\theta})\to f(z_0)$ uniformly in $\theta$ , so

7

\quad \oint_{C_r}\frac{f(z)}{z-z_0}\,dz \;\longrightarrow\; i\int_0^{2\pi} f(z_0)\,d\theta = 2\pi i\, f(z_0).

Derivation hint: The integrand tends to a constant; the integral of that constant over $[0,2\pi]$ is $2\pi$ times it.

Step 5. Combining [5] and [7]: $\oint_\gamma g(z)\,dz = 2\pi i f(z_0)$ , which rearranges to [4]. $\blacksquare$

∎

mathematician · Augustin-Louis Cauchy | 1789–1857

Born in Paris weeks after the storming of the Bastille, Cauchy trained as an engineer at the École Polytechnique and the École des Ponts et Chaussées, working on the harbour at Cherbourg before turning fully to mathematics. A devout Catholic and staunch royalist, he refused the oath of allegiance after the 1830 revolution and went into voluntary exile (Turin, then Prague, tutoring the exiled Bourbon heir), returning to France in 1838. His rigour, breadth, and sheer output — roughly 800 papers and several textbooks, foremost his Cours d'analyse (1821) — reshaped mathematics; his name attaches to more concepts than almost any other mathematician's.

🧠 Intuition

Think of Cauchy's program as demanding receipts for every claim about the infinite. Before him, "the function approaches a value" or "the series converges" were intuitive pictures. Cauchy turned each into a challenge–response game: you name how close you want to be ( $\varepsilon$ ); I must produce a stage ( $N$ or $\delta$ ) guaranteeing it. If I can always answer your challenge, the statement is true; if even one $\varepsilon$ defeats me, it is false. For complex analysis, the intuition is even stranger and more beautiful: holomorphic functions are rigid. Unlike a real differentiable function, which can wiggle freely, a complex-differentiable function is so constrained that knowing it on a loop pins down its values everywhere inside (Formula [4]). It is as if measuring the temperature only on the edge of a metal plate let you reconstruct it at every interior point exactly.

Figure

Cauchy Integral Formula: boundary values determine the interior

ExampleEvaluating a Contour Integral with the Cauchy Formula

Given: Evaluate $\displaystyle \oint_{|z|=2} \frac{e^z}{z-1}\,dz$ , where the contour is the circle of radius $2$ centred at the origin, traversed counterclockwise.

Step 1. Identify $f(z)=e^z$ (entire, hence holomorphic everywhere) and the singularity at $z_0=1$ .

Step 2. Check that $z_0=1$ lies inside $|z|=2$ : since $|1|=1<2$ , yes.

Step 3. Apply Cauchy's Integral Formula [4]:

8

\quad \oint_{|z|=2}\frac{e^z}{z-1}\,dz = 2\pi i\, f(1) = 2\pi i\, e^1.

Derivation hint: Match the integrand to $f(z)/(z-z_0)$ with $f=e^z$ , $z_0=1$ , then read off $2\pi i f(z_0)$ .

Step 4. Compute $e^1 \approx 2.71828$ .

\boxed{\;\oint_{|z|=2}\frac{e^z}{z-1}\,dz = 2\pi i\,e \approx 17.08\,i\;}

(dimensionless complex number; units depend on context).

ExampleTesting the Cauchy Criterion for Convergence

Given: Decide whether $x_n = \sum_{k=1}^{n} \frac{1}{k^2}$ converges, using the Cauchy criterion [2].

Step 1. For $m>n$ , estimate the tail:

9

\quad |x_m - x_n| = \sum_{k=n+1}^{m}\frac{1}{k^2} < \sum_{k=n+1}^{m}\frac{1}{k(k-1)} = \frac{1}{n}-\frac{1}{m} < \frac{1}{n}.

Derivation hint: Bound $1/k^2 < 1/(k(k-1))$ and telescope the comparison sum.

Step 2. Given $\varepsilon>0$ , choose $N>1/\varepsilon$ . Then for $m,n\ge N$ , $|x_m-x_n|<1/N<\varepsilon$ .

Step 3. The Cauchy criterion is satisfied, so the sequence converges in the complete space $\mathbb{R}$ .

\boxed{\;\sum_{k=1}^{\infty}\frac{1}{k^2}\ \text{converges (in fact to } \pi^2/6 \approx 1.6449).}

⚠️ Common mistake

A Cauchy sequence is not automatically convergent — completeness is required. The Cauchy criterion [2] guarantees convergence only in a complete space such as $\mathbb{R}$ or $\mathbb{C}$ . In an incomplete space (e.g. the rationals $\mathbb{Q}$ ), a Cauchy sequence can fail to have a limit within that space. Students often treat "Cauchy" and "convergent" as synonyms; they are equivalent only after completeness is assumed or proven.

CounterexampleA Cauchy sequence with no rational limit

Consider the rational sequence of decimal truncations of $\sqrt 2$ :

1,\ 1.4,\ 1.41,\ 1.414,\ 1.4142,\ \dots

Each term is rational, and the sequence is Cauchy (terms differ by at most $10^{-n}$ , which can be made smaller than any $\varepsilon$ ). Yet its only possible limit, $\sqrt 2$ , is irrational, so the sequence does not converge in $\mathbb{Q}$ . This is precisely why the real numbers are constructed as the completion of $\mathbb{Q}$ with respect to Cauchy sequences — a construction (due to Cantor) built directly on Cauchy's idea.

⚠️ Common mistake

The Cauchy Integral Theorem requires holomorphy and a simply connected domain. If $f$ has a singularity inside $\gamma$ (e.g. $1/z$ on $|z|=1$ ), then $\oint_\gamma f\,dz \neq 0$ in general — for $1/z$ it equals $2\pi i$ . Likewise, real differentiability is not the same as complex holomorphy: $f(z)=\bar z$ is smooth as a map $\mathbb{R}^2\to\mathbb{R}^2$ but fails the Cauchy–Riemann equations, so the theorem does not apply to it.

connection

Cauchy's work is a hub connecting many areas. His limit definition underlies all of Real Analysis and the modern treatment of the Derivative and Riemann Integral. The Cauchy criterion is the gateway to Completeness of the Real Numbers and to Metric Spaces generally. The Integral Theorem and Formula are the foundation of Complex Analysis, leading to the Residue Theorem, Laurent Series, and Analytic Continuation. His convergence tests connect to Power Series (the Cauchy–Hadamard radius formula). In algebra, Cauchy's theorem on group order (a finite group whose order is divisible by a prime $p$ has an element of order $p$ ) links him to Group Theory. In physics, the Cauchy stress tensor ties him to Continuum Mechanics and Elasticity Theory.

🔬 Where this appears

⏳ History

- 1789 — Augustin-Louis Cauchy born in Paris, August 21, during the early French Revolution.

- 1805–1807 — Studies at the École Polytechnique; later trains as a civil engineer at the École des Ponts et Chaussées.

- 1815 — Wins the Grand Prix of the Académie for work on wave propagation; appointed professor at the École Polytechnique.

- 1821 — Publishes Cours d'analyse, introducing rigorous definitions of limit, continuity, and convergence — a watershed for analysis.

- 1823 — Résumé des leçons sur le calcul infinitésimal gives his rigorous treatment of the derivative and the (Cauchy) integral as a limit of sums.

- 1825 — Formulates and proves the Cauchy Integral Theorem in his memoir on definite integrals with imaginary limits, founding complex contour integration.

- 1829 — Develops the theory of the Cauchy stress tensor and elasticity; also works on the calculus of residues.

- 1830–1838 — Refuses the oath to Louis-Philippe; lives in exile in Turin and Prague.

- 1845 — Proves Cauchy's theorem in group theory on elements of prime order; continues prolific output until his death in 1857 at Sceaux.

open-problem

Cauchy's own proofs contained gaps that later mathematicians had to repair, and these reveal deep subtleties. His 1821 "theorem" that the sum of a convergent series of continuous functions is continuous was false as stated — the missing hypothesis was uniform convergence, isolated only later by Weierstrass and Stokes (Abel's 1826 Fourier-series counterexample exposed the flaw). This forced the careful distinction between pointwise and uniform convergence that still trips up undergraduates. Similarly, Cauchy's notion of the integral predated Riemann's precise formulation and did not yet address discontinuous integrands, which led to the later Riemann and Lebesgue theories. A genuinely open theme rooted in Cauchy's complex analysis is the deep study of boundary behaviour of holomorphic functions and singular Cauchy-type integrals (Hardy spaces, the Cauchy transform on rough curves) — active research areas in harmonic analysis where exactly how boundary values determine interior values remains subtle.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also