Stokes' theorem: a circulation around a closed curve equals the flux of the curl through a surface it bounds. 15 problems with worked solutions; in 15 of them every
equation is proved by a computer algebra system.
4 worked problems
Try each one before opening the solution. Every line is labeled with what checked it. How we verify
Use Stokes' theorem to evaluate \( \displaystyle \oint_C \mathbf F \cdot d\mathbf r \) for \( \displaystyle \mathbf F = \left\langle - y, x, z \right\rangle \), where \( \displaystyle C \) is the circle \( \displaystyle x^2 + y^2 = 4 \) in the plane \( \displaystyle z = 0 \), counterclockwise seen from above.
Take S to be the flat disk the circle bounds, with upward normal k. Stokes: ∮_C F · dr = ∬_S (curl F) · k dA.
The k-component of the curl over the disk, in polar coordinates.✓ Proved
\[ \int\limits_{0}^{2 \pi} 4\, dt = 8 \pi \]
The circulation computed directly around C agrees.✓ Proved
Answer \( 8 \pi \)
✓ Nihil obstat Lines: 3 proved, 1 reviewed. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use Stokes' theorem to evaluate \( \displaystyle \oint_C \mathbf F \cdot d\mathbf r \) for \( \displaystyle \mathbf F = \left\langle y^{2}, x, z^{2} \right\rangle \), where \( \displaystyle C \) is the circle \( \displaystyle x^2 + y^2 = 9 \) in the plane \( \displaystyle z = 0 \), counterclockwise seen from above.
Take S to be the flat disk the circle bounds, with upward normal k. Stokes: ∮_C F · dr = ∬_S (curl F) · k dA.
The circulation computed directly around C agrees.✓ Proved
Answer \( 9 \pi \)
✓ Nihil obstat Lines: 3 proved, 1 reviewed. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use Stokes' theorem to evaluate \( \displaystyle \oint_C \mathbf F \cdot d\mathbf r \) for \( \displaystyle \mathbf F = \left\langle x z, x - y, x y \right\rangle \), where \( \displaystyle C \) is the circle \( \displaystyle x^2 + y^2 = 1 \) in the plane \( \displaystyle z = 0 \), counterclockwise seen from above.
Take S to be the flat disk the circle bounds, with upward normal k. Stokes: ∮_C F · dr = ∬_S (curl F) · k dA.
Reviewed
\[ \left[\begin{matrix}\frac{\partial}{\partial y} x y - \frac{\partial}{\partial z} \left(x - y\right)\\- \frac{\partial}{\partial x} x y + \frac{\partial}{\partial z} x z\\- \frac{\partial}{\partial y} x z + \frac{\partial}{\partial x} \left(x - y\right)\end{matrix}\right] = \left[\begin{matrix}x\\x - y\\1\end{matrix}\right] \]
The circulation computed directly around C agrees.✓ Proved
Answer \( \pi \)
✓ Nihil obstat Lines: 3 proved, 1 reviewed. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Use Stokes' theorem to evaluate \( \displaystyle \oint_C \mathbf F \cdot d\mathbf r \) for \( \displaystyle \mathbf F = \left\langle - y^{3}, x^{3}, z \right\rangle \), where \( \displaystyle C \) is the circle \( \displaystyle x^2 + y^2 = 4 \) in the plane \( \displaystyle z = 0 \), counterclockwise seen from above.
Take S to be the flat disk the circle bounds, with upward normal k. Stokes: ∮_C F · dr = ∬_S (curl F) · k dA.
The circulation computed directly around C agrees.✓ Proved
Answer \( 24 \pi \)
✓ Nihil obstat Lines: 3 proved, 1 reviewed. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify