Stokes' Theorem 'corollary' integral in cylindrical polar coordinates

In summary, the conversation was about proving a formula related to Stokes' Theorem, specifically in the case of a vector \vec{a} = U\vec{b}, where \vec{b} is a constant vector. The formula derived from Stokes' Theorem was \iint_S U\vec{dS} = \iiint_V \nabla U dV. The main questions were about the type of integral and how to evaluate it. The attempt involved converting to cylindrical polar coordinates and calculating \nabla U. However, the approach of integrating component by component was incorrect and the correct method involves treating d\mathbf{S} as \mathbf{n}\,dS where \mathbf{n
  • #1
Master1022
611
117
Homework Statement
A scalar potential [itex] U(x, y, z) = z + \sqrt{x^2 + y^2} [/itex] is defined over the cylinder [itex] x^2 + y^2 \leq a^2 [/itex], [itex] 0 \leq z \leq h [/itex]. Show that the following quantity holds true
Relevant Equations
Stokes theorem
Hi,

I was just working on a homework problem where the first part is about proving some formula related to Stokes' Theorem. If we have a vector [itex] \vec a = U \vec b [/itex], where [itex] \vec b [/itex] is a constant vector, then we can get from Stokes' theorem to the following:

[tex] \iint_S U \vec{dS} = \iiint_V \nabla U dV [/tex]

My main questions:
1)
What type of integral am I looking at here?
- I think it is some sort of vector integral based on the [itex] \vec{dS} [/itex] and the [itex] \nabla U [/itex]
2) How should I evaluate it?

My attempt:

The problem gives us [itex] U(x, y, z) = z + \sqrt{x^2 + y^2} [/itex] in cartesian coordinates which I chose to convert to cylindrical polar. This leads to:
[tex] U(r, \phi, z) = r + z [/tex]
for [itex] 0 \leq r \leq a [/itex] and [itex] 0 \leq z \leq h [/itex]. We can calculate [itex] \nabla U [/itex] to get:

[tex]
\nabla U = \begin{pmatrix} 1 \\ 0 \\ 1 \end{pmatrix}
[/tex]

which suggests that the volume integral becomes:
[tex] \iiint_V \begin{pmatrix} dV \\ 0 \\ dV \end{pmatrix} = \begin{pmatrix} V \\ 0 \\ V \end{pmatrix} [/tex] where [itex] V = \pi a^2 h [/itex]

Now if we look at the surface integral: (the [itex] \pm [/itex] is for the top and bottom of the cylinder respectively)
[tex] \vec{dS} = \begin{pmatrix} a d\phi dz \\ ? \\ \pm r d\phi dr \end{pmatrix} [/tex]

If we consider the surface integral in the [itex] \hat z [/itex] directions, then we get (I have used [itex] \cdot [/itex] just to represent normal multiplication and not anything to do with the vector dot product).

[tex] \int_{\phi = 0}^{2\pi} \int_{r=0}^a (r+z) \cdot r \, dr \, d\phi \hat z [/tex] for the top where [itex] z = h [/itex] and

[tex] - \int_{\phi = 0}^{2\pi} \int_{r=0}^a (r+z) \cdot r \, dr \, d\phi \hat z [/tex] for the bottom where [itex] z = 0 [/itex]

Combining them yields [itex] \pi a^2 h \hat z [/itex] which agrees with the volume integral.

Now if we consider the [itex] \hat r [/itex] direction (where [itex] r = a [/itex]):
[tex] \int_{\phi = 0}^{2\pi} \int_{z=0}^h (a+z) \cdot a \, dz \, d\phi \hat r = 2\pi a \left. \left(az + \frac{z^2}{2} \right) \right|_0^h [/tex]

which doesn't seem to lead me to the correct place. This suggests that I have approached some (if not all) of these integrals incorrectly.

Any help would be greatly appreciated.

Note: The solution states that the [itex] \hat r [/itex] integral should [itex] = 0 [/itex] by symmetry. However, if that is the case, then does that not cause a mis-match between the corresponding components of the [itex] \hat r [/itex] of the two integrals?
 
Physics news on Phys.org
  • #2
Apologies, just wanted to make it clear that I did derive the quoted formula, but am now just working on the verification. Thanks
 
  • #3
