Captulo 12

EDP DE SEGUNDO ORDEN

EL

IPTICAS
Esquema
Introducci on: ejemplos de problemas de tipo elptico.
Condiciones de contorno en problemas elpticos.
Resolucion de la ecuacion de Laplace en el plano en coordenadas polares.
Ecuaci on de Laplace en 3 dimensiones en coordenadas esfericas.
Objetivos
Saber resolver la ecuaci on de Laplace en el plano, eliminando las funciones inadecuadas seg un
la regi on en la que se efect ue el estudio.
Comprender que utilizando adecuadamente la simetra de un problema se puede avanzar mucho
en la resoluci on del mismo.
12.1 Introducci on
Las edp2 de tipo elptico en general aparecen en el estudio de fen omenos estacionarios (que
no cambian con el tiempo). Por ejemplo, pueden aparecer al estudiar el comportamiento
para tiempos grandes de un sistema en el que esta teniendo lugar un proceso de tipo difusivo.
Recordemos que en una dimension la ecuaci on del calor era u
t
=
2
u
xx
, cuya generalizaci on
a dimensiones mayores es
u
t
=
2

2
u.
Pues bien, suponiendo que para tiempos grandes se alcanza una soluci on estacionaria inde-
pendiente del tiempo, tendremos u
t
= 0 y la ecuacion resultante ser a

2
u = 0, (12.1.1)
que es una ecuacion de tipo elptico, la ecuaci on de Laplace, a la que habr a que a nadir las
condiciones de contorno adecuadas si el sistema es nito. De hecho la ecuacion anterior es
el prototipo de problemas elpticos, y describe, entre otros muchos fen omenos de interes,
77
78 CAP

ITULO 12. EDP DE SEGUNDO ORDEN EL

IPTICAS
el potencial electrostatico en el vaco. Otro ejemplo de ecuaci on elptica es la ecuacion de
Poisson,

2
u = ,
que describe el potential electrostatico en una regi on donde hay una distribuci on de carga .
Otro campo donde aparecen ecuaciones elpticas es en la resolucion mediante el metodo de
separacion de variables de problemas difusivos u ondulatorios. Por ejemplo, la ecuaci on de
Helmhotz

2
u +
2
u = 0.
que apareca en el estudio de las vibraciones de una membrana circular.
Por supuesto, si el sistema no es innito la ecuacion diferencial debe suplementarse con
las condiciones de contorno correspondientes, y en cualquier caso siempre hay que tener en
cuenta las condiciones de aceptabilidad fsica de las soluciones (nitud, periodicidad adecuada
en los sistemas de coordenadas que lo requieran, etc.) Lo que evidentemente no existe en
problemas elpticos son condiciones iniciales, ya que el tiempo no interviene como variable en
este tipo de problemas.
12.2 Condiciones de contorno en problemas elpticos
Tradicionalmente las condiciones de contorno en problemas elpticos reciben nombres de
personas. Las condiciones de contorno de primera especie (jar el valor de la soluci on que se
va buscando en la frontera), junto con la ecuaci on en derivadas parciales, denen lo que se
denomina problema de Dirichlet.
Las condiciones de contorno de segunda especie (jar el valor de la derivada de la funci on
respecto de la normal en la frontera, u/n), junto con la edp2, denen el denominado
problema de Neumann. Conviene indicar que no puede elegirse una funci on cualquiera
para esta derivada en la frontera, se requiere el cumplimiento de la siguiente condici on de
coherencia:
_
frontera
u
n
ds = 0. (12.2.1)
Las condiciones de contorno de tercera especie son en general menos habituales en prob-
lemas elpticos, pero cuando aparecen se suelen denominar problema de Robin.
12.3 Resoluci on de la ecuaci on de Laplace en el plano en co-
ordenadas polares
Vamos a concentrarnos en estudiar el problema de Dirichlet en el interior del crculo unidad
0 r 1, aunque tambien comentaremos brevemente algun otro tipo de condiciones de
contorno, o de regiones de estudio. Dadas las condiciones de simetra del problema parece lo
mas razonable usar coordenadas polares, por lo que la ecuaci on de Laplace adopta la forma
siguiente:
u
rr
+
1
r
u
r
+
1
r
2
u

