JustToThePoint English Website Version
JustToThePoint en español

Cauchy's Integral Formula for the First Derivative

Enjoy the little things, for one day you may look back and realize they were the big things, Robert Brault

image info

Introduction

A complex function $f(z)$ maps $z = x + iy \in \mathbb{C}$ to another complex number. For example: $f(z) = z^2 = (x + iy)^2 = x^2 - y^2 + 2ixy, f(z) = \frac{1}{z}, f(z) = \sqrt{z^2 + 7}$.

A contour is a continuous, piecewise-smooth curve defined parametrically as: $z(t) = x(t) + iy(t), \quad a \leq t \leq b$. Examples of contours:

Definition (Smooth Contour Integral). Let ᵞ be a smooth contour (a continuously differentiable path in the complex plane), $\gamma: [a, b] \to \mathbb{C}$. Let $f: \gamma^* \to \mathbb{C}$ be a continuous complex-valued function defined on the trace $\gamma^*$ of the contour (i.e. along the image of $\gamma$). Then, the contour integral of f along $\gamma$ is defined as $\int_{\gamma} f(z)dz := \int_{a}^{b} f(\gamma(t)) \gamma^{'}(t)dt$.

Cauchy Integral Formula

Theorem. Cauchy Integral Formula. If a function f is analytic in a simply connected domain D and γ is a simply closed contour (positive orientated) in D. Then, for any point $z_0$ inside γ we have $f(z_0) = \frac{1}{2\pi i}\cdot \int_{\gamma} \frac{f(z)}{z-z_0}dz$ (Figure D).

Cauchy Integral Formula

It states that the value of an analytic function at any point z₀ is completely determined by the values the function takes on any simple closed curve that encircles the point. If you know the function’s values on the boundary, you know everything about the function’s behavior inside that boundary. This is quite unlike anything you’ve probably encountered with functions of real variables.

  1. A more generalized version is as follows: $f^{(n)}(z_0) = \frac{n!}{2\pi i}\cdot \int_{\gamma} \frac{f(z)}{(z-z_0)^{(n+1)}}dz$.

  2. Cauchy Integral Formula (Winding Number Lemma). Let γ be a closed rectifiable curve in ℂ, f analytic on an open set containing γ and its interior. For any point a not on γ, the Cauchy Integral Formula states: $\oint_{\gamma} \frac{f(z)}{z-a}dz = 2\pi i \cdot n(\gamma, a) \cdot f(a)$
    The winding number is defined as $n(γ, a) = \frac{1}{2πi}\oint_\gamma \frac{dz}{z-a}$. This represents the net number of times γ winds around a counterclockwise.
    For simple closed curves with positive orientation n(γ, a) = 1 if a is inside γ, 0 if outside.
    For multiple windings n(γ, a) counts the net winding (e.g., 2 for two counterclockwise loops, -1 for one clockwise loop).
    The formula reduces to the basic Cauchy Integral Formula when n(γ, a) = 1.

  3. The formula can be used to calculate integrals: $\int_{\gamma} \frac{f(z)}{z-z_0}dz = 2\pi i \cdot f(z_0), \int_{\gamma} \frac{f(z)}{(z-z_0)^{(n+1)}}dz = \frac{2\pi i}{n!} \cdot f^{(n)}(z_0)$

  4. Key Conditions:
    Analyticity: $ f(z) $ must be analytic (holomorphic) inside and on $\gamma$. Non-analytic points (e.g., poles) require residue calculus.
    Contour $ C $: $\gamma$ is a simple closed curve (e.g., a circle, ellipse). A simple closed curve is a curve that has no self-intersections and is closed, meaning it starts and ends at the same point. For non-simple contours, the winding number adjusts the result.
    Point $z_0$: $z_0$ must lie inside $\gamma$. If $z_0$ is outside $\gamma$, the integral vanishes.

Cauchy’s Integral Formula for the First Derivative

Cauchy’s Integral Formula for the First Derivative. Let f be analytic on and inside a positively orientated simple closed curve $\gamma$. For any point a inside $\gamma, a \in \mathcal{Int}(\gamma)$, the first derivative f'(a) exists and is given by: $f^{'}(a) = \frac{1}{2\pi i}\oint_{\gamma} \frac{f(w)}{(w-a)^2}dw$.

Proof.

Let $a \in \mathcal{Int}(\gamma)$ be an arbitrary element in the interior of $\gamma$. We want to find the derivative $f'(a)$ for $a$ inside a large, arbitrary contour $\gamma$.

Working with arbitrary shapes is mathematically messy. Because $f(z)$ is analytic, the Principle of Deformation of Contours allows us to shrink our large, wobbly contour $\gamma$ down to a perfect, mathematically simple circle centered exactly at $a$, as long as we don’t cross any points where $f(z)$ ceases to be analytic.

