Learning Objectives
- Explain the meaning of Stokes’ theorem.
Stokes’ Theorem
Stokes’ theorem says we can calculate the flux of curl [latex]{\bf{F}}[/latex] across surface [latex]S[/latex] by knowing information only about the values of [latex]{\bf{F}}[/latex] along the boundary of [latex]S[/latex]. Conversely, we can calculate the line integral of vector field [latex]{\bf{F}}[/latex] along the boundary of surface [latex]S[/latex] by translating to a double integral of the curl of [latex]{\bf{F}}[/latex] over [latex]S[/latex].
Let [latex]S[/latex] be an oriented smooth surface with unit normal vector [latex]{\bf{N}}[/latex]. Furthermore, suppose the boundary of [latex]S[/latex] is a simple closed curve [latex]C[/latex]. The orientation of [latex]S[/latex] induces the positive orientation of [latex]C[/latex] if, as you walk in the positive direction around [latex]C[/latex] with your head pointing in the direction of [latex]{\bf{N}}[/latex], the surface is always on your left. With this definition in place, we can state Stokes’ theorem.
Theorem: stokes’ theorem
Let [latex]S[/latex] be a piecewise smooth oriented surface with a boundary that is a simple closed curve [latex]C[/latex] with positive orientation (Figure 1). If [latex]{\bf{F}}[/latex] is a vector field with component functions that have continuous partial derivatives on an open region containing [latex]S[/latex], then
[latex]\displaystyle\int_C{\bf{F}}\cdot{d}{\bf{r}}=\displaystyle\iint_S\text{curl }{\bf{F}}\cdot{d}{\bf{S}}[/latex].
Suppose surface [latex]S[/latex] is a flat region in the [latex]xy[/latex]-plane with upward orientation. Then the unit normal vector is [latex]{\bf{k}}[/latex] and surface integral [latex]\displaystyle\iint_S\text{curl }{\bf{F}}\cdot{d}{\bf{S}}[/latex] is actually the double integral [latex]\displaystyle\iint_S\text{curl }{\bf{F}}\cdot{\bf{k}}{d}A[/latex]. In this special case, Stokes’ theorem gives [latex]\displaystyle\int_C{\bf{F}}\cdot{d}{\bf{r}}=\displaystyle\iint_S\text{curl }{\bf{F}}\cdot{\bf{k}}{d}A[/latex]. However, this is the circulation form of Green’s theorem, which shows us that Green’s theorem is a special case of Stokes’ theorem. Green’s theorem can only handle surfaces in a plane, but Stokes’ theorem can handle surfaces in a plane or in space.
The complete proof of Stokes’ theorem is beyond the scope of this text. We look at an intuitive explanation for the truth of the theorem and then see proof of the theorem in the special case that surface [latex]S[/latex] is a portion of a graph of a function, and [latex]S[/latex], the boundary of [latex]S[/latex], and [latex]{\bf{F}}[/latex] are all fairly tame.
Proof
First, we look at an informal proof of the theorem. This proof is not rigorous, but it is meant to give a general feeling for why the theorem is true. Let [latex]S[/latex] be a surface and let [latex]D[/latex] be a small piece of the surface so that [latex]D[/latex] does not share any points with the boundary of [latex]S[/latex]. We choose [latex]D[/latex] to be small enough so that it can be approximated by an oriented square [latex]E[/latex]. Let [latex]D[/latex] inherit its orientation from [latex]S[/latex], and give [latex]E[/latex] the same orientation. This square has four sides; denote them [latex]E_l[/latex], [latex]E_r[/latex], [latex]E_u[/latex], and [latex]E_d[/latex] for the left, right, up, and down sides, respectively. On the square, we can use the flux form of Green’s theorem:
[latex]\large{\displaystyle\int_{E_l+E_d+E_r+E_u}{\bf{F}}\cdot{d}{\bf{r}}=\displaystyle\iint_E\text{curl }{\bf{F}}\cdot{\bf{N}}{d}S=\displaystyle\iint_E\text{curl }{\bf{F}}\cdot{d}{\bf{S}}}[/latex].
To approximate the flux over the entire surface, we add the values of the flux on the small squares approximating small pieces of the surface (Figure 2). By Green’s theorem, the flux across each approximating square is a line integral over its boundary. Let [latex]F[/latex] be an approximating square with an orientation inherited from [latex]S[/latex] and with a right side [latex]E_l[/latex] (so [latex]F[/latex] is to the left of [latex]E[/latex]). Let [latex]F_r[/latex] denote the right side of [latex]F[/latex]; then, [latex]E_l=-F_r[/latex]. In other words, the right side of [latex]F[/latex] is the same curve as the left side of [latex]E[/latex], just oriented in the opposite direction. Therefore,
[latex]\large{\displaystyle\int_{E_l}{\bf{F}}\cdot{d}{\bf{r}}=-\displaystyle\int_{F_r}{\bf{F}}\cdot{d}{\bf{r}}}[/latex].
As we add up all the fluxes over all the squares approximating surface [latex]S[/latex], line integrals [latex]\displaystyle\int_{E_l}{\bf{F}}\cdot{d}{\bf{r}}[/latex] and [latex]\displaystyle\int_{F_r}{\bf{F}}\cdot{d}{\bf{r}}[/latex]cancel each other out. The same goes for the line integrals over the other three sides of [latex]E[/latex]. These three line integrals cancel out with the line integral of the lower side of the square above [latex]E[/latex], the line integral over the left side of the square to the right of [latex]E[/latex], and the line integral over the upper side of the square below [latex]E[/latex] (Figure 3). After all this cancelation occurs over all the approximating squares, the only line integrals that survive are the line integrals over sides approximating the boundary of [latex]S[/latex]. Therefore, the sum of all the fluxes (which, by Green’s theorem, is the sum of all the line integrals around the boundaries of approximating squares) can be approximated by a line integral over the boundary of [latex]S[/latex]. In the limit, as the areas of the approximating squares go to zero, this approximation gets arbitrarily close to the flux.
Let’s now look at a rigorous proof of the theorem in the special case that [latex]S[/latex] is the graph of function [latex]z=f(x, y)[/latex], where [latex]x[/latex] and [latex]y[/latex] vary over a bounded, simply connected region [latex]D[/latex] of finite area (Figure 4). Furthermore, assume that [latex]f[/latex] has continuous second-order partial derivatives. Let [latex]C[/latex] denote the boundary of [latex]S[/latex] and let [latex]C'[/latex] denote the boundary of [latex]D[/latex]. Then, [latex]D[/latex] is the “shadow” of [latex]S[/latex] in the plane and [latex]C'[/latex] is the “shadow” of [latex]C[/latex]. Suppose that [latex]S[/latex] is oriented upward. The counterclockwise orientation of [latex]C[/latex] is positive, as is the counterclockwise orientation of [latex]C^\prime[/latex]. Let [latex]{\bf{F}}(x,y,z)=\langle{P},Q,R\rangle[/latex] be a vector field with component functions that have continuous partial derivatives.
We take the standard parameterization of [latex]S:x=x,y=y,z=g(x,y)[/latex]. The tangent vectors are [latex]{\bf{t}}_x=\langle1,0,g_x\rangle[/latex], and [latex]{\bf{t}}_y=\langle0,1,g_y\rangle[/latex], and therefore, [latex]{\bf{t}}_x\times{\bf{t}}_y=\langle-g_x,-g_y,1\rangle[/latex]. By the equation to calculate scalar surface integrals,
[latex]\large{\displaystyle\iint_S\text{curl }{\bf{F}}\cdot{d}{\bf{S}}=\displaystyle\iint_D[-(R_y-Q_z)z_x-(P_z-R_x)z_y+(Q_x-P_y)]dA}[/latex],
where the partial derivatives are all evaluated at [latex](x,y,g(x,y))[/latex], making the integrand depend on [latex]x[/latex] and [latex]y[/latex] only. Suppose [latex]\langle{x}(t),y(t)\rangle[/latex], [latex]a\leq{t}\leq{b}[/latex] is a parameterization of [latex]C'[/latex]. Then, a parameterization of [latex]C[/latex] is [latex]\langle{x}(t),y(t),g(x(t),y(t))\rangle[/latex], [latex]a\leq{t}\leq{b}[/latex]. Armed with these parameterizations, the Chain rule, and Green’s theorem, and keeping in mind that [latex]P[/latex], [latex]Q[/latex], and [latex]R[/latex] are all functions of [latex]x[/latex] and [latex]y[/latex], we can evaluate line integral [latex]\displaystyle\int_C{\bf{F}}\cdot{d}{\bf{r}}[/latex]:
[latex]\large{\begin{aligned} \displaystyle\int_C{\bf{F}}\cdot{d}{\bf{r}}&=\displaystyle\int_a^b(Px^\prime(t)+Qy^\prime(t)+Rz^\prime(t))dt \\ &=\displaystyle\int_a^b\left[Px^\prime(t)+Qy^\prime(t)+R\left(\frac{\partial{z}}{\partial{x}}\frac{dx}{dt}+\frac{\partial{z}}{\partial{y}}\frac{dy}{dt}\right)\right]dt \\ &=\displaystyle\int_a^b\left[\left((P+R\frac{\partial{z}}{\partial{x}}\right)x^\prime(t)+\left(Q+R\frac{\partial{z}}{\partial{y}}\right)y^\prime(t)\right]dt \\ &=\displaystyle\int_{C^\prime}\left(P+R\frac{\partial{z}}{\partial{x}}\right)dx+\left(Q+R\frac{\partial{z}}{\partial{y}}\right)dy \\ &=\displaystyle\iint_D\left[\frac{\partial}{\partial{x}}\left(Q+R\frac{\partial{z}}{\partial{y}}\right)-\frac{\partial}{\partial{y}}\left(P+R\frac{\partial{z}}{\partial{x}}\right)\right]dA \\ &=\displaystyle\iint_D\left(\frac{\partial{Q}}{\partial{x}}+\frac{\partial{Q}}{\partial{z}}\frac{\partial{z}}{\partial{x}}+\frac{\partial{R}}{\partial{x}}\frac{\partial{z}}{\partial{y}}+\frac{\partial{R}}{\partial{z}}\frac{\partial{z}}{\partial{x}}\frac{\partial{z}}{\partial{y}}+R\frac{\partial^2{z}}{\partial{x}\partial{y}}\right)-\left(\frac{\partial{P}}{\partial{y}}+\frac{\partial{P}}{\partial{z}}\frac{\partial{z}}{\partial{y}}+\frac{\partial{R}}{\partial{y}}\frac{\partial{z}}{\partial{x}}+\frac{\partial{R}}{\partial{z}}\frac{\partial{z}}{\partial{y}}\frac{\partial{z}}{\partial{x}}+R\frac{\partial^2{z}}{\partial{y}\partial{x}}\right)dA \end{aligned}}[/latex].
By Clairaut’s theorem, [latex]\frac{\partial^2{z}}{\partial{x}\partial{y}}=\frac{\partial^2{z}}{\partial{y}\partial{x}}[/latex]. Therefore, four of the terms disappear from this double integral, and we are left with
[latex]\large{\displaystyle\iint_D[-R(R_y-Q_z)z_x-(P_z-R_x)z_y+(Q_x-P_y)]dA}[/latex],
which equals [latex]\displaystyle\iint_S\text{curl }{\bf{F}}\cdot{d}{\bf{S}}[/latex].
[latex]_\blacksquare[/latex]
We have shown that Stokes’ theorem is true in the case of a function with a domain that is a simply connected region of finite area. We can quickly confirm this theorem for another important case: when vector field [latex]{\bf{F}}[/latex] is conservative. If [latex]{\bf{F}}[/latex] is conservative, the curl of [latex]{\bf{F}}[/latex] is zero, so [latex]\displaystyle\iint_S\text{curl }{\bf{F}}\cdot{d}{\bf{S}}=0[/latex]. Since the boundary of [latex]S[/latex] is a closed curve, [latex]\displaystyle\int_C{\bf{F}}\cdot{d}{\bf{r}}[/latex] is also zero.
Example: verifying Stokes’ theorem for a specific Case
Verify that Stokes’ theorem is true for vector field [latex]{\bf{F}}(x,y,z)=\langle{y},2z,x^2\rangle[/latex] and surface [latex]S[/latex], where [latex]S[/latex] is the paraboloid [latex]z=4-x^{2}-y^{2}[/latex]. Assume the surface is outward oriented and [latex]z\geq0[/latex]
try it
Verify that Stokes’ theorem is true for vector field [latex]{\bf{F}}(x,y,z)\langle{y},x,-z\rangle[/latex] and surface [latex]S[/latex], where [latex]S[/latex] is the upwardly oriented portion of the graph of [latex]f(x, y)=x^{2}y[/latex] over a triangle in the [latex]xy[/latex]-plane with vertices [latex](0, 0)[/latex], [latex](2, 0)[/latex], and [latex](0, 2)[/latex].
Watch the following video to see the worked solution to the above Try It
Candela Citations
- CP 6.61. Authored by: Ryan Melton. License: CC BY: Attribution
- Calculus Volume 3. Authored by: Gilbert Strang, Edwin (Jed) Herman. Provided by: OpenStax. Located at: https://openstax.org/books/calculus-volume-3/pages/1-introduction. License: CC BY-NC-SA: Attribution-NonCommercial-ShareAlike. License Terms: Access for free at https://openstax.org/books/calculus-volume-3/pages/1-introduction