What Is the Normal Vector in Stoke's and Gauss' Theorems?

[pivoxa15]

When integrating over the suface, you have (curl F dot n) in the centre of the integral. Is that n or normal the normal to the boundary of the surface? Or is it the normal of the whole surface, in which case there will be many different ones so seems wrong because n should be definite.I also like to ask about the normal (I assume it should be constant as well) in Gauss' Divergence theorem (again replacing (F dot ds) by (F dot n dS). How do you determine that? If I have the bottom hemisphere of a ball, z<=0. What would be its normal vector?

 

[masudr]

Stokes' theorem says:

<br /> \oint_{\partial A} \vec{F} \cdot \vec{dl} =<br /> \iint_A \left(\vec{\nabla}\times\vec{F}\right) \cdot\vec{ds}.

On the LHS, we have the value of the vector field F at a point on the boundary of the surface A dotted with the infinitesimal line vector at that point and summed over the line that forms the boundary of A.

On the RHS, we have the value of the curl of F at a point on the surface A dotted with an infinitesimal area vector at that point (i.e. a vector who has a value of the size of the area, and a direction of the outward normal) summed over the area A.

Which term in particular are you having trouble with?

P.S. There is a more general Stokes' theorem, but it looks to me like you are referring to this one.

**EDIT**: Post has been corrected.

 

[pivoxa15]

When you are integrating over the surface (the left eqn), you can also do (F dot n dS). Is the n the normal vector of the boundary or the normal to the whole surface? If the latter than there can be many normal vectors.

 

[FrogPad]

I think pivoxa15 is referring to Stokes' Theorem in the following form:

\int_C \vec F \cdot d\vec r = \iint_S \nabla \times \vec F \cdot d\vec S

where:
d\vec S = \hat n dS

and is concerned with \hat n on the surface S

I also believe pivoxa15 is asking if \hat n is constant, or if it is a function that is related to position, such as \hat n(x,y,z).

If it is a function, then \hat n will point in a direction depending on x,y,z where x,y,z are points on the surface S.My understanding is that the normal vector is a vector of length 1. It is also perpindicular to the surface S. So I believe that in general \hat n should be thought of as a function \hat n (x,y,z) with properties:
|\hat n| =1
and n is perpindicular to S

So if S is flat, then \hat n is "constant" and does not change based on position, so you would have something like:
\hat n = (a,b,c)Now I could be wrong here, so take it with a grain of salt.

 

[HallsofIvy]

When you are integrating over the surface (the left eqn), you can also do (F dot n dS). Is the n the normal vector of the boundary or the normal to the whole surface? If the latter than there can be many normal vectors.

It should be obvious that when you are integrating \vec{f}\cdot\vec{n}dS over a surface then the normal is the normal to the surface. Of course there are "many normal vectors"- the normal at each point is a vector function and the dot product is the function you are integrating.

 

[masudr]

Sorry, FrogPad is right, of course; thanks for the correction. The post has been edited.

 

[pivoxa15]

I think pivoxa15 is referring to Stokes' Theorem in the following form:

\int_C \vec F \cdot d\vec r = \iint_S \nabla \times \vec F \cdot d\vec S

where:
d\vec S = \hat n dS

and is concerned with \hat n on the surface S

I also believe pivoxa15 is asking if \hat n is constant, or if it is a function that is related to position, such as \hat n(x,y,z).

If it is a function, then \hat n will point in a direction depending on x,y,z where x,y,z are points on the surface S.


My understanding is that the normal vector is a vector of length 1. It is also perpindicular to the surface S. So I believe that in general \hat n should be thought of as a function \hat n (x,y,z) with properties:
|\hat n| =1
and n is perpindicular to S

So if S is flat, then \hat n is "constant" and does not change based on position, so you would have something like:
\hat n = (a,b,c)


Now I could be wrong here, so take it with a grain of salt.

I have realized that for the Stoke's theorem, the normal is the normal to the boundary of the surface which is normally a disk. So the normal should be a constant in this case.

But with Green's theorem, you are integrating the surface of a closed solid so in that case, the normal would be a variable.

 

[mathwonk]

think about it: stokes says the flux across the boundary of the region equals the integral of the divergence over the interior region bouned by the surface, hence the normal must be to the boundary surface of the region.

 

[pivoxa15]

think about it: stokes says the flux across the boundary of the region equals the integral of the divergence over the interior region bouned by the surface, hence the normal must be to the boundary surface of the region.

How does divergence come into Stokes? I thought it was only the curl?

 

[HallsofIvy]

