2011

apuntes de
ecuaciones
diferenciales II
(EDPs)

Pepe Aranda
Mtodos Matemticos
Fsicas Complutense

http://jacobi.fis.ucm.es/pparanda/EDPs.html
ndice
Bibliografa
Sobre las versiones de los apuntes

Introduccin 1

1. Caractersticas; problemas clsicos 3

1.1 EDPs lineales de primer orden 4
1.2 EDPs lineales de segundo orden; clasificacin 7
1.3 Los problemas clsicos; unicidad 11

2. Problemas de contorno para EDOs 15

2.1 Problemas de Sturm-Liouville homogneos 16
2.2 Series de Fourier 21
2.3 Problemas no homogneos; funcin de Green 25

3. Separacin de variables 29
3.1 Separacin de variables para calor y ondas 30
3.2 Separacin de variables para Laplace 39
3.3 Algunos problemas en tres variables 46
3.4 Funciones de Green 53

4. Otros mtodos en EDPs 55

4.1 Ecuacin de la cuerda vibrante 56
4.2 Ondas en tres y dos dimensiones 61
4.3 Transformadas de Fourier 65

Apndice 69

Problemas 1 i
Problemas 2 ii
Problemas 3 (calor y ondas) iii
Problemas 3 (Laplace y 3 variables) v
Problemas 4 vii
Problemas adicionales 1 I
Problemas adicionales 2 III
Problemas adicionales 3 V
Problemas adicionales 4 VII
Bibliografa
H Haberman. ECUACIONES DIFERENCIALES EN DERIVADAS PARCIALES con Series de Fourier
y Problemas de Contorno. Pentice Hall
Ss Strauss. PARTIAL DIFFERENTIAL EQUATIONS. An Introduction. Wiley
W Weimberger. ECUACIONES DIFERENCIALES EN DERIVADAS PARCIALES. Revert
MU Myint-U. PARTIAL DIFFRENTIAL EQUATIONS OF MATHEMATICAL PHYSICS. Elsevier
T Tijonov-Samarski. ECUACIONES DE LA FISICA MATEMATICA. Mir
Sp Stephenson. INTRODUCCION A LAS ECUACIONES EN DERIVADAS PARCIALES. Revert
Ch Churchill. SERIES DE FOURIER Y PROBLEMAS DE CONTORNO. McGraw-Hill
J John. PARTIAL DIFFERENTIAL EQUATIONS. Springer-Verlag
Sk Stakgold. GREENS FUNCTIONS AND BOUNDARY VALUE PROBLEMS. Wiley
BD Boyce-Di Prima. ECUACIONES DIFERENCIALES y problemas con valores en la frontera.
Limusa
Si Simmons. ECUACIONES DIFERENCIALES (con aplicaciones y notas histricas).
McGraw-Hill
Br Braun. ECUACIONES DIFERENCIALES Y SUS APLICACIONES. Interamericana
R Ross. ECUACIONES DIFERENCIALES. Revert
E Elsgoltz. ECUACIONES DIFERENCIALES Y CALCULO VARIACIONAL. Mir
MCZ Marcelln-Casass-Zarzo. ECUACIONES DIFERENCIALES. PROBLEMAS LINEALES Y
APLICACIONES. McGraw-Hill
PA Puig Adam. CURSO TEORICO-PRACTICO DE ECUACIONES DIFERENCIALES
APLICADO A LA FISICA Y TECNICA.

Los 9 primeros libros son propiamente de EDPs: H, Ss, W, MU y T incluyen casi todos los
temas de los apuntes (y muchos otros que no se tratan en ellos). Sp y Ch tienen bastantes
menos pginas (y sirven para parte del curso). J y Sk son de mayor nivel y bastante ms
difciles de leer. Los 5 siguiente son bsicamente de EDOs, pero tienen introducciones a las
EDPs. En concreto, BD, Br, R y Si estudian los problemas de contorno para EDOs y el mtodo
de separacin de variables. R clasifica tambin las EDPs de segundo orden con coeficientes
constantes. E trata con detalle las EDPs de primer orden. Los 2 ltimos, el MCZ y el clsico
PA (de 1950), son mixtos de EDOs y EDPs y abarcan una mayor parte del curso.
Gran parte de los libros de EDPs, en vez de organizarse en torno a los mtodos de resolu-
cin (como en los apuntes), estudian por separado y con diferentes tcnicas las ecuaciones
hiperblicas, elpticas y parablicas.
Las EDPs de primer orden se estudian en H, E, PA y J, aunque se centran ms en las
ecuaciones cuasilineales (tambin tratan las no lineales). La reduccin a forma cannica y
las cuestiones de unicidad se ven en casi todos los libros de EDPs, por ejemplo en MU, W o
T. Un estudio serio de los problemas de Cauchy se hace en J. La deduccin de las ecuaciones
y el significado fsico de los problemas se puede mirar, por ejemplo, en Bd, W, H, Ss o T.
Para el 2 es recomendable leer BD, Si y H. La teora general avanzada de problemas de
contorno, funciones de Green, desarrollos en autofunciones. . . en el Sk. Hay demostraciones
menos generales (con matemticas ms elementales) en Ss, W o Ch.
La separacin de variables (3) est en casi todos los libros. Buenas introducciones hay en
Sp, BD, Si, Br o R. El libro ms recomendable para todo este captulo es el H. Para precisiones
de convergencia y problemas de varias variables ver Ss, W, MU o T. La seccin 3.4 sigue ms
o menos el MU. Ss, W, T y Sp tambin estudian las funciones de Green por otros caminos.
Para las secciones 4.1 y 4.2 se puede consultar el H, Ss, W, MU, T, PA o J. En ellos se
deducen las frmulas de 4.2 no demostradas en los apuntes. Para la 4.3 ver Ch, Ss, MU, Sp
y, sobre todo, H y W que utilizan tambin la transformada de Laplace para EDPs (W tiene
una introduccin a la variable compleja).
El MCZ, el H y el Ss dan mtodos numricos para problemas de contorno y EDPs (lo que
no hacen los dems libros, salvo unas pocas ideas del W).
Sobre las versiones de los apuntes

Versin 2011. Adaptacin al grupo residual de la licenciatura (2010/11, ltimo ao con clases). Se
pasan a letra pequea algunos temas que en otros grupos no se contaban (como las ondas en 3 y 2
dimensiones, tras retocar 4.1 y 4.2), los problemas 3 se dividen en dos partes, bastantes problemas
pasan a adicionales y se incluyen nuevos y nuevos ejemplos inventados para el piloto del 08/09.

Versin 2009. Bastantes novedades, empezando por la letra, que pasa a ser Bitstream-Vera (sin serif),
lo que obliga a reescribir (y de paso a retocar) muchas partes del texto.
1.1 y 1.3 se modifican levemente y 1.2 se vuelve a reordenar.
2 tiene ahora 3 secciones. Los ejemplos de la vieja 2.1 desaparecen (se incluyen, adems de otros
ejemplos nuevos) en la nueva 2.1. Tambin aparecen ms ejemplos en series de Fourier y en problemas
no homogneos.
3.1 incluye dos ejemplos nuevos del calor y las ideas sobre subproblemas pasan al final de 3.2. Esta
seccin incluye dos ejemplos ms en cartesianas y uno en polares. 3.3 cambia poco y como 3.4 (antes
4.4) aparece la introduccin a las funciones de Green para Laplace.
En todo el 4 aparecen bastantes ejemplos nuevos (y algunos viejos se detallan ms). En 4.1, uno de
cuerda semi-infinita y otro de cuerda acotada, y dos de ondas en 3 dimensiones en 4.2. Las transfor-
madas de Fourier F de 4.3 tienen tres ejemplos nuevos.
Aparece un apndice en el que se repasan algunos resultados de EDOs, de convergencia uniforme y
clculo en varias variables.
Los problemas (y los adicionales) tienen bastantes cambios (los grupos piloto exigen inventar muchos
problemas para entregar, para parcialillos,... y eso se nota).

Versin 2008. Escasas novedades en teora. Adems de algunas correcciones de ejemplos, erratas,
estticas... se reorden la seccin 1.2 y se aadieron ejemplos en 3.1. Los problemas incluyeron los de
examen del curso anterior, algunos de los del curso 06-07 pasaron a adicionales y otros se convirtieron
en problemas a entregar en el grupo piloto.

Versin 2007. Fue la primera de los apuntes de Ecuaciones Diferenciales II (EDPs) y es heredera
directa de los apuntes de ecuaciones en derivadas parciales.
Los viejos apuntes estaban destinados a la asignatura Mtodos Matemticos de la Fsica II, que se
imparti por ltima vez en 1997-98 (la ltima versin, 2000, en Word, contena mis apuntes de ese ao,
pero con los dibujos a ordenador). La asignatura era de tercer curso, los estudiantes haban cursado
en segundo unos Mtodos I (variable compleja y espacios de Hilbert) y haba 5 horas semanales de
clase. Las Ecuaciones Diferenciales II, en cambio, se cursan en segundo, tienen 4 horas semanales y
previamente slo se ha estudiado lgebra y Clculo en primero y las ecuaciones ordinarias del primer
cuatrimestre de segundo.
Adaptar los apuntes, exiga, pues, reducir contenidos. Y no lo consegu demasiado. Porque los temas se
mantuvieron (reordenados de otra forma), aunque algunos pasaron a estar en letra pequea (slo a
ttulo informativo). Ms funcion la tijera apartando de las hojas de problemas fundamentales bastantes
de los ms complicados del pasado.
Yendo al detalle, el tema 1 es el antiguo tema 5, con algn ejemplo ms de primer orden, algn recorte
en unicidad y se deduce ya la frmula de DAlembert (pues el viejo captulo 6 se traslad, reduciendo
su tamao, a las primeras secciones del 4).
El actual 2 es el viejo 7 de problemas de contorno, centrndose ms en las condiciones separadas,
eliminando resultados sobre comparacin de autovalores y poniendo las alusiones a la de Dirac en
letra pequea.
El nuevo 3 de separacin de variables es el antiguo 8, pero bastante reordenado. En vez de separar los
problemas homogneos de los no homogneos, se tratan ambos sucesivamente, primero para el calor
y ondas, y en otra seccin para Laplace. Aparecen, como novedad, unas escasas lneas dedicadas a los
armnicos esfricos.
El 4 reune en esa versin las ondas en 1, 3 y 2 dimensiones espaciales (estudiadas con menos intensidad
que en Mtodos II, sobre todo en problemas), la transformada de Fourier, y, a ttulo informativo, el
mtodo de las imgenes.
Los problemas se dividieron en problemas (los que se hacen en clase) y problemas adicionales (a ellos
fueron exiliados los ms largos, laterales al curso o repetidos). Unos cuantos de los viejos problemas (y
varios apartados de otros) desaparecieron del todo.
Los apuntes se hicieron en LATEX, utilizando el programa TeXShop para Mac y eligiendo ese ao 2007,
para distinguirse de las letras habituales, el tipo palatino.
Introduccin
Estos apuntes estn dedicados al estudio de las ecuaciones en derivadas par-
ciales (EDPs), aunque tambin se estudiarn los problemas de contorno para las
ecuaciones diferenciales ordinarias (EDOs). Una ecuacin en derivadas parciales
es una ecuacin en la que aparece una funcin incgnita de varias variables y al-
gunas de sus derivadas parciales. Todas las EDPs que veremos sern lineales. Ms
en concreto, salvo un breve estudio de las lineales de primer orden, trataremos de
EDPs lineales de segundo orden, del tipo:
n n
2
X X
[1] L[] Aj j
+ Bj j
+ C = F
,j=1 j=1

donde , Aj , Bj , C y D son funciones de (1 , . . . , n ) . Una solucin de [1] ser

una funcin (1 , . . . , n ) de clase C2 en una regin de Rn que sustituida en la
ecuacin la convierte en una identidad.
Entre las EDPs lineales de segundo orden se encuentran muchas ecuaciones de
la fsica. Entre ellas las tres clsicas:
ecuacin de ondas tt c2 = 0
ecuacin del calor t k = 0
y ecuacin de Laplace = 0
que son ejemplos, respectivamente, de los tres grandes tipos en que se clasifican:
hiperblicas, parablicas y elpticas. La teora avanzada de EDPs viene a ser
la generalizacin del estudio de estas tres ecuaciones. Sus propiedades son tan
diferentes que no existen teoras generales como la de las EDOs lineales.
En el captulo 1 se ver que, normalmente, no se puede hallar la solucin gene-
ral de una EDP. Slo la tendremos para algunas de primer orden en dos variables
(y aparecer una funcin arbitraria en esa solucin) y para muy pocas de segundo
(en particular, para la de ondas, con dos funciones arbitrarias). Adems veremos
qu condiciones adicionales (iniciales o de contorno) hay que imponer a las EDPs
clsicas para que tengan solucin nica que dependa de forma continua de los
datos. En la bsqueda de soluciones generales y en la unicidad ser importante el
concepto de curva caracterstica, solucin de una EDO muy ligada a la EDP.
El captulo 3 trata el viejo mtodo de separacin de variables para resolver
las ecuaciones clsicas (homogneas y no homogneas y en 2 o ms variables)
en recintos sencillos (y acotados, al menos, en una de las variables). Se supone la
solucin como producto de funciones de cada una de las variables, lo que lleva a
resolver EDOs en cada una de ellas, alguna con condiciones de contorno. Resueltas
todas, las soluciones quedan expresadas en trminos de series de Fourier. La
necesaria teora de problemas de contorno para EDOs (muy diferente de la de
los de valores iniciales) y una descripcin de dichas series se dar previamente en
el captulo 2. En ambos captulos hablaremos brevemente de las funciones de
Green.
El captulo 4 estudia varios temas independientes. Analizaremos y dibujaremos
las soluciones de la ecuacin de ondas a partir de frmulas integrales, primero
para una (, t) (ecuacin de la cuerda vibrante) y luego, con menos detalles,
para tres y dos dimensiones espaciales. Tambin utilizaremos la transformada
de Fourier para resolver algunas EDPs en recintos no acotados (en particular, la
del calor en la recta infinita).
Los apuntes acaban con un apndice en el que se repasan algunos conocimien-
tos matemticos previos (de EDOs, de clculo en varias variables y de convergen-
cia uniforme) que se utilizan en los captulos anteriores.

1
 Para acabar esta introduccin, describamos el significado fsico de las ecuaciones
clsicas. Interpretmoslas nicamente en sus versiones ms sencillas (que son las
ms tratadas en los apuntes): cuando la es funcin de dos variables.
Empecemos con la ecuacin de ondas unidimensional o ecuacin de la cuerda
vibrante. Consideremos las oscilaciones de una cuerda totalmente elstica, tensa
y fija en sus extremos. Se supone que sus oscilaciones son siempre transversales
y de pequea amplitud. En esas condiciones se puede u
ver que si (, t) representa el desplazamiento verti- instante t
cal del punto de abscisa en el instante t , la funcin u(x,t)
(, t) satisface la EDP:
x x
tt c2 = F(, t)
donde c2 = To / , con To fuerza de tensin en los extremos, masa por unidad
de longitud (densidad lineal) y F(, t) fuerza externa por unidad de masa que
acta en direccin vertical sobre el punto en el instante t . Para determinar la
evolucin de una cuerda concreta, se ver que debemos fijar la posicin de la
cuerda y la distribucin de velocidades verticales en el instante inicial, es decir,
(, 0) y t (, 0) . Tambin se deber de tener en cuenta que permanece fija en
los extremos = 0 y = L , o sea, que (0, t) = (L, t) = 0 . No olvidemos que el
modelo matemtico de esta cuerda ideal es slo una simplificacin de la realidad;
lo mismo ocurre con las siguientes.
La distribucin de temperaturas a lo largo del tiempo en una varilla delgada (que
podemos suponer unidimensional) viene regida por la ecuacin del calor:
t k = 0
donde (, t) representa la temperatura del punto en el instante t y k > 0 es
una constante proporcional a la conductibilidad e inversamente proporcional a la
densidad y al calor especfico. Si existiesen fuentes de calor en el interior de la
varilla deberamos escribir una F(, t) en el segundo miembro de la ecuacin. A
diferencia de la de ondas, aqu bastar dar slo la distribucin inicial de tempera-
turas (, 0) (junto con las condiciones de contorno) para determinar la solucin.
La ecuacin de Laplace:
+ yy = 0
puede describir, entre otras situaciones fsicas, la distribucin estacionaria de tem-
peraturas en una placa bidimensional. La existencia de fuentes de calor en el inte-
rior de la superficie aportara una F en el segundo miembro (ecuacin de Poisson).
Frente a las dos ecuaciones anteriores que describan la evolucin de un sistema a
lo largo del tiempo, sta describe situaciones estacionarias y los problemas que se
plantean para ella son siempre con condiciones de contorno.

2
1. Caractersticas; problemas clsicos
En las EDOs se planteaban problemas de valores iniciales, que casi siempre te-
nan solucin nica. Para resolverlos (las pocas veces que se poda) se sola hallar
primero la solucin general e imponer despus una o varias condiciones, depen-
diendo del orden de la ecuacin, en un to dado. En este captulo intentamos ver
cules son los problemas anlogos para las EDPs. La variedad y complicacin ser
mucho mayor que en las ordinarias.
Comenzamos en la seccin 1.1 tratando las EDPs lineales de primer orden en
dos variables, es decir, ecuaciones del tipo:
[1] A(, y) y + B(, y) = C(, y) + D(, y) ,
que no tienen muchas aplicaciones fsicas, pero que plantean de forma sencilla los
problemas de las de segundo orden. Veremos que pueden resolverse si es posible
integrar una EDO de primer orden, cuyas curvas integrales son llamadas caracte-
rsticas de [1]. En la solucin general de [1] aparecer una funcin p arbitraria
(como en el sencillo ejemplo = 0 , de solucin (, y) = p(y) , para cualquier p ).
Para precisar esta p fijaremos el valor de la solucin a lo largo de una curva G
del plano y (problema de Cauchy) y la solucin quedar determinada de forma
nica si G no es tangente a las curvas caractersticas.
En 1.2 abordamos las EDPs lineales de segundo orden en dos variables:
[2] Ayy + By + C + Dy + E + H = F
con y los coeficientes funciones de e y . Para intentar resolverlas, busca-
remos escribirlas, mediante cambios de variables, en la forma ms sencilla posi-
ble (forma cannica). Esto nos llevar a la clasificacin de [2] en hiperblicas,
parablicas y elpticas. Otras curvas caractersticas volvern a jugar un papel
esencial. En unos pocos casos, a partir de la forma cannica, se podr calcular la
solucin general, que depender de dos funciones arbitrarias. Uno de esos casos
ser la ecuacin de ondas.
Para aislar una nica solucin de [2] podran darse unos datos de Cauchy anlo-
gos a los de [1]. Pero esto slo funciona para algunos problemas ligados la ecuacin
de ondas (para ella deduciremos la frmula de DAlembert que expresa sus so-
luciones en trminos de la posicin y velocidad iniciales) y carece de sentido fsico
y plantea problemas matemticos para las otras ecuaciones clsicas. Las condicio-
nes iniciales y de contorno ligadas a un problema fsico real son muy diferentes
para cada ecuacin. Incluso a una misma ecuacin aparecen asociadas condicio-
nes de diferentes tipos. No existe una teora general de EDPs que pueda abarcar
todas las posibilidades. En cada caso habr que comprobar que el problema est
bien planteado, es decir, que tiene solucin nica que depende continua-
mente de los datos (lo que era en las EDOs de comprobacin trivial). La seccin
1.3 se dedica a describir diferentes problemas asociados a las ecuaciones clsicas
y a estudiar su unicidad.

3
1.1. EDPs lineales de primer orden

Sea [E] A(, y) y + B(, y) = C(, y) + D(, y) , = (, y) .

Para resolverla consideramos la EDO de primer orden:

dy A(, y)
[e] = ecuacin caracterstica
d B(, y)

Suponemos A y B de C1 y que no se anulan simultneamente en una regin del

plano. Entonces [e] tendr en ella unas curvas integrales:

(, y) = K curvas caractersticas de [E]

(se podrn hallar explcitamente si [e] es separable, lineal, exacta. . . )

Veamos que el cambio de variable
= (, y)


=y (o bien = )
lleva [E] a una ecuacin en las nuevas variables (, ) en la que no aparece y
que es resoluble elementalmente. En efecto:
y = y +

A + [Ay + B ] = C + D
=
Como sobre las soluciones y() definidas por (, y) = K se tiene:
dy 1
(, y()) = K + y d = B
[Ay + B ] = 0 ,

deducimos que [1] se convierte en:

[E] A(, ) = C(, ) + D(, ) , = (, ) .

(Si hubisemos escogido = habramos llegado a [E] B = C + D ;

se observa que queda tras el cambio el trmino con la variable elegida).

[E] (o [E]) es una EDO lineal de primer orden en si consideramos la cons-

tante (y, por tanto, es resoluble). En su solucin aparecer una constante arbitraria
para cada , es decir, una funcin arbitraria de :
RC RC
C
R
[] (, ) = p() e A d + e A d D A d d , con p arbitraria de C 1 .
R
A
e
Deshaciendo el cambio queda resuelta [E] en funcin de e y . En la solucin,
como se observa, aparece una funcin arbitraria de las caractersticas.

1
dy 1 + =K
Ej 1. y 2 y + = 2 d
= y2 , y
= K y
caractersticas

= + 1y

= 2 = 2 = p() e = p + 1y e , p C1 .
2
2
= [mejor]
1
= + 1y

= 1

2

1 2
2
y 2 = 2 = 23 = p() e 2 = p + 1y e y2 y .

= y [peor] 2

Aunque no lo parezca, las expresiones con p y p definen la misma solucin general,



2
1 2
+ 1 2


+ 1y
e , y p + 1y e es otra funcin arbitraria de + 1y .
2
pues, e y2 y = e

y

4
Cmo determinar una nica solucin de [E]? Cada solucin u
describe una superficie en el espacio. Generalizando el pro-
blema de valores iniciales para EDOs definimos:
El problema de Cauchy para [E] consiste en hallar la
solucin (, y) que contenga una curva dada del
espacio, o lo que es lo mismo, que tome unos valores
y
dados sobre una curva G del plano y . x G
En particular, si G es una recta y = cte [por ejemplo, si
se pide (, 0) = () ], se tiene lo que se llama un problema de valores iniciales.
u Un problema de Cauchy puede no tener solucin nica.
infinitas 1 Por ejemplo, la solucin general de Ay +B = 0 es (, y) = p (, y)

y cada solucin toma valor constante sobre cada (, y) = K . Si busca-

2
ninguna
mos una solucin que contenga una curva cuya proyeccin G sea una
y de las caractersticas se debe exigir que est en un plano horizontal
x G z = C . Entonces hay infinitas soluciones [una para cada funcin p con
caso D=C=0 p(K) = C ]. Si no tiene z constante, no hay solucin que contenga a .
En general, supongamos que es una curva suave dada paramtricamente por
(s) = g(s), h(s), (s) , o sea, que buscamos la solucin con g(s), h(s) = (s) .

Sustituyendo en [] y despejando p : p (g(s), h(s)) = F(s) , con F conocida.

Llamemos = g(s), h(s) . Si
es posible despejar s en funcin de de forma

nica s = s() , la p() = F s() queda determinada y, por tanto, hay una nica
solucin de [E] conteniendo a . Sabemos que esta funcin inversa existe seguro
en un entorno de cada so para el que sea:
d  d 

= ds g(s), h(s) s=so = g(so ), h(so ) g0 (so ), h0 (so ) 6= 0




ds s=so

Como es perpendicular a las caractersticas y (g0 , h0 ) tangente a G , tenemos:

g y
Si la curva G no es tangente en ningn punto a (h) caract.
ninguna caracterstica el problema de Cauchy
tiene solucin nica, al menos local.

La tangencia se puede ver sin resolver la EDO [e], pendiente A/B

x
con su campo de direcciones: el vector (B, A) es tangente
a sus soluciones y (A, B) es perpendicular. Por tanto:

G es tangente a alguna caracterstica en un punto g(so ), h(so ) si y slo si


(so ) g0 A(g, h) h0 B(g, h)s=so = 0 .
Si (s) 6= 0 s el problema de Cauchy tiene solucin nica.
[Si (s) 0 s , G es tangente en cada punto, es decir, es una caracterstica].

= p + 1y e .

2
Ej 1*. Imponemos datos a y 2 y + = 2 , de solucin general

(, 1) = 1 . Como y = 1 nunca es tangente a las caractersticas,

segn muestra el dibujo o asegura 1

() = 1 12 0 1 = 1 6= 0 ,
el problema de valores iniciales tendr solucin nica:
2 +1= 2
p(+1)e = 1 p() = e(1)

2
2 + 1y 1 2 2 + 2y 12 1
=e =e y y

Los datos (, 1 ) = 0 y (, 1 ) = 1 traern problemas (datos sobre caracterstica).

2
Para el primero: p(0)e = 0 . Lo cumple toda p C1 con p(0) = 0 . Infinitas soluciones.
2 2
Para el segundo: p(0)e = 1 , p(0) = e . Imposible. No tiene solucin.

2
Aqu el es: () = 1 1 12 1 0 , lo que confirma que G es una caracterstica.

5
 dy
Ej 2. 2y = 4y d
= 2 y+2 = K caractersticas.

= y + 2

2 = 4y ; = 2 = p() + 2 = p(y+2 ) + y 2
=y
= y + 2

= 4y = 443
=
= p ()+4 22 = p (y+2 )2y2 4
Imponemos diferentes datos de Cauchy a la ecuacin y analizamos la unicidad:

(1, y) = 0 p(y+1) + y 2 = 0 p() = (1)2 = 2y + 22 2y2 4 1

y
[o bien, p (y+1)2y1 = 0 p () = 21 ]
[ p p fijadas , pues = 1 no es tangente a las caractersticas].
1 (, 2 ) = 0 p(0) + 4 = 0 . Imposible, no hay solucin.
x
p(0) = 0 . Cada p C1 con p(0) = 0 nos da
(, 2 ) = 4
una solucin diferente: hay infinitas.
Datos sobre caractersticas dan siempre 0 o soluciones
[pues se acaba en p(cte)=algo, que puede ser constante o no].
(, 0) = 0 p(2 ) = 0 . Slo queda fijada p() = 0 para 0 , p(v)
pero no hay ninguna condicin sobre p si < 0 . v
Podemos elegir cualquier p C1 que valga 0 para 0 . '
p validas
Existen infinitas soluciones en un entorno de (0, 0) :
(, y) = y 2 si y 2 , pero est indeterminada si y < 2 .
En (0, 0) es y = 0 tangente a las caractersticas. Lo confirma = 1 2 0 (1) .
 

(, 3 2 ) = 4 25 p(3 ) = 6 p() = 2 = 22 y4 para todo (, y) .

Hay solucin nica a pesar de ser la curva de datos tangente a una caracterstica en
el punto (0, 0) es = 1 2 (32 2) (1) = 32 . Algunas veces puede haber
 

tangencia y existir solucin nica. La no tangencia es suficiente pero no necesaria.

(y2) y + = y dy y2 y
Ej 3. = , y = Ce +2+2 (y22)e = C
(0, y) = y2 d 1 y=2x+2

= (y22)e

= y = e +2+2 = p()+e +2 +2 ,
= (parece mejor)

= p [y22]e
2 + y+ 2 .


x
Escogiendo = y no se podra despejar la de = (22)e .
 

p(y2)+y2 = y2 , p(y2) = 0 p() = 0 , = y+2 2 .

Solucin nica porque = 0 nunca es tangente a las caractersticas:
= 0(y20)11 = 1 6= 0 [o est claro en el dibujo].
y
yy + = 2 = y/

dy y
Ej 4. = y = C = 2
(, 1) = 3 d =y x
y
2 1
1 3
= p()2 =p
y ; (, 1) = p
= 3 p() = 3
; = y
[slo si y > 0 ; la solucin de un problema de Cauchy, en principio, slo es local].

