Definition of Surface
Let be a continuous function where is open and connected (or with some/all of its boundary points).
If is injective, then we say that is a parameterized surface, and is the surface parameterized by .
Moreover, is called a connected set if every 2 points in can be joined by a path in .
- -coordinate curve at is the image of defined by
- -coordinate curve at is defined by
We use and to denote the tangent vectors to the coordinate curves.
Standard Normal Vector
Let be a parameterized surface of class where . Let , then the standard normal vector is defined by
The surface is smooth at if . If is smooth at every point, then it’s said to be smooth.
Proposition: Area of Surface
The surface area of a smooth surface is
The formula applies when the surface is smooth except at finitely many points.
Surface Integrals
Scalar Surface Integral
Let ,
The scalar surface integral of along is
Vector Surface Integral
The vector surface integral of along is
Reparameterization. . If are smooth and are of class , we say is a smooth reparameterization of .
Orientation-Preserving. We say the reparameterization is orientation-preserving if the Jacobian of is always positive; and orientation-reversing if ’s Jacobian is always negative.
Orientation of Surface
Orientable
A smooth and connected surface is orientable if we can define a single unit normal vector at each point of so that the normal vectors vary continuously. Otherwise, is non-orientable.
Stokes Theorem
Consistent Orientation of Boundary
Let be a bounded, smooth, orientable surface in with a given orientation.
We say the boundary is oriented consistently if the orientation of each closed curve is is chosen such that the right-hand rule is satisfied, i.e., if we use the fingers of the right hand to curl in the direction of the curve, then the thumb will point in the direction of the normal to .
Stokes Theorem
Let be a vector field of class , where contains . Then
Divergence
Gauss’s Theorem, Divergence Theorem
Let be a bounded solid region in . Suppose is (union of finitely many) smooth, closed, orientable surfaces which are oriented by normals pointing aways from .
Let be a vector field of class , where contains , then