Now I'm getting confused! The "generalized Stoke's theorem"
says that \int_{\partial M}\omega= \int_M d\omegawhere M is a manifold, \partial M is its boundary, \omega is a differential form on [\partial M, and d\omega is its differential. If we take \omega to be f(x,y,z)dS on the boundary of some 3 dimensional manifold, we get the divergence theorem and if we take it to be f(x,y,z)ds on the boundary of a 2 dimensional manifold, then we get the original &quot;Stoke&#039;s theorem&quot;.<br /> <br /> A lot of detail is given here:<br /> <a href="http://mathworld.wolfram.com/StokesTheorem.html" target="_blank" class="link link--external" rel="nofollow ugc noopener">http://mathworld.wolfram.com/StokesTheorem.html</a><br /> <br /> But, once again, whether the normal is to the surface or the curve bounding the surface, it is typically <b>not</b> constant.<br /> <br /> One specific question that was asked was &quot;If I have the bottom hemisphere of a ball, z&lt;=0. What would be its normal vector?&quot;<br /> <br /> We can parametrize the sphere, of radius R, centered at the origin, using x, y themselves: x= x, y= y, z= -\sqrt{R^2- x^2- y^2}<br /> Then the &quot;fundamental vector product&quot; (see <a href="http://www.math.duke.edu/education/ccp/materials/mvcalc/parasurfs/para3.html" target="_blank" class="link link--external" rel="nofollow ugc noopener">http://www.math.duke.edu/education/ccp/materials/mvcalc/parasurfs/para3.html</a>) <br /> (i+ \frac{x}{\sqrt{R^2-x^2-y^2}}k)X(j\frac{x}{\sqrt{R^2-x^2-y^2}}k)<br /> is a normal vector to the surface. That time dxdy is the vector differential.<br /> <br /> It would, perhaps be easier to use &quot;spherical coordinates&quot; with \rho= R: x= Rcos(\theta)sin(\phi), y= Rsin(\theta)sin(\phi), z= Rcos(\phi).<br /> <br /> Now the fundamental vector product is<br /> (-Rsin(\theta)sin(\phi)i+ Rcos(\theta)sin(\phi)j)X(Rcos(\theta)cos(\phi)i+ Rsin(\theta)cos(\phi)j- Rsin(\phi)k)<br /> Again, that is a vector normal to the ball. d\vec{S} would be that times d\thetad\phi. To integrate over the bottom, \phi would range from \frac{\pi}{2} to \pi. \theta, of course, ranges from 0 to 2\pi.

 

[pivoxa15]

Now I'm getting confused! The "generalized Stoke's theorem"
says that \int_{\partial M}\omega= \int_M d\omegawhere M is a manifold, \partial M is its boundary, \omega is a differential form on [\partial M, and d\omega is its differential. If we take \omega to be f(x,y,z)dS on the boundary of some 3 dimensional manifold, we get the divergence theorem and if we take it to be f(x,y,z)ds on the boundary of a 2 dimensional manifold, then we get the original &quot;Stoke&#039;s theorem&quot;.<br /> <br /> A lot of detail is given here:<br /> <a href="http://mathworld.wolfram.com/StokesTheorem.html" target="_blank" class="link link--external" rel="nofollow ugc noopener">http://mathworld.wolfram.com/StokesTheorem.html</a><br /> <br /> But, once again, whether the normal is to the surface or the curve bounding the surface, it is typically <b>not</b> constant.<br /> <br /> One specific question that was asked was &quot;If I have the bottom hemisphere of a ball, z&lt;=0. What would be its normal vector?&quot;<br /> <br /> We can parametrize the sphere, of radius R, centered at the origin, using x, y themselves: x= x, y= y, z= -\sqrt{R^2- x^2- y^2}<br /> Then the &quot;fundamental vector product&quot; (see <a href="http://www.math.duke.edu/education/ccp/materials/mvcalc/parasurfs/para3.html" target="_blank" class="link link--external" rel="nofollow ugc noopener">http://www.math.duke.edu/education/ccp/materials/mvcalc/parasurfs/para3.html</a>) <br /> (i+ \frac{x}{\sqrt{R^2-x^2-y^2}}k)X(j\frac{x}{\sqrt{R^2-x^2-y^2}}k)<br /> is a normal vector to the surface. That time dxdy is the vector differential.<br /> <br /> It would, perhaps be easier to use &quot;spherical coordinates&quot; with \rho= R: x= Rcos(\theta)sin(\phi), y= Rsin(\theta)sin(\phi), z= Rcos(\phi).<br /> <br /> Now the fundamental vector product is<br /> (-Rsin(\theta)sin(\phi)i+ Rcos(\theta)sin(\phi)j)X(Rcos(\theta)cos(\phi)i+ Rsin(\theta)cos(\phi)j- Rsin(\phi)k)<br /> Again, that is a vector normal to the ball. d\vec{S} would be that times d\thetad\phi. To integrate over the bottom, \phi would range from \frac{\pi}{2} to \pi. \theta, of course, ranges from 0 to 2\pi.

<br /> <br /> I see that you have done the standard surface integral of curl F and I understand how that is done. <br /> <br /> When I was talking about a constant normal, I was trying to link the line integral in stokes (around the boundary) to Green&#039;s theorem. But that can only happen if the normal (of the boundary disc) has only z component and is flat. So in the case of the half hemisphere, it works. Offcourse, I did not understand this at the time of my post but things are slowly coming to me.

 

[mathwonk]

in the general statement, there is no difference between greens, stokes, and divergence theorems. abstractly they are all the same. in the plane there is a unique way to pass from a tangent vector field to a curve to a normal vector field (via 90degree rotation), so curl, which measures the integral of the tangential component as you go around a curve, is easily translated into divergence, the integral of the outward normal component.

i will gladly give more detail, but you need to tell me which of the several equivalent theorems you think of as "stokes" theorem. my advice is: just learn green's theorem, that's basically all there is to any of them.