4.

Separacin de variables
Este amplio captulo se dedica a uno de los ms antiguos mtodos de resolucin
de EDPs lineales (el de separacin de variables) que nos permitir dar la solucin
(en forma de serie de Fourier) de gran parte de los problemas clsicos citados en
el captulo 1, en concreto de los planteados en un intervalo finito en una de las
variables. Resolveremos la ecuacin del calor con varias 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 problemas no resolubles por este mtodo.
En la seccin 4.1 resolveremos problemas para la ecuacin del calor en 2 variables.
Empezaremos con problemas homogneos (aquellos en que son homogneas
ecuacin y condiciones de contorno; si estas no lo son, primero haremos un cambio
de variable). Bsicamente esta ser la tcnica utilizada: buscaremos soluciones de
la EDP que sean productos de funciones de cada variable (, t) = X()T(t) y que
 

cumplan todas las condiciones homogneas; obtendremos infinitas soluciones de

ese tipo resolviendo un problema de Sturm-Liouville (casi siempre para X 00+X = 0)
y otra EDO; construiremos una serie a partir de ellas (, t) = cn Xn ()Tn (t) ,
P

cuyos coeficientes cn se fijarn imponiendo la condicin inicial an no utilizada

(bastar hacer un desarrollo de Fourier). La presencia de series exigira justificar las
cuestiones de convergencia, pero no entraremos en ello. Despus trataremos los
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 infinita resultante de EDOs lineales no homogneas con las
condiciones que se deducen de las condiciones iniciales, se obtendr la solucin.
En 4.2 haremos lo mismo para la ecuacin de ondas, aprovechando para comparar
resultados con los obtenidos en 1.4 a travs de extensiones y de la frmula de
DAlembert. Veremos tambin un ejemplo para ondas en el espacio.
En la seccin 4.3 utilizaremos la separacin de variables para resolver problemas
para la ecuacin de Laplace (homognea y no homognea) tanto en coordena-
das rectangulares 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 im-
poner a la otra variable sern aqu de contorno (que en polares bastantes veces
no estan escritas explcitamente como hasta ahora). 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 4.5).
En 4.4 extenderemos el mtodo de separacin de variables a algunos problemas
con tres variables. La tcnica ser muy parecida una vez definidas 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 fun-
ciones 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).
En 4.5 veremos brevemente las funciones de Green, primero en problemas de
contorno para EDOs. Se escribir la solucin del problema no homogneo en
trminos de una integral con el trmino no homogneo y la funcin de Green
G(, s) , construida con las soluciones del homogneo. Luego se generalizar G
para dar las soluciones en trminos de integrales de la ecuacin de Laplace en
recintos sencillos, introduciendo el concepto de solucin fundamental (funcin
tal que = ) y utilizando el llamado mtodo de las imgenes,

49
4.1. Separacin de variables para el calor
Resolvamos varios problemas para la ecuacin del calor. En el primero, con ecua-
cin y datos homogneos, los extremos de la varilla se mantienen a 0 grados y los
datos iniciales vienen dados por una que suponemos C1 a trozos en [0, L]:

 t k = 0 , (0, L), t > 0 [1]

Sea [P1 ] (, 0) = () [2]
(0, t) = (L, t) = 0 [3]

Busquemos soluciones de la forma (, t) = X() T(t) . Debe ser entonces:

X 00 T0 kX 00 0

XT 0 kX 00 T = 0 , es decir, X = kT mejor que X
= TT .

Como el primer miembro es funcin slo de y el segundo lo es slo de t ambos

deben ser iguales a una constante:
X 00 1 T0
X
= k T = (ponemos para que nos quede la ecuacin habitual).

X 00 + X = 0 [4]

As obtenemos una EDO para X() y otra para T(t) : .
T 0 + 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, aqu 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
 00
n2 2
n = 2 , Xn = sen n

, n = 1, 2, . . . .
X(0) = X(L) = 0 L L

[Si el intervalo para la fuese no acotado, no saldra un problema de contorno

de los de 3.1; se utiliza entonces la transformada de Fourier de 1.5].
Llevando estos valores de a la ecuacin [5] obtenemos:
2 2 2 2 2

T 0 = knL2 T Tn = ekn t/ L .

Hemos deducido hasta ahora que para cada n las funciones

2 2 2

n (, t) = ekn t/ L 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
finita de estas n tambin cumple [1] y [3]. Pero consideremos la serie infinita:

2 2 t/ L2
(, t) = cn n (, t) = cn ekn sen n
X X
L
[6]
n=1 n=1

y supongamos que converge y que satisface tambien [1] y [3]. Si queremos que
adems se cumpla la condicin inicial [2] debe ser:
RL
cn sen n = () cn = 2
() sen n
X
L L 0 L
d , n = 1, 2, ... [7]
n=1

pues la serie es precisamente la serie de Fourier en senos en [0, L] de . Hemos

hallado la solucin nica de [P1 ]: la serie [6] con coeficientes dados por [7].

50
Pero deberamos comprobar que la convergencia es suficientemente buena para asegurar
que realmente cumple el problema (una suma infinita de funciones derivables podra ser
no derivable). Si es C1 a trozos, se prueba que la serie converge en [0, L] (0, ) , que
define una funcin C en esa regin y que t y se pueden hallar derivando trmino
a trmino (y as se satisface la ecuacin). En = 0 y = L es claro que se anula. Y la
condicin inicial se cumple en este sentido: la (, t) definida por la serie para t > 0 y por
(, 0) = () es una funcin continua salvo en los puntos de t = 0 en que es discontinua.
Aunque sea discontinua, la solucin es C para cualquier t > 0 arbitrariamente pequeo:
a diferencia de lo que ocurre con las ondas, las discontinuidades desaparecen en el calor
instantneamente, como ya dijimos al resolverla con la F en la recta infinita.

Como cada n 0 y es buena la convergencia, se tiene: (, t) 0 [0, L]

t t
(la varilla tiende a ponerse a 0 grados, como era de esperar).

Suponemos ahora que las condiciones de contorno son no homogneas:

 t k = 0 , (0, L), t > 0
[P2 ] (, 0) = ()
(0, t) = T1 , (L, t) = T2 , T1 , T2 constantes

Comenzaremos siempre haciendo cero las condiciones de contorno si no lo son.

[Si separsemos variables directamente en [P2 ] llegaramos a X(0) T(t) = T1
(y otra anloga para = L ), expresin de la que no deduciramos nada].

Una () que las satisface es la recta: = 1 L T1 +

 
T
L 2
.
Haciendo = , nuestro problema se convierte en otro como el [P1 ]:
 t k = 0 , (0, L), t > 0
(, 0) = () () . Por tanto:
(0, t) = (L, t) = 0

2 2 t/ L2
(, t) = 1 L T1 +
+ cn ekn sen n = + ,
  X
L
T 2 L
n=1

RL
con cn = 2
L 0
() () sen n
L
d , n = 1, 2, . . .

Esta () tiene un significado 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 T1 y T2 fuesen funciones de t , la (, t) definida arriba (la misma que citamos
resolviendo la cuerda finita por DAlembert) seguira cumpliendo las condiciones de
contorno. Pero la ecuacin para la obtenida haciendo el cambio sera, en general,
no homognea, es decir, del tipo de las que vamos a resolver a continuacin. Dicha
, funcin de t , pierde adems su significado fsico.
No perdamos de vista que para otros datos de contorno diferentes habr que hallar
(, t) diferentes. Algunas veces no dependern de , otras sern rectas como aqu,
quizs haya que probar parbolas o mejor otras funciones...].

u(x,0) distr.
t = 0 , (0, 1), t > 0 1
estac. 1

Ej 1.
(, 0) = 1 , (0, t) = 1 , (1, t) = 0 w(x,0)

2 X (1)n+1 2
2 t
Operando se llega a: = 1 + n
en sen(n)
n=1

que tiende hacia la distribucin estacionaria () = 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 influye].
[A la derecha, el dibujo (hecho con Maple) de la solucin para
t = 0.001,0.01,0.1,1 (utilizando 20 sumandos de la serie)].

51
Veamos cmo resolver el problema no homogneo con datos homogneos:
 t k = F(, t) , (0, ), t > 0
[P3 ] (, 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, ] ).
[Si las condiciones de contorno de [P3 ] fuesen no homogneas empezaramos como
en [P2 ] con un cambio = para conseguir que lo fuesen].

Las autofunciones del [P1 ] eran {sen n} , n = 1, 2, . . . Probamos en [P3 ] la siguiente

serie (relacionada con la ecuacin) que ya satisface las condiciones de contorno:

(, t) = Tn (t) sen n con las Tn (t) funciones a determinar.
X

n=1

[Si no se hubiesen hallado antes las autofunciones del homogneo, se comenzara

calculndolas. En un problema no homogneo siempre se prueba una serie de
autofunciones del homogneo].
2
[Si tomsemos Tn = cn ekn t , funciones que aparecieron resolviendo el [P1 ], la
satisfara la ecuacin con F 0 ; as que debemos darle ms libertad a las Tn para
conseguir, al meter la serie en la ecuacin, una F
6 0 ].
Suponiendo que la serie se puede derivar trmino a trmino:

Tn0 (t) + kn2 Tn (t) sen n = F(, t) = Bn (t) sen n
X  X

n=1 n=1

2 R
con Bn (t) = 0
F(, t) sen n d (desarrollo de F en senos para t fijo).

Entonces para cada n debe ser: Tn0 + kn2 Tn = Bn (t) .

Y del dato inicial deducimos, desarrollando en serie:
R
(, 0) = Tn (0) sen n = () Tn (0) = cn , con cn = 2 () sen n d .
X

n=1
0

Hallando la solucin nica de esta familia de problemas con la EDO lineal para Tn :

Tn + kn2 Tn = Bn (t)
 0

Tn (0) = cn

(utilizando la frmula de las lineales de primer orden o, a veces, mejor por tanteo),
obtenemos la Tn (t) y, con ello, la solucin de [P3 ].
[Como siempre faltara comprobar (justificando la convergencia) que esta serie es
solucin de verdad, que es realmente lo que sucede si y F son decentes].

Otra posibilidad de resolver [P3 ] sera descomponerlo en dos subproblemas algo

ms sencillos [P1 ] y [PF ], el primero con F = 0 (ya resuelto) y el otro con = 0 :
 t k = 0  t k = F(, t)
[P1 ] (, 0) = () [PF ] (, 0) = 0
(0, t) = (, t) = 0 (0, t) = (, t) = 0

La solucin F de [PF ] se hallara como arriba, simplemente sustituyendo los datos

iniciales Tn (0) = cn por los homognos Tn (0) = 0 .
La solucin de [P3 ] (gracias a la linealidad de la ecuacin y de las condiciones
iniciales y de contorno) sera la suma de esta F y de la serie solucin de [P1 ] que
obtuvimos anteriormente.
[Normalmente descomponer en subproblemas es una prdida de tiempo. Quizs slo
pueda ser til si alguno de ellos estuviese ya resuelto, como es nuestro caso].