I just realized that I wrote Stokes' Theorem instead of Gauss' Theorem! Given that I cannot edit the post for some reason, can a moderator change/edit the post (relevant equations section) and the title? I really do apologize about that - I am not sure why I didn't spot that sooner.

In any case, this is where the original formula came from and perhaps providing a proof might help readers understand the situation and spot my errors.
If we start with Gauss' Theorem:
[tex] \iint_S \vec a \cdot \vec{dS} = \iiint_V (\nabla \cdot \vec a) dV [/tex]
[tex] \iint_S U \vec b \cdot \vec{dS} = \iiint_V (\nabla \cdot U \vec b) dV [/tex]
Noting that:
[tex] \nabla \cdot U \vec b = U(\nabla \cdot \vec b) + \vec b \cdot \nabla U [/tex]
For a constant vector, [itex] \nabla \cdot \vec b = 0 [/itex]. Thus:
[tex] \vec b \cdot \iint_S U\vec{dS} = \vec b \cdot \iiint_V (\nabla U) dV [/tex]
which leads to the expression in the post

Once again, I really do apologize for this. If it is easier, I can delete this post and repost this thread with all the information corrected and put into one post? If the latter is the best way to go about it, can a moderator let me know before taking it down so I can copy all the Latex code out of the post?
 
Last edited:
  • #4
Always treat [itex]d\mathbf{S}[/itex] as [itex]\mathbf{n}\,dS[/itex] where [itex]\mathbf{n}[/itex] is the (outward) unit normal:[tex]
\int_{\partial V} U \,d\mathbf{S} \equiv \int_{\partial V} U\mathbf{n}\,dS.[/tex]

Remember that in cylindrical polars, the basis vectors [itex]\mathbf{e}_r = \cos\phi\,\mathbf{i} + \sin\phi\,\mathbf{j}[/itex] and [itex]\mathbf{e}_\phi = -\sin\phi\,\mathbf{i} + \cos\phi\,\mathbf{j}[/itex] are functions of [itex]\phi[/itex]. That means that you can't integrate a vector quantity component by component unless you express everything in terms of the cartesian basis vectors (which are constant).

Thus [tex]\begin{align*} \int_V \nabla U\,dV &= \int_0^{2\pi} \int_0^a \int_0^h
(\mathbf{e}_r + \mathbf{k}) r\,dz\,dr\,d\phi \\
&= \int_0^{2\pi} \int_0^a \int_0^h (\cos\phi\,\mathbf{i} + \sin\phi\,\mathbf{j} + \mathbf{k})r\,dz\,dr\,d\phi
\end{align*}[/tex] etc.
 
  • Informative
  • Like
Likes etotheipi and Master1022
  • #5
pasmith said:
Remember that in cylindrical polars, the basis vectors [itex]\mathbf{e}_r = \cos\phi\,\mathbf{i} + \sin\phi\,\mathbf{j}[/itex] and [itex]\mathbf{e}_\phi = -\sin\phi\,\mathbf{i} + \cos\phi\,\mathbf{j}[/itex] are functions of [itex]\phi[/itex]. That means that you can't integrate a vector quantity component by component unless you express everything in terms of the cartesian basis vectors (which are constant).

Thank you very much for replying! That makes sense I suppose - not sure why I have never heard that point expressed before in lectures. Nonetheless, thank you for clearing this up.

However, I just have a quick question about the integral in the [itex] \hat \phi [/itex] direction. We expect this integral to go to 0, but I am just checking to see whether I have set it up correctly? So we have:
[tex] \iint_S (r + z) dr dz \hat \phi = \iint_S (r + z) (-sin \phi \mathbf{i} + cos \phi \mathbf{j} ) dr dz [/tex]