= 0. (12.3.1)
Recordemos que utilizar coordenadas polares implica que la funci on adem as de mantenerse
nita en la regi on de estudio (en este caso el crculo 0 r 1) debe ser peri odica en la
variable angular, con periodo 2, para que la soluci on sea fsicamente aceptable. Por ultimo
12.3. EC. DE LAPLACE EN EL PLANO EN POLARES 79
tendremos que imponer tambien las condiciones de contorno, que en el problema de Dirichlet
interior al crculo unidad toman la forma
u(1, ) = f(). (12.3.2)
La tecnica de resolucion de las ecuaciones elpticas es ligeramente distinta de la tecnica que se
utiliza en las de tipo parab olico e hiperb olico, ya que no procede en este caso hacer completar
el paso 3 (calcular las constantes imponiendo las condiciones iniciales, que no existen). En las
ecuaciones de tipo elptico lo que se hace es: en primer lugar encontrar todas las soluciones
fundamentales (que en este caso son las funciones de tipo factorizado en cada una de las
variables y que son sicamente aceptables), a continuaci on se forma una serie con todas ellas,
nalmente las constantes se determinan utilizando las condiciones de contorno.
Comenzamos buscando soluciones de la edp2 utilizando el metodo de separacion de va-
riables, que ya conocemos bien: proponemos una soluci on en la forma
u(r, ) = R(r)(),
que llevada a la ecuaci on diferencial (12.3.1) nos da
()
_
R

(r) +
1
r
R

(r)
_
+
1
r
2
R(r)

() = 0.
Multiplicando por r
2
y dividiendo por R(r)() obtenemos
r
2
R

(r) +rR

(r)
R(r)
+

()
()
= 0
r
2
R

(r) +rR

(r)
R(r)
=

()
()
= ,
lo que genera dos ecuaciones diferenciales ordinarias:
_
r
2
R

(r) +rR

(r) R(r) = 0,

() +() = 0,
a las cuales de momento vamos a a nadir la condici on siempre necesaria de que la parte angular
sea periodica con periodo 2.
La ecuacion diferencial para () con la condici on de periodicidad ya la resolvimos al es-
tudiar las vibraciones de la membrana circular y por tanto simplemente repetimos la soluci on
encontrada. La constante de separaci on poda ser = 0 y entonces () = A (constante), o
bien = n
2
y () = Acos(n) +Bsin(n) con n = 1, 2, 3, . . . Veamos cual es la solucion de
la ecuacion radial en cada uno de los casos y formemos las soluciones fundamentales:
Si = 0, () = A. La ecuacion radial queda
r
2
R

+rR

= 0 R

=
1
r
R

dR

dr
=
1
r
R

dR

=
1
r
dr,
ln R

= ln r + ln C R

=
dR
dr
=
C
r
.
Finalmente
R(r) = C ln r +D, (12.3.3)
80 CAP

ITULO 12. EDP DE SEGUNDO ORDEN EL

IPTICAS
con lo cual la soluci on fundamental para = 0 es u(r, ) = R(r)(), es decir
u(r, ) = A(C ln r +D) = C

ln r +D

, (12.3.4)
que es una combinaci on lineal de dos funciones linealmente independientes: {1, ln r}.
Si = n
2
, () = Acos(n) +Bsin(n). La ecuacion radial queda
r
2
R

+rR

n
2
R(r) = 0.
Se trata de una ecuaci on de tipo Euler, que se resuelve haciendo el cambio de variable
independiente r = e
w
, que la transforma en una ecuaci on lineal con coecientes constantes.
Llevando a cabo la transformaci on (h agase como un ejercicio) resulta:
d
2
R
dw
2
n
2
R(w) = 0.
Evidentemente las raices del polinomio caracterstico son n y por tanto las dos soluciones
linealmente independientes son (recordemos que n = 0 y por tanto tenemos dos raices simples)
e
nw
y e
nw
. Volviendo de nuevo a la variable r, la soluci on de la ecuacion radial es una
combinaci on lineal de las funciones r
n
y r
n
:
R(r) = Cr
n
+Dr
n
.
Por tanto la solucion fundamental u(r, ) para = n
2
sera una combinaci on lineal de cuatro
soluciones linealmente independientes, a saber
_
r
n
cos(n), r
n
sin(n), r
n
cos(n), r
n
sin(n)
_
. (12.3.5)
La solucion m as general de la ecuacion de Laplace en el plano en polares ser a una serie
formada por soluciones fundamentales. Dado que las soluciones fundamentales son a su
vez combinaciones lineales de unas ciertas funciones linealmente independientes, resulta que
podemos escribir la solucion general como una serie en terminos de esas funciones, es decir,
una serie en terminos que contienen las funciones
_
1, ln r, r
n
cos(n), r
n
sin(n), r
n
cos(n), r
n
sin(n)
_
, n = 1, 2, 3, . . .
es decir
u(r, ) = A+Bln r +