52
Resolvemos ahora el problema homogneo para la varilla con extremos aislados:
 t k = 0 , (0, L), t > 0
[P4 ] (, 0) = ()
(0, t) = (L, t) = 0

Separando variables (es la misma ecuacin) aparecen, claro, las mismas EDOs del
problema [P1 ]. Pero ahora cambian las condiciones de contorno de la X :

X + X = 0
 00
2 2
n = nL2 , n = 0, 1, 2, . . . , Xn = cos n X0 = {1} .
  
X (0) = X (L) = 0
0 0 L

2 2 2 
Para estos valores de se tienen las Tn = ekn t/ L T0 = {1} .
 

co 2 2 t/ L2
(, t) = cn ekn cos n
X
As pues, probamos la serie: + L
2 n=1

co
Queremos que se satisfaga la condicin inicial: (, 0) = cn cos n = () .
X
+ L
2 n=1

Los cn desconocidos sern los coeficientes de la serie de Fourier en cosenos de :

RL
cn = 2
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 [ co / 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:
co RL
2
= 1L 0 () d

Si los datos de contorno hubiesen sido (0, t) = F0 (t) , (L, t) = FL (t) (flujo dado
en los extremos), en general, no se puede encontrar una (, t) que sea una recta
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 con las autofunciones del homogneo que hemos hallado:

(, t) = T0 (t) + Tn (t) cos n
X
L
,
n=1

y resolveramos las EDOs que surgiran, con los datos iniciales deducidas del dato
inicial de la EDP.

 t = 0 , (0, 1), t > 0 Tanteando con = A2 + B obtenemos que

Ej 2. (, 0) = 0 = 2 cumple las condiciones de contorno.
(0, t) = 0 , (1, t) = 2 Y haciendo = 2 se tiene el problema:
 t = 2

(, 0) = 2 = T0 (t)+ Tn (t) cos n T00 + [Tn0 +n2 2 Tn ] cos n = 2
X X

(0, t) = (1, t) = 0 n=1 n=1

[funcin que ya est desarrollada en cosenos].

R1
T0 (0) + Tn (0) cos n = 2 = 31 + n cos n , con n = 2 2 cos n d
X X
0
n=1 n=1

T00 = 2 Tn0 + n2 2 Tn = 0
 
, . Resolviendo y deshaciendo el cambio se llega a
T0 (0) = 31 Tn (0) = n
4 X (1)
n
1 2
2 t
(, t) = 2t + 2 3
2 2
en cos n
n=1 n

[ pues por el extremo derecho estamos constantemente metiendo

calor: su flujo va en sentido opuesto al gradiente de temperaturas].

53
Ms ejemplos de separacin de variables para el calor o EDPs similares. El primero es no
homogneo. Y sus condiciones de contorno no nos han aparecido aqu todava:

t = t sen , 0, 2 , t > 0


Para saber qu solucin probar, necesitamos
Ej 3. las autofunciones del homogneo. Al separar
(, 0) = (0, t) = 2 , t = 0


variables en t = 0 vimos que apareca:
X 00 +X = 0 (adems de T 0 +T = 0 que ahora no nos importa). Esto, con las condiciones
X(0) = X 0 2 = 0 que salen de los datos de contorno nos da (problema conocido en 3.2)

dichas autofunciones: Xn = sen(2n 1) , n = 1, 2, . . . Llevamos, pues, a la ecuacin:




(, t) = Tn (t) sen(2n 1) Tn0 + (2n 1)2 Tn sen(2n 1) = t sen .
X X 
n=1 n=1

La F(, t) de la derecha ya est desarrollada en esas autofunciones (no hay que integrar).
Hemos obtenido las ecuaciones ordinarias: T10 + T1 = t y Tn0 + (2n 1)2 Tn = 0 , n > 1 .

Del dato inicial deducimos: (, 0) = Tn (0) sen(2n 1) = 0 Tn (0) = 0 n .
X

n=1

T10 + T1 = t

T1 = Cet + et et t dt = Cet + t 1
R
La nica Tn 6 0 saldr de:
T1 (0) = 0 - 
O ms corto: Tnp = At + B A+ At + B = t .


Imponiendo T1 (0) = 0 , hallamos T1 y la solucin nica: (, t) = (et + t 1) sen .

[La serie solucin slo tiene un trmino y no hemos necesitado integrales para dar
los cn y Bn . Esto ocurrir si las o F son autofunciones o sumas finitas de ellas].

El siguiente nos sirve para reflexionar sobre las que hacen cero las condiciones de con-
torno (siempre necesario).

 t 4 = 0 , (0, ), t > 0 Tenemos tambin probada (en 1.3) su unicidad.

Ej 4. (, 0) = 1 Una que cumple las condiciones de contorno
(0, t) = 0, (, t) = e4t salta a la vista: (t) = e4t . Haciendo = :
t 4 = [t 4 ] [t 4 ] = 4e4t

[problema no homogneo].
(, 0) = (0, t) = (, t) = 0
Aqu las autofunciones las da X 00 + X = 0 con X 0 (0) = X() = 0 , lo que nos lleva a:

(2n1) (2n1)
(, t) = Tn (t) cos Tn0 + (2n 1)2 Tn cos = 4e4t
X X 
2
2
n=1 n=1

Tn0 + (2n 1)2 Tn = Bn e4t


R (2n1) 16(1)n+1
, con Bn = 2 4 cos 2
d = (2n1)
.
Tn (0) = 0 (del dato inicial) 0

Resolvemos la EDO lineal utilizando coeficientes indeterminados: Tnp = Ae4t

2 Bn e4t Tn(0)=0 16(1)n+1
2

Tn = Ce(2n1) t + (2n1) 2 4 Tn (t) = (2n3)(2n1)(2n+1) e4t e(2n1) t .

Podramos encontrar una mejor que no estropee la homogeneidad de la ecuacin?

Buscamos (, t) que tambin la cumpla. Al separar variables vimos que es solucin,
para todo , el producto de soluciones de X 00 + X = 0 y de T 0 + 4T = 0 . En particular,
A, B lo es: = e4t (A cos + B sen ) . Imponiendo a esta los datos de contorno:
 t 4 = 0
[problema homogneo y,
= e 4t cos (, 0) = 1+ cos
=+ por tanto, ms sencillo]
(0, t) = (, t) = 0

2 (2n1) (2n1)
(, t) = cn e(2n1) t cos (, 0) = = 1+ cos
X X
2
cn cos 2
n=1 n=1
R (2n1) 2(1)n

cn = 2 0
(1+ cos ) cos 2
d =
1
2n+1
1
+ 2n3 2
2n1 .

Evidentemente, deben coincidir las soluciones halladas por los dos caminos:

(2n1) 2 (2n1)
= e4t + Tn (t) cos y = e4t cos + cn e(2n1) t cos
X X
2 2
.
n=1 n=1

[Observemos que las soluciones tienden a 0 cuando t . Esto era esperable, pues uno
de los extremos est aislado y al otro le obligamos a tener una temperatura que tiende a 0 ].

54
En este, la condicin de = 0 representa la radiacin libre hacia un medio a 0 (el flujo de
calor es proporcional a la temperatura: si es positiva el calor sale y entra si es negativa). En
= 1 fijamos el flujo de calor que sale de la varilla (al ser > 0 , es hacia la izquierda).

t k = 0 , (0, 1), t > 0 Vimos en 1.3 que tiene solucin nica. Lo primero,

(, 0) = ()

como siempre, es hacer homogneas las condicio-

Ej 5.
(0, t) (0, t) = 0, > 0 nes de contorno. Tanteando con rectas = M+N ,
(1, t) = 1

se llega a que las satisface:

t k = 0

= + 1 , =
(, 0) = () 1 , (0, t) (0, t) = (1, t) = 0
Separando variables se llega a T 0 + kT = 0 y al problema de contorno:
00
X + X = 0
que sabemos que no tiene autovalores < 0 .
X 0 (0) X(0) = X 0 (1) = 0
c c = 0
2 1
Si = 0 : X = c1 + c2 = 0 no autovalor.
c2 = 0
p
Si > 0 : X = c1 cos + c2 sen , = tan w
c2 c1 = 0


c2 = c1
c2 cos c1 sen = 0
a/w
c1 ( cos sen ) = 0 tn = . !
0 w1 w2 w3 w4
Esta ecuacin transcendente nos da los infinitos
n = n2 > 0 (aproximables numricamente).

Las autofunciones son: cos n + sen n ,
n

aunque quedan ms compactas escritas en la forma: Xn = cos n ( 1) .



Yendo a la ecuacin en T : Tn = en kt = cn en kt Xn () .
 X

n=1

Imponiendo el dato inicial se determinan los cn [seran aproximados al serlo los n ]:

R 1
4n
cn Xn () = () 1 cn = 2 +sen () 1 Xn () d ,
X 
n 2n 0
n=1
R1 2 1
pues 0 Xn () d = 21 + 4 1 
sen 2n ( 1) 0 .
n
x + 1a-
S es calculable exactamente la distribucin estacionaria hacia la
que tienden las temperaturas en la varilla: a
crece
1 1
(, t) = (, t) + +
+
cuando t
[La temperatura final de la varilla, como era esperable, es menor cuanto
mayor sea el , es decir, cuanto ms fuertemente irradie su extremo]. 0 1

En los dos ltimos ejemplos que tratamos vemos que se puede aplicar el mtodo de sepa-
racin de variables para otras ecuaciones separables (y no slo para la del calor).

t + 2 = 0 , 0, , t>0 [El trmino +2 representa una prdida

Ej 6. 2
(, 0) = cos 5, (0, t) = 2 , t = 0


de calor al medio a lo largo de la varilla].
damos el 2
X 00 0
Separando variables: (, t) = X()T(t) X
= TT + 2 = mejor a la T

X 00 + X = 0 (0, t) = X 0 (0)T(t) = 0 X 0 (0) = 0


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

 00
X + X = 0  
2
= (2n 2 , X = cos(2n 1) T = e 2+(2n1) t

n 1) n n
X 0 (0) = X 2 = 0


n = 1, 2, . . .

Probamos pues: (, t) = cn e[2+(2n1)
2
]t
X
cos(2n 1) .
n=1

Y, por el dato inicial: (, 0) = cn cos(2n 1) = cos 5 c3 = 1 y los otros 0 .
X

n=1

As pues: (, t) = e27t cos 5 .

[Se puede ver casi igual que para el calor que la solucin es nica; o bien, haciendo = e2t
se obtiene un problema para el calor con esos datos, cuya unicidad ya demostramos].

55
Hasta ahora la EDO del problema de Sturm-Liouville siempre ha sido X 00 +X = 0 , y, por eso,
las series de Fourier eran todas con peso r() = 1 . Resolvamos un ejemplo para una EDP
parecida a la del calor en el que aparece otra ecuacin ordinaria para la que es necesario
utilizar la teora ms general del captulo 3.

t 4 4 = 0 , (0, ), t > 0 ms corto ahora aqu

Ej 7. .
T0 X 00 +4X 0
(, 0) = e2 , (0, t) = (, t) = 0 = XT T
=
+4 =

00 + 4X 0 + (4+ )X = 0
0
en forma autoadjunta e4 X 0 + 4e4 X+ e4 X = 0 y T 0 + T = 0 .


X(0) = X() = 0
p
Hay que resorver el problema de contorno (y debemos tratar los < 0 ). = 2 .
cc cc
< 0 : X = c1 e(2+p) + c2 e(2p) X 0 . = 0 : X = (c1 + c2 ) e2 X 0 .
c1 = 0
> 0 : X = (c1 cos + c2 sen ) e2 , , n = n2 , Xn = {e2 sen n}
c2 e2 sen = 0
n = 1, 2, . . .

2
Probamos pues la solucin: (, t) = cn en t e2 sen n . Falta el dato inicial:
X

n=1

(, 0) = e2 sen n = e2 .
X
cn Aunque hay atajos seguimos con la teora general:
n=1
R
Para calcular los cn necesitamos hallar Xn , Xn = 0 e4 e4 sen2 n d = 2 ,
R  1(1)n
y adems: e2 , Xn = 0 e4 e2 e2 sen n d = 1n cos n 0 = n
.
2t
4 e(2m1)
X
Por tanto, la solucin es: (, t) = 2m1
e2 sen(2m 1) .
m=1

Veamos ahora los atajos. El primero es observar que la igualdad de (, 0) equivale a:

R
cn sen n = 1 (desarrollo de 1 en senos) cn = 2 0 sen n d (clculado arriba).
X

n=1

El segundo viene de recordar (1.2) que cambios = ept+q simplifican la ecuacin.

Podramos tantear, pero en este caso todo pide hacer:
= e2 t = e2 t , = e2 [ 2] , = e2 [ 4 + 4]
t = 0

, problema cuya solucin ya calculamos (pg. 50).
(, 0) = 1, (0, t) = (, t) = 0

56
4.2. Separacin de variables para ondas
Resolvamos el problema para la cuerda vibrante con extremos fijos (en 1.4 lo
resolvimos extendiendo los datos y aplicando la frmula de DAlembert):
 tt c2 = 0 , [0, L], t R
[P1 ] (, 0) = (), t (, 0) = g()
(0, t) = (L, t) = 0

Separando variables = X()T(t) e imponiendo los datos de contorno obtenemos:

2 2

X 00 1 T 00 X 00 + X = 0 , X(0) = X(L) = 0 n = nL2 , Xn = sen n

= = L
X c2 T T 00 + c2 T = 0 n = 1, 2, . . .

Las Tn correspondientes son combinaciones lineales de sen nct L

y cos nct
L
.

As, funciones de la forma: n (, t) = kn cos nct
L
+ cn sen nct
L
sen n
L
, n = 1, 2, . . .

satisfacen la EDP y las condiciones de contorno. Probamos, pues:

(, t) = kn cos nct + nct
sen n
X
L
c n sen L L
n=1

con kn y cn constantes. Para que se cumplan las condiciones iniciales:

RL
(, 0) = kn sen n = () kn = 2
() sen n
X
L L 0 L
d , n = 1, 2, ...
n=1

y suponiendo que la serie se puede derivar trmino a trmino:

RL
nc
t (, 0) = cn sen n = g() cn = 2
g() sen n
X
L L nc 0 L
d , n = 1, 2, ...
n=1
nc
pues L
cn son los coeficientes 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 C2 y C1 , 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 infinita 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.

= 0 , [0, 1], t R u(x,0)
tt

(Ejemplo 5 de 1.4 que poda
f
, 01/ 2
Ej 1. (, 0) = representar la pulsacin de
1 , 1/ 21
la cuerda de una guitarra). 1/2 x
t (, 0) = (0, t) = (L, t) = 0

0 1

Basta copiar de arriba: (, t) =
X
kn cos nt sen n (2-peridica),
n=1
R 1/ 2 R1
con kn = 2 0 sen n d+ 2 1/ 2 (1 ) sen n d = n24 2 sen n
2
( = 0 si n par).

(Pulsando la cuerda en el centro desaparecen los armnicos pares).

57
  tt = 0 , [0, 2], t R Hallemos (1, 2) y (, 1) , con DAlembert y se-
Ej 2. (, 0) = 2 , t (, 0) = 0 parando variables. En ambos casos, lo primero es
(0, t) = 0 , (2, t) = 4 hacer las condiciones de contorno homogneas.

La (, t) = 1 L h0 (t) +
h (t)
 
L L
citada en 1.4 (y en la seccin anterior) es adecuada:
 tt = 0 , [0, 2] 1

= 2 , = 2 (, 0) = 2 2 , t (, 0) = 0 .
(0, t) = (2, t) = 0 -2
1
2 4

Para DAlembert ebemos extender de forma impar 2

x 2x
-1
y 4-peridica a definida en R:
. . . , (+ 2) en [2, 0] , ( 2) en [0, 2] , ( 4)( 2) en [2, 4] , . . .

La solucin viene dada por = 21 [ (+ t)+ ( t)] . Por tanto:

(1, 2) = 12 (3)+ (1) = 12 (1)+ (1) = (1) = 1 (1, 2) = 3 .
   
4per impar
Para hallar (, 1) aparecen dos casos (se podra ver con los dominios de dependencia):
 0 1 , 1 [( 1)(+ 1) + (+ 1)( 1)] = 0
(, 1) = 12 (+ 1)+ ( 1) = (, 1) = 2 .

2
1
12 , 2
[( 1)( 3) + ( 3)( 1)] = 0
[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:

R2
(, t) = kn cos nt sen n con kn = 0 (2 2) sen n 16
d = 3 3 [cos n 1]
X
2 2 2 n
n=1

(2m1)t (2m1)
(, t) = 32 1
X
3 (2m1)3
cos 2
sen 2
.
m=1

Para t = 1 todos los cosenos se anulan, con lo que (, 1) = 0 (como por DAlembert).

(1)m+1 3

Adems (1, 2) = 32 = 1 1 1
deducimos que 1 3 + 3 3 + = 32 .
X
3 (2m1) 3 1 ; 3 5 7
m=1

tt = , [0, ], t R

X
Ej 3. (, t) = Tn (t) sen n
(, 0) = t (, 0) = (0, t) = (, t) = 0 n=1

Esta serie ya se anula en = 0 y = . Adems debe cumplirse:

R 2[1] n+1 2[1] n+1
Tn00 + n2 Tn = 2 0 sen n d = n
Tn = c1 cos nt + c2 sen nt + n3
.

[1] n+1
(, 0) = t (, 0) = 0 Tn (0) = Tn0 (0) = 0 (, t) = 2 [1 cos nt] sen n .
X
n3
n=1

De otra forma: podramos conseguir un problema homogneo hallando una solucin

de la ecuacin () que cumpla las condiciones de contorno:
(0)=()=0
00 = = c1 + c2 16 3 = 16 2 3 .

Con = , acabamos en [P1 ], con () = () y g() = 0 , con lo que:

[1] n 1 R 2[1] n
= 61 2 3 + 2 3 2 sen n d = n3 .

X

n3
cos nt sen n , pues 3 0
n=1

Aunque las series anteriores dan la solucin (, t) , el problema es obtener (sin orde-
nador) informacin sobre ellas. Por ejemplo, qu aspecto tendr:

4
(, ) = sen (2m 1) = 16 2 3 + 2
X
X
(2m1)3 n3
sen n ?
m=1 n=1

Esto es fcil decirlo con DAlembert en este caso. La solucin del problema en es:

(, ) = 21 (+ )+ ( ) , con extensin impar y 2-peridica de .

 

Por la periodicidad y mantener la expresin en [, 0] por ser impar:

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

parbola invertida con su mximo en = 2 fcil de dibujar.

58
Se pueden imponer otros tipos de condiciones de contorno (como las del calor) a la cuerda
vibrante, que tambin dan lugar a problemas resolubles separando variables. La condicin
= 0 significa que el extremo de la cuerda se mueve con libertad verticalmente (se puede
imaginar una anilla engrasada al final 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 en 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].

= 0 , [0, 2], t R

tt

sen , [0,] Hallemos (, 2) , por DAlembert
Ej 4. (, 0) = 0 , t (, 0) =
0, [,2] y separando variables.
(0, t) = (2, t) = 0

g*
tt = 0, , t R

con g par y 4-peridica. 2 0 2 4
(, 0) = 0, t (, 0) = g ()
R +2 R 2 R
(, 2) = 21 2 g = 21 2 g = 0 sen s ds = 2

[la integral en un periodo de una funcin peridica no depende del intervalo].
2
Separando variables: X 00 + X = 0 , X 0 (0) = X 0 (2) = 0 n = n4 , Xn = cos n

2
, n = 0, 1, . . .
T 00 + n T = 0 T0 = {t} 0

nt n
(, t) = t+
X
n sen cos
T(0) = 0 Tn = sen nt

, n1 2 2 2
2 n=1

0
(, 2) = 0 . Basta hallar este coeficiente. t (, 0) = + n 2n cos n
= g()
X
2 2
n=1

2 R 2 1R
0 = 2 0
g= 0
sen d = 2 (, 2) = 2 .
[Obsrvese que la solucin tiende a cuando t . Como est subiendo
inicialmente y los extremos estn libres, la cuerda asciende indefinidamente].

En el siguiente ejemplo, consideramos una ecuacin con un trmino ms aadido

a la de ondas (que podra representar un rozamiento con el medio):

 tt + 4t = 0, [0, ], t R
Como la ecuacin es nueva, debemos
Ej 5. (, 0) = sen 2
comenzar separando variables:
t (, 0) = (0, t) = (, t) = 0
 00
T 00 +4T 0 00 + X = 0
= XT X[T 00 + 4T 0 ] X 00 T = 0 = XX =
t X(0) = X() = 0
p
n = n2 , n = 1, 2, . . . , Xn = {sen n} T 00 + 4T 0 + n2 T = 0 , r = 2 4 n2
p p
T1 = c1 e(2+ 3)t
+ c2 e(2 3 ) t , T2 = (c1 + c2 t) e2t ,
p p
Tn3 = e2t c1 cos n2 4 t + c2 sen n2 4 t .

Probamos, pues, (, t) = Tn (t) sen n . Slo faltan las condiciones iniciales:
X

n=1

(, 0) = Tn (0) sen n = sen 2
X
ecuacin homognea
n=1
Tn (t) 0 , si n 6= 2 con datos nulos
.
t (, 0) = Tn0 (0) sen n = 0
X

n=1

T2 (0) = c1 = 1
Slo es no nula T2 , para la que = (1+ 2t) e2t sen 2 .
T20 (0) = c2 2c1 = 0
[La cuerda con rozamiento tiende a pararse].

59
Para la ecuacin de ondas en el plano o el espacio y coordenadas no cartesianas
(y tambin para la del calor), aparecen ecuaciones que no son X 00 + X = 0 y se
debe (como en el ejemplo 7 de 4.1) manejar la teora 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 c2 = 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) fijando 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 citada en 1.4). En concreto, vamos a resolver
el siguiente problema homogneo (vibraciones entre dos superficies esfricas):

