Stokes' Theorem 'corollary' integral in cylindrical polar coordinates

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
6 replies · 2K views
Master1022
Messages
590
Reaction score
116
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
Apologies, just wanted to make it clear that I did derive the quoted formula, but am now just working on the verification. Thanks
 
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:
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<br /> (\mathbf{e}_r + \mathbf{k}) r\,dz\,dr\,d\phi \\ <br /> &= \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<br /> \end{align*}[/tex] etc.
 
  • Informative
  • Like
Likes   Reactions: etotheipi and Master1022
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
 
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   Reactions: Master1022
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!