Section 12.11Stokes' Theorem
What is the relationship between the circulation of a vector field \(\vF\) along a simple closed curve \(C\) in three-dimensional space and the flux integral of \(\curl(\vF)\) through a surface with \(C\) as its boundary?
Why does the flux integral of \(\curl(\vF)\) through a surface with boundary only depend on the boundary of the surface and not the shape of the surface's interior?
When we studied Green's Theorem in Section 12.8, we saw how integrating the circulation density over a region in the plane bounded by a simple closed curve is equivalent to calculating the circulation along the boundary curve. When we consider simple closed curves in \(\R^3\), the situation gets more complicated. However, there is an interesting, and perhaps surprising, generalization of Green's Theorem for us to examine.
In this activity, we will look at how we can apply the ideas about circulation along overlapping curves from the beginning of Circulation to curves in space.
For this part, consider the curves in Figure 12.11.1, where the yellow curve is \(Y\), the blue curve is \(B\), and the magenta curve is \(M\).
You should also go back and refamiliarize yourself with our notation for combining paths (as used in line integrals) from Section 12.2. In our convention, \(Y+M\) would be closed loop, but \(Y-M\) would not make sense because the segment \(-M\) does not begin where \(Y\) begins.
Using the three segments in Figure 12.11.1, write out at least four different closed curves in terms of \(B\), \(Y\), and \(M\). (Remember to consider orientation!)
There are many different curves you can make including \(B+M, B+(-Y), Y+(-B), Y+M, (-M)+(-Y), B+(-Y)+(-M)+(-B), \ldots\)
Let \(C_1=M+B\) and \(C_2=Y-B\). Describe the curve given by \(C_1+C_2\).
Travel M, then B, then Y, then B backwards
Write a couple of sentences explaining how the circulation around \(C_1+C_2\) would compare to the circulation around \(C_1\) and the circulation around \(C_2\). Write an equation in terms of \(\int_{C_1} \vF \cdot d\vr \), \(\int_{C_2} \vF \cdot d\vr \), and \(\int_{C_1+C_2} \vF \cdot d\vr \).
Because we could separate the circulation into line integrals across each segment, the line integrals across \(B\) and \(-B\) would cancel out. Thus we would only have the circulation on \(M+Y\) left.
Explain how your arguments or equations from any of the parts above would or would not change if you considered the curves depicted in Figure 12.11.2.
The line integral along \(B\) would still cancel out with the line integral along \(-B\).
Let \(C\) be the simple closed curve consisting of the yellow and magenta curves in Figure 12.11.1. You can see \(C\) plotted in red in Figure 12.11.3. The drop-down allows you to select three different surfaces. You can visually verify that each of the three surfaces contains \(C\). Notice that the scale on the \(z\)-axis changes as you select different surfaces.
The simple closed curve consisting of the yellow and magenta curves in Figure 12.11.1 can be parameterized by \(\langle \cos(t), \sin(t), \cos(2t)\rangle \) with \(0\leq t\leq 2 \pi\). Let \(C_3 = Y+M\). Use the given parameterization of \(C_3\) to show that \(C_3\) is on each of the following surfaces:
\(x^2-y^2=z\)
\(z=x^4-y^4\)
\(z=1-2y^2\)
\(z=-\cos(\pi \sqrt{x^2+y^2})(x^2-y^2)\)
Substituting \(x= \cos(t), y=\sin(t), z=\cos(2t) \) gives the following equations:
\(x^2-y^2=(\cos(t))^2-(\sin(t))^2= \cos(2t) =z\) by trig identity
\(x^4-y^4 = (x^2-y^2)(x^2+y^2)=[(\cos(t))^2-(\sin(t))^2]((\cos(t))^2+(\sin(t))^2)= \cos(2t) (1) =z\)
\(1-2y^2= (\cos(t))^2+(\sin(t))^2 -2(\sin(t)^2)= (\cos(t))^2-(\sin(t))^2= \cos(2t) =z \)
\(-\cos(\pi \sqrt{x^2+y^2})(x^2-y^2) = -\cos(\pi \sqrt{(\cos(t))^2+(\sin(t))^2}) (\cos(t))^2-(\sin(t))^2= -\cos(\pi) \cos(2t) =z\)
Circulation in three dimensions and Stokes' Theorem
In here, we saw that a simple closed curve in \(\R^3\) can bound many different surfaces. For now, however, we want to focus on a smooth surface \(S\) in \(\R^3\) that has a well-defined normal vector \(\vn\) at every point and a boundary curve \(C\). We will use the normal vector to define an orientation of \(C\) so that if a person were to walk along \(C\) in the direction of the orientation with the top of their head pointing in the direction of \(\vn\), their left arm would be over the surface \(S\). Notice that this is the same convention that we used with Green's Theorem if we assume that the normal vector being used is \(\vk\).
In Figure 12.11.4, we show the curve \(C\) from Preview Activity 12.11.1 in magenta as well as a surface \(S\) that has \(C\) as its boundary. The chosen normal vector \(\vn\) to \(S\) is shown, as is the orientation of \(C\) that matches \(\vn\).
Thinking back to Green's Theorem, our main idea was that we could calculate the circulation around a simple closed curve in \(\R^2\) by taking the double integral of the circulation density over the region bounded by the curve. As we saw in Preview Activity 12.11.1, we can break up \(\oint_C\vF\cdot d\vr\) into line integrals around other simple closed curves so that overlapping portions are oriented oppositely just as we did with the square grid for Green's Theorem. To find a three-dimensional analog of Green's Theorem, we require that a simple closed curve \(C\) in three dimensions bound a smooth surface \(S\) with a normal vector \(\vn\). In doing this, we can choose our “smaller” curves similar to the squares we used in Green's Theorem to lie on the surface \(S\). This gives us almost all the ingredients used in Green's Theorem, but we still need to find a suitable replacement for the circulation density.
As we saw in Section 12.7, the curl of a vector field in \(\R^3\) measures the rotation of the vector field. Theorem says that for a unit vector \(\vv\), the scalar \((\curl(\vF)(a,b,c))\cdot \vv\) measures the rotational strength of \(\vF\) at the point \((a,b,c)\) around the axis defined by \(\vv\). When \(\vv\) is the normal vector to the surface \(S\) at the point \((a,b,c)\), we have the appropriate analog for the circulation density of \(\vF\) on \(S\) at \((a,b,c)\). Thus, the equivalent idea to integrating the circulation density of a two-dimensional vector field over a region in the plane is calculating the flux integral \(\iint_D \curl(\vF)\cdot (\vr_s\times \vr_t)\, dA\), where \(\vr(s,t)\) on the domain \(D\) that gives a parameterization of the smooth surface \(S\).
A rigorous proof of the following theorem is beyond the scope of this text. However, here and our discussion of Green's Theorem provide an intuitive description of why this theorem is true.
Let \(S\) be a smooth surface in \(\R^3\) with a simple closed curve \(C\) as its boundary. Let \(\vF\) be a vector field that is smooth on \(S\) and \(C\). Suppose that \(\vr(s,t)\) on the domain \(D\) gives a parametrization of \(S\) for which \(C\) is oriented so that a person walking along \(C\) in the direction of its orientation and head pointing in the direction of the normal vector \(\vr_s\times \vr_t\) would have their left hand above \(S\). In this setting, the circulation of \(\vF\) along \(C\) is equal to the flux of \(\curl(\vF)\) through \(S\). That is, \[ \oint\limits_C \vF\cdot d\vr = \iint\limits_{D} (\curl(\vF))\cdot (\vr_s\times\vr_t)\, dA \].
Verifying and Applying Stokes' Theorem
In this subsection, we will look at some examples and activities that will verify Stokes' Theorem by calculation both side for a few different situations.
In this example, we will verify Stoke's Theorem for the curve used in Preview Activity 12.11.1 using the parameterization and surfaces from here. We will use the vector field \(\vF=\langle z-x, y+z, xy \rangle \) throughout this problem.
We first calculate the circulation of \(\vF=\langle z-x, y+z, xy \rangle \) around the curve \(C\) with parameterization given by \(\vr(t)= \langle \cos(t), \sin(t), \cos(2t)\rangle \) with \(0\leq t\leq 2 \pi\). Note here that \(\vr'(t)= \langle -\sin(t), \cos(t), -2 \sin(2t) \rangle \). Applying Theorem to calculate the circulation, we have \[\begin{aligned} \int_C \vF \cdot d\vr = & \int_0^{2\pi} \langle \cos(2t)-\cos(t),\sin(t)+\cos(2t),\cos(t)\sin(t) \rangle \\ & \quad \cdot \langle -\sin(t), \cos(t), -2 \sin(2t) \rangle \, dt \end{aligned}\] If you were to write out this dot product and combine like terms, then you would be left with four terms. Each of these can be evaluated using a few trig identities and substitutions. In fact, three of the four terms will correspond to functions that have as much area below the axis as above and thus will have integrals of zero. \[\begin{aligned}\int_C \vF \cdot d\vr = & \int_0^{2\pi} 2\cos(t)\sin(t) \, dt \\ & - \int_0^{2\pi} \cos(2t)\sin(t) \, dt \\ & + \int_0^{2\pi} \cos(2t)\cos(t) \, dt \\ & - \int_0^{2\pi} 2\cos(t)\sin(t)\sin(2t) \, dt \\ & = 0 -0 + 0 -\pi = -\pi \end{aligned}\] The circulation of \(\vF\) around \(C_3\) is \(-\pi\). This result being negative means that more of the vector field moves opposite the direction of travel given by the parameterization.
In this part, we will calculate the flux of \(\curl(\vF) \) through a surface with boundary \(C\). As demonstrated by here, there are several different surfaces that we can use in this problem. For our first case, we will use the part of the surface \(z=1-2y^2\) that is bounded by \(C\) as shown in Figure 12.11.5. This surface can be parameterized by \(\vr(s,t)=\langle s\cos(t),s\sin(t), 1-2 s^2 \sin(t)^2 \rangle \) with \(0\leq s\leq 1\) and \(0\leq t\leq 2\pi\).
Using our parameterization, we have the following for the partial derivative functions and the corresponding normal vector: \[\begin{aligned}\vr_s(s,t) & =\langle \cos(t), \sin(t),-4s\sin(t)^2\rangle \\ \vr_r(s,t) & =\langle -s\sin(t), s\cos(t),-4s^2\sin(t)\cos(t)\rangle \\ \vw=\vr_s \times \vr_t & =\langle -4s^2\sin(t)^2\cos(t)+4s^2\sin(t)^2\cos(t) , \\ & \quad \quad 4s^2\cos(t)^2\sin(t)+4s^2\sin(t)^2\sin(t), s \cos(t)^2 + s \sin(t)^2 \rangle \\ & = \langle 0, 4s^2\sin(t), s \rangle \end{aligned}\] In particular, our parameterization yields \(\vr_s \times \vr_t \, dA = \langle 0,4s\sin(t), 1 \rangle s \, ds dt\). Since we used polar coordinates as our parameter, \( dA = s ds dt\).
If you completed of , you may recognize our cacluation of \(\vr_s \times \vr_t\) as fitting the following form: If \(z=f(x,y)\), then \(\vr_s \times \vr_t \, dA\) is of the form \( \langle -\dfrac{\partial f}{\partial x},-\dfrac{\partial f}{\partial y}, 1 \rangle \, dA\).
The next step in setting up the flux integral on the right side of Stokes' Theorem is calculating the curl of \(\vF\). Since \(\vF=\langle z-x, y+z, xy \rangle \), \(\curl(\vF)=\langle x-1,1-y,0 \rangle \) and converting to \(s\) and \(t\) gives \(\curl(\vF) (s,t)=\langle s\cos(t)-1,1-s\sin(t),0 \rangle \). Now we are able to apply Theorem, which give the following iterated integral: \[ \int_0^1 \int_0^{2\pi} \langle s\cos(t)-1,1-s\sin(t),0 \rangle \cdot \langle 0,4s\sin(t), 1 \rangle s \, dt\, ds \]. Evaluating this dot product and computing each integral gives \[ \int_0^1 \int_0^{2\pi} -4s^3 \sin(t)^2 + 4s^2 \sin(t) \, dt ds = -\pi \], which matches our result for the calculation of the circulation around \(C\).
As we saw in here there is more than one surface that has \(C\) as a boundary. We will calculate the flux integral (the right side of Stokes' Theorem) for a different surface to help motivate why it will not matter which surface we use (as long as we have the correct orientation and boundary). For this part we will use the surface \(z=x^2-y^2\), which will be parameterized by \(\vr(s,t)=\langle s\cos(t),s\sin(t), s^2 (\cos(t)^2-\sin(t)^2) \rangle \) with \(0\leq s\leq 1\) and \(0\leq t\leq 2\pi\). Additionally, we will use the trig identity \(\cos(2t)=\cos(t)^2-\sin(t)^2 \) to write the last component of our parameterization as \(s^2 \cos(2t)\).
Using our parameterization, we have the following for the partial derivative functions and the corresponding normal vector: \[\begin{aligned}\vr_s(s,t) & =\langle \cos(t), \sin(t),2s\cos(2t)\rangle \\ \vr_r(s,t) & =\langle -s\sin(t), s\cos(t),-2s^2\sin(2t)\rangle \\ \vw=\vr_s \times \vr_t & =\langle -2s^2\sin(2t)\sin(t)-2s^2\cos(2t)\cos(t) , \\ & \quad \quad 2s^2\cos(t)\sin(2t)-2s^2\sin(t)\cos(2t), s \cos(t)^2 + s \sin(t)^2 \rangle \\ & = \langle -2s^2 \cos(t), 2s^2 \sin(t), s \rangle \end{aligned}\] (There are a number of equivalent algebraic simpmlifications that can be done here by choosing different trigonometric identities.)
Now we are ready to set up the flux integral as the following iterated integral: \[ \int_0^1 \int_0^{2\pi} \langle s\cos(t)-1,1-s\sin(t),0 \rangle \cdot \langle -2s^2 \cos(t), 2s^2 \sin(t), s \rangle \, dt\, ds \] You probably noticed that this integral looks slightly more complicated than our work in the previous part, but if we are consistent, we should get the same result. Evaluating this dot product and computing each integral gives \[\begin{aligned}& \int_0^1 \int_0^{2\pi} (-2s^2 \cos(t))(s\cos(t)-1) + (2s^2 \sin(t))(1-s\sin(t)) \, dt\, ds \\ =& \int_0^1 \int_0^{2\pi} -2s^3 \cos(t)^2 + 2s^2 \cos(t) + 2s^2 \sin(t) -2s^3\sin(t)^2 \, dt\, ds \\ =& \int_0^1 \int_0^{2\pi} -2s^3 + 2s^2 \cos(t) + 2s^2 \sin(t) \, dt\, ds \end{aligned}\]. Because both sine and cosine will integrate to zero over the interval from \(0\) to \(2\pi\), we only need to evaluate \[2 \pi \int_0^1 -2s^3 \, ds= -\pi\], which gives exactly the same result as our circulation integral and our flux integral with the other surface.
We close this subsection with a pair of activities. The first focuses on calculating both of the integrals in Stokes' Theorem. The second asks you to calculate some line integrals along simple closed curves and gives you the discretion to choose the best method to use for this (as well as the best surface to use, if you choose Stokes' Theorem).
In this activity, we will verify Stokes' Theorem by calculating both a line integral and a flux integral.
Consider the vector field \(\vF = \langle x^2 ,y^2 ,z^2 \rangle\) and the circle \(C_1\) parameterized as \(\vr(t) =\langle \sqrt{2}\cos(t), \sqrt{2}\cos(t), 2\sin(t)\rangle\) for \(0\leq t\leq 2\pi\).
Calculate \(\oint_{C_1} \vF\cdot d\vr\) directly using the given parametrization.
Using the vector field and the given parameterization, we get the following circulation calculation: \[\begin{aligned}\int_{C_1} \vF \cdot d\vr & = \int_0^{2\pi} \langle 2 (\cos(t))^2, 2 (\cos(t))^2, 4 (\sin(t))^2 \rangle \cdot \langle -\sqrt{2}\sin(t),-\sqrt{2} \sin(t),2 \cos(t) \rangle \, dt \\ & = 4\sqrt{2} \cos(t)^2\sin(t)+8\sin(t)^2 \cos(t) \, dt = 0\end{aligned}\]
Let \(S_1\) be the hemisphere of the sphere of radius \(2\) centered at the origin with \(y\leq x\). Calculate the flux of \(\curl(\vF)\) through \(S_1\).
Because the curl of \(\vF\) is \(\vec{0}\), the flux of the curl through \(S_2\) will be zero.
What could you have observed about \(\vF\) that would have gotten you the same answer without doing either of the above calculations?
The vector field \(\vF\) is conservative because \( \vF = \nabla f\) where \(f(x,y,z)=x^3/3+y^3/3+z^3/3 +C\). The circulation of a conservative vector field over a closed loop is always zero.
Consider the vector field \(\vG = x\vi + y^2z\vj + x^2\vk\) and the curve \(C_2\), which is the triangle with vertices \((1,0,0)\), \((0,1,0)\), and \((0,0,1)\) with orientation corresponding to the order the points are listed here.
Find the circulation of \(\vG\) along \(C_2\) by calculating the appropriate line integrals.
We parameterize the boundary triangle with the following elements:
\(\vr_1(t)=\langle 1-t,t,0\rangle\)
\(\vr_2(t)=\langle 0,1-t,t\rangle\)
\(\vr_1(t)=\langle t,0,1-t\rangle\)
The vertices of \(C_2\) lie in a plane. Let \(S_2\) be the portion of this plane lying in the first octant, i.e., the portion with \(x,y,z\geq 0\). Find the flux of \(\curl(\vG)\) through \(S_2\).
The curl of \(\vG\) is \(\langle 0-y^2, 0-2x,0-0 \rangle\) and the surface \(S_2\) is parameterized by \(\vr(s,t)=\langle s,t,1-s-t\rangle \) with \( s \in [0,1]\) and \(t \in [0,1-s]\). This give the flux integral of \[ \int_0^1 \int_0^{1-s} \langle -t^2,-2s,0\rangle \cdot \langle 1,1,1 \rangle \, dt \, ds = \int_0^1 \int_0^{1-s} -t^2-2s \, dt \, ds = -\frac{5}{12} \]
Write a sentence to explain why the sign of your answer to the previous two parts makes sense.
The flux is negative because the curl of \(\vG \) is pointing in the opposite direction of the outward pointing normal vector for \(S_2\).
Find the circulation of \(\vF = \langle 3yz, xz, -xy\rangle\) along the curve \(C\) consisting of (given in order of the orientation) the quarter-circle of radius \(1\) centered at \((0,-2,0)\) in the plane \(y=-2\) from \((0,-2,1)\) to \((1,-2,0)\), the line segment from \((1,-2,0)\) to \((1,5,0)\), the quarter-circle of radius \(1\) centered at \((0,5,0)\) in the plane \(y=5\) from \((1,5,0)\) to \((0,5,1)\), and the line segment from \((0,5,1)\) to \((0,-2,1)\).
For the vector field \(\vF = \langle 3yz, xz, -xy\rangle\), we get a curl of \(\langle -x-x,y-3y,z-3z \rangle = -3 \langle 0,y,z\rangle \). The surface we will use is parameterized by \(\vr(s,t)=\langle \cos(t),s,\sin(t) \rangle\) with \(s \in [-2,5]\) and \(t \in [0,2\pi)\). So the flux integral of the curl of \(\vF\) through our surface is given by \[ \int_{-2}^5 \int_0^{\frac{\pi}{2}} \langle 0 ,-3s,-3\sin(t)\rangle \cdot \langle \cos(t),0,\sin(t)\rangle \, dt \, ds = \int_{-2}^5 \int_0^{\frac{\pi}{2}} -3 \sin(t)^2 \, dt \, ds = -\frac{21\pi}{4} \]
Find the circulation of \(\vG = 3z^2 \vi -(z^2 + 2x) \vj +zy \vk\) along the circle in the \(xy\)-plane of radius \(3\) centered at the origin. Assume the counterclockwise orientation of the circle.
For the vector field \(\vG = 3z^2\vi -(z^2 + 2x) \vj+zy\vk\), the curl is given by \(\langle z+2z,6z-0,2-0\rangle\). We will use the disc of radius 3 in the xy-plane centered at the origin for our surface, with normal vector \( s \langle 0,0,1\rangle \). Thus the flux through our surface will be two times the area of the surface, \(2 (9\pi)=18\pi\).
In part here, there are two “reasonable” choices for the surface bounded by the circle. If you did not do so while doing the activity, we encourage you to identify both of them and compare which one makes doing the flux integral easier. In general, this will vary depending on the curl of the vector field in question, so we cannot give a rule for determining what surface or coordinate system to use. However, we do encourage you to think about which surface will make evaluating the flux integral easiest.
Practice with Surfaces and their Boundaries
When we looked at Green's Theorem, it was generally most useful when we were given a line integral and we calculated it using a double integral. In fact, except in the circumstances described in Exercise 6 and Exercise 8 of Section 12.8, we did not use Green's Theorem to rewrite a double integral as a line integral because of the difficulty of finding a suitable vector field. The situation for Stokes' Theorem will be similar, with the exception of Exercise 4 in this section. However, Stokes' Theorem gives us an interesting additional piece of freedom: selecting the surface \(S\) through which we calculate the flux of \(\curl(\vF)\) from amongst possibly several reasonable surfaces with boundary \(C\). The next two activities focus on the relationships between surfaces and their boundary.
Because Stokes' Theorem requires us to consider a surface (with normal vector) and the boundary of the surface, this activity will give you a chance to practice identifying the boundary of some surfaces in \(\R^3\). For each surface below:
Describe the boundary in words.
Find a parametrization for the boundary.
Ensure that a person walking along the boundary in the direction of your parametrization with head pointing in the direction of the surface's normal vector would hold their left hand over the surface.
The surface \(S_1\) is the portion of the sphere \(x^2+y^2+z^2=4\) with \(z\geq x\). Assume the outward orientation on the sphere.
The boundary is the circle on the plane \(z=x\) of radius 2, centered at the origin.
\(\vr(t) = \langle 2 \cos(t),2\sin(t),2\cos(t) \rangle\) with \(t \in [0,2\pi)\)
Using the right hand rule on this orientation will show that the circulation on the boundary will be measured with the positive z-component (corresponding to the outward normal of the sphere)
The surface \(S_2\) is the portion of the sphere \(x^2+y^2+z^2=4\) with \(z\geq 0\). Assume the outward orientation on the sphere.
The boundary is the circle on the plane \(z=0\) of radius 2, centered at the origin.
\(\vr(t) = \langle 2 \cos(t),2\sin(t),0 \rangle\) with \(t \in [0,2\pi)\)
Using the right hand rule on this orientation will show that the circulation on the boundary will be measured with the positive z-component (corresponding to the outward normal of the disc in the xy-plane)
The surface \(S_3\) is the portion of the hyperbolic paraboloid \(z=x^2-y^2\) with \(x^2+y^2\leq 1\). Assume the “upward” orientation, e.g., the normal vector at \((0,0,0)\) is \(\vk\).
The boundary is the path that sits above the circle of radius 1 in the xy-plane centered at the origin, but has z-coordinate given by \(\cos(2 \theta)\).
\(\vr(t) = \langle \cos(t),\sin(t),\cos(2t) \rangle\) with \(t \in [0,2\pi)\)
Using the right hand rule on this orientation will show that the circulation on the boundary will be measured with the positive z-component (corresponding to the outward normal of the saddle surface)
The surface \(S_4\) is the portion of the cylinder \(x^2+y^2=4\) for which \(-2\leq z\leq 2\), assuming the outward orientation.
The boundary is given by the curve \(C\) consisting of (given in order of the orientation) the quarter-circle of radius \(2\) centered at \((2,0,-2)\) in the plane \(z=-2\) from \((2,0,-2)\) to \((0,2,-2)\), the line segment from \((0,2,-2)\) to \((0,2,2)\), the quarter-circle of radius \(2\) centered at \((0,0,2)\) in the plane \(z=2\) from \((0,2,2)\) to \((2,0,2)\), and the line segment from \((2,0,2)\) to \((2,0,-2)\).
\[\begin{aligned} \vr(t) & = \langle 2\cos(t),2\sin(t),-2 \rangle \\ \vr(t) & = \langle 2,0,4-t \rangle \\ \vr(t) & = \langle 2\cos(-t),2\sin(-t),2 \rangle \\ \vr(t) & = \langle 2,0,-2+t \rangle \end{aligned}\] with the first and third having \(t\in[0,\pi/2]\) and the second and fourth having \(t\in[0,4]\).
Using the right hand rule on this orientation will show that the circulation on the boundary will be measured in the radially outward direction (away from the z-axis
In some sense, this activity considers the reverse problem of that considered in Activity 12.11.4. Here, each part of the activity gives you an oriented simple closed curve \(C\) in \(\R^3\), and your task is to find
a surface \(S\) so that \(C\) is the boundary of \(S\) and
a normal vector for the \(S\) so that a person walking along \(C\) in the direction of the given orientation with head pointing in the direction of your chosen normal vector would have their left hand over \(S\).
The curve \(C\) is the triangle with vertices \((1,0,0)\), \((0,1,0)\), and \((0,0,1)\) with orientation corresponding to the order the points are listed here.
A surface with given boundary could be \(x+y+z=1\) and the normal vector would be \(1/\sqrt{3} \langle 1,1,1 \rangle \).
The curve \(C\) is the circle parameterized as \(\vr(t) =\langle \sqrt{2}\cos(t), \sqrt{2}\cos(t), 2\sin(t)\rangle\) for \(0\leq t\leq 2\pi\).
A surface with given boundary could be \(x^2+y^2+z^2=4\) (for \(\pi/4 \leq \theta \leq 5\pi/4\)) the normal vector would be radially outward from the origin.
The curve \(C\) consists of (given in order of the orientation)
the quarter-circle \(C_1\)of radius \(2\) centered at the origin in the \(xy\)-plane from \((2,0,0)\) to \((0,2,0)\),
the line segment \(C_2\) from \((0,2,0)\) to \((0,2,2)\),
the quarter-circle \(C_3\) of radius \(2\) centered at \((0,0,2)\) in the plane \(z=2\) from \((0,2,2)\) to \((2,0,2)\), and
the line segment \(C_4\) from \((2,0,2)\) to \((2,0,0)\).
\(x^2+y^2=4\) for \(-2\leq z \leq 2\) with normal vector pointing away from the z-axis.
Summary
Stokes' Theorem tells us that we can calculate the circulation of a smooth vector field along a simple closed curve in \(\R^3\) that bounds a surface (with normal vector) on which the vector field is also smooth by calculating the flux of the curl of the vector field through the surface.
Given two surfaces \(S_1\) and \(S_2\) with the same boundary \(C\) (and assuming normal vectors that give the same orientation on \(C\)), the flux of \(\curl(\vF)\) through \(S_1\) and through \(S_2\) is the same because Stokes' Theorem tells us that this flux is equal to the circulation of \(\vF\) along \(C\).
Exercises
Find \(\int_C\vec F\cdot d\vec r\) where \(C\) is a circle of radius \(1\) in the plane \(x+y+z=8\), centered at \((1,4,3)\) and oriented clockwise when viewed from the origin, if \(\vec F = 5y\vec i - 2x\vec j + 3\mathopen{}\left(y-x\right)\vec k\)
\(\int_C\vec F\cdot d\vec r =\) ___________________________________
\(\frac{\left(2\cdot 3-5-2\right)\pi \cdot 1\cdot 1}{\sqrt{3}}\)
Use Stokes' Theorem to evaluate \(\displaystyle \int_{C} \mathbf{F} \cdot d\mathbf{r}\) where \(\mathbf{F}(x, y, z) = x\mathbf{i} + y\mathbf{j} + 7\!(x^{2} + y^{2})\mathbf{k}\) and \(C\) is the boundary of the part of the paraboloid where \(z = 1 - x^{2} - y^{2}\) which lies above the xy-plane and \(C\) is oriented counterclockwise when viewed from above.
________________________________________
\(0\)
Verify Stokes' theorem for the helicoid \(\Psi(r,\theta) = \langle r\cos \theta, r\sin \theta, \theta \rangle\) where \((r,\theta)\) lies in the rectangle \([0,1] \times [0,\pi/2]\), and \(\mathbf{F}\) is the vector field \(\mathbf{F} = \langle 2 z, 8 x, 3 y \rangle\).
First, compute the surface integral:
\(\iint_M (\nabla \times \mathbf{F})\cdot d\mathbf{S}= \int_a^b\int_c^d f(r, \theta) dr\,d\theta\), where
\(a =\)__________, \(b =\)__________, \(c =\)__________, \(d =\)__________, and
\(f(r, \theta) =\) __________________________________________________ (use "t" for theta).
Finally, the value of the surface integral is ______________________________.
Next compute the line integral on that part of the boundary from \((1,0,0)\) to \((0,1,\pi/2)\).
\(\int_C \mathbf{F}\cdot d\mathbf{r} = \int_a^b g(\theta)\,d\theta\), where
\(a =\)__________, \(b =\)__________, and
\(g(\theta) =\) __________________________________________________ (use "t" for theta).
\(0\), \(1.5707963267949\), \(0\), \(1\), \(3\sin\mathopen{}\left(t\right)-2\cos\mathopen{}\left(t\right)+8r\), \(7.28318530717959\), \(0\), \(1.5707963267949\), \(-2t\sin\mathopen{}\left(t\right)+8\cos^{2}\mathopen{}\left(t\right)+3\sin\mathopen{}\left(t\right)\)
Stokes' Theorem is generally used to turn a line integral into a flux integral. Sometimes it is possible to be given a flux integral and recognize that the given vector field \(\vF\) is \(\curl(\vG)\) for some vector field \(\vG\), however. When this is the case, we call \(\vG\) a vector potential for the vector field \(\vF\), much like a function \(f\) so that \(\vF = \grad(f)\) is called a potential function for \(\vF\).
Find a vector field \(\vF\) so that \(\curl(\vF) = \langle x-y^2,4xy-y-4,-4xz\rangle\).
\(\vF=\langle -4xyz+f(x), -zy^2+g(y),-xy-4x+h(z) \rangle \)
When finding an anti-derivative of a function of a single variable, you know that there is an infinite family of anti-derivatives, but that any two anti-derivatives differ by a constant. This is why we write expressions such as \(\displaystyle\int\cos(x)\, dx = \sin(x) + C\). A similar phenomenon occurs with (scalar) potential functions for gradient vector fields. Find a second vector field \(\vG\) with the same curl as in part, and do so in a way that \(\vF-\vG\) is not a constant vector. That is, after simplifying fully, \(\vF-\vG\) must contain at least one of the variables \(x,y,z\).
\(\vF=\langle -4xyz+x, -zy^2+y,-xy-4x+z \rangle \)
Verify that for the vector fields you found above, \(\vF-\vG\) is a gradient vector field. Explain why for every pair \(\vF, \vG\) of vector potentials for a vector field \(\vH\), you must have that \(\vF-\vG\) is a gradient vector field.
If \(\vH = \curl(\vF)\), then \(\vH=\langle \frac{\partial F_2}{\partial z}-\frac{\partial F_3}{\partial y}, \frac{\partial F_3}{\partial x}-\frac{\partial F_1}{\partial z}, \frac{\partial F_1}{\partial y}-\frac{\partial F_2}{\partial x} \rangle\). So, \(\divg(\vH)= \frac{\partial^2 F_2}{\partial z \partial x}-\frac{\partial^2 F_3}{\partial y \partial x} + \frac{\partial^2 F_3}{\partial x \partial y}-\frac{\partial^2 F_1}{\partial z \partial y} + \frac{\partial^2 F_1}{\partial y \partial z}-\frac{\partial^2 F_2}{\partial x \partial z}= 0\).
Explain why if \(\vH\) is a vector field with a vector potential \(\vF\), \(\divg(\vH) = 0\). Such a vector field is called a solenoidal vector field or divergence-free vector field.
If \(\vH = \curl(\vF)\), then \(\vH=\langle \frac{\partial F_2}{\partial z}-\frac{\partial F_3}{\partial y}, \frac{\partial F_3}{\partial x}-\frac{\partial F_1}{\partial z}, \frac{\partial F_1}{\partial y}-\frac{\partial F_2}{\partial x} \rangle\). So, \(\divg(\vH)= \frac{\partial^2 F_2}{\partial z \partial x}-\frac{\partial^2 F_3}{\partial y \partial x} + \frac{\partial^2 F_3}{\partial x \partial y}-\frac{\partial^2 F_1}{\partial z \partial y} + \frac{\partial^2 F_1}{\partial y \partial z}-\frac{\partial^2 F_2}{\partial x \partial z}= 0\).
For each of the following vector fields, determine whether a vector potential exists. If so, find one.
For this problem, enter your vectors with angle-bracket notation: \(\langle a, b, c \rangle\), not in \(ijk\)-notation.
(a) \(\vec F = x\,\mathit{\vec i}+\left(7y-z^{2}\right)\,\mathit{\vec j}+\left(2x+8z\right)\,\mathit{\vec k}\)
\(\vec F\) _______________ \(\vec H\), \(\vec H =\) ___________________________________
(If there is no potential function, enter none for the function.)
(b) \(\vec F = x\,\mathit{\vec i}+\left(7y-z^{2}\right)\,\mathit{\vec j}+\left(2x-8z\right)\,\mathit{\vec k}\)
\(\vec F\) _______________ \(\vec H\), \(\vec H =\)___________________________________
(If there is no potential function, enter none for the function.)
does not have a vector potential, none, has a vector potential, \(\left(-2xy+8yz\right)\,\mathit{\vec i}+\left(1xy+xz^{2}\right)\,\mathit{\vec k}\)
Repeat the steps of here and here with the surface \(z=x^4-y^4\) to verify Stokes' Theorem for another different surface. Your flux integral should calculate to \(-\pi\) as in Example 12.11.1.