2
tt rr r r = 0, 1 r 2, t R

[P2 ] (r, 0) = (r) , t (r, 0) = g(r)

(1, t) = (2, t) = 0

0
R00 + 2R rR00 + 2R0 + rR = 0

r T 00
Separando variables: (r, t) = R(r)T(t) = T =
R T 00 + T = 0
Las condiciones de contorno imponen: R(1) = R(2) = 0 .
Vimos la ecuacin de R en 3.1 (all asociada a un problema singular, aqu es regular
pues estamos en el intervalo [1, 2] ). Se resolva haciendo el cambio de variable:
n = n2 2 , n = 1, 2, . . .
00
S + S = 0 r=s+1 S00 + S = 0

S = rR Rn = senrnr


S(1) = S(2) = 0 S(0) = S(1) = 0 Sn = {sen ns}
Y para esos valores de las soluciones para T son Tn = {cos nt, sen nt} .
 sen nr
= kn cos nt + cn sen nt
X 
Probamos, pues: r
.
n=1

kn senrnr = (r) y ncn senrnr = g(r) .
X X
Las condiciones iniciales imponen:
n=1 n=1

Para hallar los coeficientes del desarrollo de una funcin en las autofunciones Rn (r)
0
debemos utilizar el peso del problema de Sturm-Liouville: r 2 R0 + r 2 R = 0 .


