Parametric form
If σ is parametrized by r(u,v)=x(u,v)i^+y(u,v)j^+z(u,v)k^, a normal vector to σ is N=∂u∂r×∂v∂r.
Implicit form
If σ is expressed as G(x,y,z)=0, a normal vector at (x,y,z) on σ is N=∇G(x,y,z).
Graph form
If σ is given by z=g(x,y), an upward-pointing normal vector is N=⟨−gx(x,y),−gy(x,y),1⟩.
A surface is smooth iff it has a non-zero normal vector at each point. A surface is piecewise smooth iff it is composed of finitely many smooth pieces.
Surface Integral of a Scalar Function
Let f be a continuous scalar function defined on a piecewise smooth surface σ. Partition σ into n subregions, where the kth subregion has area ΔSk. Choose a sample point (xk∗,yk∗,zk∗) in the kth subregion. The surface integral of f over σ is
∬σf(x,y,z)dS=n→∞limk=1∑nf(xk∗,yk∗,zk∗)ΔSk
provided the limit exists and does not depend on the partition or the choice of sample points.
Surface Integral over a Parametric Surface
Let σ be a smooth parametric surface given by r(u,v)=x(u,v)i^+y(u,v)j^+z(u,v)k^, where (u,v) varies over a region R in the uv-plane. If f is continuous on σ,