c Rafael R.

Boix y Francisco Medina

1

Teorema de Helmholtz.
Enunciado

Dados un campo escalar D = D(r) y un campo vectorial sole-

noidal C = C(r) (esto es, ∇ · C(r) = 0) que toman valores no
nulos en una región acotada del espacio (esto es, existe una región
del espacio de tamaño finito τ  tal que D(r) = 0 y C(r) = 0 si r
no pertenece a τ ), existe un único campo vectorial A = A(r) que
satisface las tres ecuaciones siguientes:

∇ · A(r) = D(r) (1)

∇ × A(r) = C(r) (2)
lı́m A(r) = 0 (3)
|r|→∞

Además, el campo vectorial A = A(r) puede escribirse como

la suma de un campo vectorial irrotacional Ai(r) y un campo
vectorial solenoidal As(r) como se indica:

A(r) = Ai(r) + As(r) = −∇T (r) + ∇ × F(r) (4)

donde el potencial escalar T (r) para Ai(r) y el potencial vector
F(r) para As(r) vienen dados por:

1 D(r )
T (r) = 
dτ  (5)
4π τ  |r−r |


1 C(r )
F(r) = 
dτ  (6)
4π τ  |r−r |
 c Rafael R. Boix y Francisco Medina

2

Demostración
Existencia del campo vectorial A = A(r)

Vamos a comprobar que el campo vectorial definido en (4), (5)

y (6) verifica las ecuaciones (1), (2) y (3). Con respecto a (1), se
obtiene que:


1 D(r )
∇ · A(r) = −∇2T (r) + ∇ · (∇ × F(r)) = −∇2 
dτ  (7)
4π τ  |r−r |

donde se ha tenido en cuenta que ∇ · (∇ × F(r)) = 0. Dado que

en la ecuación (7) el operador ∇2 actúa sobre las coordenadas de
r (r = xux + yuy + zuz ) y la integral de volumen se realiza con
respecto a las coordenadas de r (r = xux + yuy + zuz ), podemos
reescribir (7) como:

  
1 D(r )
∇ · A(r) = − ∇2 
dτ 
(8)
4π τ |r−r |

Pero se cumple que:

 
 2 
 
D(r ) ∇ D(r ) 1
∇2 = + 2∇ · ∇D(r) +
|r − r |
 |r − r |
 |r − r |

   
1 1
D(r)∇2 = D(r 
)∇ 2
= −4πD(r 
)δ(r − r 
)(9)
|r − r| |r − r|
ya que ∇D(r) = ∇2D(r) = 0 por ser D función de r y actuar
∇ sobre las coordenadas de r.
Si sustituimos (9) en (8), se obtiene:



∇ · A(r) = D(r)δ(r − r) dτ  = D(r)δ(r − r) dτ  = D(r) (10)
τ τ
 c Rafael R. Boix y Francisco Medina

3

con lo cual, queda verificada la ecuación (1).

Para verificar la ecuación (2), obtenemos el rotacional de la
ecuación (4), esto es:

∇ × A(r) = −∇ × (∇T (r)) + ∇ × (∇ × F(r))

= ∇ (∇ · F(r)) − ∇2F(r) (11)
ya que ∇ × (∇T (r)) = 0. Vamos a demostrar ahora que es nulo el
término ∇ · F(r) que aparece en la ecuación (11). De acuerdo con
la ecuación (5):

  
1 C(r ) 
∇ · F(r) = ∇· 
dτ (12)
4π τ |r−r |

Por otro lado:

 
 
 
C(r ) ∇ · C(r )  1
∇· = + C(r ) · ∇
|r − r| |r − r| |r − r|
   
1 1
= C(r) · ∇ = −C(r 
) · ∇ 
(13)
|r − r| |r − r|
donde se ha utilizado que ∇ · C(r) = 0 y que ∇(1/|r − r|) =
−∇(1/|r − r|) (véase el apartado b) del problema 2 del Boletín
0). Pero si hacemos uso de la identidad vectorial −A · ∇f =
(∇ ·A)f −∇ ·(Af ) para el caso en que A = C(r) y f = 1/|r−r|,
se llega a que:

   
1 ∇ · C(r) C(r 
)
−C(r) · ∇ = − ∇ 
·
|r − r| |r − r| |r − r|
 
 C(r)
= −∇ · (14)
|r − r|
c Rafael R. Boix y Francisco Medina

4

ya que ∇ · C(r) = 0 por ser C un campo vectorial solenoidal

(enunciado del teorema de Helmholtz). Si ahora sustituimos (13)
y (14) en (12), se obtiene que:

  
1 C(r )
∇ · F(r) = − ∇ · 
dτ 
(15)
4π τ |r−r |

Como C(r) es nulo si r no pertenece a τ , el integrando de la

integral de la ecuación (15) también va a ser nulo si r no pertenece
a τ , con lo cual, podemos extender el dominio de integración de
dicha integral a una región esférica τesf era de radio R → ∞ sin
alterar el resultado de la integral, esto es:

  
1 C(r )
∇ · F(r) = − ∇ · 
dτ 
(16)
4π τesf era |r−r |

Sea Sesf era la superficie cerrada esférica que limita a τesf era. Si
aplicamos el teorema de la divergencia a la integral de (16), se
obtiene que:

1 C(r ) 
∇ · F(r) = − 
· dS =0 (17)
4π Sesf era |r−r |