R2 2 R2
Como Rn , Rn = 1 r 2 senr 2nr dr = 12 y , Rn = 1 r 2 (r) senrnr dr , concluimos que:
R2 2 R2
kn = 2 1
r (r) sen nr dr y cn = n 1
r g(r) sen nr 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:

kn sen nr = r (r) y ncn sen nr = rg(r) .
X X

n=1 n=1

De hecho, todo el problema se hubiera simplificado notablemente si hubiramos

utilizado inicialmente el cambio de variable que hicimos en 1.4:
 tt rr = 0
= r (r, 0) = r (r), t (r, 0) = rg(r) , problema casi igual al de la pgina 57.
(1, t) = (2, t) = 0

[Las ondas en plano con simetra radial satisfacen tt rr 1r r = 0 y la ecuacin en

R es rR00 +R0 +rR = 0 , que (lo vimos en 3.1) est asociada a las funciones de Bessel].

60
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:
fb(x)
= F(, y) , en (0, ) (0, b) b

[P1 ] (, 0) = o (), (, b) = b () go(y) ga(y)

(0, y) = go (y), (, y) = g (y)

0 fo(x) a
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, conviene 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) (, y) = X()Y(y) X 00 Y + XY 00 = 0

(, 0) = o () X + X = 0
 00
00 00
(, b) = (0, y) = (, y) = 0 XX = YY =
Y 00 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
2 2
n = n2 , Xn = sen n

, n = 1, 2, . . . .

Para esos n es Yn = c1 eny/ +c2 eny/ . La condicin homognea an no aplica-

da (, b) = 0 impone Y(b) = 0 . Nos interesan las Yn que la cumplen:

n[by]
c2 = c1 e2nb/ Yn = c1 enb/ en[yb]/ en[by]/ Yn = sh

n[by]
(, y) = sen n
X
Probamos entonces: cn sh
n=1

Para satisfacer la condicin de contorno no homognea que falta:

R
(, 0) = cn sh nb sen n = o () cn sh nb = 2 0 o () sen n
X

d
n=1

Anlogamente se resuelven los otros 3 subproblemas con F 0 de [P1 ]. En uno de

ellos volvemos a tener las Xn de antes, y en los otros dos es Y (con condiciones
ny
de contorno homogneas) la que proporciona las autofunciones Yn = sen 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 ]:

ny
(, y) = Yn (y) sen n (, y) = Xn () sen
X X

b
n=1 n=1

[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 ].

61
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).

= F(, y) , en (0, ) (0, )


[P2 ]
y (, 0) = y (, ) = (0, y) = (, y) = 0

Separando variables en la ecuacin homognea llegamos, desde luego, a las mis-

mas ecuaciones que en [P1 ]: X 00 + X = 0 , Y 00 Y = 0 . Las condiciones de contorno
obligan a que X 0 (0) = X 0 () = 0 , Y 0 (0) = Y 0 () = 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) = X0 () + Xn () cos ny
X

n=1

B0 () R
X000 + [Xn00 n2 Xn ] cos ny = + Bn () cos ny , Bn () = 2
X X
2 0
F(, y) cos ny dy
n=1 n=1

Debemos resolver los infinitos problemas de contorno para EDOs:

R
X000 = 21 B0 = 1 0 F(, y) dy ; Xn00 n2 Xn = Bn , n 1 ; con Xn0 (0) = Xn0 () = 0 .

Las Xn con n 1 quedan determinadas de forma nica (el problema homogneo,

como sabemos desde 2.1, tiene slo la solucin trivial).
Pero X000 = 0 , X00 (0) = X00 () = 0 tiene soluciones no triviales {1} , con lo que,


R
segn 3.3, para que haya solucin para X0 es necesario que sea 0 1B0 () d = 0 .
R R
Es decir, [P2 ] tiene solucin slo si 0 0
F(, y) d dy = 0 .

Y en ese caso tiene infinitas que difieren 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) = .

RR

El problema slo tiene solucin si F = 0 , es decir, si = 2
.

Entonces nos queda X000 = 2


por suerte, la F ya est desarrollada en {cos ny} .

Por la misma razn los Bn , y por tanto los Xn , son nulos si n 1 .

1 3 2
Integrando e imponiendo X00 (0) = X00 () = 0 obtenemos (, y) = 6
4
+C .

Si resolvemos probando = Yn (y) cos n hay que desarrollar en serie. Lo hacemos,
X

n=0

aunque aqu sea una prdida de tiempo. Los coeficientes de F = 2 en cos n son:

0 , si n = 0, 2, 4, . . .

R
Bn = 2 0 2 cos n d =


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

Y000 + [Yn00 n2 Yn ] cos n =
X X
B2m1 cos(2m 1)
n=1 m=1
 00
Y0 = 0 00 4m2 Y
2m = 0

Y2m
Y0 = C ; Y2m = 0 ;
Y00 (0) = Y00 () = 0 0 (0) = Y 0 () = 0
Y2m 2m
00
Y2m1 (2m 1)2 Y2m1 = B2m1 B
0 0 Y2m1 = (2m1)
2m1

(0) = Y2m1 () = 0
2
Y2m1

cos(2m1)

4
X
= C+ 4 , que (salvo constante) es el desarrollo de la de arriba .
(2m1)
m=1

62
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.

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

Ej 2. = X()Y(y)
(, 0) = y (, ) = (0, y) = 0 , (1, y) = 1

Y 00 + Y = 0 , Y(0) = Y 0 () = 0

2n1
2 (2n1)y

n = , Yn = sen .
X 00 X = 0 , X(0) = 0 2 2

(2n1)
Para esos es X = c1 e(2n1)/ 2 + c2 e(2n1)/ 2 Xn = sh

2
.
X(0)=0

X
Probamos (, y) = cn Xn ()Yn (y) . Imponiendo el dato (1, y) = 1 que falta:
n=1

2n1 2 R (2n1)y 4 (2n1) 

= dy =

cn sh 2 0
sen 2 (2n1)
1 cos 2


4 (2n1) (2n1)y
X
(, y) = 2n1 sh 2
sen 2
.
(2n1) sh 2
n=1

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
 00
X + X = 0 , X(0) = X(1) = 0
n = n2 2 , Xn = {sen n} , Yn = ch[n( y)] .

00 0
Y Y = 0 , Y () = 0
R1
2
= kn Xn ()Yn (y) kn Xn (0)Yn (y) = kn = ch[n
X X
2] 0
sen n d
n=1 n=1

2(1)n
X
(, y) = + n ch[n 2 ]
ch[n( y)] sen n
n=1

[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):

) 4 , 4

+ = 0
, (, y) (0,


Como es ecuacin nueva, separamos
Ej 3. y , 4 = y , 4 = 0

variables desde el principio:
X 00 00
(0, y) = 0 , (, y) = sen 2y = XY + 1 = YY =


X

s=y+ 4
 00  00
Y + Y =0
Y + Y = 0


0 0 0 0 n = 4n2 , Yn = cos 2n y+ 4 , n = 0, 1, . . .
Y 4 =Y 4 =0 Y (0) = Y 2 = 0

p
X 00 + (1 n )X = 0 , X(0) = 0 X0 = {sen } y Xn = sh 4n21 si n 1 .


c0 indeterminado
p
 p

cos 2ny+ n
X
(, y) = c0 sen + = sen 2y


cn sh 4n21
2  c1 sh 3 = 1
=
n=1 cn = 0 , n > 1
p
sh( 3 )
Tiene, por tanto, infinitas soluciones: = C sen + p sen 2y .
sh( 3 )

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:
 + = 0
= 1 2 ==0 + 2 = D 2 D ||||2 = 0 ??
RR
RR RR
D
==0

63
Para resolver los problemas en crculos nos interesa expresar el Laplaciano en
polares ( = r cos , y = r sen ). Como,
r = cos + y sen ; rr = cos2 + 2y sen cos + yy sen2

= r 2 sen2 2y r 2 sen cos + yy r 2 cos2 rcos y rsen

1 1
= rr + r r + 2
r

Resolvamos el problema de Dirichlet homogneo en un crculo:

= 0 , en r < R

R
[P3 ]
(R, ) = () , [0, 2)

00 + = 0 f ()
r 2 R00 +rR0 00
(r, ) = R(r)() = =
R r 2 R00 + rR0 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 (0) = 0 (2) .
Este problema de Sturm-Liouville peridico tiene por autovalores y autofunciones:
n = n2 , n = 0, 1, 2, . . . , 0 () = 1 , n () = cos n, sen n .
 

Las soluciones correspondientes de R son (ecuaciones de Euler):

R0 (r) = c1 + c2 ln r y Rn (r) = c1 r n + c2 r n si n 1 .
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 c2 = 0 en ambos casos. Por tanto, probamos
soluciones de la forma:

o
(r, ) = r n n cos n + bn sen n
X  
+
2 n=1

o
(R, ) = + Rn n cos n + bn sen n = () , [0, 2)
X  
Debe ser: 2
n=1

Z 2 Z 2
1 1
n = Rn
() cos n d , n = 0, 1, . . . , bn = Rn
() sen n d , n = 1, 2, . . .
0 0

Sustituyendo estos coeficientes en la serie y operando formalmente:

Z 2
1 rn

(r, ) = 1+2 cos n( ) () d
X
Rn 2 0 n=1

Vamos a sumar la serie:

re n re n

r n cos n re re R2 r 2

= 1+ + = 1+ + =
X X X
1+ 2 Rn R2 +r 2 2Rr cos
.
n=1 n=1
R
n=1
R Rre Rre

Por tanto, la solucin de [P3 ] se puede expresar:

2
() d
Z
R2 r 2
(r, ) = 2
frmula integral de Poisson
0 R2 2Rr cos( ) + r 2

1 R 2
Haciendo aqu r = 0 (o mirando la serie) deducimos que (0, ) = 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 [P3 ].

Se demuestra que si es continua a trozos, la tiene infinitas 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 [P1 ], Dirchlet en rectngulo].
[El problema exterior en r > R lo veremos en 4.4, para compararlo con el del espacio].

