4.

Separacin de variables
El captulo, el ms amplio de los apuntes, est dedicado a uno de los ms antiguos
mtodos de resolucin de EDPs lineales (mtodo de separacin de variables) que
nos permitir hallar la solucin (en forma de serie de Fourier) de gran parte de
los problemas clsicos presentados en el captulo 1, en concreto de los planteados
en un intervalo nito en una de las variables. Resolveremos la ecuacin del ca-
lor con diferentes condiciones de contorno, la de la cuerda acotada, la de Laplace
en rectngulos, crculos y esferas... Ello ser posible porque las ecuaciones sern
separables y los recintos que consideraremos son simples, pero hay muchos pro-
blemas no resolubles por este mtodo.
En la seccin 4.1 resolveremos problemas para las ecuaciones del calor en dos va-
riables. Comenzaremos tratando los problemas homogneos (aquellos en que
son homogneas ecuacin y condiciones de contorno; si estas no lo son, lo primero
ser hacer un cambio de variable). Bsicamente esta ser la tcnica utilizada: bus-
caremos soluciones de la EDP que sean productos de funciones de cada variable
_
(, t) =X()T(t)
_
y que cumplan todas las condiciones homogneas; obtendre-
mos innitas soluciones de ese tipo resolviendo un problema de Sturm-Liouville
y otra EDO; construiremos una serie a partir de ellas
_
(, t) =

c
n
X
n
()T
n
(t)
_
,
cuyos coecientes c
n
se jarn imponiendo las condiciones iniciales an no uti-
lizadas (bastar para ello desarrollar funciones dadas en serie de autofunciones
del problema de Sturm-Liouville citado). La presencia de series en el proceso ante-
rior exigira justicar las cuestiones relativas a su convergencia, pero nosotros no
entraremos en ello. Pasaremos despus a abordar problemas no homogneos,
buscando tambin una serie solucin. Probaremos en la ecuacin una serie cuyos
trminos sern productos de las autofunciones del problema homogneo
por funciones a determinar de la otra variable. Resolviendo la familia innita
resultante de EDOs lineales no homogneas con las condiciones que se deducen
de las condiciones iniciales, se obtendr la solucin (formal) del problema.
En 4.2 haremos un estudio similar para la ecuacin de ondas, y aprovecharemos
para comparar resultados con los obtenidos en 1.4 a travs de extensiones y la fr-
mula de DAlembert. Veremos un ejemplo para el que, por primera vez, el problema
de Sturm-Liouville no ser para la omnipresente ecuacin X

+X = 0.
En 4.3 utilizaremos la separacin de variables para resolver problemas para la
ecuacin de Laplace (homognea y no homognea) tanto en coordenadas rectan-
gulares como en polares y tanto para problemas de Dirichlet, como de Neumann,
como mixtos. En cartesianas el problema de Sturm-Liouville a resolver ser en
o en y segn convenga, pero en polares ser en la (preferible al de la ecuacin
de Euler que aparecera para la r ). Las condiciones adicionales a imponer a la otra
variable sern aqu de contorno. De las soluciones en forma de serie deduciremos
frmulas como la integral de Poisson, que da la solucin del problema de Dirichlet
en el crculo (otra forma de llegar a ella ser ver en 5.2).
En la seccin 4.4 extenderemos el mtodo de separacin de variables a algunos
problemas para ecuaciones en tres variables. La tcnica ser muy parecida una
vez denidas las series de Fourier dobles. Simplemente habr que resolver dos
(en vez de uno) problemas de Sturm-Liouville. Veremos ejemplos en que aparecen
de forma natural las funciones que estudiamos en el captulo 2: los polinomios de
Legendre (para Laplace en la esfera) y las funciones de Bessel (estudiando la
vibracin de un tambor).
45
4.1. Separacin de variables para el calor
Consideremos varios problemas para la ecuacin del calor. En el primero supo-
nemos que los extremos de la varilla se mantienen a 0 grados y que los datos
iniciales vienen dados por una que es C
1
a trozos en [0, L]:
Sea [P
1
]
_

t
k

= 0, (0, L), t >0

(, 0) = ()
(0, t) = (L, t) = 0
[1]
[2]
[3]
Busquemos soluciones de la forma (, t) = X() T(t) . Debe ser entonces:
XT

kX

T = 0, es decir,
X

X
=
T

kT
_
mejor que
kX

X
=
T

T
_
.
Como el primer miembro es funcin slo de y el segundo lo es slo de t ambos
deben ser iguales a una constante:
X

X
=
1
k
T

T
= (ponemos para que nos quede la ecuacin habitual).
As obtenemos una EDO para X() y otra para T(t) :
_
X

+X = 0 [4]
T

+kT = 0 [5]
.
El producto de una solucin de [4] por una de [5] es entonces una solucin de
[1], cualquiera que sea . Sin embargo, nos interesan slo las soluciones que
satisfacen las condiciones de contorno:
(0, t) = X(0) T(t) = 0 X(0) =0
(si fuese T(t) 0 tendramos 0 y no se cumplira la condicin inicial).
Anlogamente, debe ser X(L) =0.
Nos interesan, pues, las soluciones (no triviales) del problema de Sturm-Liouville:
_
X

+X = 0
X(0) =X(L) =0

n
=
n
2

2
L
2
, X
n
=
_
sen
n
L
_
, n=1, 2, . . . .
[Si el intervalo para la fuese no acotado, no saldra un problema de contorno
de los de 3.1; se acudira entonces a la transformada de Fourier de 5.1].
Llevando estos valores de a la ecuacin [5] obtenemos:
T

=
kn
2

2
L
2
T T
n
=
_
e
kn
2

2
t/ L
2
_
.
Hemos deducido hasta ahora que para cada n las funciones

n
(, t) =
_
e
kn
2

2
t/ L
2
sen
n
L
_
, n = 1, 2, . . .
son soluciones de [1] que satisfacen tambin las condiciones de contorno [3]. Por la
linealidad de la ecuacin y de las condiciones, sabemos que una combinacin lineal
nita de estas
n
tambin cumple [1] y [3]. Pero consideremos la serie innita:
(, t) =

n=1
c
n

n
(, t) =

n=1
c
n
e
kn
2

2
t/ L
2
sen
n
L
[6]
y supongamos que converge y que satisface tambien [1] y [3]. Si queremos que
adems se cumpla la condicin inicial [2] debe ser:

n=1
c
n
sen
n
L
= () c
n
=
2
L
_
L
0
() sen
n
L
d , n=1, 2, ... [7]
pues la serie es precisamente la serie de Fourier en senos en [0, L] de .
46
Tenemos una posible solucin de [P
1
]: la serie [6] con coecientes dados por [7].
Pero esta solucin es slo formal mientras no se pruebe que la convergencia de la
serie es sucientemente buena para asegurar que realmente cumple el problema
(una suma innita de funciones derivables podra ser no derivable). Si es C
1
a
trozos, se puede probar que converge en [0, L](0, ) y que
t
y

se pueden
calcular derivando trmino a trmino (y as se satisface la ecuacin). De hecho,
se ve que la denida por la serie es C

en (0, L)(0, ) . En =0 y =L
est claro que la se anula. Y la condicin inicial se satisface en el siguiente
sentido: la (, t) denida por la serie para t > 0 y por (, 0) = () es una
funcin continua salvo en los puntos de t =0 en que la es discontinua.
[Aunque sea discontinua, la solucin es C

para t >0 arbitrariamente pequeo:

a diferencia de lo que ocurrir con las ondas, las discontinuidades desaparecen aqu
instantneamente].
Como cada
n

t
0 y es buena la convergencia, se tiene: (, t)
t
0 [0, L]
(la barra tiende a ponerse a 0 grados, como era de esperar).
Suponemos ahora que las condiciones de contorno son no homogneas:
[P
2
]
_

t
k

= 0, (0, L), t >0

(, 0) = ()
(0, t) =T
1
, (L, t) =T
2
, T
1
, T
2
constantes
Comenzaremos haciendo las condiciones de contorno homogneas.
Una () que las satisface es la recta: =
_
1

L
_
T
1
+

L
T
2
.
Haciendo = , nuestro problema se convierte en otro como el [P
1
]:
_

t
k

=0, (0, L), t >0

(, 0) = () ()
(0, t) = (L, t) = 0
. Por tanto:
(, t) =
_
1

L
_
T
1
+

L
T
2
+

n=1
c
n
e
kn
2

2
t/ L
2
sen
n
L
= +,
con c
n
=
2
L
_
L
0
_
()()
_
sen
n
L
d , n=1, 2, . . .
Esta () tiene un signicado fsico claro: como 0 cuando t , () es la
distribucin estacionaria de temperaturas hacia la que tienden las temperatu-
ras en la varilla, independientemente de las condiciones iniciales.
[Si T
1
y T
2
fuesen funciones de t , la (, t) denida arriba seguira cumpliendo las
condiciones de contorno, pero la ecuacin para la obtenida haciendo el cambio
sera no homognea, es decir, del tipo de las que vamos a resolver a continuacin;
dicha , funcin de t , pierde adems su signicado fsico].
[Si separsemos variables directamente en [P
2
] llegaramos a X(0) T(t) = T
1
(y otra
anloga para =L ), expresin de la que no deduciramos nada].
u(x,0)
w(x,0)
1
distr.
estac.
Ej 1.
_

t

= 0, (0, 1), t >0

(, 0) = 1
(0, t) =1, (1, t) =0
Operando se llega a: (, t) = 1 +
2

n=1
(1)
n+1
n
e
n
2

2
t
sen(n)
y la distribucin estacionaria hacia la que tiende es () = 1 .
[No nos importa que para t =0 sea incoherente el dato inicial con el de contorno en
=1; la solucin ser, como hemos dicho, una funcin continua para t >0 y para el
clculo de las integrales el valor en un punto no inuye].
47
Veamos ahora cmo resolver el problema no homogneo:
[P
3
]
_

t
k

= F(, t) , (0, ), t >0

(, 0) = ()
(0, t) = (, t) = 0
(Tomamos L= para abreviar las expresiones, pero no se pierde
generalidad pues un sencillo cambio de variable lleva [0, L] a [0, ] ).
Aunque no es necesario, descomponemos [P
3
] en dos subproblemas [P
1
] y [P
F
], el
primero con F=0 (ya resuelto) y el otro con =0:
[P
F
]
_

t
k

= F(, t) , (0, ), t >0

(, 0) = 0
(0, t) = (, t) = 0
Las autofunciones del [P
1
] eran {senn}, n=1, 2, . . . Probamos en [P
F
] la siguiente
serie que ya satisface las condiciones de contorno (y que est relacionada con la
ecuacin):

F
(, t) =

n=1
T
n
(t) senn con las T
n
(t) funciones a determinar.
[Si tomsemos T
n
=c
n
e
kn
2
t
, funciones que aparecieron resolviendo [P
1
],
la satisfara la ecuacin con F0; debemos darle ms libertad a las T
n
para conseguir al meter la serie en la ecuacin una F 0].
Suponiendo que la serie se puede derivar trmino a trmino:

n=1
_
T

