Flux Form of Green’s Theorem

Learning Objectives

  • Apply the flux form of Green’s theorem.
The circulation form of Green’s theorem relates a double integral over region [latex]D[/latex] to line integral [latex]\displaystyle\oint_C{\bf{F}}\cdot{\bf{T}}ds[/latex], where [latex]C[/latex] is the boundary of [latex]D[/latex]. The flux form of Green’s theorem relates a double integral over region [latex]D[/latex] to the flux across boundary [latex]C[/latex]. The flux of a fluid across a curve can be difficult to calculate using the flux line integral. This form of Green’s theorem allows us to translate a difficult flux integral into a double integral that is often easier to calculate.

theorem: Green’s theorem, flux form

Let [latex]D[/latex] be an open, simply connected region with a boundary curve [latex]C[/latex] that is a piecewise smooth, simple closed curve that is oriented counterclockwise (Figure 1). Let [latex]{\bf{F}}=\langle{P},Q\rangle[/latex] be a vector field with component functions that have continuous partial derivatives on an open region containing [latex]D[/latex]. Then,

[latex]\displaystyle\oint{\bf{F}}\cdot{\bf{N}}ds=\displaystyle\iint_DP_x+Q_ydA[/latex].

<img src="/apps/archive/20220422.171947/resources/5b401794be0561b0b57ebb66b433fc0bfb8d584a" data-media-type="image/jpeg" alt="A vector field in two dimensions. A generic curve C encloses a simple region D around the origin oriented counterclockwise. Normal vectors N point out and away from the curve into quadrants 1, 3, and 4." id="17">

Figure 1. The flux form of Green’s theorem relates a double integral over region [latex]D[/latex] to the flux across curve [latex]C[/latex].

Because this form of Green’s theorem contains unit normal vector [latex]\bf{N}[/latex], it is sometimes referred to as the normal form of Green’s theorem.

Proof

Recall that [latex]\displaystyle\oint{\bf{F}}\cdot{\bf{N}}ds=\displaystyle\oint_C-Qdx+Pdy[/latex]. Let [latex]M=-Q[/latex] and [latex]N=P[/latex]. By the circulation form of Green’s theorem,

[latex]\begin{aligned} \displaystyle\oint_C-Qdx+Pdy&=\displaystyle\oint_CMdx+nDy \\ &=\displaystyle\iint_DN_x-M_ydA \\ &=\displaystyle\iint_DP_x-(-Q)_ydA \\ &=\displaystyle\iint_DP_x+Q_ydA \end{aligned}[/latex].

[latex]_\blacksquare[/latex]

Example: Applying Green’s theorem for flux across a circle

Let [latex]C[/latex] be a circle of radius [latex]r[/latex] centered at the origin (Figure 2) and let [latex]{\bf{F}}(x,y)=\langle{x},y\rangle[/latex]. Calculate the flux across [latex]C[/latex].

<img src="/apps/archive/20220422.171947/resources/3dcb3fb449528300042551a059b72ac2dd14edb1" data-media-type="image/jpeg" alt="A vector field in two dimensions. The arrows point away from the origin in a radial pattern. They are shorter near the origin and much longer further away. A circle with radius 2 and center at the origin is drawn." id="19">

Figure 2. Curve [latex]C[/latex] is a circle of radius [latex]r[/latex] centered at the origin.

Example: applying green’s theorem for flux across a triangle

Let [latex]S[/latex] be the triangle with vertices [latex](0, 0)[/latex], [latex](1, 0)[/latex], and [latex](0, 3)[/latex] oriented clockwise (Figure 3). Calculate the flux of [latex]{\bf{F}}(x,y)=\langle{P}(x,y),Q(x,y)\rangle=\langle{x}^2+e^y,x+y\rangle[/latex] across [latex]S[/latex].

<img src="/apps/archive/20220422.171947/resources/2a4456ea6490e1da9ebf0f3adaaac3b7295512fb" data-media-type="image/jpeg" alt="A vector field in two dimensions. A triangle is drawn oriented clockwise with vertices at (0,0), (1,0), and (0,3). The arrows in the field point to the right and up slightly. The angle is greater the closer they are to the axis." id="21">

Figure 3. Curve [latex]S[/latex] is a triangle with vertices [latex](0, 0)[/latex], [latex](1, 0)[/latex], and [latex](0, 3)[/latex] oriented clockwise.

try it

Calculate the flux of [latex]{\bf{F}}(x,y)=\langle{x}^3,y^3\rangle[/latex]  across a unit circle oriented counterclockwise.

Watch the following video to see the worked solution to the above Try It

You can view the transcript for “CP 6.36” here (opens in new window).

Example: applying green’s theorem for water flow across a rectangle

Water flows from a spring located at the origin. The velocity of the water is modeled by vector field [latex]{\bf{v}}(x,y)=\langle5x+y,x+3y\rangle[/latex] m/sec. Find the amount of water per second that flows across the rectangle with vertices [latex](-1, -2)[/latex], [latex](1, -2)[/latex], [latex](1, 3)[/latex], and [latex](-1, 3)[/latex], oriented counterclockwise (Figure 4).