64
Vamos con el problema de Dirichlet no homogneo en el crculo. En vez de
tratarlo en general, resolvemos un problema concreto.
1
rr + rr + r
2 = 4 , en r < 1

[P4 ]
(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 (r) cos n + bn (r) sen n
X  

n=1

1 0 1 0 n2 1 0 n2
00 + + 00 + cos n + b00 + =4,
X    

0 r 0 n

r n
r2 n n
b
r n
b sen n
r2 n
n=1

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 identificaramos ambos miembros].
Habr, pues, que resolver las ecuaciones de Euler:
r00
0
+ 00 = 4r , r 2 00
n
+ r0n n2 n = 0 , r 2 b00
n
+ rb0n n2 bn = 0 .
La condicin (1, ) = cos 2 (tambin desarrollada ya) impone que:
bn (1) = 0 n ; 2 (1) = 1 ; n (1) = 0 , n 6= 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 ln r  R 14 dr R ln r4 dr
= 1 ,

 0 r 1/ r
0p = ln r 1/ r
1/ r
= r2 .

o, mejor, tanteando, pues (porque la de coeficientes constantes asociada la tiene

de la forma Ae2s ) sabemos que tiene una 0p = Ar 2 ( 2A+ 2A = 4 , A = 1 ). As:
acotada 0 (1)=0
0 = c1 + c2 ln r + r 2 c2 = 0 c1 = 1
Para 2 :
acotada 2 (1)=1
2 = c1 r 2 + c2 r 2 c2 = 0 c1 = 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 bn son cero ( 0 es solucin y no
hay ms por tener un problema de Dirichlet solucin nica). La solucin de [P4 ] es:

(r, ) = r 2 1 + r 2 cos 2
[Se podra escribir en cartesianas: = 22 1 ].
Como otras veces, un buen cambio simplifica el problema. Por ejemplo, podemos
en este caso buscar una solucin (r) de la ecuacin no homognea resolviendo
00 + 1r 0 = 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 identificar coeficientes,
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.
 = F , r < R
Utilizando funciones de Green se dar en 4.5 una frmula integral para
(R,) =

que generalizar la frmula de Poisson de la pgina anterior .

65
Resolvamos ahora el problema de Neumann homogneo en un crculo:

= 0 , en r < R

[P5 ]
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:
f ()

o
(r, ) = r n n cos n + bn sen n
X  
+ .
2 n=1

Pero ahora es diferente la condicin de contorno que falta:

r (R, ) = nRn1 n cos n + bn sen n = () , [0, 2)
X  
n=1

2 2
1 1
Z Z
n = () cos n d , bn = () sen n d , n = 1, 2, . . .
nRn1 0 nRn1 0

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:
R 2
() =

= =
H RR 
0
d 0 confirma lo visto en 1.3: deba ser D ds D F ddy 0 .

Adems, o queda indeterminado [Neumann siempre tiene unicidad salvo constante].

= 0 en r < 1


3 sen
r (1, ) = n n cos n+ bn sen n = sen3 = sen43
X  
Ej 4. .
r (1, ) = sen3 n=1
4

No hay que hacer integrales: b1 = 43 , b3 = 12

1
y los dems 0 , excepto 0 sin condicin.
3 1 3
Por tanto: (r, ) = C + 4
r sen 12 r sen 3 , C cualquiera.

Y ahora resolvemos uno de Neumann no homogneo en un semicrculo:

= F(r, ) , en r < 1, 0 < <


[P6 ]
r (1, ) = (r, 0) = (r, ) = 0

No hemos resuelto el homogneo. Debemos empezar hallando sus autofunciones.

Las dan la ecuacin en que sale al separar variables y los datos de contorno:
+ = 0
 00
n = n2 , n () = cos n , n = 0, 1, 2, . . .

(0) = () = 0
0 0

La serie con cosenos y senos del [P4 ] no cumple

(r, ) = Ro (r) + Rn (r) cos n
X
los datos de contorno; aqu no hay periodicidad.

n=1

n2

1 0 1 0
R00 + R + R00 +
cos n = F(r, ) = Bo (r) + Bn (r) cos n ,
X X
o r 0 n
R
r n
R
r2 n
n=1 n=1

1 R 2 R
con Bo (r) = 0 F(r, ) d y Bn (r) = 0 F(r, ) cos n d .
0
Basta, pues, resolver: rR00 + R0o = rR0o = rBo (r) y r 2 R00 + rR0n n2 Rn = r 2 Bn (r) ,

o n
ambas con los datos de contorno (singulares): Rn acotada en r = 0 y R0n (1) = 0 .
Si n 1 el problema homogno (y, por tanto, el no homogneo) tiene solucin Rn
nica (aunque el problema sea singular, vale lo que vimos en 3.3). Pero si n 0 :
R acotada
rR00
o
+ R0o = 0 Ro = c1 + c2 ln r Roh = {1}
R0 (1) = 0

rBo (r)dr 6=
infinitas soluciones R1 0
Existen ninguna solucin R o del no homogno segn sea 0 =0 .
R 1R
Concuerda una vez ms con 1.3. Deba ser: 0 0
rF(r, ) ddr = 0 .

66
Resolvemos para acabar con Laplace en polares tres problemas con condiciones mixtas
(y, por tanto, con solucin nica). Este primero va a ser homogneo.

 = 0 , r < 1 , 0,




00 + = 0 , 0 (0) = =0

2
2
Ej 5. r (1, ) = 1 0
(r, 0) = (r, 2 ) = 0 r 2 R00 + rR0 R = 0

Autovalores y autofunciones conocidos: n = (2n 1)2 , n = cos(2n 1) , n = 1, 2, . . . .



Resolviendo para esos n la ecuacin en R y exigiendo que est acotada en r = 0 :

(r, ) = cn r 2n1 cos(2n 1) r (1, ) = (2n 1) cn cos(2n 1) = 1
X X

n=1 n=1

4 R / 2 4 (2n1)
cn = (2n1) 0
cos(2n 1) d = (2n1)2
sen 2
.

[ 1 no era autofuncin para los coseno impares y haba que integrar para hallar los cn ].

4 X (1)n+1
Por tanto, la solucin es: (r, ) = (2n1)2
r 2n1 cos(2n 1) .
n=1

Los recintos siguientes no incluyen el origen. La condicin implcita de estar acotada en ese
punto es sustituida por un dato explcito en r = 1 . El primero es homogneo:

= 0 , 1 < r < 2
Ej 6.
(1, ) = 0, r (2, ) = 1+ sen
00 + = 0
Sabemos que: 2-per. n = n2 ,
n = cos n , sen n , n = 0, 1, 2, . . .


R(1)=0
R = c1 + c2 ln r R0 = ln r

Para esos : r 2 R00 + rR0 n2 R = 0 0
Rn = c1 r n + c2 r n Rn = r n r n


(r, ) = 0 ln r + r n r n [n cos n+ bn sen n]
X

n=1

r (2, ) = 0 21 + 2n1 + 2n1 [n cos n+ bn sen n] = 1 + sen
X

n
n=1

5 4
0 = 2 , b =1 (r, ) = 2 ln r + r r 1 sen .


4 1
y los dems cero 5

En el ltimo ejemplo (no homogneo) no hay datos implcitos. Todos estn a la vista:

= cos , 1 < r < 2 , 0 < < 0

Ej 7.
(1, ) = (2, ) = (r, 0) = (r, ) = 0
0

Las autofunciones del homogno las son las de [P6 ].

(r, ) = R0 (r)+ Rn (r) cos n
X
Probamos entonces la serie:
n=1

n2

1 0 1 0
Ro + R + R00 + cos n = cos [ya desarrollado].
X
r 0 n
R
r n
R
r2 n
n=1

Las condiciones para las Rn salen de las otras condiciones de contorno:

Rn (1)n () = Rn (2)n () = 0 Rn (1) = Rn (2) = 0 n .
X X

n=0 n=0

Por la unicidad de los problemas mixtos slo tendr solucin no nula:

r 2 R00
1
+ rR01 R1 = r 2 con los datos de contorno nulos de arriba.
c.c.
R1p = Ar 2 [ = 2 no autovalor] A = 31 R1 = c1 r + c2 r 1 + 31 r 2 c1 = 79 , c2 = 94 .

1 2 7
(r, ) = r 9 r + 49 r 1 cos


La solucin es, pues: 3
.

67
Hagamos varias reflexiones sobre el mtodo de separacin de variables que generalicen las
ideas que hemos venido utilizando en este captulo.
Todos los problemas que hemos visto estaban formados por una EDP lineal L[] = F , con L
lineal (es decir, L[1 + b2 ] = L[1 ] + bL[2 ] ) y unas condiciones adicionales lineales.
Para los resueltos por separacin de variables las EDPs eran separables (no todas lo son)
y los recintos que aparecieron eran simples (limitados por rbe = cte ).
Los problemas resueltos por este camino siempre tenan dos condiciones de contorno
Ck [] = hk y adems una o dos condiciones iniciales o de contorno. Para Laplace en polares
vimos que a veces las condiciones de contorno estaban implcitas (por ejemplo, en un crculo
se exiga periodicidad y, cuando el recinto inclua el origen, apareca la acotacin).
Nos hemos ocupado primero de conseguir que fuesen cero las condiciones de contorno.
En todos los problemas homogneos hemos buscado soluciones de la EDP que eran pro-
ductos, por ejemplo, = XT , y ello nos condujo a unas Xn autofunciones de un problema
de contorno y unas Tn soluciones de otra EDO homogneaP(igual si era = XY , = R ...).
Gracias a la linealidad pudimos construir la serie (, t) = cn Xn ()Tn (t) y fijamos los cn
imponiendo la condicin inicial (o condiciones, o las otras de contorno) y calculando un
desarrollo de Fourier.
Para los problemas no homogneos, buscando tambin una serie solucin, metimos en la
ecuacin una serie cuyos trminos eran productos de las autofunciones del problema
homogneo por funciones a determinar de la otra variable. Si el homogneo no haba
sido tratado previamente, primero debamos precisar esas autofunciones. Resolviendo la
familia resultante de EDOs lineales no homogneas con las condiciones que se deducen de
las condiciones iniciales (o de las otras de contorno), obtuvimos la solucin.
Pensemos tambin en general sobre la descomposicin en subproblemas y los cambios de
variable (aqu y en otros captulos). Supongamos, por ejemplo, que son 3 las condiciones
adicionales (como para el calor en la varilla finita) y que nuestro problema es de la forma:
 L[] = F
