Definition of Surface

Let Φ(s,t):DR3\Phi(s,t): D \mapsto\mathbb{R}^3 be a continuous function where DR2D\subset\mathbb{R}^2 is open and connected (or with some/all of its boundary points).

If Φ\Phi is injective, then we say that Φ\Phi is a parameterized surface, and Φ(D)\Phi(D) is the surface parameterized by Φ\Phi.

Moreover, DD is called a connected set if every 2 points in DD can be joined by a path in DD.

  • ss-coordinate curve at t=bt=b is the image of f:I1R3f:I_1\mapsto\mathbb{R}^3 defined by f(s)=Φ(s,b)f(s)=\Phi(s,b)
  • tt-coordinate curve at s=as=a is defined by g(t)=Φ(a,t)g(t)=\Phi(a, t)

We use Ts=sΦ(s,b)\mathbf{T}_s=\frac{\partial}{\partial s}\Phi(s,b) and Tt=tΦ(a,t)\mathbf{T}_t=\frac{\partial}{\partial t}\Phi(a,t) to denote the tangent vectors to the coordinate curves.

Standard Normal Vector

Let Φ:DR3\Phi:D\mapsto\mathbb{R}^3 be a parameterized surface of class C1C^1 where DR2D\subset \mathbb{R}^2. Let (a,b)D(a,b)\in D, then the standard normal vector is defined by

N(a,b)=Ts(a,b)×Tt(a,b)\mathbf{N}(a,b)=\mathbf{T}_s(a,b)\times \mathbf{T}_t(a,b)

The surface S=Φ(D)S=\Phi(D) is smooth at (a,b)(a,b) if N(a,b)0\mathbf{N}(a,b)\ne 0. If SS is smooth at every point, then it’s said to be smooth.

Proposition: Area of Surface

The surface area of a smooth surface S=Φ(D)S=\Phi(D) is

DN(s,t)dA\iint_D \|\mathbf{N}(s,t)\|\, dA

The formula applies when the surface is smooth except at finitely many points.

Surface Integrals

Scalar Surface Integral

Let Φ:DR3,DR2\Phi:D\mapsto\mathbb{R}^3, D\subset\mathbb{R}^2, f:SR,S=Φ(D)f:S\mapsto\mathbb{R}, S=\Phi(D)

The scalar surface integral of ff along Φ\Phi is

Df(Φ(s,t))N(s,t)dsdt\iint_D f(\Phi(s,t))\|\mathbf{N}(s,t)\|\, dsdt

Vector Surface Integral

The vector surface integral of F\mathbf{F} along Φ\Phi is

DF(Φ(s,t))N(s,t)dsdt\iint_D \mathbf{F}(\Phi(s,t))\cdot \mathbf{N}(s,t)\, dsdt

Reparameterization. Φ2=Φ1ϕ\Phi_2=\Phi_1\circ \phi. If Φ1,Φ2\Phi_1,\Phi_2 are smooth and ϕ,ϕ1\phi,\phi^{-1} are of class C1C^1, we say Φ2\Phi_2 is a smooth reparameterization of Φ1\Phi_1.

Orientation-Preserving. We say the reparameterization is orientation-preserving if the Jacobian of ϕ\phi is always positive; and orientation-reversing if ϕ\phi’s Jacobian is always negative.

Orientation of Surface

Orientable

A smooth and connected surface SS is orientable if we can define a single unit normal vector at each point of SS so that the normal vectors vary continuously. Otherwise, SS is non-orientable.

Stokes Theorem

Consistent Orientation of Boundary

Let SS be a bounded, smooth, orientable surface in R3\mathbb{R}^3 with a given orientation.

We say the boundary S\partial S is oriented consistently if the orientation of each closed curve is S\partial S 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 SS.

Stokes Theorem

Let F:XR3F:X\mapsto\mathbb{R}^3 be a vector field of class C1C^1, where XR3X\subset\mathbb{R}^3 contains SS. Then

S×FdS=SFds\iint_S \nabla\times\mathbf{F}\cdot d\mathbf{S}=\oint_{\partial S}\mathbf{F}\cdot d\mathbf{s}

Divergence

Gauss’s Theorem, Divergence Theorem

Let DD be a bounded solid region in R3\mathbb{R}^3. Suppose D\partial D is (union of finitely many) smooth, closed, orientable surfaces which are oriented by normals pointing aways from DD.

Let F:XR3\mathbf{F}:X\mapsto\mathbb{R}^3 be a vector field of class C1C^1, where XR3X\subset\mathbb{R}^3 contains DD, then

\oiintDFdS=DFdV\oiint_{\partial D}\mathbf{F}\cdot d\mathbf{S}=\iiint_D \nabla\cdot\mathbf{F}\, dV