c Rafael R.

Boix y Francisco Medina 1

Teoremas que se derivan de las
ecuaciones de Poisson y Laplace.
Identidades de Green
Consideremos dos campos escalares u = u(r) y v = v(r). Tenien-
do en cuenta que se cumple que (fA) = (f) A+ f( A)
(f = f(r) es un campo escalar y A = A(r) es un campo vectorial),
se debe vericar que:
(uv) = u v + u (v) = u v + u
2
v (1)
(vu) = v u + v (u) = v u + v
2
u (2)
y si restamos las ecuaciones (1) y (2), se obtiene la ecuacin si-
guiente:
(uv vu) = u
2
v v
2
u (3)
Consideremos ahora un volumen
limitado por una supercie cerra-
da S. Sea n un vector unitario nor-
mal a S en cada punto y dirigido ha-
cia el exterior de . Si integramos la
ecuacin (1) en el volumen y apli-
camos el teorema de la divergencia,
se obtiene:
_
S
u(v n) dS =
_
S
u
v
n
dS =
_

_
u v + u
2
v
_
d (4)
A la ecuacin (4) se la conoce como primera identidad de
Green. Si ahora integramos la ecuacin (3) en el volumen y
aplicamos de nuevo el teorema de la divergencia, se obtiene:
c Rafael R. Boix y Francisco Medina 2
_
S
(uv vu) ndS =
_
S
_
u
v
n
v
u
n
_
dS
=
_

_
u
2
v v
2
u
_
d (5)
La ecuacin (5) es conocida como segunda identidad de Green.
En las ecuaciones (4) y (5)
u
n
= u n y
v
n
= v n representan
las derivadas direccionales de u y v a lo largo del vector n.
Teorema de unicidad
Consideremos una regin del
espacio que est limitada inte-
riormente por N supercies ce-
rradas S
i
(i = 1, . . . , N) y exte-
riormente por una supercie ce-
rrada S
0
(que puede ser una su-
percie esfrica de radio R
), tal y como se muestra en la
gura adjunta. Sea n el vector
unitario normal a las supercies
S
i
(i = 1, . . . , N) que est dirigido hacia el exterior de . Supon-
gamos que existen cuerpos cargados dentro de y/o fuera de
(esto es, dentro de las supercies S
i
(i = 1, . . . , N) y fuera de la
supercie S
0
). Sea = (r) la densidad volumtrica de carga.
El teorema de unicidad establece que dados dos campos es-
calares
1
(r) y
2
(r) que son solucin de la ecuacin de Poisson en
(esto es,
2

1
(r) =
(r)

0
y
2

2
(r) =
(r)

0
cuando r ), si
se cumple que, o bien
1
(r) =
2
(r) o bien

1
(r)
n
=

2
(r)
n
cuando
c Rafael R. Boix y Francisco Medina 3
r S
i
(i = 0, . . . , N), entonces se verica que
1
(r) =
2
(r) + K
si r , siendo K una constante que puede ser cero. Esto es, el
teorema de unicidad nos dice que la solucin a la ecuacin de Pois-
son en es nica salvo una constante aditiva si se especican de
antemano los valores del potencial (condicin de Dirichlet) o de
su derivada normal (condicin de Neumann) en las supercies que
limitan a , tanto interior como exteriormente.
Para demostrar el teorema de unicidad, denimos primero un
nuevo campo escalar (r) =
1
(r)
2
(r) en la regin , y a con-
tinuacin, aplicamos la primera identidad de Green en a u(r) =
v(r) = (r). De acuerdo con la ecuacin (4), se obtiene:
_
S

n
dS =
N

i=0
_
S
i

n
dS =
_

_
||
2
+
2

_
d (6)
ya que S =

N
i=0
S
i
es la supercie total que limita a . Ahora bien,
la suma de integrales de supercie de la ecuacin (6) vale:
N

i=0
_
S
i

n
dS =
N

i=0
_
S
i
(
1

2
)
_

1
n

2
n
_
dS = 0 (7)
ya que, de acuerdo con el enunciado del teorema de unicidad, o
bien (
1

2
)]
S
i
= 0 o bien
_

