Augustin-Louis Cauchy

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.

Augustin-Louis Cauchy was one of the most prolific and influential mathematicians in history, and the principal architect of the rigorous foundations of calculus. Where his predecessors (Euler, Lagrange) reasoned with infinitesimals and formal manipulation, Cauchy insisted that every concept of analysis — limit, continuity, convergence, derivative, integral — be defined in terms of clearly stated inequalities and limiting processes. He simultaneously created large parts of complex analysis, proving that a function's behaviour on a closed contour controls its values inside, and he contributed deeply to elasticity theory, permutation groups, and the theory of differential equations. A surprising fact: Cauchy published so relentlessly (sometimes a paper a week) that the Académie des Sciences imposed a page limit on its journal Comptes Rendus partly to restrain him.

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 ( $ε$ ), there exists a stage ( $δ$ 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.

Formal Statement

Cauchy did not produce a single theorem but a coherent framework. We record his central definitions and his most celebrated theorem.

Cauchy'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$ :

x \to a lim f (x) = L ⟺ \forall ε > 0 \exists δ > 0 : 0 < ∣ x - a ∣ < δ ⟹ ∣ f (x) - L ∣ < ε .

⟳This is the inequality-based reading of Cauchy's verbal definition ("the difference becomes less than any assignable quantity");

ε

encodes "any assignable quantity,"

δ

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,

ε

the target tolerance,

δ

the corresponding input tolerance.

Cauchy Sequence

A sequence $(x_{n})$ is a Cauchy sequence if its terms become arbitrarily close to each other:

\forall ε > 0 \exists N \in N : m, n \geq N ⟹ ∣ x_{m} - x_{n} ∣ < ε .

⟳Replace the (unknown) limit in the convergence definition by mutual closeness of terms; in

R

C

(complete spaces) this is equivalent to convergence.

Here $x_{n}$ are terms of the sequence, $m, n$ indices, $N$ the threshold index.

Cauchy Integral Theorem

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

\oint_{γ} f (z) d z = 0.

⟳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: $γ$ a closed curve, $z = x + i y$ a complex variable, $f$ holomorphic, $\oint$ the contour integral.

Cauchy Integral Formula

Under the same hypotheses, for any point $z_{0}$ inside $γ$ ,

f (z_{0}) = \frac{1}{2 π i} \oint_{γ} \frac{f ( z )}{z - z _{0}} d z .

⟳Deform

γ

to a small circle around

z_{0}

(legal by [3]), parametrize

z = z_{0} + r e^{i θ}

, and let

r \to 0

using continuity of

f

This astonishing identity recovers the value of $f$ everywhere inside from its boundary values alone.

Why It Holds / Derivation

Cauchy Integral Formula from the Integral Theorem

Step 1. Let

f

be holomorphic inside and on

γ

, and fix

z_{0}

inside. Define

g (z) = \frac{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

γ

and

C_{r}

g

is holomorphic; by the Cauchy Integral Theorem [3] applied to this annular region,

\oint_{γ} g (z) d z = \oint_{C_{r}} g (z) d z .

⟳The contour integral over a boundary enclosing no singularity is zero; splitting the boundary into

γ

and

- C_{r}

gives the equality.

Step 3. Parametrize

C_{r}

z = z_{0} + r e^{i θ}

d z = i r e^{i θ} d θ

θ \in [0, 2 π]

\oint_{C_{r}} \frac{f ( z )}{z - z _{0}} d z = \int_{0}^{2 π} \frac{f ( z _{0} + r e ^{i θ} )}{r e ^{i θ}} i r e^{i θ} d θ = i \int_{0}^{2 π} f (z_{0} + r e^{i θ}) d θ .

⟳Substitute the parametrization; the factor

r e^{i θ}

cancels, leaving a clean angular integral.

Step 4. Let

r \to 0

. By continuity of

f

f (z_{0} + r e^{i θ}) \to f (z_{0})

uniformly in

θ

, so

\oint_{C_{r}} \frac{f ( z )}{z - z _{0}} d z ⟶ i \int_{0}^{2 π} f (z_{0}) d θ = 2 π i f (z_{0}) .

⟳The integrand tends to a constant; the integral of that constant over

[0, 2 π]

2 π

times it.

Step 5. Combining [5] and [7]:

\oint_{γ} g (z) d z = 2 π i f (z_{0})

, which rearranges to [4].

■

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.

Building 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 ( $ε$ ); I must produce a stage ( $N$ or $δ$ ) guaranteeing it. If I can always answer your challenge, the statement is true; if even one $ε$ 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.

Cauchy Integral Formula: boundary values determine the interior

Worked Examples

Evaluating a Contour Integral with the Cauchy Formula

Given: Evaluate

\oint_{∣ z ∣ = 2} \frac{e ^{z}}{z - 1} d z

, 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]:

\oint_{∣ z ∣ = 2} \frac{e ^{z}}{z - 1} d z = 2 π i f (1) = 2 π i e^{1} .

⟳Match the integrand to

f (z) / (z - z_{0})

with

f = e^{z}

z_{0} = 1

, then read off

2 π i f (z_{0})

Step 4. Compute

e^{1} \approx 2.71828

\oint_{∣ z ∣ = 2} \frac{e ^{z}}{z - 1} d z = 2 π i e \approx 17.08 i

(dimensionless complex number; units depend on context).

Testing 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:

∣ x_{m} - x_{n} ∣ = k = n + 1 \sum m \frac{1}{k ^{2}} < k = n + 1 \sum m \frac{1}{k ( k - 1 )} = \frac{1}{n} - \frac{1}{m} < \frac{1}{n} .

⟳Bound

1/ k^{2} < 1/ (k (k - 1))

and telescope the comparison sum.

Step 2. Given

ε > 0

, choose

N > 1/ ε

. Then for

m, n \geq N

∣ x_{m} - x_{n} ∣ < 1/ N < ε

. Step 3. The Cauchy criterion is satisfied, so the sequence converges in the complete space

R

k = 1 \sum \infty \frac{1}{k ^{2}} converges (in fact to π^{2} /6 \approx 1.6449) .

Common Misconceptions

A Cauchy sequence is not automatically convergent — completeness is required. The Cauchy criterion [2] guarantees convergence only in a complete space such as

R

C

. In an incomplete space (e.g. the rationals

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.

A Cauchy sequence with no rational limit

Consider the rational sequence of decimal truncations of $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

1 0^{- n}

, which can be made smaller than any

ε

). Yet its only possible limit,

2

, is irrational, so the sequence does not converge in

Q

. This is precisely why the real numbers are constructed as the completion of

Q

with respect to Cauchy sequences — a construction (due to Cantor) built directly on Cauchy's idea.

The Cauchy Integral Theorem requires holomorphy and a simply connected domain. If

f

has a singularity inside

γ

(e.g.

1/ z

∣ z ∣ = 1

), then

\oint_{γ} f d z \neq = 0

in general — for

1/ z

it equals

2 π i

. Likewise, real differentiability is not the same as complex holomorphy:

f (z) = \overset{z}{ˉ}

is smooth as a map

R^{2} \to R^{2}

but fails the Cauchy–Riemann equations, so the theorem does not apply to it.

Connections

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.

Real-World Applications

Signal processing & control theory — the Cauchy/argument principle and contour methods evaluate Fourier and Laplace inverse transforms used to analyze filters and feedback stability (Nyquist criterion).
Aerospace and civil engineering — the Cauchy stress tensor describes internal forces in beams, aircraft wings, and dams; it is the bedrock of finite-element structural analysis.
Fluid dynamics — complex potential theory (built on holomorphic functions and Cauchy's theorem) models 2-D ideal flows around airfoils (Joukowski transform).
Electrical engineering — contour integration via Cauchy's formula computes circuit responses and evaluates difficult real integrals arising in impedance analysis.
Numerical analysis — the Cauchy integral formula for derivatives yields stable numerical differentiation and underlies algorithms for evaluating matrix functions.
Probability & statistics — the Cauchy distribution (heavy-tailed, with undefined mean) models resonance phenomena and serves as a key counterexample in robust statistics.
Seismology and materials science — stress analysis using Cauchy's framework predicts fracture and wave propagation in solids.

Historical Development

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.

Subtleties & Limits

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.