t + c = 0 dy 1 ct = K
Ej 5. = = p(ct) solucin general.
(, 0) = () d c caractersticas

(, 0) = p() = () (, t) = (ct) , solucin nica del problema de valores iniciales.

Para dibujar la grfica de en funcin de
para cada t = T fijo basta trasladar la de ()
una distancia cT (hacia la derecha si c > 0 ). x
Se puede interpretar la solucin como una on-
da que viaja a lo largo del tiempo. [Situacin cT
T caractersticas
similar se dar en la ecuacin de ondas]. t

6
1.2. EDPs lineales de segundo orden; clasificacin

Consideremos [E] L[] A yy + B y + C + D y + E + H = F ,

con y los coeficientes funciones de (, y) . Suponemos que los coeficientes son

C2 y que A , B y C no se anulan simultneamente en una regin del plano.
Como ocurra en las EDPs de primer orden, quizs un cambio de variable adecuado
haga desaparecer algunos trminos de [E], de forma que nos quede una ecuacin
resoluble elementalmente. Hagamos el cambio genrico:
= (, y)

, con , C2 y con jacobiano J = y y 6= 0 en . Entonces:
= (, y)

y = y + y
= +

yy = 2y + 2 y y + 2y + yy + yy
y = y + [ y + y ] + y + y + y
= 2 + 2 + 2 + +

Con lo que [E] queda en funcin de las nuevas variables:

A 2y + B y + C 2 + 2A y y + B( y +y ) + 2C
   

+ A 2y + B y + C 2 + = A + B + C + = F(, )
 

donde los puntos representan los trminos en , y .

Intentemos hacer A = C = 0 eligiendo y adecuados. Para ello debe cumplirse
la EDP de primer orden (no lineal):

A 2y + B y + C 2 = 0 ( C = 0 tiene la misma forma)

Si conseguimos hallar dos soluciones distintas (con Jacobiano no nulo) de esta EDP
podemos hacer desaparecer los trminos en y .
Cuando B2 4AC > 0 podemos separarla en dos EDPs diferentes de primer orden
lineales (de las estudiadas en la seccin anterior):
h p i
1
[1] y = 2A B B2 4AC
B
si es A 6= 0 ; si A = 0 y C 6= 0 es = 0 o = C y ; A = C = 0 es caso trivial .
 

Si B2 4AC = 0 , [1] se convierte en una nica EDP. Y si es < 0 , la descomposicin

anterior en EDPs de primer orden con coeficientes reales es imposible.

Por otra parte, es fcil verificar que (B)2 4AC = [B2 4AC] J2 , J jacobiano del
cambio, y, por tanto, el signo de B2 4AC no vara al hacer cambios de coordena-
das. Todo lo anterior nos lleva a definir:

Si en cada punto (, y) de una regin del plano se cumple que la expresin

B(, y)2 4A(, y)C(, y) es mayor que 0 , igual a 0 o menor que 0 , se dice,
respectivamente, que la EDP [E] es hiperblica, parablica o elptica en
dicha regin.

Sigamos con la simplificacin de [E]. Precisemos cul es el cambio adecuado a

cada tipo y encontremos la forma ms sencilla en que podemos escribir la ecuacin
(forma cannica) en cada caso.

7
Si [E] es hiperblica, las EDPs de [1] tienen por ecuaciones caractersticas:
d 1 d 1
h p i h p i
dy
= 2A
B B 2 4AC , dy
= 2A
B + B 2 4AC [e]

Se llaman curvas caractersticas de [E] a las curvas integrales

(, y) = K , (, y) = K de estas dos ecuaciones ordinarias
(son las caractersticas de las ecuaciones de primer orden [1]).

Como (, y) y (, y) son soluciones de [1] [vimos en 1.1 que = p (, y) y

= q (, y) , con p , q arbitrarias, eran sus soluciones generales], el cambio

= (, y)

lleva [E] a B + = F. Como (B)2 > 0 podemos escribir la
= (, y)
forma cannica de las hiperblicas: + = F .

B
Si [E] es parablica, [1] es una sola EDP y + 2A = 0 , de ecuacin caracterstica
d B
dy
= 2A
(, y) = K curvas caractersticas de [E]
(las parablicas slo tienen una familia de caractersticas).
Escogiendo = (, y) hacemos A = 0 (y como (B)2 4AC = 0 tambin
es B = 0 ). Como podemos tomar cualquier funcin de e y tal que el
jacobiano no sea nulo. Se suele tomar = y . As haciendo

= (, y)

y dividiendo por C se obtiene la
=y
forma cannica de las parablicas: + = F .

Si es elptica, los segundos miembros de [e] son funciones complejas conjugadas:

d 1
h p i
dy
= 2A
B 4ACB 2 (no hay, pues, caractersticas reales).

Es fcil ver que las soluciones de este par de ecuaciones son tambin complejas
conjugadas: (, y) = (, y) (, y) = K . Tambin es fcil probar que el cambio

= (, y)

lleva [E] a la forma cannica de las elpticas:
= (, y)
+ + = F .