For the limits, we will have [itex] 0 \leq z \leq h [/itex], which makes sense. Given that we are on the surface of the cylinder, should the [itex] r [/itex] limits be from [itex] a [/itex] to [itex] a [/itex]? That is the only way that I can see the integral yielding a 0 (we aren't integrating over [itex] \phi [/itex], otherwise that would make it yield 0). What I have suggested feels wrong to me, but I cannot see the immediate error.

Thanks
 
  • #6
There is no integral in the [itex]\mathbf{e}_\phi[/itex] direction here, because none of the surfaces have a normal component in that direction.

You have three surfaces here.
  • [itex]z = 0[/itex] has outward normal [itex]-\mathbf{k}[/itex].
  • [itex]z = h[/itex] has outward normal [itex]\mathbf{k}[/itex].
  • [itex]r = a[/itex] has outward normal [itex]\hat{\mathbf{r}}[/itex].

You have done the first two integrals correctly, but you need to revisit the [itex]r = a[/itex] integral. You have mostly set it up correctly, so start from [tex]
\int_0^h \int_0^{2\pi} (a + z)a \hat{\mathbf{r}}\,d\phi\,dz[/tex] and remember that as [itex]\hat{\mathbf{r}}[/itex] depends on [itex]\phi[/itex] you can't take it outside the integral.

A surface with normal [itex]\hat{\mathbf{\phi}}[/itex] would be a vertical half-plane. On this plane the coordinates [itex]r[/itex] and [itex]z[/itex] function as Cartesian coordinates (if [itex]\phi[/itex] is constant then so is [itex]\hat{\mathbf{r}}[/itex]) and the area element would be [itex]dS = dr\,dz[/itex].
 
  • Like
Likes Master1022
  • #7
pasmith said:
There is no integral in the [itex]\mathbf{e}_\phi[/itex] direction here, because none of the surfaces have a normal component in that direction.

You have three surfaces here.
  • [itex]z = 0[/itex] has outward normal [itex]-\mathbf{k}[/itex].
  • [itex]z = h[/itex] has outward normal [itex]\mathbf{k}[/itex].
  • [itex]r = a[/itex] has outward normal [itex]\hat{\mathbf{r}}[/itex].

You have done the first two integrals correctly, but you need to revisit the [itex]r = a[/itex] integral. You have mostly set it up correctly, so start from [tex]
\int_0^h \int_0^{2\pi} (a + z)a \hat{\mathbf{r}}\,d\phi\,dz[/tex] and remember that as [itex]\hat{\mathbf{r}}[/itex] depends on [itex]\phi[/itex] you can't take it outside the integral.

A surface with normal [itex]\hat{\mathbf{\phi}}[/itex] would be a vertical half-plane. On this plane the coordinates [itex]r[/itex] and [itex]z[/itex] function as Cartesian coordinates (if [itex]\phi[/itex] is constant then so is [itex]\hat{\mathbf{r}}[/itex]) and the area element would be [itex]dS = dr\,dz[/itex].

Thanks for your reply and for the clarification. I thought we might have to consider the infinitely thin surface in the hoop direction (although I suppose it is just a vertical line if we take a cross-section). I had re-done the other integral calculations using your advice already and they all yielded the correct results!
 

What is Stokes' Theorem?

Stokes' Theorem is a mathematical theorem that relates the surface integral of a vector field over a surface to the line integral of the vector field around the boundary of the surface.

What is the corollary of Stokes' Theorem?

The corollary of Stokes' Theorem is a special case that applies when the surface is a closed surface and the boundary is a closed curve. In this case, the surface integral is equal to the line integral of the vector field around the boundary curve.

What are cylindrical polar coordinates?

Cylindrical polar coordinates are a coordinate system in three-dimensional space that uses a distance from a central axis, an angle from a reference plane, and a height from the reference plane to specify the position of a point.

How is Stokes' Theorem corollary used in cylindrical polar coordinates?

In cylindrical polar coordinates, the corollary of Stokes' Theorem is used to calculate the line integral of a vector field around a closed curve in terms of the surface integral of the same vector field over a closed surface that encloses the curve.

What are some applications of Stokes' Theorem corollary in science?

Stokes' Theorem corollary has many applications in physics and engineering, particularly in the study of fluid flow and electromagnetism. It is also used in mathematics to solve problems involving vector fields and surfaces.

Similar threads

  • Calculus and Beyond Homework Help
Replies
9
Views
155
  • Calculus and Beyond Homework Help
Replies
6
Views
1K
  • Calculus and Beyond Homework Help
Replies
4
Views
814
  • Calculus and Beyond Homework Help
Replies
3
Views
873
  • Calculus and Beyond Homework Help
Replies
3
Views
555
  • Calculus and Beyond Homework Help
Replies
9
Views
757
  • Calculus and Beyond Homework Help
Replies
7
Views
1K
  • Calculus and Beyond Homework Help
Replies
9
Views
953
  • Calculus and Beyond Homework Help
Replies
26
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
Back
Top