1
n

2
n
__
S
i
= 0 (i = 0, . . . , N).
Por otro lado, la funcin que aparece en la ecuacin (6) verica
que:

2
(r) =
2
(
1
(r)
2
(r)) =

1
(r)
2

2
(r) =
(r)

0
+
(r)

0
= 0 (8)
si r .
c Rafael R. Boix y Francisco Medina 4
Pues bien, si sustituimos los resultados obtenidos en las ecua-
ciones (7) y (8) en la ecuacin (6), se llega a que:
_

||
2
d = 0 (9)
Ahora bien, como ||
2
0 en , para que se cumpla la
ecuacin (9), ser necesario que (r) = (
1
(r)
2
(r)) = 0
si r , y en consecuencia, ser necesario que
1
(r)
2
(r) = K
si r , con lo cual, queda demostrado el teorema de unicidad.
La constante K ser nula si se verica que
1
(r) =
2
(r) sobre
al menos una de las supercies S
i
(i = 0, . . . , N). Slo podr ser
K distinta de cero cuando la condicin impuesta sobre todas las
supercies S
i
(i = 0, . . . , N) sea la condicin

1
(r)
n
=

2
(r)
n
.
Corolario al teorema de unicidad
Consideremos un conjunto de
N conductores cargados. Sea
la regin limitada interior-
mente por las supercies S
i
(i =
1, . . . , N) de los N conductores
cargados y limitada exterior-
mente por la supercie esfrica
S
0
de radio R . Sea n el
vector unitario normal a las su-
percies S
i
(i = 0, . . . , N) dirigi-
do hacia fuera de .
A partir del teorema de unicidad, se puede enunciar el siguien-
te corolario: Si se especica de antemano en cada uno de los N
conductores, o bien el potencial, o bien la carga, existe una nica
c Rafael R. Boix y Francisco Medina 5
solucin a la ecuacin de Laplace en que se anula en el innito y
cumple las condiciones impuestas sobre los conductores.
Para demostrar el corolario, vamos a suponer que
1
(r) y
2
(r)
son dos funciones potencial que satisfacen las condiciones del enun-
ciado, lo cual signica que:

1
(r) y
2
(r) son solucin de la ecuacin de Laplace en , esto
es:

1
(r) =
2

2
(r) = 0 si r (10)
Sobre la supercie S
i
del conductor i-simo (i = 1, . . . , N), o
bien se cumple que:

1
(r) =
2
(r) = V
i
si r S
i
(11)
donde V
i
es el valor especicado a priori del potencial, o bien
se cumple que:
_
S
i

1
n
dS =
_
S
i

2
n
dS =
Q
i

0
(12)
donde Q
i
es el valor especicado de la carga ya que

j
n
_
S
i
=

j
n]
S
i
= E
j
n]
S
i
=
j
/
0
]
S
i
(j = 1, 2), siendo
j
]
S
i
(j =
1, 2) la densidad supercial de carga sobre la supercie S
i
cuan-
do el potencial vale
j
(j = 1, 2).
Sobre la supercie S
0
(esto es, en el innito) se cumple que:

1
(r) =
2
(r) = 0 si r S
0
(13)
Apliquemos ahora la ecuacin (6) a la funcin (r) =
1
(r)

2
(r) en la regin situada entre los conductores. Para este caso,
la suma de integrales de supercie de (6) vale:
c Rafael R. Boix y Francisco Medina 6
N

i=0
_
S
i

n
dS =
_
S
0

n
dS +
N

i=1
_
S
i
(
1

2
)
_

1
n

2
n
_
dS =
_
S
0

n
dS +
N

i=1
_

1
]
S
i

2
]
S
i
_
__
S
i

1
n
dS
_
S
i

2
n
dS
_
= 0 (14)
donde se ha tenido en cuenta que ]
S
0
= 0 (de acuerdo con la
ecuacin (13)), que los potenciales
1
y
2
son constantes sobre las
supercies de los conductores, y que sobre la supercie del i-simo
conductor (i = 1, . . . , N), o bien se cumple la ecuacin (11), o bien
se cumple la ecuacin (12).
Por otro lado, debido a la ecuacin (10), se cumple que
2
=