[P] M[] =
C1 [] = h1 , C2 [] = h2
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
L[] = F L[] = 0 L[] = 0 L[] = 0


M[] = 0 M[] = M[] = 0 M[] = 0

[P1 ] [P2 ] [P3 ] [P4 ]
C1 [] = 0 C1 [] = 0 C1 [] = h1 C1 [] = 0
C2 [] = 0 C2 [] = 0 C2 [] = 0 C2 [] = h2

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.
Otras veces interesa hacer la ecuacin homognea (por ejemplo, cuando no hay datos de
contorno, como en algunos problemas del captulo 1 o alguno de Laplace). Si somos capaces
de hallar una solucin particular de la ecuacin ( L[] = F ), el cambio = lleva [P] a:
 L[] = L[] L[] = 0
M[] = M[]
C1 [] = h1 C1 [] , C2 [] = h2 C2 []
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
C1 [] = h1 y C2 [] = h2 , haciendo, como siempre, = acabaramos en
 L[] = F L[]
M[] = M[]
C1 [] = C2 [] = 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 algunos ejemplos vistos).
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.

68
4.4. Algunos problemas en tres variables
Comenzamos estudiando las series de Fourier dobles, de teora inmediata a par-
tir de las de una variable (las triples, que apareceran en problemas con 4 variables,
son tambin similares).
Sean Xm () , [, b] e Yn (y) , y [c, d] las autofunciones de dos problemas de
Sturm-Liouville de pesos respectivos r() y s(y) , y sea (, y) C1 [, b][c, d] .

Entonces, para cada (, y) (, b) (c, d) se puede escribir como la serie:

Z bZ d
X
1 1
(, y) = cnm Xn Ym con cnm = (, y) Xm Yn r s dyd
X

m=1 n=1 Xn , Xn Ym , Ym c
Rb Rd
, designa, desde luego,
r d c
s dy .

(, y) , Ym
pues para fijo se puede poner (, y) = Cm () Ym , Cm () =
X
,
m=1 Ym , Ym
Cm (), Xn
y con Cm () = cnn Xn , cnm =
X
se tiene la expresin de arriba.
n=1 Xn , Xn
[Se llega a lo mismo, desde luego, desarrollando primero en Xn y luego en Ym ].

Un caso particular de las series anteriores son los desarrollos en series trigono-
mtricas dobles de una funcin C1 [0, L][0, M] :

X
Z LZ M
my 4 my
(, y) = bnm sen n con bnm = (,y) sen n
X
L
sen M L
sen M
dy d
n=1 m=1
LM 0 0

X

my my
(, y) = 1
+ 1X
n0 cos n + 1 X
+ nm cos n
X

4 00 2 L 2
0m cos M L
cos M
n=1 m=1 m=1 n=1
Z LZ M
4 my
con nm = (, y) cos n
L
cos M
dy d
LM 0 0

P P
[O los desarrollos parecidos en sen cos cos sen , o con series en senos y cosenos].
1 1
[Los factores 4
y 2
son, como siempre, para que la frmula valga tambin si n = 0 m = 0 ].
[Se podra pedir que fuese slo C1 a trozos, pero aqu suponemos que es ms suave].

Ej 1. Desarrollemos (, y) = cos y , en [0, ] [0, ] de dos formas:

Z Z
X
4
cos y = bnm sen n sen my con bnm =
X
cos y sen n sen my dy d
n=1 m=1 2 0 0
X

16 [1] n+1 m
X
cos y = n[4m2 1]
sen n sen 2my
n=1 m=1

Z Z  0 si m 6= 1
4
nm = cos y cos n cos my dy d = si m = 1, n = 0
2 0 0 2[ (1)n 1]/ (n2 ) si m = 1, n > 0

4 1
X
cos y = 2
cos y (2n1)2
cos[2n 1] cos y [ya estaba desarrollada en y ].
n=1

[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].
[Como decamos en 3.2, aunque una (, y) se puede desarrollar en cualquier par de
familias de autofunciones, ser el problema el que nos diga en cules].

69
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 0o :
0
!
t k[ + yy ] = 0 , (, y) (0, ) (0, ) , t > 0

(, y, 0) = (, y) 0 0

(, 0, t) = (, , t) = (0, y, t) = (, y, t) = 0

0 0 !

Buscamos soluciones: (, y, t) = X()Y(y)T(t) XYT 0 k[X 00 Y + XY 00 ]T =0

 X 00 + X = 0
X 00 1 T0 Y 00 Y 00 + Y = 0

X
= k T
Y
= Y 00
=+ 1 T0
=
Y k T T 0 + 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:

= n2 , Xm = {sen n}, n = 1, 2, . . .


n2 +m2 kt

Tnm = e .
= m2 , Yn = {sen my}, m = 1, 2, . . .


Cualquier nm (, y, t) = e n +m kt sen n sen my satisface la ecuacin y todas
2 2

las condiciones de contorno, as como lo hace cualquier combinacin lineal de ellas.

Esto nos lleva a probar la serie:

X


bnm e n +m kt sen n sen my
2 2
(, y, t) =
X

n=1 m=1

X

que debe satisfacer adems: (, y, 0) = bnm sen n sen my = (, y)
X

n=1 m=1

Z Z
4
bnm = (, y) sen n sen my d dy , n, m 1 .
2 0 0

[Como en la varilla, aqu tambin 0 cuando t ].

Ahora, Laplace en un cubo con condiciones de contorno mixtas (cuya solucin

ser nica como los similares del plano):

= 0 en (0, ) (0, ) (0, )

(, y, 0) = (, y)

= 0 en = 0, = , z =
y = 0 en y = 0, y =

 X 00 + X = 0, X(0) = X() = 0
Y 00 00 Z 00
= XYZ Y
+ ZZ = XX = Z
= Y
Y
= Y 00 + Y = 0, Y 0 (0) = Y 0 () = 0
Z 00 [+ ]Z = 0, Z() = 0

= n2 , Xn = {sen n}, n = 1, 2, . . .



Zmn = sh n2 + m2 [ z]
p

= m , Ym = {cos my}, m = 0, 1, . . .
2

1 X
(, y, z) =


2
cn0 sh n[ z] sen n
n=1 X

+ n2 + m2 [ z]
X p

cnm sh sen n cos my
m=1 n=1

Como (, y, 0) = (, y) , los cnm son:

Z Z
4 n = 1, 2, . . .
cnm = p (, y) sen n cos my dy d
m = 0, 1, . . .


2 sh n2+m2 0 0