En general, [E] puede ser de diferente tipo en diferentes regiones del plano y tener
una forma cannica distinta en cada una. Observemos tambin que las EDOs de
primer orden que dan las caractersticas normalmente no sern resolubles.
Pero en el caso de que A , B y C sean constantes, B2 4AC tambin lo es
y as [E] es del mismo tipo en todo el plano. Adems los cambios de variable
[ahora vlidos para todo (, y) ] se hallan aqu fcilmente:
p
2
= B B2A4AC y 2ABy
(
B = p

= 2A y
p 4ACB2
B+ B2 4AC =y = y [c]
= 2A
y
si [E] hiperblica si [E] parablica si [E] elptica

[En este caso con coeficientes constantes, las hiperblicas tienen dos familias de
rectas caractersticas, las parablicas una nica familia de rectas caractersticas
y las elpticas no tienen; la expresin dada para la elptica se deduce de que
p
2ABy 2 2ABy
= 2A 4ACB 2A
y = K equivale a = p 2
y = K ].
4ACB

8
 hiperblica si y > 0
Ej 1. yy y = 0 (ecuacin de Tricomi) B2 4AC = 4y
elptica si y < 0
(sobre y = 0 es parablica, pero las EDPs se plantean sobre conjuntos abiertos).
d 2 3/ 2
y>0 : dy
= y 1/ 2 ; caractersticas 3
y = K . Hacemos pues:

= + 23 y 3/ 2
(
y = y 1/ 2 [ ] = 1 y 1/ 2 [ ] + y[ 2 + ]
yy 2
= 23 y 3/ 2 = + = + 2 +

1 1/ 2 1 4 3/ 2
2
y [ ] 4y =0 6
=0 , pues = 3
y .

y < 0 : d
dy
= [y]1/ 2 = 23 [y]3/ 2 = K . Hacemos ahora:

=

= [y]1/ 2 = 12 [y]1/ 2 + [y]
2 y yy
= 3 [y] 3/ 2 = =

1 1
+ + 2
[y]3/ 2 =0 + +
3
=0 .

Ej 2. 4yy 4y + = 0 B2 4AC = 0 parablica en todo R2 .

y
Como A , B y C son constantes, basta copiar el cambio [c]: = + 2
, o mejor
yy = + 2 +
= 2+y y = +

y = 2 + 2
=y = 2
= 4

Llevndolo a la ecuacin se llega a = 0 .

Esta forma cannica que se resuelve fcilmente: = p() = p()+q() .

Por tanto, la solucin general de la ecuacin es:

(, y) = y p(2+y) + q(2+y) , con p y q funciones C2 arbitrarias.

Como en el ejemplo 2, en ocasiones ser posible hallar elementalmente la solucin

general de [E] tras escribirla en forma cannica (pero en la mayora seguir siendo
imposible; como en las dos regiones del ejemplo 1).
Identifiquemos las formas cannicas resolubles:

Si slo hay derivadas respecto a una variable: + E + H = F

Esta ecuacin lineal de segundo orden, ordinaria si la vemos como funcin de ,

se integra considerando la otra variable como un parmetro. Un par de constantes
para cada dan lugar a dos funciones arbitrarias de en la solucin. La ecuacin,
como vemos, debe ser parablica.

Si slo aparece y una de las derivadas primeras: + D = F

Se resuelve haciendo = : la lineal de primer orden + D = F es integrable

viendo como parmetro. La contiene, pues, una funcin arbitraria de . Al
integrarla para hallar la aparece otra funcin arbitraria (de ). Las cosas seran
anlogas si en vez de la apareciese la . La ecuacin es hiperblica.

[En las EDOs de segundo orden salen dos constantes arbitrarias; aqu hay,
en los dos casos, dos funciones arbitrarias (evaluadas en las caractersticas
como ocurra en las EDPs de primer orden). Se ve que ninguna ecuacin
elptica, ni la del calor t son resolubles por este camino].
[En los problemas veremos que otras pocas ecuaciones ms con coeficientes
constantes pueden llevarse a estas formas haciendo cambios de variable del
tipo = epy eq que hacen desaparecer alguna derivada de menor orden].

9
Ej 3. yy + 5y + 4 + y + = 3 B2 4AC = 9 , hiperblica.
p yy = + 8 + 16
= y y = 4

B B2 4AC 1
= 4 y = 5 4
2A = 4y = +
= + 2 +
1
Entonces: +
3
= 31 , del segundo de los tipos citados. Para resolverla:

= = 13 1
3
= q()e/ 3 1 (, ) = q()e/ 3 + p()

La solucin general es, pues:

(, y) = q(4y) e(y)/ 3 + p(y) + 4y , q y p arbitrarias.

B2 4AC 0
Ej 4. y 2 yy + 2yy + 2 + y 2 y + y = 0
parablica en R2
= y/

d 2y
dy
= 2y 2
= y
=y
. Operando se llega a su forma cannica: + = 0 .

Es una EDO lineal de segundo orden en con autovalores dados por (+1) = 0
y
y

(, ) = p() + q() e . Es decir, (, y) = p
+ q ey .

Acabamos la seccin aplicando las tcnicas anteriores para hallar la solucin gene-
ral de la nica de las ecuaciones clsicas que se puede abordar por este camino:
la ecuacin de ondas en una dimensin espacial (cuerda vibrante):

tt c2 = 0 B2 4AC = 4c2 hiperblica en todo el plano.

Las expresiones de [c] se convierten aqu en:

= + 2 +

= + ct


= ct tt = c2 [ 2 + ]
y, por tanto, en las nuevas variables:
forma
4c2 = 0 = 0 cannica
= p() = p() + q()

Luego la solucin general de la ecuacin de ondas es:

(, t) = p(+ct) + q(ct) , p y q funciones arbitrarias de C2 .

[Observemos que la solucin resulta ser la suma de dos ondas que viajan
a velocidad c , una hacia las crecientes y otra hacia las decrecientes.
En la siguiente seccin hallaremos una frmula para la nica solucin
que satisface una pareja de datos iniciales].

10
1.3. Los problemas clsicos; unicidad
Sea [E] L[] = F una EDP lineal de segundo orden en dos variables. Qu datos adi-
cionales nos proporcionan problemas bien planteados para [E]? Para una EDO de
segundo orden era necesario fijar el valor de la solucin y de su derivada en el ins-
tante inicial para tener solucin nica. En una EDP lineal de primer orden fijbamos
los valores de la solucin en toda una curva G (no tangente a las caractersticas).
Acabamos de ver que en los pocos casos en que [E] era resoluble aparecan dos
funciones arbitrarias en la solucin.
Todo ello lleva a plantear el problema de Cauchy para [E]: u
Hallar la solucin que tome unos valores dados de
y y a lo largo de una curva dada G del plano y .
(geomtricamente, hallar la superficie solucin que contenga y
una curva dada y tenga a lo largo de ella una familia de planos
tangentes tambin dados). Alternativamente se podran fijar x G
sobre G los valores de o de la derivada normal n .
En particular, al tomar como G el eje se tiene el problema de valores iniciales
que consiste en hallar la solucin de [E] que cumple (, 0) = () , y (, 0) = g() .
Como ocurra en las de primer orden se puede probar que:
Si los datos son regulares y G no es tangente a las caractersticas en ningn
punto, el problema de Cauchy tiene solucin nica en las proximidades de G .
y
2
yyy + 2y 2 y + y 3 y = 0

Ej 1. Sea [P] .
(, 2) = , y (, 2) = 0
d y2 x
B2 4AC 0, parablica en R2 . dy
= y 2
= K caractersticas.
Como y = 2 nunca es tangente a ellas, el problema de Cauchy [P]
tiene solucin nica. Es resoluble y podemos comprobarlo:
y2

= 2 = 0
y2 y2
= p()+q() 2 = p( 2 )+q( 2 ) y 2

=y Euler =

Imponiendo los datos de Cauchy ( y = yp0 y 3 q0 + 2yq ):

(, 2) = p(2) + 4q(2) = p0 (2)+4q0 (2) = 1
 
0 0 0 0
y (, 2) = 2p (2)8q (2)+4q(2) = 0 p (2)+4q (2) = 2q(2)
[ p0 y q0 representan la misma derivada ordinaria en ambas ecuaciones]
y2 y2
q(2) = 21 q() = 12 p(2) = 2 p() = = 2
+ 2
= ,
solucin determinada de forma nica por los clculos anteriores.

Es este problema el adecuado a todas las EDPs de segundo orden? No lo es. En los
problemas reales aparecen condiciones mucho ms variadas que las de Cauchy: en
unos casos hay que imponer condiciones iniciales y de contorno a la vez, en otros
slo de contorno... Adems un dato de Cauchy puede originar problemas mal plan-
teados (sin la necesaria dependencia continua) para EDPs no hiperblicas, como
ste para Laplace (cuya solucin ser nica por no tener caractersticas reales):
+ yy = 0

sh ny sen n
sen n . Su solucin (nica) es (, y) = ,
(, 0) = 0 , y (, 0) =
n
n2

pero aunque el dato sennn 0 uniformemente, es muy grande (si y 6= 0 ) para

n grande, y se parece poco a la solucin 0 asociada a (, 0) = y (, 0) = 0 .

Veamos los principales problemas asociados a las ecuaciones clsicas en dos va-
riables [slo (P1 ) ser de Cauchy]. Para cada uno habra que probar que est bien
planteado. Para ms variables las cosas son anlogas y poco ms complicadas.

11
Ondas. Tiene solucin nica dependiente continuamente de los datos el
c2 = F(, t) , , t R u(x,0) g(x)
tt
problema puro de
(P1 ) (, 0) = () f(x)
valores iniciales:
t (, 0) = g() x
t

x para la cuerda infinita (tiene sentido real cuando t es pequeo y

estamos lejos de los extremos). Como damos los datos sobre t = 0
no caracterstica (eran ct = K ) hay solucin nica.
En el caso de la ecuacin homognea ( F 0 ) hallemos su solucin y deduzcamos
de ella la dependencia continua. Vimos en la seccin anterior su solucin general:
tt c2 = 0 (, t) = p(+ct)+q(ct) , p , q arbitrarias.
Imponiendo los datos:
0
p() + q() = () p () + q0 () = 0 ()

2p0 () = 0 () + 1c g()
cp0 () cq0 () = g() p0 () q0 () = 1c g()
1 1
R 1 1
R
p() = 2
() + 2c 0
g(s) ds + k q() = 2
() 2c 0
g(s) ds k
+ct
frmula de
Z
1 1
(, t) = (+ct) + (ct) +

g(s) ds
2 2c
ct DAlembert
que da la solucin nica de (P1 ) si F 0 . Para que sea C2 , debe C2 y g C1 .

Comprobemos que datos iniciales prximos ocasionan soluciones (, t) y (, t)

cercanas en intervalos de tiempo finitos (es decir, la dependencia continua):
si | () ()| < y |g()g()| < ; entonces para t [0, T] se tiene:
R +ct
|| 21 | (+ct) (+ct)| + 12 | (ct) (ct)| + 2c
1
ct
|g(s)g(s)| ds

R +cT
< + 2c cT
ds = (1+T) < y t [0, T] , si < 1+T .

Consideremos ahora la cuerda acotada cuyos extremos se mueven verticalmente

segn h0 (t) y hL (t) dadas (que estn fijos es un caso particular). Hay entonces
dos condiciones de contorno adicionales:
c2 = F(, t) , [0, L], t R
tt
(P2 ) (, 0) = () , t (, 0) = g()
(0, t) = h0 (t) , (L, t) = hL (t)

Demostremos su unicidad (veremos que la solucin existe, como en otros casos,

hallndola explcitamente [en 3.1 por separacin de variables en 4.1 a travs de
extensiones]; la dependencia continua, que se cumple, no la probamos).
Sean 1 y 2 soluciones cualesquiera de (P2 ) y sea = 12 . Entonces cumple:

tt c2 = 0 , [0, L] , t R
(P0 )
(, 0) = t (, 0) = (0, t) = (L, t) = 0
Queremos ver que 0 . Integremos la identidad:
1
t [tt c2 ] = 2 t
[2t + c2 2 ] c2 [t ]
para entre 0 y L y t entre 0 y T cualquiera, suponiendo solucin de (Po ):
1 L 2 (,T) R T (L,t) R L
t +c2 2 (,0) d c2 0 t (0,t) dt = 12 0 t (, T)2 +c2 (, T)2 d = 0
R 
2 0

pues tt c2 = t (, 0) = (, 0) = t (0, t) = t (L, t) = 0 .

El ltimo corchete es 0 y es funcin continua de . Para que la integral se anule
debe ser t (, T) = (, T) = 0 si 0 L y para cualquier T. Por tanto (, t) es
constante y como (, 0) = 0 debe ser = 1 2 0 . Hay unicidad.

12
Calor. Para la varilla infinita se prueba que est bien planteado:

t k = F(, t) , R, t > 0
(P3 )
(, 0) = () , acotada

Basta un solo dato, la distribucin inicial de temperaturas, para fijar las posteriores.
[No podemos dar arbitrariamente la t (, 0) pues debe ser t (, 0) = k 00 ()+F(, 0) si
es solucin ( t = 0 es caracterstica y (P3 ) no es buen problema de valores iniciales)].

Para la varilla acotada hay condiciones de contorno, que pueden ser de varios
tipos, con diferentes significados fsicos cada uno. Si los extremos toman a lo largo
del tiempo las temperaturas dadas h0 (t) y hL (t) se tiene:
k = F(, t) , (0, L), t > 0
t
(P4 ) (, 0) = ()
(0, t) = h0 (t) , (L, t) = hL (t)

Si lo que fijamos es el flujo de calor en los extremos obtenemos:

k = F(, t) , (0, L), t > 0
t
(P5 ) (, 0) = ()
(0, t) = h0 (t) , (L, t) = hL (t)

[En particular, si h0 (t) = hL (t) = 0 , los extremos estn aislados].

Un tercer tipo de condiciones de contorno combina y :

(0, t) (0, t) = h0 (t) (L, t)+b (L, t) = hL (t) , con , b > 0 .

Expresan la radiacin libre de calor hacia un medio a temperatura dada (si el

extremo = L est ms (menos) caliente que hL entonces irradia (chupa) calor
pues = (hL )/ b < 0 ( > 0 ) y el flujo de calor es siempre en sentido opuesto al
gradiente de las temperaturas; lo mismo sucede con el otro extremo).
Probemos que (P4 ) (P5 ) (o cualquiera de los otros 7 problemas que aparecen
combinando los 3 tipos de condiciones descritos) poseen solucin nica. Sean 1
y 2 soluciones. Entonces = 1 2 satisface el problema con F = = h0 = hL = 0 .
Multiplicando la ecuacin por e integrando respecto a entre 0 y L se tiene:
RL RL d L 2 (L,t) RL
t dk 0 d = 21 dt
R
dk (0,t) +k 0 2 d = 0

0 0
d L 2
R
dt 0
(, t) d 0
[si = 0 = 0 en los extremos la ltima implicacin es clara, ya que k > 0 ;
es tambin fcil verlo si = 0, > 0 si +b = 0, b > 0 ; no se puede dar
ese paso ni probar la unicidad para < 0 b < 0 (fsicamente inadmisible)].
La ltima integral es una funcin U(t) no creciente ( U0 0 ), que cumple U(0) = 0
(pues (, 0) = 0 ) y es U(t) 0 (integrando positivo). De las tres cosas se sigue
que U(t) 0 0 . Unicidad.

Una forma alternativa de probar la unicidad de algunos problemas (que adems permite
atacar la dependencia continua) es utilizar un principio del mximo que se ajuste a ese
problema. Por ejemplo, es cierto este principio que no demostramos:

Si es continua en [0, T][0, L] y satisface t k = 0 en (0, T)(0, L) , los valores

mximo y mnimo de se alcanzan o bien en t = 0 o bien en = 0 bien en = L .

[Si ni la temperatura inicial en la varilla ni la de los extremos supera un valor M , no se puede

crear en su interior una temperatura mayor que M (si no hay fuentes externas); la prueba
a partir de esto de la unicidad y la dependencia continua de (P4 ) sera parecida a la que
veremos para Laplace y no la hacemos; si quisiramos demostrar la unicidad para los otros
problemas de la ecuacin del calor, necesitaramos otros principios del mximo diferentes].

13
Laplace. Los problemas son de contorno. Los dos ms importantes son:
D
Problema = F en D Problema = F en D
 
de (PD ) de (PN )
Dirichlet: = en D Neumann: n = en D D dominio
acotado

Donde D es un abierto conexo acotado de R2 , D es su frontera y

n es la derivada en la direccin del vector normal unitario exterior n .
Si vemos la ecuacin describiendo una distribucin estacionaria de temperaturas
en una placa, en (PD ) fijamos las temperaturas en el borde y en (PN ) el flujo de
calor en direccin normal al borde.
Si F , y D son regulares, el (PD ) es un problema bien planteado. Lo resolveremos
en recintos sencillos en el captulo 3. Probemos ahora su unicidad por dos caminos.
Mediante la frmula de Green (generaliza la integracin por partes a R2 ):
ZZ I ZZ
Sea C (D)C D . Entonces
2 1 ddy = kk2 ddy


n ds
D D D
ZZ I
Identidad = div kk2 y teorema de la divergencia div f ddy =
   
f n ds .
D D

Si 1 y 2 son soluciones de (PD ), = 1 2 verifica el problema con F = = 0 .

La frmula de Green dice entonces que:
ZZ
kk2 ddy = 0 = 0 = cte 0 (pues = 0 en D ).
D

Probamos de otra forma la unicidad de (PD ), y tambin la dependencia continua,

con el siguiente principio del mximo para Laplace (intuitivamente claro: la tem-
peratura de una placa no supera la mxima de su borde) que no demostramos:

Si satisface = 0 en un dominio acotado D y es continua

en D entonces alcanza su mximo y su mnimo en la D .
= 0 en D

Como = 1 2 , con 1 , 2 soluciones, verifica , se tiene:
= 0 en D

0 = mn mn mx mx = 0 0
D D D D

Si es solucin de (PD ) con = en D y sea | | < en D . Entonces:

= 0 en D

= < mn mx < || < en D.
= en D D D
Si la diferencia entre datos es pequea, lo es la diferencia entre soluciones.

Para el (PN ) la situacin es ms complicada. En primer lugar, para que (PN ) pueda
tener solucin es necesario que F y satisfagan la relacin:
ZZ I
[basta aplicar el teorema de la
F ddy = ds
D D
divergencia a para verlo].

Adems, si (PN ) tiene solucin, esta contiene una constante arbitraria [lo que era
esperable, ya que ecuacin y condicin de contorno slo contienen derivadas].
Tambin se ve que si queremos repetir la prueba de la unicidad con la frmula de
Green, podemos dar todos los pasos excepto la ltima implicacin. Se dice que el
problema de Neumann (PN ) tiene unicidad salvo constante.
[Adems se imponen a Laplace condiciones de contorno del tipo + n = , > 0,
y tambin tienen inters los problemas en que en parte de D hay condiciones tipo
Dirichlet, en otra tipo Neumann... (todos son problemas bien planteados). Tambin se
tratan problemas en D no acotados. Para tener unicidad, adems de los datos en D ,
hay que exigir un adecuado comportamiento en el infinito].

14
2. Problemas de contorno para EDOs
Un problema de valores iniciales para una ecuacin ordinaria con coeficientes
continuos tena solucin nica. En concreto, la solucin de una ecuacin lineal de
segundo orden queda determinada fijando el valor de la solucin y de su deri-
vada en un punto dado. Las cosas cambian si imponemos las condiciones en los
dos extremos de un intervalo [, b] . Estos problemas de contorno presentan
propiedades muy diferentes. Por ejemplo, un problema tan sencillo y regular como
y () + y() = 0
 00

y(0) = 0, y() = 0
tiene infinitas soluciones: y = C sen , con C constante arbitraria.
Los problemas de contorno que nos aparecern al utilizar el mtodo de separa-
cin de variables del captulo 3 dependern de un parmetro . Para analizar
sus propiedades convendr escribir la ecuacin de la siguiente forma:
(py 0 )0 qy + ry = 0
(P) y() 0 y 0 () = 0
y(b) + 0 y 0 (b) = 0
Ante un problema como (P) nuestro objetivo ser hallar los valores de para
los que hay soluciones no triviales (autovalores de (P)) y esas soluciones
no triviales correspondientes a cada (autofunciones de (P) asociadas a ).
Observemos que y = 0 es siempre solucin trivial de (P) y que, por ser lineales y
homogneas la ecuacin y las condiciones de contorno, si y() es solucin de (P)
tambin lo es Cy() para cualquier C .
Comenzaremos en 2.1 estudiando varios ejemplos para la ecuacin y 00 +y = 0
(la ms sencilla y la que ms veces aparece separando variables). En ellos existir
una sucesin infinita de autovalores y las autofunciones asociadas a distintos
sern ortogonales entre s. Despus precisaremos para qu tipo de problemas de
contorno (P) se mantienen esas propiedades. Sern los que se llaman problemas
de Sturm-Liouville separados. Hablaremos tambin brevemente de los proble-
mas peridicos y de los singulares.
En la seccin 2.2 veremos que cualquier funcin continua y derivable a trozos
se puede escribir como una serie de autofunciones de un problema de Sturm-
Liouville, lo que ser muy til en la resolucin de EDPs. Este resultado generaliza los
desarrollos de Fourier en series de senos y cosenos, cuyas propiedades bsicas
tambin veremos. Aunque la convergencia natural de estas series sea la llamada
convergencia en media, nosotros nos limitaremos a tratar la convergencia puntual
y uniforme.
Por ltimo, en 2.3, estudiaremos problemas en que la ecuacin (o alguna condi-
cin de contorno) sea no homognea. Para ellos, ni y = 0 es solucin, ni lo son los
mltiplos de una solucin dada. La existencia de soluciones depender de si exis-
ten o no soluciones no triviales del homogneo. Tendrn solucin nica en el ltimo
caso, e infinitas o ninguno si el homogneo tiene infinitas. Cuando haya solucin
nica daremos una frmula para las soluciones del no homogneo en trminos de
la llamada funcin de Green.
La notacin en todo este captulo ser y() , pero en separacin de variables las
funciones de nuestros problemas de contorno sern X() , Y(y) , R(r) , () , . . .

15
2.1. Problemas de Sturm-Liouville homogneos
Antes de dar la teora general, hallemos los autovalores y autofunciones de dos
problemas de contorno homogneos para la sencilla EDO lineal y 00 +y = 0 .
p
Como su polinomio caracterstico es 2 + = 0 = , la solucin general
de la ecuacin ser diferente segn sea menor, igual mayor que 0 .

y 00 + y = 0

Ej 1. (P1 ) Imponemos las condiciones de contorno en cada caso:
y(0) = 0, y() = 0
p
Si < 0 la solucin general es y = c1 ep + c2 ep , con p = > 0 .
y(0) = c1 + c2 = 0 c2 = c1 &

y() = c1 ep +c2 ep = 0 c1 [ep ep ] = 0 e!p

Por tanto c1 = c2 = 0 (pues ep 6= ep si p > 0 ). e-!p

Ningn < 0 es autovalor. p

y(0) = c1 = 0

Si = 0 es y = c1 + c2 y 0 . = 0 tampoco es autovalor.
y() = c1 +c2 = 0

p y(0) = c1 = 0

Y para > 0 es y = c1 cos +c2 sen , con = > 0
y() = c2 sen = 0
Para tener solucin no trivial debe ser c2 6= 0 . 1
p y
Para ello, = = n n = n2 , n = 1, 2, . . . 1

Para cada uno de estos n hay soluciones no triviales 0 !

y y2
3
yn = c2 sen n {sen n} .
R
Observemos que se cumple si m 6= n : 0 sen n sen m d = 0 ,
sen(n+m)
R  h
sen(nm)
i
pues 12 0 cos(nm)cos(n+m) d = 12 =0.

nm
n+m 0

Resumiendo: (P1 ) tiene una sucesin infinita de autovalores n = n2 , n = 1, 2, . . . .

Las autofunciones yn = {sen n} asociadas a cada n forman un espacio vec-
torial de dimensin 1 . La n-sima autofuncin posee n1 ceros en (0, ) . Las
autofunciones
R distintas son ortogonales en [0, ] [respecto del producto escalar
(, ) = 0 d ].

y 00 + y = 0

Ej 2. (P2 ) Imponemos estas nuevas condiciones:
y 0 (0) = 0, y 0 () = 0

y 0 (0) = p[c1 c2 ] = 0

<0 c2 = c1 c1 [ep ep ] = 0 y 0 .
y 0 () = p[c1 ep c2 ep ] = 0

y 0 (0) = c2 = 0

=0 = 0 autovalor con autofuncin y0 = c1 .
y 0 () = c2 = 0

y 0 (0) = c2 = 0

1
>0 n = n2 , yn = c1 cos n .
y 0 () = c1 sen = 0 cos x

Los n = n2 y las yn = {cos n} , n = 0, 1, 2, . . . 0 !

tienen las mismas propiedades resaltadas para el problema cos 2x
anterior. Por ejemplo, la autofuncin que ocupa el lugar n se
anula n1 veces y sigue habiendo ortogonalidad:
sen(n+m)
R R h
sen(nm)
i
0
cos n cos m d = 21 0 [cos(nm)+cos(n+m)] d = 21 nm
+ n+m =0 .
0

16
Pasemos a tratar ya el problema general. Sea la ecuacin lineal de segundo orden
dependiente de un parmetro real :
y 00 + ()y 0 + b()y + c()y = 0 , con , b, c C[, b] , c() > 0 en [, b] .
La reescribimos de otra forma,Rque se suele denominar autoadjunta o Sturm-
Liouville. Multiplicando por e se tiene
h R i0 R R
0
e y 0 + b e y + c e y py 0 qy + ry = 0 , con p C1 , q, r C , p, r > 0 .


Las condiciones que ms nos van a interesar son las condiciones separadas (cada
una afecta a los valores de y o de y 0 slo en uno de los extremos del intervalo):

Se llama problema de Sturm-Liouville separado regular a uno del tipo:

0

[py 0 ] qy + ry = 0
(Ps )
y() 0 y 0 () = 0 , y(b)+0 y 0 (b) = 0 (condiciones separadas)
donde p C1 [, b] , q, r C[, b] , p, r > 0 en [, b] , ||+| 0 | , ||+|0 | 6= 0 .
[Las ltimas condiciones lo que dicen es que y | 0 | , || y |0 | no se anulan a la vez].

Los ejemplos 1 y 2 eran unos (Ps ). Este teorema generaliza sus propiedades:

Los autovalores de (Ps ) son una sucesin infinita 1 < 2 < < n <
que tiende a . Las autofunciones {yn } forman un espacio vectorial
de dimensin 1 y cada yn posee exactamente n 1 ceros en (, b) .
Las autofunciones asociadas a autovalores distintos son ortogonales
Teor 1. en [, b] respecto al peso r , es decir:
Rb
yn , ym r yn ym d = 0 , si yn , ym estn asociadas a n 6= m .
Si 0 0 , 0 0 y q() 0 en [, b] entonces todos los n 0 . En
particular, para y() = y(b) = 0 [o sea, si 0 = 0 = 0 ] todos los n > 0 .

No probamos la primera afirmacin y la de los ceros que son difciles. S el resto.

Si y cumple (Ps ): y 0 () = 0 y() , 0 6= 0 ; y 0 (b) = 0 y(b) , 0 6= 0
[y es y() = 0 , si 0 = 0 ; y(b) = 0 , si 0 = 0].
Si y , y estn asociadas al mismo , se deduce que dependen linealmente, pues
su wronskiano se anula en (o tambin en b ):
|W|(y, y )() = yy 0 y 0 y = = 0 , si 0 = 0 o si 0 6= 0 .


Sean ahora yn , ym asociadas, respectivamente, a n y m :

n ryn = [pyn0 ]0 +qyn

Multiplicando por ym e yn ,
m rym = [pym 0 ]0 +qy
m restando e integrando:
Rb Rb
[n m ] ryn ym d = yn (pym 0 )0 y (py 0 )0 d partes
= 0 y y0 ) b = 0
  
m n
p(yn ym m n

pues |W|(yn , ym ) = 0 en y en b . Por tanto, si n 6= m se tiene que yn , ym = 0 .

Si y es la autofuncin asociada a y 0 0 , 0 0 , q 0 entonces

Rb Rb Rb b
ry 2 d = y(py 0 )0 +qy 2 d = p(y 0 )2 +qy 2 d pyy 0 0 0 ,
  

Rb Rb
pues ry 2 d > 0 ( r > 0 ) , p(y 0 )2 +qy 2 d 0 ( p > 0 , q 0 ) ,


p(b)[y(b)]2 0 si 0 6= 0 p()[y()]2 0 si 0 6= 0
[pyy 0 ](b) = 0 , [pyy 0 ]() = 0 .
0 si 0 = 0 0 si 0 = 0
Rb
Si y() = y(b) = 0 , y = {1} no es autofuncin y 0
6 0
p(y 0 )2 > 0 > 0 .

17
  00
y + y = 0  0 0
Ej 3. (P3 ) (casi en forma autoadjunta: y + y = 0 ; es r 1 ).
y 0 (0) = y(1) = 0

Tendr las propiedades del teorema 1. Busquemos sus n . Como 0 = 0 = 0 , q 0 , nos

limitamos a los 0 . [Ahora ya sabemos que podamos haber hecho esto en el ejemplo
2, y que en el 1 hubieran bastado los > 0 ; que conste que hay problemas con < 0 ].
y 0 (0) = c2 = 0

= 0 : y = c1 +c2 y 0 . = 0 no es autovalor.
y(1) = c1 +c2 = 0

> 0 : y = c1 cos +c2 sen . y 0 (0) = 0 c2 = 0 y(1) = c1 cos = 0

(2n1)2 2
n o
n = 2n12
, n = 4
, yn = cos 2n1
2
, n = 1, 2, . . .
R1
El teorema asegura que las {yn } son ortogonales: 0 yn ym d = 0 ,
n 6= m (sera fcil comprobarlo), y que la autofuncin n-sima (como
le ocurre a las tres dibujadas) tiene n1 ceros en (0, 1) .

Como 0 = 0 , 0 > 0 , q 0 ,
 00
y + y = 0
Ej 4. (P4 )
y 0 (0) = y 0 (1)+y(1) = 0 volvemos mirar slo los 0 .

y 0 (0) = c2 = 0

= 0 : y = c1 +c2 y 0 . = 0 no autovalor.
y 0 (1)+y(1) = c1 +2c2 = 0

> 0 : y = c1 cos +c2 sen . y 0 (0) = c2 = 0 y 0 (1)+y(1) = c1 [cos sen ] = 0 .

No podemos hallar exactamente los n , pero tn n = 1

n
lo cumplen infinitos n (anulan el corchete infinitos n ),
que slo se pueden hallar aproximadamente. La yn para cada 1/w
n = n2 es {cos n } . Estas yn sern ortogonales. !
0 w1 w2 w3 w
[La mayora de los problemas de S-L no son resolubles, pues
pocas lineales de segundo orden lo son elementalmente (las
de coeficientes constantes y pocas ms), y aunque lo sean tan w
puede ocurrir lo que en este ejemplo].

 00
y 2y 0 + y = 0 2 2+ = 0 ,  2 0 0
Ej 5. (P5 ) p e y + e2 y = 0
y 0 (0) = y 0 (1) = 0 = 1 1 .
Sabemos que los 0 , pero esto no ahorra clculos, pues y hay que mirar <, =, > 1 :
p
< 1 : y = c1 e(1+p) + c2 e(1p) , y 0 = c1 (1+p) e(1+p) + c2 (1p) e(1p) , p = 1
c1 [1+p] + c2 [1p] = 0

c2 (1p)e[ep ep ] = 0 p = 1 ( = 0 ), y0 = {1} .
c1 [1+p]e1+p +c2 [1p]e1p = 0
c +c = 0

= 1 : y = [c1 +c2 ] e , y 0 = [c1 +c2 +c2 ] e 1 2 y 0 . = 1 no autovalor.
c1 +2c2 = 0
p
y = [c1 cos +c2 sen ] e , = 1
>1 : 0  y 0 (0) = c1 +c2 = 0
y = (c1 +c2 ) cos +(c2 c1 ) sen e

y 0 (1) = c2 e(1+2 ) sen = 0
= n, n = 1, 2, . . . n = 1+n2 2 , yn = e [sen nn cos n] , n = 1, 2, . . .


Las autofunciones sern ortogonales respecto al peso r() = e2 :

R1
0
e [sen nn cos n] d = 0
R1
0
[sen nn cos n][sen mm cos m] d = 0 (m 6= n)

 2 00
y + y 0 + y = 0
R R d
0 y
p() = e
=e + = 0 . Es r() = 1 .
= y 0

Ej 6. (P6 )
y(1) = y(e) = 0
Es problema separado regular p, r > 0 en [1, e] .

p
Ecuacin de Euler: r(r 1)+r + = 0 r = . Basta mirar los > 0 :
c =0

y = c1 cos( ln )+c2 sen( ln ) , c1 sen = 0 n = n2 2 , yn = sen(n ln ) , n = 1, 2, . . .

2
R e sen(n ln ) sen(m ln ) d
Como siempre, las autofunciones son ortogonales: 1
= 0 , m 6= n .

18
Separando variables nos aparecern tambin problemas de contorno como el si-
guiente, que no es separado, pues sus condiciones de contorno mezclan valores
en los dos extremos del intervalo. En concreto, este es un problema peridico:
 00
y + y = 0 [Estas condiciones equivalen a
Ej 7. (P7 )
y() = y(), y 0 () = y 0 () pedir que y sea 2-peridica].

c1 [ep ep ]c2 [ep ep ] = 0

<0 Como el determinante de los coeficientes
c1 [ep ep ]+c2 [ep ep ] = 0
e ep ep ep 
 p 
p )2 6 = 0 si p > 0 ,
ep ep ep ep  = 2(e e
  p

el sistema slo tiene la solucin trivial c1 = c2 = 0 . No hay autovalores negativos.

c c = c1 +c2

= 0 c1 = c2 se satisface para c2 = 0 y cualquier c1 : y0 = c1 = {1} .
2 2

2c2 sen = 0

>0 sen = 0 n = n2 , n = 1, 2, . . .
2c1 sen = 0

Para esos n las condiciones de contorno se cumplen para todo c1 y todo c2 .

Las autofunciones son, pues: yn = c1 cos n + c2 sen n {cos n, sen n} .
[Es claro que exigir simplemente que y sea 2-peridica
lleva directamente a los mismos autovalores y autofunciones].

Las propiedades de (P7 ) son algo distintas de las los problemas separados: sigue ha-
biendo una sucesin infinita de autovalores n = n2 , n = 1, 2, . . . tendiendo a ,
pero las autofunciones y0 = {1} , yn = {cos n, sen n} forman, si n > 0 , un es-
pacio vectorial de dimensin 2. Utilizando sen cos b = 21 sen(+b)+sen(b)
 

(y las relaciones ya vistas para sen sen b y cos cos b y las frmulas del ngulo
doble) se comprueba que sigue siendo cierto que autofunciones diferentes son
ortogonales entre s.

Los problemas de Sturm-Liouville pueden generalizarse. En la demostracin del teorema se

b
aprecia que lo esencial para la ortogonalidad es que p|W|(yn , ym ) = 0 ; esto sucede para


otros tipos de condiciones de contorno (y para otros muchos no) adems de las separadas.
Por ejemplo ocurre en los llamados problemas peridicos que generalizan el (P7 ):
[py 0 ]0 qy + ry = 0 , con p() = p(b) , p C1 [, b] , q, r C[, b] , p, r > 0 en [, b]

(Pp )
y() = y(b), y 0 () = y 0 (b) (condiciones peridicas)
Para (Pp ) no se anula el wronskiano de dos soluciones ni en ni en b
 (y por
 eso hay espacios
de autofunciones de dimensin 2), pero es claro que p|W|(yn , ym ) (b) = p|W|(yn , ym ) () .


b
Ms en general, se llaman problemas autoadjuntos aquellos tales que p|W|(, ) = 0


para todo par de funciones , que cumplan sus condiciones de contorno.

Las autofunciones de estos problemas ms generales (que en libros avanzados de ecuacio-
nes se ve que tienen propiedades similares a las de los separados) son, pues, ortogonales.
Pero no nos ocupamos ms de ellos, pues los problemas que nos aparecern en el captulo
siguiente sern todos separados (o el (P7 ) de arriba).
0
Rb
[El trmino autoadjunto se debe a que llamando L[y] = [py 0 ] +qy y (,) = d ,
se tiene que L[], = , L[] para todo par de funciones , que cumplen las

condiciones de contorno: el operador L es autoadjunto en ese conjunto de funciones].

 00
y + y = 0
p|W|(, ) () = p|W|(, ) (0) .
   
Ej 8. (P8 ) Se tiene
y(0) = y(), y 0 (0) = y 0 ()

El problema, pues, no es autoadjunto. Operando como en el ejemplo 7 es fcil ver que

las cosas son muy diferentes: cualquier (menor, igual o mayor que 0 ) es autovalor
n  o n o

asociado, respectivamente, a ch p( 2 ) , {1} cos ( 2 )


y en general es falso que las autofunciones asociadas a distintos sean ortogonales.

19
Resolviendo algunas EDPs aparecern problemas singulares de Sturm-Liouville
que no renen todas las condiciones de los regulares: p r se anulan o no son
continuas en algn extremo del intervalo, el intervalo es infinito. . . Resolvamos tres
de ellos (el 9 surge, por ejemplo, tratando ondas o calor en el espacio, el 10 si esas
ecuaciones son en el plano y el 11 para Laplace en la esfera), en los que en uno
o ambos extremos es p = 0 . En esos extremos las condiciones de contorno de un
(Ps ) son demasiado fuertes para tener autovalores y autofunciones como en los re-
gulares y se sustituyen por acotacin, de forma que siga habiendo ortogonalidad,
es decir, segn vimos en la demostracin del teorema 1, que se cumpla:
0 y y 0 ) b = ( )y , y .
0 = p (yn ym
 
m n n m n m

R
y 00 + 2y 0 + y = 0 e = 2 

0
Ej 9. (P9 ) y 00 + 2 y 0 +y = 0 2 y 0 +2 y = 0 .
y acotada en = 0, y(1) = 0

Haciendo el cambio = y la ecuacin se convierte en 00 + = 0

la solucin general de la inicial para > 0 es y = c1 cos + c2 sen .
 sen n
y acotada c1 = 0 ; y(1) =0 sen = 0 n = n2 2 , n = 1, 2, . . . , yn =
[ortogonales, como es fcil comprobar, respecto al peso r() = 2 ].
Es fcil ver directamente que no hay 0 , o podemos evitar las cuentas pues la prueba
de esa parte del teorema se puede adaptar a este problema singular, con lo que > 0 .
[Tambin se podra haber observado que las condiciones que quedan tras el cambio son
(0) = 0y(0) = 0 , (1) = 10 = 0 n = {sen n} , y haber deshecho el cambio].
[Si hubisemos impuesto y(0) = 0 , y(1) = 0 la nica solucin sera y 0 ;
las condiciones para este problema singular habran sido demasiado fuertes].

y 00 + y 0 + y = 0

0
y 0 + y = 0 .

Ej 10. (P10 )
y acotada en = 0, y(1) = 0
p
Se puede probar que > 0 . Haciendo el cambio de variable independiente s =
la ecuacin se convierte en la de Bessel de orden 0 :
d2 y dy p p
s ds2 + ds + sy = 0 y = c1 J0 (s) + c2 K0 (s) = c1 J0 ( ) + c2 K0 ( )

La primera condicin de contorno impone que 1

c2 = 0 ( K0 no est acotada
p en = 0 ). De la 0.8
otra se deduce que c1 J0 ( ) = 0 . As pues, los
autovalores son los 1 < 2 < cuyas races 0.6
son los infinitos ceros de J0 estn tabulados 0.4
y si n grande es n n 14 .
p

0.2 _
Para esos n las autofunciones asociadas son !"
0
16
n p
o 4 8 12
yn = J0 n ,
-0.2
que son ortogonales respecto al peso r() = .
-0.4

 0
(12 )y 0 + y = 0
Ej 11. (P11 )
y acotada en = 1 La ecuacin es la de Legendre si = p(p+1) .

Se sabe que sus nicas soluciones acotadas en 1 y 1 son los polinomios de Legendre
Pn () , que aparecen cuando p = n , n = 0, 1, 2, . . .
Los autovalores son n = n(n+1) , n = 0, 1, 2, . . . y las autofunciones son los Pn , que
R1
P P d = 0 si m 6= n r() = 1 .
 
cumplen, como se ve en los cursos de EDOs: 1 n m

20
2.2. Series de Fourier
Consideremos el problema de Sturm-Liouville separado regular:
0
[py 0 ] qy + ry = 0

(Ps )
y() 0 y 0 () = 0, y(b)+0 y 0 (b) = 0

y sean y1 , y2 , . . . , yn , . . . sus autofunciones asociadas a los 1 , 2 , . . . , n ,. . . .

La importante propiedad que veremos en esta seccin es que cualquier funcin
suficientemente regular en [, b] puede ser desarrollada en serie de
dichas autofunciones, es decir:

() = cn yn ()
X

n=1

Supongamos que este desarrollo es vlido y que la serie puede ser integrada tr-
mino a trmino. Entonces, por ser las yn ortogonales:
Rb Rb Rb
r ym d = cn r yn ym d = cm r ym ym d
X

n=1

Por tanto, si representamos el producto escalar respecto al peso r() :

Rb , yn
, =
r d debe ser cn = , n = 1, 2, . . .
yn , yn

[El r es el de la ecuacin en forma autoadjunta; en la mayora de los problemas que

aparecern separando variables en el captulo 3 dicho peso ser 1 , pero no siempre].

El problema (nada elemental) reside en precisar para qu funciones la serie con

esos coeficientes (serie de Fourier de ) converge realmente hacia en [, b] .
Aunque se le pueden exigir condiciones ms dbiles, nosotros pediremos a que
sea C1 a trozos, condicin que ser satisfecha por las funciones que nos aparecern
en problemas prcticos.
[Recordamos que es C1 a trozos en [, b] si podemos dividir el
intervalo en subintervalos [, b] = [, 1 ] [1 , 2 ] [n , b]
de modo que:
i. y 0 son continuas en cada (k , k+1 ) , a x1 xn b
ii. los lmites laterales de , 0 en cada k existen y son finitos].

Si es C1 a trozos en [, b] entonces su serie de Fourier:

, y
n
yn ()
X

Teor 1. n=1 yn , yn
converge hacia () en los (, b) en que es continua y
hacia 12 ( )+ (+ ) en los (, b) en que es discontinua.
 

El teorema no dice nada sobre la convergencia en los extremos y b .


La demostracin es difcil y la omitimos. En lenguaje de anlisis funcional, las {yn }
son una base de Fourier del espacio de funciones de dimensin infinita (similar a una
base ortonormal de uno de dimensin finita). La cuestin principal es ver que la base
es completa, es decir, que no hay otras funciones ortogonales a las {yn } . El espacio
natural para estudiar las series de Fourier es L2 (funciones de cuadrado integrable) y
la convergencia ms ligada a ellas es la convergencia en media cuadrtica:
R b  n 2
 () ck yk ()  d 0 cuando n .
X  
k=1

21
Caso particular de los desarrollos en serie de Fourier son los desarrollos en series
trigonomtricas, que, al ser los que ms utilizaremos, estudiamos con detalle.

Los autovalores y autofunciones de:

y + y = 0
 00
2 2
son n = nL2 e yn = sen n , n = 1, 2, . . . .

(P1 )
y(0) = y(L) = 0 L

[Es fcil verlo directamente, o tambin podemos hacer s = / L

L2
y 00 + 2
y = 0 , y(0) = y() = 0 en la variable s , que es casi el ejemplo 1 de 2.1;
tambin se trasladara haciendo s = un problema en [, b] al (P1 ) (con L = b ),
sin necesidad de estudiarlo desde el principio].
Llamaremos serie de Fourier en senos de en [0, L] al desarrollo en estas
autofunciones:
Z L
() = bn sen n , con bn = 2
() sen n d , n = 1, 2, ...
X
L L L
[s]
n=1 0

RL 2
Ya que el peso es r() 1 y se tiene que yn , yn = 0
sen n
L
dt = L
2
.
[Hemos escrito impropiamente = ; la igualdad slo se da en los (0, L)
en que es continua; en 0 y L an no sabemos, pero pronto lo sabremos].

Para este segundo problema de contorno:

y + y = 0
 00
2 2
son n = nL2 , yn = cos n , n = 0, 1, . . . yo = {1}
  
(P2 )
y 0 (0) = y 0 (L) = 0 L

Y se llamar serie de Fourier en cosenos de una dada en [0, L] a:

Z L

() = 2o + n cos n , con n = 2
() cos n d , n = 0, 1, 2, ...
X
L L L
[c]
n=1 0

RL RL 2
Pues yo , yo = 0
12 d = L e yn , yn = 0
cos n
L
d = L
2
, si n 1.
o
[Ponemos 2
en la serie para que la frmula del n valga tambin para o ].
1
Ej 1. Sea () = , [0, 1] . Desarrollmosla en senos y en cosenos:
x

2 X (1)n+1
R1 2
0 1
() = n
sen n , pues bn = 2 0 sen n d = n cos n , n = 1, 2, . . .
n=1

1 (1)n 1
() = + 22 cos n = 1 4 X 1
X
2 n2 2
2 (2m1)2
cos(2m1) ,
n=1 m=1
R1 R1
ya que o = 2 0
d = 1 , n = 2 0
cos n dt = n22 2 [cos n 1] , n = 1, 2, . . .

Ambas series, segn el teorema 1, convergen hacia () para todo (0, 1) .

Lo mismo sucedera con el desarrollo en autofunciones de cualquier otro pro-
blema de Sturm-Liouville que considersemos. Cuando nos encontremos estas
series resolviendo EDPs no tendremos la libertad de elegir en qu autofunciones
desarrollar: nos las impondr el problema.

Otras dos familias de autofunciones sencillas en las que vamos a desarrollar fun-
ciones muchas veces son las de estos problemas fciles de resolver:
y + y = 0
 00
[2n1]2 2 [2n1]
n o
con n = 22 L2 , yn = sen , yn , yn = 2L , n = 1, 2, . . .
y(0) = y (L) = 0
0 2L

y + y = 0
 00
[2n1]2 2 [2n1]
n o
con n = 22 L2 , yn = cos , yn , yn = 2L , n = 1, 2, . . .
y (0) = y(L) = 0
0 2L

A los desarrollos en estas autofunciones los llamaremos, respectivamente, series

en senos impares y en cosenos impares en [0, L].

22
La teora de series de Fourier puede ser extendida para incluir autofunciones de
problemas con condiciones peridicas. As para:
y 00 + y = 0
2 2
y(L) = y(L) , n = nL2 , n = 0, 1, . . . , yo = {1} , yn = cos n , sen n

(P3 ) L L
y 0 (L) = y 0 (L)

se deduce la siguiente serie de Fourier en senos y cosenos en [L, L]:

() = 2o + n cos n + bn sen n
X  
[p] L L
, con coeficientes:
n=1

Z L
[1] n = 1
L
() cos n
L
d , n = 0, 1, 2, ... , y
L

Z L
[2] bn = 1
L
() sen n
L
d , n = 1, 2, ... , ya que se cumple:
L

RL RL
cos m
LL
sen n
L
dt = 0 para todo m y n ; L 12 d = 2L ;
0 m 6= n 0 m 6= n
RL m n
 RL m n


L
cos L
cos L
d = L m=n
; L
sen L
sen L
d = L m=n
.

Las frmulas [1]-[2] tambin valen para desarrollar una definida inicialmente
en cualquier otro intervalo [, +2L] (cambiando los lmites a la integral) pues
R +2L R +2L
cos2 = sen2 = L .


Como en el teorema 1, la serie [p] converge hacia () en los en los que

es continua. Pero adems se puede decir lo que sucede en los extremos L y L
(observando que [p] define de hecho una funcin en todo R que es 2L-peridica).
Podemos hablar tambin sobre la convergencia uniforme de [p] (sin demostrar
nada, como en toda la seccin):

Suponemos que es C1 a trozos en [L, L] y extendemos fuera de

[L, L] de forma 2L-peridica. Entonces la serie [p] con n y bn dados
por [1] y [2] converge hacia () en todos los puntos en que su extensin
es continua (y hacia 21 ( )+ (+ ) en los puntos de discontinuidad).
 
Teor 2.
Adems [p] converge uniformemente en todo intervalo cerrado que no
contenga discontinuidades de la extendida. Por tanto, si es continua
y (L) = (L) entonces [p] converge uniformemente hacia en todo el
intervalo [L, L] .

Las frmulas [s] y [c] para los coeficientes de las series en senos y de las series en
cosenos se pueden ver como casos particulares de [1] y [2]:
Dada una inicialmente definida en [0, L] podemos extenderla de forma impar o
de forma par a [L, L]. En el primer caso es impar () cos n
L
y par () sen n
L
.
n n
En el segundo () cos L es par y () sen L es impar. Por tanto, n = 0 y [1]
se convierte en [s] en el primero, y en el segundo bn = 0 y [2] pasa a ser [c].
[Si definisemos la de cualquier otra forma en [L, 0), la serie en senos y cosenos
tambin convergera hacia () en los de (0, L) en que fuese continua].
Como consecuencia de lo anterior y del teorema 2 se tiene que:

La serie de cosenos de una continua en [0, L] , con 0 continua a

trozos, converge uniformemente hacia en todo el intervalo.
Si satisface adems que (0) = (L) = 0 la serie en senos de tambin
converge uniformemente hacia en todo [0, L] .
[Si no fuese (0) = 0 (L) = 0 la extendida primero de forma impar a [L, L]
y luego de forma 2L-peridica no sera continua en 0 o en L ; adems est claro
que todas las series en senos se anulan en 0 y L , pues lo hace cada sumando].

23
 1 En particular, la serie en senos del Ej 1
par no converge uniformemente hacia en
[0, 1] (s lo hace en cualquier intervalo de
-3 -1 0 1 3 la forma [0, b] , b < 1 ). La serie en cose-
nos s converge uniformemente en [0, 1] .
impar 1 [Aunque las series en cosenos se compor-
ten mejor, resolviendo EDPs no podremos
-3 -1 0 1 3 elegir, como ya hemos dicho, el tipo de
series en que desarrollar las funciones].
-1
1
0 , 1 0

Ej 2. Sea () = .
, 01 -1 0 1
Su serie en senos y cosenos est casi calculada:
1
1 X (1)n 1
1 X (1)n
+ cos n sen n .
4 2 n2 n
n=1 n=1
-1 0 1
La suma de esta serie es 0 en (1, 0] , en
[0, 1) y 1/ 2 en 1 y 1 . En todo cerrado que no Sngordo
S2
contenga estos puntos la convergencia es uni-
forme. Cerca de ellos la convergencia es mala y
lenta. [Se produce el fenmeno de Gibbs: apa- S0
recen picos cerca de las discontinuidades]. S1

Ej 3. Hallemos otro par de desarrollos de () = , [0,1] , en las autofunciones de los

(2n1)
n o
y {cos n } con tn n = 1 . r() = 1 .
 
ejemplos 3 y 4 de 2.1: cos 2 n

(2n1) (2n1)
R1 h
4(1)n+1 8
i
cn = 2 d =
X
0
cos 2 (2n1)
2 (2n1)2
cos 2
.
n=1

R1 n2 +cos2 n 2+n2
cos n , cos n = 0
cos2 n d = 1
2
+ sen 2
n cos n
= 2n2
=
,
n 2 1+n2
R1 n 1
, cos n = 0
cos n d = sen n
n
+ cos 2 = 2 cos2 n 1
n n

2(2 cos n 1)
=
X
n2 +cos2 n
cos n [usando el ordenador: c1 0.52 , c2 0.46 . . . ].
n=1

Ej 4. Nuevo desarrollo de () = , ahora en [1, e] , en las autofunciones del Ej 6 de 2.1.

R e sen2(n ln ) d R 1
Esta vez el peso no es 1 , sino r() = 1 . Como 1
= 0 sen2(ns) ds = 21 ,

 
Re R1 2n 1e(1)n
= cn sen(n ln ) , si cn = 2 1 sen(n ln ) d = 2 0 es sen(ns) ds =
X
1+n2 2
.
m=1

Observemos para acabar que tambin se pueden hacer desarrollos de Fourier en

serie de autofunciones de diversos problemas de Sturm-Liouville singulares, en
particular en las de los tres que vimos en la seccin anterior.
Ej 5. Desarrollemos una (C1 a trozos) en las autofunciones del (P10 ) de esa seccin:
y 00 + y 0 + y = 0
 p
() = n , peso r() = .
X

(P10 ) cn J0
y acotada en = 0, y(1) = 0 m=1
R1 p

() J0 n d R1
p2
p
cn = 0
= 2 () J0


R1
2
p


0
n d
J0 n d J1 n
0
p
R1 p
1
Rp n 1
h
i n 1 2
p
J20 n d = J20 () d = 2 J20 ()+ J21 () =



pues 0 n 0 2n
J
2 1
n
0
 n 0 0
Jn = n Jn1 J1 = J0 , J00 = J1

ya que las Jn satisfacen
2 2 2
J20 d = 2 J20 + J0 J1 d = 2 J20 + 21 J1
R R 

24
2.3. Problemas no homogneos; funcin de Green
Separando variables en la ecuacin de Laplace y similares aparecern, adems
de problemas de Sturm-Liouville homogneos, otros problemas de contorno con la
ecuacin o las condiciones no homogneas (para calor y ondas sern de valores
iniciales). Antes de dar su teora general, veamos un ejemplo.
 00
y = d
Ej 1. Discutamos cuntas soluciones tiene , d , b constantes.
y(1) = y(2)+by 0 (2) = 0
3 2 2
La solucin general es: y = c1 +c2 + d con y 0 = c2 + 2 d . Imponiendo datos:


6 2
1
d2 c1 +c2 = d2 16
( (
y(1) = c1 +c2 + 6
=0
4 , es decir: .
y(2)+by 0 (2) = c 1 +2c2 + 3 2d+bc2 +2b2bd = 0 c1 +(2+b)c2 = 2bd+2d2b 43

Este sistema lineal tendr solucin nica en c1 y c2 si el sistema homogneo tiene

slo la solucin trivial (si el determinante de los coeficientes es no nulo). Cuando el
homogneo tenga infinitas soluciones, el no homogneo tendr infinitas o ninguna.
Por tanto, si b 6= 1 , podemos despejar de forma nica c1 y c2 , y la solucin queda
determinada, cualquiera que sea d . Pero si b = 1 :
c1 +c2 = d2 16
(
d
2
, este sistema slo tiene solucin cuando 2
16 = 23 d = 35 ,
c1 + c2 = 3
y en ese caso una de las dos constantes queda libre. Si b = 1 , d 6= 53 , no hay solucin.

Veamos ya el problema general. Consideremos el problema para la ecuacin no

homognea con condiciones separadas homogneas:
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

y llamemos (Ph ) al problema homogneo asociado ( 0 ). Luego consideraremos

condiciones de contorno no homogneas y el caso en que la ecuacin depende de
un parmetro. Este teorema generaliza lo que ocurra en el ejemplo 1 de arriba:

El problema (Pf ) tiene solucin nica si y slo si (Ph ) tiene slo la

solucin y 0 . Si (Ph ) tiene soluciones no triviales {yh } entonces 11
Teor 1. (P ) tiene infinitas soluciones o no tiene ninguna segn sea igual
f
Rb 0
o distinta de cero, respectivamente, la integral: () yh () d .

Se deduce gran parte del teorema imponiendo las condiciones de contorno a la

solucin general de la ecuacin y = c1 y1 +c2 y2 +yp , y usando las propiedades
de los sistemas algebraicos. Adems si hay soluciones y de (Pf ) debe ser:
Rb Rb b R b 
yh = [py 0 ]0 +gy yh = p(yh y 0 yyh0 ) + [pyh0 ]0 +gyh y = 0
  

y se prueba que esta condicin necesaria es tambin suficiente.
[La del teorema 1 es, desde luego, la de la ecuacin en forma autoadjunta
[py 0 ]0 +gy = ; para aplicarlo habr, en ocasiones, que reescribir la ecuacin].

Ej 1 . Hagamos la discusin del Ej 1, ahora utilizando el teorema. El (Ph ) para y 00 = 0

 

tiene slo la solucin y 0 si b 6= 1 . Y si b = 1 son soluciones yh = {1} .

0
El (Pf ) para [y 0 ] = d , tendr entonces solucin nica si b 6= 1 , e infinitas 0 ,
 
R2
para b = 1 , segn se anule o no la integral: 1 (d)(1) d = d2 65 d = 53 .

Si en vez de la d concreta tuvisemos una () general, el teorema dara rpidamente:

infinitas R2 =0
nica solucin si b 6= 1 , e , segn 1 ()(1) d 6= 0 , para b = 1 .
ninguna
R R
Costara bastante ms concluirlo hallando la solucin: c1 +c2 + 1 (s)ds 1 s (s)ds .

25
Sea ahora el problema con condiciones de contorno no homogneas:
0
p()y 0 + g()y = ()

(PAB ) , p C1 , g, C, p > 0 en [, b] ,
y() 0 y 0 () = A, y(b)+0 y 0 (b) = B

y sea (Ph ) el homogneo obtenido tomando () 0 , A = B = 0 (el mismo de antes).

Hallando una funcin que satisfaga sus condiciones de contorno el (PAB ) se pue-
de reducir a otro con condiciones homogneas, pues el cambio = y (gracias
a la linealidad de la ecuacin y las condiciones de contorno) lleva al problema:
0 0
p()0 +g() = () p() 0 g()
 
(P )
() 0 0 () = 0 , (b)+0 0 (b) = 0
que es del tipo (Pf ) ya analizado. Deducimos, por ejemplo, que:

Teor 2. (PAB ) tiene solucin nica (Ph ) tiene slo la solucin y 0

[y si (Ph ) tiene infinitas soluciones, (PAB ) puede tener infinitas o ninguna].

La idea de encontrar una que satisfaga las condiciones de contorno para convertirlas
en homogneas se utilizar en las EDPs de los prximos captulos. Para encontrar dicha
normalmente trabajaremos por tanteo. Si no es una constante, probaremos una recta;
si no vale, funciones ms complicadas...
Est claro que aunque en (PAB ) sea () 0 , si (al menos) una condicin de contorno
es no homognea, las propiedades son las tpicas de uno no homogneo. Esto
es lo que ocurre en el siguiente ejemplo.

y 00 y 0 = 0

Ej 2. Discutamos cuntas soluciones tiene: (P )
y 0 (1)+y(1) = 0, y(2) = 1

Comenzamos analizando cuntas soluciones tiene el homogneo: y = c1 +c2 2

y 0 (1)+y(1) = 2c2 +c1 +c2 = 0 [23]c2 = 0 y 0 si 6= 23


y(2) = c1 +4c2 = 0 c1 = 4c2 % y = 2 4 si = 32

Si 6= 23 , (P ) tiene solucin nica. Para = 23 vemos lo que sucede directamente:

y 0 (1)+ 23 y(1) = 23 [c1 +4c2 ] = 0

no existe solucin de (P2/ 3 ).
y(2) = c1 +4c2 = 1

Aunque tambin podramos (ms largo) convertirlo en un (Pf ) y aplicar el teorema 1.

Para ello buscamos una de la forma = M+N que satisfaga las condiciones:
0 (1)+ 23 (1) = 13 [5M+2N] = 0 00 0 = 2
(
= 52, = y (P )
(2) = 2M+N = 1 0 (1)+ 32 (1) = (2) = 0
h 0 i0
Escribimos la ecuacin en forma autoadjunta: = 22 y usamos el teorema 1:
R2 2 
1
2 [2 4] dt 6= 0 (P ) [y por tanto (P2/ 3 )] no tiene solucin.

Consideremos ahora una tercera situacin, el problema de S-L no homogneo:

0
py 0 qy + ry = ()

(P )
y() 0 y 0 () = y(b)+0 y 0 (b) = 0

Llamemos (Ps ) al problema separado de Sturm-Liouville homogneo asociado (el de

0 ). Para cada valor de tenemos un problema de los ya vistos (con g = q+r ).
Se tiene por tanto:

(P ) tiene solucin nica no es autovalor de (Ps ).

Si n es autovalor con autofuncin {yn } ,
Teor 3.
no tiene solucin Rb 6= 0
(Pn ) segn sea yn d = 0 .
tiene infinitas

26
  00
y + y = 1
Ej 3. (P3 ) Estudiemos, segn , cuntas soluciones tiene.
y 0 (0) = y 0 (1)2y(1) = 0

Hallemos los n del homogneo. Como 0 < 0 podran aparecer autovalores negativos.
c2 = c1 &

< 0 : y = c1 ep +c2 ep
c1 p[ep ep ]2[ep +ep ] = 0

Hay autovalor 0 = p20 si th p0 = p2 , con y0 = ch (p0 )


0
 
Utilizando el mtodo de Newton o uno similar: p0 2.07, 0 4.27 .

c2 = 0

= 0 : y = c1 + c2 = 0 no es autovalor.
2c1 c2 = 0

c2 = 0 &

> 0 : y = c1 cos +c2 sen
c1 ( sen +2cos ) = 0

Hay infinitos n = n2 si tn n = 2 , con yn = cos (n ) .


n

Por tanto (la ecuacin est ya en forma autoadjunta):

Si 6= n hay solucin nica de (P3 ).
R1
Si = 0 , como 0 ch (p0 ) d 6= 0 , (P3 ) no tiene solucin.
R1 n
Si = n , n = 1, 2, . . . , 0 cos (n ) d = sen

6= 0 , (P3 ) tampoco tiene solucin..
n

Para acabar, deduzcamos una frmula que para cualquier () nos da la solucin del (Pf ) del
principio de la seccin (en el caso de que sea nica) en trminos de integrales, 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 ecuacin 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 4. y1 (s) y2 ()
Rb 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 y (s) (s) R y (s) (s) R y (s) (s)
y() = y1 () |W|(s)
2
p(s)
ds + y2 () |W|(s)
1
p(s)
dsy1 () |W|(s)
2
p(s)
ds = cy1 + yp
p0 0 q
Por tanto, y() es solucin de la no homognea y 00 + p
y + py = p
.
Rb y R y R y
Adems como y 0 () = y10 2
|W| p
+ y20 1
|W| p
y10 2
se tiene que:
|W| p
Rb y Rb y
y() = cy1 (), y 0 () = cy10 (), y(b) = ky2 (b), y 0 (b) = ky20 (b) , c = |W|p
2
, k = |W|p
1

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 ). [La idea de la funcin de Green
se generaliza a otros problemas de EDOs y EDPs].
[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, una vez
ms, 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].

27
  00  00
y = () y =0
Ej 4. (P4 ) slo lo satisface y 0 .
y(0) = y(1) = 0 y(0) = y(1) = 0

Por tanto, (P4 ) 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

|W|() =  = 1 , p() = 1 , G(, s) = s
1 1  (s1) , s 1
x(x-1)
Si, por ejemplo, () = 1 , la solucin de (P4 ) viene dada por: G(x,s), x fijo
R1 R R1 1
y() = 0 G(, s) 1 ds = (1) 0 s ds + (s1) 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 .

Las funciones de Green estn muy ligadas a la funcin ,

!
cuya definicin rigurosa exige la llamada teora de las dis-
tribuciones, pero con la que es fcil trabajar formalmente.
La (t ) se puede definir intuitivamente como el lmite "(ta)
cuando n de
1 1 

, +

n si t 2n
n (t) = 2n
a
0 en el resto a

Esta (t ) tiene las siguientes propiedades (que bastan para trabajar con ella):
() si [b, c]
Rc 
(t ) = 0 si t 6= ; b (t)(t ) dt = ; 1
/ [b, c]
0 si u a(t)

d 0 si t <
(t ) = dt (t) , donde (t) es la funcin paso (t) = . a
1 si t 0

Volvamos a la G . Observemos que la G(, s) del Ej 4 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)y 0 + g(s)y = (s)
Teor 5. G(, s) es la solucin para (, b) fijo de
y() 0 y 0 () = y(b)+0 y 0 (b) = 0
Rb
La prueba es trivial: G(s, ) () d = G(s, ) = G(, s) .
 

Podramos hallar la G del (P4 ) siguiendo este camino ms largo [pero que es el que se
generaliza a las EDPs; adems da una forma de hallar la G en problemas autoadjuntos para
los que no es vlida la frmula del teorema 4]. Como es G00 = 0 si s 6= :
c1 +c2 s , y(0) = 0 y = c2 s , s

G(s) =
k1 +k2 s , y(1) = 0 y = k2 [s1] , s
Y como G00 = , ha de ser continua G y su derivada tener un salto en de magnitud unidad:
y( ) = c2 = k2 [1] = y(+ )

c2 = 1


y 0 (+ )y 0 ( ) = k2 c2 = 1 k2 =

Se
 puede
 resolver de otra forma si se conoce la transformada de Laplace. Con la notacin
L G(s) = H(p) , para este ejemplo basta utilizar las siguientes propiedades de la L :

L[G(n) (s)] = pn H(p) pn1 H(0) pn2 H0 (0) H(n1) (0) .

L[sn ] = pn!
n+1 , L[(s)] = e
p , L1 ep F(p) = (s) [L1 F](s) .
 

Llamando G0 (0) = c , y aplicando la transformada:

c ep
p2 H(p)c = ep H(p) = p2
+ p2
G(s) = cs + (s)(s)

s(1) , 0 s
G(1) = c+1 = 0 G(s) = (1)s + (s)(s) = .
ss+s , s 1

28
3. Separacin de variables
El captulo est dedicado a uno de los ms viejos 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 planteados
en el captulo 1, en concreto de los planteado en un intervalo finito en una de
las variables. Resolveremos la ecuacin del calor con diferentes condiciones de
contorno, la de la cuerda acotada (que volveremos a ver en 4.1), la de Laplace
en un rectngulo y en un crculo,... Ello ser posible porque las ecuaciones sern
separables y los dominios que consideraremos son simples, pero hay muchos
problemas no resolubles por este mtodo.
En la seccin 3.1 resolveremos varios problemas para las ecuaciones del calor y
de ondas en dos variables. Comenzaremos tratando los problemas homogneos
(aquellos en que son homogneas ecuacin y condiciones de contorno; si estas no
lo son, haremos un cambio de variable). Bsicamente esta ser la tcnica utilizada:
buscaremos soluciones de la EDP que sean productos de funciones de cada varia-
ble (, t) = X()T(t) y que cumplan todas las condiciones homogneas; obten-


dremos infinitas soluciones de ese tipo resolviendo un problema de

P Sturm-Liouville
y otra EDO; construiremos una serie a partir de ellas (, t) = cn Xn ()Tn (t) ,
 

cuyos coeficientes cn se fijarn imponiendo las condiciones iniciales an no utili-

zadas (bastar para ello desarrollar funciones dadas en serie de autofunciones del
problema de Sturm-Liouville citado). La presencia de series en el proceso anterior
exigira justificar las cuestiones relativas a su convergencia, pero nosotros no en-
traremos en ello. Pasaremos despus a abordar 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 (formal) del problema.
En 3.2 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 la veremos en 3.4).
En la seccin 3.3 extenderemos el mtodo de separacin de variables a algunos
problemas para ecuaciones en 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 los polinomios de Legendre y las funciones de Bessel.
En 3.4 generalizaremos las funciones de Green, vistas en 2.3 tratando proble-
mas de contorno para EDOs no homogneas, para resolver Laplace en recintos
sencillos (forma alternativa a la separacin de variables). Seguiremos un camino
poco formal (utilizando la delta de Dirac como si fuera una funcin) que abrevia
los clculos. Utilizaremos el llamado mtodo de las imgenes, introduciendo el
concepto de solucin fundamental (funcin tal que = ) que es bsico en
estudios ms avanzados de EDPs.

29
3.1. Separacin de variables para calor y ondas
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 C1 a trozos en [0, L]:

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

t
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 = TT


mejor que X
.
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, 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 2.1; se acudira entonces a la transformada de Fourier de 3.3].

Llevando estos valores de a la ecuacin [5] obtenemos:

2 2
n 2 2 2
o
T 0 = knL2 T Tn = ekn t/ L .

Hemos deducido hasta ahora que para cada n las funciones

n 2 2 2
o
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 .

30
Tenemos una posible solucin de [P1 ]: la serie [6] con coeficientes dados por [7].
Pero esta solucin es slo formal mientras no se pruebe que la convergencia de la
serie 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 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 definida 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) definida 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 0 y es buena la convergencia, se tiene: (, t) 0 [0, L]

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

Suponemos ahora que las condiciones de contorno son no homogneas:

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

Comenzaremos haciendo las condiciones de contorno homogneas.

Una () que las satisface es la recta: = T1 + (T2 T1 ) L .
Haciendo = , nuestro problema se convierte en otro como el [P1 ]:
k = 0 , (0, L), t > 0
t
(, 0) = () () . Por tanto:
(0, t) = (L, t) = 0

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

RLh i
con cn = 2
L 0
()T1 (T2 T1 ) L 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 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 significado fsico].
[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].

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

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

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