2
= 0, con lo cual, la ecuacin (6) particularizada para
este caso concreto queda reducida nuevamente a:
_

||
2
d = 0 (15)
lo cual signica que (r) = 0 en la regin , y que (r) = K en
, siendo K una constante. Pero como (r)]
S
0
= 0 (ya que el origen
de potencial se ha tomado en el innito, tanto para
1
(r) como para

2
(r)), se cumple que K = 0, y en consecuencia que
1
(r) =
2
(r),
con lo cual, queda demostrado el corolario al teorema de unicidad.
c Rafael R. Boix y Francisco Medina 7
Teorema del valor medio.
Consideremos un cuerpo cargado que crea un potencial (r) y
un campo elctrico E(r). El teorema del valor medio establece
que dada una regin esfrica libre de carga situada alrededor del
cuerpo cargado, el valor del potencial (r) en el centro de la regin
esfrica coincide con el valor medio del potencial en los puntos de
la supercie que limita a la regin esfrica.
Para demostrar el teorema,
supondremos que la regin es-
frica libre de carga est cen-
trada en el punto P de vec-
tor de posicin r
0
, y tiene ra-
dio a (vea la gura adjunta).
Asimismo, llamaremos
esfera
a
la regin esfrica y S
esfera
a la
supercie que la limita.
A continuacin, aplicaremos la segunda identidad de Green en

esfera
a los campos escalares u(r) = (r) y v(r) =
1
|rr
0
|
(vea la
ecuacin (5)). El resultado que se obtiene es:
_
S
esfera
_
(r)
_
1
|r r
0
|
_

_
1
|r r
0
|
_
(r)
_
n dS =
_

esfera
_
(r)
2
_
1
|r r
0
|
_

_
1
|r r
0
|
_

2
(r)
_
d (16)
donde n es un vector unitario normal a cada punto de S
esfera
y
dirigido hacia fuera de dicha supercie. Si tenemos en cuenta que
(r r
0
)|
S
esfera
= an y que |r r
0
||
S
esfera
= a, la primera de las dos
c Rafael R. Boix y Francisco Medina 8
integrales de supercie de la ecuacin (16) se puede reescribir:
_
S
esfera
(r)
_
1
|r r
0
|
_
n dS =
_
S
esfera
(r)
_
r r
0
|r r
0
|
3
_
n dS =

_
S
esfera
(r)
_
an
a
3
_
n dS =
1
a
2
_
S
esfera
(r)dS (17)
donde se ha hecho uso del resultado obtenido en el apartado a) del
problema 2 del Boletn 0.
En cuanto a la segunda de las integrales de supercie de la
ecuacin (16), esta integral es nula ya que:

_
S
esfera
_
1
|r r
0
|
_
(r) n dS =
1
a
_
S
esfera
E n dS =
1
a
_
Q(S
esfera
)

0
_
= 0 (18)
donde se ha utilizado la ley de Gauss, y se ha tenido en cuenta
que la carga Q(S
esfera
) almacenada en el interior de la supercie
S
esfera
es nula (recuerde que
esfera
es una regin libre de carga de
acuerdo con el enunciado del teorema del valor medio).
Por otro lado, la integral de volumen de la ecuacin (16) se puede
reescribir:
_

esfera
_
(r)
2
_
1
|r r
0
|
_

_
1
|r r
0
|
_

2
(r)
_
d =
4
_

esfera
(r)(r r
0
)d = 4(r = r
0
) (19)
donde se ha tenido en cuenta que
2
_
1
|rr
0
|
_
= 4(r r
0
)
(resultado obtenido en el tema 0), que r
0

esfera
, y que
2
(r) =
c Rafael R. Boix y Francisco Medina 9
0 si r
esfera
(recuerde que al ser
esfera
una regin libre de carga,
el potencial satisface la ecuacin de Laplace en dicha regin).
Si ahora introducimos las ecuaciones (17), (18) y (19) en la
ecuacin (16), se llega a que:

1
a
2
_
S
esfera
(r)dS = 4(r = r
0
) =
(r = r
0
) =
1
4a
2
_
S
esfera
(r)dS (20)
La ecuacin (20) nos dice que el valor del potencial en el punto P
coincide con el promedio del potencial en los puntos de la supercie
esfrica S
esfera
centrada en P, con lo cual, queda demostrado el
teorema del valor medio.
Corolario al teorema del valor medio
A partir del teorema del valor medio, se puede enunciar el si-
guiente corolario: El potencial elctrico no puede alcanzar m-
ximos ni mnimos en las regiones libres de carga (esto es, en las
regiones donde el potencial satisface la ecuacin de Laplace), con
lo cual, los mximos y mnimos del potencial estarn localizados
necesariamente en las regiones donde reside la carga elctrica.
La demostracin del corolario se hace por reduccin al absurdo.
Supongamos que existe un punto P situado en una regin libre de
carga en la que el potencial alcanza, por ejemplo, un mximo.
c Rafael R. Boix y Francisco Medina 10
En ese caso, siempre es posible encontrar una
esfera centrada en P de radio sucientemente
pequeo en cuya supercie S

el potencial es
menor que en el punto P, o lo que es lo mismo,
(r) < (P) si r S

(vea la gura adjunta).

Pero si el potencial en todos los puntos de S

es menor que el
potencial en P, eso signica que el valor medio del potencial en S

tambin ser menor que el potencial en P, y este hecho entra en

contradiccin con el teorema del valor medio, y por tanto, con que
el punto P est en una regin libre de carga. Como se llega a una
contradiccin, podemos armar que no es posible que el potencial
en P alcance un mximo. Utilizando un razonamiento anlogo,
es fcil demostrar que el potencial en el punto P tampoco puede
alcanzar un mnimo.
Una consecuencia directa del corolario al teorema del valor medio
es el llamado teorema de Earnshaw. Este teorema establece que
una carga puntual en presencia de un campo elctrico no puede
mantenerse en equilibrio estable cuando solamente est sometida a
fuerzas electrostticas, a menos que est situada en un punto ocu-
pado por otras cargas. Para demostrar el teorema, hay que tener en
cuenta que para que la carga se encuentre en situacin de equilibrio
estable en presencia del campo elctrico, es preciso que su energa
electrosttica sea mnima en el punto de equilibrio. Si la carga q se
encuentra en el punto de vector de posicin r en una regin donde
existe un potencial elctrico (r), la energa electrosttica vendr
dada por U
e
(r) = q(r). Para que U
e
(r) alcance un mnimo, ser
necesario que (r) alcance un mnimo (si q > 0) o un mximo (si
q < 0). Pero de acuerdo con el corolario al teorema del valor medio,
c Rafael R. Boix y Francisco Medina 11
(r) slo podr alcanzar mximos o mnimos en los puntos ocupa-
dos por otras cargas, con lo cual, los puntos de equilibrio estable
slo podrn ser aqullos ocupados por otras cargas, y esto demues-
tra el teorema de Earnshaw. Una conclusin que puede extraerse
de este teorema es que para que una carga puntual se encuentre en
equilibrio estable en presencia de otras cargas y en un lugar distinto
al que ocupan estas cargas, es preciso que sobre la carga puntual
acten fuerzas distintas a las fuerzas electrostticas.
Teorema de reciprocidad.
Vamos a considerar dos situaciones independientes que no se dan
simultneamente en el tiempo.
En la primera situacin un
cuerpo que ocupa una regin
volumtrica acotada
1
es-
t cargado con una densidad
volumtrica de carga
1
(r) (vea
la gura adjunta). Vamos a
llamar
1
(r) y E
1
(r) al po-
tencial y al campo elctrico
creados por el cuerpo cargado
respectivamente.
c Rafael R. Boix y Francisco Medina 12
En la segunda situacin un
cuerpo que ocupa una regin
volumtrica acotada
2
es-
t cargado con una densidad
volumtrica de carga
2
(r) (vea
la gura adjunta). Vamos a lla-
mar
2
(r) y E
2
(r) al potencial
y al campo elctrico creados por
este segundo cuerpo cargado.
El teorema de reciprocidad para el campo electrosttico es-
tablece que:
_