n
(t) +kn
2
T
n
(t)
_
senn = F(, t) =

n=1
B
n
(t) senn
con B
n
(t) =
2

0
F(, t) sennd (desarrollo de F en senos para t jo).
Entonces para cada n debe ser: T

n
+kn
2
T
n
= B
n
(t) .
Y del dato inicial:
F
(, 0) =

n=1
T
n
(0) senn = 0 deducimos T
n
(0) =0 .
Resolviendo la EDO lineal para T
n
con este dato inicial (utilizando la frmula de
variacin de las constantes con datos iniciales; para una F concreta a lo mejor hay
mtodos ms rpidos) hallamos la T
n
y por tanto:

F
(, t) =

n=1
__
t
0
e
kn
2
(ts)
B
n
(s) ds
_
senn
Serie que es solucin formal de [P
F
] (como siempre faltara comprobar que es so-
lucin de verdad, que es realmente lo que sucede si la F es decente).
La solucin de [P
3
] (por la linealidad de la ecuacin y las condiciones iniciales
y de contorno) ser la suma de
F
y de la serie solucin de [P
1
] que obtuvimos
anteriormente.
[Si hubisemos abordado directamente la bsqueda de la solucin de [P
2
] sin
descomponerlo en dos, la nica diferencia sera que las condiciones iniciales
T
n
(0) , en vez de ser 0, seran los coecientes del desarrollo en senos de
() , es decir, deberamos resolver los problemas de valores iniciales
_
T

n
+kn
2
T
n
= B
n
(t)
T
n
(0) = c
n
, con c
n
=
_

0
() sennd ].
[Si las condiciones de contorno de [P
3
] fuesen no homogneas empezaramos como
en [P
2
] con un cambio = para conseguir que lo fuesen].
48
Resolvemos ahora el problema homogneo para la varilla con extremos aislados:
[P
4
]
_

t
k

= 0, (0, L), t >0

(, 0) = ()

(0, t) =

(L, t) = 0
Separando variables (es la misma ecuacin) aparecen, claro, las mismas EDOs del
problema [P
1
]. Pero ahora cambian las condiciones de contorno de la X:
_
X

+X = 0
X

(0) =X

(L) =0

n
=
n
2

2
L
2
, n=0, 1, 2, . . . , X
n
=
_
cos
n
L
_ _
X
0
={1}
_
.
Para estos valores de se tienen las T
n
=
_
e
kn
2

2
t/ L
2
_ _
T
0
={1}
_
.
As pues, probamos la serie: (, t) =
c
o
2
+

n=1
c
n
e
kn
2

2
t/ L
2
cos
n
L
Queremos que se satisfaga la condicin inicial: (, 0) =
c
o
2
+

n=1
c
n
cos
n
L
= () .
Los c
n
desconocidos sern los coecientes de la serie de Fourier en cosenos de :
c
n
=
2
L
_
L
0
() cos
n
L
d , n=0, 1, 2, . . .
Observemos que de nuevo la solucin se puede interpretar como la suma de una
distribucin de temperaturas estacionaria [ c
o
/ 2] y una distribucin transitoria que
tiende a 0 cuando t . Era esperable que toda la varilla (aislada) tendiese a la
misma temperatura y que esta fuese el valor medio de las temperaturas iniciales:
c
o
2
=
1
L
_
L
0
() d
Si las condiciones de contorno hubiesen sido

(0, t) =F
0
,

(L, t) =F
L
(ujo cons-
tante dado en los extremos), no se puede encontrar una () que sea una recta
(en general) y, al hacer = , la ecuacin en que resulta es no homognea.
Para resolver un problema no homogneo con estas condiciones en la

, proba-
ramos la serie construida con las autofunciones que hemos hallado:

F
(, t) = T
0
(t) +

n=1
T
n
(t) cos
n
L
,
y resolveramos las EDOs que surgiran, con los datos iniciales deducidas del dato
inicial de la EDP.
Ej 2.
_

t

= 0, (0, 1), t >0

(, 0) = 0

(0, t) =0,

(1, t) =2
Tanteando con =A
2
+B obtenemos que
=
2
cumple las condiciones de contorno.
Y haciendo =
2
se tiene el problema:
_

t

= 2
(, 0) =
2

(0, t) =

(1, t) =0
=T
0
(t)+

n=1
T
n
(t) cos n T

0
+

n=1
[T

n
+n
2

2
T
n
] cos n=2
[funcin que ya est desarrollada en cosenos].
T
0
(0) +

n=1
T
n
(0) cos n=
2
=
1
3
+

n=1

n
cos n , con
n
=2
_
1
0

2
cos nd

_
T

0
= 2
T
0
(0) =
1
3
,
_
T

n
+n
2

2
T
n
=0
T
n
(0) = c
n
, integrando y resolviendo se llega a
(, t) = 2t +
2

1
3

4

n=1
(1)
n
n
2
e
n
2

2
t
cos n
[ pues por el extremo derecho estamos constantemente metiendo
calor: su ujo va en sentido opuesto al gradiente de temperaturas].
49
En el quinto problema para la ecuacin del calor que tratamos la condicin de
=0 representa la radiacin libre hacia un medio a 0 grados (el ujo de calor es
proporcional a la temperatura en = 0; si es positiva el calor sale y entra si es
negativa). En =1 jamos el ujo de calor que entra en la varilla (al ser

>0 el
ujo es hacia la izquierda).
[P
5
]
_
_
_

t
k

= 0, (0, 1), t >0

(, 0) = ()

(0, t)(0, t) = 0, >0

(1, t) = 1
Vimos en 1.3 que tiene solucin nica. Para resolverlo lo primero, como siempre,
es conseguir condiciones de contorno homogneas.
Tanteando con rectas =M+N, se llega a que =+
1

las satisface.
=
_

t
k

= 0
(, 0) = ()
1

(0, t)(0, t) =

(1, t) = 0
Separando variables se llega a T

+kT = 0 y al problema de contorno:

_
X

+X = 0
X

(0)X(0) =X

(1) =0
que sabemos que no tiene autovalores < 0.
Si =0: X=c
1
+c
2

_
c
2
c
1
=0
c
2
=0
=0 no autovalor.
Si >0: X=c
1
cos +c
2
sen, =

_
c
2
c
1
=0
c
2
cos c
1
sen=0
c
2
=

c
1
a/w
tan w
0
!
w
1
w
2
w
3
w
4
c
1
(cos sen) =0 tn=

.
Esta ecuacin transcendente no se puede
resolver pero est claro que hay innitos

n
=
2
n
>0 (aproximables numricamente).
Las autofunciones se podran poner:
_
cos
n
+

n
sen
n

_
,
pero quedan ms compactas en la forma:
X
n
=
_
cos
n
(1)
_
.
Yendo a la ecuacin en T : T
n
=
_
e

n
kt
_
=

n=1
c
n
e

n
kt
X
n
() .
Imponiendo el dato inicial se determinan los c
n
[son aproximados al serlo los
n
]:

n=1
c
n
X
n
() = ()
1

c
n
=
4
n
2
n
+sen2
n
_
1
0
_
()
1

_
X
n
() d ,
pues
_
1
0
_
X
n
()
_
2
d =
1
2
+
1
4
n
_
sen2
n
(1)
_
1
0
.
0
1
a
crece
x + -
1
a
S es calculable exactamente la distribucin estacionaria
hacia la que tienden las temperaturas en la varilla:
(, t) = (, t) + +
1

+
1

cuando t
[la temperatura nal de la varilla, como era esperable,
es menor cuanto mayor sea el , es decir, cuanto ms
fuertemente irradie su extremo].
50
Dos ejemplos ms de separacin de variables para el calor (o similar). El primero nos sirve
para reexionar sobre los cambios que hacen las condiciones de contorno homogneas
(siempre necesario) y en el otro vemos que se puede aplicar el mtodo en otras ecuaciones
separables (y no slo en la del calor).
Ej 3.
_

t

= 0, (0, ), t >0
(, 0) =1

(0, t) =0, (, t) =e
t
Una que cumple las condiciones de contorno
salta a la vista: (t) =e
t
. Haciendo =+:
_

t

= e
t
(, 0) =

(0, t) =(, t) =0
[problema no homogneo].
Necesitamos conocer las autofunciones de homogneo para saber qu tipo de solucin
probar. Ya sabemos que al separar variables en el calor aparece X

+X=0 (adems de
T

+T =0 que ahora mismo no nos importa). Esto, unido a las condiciones que salen
de los datos de contorno X

(0) =X() =0 (problema conocido en 3.2), nos lleva a:

(, t) =

n=1
T
n
(t) cos
(2n1)
2

n=1
_
T

n
+
(2n1)
2
4
T
n
_
cos
(2n1)
2
= e
t

_
T

n
+
(2n1)
2
4
T
n
=B
n
e
t
T
n
(0) =0 (del dato inicial)
, con B
n
=
2

0
cos
(2n1)
2
d=
4(1)
n+1
(2n1)
.
Resolvemos la EDO lineal mediante coecientes indeterminados: T
np
=Ae
t

T
n
=Ce
(2n1)
2
t/ 4
+
4B
n
e
t
(2n1)
2
4
Tn(0)=0
T
n
(t) =
16(1)
n+1
(2n3)(2n1)(2n+1)
_
e
t
e
(2n1)
2
t/ 4
_
.
Podramos encontrar una mejor que no estropee la homogeneidad de la ecuacin?
Buscamos (, t) que tambin la satisfaga. Al separar variables se ve que A, B es
solucin: =e
t
(Acos +Bsen) . Imponiendo a esta los datos de contorno:
=e
t
cos
=+
_

t

= 0
(, 0) =1+cos

(0, t) =(, t) =0
[problema homogneo y,
por tanto, ms sencillo]

(, t) =

n=1
c
n
e
(2n1)
2
t/ 4
cos
(2n1)
2
(, 0) =

n=1
c
n
cos
(2n1)
2
= 1+cos
c
n
=
2

0
(1+cos ) cos
(2n1)
2
d=
2

_
2(1)
n+1
2n1
+
(1)
n
2n+1
+
(1)
n
2n3
_
.
[Evidentemente se podra ver que ambas soluciones coinciden].
Ej 4.
_

t

+2=0,
_
0,

2
_
, t >0
(, 0) =cos 5

(0, t) =(/ 2, t) =0
[El trmino +2 representa una prdida
de calor al medio a lo largo de la varilla].
Separando variables: (, t) =X()T(t)
X

X
=
T

T
+2=
_
damos el 2
mejor a la T
_

_
X

+X = 0
T

+(2+)T =0
y de los datos de contorno:

(0, t) =X

(0)T(t) =0 X

(0) =0

2
, t
_
=X
_

2
_
T(t) =0 X
_

2
_
=0
_
X

+X = 0
X

(0) =X
_

2
_
=0

n
=(2n1)
2
, n=1, 2, . . . , X
n
=
_
cos(2n1)
_
T

= (2+
n
) T T
n
=
_
e

_
2+(2n1)
2
_
t
_
Probamos pues: (, t) =

n=1
c
n
e

