Unit 6, chapter 26

Add the turning inside, find the circulation outside

How Green's theorem equates the circulation around a counterclockwise closed curve with the double integral of the scalar curl inside it, and why edges shared by neighboring cells cancel.

  • Chapter 26
  • Line integrals, Green's theorem and the divergence theorem

Travel once around the unit circle counterclockwise through the field F(x,y)=(−y,x)\mathbf{F}(x, y) = (-y, x), whose arrows turn around the origin. How much does the field push along the direction of travel, in total? That total is the closed line integral ∮C(−y dx+x dy)\oint_C (-y\,dx + x\,dy), and this page finds it in two ways that both give 2π2\pi, once directly along the circle and once with Green’s theorem, which adds up the local turning of the field over the disk instead. It also explains why the boundary total and the interior total must agree, and why the direction of travel decides the sign.

Key terms

Circulation

Definition Let CC be a closed curve, traced once in a chosen direction by a piecewise continuously differentiable parametrization, and let F=(P,Q)\mathbf{F} = (P, Q) be continuous on CC. The circulation of F\mathbf{F} around CC is the line integral

∮CF⋅dr=∮C(P dx+Q dy).\begin{aligned} &\oint_C \mathbf{F} \cdot d\mathbf{r} \\[0.4em] &\quad = \oint_C (P\,dx + Q\,dy). \end{aligned}

The circle on the integral sign marks a closed path. Where the parametrization has a nonzero derivative, the integrand can also be written F⋅T ds\mathbf{F} \cdot \mathbf{T}\,ds, with T\mathbf{T} the unit tangent in the direction of travel and dsds the element of arc length.

In plain words Circulation adds up the push of the field along the curve, all the way around. Arrows that point with the motion add, arrows that point against it subtract, and arrows that cross the curve at right angles add nothing.

Example Parametrize the unit circle counterclockwise by r(t)=(cos⁡t,sin⁡t)\mathbf{r}(t) = (\cos t, \sin t), 0≤t≤2π0 \le t \le 2\pi. Then F(r(t))=(−sin⁡t,cos⁡t)\mathbf{F}(\mathbf{r}(t)) = (-\sin t, \cos t) is exactly r′(t)\mathbf{r}'(t), so the integrand is sin⁡2t+cos⁡2t=1\sin^2 t + \cos^2 t = 1 and

∮C(−y dx+x dy)=∫02π1 dt=2π.\begin{aligned} &\oint_C (-y\,dx + x\,dy) \\[0.4em] &\quad = \int_0^{2\pi} 1\,dt = 2\pi. \end{aligned}

In geometric terms, on the unit circle the field has length 11 and points along the direction of travel, so each piece of the circle contributes its own length, and the total is the circumference 2π2\pi.

Counterclockwise orientation

Definition Let DD be a bounded region in the plane whose boundary CC is a simple closed curve, a closed curve that does not cross itself. The positive orientation of CC is the direction of travel that keeps DD on the left, and for such a curve it is the counterclockwise direction. Reversing the orientation of a curve reverses every displacement drd\mathbf{r}, so it changes the sign of every line integral along it. For a region with holes, the positive orientation runs counterclockwise around the outer boundary and clockwise around each inner boundary, again keeping the region on the left.

In plain words Walk along the boundary with the region on your left. Around a single closed curve that walk goes counterclockwise, and walking the other way flips the sign of the answer.

Example Write −C-C for the unit circle traced clockwise, by r(t)=(cos⁡t,−sin⁡t)\mathbf{r}(t) = (\cos t, -\sin t), 0≤t≤2π0 \le t \le 2\pi. The field (−y,x)(-y, x) now points against the motion at every point, the integrand is −sin⁡2t−cos⁡2t=−1-\sin^2 t - \cos^2 t = -1, and

∮−C(−y dx+x dy)=∫02π(−1) dt=−2π.\begin{aligned} &\oint_{-C} (-y\,dx + x\,dy) \\[0.4em] &\quad = \int_0^{2\pi} (-1)\,dt = -2\pi. \end{aligned}

Scalar curl

Definition Let F=(P,Q)\mathbf{F} = (P, Q) have continuous first partial derivatives on an open set DD. The scalar curl of F\mathbf{F} is the function

∂Q∂x−∂P∂y,\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y},

also written Qx−PyQ_x - P_y. It is the third component of the curl ∇×(P,Q,0)\nabla \times (P, Q, 0) of the same field viewed in space. At each point p\mathbf{p} of DD it equals the circulation per unit area around small circles centered at p\mathbf{p},