ya que C(r) = 0 sobre la superficie de Sesf era por ser Sesf era una
superficie exterior a la región τ .
Cuando tenemos en cuenta que ∇·F(r) = 0 en la ecuación (11),
se obtiene que:

  
1 C(r )
∇ × A(r) = −∇2F(r) = − ∇2 
dτ 
(18)
4π τ |r−r |
c Rafael R. Boix y Francisco Medina

5

Si ahora aplicamos el razonamiento de la ecuación

   (9) a cada
C(r )
una de las tres componentes cartesianas de ∇2 |r−r  | , se llega a
que:
 

C(r )
∇2 = −4πC(r)δ(r − r 
) (19)
|r − r|
Y sustituyendo (19) en (18), se llega a que:


∇ × A(r) = C(r)δ(r − r) dτ  = C(r) (20)
τ
con lo cual, queda verificada la ecuación (2).
Con vistas a verificar la ecuación (3), vamos a obtener primero
la expresión de A(r) que resulta de sustituir (5) y (6) en (4), esto
es:

 
 
1 D(r ) 1 C(r )
A(r) = − ∇ dτ  + ∇× dτ  (21)
4π τ |r−r | 4π τ |r−r |

Pero se cumple que:

  

D(r)  1 ∇D(r)
∇ = D(r )∇ +
|r − r| |r − r| |r − r|
 
 1 D(r)(r − r)
= D(r )∇ =− (22)
|r − r| |r − r|3
donde se ha utilizado el resultado del apartado a) del problema 2
del Boletín 0.
c Rafael R. Boix y Francisco Medina

6

Además, se cumple que:

   
C(r)  1 ∇ × C(r)
∇× = −C(r ) × ∇ +
|r − r| |r − r| |r − r|
 
 1 C(r) × (r − r)
= −C(r ) × ∇ = (23)
|r − r| |r − r|3
ya que ∇×C(r) = 0. Si sustituimos (22) y (23) en (21), se obtiene
que:



1 D(r )(r−r )  1 C(r )×(r−r ) 
A(r) = 3
dτ + 3
dτ (24)
4π τ |r−r | 4π τ |r−r |
Pero hay que tener en cuenta que:
  
r − r r 1
= +O (25)
|r − r|3 |r|→∞ |r|3 |r|3
Por tanto, el campo vectorial A(r) de la ecuación (25) tiene un
comportamiento del tipo A(r) ∝ |r|1α (α ≥ 2) cuando |r| → ∞,
y en consecuencia, A(r) → 0 cuando |r| → ∞, con lo que queda
verificada la ecuación (3).

Unicidad del campo vectorial A = A(r)

Vamos a demostrar que sólo un campo vectorial A(r) satisface

las ecuaciones (1) a (3) (siendo este campo necesariamente el cam-
po vectorial definido en las ecuaciones (4) a (6)).
Supongamos que existen dos campos vectoriales A1(r) y A2(r)
que satisfacen las ecuaciones (1) a (3). En ese caso, el campo vec-
torial W(r) = A1(r) − A2(r) debe satisfacer las tres ecuaciones
c Rafael R. Boix y Francisco Medina

7

siguientes:
∇ · W(r) = ∇ · A1(r) − ∇ · A2(r) = D(r) − D(r) = 0 (26)
∇ × W(r) = ∇ × A1(r) − ∇ × A2(r) = C(r) − C(r) = 0 (27)
lı́m W(r) = lı́m [A1(r) − A2(r)] = 0 (28)
|r|→∞ |r|→∞

Las ecuaciones (26) a (27) nos indican que el campo vectorial

W(r) es simultáneamente irrotacional y solenoidal. Por ser irro-
tacional, W(r) debe poderse escribir en términos del potencial
escalar U (r) como se indica:
W(r) = ∇U (r) (29)
Si ahora introducimos (29) en (27), se obtiene que:
∇ · W(r) = ∇ · (∇U (r)) = ∇2U (r) = 0 (30)
lo cual nos demuestra que U (r) satisface la ecuación de Laplace.
Consideremos una región esférica τesf era de radio R → ∞, que
está limitada por una superficie cerrada esférica Sesf era. Vamos a
calcular la integral de volumen de ∇ · (U ∇U ) en τesf era aplicando
el teorema de la divergencia, esto es:


∇ · (U ∇U )dτ = (U ∇U ) · dS
τesf era S
 esf era
= (U W) · dS = 0 (31)
Sesf era

donde la última integral de superficie es nula por ser W = 0

sobre Sesf era. Esto último es debido a que Sesf era está situada en
el infinito, y en el infinito W = 0 de acuerdo con la ecuación (28).
c Rafael R. Boix y Francisco Medina

8

La integral de volumen que aparece en (31) se puede reescribir

como:




∇ · (U ∇U )dτ = (∇U )2dτ + ∇2U dτ
τesf era τ τ

esf era
esf era
= (∇U )2dτ = |W|2dτ (32)
τesf era τesf era

donde se ha tenido en cuenta que, de acuerdo con la ecuación (30),

∇2U = 0.
Si ahora combinamos los resultados de (31) y (32), se llega a
que:

|W|2dτ = 0 (33)
τesf era

Dado que el integrando de la ecuación (33) no puede ser negativo,

la única posibilidad es que W = 0 en todo el dominio de inte-
gración, y dado que el dominio de integración τesf era engloba en la
práctica a todo el espacio, se va a cumplir que W = 0 en todos los
puntos del espacio, con lo cual queda demostrado que A1 = A2,
y también queda demostrado que sólo existe un campo vectorial
que satisfaga simultáneamente las ecuaciones (1) a (3).