_
2+(2n1)
2
_
t
cos(2n1) .
Y, por el dato inicial: (, 0) =

n=1
c
n
cos(2n1) = cos 5 c
3
=1 y los otros 0.
As pues: (, t) = e
27t
cos 5 .
[Muy parecido a como lo probamos para el calor, se ve que esta solucin es nica;
o bien, haciendo =e
2t
se obtiene un problema para la ecuacin del calor con
esos mismos datos, problema cuya unicidad ya demostramos].
51
4.2. Separacin de variables para ondas
Resolvamos el problema para la cuerda vibrante con extremos jos (en 1.4 lo
resolvimos extendiendo los datos y aplicando la frmula de DAlembert):
[P
1
]
_

tt
c
2

= 0, [0, L], t R
(, 0) = (),
t
(, 0) =g()
(0, t) =(L, t) =0
Separando variables =X()T(t) e imponiendo los datos de contorno obtenemos:
X

X
=
1
c
2
T

T
=
_
X

+X = 0, X(0) =X(L) =0
n
=
n
2

2
L
2
, X
n
=
_
sen
n
L
_
T

+c
2
T = 0 n=1, 2, . . .
Las T
n
correspondientes son combinaciones lineales de sen
nct
L
y cos
nct
L
.
As, funciones de la forma:
n
(, t) =
_
k
n
cos
nct
L
+c
n
sen
nct
L
_
sen
n
L
, n=1, 2, . . .
satisfacen la EDP y las condiciones de contorno. Probamos, pues:
(, t) =

n=1
_
k
n
cos
nct
L
+c
n
sen
nct
L
_
sen
n
L
con k
n
y c
n
constantes. Para que se cumplan las condiciones iniciales:
(, 0) =

n=1
k
n
sen
n
L
= () k
n
=
2
L
_
L
0
() sen
n
L
d, n=1, 2, ...
y suponiendo que la serie se puede derivar trmino a trmino:

t
(, 0) =

n=1
nc
L
c
n
sen
n
L
= g() c
n
=
2
nc
_
L
0
g() sen
n
L
d, n=1, 2, ...
pues
nc
L
c
n
son los coecientes del desarrollo de g en senos.
Tenemos una solucin, formal en principio, aunque se prueba que las series convergen
y satisfacen realmente el problema si y g cumplen las condiciones que pedimos en
1.4: si sus extensiones impares respecto a 0 y L son C
2
y C
1
, respectivamente (si
g no son tan regulares la serie solucin representar lo que llamamos una solucin
dbil; en las ondas no desaparecen las discontinuidades).
Para algunas cuestiones (valores concretos, dibujos, ... ) ser mejor usar DAlembert,
pero se ven mejor otras propiedades en la serie. Por ejemplo, como cada
n
es 2L/ c-
peridica en t , tambien tiene este periodo. Observemos adems que la solucin
aparece como combinacin innita de modos naturales de vibracin [ sen(n/ L) ]
cada uno de los cuales vibra con una frecuencia nc/ L (frecuencias naturales de la
cuerda). En trminos acsticos
1
da el tono fundamental (su frecuencia es c/ L ) y
los dems son los armnicos (de frecuencia mltiplo de la anterior).
Como siempre, para empezar a resolver por separacin de variables, han de ser
las condiciones de contorno homognes. Y para los problemas no homogneos se
prueban series de autofunciones del homognero.
f
0
1/2
u(x,0)
1
x
Ej 1.
_
_
_

tt

= 0, [0, 1], t R
(, 0) =
_
, 01/ 2
1 , 1/ 21

t
(, 0) = (0, t) = (L, t) = 0
(Ejemplo 4 de 1.4 que poda
representar la pulsacin de
la cuerda de una guitarra).
Basta copiar de arriba: (, t) =

n=1
k
n
cos nt senn (2-peridica),
con k
n
=2
_
1/ 2
0
sennd+2
_
1
1/ 2
(1) sennd=
4
n
2

2
sen
n
2
( =0 si n par).
(Pulsando la cuerda en el centro desaparecen los armnicos pares).
52
Ej 2.
_

tt

=0, [0, 2], t R

(, 0) =
2
,
t
(, 0) =0
(0, t) =0, (2, t) =4
Hallemos (1, 2) y (, 1) , con DAlembert y se-
parando variables. En ambos casos, lo primero es
hacer las condiciones de contorno homogneas.
La (, t) =
_
1

L
_
h
0
(t) +

L
h
L
(t) citada en 1.4 (y en la seccin anterior) es adecuada:
x 2x
2 4
1
-2
-1
2
1
=2, =2
_

tt

=0, [0, 2]
(, 0) =
2
2,
t
(, 0) =0
(0, t) =(2, t) =0
.
Para DAlembert ebemos extender de forma impar
y 4-peridica a

denida en R:
. . . , (+2) en [2, 0] , (2) en [0, 2] , (4)(2) en [2, 4] , . . .
La solucin viene dada por =
1
2
[

(+t)+

(t)] . Por tanto:

(1, 2) =
1
2
_

(3)+

(1)
_
=
4per
1
2
_

(1)+

(1)
_
=
impar
(1) = 1 (1, 2) = 3 .
Para hallar (, 1) aparecen dos casos (se podra ver con los dominios de dependencia):
(, 1) =
1
2
_

(+1)+

(1)
_
=
_
01,
1
2
[(1)(+1) + (+1)(1)] = 0
12,
1
2
[(1)(3) + (3)(1)] = 0
(, 1) =2.
[Es claro que llevando

una unidad a izquierda y derecha y sumando todo se cancela].

Para resolver el problema en separando variables copiamos de la pgina anterior:
(, t) =

n=1
k
n
cos
nt
2
sen
n
2
con k
n
=
_
2
0
(
2
2) sen
n
2
d =
16
n
3

3
[cos n1]
(, t) =
32

m=1
1
(2m1)
3
cos
(2m1)t
2
sen
(2m1)
2
.
Para t =1 todos los cosenos se anulan, con lo que (, 1) =0 (como por DAlembert).
Adems (1, 2) =
32

m=1
(1)
m+1
(2m1)
3
_
=1; deducimos que 1
1
3
3
+
1
5
3

1
7
3
+ =

3
32
_
.
Ej 3.
_

tt

= , [0, ], t R
(, 0) =
t
(, 0) =(0, t) =(, t) =0
(, t) =

n=1
T
n
(t) senn
Esta serie ya se anula en =0 y = . Adems debe cumplirse:
T

n
+n
2
T
n
=
2

0
sennd =
2[1]
n+1
n
T
n
= c
1
cos nt +c
2
sennt +
2[1]
n+1
n
3
.
(, 0) =
t
(, 0) =0 T
n
(0) =T

n
(0) =0 (, t) = 2

n=1
[1]
n+1
n
3
[1cos nt] senn .
De otra forma: podramos conseguir un problema homogneo hallando una solucin
de la ecuacin () que cumpla las condiciones de contorno:

= =c
1
+c
2

1
6

3
(0)=()=0
=
1
6
_

3
_
.
Con = , acabamos en [P
1
], con () =() y g() =0, con lo que:
=
1
6
_

3
_
+2

n=1
[1]
n
n
3
cos nt senn, pues
1
3
_

0
_

_
sennd=
2[1]
n
n
3
.
Aunque las series anteriores dan la solucin (, t) , el problema es obtener (sin orde-
nador) informacin sobre ellas. Por ejemplo, qu aspecto tendr:
(, ) =

m=1
4
(2m1)
3
sen(2m1) =
1
6
_

3
_
+

n=1
2
n
3
senn?
Esto es fcil decirlo con DAlembert en este caso. La solucin del problema en es:
(, ) =
1
2
_

(+)+

()
_
, con

extensin impar y 2-peridica de .

Por la periodicidad y mantener la expresin

en [, 0] por ser impar:

(, ) =

() = () , si [0, ]
(, ) = () () =
(+)()
6

()(2)
6
=

2
() ,
parbola invertida con su mximo en =

2
fcil de dibujar.
53
Se pueden imponer otros tipos de condiciones de contorno (como las del calor) a la cuerda
vibrante y otros aparecen problemas resolubles por separacin de variables. La condicin

=0 signica que el extremo de la cuerda se mueve con libertad verticalmente (se puede
imaginar una anilla engrasada al nal de la cuerda rodeando una varilla vertical) y

=0

+b=0 indican que el extremo est unido por un muelle al punto de anclaje.
Ya dijimos al nal de 1.4 que las condiciones

=0 llevan a extensiones pares.

[Separando variables salen las autofunciones sen
n
L
con condiciones =0
y cos
n
L
si son

=0: la periodicidad y paridades de las soluciones son las

mismas, faltara ms, resolviendo el problema por uno y otro mtodo].
Ej 4.
_
_
_

tt

=0, [0, 2], t R

(, 0) =0,
t
(, 0) =
_
sen, [0,]
0, [,2]

(0, t) =

(2, t) =0
Hallemos (, 2) , por DAlembert
y separando variables.
_

tt

=0, , t R
(, 0) =0,
t
(, 0) =g

()
con g

par y 4-peridica.
2
0

2
4
g*
(, 2) =
1
2
_
+2
2
g

1
2
_
2
2
g

=
_

0
sens ds = 2
[la integral en un periodo de una funcin peridica no depende del intervalo].
Separando variables: X

+X=0, X

(0) =X

(2) =0
n
=
n
2
4
, X
n
=
_
cos
n
2
_
, n=0, 1, . . .
_
T

+
n
T =0
T(0) =0

T
0
={t}
T
n
=
_
sen
nt
2
_
, n1
(, t) =

0
2
t +

n=1

n
sen
nt
2
cos
n
2

(, 2) =
0
. Basta hallar este coeciente.
t
(, 0) =

0
2
+

n=1

n
n
2
cos
n
2
=g()

0
=
2
2
_
2
0
g =
1

0
send=
2

(, 2) = 2.
[Obsrvese que la solucin tiende a cuando t . Como est subiendo
inicialmente y los extremos estn libres, la cuerda asciende indenidamente].
En el siguiente ejemplo, consideramos una ecuacin con un trmino ms aadido
a la de ondas (que podra representar un rozamiento con el medio):
Ej 5.
_

tt
+4
t

=0, [0, ], t R
(, 0) = sen2

t
(, 0) =(0, t) =(, t) =0
Como la ecuacin es nueva, debemos
comenzar separando variables:
=XT X[T

+4T

] X

T = 0
T

+4T

t
=
X

X
=
_

+X = 0
X(0) =X() =0

n
=n
2
, n=1, 2, . . . , X
n
={senn} T

+4T

+n
2
T = 0, r =2
_
4n
2

T
1
=c
1
e
(2+

3) t
+c
2
e
(2

3) t
, T
2
=(c
1
+c
2
t) e
2t
,
T
n3
=e
2t
_
c
1
cos
_
n
2
4t +c
2
sen
_
n
2
4t
_
.
Probamos, pues, (, t) =

n=1
T
n
(t) senn . Slo faltan las condiciones iniciales:
(, 0) =

n=1
T
n
(0) senn=sen2

t
(, 0) =