70
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 sen cos  2r cos
y = r sen sen = rr + + + +
z = r cos r r2 sen r 2 sen2 r 2
r
Veamos primero el caso con datos independientes de :
(
cos
rr + 2r r + r12 + 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 + 2rR0 R = 0
 2 00
= R(r) () cos 0
00 + sen
+ = 0
2
El cambio s = cos 0 = sen d , 00 = sen2 dds2 cos d
 
ds ds
lleva la segunda
ecuacin a:
 2
1 s2 dds d
2 2s 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:

Pn (s) = Pn (cos ) P0 = 1 , P1 = s , P2 = 23 s2 12 , P3 = 52 s3 23 s , . . .
 

Para estos valores de :

r 2 R00 + 2rR0 n(n+ 1)R = 0 2 + n(n+ 1) = 0 = n, (n+ 1)

R acotada
Rn = c1 r n + c2 r (n+1) Rn = {r n } , n = 0, 1, . . .
Probamos entonces:

(r, ) = n r n Pn (cos ) (R, ) = n Rn Pn (cos ) = ()
X X

n=0 n=0

2n+ 1
Z
n = () Pn (cos ) sen d , n = 0, 1, . . . ,
2Rn 0

0
pues el peso es r() = sen (sen 0 ) + sen = 0 y de los Pn se sabe que:
 

R 2 s=cos R 1  2 2
0
Pn (cos ) sen d = 1
Pn (s) ds = 2n+1

2n+1 R 1
Ej 2. Si R = 1 y () = cos2 se tiene: n = 2 1
s2 Pn (s) ds .

1 R1 1 5 R1 3
As pues: 0 = s2 ds = , 2 = s4 12 s2 ds = 23 , y los dems n = 0

2 1 3 2 1 2

(ya que P1 es impar ( 1 = 0 ), y para desarrollar s2 bastan P0 , P1 y P2 ).

1 1 2
La solucin es, por tanto, (r, ) = + r 2 cos2 1

= 1 2 y 2 + 2z 2


3
3
r 3
.

Para un dato como este se podran determinar los coeficientes tanteando:

cos2 = 32 32 cos2 21 + 31 2 = 23 , 0 = 13 , como antes.


Para resolver problemas con trminos no homogneos F(r, ) en la ecuacin,

se probara como siempre una serie de autofunciones: = n (r) Pn (cos ) .
X 
n=0

71
Pasemos ahora a resolver, con menos detalles, el problema general en 3 variables:

cos
rr + 2r r + r12 + sen + 1 = 0 , r <R

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

Vamos en este caso a separar primero la parte radial y la que depende de los dos ngulos:
 2 00
r R + 2rR0 R = 0
= R(r) Y(, )
Y + sen sen Y + sen2 Y = 0

 00
+ = 0
Separando ahora la parte angular: Y(, ) = () ()
0

sen 0 + sen sen = 0

La solucin ha de ser 2-peridica en : m = m2 , m () = cos m, sen m , m = 0, 1, . . .



Llevando estos m a la otra ecuacin y haciendo como antes s = cos se tiene:

m2

d
ds
(1 s2 ) d
ds
+ 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 Pn . Se prueba que los autovalores del problema
singular son tambin n = n(n+ 1) , y sus autofunciones estn relacionadas con ellos:

m/ 2 dm
Pm
n
(s) = 1 s2 dsm
Pn (s) , con m n

P0n = Pn , P11 = sen , P12 = 3 sen cos , P22 = 3 sen2 , . . .

Ynm (, ) = cos m Pm
n
(cos ) , sen m Pm
n
(cos ) , n = 0, 1, ... , m = 0 . . . n .

Y00 = 1 , Y10 = cos , Y11 = sen cos , sen sen , Y20 = 23 cos2 12 ,
   

Y21 = 3 sen cos cos , 3 sen cos sen , Y22 = 3 sen2 cos 2, 3 sen2 sen 2 , . . .
 

Las soluciones acotadas en r = 0 para esos n son como antes Rn = {r n } .

Los armnicos esfricos son las soluciones de la ecuacin de Laplace m

n
= r n Ynm (, ) .
 
Hay libros que llaman armnicos esfricos a los Ynm , otros a mltiplos concretos de los Ynm . . . .

Con ellos formamos la serie:

X n
(r, , ) = r n n0 Pn (cos ) + nm cos m + bnm sen m Pm (cos )
X

n
n=0 m=1

2n+1 R 2R
n0 = 4Rn 0 0
(, ) Pn (cos ) sen dd ,
(2n+1)(nm)! R 2R
nm = 2(n+m)!Rn 0 0
(, ) cos m Pm
n
(cos ) sen dd
, m1
(2n+1)(nm)! R 2R
bnm = 2(n+m)!Rn 0 0
(, ) sen m Pm
n
(cos ) sen dd
R1  2 2 (n+m)!
puesto que se cumple 1
Pm
n
(t) dt = 2n+1 (nm)!
.

Ej 3. Para R = 1 y (, ) = sen2 sen2 . Buscamos identificar como en el ejemplo 2.

1
Debe ser: (, ) = 2
sen2 21 sen2 cos 2 = 12 21 cos2 12 sen2 cos 2

= 13 13 32 cos2 12 12 sen2 cos 2 = 13 Y00 31 Y20 12 Y22 .

 

Por tanto, 00 = 13 , 20 = 13 , 22 = 12 y los otros son cero. La solucin es, pues:

= 13 31 r 2 32 cos2 12 21 r 2 sen2 cos 2 .

 

1
Escrita en cartesianas: = 12 z 2 + 61 2 + y 2 + z 2 21 2 y 2 = 31 13 2 + 23 y 2 31 z 2
   
3
,

funcin que cumple = 0 y que cuando 2 + y 2 + z 2 = 1 vale y 2 = (, ) si r = 1 .

 

72
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 infinito han de ser distintas:
plano: espacio:
 = 0 , si r > R  = 0 , si r > R
(R, ) = () , 0 < 2 (R, ) = () , 0
acotada cuando r 0 cuando r

Separando variables se llega a las mismas n que en los problemas interiores:

{n } = {cos n, sen n} , n = 0, 1, . . . {n } = {Pn (cos )} , n = 0, 1, . . .

Pero hay que elegir diferentes Rn , para las nuevas condiciones en el infinito:
n = 0 , c1 + c2 ln r R0 = {1} n = 0 , c1 + c2 r 1 R0 = r 1


n > 0 , c1 r n + c2 r n Rn = {r n } n > 0 , c1 r n + c2 r (n+1) Rn = r (n+1)




En el plano ningn R0 0 , y en el espacio estn acotadas tanto 1
como r 1 ; tender a 0 nos dejara sinsoluciones en el plano y pedir
acotacin dara infinitas en el espacio .

Probando las series correspondientes e imponiendo (R, ) = () , se obtiene que

las soluciones respectivas son estas series con los coeficientes indicados:

(r, ) = 20 + r n n cos n+ bn sen n (r, ) = r0 + n r (n+1) Pn (cos )
X   X

n=1 n=1

Rn R 2
n = 0
() cos n d , n = 0, 1, . . . n =
(2n+1)Rn+1 R
() Pn (cos ) sen d
2 0
Rn R 2 n = 0, 1, . . .
bn = 0
() sen n d , n = 1, 2, . . .

Ej 4. Hallemos la solucin en ambos casos cuando () = constante.

Basta mirar las series para deducir las soluciones en ambos casos:
R
= en el plano. = r
en el espacio.

[Interpretemos estos resultados mirndolos como soluciones estacionarias de la ecuacin del

calor. Si mantenemos la superficie 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 superficie de un
cilindro infinito 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 infinito, es = ].

Ej 5. Sea R = 1 y () = cos2 . Resolvamos y comparemos con las soluciones en r < 1 .

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



(1, ) = 20 + n cos n+ bn sen n = 12 + 12 cos 2
X 
n=1
1 1 2 1 1
= 2
+ 2
r cos 2 (interior) , = 2
+ 2r 2
cos 2 (exterior) .
1+2 y 2 2 y 2

1
En cartesianas = 2
y = 2
+ 2 , respectivamente .
2(2 +y 2 )

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 1 2 1 1 1
= 3
3
r + r 2 cos2 (interior) , = 3r
3r 3
+ r3
cos2 (exterior) .

73
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 simplificar an ms suponemos que inicialmente es t = 0 :

1
tt rr + r r = 0 , r 1, t R
 

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

0
 0
T 00 R00 + Rr rR0 + rR = 0 , R acotada en 0 , R(1) = 0
= RT T
= R
= p
T 00 + T = 0 , T 0 (0) = 0 cos( t)


El problema de contorno singular para la R fue visto al final de 3.1. Recordemos

p
que con s = r desapareca y la ecuacin pasaba a ser una de Bessel:
p
sR00 (s)+ R0 (s)+ sR(s) = 0 R = c1 J0 (s)+ c2 K0 (s) = c1 J0 (r)+ c2 K0 (r) , =
Imponiendo los datos se tenan los autovalores n = n2 tales que J0 (n ) = 0 ,

y las autofunciones asociadas Rn = J0 (n r) .
Nos falta imponer la condicin inicial an no utilizada a la serie:

(r, t) = cn cos(n t) J0 (n r) (r, 0) = cn J0 (n r) = (r)
X X

n=1 n=1

Este desarrollo ya lo discutimos en el ltimo ejemplo de 3.2. All vimos que era:
1
2
Z
cn = r (r) J0 (n r) dr
J21 (n ) 0

R1
(r) = 1 r 2 la integral 0 (rr 3 ) J0 (n r) dr , n = n , que define cn .
p
Ej 6. Hallemos si
R1 R R
Haciendo s = n r : 0 = 12 0 n s J0 (s)ds 14 0 n s3 J0 (s)ds .
n n
0
La primera primitiva es inmediata, pues s J1 = s J0 . La segunda, por partes:


s2 s J0 ds = s3 J1 2 s2 J1 ds = s3 J1 2s2 J2 = (s3 4s) J1 + 2s2 J0 ,

R R
0
ya que s2 J2 = s2 J1 y Jn+1 = 2n J Jn1 . Y como J0 (n ) = 0 concluimos:

s n

R1 4 8
= J (n ) (r, t) = cos(n t) J0 (n r) .
X
0 n3 1 n3 J1 (n )
n=1
P
Pese a su aspecto complicado, est solucin no lo es mucho ms que la kn cos(nt) sen(n)
que se obtendra para la cuerda vibrante con datos similares (que resolvimos en 4.2).
En muchos libros (o en programas tipo Maple o Sage) se pueden encontrar los ceros n de J0 :
{n } 2.4048256 , 5.5200781 , 8.6537279 , 11.791534 , 14.930918 , . . .
y los valores de J1 (n ) : 0.519147 , 0.340265 , 0.271452 , 0.232461 , 0.206547 , . . .
Necesitamos slo un programa que reconozca la J0 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.108 cos(2.405 t) 0.1398 cos(5.520 t)
+ 0.04548 cos(8.654 t) 0.02099 cos(11.79 t)
+ 0.01164 cos(14.93 t)
Las vibraciones de un tambor, a diferencia de lo que pasa
en una cuerda, no son peridicas (los n no son mltiplos
exactos unos de otros).

74
Para acabar esta seccin, tratemos el problema ms general y complicado en 3 variables:

1 1
tt c rr + r r + r 2 = 0 , r 1, t R
2
 

(r, , 0) = (r, ), t (r, , 0) = 0

(1, , t) = 0

0
T 00 R00 + Rr 1 00 r 2 R00 +rR0 00
= RT c2 T
= R
+ r2
= R
+ r 2 =
=

00
+ = 0 , 2-peridica  mp
= m2 , m = 0,1... , m = {cos m, sen m}, 0 = {1}
T 00 + c2 T = 0 , T 0 (0) = 0 cos[ ct]


2 00
r R + rR0 + [r 2 ]R = 0 , R acotada en 0

Para = m2 consideramos el problema de contorno singular para R :

 2 00
r R + rR0 + [r 2 m2 ]R = 0
R acotada en 0 , R(1) = 0
p
Haciendo s = r desaparece como siempre y la ecuacin se convierte en Bessel:
s2 R00 (s)+ sR0 (s)+ [s2 m2 ]R(s) = 0
p
R = c1 Jm (s)+ c2 Km (s) = c1 Jm (r)+ c2 Km (r) , =
R acotada c2 = 0 . Los autovalores sern los = 2 que hagan Jm (r) = 0 , que son
una sucesin infinita para cada m : m1 , . . . , mk , . . .


Y las autofunciones son Rmk = Jm mk r . As que probamos:

1
X
(r, , t) =



2
c0k cos c0k t J0 0k r
k=1
X
X
+ [cmk cos n+ dmk sen n] cos cmk t Jm mk r

m=1 k=1

X

1
X
X
c0k J0 0k r + [cmk cos n+ dnk sen n] Jm mk r = (r, )


2
k=1 m=1 k=1

1
X
Para r fijo, (r, ) = A (r) + Am (r) cos m+ Bm (r) sen m , con

2 0
m=1
R 2
Am (r) = 1 0
(r, ) cos m d , m = 0, 1, . . . ,
R 2
Bm (r) = 1 0
(r, ) sen m d , m = 1, 2, . . . .
Desarrollando:

X
X
Am (r) = cmk Jm mk r , Bm (r) =



dmk Jm mk r
k=1 k=1
R1 1 2
r J2m mk r dr =



Teniendo en cuenta (se puede probar) que: 0
J
2 m+1
mk ,

se llega a la expresin para los coeficientes de la serie doble de arriba:

Z 1Z 2
2
cmk = r (r, ) cos n Jm mk r dr d


J2m+1 (mk ) 0 0
Z 1Z 2
2
dmk = r (r, ) sen n Jm mk r dr d


J2m+1 (mk ) 0 0

75
4.5. Funciones de Green.
Comencemos tratando las funciones de Green para problemas de contorno no homo-
gneos para EDOs. Veamos una frmula que para cualquier () nos da en trminos de
integrales la solucin (en el caso de que sea nica) de:
 0
p()y 0 + g()y = ()
(Pf ) , p C1 , g, C , p > 0 en [, b] .
y() 0 y 0 () = y(b)+ 0 y 0 (b) = 0

conocidas las soluciones de la ecuacin homognea (algo parecido a la frmula de variacin

de las constantes para problemas de valores iniciales):

Supongamos que (Ph ) tiene slo la solucin y 0 y sean y1 e y2 soluciones

no triviales de la homognea [py 0 ] 0 + gy = 0 que cumplen, respectivamente,
y1 () 0 y10 () = 0 y y2 (b)+0 y20 (b) = 0 . Entonces la solucin nica de (Pf ) es:
Teor 1  y1 (s) y2 ()
Zb
p|W|(y ,y2 )
, s
y() = G(, s) (s) ds , con G(, s) = y () y1 (s) .
1 2

p|W|(y ,y )
, sb
1 2

A la G(, s) se le llama funcin de Green del problema.


Observemos que el denominador que aparece en la G es constante:
0 0 0
p(y1 y20 y2 y10 )] = y1 [p(y20 )] y2 [p(y10 )] = gy1 y2 + gy2 y1 = 0 .
 