31
Veamos ahora cmo resolver el problema no homogneo:
k = F(, t) , (0, ), t > 0
t
[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, ] ).
Aunque no es necesario, descomponemos [P3 ] en dos subproblemas [P1 ] y [PF ], el
primero con F = 0 (ya resuelto) y el otro con = 0 :
k = F(, t) , (0, ), t > 0
t
[PF ] (, 0) = 0
(0, t) = (, t) = 0

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

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

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

n=1

2
[Si tomsemos Tn = cn ekn t , funciones que aparecieron resolviendo [P1 ],
la satisfara la ecuacin con F 0 ; 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: F (, 0) = Tn (0) sen n = 0 deducimos Tn (0) = 0 .
X

n=1

Resolviendo la EDO lineal para Tn 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 Tn y por tanto:
hZ t i
2 (ts)
F (, t) = ekn Bn (s) ds sen n
X

n=1 0

Serie que es solucin formal de [PF ] (como siempre faltara comprobar que es so-
lucin de verdad, que es realmente lo que sucede si la F es decente).
La solucin de [P3 ] (por la linealidad de la ecuacin y las condiciones iniciales
y de contorno) ser la suma de F y de la serie solucin de [P1 ] que obtuvimos
anteriormente.

[Si hubisemos abordado directamente la bsqueda de la solucin de [P2 ] sin

descomponerlo en dos, la nica diferencia sera que las condiciones iniciales
Tn (0) , en vez de ser 0 , seran los coeficientes del desarrollo en senos de
() , es decir, deberamos resolver los problemas de valores iniciales
Tn0 + kn2 Tn = Bn (t)

R
, con cn = 0 () sen n d ].
Tn (0) = cn
[Si las condiciones de contorno de [P3 ] fuesen no homogneas empezaramos como
en [P2 ] con un cambio = para conseguir que lo fuesen].

32
Resolvemos ahora el problema homogneo para la varilla con extremos aislados:
k = 0 , (0, L), t > 0
t
[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 (0) = X 0 (L) = 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 las condiciones de contorno hubiesen sido (0, t) = F0 , (L, t) = FL (flujo 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) = 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.

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

t 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
Como: T0 (0) + Tn (0) cos n = 2 = 13 + n cos n , con n = 2 0 2 cos n d ,
X X

n=1 n=1

T00 =2 Tn0 +n2 2 Tn = 0

integrando y resolviendo: , , se llega a
T0 (0) = 31 Tn (0) = cn
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].

33
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 flujo de calor es
proporcional a la temperatura en = 0 ; si es positiva el calor sale y entra si es
negativa). En = 1 fijamos el flujo de calor que entra en la varilla (al ser > 0 el
flujo es hacia la izquierda).

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

(, 0) = ()
[P5 ]
(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 0 +kT = 0 y al problema de contorno:

X + X = 0
 00
que sabemos que no tiene autovalores < 0 .
X 0 (0)X(0) = X 0 (1) = 0
c2 c1 = 0

Si = 0 : X = c1 +c2 = 0 no autovalor.
c2 = 0
p 
c2 c1 = 0
Si > 0 : X = c1 cos +c2 sen , = c2 = c1
c2 cos c1 sen = 0

c1 ( cos sen ) = 0 tn = . tan w
Esta ecuacin transcendente no se puede
resolver pero est claro que hay infinitos
n = n2 > 0 (aproximables numricamente).
a/w
!
Las autofunciones se podran poner:
n o 0 w1 w2 w3 w4
cos n + sen n ,
n

pero quedan ms compactas 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 [son aproximados al serlo los n ]:

4
R 1h i
cn Xn () = () 1 cn = 2 +sen
n
() 1
Xn () d ,
X
n 2n 0
n=1

R1 2 h i1
1 1
pues 0
Xn () d = 2
+ 4n
sen 2n (1) .
0

S es calculable exactamente la distribucin estacionaria x + 1a-

hacia la que tienden las temperaturas en la varilla:
a
(, t) = (, t) + + 1
+ 1
cuando t crece

[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

34
Dos ejemplos ms de separacin de variables para el calor (o similar). El primero nos sirve
para reflexionar 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).

t = 0 , (0, ), t > 0
Una que cumple las condiciones de contorno
Ej 3. (, 0) = 1
salta a la vista: (t) = et . Haciendo = + :
(0, t) = 0, (, t) = et

t = et

[problema no homogneo].
(, 0) = (0, t) = (, t) = 0
Necesitamos conocer las autofunciones de homogneo para saber qu tipo de solucin
probar. Ya sabemos que al separar variables en el calor aparece X 00 +X = 0 (adems de
T 0 +T = 0 que ahora mismo no nos importa). Esto, unido a las condiciones que salen
de los datos de contorno X 0 (0) = X() = 0 (problema conocido en 2.2), nos lleva a:
h
(2n1) (2n1)2 (2n1)
i
(, t) = Tn (t) cos Tn0 + = et
X X
2
4
Tn cos 2
n=1 n=1

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

Resolvemos la EDO lineal mediante coeficientes indeterminados: Tnp = Aet

2 4Bn et Tn(0)=0 16(1)n+1
h 2
i
Tn = Ce(2n1) t/ 4 + (2n1) 2 4 Tn (t) = (2n3)(2n1)(2n+1) et e(2n1) 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: = et (A cos +B sen ) . Imponiendo a esta los datos de contorno:
=0
t
[problema homogneo y,
= et cos (, 0) = 1+cos
=+ por tanto, ms sencillo]
(0, t) = (, t) = 0

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

(2n1) (1)n (1)n

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

[Evidentemente se podra ver que ambas soluciones coinciden].

+2 = 0 , 0,
, t > 0
t 2 [El trmino +2 representa una prdida
Ej 4. (, 0) = cos 5
de calor al medio a lo largo de la varilla].
(0, t) = (/ 2, t) = 0

X 00 0 damos el 2 i
h
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:
T 0 +(2+)T = 0 2 , t = X 2 T(t) = 0 X 2 = 0

00
X + X = 0
n = (2n1)2 , n = 1, 2, . . . , Xn = cos(2n1)

X 0 (0) = X 2 = 0


n  2
 o
T 0 = (2+n ) T Tn = e 2+(2n1) t
 
2+(2n1)2 t
Probamos pues: (, t) = cn e
X
cos(2n1) .
n=1

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

n=1

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

[Muy parecido a como lo probamos para el calor, se ve que esta solucin es nica;
o bien, haciendo = e2t se obtiene un problema para la ecuacin del calor con
esos mismos datos, problema cuya unicidad ya demostramos].

35
Resolvamos el problema para la cuerda vibrante con extremos fijos (en 4.1 lo
resolveremos extendiendo los datos y aplicando la frmula de DAlembert):
c2 = 0 , [0, L], t R
tt
[P6 ] (, 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
.
h i
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:
h i
(, t) = kn cos nct + cn sen nct sen n
X
L L L
n=1

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

RL
(, 0) = kn sen n = () kn = 2L 0 () sen n
X
L 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 2
= g() cn = nc g() sen n
X
L L 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 pediremos
en 4.1: 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 llamaremos 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).

tt = , [0, ], t R


X
Ej 5. (, 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
Tn0 + n2 Tn = 2 0 sen n d = n
Tn = c1 cos nt + c2 sen nt + n3
.

[1]n+1
X
(, 0) = t (, 0) = 0 Tn (0) = Tn0 (0) = 0 (, t) = 2 n3
[1cos nt] sen n .
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 13 3 = 31 2 3 .

Con = , acabamos en [P6 ], con () = 31 3 2 y g() = 0 .

[Se podran imponer otros tipos de condiciones de contorno (como las del calor) a la cuerda
vibrante (y se resolveran los problemas separando variables). La condicin = 0 significa
que el extremo de la cuerda se mueve con libertad verticalmente y = 0 +b = 0
indican que el extremo est unido por un muelle al punto de anclaje].

36
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 . 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 2. Los problemas en ms variables se
vern en 3.3, 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). En concreto, vamos a resolver aqu el siguiente
problema homogneo (vibraciones entre dos superficies esfricas):

2
tt rr r r = 0, 1 r 2, t R
[P7 ] (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 2.2 (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 sugieren los clculos anteriores:
= 0
tt rr
= r (r, 0) = r (r), t (r, 0) = rg(r) , problema casi igual al de la pgina anterior.
(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 2.2) est asociada a las funciones de Bessel].

37
Acabamos la seccin con algunas reflexiones 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 + b2 ] = 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 Ck [] = hk 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:
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.
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[]
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 los ejemplos 3 y 5 de esta
seccin). 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.

38
3.2. 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:
f (x)
b b

= F(, y) , en (0, )(0, b)
[P1 ] (, 0) = o (), (, b) = b () g (y) ga(y)
o
(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, 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) (, 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 o
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 o
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 ].

39
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 2.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 .

h
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, . . .

2

R
Bn = 0 2 cos n d = 4
n 2 , si n = 1, 3, . . .