n=1
T

n
(0) senn=0
T
n
(t) 0, si n=2
_
ecuacin homognea
con datos nulos
_
.
Slo es no nula T
2
, para la que
T
2
(0) =c
1
= 1
T

2
(0) =c
2
2c
1
=0
=(1+2t) e
2t
sen2.
[La cuerda con rozamiento tiende a pararse].
54
Hasta ahora la EDO del problema de Sturm-Liouville siempre ha sido X

+X=0,
y, por eso, las series de Fourier eran todas con peso r() = 1. Pero para otras
EDPs similares a calor y ondas, o para estas ecuaciones en el plano o el espacio
y coordenadas no cartesianas, surgen otras ecuaciones ordinarias y es necesario
manejar la teora ms general del captulo 3. Los problemas en ms variables se
vern en 4.4, pero podemos resolver ya alguno si se reduce a uno de 2 variables.
Por ejemplo, la ecuacin de ondas
tt
c
2
= 0 en recintos esfricos lleva, en
general, a una EDP en 4 variables (el tiempo t y las variables esfricas r , , ),
cuyas soluciones quedaran determinadas (como en la recta) jando unos datos de
contorno y un par de condiciones iniciales. Pero si buscamos slo sus soluciones
independientes de los ngulos aparece la ecuacin de ondas en el espacio con
simetra radial (en 2 variables y ya tratada en 1.4). En concreto, vamos a resolver
el siguiente problema homogneo (vibraciones entre dos supercies esfricas):
[P
2
]
_
_
_

tt

rr

2
r

r
=0, 1r 2, t R
(r, 0) = (r) ,
t
(r, 0) =g(r)
(1, t) =(2, t) =0
Separando variables: (r, t) =R(r)T(t)
R

+
2R

r
R
=
T

T
=
_
rR

+2R

+rR=0
T

+T = 0
Las condiciones de contorno imponen: R(1) =R(2) =0 .
Vimos la ecuacin de R en 3.2 (all asociada a un problema singular, aqu es regular
pues estamos en el intervalo [1, 2] ). Se resolva haciendo el cambio de variable:
S=rR
_
S

+S = 0
S(1) =S(2) =0
r=s+1

_
S

+S = 0
S(0) =S(1) =0


n
=n
2

2
, n=1, 2, . . .
S
n
={senns}
R
n
=
_
sennr
r
_
Y para esos valores de las soluciones para T son T
n
={cos nt, sennt}.
Probamos, pues: =

n=1
_
k
n
cos nt +c
n
sennt
_
sennr
r
.
Las condiciones iniciales imponen:

n=1
k
n
sennr
r
= (r) y

n=1
nc
n
sennr
r
= g(r) .
Para hallar los coecientes del desarrollo de una funcin en las autofunciones R
n
(r)
debemos utilizar el peso del problema de Sturm-Liouville:
_
r
2
R

+r
2
R = 0 .
Como R
n
, R
n
=
_
2
1
r
2
sen
2
nr
r
2
dr =
1
2
y , R
n
=
_
2
1
r
2
(r)
sennr
r
dr , concluimos que:
k
n
=2
_
2
1
r (r) sennr dr y c
n
=
2
n
_
2
1
r g(r) sennr dr .
Evidentemente se llegara a lo mismo (aqu es mucho ms corto, pero otras veces
no podremos hacer estos atajos) observando que las condiciones deducidas de las
iniciales se podran haber reescrito as:

n=1
k
n
sennr = r (r) y

n=1
nc
n
sennr = rg(r) .
De hecho, todo el problema se hubiera simplicado notablemente si hubiramos
utilizado inicialmente el cambio de variable que hicimos en 1.4:
=

r

_

tt

rr
=0
(r, 0) =r (r),
t
(r, 0) =rg(r)
(1, t) =(2, t) =0
, problema casi igual al de la pgina 52.
[Las ondas en plano con simetra radial satisfacen
tt

rr

1
r

r
=0 y la ecuacin en
R es rR

+R

+rR=0, que (lo vimos en 3.2) est asociada a las funciones de Bessel].
55
Acabamos la seccin con algunas reexiones sobre cambios de variable y descomposicin
en subproblemas que generalicen las ideas que hemos utilizado. Los problemas clsicos
que vimos en 1.3 estaban formados por una ecuacin lineal, que podemos representar, si
es no homognea, por L[] =F , con L lineal (es decir, L[
1
+b
2
] =L[
1
]+bL[
2
] ) y
unas condiciones adicionales tambin lineales. En los que hemos resuelto por separacin de
variables necesariamente haba un par de condiciones de contorno C
k
[] =h
k
y, adems
una o dos condiciones iniciales.
[Cuando resolvamos ecuaciones de Laplace separando variables en la prxima seccin
veremos que a veces las condiciones de contorno estarn implcitas (por ejemplo en
un crculo se exigir periodicidad). Y, en vez de condiciones iniciales, aparecern otras
dos de contorno (quizs alguna no escrita explcitamente, como la acotacin)].
Supongamos, por ejemplo, que son 3 las condiciones adicionales (como en el calor) y que
nuestro problema es de la forma:
[P]
_
L[] = F
M[] =
C
1
[]=h
1
, C
2
[]=h
2
El problema de resolver [P] puede ser reducido a resolver otros subproblemas ms sencillos.
Por ejemplo, si
1
,
2
,
3
y
4
son soluciones de
[P
1
]
_
_
_
L[] = F
M[] = 0
C
1
[]=0
C
2
[]=0
[P
2
]
_
_
_
L[] = 0
M[] =
C
1
[]=0
C
2
[]=0
[P
3
]
_
_
_
L[] = 0
M[] = 0
C
1
[]=h
1
C
2
[]=0
[P
4
]
_
_
_
L[] = 0
M[] = 0
C
1
[]=0
C
2
[]=h
2
est claro, por la linealidad, que =
1
+
2
+
3
+
4
es solucin de [P], pero, como ya hemos
observado, bastantes veces nos convendr descomponer [P] en menos subproblemas.
En otros casos interesar convertir la ecuacin en homognea (si no hubiese condiciones
de contorno, por ejemplo). Si somos capaces de encontrar una solucin particular de la
ecuacin ( L[]=F ), el cambio = convertir [P] en:
_
L[] = L[]L[] = 0
M[] = M[]
C
1
[]=h
1
C
1
[] , C
2
[]=h
2
C
2
[]
Ms a menudo necesitamos hacer homogneas las condiciones de contorno (la separacin
de variables y otros mtodos lo exigen). As, si lo que tenemos es una que satisface
C
1
[]=h
1
y C
2
[]=h
2
, haciendo, como siempre, = acabaramos en
_
L[] = F L[]
M[] = M[]
C
1
[]=C
2
[]=0
Lo que ya es un lujo (pero se puede intentar buscar por el premio que nos da) es tener una
que cumpla las dos condiciones y adems la ecuacin (como en el ejemplo 3 de la anterior
seccin y en el 1 y 3 de sta). Los problemas homogneos siempre son ms sencillos que los
no homogneos (separando variables, por ejemplo, los primeros exigen resolver slo EDOs
homogneas, ms corto que resolver las EDOs no homogneas de los segundos).
Como vemos, hay mucha variedad en los posibles cambios. En cada caso habr que ver
cules nos llevan a problemas mas asequibles. Si inicialmente hay condiciones homogneas
intentaremos que los cambios no las estropeen, aunque a veces no habr ms remedio.
56
4.3. Separacin de variables para Laplace
Resolvamos utilizando el mtodo de separacin de variables diversos problemas
para la ecuacin de Laplace en recintos especialmente simples. Comenzamos por
el problema de Dirichlet en un rectngulo, es decir:
a
0
b
f (x)
g(y)
f (x)
g(y)
a
b
o
o
[P
1
]
_
_
_
=F(, y) , en (0, )(0, b)
(, 0) =
o
(), (, b) =
b
()
(0, y) =g
o
(y), (, y) =g

(y)
Por ser lineales la ecuacin y las condiciones, basta resolver los 5 subproblemas
que se obtienen al hacer 4 de las 5 funciones que aparecen igual a 0 y sumar las
5 soluciones (de hecho, se puede descomponer en menos o hacer cambios que
anulen alguno de los trminos no homogneos). Comencemos resolviendo, por
ejemplo, uno de los 4 problemas para la ecuacin homognea:
_
= 0, en (0, )(0, b)
(, 0) =
o
()
(, b) =(0, y) =(, y) =0
(, y) =X()Y(y) X

Y+XY

=0

X
=
Y

Y
=
_
X

+X = 0
Y

Y = 0
De (0, y) =(, y) =0 se deduce que X(0) =X() =0, con lo que el problema de
contorno para la X tiene solucin no trivial si

n
=
n
2

2
, X
n
=
_
sen
n

_
, n=1, 2, . . . .
Para esos
n
es Y
n
=c
1
e
ny/
+c
2
e
ny/
. La condicin homognea an no aplica-
da (, b) =0 impone Y(b) =0. Nos interesan las Y
n
que la cumplen:
c
2
=c
1
e
2nb/
Y
n
=c
1
e
nb/
_
e
n[yb]/
e
n[by]/
_
Y
n
=
_
sh
n[by]

_
Probamos entonces: (, y) =

n=1
c
n
sh
n[by]

sen
n

Para satisfacer la condicin de contorno no homognea que falta:

(, 0) =

n=1
c
n
sh
nb

sen
n

=
o
() c
n
sh
nb

=
2

0

o
() sen
n

d
Anlogamente se resuelven los otros 3 subproblemas con F0 de [P
1
]. En uno de
ellos volvemos a tener las X
n
de antes, y en los otros dos es Y (con condiciones
de contorno homogneas) la que proporciona las autofunciones Y
n
=
_
sen
ny
b
_
.
[Los papeles de X e Y son intercambiables. En calor y ondas el problema de contorno
siempre era para la X (las condiciones de T eran inciales). Para Laplace en polares,
aunque tanto R como tendrn condiciones de contorno, la EDO de la ser ms
sencilla y la elegiremos siempre para obtener las autofunciones].
Para resolver el ltimo subproblema, el de la ecuacin no homognea:
_
= F(, y) , en (0, )(0, b)
(, 0) =(, b) =(0, y) =(, y) =0
como siempre se prueba una serie de autofunciones. Aqu hay dos posibilidades
[elegiremos la que d un desarrollo ms fcil para F ]:
(, y) =

n=1
Y
n
(y) sen
n

(, y) =

n=1
X
n
() sen
ny
b
[No olvidemos que con un cambio = , o resolviendo menos subproblemas se
puede llegar antes la solucin; lo nico necesario para empezar con separacin de
variables es que sea =0 en = 0, en y = 0, b].
57
Siguiendo con Laplace en cartesianas, resolvemos un problema de Neumann.
Suponemos la ecuacin no homognea, pero con condiciones de contorno homo-
gneas (si no lo fuesen, procederamos de forma similar al problema anterior).
[P
2
]
_
= F(, y) , en (0, )(0, )

y
(, 0) =
y
(, ) =

(0, y) =

