Skip to content
Back to exploration
Calculus / Chinese

Green’s theorem: the hole method

Charles队长 · Bilibili · 1:31

Open original
READ & KEEP

The explanation, unpacked.

Saves 0

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

This video demonstrates the 'hole method' for applying Green's Theorem when a vector field has a singularity within the integration region. It begins by showing that direct application fails because the origin is undefined for the given field. By introducing a small circle around the singularity, an annular region free of singularities is created. Green's Theorem is then applied to this new region to equate the line integral over the outer boundary to that over the inner circular boundary. Finally, parameterizing the small circle yields the exact value of the integral as 2π2\pi.

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

Chapters

0:00Problem Setup: Singularity at Origin0:18Failure of Direct Application & The Hole Concept0:38Orientation Rules for Multiply Connected Regions0:54Applying Green's Theorem on the Annulus1:06Parametrization and Final Calculation

Learning script

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

The screen displays a 2D vector field with arrows rotating counter-clockwise. The formula F⃗=(−yx2+y2,xx2+y2)\vec{F} = \left(\frac{-y}{x^2+y^2}, \frac{x}{x^2+y^2}\right) is shown, noting that the denominator becomes zero at the origin (0,0)(0,0), making it a singularity. The problem asks to evaluate the line integral ∮LPdx+Qdy\oint_L Pdx + Qdy along a closed curve LL enclosing the origin.

An attempt is made to apply Green's Theorem directly to region DD, yielding a double integral of 0. However, red text warns "Error! D contains a singularity!", indicating standard Green's Theorem cannot be used when functions are undefined inside the domain. This introduces the 'hole method': isolating the singularity by drawing a tiny circle CεC_\varepsilon around it.

The rules for positive orientation in multiply connected regions are explained: walking along the boundary keeps the region on the left. For the outer boundary LL, this means counter-clockwise; for the inner boundary CεC_\varepsilon, maintaining the annular region D′D' on the left requires clockwise traversal. Blue and yellow highlights show these directions respectively.

Based on these orientations, the equation ∂D′=L+Cε−\partial D' = L + C_\varepsilon^{-} is established (negative sign denotes reverse direction). Since there are no singularities in the ring-shaped region D′D', Green's Theorem applies safely: ∮L+∮Cε−=∬D′0dσ=0\oint_L + \oint_{C_\varepsilon^-} = \iint_{D'} 0 d\sigma = 0. This leads to ∮L=−∮Cε−=∮Cε+\oint_L = -\oint_{C_\varepsilon^-} = \oint_{C_\varepsilon^{+}}, converting the complex outer integral into a simple counter-clockwise integral over the small circle.

The small circle CεC_\varepsilon is parametrized using polar coordinates: x=εcos⁡t,y=εsin⁡tx = \varepsilon \cos t, y = \varepsilon \sin t, with angle tt ranging from 00 to 2π2\pi. Substituting these into the line integral causes the ε2\varepsilon^2 terms to cancel out, simplifying the integrand to a constant 11. Evaluating the definite integral ∫02π1dt\int_0^{2\pi} 1 dt gives the final result of 2π2\pi. A subtitle summarizes: "Hole method: bypass the singularity, convert to a simple integral on a small circle!"

Knowledge cards

01

Conditions for Green's Theorem

Standard Green's Theorem requires vector fields P(x,y),Q(x,y)P(x,y), Q(x,y) and their first partial derivatives to be continuous on the closed region DD. If a singularity exists where functions are undefined (like the origin here), the theorem cannot be applied directly to the whole region.

∮∂DPdx+Qdy=∬D(∂Q∂x−∂P∂y)dxdy\oint_{\partial D} P dx + Q dy = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right) dxdy
02

The Hole Method

A common technique for handling singularities. By creating a small auxiliary closed curve (usually a circle) around the singularity, the original region is divided into a multiply connected region without singularities and a small isolated one. This allows legitimate use of Green's Theorem on the larger annular area.

03

Positive Boundary Orientation

In multiply connected regions, the positive direction of the boundary is defined such that if you walk along it, the region remains on your left hand side. This implies the outer boundary is traversed counter-clockwise, while all internal hole boundaries must be traversed clockwise.

04

Equivalence of Integral Paths

Using the hole method and Green's Theorem, difficult line integrals over arbitrary curves enclosing a singularity can be converted into easier calculations over specific shapes like circles. As long as the space between them contains no other singularities and orientations match, the integral values are equal.

∮LPdx+Qdy=∮CεPdx+Qdy\oint_L P dx + Q dy = \oint_{C_\varepsilon} P dx + Q dy
05

Circulation of Classic Vector Field

The field has zero curl away from the origin but is not conservative on the punctured plane. A simple counterclockwise loop enclosing the origin once has circulation 2π; clockwise traversal negates it. General closed curves are governed by their winding number.

∮C−ydx+xdyx2+y2=2π\oint_C \frac{-y dx + x dy}{x^2+y^2} = 2\pi

Explore the knowledge in this video

Reviewed subject paths