11.3. DIVERGENCE THEOREM 271
Now for i < p, that in the integrand is not ∂
∂xi(ψFi)(x̂,y+g(x̂)) . Indeed, by the chain
rule,
∂
∂xi(ψFi)(x̂,y+g(x̂)) = Di (ψFi)(x̂,y+g(x̂))+Dp (ψFi)(x̂,y+g(x̂))
∂g(x̂)∂xi
Since spt(ψ)⊆ Q, it follows that 11.12 reduces to∫ 0
−∞
∫Q̂
∂
∂xi(ψFi)(x̂,y+g(x̂))dx̂dy−
∫Q̂
∫ 0
−∞
Dp (ψFi)(x̂,y+g(x̂))∂g(x̂)
∂xidydx̂
= 0−∫
Q̂(ψFi)(x̂,g(x̂))dx̂
Case that i = p : In this case, 11.12 becomes∫
Q̂ (ψFp)(x̂,g(x̂))dx̂. Recall how it
was just shown that the unit normal is
(−gx1 ,...,−gxp−1 ,1
)√
∑p−1i=1 g2
xk+1
and dσ =√
∑p−1i=1 g2
xk+1dmp−1.
Then the above reduces to∫
∂ (Q∩U) (ψF ) ·ndσ . The same result will hold for all the Qi.The sign changes if in the situation of 11.9. As to Q0,
∫Q0 ∑i (ψ0F)i,i (x)dmp = 0 because
spt(ψ0)⊆ Q0. Returning to 11.11, it follows that
∫U
∑i
Fi,i (x)dmp =N
∑k=0
∫Qk
∑i(ψkF)i,i (x)dmp =
N
∑k=0
∫Qk
∑i(ψkF)i,i (x)dmp
=N
∑k=1
∫∂ (Qk∩U)
(ψkF ) ·ndσ =N
∑k=1
∫∂U
(ψkF ) ·ndσ
=∫
∂U
(N
∑k=0
ψk
)F ·ndσ =
∫∂U
F ·ndσ ■
Definition 11.3.5 The expression ∑pi=1 Fi,i (x) is called div(F ) . It is defined above
in terms of the coordinates with respect to a fixed orthonormal basis (e1, · · · ,ep). However,it does not depend on such a particular choice for coordinates.
If you had some other orthonormal basis (v1, · · · ,vp) and if (y1, · · · ,yp) are the coordi-nates of a point z with respect to this other orthonormal system, then there is an orthogonalmatrix Q such that y = Qx for y the coordinate vector for the new basis and x the coordi-nate vector for the old basis. Then
Ji (x)≡(det(DR−1
i (x)∗DR−1i (x)
))1/2=(
det((
DR−1i (y)Q
)∗DR−1
i (y)Q))1/2
=(det(Q∗DR−1
i (y)∗DR−1i (y)Q
))1/2=(det(Q∗DR−1
i (y)∗DR−1i (y)Q
))1/2= Ji (y)
so the two definitions of dσ will be the same with either set of coordinates.List the vi in the order which will give det(Q) = 1. That is to say, the two bases have
the same orientation.The insistence that detQ = 1 will ensure that the unit normal vectorsdefined as above will point away from U . Thus we could take the divergence with respect