Y000 + [Yn00 n2 Yn ] cos n =
X X
B2m1 cos(2m1)
n=1 m=1
00
Y0 = 0
00
Y2m 4m2 Y2m = 0
Y0 = C ; Y2m = 0 ;
Y00 (0) = Y00 () = 0 0 (0) = Y 0 () = 0
Y2m 2m
00
Y2m1 (2m1)2 Y2m1 = B2m1 B
0 0 Y2m1 = (2m1)
2m1

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

40
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 o
n = , Yn = sen .
X 00 X = 0 , X(0) = 0 2 2

(2n1)
n o
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)
1cos 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:
+ =0
yy
= , = (, 0) = , y (, ) = 0
(0, y) = (1, y) = 0

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

n = n2 2 , Xn = {sen n} , Yn = ch[n( y)] .

Y 00 Y = 0 , Y 0 () = 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):

+ = 0 , (, y) (0, ) ,
4 4 Como es ecuacin nueva, separamos
variables desde el principio:

y , 4 = y , 4 = 0



Ej 3.
X 00 00
+1 = YY =

(0, y) = 0 , (, y) = sen 2y = XY X

s=y+ 4
 00  00
Y + Y = 0 Y + Y = 0 n
o
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 + (1n )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
RR
RR RR
D +2 = D 2 D ||||2 = 0 ??
==0

41
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

r 2 R00 +rR0 00
(r, ) = R(r)() R
= =
r 2 R00 +rR0 R = 0
f ()
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 h
rn
i
1
(r, ) = 1+2 () d
X
Rn
cos n()
2 0 n=1

Vamos a sumar la serie:

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

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 la frontera.

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 3.3, para compararlo con el del espacio].

42
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

n2 n2
 
00 + 1r 00 + 00 + 1r 0n + + 1r b0n =4,
X   00 
0 n r 2 n cos n bn r 2 b n sen 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 = 4 , 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 ,

  r0
0p = ln r
1/ 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 3.4 una frmula integral para
(R,) =

que generalizar la frmula de Poisson de la pgina anterior .

43
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, ) = n n cos n + bn sen n
X  
+ r
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
() d = 0
H RR
ds = F ddy = 0 .
 
0
confirma lo visto en 1.3: deba ser D D

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

= 0 en r < 1

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

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

1
y los dems cero.
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

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
 00
n = n2 , n () = cos n , n = 0, 1, 2, . . .

(0) = () = 0
0 0

h i
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
h i
Ro + 1r R00 +
R00 + 1 0
cos n = F(r, ) = Bo (r) + Bn (r) cos n ,
X X
n
R
r n
r 2 R n
n=1 n=1

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


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 2.3). Pero si n 0 :
R acotada
rRo +R0o = 0 Ro = c1 +c2 ln r
Roh = {1}
R0 (1) = 0

Existen ninguna solucin Ro del no homogno segn sea 0 rBo (r)dr 6=

infinitas soluciones R1 0
=0 .
h R 1R i
Concuerda una vez ms con 1.3. Deba ser: 0 0 rF(r, ) ddr = 0 .

44
Resolvemos para acabar con Laplace en polares dos problemas con
condiciones mixtas. El primero va a ser homogneo.
0
= 0 , r < 1 , 0,

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


2
[P7 ] r (1, ) = ()
r 2 R00 +rR0 R = 0
(r, 0) = (r, 2 ) = 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, ) = cn r 2n1 cos(2n1) (2n1) cn cos(2n1) = ()
X X

n=1 n=1

4
R / 2
cn = [2n1] 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 :
0

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

Ej 5.
(1, ) = (2, ) = (r, 0) = 0 , (r, ) = r 2 0
0
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 . Necesi-
tamos 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:
 00
+ = 0 [2n1]2
n
[2n1]
o
0 n = , n () = sen , n = 1, 2, . . .
(0) = () = 0 4 2

[2n1]
(r, ) = Rn (r) sen
X
Probamos entonces la serie: 2

n=1

[2n1]2 [2n1] [2n1]
h i
1 0
R00 + = 4 = 4
X X
n
R
r n
4r 2
Rn sen 2
Bn sen 2
n=1 n=1

[2n1]
2
R 2[1]n
con Bn = 0
sen 2
d = [n1/ 2]2

De los datos no homogneos deducimos las condiciones para las Rn :

Rn (1)n () = Bn n () , Rn (2)n () = 4Bn n ()
X X X X

n=1 n=1 n=1 n=1

2
Resolvemos pues: r 2 R00 + rR0n n 21 Rn = 4Bn r 2 con Rn (1) = Bn , Rn (2) = 4Bn .

n

Bn
Rnp = Ar 2 [ = 2 no autovalor] A = 4(n1/ 2)2
Rn = c1 r n1/ 2 + c2 r (n1/ 2) + Ar 2

c. contorno [2q+2 1][Bn A] 2q [2q 4][Bn A]

c1 = 22q 1
, c2 = 22q 1
, llamando q = n 12 .

Simplificando un poco:
2[1]n
Rn (r) = [2q+2 1]r q + 2q [q2 4]r q [22q 1]r 2


q2 [q2 4][22q 1]

La solucin final es = r 2 + donde la es la serie de arriba con los Rn dados por

esta expresin.

45
3.3. 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 Xm () , [, b] e Yn (y) , y [c, d] las autofunciones de dos problemas de
Sturm-Liouville con 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
h Rb Rd i
, 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 ].

En particular, se tienen los desarrollos en series trigonomtricas 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 ].

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 n 2 2[(1) 1]/ (n ) si m = 1, n > 0

4 1
X
cos y = 2
cos y (2n1)2
cos[2n1] cos y [ya estaba desarrollado 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].

46
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 0 0

(, y, 0) = (, y)
(, 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, . . . n
o
n2 +m2 kt
T nm = e .
= m2 , Yn = {sen my}, m = 1, 2, . . .
n
o
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

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 =
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, . . .

n
o
= n2 +m2 [ z]
p
Z mn sh
= m2 , Ym = {cos my}, m = 0, 1, . . .

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

47
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 :
h i
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
1s2 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 2.2) son n = n(n+1) , n = 0, 1, . . .
y sus autofunciones son los polinomios de Legendre:
h i
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 1
R
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
12 y 2 +2z 2

r .


3 3 3

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

cos2 = 32 32 cos2 21 + 13 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

48
Pasemos ahora a resolver, con menos detalles, el problema general en 3 variables:
h i
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:
r 2 R00 + 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:

2
h i h i
d 2 ) d + m
ds
(1s 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
(t) = 1s2 dsm
Pn (s) , con m n
h i
P0n = Pn , P11 = sen , P12 = 3 sen cos , P22 = 3 sen2 , . . .
n o
Ynm (, ) = cos m Pm n
(cos ) , sen m P m (cos )
n
, n = 0, 1, ... , m = 0 . . . n .
h
Y00 = 1 , Y10 = cos , Y11 = sen cos , sen sen , Y20 = 32 cos2 12 ,
   
i
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 (, ) .
 m m

Hay libros que llaman armnicos esfricos a los Yn , otros a mltiplos concretos de los Yn . . . .

Con ellos formamos la serie:

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

n

n=0 m=1

2n+1 2
R R
n0 = 4Rn 0 0
(, ) Pn (cos ) sen dd ,
(2n+1)(nm)! 2
R R
nm = 2(n+m)!Rn 0 0
(, ) cos m Pm
n
(cos ) sen dd
, m1
(2n+1)(nm)! 2
R R
bnm = 2(n+m)!Rn 0 0
(, ) sen m Pm
n
(cos ) sen dd

2 (n+m)!
R1  2
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 = 31 Y00 13 Y20 21 Y22 .

 

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

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

 

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

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

 

49
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)



1

En el plano ningn R0 0 , y en el espacio estn acotadas tanto 1 como r ; tender a

0 nos dejara sin soluciones 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 2 n = 0, 1, . . .
R
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) .
h
1+2 y 2 2 y 2
i
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) .

50
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
vio en 3.1, son mas sencillas].
(1, t) = 0

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

T 00 R00 + Rr
= 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 2.1. Recordemos

p
que con s = r desapareca y la ecuacin pasaba a ser una de Bessel:
p
p

sR00 (s)+R0 (s)+sR(s) = 0 R = c1 J0 (s)+c2 K0 (s) = c1 J0 r +c2 K0 r
p

Imponiendo los datos se tenan los autovalores
n
n tales que J 0 n = 0 ,
p
o
y las autofunciones asociadas Rn = J0 r n .
Nos falta imponer la condicin inicial que falta a la serie:
p   p   p 
(r, t) = cn J0 r n = (r)
X X
cn cos n t J0 r n
n=1 n=1

Este desarrollo ya lo discutimos en el ltimo ejemplo de 2.2. All vimos que era:
1
2
Z p
cn = r (r) J0 r


p
n dr
J21 n 0

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

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

s n

R1 8
= 43 J1 (n ) (r, t) = cos(n t) J0 (n r) .
X
0 n
3 n 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 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 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
a una cuerda, no son peridicas (los n no son mltiplos
exactos unos de otros).

51
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 m = m2 , m = 0, 1... , m = {cos m, sen m}, 0 = {1}
p
T 00 + c2 T = 0 , T 0 (0) = 0 cos[ ct]


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

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

r 2 R00 + 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
p

R = c1 Jm (s)+c2 Km (s) = c1 Jm r +c2 Km r
p

R acotada c2 = 0 . Los autovalores sern los que hagan Jm = 0 , que son una
sucesin infinita para cada m : m1 , . . . , mk , . . .
n p
o
Y las autofunciones son Rmk = Jm r mk . As que probamos:

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

X

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



2
c0k J0 r
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, . . . ,
1
R 2
Bm (r) = 0
(r, ) sen m d , m = 1, 2, . . . .
Desarrollando:

X p
X p
Am (r) = , Bm (r) =



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



Teniendo en cuenta que 0
r J
2 m+1
mk ,

se llega a la expresin definitiva para los coeficientes:

Z 1Z 2
2 p
cnk = r (r, ) cos n Jm r


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


p mk dr d
Jm+1 ( mk )
2
0 0

52
3.4. Funciones de Green.

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

ii. D
F(, ) (,

Consideremos el problema de Dirichlet no homogneo:

= F(, y) en D

(PD )
= en D

Nuestro objetivo es (como en 2.4) expresar su solucin en funcin de integrales en las que
slo aparezcan una funcin de Green G y los datos F y :

G = (, y) en D

Si G(, y; , ) satisface (PG ) , para cada (, y) D
G = 0 en D
y vista como funcin de (, ) , se le llama funcin de Green de (PD ) y la
Teor 1:
solucin de (PD ) es
ZZ I
(, y) = G(, y; , ) F(, ) dd + Gn (, y; , ) (, ) ds
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:
RR H
Si y G son C2 (D) se tiene D
[G G] dd = D [Gn Gn ] ds

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:
RR H RR H
D
[GF] dd = D [ Gn ] ds = D GF dd + D Gn ds

Cmo resolver (PG )? Comencemos buscando una (, y; , ) que, vista como funcin de
(, ) , satisfaga = , aunque no cumpla la condicin de contorno. Qu funciones cono-
cidas cumplen = 0 y puedan originar una ? Las soluciones de Laplace en polares que
dependen 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 2:
A se le llama solucin fundamental para el punto (, y) .
Para probar el teorema 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:
RR H H R 2 1
rR
dd = r=R n ds = r=R r ds = 0 2R R d = 1 =

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

La forma prctica de hallar la (en recintos D limitados por rectas y circunferencias) es el

mtodo de las imgenes. Mirando 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 ), escogidos de
forma que la G se anule en la frontera de D . Resolvemos un primer ejemplo con la G , en
el que D est limitado por rectas:

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

(P1 ) 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 R2 {Q0 } ) y que +0 = 0 Q(-x,y) Q(x,y)
si P pertenece al eje y , pues entonces PQ = PQ0 . Anloga- +
mente = 2 1
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- P(!,")
bos ejes a la vez hay que sumar una nueva 0 = 1 ln PQ0 ,
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 (P1 ) ser:
R y R
h i
(, y) = D Gn ds = 0 G =0 () d = = 0 ()12 +y2 1
H 
(+)2 +y 2
() d

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

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

(P2 ) r
(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
h i
1
G(P, Q) = 2 ln PQ ln PQ0 + ln Rr , Q0 = Rr , ,

o expresada en trminos de coordenadas:

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 G = 0 si P D ,

 

o sea, si = R . Adems, Gn = G =R y ds = R d , por lo que la solucin de (P2 ) es:

R RR 2 1
R 2 R2 r 2
(r, ) = 0 0
G(r, ; , ) F(, ) dd + 2 0 R2 2Rr cos()+r 2
() d

expresin mucho ms compacta que las series de Fourier, aunque estas integrales, en ge-
neral, no sean calculables (y habr que aproximarlas, pero son aproximaciones tambin las
sumas parciales).

Las cuentas en tres dimensiones son muy similares a los de dos. Si G es solucin de (PG ):
RRR H
(, y, z) = D
G F ddd + D Gn dS ( D es ahora una superficie)

Se ve de manera similar que la solucin fundamental en el espacio es:

1
= 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.

54
4. Otros mtodos en EDPs
Este captulo est dedicado al estudio de varios temas independientes entre s.
En 4.1 nos dedicaremos a sacarle jugo a la frmula de DAlembert deducida en
1.3 para la solucin del problema puro de valores iniciales para la cuerda infinita:
tt c2 = 0 , , t R


(, 0) = () , t (, 0) = g()
Utilizaremos que la solucin (, t) resulta ser la suma de dos ondas que se mueven
en sentido opuesto a velocidad c . Daremos tambin una frmula para las solucio-
nes en el caso de la ecuacin no homognea (con fuerzas externas F(, t) ).
Comprobaremos como, extendiendo de forma adecuada los datos iniciales
a todo R, podemos abordar problemas con condiciones de contorno. Al estar
manejando funciones con expresiones diferentes en diferentes intervalos, escribir
la solucin explcitamente nos puede llevar a discusiones complicadas. Por eso nos
conformaremos muchas veces con hallar su expresin para valores de t o fijos
o con los dibujos de la solucin.
En 4.2 comenzaremos dando sin demostracin la solucin del problema puro de
valores iniciales para la ecuacin de ondas homognea en el espacio (frmula de
Poisson-Kirchoff). De ella deduciremos la frmula para el plano. Estudiaremos
las diferencias entre la propagacin de las ondas en una, dos y tres dimensiones es-
paciales. Comprobaremos que las ondas en el espacio pasan (como ocurre con el
sonido), mientras que en el plano la influencia de los datos iniciales se deja sentir,
aunque amortigundose, a lo largo del tiempo (en la recta depender de si la per-
turbacin inicial se da en la posicin o en la velocidad). Estudiaremos tambin las
ondas que se propagan en el espacio con simetra esfrica que son de tratamien-
to sencillo, por ser esencialmente unidimensionales, ya que un sencillo cambio de
variable lleva a la ecuacin de la cuerda (para n = 2 no existe tal cambio).
En la la seccin 4.3 definiremos la transformada de Fourier F y veremos al-
gunas de sus propiedades que permiten resolver algunas EDPs en intervalos no
acotados (para ellos no se puede utilizar separacin de variables por no aparecer
problemas de Sturm-Liouville). Como ocurre con la transformada de Laplace para
las EDOs, aplicando la F a algn problema para EDPs acabaremos en otro ms sen-
cillo (de EDOs, para las ecuaciones en dos variables que tratamos). Resuelto este
segundo problema, para hallar la solucin habr que encontrar una transformada
inversa. Para problemas en semirrectas introduciremos tambin las transformadas
seno y coseno. En particular (adems de otros problemas), las transformadas de
Fourier nos permitirn resolver problemas de la ecuacin del calor en varillas
no acotadas (no resolubles con las tcnicas de los captulos anteriores) como:
t = 0 , R, t > 0


(, 0) = () , acotada
Aparecer la solucin fundamental de la ecuacin del calor y se comprobar que,
segn nuestra ecuacin matemtica, el calor se transmite a velocidad infinita.

55
4.1. Ecuacin de la cuerda vibrante
En el captulo 1 vimos que para el problema puro de valores iniciales:
c2 = 0 , , t R u(x,0) g(x)
tt
(P1 ) (, 0) = () f(x)
t (, 0) = g()
x
las caractersticas eran ct = K , la solucin general
(, t) = p(+ct) + q(ct) , p y q funciones arbitrarias de C2 ,

y la solucin nica de (P1 ), satisfaciendo ya los datos iniciales:

Z +ct
1 1
(, t) = (+ct)+ (ct) + 2c

Frmula de DAlembert 2
g(s) ds [1]
ct

Para que sea C2 , deba C2 y g C1 (entonces es solucin clsica o regular).

[Si es continua pero no C2 se llama solucin dbil, concepto tpico EDPs. En cada caso
hay que precisar que se admite como solucin dbil y comprobar que el problema sigue
bien planteado (si hay ms funciones que valen como soluciones, seguir la unicidad?)].

t (xo ,to ) Observemos que (o , to ) slo depende de los valores de

en los puntos o cto y o +cto [puntos de corte con el
x-ct=xo-cto x+ct=xo+cto eje de las caractersticas que pasan por (o , to ) ] y de
los de g en el intervalo [octo , o+cto ] . A este intervalo
x se le llama dominio de dependencia del punto (o , to )
xo-cto xo+cto [de los valores iniciales y g ; el dominio de dependencia
dominio de dependencia de los valores de se reduce a los extremos].

1
R +ct 1  2 +ct
Ej 1. Sea () = 0 , g() = (, t) = 2c ct
s ds = 4c
s ct = t .

[La cuerda infinita se inclina progresivamente,

t=0 u(x,t)
cosa poco real. La ecuacin es slo un mode-
lo simplificado. Ms inters (y ms complicacin
de anlisis) tienen los problemas en los que los
datos son no nulos slo en intervalos acotados].

La solucin de (P1 ) es la suma de dos ondas que viajan a velocidad c , una

hacia las crecientes y otra hacia las decrecientes. A la vista de [1]:
1
1
R q() = 2
()G() va hacia la derecha
Llamando G() 2c 0
g(s) ds : 1
p() = 2
()+G() va hacia la izquierda
Para obtener un dibujo de la solucin (, t) en diferentes instantes, identificadas
estas ondas viajeras, bastar trasladar sus grficas y sumarlas (grficamente).

Ej 2. Supongamos = 0 salvo una perturbacin en forma de tringulo h

en torno a 0 y que soltamos la cuerda sin impulso ( g = 0 ). f f/2
Dibujemos la solucin para diferentes t . Basta trasladar las dos
0
ondas que viajan en sentidos opuestos [aqu ambas son 21 () ]: b b

t=b/2c t=b/c t=3b/2c

h/2 h/2 h/2

b b b b b b

Ha costado muy poco hacer estos dibujos y predecir la evolucin de esta solucin dbil
[bastante ms costara dar la expresin analtica de la solucin para todo y todo t ].
Los picos de la inicial se mantienen indefinidamente y viajan tambin a velocidad c .

56
Supongamos ahora que hay fuerzas externas. El problema es:
n c2 = F(, t) , , t R
tt
(P2 )
(, 0) = (), t (, 0) = g()

Necesitamos slo la solucin F del problema con = g = 0 , pues, por la linealidad,

si 1 es la solucin del (P1 ) anterior, es 1 +F la solucin de (P2 ). Sabiendo algo
de derivacin de integrales, no es difcil deducir que
tt c2 = F(, t)
Z tZ +c[t] 
1
F (, t) = F(s, ) ds d satisface
2c 0 c[t] (, 0) = t (, 0) = 0
Por tanto, concluimos que la solucin de (P2 ) es:
Z +ct Z tZ +c[t]
1 1 1
(, t) = (+ct)+ (ct) + 2c g(s) ds +

2 2c
F(s, ) ds d [2]
ct 0 c[t]

Se comprueba que el recinto descrito por la integral do-

ble es el tringulo del plano s limitado por el eje = 0 t (x,t)
y las caractersticas que pasan por (, t) . As pues, para
hallar la solucin en un punto (, t) se necesita slo:
s
i) los valores de F en dicho tringulo, ii) los de g en su x-ct x x+ct
base y iii) los de en los dos puntos ct y +ct .

tt = 2

Ej 3. Utilizando directamente [2]:
(, 0) = , t (, 0) = 3

1
R +t R t R +[t] Rt
= (+t)+(t) + 12 t 3 ds+ 12 2 ds d = +3t +2 [t ] d = +3t +t 2

2 0 [t] 0

A veces es fcil hallar una solucin particular de la ecuacin no homognea y as

evitar el clculo de la integral doble, pues = conduce a un problema con
F = 0 , resoluble con [1] (esto no se podr hacer siempre cuando haya condiciones de
contorno, pues podran dejar de ser homogneas). Por ejemplo si depende slo de
o de t se puede buscar una () o una (t) . En este caso:
tt = 0

= 2 = 2 +C+K si () = 2 , cumple
(, 0) = +2 , t (, 0) = 3
+t
= 12 (+t)+(+t)2 +(t)+(t)2 + t 3 ds = +2 +t 2 +3t = +3t +t 2
  R

tt = 0

tt = 2 (t) = t 2 +3t = = + 3t + t 2
(, 0) = , t (, 0) = 0

Resolvamos ahora el problema para la cuerda semi-infinita y fija en un extremo:

c2 = 0 , 0, t R
tt
[para que no est rota,
(P3 ) (, 0) = () , t (, 0) = g()
debe ser (0) = 0 ].
(0, t) = 0

La frmula [1] exige funciones definidas . Cmo extender y g a todo R? Si

llamamos y g a sus extensiones se debe cumplir la condicin de contorno:
R ct
1
(0, t) = 21 (ct) + (ct) + 2c g(s) ds = 0 .
 
ct

Es claro que y g han de ser impares

respecto a 0 , es decir,
() = () ; g() = g() .

As pues, la solucin de (P3 ) es la del siguiente problema (para la cuerda infinita):

c2 = 0 , , t R
tt  1 Z +ct
(, 0) = () , (, t) = 12 (+ct)+ (ct) + 2c g (s) ds [3]


t (, 0) = g() ct

pues cumple la ecuacin, las condiciones iniciales para 0 , y la de contorno.

57
Siguiendo con la cuerda semi-infinita, veamos como se resuelve el problema ms
general con fuerzas externas y extremo mvil:
c2 = F(, t) , 0, t R
tt
[debe ahora ser
(P4 ) (, 0) = () , t (, 0) = g()
(0) = h0 (0) ].
(0, t) = h0 (t)

Primero debemos hacer la condicin de contorno homognea, encontrando

una que la cumpla y haciendo = .
La ms clara (no siempre la mejor) es: (t) = h0 (t) .

Una vez que tenemos la condicin de contorno homognea, la solucin del proble-
ma en la da [2] si sustituimos sus , g y F por , g y F , siendo sta ltima
la extensin impar de F mirndola como funcin de .

tt = 0 , 0, t R
Ej 4. (, 0) = t (, 0) = 0 Hallemos primero la solucin para un y t fijos: (1, 2) .
(0, t) = t 2

Para anular la condicin de contorno podemos usar la de arriba: 2 -2