By the Principle of Deformation of Contours, the integral over $\gamma$ is equal to the integral over any small, positively oriented circle $\gamma_r$ centered at a, provided $\gamma_r$ lies entirely inside $\gamma$, $\gamma(a; r) \text{ and } Int(\gamma(a; r)) \subset Int(\gamma)$. Let $\gamma(a; 2r)$ be a circle of radius 2r (it simplifies the subsequent steps) centered at a: $\gamma(a; 2r) = \{w : |w-a|=2r\}$. We choose a small r such that $\gamma(a; 2r)$ is inside $\gamma$. We basically create a “buffer zone”.

We apply the Cauchy Integral Formula, $f(z) = \frac{1}{2\pi i}\oint_{\gamma_r} \frac{f(w)}{w-z}dw$, to the points a + h and a. We choose h small enough such that a + h also lies inside $\gamma_r$. Specifically, let |h| < r.

$$ \begin{aligned} \frac{f(a+h) - f(a)}{h} &=\frac{1}{h} \left[ \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{w-(a+h)}dw - \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{w-a}dw \right] \\[2pt] &\text{Using the linearity property of contour integrals, we combine the terms:} \\[2pt] &=\frac{1}{2\pi i h}\oint_{\gamma(a; 2r)}[\frac{f(w)}{w-a-h}-\frac{f(w)}{w-a}]dw \\[2pt] &\text{Combine the fractions inside the integral using a common denominator:} \\[2pt] &\frac{1}{w-a-h} - \frac{1}{w-a} = \frac{(w-a) - (w-a-h)}{(w-a-h)(w-a)} = \frac{h}{(w-a-h)(w-a)} \\[2pt] &=\frac{1}{2\pi i h}\oint_{\gamma(a; 2r)} \frac{f(w) \cdot h}{(w-a-h)(w-a)}dw \\[2pt] &\text{The factor $h$ cancels out:} \\[2pt] &=\frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a-h)(w-a)}dw \\[2pt] \end{aligned} $$

Thus, $\frac{f(a+h) - f(a)}{h} = \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a-h)(w-a)} dw \text{ (i)}$

We are trying to prove that the limit of the difference quotient (the error term) equals the proposed integral $\frac{1}{2\pi i}\oint \frac{f(w)}{(w-a)^2}dw$ as $h \to 0$.

In rigorous calculus, to prove that $\lim_{h \to 0} Q(h) = L$, we must prove that the absolute difference (the “Error”) between them shrinks to zero: $\lim_{h \to 0} |Q(h) - L| = 0$.

We examine the error term:

$$ \begin{aligned} Error &= \frac{f(a + h) - f(a)}{h} - \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a)^2}dw \\[2pt] &\text{Substitute the expression from (i) and combine the integrals:} \\[2pt] &=\frac{1}{2\pi i} \oint_{\gamma(a; 2r)} f(w)[\frac{1}{(w-a-h)(w-a)}-\frac{1}{(w-a)^2}]dw \\[2pt] &\text{Once again, we combine the fractions inside the brackets using the common denominator} \\[2pt] &\frac{(w-a) - (w-a-h)}{(w-a-h)(w-a)^2} = \frac{h}{(w-a-h)(w-a)^2} \\[2pt] &= \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w) \cdot h}{(w-a-h)(w-a)^2} dw \\[2pt] &\text{The error term simplifies to:} \\[2pt] &= \frac{h}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a-h)(w-a)^2} dw \end{aligned} $$

We must show that $\lim_{h \to 0} |\text{Error}| = 0$. Bounding the Error with ML-Estimation:

  1. Contour Length L. The contour is a circle of radius 2r. The length of the contour $\gamma(a; 2r)$ is $L = 2\pi (2r) = 4\pi r$.
  2. Bound for |f(w)|: Since f is analytic, it is continuous on the compact contour $\gamma(a; 2r)$. Thus, f is bounded: $|f(w)| \le M$ for some M, $M = \max_{w \in \gamma(a; 2r)} |f(w)|$.

    If a function $f(z)$ is analytic (complex differentiable) at a point, it is automatically continuous at that point. Since f is analytic in a domain containing the contour $\gamma(a; 2r)$, it must be continuous on that contour. A set in $\mathbb{C}$ is compact if it is closed (contains its boundary) and bounded (can be enclosed by a finite circle). The circle $\gamma(a; 2r)$, defined by |w - a| = 2r, is a closed and bounded set, making it a compact set. The Extreme Value Theorem (Weierstrass Theorem) states that a continuous function defined on a compact set must attain both its maximum and minimum values on that set. Since f(w) is continuous on the compact set $\gamma(a; 2r)$, the maximum value of the magnitude, |f(w)|, must exist and be finite (the Extreme Value Theorem guarantees $f(w)$ cannot shoot off to infinity).

  3. Bound for |w - a|: For w on the circle $\gamma(a; 2r), w \in \gamma(a; 2r)^*$, the distance is exactly |w - a| = 2r. Since $w$ lies exactly on the boundary of our circle centered at $a$, the distance $|w-a|$ is permanently fixed at 2r. Squaring it gives $4r^2$.
  4. Bound for |w -a -h|: We chose |h| < r. By the Reverse Triangle Inequality: $|w-a-h| \ge ||w-a| - |h|| = |2r - |h||$. Since |h| < r, then $-|h| > -r \leadsto 2r - |h| > 2r - r = r > 0, |w-a-h| \gt r$.
