Skip to content
Menu
中文Sign in
Back to exploration
Calculus / English

Mathematical Methods in Physics 1-3.2 Cauchy integral formula

上大老姜 · Bilibili · 9:08

Open original
Bilibili · 上大老姜Original video
READ & KEEP

The explanation, unpacked.

Saves 0

Reviewed learning material · Video analysis · English
Read the full overview

This segment is the opening part of the 'Complex Functions — Cauchy's Integral Formula' lecture from Shanghai University's 'Mathematical Methods in Physics' course. The first 22 seconds consist of the opening animation and chapter title; then the instructor draws a closed contour C and an interior point z0z_0 on the whiteboard, clarifying that the formula holds under the condition that the region enclosed by C is a simply connected domain where f(z)f(z) is analytic. Starting at approximately 62 seconds, the core formula f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz is presented, and its meaning—that it links the function's value at a point inside the region to a loop integral around that point—is explained. Around 96 seconds, the "Proof:" section begins; the instructor first cautions against focusing solely on the analyticity of f(z)f(z), and instead stresses examining the entire integrand f(z)z−z0\frac{f(z)}{z-z_0}. This segment ends just as the proof begins, without including the full derivation. This segment explains Cauchy's integral formula in complex analysis. The instructor first presents the formula and its conditions of applicability, then introduces Cauchy's integral theorem for multiply connected domains, explaining how to deform a large contour integral into an integral over a small circular contour enclosing a singularity. Next, by setting up a parametric equation for the small circle, the contour integral is converted into a real-variable definite integral with respect to the polar angle—completing a key preparatory step in the proof of the formula. This segment explains the proof of the Cauchy integral formula. The blackboard first states the formula f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C\frac{f(z)}{z-z_0}dz, then converts the integral over the large contour C into an integral over a small circle CrC_r centered at z0z_0. Next, using the parameterization z=z0z=z_0+re^{iθi\theta}, the expression simplifies to i∫02πfi\int_0^{2\pi}f(z0z_0+re^{iθi\theta})dθd\theta; then letting r→0r\to 0 and invoking the continuity of the analytic function, f(z0z_0+re^{iθi\theta}) is replaced by f(z0)f(z_0), ultimately yielding ∮Cf(z)z−z0dz=2πif(z0)\oint_C\frac{f(z)}{z-z_0}dz=2\pi i f(z_0). Finally, the instructor notes that this proof depends on the Cauchy integral theorem for multiply connected domains covered earlier. At the end of the segment, the instructor begins mentioning a special case or corollary of the formula, but the content is cut off. This segment first reviews the Cauchy integral formula and its special case when f(z)=1f(z)=1, a case useful for determining whether a point lies inside the integration contour. Then, the discussion turns to derivatives of analytic functions: by differentiating both sides of the Cauchy integral formula with respect to the variable zz, the first- and second-derivative formulas for analytic functions are derived in detail, illustrating the close relationship between integration and differentiation in complex analysis. This segment mainly explains the Cauchy integral formula and its corollaries in complex analysis. The video first presents the Cauchy integral formula, which computes the value of an analytic function inside a closed curve using an integral over that curve. Next, by repeatedly differentiating this formula with respect to the evaluation point z, the video derives integral expressions for the first, second, and up to the n-th derivative, highlighting the pattern where the denominator's power increases and a factorial factor appears in the numerator. Finally, the video summarizes an important property of analytic functions: if a function is analytic in a region, then it has derivatives of all orders there, and each derivative is itself analytic.

Use the learning inspector for key ideas and moments, or open the reading tabs for the complete notes.

Chapters

0:00Opening animation and course title0:22Introduction to Cauchy's integral formula0:32Explain the conditions on C, f(z)f(z), and z0z_01:02State the Cauchy integral formula1:36Begin the proof: first analyze the integrand2:00Introduction and conditions of Cauchy's integral formula2:15Contour deformation using Cauchy's integral theorem for multiply connected domains2:45Parameterization of the small circular contour and conversion of the integral4:00Cauchy integral formula and parameterization4:13Reduction from large contour to small contour4:57Letting the radius tend to zero and using continuity5:36Proof summary and introduction to subsequent corollaries6:00Cauchy's Integral Formula and a Special Case6:40Deriving Derivatives of Analytic Functions8:00Display of Cauchy's integral formula and its derivative formulas of all orders8:14Derivation and explanation of the property that analytic functions are differentiable of all orders8:34Course summary: infinite differentiability of analytic functions8:53End credits and university promotion

Learning script

Generated from the video's visuals and explanation; not verbatim speech.

Start with the opening animation and chapter title of the Mathematical Methods in Physics course, then switch to the teaching page, clearly stating that today's topic is Complex Variable Functions: the Cauchy Integral Formula.

The instructor immediately highlights that this section introduces a very important formula for complex functions: the Cauchy integral formula. The task here is first to establish its geometric and analytic background, then state the formula itself.

On the right side of the blackboard appears a closed circle, with point z0z_0 marked inside it. While pointing to the circle’s boundary, the instructor explains the conditions: CC is the contour enclosing the region; the entire region enclosed by CC is a simply connected domain of analyticity for f(z)f(z)—that is, f(z)f(z) is analytic everywhere in this region. He then points out that z0z_0 is a point inside this enclosed region. Thus, the three objects required for the formula—the contour CC, the function f(z)f(z), and the interior point z0z_0—are all explicitly identified.

The blackboard then displays the key formula f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz. The instructor explains its meaning: we wish to evaluate the analytic function f(z)f(z) at a point z0z_0 within a simply connected analytic domain, and this value can surprisingly be expressed as a contour integral around a path enclosing z0z_0. The crucial link here is the equivalence between 'the function value at a local point' and 'a global contour integral around that point'.

Below the page appears the heading 'Proof:', signaling the transition from stating the formula to proving it. The instructor begins by suggesting an entry point for the proof: do not focus solely on the numerator f(z)f(z), but instead examine the entire integrand. Although f(z)f(z) is analytic in the region, the actual object appearing in the integral is f(z)z−z0\frac{f(z)}{z-z_0}. This step shifts attention from 'the function being analytic' to 'the structure of the quotient-type integrand', preparing for subsequent analysis.

The clip ends just as the instructor says, 'for such a large integrand', so this segment completes only the initial step of the proof: identifying the integrand as f(z)z−z0\frac{f(z)}{z-z_0}, without yet proceeding to further derivation.

In complex analysis, when the integration contour encloses a non-analytic point (a singularity) of the function, direct evaluation of the integral is often extremely difficult. In such cases, we rely on Cauchy's integral theorem for multiply connected domains to handle the problem. This theorem allows us to convert the integral along a large contour into an equivalent integral along a small contour enclosing the singularity.

To simplify computation, we may freely choose the shape of the small contour. The ideal choice is a circle centered at the singularity z0z_0 with radius rr. Thus, the original complicated contour integral reduces to an integral over this small circle CrC_r.

Next, we parameterize the small circular path. On the small circle CrC_r, the complex variable zz can be expressed as z=z0+reiθz = z_0 + re^{i\theta}. Differentiating this parametric equation, and noting that both z0z_0 and rr are constants, yields dz=ireiθdθdz = ire^{i\theta} d\theta.

Substituting the expressions for zz and dzdz into the integral, the denominator z−z0z - z_0 simplifies exactly to reiθre^{i\theta}. Moreover, since the integration is over a closed contour, the polar angle θ\theta ranges from 00 to 2π2\pi. At this point, the contour integral in the complex plane has been successfully converted into a definite integral with respect to the real variable θ\theta, preparing the way for completing the proof of Cauchy's integral formula by taking the limit r→0r \to 0.

This segment starts from the blackboard heading 'Cauchy integral formula', first clarifying the premise: the region enclosed by C is a simply connected domain where f(z)f(z) is analytic, and z0z_0 is a point inside that region. The formula is written as f(z0)=12πi∮Cf(z)z−z0 dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz. The proof then begins: the first step rewrites the integral along the large contour C as an integral along the small circle CrC_r, parameterizes the small circle as z=z0+reiθz=z_0+re^{i\theta}, and thus obtains dz=ireiθ dθdz=ire^{i\theta}\,d\theta.

