Surface Integrals

Work in progress. This note is still being written and incomplete.

2 min read Last updated Fri Aug 14 2026 03:05:03 GMT+0000 (Coordinated Universal Time)

Normal Vector to a Surface

  • Parametric form
    If σ\sigma is parametrized by r(u,v)=x(u,v)i^+y(u,v)j^+z(u,v)k^\boldsymbol{r}(u,v) = x(u,v)\hat{i} + y(u,v)\hat{j} + z(u,v)\hat{k}, a normal vector to σ\sigma is N=ru×rv\boldsymbol{N} = \dfrac{\partial \boldsymbol{r}}{\partial u} \times \dfrac{\partial \boldsymbol{r}}{\partial v}.
  • Implicit form
    If σ\sigma is expressed as G(x,y,z)=0G(x,y,z) = 0, a normal vector at (x,y,z)(x,y,z) on σ\sigma is N=G(x,y,z)\boldsymbol{N} = \nabla G(x,y,z).
  • Graph form
    If σ\sigma is given by z=g(x,y)z = g(x,y), an upward-pointing normal vector is N=gx(x,y),gy(x,y),1\boldsymbol{N} = \langle -g_x(x,y), -g_y(x,y), 1 \rangle.

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 ff be a continuous scalar function defined on a piecewise smooth surface σ\sigma. Partition σ\sigma into nn subregions, where the kkth subregion has area ΔSk\Delta S_k. Choose a sample point (xk,yk,zk)(x_k^*, y_k^*, z_k^*) in the kkth subregion. The surface integral of ff over σ\sigma is

σf(x,y,z)dS=limnk=1nf(xk,yk,zk)ΔSk\iint_\sigma f(x,y,z)\,\text{d}S = \lim_{n \to \infty} \sum_{k=1}^{n} f(x_k^*, y_k^*, z_k^*)\,\Delta S_k

provided the limit exists and does not depend on the partition or the choice of sample points.

Surface Integral over a Parametric Surface

Let σ\sigma be a smooth parametric surface given by r(u,v)=x(u,v)i^+y(u,v)j^+z(u,v)k^\boldsymbol{r}(u,v) = x(u,v)\hat{i} + y(u,v)\hat{j} + z(u,v)\hat{k}, where (u,v)(u,v) varies over a region RR in the uvuv-plane. If ff is continuous on σ\sigma,

σf(x,y,z)dS=Rf(x(u,v),y(u,v),z(u,v))ru×rvdAuv\iint_\sigma f(x,y,z)\,\text{d}S = \iint_R f(x(u,v),y(u,v),z(u,v)) \left\lVert \frac{\partial \boldsymbol{r}}{\partial u} \times \frac{\partial \boldsymbol{r}}{\partial v} \right\rVert \text{d}A_{uv}

Surface Integral over a Graph

Let σ\sigma be a surface given by z=g(x,y)z = g(x,y), and let RR be its projection onto the xyxy-plane. If gg, gxg_x, gyg_y are continuous on RR and ff is continuous on σ\sigma,

σf(x,y,z)dS=Rf(x,y,g(x,y))1+(gx(x,y))2+(gy(x,y))2dA\iint_\sigma f(x,y,z)\,\text{d}S = \iint_R f(x,y,g(x,y)) \sqrt{1 + (g_x(x,y))^2 + (g_y(x,y))^2}\,\text{d}A
Was this helpful?