(, y) =0
Separando variables en la ecuacin homognea llegamos, desde luego, a las mis-
mas ecuaciones que en [P
1
]: X

+X=0, Y

Y =0. Las condiciones de contorno

obligan a que X

(0) = X

() = 0, Y

(0) = Y

() = 0. Para este problema tenemos,

pues, dos familias de autofunciones {cos n} {cos ny}, n =0, 1, . . . y podemos
elegir cualquiera de ella para nuestra serie. Por ejemplo:
(, y) = X
0
() +

n=1
X
n
() cos ny
X

0
+

n=1
[X

n
n
2
X
n
] cos ny =
B
0
()
2
+

n=1
B
n
() cos ny , B
n
() =
2

0
F(, y) cos ny dy
Debemos resolver los innitos problemas de contorno para EDOs:
X

0
=
1
2
B
0
=
1

0
F(, y) dy ; X

n
n
2
X
n
=B
n
, n1 ; con X

n
(0) =X

n
() =0 .
Las X
n
con n1 quedan determinadas de forma nica (el problema homogneo,
como sabemos desde 2.1, tiene slo la solucin trivial).
Pero X

0
= 0, X

0
(0) = X

0
() = 0 tiene soluciones no triviales
_
{1}
_
, con lo que,
segn 3.3, para que haya solucin para X
0
es necesario que sea
_

0
1B
0
() d=0.
Es decir, [P
2
] tiene solucin slo si
_

0
_

0
F(, y) ddy = 0 .
Y en ese caso tiene innitas que dieren en una constante. Todo esto es coherente
con lo que sabamos sobre Neumann desde 1.3.
Ej 1. Calculemos la solucin en el caso particular en que F(, y) = .
El problema slo tiene solucin si
__

F=0 , es decir, si =

2
.
Entonces nos queda X

0
=

2
_
por suerte, la F ya est desarrollada en {cos ny}
_
.
Por la misma razn los B
n
, y por tanto los X
n
, son nulos si n1.
Integrando e imponiendo X

0
(0) =X

0
() =0 obtenemos (, y) =
1
6

2
+C .
_
Si resolvemos probando =

n=0
Y
n
(y) cos n hay que desarrollar en serie. Lo hacemos,
aunque aqu sea una prdida de tiempo. Los coecientes de F=

2
en cos n son:
B
n
=
2

0
_

2
_
cos nd =
_
0 , si n=0, 2, 4, . . .

4
n
2
, si n=1, 3, . . .
Y

0
+

n=1
[Y

n
n
2
Y
n
] cos n =

m=1
B
2m1
cos(2m1)
_
Y

0
= 0
Y

0
(0) =Y

0
() =0
Y
0
=C ;
_
Y

2m
4m
2
Y
2m
= 0
Y

2m
(0) =Y

2m
() =0
Y
2m
=0 ;
_
Y

2m1
(2m1)
2
Y
2m1
=B
2m1
Y

2m1
(0) =Y

2m1
() =0
Y
2m1
=
B
2m1
(2m1)
2
= C+
4

m=1
cos(2m1)
(2m1)
4
, que (salvo constante) es el desarrollo de la de arriba
_
.
58
Dos ejemplos ms en cartesianas. El primero para Laplace con condiciones mixtas (parte
Dirichlet, parte Neumann). Ya dijimos en 1.3 que todos ellos tienen solucin nica.
Ej 2.
_

+
yy
= 0, (, y) (0, 1)(0, )
(, 0) =
y
(, ) =(0, y) =0, (1, y) =1
=X()Y(y)
_
Y

+Y =0, Y(0) =Y

() =0
X

X=0, X(0) =0

n
=
_
2n1
2
_2
, Y
n
=
_
sen
(2n1)y
2
_
.
Para esos es X=c
1
e
(2n1)/ 2
+c
2
e
(2n1)/ 2

X(0)=0
X
n
=
_
sh
(2n1)
2
_
.
Probamos (, y) =

n=1
c
n
X
n
()Y
n
(y) . Imponiendo el dato (1, y) =1 que falta:
c
n
sh
2n1
2
=
2

0
sen
(2n1)y
2
dy =
4
(2n1)
_
1cos
(2n1)
2
_

(, y) =

n=1
4
(2n1) sh
2n1
2
sh
(2n1)
2
sen
(2n1)y
2
.
Si nos gustan ms las condiciones de contorno para podemos hacerlas homogneas
con un cambio de variable:
=, =
_

+
yy
= 0
(, 0) = ,
y
(, ) =0
(0, y) =(1, y) =0

_
X

+X=0, X(0) =X(1) =0

Y

Y =0, Y

() =0

n
=n
2

2
, X
n
={senn}, Y
n
=
_
ch[n(y)]
_
.
=

n=1
k
n
X
n
()Y
n
(y)

n=1
k
n
X
n
(0)Y
n
(y) = k
n
=
2
ch[n
2
]
_
1
0
sennd
(, y) = +

n=1
2(1)
n
nch[n
2
]
ch[n(y)] senn
[que es otra expresin de la misma solucin nica].
En todos los problemas que hemos resuelto en este captulo (excepto los de Neumann) la
solucin era nica (todos eran problemas fsicos). Pero no olvidemos que la unicidad en
EDPs es complicada, y que un problema nuevo del que no se ha demostrado la unicidad
podra no tenerla. Eso pasa en el siguiente ejemplo (para una ecuacin de Helmholtz muy
asociada a los problemas de ms de dos variables):
Ej 3.
_
_
_
+=0, (, y) (0, )
_

4
,

4
_

y
_
,

4
_
=
y
_
,

4
_
=0
(0, y) =0, (, y) =sen2y
Como es ecuacin nueva, separamos
variables desde el principio:
=XY
X

X
+1 =
Y

Y
=
_
Y

+Y = 0
Y

4
_
=Y

4
_
=0
s=y+

4

_
Y

+Y = 0
Y

(0) =Y

2
_
=0

n
=4n
2
, Y
n
=
_
cos 2n
_
y+

4
_
_
, n=0, 1, . . .
X

+ (1
n
)X = 0 , X(0) =0 X
0
={sen} y X
n
=
_
sh
_
4n
2
1
__
si n1.
(, y) =c
0
sen+

n=1
c
n
sh
_
4n
2
1
_
cos
_
2ny+
n
2
_
_
_
_
=
= sen2y
c
0
indeterminado
c
1
sh
_
3
_
= 1
c
n
=0, n>1
Tiene, por tanto, innitas soluciones: = Csen +
sh(

3)
sh(

3)
sen2y .
Evidentemente no se podr demostrar la unicidad haciendo uso de la frmula de Green.
Operando como en 1.3, si
1
y
2
son soluciones del problema, su diferencia satisface:
=
1

2

_
+=0
==0
==0

__
D
_
+
2
_
=
__
D

__
D
||||
2
= 0 ??
59
Para resolver los problemas en crculos nos interesa expresar el Laplaciano en
polares ( =r cos , y=r sen). Como,

r
=

cos +
y
sen ;
rr
=

cos
2
+2
y
sencos +
yy
sen
2

r
2
sen
2
2
y
r
2
sencos +
yy
r
2
cos
2

rcos
y
rsen

=
rr
+
1
r

r
+
1
r
2

f
R
( )

Resolvamos el problema de Dirichlet homogneo en un crculo:

[P
3
]
_
= 0, en r <R
(R, ) = () , [0, 2)
(r, ) = R(r)()
r
2
R

+rR

R
=

=
_

+ = 0
r
2
R

+rR

R = 0
Parece que no hay condiciones para la , pero est claro que la solucin (r, )
debe ser 2-peridica en , es decir, debe ser (0) =(2) ,

(0) =

(2) .
Este problema de Sturm-Liouville peridico tiene por autovalores y autofunciones:

n
=n
2
, n=0, 1, 2, . . . ,
0
() =
_
1
_
,
n
() =
_
cos n, senn
_
.
Las soluciones correspondientes de R son (ecuaciones de Euler):
R
0
(r) =c
1
+c
2
lnr y R
n
(r) =c
1
r
n
+c
2
r
n
si n1 .
Parece lgico imponer por argumentos fsicos que la solucin debe permanecer
acotada cuando r 0 (matemticamente la solucin tambin debe estarlo si
debe ser de clase 2), as que debe ser c
2
=0 en ambos casos. Por tanto, probamos
soluciones de la forma:
(r, ) =

o
2
+

n=1
r
n
_

n
cos n +b
n
senn
_
Debe ser: (R, ) =

o
2
+

n=1
R
n
_

n
cos n +b
n
senn
_
= () , [0, 2)

n
=
1
R
n
_
2
0
() cos nd , n=0, 1, . . . , b
n
=
1
R
n
_
2
0
() sennd , n=1, 2, . . .
Sustituyendo estos coecientes en la serie y operando formalmente:
(r, ) =
1
2
_
2
0
_
1 +2

n=1
r
n
R
n
cos n()
_
() d
Vamos a sumar la serie:
1+2

n=1
r
n
cos n
R
n
= 1+

n=1
_
re

R
_
n
+

n=1
_
re

R
_
n
= 1+
re

Rre

+
re

Rre

=
R
2
r
2
R
2
+r
2
2Rr cos
.
Por tanto, la solucin de [P
3
] se puede expresar:
(r, ) =
R
2
r
2
2
_
2
0
() d
R
2
2Rr cos( ) +r
2
frmula integral de Poisson
Haciendo aqu r =0 (o mirando la serie) deducimos que (0, ) =
1
2
_
2
0
() d :
si =0, el valor de en el centro de un crculo es el valor medio de sobre su borde.
Habra que probar que la de la serie (o la integral) es realmente solucin de [P
3
].
Se demuestra que si es continua a trozos, la tiene innitas derivadas en r <R
(aunque sea discontinua), que en ese abierto es =0 y que alcanza el valor de
contorno con continuidad en los en que es continua (y sigue habiendo unicidad,
cosa que vimos en 1.3 slo si era continua). [La situacin es totalmente anloga
para [P
1
], Dirchlet en rectngulo].
[El problema exterior en r >R lo veremos en 4.4, para compararlo con el del espacio].
60
Vamos con el problema de Dirichlet no homogneo en el crculo. En vez de
tratarlo en general, resolvemos un problema concreto.
1
[P
4
]
_

rr
+

r
r
+

r
2
= 4, en r <1
(1, ) = cos 2
Podramos descomponerlo en dos (el de =0 lo acabamos de estudiar), pero lo
resolvemos directamente. Como en todo problema no homogneo probamos una
serie con las autofunciones del problema homogneo:
(r, ) =
0
(r) +

n=1
_

n
(r) cos n +b
n
(r) senn
_

0
+
1
r

0
+

n=1
_
_

n
+
1
r

n
2
r
2

n
_
cos n +
_
b

n
+
1
r
b

n
2
r
2
b
n
_
senn
_
= 4 ,
que, por suerte, ya est desarrollada en esta familia de autofunciones.
[Si en vez de un 4 tuvisemos una F(r, ) cualquiera, la desarrollaramos en senos
y cosenos, mirando la r como constante e identicaramos ambos miembros].
Habr, pues, que resolver las ecuaciones de Euler:
r