Substitution yields ∫02πf(z0+reiθ)reiθ ireiθ dθ\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}\,ire^{i\theta}\,d\theta. The key simplification here is the cancellation between rr in the numerator and eiθe^{i\theta} in the denominator, so the expression immediately simplifies to i∫02πf(z0+reiθ) dθi\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta. This step involves only algebraic manipulation and does not yet involve limits.

Next, the video explains why this substitution is valid: because as long as the new contour still encloses the non-analytic region, the integral value remains unchanged. In the schematic on the right, the large circle C and the small circle CrC_r are concentric at z0z_0, illustrating precisely that "a large contour can be shrunk to a small contour." The instructor emphasizes that in this example, the non-analytic region is simply the point z0z_0 itself; thus, as long as the small circle continues to encircle this point, its radius can be made arbitrarily small.

Since integrals along different contours encircling z0z_0 yield the same value, we may further consider the limit r→0r\to 0. The boardwork now completes the chain: ∮Cf(z)z−z0 dz=lim⁡r→0∮Crf(z)z−z0 dz=ilim⁡r→0∫02πf(z0+reiθ) dθ\oint_C \frac{f(z)}{z-z_0}\,dz=\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=i\lim_{r\to 0}\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta. The idea here is to shrink the small circle continuously toward its center, causing the variable of integration in the integrand to approach z0z_0.

Then we use the continuity of analytic functions. Because z0+reiθ→z0z_0+re^{i\theta}\to z_0, it follows that f(z0+reiθ)→f(z0)f(z_0+re^{i\theta})\to f(z_0). The video moves the limit inside the integral sign, obtaining i∫02πf(z0) dθi\int_0^{2\pi}f(z_0)\,d\theta. Since f(z0)f(z_0) is independent of the integration variable θ\theta, it can be factored out of the integral, leaving if(z0)∫02πdθ=2πif(z0)i f(z_0)\int_0^{2\pi}d\theta=2\pi i f(z_0). This completes the transformation from a contour integral to a function value.

Finally, the instructor connects the result back to the initial formula: since ∮Cf(z)z−z0 dz=2πif(z0)\oint_C \frac{f(z)}{z-z_0}\,dz=2\pi i f(z_0), equivalently we have f(z0)=12πi∮Cf(z)z−z0 dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz. He also summarizes that this entire proof fundamentally relies on the "Cauchy integral theorem for multiply connected domains," introduced earlier. At the end of this segment, the video begins introducing a special case or corollary of the Cauchy integral formula, but the excerpt ends here without stating it fully.

In our earlier derivation, we obtained Cauchy's integral formula. Now, let us consider a special case: if the integrand is a constant function, specifically f(z)=1f(z) = 1.

In this case, the formula becomes 12πi∮C1z−z0dz\frac{1}{2\pi i} \oint_C \frac{1}{z - z_0} dz. The result of this integral is highly intuitive and useful: if the contour CC encloses the point z0z_0, then the integral equals 1; if it does not enclose z0z_0, then the result equals 0.

This special-case formula is extremely convenient for determining the positional relationship between a point and a region; we hope you not only memorize it but also understand its origin.

Having mastered Cauchy's integral formula, we can further explore one of its important applications in complex analysis—computing derivatives of analytic functions.

Let us examine the first derivative of an analytic function. Starting from Cauchy's integral formula f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi, we differentiate both sides with respect to the variable zz.

Examining the integral expression, only the denominator term (ξ−z)(\xi - z) contains the variable zz. Therefore, the differentiation operation acts primarily on this term.

Differentiating 1ξ−z\frac{1}{\xi - z} with respect to zz, we first differentiate the outer power function to obtain −1(ξ−z)2\frac{-1}{(\xi - z)^2}, then differentiate the inner expression (ξ−z)(\xi - z) with respect to zz to obtain −1-1. The two negative signs cancel, yielding the final result 1(ξ−z)2\frac{1}{(\xi - z)^2}.

Substituting this result back into the original integral expression gives us the first-derivative formula: f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi.

Similarly, we can differentiate the first-derivative formula again to obtain the second derivative. Differentiating 1(ξ−z)2\frac{1}{(\xi - z)^2} with respect to zz introduces the coefficient 2 and another sign cancellation, resulting in 2(ξ−z)3\frac{2}{(\xi - z)^3}.

Since 2=2!2 = 2!, the second-derivative formula can be written as f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi. This pattern extends naturally to higher-order derivatives.

This video segment focuses on a central tool in complex analysis—Cauchy's integral formula. Four key formulas appear clearly on the whiteboard: first, the basic Cauchy integral formula f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi, which links the function's value inside a region to an integral over its boundary. Next, the video shows the result of differentiating this formula: the first derivative f′(z)f'(z) has denominator (ξ−z)2(\xi-z)^2; the second derivative f′′(z)f''(z) has denominator (ξ−z)3(\xi-z)^3 and gains coefficient 2!2! in the numerator; generalizing to the nn-th derivative yields formula f(n)(z)=n!2πi∮Cf(ξ)(ξ−z)n+1dξf^{(n)}(z) = \frac{n!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^{n+1}} d\xi. The instructor uses hand gestures to guide viewers' attention to this pattern: each differentiation raises the denominator's exponent by one and accumulates a factorial factor.

Building upon the above derivations, the instructor further explains a profound property of analytic functions. He points out that once we confirm function f(z)f(z) is analytic on a simple closed curve CC and throughout the simply connected domain it encloses, then Cauchy's integral formula allows us to compute all orders of derivatives of this function at any interior point via integration. This means analytic functions are not merely differentiable once—they possess derivatives of all orders. This conclusion breaks the real-variable intuition that 'differentiability does not guarantee second-order differentiability', underscoring the exceptionally strong constraints imposed by analyticity in complex analysis.

The video concludes with bold red subtitles summarizing the entire segment: 'Analytic functions are differentiable of all orders! Any derivative of an analytic function is also analytic.' The instructor verbally reiterates this point, emphasizing that it is one of the most fascinating properties of analytic functions. Through today's lesson, viewers have not only mastered concrete integral formulas for computing higher-order derivatives of analytic functions, but also grasped the smoothness implied by the term 'analytic'. The lesson ends with a concise summary, followed by the end-credit sequence.

Knowledge cards

01

Cauchy integral formula

The core formula presented in the video is f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz. Its meaning is: if the region enclosed by CC is a simply connected domain of analyticity for f(z)f(z), and z0z_0 is a point in that region, then the function’s value at z0z_0 can be expressed via a contour integral along CC.

f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz
02

The prerequisite conditions for the formula to hold

Write the conditions on the board clearly: the region enclosed by CC is a simply connected analytic region f(z)f(z), and z0z_0 is a point inside that region. The instructor then explains orally that CC is a closed contour enclosing the region, f(z)f(z) is analytic throughout the entire enclosed region, and z0z_0 must lie inside this region.

03

First step of the proof: examine the entire integrand

After beginning the proof, the instructor emphasizes that one must not merely state that f(z)f(z) is analytic while ignoring the integral structure; what truly needs to be studied is the integrand f(z)z−z0\frac{f(z)}{z-z_0}. This step serves to shift the object of analysis from the numerator to the full quotient, paving the way for subsequent reasoning.

f(z)z−z0\frac{f(z)}{z-z_0}
04

Cauchy's integral formula

If the region enclosed by C is a simply connected domain where f(z)f(z) is analytic, and z0z_0 is a point inside that region, then the value of the function at z0z_0 can be obtained via a contour integral along the boundary C. This is one of the most fundamental formulas in complex analysis, revealing that the values of an analytic function inside a region are entirely determined by its values on the boundary.

f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz
05

Principle of contour deformation

Based on Cauchy's integral theorem for multiply connected domains, when the integrand is analytic in the annular region between two concentric loops, the integral along the outer loop equals the integral along the inner loop. This principle allows us to replace a complicated integration path with a simpler one—such as a circle—that is easier to compute.

∮Cf(z)z−z0dz=∮Crf(z)z−z0dz\oint_C \frac{f(z)}{z - z_0} dz = \oint_{C_r} \frac{f(z)}{z - z_0} dz
06

Parameterization of the small circular loop

To compute the integral around the small circular loop enclosing the singularity z0z_0, we typically use polar coordinate parameterization. Let the radius of the small circle be r; then points on the circle are expressed as z=z0z = z_0 + re^{iθi\theta}, with differential dz = ire^{iθi\theta} dθd\theta. This converts the complex integral into a definite integral with respect to the real variable θ\theta.