n=1
_
A
n
r
n
cos(n) +B
n
r
n
sin(n) +C
n
r
n
cos(n) +D
n
r
n
sin(n)
_
.
Hasta aqu lo que hemos hecho ha sido unicamente resolver la ecuacion de Laplace y por tanto
esta solucion es valida para cualquier tipo de problema que se plantee (Dirichlet, Neumann
o Robin) y cualquier regi on de estudio (interior o exterior de un crculo, una corona circular,
etc). Ahora bien, habr a que determinar el valor preciso de las constantes A, B, A
n
, B
n
, C
n
, D
n
imponiendo que la funci on se mantenga nita en la regi on de estudio y tambien las condiciones
de contorno concretas que se planteen en el problema.
Volvamos al problema de Dirichlet en el interior del crculo unidad. Observando las
soluciones fundamentales nos damos cuenta de que los puntos conictivos en los cuales podran
diverger las soluciones son el orgen (r = 0) y el punto del innito (r ). El problema
12.3. EC. DE LAPLACE EN EL PLANO EN POLARES 81
concreto que estamos considerando contiene el orgen en la regi on de estudio (pero no el punto
del innito) y resulta que en ese punto las funciones lnr, r
n
cos(n) y r
n
sin(n) divergen.
Por tanto, para que la soluci on nal se mantenga nita es necesario que los coecientes que
multiplican a estas funciones en la serie sean nulos, es decir,
B = 0, C
n
= D
n
= 0 para n = 1, 2, . . .
y por tanto
u(r, ) = A+

n=1
(A
n
r
n
cos(n) +B
n
r
n
sin(n)) .
Imponiendo nalmente la condici on de contorno
u(1, ) = A+

n=1
(A
n
cos(n) +B
n
sin(n)) = f().
Esta ultima expresi on esta indicando que las constantes A y A
n
, B
n
no son otra cosa que los
coecientes del desarrollo de f() en serie de Fourier. La expresi on explcita de los coecientes
se obtiene utilizando las propiedades de ortogonalidad de las funciones en las que est a hecho
el desarrollo:
A =
1
2
_
2
0
d f(), A
n
=
1

_
2
0
d f() cos(n), B
n
=
1

_
2
0
d f() sin(n).
Ejercicio: utiliza como variable de integraci on en las expresiones anteriores y lleva este
resultado para los coecientes a la f ormula que nos da la soluci on del problema. Reagrupa
los terminos trigonometricos y escrbelos en funci on de las correspondientes exponenciales
imaginarias. Intercambiando el orden de la serie y la integral encontrar as que el resultado
nal es una integral en la que aparecen dos series geometricas que se pueden sumar sin
problemas, obteniendo la siguiente f ormula denominada formula integral de Poisson:
u(r, ) =
1
2
_
2
0
df()
1 r
2
1 2r cos( ) +r
2
. (12.3.6)
Si en lugar del problema de Dirichlet interior al crculo unidad, tuvieramos otro problema
distinto, el procedimiento a seguir sera el mismo, es decir, si en la region de estudio existe un
punto conictivo eliminar las funciones que divergen, y despues imponer las condiciones de
contorno para encontrar los coecientes restantes. Por ejemplo, en el caso del problema de
Dirichlet exterior al crculo unidad el punto r = 0 no es problem atico, pero s lo puede ser el
punto del innito. En los problemas de Neumann aparece u
r
en la cc y por tanto la constante
A queda indeterminada y es necesario a nadir alguna condici on adicional para jarla.
Para concluir esta seccion hagamos algunas consideraciones sobre simetra. De las solu-
ciones fundamentales que hemos encontrado las unicas que son independientes del angulo son
1 y ln r . Esto implica que si tenemos un problema bidimensional descrito por la ecuaci on de
Laplace, y sabemos que por consideraciones de simetra la soluci on ha de ser independiente
del angulo, directamente podemos eliminar todas las soluciones excepto las dos mencionadas,
y podemos por tanto decir que la soluci on es A + Bln r . Por ejemplo este sera el caso
en el problema de calcular el potencial electrostatico creado por una carga puntual situada
en el orgen (en dos dimensiones). Evidentemente el problema presenta simetra radial
82 CAP

ITULO 12. EDP DE SEGUNDO ORDEN EL