1
(r)
2
(r)d =
_

1
(r)
2
(r)d (21)
Con vistas a demostrar este
teorema, consideremos un volu-
men esfrico
esfera
centrado en
el origen de coordenadas de ra-
dio R +. Sea S
esfera
la
supercie esfrica que limita a

esfera
y sea n un vector unitario
normal a cada punto de S
esfera
y
dirigido hacia fuera de dicha su-
percie.
Vamos a aplicar la segunda identidad de Green en
esfera
a los
campos escalares u(r) =
1
(r) y v(r) =
2
(r) (vea la ecuacin (5)).
El resultado que se obtiene es:
c Rafael R. Boix y Francisco Medina 13
_
S
esfera
[
1
(r)
2
(r)
2
(r)
1
(r)] n dS =
_

esfera
_

1
(r)
2

2
(r)
2
(r)
2

1
(r)

d (22)
La integral de supercie de la ecuacin (22) se puede reescribir
como:
_
S
esfera
[
1
(r)
2
(r)
2
(r)
1
(r)] n dS =
_
S
esfera
[
2
(r)E
1
(r)
1
(r)E
2
(r)] n dS (23)
donde se ha tenido en cuenta que E
1
(r) =
1
(r) y que E
2
(r) =

2
(r). Como los volmenes
1
y
2
estn acotados en el espacio,
dado que la supercie S
esfera
est situada en el innito, sobre los
puntos de S
esfera
los cuerpos cargados con densidades de carga

1
(r) y
2
(r) se vern como cargas puntuales. En ese caso, se va
a cumplir que
i
(r)|
S
esfera

1
R
(i = 1, 2) y que E
i
(r)|
S
esfera

1
R
2
(i = 1, 2). Y como dS|
S
esfera
R
2
, se vericar que la integral
de supercie de la ecuacin (23) se anula ya que:
_
S
esfera
[
2
E
1

1
E
2
] n dS
1
R
0 si R (24)
Cuando la carga total de los dos cuerpos cargados sea nula, tam-
bin ser nulo el trmino monopolar del desarrollo multipolar del
potencial creado por dichos cuerpos, y en ese caso, la integral de
supercie de la ecuacin (24) decaer a cero al menos como
1
R
3
cuando R .
c Rafael R. Boix y Francisco Medina 14
En cuanto a la integral de volumen de la ecuacin (22), esta
integral se puede reescribir:
_

esfera
_

1
(r)
2

2
(r)
2
(r)
2

1
(r)

d =
1

0
_

1
(r)
2
(r)d +
_

2
(r)
1
(r)d
_
(25)
donde se ha tenido en cuenta que
2

i
(r) =

i
(r)

0
si r
i
(i =
1, 2) y que
2

i
(r) = 0 si r /
i
(i = 1, 2). Si ahora sustituimos las
ecuaciones (24) y (25) en (22), se llega a que:

1
(r)
2
(r)d +
_

2
(r)
1
(r)d = 0 =
_

1
(r)
2
(r)d =
_

1
(r)
2
(r)d
con lo cual, queda demostrada la ecuacin (22) que formula el teo-
rema de reciprocidad.
El teorema de reciprocidad puede ser aplicado a distribuciones
lineales y superciales de carga, y tambin a conjuntos de cargas
puntuales. En el caso de distribuciones lineales y superciales de
carga, la ecuacin (22) puede seguir siendo utilizada si se susti-
tuyen las integrales de volumen por integrales de lnea y supercie
respectivamente, y si se sustituyen las densidades volumtricas de
carga por densidades de carga lineales y superciales respectiva-
mente. En cuanto a los conjuntos de cargas puntuales, la ecuacin
(22) se puede utilizar si en dicha ecuacin se expresan las densi-
dades volumtricas de carga mediante una combinacin lineal de
funciones delta de Dirac.