z=z0+reiθ,dz=ireiθdθz = z_0 + re^{i\theta}, \quad dz = ire^{i\theta} d\theta
07

Cauchy Integral Formula

The core formula presented in the video is: if the region enclosed by C is a simply connected domain where f(z)f(z) is analytic, and z0z_0 is a point inside that region, then f(z0)f(z_0) can be expressed as a contour integral along C. This formula directly links the value of a function at an interior point to a boundary contour integral.

f(z0)=12πi∮Cf(z)z−z0 dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz
08

Converting the integral over a large contour into an integral over a small contour

The key method in the proof is replacing the integral along the large contour C with an integral along the small circle CrC_r. The video stresses that as long as the new contour still encloses the non-analytic region, the integral value remains unchanged. In this example, the non-analytic region is the point z0z_0, so the small circle need only encircle z0z_0.

∮Cf(z)z−z0 dz=∮Crf(z)z−z0 dz\oint_C \frac{f(z)}{z-z_0}\,dz=\oint_{C_r}\frac{f(z)}{z-z_0}\,dz
09

Parameterization of the small circle and simplification

Using the parameterization z=z0+reiθz = z_0 + r e^{i\theta} for the small circle, we have dz=ireiθdθdz = i r e^{i\theta} d\theta. Substituting this causes the r and eiθe^{i\theta} factors in the integrand to cancel, reducing the integral to i∫02πf(z0+reiθ)dθi \int_0^{2\pi} f(z_0 + r e^{i\theta}) d\theta. This step forms the basis for the subsequent limiting process.

∮Crf(z)z−z0 dz=∫02πf(z0+reiθ)reiθ ireiθ dθ=i∫02πf(z0+reiθ) dθ\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}\,ire^{i\theta}\,d\theta=i\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta
10

Taking the radius to zero and using continuity

Because the integral around the small contour encircling z0z_0 remains unchanged as the radius varies, we may further take the limit r→0r \to 0. Using the continuity of the analytic function, f(z0+reiθ)f(z_0 + r e^{i\theta}) becomes f(z0)f(z_0) in the limit, leaving only the constant f(z0)f(z_0) integrated with respect to θ\theta, ultimately yielding 2πif(z0)2\pi i f(z_0).

lim⁡r→0i∫02πf(z0+reiθ) dθ=i∫02πf(z0) dθ=2πif(z0)\lim_{r\to 0}i\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta=i\int_0^{2\pi}f(z_0)\,d\theta=2\pi i f(z_0)
11

The proof relies on Cauchy's integral theorem for multiply connected domains.

In the summary, the instructor explicitly states that the proof of Cauchy's integral formula presented here is not derived out of thin air, but rather built upon Cauchy's integral theorem for multiply connected domains discussed earlier. This illustrates the logical relationship between the formula and the more general contour integral theorem.

12

Cauchy's Integral Formula

If the region enclosed by CC is a simply connected domain of analyticity for f(z)f(z), and z0z_0 is a point inside that region, then f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz holds. This formula establishes a connection between the integral along a closed curve and the function value at a point inside the curve.

f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz
13

A special case of Cauchy's Integral Formula

When f(z)=1f(z) = 1, Cauchy's Integral Formula simplifies to 12πi∮C1z−z0dz={1,z0∈ΣC0,z0∉ΣC\frac{1}{2\pi i} \oint_C \frac{1}{z - z_0} dz = \begin{cases} 1, & z_0 \in \Sigma_C \\ 0, & z_0 \notin \Sigma_C \end{cases}. This special case is often used to determine whether a point lies inside the region bounded by the integration contour.