Comprobemos que la y() de arriba cumple (Pf ). Desarrollando la integral:

R b y2 (s) (s) R y1 (s) (s) R y2 (s) (s)
y() = y1 () |W|(s) p(s)
ds + y2 () |W|(s) p(s)
dsy1 () |W|(s) p(s)
ds = cy1 + yp
p0 0 q
Por tanto, y() es solucin de la no homognea y 00 + p
y + p
y = p
.
R b y2 R y1 R y2
Adems como y 0 () = y10 |W| p
+ y20 |W| p
y10 se tiene que:
|W| p
R b y2 R b y1
y() = cy1 (), y 0 () = cy10 (), y(b) = ky2 (b), y 0 (b) = ky20 (b) , c = |W|p , k = |W|p

Como y1 , y2 cumplen cada condicin de contorno, tambin lo hace la y .

Una vez hallada la G , dada cualquier , basta hacer un par de integraciones para
encontrar la solucin del problema no homogneo (Pf ).
[Que quede claro que cada yk satisface solamente una condicin (o en o en b ; ambas
condiciones slo las cumple la trivial). La y la p del teorema son, como siempre, las de
la ecuacin escrita en la forma [py 0 ] 0 + gy = ; en muchos casos ser p 1 (como en el
ejemplo siguiente), pero en otros deberemos reescribir la ecuacin].

00 00
y = () y =0
Ej 1. (P1 ) slo lo satisface y 0 .
y(0) = y(1) = 0 y(0) = y(1) = 0

Por tanto, (P1 ) tiene solucin nica. Hallemos su funcin de Green:

La solucin general de la ecuacin homognea es y = c1 + c2 .
De la primera condicin de contorno y(0) = c1 = 0 . Podemos tomar y1 = .
De la segunda, y(1) = c1 + c2 = 0 . Elegimos y2 = 1 . Entonces:
   0 1
 1 s( 1) , 0 s s
|W|() =  = 1 , p() = 1 , G(, s) =
1 1  (s 1) , s 1
x(x-1)
Si, por ejemplo, () = 1 , la solucin de (P1 ) viene dada por: G(x,s), x fijo
R1 R R1 1
y() = 0 G(, s) 1 ds = (t 1) 0 s ds + 0 (s 1) ds = 2
[2 ]

Para resolver un problema con una dada, calcular la G puede ser un rodeo intil.
Por ejemplo, la ltima solucin se podra obtener:
y(0) = c1 = 0

y 00 = 1 y = c1 + c2 + 12 2 y = 12 [2 ] como antes.
y(1) = c1 + c2 + 21 = 0
Pero para cada nueva habra que volver a hallar la yp e imponer y(0) = y(1) = 0 .

76
Las funciones de Green estn muy ligadas a la funcin . Observemos que la G(, s) del
ejemplo 1 para fijo (o para s fijo, pues G es simtrica) es continua pero no derivable en
s = y su derivada segunda es (s ) . De hecho, esto es lo que sucede en general:
 0
p(s)G0 + g(s)G = (s )
Teor 2 G(, s) es la solucin para (, b) fijo de
G() 0 G0 () = G(b)+ 0 G0 (b) = 0
Rb
G(s, ) ( ) d = G(s, ) = G(, s) .
 
La prueba es trivial:

Hallamos la G del (P1 ) por este camino ms largo, pero que es el que se generaliza a las EDPs.
G (s) = (s ) G00 =0, s6= c1 + c2 s , y(0) = 0 G = c2 s , s
 00 
G(s) =
G(0) = G(1) = 0 k1 + k2 s , y(1) = 0 G = k2 [s 1] , s
Y como G00 = , ha de ser continua G y su derivada tener un salto en de magnitud unidad:
G( ) = c2 = k2 [ 1] = G(+ ) c2 = 1


G0 (+ ) G0 ( ) = k2 c2 = 1 k2 =

La idea de la funcin de Green se utiliza en diversos problemas de EDOs y EDPs. Aqu nos
limitaremos a hablar de las funciones de Green para la ecuacin de Laplace.

En lo que sigue operaremos formalmente con la en dos variables, utilizando slo:
i. ( , y) = 0 para (, ) 6= (, y)
= F(, y) si F continua en D R2 y (, y) D .
RR 
ii. D F(, ) ( , y) d d

= F(, y) en D

Consideremos el problema de
(PD )
Dirichlet no homogneo: = en D

Nuestro objetivo es (como en lo anterior) expresar su solucin nica en funcin de integrales

en las que slo aparezcan una funcin de Green G y los datos F y :

G = ( , y) en D

A la solucin G(, y; , ) de (PG ) , para cada (, y) D ,
G = 0 en D
Teor 3 vista como funcin de (, ) , se le llama funcin de Green de (PD ). Entonces:
ZZ I
(, y) = G(, y; , ) F(, ) dd + Gn (, y; , ) (, ) ds , es solucin de (PD )
D D

[ Gn es, como siempre, la derivada de G en la direccin de n , vector unitario exterior a D ].

Del teorema de la divergencia es fcil deducir la llamada segunda identidad de Green:
Si y G son C2 (D) se tiene D [G G] dd = D [Gn Gn ] ds
RR H

Si es la solucin de (PD ) y G la de (PG ), y admitimos que la identidad anterior es vlida

para nuestra G (que claramente no es C2 , pero se justifica con distribuciones) tenemos:

D [GF ] dd = D [ Gn ] ds = D GF dd + D Gn ds
RR H RR H

Cmo resolver (PG )? Comencemos buscando una (, y; , ) que, como funcin de (, ) ,

satisfaga = , aunque no cumpla la condicin de contorno. Para qu funciones es = 0
y pueden originar una ? Las soluciones de Laplace en polares dependiendo de r son:
1
rr +
r r
= 0 = c1 + c2 ln r
As que algn mltiplo del discontinuo logaritmo de la distancia r = PQ del punto P = (, )
al Q = (, y) es buen candidato a :
1  1
= 4 ln ( )2 + ( y)2 = 2 ln PQ satisface = ( , y) para (, y) fijo.

Teor 4
A se le llama solucin fundamental para el punto (, y) .
Volvemos a hacer trampa con la . Ya vimos que = 0 si r 6= 0 , o sea, si (, ) 6= (, y) .
Adems, el teorema de la divergencia en un crculo de centro Q y radio R nos da:
R 2 1
rR dd = r=R n ds = r=R r ds = 0 2R R d = 1 =
RR H H

Si satisface = 0 en D , la funcin + seguir satisfaciendo [+ ] = para cada

(, y) D fijo. Por tanto, para encontrar G [y tener resuelto (PD )] basta encontrar la
armnica en D tal que + = G se anule en la frontera D .

77
La forma prctica de hallar la (en recintos D limitados por rectas y circunferencias) es el
mtodo de las imgenes. Viendo la geometra de D se tratar de escribir G como suma
de la solucin fundamental y de funciones armnicas del mismo tipo, logaritmos de
distancias a puntos Q0 exteriores a D (imgenes de Q respecto de la D ), elegidos de
forma que sea G = 0 en la frontera de D . En un primer ejemplo, D est limitado por rectas:

= 0 en D = { > 0} {y > 0} Sean Q = (, y) D fijo,

Ej 2. (P2 ) 1
(, 0) = (), (0, y) = 0, acotada P = (, ), = 2 ln PQ .
1
Si Q0 = (, y) , es claro que 0 = 2 ln PQ0 es una funcin de
P que es armnica en D (lo es en R {Q0 } ) y que + 0 = 0
2
Q(-x,y) Q(x,y)
si P pertenece al eje y , pues entonces PQ = PQ0 . Anloga-
1 +
mente = 2 ln PQ , con Q = (, y) , es armnica en D D
y + = 0 si P est en el eje . Para que G sea cero en am-
bos ejes a la vez hay que sumar una nueva 0 = 1 ln PQ0 , P(!,")
2
Q0 = (, y) . Entonces G(P, Q) = + 0 + + 0 es la

funcin de Green buscada, ya que G = [pues = y

(0 + + 0 ) = 0 ] y G = 0 si P D [si P est en el eje y
+
es PQ = PQ0 y PQ = PQ0 ; y similar en el eje ].
Q(-x,-y) Q (x,-y)
* *
Escribiendo las distancias analticamente tenemos:
1 1
G(, y; , ) = 4 ln ( )2 + ( y)2 4 ln (+ )2 + ( y)2
   

1 1
ln ( )2 + (+ y)2 + 4 ln (+ )2 + (+ y)2
   
4
Y como n = j en el eje , la solucin de nuestro problema (P2 ) ser:
R y R

(, y) = D Gn ds = 0 G =0 () d = = 0 ()12 +y2 (+)12 +y2 () d
H 

Resolvamos ahora el problema no homogneo de Dirichlet en el crculo:

2
= F(r, ) en r < R Q = (r, ) D fijo, Q (__
R
, )
r

(P3 )
(R, ) = () , [0, 2] P = (, ) variable.

La solucin fundamental en estas coordenadas queda: P(, )

Q(r, )
1 1
= 2 ln PQ = 4 ln 2 + r 2 2r cos( )
 

Dnde situar el punto imagen Q0 ? Las cosas no son tan D

claras como en el ejemplo anterior. Es claro que su ha
de ser igual, pero a qu distancia del origen O colocarlo?
Podramos llegar al resultado tanteando, pero nos limitamos a comprobar que la G es:
2
1
G(P, Q) = 2 ln PQ ln PQ0 + ln Rr , Q0 = Rr , , es decir,

1 1 r 2 2
G(r, ; , ) = ln 2 + r 2 2r cos( ) ln R2 +
   
4 4 R2
2r cos( )

En efecto: G = + 0 + cte G = 0 0 armnica en R2 {Q0 } y Q0

 
/D
y adems G = 0 si P D , o sea, si = R .

Adems, Gn = G =R y ds = R d , por lo que la solucin de (P3 ) es:
R RR 2 R2 r 2 R 2 () d
(r, ) = 0 0
G(r, ; , ) F(, ) dd + 2 0 R2 2Rr cos()+r 2

[Expresin ms compacta que las series de Fourier, aunque estas integrales, en general, no son
calculables (y hay que aproximarlas, pero son aproximaciones tambin las sumas parciales)].

Las cuentas en tres dimensiones son similares a los de dos. Si G es solucin de (PG ):

(, y, z) = D G F ddd + D Gn dS
RRR H
( D es ahora una superficie)

1
La solucin fundamental en el espacio es = rr + 2r r = 0 = c1 + cr2
 
4PQ
Los puntos imgenes respecto a planos son igual de sencillos y para la esfera
de radio R vuelve a situarse el punto Q0 a una distancia R2 / r del origen.

78