Demostración de propiedades de operadores

vectoriales
Juan Felipe Rodrı́guez Navarro
15 de mayo de 2020

1 Divergencia de un gradiente
Definiendo un campo escalar cualquiera φ, se tiene que su gradiente es:
∂φx ∂φy ∂φz
F = 5φ = i+ j+ k (1)
∂x ∂y ∂z
Y también se define el Laplaciano de un campo como:

∂2φ ∂2φ ∂2φ

52 φ = + 2 + 2 (2)
∂x2 ∂y ∂z

Ahora se define la divergencia de un campo vectorial cualquiera θ como:

Div(θ) = 5 · θ (3)

Con lo que, operando la divergencia de F se tiene:

   
∂ ∂ ∂ ∂φx ∂φy ∂φz
Div(F ) = 5 · 5φ = i+ j+ k · i+ j+ k (4)
∂x ∂y ∂z ∂x ∂y ∂z

Y operando el producto punto entre ambos vectores se tiene:

∂ 2 φx ∂ 2 φy ∂ 2 φy
Div(F ) = 2
+ 2
+ (5)
∂x ∂y ∂z 2

Por lo tanto, comparando (2) con (5) se tiene que:

Div(F ) = 52 φ (6)

2 Divergencia de un rotacional
El rotacional de un campo vectorial F se define como:

Rot(F ) = 5XF (7)

1
Con lo que se tiene que:
     
∂Fz ∂Fy ∂Fz ∂Fx ∂Fy ∂Fx
Rot(F ) = − i− − j+ − k (8)
∂y ∂z ∂x ∂z ∂x ∂y

La divergencia del rotacional, por lo tanto, es:

        
∂ ∂ ∂ ∂Fz ∂Fy ∂Fz ∂Fx ∂Fy ∂Fx
Div(Rot(F )) = i+ j+ k · − i− − j+ − k
∂x ∂y ∂z ∂y ∂z ∂x ∂z ∂x ∂y
(9)
Haciendo el producto punto se tiene que la divergencia del rotacional es:

∂ 2 Fz ∂ 2 Fy ∂ 2 Fz ∂ 2 Fx ∂ 2 Fy ∂ 2 Fx
Div(Rot(F )) = − − + + − (10)
∂x∂y ∂x∂z ∂y∂x ∂y∂z ∂z∂x ∂z∂y
∂ ∂ ∂ ∂ ∂
Si se tiene que F es una función C2 se tiene que ∂x∂y = ∂y∂x ; ∂z∂x = ∂x∂z ; ∂x∂z =
∂
∂z∂x .
Con lo que operando la ecuación (11) es:

Div(Rot(F )) = 0 (11)