12πi∮C1z−z0dz={1,z0∈ΣC0,z0∉ΣC\frac{1}{2\pi i} \oint_C \frac{1}{z - z_0} dz = \begin{cases} 1, & z_0 \in \Sigma_C \\ 0, & z_0 \notin \Sigma_C \end{cases}
14

First derivative of an analytic function

Differentiating both sides of Cauchy's Integral Formula with respect to zz yields the formula for the first derivative of an analytic function: f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi. This shows that the derivative of an analytic function can still be expressed as an integral over the boundary.

f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
15

Second derivative of an analytic function

Differentiating the first-derivative formula further yields the second-derivative formula: f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi. The coefficient 2!2! arises from the constant factor generated when differentiating a power function.

f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi
16

Cauchy's Integral Formula

A fundamental theorem in complex analysis. If the function f(z)f(z) is analytic on and inside a simple closed curve CC, CC then for any point CC inside zz, we have f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi. This formula shows that the values of an analytic function inside a region are completely determined by its values on the boundary.

f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi
17

Formula for Higher-Order Derivatives of Analytic Functions

Derived from Cauchy's Integral Formula. If f(z)f(z) is analytic on CC and its interior, then its nnth derivative exists and can be expressed as an integral: f(n)(z)=n!2πi∮Cf(ξ)(ξ−z)n+1dξf^{(n)}(z) = \frac{n!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^{n+1}} d\xi. Note that the exponent in the denominator is n+1n+1, and the numerator contains n!n!.

f(n)(z)=n!2πi∮Cf(ξ)(ξ−z)n+1dξf^{(n)}(z) = \frac{n!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^{n+1}} d\xi
18

Infinite Differentiability of Analytic Functions

An important property of complex functions. Unlike real-valued functions, if a complex function is analytic (i.e., complex-differentiable once) in a region, then it has derivatives of all orders in that region, and all its derivative functions are also analytic there. This reflects the strong regularity of analytic functions.

Detailed learning notes

Explore conditions, steps and evidence. Supplementary explanations are labeled separately from content shown in the video.

Symbols · 31

C

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board condition line reads: "The region enclosed by C is a simply connected analytic region of f(z)f(z)."

  2. Diagram
    Observation

    A closed circular loop is drawn on the right; the instructor points to this closed curve multiple times.

Symbol

C

Meaning

A closed loop or contour enclosing a point inside the region.

Domain

A closed curve in the complex plane.

f(z)f(z)

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The function f(z)f(z) appears both in the board condition line and in the numerator of the formula.

  2. Audio
    Observation

    The instructor says: "this function f(z)f(z)" and "the f(z)f(z) inside the integrand is analytic."

Symbol

f(z)f(z)

Meaning

A complex-valued function analytic in the simply connected region enclosed by C.

Domain

A function of the complex variable z.

z0z_0

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board condition line reads: "z0z_0 is a point inside the region," and the denominator of the formula is z−z0z - z_0.

  2. Diagram
    Observation

    The point z0z_0 is labeled inside the closed circle.

Symbol

z0z_0

Meaning

A specified point located inside the region enclosed by C.

Domain

A point in the complex plane.

i

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The formula's denominator contains 2πi2\pi i

Symbol

i

Meaning

the imaginary unit

Domain

the complex unit

π\pi

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The formula's denominator contains 2πi2\pi i

Symbol

π\pi

Meaning

the constant pi

Domain

a real constant

dz

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The integral expression ends with dz

Symbol

dz

Meaning

the differential element when integrating along contour C

Domain

the differential element for a complex line integral

f(z)f(z)

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board displays the formulas f(z)f(z) and f(z0)f(z_0).

Symbol

f(z)f(z)

Meaning

a complex analytic function defined on a simply connected analytic domain

Domain

a simply connected region in the complex plane

C

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board text reads 'The region enclosed by C is a simply connected analytic domain for f(z)f(z)' and the symbol C appears beneath the integral sign.

Symbol

C

Meaning

a simple closed curve enclosing the region (the integration contour)

Domain

complex plane

z0z_0

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board text reads 'z0z_0 is a point inside the region' and the formula contains z0z_0.

Symbol

z0z_0

Meaning

a fixed point inside the region (not an analytic point)

Domain

complex plane

CrC_r

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The symbol CrC_r appears beneath the integral sign on the board.

Symbol

CrC_r

Meaning

a small circle centered at z0z_0 with radius r

Domain

complex plane

r

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A small circle is drawn in the figure, labeled with radius r.

  2. Formula
    Observation

    The parameter equation z=z0z = z_0 + re^{iθi\theta} contains r.

Symbol

r

Meaning

radius of the small circle

Domain

positive real number

θ\theta

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The parameter equation z=z0z = z_0 + re^{iθi\theta} and the integration limits from 0 to 2π2\pi contain θ\theta.

Symbol

θ\theta

Meaning

polar angle parameter

Domain

zero to two pi

Knowledge points · 17

Cauchy integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The blackboard displays the Cauchy integral formula: f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz

  2. Audio
    Observation

    The instructor explains: "The value of f(z)f(z) at z0z_0 … can be expressed using this integral"

Formula
Explanation

If the region enclosed by C is a simply connected analytic domain of f(z)f(z), and z0z_0 is a point inside that region, then the value of the function at z0z_0 can be expressed as the contour integral along C: f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz.

Formula
f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz
Conditions

  1. The region enclosed by C is a simply connected analytic domain of f(z)f(z).

  2. z0z_0 is a point inside the region enclosed by C.

Prerequisites
  1. The simply connected analytic domain condition.

The simply connected analytic domain condition.

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The condition line on the blackboard reads: "The region enclosed by C is a simply connected analytic domain of f(z)f(z)."

  2. Audio
    Observation

    The instructor says: "This entire C is the closed loop, and it is a simply connected analytic domain of the function f(z)f(z)." "Inside this enclosed region, the function is simply connected and analytic—that is, fully analytic."

Definition
Explanation

The video states the prerequisite for the formula's validity as follows: the entire region enclosed by the closed contour C is a simply connected analytic domain of the function f(z)f(z), meaning f(z)f(z) is analytic everywhere in that region.

Conditions

  1. The region enclosed by C is the object under discussion.

  2. f(z)f(z) is simply connected and analytic in that region.

structure of the integrand

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says: "The integrand is not merely f(z)f(z); rather, the integrand is f(z)f(z) divided by z minus z0z_0."

  2. Formula
    Observation

    The integrand in the formula is f(z)z−z0\frac{f(z)}{z-z_0}.

Uncertainties

  1. The clip ends at the phrase "So we see that, for this large integrand," and the subsequent reasoning is not included in this clip.

Method
Explanation

When proving Cauchy's integral formula, the video first stresses that one must not focus solely on the analyticity of the numerator f(z)f(z), but rather analyze the entire integrand f(z)z−z0\frac{f(z)}{z-z_0} as an object.

Conditions

  1. The object of study is the integrand of the integral ∮Cf(z)z−z0dz\oint_C \frac{f(z)}{z-z_0}dz

Prerequisites
  1. Cauchy integral formula

Cauchy integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Blackboard title "Cauchy integral formula" and the formula f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz.

Formula
Explanation

If the region enclosed by C is a simply connected domain where f(z)f(z) is analytic, and z0z_0 is a point inside that region, then f(z0)f(z_0) can be expressed via a contour integral along the boundary C.

Formula
f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz
Conditions

  1. the region enclosed by C is a simply connected domain where f(z)f(z) is analytic

  2. z0z_0 is a point inside the region

Principle of contour deformation

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor mentions, "The integral over a large loop can actually be reduced to the integral over a small loop encircling the non-analytic point z0z_0."

Method
Explanation

Using Cauchy's integral theorem for multiply connected domains, the integral along the large contour C can be transformed into the integral along the small contour CrC_r encircling the singularity z0z_0, thereby simplifying computation.

Formula
Conditions

  1. The integrand is analytic in the annular region between C and CrC_r

Prerequisites
  1. Cauchy integral formula

Cauchy's integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    the board title reads "Cauchy's integral formula", followed by f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz

  2. Audio
    Observation

    the instructor concludes, "So this is the Cauchy integral formula we just discussed."

Formula
Explanation

the video writes Cauchy's integral formula as: if the region enclosed by C is a simply connected domain where f(z)f(z) is analytic, and z0z_0 is a point inside that region, then f(z0)f(z_0) can be expressed as a contour integral along C. This formula relates the value of the function at an interior point to its contour integral along the boundary loop.

Formula
f(z0)=12πi∮Cf(z)z−z0 dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz
Conditions

  1. the region enclosed by C is a simply connected domain where f(z)f(z) is analytic

  2. z0z_0 is a point inside the region enclosed by C

The method of converting the integral over the large contour into the integral over the small contour

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    the instructor says, "Convert the large-loop integral into a small-loop integral," "as long as this loop encloses the non-analytic region," "all results are the same."

  2. Diagram
    Observation

    The right-hand diagram simultaneously plots the outer contour C and the inner contour CrC_r, both encircling the same point z0z_0

Method
Explanation

The video emphasizes that, in the proof, the integral along the large contour C can be converted into the integral along the small contour CrC_r. As long as the new contour still encloses the non-analytic region and winds around the same point z0z_0, the integral values obtained from contours of different sizes are identical. Here, the key is not the shape itself, but whether the contour encloses the same singularity region.

Formula
Conditions

  1. The new contour still encloses the original non-analytic region

  2. What is being compared is the contour integral of the same integrand f(z)z−z0\frac{f(z)}{z-z_0}

Prerequisites
  1. Cauchy's integral formula

Let the radius of the small circle tend to zero

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Below the chalkboard, lim⁡r→0∮Crf(z)z−z0dz=ilim⁡r→0∫02πf\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}dz=i\lim_{r\to 0}\int_0^{2\pi}f(z0z_0+re^{iθi\theta})dθd\theta is written

  2. Audio
    Observation

    The instructor says, "I can let my r approach zero, and the result remains unchanged."

Method
Explanation

The video further explains that, since the integral value remains unchanged as long as the contour encloses the point z0z_0, we may take the limit r→0r\to 0, shrinking the small circle toward its center. The purpose of this step is to exploit the continuity of the analytic function, replacing f(z0z_0+re^{iθi\theta}) with f(z0)f(z_0) in the limit.

Formula
lim⁡r→0∮Crf(z)z−z0 dz=ilim⁡r→0∫02πf(z0+reiθ) dθ\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=i\lim_{r\to 0}\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta
Conditions

  1. CrC_r is centered at z0z_0

  2. The integrand is analytic everywhere in the region except at z0z_0

Prerequisites
  1. The method of converting the integral over the large contour into the integral over the small contour

Cauchy's integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    the value of f at z zero equals one over two pi i times the integral along the closed curve C of f evaluated at z divided by z minus z zero, with respect to z

Formula
Explanation

If the region enclosed by CC is a simply connected analytic region of f(z)f(z), and z0z_0 is a point in that region, then Cauchy's integral formula holds.

Formula
f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz
Conditions

  1. The region enclosed by CC is a simply connected analytic region of f(z)f(z)

  2. z0z_0 is a point in the region

a special case of Cauchy's integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    One over two pi i times the integral along the closed curve C of one divided by z minus z zero, with respect to z, equals one if z zero lies inside the region bounded by C, and zero if z zero lies outside the region bounded by C

Formula
Explanation

When f(z)=1f(z) = 1, Cauchy's integral formula reduces to a very useful special case for determining whether a point lies inside the integration contour.