0
+

0
= 4r , r
2

n
+r

n
n
2

n
= 0 , r
2
b

n
+rb

n
n
2
b
n
= 0.
La condicin (1, ) =cos 2 (tambin desarrollada ya) impone que:
b
n
(1) =0 n;
2
(1) =1;
n
(1) =0, n=2.
La acotacin cuando r 0 ser la otra condicin necesaria para determinar la
solucin de cada EDO de segundo orden. Para la de
0
necesitamos una solucin
particular, que se puede hallar con la frmula de variacin de las constantes:
_
_
_
_
1 lnr
0 1/ r
_
_
_
_
=
1
r
,
0p
=lnr
_
14dr
1/ r

_
lnr4dr
1/ r
= r
2
.
o, mejor, tanteando, pues (porque la de coecientes constantes asociada la tiene
de la forma Ae
2s
) sabemos que tiene una
0p
=Ar
2
( 2A+2A=4 , A=1). As:

0
= c
1
+c
2
lnr +r
2
acotada
c
2
= 0

0
(1)=0
c
1
= 1
Para
2
:

2
= c
1
r
2
+c
2
r
2
acotada
c
2
= 0

2
(1)=1
c
1
= 1
No necesitamos imponer los datos en la solucin del resto de ecuaciones homog-
neas para asegurar ya que el resto de
n
y las b
n
son cero ( 0 es solucin y no
hay ms por tener un problema de Dirichlet solucin nica). La solucin de [P
4
] es:
(r, ) = r
2
1 +r
2
cos 2
[Se podra escribir en cartesianas: = 2
2
1].
Como otras veces, un buen cambio simplica el problema. Por ejemplo, podemos
en este caso buscar una solucin (r) de la ecuacin no homognea resolviendo

+
1
r

= 4. La solucin ms sencilla de esta ecuacin de Euler es =r

2
.
=
_
= 0, en r < 1
(1, ) = cos 2 1
De la serie de la pgina anterior obtenemos, sin ms que identicar coecientes,
que la solucin de este problema es:
(r, ) = r
2
cos 2 1
lo que nos lleva de forma mucho ms rpida a la solucin de antes.
_
Utilizando funciones de Green se dar en 5.2 una frmula integral para
_
=F , r <R
(R,) =
que generalizar la frmula de Poisson de la pgina anterior
_
.
61
Resolvamos ahora el problema de Neumann homogneo en un crculo:
f( )

[P
5
]
_
= 0, en r <R

r
(R, ) = () , [0, 2)
Como el problema de contorno y la ecuacin de Euler son las
mismas que en Dirichlet, la solucin que probamos es:
(r, ) =

o
2
+

n=1
r
n
_

n
cos n +b
n
senn
_
pero ahora es diferente la condicin de contorno que falta:

r
(R, ) =

n=1
nR
n1
_

n
cos n +b
n
senn
_
= () , [0, 2)

n
=
1
nR
n1
_
2
0
() cos nd , b
n
=
1
nR
n1
_
2
0
() sennd , n=1, 2, . . .
siempre que no tenga trmino independiente el desarrollo en senos y
cosenos de () ; es decir, una condicin necesaria para que el problema se
pueda resolver por este mtodo es que se cumpla:
_
2
0
() d = 0
_
conrma lo visto en 1.3: deba ser
_
D
ds =
__
D
F ddy = 0
_
.
Adems,
o
queda indeterminado [Neumann siempre tiene unicidad salvo constante].
Ej 4.
_
= 0 en r <1

r
(1, ) =sen
3

r
(1, ) =

n=1
n
_

n
cos n+b
n
senn
_
= sen
3
=
3sen
4

sen3
4
.
No hay que hacer integrales: b
1
=
3
4
, b
3
=
1
12
y los dems cero.
Por tanto: (r, ) = C +
3
4
r sen
1
12
r
3
sen3, C cualquiera.
Y ahora resolvemos uno de Neumann no homogneo en un semicrculo:
[P
6
]
_
= F(r, ) , en r <1, 0<<

r
(1, ) =

(r, 0) =

(r, ) =0
Como para este problema no hemos resuelto el homogneo, debemos comenzar
hallando sus autofunciones. Conocemos la ecuacin en que sale al separar va-
riables. Junto a las condiciones de contorno nos dar dichas autofunciones:
_

+ = 0

(0) =

() =0

n
=n
2
,
n
() =
_
cos n
_
, n=0, 1, 2, . . .
(r, ) = R
o
(r) +

n=1
R
n
(r) cos n
_
La serie con cosenos y senos del [P
4
] no cumple
los datos de contorno; aqu no hay periodicidad.
_

R
o
+
1
r
R

0
+

n=1
_
R

n
+
1
r
R

n
2
r
2
R
n
_
cos n = F(r, ) = B
o
(r) +

n=1
B
n
(r) cos n ,
con B
o
(r) =
1

0
F(r, ) d y B
n
(r) =
2

0
F(r, ) cos nd .
Basta, pues, resolver: rR

o
+R

o
=
_
rR

o
_

= rB
o
(r) y r
2
R

n
+rR

n
n
2
R
n
=r
2
B
n
(r) ,
ambas con los datos de contorno (singulares): R
n
acotada en r =0 y R

n
(1) =0.
Si n1 el problema homogno (y, por tanto, el no homogneo) tiene solucin R
n
nica (aunque el problema sea singular, vale lo que vimos en 3.3). Pero si n0:
rR

o
+R

o
=0 R
o
=c
1
+c
2
lnr
R acotada

(1) = 0
R
oh
={1}
Existen
innitas soluciones
ninguna solucin
R
o
del no homogno segn sea
_
1
0
rB
o
(r)dr
=0
=0
.
_
Concuerda una vez ms con 1.3. Deba ser:
_
1
0
_

0
rF(r, ) ddr = 0
_
.
62
0
Resolvemos para acabar con Laplace en polares dos problemas con
condiciones mixtas. El primero va a ser homogneo.
[P
7
]
_
=0, r <1,
_
0,

2
_

r
(1, ) = ()

(r, 0) = (r,

2
) = 0

+=0,

(0) =
_

2
_
=0
r
2
R

+rR

R=0
Los autovalores y autofunciones son conocidos:
n
=(2n1)
2
,
n
=
_
cos(2n1)
_
n=1, 2, . . . .
Resolviendo para esos
n
la ecuacin en R y exigiendo que est acotada en r =0:
(r, ) =

n=1
c
n
r
2n1
cos(2n1)

n=1
(2n1) c
n
cos(2n1) = ()
c
n
=
4
[2n1]
_
/ 2
0
() cos(2n1) d , n=1, 2, . . . (solucin nica).
El recinto siguiente no incluye el origen. La condicin implcita de estar acotada en
ese punto es sustituida por un dato explcito en r =1:

Ej 5.
_
= 0, 1<r <2, 0<<
(1, ) = (2, ) = (r, 0) = 0,

(r, ) = r
2
Aparentemente es un problema homogneo, pero ya dijimos
que las condiciones de contorno para Laplace en polares que deben ser homogneas
son las de la . Necesitamos una que las cumpla. Claramente =r
2
lo hace:
=
_
= 4, 1<r <2, 0<<
(1, ) =, (2, ) =4
(r, 0) =

(r, ) = 0
Las autofunciones del homogno las dar el problema de contorno:
_

+ = 0
(0) =

() =0

n
=
[2n1]
2
4
,
n
() =
_
sen
[2n1]
2
_
, n=1, 2, . . .
Probamos entonces la serie: (r, ) =

n=1
R
n
(r) sen
[2n1]
2

n=1
_
R

n
+
1
r
R

[2n1]
2
4r
2
R
n
_
sen
[2n1]
2
= 4 = 4

n=1
B
n
sen
[2n1]
2
con B
n
=
2

0
sen
[2n1]
2
d =
2[1]
n
[n1/ 2]
2
De los datos no homogneos deducimos las condiciones para las R
n
:

n=1
R
n
(1)
n
() =

n=1
B
n

n
() ,

n=1
R
n
(2)
n
() =

n=1
4B
n

n
()
Resolvemos pues: r
2
R

n
+rR

_
n
1
2
_
2
R
n
= 4B
n
r
2
con R
n
(1) =B
n
, R
n
(2) =4B
n
.
R
np
=Ar
2
[ =2 no autovalor] A=
B
n
4(n1/ 2)
2
R
n
= c
1
r
n1/ 2
+c
2
r
(n1/ 2)
+Ar
2
c. contorno
c
1
=
[2
q+2
1][B
n
A]
2
2q
1
, c
2
=
2
q
[2
q
4][B
n
A]
2
2q
1
, llamando q=n
1
2
.
Simplicando un poco:
R
n
(r) =
2[1]
n
q
2
[q
2
4][2
2q
1]
_
[2
q+2
1]r
q
+2
q
[q
2
4]r
q
[2
2q
1]r
2
_
La solucin nal es = r
2
+ donde la es la serie de arriba con los R
n
dados por
esta expresin.
63
4.4. Algunos problemas en tres variables
Comenzamos estudiando las series de Fourier dobles, de teora semejante a
las de una variable (las triples, que apareceran en problemas con 4 variables, son
tambin similares).
Sean X
m
() , [, b] e Y
n
(y) , y[c, d] las autofunciones de dos problemas de
Sturm-Liouville con pesos respectivos r() y s(y) , y sea (, y) C
1
_
[, b][c, d]
_
.
Entonces, para cada (, y) (, b)(c, d) se puede escribir como la serie:
(, y) =

m=1

n=1
c
nm
X
n
Y
m
con c
nm
=
1
X
n
, X
n

1
Y
m
, Y
m

_
b

_
d
c
(, y) X
m
Y
n
r s dyd
_
, designa, desde luego,
_
b

r d
_
d
c
s dy
_
.
pues para jo se puede poner (, y) =

m=1
C
m
() Y
m
, C
m
() =
(, y) , Y
m

Y
m
, Y
m

,
y con C
m
() =

n=1
c
nn
X
n
, c
nm
=
C
m
(), X
n

X
n
, X
n

se tiene la expresin de arriba.

[Se llega a lo mismo, desde luego, desarrollando primero en X
n
y luego en Y
m
].
En particular, se tienen los desarrollos en series trigonomtricas dobles de una
funcin C
1
_
[0, L][0, M]
_
:
(, y) =

n=1

m=1
b
nm
sen
n
L
sen
my
M
con b
nm
=
4
LM
_
L
0
_
M
0
(,y) sen
n
L
sen
my
M
dy d
(, y) =
1
4

00
+
1
2

n=1

n0
cos
n
L
+
1
2

m=1

0m
cos
my
M
+

m=1

n=1

nm
cos
n
L
cos
my
M
con
nm
=
4
LM
_
L
0
_
M
0
(, y) cos
n
L
cos
my
M
dy d
[O los desarrollos parecidos en

sencos

cos sen, o con series en senos y cosenos].
[Los factores
1
4
y
1
2
son, como siempre, para que la frmula valga tambin si n=0 m=0].
Ej 1. Desarrollemos (, y) = cos y , en [0, ][0, ] de dos formas:
cos y =