= 2
tt
( n
2 , <0 2
tt = 2
= t (, 0) = t (, 0) = 0
2 , >0
(0, t) = 0 (, 0) = t (, 0) = 0 -1 1 3
h i
(1, 2) = 12 F = 21 (2) rea
RR
4
+(2) rea = 3 (1, 2) = 3+4 = 1 .

[Por ser constantes las F a integrar, nos hemos ahorrado el clculo de integrales
dobles. Pero como esto no se podr hacer en general, vamos a perder un poco el
tiempo en hallar (1, 2) sin este atajo. El valor que estamos calculando es:
R 2R 3
(1, 2) = 12 4 F = 12 0 1 F (s, ) ds d
RR

Sobre el tringulo pequeo la integral viene dada por:

1 1 0
R R R1 1
2 0 1
2 ds d = 0 (1) d = 2
.

Para el otro cuadriltero hay que dividir en dos el recinto de integracin:

1 1 3
R 2R 3 R1 R2
(2) ds d + 12 1 1 (2) ds d = 0 ( 3) d + 1 (2 4) d = 27 .
R R
2 0 0

Sumando ambos resultados obtenemos (1, 2) = 3 como antes].

Pero podramos conseguir un problema sin F (que siempre es complicado), haciendo el

cambio con una mejor. Tanteando un poco se ve que = 2 +t 2 cumple la condicin
y tambin la ecuacin:
f*
tt = 0 = 0 , , t R
tt x2
= (, 0) = , t (, 0) = 0 (, 0) = ()
2
x
(0, t) = 0 t (, 0) = 0
1 -x2
(1, 2) = 2
[ (3)+ (1)] = 4 (1, 2) = 54 = 1

Con este segundo cambio no es difcil dar la (, t) para todo , t 0 (con el primero
nos costara mucho ms). Est claro que hay que considerar dos posibilidades, pues,
aunque + t es siempre positivo, t puede ser tambin negativo, y la tiene
expresiones distintas para valores positivos y negativos:
( 1
2 (+t)2 + 21 (t)2 = 2t, t

1 (t)2 , t
= 2 [ (+t)+ (t)] =
=
1 2 1
(+t) (t) = t , t
2 2 2 0 , t
2 2

[Como las ondas viajan a velocidad c = 1 los puntos a distancia t deban estar
parados en el instante t ].

En 4.2 veremos que los problemas de ondas en el espacio con simetra radial
se reducen con el cambio = r a problemas de cuerdas semi-infinitas.

58
Estudiemos la cuerda acotada y fija en ambos extremos [resuelta ya en 3.1]:
c2 = 0 , [0, L], t R
tt
[debe ser
(P5 ) (, 0) = () , t (, 0) = g()
(0) = (L) = 0 ].
0 L (0, t) = (L, t) = 0

Para hallar su solucin nica con la frmula de DAlembert extendemos y g a

[L, L] de forma impar respecto a 0 y luego de forma 2L-peridica a todo
R, es decir, llamando y g a estas extensiones:
() = () , (+2L) = () ; g() = g() , g(+2L) = g() .
f* f
0 L
-2L -L 2L 3L

(se tiene entonces que y g son tambin impares respecto a L ).

Como para (P3 ), la solucin de (P5 ) se obtiene aplicando [3] al siguiente problema
(por la imparidad de los datos se cumplen tambin las condiciones de contorno):
tt c2 = 0 , , t R


(, 0) = () , t (, 0) = g()
Para que la dada por [3] sea C2 (regular) deben C2 [0, L] y g C1 [0, L] y adems:
(0) = (L) = 00 (0) = 00 (L) = g(0) = g(L) = 0 [ 0 y g0 existen en 0 y L por la imparidad].

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

(Puede representar la
, 01/ 2 f
n
Ej 5. (, 0) = pulsacin de la cuerda
1 , 1/ 21
de una guitarra). 1/2 x
t (, 0) = (0, t) = (L, t) = 0 0 1
Es complicado hallar explcitamente (, t) , t pues tiene muchas expresiones:
1/2
1 , 3/ 2 1/ 2
f*


1 , 1/ 2 1/ 2

() =
0


1 , 1/ 2 3/ 2
2, 3/ 2 5/ 2

Hallar (, t) = 12 ( + t) + ( t) exigira discutir en qu intervalos se mueven

 

+t y t y sera muy largo (para estas discusiones conviene dibujar los dominios de
dependencia). Algo ms fcil es hallar la solucin para un t o fijos. Por ejemplo:
, 14 = 12 (+ 14 ) + ( 14 )

 

1/4
+ 18 + 81 = , 0 14

2 2
= 3
8
2 +
2
81 = 1
4
, 1
4
34
3
2 + 5
2 = 1 , 3
1 -1/2 0 1/4 1/2 3/4 1
8 8 4

S es muy fcil hallar para un (, t) dado. No se necesita siquiera la expresin de .

h
i h
i
Por ejemplo: 41 , 3 = 12 13 + 11 = 21 34 + 34 = 43 = 14 .





4 4
es 2-peridica es impar

Tampoco se necesita lahexpresin de para hacer dibujos: basta trasladar ondas y sumar.

i h
i
Dibujemos: 12 , t = 12 +t + 21 t = 12 +t t 12

1/2
u(1/2,t)
1 3 5
t
0 2 4

La grfica se repite con periodo 2. Esto es general: por las propiedades de y g la

dada por [3] es 2L c
peridica. Lo que era evidente en la serie solucin dada en 3.1:
R 1/ 2 R1 4 sen n
(, t) = kn cos nt sen n , kn = 2 0 sen n d+2 1/ 2 (1) sen n d = n2 22 .
X

n=1

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

59
Si queremos resolver el problema ms general:
c2 = F(, t) , [0, L], t R
tt
(P6 ) (, 0) = () , t (, 0) = g() (hay fuerzas externas y
(0, t) = h0 (t) , (L, t) = hL (t) movemos los extremos)

primero, como siempre, hay que hacer las condiciones de contorno homogneas,
hallando una que las cumpla y haciendo = . Una de esas es la conocida:
(, t) = 1 L h0 (t) + L hL (t) [a veces ser mejor buscar otra].
 

La solucin del problema en la da de nuevo [2], poniendo en vez de , g y F ,

las extensiones impares y 2L-peridicas , g y F (vista F como funcin de ).
tt = 0 , [0, 2], t R
Hallemos (1, 2) y (, 1) , mediante DAlembert
Ej 6. (, 0) = 2 , t (, 0) = 0
y por separacin de variables.
(0, t) = 0 , (2, t) = 4
1

La = 2 de arriba es adecuada en este caso:

tt = 0 , [0, 2] 1
-2 2 4
= 2 (, 0) = 2 2 , t (, 0) = 0 .
x22x
(0, t) = (2, t) = 0 -1

Debemos extender de forma impar 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 = 12 [ (+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 , 12 [(1)(+1) + (+1)(1)] = 0
(
(, 1) = 12 (+1)+ (1) = (, 1) = 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 la solucin dada en 3.1:
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
h i
Adems (1, 2) = 32 = 1 1 1
deducimos que 1 3 + 3 3 + = 32 .
X
3 (2m1) 3 1 ; 3 5 7
m=1

Por ltimo veamos cmo se debe extender si la condicin de contorno es (0, t) = 0 :

(0, t) = 12 0 (ct)+ 0 (ct) + 2c
1 
g (ct)g(ct) = 0 , 0 impar y g par
  

se deben extender y g de forma par respecto a 0 (o respecto a L si fuese ah = 0 ).

[Separando variables salen las autofunciones sen n L
con condiciones = 0 y cos n
L
si son = 0 , su periodicidad y paridades son las mismas que las obtenidas aqu].

tt = 0 , [0, 2], t R
n
sen , [0,] Hallemos (, 2) , por DAlembert
Ej 7. (, 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 [la integral en un periodo de una funcin
(, 2) = 12 2 g = 21 2 g = 0 sen s ds = 2 peridica no depende del intervalo].
2
Separando variables: X 00 +X = 0 , X 0 (0) = X 0 (2) = 0 n = n4 , Xn = cos n , n = 0, 1, . . .

2
n T 00 + T = 0
n T0 = {t}
= 20 t + n sen nt cos n

= 0 .
X

T(0) = 0 Tn = sen nt

2 2 t=2

2
, n 1 n=1
R
2 2
t (, 0) = 20 + n 2n cos n g = 1 0 sen d = 2 (, 2) = 2 .
R
= g() 0 = 2
X
2 0
n=1

60
4.2. Ondas en tres y dos dimensiones.

Sea el problema de valores iniciales para las de ondas en 3 dimensiones espaciales:

tt c2 +yy +zz = 0 , (, y, z) R3 , t R
 
(P3 )
(, y, z, 0) = (, y, z) , t (, y, z, 0) = g(, y, z)

Se puede deducir una frmula para la solucin de (P3 ) anloga a la de DAlembert para
n = 1 . Aceptemos que, si C3 y g C2 , esa solucin viene dada por la
frmula de Poisson
h 1 ZZ i 1
ZZ

[pk] (, y, z, t) = t dS + g dS
2
4c t C
2
4c t C
o de Kirchoff
siendo C la superficie de la bola de centro (, y, z) y radio ct .

La forma ms natural de parametrizar esta superficie es mediante ct
los ngulos y de las coordenadas esfricas centradas en el (x,y,z)
punto (, y, z) del dibujo de la derecha

Desarrollando las integrales de [1] se obtiene:

h
t
R 2R i
(, y, z, t) = t 4 0 0
(+ct sen cos , y+ct sen sen , z+ct cos ) sen d d
t
R 2R
+ 4 0 0
g(+ct sen cos , y+ct sen sen , z+ct cos ) sen d d

Estudiemos ahora la propagacin de ondas en 2 dimensiones:

tt c2 +yy = 0 , (, y) R2 , t R
 
(P2 )
(, y, 0) = (, y) , t (, y, 0) = g(, y)

Podemos mirar (P2 ) como un caso particular de (P3 ) en que datos (y por tanto soluciones) no
dependen de z . Las coordenadas adecuadas ahora para parametrizar C son las cartesianas
(o las cilndricas). Expresando [pk] en cartesianas se obtiene:

(, ) dd g(, ) dd
 ZZ ZZ 
1
(, y, t) = 2c p + p
t B c2 t 2 ()2 (y)2 B c2 t 2 ()2 (y)2

donde B es todo el crculo de centro (, y) y radio ct .

La frmula anterior escrita en polares centradas en (, y) queda:
2Z ct 2Z ct
r (+r cos , y+r sen ) drd r g(+r cos , y+r sen ) drd
 Z Z 
1
(, y, t) = 2c p + p
t 0 0 c2 t 2 r 2 0 0 c2 t 2 r 2

tt +yy +zz = 0 , (, y, z, t) R4
 
Ej 1. Resolvamos:
(, y, z, 0) = z , t (, y, z, 0) = 2 +y 2

Aplicando directamente la frmula de Poisson-Kirchoff:

h
t
R 2R i
= t 4 0 0
(z+t cos ) sen dd
t
R 2R
+ 4 0 0
(2 +y 2 +t 2 sen2 +2t[ sen cos +y sen sen ]) sen dd
h R i R
t
= t 2 0
(z+t cos ) sen d + 2t 0 (2 +y 2 +t 2 sen2 ) sen d
2

 
= t tz + t 2 +y 2 + 2t3 = z + t2 + ty 2 + 23 t 3

Tambin podemos descomponer el problema en dos y sumar sus soluciones:

El de = z , g = 0 se puede ver como uno para n = 1 : 1 = 12 (z+t) + (zt) = z .

 

El de = 0 , g = 2 +y 2 , como uno de n = 2 :
2Z t
r(2 + y 2 + r 2 + 2r[ cos +y sen ]) t
r(2 +y 2 )+r 3
Z Z
1
2 = 2 p drd = p dr
0 0 t2 r 2 0 t2 r 2
it
= t2 +ty 2 + 32 t 3 .
h p
p
1
= (2 +y 2 ) t 2 r 2 3
2t 2 +r 2 t 2 r 2
0

61
Interpretemos la frmula [pk]. Los valores de slo dependen de los de y g sobre el
borde de la esfera B((, y, z), ct) . Si para t = 0 hay una perturbacin concentrada en un
punto P del espacio, en otro t slo estn perturbados los puntos de la superficie esfrica
de centro P y radio ct , pues para los dems puntos es = g = 0 sobre la superficie C .
Si inicialmente se perturba todo un conjunto A , los pun- frente
delantero
tos afectados para cada t son una regin At del espacio
formada por la unin de todas las superficies esfricas ct+a
de radio ct y centro P A . La superficie exterior de At ct-a
se llama frente delantero de la onda y la interior fren-
a
te trasero. En el dibujo se esquematizan ambos frentes
para el caso de una perturbacin inicial de una esfera
de radio . Los puntos que alcanza el frente delantero,
frente
antes en reposo, comenzarn a oscilar. Los puntos sobre- trasero
pasados por el trasero volvern al reposo.
Veamos ahora lo que sucede en el plano. Supongamos una perturbacin localizada para
t = 0 en un punto P del plano. Otro punto M , situado a una distancia d de P , permanecer
en reposo hasta el instante to = d/ c . Si t to , P ya pertenece al crculo B(M, ct) y por tanto
ser (M, t) 6= 0 : a partir del instante to el punto M permanece perturbado indefinidamente
(aunque tienda a pararse cuando t , como las ondas producidas por una piedra en un
estanque). Esta situacin no contradice los resultados para n = 3 : la perturbacin de P , vista
como una perturbacin en el espacio independiente de z , consiste de hecho en un cilindro
vertical infinito sobre P , con lo que al M irn llegando las perturbaciones provinientes de
puntos cada vez ms lejanos del cilindro (que, por tanto, sern cada vez ms pequeas). Las
ondas que se propagan constituyen ondas cilndricas en el espacio: en cada cilindro paralelo
al inicial la solucin toma un valor constante.
[Las ondas pasan en el espacio y permanecen en el plano].
Si las y g slo dependen de , se puede ver que como caso particular de [pk] aparece
la conocida frmula de DAlembert para n = 1 . Si se mira esta solucin sumergida en R3 se
puede interpretar como la suma de dos ondas planas avanzando por planos perpendiculares
al eje a velocidad c . Todos los puntos de cada plano estn igualmente perturbados.
Veamos si para la cuerda las perturbaciones iniciales pasan o permanecen. Para ello vamos
a definir lo que se llama dominio de influencia: el valor de la dominio de
inicial en = o influye slo en los valores de la solucin t influencia
de la g
sobre las dos caractersticas que pasan por (o , 0) [dominio de x+ct=xo x-ct=xo
influencia de la ], pues este punto no influye en el valor de la
solucin en puntos que no estn sobre ellas. Por la misma razn dom. inf.
de la f
el dominio de influencia de la g en o consiste en el tringulo xo x
infinito limitado por dichas caractersticas.
En el caso n = 1 , se da una situacin intermedia entre n = 2 y n = 3 : la influencia de la
posicin inicial desaparece, pero la de la velocidad g inicial se deja sentir indefinidamente.
Nos interesan tambin los dominios de influencia en la cuerda semi-infinita (las ondas en
el espacio con simetra esfrica se reducirn a ella). La situacin es la siguiente:
Como se extenda de forma impar respecto del origen, si o
t
est perturbado, tambin lo estar (en sentido opuesto) el
punto o . Cuando la caracterstica que sale de o llega
a = 0 se encuentra con la que viene del punto simtrico
(rebota). La influye, pues, en el segmento y semirrectas
indicados. Y la g , sobre la regin sombreada (fuera, o se
f
integra 0 se cancelan las aportaciones de o y o ).
Como se ve, tambin la g en este caso deja de influir sobre
la solucin pasado un tiempo.
[Este dibujo nos sirve adems para ver que se invierte una onda cuando llega a un extremo
fijo: cuando rebota, aparece la onda que viene de o con forma opuesta a que lleg].
Si n = 2 , el dominio de dependencia de (, y, t) t t
(x,y,z)
de los datos iniciales es todo el crculo B((, y), ct)
ct
y el de influencia de la y g iniciales en un punto
(o , yo , 0) es todo el cono (o )2 +(yyo )2 c2 t 2 . y y
Para n = 3 la influencia de (o , yo , zo , 0) es sola-
mente la superficie de un cono tetradimensional x x
(no dibujable). (xo ,yo ,0)

62
Consideremos ahora ondas en el espacio con simetra radial. Pasando a esfri-
cas y quitando los trminos con derivadas respecto a y llegamos al problema:

tt c2 rr + 2r r = 0 , r 0, t R
 
(Pr )
(r, 0) = (r) , t (r, 0) = g(r)

Haciendo = r , la ecuacin se transforma en la de la cuerda: tt c2 rr = 0 .

Y como es acotada, aparece la condicin de contorno: (0, t) = 0 (0, t) = 0 .
As, el problema en las nuevas variables es:

tt c2 rr = 0 , r 0, t R
(P )
(r, 0) = r (r), t (r, 0) = rg(r), (0, t) = 0

Sabemos desde la seccin anterior que si F y G son las extensiones impares

respecto a 0 de F(r) r (r) y G(r) rg(r) la solucin de (Pr ) es:
1 1
R r+ct
(r, t) = 2r
[F (r +ct)+F (r ct)] + 2cr rct
G(s) ds []

que podemos poner en la forma (r, t) = 1r p(r +ct) + 1r q(r ct) e interpretar como
la suma de dos ondas esfricas, cuyos radios disminuyen o crecen a velocidad c .
La magnitud de la perturbacin propagada es inversamente proporcional al radio.
[] da problemas en r = 0 , pero con LHpital y el teorema fundamental del clculo:
1  0  1
F (ct)+F 0 (ct) + 2c G (ct)G (ct) = F 0 (ct)+ 1c G(ct) = (0, t)


r0 2

(0, t) puede no ser continua aunque lo sea (si F no es C1 ) .


tt = 0 , r 0 , t R Comencemos suponiendo n = 3 .

Ej 2. 
1, r 1
(r, 0) = 0, t (r, 0) = 0, r > 1 Su solucin es = r
, si es la solucin de:
G*
tt rr = 0 , r, t R

1 r+t
R
(r, 0) = 0, t (r, 0) = G (r) = 0 , |r| > 1 (r, t) = G
r , |r| 1

2 rt r

Estudiemos la evolucin para t 0 de un punto M del espacio t

situado a una distancia R > 1 del origen. Si t < R1 o si t > R+1 R+1 dominio de
es claro que = 0 . Si t [R1, R+1] , la integral se reduce a: influencia

R1 1[Rt]2
Rt
s ds (R, t) = 4R

Se ve que M oscila slo durante un intervalo de tiempo finito R-1

[eso lo podamos decir dibujando el dominio de influencia]. r
Y que la amplitud mxima de la oscilacin es inversamente -1 R-t 1 R
proporcional a la distancia que separa M del origen. u(R,t)
1/4R
Dar (R, t) con la frmula [pk] es complicado, pero s es t
R-1 R R+1
fcil hallar:
1 dS = rea de C
1 RR
= t , si 0 t 1
(0, 0, 0, t) = 4t
1
RR C 4t
= G(t) [predicho con LHpital].
4t C
0 dS = 0 , si t > 1
Hay discontinuidades ( G era discontinua), pero se concentran en el origen [ (M, t) s era continua].

Miremos ahora el problema como si fuese para n = 2 . Los clculos

t 1
son siempre ms difciles, as que nos limitamos a hallar (0, 0, t) :
t p r dr = t , t 1
R
1 2 t r g drd
R R R t r g dr 0 t 2 r 2
1 (0, 0, t) = 2 0 0 p 2 2 = 0 p 2 2 = R 1 p
t r r dr
t r p = t t 2 1 , t 1
0 t 2 r 2
p
Como deba suceder, t t 2 1 = p1 0.
t+ t 2 1 t

63
 tt rr 2r r = 0 , r 0, t R (r 2)(r 4) si r [2, 4]
 n
Ej 3. , con (r) =
(r, 0) = (r) , t (r, 0) = 0 0 en el resto de [0, )

Dibujemos la solucin para t = 3 y 6 y describamos la evolucin de dicha solucin.

Para ello nos basamos en los dibujos del problema para la cuerda semiacotada:
= 0 , r 0 = 0 , r R
tt rr tt rr
(r, 0) = r (r) F(r) (r, 0) = F (r) impar
t (r, 0) = (0, t) = 0 t (r, 0) = 0
F (r+t)+F (rt) (r,t)
Ser (r, t) = 2
y (r, t) = r
.
1
Movemos 2
F a izquierda y derecha y sumamos.
Precisamos los dibujos hallando algunos valores:
Como F(r) = r(r 2)(r 4) , r [2, 4] , es F(3) = 3
p
y F es mnima para = 2+ 32 3 3.2 .

12 , 3 = 3/ 8
= 34 , (6, 3) = 3/ 2
= 14 ,


1/ 2 6

(3, 6) = 3/32 = 12 , (9, 6) = 3/

9
2
= 61 ,

Adems (0, t) = F 0 (t) (0, 3) = 3t 2 12t = 8t=3 = 1 .



[ (0, t) resulta ser discontinua para t = 2 y t = 4 : F 0 (2+ ) = 4 6= 0 y F 0 (4 ) = 8 6= 0 .

En esos instantes los picos de confluyen en el origen].
Tanto para como para , la onda se divide en 2 y se refleja cambiando de signo; pero,
mientras en dimensin 1 no se deforma, en el espacio disminuye al alejarse del origen.

tt rr + 2r r = 0 , r 0


Ej 4. Calculemos (1, t) para t 0 .
(r, 0) = r , t (r, 0) = 0
tt rr = 0 , r 0 tt rr = 0 , r R
extensin impar de r 2
= r (r, 0) = r 2 (r, 0) = (r)
r 2 si r 0 .
 
t (r, 0) = (0, t) = 0 t (r, 0) = 0
(1
(1,t) [(1+t)2 +(1t)2 ] = 1+t 2 si 0 t 1
Por tanto, (1, t) = 1 = 12 .
2
[(1+t)2 (1t)2 ] = 2t si t 1

Tambin se puede hallar con la frmula de Poisson-Kirchoff. Para simplificar, la evaluamos

en el punto ms sencillo situado a distancia 1 , el (0, 0, 1) :
R 2R p t R1
2 +2t cos sen d d s=cos
h i h p i
t
(0, 0, 1, t) = t 4 0 0
1+t = t 2 1
1+t 2 +2ts ds

(
i1 [2t 3 +6t] si 0t1
2 +2ts)3/ 2
h
1  t
= (1+t = 16 t |t+1|3 |t1|3 = 1

t 6 6
1
t
[6t 2 +2] si t1
que nos lleva al resultado de antes.

64
4.3. Transformadas de Fourier.
hR i
Sea () definida en R y absolutamente integrable
| | < .
Z
La transformada de Fourier de es la funcin: (k) = p1 () ek d .
2

Si es adems C1 se puede recuperar a partir de usando la frmula de inversin:

Z
Teor 1 C1 (R) y absolutamente integrable () = p1 (k) ek dk R .
2
 1 1
Algunos libros no ponen la constante p en la definicin de y ponen 2
en la frmula
2
de inversin; tambin se puede ver en la primera frmula ek y en la segunda ek ;

como otros resultados (algunos se probarn en problemas) no la demostramos .

Se llama a transformada inversa de Fourier de . Vamos a denotar

tambin F ( ) = y F 1 = . Es evidente que F y F 1 son lineales.

Veamos otras propiedades. La F hace desaparecer derivadas:

F ( 0 ) = kF ( )
Teor 2 , 0 , 00 C(R) y absolutamente integrables
F ( 00 ) = k 2 F ( )
R  R
F 0 () = p1 0 () ek d = p1 () ek pk () ek d = k F () ,
   
2 2 2
R
pues 0 si | | converge. F 00 () = k F 0 () = k 2 F () .
     

Estas transformadas nos aparecern resolviendo EDPs (probamos las 2 primeras):

1 , [, b] ekb ek
  
F 1 (k) ek = () . Si h() = 0 en el resto , F (h) = p1 k
.
Teor 3 2
2 2 2 2
F e = p1 ek / 4 . F 1 ek = p1 e / 4 .



2 2
1
R 1
Rb 1 ekb ek
F 1 e k = (k) ek() dk = () . F (h) = ek d =


p

p

p
k
.
2 2 2
Z
La convolucin de y g es la funcin: (g)() = p1 (s) g(s) ds .
Teor 4 2

Se tiene g = g , y F ( g) = F ( ) F (g) , si las transformadas existen.

Aplicando a una EDP en dos variables la F en una de ellas aparece una EDO (en
la otra variable) para la . Resolviendo la EDO se halla . Identificando la de la
que proviene o con el teorema 1 se puede a veces dar explcitamente la solucin,
pero en muchos casos hay que dejar en trminos de integrales no calculables.

t + = g()

Aplicamos la F en la variable (se supone que , g y
Ej 1.
(, 0) = () son buenas, de modo que se pueden usar los teoremas):

t k = g(k)

d. i. ekt 1
h i
g(k)
(k, t) = p(k) ekt , p arbitraria = (k) ekt + g(k)
(k, 0) = (k) k k

p 
1 si [0, t]
Por tanto: (, t) = (t) + 2 g()h() siendo h() =
0 en el resto
Rt R t R
Como 0
g() d =
g(s) ds , concluimos que = (t) + t
g(s) ds .

La solucin la podemos calcular tambin con las tcnicas del captulo 1:
=t
 R
dt
d
= 1 =
= g() = p(t) + 0 g(s) ds
R R t R
p() + 0 g(s) ds = () = (t) 0 g(s) ds + 0 g(s) ds como antes .


65
Ms inters que el ejemplo anterior, puesto que no conocemos ningn otro mtodo
para resolverlo, tiene el problema para el calor en una varilla infinita:

t = 0 , R, t > 0

(P)
(, 0) = () , acotada

Supongamos que y son suficientemente regulares y que tienden a 0 en lo

suficientemente rpido como para poder utilizar los teoremas anteriores. Aplicando
la F en la variable a la ecuacin y al dato inicial se tiene el problema:
t + k 2 = 0

2
cuya solucin es (k, t) = (k) ek t
(k, 0) = (k)
La solucin ser la convolucin de las transformadas inversas de cada uno de los
factores (la del segundo la vimos en el teorema 3):

1
Z Z
2 / 4t
(, t) = p (s) e(s) ds G(, s, t) (s) ds [1]
2 t

1 2
G(, s, t) = p e(s) / 4t es la llamada solucin fundamental de la ecuacin del calor
2 t
[es la temperatura del punto en el tiempo t debida a una inicial de la forma (s) ].

Una vez deducida [1], en vez de justificar los pasos que llevaron a ella, se prueba
que proporciona realmente la solucin de (P) con hiptesis ms amplias incluso
de las que nos permiten aplicar la F . En concreto, para cualquier acotada y
continua a trozos [1] nos da la solucin nica acotada de (P) que es continua para
t 0 a excepcin de los puntos de t = 0 en que es discontinua.
De [1] se deduce tambin que, segn nuestro modelo matemtico, el calor se
transmite a velocidad infinita: si > 0 en un entorno de un o y nula en el resto,
est claro que (, t) > 0 por pequeo que sea t y grande que sea |o | . Tambin
se ve que es C para t > 0 aunque sea discontinua (aunque sea () = (s) !).
Son propiedades claramente diferentes de la ecuacin de ondas.

Ej 2. Apliquemos [1] para resolver un par de problemas particulares.


0 , <0 1
R 2
Suponemos primero que: () = (, t) = p
0
e(s) / 4t ds
1 , >0 2 t

p
Haciendo = (s)/ 2 t la integral se transforma en:
R R / 2pt R h

i
(, t) = p1 / 2pt e d = p1 0 e d + p1 0 e d = 1
2 2 2
2
1+ p
2 t
2
Rs 2
1 donde (s) = p
0
e d es la llamada funcin error que
!(s)
0 aparece a menudo en la teora de las probabilidades.
s
-1 1
t!"
Como se observa, la solucin
1/2
tiende hacia 12 para todo
x
cuando t tiende a .
0
2
Sea ahora () = e . Completamos cuadrados y hacemos un cambio de variable:
Z 2 2
Z p
1 2 (s)
1 2 s 4t+1 p4t+1
= p es e 4t ds = p e 4t+1 e() ds con = p
2 t 2 t
2 t
p 2
Z
2
= p1 p2 t e 4t+1 1
e 1+4t .
2
Haciendo z = se obtiene: ez dz = p
2 t 4t+1
1+4t

Pero sale ms corto aplicando directamente F :

t = k 2
(
k 2 (1+4t) 2
= p1 e 4 = p 1 e 1+4t .
(k, 0) = p1 ek / 4
2
2 1+4t
2

66
 t + 2t = 0 , R, t > 0 Hallemos la solucin para una () general

Ej 3.
(, 0) = () , acotada y deduzcamos la solucin para () 1 .

[Como F (1) no existe, no se puede resolver directamente el problema con (, 0) = 1 ].

t +(k 2 +2t) = 0 t) = p(k) ek 2 tt 2 d.. t) = (k) et 2 ek 2 t
(k, (k,
(k, 0) = (k) Z 2
2 2 et 2
(, t) = et () F 1 (ek t ) = p (s) e(s) / 4t ds .
2 t

2
Z 2
Z
et 2 et 2 2
En particular, si () 1 , = p e(s) / 4t ds = p

e d = et .
2 t p
(s)/ (2 t ) =
t = 0

2
[Parece que sera adecuado hacer un cambio de la forma = et ;
(, 0) = ()
de [1] se deduce nuestra frmula y 1 es solucin clara si () 1 (la varilla sigue a 1o ).

Anlogamente a lo que pasaba con la transformada de Laplace para resolver EDOs, el uso
de la F permite abordar problemas de EDPs con la delta de Dirac sin entrar en sutilezas
sobre continuidades y saltos en derivadas.
La transformada de la delta es muy fcil de hallar:
Z
1 1
F () = () ek d = ek .
 
p p
2
2

[Obsrvese que formalmente esta funcin (que no tiende a 0 en )

no tiene transformada inversa, pero, como ya hemos dicho, con la F
se suele ser riguroso justificando los resultados al final].

Resolvamos un problema (algo complicado) para la cuerda infinita con una F = (empuja-
mos hacia arriba en el punto central de la cuerda):

tt = () , R, t 0 tt + k 2 = p1

Ej 4. (P ) . Aplicando la F : 2 .
(, 0) = t (, 0) = 0 (k, 0) = t (k, 0) = 0
La solucin general ( = k y p a simple vista) es:
d..
h sen k t i2
1 1cos kt 2
(k, t) = p(k) cos kt + q(k) sen kt + p (k, t) = p = p
k
2
.
2 k 2 2 k 2 2
En la h del teor 4, cuando = b se tiene como caso particular:
p
1 , [b, b]

kb kb
Si h() = , F (h) = p1 e e k
= p2 senk bk .
0 en el resto 2

La ser, por tanto, la convolucin de una h de este tipo consigo misma. En concreto:
1 , [t/ 2, t/ 2]
R 
= 12 h(s) h(s) ds , donde h() =
0 en el resto

Discutiendo en qu intervalos el integrando es 1 0 segn los valores de se concluye:

Si t si t es = 0
Si [t, 0] , = 21 + 2t ( 2t ) = 12 [+t]
 

Si [0, t] , = 12 2t ( 2t ) = 12 [t ]
 

0 , si || t
Es decir, = 1  
2
t || , si || t

Para hacerlo sin transformadas, ms fcil que discutir

R t R +t
= 21 0 t+ (s) ds d ,

es hacer la ecuacin homognea con un cambio de variable.

Como = 21 || satisface 00 = () , con = + se obtiene:

tt = 0

1
(, 0) = ||/ 2 = |+t|+|t| 12 || .

4
t (, 0) = 0
Discutiendo los valores absolutos se llega a la solucin de antes.

67
En problemas para regiones semi-infinitas se usan las transformadas seno y coseno que
son caso particular de F por las propiedades de las funciones pares o impares. Se definen
estas transformadas de funciones absolutamente integrables en [0, ) mediante:
q Z q Z
2 2
Fs ( )(k) = s (k) =
() sen k d ; Fc ( )(k) = c (k) =
() cos k d
0 0

La frmula de inversin adopta la forma:

R
Sea C1 ([0, )) y sea 0 | | < . Entonces:
q Z
2
Teor 1 () =
s (k) sen k dk para todo (0, )
0
q Z
2
() =
c (k) cos k dk para todo [0, )
0

Con hiptesis anlogas a las del teorema 2 se tiene tambin:

q q
Teor 2 Fs ( 00 ) = k 2 Fs ( ) + 2 (0) k ; Fc ( 00 ) = k 2 Fc ( ) 2 0 (0) .

[Por este resultado, la Fs ser til cuando nos den el valor de (0, t)
mientras que la Fc la emplearemos si lo fijado es (0, t) ].
 p2 R 00 p  p R

Fs () = p 0 () sen k d = p2 0 () sen k 0 k p2 0 0 () cos k d
 00
p p R  p

= k p2 () cos k 0 k 2 p2 0 () sen k d = k 2 Fs () + p2 (0)k .


 p R p  p R

Fc 00 () = p2 0 00 () cos k d = 2
0 () cos k 0 + k p2 0 0 () sen k d

p
p p
  p
= p2 0 (0) + k p2 () sen k 0 k 2 Fc () = k 2 Fc () p2 0 (0) .
  

Estas transformadas aparecen en problemas del calor en [0, ) :

2
1 2 / 4 ; F 1 ek 2 = p1 e2 / 4 .
Teor 3 Fs1 k ek = [2]


3/ 2 e c 2

= 0 , > 0, t > 0
t
Ej 5. Calor en una varilla semi-infinita: (, 0) = 0 , (0, t) = g(t)
acotada

Llamemos (k, t) a la transformada seno de (, t) respecto a (suponiendo como

siempre que existe). El problema para es:
q q
2 Rt
t + k 2 = 2 g(t) k , (k, 0) = 0 (k, t) = 2 ek t 0 g(s) k ek s ds
2

La frmula de inversin, el cambio de orden de integracin y el teor 3 nos dan:

R R t Rt R
(, t) = 2 0 0 g(s) k ek (ts) sen k ds dk = 2 0 g(s) 0 k ek (ts) sen k dk ds
2 2

Rt
(, t) = 1
p
s
e
2
/ [4(ts)] g(s) ds
2 0 [ts]3/ 2

tt = 0 , 0, t R
Ej 6. Ondas semi-infinita: (, 0) = t (, 0) = 0
(0, t) = t 2

Para Fs (o Fc ) no se necesita (nada habitual) hacer la condicin de contorno homognea:

q q h
2
i
Fs = tt +k 2 = 2 t 2 k = p(k) cos kt + q(k) sen kt + 2 tk k23
q h
2 (cos kt1) 2 (cos kt1) 
2
i R 2
(k, 0) = t (k, 0) = 0 = 2 tk + k 3 = 2 0 tk + k3
sen k dk

La integral es muy complicada. Hallamos slo (1, 2) pues entonces parece simplificarse:
R k 3 
k
(1, 2) = 8 0 sen sen dk = (tablas) = 8 2 3 =1
 
k k3 8

[Llegamos a ese valor en 4.1 a partir de DAlembert (que era mejor camino)].

68
Apndice

Repaso de EDOs

dy
Algunas EDOs de primer orden d
= (, y) resolubles

[ , y continuas en un entorno de (o , yo ) existe una nica solucin con y(o ) = yo ].

dy p() R R
Separables: d = q(y) q(y) dy = p() d + C .
dy y
y dy
Se convierten en separables: d = con z = . d = (+by) con z = +by .
R R R
dy
Lineales: d = ()y+ () y = Ce ()d + e ()d e ()d () d .
R

[solucin general de la homognea + solucin yp de la no homognea].

dy M = U 
Exactas: M(, y)+N(, y) d = 0 con My N U(, y) = C solucin.

N = Uy

dy y
Ej. d
= y (solucin nica si y 6= ) se puede resolver por tres caminos:
y z
R (2z2) dz y2 y
= 2 d +C z 2 2z = 2 2 = C2 .
R
z = z 0 +z = z1 z 2 2z
dy U = y U = y+p(y)
y + (y) d con My N = 1 y 2 2y = C .
Uy = y U = y 12 y 2 +q()
d y y
= y +1 lineal (solucin nica si y 6= 0 ) . = C
+ 1y C
R
dy
= y y
y dy = y
+2 .
dy
Pasa una sola curva integral (solucin de d = o de d = ) salvo por (0, 0) .
 
dy

[n] y 00 +()y 0 +b()y = () ,

 
y 1 y2 
EDOs lineales de orden 2 : |W|() =  .
, b , continuas en . y10 0
y2 

Si o , tiene una sola solucin (definida en todo ) con y(o ) = yo , y 0 (o ) = yo0 .

Si y1 , y2 son soluciones de la homognea ( 0 ) con wronskiano |W|(s) 6= 0 para
algn s , la solucin general de la homognea es: y = c1 y1 +c2 y2 .
Si yp es una solucin de [n], la solucin general de [n] es: y = c1 y1 +c2 y2 +yp .
R y R y
Una solucin particular de [n] es: yp = y2 |W|1 2
d y1 |W| d [fvc].

Coeficientes constantes: [h] y 00 +y 0 +by = 0 , 2 ++b = 0 (autovalores).

Si 1 6= 2 reales y = c1 e1 + c2 e2
La solucin general de [h] es: Si doble (real) y = (c1 +c2 ) e
Si = pq y = (c1 cos q+c2 sen q) ep

Mtodo de coeficientes indeterminados para [c] y 00 + y 0 + by = () :

Si () = e pm () , con pm polinomio de grado m , y no es autovalor, tiene
[c] solucin particular de la forma yp = e Pm () , con Pm del mismo grado. Si
es autovalor de multiplicidad r , hay yp = r e Pm () .
Si () = e pj () cos q + qk () sen q , pj , qk de grados
 
j , k , y p q no
es autovalor, hay yp = e p Pm () cos q+Qm () sen

q con P m y Qm de grado
m = mx{j, k} . Si pq es autovalor hay yp = ep Pm () cos q+Qm () sen q .
 

Ej. y 00 y = e . = 1 solucin general: y = c1 e +c2 e +yp , con:

yp = Ae (A+2)A = 1 yp = 12 e . O ms largo:
e 
 
e R R
|W|() =  e e + e e e = 1 e 1 e .
e = 2 , y p = e
e 2 2 4 2

69
Euler: [u] 2 y 00 +y 0 +by = 0 , (1)++b = 0 .
Si 1 6= 2 reales y = c1 1 +c2 2
La solucin general de [u] es: Si doble (real) y = [c1 +c2 ln ]
Si = pq y = [c1 cos(q ln )+c2 sen(q ln )] p

Una yp de 2 y 00 +y 0 +by = h() se obtiene de la [fvc] con () = h()/ 2 ,

o utilizando que con = es se convierte en y 00 (s)+(1)y 0 (s)+by(s) = h es .

Si b() 0 , y 0 = lleva [e] a lineal de primer orden en .

Ej. y 00 2y 0 = . Se puede ver como Euler: 2 y 00 2y 0 = 2 , (1)2 = 0

y = c1 +c2 3 +yp , con yp = A2 yp = Ae2s yp = 21 2 .

1 3 
h   R 3 i
= 32 , y = 3 11 + 1 = 1 2 .
R
O bien, |W|() =  2 p 3 2 3 2 2
0 3
R d
O de otra forma: y 0 = 0 = 2

+1 = C2 +2 2
= C2 y = K +C3 12 2 .

Para otras ecuaciones lineales de segundo orden hay buscar:

Soluciones en forma de serie:

Si , b son analticas en = 0 , es un punto regular de [e] y 00+ ()y 0 +b()y = 0

y la solucin de [e] es y = ck k = c0 y1 +c1 y2 , con c0 , c1 arbitrarios.
X

n=0

= 0 es punto singular regular de [e ] 2 y 00+ ()y 0 +b()y = 0 si , b son

analticas en = 0 . Sean r1 r2 las races de q(r) = r(r 1)+
0
r +b
0
.

Hay solucin y1 de [e*] de la forma y1 = r1 ck k , c0 6= 0 .
X

n=0

La segunda solucin y2 linealmente independiente es:

a] Si r1 r2 6= 0, 1, : y2 = r2 bk k , b0 6= 0 . b] Si r1 = r2 : y2 = r1 +1 bk k + 1 ln .
X X

n=0 n=0

c] Si r1 r2 N : y2 = r2 bk k +dy1 ln , b0 6= 0 , d R.
X

n=0

EDOs importantes resolubles utilizando series:

Legendre (12 )y 00 2y 0 +p(p+1)y = 0 . Tiene soluciones polinmicas si p = n N :

P0 = 1 , P1 = , P2 = 32 2 12 , P3 = 25 3 32 , P4 = 35
8
4 15
4
2 + 38 , . . .
R1 R1 2
Se cumple que: 1 Pn Pm d = 0 , si m 6= n ; 1 P2n d = 2n+1 .

 p X (1)m [/ 2]2m
Bessel: 2 y 00 +y 0 +[2 p2 ]y = 0 r = p . r1 = p Jp () 2 m! (p+m+1)
.
m=0

Jp soluciones acotadas en = 0 , con infinitos ceros [los de J0 son: 2.4.., 5.5.., ...].
Las soluciones linealmente independientes de ellas son no acotadas en 0 .

Cuando p = 12 , 3
, . . . , la solucin es expresable con funciones elementales
2
cos 
por ejemplo, si p = 12 es y = c1 sen
p +c2 p

.

2p 0
Recurrencia: Jp+1 = Jp Jp1 . Derivadas: p Jp () = p Jp1 () , J00 () = J1 .
 

1
P2 P0
0.8 J0 Bessel
P3 P1 0.6
J1
0.4

1 1 0.2

0
5 10 15 20
0.2
Legendre
0.4

70
Repaso de convergencia uniforme
Sea la sucesin de funciones definidas en A R : {n ()} = 1 (), 2 (), ..., n (), ... .

{n } converge puntualmente en A si para cada A es lm n () = () .

n

{n } converge uniformemente hacia su lmite puntal en A si

> 0 existe algn N tal que A , si n N entonces | () n ()| < .

Grficamente, si {n } uniformemente, a partir de un N todas las

f
grficas de las n quedan dentro de toda banda de altura 2 alrede- !
dor de la de . Si la convergencia es slo puntual, para cada el N f2
es distinto y no se puede dar uno vlido para todos los puntos de A . f1
0 si = 0

Ej. n () = 1/ n (puntualmente).
1 si (0, ) A
La convergencia es uniforme en [1, 2] , pero no en [0, 1] .
Para cada [0, 1] existe N tal que si n N el punto (, 1/ n )
est dentro de la banda, pero hace falta elegir N mayores se-
gn nos acercamos a 0 . En [1, 2] la convergencia es uniforme,
pues el N que vale para = 2 claramente vale tambin para
el resto de los del intervalo.

n continuas en un intervalo y {n } uniformemente en continua en .

Si las n son derivables, que n uniformemente
no basta para que sea derivable, o puede existir
0 y no ser el lmite de las n0 (como en los ejemplos
de la derecha); para que pasen ambas cosas, deben |x| 1sen(n2x)
tambin converger las n0 uniformemente. n

Las series de funciones son un caso particular

X
n converge puntualmente o uniformemente en A hacia si lo hace
n=1
la sucesin de sus sumas parciales Sn = 1 + + n .

Criterio de Weierstrass

P en A y {Mn } una sucesin

Sean {n } definidas P de nmeros tal que |n ()| Mn
A y tal que Mn converge. Entonces n converge uniformemente en A .
P sen n n 
converge uniformemente en todo R pues  sen 1
  P 1
Ej. n2 n2
n2
y n2
converge.
[Se tiene entonces, por ejemplo, que la suma () de esta serie es continua en todo R ].
P cos n
La serie obtenida derivando trmino a trmino: n
diverge, por ejemplo, si = 0 .
(Para otros , como = , converge por Leibniz, y para casi todos es difcil decirlo).

As pues, en general, no se pueden derivar trmino a trmino las sumas infinitas

como las finitas. Aunque s se puede hacer con las series de potencias:

cn n = c0+c1 +c2 2+ converge uniformemente en todo intervalo
X
La serie
n=0
cerrado [, b] (R, R) ( R radio de convergencia). Para || < R la funcin ()

definida por la serie es derivable y 0 () = ncn n1 = c1 +2c2 +3c3 2 +
X

n=1

2 3
Ej. 2 + 3 + con R = 1 , converge puntualmente
si (1, 1] hacia log(1 + ) y uniformemen-
 

te en cualquier intervalo [, 1] , > 1 , pero no

lo hace en todo (1, 1] , pues las sumas parciales
estn acotadas en ese intervalo y el log no.
La serie derivada trmino a trmino 1+2 +
1 
converge en (1, 1) hacia 1+

.

71
Repaso de clculo en varias variables
Sean , x Rn , A Rn . Entorno de centro y radio r es Br () x : kxk < r .


es interior a A si hay algn Br () A . A es abierto si A = nt A x interiores a A .



Frontera de A es A x : r, Br (x) tiene puntos de A y de Rn A . A = nt A A .



La derivada segn el vector v de un campo escalar : Rn R en un punto es:

(+hv) () [si v es unitario se llama direccional,
Dv () v () = lm h
= v si v = i es la parcial / () , ... ].
h0 si C1
 
y = ( , .., ) 1 / 1 1 / n 
1 1 1 n
(y1 ,...,yn ) . .
 
Si , el determinante jacobiano es = .. .. .
 
(1 ,...,n ) 
yn = n (1 , .., n )  
n / 1 n / n 

= r sen cos
= r cos

(,y) (,y,z)
Polares:
y = r sen
(r,)
= r . Esfricas: y = r sen sen (r,,)
= r 2 sen .
z = r cos

Cambios de variable en integrales dobles:

Sea g : (, ) (, ), y(, ) de C1 , inyectiva en D , g(D) = D y integrable.


RR RR
 (,y) 
Entonces: D
(, y) d dy = D (, ), y(, )  (,)  d d .

Integrales de lnea de campos escalares:

Sea C la curva C1 descrita por una funcin vectorial c(t) : [, b] R2 y sea un
R Rb
campo escalar tal que c(t) es continua. Entonces: C ds c(t) kc0 (t)k dt .

[No depende de la c(t) elegida. Si C es C1 a trozos, se divide [, b] y se suman las integrales].

Teorema de la divergencia (en el plano):

Sea D R2 limitado por D curva cerrada simple, f : D R2 campo vectorial C1 ,
RR H
y n el vector normal unitario exterior a D . Entonces D div f ddy = D f n ds .

Si D viene descrita por c(t) = (t), y(t) un normal unitario es n = y (t), (t)
0 0 kc (t)k .


 0 

Ej. Comprobemos el teorema para f(, y) = (7, y 2 1) en el semicrculo r 3 , 0 :

RR R R 3
D
2y ddy = 0 0 2r 2 sen dr d = 36 .
R R3
Para C1 , si c() = (, 0) , [3, 3] C (1y 2 ) ds = 3 d = 6 .
1

Para C2 , si c(t) = (3 cos t, 3 sen t) , t [0,] kc0 (t)k = 3 . Como

R R
n = (cos t, sen t) , C f n ds = 3 0 7 cos t +9 sen3 t sen t dt = 30 .


2

Integrales de superficie de campos escalares:

Sea S la superficie descrita por la funcin vectorial r(, ) : T R2 R3 y sea tal

RR RR
r r
que r(, ) es continua. Entonces: S dS T r(, ) d d .
producto vectorial fundamental

Si S es del tipo z = h(, y) se puede describir r(, y) = , y, h(, y) , con T proyeccin



de S sobre z = 0 , y el producto vectorial fundamental adopta la forma h ,hy ,1 .



Ej. Integremos (, y, z) = z 2 sobre la superficie esfrica x = .

Eligiendo r(, ) = ( cos sen , sen sen , cos ) ,
R R 2
z 2 dS = 0 0 2 cos2 2 sen d d = 4
RR
S 3
4 .
pvf
 
Con r(, y) = , y, 2 2 y 2 , el pvf es p 2 2 2
p
y
RR RR p R p
4
S
z 2 dS = 2 T 2 2 y 2 ddy = 4 0
r 2 r 2 dr = 3 4 .

72
 problemas de EDII (r) 2011

problemas 1

1. Resolver (si es posible) los siguientes problemas de Cauchy:

32 y + = 5 (2y)y + = 2y y + = 2 ey y y = 2y
(, 0) = 3 (1, y) = 0 (1, y) = 0 (, 0) =
y
y = y y +3y 2 = 2 +6y 4
2
y yy +(2y) = yy + e = 2
(, 1) = (, 1) = 2 (, 1) = 0 (, 0) = 0

2. Sea yy = +2 y los datos iniciales: i) (, 0) = , ii) (, 2) = 7 . Hallar la nica

solucin que satisface uno de ellos y dos soluciones distintas que cumplan el otro.

i) (, 1) = 1
3. Resolver y +2y = 3 con , estudiando la unicidad de la solucin.
ii) (0, y) = 0

4. Sea (E) y 2 y +2 = 2 +y 2 . Resolver (E) con el dato (, 1) = +1 . Es nica la solucin?

Imponer unos datos de Cauchy para los que (E) tenga infinitas soluciones y dar dos de ellas.

5. Precisar para qu valores de n entero positivo el dato de Cauchy (, n ) = n determina

una nica solucin de la ecuacin +y = y 2 cerca de (0, 0) .

6. Sea la ecuacin cuasilineal (E) A(, y, )y +B(, y, ) = C(, y, ) .

Probar que si las soluciones del sistema de ecuaciones:
d C dy A (, y, ) = c1
= B , d = B son [curvas caractersticas de (E)],
d (, y, ) = c2
entonces (, y, ) = p[(, y, )] o bien, (, y, ) = q[(, y, )] con p , q arbitrarias es la

solucin general de (E). Resolver la cuasilineal: y + = 0 con: i) (, 0) = , ii) (0, y) = 0 .

7. Reducir a forma cannica y, si es posible, encontrar la solucin general:

e + ey yy = 3y +2y 2 = y +4y 5yy +6 +3y = 9

8. Escribir (E) tt + 2t = 2 en forma cannica y hallar su solucin general. De los datos de

Cauchy: i) (, 0) = t (, 0) = 0 , ii) (0, t) = 0 , (0, t) = t , hay unos que determinan una
nica solucin de (E). Hallarla en ese caso.