Formula
12πi∮C1z−z0dz={1,z0∈ΣC0,z0∉ΣC\frac{1}{2\pi i} \oint_C \frac{1}{z - z_0} dz = \begin{cases} 1, & z_0 \in \Sigma_C \\ 0, & z_0 \notin \Sigma_C \end{cases}
Conditions

  1. f evaluated at z is identically equal to one

Prerequisites
  1. Cauchy's integral formula

first derivative of an analytic function

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The derivative of f at z equals one over two π i times the integral along the closed curve C of f evaluated at sigma divided by sigma minus z, integrated with respect to sigma, then differentiated with respect to z; this derivative also equals one over two π i times the integral along the closed curve C of f evaluated at sigma divided by sigma minus z squared, integrated with respect to sigma.

Formula
Explanation

Differentiating both sides of the Cauchy integral formula with respect to zz yields the formula for the first derivative of an analytic function.

Formula
f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
Conditions

  1. f(z)f(z) is analytic inside CC

Prerequisites
  1. Cauchy's integral formula

second derivative of an analytic function

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The second derivative of f at z equals two factorial divided by two π i, multiplied by the integral along the closed curve C of f evaluated at sigma divided by sigma minus z cubed, integrated with respect to sigma.

Formula
Explanation

Differentiating the first derivative formula further yields the formula for the second derivative of an analytic function.

Formula
f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi
Conditions

  1. f(z)f(z) is analytic inside CC

Prerequisites
  1. first derivative of an analytic function
Claims and conditions · 4

Statement of Cauchy's integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The blackboard fully writes "Cauchy's integral formula: f(z0)=12πi∮Cf(z)z−z0dzf(z_0) = \frac{1}{2\pi i} \oint_C \frac{f(z)}{z - z_0} dz"

  2. Audio
    Observation

    The instructor verbally explains that this formula relates the function value at a point z0z_0 inside the region to a contour integral around that point.

Theorem
Statement

If the region enclosed by C is a simply connected domain of analyticity for f(z)f(z), and z0z_0 is a point inside that region, then f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz.

Hypotheses

  1. The region enclosed by C is a simply connected domain of analyticity for f(z)f(z)

  2. z0z_0 is a point inside the region enclosed by C

Quantifiers

Holds for C, f(z)f(z), and the interior point z0z_0 satisfying the above conditions

Cauchy's integral theorem for multiply connected domains

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor mentions, "We will need to apply Cauchy's integral theorem for multiply connected domains."

Theorem
Statement

In a multiply connected domain, if a function is analytic between all boundaries, then the integral along the outer boundary equals the sum of the integrals along the inner boundaries.

Hypotheses

  1. The function is analytic within the multiply connected domain

Quantifiers

For any multiply connected domain and analytic function satisfying the conditions

The proof of Cauchy's integral formula relies on Cauchy's integral theorem for multiply connected domains.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, "The entire proof of this Cauchy integral formula relies solely on the Cauchy integral theorem for multiply connected domains, which we discussed earlier."

Theorem
Statement

The video points out that the proof of Cauchy's integral formula shown in this segment is fundamentally based on Cauchy's integral theorem for multiply connected domains, discussed earlier.

Hypotheses

  1. Cauchy's integral theorem for multiply connected domains has already been established.

  2. The integrand satisfies the analyticity condition within the corresponding region.

Quantifiers

A general explanation of the theorem used as the basis for this segment's proof.

The theorem on higher-order differentiability of analytic functions

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, 'As long as it is an analytic function... within the region enclosed by C, which is simply connected and analytic, then we know that this analytic function's derivatives—yes, you can compute derivatives of arbitrarily high order; any order of derivative can be taken.'

  2. Caption evidence
    Observation

    Subtitle: "Analytic functions are infinitely differentiable!"

Theorem
Statement

If a function f(z)f(z) is analytic on a simple closed curve C and in the simply connected region enclosed by C, then f(z)f(z) has derivatives of all orders in that region, and each derivative can be expressed via a contour integral formula.

Hypotheses

  1. f(z)f(z) is analytic on and inside C

  2. C is a simple closed curve

Quantifiers

For any point z in the region and any nonnegative integer n

Derivations and proofs · 7

Starting point of the proof: first analyze the entire integrand.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, "Let us prove this fact. How do we prove it? Well, look at the integrand of this integral."

  2. Formula
    Observation

    The blackboard displays "Proof:" below the previous content

  3. Audio
    Observation

    The instructor continues, 'Although the function f(z)f(z) inside your integrand is analytic... the integrand is not just f(z)f(z); this integrand is f(z)f(z) divided by z minus z0z_0.'

Uncertainties

  1. This segment presents only the initial observation of the proof, without the full derivation chain.

Proof
Steps
  1. Expression
    Explanation

    After entering the proof, focus first on the integrand of integral ∮Cf(z)z−z0dz\oint_C \frac{f(z)}{z-z_0}dz.

    Justification

    The video explicitly states orally, 'We will examine the integrand of this integral.'

    Shown in the video
  2. Expression
    f(z)z−z0\frac{f(z)}{z-z_0}
    Explanation

    It is pointed out that the integrand is not merely f(z)f(z), but the quotient f(z)z−z0\frac{f(z)}{z-z_0}.

    Justification

    The instructor says, 'The integrand is not just f(z)f(z); this integrand is f(z)f(z) divided by z minus z0z_0.'

    Shown in the video
Conclusion

The derivation in this segment proceeds only as far as 'the proof should begin with the overall integrand f(z)z−z0\frac{f(z)}{z-z_0}'; subsequent reasoning does not appear.

Derivation of the proof of Cauchy's integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The blackboard step-by-step demonstrates the derivation from ∮C\oint_C to ∮Cr\oint_{C_r} and then to the parametrized integral.

Proof
Steps
  1. Expression
    ∮Cf(z)z−z0dz=∮Crf(z)z−z0dz\oint_C \frac{f(z)}{z - z_0} dz = \oint_{C_r} \frac{f(z)}{z - z_0} dz
    Explanation

    Using Cauchy's integral theorem for multiply connected domains, the integral over the large contour C is transformed into the integral over the small contour CrC_r.

    Justification

    Cauchy's Integral Theorem on Multiply Connected Domains

    Shown in the video
  2. Expression
    z∈Cr,z=z0+reiθz \in C_r, \quad z = z_0 + re^{i\theta}
    Explanation

    Parameterize the small loop CrC_r with center z0z_0, radius r, and polar angle θ\theta.

    Justification

    Parametric equations of a circle

    Shown in the video
  3. Expression
    dz=ireiθdθdz = ire^{i\theta} d\theta
    Explanation

    Differentiate both sides of the parametric equations to obtain the expression for dz.

    Justification

    Differentiation rules for complex functions

    Shown in the video
  4. Expression
    ∮Crf(z)z−z0dz=∫02πf(z0+reiθ)reiθireiθdθ\oint_{C_r} \frac{f(z)}{z - z_0} dz = \int_0^{2\pi} \frac{f(z_0 + re^{i\theta})}{re^{i\theta}} ire^{i\theta} d\theta
    Explanation

    Substitute the parametric expressions for z and dz into the integral, and change the limits of integration from the contour to theta ranging from 0 to 2 pi.

    Justification

    Parametric substitution in integrals

    Shown in the video
Conclusion

By parameterizing the integration path, the contour integral in the complex plane is successfully converted into a definite integral in the real variable θ\theta, laying the groundwork for taking the limit r→0r \to 0 to prove the formula.

Parameterize the contour integral and cancel common factors.

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The first line of the board work gives ∮Cf(z)z−z0dz=∮Crf(z)z−z0dz\oint_C \frac{f(z)}{z-z_0}dz=\oint_{C_r}\frac{f(z)}{z-z_0}dz, where z∈Crz\in C_r and z=z0z=z_0+re^{iθi\theta}.

  2. Formula
    Observation

    The next line writes =∫02πf(z0+reiθ)reiθ\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}ire^{iθi\theta}dθd\theta.

  3. Audio
    Observation

    The instructor says, "The r and r cancel, and e to the i theta and e to the i theta cancel, so the result emerges immediately."

Proof
Steps
  1. Expression
    ∮Cf(z)z−z0 dz=∮Crf(z)z−z0 dz\oint_C \frac{f(z)}{z-z_0}\,dz=\oint_{C_r}\frac{f(z)}{z-z_0}\,dz
    Explanation

    First rewrite the integral along the large contour C as an integral along the small circle CrC_r.

    Justification

    The video verbally explains that the large contour can be replaced by a small contour, provided the non-analytic region remains enclosed.

    Shown in the video
  2. Expression
    z=z0+reiθ,dz=ireiθ dθz=z_0+re^{i\theta},\quad dz=ire^{i\theta}\,d\theta
    Explanation

    Apply polar-coordinate parameterization to the small circle CrC_r and express the differential in terms of θ\theta.

    Justification

    The blackboard directly gives the parametric equations and their corresponding differentials.

    Shown in the video
  3. Expression
    ∮Crf(z)z−z0 dz=∫02πf(z0+reiθ)reiθ ireiθ dθ\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}\,ire^{i\theta}\,d\theta
    Explanation

    Substitute z and dz to obtain a definite integral in terms of θ\theta.

    Justification

    Parametric substitution.

    Shown in the video
  4. Expression
    ∫02πf(z0+reiθ)reiθ ireiθ dθ=i∫02πf(z0+reiθ) dθ\int_0^{2\pi}\frac{f(z_0+re^{i\theta})}{re^{i\theta}}\,ire^{i\theta}\,d\theta=i\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta
    Explanation

    The r and eiθe^{i\theta} in numerator and denominator cancel, leaving only the coefficient i and the integral with respect to θ\theta.

    Justification

    Algebraic simplification; the instructor explicitly states, "r cancels with r, and e to the i theta cancels with e to the i theta."

    Shown in the video
