參數化與面積
光滑參數曲面由參數區域 S S S r ( u , v ) \mathbf r(u,v) r ( u , v ) r u × r v ≠ 0 \mathbf r_u\times\mathbf r_v\ne0 r u × r v = 0
定義
標量曲面積分與通量 對適當分段光滑正則曲面，
∬ Σ f d S = ∬ S f ( r ( u , v ) ) ∥ r u × r v ∥ d u d v . \iint_{\Sigma} f\,dS=\iint_S f(\mathbf r(u,v))\|\mathbf r_u\times\mathbf r_v\|\,du\,dv. ∬ Σ f d S = ∬ S f ( r ( u , v )) ∥ r u × r v ∥ d u d v . 選取 r u × r v \mathbf r_u\times\mathbf r_v r u × r v F \mathbf F F
∬ Σ F ⋅ n d S = ∬ S F ( r ( u , v ) ) ⋅ ( r u × r v ) d u d v . \iint_{\Sigma}\mathbf F\cdot\mathbf n\,dS
=\iint_S\mathbf F(\mathbf r(u,v))\cdot(\mathbf r_u\times\mathbf r_v)\,du\,dv. ∬ Σ F ⋅ n d S = ∬ S F ( r ( u , v )) ⋅ ( r u × r v ) d u d v . 反轉法向會改變通量符號，但不改變標量曲面面積。若參數化多次覆蓋曲面的一部分，除非作出修正，公式會把每次覆蓋都計算在內。
正則換參數為何保持積分
在這個驗證中，取包含在開座標域內的緊 Jordan 參數區域、內部只覆蓋一次的正則 C 1 C^1 C 1 S S S S ~ \widetilde S S ψ ( S ) = S ~ \psi(S)=\widetilde S ψ ( S ) = S r = r ~ ∘ ψ r=\widetilde r\circ\psi r = r ∘ ψ ψ \psi ψ C 1 C^1 C 1 ψ ( u , v ) = ( s ( u , v ) , t ( u , v ) ) \psi(u,v)=(s(u,v),t(u,v)) ψ ( u , v ) = ( s ( u , v ) , t ( u , v ))
r u × r v = ( s u r ~ s + t u r ~ t ) × ( s v r ~ s + t v r ~ t ) = det D ψ ( r ~ s × r ~ t ) . r_u\times r_v
=(s_u\widetilde r_s+t_u\widetilde r_t)\times(s_v\widetilde r_s+t_v\widetilde r_t)
=\det D\psi\,(\widetilde r_s\times\widetilde r_t). r u × r v = ( s u r s + t u r t ) × ( s v r s + t v r t ) = det D ψ ( r s × r t ) . 取長度後出現二維換元的絕對 Jacobian。對連續的參數被積函數使用已證明的緊 Jordan 換元定理，就得到兩個標量曲面積分相等。對通量應保留向量恆等式而不是取長度：保持方向的換參數在每個分量上滿足 det D ψ > 0 \det D\psi>0 det D ψ > 0
例題
傾斜圖像 對 0 ≤ x , y ≤ 1 0\le x,y\le1 0 ≤ x , y ≤ 1 Σ : z = x + y \Sigma:z=x+y Σ : z = x + y r ( x , y ) = ( x , y , x + y ) \mathbf r(x,y)=(x,y,x+y) r ( x , y ) = ( x , y , x + y ) r x × r y = ( − 1 , − 1 , 1 ) \mathbf r_x\times\mathbf r_y=(-1,-1,1) r x × r y = ( − 1 , − 1 , 1 ) d S = 3 d x d y dS=\sqrt3\,dx\,dy d S = 3 d x d y 3 \sqrt3 3 F = ( 0 , 0 , z ) \mathbf F=(0,0,z) F = ( 0 , 0 , z )
∫ 0 1 ∫ 0 1 ( x + y ) d y d x = 1. \int_0^1\int_0^1(x+y)\,dy\,dx=1. ∫ 0 1 ∫ 0 1 ( x + y ) d y d x = 1. 向下通量為 − 1 -1 − 1 3 \sqrt3 3
對圖像 z = g ( x , y ) z=g(x,y) z = g ( x , y ) ( − g x , − g y , 1 ) d x d y (-g_x,-g_y,1)\,dx\,dy ( − g x , − g y , 1 ) d x d y 1 + g x 2 + g y 2 d x d y \sqrt{1+g_x^2+g_y^2}\,dx\,dy 1 + g x 2 + g y 2 d x d y d S dS d S
例題
以參數化計算球面通量 在半徑 R > 0 R>0 R > 0 F = ( x , y , z ) \mathbf F=(x,y,z) F = ( x , y , z ) n = r / R \mathbf n=\mathbf r/R n = r / R F ⋅ n = R \mathbf F\cdot\mathbf n=R F ⋅ n = R 4 π R 2 4\pi R^2 4 π R 2 4 π R 3 4\pi R^3 4 π R 3 ∥ r ϕ × r θ ∥ = R 2 sin ϕ \|\mathbf r_\phi\times\mathbf r_\theta\|=R^2\sin\phi ∥ r ϕ × r θ ∥ = R 2 sin ϕ 0 ≤ ϕ ≤ π 0\le\phi\le\pi 0 ≤ ϕ ≤ π 0 ≤ θ ≤ 2 π 0\le\theta\le2\pi 0 ≤ θ ≤ 2 π
上述球面面積公式的證明
對半徑 R > 0 R>0 R > 0
s ( ϕ , θ ) = ( R sin ϕ cos θ , R sin ϕ sin θ , R cos ϕ ) . s(\phi,\theta)=(R\sin\phi\cos\theta,R\sin\phi\sin\theta,R\cos\phi). s ( ϕ , θ ) = ( R sin ϕ cos θ , R sin ϕ sin θ , R cos ϕ ) . 直接求導得 ∥ s ϕ × s θ ∥ = R 2 sin ϕ \|s_\phi\times s_\theta\|=R^2\sin\phi ∥ s ϕ × s θ ∥ = R 2 sin ϕ 0 < ϕ < π 0<\phi<\pi 0 < ϕ < π δ ≤ ϕ ≤ π − δ \delta\le\phi\le\pi-\delta δ ≤ ϕ ≤ π − δ − π + η ≤ θ ≤ π − η -\pi+\eta\le\theta\le\pi-\eta − π + η ≤ θ ≤ π − η 0 < δ < π / 3 0<\delta<\pi/3 0 < δ < π /3 0 < η < π / 2 0<\eta<\pi/2 0 < η < π /2
A δ , η = R 2 ( 2 π − 2 η ) ∫ δ π − δ sin ϕ d ϕ = 2 R 2 ( 2 π − 2 η ) cos δ . A_{\delta,\eta}
=R^2(2\pi-2\eta)\int_\delta^{\pi-\delta}\sin\phi\,d\phi
=2R^2(2\pi-2\eta)\cos\delta. A δ , η = R 2 ( 2 π − 2 η ) ∫ δ π − δ sin ϕ d ϕ = 2 R 2 ( 2 π − 2 η ) cos δ . 還須控制遺漏的曲面面積，不能只估計體積。在兩極附近，球面是正則圖像 z = ± R 2 − x 2 − y 2 z=\pm\sqrt{R^2-x^2-y^2} z = ± R 2 − x 2 − y 2 R sin δ R\sin\delta R sin δ R / R 2 − x 2 − y 2 ≤ 1 / cos δ ≤ 2 R/\sqrt{R^2-x^2-y^2}\le1/\cos\delta\le2 R / R 2 − x 2 − y 2 ≤ 1/ cos δ ≤ 2 2 π R 2 sin 2 δ 2\pi R^2\sin^2\delta 2 π R 2 sin 2 δ
對剩餘角條帶，改用無奇點的方位角區間 [ π − η , π + η ] [\pi-\eta,\pi+\eta] [ π − η , π + η ] δ ≤ ϕ ≤ π − δ \delta\le\phi\le\pi-\delta δ ≤ ϕ ≤ π − δ 2 η R 2 ∫ 0 π sin ϕ d ϕ = 4 η R 2 2\eta R^2\int_0^\pi\sin\phi\,d\phi=4\eta R^2 2 η R 2 ∫ 0 π sin ϕ d ϕ = 4 η R 2 4 π R 2 sin 2 δ + 4 η R 2 → 0 4\pi R^2\sin^2\delta+4\eta R^2\to0 4 π R 2 sin 2 δ + 4 η R 2 → 0 Area ( S R ) = 4 π R 2 \operatorname{Area}(S_R)=4\pi R^2 Area ( S R ) = 4 π R 2 R R R 4 π R 3 4\pi R^3 4 π R 3
方法比較
對圖像，投影到區域最簡單的坐標平面；對球面或圓柱面，使用配合對稱性的參數化。標量積分量度曲面密度的累積；通量量度向量場的帶符號法向分量。對向外定向的閉曲面，散度定理可簡化通量，但須檢查假設及曲面是否封閉。
練習
求 [ 0 , 1 ] 2 [0,1]^2 [ 0 , 1 ] 2 z = 2 x z=2x z = 2 x
求 ( 0 , 0 , 1 ) (0,0,1) ( 0 , 0 , 1 ) z = x 2 + y 2 z=x^2+y^2 z = x 2 + y 2
反轉曲面法向，標量曲面積分和通量各有甚麼變化？
解釋為何不修正地使用覆蓋曲面兩次的參數化，會得到兩倍標量積分。
詳解
面積因子為 1 + 2 2 + 0 2 = 5 \sqrt{1+2^2+0^2}=\sqrt5 1 + 2 2 + 0 2 = 5 5 \sqrt5 5
向上面積向量為 ( − 2 x , − 2 y , 1 ) d x d y (-2x,-2y,1)\,dx\,dy ( − 2 x , − 2 y , 1 ) d x d y ( 0 , 0 , 1 ) (0,0,1) ( 0 , 0 , 1 ) 1 1 1 π \pi π
標量積分不變；通量變號。
積分對參數區域求和。若幾乎每個曲面點有兩個正則原像，兩個副本各自貢獻相同密度及面積，故重複計算。
總結
切向量同時決定曲面面積和定向法向。通量受方向影響；標量曲面積分則不受影響。計算前必須檢查覆蓋次數及幾何。