9. Sea [E] tt + 2t + + = 0 . Hallar su solucin general. Hallar (y simplificar) la solucin

de [E] que satisface (, ) = 0 , t (, ) = 1 . Escribir una solucin de [E], distinta de la
0 , que cumpla (, ) = t (, ) = 0 .

10. a) Escribir (E) 4yyy +2y = 0 en forma cannica para y > 0 y para y < 0 .
b) Resolver (E) con los datos iniciales: (, 1) = 2 , y (, 1) = .

tt 4 = 2

11. Resolver el problema , i) directamente, ii) tras hacer = t 2 .
(, ) = 2 , t (, ) =

12. Sea (E) Ayy+By+C+Dy+E+F = G(, y) , con A, B, . . . , F constantes. Probar que, si

no es parablica, un cambio de variable = epy eq , con p y q adecuadas, lleva (E) a una
(E*) sin derivadas de primer orden. Para qu relacin entre las constantes A, . . . , F no tiene
(E*) trmino en ? Aplicar lo anterior para hallar la solucin general de y+2y+3+6 = 1 .
Probar que cualquier ecuacin parablica o es resoluble o se puede escribir con cambios de
variable en la forma +E = G(, ) .

13. Sea (e) tt +Dt +E = 4 , con D y E constantes. a] Escribir (e) en forma cannica.
Para qu relaciones entre D y E es esta forma resoluble? b] Para D = 2 , E = 2 , hallar la
o las soluciones de (e) con los datos: (0, t) = e2t , (0, t) = 2 .

i
 problemas de EDII (r) 2011

problemas 2

1. Determinar los autovalores y autofunciones asociadas:

y 00 + y = 0 y 00 + y = 0 y 00 + y = 0 2 y 00 +y 0 +[2 41 ]y = 0
y(0) = y 0 (1) = 0 y(1) = y(1) = 0 y(0) = y(1)+y 0 (1) = 0 y(1) = y(4) = 0

y 00 + y = 0 Comprobar que hay infinitos autovalores positivos . Discutir

2. Sea
y 0 (0)y(0) = y(1) = 0 si los hay 0 . Estudiar cmo vara con el menor autovalor.

3. Desarrollar a) () = 1 y b) () = 2 , [0, 1] , en serie de i) {sen n} , ii) {cos n} .

Dibujar algunas sumas parciales de las series obtenidas.

4. Desarrollar () = cos3 , [0, ] , en serie de i) {cos n}, ii) {sen n}, dibujando las
funciones hacia las que tienden las series y estudiando la convergencia uniforme.

5. Desarrollar en senos y cosenos en [, ] , estudiando la convergencia puntual y uniforme:


, si < 0
a) () = sen2 , b) () = | sen | , c) () = sen 2
, d) () = sen , si 0 <

1 , 01

Sea () = . Hallar su desarrollo en serie de Fourier () = 20 + n cos n
X
6. 2
.
0 , 1<2 n=1
Cunto debe sumar la serie para i) = 1 , ii) = 2 ? Comprobarlo sustituyendo en la serie.

, 0 < 2
y 00 + y = 0

Desarrollar () = cn yn () , con yn autofunciones de
X
7. en serie .
0,
2
n=1
y(0) = y 0 () = 0

cn yn ( 2 ) ?
= 1 13 + 51 , el valor de 1
X X
Cunto vale Deducir de ello, y de que 4 (2n1)2
.
n=1 n=1

8. Desarrollar () = en las autofunciones de cada uno de los problemas del problema 1.

00
y + 2y 0 + y = 0
9. Desarrollar () = 1 en serie de autofunciones del problema .
y(0)+y 0 (0) = y( 21 ) = 0
0
[12 ]y 0 + y = 0 Hallar los 3 primeros trminos del desarrollo de () = 1
10. Sea
y(0) = 0, y acotada en 1 en serie de autofunciones de este problema singular.

y 00 y 0 = 2

11. Hallar, si existe, un valor de para el que tenga infinitas soluciones.
y 0 (2) = y 0 (4) = 0

 2 00
y y = 34
12. Sea . Precisar cuntas soluciones tiene para: i) = 2 , ii) = 0 .
y(1)+y 0 (1) = y(2) = 0
 00
i] = 2 y +y 0 +y = 1
13. Precisar para cuntas soluciones tiene el problema: .
ii] = 0 y 0 (0) = y 0 (2) = 0

y 00 + y = Hallar los autovalores y autofunciones del homogneo.

14. Sea .
y(0) = y 0 (1)y(1) = 0 Tiene el no homogneo infinitas soluciones para algn ?

y 00 + y = cos 3 Hallar el primer trmino del desarrollo de () = cos 3 en

15. Sea .
y 0 (0) = y 0 ( 4 )+y( 4 ) = 0 serie de autofunciones del problema homogneo.
Precisar para i) = 0 , ii) = 1 cuntas soluciones tiene el problema no homogneo.

16. Hallar la funcin de Green y la solucin para () = :

y 00 = () 2 y 00 + y 0 y = () y 00 + y 0 2y = ()
y(0) = y 0 (1) = 0 y(1)+y 0 (1) = y(2) = 0 y(0)y 0 (0) = y(1) = 0

ii
 problemas de EDII (r) 2011

problemas 3 (calor y ondas)

1. Resolver por separacin de variables:

t + 2t = 0 , 0, 12 , t > 0 t 4 4 = 0 , (0, ), t > 0

a) b)
(, 0) = 12, (0, t) = ( 21 , t) = 0 (, 0) = e2 , (0, t) = (, t) = 0
+ = 0 , (0, 2), t > 0

t = e2t cos , 0,

t , t>0
c) t+1 d) 2

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

+ 4t = 0 , [0, ], t R tt = 4 sen 6 cos 3 , 0, 

tt 2
e) (, 0) = sen 2 f) (, 0) = t (, 0) = 0, t R

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

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

Determinar la distribucin estacionaria
2. Resolver (, 0) = () .
si () = sen2 2 y F(t) = et .
(0, t) = (, t) = 0

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

3. Resolver y hallar el lm (, t) .
(, 0) = 0 , (0, t) = 0, (1, t) = 2et t

[Simplifica los clculos hallar una (, t) = X()T(t) cumpliendo ecuacin y condiciones de contorno].

t = 0 , (0, ), t > 0 Resolverlo y hallar para cada (0, ) el


4. Sea .
(, 0) = 0 , (0, t) = (, t) = t lmite de la solucin (, t) cuando t .

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

2
, Calcular la solucin y su lmite cuando
5. Sea .
(, 0) = T, (0, t) = F, (1, t) = T t ( F y T constantes).

6. Sea una placa circular homognea de 1 cm de de radio, inicialmente a 0o . Supongamos

que en t = 0 todo su borde se calienta hasta 1o y luego se mantiene a esa temperatura.
Determinar la distribucin de temperaturas en la placa para t > 0 . Hacia qu valor tender
la temperatura de un punto situado a 0.5 cm del centro de la placa cuando t ?

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


7. Sea
(, 0) = 1 , (0, t)4 (0, t) = (3, t) = 0
Determinar, segn la constante , el lmite de la solucin cuando t .
 00
X +2X 0 +X = 0
8. i] Hallar los autovalores y autofunciones del problema .
X(0) = X(1)+X 0 (1) = 0
t 2 = 0 , (0, 1) , t > 0

[directamente o tras un
ii] Resolver
(, 0) = e , (0, t) = (1, t)+ (1, t) = 0 cambio = ept+q ].

X 00 + X = 0

Hallar sus autovalores y autofunciones y comprobar que
9. i] Sea .
X(0) = X(1)X 0 (1) = 0 la primera autofuncin es ortogonal a todas las dems.
t +2 = 2 , (0, 1) , t > 0

ii] Resolver por separacin de variables.
(, 0) = 1 , (0, t) = (1, t) (1, t) = 1

tt = 0 , [0, ], t R

10. Sea (, 0) = t (, 0) = 0
(0, t) = sen t, (, t) = 0
Determinar valores de para los que la solucin no est acotada.

11. Sea ttt 4t 3 t = 0 . a] Hallar la solucin que satisface: (, 1) = , t (, 1) = 2 .

b] Separar variables = XT en la ecuacin y comprobar que la solucin particular de a]
aparece como producto de soluciones asociadas a = 0 .

iii
iv
 problemas de EDII (r) 2011

problemas 3 (Laplace y 3 variables)

1. Resolver por separacin de variables:

= 2 cos2 y , (, y) (0, )(0, ) = y cos , (, y) (0, )(0, 1)
a) (, y) = 5 + cos y b) (0, y) = (, y) = 0
(0, y) = y (, 0) = y (, ) = 0 y (, 0) = y (, 1) = 0

= 1 , (, y) (0, )(0, ) = r 2 cos 3 , r < 2, 0 < < 6


c) d)
= 0 en = 0, = , y = 0, y = (2, ) = (r, 0) = r, 6 = 0

= cos , 1 < r < 2

= r 2 cos 2 , 1 < r < 2

e) f)
(1, ) = (2, ) = 0 r (1, ) = 0, r (2, ) = cos 2
= r , r < 2, 0 < < = 0 , 1 < r < 2, 0 < <
4
g) (r, 0) = (r, ) = 0 h) (1, ) = 0, r (2, ) = sen

(2, ) = 3 (r, 0) = (r, 4 ) (r, 4 ) = 0

+yy +6 = 0 en (0, )(0, )

2. Resolver por separacin de variables: y (, 0) = 0 , y (, ) = 0 .
(0, y) = 0 , (, y) = 2 cos2 2y

+yy 9 = 0 en (0, )(0, )

Resolverlo en general, y para () = cos 4 .
3. Sea: (0, y) = (, y) = 0 .
y (, 0) = 0 , y (, ) = () Es nica la solucin?

2 1

4. Probar que 3
,
2 2
1 , si (r, ) es la solucin del problema en el plano:
= 0 , r < 1
 
1, 0
con () = 0, < < 2
(1, ) = ()

1 1
rr + + = cos2 , r < 1, 0 < <


r r

r 2
5. Resolver para los que se pueda.
r (1, ) = , (r, 0) = (r, ) = 0
 2 00