Conclusion

Obtain the intermediate result ∮Cf(z)z−z0\oint_C \frac{f(z)}{z-z_0}\,dz=i∫02πfdz=i\int_0^{2\pi}f(z0z_0+re^{iθi\theta})\,dθd\theta.

Take the limit and use continuity to obtain the Cauchy integral formula.

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    Below the blackboard, write ∮Cf(z)z−z0dz=lim⁡r→0∮Crf(z)z−z0dz=ilim⁡r→0∫02πf\oint_C \frac{f(z)}{z-z_0}dz=\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}dz=i\lim_{r\to 0}\int_0^{2\pi}f(z0z_0+re^{iθi\theta})dθ=2πif(z0)d\theta=2\pi i f(z_0).

  2. Audio
    Observation

    The instructor says, "When my r tends to zero, due to the continuity of this analytic function..., we can write it as f(z0)f(z_0), and then factor it out."

  3. Audio
    Observation

    The instructor continues, "Inside, only the integral with respect to theta from 0 to 2π2\pi remains, which yields the result 2π2\pi."

Proof
Steps
  1. Expression
    ∮Cf(z)z−z0 dz=lim⁡r→0∮Crf(z)z−z0 dz\oint_C \frac{f(z)}{z-z_0}\,dz=\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}\,dz
    Explanation

    Write the original integral as the limit as the small circle's radius tends to zero.

    Justification

    The video explains that as long as the contour encloses z0z_0, the integral value does not change with the contour's size, so we may take r→0r\to 0.

    Shown in the video
  2. Expression
    lim⁡r→0∮Crf(z)z−z0 dz=ilim⁡r→0∫02πf(z0+reiθ) dθ\lim_{r\to 0}\oint_{C_r}\frac{f(z)}{z-z_0}\,dz=i\lim_{r\to 0}\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta
    Explanation

    Use the previously parameterized expression and then take the overall limit.

    Justification

    Substitution from the previous step's derivation.

    Shown in the video
  3. Expression
    ilim⁡r→0∫02πf(z0+reiθ) dθ=i∫02πlim⁡r→0f(z0+reiθ) dθi\lim_{r\to 0}\int_0^{2\pi}f(z_0+re^{i\theta})\,d\theta=i\int_0^{2\pi}\lim_{r\to 0}f(z_0+re^{i\theta})\,d\theta
    Explanation

    Move the limit inside the integral sign.

    Justification

    The video's verbal justification is 'continuity of analytic functions'; the stricter conditions for interchanging limit and integral are not fully elaborated in this segment.

    Shown in the video
  4. Expression
    lim⁡r→0f(z0+reiθ)=f(z0)\lim_{r\to 0}f(z_0+re^{i\theta})=f(z_0)
    Explanation

    As r→0r \to 0, the point z0z_0+re^{iθi\theta} approaches z0z_0, and the function value approaches f(z0)f(z_0).

    Justification

    Continuity.

    Shown in the video
  5. Expression
    i∫02πf(z0) dθ=if(z0)∫02πdθi\int_0^{2\pi}f(z_0)\,d\theta=i f(z_0)\int_0^{2\pi}d\theta
    Explanation

    f(z0)f(z_0) is independent of θ\theta and can be moved outside the integral sign.

    Justification

    A constant function can be factored out of the integral.

    Shown in the video
  6. Expression
    if(z0)∫02πdθ=2πif(z0)i f(z_0)\int_0^{2\pi}d\theta=2\pi i f(z_0)
    Explanation

    Evaluate the remaining angular integral to obtain length 2π2\pi.

    Justification

    Integrate θ\theta from 0 to 2π2\pi, yielding 2π2\pi.

    Shown in the video
Conclusion

Obtain ∮Cf(z)z−z0\oint_C \frac{f(z)}{z-z_0}\,dz=2πif(z0)dz=2\pi i f(z_0), and equivalently write f(z0)=12πi∮Cf(z)z−z0f(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}\,dz.

derivation of the first derivative of an analytic function

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    We differentiate this function with respect to its variable z... differentiating the denominator causes sigma minus z to become one over sigma minus z squared, and introduces a negative sign... then differentiating negative z with respect to z inside also introduces another negative sign... so overall, differentiating the entire function with respect to z gives us what? It gives us this.

  2. Formula
    Observation

    The derivative of f at z equals one over two π i times the integral along the closed curve C of f evaluated at sigma divided by sigma minus z squared, integrated with respect to sigma.

Proof
Steps
  1. Expression
    f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi
    Explanation

    Write down the Cauchy integral formula.

    Justification

    Cauchy's integral formula definition.

    Shown in the video
  2. Expression
    ddz(1ξ−z)=1(ξ−z)2\frac{d}{dz} \left( \frac{1}{\xi - z} \right) = \frac{1}{(\xi - z)^2}
    Explanation

    Differentiate the kernel 1ξ−z\frac{1}{\xi - z} with respect to zz; the chain rule yields two negative signs that cancel.

    Justification

    Chain rule for differentiation of composite functions.

    Shown in the video
  3. Expression
    f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
    Explanation

    Substitute the derivative back into the integral expression to obtain the first-order derivative formula.

    Justification

    Interchange the order of integration and differentiation (property of analytic functions).

    Shown in the video
Conclusion

Derive the first-order derivative formula for analytic functions.

Derivation of the second derivative of an analytic function.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    We can continue further and take the second derivative of it... taking the derivative introduces a factor of negative two, and differentiating the inner part with respect to z introduces another negative one, so negative two times negative one simply gives two... and two is of course equal to two factorial, since two times one equals two.

  2. Formula
    Observation

    The second derivative of f at z equals two factorial divided by two π i, multiplied by the integral along the closed curve C, where the integrand is f evaluated at sigma divided by sigma minus z raised to the third power, integrated with respect to sigma.

Proof
Steps
  1. Expression
    f′(z)=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
    Explanation

    Differentiate further based on the first-order derivative formula.

    Justification

    The previously derived first-order derivative formula.

    Shown in the video
  2. Expression
    ddz(1(ξ−z)2)=2(ξ−z)3\frac{d}{dz} \left( \frac{1}{(\xi - z)^2} \right) = \frac{2}{(\xi - z)^3}
    Explanation

    Differentiate the kernel 1(ξ−z)2\frac{1}{(\xi - z)^2} with respect to zz; the power rule yields coefficient 2, and the chain rule yields cancellation of negative signs.

    Justification

    Power function differentiation rule and chain rule for composite functions.

    Shown in the video
  3. Expression
    f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi
    Explanation

    Substitute the derivative result back and write coefficient 2 in the form 2!.

    Justification

    Factorial definition 2!=2×1=22! = 2 \times 1 = 2.

    Shown in the video
Conclusion

Derive the second derivative formula for analytic functions.

The pattern for deriving the higher-order derivative formula from Cauchy's integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The blackboard sequentially lists integral expressions for f(z)f(z), f'(z), f''(z), and f(n)(z)f^{(n)}(z).

  2. Audio
    Observation

    The instructor points to the formula and explains: "For this function... taking its nth derivative yields a denominator of (ξ minus z) raised to the power n plus 1, and here we gain an extra factor—namely, n factorial."

Intuitive argument
Steps
  1. Expression
    f(z)=12πi∮Cf(ξ)ξ−zdξf(z) = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi
    Explanation

    We begin with Cauchy's integral formula.

    Justification

    The first line of content on the video blackboard.

    Shown in the video
  2. Expression
    f′(z)=ddz[12πi∮Cf(ξ)ξ−zdξ]=12πi∮Cf(ξ)(ξ−z)2dξf'(z) = \frac{d}{dz} \left[ \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{\xi - z} d\xi \right] = \frac{1}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^2} d\xi
    Explanation

    Differentiate both sides of the formula with respect to z; differentiating (ξ minus z) to the power minus 1 inside the integral yields (ξ minus z) to the power minus 2.

    Justification

    Content of the second line on the video whiteboard and the instructor's verbal explanation.

    Shown in the video
  3. Expression
    f′′(z)=2!2πi∮Cf(ξ)(ξ−z)3dξf''(z) = \frac{2!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^3} d\xi
    Explanation

    Differentiate again: the exponent increases and introduces a constant factor 2.

    Justification

    Content of the third line on the video whiteboard.

    Shown in the video
  4. Expression
    f(n)(z)=n!2πi∮Cf(ξ)(ξ−z)n+1dξf^{(n)}(z) = \frac{n!}{2\pi i} \oint_C \frac{f(\xi)}{(\xi - z)^{n+1}} d\xi
    Explanation

    By induction, the n-th derivative has denominator exponent n+1n + 1 and numerator n!.

    Justification

    Content of the fourth line on the video whiteboard and the instructor's verbal summary.

    Shown in the video
