Cauchy’s Theorem

=================

Definition

Cauchy’s theorem is a fundamental result in mathematics, particularly in Complex Analysis and Functional Analysis. It states that if \(f\) is a continuous function on the closed interval \([a, b]\) of the complex plane, then the integral of \(f(z)\) over the unit circle \(|z|=1\) is equal to zero.

History

The theorem was first proved by Augustin-Louis Cauchy in 1827. However, it did not gain widespread recognition until the work of Élie Cartan and others in the early 20th century.

Statement of the Theorem

Let \(f(z)\) be a continuous function on the closed interval \([a, b]\) of the complex plane, and let \(\omega\) be a Simple Closed Curve that encloses the origin. Then:

\[\oint_{\omega} f(z) dz = 2 \pi i f(0).\]

Proof

The proof of Cauchy’s theorem involves several steps.

Step 1: Consider the function \(F(z) = \frac{f(z)}{|z|^n}\), where \(n\) is a positive integer.

Since \(f(z)\) is continuous on \([a, b]\), so is \(F(z)\). Moreover, \(|F(z)| \leq |f(z)|\) for all \(z \in [a, b]\).

Step 2: Apply the Maximum Modulus Principle to \(F(z)\).

By the Maximum Modulus Principle, \(F(z)\) is not constant on any closed curve enclosing the origin. Therefore, there exists a point \(\gamma\) on this curve such that \(|F(\gamma)| > |F(z)|\) for all \(z \in [a, b]\). Since \(\frac{f(z)}{|z|^n}\) is continuous and non-negative, we must have \(|f(\gamma)| = 0\), which implies \(f(\gamma) = 0\).

Step 3: Use the Mean Value Property to bound the integral of \(F(z)\) over the unit circle \(\omega\).

The Mean Value Property states that for a function \(h\) on the closed interval \([a, b]\), if \(|z - z_1| < |z_2 - z_1|\) for all \(z_1, z_2 \in [a, b]\), then:

\[\frac{1}{b-a} \int_{a}^{b} h(z) dz = \int_{a}^{b} h(z_0) dz,\]

where \(h(z_0)\) is the value of \(h\) at the point \(z_0\). Applying this property to \(F(z)\), we get:

\[\frac{1}{2\pi} \oint_{\omega} F(z) dz = \int_{\omega} |F(z)|^n dz.\]

Step 4: Use the boundedness of \(|F(z)|\) to bound the integral of \(F(z)\) over \(\omega\).

From Step 1, we know that \(|F(z)| \leq |f(z)|\), so:

\[\left|\frac{1}{2\pi} \oint_{\omega} F(z) dz\right| \leq \int_{\omega} |F(z)|^n dz.\]

Consequences

Cauchy’s theorem has several important consequences.

  • It implies that if a function is analytic in the region enclosed by a Simple Closed Curve, then it must be identically zero.
  • It provides a condition on the behavior of functions at the origin, which can be used to study the properties of complex functions.
  • It has applications in various areas of mathematics and physics, including calculus, analysis, and engineering.

Applications

Cauchy’s theorem has been applied in many areas of mathematics and physics. Some examples include:

  • Complex Analysis: Cauchy’s theorem is used to study the properties of complex functions, such as their derivatives and integrals.
  • Functional Analysis: It is used to study the properties of operators on Banach spaces and Hilbert spaces.
  • Physics: The theorem has been applied in the study of electrical circuits and quantum mechanics.

Notation

The following notation is commonly used:

  • \(f(z)\): a continuous function on the closed interval \([a, b]\) of the complex plane.
  • \(\omega\): a Simple Closed Curve that encloses the origin.
  • \(|z|\) or \(|F(z)|\): the modulus (or absolute value) of the complex number \(z\) or the function \(F(z)\).

History

The theorem was first proved by Augustin-Louis Cauchy in 1827. However, it did not gain widespread recognition until the work of Élie Cartan and others in the early 20th century.

Summary

Cauchy’s theorem is a fundamental result in mathematics that states that if a function is continuous on a closed interval \([a, b]\) of the complex plane, then its integral over the unit circle \(\omega\) that encloses the origin is equal to zero. The theorem has several important consequences and applications in various areas of mathematics and physics.

See Also