(Qx−Py)(p)=lim⁡ε→0+1πε2∮CεF⋅dr,\begin{aligned} &(Q_x - P_y)(\mathbf{p}) \\[0.4em] &\quad = \lim_{\varepsilon \to 0^+} \frac{1}{\pi \varepsilon^2} \oint_{C_\varepsilon} \mathbf{F} \cdot d\mathbf{r}, \end{aligned}

where CεC_\varepsilon is the circle of radius ε\varepsilon centered at p\mathbf{p}, traced counterclockwise.

In plain words The scalar curl measures how strongly the field turns around a point, as the circulation around a tiny loop divided by the area of the loop. It is not the length of the arrows. Parallel arrows can still have a nonzero curl when their length changes from side to side, across the direction in which they point, because a small loop then gets a stronger push along one side than along the opposite side.

Example For F=(−y,x)\mathbf{F} = (-y, x), the partial derivatives are Py=−1P_y = -1 and Qx=1Q_x = 1, so the scalar curl is 1−(−1)=21 - (-1) = 2 at every point. The arrows get longer away from the origin, but the curl stays 22. Writing P=yP = y by mistake would give the false value 00. The conservative field (y,x)(y, x) of the previous lesson has scalar curl 1−1=01 - 1 = 0. The field (0,x)(0, x) has parallel vertical arrows, yet its scalar curl is 1−0=11 - 0 = 1. Its counterclockwise circulation around the square [0,1]×[0,1][0, 1] \times [0, 1] is 11, all of it from the right side x=1x = 1, since the left side has x=0x = 0 and the other two sides are perpendicular to the field.

Cancellation along shared edges

Definition Suppose a region DD is cut into finitely many subregions D1,…,DnD_1, \dots, D_n with piecewise smooth boundaries, each traced in its positive orientation, and let F\mathbf{F} be continuous on DD together with its boundary. Each cut between two neighboring subregions is traveled once in each direction, so its two contributions cancel, and

∑k=1n∮∂DkF⋅dr=∮∂DF⋅dr.\begin{aligned} &\sum_{k=1}^{n} \oint_{\partial D_k} \mathbf{F} \cdot d\mathbf{r} \\[0.4em] &\quad = \oint_{\partial D} \mathbf{F} \cdot d\mathbf{r}. \end{aligned}

For a small rectangle with sides Δx\Delta x and Δy\Delta y, the right and left sides together contribute about Qx Δx ΔyQ_x\,\Delta x\,\Delta y, and the bottom and top together about −Py Δx Δy-P_y\,\Delta x\,\Delta y. So the circulation around a small cell is approximately (Qx−Py) Δx Δy(Q_x - P_y)\,\Delta x\,\Delta y, and adding over a grid of cells gives a Riemann sum for the double integral of the scalar curl.

In plain words Inside the region, every edge belongs to two cells that travel it in opposite directions, so it adds nothing to the total. Only the outer edges are traveled once, and together they make up the boundary of the whole region.

Example Cut the square [0,1]×[0,1][0, 1] \times [0, 1] along the line x=12x = \tfrac{1}{2} and use F=(−y,x)\mathbf{F} = (-y, x). The left half has circulation 11, with 12\tfrac{1}{2} from its right side and 12\tfrac{1}{2} from its top. The right half also has circulation 11, with 11 from its right side, 12\tfrac{1}{2} from its top and −12-\tfrac{1}{2} from its left side. The shared edge contributes 12\tfrac{1}{2} going up for the left half and −12-\tfrac{1}{2} going down for the right half, so it cancels. The total 1+1=21 + 1 = 2 is the circulation around the whole square, which equals the scalar curl 22 times the area 11.

Green’s theorem

Definition Let DD be a bounded region in the plane whose boundary CC is a piecewise smooth simple closed curve, traced in the positive, counterclockwise direction. If PP and QQ have continuous first partial derivatives on an open set containing DD and CC, then

∮C(P dx+Q dy)=∬D(∂Q∂x−∂P∂y)dA.\begin{aligned} &\oint_C (P\,dx + Q\,dy) \\[0.4em] &\quad = \iint_D \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dA. \end{aligned}

The same formula holds for a region with finitely many holes when its whole boundary is traced in the positive orientation. Both conditions matter. A clockwise boundary gives the negative of the double integral, and a singularity inside DD can break the formula. The field