Conclusion

The n-th derivative of an analytic function can be obtained by differentiating the integrand of Cauchy's integral formula n times with respect to z; formally, the denominator exponent increases by n and the numerator is multiplied by n!.

Visual events · 7

Diagram illustrating a closed loop and an interior point.

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    A closed circle appears on the right, with point z0z_0 labeled inside it.

  2. Animation
    Observation

    The instructor repeatedly points with a finger to the circle's circumference and the interior point z0z_0, while explaining 'the region enclosed by C' and 'a point inside the region'.

Objects

  1. Closed curve C

  2. point z0z_0 inside the circle

  3. written conditions on the board

Changes

  1. During the explanation, the instructor's gaze and gestures alternate between the circle's circumference and the interior point, emphasizing the relationship between the 'enclosed region' and 'a point inside the region'

Invariants

  1. the circle's closed shape remains unchanged

  2. z0z_0 always lies inside the circle

Interpretation

This diagram concretizes the abstract condition: C is a closed contour bounding the region, and z0z_0 is the target point enclosed within that region.

the board displays the Cauchy Integral Formula

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    During the instructor's explanation, a red heading 'Cauchy Integral Formula' and its full formula appear in the lower-left corner of the board

  2. Formula
    Observation

    The formula is written as f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz

Objects

  1. red heading 'Cauchy Integral Formula'

  2. formula f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz

Changes

  1. the formula appears step by step on the board, and the instructor then repeatedly points to each part of the formula for explanation

Invariants

  1. The formula content remains stable in the latter half of the segment.

Interpretation

The visual presentation implements the verbal description 'express the function value at point z0z_0 using a contour integral' as an explicit formula.

The proof segment begins.

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    The label 'Proof:' is newly added below the chalkboard.

  2. Audio
    Observation

    The instructor simultaneously says, 'Let us prove this statement.'

Objects

  1. 'Proof:' heading

Changes

  1. The page transitions from stating the formula to the proof phase.

Invariants

  1. The original formula and the schematic diagram remain on the page.

Interpretation

This indicates that the video structure shifts from 'stating the theorem' to 'beginning the argument.'

Geometric illustration of the integration contour and the singularity

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The right side of the screen continuously displays a large circle C and an interior point z0z_0; then a small circle CrC_r is drawn around z0z_0, labeled with radius r and angle θ\theta.

Objects

  1. Large circle C

  2. Point z0z_0

  3. small circle CrC_r

  4. radius r

  5. angle θ\theta

Changes

  1. dynamically add small circle CrC_r and its radius and angle labels around z0z_0

Invariants

  1. the relative position of large circle C and point z0z_0 remains unchanged

Interpretation

intuitively demonstrates how to convert a complex large contour integral enclosing a singularity into a small circular contour integral around the singularity, illustrating the idea of contour deformation.

Diagram of two concentric circles

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The right side consistently displays a large circle C and a small circle CrC_r, both centered at z0z_0, with the small circle's radius labeled r and the angle θ\theta marked.

Objects

  1. Outer large circle C

  2. Inner small circle CrC_r

  3. Center z0z_0

  4. Radius r

  5. Angle θ\theta

Changes

  1. The instructor repeatedly points with a finger to the large circle, the small circle, and the center, emphasizing the relationship between the outer and inner loops

Invariants

  1. The two circles are concentric at z0z_0

  2. The small circle always lies inside the large circle

  3. The singularity of the integrand is always located at z0z_0

Interpretation

This diagram intuitively illustrates the idea of converting an integral over a large loop into an integral over a small loop: as long as both loops enclose the same non-analytic point z0z_0, one may replace C with the smaller CrC_r for computation.

Slide content switch

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    Slide content switches from "Cauchy's integral formula" and its proof to "Derivatives of analytic functions" and derivation of its formula.

Objects

  1. Slide text

  2. Formula

Changes

  1. Old formula disappears

  2. New title and new formula appear

Invariants

  1. Instructor's position

  2. Background

Interpretation

Marks the transition from explaining the Cauchy integral formula itself to using it to derive derivatives of analytic functions.

Whiteboard formula display

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    Throughout this segment, the instructor stands in front of a whiteboard displaying four static mathematical formulas, titled "Cauchy's Integral Formula" and "Derivatives of Analytic Functions".

Objects

  1. Whiteboard

  2. Mathematical formula text

Invariants

  1. The formula content remains unchanged throughout the explanation.

Interpretation

By displaying formulas for derivatives of various orders side by side, the regular pattern of change from lower to higher orders becomes visually apparent.

Misconceptions · 2

Mistakenly viewing the integrand as f(z)f(z) alone.

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor emphasizes, 'Although the function f(z)f(z) inside your integrand is analytic… the integrand is not merely f(z)f(z); rather, this integrand is f(z)f(z) divided by z minus z0z_0.'

Misconception

Seeing that f(z)f(z) is analytic and thus interpreting the integrand in the integral as f(z)f(z) only.

Clarification

The video explicitly states that the entire quotient f(z)z−z0\frac{f(z)}{z-z_0} is what truly needs to be studied, and the denominator z−z0z-z_0 must not be ignored.

mistakenly believing that only loops of specific shapes or fixed sizes can replace the original loop

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, 'One aspect is shape—you can choose freely, as long as the loop encloses the non-analytic region.'

  2. Audio
    Observation

    Then he says, "So the non-analytic region here is just this single point."

Misconception

Learners might think that only circular loops or loops of a particular fixed radius can substitute for the original loop.

Clarification

The video stresses that the key is whether the loop encloses the non-analytic region; in this example, the non-analytic region is the point z0z_0, so as long as the loop winds around that point, it may be arbitrarily large or small—even its radius may tend to zero.

Concept relations · 9

The simply connected analytic domain condition. → Cauchy integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The condition line first states, "The region enclosed by C is a simply connected analytic region for f(z)f(z), and z0z_0 is a point inside that region," followed by the formula.

  2. Audio
    Observation

    The instructor first explains the region and the point, then states that "the value of f(z)f(z) at z0z_0" can be expressed as an integral.

Prerequisite
Explanation

The conditions that the region is simply connected and analytic, and that z0z_0 lies inside that region, are prerequisites for the Cauchy integral formula to hold.

Cauchy integral formula → structure of the integrand

Clear evidence
Shown in the video
Evidence
  1. Animation
    Observation

    After the formula is given, the board adds "Proof:".

  2. Audio
    Observation

    The instructor says, "Let us prove this statement."

Proof dependency
Explanation

The first step of the proof relies on re-examining the structure of the integrand in the formula.

Cauchy's integral theorem for multiply connected domains → Cauchy integral formula

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor explains that to handle this integral, Cauchy's integral theorem for multiply connected domains is required.

Proof dependency
Explanation

Cauchy's integral theorem for multiply connected domains is a key supporting tool in proving Cauchy's integral formula, used to achieve contour deformation.

The proof of Cauchy's integral formula relies on Cauchy's integral theorem for multiply connected domains. → Cauchy's integral formula

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor explicitly states that the proof of Cauchy's integral formula "simply applies the Cauchy integral theorem for multiply connected domains, which we discussed earlier."

Proof dependency
Explanation

This segment attributes the final result of Cauchy's integral formula to the previously covered Cauchy integral theorem for multiply connected domains, indicating that the formula is not an isolated conclusion but rather derived from that theorem.

The method of converting the integral over the large contour into the integral over the small contour → Let the radius of the small circle tend to zero

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    First he explains "converting the integral over the large loop into an integral over a small loop," then adds "I can let my r tend to zero."

Prerequisite
Explanation