n=1

m=1
b
nm
sennsenmy con b
nm
=
4

2
_

0
_

0
cos y sennsenmy dy d
cos y =
16

n=1

m=1
[1]
n+1
m
n[4m
2
1]
sennsen2my

nm
=
4

2
_

0
_

0
cos y cos ncos my dy d =
_
_
_
0 si m=1
si m=1, n=0
2[(1)
n
1]/ (n
2
) si m=1, n>0

cos y =

2
cos y
4

n=1
1
(2n1)
2
cos[2n1] cos y [ya estaba desarrollado en y ].
[La igualdad entre y su serie se da en los puntos de continuidad de la extendida,
de forma impar en el primer caso y par en el segundo, en cada variable hasta [, ]
y luego de forma 2-peridica; as, la serie en senos converge hacia cos y en el lado
=0 del cuadrado [0, ][0, ] , pero no lo hace en los otros lados; la serie en cosenos,
en cambio, converge (uniformemente) en todo el cuadrado, incluido el borde].
64
Resolvamos separando variables varios problemas (homogneos) en 3 variables.
Primero, la ecuacin del calor en un cuadrado: estudiamos la evolucin de las
temperaturas de una placa (dadas las iniciales) si el borde se mantiene a 0
o
:
0
0
0
0
0
!
!
_
_
_

t
k[

+
yy
] = 0, (, y) (0, )(0, ) , t >0
(, y, 0) = (, y)
(, 0, t) = (, , t) = (0, y, t) = (, y, t) = 0
Buscamos soluciones: (, y, t) = X()Y(y)T(t) XYT

k[X

Y+XY

]T = 0
X

X
=
1
k
T

T

Y

Y
=
_
X

+X = 0
Y

Y
= +
1
k
T

T
=
_
Y

+Y = 0
T

+k[+]T = 0
[Como en 2 variables, dejamos para la T la expresin ms complicada].
Las condiciones de contorno exigen: X(0) =X() =Y(0) =Y() =0 . As pues:
_
=n
2
, X
m
={senn}, n=1, 2, . . .
=m
2
, Y
n
={senmy}, m=1, 2, . . .
T
nm
=
_
e

_
n
2
+m
2
_
kt
_
.
Cualquier
nm
(, y, t) =
_
e

_
n
2
+m
2
_
kt
sennsenmy
_
satisface la ecuacin y todas
las condiciones de contorno, as como lo hace cualquier combinacin lineal de ellas.
Esto nos lleva a probar la serie:
(, y, t) =

n=1

m=1
b
nm
e

_
n
2
+m
2
_
kt
sennsenmy
que debe satisfacer adems: (, y, 0) =

n=1

m=1
b
nm
sennsenmy = (, y)
b
nm
=
4

2
_

0
_

0
(, y) sennsenmy ddy , n, m1.
[Como en la varilla, aqu tambin 0 cuando t ].
Ahora, Laplace en un cubo con condiciones de contorno mixtas (cuya solucin
se nica como los similares del plano):
_
_
_
= 0 en (0, )(0, )(0, )
(, y, 0) = (, y)
=0 en =0, =, z=

y
=0 en y=0, y=
=XYZ
Y
Y
+
Z

Z
=
X

X
=
Z

Z
=
Y
Y
=
_
X

+X=0, X(0) =X() =0

Y

+Y =0, Y

(0) =Y

() =0
Z

[+]Z=0, Z() =0

_
=n
2
, X
n
={senn}, n=1, 2, . . .
=m
2
, Y
m
={cos my}, m=0, 1, . . .
Z
mn
=
_
sh
_
_
n
2
+m
2
[z]
_
_

(, y, z) =
1
2

n=1
c
n0
sh
_
n[z]
_
senn
+

m=1

n=1
c
nm
sh
_
_
n
2
+m
2
[z]
_
senncos my
Como (, y, 0) = (, y) , los c
nm
son:
c
nm
=
4

2
sh
_

n
2
+m
2
_
_

0
_

0
(, y) senncos my dy d
n = 1, 2, . . .
m = 0, 1, . . .
65
Resolvamos el problema de Dirichlet en una esfera. En los libros de clculo en
varias variables se encuentra la expresin del laplaciano en esfricas:
r

=r sencos
y=r sensen
z=r cos
_
=
rr
+
2
r
r
+

r
2
+
cos

senr
2
+

sen
2
r
2
Veamos primero el caso con datos independientes de :
_

rr
+
2
r

r
+
1
r
2
_

+
cos
sen

_
= 0, r <R
(R, ) = () , [0, ]
que, de hecho, es un problema con dos variables. Podemos buscar entonces so-
luciones que tampoco dependan de . Separando variables:
=R(r) ()
_
r
2
R

+2rR

R = 0

+
cos
sen

+ = 0
El cambio s =cos
_

=sen
d
ds
,

=sen
2

d
2

ds
2
cos
d
ds
_
lleva la segunda
ecuacin a:
_
1s
2
_
d
2

ds
2
2s
d
ds
+ = 0 , ecuacin de Legendre.
Imponemos que est acotada en s = 1 [ = 0, polos de la esfera]. Los
autovalores de este problema singular (citado en 3.1) son
n
=n(n+1) , n=0, 1, . . .
y sus autofunciones son los polinomios de Legendre:
_
P
n
(s)
_
=
_
P
n
(cos )
_
_
P
0
=1 , P
1
=s , P
2
=
3
2
s
2

1
2
, P
3
=
5
2
s
3

3
2
s , . . .
_
Para estos valores de :
r
2
R

+2rR

n(n+1)R=0
2
+n(n+1) =0 = n, (n+1)
R
n
=c
1
r
n
+c
2
r
(n+1)
R acotada
R
n
={r
n
}, n=0, 1, . . .
Probamos entonces:
(r, ) =

n=0

n
r
n
P
n
(cos ) (R, ) =

n=0

n
R
n
P
n
(cos ) = ()

n
=
2n+1
2R
n
_

