(Hyper-)Surface Integrals
The flip side of the line integral is the surface integral.
Given an 
-manifold 
we let 
be an oriented 
-dimensional “hypersurface”, which term we use because in the usual case of 
a hypersurface has two dimensions — it’s a regular surface. The orientation on a hypersurface consists of tangent vectors which are all in the image of the derivative of the local parameterization map, which is a singular cube.
Now we want another way of viewing this orientation. Given a metric on we can use the inverse of the Hodge star from on the orientation -form of , which gives us a covector 
defined at each point 
of . Roughly speaking, the orientation form of defines an -dimensional subspace of 
: the covectors “tangent to “. The covector 
is “perpendicular to 
, and since has only one fewer dimension than there are only two choices for the direction of such a vector. The choice of one or the other defines a distinction between the two sides of .
If we flip around our covectors into vectors — again using the metric — we get something like a vector field defined on . I say “something like” because it’s only defined on , which is not an open subspace of , and strictly speaking a vector field must be defined on an open subspace. It’s not hard to see that we could “thicken up” into an open subspace and extend our vector field smoothly there, so I’m not really going to make a big deal of it, but I want to be careful with my language; it’s also why I didn’t say we get a 
-form from the Hodge star. Anyway, we will call this vector-valued function 
, for reasons that will become apparent shortly.
Now what if we have another vector-valued function 
defined on — for example, it could be a vector field defined on an open subspace containing . We can define the “surface integral of through “, which measures how much the vector field flows through the surface in the direction our orientation picks out as “positive”. And we measure this amount at any given point by taking the covector at provided by the Hodge star and evaluating it at the vector 
. This gives us a value that we can integrate over the surface. This evaluation can be flipped around into our vector field notation and language, allowing us to write down the integral as
because the “dot product” ](http://s0.wp.com/latex.php?latex=%5Cleft%5BF%5Ccdot+dS%5Cright%5D%28p%29&bg=e6e6e6&fg=333333&s=0 "\left[F\cdot dS\right](p)")
is exactly what it means to evaluate the covector dual to 
at the vector . This should look familiar from multivariable calculus, but I’ve been saying that a lot lately, haven’t I?
We can also go the other direction and make things look more abstract. We could write our vector field as a -form 
, which lets us write our surface integral as
where 
is the volume form on . But then we know that 
the volume form on . That is, we can define a hypersurface integral of any -form across any hypersurface equipped with a volume form 
by
whether or not we have a metric on .
Like this:
Like Loading...
October 27, 2011 -
Posted by John Armstrong |
Differential Geometry, Geometry
You have a problem with this blog that I noticed long ago but I forgot to signal. At the top-right side of every page, where it says “This is mainly an expository blath”, the link doesn’t work (I had to read that linked article through the Internet Archive).
[...] and work — of late, but I think we can get started again. We left off right after defining hypersurface integrals, which puts us in position to prove the divergence [...]
Pingback by The Divergence Theorem « The Unapologetic Mathematician | November 22, 2011 |
[...] , where the differential can take us straight from a line integral over a -dimensional region to a surface integral over an -dimensional [...]
Pingback by The Classical Stokes Theorem « The Unapologetic Mathematician | November 23, 2011 |