Only after confirming that integrals over different small loops yield the same value can we further let the radius r→0r\to 0 without changing the integral's value.

Let the radius of the small circle tend to zero → Cauchy's integral formula

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The limit expression below ultimately equals 2πif(z0)2\pi i f(z_0)

  2. Audio
    Observation

    From this, the instructor concludes that this is Cauchy's integral formula.

Application
Explanation

After taking the limit and substituting continuity, the core equality of Cauchy's integral formula is obtained directly.

Cauchy's integral formula → first derivative of an analytic function

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    Now that we have the Cauchy integral formula... what else can we discuss? The issue of derivatives of analytic functions.

Proof dependency
Explanation

The derivative formula for analytic functions is derived by differentiating both sides of the Cauchy integral formula.

Cauchy's integral formula → The n-th derivative formula for analytic functions

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The whiteboard layout places 'Cauchy's integral formula' at the top and 'derivatives of analytic functions' at the bottom, with the derivative formula clearly representing a further operation on the original formula.

  2. Audio
    Observation

    The instructor says: 'Once you have Cauchy's integral formula, we can very easily prove...'

Proof dependency
Explanation

The higher-order derivative formula is derived by repeatedly differentiating Cauchy's integral formula.

The n-th derivative formula for analytic functions → Infinite differentiability of analytic functions

Clear evidence
Shown in the video
Evidence
  1. Caption evidence
    Observation

    After listing all the derivative formulas, a summary subtitle appears at the bottom of the screen: 'Analytic functions are infinitely differentiable!'

  2. Audio
    Observation

    Based on the preceding derivations, the instructor concludes that 'analytic functions are infinitely differentiable.'

Application
Explanation

The existence and validity of the nth derivative formula directly prove the property that 'analytic functions are infinitely differentiable.'

Find an answer · 16

What is the Cauchy integral formula?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board fully displays "Cauchy integral formula: f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz".

Knowledge points
  1. Cauchy integral formula
  2. Statement of Cauchy's integral formula

Why must z0z_0 lie inside the region enclosed by C?

Clear evidence
Shown in the video
Evidence
  1. Diagram
    Observation

    The point z0z_0 is labeled inside the circle.

  2. Formula
    Observation

    The condition line states "z0z_0 is a point inside the region."

Knowledge points
  1. The simply connected analytic domain condition.
  2. Cauchy integral formula

Why can't we consider only the analyticity of f(z)f(z) when proving Cauchy's integral formula?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor emphasizes that the integrand is f(z)f(z) divided by z minus z0z_0.

Knowledge points
  1. structure of the integrand
  2. Mistakenly viewing the integrand as f(z)f(z) alone.

Why can the value of a function at a point be represented by a loop integral around that point?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says, "The value of f(z)f(z) at z0z_0 … can be expressed using such an integral."

  2. Formula
    Observation

    The left-hand side of the formula is f(z0)f(z_0), and the right-hand side is a contour integral.

Knowledge points
  1. Cauchy integral formula
  2. Statement of Cauchy's integral formula

How to prove Cauchy's integral formula?

Clear evidence
Derived from the video
Evidence
  1. Formula
    Observation

    The blackboard fully displays Cauchy's integral formula and the first half of its proof.

Knowledge points
  1. Cauchy integral formula
  2. Derivation of the proof of Cauchy's integral formula

What role does Cauchy's integral theorem for multiply connected domains play in the proof of Cauchy's integral formula?

Clear evidence
Derived from the video
Evidence
  1. Audio
    Observation

    The instructor explains the process of converting the large contour integral into a small contour integral.

Knowledge points
  1. Cauchy's integral theorem for multiply connected domains
  2. Principle of contour deformation

Why can the large contour integral be replaced by a small contour integral when proving Cauchy's integral formula?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor explains why the large loop can be replaced by a small loop.

Knowledge points
  1. The method of converting the integral over the large contour into the integral over the small contour
  2. Diagram of two concentric circles

Why does letting the small circle's radius r approach 0 leave the integral value unchanged?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor says that r can approach zero without changing the result.

  2. Formula
    Observation

    The board writes lim⁡r→0\lim_{r\to 0}.

Knowledge points
  1. The method of converting the integral over the large contour into the integral over the small contour
  2. Let the radius of the small circle tend to zero

Within this proof, at which step is the continuity of the analytic function specifically used?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor explicitly states, "Because of the continuity of my analytic function."

  2. Formula
    Observation

    In the limit expression, f(z0z_0+re^{iθi\theta}) becomes f(z0)f(z_0).

Knowledge points
  1. Let the radius of the small circle tend to zero
  2. Take the limit and use continuity to obtain the Cauchy integral formula.

What does the integral ∮Cf(z)z−z0dz\oint_C \frac{f(z)}{z-z_0}dz along contour C ultimately equal?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The board finally writes =2πif(z0)2\pi i f(z_0).

  2. Audio
    Observation

    The instructor says, "It is simply 2πi2\pi i multiplied by f(z0)f(z_0)."

Knowledge points
  1. Cauchy's integral formula
  2. Take the limit and use continuity to obtain the Cauchy integral formula.

Which prerequisite theorem does this proof of Cauchy's integral formula depend on?

Clear evidence
Shown in the video
Evidence
  1. Audio
    Observation

    The instructor summarizes that the proof relies on Cauchy's integral theorem for multiply connected domains.

Knowledge points
  1. The proof of Cauchy's integral formula relies on Cauchy's integral theorem for multiply connected domains.
  2. Cauchy's integral formula

What is the Cauchy integral formula?

Clear evidence
Shown in the video
Evidence
  1. Formula
    Observation

    The value of f at z zero equals one over two pi i times the integral along the closed curve C, where the integrand is f evaluated at z divided by z minus z zero, integrated with respect to z.

Knowledge points
  1. Cauchy's integral formula
Coverage and review notes

Covered · Opening animation displaying the course title and chapter title, with no substantive mathematical derivation.

Covered · The instructor introduces the topic, explaining the region enclosed by C, the single-connected analyticity of f(z)f(z), and that z0z_0 is a point inside that region.

Covered · Presents and explains Cauchy's integral formula, stating that the value of the function at z0z_0 can be expressed via a contour integral.

Covered · Begins the proof, emphasizing that the entire integrand f(z)z−z0\frac{f(z)}{z-z_0} should be analyzed first; this segment ends here.

Covered · This segment fully covers the introduction of Cauchy's integral formula, the idea of deforming the contour using Cauchy's integral theorem for multiply connected domains, and the derivation process involving parameterization of a small circular contour.

Covered · The blackboard displays the Cauchy integral formula and the beginning of its proof, followed by simplification after parameterization.

Covered · The instructor explains why the integral over the large contour can be reduced to the integral over the small contour, emphasizing that it suffices for the small contour to enclose the non-analytic region.

Covered · The blackboard completes the limit step; the instructor explains that continuity yields 2πif(z0)2\pi i f(z_0).

Covered · The instructor summarizes that this proof relies on the Cauchy integral theorem for multiply connected domains.

Covered · The instructor begins introducing a special case or corollary of the Cauchy integral formula, but this segment ends abruptly without stating the full condition or conclusion.

Covered · Explaining the Cauchy integral formula and its special cases.

Covered · Explaining and deriving the first- and second-derivative formulas for analytic functions.

Covered · Explain the structure and derivation pattern of Cauchy's integral formula and its formulas for derivatives of all orders.

Covered · State the property that analytic functions are infinitely differentiable within simply connected domains.

Covered · Emphasize the infinite differentiability of analytic functions through subtitles and verbal summary, and conclude this section.

Covered · End-credit animation, disclaimer, and university promotional video—no mathematical instruction content.

Explore the knowledge in this video

Open video knowledge graph →

  • Cauchy integral formula ExplanationAt 1:02
    Why this connection?

    Reviewed English material v1: card "Cauchy integral formula" at 1:02 — The core formula presented in the video is f(z0)=12πi∮Cf(z)z−z0dzf(z_0)=\frac{1}{2\pi i}\oint_C \frac{f(z)}{z-z_0}dz. Its meaning is: if the region enclosed by CC is a simply connected domain of analyticity for f(z)f(z), and z0z_0 is a point in that region, then the function’s value at z0z_0 can be expressed via a contour integral along CC.

Similar explanations

Watch the reviewed segment · 179s