0
() P
n
(cos ) send , n=0, 1, . . . ,
pues el peso es r() =sen
_
(sen

+sen=0
_
y de los P
n
se sabe que:
_

0
_
P
n
(cos )
_
2
send
s=cos
=
_
1
1
_
P
n
(s)
_
2
ds =
2
2n+1
Ej 2. Si R=1 y () =cos
2
se tiene:
n
=
2n+1
2
_
1
1
s
2
P
n
(s) ds .
As pues:
0
=
1
2
_
1
1
s
2
ds =
1
3
,
2
=
5
2
_
1
1
_
3
2
s
4

1
2
s
2
_
ds =
2
3
, y los dems
n
=0
(ya que P
1
es impar (
1
=0), y para desarrollar s
2
bastan P
0
, P
1
y P
2
).
La solucin es, por tanto, (r, ) =
1
3

1
3
r
2
+r
2
cos
2

_
=
1
3
_
1
2
y
2
+2z
2
_ _
.
Para un dato como este se podran determinar los coecientes tanteando:
cos
2
=
2
3
_
3
2
cos
2

1
2
_
+
1
3

2
=
2
3
,
0
=
1
3
, como antes.
_
Para resolver problemas con trminos no homogneos F(r, ) en la ecuacin,
se probara como siempre una serie de autofunciones: =

n=0

n
(r) P
n
(cos )
_
.
66
Pasemos ahora a resolver, con menos detalles, el problema general en 3 variables:
_

rr
+
2
r

r
+
1
r
2
_

+
cos
sen

+
1
sen
2

_
= 0, r <R
(R, , ) = (, ) , [0, ] , [0, 2)
Vamos en este caso a separar primero la parte radial y la que depende de los dos ngulos:
=R(r) Y(, )
_
r
2
R

+2rR

R = 0
Y

+sen
_
senY

+sen
2
Y = 0
Separando ahora la parte angular: Y(, ) = () ()
_

+ = 0
_
sen

+
_
sen

sen
_
=0
La solucin ha de ser 2-peridica en :
m
=m
2
,
m
() =
_
cos m, senm
_
, m=0, 1, . . .
Llevando estos
m
a la otra ecuacin y haciendo como antes s=cos se tiene:
d
ds
_
(1s
2
)
d
ds
_
+
_

m
2
1s
2
_
= 0 , acotada en s=1.
La EDO, nueva para nosotros, se llama ecuacin asociada de Legendre. Si m=0 es la
de Legendre y las autofunciones eran los P
n
. Se prueba que los autovalores del problema
singular son tambin
n
=n(n+1) , y sus autofunciones estn relacionadas con ellos:
P
m
n
(s) =
_
1s
2
_
m/ 2 d
m
ds
m
P
n
(s) , con mn
_
P
0
n
=P
n
, P
1
1
=sen , P
1
2
=3sencos , P
2
2
=3sen
2
, . . .
_
Y
m
n
(, ) =
_
cos mP
m
n
(cos ) , senmP
m
n
(cos )
_
, n=0, 1, ... , m=0. . . n.
_
Y
0
0
=
_
1
_
, Y
0
1
=
_
cos
_
, Y
1
1
=
_
sencos , sensen
_
, Y
0
2
=
_
3
2
cos
2

1
2
_
,
Y
1
2
=
_
3sencos cos , 3sencos sen
_
, Y
2
2
=
_
3sen
2
cos 2, 3sen
2
sen2
_
, . . .
_
Las soluciones acotadas en r =0 para esos
n
son como antes R
n
={r
n
}.
Los armnicos esfricos son las soluciones de la ecuacin de Laplace
m
n
= r
n
Y
m
n
(, ) .
_
Hay libros que llaman armnicos esfricos a los Y
m
n
, otros a mltiplos concretos de los Y
m
n
. . .
_
.
Con ellos formamos la serie:
(r, , ) =

n=0
r
n
_

n0
P
n
(cos ) +
n

m=1
_

nm
cos m +b
nm
senm
_
P
m
n
(cos )
_

n0
=
2n+1
4R
n
_
2
0
_

0
(, ) P
n
(cos ) sendd ,

nm
=
(2n+1)(nm)!
2(n+m)!R
n
_
2
0
_

0
(, ) cos mP
m
n
(cos ) sendd
b
nm
=
(2n+1)(nm)!
2(n+m)!R
n
_
2
0
_

0
(, ) senmP
m
n
(cos ) sendd
, m1
puesto que se cumple
_
1
1
_
P
m
n
(t)
_
2
dt =
2
2n+1
(n+m)!
(nm)!
.
Ej 3. Para R=1 y (, ) =sen
2
sen
2
. Buscamos identicar como en el ejemplo 2.
Debe ser: (, ) =
1
2
sen
2

1
2
sen
2
cos 2 =
1
2

1
2
cos
2

1
2
sen
2
cos 2
=
1
3

1
3
_
3
2
cos
2

1
2
_

1
2
sen
2
cos 2 =
1
3
Y
0
0

1
3
Y
0
2

1
2
Y
2
2
.
Por tanto,
00
=
1
3
,
20
=
1
3
,
22
=
1
2
y los otros son cero. La solucin es, pues:
=
1
3

1
3
r
2
_
3
2
cos
2

1
2
_

1
2
r
2
sen
2
cos 2 .
Escrita en cartesianas: =
1
3

1
2
z
2
+
1
6
_

2
+y
2
+z
2
_

1
2
_

2
y
2
_
=
1
3

1
3

2
+
2
3
y
2

1
3
z
2
,
funcin que cumple =0 y que cuando
2
+y
2
+z
2
=1 vale y
2
_
= (, ) si r =1
_
.
67
Veamos ahora el problema exterior de Dirichlet para Laplace en el crculo y en la
esfera con simetra (con datos independientes de ). Para que haya unicidad, las
condiciones en el innito han de ser distintas:
plano: espacio:
_
= 0, si r >R
(R, ) = () , 0<2
acotada cuando r
_
= 0, si r >R
(R, ) = () , 0
0 cuando r
Separando variables se llega a las mismas
n
que en los problemas interiores:
{
n
}={cos n, senn}, n=0, 1, . . . {
n
}={P
n
(cos )}, n=0, 1, . . .
Pero hay que elegir diferentes R
n
, para las nuevas condiciones en el innito:
n=0, c
1
+c
2
lnr R
0
={1}
n>0, c
1
r
n
+c
2
r
n
R
n
={r
n
}
n=0, c
1
+c
2
r
1
R
0
=
_
r
1
_
n>0, c
1
r
n
+c
2
r
(n+1)
R
n
=
_
r
(n+1)
_
_
En el plano ningn R
0
0, y en el espacio estn acotadas tanto 1
como r
1
; tender a 0 nos dejara sin soluciones en el plano y pedir
acotacin dara innitas en el espacio
_
.
Probando las series correspondientes e imponiendo (R, ) = () , se obtiene que
las soluciones respectivas son estas series con los coecientes indicados:
(r, ) =

0
2
+

n=1
r
n
_

n
cos n+b
n
senn
_
(r, ) =

0
r
+

n=1

n
r
(n+1)
P
n
(cos )

n
=
R
n

_
2
0
() cos nd, n=0, 1, . . .
b
n
=
R
n

_
2
0
() sennd, n=1, 2, . . .

n
=
(2n+1)R
n+1
2
_

0
() P
n
(cos ) send
n=0, 1, . . .
Ej 4. Hallemos la solucin en ambos casos cuando () = constante.
Basta mirar las series para deducir las soluciones en ambos casos:
= en el plano. =
R
r
en el espacio.
[Interpretemos estos resultados mirndolos como soluciones estacionarias de la ecuacin del
calor. Si mantenemos la supercie de una bola de radio R constantemente a
o
, la temperatura
que tenderan a tener todos los puntos del espacio sera R/ r , disminuyendo con la distancia a
la bola. Para el primer caso, en vez de imaginarnos en un mundo bidimensional, situmonos en
el espacio con datos y soluciones independientes de la variable z : si toda la supercie de un
cilindro innito de radio R se mantiene a
o
, todo el espacio tender a tener esa temperatura].
[Si nos plantesemos el problema en el interior r <R, es inmediato ver que la solucin, tanto
en el plano como en innito, es =].
Ej 5. Sea R=1 y () = cos
2
. Resolvamos y comparemos con las soluciones en r <1.

En el plano, la serie del interior y exterior llevan a la misma condicin:

(1, ) =

0
2
+

n=1
_

n
cos n+b
n
senn
_
=
1
2
+
1
2
cos 2
=
1
2
+
1
2
r
2
cos 2 (interior) , =
1
2
+
1
2r
2
cos 2 (exterior) .
_
En cartesianas =
1+
2
y
2
2
y =
1
2
+

2
y
2
2(
2
+y
2
)
2
, respectivamente
_
.
Para el espacio, el interior ya se ha resuelto en el ejemplo 2. Y en el exterior la condicin
que aparece al hacer r =1 vuelve a coincidir con la del interior.
Las soluciones respectivas son, pues:
=
1
3

1
3
r
2
+r
2
cos
2
(interior) , =
1
3r

1
3r
3
+
1
r
3
cos
2
(exterior) .
68
Si los problemas esfricos llevan a Legendre, los cilndricos
(Laplace en polares ms otra coordenada, t en calor y ondas,
z en Laplace) llevan a Bessel, como sucede en los problemas
de vibracin de una membrana circular (de un tambor).
Como hicimos con Laplace en la esfera, para empezar trata-
mos el caso ms sencillo con 2 variables en el que la vibracin no depende de .
Y para simplicar an ms suponemos que inicialmente es
t
=0:
_
_
_

tt

rr
+
1
r

r
_
= 0, r 1, t R
(r, 0) = (r),
t
(r, 0) = 0
(1, t) = 0
[Las vibraciones con simetra
radial en el espacio , como se
vio en 3.1, son mas sencillas].
= RT
T

T
=
R

+
R

r
R
=
__
rR

+rR=0, R acotada en 0, R(1) =0

T

+T = 0, T

(0) =0
_
cos(

t)
_
El problema de contorno singular para la R fue visto al nal de 3.1. Recordemos
que con s=r

desapareca y la ecuacin pasaba a ser una de Bessel:

sR

(s)+R

(s)+sR(s) =0 R = c
1
J
0
(s)+c
2
K
0
(s) = c
1
J
0
_
r

_
+c
2
K
0
_
r

_
Imponiendo los datos se tenan los autovalores
n
tales que J
0
_
_

n
_
=0,
y las autofunciones asociadas R
n
=
_
J
0
_
r
_

n
_
_
.
Nos falta imponer la condicin inicial que falta a la serie:
(r, t) =

n=1
c
n
cos
_
_

n
t
_
J
0
_
r
_

n
_

n=1
c
n
J
0
_
r
_

n
_
= (r)
Este desarrollo ya lo discutimos en el ltimo ejemplo de 2.2. All vimos que era:
c
n
=
2
J
2
1
_
_

n
_
_
1
0
r (r) J
0
_
r
_

n
_
dr
Ej 6. Hallemos si (r) =1r
2
la integral
_
1
0
(rr
3
) J
0
(r
n
) dr ,
n
=
_

n
, que dene c
n
.
Haciendo s=r
n
:
_
1
0
=
1

2
n
_

n
0
s J
0
(s)ds
1

4
n
_

n
0
s
3
J
0
(s)ds .
La primera primitiva es inmediata, pues
_
s J
1
_

= s J
0
. La segunda, por partes:
_
s
2
s J
0
ds = s
3
J
1
2
_
s
2
J
1
ds = s
3
J
1
2s
2
J
2
= (s
3
4s) J
1
+2s
2
J
0
,
ya que
_
s
2
J
2
_

= s
2
J
1
y J
n+1
=
2n
s
J
n
J
n1
. Y como J
0
(
n
) =0 concluimos:
_
1
0
=
4

3
n
J
1
(
n
) (r, t) =

n=1
8

3
n
J
1
(
n
)
cos(
n
t) J
0
(
n
r) .
Pese a su aspecto complicado, est solucin no lo es mucho ms que la

k
n
cos(nt) sen(n)
que se obtendran para la cuerda vibrante con datos similares (lo resolvimos en 3.1).
En muchos libros (o en programas tipo Maple o Sage) se pueden encontrar los ceros
n
de J
0
:
{
n
} 2.4048256, 5.5200781, 8.6537279, 11.791534, 14.930918, . . .
y los valores de J
1
(
n
) : 0.519147, 0.340265, 0.271452, 0.232461, 0.206547, . . .
Necesitamos slo un programa que reconozca la J
0
para dar valores o hacer dibujos aproximados
de la solucin. Por ejemplo, utilizando los 5 primeros trminos de la serie, podemos (con Maple
en este caso) aproximar y dibujar (0, t) :
(0, t) 1.108cos(2.405t) 0.1398cos(5.520t)
+ 0.04548cos(8.654t) 0.02099cos(11.79t)
+ 0.01164cos(14.93t)
Las vibraciones de un tambor, a diferencia de lo que pasa
a una cuerda, no son peridicas (los
n
no son mltiplos
exactos unos de otros).
69
Para acabar esta seccin, tratemos el problema ms general y complicado en 3 variables:
_
_
_

tt
c
2
_

rr
+
1
r

r
+
1
r
2

_
= 0, r 1, t R
(r, , 0) = (r, ),
t
(r, , 0) = 0
(1, , t) = 0
= RT
T

c
2
T
=
R

+
R

r
R
+
1
r
2

=
r
2
R

+rR

R
+r
2
=

=
_
_
_

+=0, 2-peridica
m
=m
2
, m=0, 1... ,
m
={cos m, senm},
0
={1}
T

+c
2
T = 0, T

(0) =0
_
cos[

ct]
_
r
2
R

+rR

+ [r
2
]R = 0, R acotada en 0
Para = m
2
consideramos el problema de contorno singular para R:
_
r
2
R

+rR

+ [r
2
m
2
]R = 0
R acotada en 0, R(1) =0
Haciendo s=r

desaparece como siempre y la ecuacin se convierte en Bessel:

s
2
R

(s)+sR

(s)+[s
2
m
2
]R(s) =0
R = c
1
J
m
(s)+c
2
K
m
(s) = c
1
J
m
_
r

_
+c
2
K
m
_
r

_
R acotada c
2
= 0 . Los autovalores sern los que hagan J
m
_

_
=0 , que son una
sucesin innita para cada m:
m
1
, . . . ,
m
k
, . . .
Y las autofunciones son R
mk
=
_
J
m
_
r
_

m
k
_
_
. As que probamos:
(r, , t) =
1
2

k=1
c
0k
J
0
_
r
_

0
k
_
cos
_
c
_

0
k
t
_
+

m=1

k=1
[c
mk
cos n+d
nk
senn] J
m
_
r
_

m
k
_
cos
_
c
_

m
k
t
_

1
2

k=1
c
0k
J
0
_
r
_

0
k
_
+

m=1

k=1
[c
mk
cos n+d
nk
senn] J
m
_
r
_

m
k
_
= (r, )
Para r jo, (r, ) =
1
2
A
0
(r) +

m=1
_
A
m
(r) cos m+B
m
(r) senm
_
, con
A
m
(r) =
1

_
2
0
(r, ) cos md, m=0, 1, . . . ,
B
m
(r) =
1

_
2
0
(r, ) senmd, m=1, 2, . . . .
Desarrollando:
A
m
(r) =

k=1
c
mk
J
m
_
r
_

m
k
_
, B
m
(r) =

k=1
d
mk
J
m
_
r
_

m
k
_
Teniendo en cuenta que
_
1
0
r J
2
m
_
r
_

m
k
_
dr =
1
2
J
2
m+1
_
_

m
k
_
,
se llega a la expresin denitiva para los coecientes:
c
nk
=
2
J
2
m+1
(
_

m
k
)
_
1
0
_
2
0
r (r, ) cos n J
m
_
r
_

m
k
_
dr d
d
nk
=
2
J
2
m+1
(
_

m
k
)
_
1
0
_
2
0
r (r, ) senn J
m
_
r
_

m
k
_
dr d
70