<img src="/apps/archive/20220422.171947/resources/416bb9f3ebaa663f2b8f7fe903756dcf624c4709" data-media-type="image/jpeg" alt="A vector field in two dimensions. A rectangle is drawn oriented counterclockwise with vertices at (-1,3), (1,3), (-1,-2), and (1,-2). The arrows point out and away from the origin in a radial pattern. However, the arrows in quadrants 2 and 4 curve slightly towards the y axis instead of directly out. The arrows near the origin are short, and those further away from the origin are much longer." id="24">

Figure 4. Water flows across the rectangle with vertices [latex](-1, -2)[/latex], [latex](1, -2)[/latex], [latex](1, 3)[/latex], and [latex](-1, 3)[/latex], oriented counterclockwise.

Recall that if vector field [latex]{\bf{F}}[/latex] is conservative, then [latex]{\bf{F}}[/latex] does no work around closed curves—that is, the circulation of [latex]{\bf{F}}[/latex] around a closed curve is zero. In fact, if the domain of [latex]{\bf{F}}[/latex] is simply connected, then [latex]{\bf{F}}[/latex] is conservative if and only if the circulation of [latex]{\bf{F}}[/latex] around any closed curve is zero. If we replace “circulation of [latex]{\bf{F}}[/latex]” with “flux of [latex]{\bf{F}}[/latex],” then we get a definition of a source-free vector field. The following statements are all equivalent ways of defining a source-free field [latex]{\bf{F}}=\langle{P},Q\rangle[/latex] on a simply connected domain (note the similarities with properties of conservative vector fields):

  1. The flux [latex]\displaystyle\oint_C{\bf{F}}\cdot{\bf{N}}ds[/latex] across any closed curve [latex]C[/latex] is zero.
  2. If [latex]C_1[/latex] and [latex]C_2[/latex] are curves in the domain of [latex]{\bf{F}}[/latex] with the same starting points and endpoints, then [latex]\displaystyle\int_{C_1}{\bf{F}}\cdot{\bf{N}}ds=\displaystyle\int_{C_2}{\bf{F}}\cdot{\bf{N}}ds[/latex]. In other words, flux is independent of path.
  3. There is a stream function [latex]g(x, y)[/latex] for [latex]{\bf{F}}[/latex]. A stream function for [latex]{\bf{F}}=\langle{P},Q\rangle[/latex] is a function [latex]g[/latex] such that [latex]P=g_y[/latex] and [latex]Q=-g_x[/latex]. Geometrically, [latex]{\bf{F}}(a,b)[/latex] is tangential to the level curve of [latex]g[/latex] at [latex](a, b)[/latex]. Since the gradient of [latex]g[/latex] is perpendicular to the level curve of [latex]g[/latex] at [latex](a, b)[/latex], stream function [latex]g[/latex] has the property [latex]{\bf{F}}(a,b)\bullet\nabla{g}(a,b)=0[/latex] for any point [latex](a, b)[/latex] in the domain of [latex]g[/latex]. (Stream functions play the same role for source-free fields that potential functions play for conservative fields.)
  4. [latex]P_x+Q_y=0[/latex]

Example: finding a stream function

Verify that rotation vector field [latex]{\bf{F}}(x,y)=\langle{y},-x\rangle[/latex] is source free, and find a stream function for [latex]{\bf{F}}[/latex].

try it

Find a stream function for vector field [latex]{\bf{F}}(x,y)=\langle{x}\sin{y},\cos{y}\rangle[/latex].

Vector fields that are both conservative and source free are important vector fields. One important feature of conservative and source-free vector fields on a simply connected domain is that any potential function [latex]f[/latex] of such a field satisfies Laplace’s equation [latex]f_{xx}+f{yy}=0[/latex]. Laplace’s equation is foundational in the field of partial differential equations because it models such phenomena as gravitational and magnetic potentials in space, and the velocity potential of an ideal fluid. A function that satisfies Laplace’s equation is called a harmonic function. Therefore any potential function of a conservative and source-free vector field is harmonic.

To see that any potential function of a conservative and source-free vector field on a simply connected domain is harmonic, let [latex]f[/latex] be such a potential function of vector field [latex]{\bf{F}}=\langle{P},Q\rangle[/latex]. Then, [latex]f_x=P[/latex] and [latex]f_x=Q[/latex] because [latex]\nabla{f}={\bf{F}}[/latex]. Therefore, [latex]f_{xx}=P_x[/latex] and [latex]f_{yy}=[/latex]. Since [latex]{\bf{F}}[/latex] is source free, [latex]f_{xx}+f_{yy}=P_x+Q_y=0[/latex], and we have that [latex]f[/latex] is harmonic.

Example: satisfying laplace’s equation

For vector field [latex]{\bf{F}}(x,y)=\langle{e}^x\sin{y},e^x\cos{y}\rangle[/latex], verify that the field is both conservative and source free, find a potential function for [latex]{\bf{F}}[/latex], and verify that the potential function is harmonic.

try it

Is the function [latex]f(x,y)=e^{x+5y}[/latex] harmonic?