$$ \begin{aligned} |Error| &=|\frac{f(a + h) - f(a)}{h} - \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a)^2}dw| \\[2pt] &=|\frac{h}{2\pi i} \oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a-h)(w-a)^2} dw| \\[2pt] &\text{By the ML-Estimation Theorem} \\[2pt] &=\frac{|h|}{2\pi} \oint_{\gamma(a; 2r)} \frac{|f(w)|}{|w-a-h||w-a|^2}|dw| \\[2pt] &\text{Substitute all bounds:} \\[2pt] &\le \frac{|h|}{2\pi} \cdot \frac{M}{(r) (2r)^2} \cdot (4\pi r) \\[2pt] &\text{Simplify the expression:} \\[2pt] &= \frac{|h|}{2\pi} \cdot \frac{M}{4r^3} \cdot (4\pi r) = \frac{|h| M (4\pi r)}{8\pi r^3} = \frac{|h| M}{2r^2} \end{aligned} $$

We have successfully trapped our Error term: $|Error| = \left| \frac{f(a+h) - f(a)}{h} - \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a)^2}dw \right| \le \frac{M}{2r^2} |h|$

As we take the limit $h \to 0, \lim_{h \to 0} \left( \frac{M}{2r^2} |h| \right) = 0$. Since the error term is bounded by a quantity that tends to zero, the error term itself must tend to zero: $\lim_{h \to 0} |\frac{f(a + h) - f(a)}{h} - \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a)^2}dw| = 0 \leadsto \lim_{h \to 0} \frac{f(a + h) - f(a)}{h} - \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a)^2}dw = 0$

Therefore, we have established the key inequality:

$$0 \le \left| \underbrace{\frac{f(a+h) - f(a)}{h} - \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a)^2}dw}_{\text{Error Term } E(h)} \right| \le \underbrace{\frac{M}{2r^2} |h|}_{\text{Upper Bound } B(h)}$$

The Squeeze Theorem: Since $|E(h)|$ is squeezed between two functions whose limits are both 0, the limit of $|E(h)|$ must also be 0

Since $- \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a)^2}dw$ is constant related to h (it contains no h), the derivative exists, and its value is $f'(a) = \lim_{h \to 0} \frac{f(a + h) - f(a)}{h} = \frac{1}{2\pi i}\oint_{\gamma(a; 2r)} \frac{f(w)}{(w-a)^2}dw$

Finally, by the Deformation of Contours, the integral over the small circle $\gamma(a; 2r)$ is equal to the integral over the original contour $\gamma: f'(a) = \frac{1}{2\pi i}\oint_{\gamma} \frac{f(w)}{(w-a)^2}dw$

We normally write it as $f'(z) = \frac{1}{2\pi i}\oint_{\gamma} \frac{f(w)}{(w-z)^2}dw, z \in I(\gamma)$

Examples

The integrand has singularities at z = i and z = -i. Since $\gamma$ is a simple closed contour in the upper half-plane enclosing i (but not −i), only z = i lies inside γ.

$$ \begin{aligned} \oint_{\gamma} \frac{\cos(z)}{z^2+1}dz = &=\oint_{\gamma} \frac{\cos(z)}{(z-i)(z+i)}dz \\[2pt] &[\text{We rewrite the integrand as}] \\[2pt] &=\oint_{\gamma} \frac{\frac{\cos(z)}{z+i}}{z-i}dz \\[2pt] &[f(z) = \frac{\cos(z)}{z+i} \text{is analytic on an open set containing } \gamma^* \cup \mathcal{I}(\gamma)] \\[2pt] &=[\text{By Cauchy's Integral Formula}] 2\pi i\cdot f(i) = 2\pi i \frac{cos(i)}{2i} \\[2pt] &= \pi cos(i) = \pi (\frac{e^{i(i)}+e^{-i(i)}}{2}) = \pi (\frac{e^{-1}+e^{1}}{2}) = \frac{\pi (e^2 + 1)}{2e} \end{aligned} $$

$\oint_\gamma \frac{sin(z)}{(z-\frac{\pi}{2})^3} dz = \frac{2\pi i}{2!}f^{''}(\frac{\pi}{2}) = \frac{2\pi i}{2!} \cdot (-sin(\frac{\pi}{2})) = \pi i \cdot (-1) = -\pi i.$

Bitcoin donation

JustToThePoint Copyright © 2011 - 2026 Anawim. ALL RIGHTS RESERVED. Bilingual e-books, articles, and videos to help your child and your entire family succeed, develop a healthy lifestyle, and have a lot of fun. Social Issues, Join us.

This website uses cookies to improve your navigation experience.
By continuing, you are consenting to our use of cookies, in accordance with our Cookies Policy and Website Terms and Conditions of use.