(−yx2+y2,xx2+y2)\left( \frac{-y}{x^2 + y^2}, \frac{x}{x^2 + y^2} \right)

has scalar curl 00 at every point except the origin, where it is undefined, yet its counterclockwise circulation around the unit circle is 2π2\pi, not 00.

In plain words The circulation around the edge of a region equals the total turning inside it, as long as the edge is closed, traveled with the region on the left, and the field is continuously differentiable on the whole region. Then a line integral around the boundary can be traded for a double integral over the region.

Example For ∮C(−y dx+x dy)\oint_C (-y\,dx + x\,dy) around the unit circle counterclockwise, the functions P=−yP = -y and Q=xQ = x are polynomials, so their partial derivatives are continuous on the whole plane, and the circle is a smooth simple closed curve traced positively. The scalar curl is Qx−Py=2Q_x - P_y = 2 and the unit disk DD has area π\pi, so

∮C(−y dx+x dy)=∬D2 dA=2π,\begin{aligned} &\oint_C (-y\,dx + x\,dy) \\[0.4em] &\quad = \iint_D 2\,dA = 2\pi, \end{aligned}

in agreement with the direct parametrization.

Check yourself

  1. Let CC be the circle x2+y2=4x^2 + y^2 = 4, traced counterclockwise. Use Green’s theorem to evaluate ∮C(P dx+Q dy)\oint_C (P\,dx + Q\,dy) for P=x−2yP = x - 2y and Q=3x+yQ = 3x + y.
Show the answer

The functions PP and QQ are polynomials, so their partial derivatives are continuous everywhere, and CC is a positively oriented simple closed curve around the disk DD of radius 22. The scalar curl is Qx−Py=3−(−2)=5Q_x - P_y = 3 - (-2) = 5, and DD has area 4π4\pi, so the circulation is

∬D5 dA=5⋅4π=20π.\iint_D 5\,dA = 5 \cdot 4\pi = 20\pi.
  1. Let CC be the boundary of the square [0,1]×[0,1][0, 1] \times [0, 1], traced clockwise, starting up the yy-axis from the origin. Evaluate ∮C(y2 dx+3xy dy)\oint_C (y^2\,dx + 3xy\,dy).
Show the answer

Green’s theorem gives the counterclockwise value. The scalar curl is Qx−Py=3y−2y=yQ_x - P_y = 3y - 2y = y, so the counterclockwise circulation is

∫01∫01y dx dy=12.\int_0^1 \int_0^1 y\,dx\,dy = \frac{1}{2}.

The curve is traced clockwise, so the answer is −12-\tfrac{1}{2}. Leaving out the sign change is the usual mistake here.

As a direct check, the left side has x=0x = 0 and dx=0dx = 0 and contributes 00. The top, from (0,1)(0, 1) to (1,1)(1, 1), has y=1y = 1 and contributes ∫011 dx=1\int_0^1 1\,dx = 1. The right side, from (1,1)(1, 1) down to (1,0)(1, 0), contributes ∫103y dy=−32\int_1^0 3y\,dy = -\tfrac{3}{2}, and the bottom has y=0y = 0 and contributes 00. The total is 1−32=−121 - \tfrac{3}{2} = -\tfrac{1}{2}.

  1. Use Green’s theorem to find ∫C(−y dx+x dy)\int_C (-y\,dx + x\,dy), where CC is the upper half of the unit circle from (1,0)(1, 0) to (−1,0)(-1, 0).
Show the answer

The curve is not closed, so Green’s theorem does not apply to it directly. Close it with the segment LL from (−1,0)(-1, 0) to (1,0)(1, 0) along the xx-axis. Together, CC and LL trace the boundary of the upper half disk HH counterclockwise, with HH on the left. Since the scalar curl is 22 and HH has area π2\tfrac{\pi}{2},

∫CF⋅dr+∫LF⋅dr=∬H2 dA=π,\begin{aligned} &\int_C \mathbf{F} \cdot d\mathbf{r} + \int_L \mathbf{F} \cdot d\mathbf{r} \\[0.4em] &\quad = \iint_H 2\,dA = \pi, \end{aligned}

where F=(−y,x)\mathbf{F} = (-y, x). On LL both y=0y = 0 and dy=0dy = 0, so the integrand is 00 and the integral along LL is 00. Therefore the integral along the semicircle is π\pi. The parametrization (cos⁡t,sin⁡t)(\cos t, \sin t), 0≤t≤π0 \le t \le \pi, confirms this, since the integrand is 11 on an interval of length π\pi.

How this lesson connects