Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Gauss
Z bZ dZ f
∂F1
Z Z Z Z
dz dy dx = F~ ·n̂ dS+ F~ ·n̂ dS.
a c e ∂x Sant Spost
donde
F̃i = hF~ , vi i
(R es de 3 × 3)
Entonces en las variables y y usando la base v1 , v2 , v3
el campo se puede expresar como
3
F̃i (y) = hF~ (Ry), vi i
X
F̃ (y) = F̃i (y)vi
i=1
se tiene
3 3
∂Fi ∂ F̃i
div F~ =
X X
=
i=1
∂xi i=1
∂yi
3 X 3
X ∂F P3
= h Rji , vi i ( ya que xj = i=1 Rji yi )
i=1 j=1
∂x j
3 X
3 X
3
X ∂F
= Rji h , Rki ek i
i=1 j=1 k=1
∂xj
3
3 X 3
!
X X ∂F
= Rji Rki h , ek i
j=1 k=1 i=1
∂xj
3 X
3 3 3
X ∂F X ∂F X ∂Fj
= δkj h , ek i = h , ej i =
j=1 k=1
∂xj j=1
∂x j j=1
∂x j
ya que RT R = I = RRT .
El teorema de la divergencia de Gauss – p. 13
Versión local del teorema de la divergencia
Se tiene que para cualquier x0 ∈ Ω existe un R > 0
(pequeño, que depende de x0 ) tal que:
si F~ es un campo C 1 que se anula fuera de BR (x0 )
entonces
Z Z Z Z Z
F~ · n̂ dS = div F~ dV
∂Ω Ω
Se deduce que
∂F3
Z Z Z Z Z
dV = (0, 0, F3 ) · n̂ dS.
Ω∩BR (x0 ) ∂x3 ∂Ω
y también
∂F1
Z Z Z Z Z
dV = (F1 , 0, 0) · n̂ dS.
Ω∩BR (x0 ) ∂x1 ∂Ω
Notar que Z Z
F~ · n̂ dS = 0
∂Ω
Entonces
ηi es C 1 en una vecindad de Ω
ηi se anula fuera de BRi (xi )
Pm
para cualquier x ∈ Ω: i=1 ηi (x) = 1.
Sumando
Z Z X m m
Z Z Z X
ηi F~ · n̂ dS = div(ηi F~ ) dV
∂Ω i=1 Ω i=1