r y + ry 0 y = r 2
6. a] Discutir cuntas soluciones y(r) tiene .
y 0 (1)+y(1) = y(2) = 0
= sen , 1 < r < 2

b] Resolver el problema plano: .
r (1, ) = (2, ) = 0

= 0 , r < 1, (0, )
3
7. Hallar la nica solucin de este problema en el plano: (1, )+2r (1, ) = 4 sen 2
.
(r, 0) = (r, ) = 0
Comprobar que cambiando +2r (1, ) por 2r (1, ) el problema fsicamente imposible
que resulta pasa a tener infinitas soluciones.

8. Hallar (en trminos de funciones elementales) una solucin acotada de:

rr + rr + r
2 + 4 = 0 , r < 1 , 0 < <

[Separando variables y haciendo s = 2r
(1, ) = sen 2 , (r, 0) = (r, ) = 0 aparece una ecuacin conocida].

rr + 1r r + r12 = 2 sen

9. Hallar la nica solucin de los problemas en el plano 1+r 2 :
(1, ) = 1 , acotada
i] en el crculo r < 1 , ii] en la regin infinita r > 1 [ojo!, r rctn r ] .
r

= r cos2 , r < 1
10. Calcular el valor en el origen de la solucin del problema plano .
(1, ) = 0 , 0 < 2

v
 = 0 , r < 3

11. Resolver el problema para la ecuacin de Laplace en el espacio .
r (3, )+(3, ) = sen2

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


r r

r 2

r 2 sen
12. Resolver el problema en la semiesfera:
r (1, ) = () , (r, / 2) = 0
Qu condicin debe cumplir () para que exista solucin?
Hallar la solucin si () = cos2 para el nico para el que existe.

= 0 , si r > R = 0 , si r > R
13. Hallar la solucin de: (R, ) = cos3 , 0 < 2 y (R, ) = cos3 , 0 < <
acotada cuando r 0 cuando r
(en el plano) (en el espacio)

14. Resolver:
t = 0, (, y) (0, )(0, ), t > 0
(, y, 0) = 1 + cos cos 2y
(0, y, t) = (, y, t) = 0
y (, 0, t) = y (, , t) = 0
= z , 2 +y 2 +z 2 < 1
= z 3 si 2 +y 2 +z 2 = 1
tt = 0 , (, y) (0, )(0, ), t R
(, y, 0) = 0 , (, y, 0) = sen 3 sen2 2y
t
(0, y, t) = (, y, t) = 0
y (, 0, t) = y (, , t) = 0
t = 0, 1 < r < 2, 0 < z < 1, t > 0
(r, , 0) = sen z

= 0 , 2 +y 2 +z 2 < 1 (1, z, t) = (2, z, t) = 0

(r, 0, t) = (r, 1, t) = 0
= 3 si 2 +y 2 +z 2 = 1

15. Escribir en cartesianas los armnicos esfricos: Y00 , rY10 , rY11 , r 2 Y20 , r 2 Y21 , r 2 Y22 .

vi
 problemas de EDII (r) 2011

problemas 4

1. Resolver por diferentes caminos:

tt 4 = et , , t R tt 4 = 16 , , t R
 
a] b]
(, 0) = 2 , t (, 0) = 1 (0, t) = t , (0, t) = 0

tt = 0 , 0, t R

a] Hallar , 2 .
2. Sea (, 0) = 0 , t (, 0) = cos2 .
b] Hallar (, 2) para 2 .
(0, t) = t

tt 4 = 0 , [0, 2], t R
(, 0) = 43 , t (, 0) = 0 . Hallar 32 , 34 . Dibujar (, 2) . Hallar (, 1) .


3. Sea
(0, t) = (2, t) = 0

tt = 0 , [0, 2] , t R

Dibujar (, ) y hallar su expresin con
2 sen , [0,]
n
4. Sea (, 0) = , t (, 0) = 0 . DAlembert. Resolver por separacin de
0 , [,2]
variables y comprobar.
(0, t) = (2, t) = 0

= , [0, ], t R
tt

Sea (, 0) = , t (, 0) = 0


5. Hallar 2
, con DAlembert y separando variables.
(0, t) = 0, (, t) =

= 0 , [0, 2], t R
tt a] Hallar (, T) , T [0, 2] , y describir la evolucin de
6. Sea (, 0) = t (, 0) = 0
(0, t) = t , (2, t) = 0 la cuerda para t [0, 2] . b] Hallar (, 2k) , k = 1, 2, . . .

tt = 0 , , t R n

a] Dibujar (, 1) , (, 2) y (, 3) .
7. Sea (, 0) = 0 , t (, 0) =
1, ||1/ 2 .
0 ||>1/ 2
b] Dibujar (3, t) , t 0 .

tt = 6 , 0, t R

8. Sea . Calcular (0, t) para todo t.
(, 0) = t (, 0) = (0, t) = 0

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


a] Hallar (1, 2) .
9. Sea .
(r, 0) = r , t (r, 0) = 2 b] Hallar (1, t) para todo t 0 .

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

i) por separacin de variables,
10. Resolver
(r, 0) = 0, t (r, 0) = 1r sen r , (1, t) = 0 ii) con las tcnicas del captulo 4.

R p
d
e (, 0) = p .
2
11. Hallar (, ) = 0
ek cos k dk probando que d = 2
2
2 2 2
2

Usar lo anterior para calcular: Fc1 ek , Fs1 k ek , F 1 ek , F e .

2
t = (2 1) e / 2 , R , t > 0
 h El trmino no homogneo es la i
12. Sea 2 / 2 .
(, 0) = 0 , acotada derivada segunda de e
Hallar su solucin (en trminos de funciones elementales) y el lm (, t) :
t
a] Aplicando la F directamente. b] Con un cambio que haga la ecuacin en homognea
y evaluando la integral de los apuntes mediante un cambio de variable.

13. Comprobar, paso a paso y utilizando la F , que la solucin de:

2

t = e / 4 , R , t > 0
Z 2 2
ek ek (t+1) k
viene dada por: (, t) = p1 e dk .
(, 0) = 0 , acotada k 2

R 2 p
Deducir el valor de (0, t) integrando por partes y utilizando que es ds = .

t + = 0 , R, t > 0

14. Hallar su solucin sin que aparezcan integrales: 2 .
(, 0) = e /2

vii
15. Obtener la frmula de DAlembert utilizando transformadas de Fourier.

tt 3t +2 = 0 , , t R

Resolverlo con transformadas de Fourier
16. Sea .
(, 0) = () , t (, 0) = 0 y deducir la solucin para () = 2 .

tt +2t + = 0 , , t R

17. Hallar la solucin de
(, 0) = 0, t (, 0) = g()
i) a partir de su forma cannica,
,
ii) con transformadas de Fourier.

a1 ] la solucin con (, 0) = ,
18. a] Dada 3t = 2 , hallar:
a2 ] dos soluciones con (, 3) = 2 .
3t = g()

b1 ] utilizando las caractersticas,
b] Resolver , y comprobar a1 ].
(, 0) = () b2 ] con transformadas de Fourier,

2t + = t

t + et +2t = 0 i) utilizando las caractersticas,
19. Resolver a] 2 , b]
(, 0) = e (, 0) = () ii) con transformadas de Fourier.

t + (cos t) = , R, t 0

20. a) Resolver por Fourier y por las caractersticas: .
(, 0) = ()
cos2 , [/ 2, / 2]

b) Si () = describir (, t) para t 0 .
0 en el resto

viii
 problemas adicionales de EDII (r) 2011

problemas adicionales 1

1. Sea [E] y 3 y = 2y 2 . a] Hallar la solucin general de [E] tomando i) = y , ii) = .

b] Resolver [E] con el dato inicial (, 1) = 2 , estudiando la unicidad de la solucin.
c] En qu puntos del plano es tangente la curva 2 = y 2 a alguna caracterstica de [E] ?

2. Sea y 2y = 2y y los datos iniciales: i) (, 1) = e , ii) (y 2 , y) = 0 . Hallar la nica

solucin que satisface uno de ellos y dos soluciones distintas que cumplan el otro.

i) = t ,
Sea (E) t 2t = 2t t 2 . Hallar la solucin de (E) con (, 1) = 1 tomando


3.
ii) = .
Escribir 2 soluciones distintas de (E) vlidas en un entorno de origen que cumplan (0, t) = 0 .

4. Sea (E) (y+1)y+ = 0 . Dibujar sus caractersticas. Probar que (E) tiene una nica solucin
satisfaciendo (, 0) = () . Probar que si no es constante dicha solucin no puede estar
definida en todo R2 . En torno a qu puntos hay ms de una solucin de (E) que cumple
(y 2 , y) = 0 ? Estudiar si existen soluciones de (E) satisfaciendo (0, y) = g(y) .

5. Determinar en torno a qu puntos tienen solucin nica los problemas:

seny y + = 1 (2 + y 2 )y + = 0 (2 + y)y + = 0
(0, y) = 1 (, 0) = 0 (, 2 ) =

6. Probar que ninguna solucin de = 0 est definida en todo el semiplano y 0 y contiene

la curva : y = 2 , z = 3 . Estudiar en qu entornos de hay soluciones nicas locales.

7. Hallar (si se puede) la solucin o soluciones de las siguientes ecuaciones cuasilineales que
satisfacen cada uno de los datos de Cauchy que se indican:
y + = con i) (, 0) = 1 , ii) (0, y) = 1
y + = 2 con i) (, 0) = , ii) (, ) = 1

8. Reducir a forma cannica y, si es posible, encontrar la solucin general:

t 2 tt 2 = 0 yy +2y +2 = 0 2 2yy +y 2 yy = e

9. Sea [E] tt 2 t = 0 . Escribirla en forma cannica y hallar su solucin general. Deter-

minar la solucin de [E] que satisface (, 0) = 2 , t (, 0) = . Escribir (si existe) alguna
solucin de [E], distinta de la 0 , que cumpla (et , t) = t (et , t) = 0 .

(, 1) = +1
10. Sea yy4yy+4y 2 1y y = 0 . Hallar su solucin general y la que cumple .
y (, 1) = 2+4

11. i] Resolver y + e+y = 0 con el dato inicial (, 0) = e .

ii] Escribir en forma cannica yy + e+y y y = 0 . Hallar su solucin general.

12. Resolver los siguientes problemas de Cauchy (, t R):

=0 = +
tt tt t
(, ) = 0 (, 0) =
t (, ) = 0 t (, 0) = 0

+Lt +R = 0
13. El potencial y la intensidad en una linea telegrfica satisfacen: ,
+Ct +G = 0
donde L, R, C y G son constantes caractersticas de la linea. a) Hallar la EDP de segundo
orden (E) que verifica . b) Si GL = RC , comprobar que un cambio adecuado reduce (E) a la
ecuacin de ondas y hallar (, t) si inicialmente (, 0) = V() e (, 0) = () .

14. Estudiar la unicidad de los problemas ( D dominio acotado en R2 ):

k = F(, y, t) en D
t
k 2 = F en D

(, y, 0) = (, y) en D
= en D
(, y, t) = 0 en D

I
15. Estudiar la unicidad de los problemas:
tt (c() ) = F(, t) , (0, 1), t R

= F en D R2 dominio acotado
(, 0) = (), t (, 0) = g()

(0, t) = 0, (1, t) = 0 = en C1 , n = g en C2

C1 C2 = D , C1 C2 =

(c C1 y positiva)

16. Si la distribucin inicial de temperaturas en una varilla es () = 22 3 , [0, 2] , y la

temperatura para t > 0 en los extremos es h0 (t) = t/ (1+t 2 ) , h2 (t) = 2 sen t/ t , y suponemos
que no existen fuentes de calor en el interior de la varilla, determinar la mxima y mnima
temperaturas alcanzadas en la varilla para t 0 .

II
 problemas adicionales de EDII (r) 2011

problemas adicionales 2
 00
y 2y 0 + y + y = 0
1. Desarrollar () = en las autofunciones del problema .
y(0) = y(1) = 0

y 00 + 2y 0 + y = 0

2. Desarrollar () = en autofunciones del problema singular: .
y acotada en 0, y 0 (1) = 0

(y 0 )0 + y = 0
3. Desarrollar () = 12 en serie de autofunciones del problema:
y acotada en 0, y(1) = 0

y 00 + V() y = 0
  
0 , si 0 < < 1
4. Determinar los autovalores de si V() = .
y(0) = y(2) = 0 1 , si 1 < < 2

2
y 00 = e(1)
5. Sea . Precisar para qu valores de tiene solucin.
y(0)+(1)y 0 (0) = y(1) = 0

6. Discutir, segn los valores de la constante b , cuntas soluciones tienen los problemas:

y 00 + 2y 0 = 1 2 y 00 3y 0 +3y = b2

0 0
y (1) = 2y (2)+by(2) = 0 y(1) = y 0 (1) , y(2) = 2y 0 (2)

7. Estudiar la unicidad de y 00 = () , (0, 1) [ecuacin de Poisson en una dimensin] con

diferentes condiciones separadas, utilizando tcnicas similares a las de las EDPs.

00 + r 1 0 = F(r)
8. Precisar cundo tiene solucin o soluciones , , b 0.
0 (1)(1) = A, 0 (2)+b(2) = B
[se puede interpretar como un problema para Laplace en el plano con simetra radial].

y 00 + y = 1 a) Hallar autovalores y autofunciones del problema homogneo.

9. Sea .
y 0 (1) = y(1) = 0 b) Existen para algn infinitas soluciones del no homogneo?

y 00 + y = 4 2 Para qu valores de tiene solucin nica?

10. Sea .
y(0) = 1 , y(1) = 0 Precisar para qu tiene infinitas y resolverlo en ese caso.

y 00 + y = 1 Hallar autovalores y autofunciones del homogneo.

11. Sea .
y(0)y 0 (0) = y(1)+y 0 (1) = 0Ver para qu hay solucin y para cules es nica.
Calcular aproximadamente 1 , 2 , 3 y los ceros en (0, 1) de y2 e y3 .

y 00 + ny = cosn
12. Estudiar para qu valores de n N existe solucin de: .
y(0) = y(2), y 0 (0) = y 0 (2)

a] Ver para qu no tiene solucin nica y dar para

cos y 00 2 sen y 0 = ()

13. Sea ese una () para el que haya infinitas soluciones.
y 0 4 = y 0 4 y 4 = 0




b] Resolverlo con la funcin de Green si = 2 , () = 1 .

2 y 00 y 0 + y = 3
14. Calcular para = 0 y = 1 la solucin (si la hay) de ,
y(1)y 0 (1) = y(2)2y 0 (2) = 0
haciendo uso de la funcin de Green en el caso de que exista.

y 00 + 2y 0 + y = ()
15. Sea . Hallar autovalores y autofunciones del homogneo.
y(1) = y(2) = 0
Determinar para qu n N el problema con = 2 , () = sen n tiene soluciones, calcu-
lndolas en ese caso. Si = 0 , () = 1 , hallar la solucin con la funcin de Green.

y 00 + 2y 0 = + c a) Discutir cuntas soluciones tiene. b) Para c = 0 , = 1 ,

16. Sea .
y 0 (1)y(1) = y 0 (2) = 0 hallar la solucin haciendo uso de la funcin de Green.

III
 (y 0 )0 = ()
17. Hallar la G(, s) del problema singular , usando la frmula para
y acotada en 0, y(1) = 0
problemas regulares. Comprobar que proporciona la solucin i) si () = 1 , ii) si () = .
Relacionar los resultados con la ecuacin de Poisson en el plano.

y 00 = ()
18. Constuir la funcin de Green de . Resolverlo si () = .
y(0) = y(1), y 0 (0) = y 0 (1)

19. Hallar una frmula para la solucin de un problema de Sturm-Liouville no homogneo

utilizando desarrollos en serie de autofunciones del homogneo.
y 00 + y = 1
Escribir, si 6= n2 2 , el desarrollo en autofunciones de la solucin de .
y(0) = y(1) = 0
Hallar la solucin exacta para = 0, 1, 1 . Desarrollarla si = 0 y comprobar.

20. Desarrollar la solucin para = 0 en serie de autofunciones del homogneo:

y 00 + y = y 00 + y = sen y 00 2y 0 + y + y = e
y(0) = y 0 (1) = 0 y(1) = y(1) = 0 y(0) = y(1) = 0

IV
 problemas adicionales de EDII (r) 2011

problemas adicionales 3

1. a] Desarrollar () = cos 2 , [0, ] , en serie de {sen n} , dibujando la funcin hacia la

que tiende la
serie y estudiando la convergencia uniforme.
t = 0 , (0, ), t > 0 [Conviene buscar una que
b] Resolver: . cumpla tambin la ecuacin].
(, 0) = 0 , (0, t) = et/ 4 , (, t) = 0
 00
y + y = Hallar autovalores y autofunciones del homogneo y precisar
2. a] Sea .
y 0 (1) = y 0 (1) = 0 si hay para algn infinitas soluciones del no homogneo.
tt = 0 , [1, 1], t R

b] Resolver: .
(, 0) = cos 2 , t (, 0) = 1 ; (1, t) = (1, t) = 0

3. Resolver por separacin de variables y dar interpretacin fsica cuando se pueda:

= 0 , (0, ), t > 0 = 0 , (0, ), t > 0
t t
a) (, 0) = 1 b) (, 0) = 0
(0, t) = 0, (, t) = cos t (0, t) = 1, (, t) = 0

t = A , (0, 1), t > 0 Resolverlo y determinar para qu relacin entre

4. Sea (, 0) = B las constantes A, B, C, D hay solucin estaciona-
(0, t) = C, (1, t) = D ria (interpretarlo fsicamente).

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


R1
5. Sea y sea Q(t) = (, t) d .
(, 0) = 0 , (1, t) = (1, t) = 0 1

Calcular la variacin en el tiempo de Q(t) y deducir cundo es constante.

Resolver si: i) F() = sen
2
, ii) F() = sen2
2
. Tiene lmite cuando t ?

6. Sea una varilla de aluminio ( k = 0.86 cm2 /seg) de 20 cm de longitud, con una temperatura
inicial uniforme de 25 grados. En el instante t = 0 el extremo = 0 se enfra hasta 0 grados,
mientras que el extremo = 20 se calienta hasta 60 grados, y ambos se mantienen despus
a esas temperaturas. Escribir la distribucin de temperaturas (, t) para todo t y evaluar
en = 5, 10 y 15 para t = 0, 5 y 30 utilizando tres y diez trminos de la serie.

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


7. Resolver y comprobar que .
(, 0) = 0 , (0, t)+ (0, t) = 1, (1, t) = 0 t

2 = F() , (0, ), t > 0 a] Resolverlo en general, y para

t
8. Sea (, 0) = () . F() = () = e sen 2 .
(0, t) = (, t) = 0 b] Demostrar que tiene solucin nica.

t 2t = 0 , (0, 3), t > 0


9. Resolver y demostrar que tiene solucin nica.
(, 0) = 0 , (0, t) = 0, (3, t) = t 2

10. Resolver por separacin de variables:

= 0, r < 2 + = 0 , r < 1, / 2 < < 3/ 2
3, (/ 2, / 2) (1, ) = sen 2, acotada

a) b)
(2, ) =
1, (/ 2, 3/ 2) r, 2 = r, 3 =0



2

= 9r , 1 < r < 2

11. Resolver el problema plano .
(1, ) = 2 sen2 , r (2, ) = 0

= , r < 1, (0, )

12. Resolver el problema plano y probar que ( 21 , 2 ) 0 .
(r, 0) = (r, ) = (1, ) = 0

= 0 , r < 1, 0 < < = 0 , r < 1

13. Sean (P ) y (P) .
(1, ) = sen k

, (r, 0) = (r, ) = 0 (1, ) = sen k
2
Comparar para k = 1 y k = 2 las soluciones de (P) con las de (P ) si 2 .
Hallar cotas superiores e inferiores para todas las soluciones.

V
 tt = 0, (, y) (0, )(0, ), t R
14. Resolver por separacin de variables (, y, 0) = sen3 sen y , t (, y, 0) = 0 .
(0, y, t) = (, y, t) = 0 , (, 0, t) = (, , t) = 0

= 0 , r < 1

15. Resolver el problema para la ecuacin de Laplace en el espacio .
r (1, ) = cos3

16. Un cubo homogneo de lado , inicialmente a temperatura constante T1 , se sumerge

en el tiempo 0 en un bao que se mantiene a temperatura T2 . Hallar la distribucin de
temperaturas en cualquier tiempo t > 0 .

y 00 = ()
17. a) Hallar la solucin de en trminos de la funcin de Green, la funcin
y(1) = , y(2) = b
y las constantes y b , por el camino de clculo de la G para la ecuacin de Laplace en el
plano (s) = 21 |s| satisface 00 = (s) para fijo . b) Llegar al resultado con tcnicas
 

del captulo 2. c) Escribir la solucin si () = 1 , = 0 , b = 1 .

sen , [0, ]

18. Sabiendo que (1, ) = 0 , [, 2]
,
hallar el potencial en el punto del plano de coordenadas polares r = 2 , = 0 .

19. Hallar la funcin de Green para la ecuacin de Laplace:

i) en el semicrculo r < 1 , (0, ) ; ii) en el dominio r > 1 , (0, 2 ) .

20. Escribir, en coordenadas esfricas, la funcin de Green G para la ecuacin de Laplace en

la esfera unidad y deducir la expresin,  en trminos de G , F y , de la solucin de:
= F , r < 1
(P)
= si r = 1
Hallar el valor de la solucin de (P) en el origen en caso de que: i) F = = 1 , ii) F = z , = z 3 .

VI
 problemas adicionales de EDII (r) 2011

problemas adicionales 4

tt = 0 , 0, t R tt = 0 , [0, 4], t R

sen , 23
n
sen , 12
n
1. Para los problemas: a] t (, 0) = b] (, 0) =
0 en [0,1][2,) 0 resto de [0,4]
(, 0) = (0, t) = 0 t (, 0) = (0, t) = (4, t) = 0
i) dibujar el dominio de influencia; ii) dibujar (, 1), (, 2) y (, 3); ii) dibujar (3, t), t 0.

1
2. Dibujar (, 2 ) , (, 1) , (, 2) , (, 3) y (1, t) , t 0 , y hallar (, 1) , para:
tt = 0 , , t R

tt = 0 , 0, t R tt = sen , [0, 1], t R

n
sen , 23 (, 0) = sen
(, 0) = 0 resto de R
n
(, 0) = (1), 01
n 0, 1 t (, 0) = sen
,21
t (, 0) = 0sen t (, 0) = (0, t) = 0

resto de R (0, t) = (1, t) = 0

= 0 , [0, 1], t R
tt
3. Sea (, 0) = t (, 0) = 0 . Hallar ( 12 , 12 ) y ( 21 , 32 ) .
(0, t) = 0 , (1, t) = sen t

tt = 0 , [0, 2], t R a] usando la de los apuntes,

4. Sea (, 0) = t (, 0) = 0 Hallar (1, 3) : b] con una que cumpla la ecuacin,
(0, t) = (2, t) = t 2 c] por separacin de variables.

tt = 0 , 0, t R [Ayuda: una buena (, t) sale de

a] Hallar (2, 3) . separar variables y tomar = 1 ].
5. Sea (, 0) = e , t (, 0) = 0 . b] Hallar (, t) , , t 0 .
(0, t) = et c] Dibujar aproximadamente (, 3) .

tt 4 = F(, t) , , t R

1, [1, 2], t 0 Calcular (1, 1) y (1, 1) .

6. Sea , F(, t) = 0, en el resto .
(, 0) = t (, 0) = 0 Calcular y dibujar (, 1) .

tt = 0 , 0, t R Se invierten las ondas al reflejarse en = 0 ?

7. Sea (, 0) = (), t (, 0) = g() Cmo son los dominios de influencia?
(0, t) = 0 Cundo la solucin es clsica?

8. Hallar la solucin general de tt e2t t = 0 , y la que cumple (, 0) = (), t (, 0) = 0 .

12|| , si ||1/ 2
n
Si () = , dibujar la solucin para t = 1 y t = 2 .
0 , en el resto
Cul es el dominio de influencia sobre la solucin del valor inicial de en = 0 ?
Cul es el dominio de dependencia de (0, 1) de los valores de ?

tt c2 [ +yy +zz ] = 0 a] +y+z
9. Resolver (, y, z, 0) = (, y, z) , si (, y, z) = b] +y .
t (, y, z, 0) = 0 c]

10. Vistos como problemas en 1, 2 y 3 dimensiones, hallar (0, t) , t 0 y (r, t) si se puede:

tt = 0

1r 2 , r 1

con a) (r) = g(r) = r 2 , b) (r) = 0, g(r) = .
(r, 0) = (r) , t (r, 0) = g(r) 0 , r 1

2

tt rr + = 0, r 0



r r
11. Sea . Hallar (2, 3) .
(r, 0) = 6 , t (r, 0) = 5r 3

tt = 0 , 0, t R tt rr 2
(
= 0 , r 0, t R
r
r
12. Sean 6 2 y .
(, 0) = 0 , t (, 0) = 1+ 3 , (0, t) = 0
6r
(r, 0) = 0 , t (r, 0) = 1+r 3

a] Hallar (1, 4) y (1, 4) . b] Ms en general, hallar (1, t) para t 0 .

2
(
tt rr + = 0 , r 0



r r a] Hallar (1, 5) y (7, 5) . Hallar (0, t) .
13. Sea 2 .
(r, 0) = 4+r 2 , t (r, 0) = 0
b] Dibujar aproximadamente y simplificar (r, 5) .

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

2r r 2 , r [0, 2]

2r , r [0, 2]

14. Sean (r, 0) = 0 en el resto F(r) y (r, 0) = (r) .

0 en el resto
t (r, 0) = (0, t) = 0 t (r, 0) = 0
a] Hallar (6, 3) , (2, 3) y (4, 3) . b] Dibujar y hallar la expresin de (r, 3) .
p
c] Hallar el valor mximo de (r, 3) 15 3.873 .


t 2 = 0 , R , t > 0

15. Resolver (en trminos de funciones elementales) 2 :
(, 0) = e /2 , acotada
a] con la F directamente, b] con un cambio = ept eq que lleve a la ecuacin del calor.

16. Sea (E) t 2 + = 0 . Simplificarla con un cambio de variable adecuado. Hallar la

2
solucin de (E) que cumple (, 0) = e y analizar su comportamiento cuando t .

t +2t = 4t t t = g()
  2
17. Resolver: a] , b] por las caractersticas y mediante la F .
(, 1) = () (, 1) = 0

t 2t = 0 , R, t > 0 t = (), R, t > 0

 
18. Sean a] y b] .
(, 0) = (), acotada (, 0) = 0, acotada
Hallar, sin que aparezcan integrales en el resultado, (, t) para a] y (0, t) para b].

t = 0 , , t > 0

19. Resolver:
(, 0) = (), (0, t) = g(t), acotada

tt = 0 , 0, t 0 [Ayuda: = sen t cos satisface la


20. Sea (P) .
(, 0) = t (, 0) = 0, (0, t) = sen t condicin de contorno y la ecuacin].
i) Hallar y describir (, t) para cada t > 0 fijo.
ii) Hallar la transformada seno s de la solucin hallada en i).
Hallar s resolviendo directamente (P) por transformadas seno.

21. Hallar la funcin de Green para la ecuacin de Laplace en el semiplano {(, y) : R, y > 0}
= F(, y), R, y > 0

y utilizarla para la hallar la solucin de .
(, 0) = () , acotada
Resolver el mismo problema para F 0 con transformadas de Fourier.

Resolverlo con la F y haciendo = et .

tt +2t + = 0 , , t R

22. a] Sea . sen , [0, 1]

(, 0) = (), t (, 0) = 0 Si () = 0 , en el resto dibujar (, 3) .
tt +2t + = 0 , 0 < < 1, t R

b] Resolver .
(, 0) = sen , t (, 0) = (0, t) = (1, t) = 0

VIII