IPTICAS
y por tanto el potencial no puede depender del angulo. La constante A simplemente dene
el origen de potenciales y el termino ln r es la expresion del potencial coulombiano en dos
dimensiones. Un an alogo tridimensional estara constituido por un hilo rectilineo innito
uniformemente cargado. Utilizando el hilo como eje z y coordenadas cilndricas el sistema
resulta completamente equivalente al problema bidimensional, y por tanto la soluci on es la
misma, es decir el potencial creado por el hilo es de la forma ln salvo una constante que
dene el origen de potenciales.
12.4 Ecuaci on de Laplace tridimensional en esfericas
En el captulo dedicado a las ecuaciones hiperb olicas ya hemos indicado cual es la expresion
que adopta el laplaciano en coordenadas esfericas en tres dimensiones, con lo cual la ecuacion
de Laplace es:
u
rr
+
2
r
u
r
+
1
r
2
u

+
cotg
r
2
u

+
1
r
2
sin
2

= 0.
Para resolver la ecuacion utilizamos de nuevo el metodo de separacion de variables. Em-
pezamos separando u en una parte radial y otra angular
u(r, , ) = R(r)F(, ),
donde, adem as de ser nita, la funci on F ha de ser peri odica en con periodo 2. Llevando
esta forma factorizada a la ecuacion de Laplace se obtienen dos ecuaciones diferenciales, en
este caso una ordinaria para R y otra en derivadas parciales para F:
_
_
_
r
2
R

+ 2rR

R = 0,
F

+ cotg F

+
1
sin
2

+F = 0.
Pero esta ecuacion diferencial para la parte angular, con la condici on de periodicidad y nitud,
ya aparecio en en captulo dedicado al estudio de los polinomios ortogonales: las soluciones
de esta ecuacion que verican las condiciones deseadas son los armonicos esfericos Y
m

(, ),
con = 0, 1, 2, . . . y m = , + 1, . . . , 1, . La constante de separacion es justamente
= ( + 1). Llevando esta informaci on a la ecuaci on radial resulta
r
2
R

+ 2rR

( + 1)R = 0.
Esta es una ecuacion de tipo Euler, cuya solucion es
R(r) = Ar

+Br
(+1)
.
Por tanto la soluci on m as general de la ecuacion de Laplace en tres dimensiones, en coorde-
nadas esfericas, es una serie en funciones de la forma
_
r

Y
m

(, ),
1
r
+1
Y
m

(, )
_
,
es decir
u(r, , ) =

=0

m=
_
A
m
r

+
B
m
r
+1
_
Y
m

(, ).
12.5. BIBLIOGRAF

IA 83
Las constantes A
m
, B
m
habr an de determinarse en primer lugar eliminando las soluciones
que diverjan en alg un punto de la regi on en la que se esta resolviendo la ecuaci on y a con-
tinuaci on imponiendo las condiciones de contorno que nos especiquen en el problema. Por
ejemplo, si el origen esta incluido en la regi on estudiada tendremos que eliminar todos los
terminos con r
(+1)
haciendo cero los coecientes correspondientes.
Conviene indicar que tambien ahora las consideraciones de simetra pueden ahorrarnos
mucho tiempo y trabajo. Por ejemplo, de todas las soluciones fundamentales, s olo aquellas
con = 0 (y por tanto m = 0) son independientes de los angulos, ya que Y
0
0
= 1/

4 es
una constante, y valen (salvo una constante) 1 y 1/r . Por tanto, si sabemos que nuestro
problema presenta simetra esferica podemos directamente escribir su solucion como suma
de una constante (origen de potenciales) y un termino de la forma 1/r que es justamente el
potencial coulombiano en tres dimensiones. Este tipo de consideraciones se pueden aplicar,
por ejemplo, al potencial electrostatico creado por una carga puntual en el orgen, o al
potencial electrostatico creado por una esfera centrada en el orgen y con una distribuci on de
carga esfericamente simetrica.
Otro ejemplo interesante son los problemas que presentan simetra de revoluci on alrededor
del eje z. En este caso la solucion ha de ser independiente del angulo . Pero de todas las
soluciones fundamentales las unicas que no dependen de son aquellas con m = 0, luego los
coecientes de todas las demas han de ser cero.
12.5 Bibliografa
1. A. Castro, Curso b asico de ecuaciones diferenciales en derivadas parciales, Addison-
Wesley Iberoamericana.
2. S.J. Farlow, Partial Dierential Equations for Scientists and Engineers, Wiley.
3. Tyn Myint-U, Partial Dierential Equations of Mathematical Physics, Elsevier.