Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Apuntes de Pepe Aranda de Complutenses PDF
Apuntes de Pepe Aranda de Complutenses PDF
apuntes de
mtodos
matemticos II
(EDPs)
Pepe Aranda
Mtodos Matemticos
Fsicas Complutense
http://jacobi.fis.ucm.es/pparanda/EDPs.html
Mtodos Matemticos II (grupos C y E, 2012-2013)
ndice
Bibliografa
Sobre las versiones de los apuntes
Introduccin 1
4. Separacin de variables 49
4.1 Separacin de variables para el calor 50
4.2 Separacin de variables para ondas 56
4.3 Separacin de variables para Laplace 61
4.4 Algunos problemas en tres variables 68
4.5 Funciones de Green 75
Apndice 79
Problemas 1 i
Problemas 2 iii
Problemas 3 iv
Problemas 4 v
Problemas adicionales 1 I
Problemas adicionales 2 III
Problemas adicionales 3 IV
Problemas adicionales 4 V
Los 7 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). Los 5 siguiente son bsicamente de EDOs,
con lo que casi todos tratan los temas 2 y 3 relativos a ecuaciones ordinarias, aunque tienen
tambin introducciones a las EDPs. En concreto, BD, Si, Br y R estudian los problemas de
contorno para EDOs y algo del mtodo de separacin de variables. R clasifica adems las
EDPs de segundo orden con coeficientes constantes. E trata con detalle las EDPs de primer
orden (lineales y no lineales). 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 estar organizados en torno a los mtodos de
resolucin (como en estos apuntes), estudian por separado y con diferentes tcnicas las
ecuaciones hiperblicas, elpticas y parablicas.
Las EDPs de primer orden de 1.1 se estudian en H, E y PA, aunque se centran en las
ecuaciones cuasilineales (o incluso no lineales) ms generales y complicadas. 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. La deduccin de las ecuaciones y el significado fsico de los problemas
se puede mirar, por ejemplo, en Bd, H, W, Ss o T. Para la cuerda vibrante de 1.4 se pueden
consultar el H, SS o W. Para la seccin 1.5 de la F ver Ch, Ss, Sp, MU y, sobre todo, H y W
que utilizan tambin la transformada de Laplace para EDPs (W tiene una introduccin a la
variable compleja).
El mtodo de series para las EDOs del tema 2 est bien contado en el BD y el Si, tanto
para puntos regulares como para singulares regulares.
Para el 3 es recomendable leer BD, Si y H. Hay ms demostraciones que en los apuntes (y
con matemticas no muy complicadas) en Ss, W o Ch.
La separacin de variables del tema 4 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, ms variados que los escasos
resueltos en estos apuntes, ver Ss, W, MU o T. La introduccin a las funciones de Green para
Laplace de 4.5, sigue ms o menos el MU. Ss, W, T y Sp tambin estudian las funciones de
Green por otros caminos.
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 2013. El mayor cambio es el traslado de la transformada de Fourier al final del captulo 1, que
cambia de nombre (y de las funciones de Green al final del 4). Hay bastantes pequeos retoques en
teora y ejemplos de separacin de variables. Hay cambios menores en el resto de los apuntes y, como
cada curso, se retocan los problemas, incluyendo los del curso pasado y pasando otros a adicionales.
Versin 2012. Primeros apuntes de mtodos matemticos II, para la asignatura del grado. Incluyen
un nuevo tema 3 de soluciones por series (que abandona la asignatura de EDOs para hacer hueco a la
variable compleja). Para hacer sitio a este tema se recortan otros varios de las Ecuaciones II.
Se limaron sutilezas sobre tangencias en 1.1. En 1.2 se tratan slo las EDPs con coeficientes constantes,
lo que acorta teora y problemas. La cuerda vibrante vuelve (12 aos despus y simplificada) al tema
1. Las ondas en ms dimensiones se fueron (salvo una cita a las del espacio con simetra radial).
El tema 2 recoge el tema 3 de mis apuntes de EDOs, con notable reduccin de ejemplos y problemas.
Del anterior tema 2 (ahora 3) salen las funciones de Green (que se juntan con las de Laplace en 5.2, a
ttulo informativo).
En el 4 de separacin de variables pas a tener seccin propia la ecuacin de ondas (con ejemplos
nuevos, algunos de comparacin con DAlembert). El resto sigue casi igual.
De la transformada de Fourier desaparecen las transformadas seno y coseno.
El apndice tuvo que modificar. Y la mayor reduccin, como en el anterior cambio de plan, se hizo en
los problemas (ya simplificados para el grupo residual del curso anterior).
Para separar los ejemplos se incluyeron (como en los apuntes de Matemticas) recuadros de color .
Versin 2011. Adaptacin al grupo residual de la licenciatura (2010/11, ltimo ao con clases). Se
pasaron a letra pequea temas que en otros grupos no se contaban (como las ondas en 3 y 2 di-
mensiones, tras retocar 4.1 y 4.2), los problemas 3 se dividieron en dos partes, bastantes problemas
pasaron a adicionales y se incluyeron nuevos y nuevos ejemplos inventados para el piloto del 08/09.
Versin 2009. Bastantes novedades, empezando por la letra, que pas a ser Bitstream-Vera (sin serif),
lo que oblig a reescribir (y de paso a retocar) muchas partes del texto.
1.1 y 1.3 se modificaron levemente y 1.2 se volvi a reordenar.
2 perdi una seccin. Los ejemplos de la vieja 2.1 se incluyeron, adems de otros nuevos, en la nueva
2.1. Tambin aparecieron ms ejemplos en series de Fourier y en problemas no homogneos.
3.1 incluy ejemplos nuevos del calor y 3.2 dos ejemplos ms en cartesianas y uno en polares. 3.3
cambi poco y como 3.4 (antes 4.4) apareci la introduccin a las funciones de Green para Laplace.
En todo el 4 aparecieron ejemplos nuevos (y otros se detallaron). En 4.1, uno de cuerda semi-infinita y
otro de cuerda acotada, dos de ondas en 3 dimensiones en 4.2, y tres de la F de 4.3.
Se cre un apndice con repaso de EDOs, de convergencia uniforme y clculo en varias variables.
Los problemas cambiaron bastante (los grupos piloto exigen inventar muchos problemas y eso se not).
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. Primera de los apuntes de Ecuaciones Diferenciales II (EDPs) y heredera de los
apuntes de ecuaciones en derivadas parciales para los Mtodos Matemticos II, impartidos por
ltima vez en el 1997-98 (la versin, 2000, en Word, contena mis apuntes de ese ao, pero con dibujos a
ordenador). La asignatura era de 3 , los estudiantes haban cursado Mtodos I en 2 (variable compleja
y espacios de Hilbert) y haba 5 horas semanales de clase. Las Ecuaciones II, en cambio, se cursaban
en 2 , con 4 horas semanales y slo se haba estudiado lgebra y Clculo en 1 , y las EDOs del primer
cuatrimestre de segundo. Por tanto, hubo que reducir contenidos. Aunque los temas se mantuvieron
(reordenados), algunos pasaron a estar en letra pequea (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 era el antiguo 5, con algn ejemplo ms, algn recorte en unicidad y se
deduce ya la frmula de DAlembert (el viejo captulo 6 se traslad, reduciendo su tamao, al tema 4).
El 2 de esa versin era el viejo 7 de problemas de contorno, centrndose en las condiciones separadas,
eliminando ideas sobre comparacin de autovalores y poniendo la de Dirac en letra pequea.
El 3 de separacin de variables era el viejo 8, bastante reordenado. En vez de separar problemas
homogneos y no homogneos, se tratan ambos sucesivamente, primero para calor y ondas, y en otra
seccin para Laplace. Aparecen, como novedad, algunas lneas dedicadas a los armnicos esfricos.
El 4 incluy las ondas en 1, 3 y 2 dimensiones espaciales (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. 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 estudian principalmente las ecuaciones en derivadas parciales
(EDPs), aunque tambin tratan las soluciones por medio de series y los problemas
de contorno de las ecuaciones diferenciales ordinarias (EDOs). Una EDP es una
ecuacin en la que aparecen derivadas parciales de una funcin incgnita de varias
variables. 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 (con derivadas de orden 2 o menor), del tipo:
n
X 2
n
X
[E] L[ ] Aj + Bj +C =F
j j
,j=1 j=1
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
ver que si ( , t) representa el desplazamiento verti-
cal del punto de abscisa en el instante t , la funcin
( , t) satisface la EDP:
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. Introduccin a las EDPs
Para las EDOs se suelen plantear problemas de valores iniciales, casi siempre de so-
lucin nica. Para resolverlos (cuando se puede) se suele hallar primero la solucin
general e imponer despus uno o varios (dependiendo del orden) datos iniciales.
En este captulo describiremos los problemas anlogos para las EDPs y veremos los
mtodos que permiten hallar sus soluciones a travs de integraciones. La variedad
y complicacin ser mucho mayor que en las ordinarias. Por ejemplo, casi nunca
se podr hallar la solucin general de una EDP.
Los datos iniciales puros slo se plantean para las ondas, pues carecen de sentido
fsico y plantean problemas matemticos en las otras dos ecuaciones clsicas. Las
condiciones iniciales y de contorno ligadas a un problema real son diferentes para
cada ecuacin. No hay una teora general de EDPs que abarque todas las posibili-
dades. En cada caso hay que comprobar que el problema est bien planteado,
es decir, que tiene solucin nica que depende continuamente de los datos
(lo que era trivial en las EDOs). La seccin 1.3 se dedica a describir los diferentes
problemas asociados a las ecuaciones clsicas, a interpretar fsicamente el signifi-
cado de las diferentes condiciones adicionales y a precisar su unicidad. Todos ellos
tendrn solucin nica, excepto el llamado problema de Neumann para Laplace.
3
En la seccin 1.4 nos dedicaremos a sacarle jugo a la citada frmula de DAlembert
que da la solucin del problema puro de valores iniciales para la cuerda infinita. Ve-
remos 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 soluciones
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. Primero para la cuerda semi-
infinita (a la que ser pueden reducir las ondas en el espacio con simetra radial) y
luego para la acotada. Al estar manejando funciones con expresiones distintas en
diferentes intervalos, escribir la solucin explcitamente lleva a discusiones com-
plicadas. Por eso nos conformaremos muchas veces con hallar su expresin para
valores de t o fijos o con los dibujos de la solucin.
4
1.1. EDPs lineales de primer orden
Sea [E] A( , y) y + B( , y) = H( , y) + F( , y) , = ( , y) .
dy A( ,y) ecuacin
Para resolverla usaremos la EDO de primer orden [e] d
= B( ,y)
caracterstica
Cmo determinar una nica solucin de [E]?, es decir, cmo precisar p ? Cada
solucin describe una superficie en el espacio. Generalizando
el problema de valores iniciales para EDOs definimos:
El problema de Cauchy para [E] consiste en hallar la
solucin ( , y) que tome unos valores dados sobre
una curva G del plano y , o lo que es lo mismo, que
contenga una curva dada del espacio.
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.
Pero un problema de Cauchy puede no tener solucin nica.
Por ejemplo, la solucin general de A y +B = 0 es ( , y) = p ( , y)
y cada solucin toma valor constante sobre cada ( , y) = K . Si la curva
G donde imponemos los datos es una de esas caractersticas se debe
exigir que est en un plano horizontal z = C . Entonces hay infinitas
soluciones [una para cada funcin p 2 C1 con p(K) = C ]. Si no tiene z
constante, no hay solucin que contenga a .
5
1
dy 1 + =K
Ej 1. y 2 y+ =2 d
= y2 , y
=K ! y
caractersticas
= + 1y
+ 1y e
2 2
! =2 =2 ! = p( ) e = p , p 2 C1 .
= [mejor]
1
= + 1y =
2 2
1 2 1 2
! y2 =2 ! = 2 3 ! =p ( ) e 2
=p + 1y e y2 y
.
= y [peor]
Aunque no lo parezca, las expresiones con p y p definen la misma solucin general,
1 2 2 2
+1 2 +1
pues e y2 y
=e y e , y p + 1y e y es otra funcin arbitraria de + 1y .
Estos clculos han determinado la nica solucin del problema de valores iniciales.
1 1/ y= y
! p( ) = 1 !
2
(0, y) = y ! p y
=y = 1+ y
e , que tambin parece ser nica.
1 1
( , )=0 y ( , ) = 1 darn problemas por estar dados sobre caracterstica.
2
Para el primero: p(0) e = 0 . Lo cumple toda p 2 C1 con p(0) = 0 . Infinitas soluciones.
2 2
Para el segundo: p(0) e = 1 , p(0) = e . Imposible. No tiene solucin.
Datos sobre caractersticas dan siempre 0 o soluciones
[pues se acaba en p(cte)=algo, que puede ser constante o no].
Estudiemos de nuevo la unicidad del ejemplo 1, ahora que tenemos teora general:
El primer dato y = 1 , como muestra el dibujo, no era tangente a las caractersticas.
Exactamente lo mismo lo asegura ( ) = 1 12 0 1 = 1 6= 0 .
En el segundo, a = 0 le ocurre lo mismo, y es (y) = 0 y 2 11= 1 6= 0 .
1 2 1
Para los otros: ( )=1 2 1 0 , lo que confirma que G es caracterstica.
6
(y 2 ) y + = y dy y 2
Ej 2. = , y = Ce +2 +2 ! (y 2 2)e =C
(0, y) = y 2 d 1
= (y 2 2)e 2 +2
! = y = e +2 +2 ! = p( )+ e + ,
= (parece mejor)
= p [y 2 2]e + y+ 2 2.
Escogiendo = y no se podra despejar la de =( 2 2)e .
p(y 2)+y 2 = y 2 , p(y 2) = 0 ! p( ) = 0 , = y+ 2 2.
Solucin nica porque = 0 nunca es tangente a las caractersticas.
y y+ =2 dy y = y/
Ej 3. 3 = ! y=C ! ! =2 !
( , 1) = d =y
y 3
2 1 1
= p( ) =p y2 ; ( , 1) = p = 3 ! p( ) = 3 ; = y
.
dy 2
Ej 4. 2 y =4 y d
= 2 ! y+ = K caractersticas.
2
=y+ 2 2 ) + y2
!2 =4 y; =2 ! = p( ) + = p(y+
=y
2
=y+ 3
! =4 y=4 4 !
=
= p ( )+ 4 2 2 = p (y+ 2) 2y 2 4
( , 3 2) = 4 2 5 ! p( 3) = 6, p( ) = 2 ! = 2 2y 4 ( , y) .
Hay solucin nica
pese a ser la curva de datos tangente a una caracterstica en
el punto (0, 0) es = 1 2 (3 2 2 ) ( 1) = 3 2 . A veces hay tangencia
y existe solucin nica. La no tangencia es suficiente pero no necesaria.
t+c =0 dy 1 ct = K
Ej 5. = ! ! = p( ct) solucin general.
( , 0) = ( ) d c caractersticas
7
1.2. EDPs lineales de segundo orden; clasificacin
Consideremos [E] L[ ] A yy +B y +C +D y +E +H = F( , y) .
q2 A + pqB + p2 C = 0
Intentemos hacer A = C = 0 . Para ello debe ser: .
s2 A + rsB + r 2 C = 0
p
1
Si B2 4AC > 0 y A 6= 0 podemos elegir p = r = 1 y q, s = 2A
B B2 4AC .
B
Si A = 0 y C 6= 0 tomamos q = 1 , p = 0 y s = 1 , r = C
; A = C = 0 es caso trivial .
>0 hiperblica
Si B2 4AC = 0 se dice, respectivamente, que la EDP [E] es parablica
<0 elptica
8
Si A , B y C son no constantes, si en cada punto ( , y) de una regin del plano
es B( , y)2 4A( , y)C( , y) > 0 , = 0 o < 0 , se dice, respectivamente, que la EDP
[E] es hiperblica, parablica o elptica en . Las caractersticas en este caso
general son curvas integrales de EDOs de primer orden (quizs no resolubles).
[En las EDOs de segundo orden aparecen 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].
[Otras pocas ecuaciones ms pueden llevarse a estas formas resolubles haciendo
cambios de variable del tipo = epy eq que hacen desaparecer alguna derivada
de menor orden o el trmino con la ].
Ej 3. yy +5 y +4 +3 y +3 =9 ! B2 4AC = 9 , hiperblica.
p yy = +8 + 16
B B2 4AC 1 = y y = 4
2A
= ! ! ! y = 5 4
4 = 4y = +
= +2 +
Entonces: + = 1 , del segundo de los tipos citados. Para resolverla:
= ! = 1 ! = p ( )e 1 ! ( , ) = p( )e + q( )
9
Qu datos adicionales habr que pedir a la EDP lineal de segundo orden [E] para
aislar una nica solucin? Para una EDO de segundo orden era necesario fijar el
valor de la solucin y de su derivada en el instante inicial para tenerla. En una EDP
de primer orden dbamos los valores de 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]: hallar la solucin que
tome unos valores dados de y la derivada normal
n a lo largo de una curva dada G del plano y.
[Geomtricamente: hallar la superficie solucin que contenga una
curva dada y tenga a lo largo de ella una familia de planos tangentes
tambin dados. La derivada normal ser habitualmente o y ].
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 .
yy+2 y + y =0 B2 4AC 0
Ej 4. Sea [P]
( , 0) = , y( , 0) = 0 parablica
B
2A
y= y = K caractersticas. Como y = 0 no es tangente
a ellas, el problema de Cauchy [P] tendr solucin nica.
La ecuacin resulta ser resoluble y podemos comprobarlo:
= y
! = 0 ! = p( ) + q( ) e = p( y + q( y) ey .
=y
0 0
y :
Imponiendo los datos de Cauchy y = p + (q q ) e
( , 0) = p( ) + q( ) = o p0 ( )+q0 ( ) = 1 o
0 ( ) q0 ( )+q( ) = 0 ! 0 0 ( ) = q( )
y ( , 0) = p p ( )+q
[ p0 y q0 representan la misma derivada ordinaria en ambas ecuaciones]
! q( ) = 1 ! p( ) = 1 ! = y 1 + ey ,
Imponemos los datos para aislar la solucin del problema de valores iniciales:
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 !
Z
1 +ct
1 frmula de
( , t) = ( +ct) + ( ct) + g(s) ds
2 2c
ct
DAlembert
10
1.3. Los problemas clsicos; unicidad
Qu datos adicionales proporcionan problemas bien planteados para una EDP de segundo
orden en dos variables lineal [E] L[ ] = F ? Hemos definido ya el problema de Cauchy para
[E]. Es el adecuado a todas las EDPs de segundo orden? No, no lo es. En los problemas
reales aparecen condiciones mucho ms variadas: en unos casos surgen condiciones inicia-
les y de contorno a la vez, en otros slo de contorno... Adems unos datos de Cauchy pueden
dar lugar problemas mal planteados para EDPs no hiperblicas. Se pueden dar ejemplos de
problemas de Cauchy para Laplace (de solucin nica, pues sin caractersticas reales no
puede haber tangencia con la curva de datos), sin la necesaria dependencia continua.
Conozcamos los principales problemas asociados a las ecuaciones clsicas en dos varia-
bles [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.
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.
Para la ecuacin homognea ( F 0 ) deduzcamos la dependencia continua de la frmula
de DAlembert, hallada al final de la seccin anterior, que da la solucin nica de (P1 ):
Z
1 1
+ct
[Para que sea C2 ,
( , t) = ( +ct) + ( ct) + g(s) ds
2 2c
ct debe 2 C y g 2 C1 ].
2
Otro problema bien planteado para 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) , 2 [0, L], t 2 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, ha-
llndola explcitamente [en 1.4 a travs de extensiones o en 4.2 por separacin de
variables]; la dependencia continua, que se cumple, no la probamos).
Sean 1 y 2 soluciones cualesquiera de (P2 ) y sea = 1 2 . Entonces cumple:
c 2 = 0 , 2 [0, L] , t 2 R
tt
(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 ):
R
1 L 2 ( ,T) R T (L,t) R
1 L
2 0 t
+c2 2 ( ,0) d 2
c 0 t (0,t)
dt = 2 0 t ( , T) +c2 ( , T)2 d = 0
2
11
Calor. Para la varilla infinita se prueba que est bien planteado:
t k = F( , t) , 2 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) , 2 (0, L), t > 0
t
(P4 ) ( , 0) = ( )
(0, t) = h0 (t) , (L, t) = hL (t)
12
Laplace. Los problemas son de contorno. Los dos ms importantes son:
Problema = F en D Problema = F en D
de (PD ) de (PN )
Dirichlet: = en D Neumann: n = en D
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 d dy = 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].
13
1.4. Ecuacin de la cuerda vibrante
En secciones anteriores vimos que para el problema puro de valores iniciales:
tt c2 = 0 , , t 2R
(P1 )
( , 0) = ( ) , t ( , 0) = g( )
las caractersticas eran ct = K , la solucin general
( , t) = p( +ct) + q( ct) , p y q funciones arbitrarias de C2 ,
b b b b b b
Ha costado muy poco hacer los 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 siguen indefinidamente y viajan tambin a velocidad c .
14
n =2
tt
Ej 2. Utilizando directamente [2]:
( , 0) = , t ( , 0) = 3
1 R +t R t R +[t ] Rt
= 2
( +t)+( t) + 12 t
3 ds+ 12 0 [t ]
2 ds d = +3t+2 0
[t ] d = +3t+t 2
tt =0 , 0 , t 2R a) Hallar 7
,4 .
Ej 3. n 6
sen , 2 [2, 3]
( , 0) = 0 , 2 [0, 2][[3, ) , t( , 0) = (0, t) = 0 b) Dibujar ( , 2) y ( , 4) .
( , t) = 12 ( +t)+ (
t) , extensin impar.
h i
7 1 31 17
a) 6
, 4 = 2
6
+ 6
h i
1 31 17
=2 6 6 = sen 17
6
= 1
4
.
1
b) Para dibujar basta trasladar la grfica de 2
15
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 2 R
tt
[debe ahora ser
(P4 ) ( , 0) = ( ) , t ( , 0) = g( )
(0) = h0 (0) ].
(0, t) = h0 (t)
tt =0 , 0, t 2 R
Ej 4. ( , 0) = t ( , 0) = 0 Hallemos primero la solucin para un y t fijos: (1, 2) .
(0, t) = t 2
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
1 2
( +t)2 + 12 ( t)2 = 2t , t ( t)2 , t
= 2 [ ( +t)+ ( t)] = ! =
1
( +t) 2 1
( 2
t) = 2 2
t , t 0 , t
2 2
[Como las ondas viajan a velocidad c = 1 los puntos a distancia t deban estar
parados en el instante t ].
16
Estudiemos la cuerda acotada y fija en los extremos [la volveremos a ver en 4.2]:
c2 = 0 , 2 [0, L], t 2 R
tt
[debe ser
(P5 ) ( , 0) = ( ) , t ( , 0) = g( )
L (0) = (L) = 0 ].
0 (0, t) = (L, t) = 0
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):
2 = 0 , , t 2R
tt c
( , 0) = ( ) , t ( , 0) = g ( )
Para que la dada por [3] sea C2 (regular) deben 2 C2 [0, L] y g 2 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].
8
tt = 0, 2 [0, 1], t 2 R
< n (Puede representar la
Ej 5. ( , 0) =
, 0 1/ 2
pulsacin de la cuerda
: 1 , 1/ 2 1
de una guitarra).
t( , 0) = (0, t) = (L, t) = 0
Es complicado hallar explcitamente ( , t) , t pues tiene muchas expresiones:
8
> 1 , 3/ 2 1/ 2
>
>
<
, 1/ 2 1/ 2
( )= > 1 , 1/ 2 3/ 2
>
>
: 2, 3/ 2 5/ 2
1
Hallar ( , t) = ( + t) + (
2
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 ) + ( 1
4
)
8 1/4
2
+ 18 + 2
1
8
= , 0 14
<
3 1 1 1
=: 8 2
+ 2 8
= 4
, 4
34
3
+ 5
=1 , 3
1 -1/2 0 1/4 1/2 3/4 1
8 2 8 2 4
Tampoco se precisa la expresin de para hacer dibujos: basta trasladar ondas y sumar.
h i h i
1
Dibujemos: 2
, t = 12 12 +t + 12 t = 12 12 +t t 12
17
Si queremos resolver el problema ms general:
c2 = F( , t) , 2 [0, L], t 2 R
tt
(P6 ) ( , 0) = ( ) , t ( , 0) = g( ) (hay fuerzas externas y
(0, t) = h0 (t) , (L, t) = hL (t) movemos los extremos)
primero, como en (P4 ) y otros problemas que veremos, hay que hacer las condicio-
nes de contorno homogneas, hallando una que las cumpla y haciendo = .
Tanteando con funciones = (t) +b(t) se ve fcilmente que una posible es:
( , t) = 1 L h0 (t) + L hL (t) [a veces ser mejor buscar otra].
tt =0 , 2 [0, 2] tt =0 , 2R
( , 0) = 0, t ( , 0) = 2 1 ! ( , 0) = 0
(0, t) = (2, t) = 0 t ( , 0) = g ( )
1
R +t
La solucin del ltimo problema es ( , t) = 2 t
g .
1 1
R r+ct
(r, t) = 2r
[F (r +ct)+F (r ct)] + 2cr r ct
G (s) ds ,
1
que podemos poner en la forma (r, t) = r
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.
18
1.5. Transformadas de Fourier
hR i
Sea ( ) definida en R y absolutamente integrable || < .
Z
La transformada de Fourier de es la funcin: (k) = p1 ( )e k d .
2
F [ 0] = kF [ ]
Teor 2 , 0 , 00 2 C(R) y absolutamente integrables )
F [ 00 ] = k2F [ ]
R R
F 0 ( ) = p1 0 ( ) e k d = p1 ( ) e k p
k
( )e k d = k F ( ) ,
2 2 2
R
pues ! 0 si | | converge. F 00 ( ) = k F 0 ( ) = k2 F ( ) .
!
Esta ( ) tiene las siguientes propiedades (que nos bastarn para trabajar con ella):
Rc R
( ) si 2 [b, c]
( ) = 0 si 6= ; b ( ) ( )d = , continua; ( ) d =1 .
0 si / [b, c]
2
0 si <
( ) = dd ( ) , donde es la funcin paso ( )= .
1 si
La transformada de la delta es muy fcil de hallar:
R
F ( ) = p1 ( )e k d = p
1
ek .
2 2
19
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.
En cada uno de los pasos anteriores, hay que tener
claro cules son las variables y cuales las constan-
tes. En lo que sigue, haremos lo esquematizado a la
izquierda, pues nuestras ecuaciones sern en ( , t)
y siempre haremos transformadas en .
tt+ t 2 =0 tt k t + 2k 2 = 0
Ej 2. Aplicando F : .
( , 0) = ( ), t ( , 0) = 0 (k, 0) = (k), t (k, 0) = 0
1
p(k) = (k) 2 kt 1
Imponiendo los datos iniciales: 3
2
! (k, t) = 3
(k) e + 3
(k) e2 kt .
q(k) = 3
(k)
1
2 1
Y como F (k) e k = ( ) , concluimos que ( , t) = 3
( +t) + 3
( 2t) .
Solucin vlida 2 C2 , tenga o no transformada .
2 1
( , t) = 3
( +t) + 3
( 2t) .
20
Ms inters que los ejemplos anteriores, ya que no conocemos ningn otro mtodo
para resolverlo, tiene el problema para el calor en una varilla infinita:
t = 0 , 2 R, t > 0
(P)
( , 0) = ( ) , acotada
1 ( s)2 / 4t
G( , s, t) = p e 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.
p
Haciendo = (s )/ 2 t la integral se transforma en:
R R / 2pt R h i
1 1
d + p1 0 e 1
2 2 2
( , t) = p p e
/2 t
d = p
0
e d = 2
1+ p
2 t
Rs
(s) = p2
2
donde 0
e d es la llamada funcin error que
aparece a menudo en la teora de las probabilidades.
Como se observa, la solucin,
suave si t > 0 , tiende hacia 12
21
t + 2t = 0 , 2 R, t > 0 Hallemos la solucin para una ( ) general
Ej 4.
( , 0) = ( ) , acotada y deduzcamos la solucin para ( ) 1 .
Anlogamente a lo que ocurre 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. Resolvamos un problema (algo complicado) para
la cuerda infinita con una F = (empujamos hacia arriba en el punto central de la cuerda):
1
tt = ( ) , 2 R, t 0 tt + k 2 = p
Ej 5. (P ) . Aplicando la F : 2 .
( , 0) = t ( , 0) = 0 (k, 0) = t (k, 0) = 0
La ser, por tanto, la convolucin de una h de este tipo consigo misma. En concreto:
R
1 , 2 [ t/ 2, t/ 2]
= 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 2 [ t, 0] , = 12 + 2t ( 2t ) = 12 [ +t]
t
Si 2 [0, t] , = 12 2t ( 2
) = 12 [t ]
0 , si | | t
Es decir, = 1
2
t | | , si | | t
22
2. Soluciones de EDOs en forma de serie
En el estudio de las EDOs lineales se comprueba que hay escasas formas de resol-
ver elementalmente la ecuacin con coeficientes variables
[e] y 00 + ( )y 0 +b( )y = 0
Este captulo trata una forma general de atacarla: suponer la solucin desa-
rrollada en serie de potencias e introducir esta serie en la ecuacin para
determinar sus coeficientes.
En la seccin 2.1 recordaremos la definicin de funcin analtica (funcin descrita
por una serie de potencias convergente) y algunas manipulaciones matemticas
que se pueden hacer con ellas. Si y b son analticas en o (punto regular)
siempre se podrn encontrar dos soluciones linealmente independientes de [e] en
forma de serie de potencias por el siguiente camino: llevando la serie a la ecuacin
conseguiremos expresar sus coeficientes ck en funcin de los dos primeros c0 y
c1 , que sern las dos constantes arbitrarias que deben aparecer en la solucin de
cualquier EDO de segundo orden (algunas veces podremos dar la expresin general
del ck , pero otras nos limitaremos a ir calculando coeficiente a coeficiente). Un
teorema, que aceptaremos sin demostracin, asegurar que las series solucin
convergen al menos en el intervalo en que las series de y b lo hacan. Imponer
datos iniciales en o ser inmediato, pues tendremos que y( o ) = c0 y y 0 ( o ) = c1 .
Empezaremos la seccin 2.2 resolviendo elementalmente (con el cambio = es se
convertir en una de coeficientes constantes) la ecuacin de Euler:
[e*] 2 y 00 + ( ) y0 + b ( ) y = 0
23
2.1 Funciones analticas y puntos regulares
Recordemos que una funcin real ( ) es analtica en = o si viene dada por
una serie de potencias cerca de o :
X
( )= ck ( k = c0 +c1 ( 2 +
o) o )+c2 ( o)
k=0
X
A partir de ahora, = 0 (si no, con k
o =s estaramos en ese caso): ( ) = ck .
k=0
Propiedad bsica de las series de potencias es que, para | | < R (si R > 0 ), se
pueden derivar e integrar trmino a trmino:
X
0( ) = kck k 1 =c + ,
1 +2c2
X
k=1
( ) (k) (0) = k!ck )
00 ( ) = k(k 1)ck k 2 = 2c + , . . .
2 +6c3
RX
k=2
X ck
ck k = C+ k+1
k+1 = C + c0 + c21 2 + si | | < R
k=0 k=0
Aunque sea C (R) y su serie de Taylor converja puede que ambas no coinci-
2
dan, como le ocurre aP ( ) = e 1/ , (0) = 0 que cumple (k) (0) = 0 k , con lo que
su serie de Taylor es 0 k = 0 y, por tanto, no es analtica . Para que una lo
sea, es necesario que tenga infinitas derivadas en el punto, pero no es suficiente.
24
1
Ej 1. Hallemos de varias formas (algunas nada naturales) el desarrollo de ( ) = .
(1+ )2
d 1 1 d X X X
( )= d 1+
! (1+ )2
= d
( )k = ( 1)k k k 1= ( 1)k (k +1) k si | | < 1 .
k=0 k=1 k=0
Otra forma:
2 2( 2 1) 2+ 2( 2 1)( 2 2) 3+ 2 3 +
(1+ ) =1 2 + 2! 3!
= 1 2 +3 4 , | |<1 .
Multiplicando: ( ) = [1 + 2 ][1 + 2 ]
1) + (1+1+1) 2 + ] = 1 2 +3
= [1+( 1 2 si | | < 1 .
P
Tambin podemos dividir: buscar una serie ck k tal que
[c0 +c1 +c2 2 +c 3 + ] [ 2 +2 +1] = 1 )
3
c0 = 1 ; 2c0 +c1 = 0 ! c1 = 2c0 = 2 ; c0 +2c1 +c2 = 0 ! c2 = c0 2c1 = 3 ; . . .
[El radio R del desarrollo de un cociente P/ Q , con P y Q polino-
mios, simplificados los factores comunes, y Q(0) 6= 0 es la distancia
al origen de la raz (real o compleja) de Q ms prxima].
Y con un caso sencillo de composicin de series:
1
=1 (2 + 2 ) + (2 + 2 )2 (2 + 2 )3 + = 1 2 + ( 1+4) 2 +
1+(2 + 2)
Es esperable que cualquier solucin de [e] tambin se pueda escribir como una
serie de potencias para | | < R . Empecemos con un ejemplo:
2 ) y 00 2 2
Ej 2. (1+ + 2 y0 2y = 0 , es decir, y 00 + 1+ 2 y0 1+ 2 y=0,
[No es falso poner k = 0 como ndice inferior de sumacin en las tres series,
pues se ve que se anulara el primer trmino en la de k = 1 y los dos primeros
en la de k = 2 , pero as est claro la potencia con la que empieza cada serie].
La solucin de esta lineal de segundo orden deber contener dos constantes arbitrarias.
Vamos a intentar escribir los ck en funcin de los dos primeros c0 y c1 . Como
han de ser 0 los coeficientes de cada potencia de , deducimos:
0: 21c2 2c0 = 0 ! c2 = c0
1: 32c3 + [2 2]c1 = 0 ! c3 = 0
k: (k +2)(k +1)ck+2 + [k(k 1) + 2k 2]ck = 0
[Hemos escrito aparte los primeros trminos porque cada serie empieza a
aportar trminos para distintos k ; como potencia general hemos escogido k
porque era la ms repetida, pero tambin podramos haber tomado k 2 ].
25
De la ltima igualdad deducimos la regla de recurrencia que expresa un coeficiente
en funcin de los anteriores ya conocidos (en este ejemplo, queda ck+2 en funcin slo
de ck , pero en otros pueden aparecer varios); para facilitar los clculos, factorizamos
los polinomios que aparecen calculando sus races:
(k+2)(k 1) k 1
ck+2 = c =
(k+2)(k+1) k
c , k = 0, 1, . . .
k+1 k
Expresin con la estructura clsica de las soluciones de las lineales de segundo orden.
Pero para que lo sea de verdad, las series deben converger en un entorno de = 0 ,
y adems y1 y y2 han de ser linealmente independientes. Esto es lo que sucede. La
serie de y1 (lo prueba el criterio del cociente) converge si | | < 1 y la serie de y2
(truncada a partir de su segundo trmino) converge . Y adems el wronskiano de
ambas soluciones en = 0 es 1 (pues y1 (0) = 1 , y10 (0) = 0 , y2 (0) = 0 , y20 (0) = 1 ).
Si, en vez de la solucin general, la que queremos es la que cumple y(0) = yo , y 0 (0) = yo0
(existe y es nica por ser y b analticas) dada la forma de las series de y1 y y2 es
inmediato que debe tomarse c0 = yo , c1 = yo0 .
La ecuacin se poda haber resuelto sin series. Bataba advertir que y2 = era una
solucin y hallar la y1 mediante la frmula que se estudia en los cursos de EDOs:
R R R R 2 R
2 2 d
y1 = y2 y2 e d = e 1+ 2 d = 2 (1+ 2 ) = 1 rct n
[su desarrollo, salvo el signo, coincide con el obtenido anteriormente].
Gran parte de lo visto en este ejemplo ocurre en general, como asegura el siguiente
teorema que no demostraremos.
Si = 0 es regular, la solucin general de [e] y 00 + ( )y 0 +b( )y = 0 es
P P
y = c0 y1 + c1 y2 = c0 1 + + c1 + ,
con c0 , c1 arbitrarios, y las series, que contienen potencias k con k 2 ,
Teor convergen, al menos, si | | < R . Los coeficientes las series se determinan
de forma nica probando una serie de potencias arbitraria en la ecuacin
(con las funciones ( ) y b( ) desarrolladas) y expresando sus coeficien-
tes ck , para k 2 , en funcin de c0 y c1 . La solucin nica de [e] con
y(0) = yo , y 0 (0) = yo0 se obtiene simplemente tomando c0 = yo , c1 = yo0 .
[El desarrollo de y b , desde luego, ser innecesario si esas funciones son polinomios].
Para estudiar las soluciones de [e] cerca de otro o regular, el cambio de variable
s= o lleva a una ecuacin en s para la que s = 0 es regular. Probaramos
entonces para hallar su solucin la serie:
X X
y= ck sk es decir, y = ck ( o)
k .
k=0 k=0
26
Ej 2. y 00 + ( 2)y = 0 , y(0) = 2 , y 0 (0) = 1
(regla de recurrencia de tres trminos que suele traer muchos ms problemas que las
de dos). Escribimos un par de trminos ms en funcin de c0 y c1 :
1 2 1 1 1 2 1 1
c4 = c
12 1
+ c
12 2
= c
6 0
c
12 1
; c5 = c
20 2
+ c
20 3
= c
15 0
+ c
30 1
Para calcular unos pocos trminos (pero no para hallar muchos o para buscar la
expresin del trmino general) de una serie solucin cerca de un punto regular se puede
seguir el siguiente camino:
Haciendo = 0 en la ecuacin: y 00 (0)+(0 2)y(0) = 0 ! y 00 (0) = 4
Derivando la ecuacin y volviendo a hacer =0 :
y 000 +( 2)y 0 +y =0! y 000 (0) = 2y 0 (0) y(0) = 0
Derivando otra vez: y 0000 +( 2)y 00 +2y 0 = 0 ! y 0000 (0) = 2y 00 (0) 2y 0 (0) = 6 , . . . . . .
y 00 (0) 000
2 + y (0)
Por tanto: y( ) = y(0) + y 0 (0) + 2 6
3 + = 2 + + 42 2+ 0
6
3+ 6
24
4 +
Si los datos iniciales fueran y(2) = 6 , y 0 (2) = 0 , la solucin general de antes, dada por
series en = 0 , no sirve para imponer los datos. Se debe resolver en torno a este punto:
27
2.2 Ecuacin de Euler y puntos singulares regulares
Empecemos la seccin tratando una EDO lineal de segundo orden con coeficien-
tes variables, que es resoluble por mtodos elementales.
Q( ) ( 1) + +b=0 .
Si 1 6= 2 reales, y = c1 1 + c2 2
Volvamos a las soluciones por medio de series. Supondremos en esta seccin que
para [e] y 00 + ( )y 0 + b( )y = 0 es = o un punto singular, es decir, que o
b o ambas no son analticas en = o , con lo que no es aplicable el mtodo de la
seccin anterior. Sin embargo, interesa precisamente a menudo conocer la forma
de las soluciones de [e] en las cercanas de sus puntos singulares. Slo sabremos
decir algo sobre ellas para un tipo particular de puntos slo dbilmente singulares:
los singulares regulares que definimos a continuacin.
28
Suponemos a partir de ahora que el punto singular de [e] es = 0 . Si quisiramos
estudiar las soluciones cerca de un o 6= 0 el cambio s = o traslada el problema
al estudio de las soluciones cerca de 0 de la ecuacin en s .
Conviene escribir [e] de otra forma. Multiplicndo la ecuacin [e] por 2 y llamando
( ) = ( ) y b ( ) = 2 b( ) obtenemos:
[e*] 2 y 00 + ( ) y0 + b ( ) y = 0
1 1
Ej 3. ( 1)2 y 00 y0 + ( 1)y = 0 , es decir, y 00 ( 1)2
y0 + ( 1)
y = 0.
=0 y = 1 son puntos singulares de la ecuacin (todos los dems son regulares).
Como para [e*] 2 y 00 y0 + y = 0 son ( )= y b ( )=
( 1)2 1 ( 1)2 1
analticas en = 0 , este punto es singular regular.
sen
Normalmente ser 0
= (0) y b0 = b (0) salvo para funciones como .
[e*] se resolver con el mtodo de Frobenius, que detallaremos en el teorema de esta
seccin. No lo probaremos, pero intentemos hacer crebles sus hiptesis y conclusiones. La
ecuacin ms sencilla del tipo [e*] es la de Euler (en ella ( ) y b ( ) son series que
se reducen a su primer trmino). Viendo sus soluciones est claro que no hay, en general,
soluciones analticas de [e*]. Pero ya que hay soluciones de Euler de la forma r se podra
pensar que [e*] posee soluciones en forma de serie que comiencen por trminos r .
X
Probemos por tanto en [e*] la solucin y = r ck k = c0 r + c1 r+1 + c2 r+2 + !
k=0
X X X X X
(k +r)(k +r 1)ck k+r + k (k +r)ck k+r + bk k ck k+r =0
k
k=0 k=0 k=0 k=0 k=0
r
El coeficiente de la potencia de menor orden ( ) debe anularse: r(r 1)+ 0
r+b0 c0 = 0 .
Esto es coherente con las ecuaciones de Euler. Para ellas, si Q(r) tena dos races distintas
r1 y r2 , dos soluciones independientes de la ecuacin eran r1 y r2 . Si la raz era doble
slo exista una solucin de esa forma, y la segunda era la primera multiplicada por el ln ;
por tanto, tambin es de esperar que en la solucin general de [e*] aparezcan logaritmos.
Pero al resolver por series [e*] pueden aparecer problemas que no se presentan en el caso
particular de las de Euler. Igualando a 0 el coeficiente que acompaa a r+k tenemos:
(r +k)(r +k 1)+(r +k) 0 +b0 ck + (r +k 1) 1 +b1 ck 1 + = 0
donde los puntos representan los trminos con ck 2 , ck 3 , . . . De esta expresin podemos
despejar el ck en funcin de los anteriores ya calculados siempre que el corchete que le
acompaa, que es Q(r+k) , no se anule. Si r1 es la mayor de las dos races Q(r1 + k) 6= 0 k .
Pero si r2 es la menor, y r1 r2 es un entero positivo n , el Q(r2 + k) = 0 si k = n , y, salvo
que los dems sumandos tambin se anulen (con lo que cn quedara indeterminado),P no
hay forma de anular el coeficiente de r2 +n y no pueden existir soluciones r2 .
29
Enunciamos ya el teorema de Frobenius (aunque se podra considerar el caso
de races complejas del Q , nos limitamos, por sencillez, a los casos reales):
2 2
1 0
Ej 4. 2 y 00 + y 0 + y = 0 , o sea, 2 y 00 + 2
y + 2
y=0 ! ( ) = 12 , b ( ) = 2
.
1
( ) y b ( ) analticas ( R = )) = 0 singular regular. Como 0
= 2
y b0 = 0 ,
el polinomio indicial es r(r 1)+ 12 r +0 = r(r 1
2
) ! r1 = 1
2
/ N.
, r2 = 0 , con r1 r2 2
Las dos series solucin linealmente independientes (una analtica y la otra no) son, pues:
X X
y1 = ck k+1/ 2 , c0 6= 0 , y2 = bk k, b0 6= 0 (convergen 2 R, segn el teorema).
k=0 k=0
(ahora las 3 series empiezan por k = 0 pues no se van los primeros trminos al derivar).
Igualando a 0 los coeficientes de las diferentes potencias de :
1/ 2 : 2( 1 )( 1 ) + 1 c = 0 c = 0 y c queda indeterminado como deba.
2 2 2 0 0 0
1/ 2 : 2( 3 )( 1 ) + 3 c = 0 ! c = 0 ,
2 2 2 1 1
k 1/ 2 : 2(k + 1 )(k 1
2 2
) + (k + 12 ) ck + ck 2 = 0 ! ck = k(2k+1)
1
ck 2 , k = 2, 3, . . .
1 1 1
Por tanto: c3 = c5 = = 0 , c2 = 25 c0 , c4 = c = 2459
49 2
c0 , ... !
h X i
( 1)m
y1 = 1/ 2 1+ 242m59(4m+1)
2m (eligiendo, por ejemplo, c0 = 1 ).
m=1
X X X
Para la otra raz del Q(r) : 2k(k 1)bk k 1+ kbk k 1+ bk k+1 =0!
k=0 k=0 k=0
0: 1: 1
b1 = 0 , [4+2]b2 + b0 = 0 ! b2 = b .
6 0
k 1: 1
[2k(k 1) + k]bk + bk 2 = 0 ! bk = b
k(2k 1) k 2
, k = 2, 3, . . . !
1 1 X ( 1)m
b3 = b5 = = 0 , b4 = b = b , . . . ! y2 = 1 + 2m
47 2 2437 0 242m37(4m 1)
m=1
El criterio del cociente prueba que, como deban, las series convergen .
La y2 vale , pero y1 slo para > 0 (en = 0 no es derivable).
P
Una y1 vlida 6= 0 es y1 = | | 1/ 2 1+ .
30
Ej 5. 2 y 00 +2 2 y 0 +( 2 + 1 )y = 0 ( )=2 , b ( )= 2+ 1 analticas en R.
4 4
2k 1 1
! c1 = c0 , ck = k2
ck 1 c
k2 k 2
, k = 2, 3, . . .
! c2 = 12 c0 , c3 = 1
c
6 0
, . . . , ck = ( k 1
1) k! c0 ! y1 = 1/ 2 e
El ltimo corchete es 0 por ser y1 solucin (lo que acompaa a ln siempre se anula).
! b0 = b1 = b2 = = 0 ! y2 = 1/ 2 e ln
[Para comprobar las soluciones obtenidas podemos hacer
=e y ! 2 00 + 1 = 0 (Euler) ! = c1 1/ 2 + c2 1/ 2 ln ;
4
o, una vez hallada la y1 , se puede calcular otra solucin con la frmula conocida:
R e 2
y2 = 1/ 2 e e 2
d = 1/ 2 e ln ,
exactamente la misma y2 hallada con las series].
Como se ha visto en el ejemplo anterior, son ms largas las cuentas para el clculo de
la y2 en el caso b] del teorema que en el a]. Y tambin son ms complicadas las del c],
caso al que pertenecen los dos siguientes ejemplos. Para distinguir en este caso si aparecen
logaritmos o no (es decir, si es o no d 6= 0 ) no es necesario hallar la expresin del trmino
general, bastan con los primeros trminos de la y1 .
2 +2b 1+
2+ 1 3 +
1 2 +b
2b0 3 + d 2+2 + 3
d b0 2 +2b3 + = 0 !
2: 2b0 2b0 = 0 ! b0 indeterminado como deba.
1: d+2d 2b0 = 0 ! d = 2b0 (aparecen, pues, logaritmos).
0: 2d b0 +2b2 = 0 ! b2 = 12 b0 d = 3
b .
2 0
1: 1 2
2b3 +d b +2b2 +4b3 = 0
3 0
! b3 = 9 b0 .
1 3 2 2
! y2 = 2 ln + 2
+ 9
+
[No podemos, desde luego, dar el trmino general de esta solucin].
2e
Resolvamos la ecuacin ahora sin series: y 0 = ! 0 = !
R R
1 2
2 e d ( 2/ 2 / 3+ )d 2e 2 2
/2 3
/ 9+
= Ce = Ce =C =
1 1 1 1 2 1
=C 2 1+( 2 2
2
9
3 )+ 2
( 2 2
2 ) + 6
( 2 )3 + !
R 3 4 1 3 2
y=K+C 2 2 1 + + d = K C 2 ln + + 2 + .
2 9 2 9
31
Ej 7. 2 y 00 +2 2 y 0 2y = 0 = 0 singular regular; ( ) = 2 , b ( ) = 2 con R = .
2(k+1)
! c0 indeterminado, ck = c
k(k+3) k 1
, k = 1, 2, . . .
! c1 = c0 , c2 = 35 c0 , c3 = 4
c
15 0
, ...,
2(k+1) 2k 2(k 1) ( 2)k (k+1)
ck = ( 1)k k(k+3) (k 1)(k+2) (k 2)(k+1)
c0 = (k+3)!
6c0
Como siempre, el tercer corchete se anula, por ser y1 solucin. Sustituyendo las series
de y1 y y10 escritas arriba en el segundo corchete y agrupando potencias de :
d 2
2b0 2b1 2b2 + 2b3 +2b2 2b3 6
+ 2d
3
+ = 0 !
b1 = b0 , b2 = 0 , d = 0 ; b0 , b3 indeterminados.
1 1 3 1 5 1 6
! y1 = 1 3
+ + + = 1 2
5 9 3
1
3
3 + 1
5
4 4
45
5 + .
[En este ejemplo, si, en vez de partir de la raz mayor de la ecuacin indicial,
hubisemos sustituido la y2 , habramos obtenido las dos series de un tirn; pero
esto ocurrira porque casualmente resulta ser d = 0 ; si fuera d 6= 0 slo obtendra-
mos la solucin trivial y = 0 y deberamos empezar de nuevo desde el principio .
32
2.3 Ecuaciones de Legendre, Hermite y Bessel
La ecuacin de Legendre es [L] (1 2 )y 00 2 y 0 + p(p+1)y = 0 , p 0.
(p k+2)(p+k 1) p(p+1)
ck = k(k 1)
ck 2 , k = 2, 3, . . . ! c2 = 21
c0 ,
(p 1)(p+2) p(p 2)(p+1)(p+3) (p 1)(p 3)(p+2)(p+4)
c3 = 32
c1 , c4 = 4!
c0 , c5 = 5!
c1 , ...!
X p(p 2)(p 2n+2)(p+1)(p+3)(p+2n 1)
y1 = 1 + ( 1)n (2n)!
2n
k=1
X (p 1)(p 3)(p 2n+1)(p+2)(p+4)(p+2n)
y2 = t + ( 1)n (2n+1)!
2n+1
k=1
Los P2m tienen simetra par y los P2m+1 impar. P2m+1 y P02m
se anulan en 0 . Se pueden probar adems las propiedades:
n n frmula de
Pn tiene n ceros reales, todos en ( 1, 1) . Pn ( ) = 2n1n! dd n ( 2 1) Rodrigues
R1 R1 2
Los Pn son ortogonales: 1
P n P m d = 0 , si m 6 = n ; P 2 d = 2n+1
1 n
.
Los Pn son las nicas soluciones de [L] acotadas a la vez en =1 y = 1.
y las series convergen al menos si |s| < 2 . Sin hallar ningn coeficiente podemos ya afirmar
que y1 est acotada p en s = 0 ( = 1 ), mientras que y2 no lo est ( ! si s ! 0 ).
Calculemos y1 y comprobemos que si p = n obtenemos los Pn [pues y1 (1) = 1 ]. Debe ser:
X X X
k(k 1)ck sk +2k(k 1)ck sk 1 + 2kck sk +2kck sk 1 p(p+1)ck sk = 0
k=2 k=1 k=0
33
Otra ecuacin ligada a problemas fsicos es la de Hermite: [H] y 00 2 y 0 +2py = 0 .
Los polinomios de Hermite Hn ( ) son las soluciones polinmicas de [H] tales que
los trminos con potencias ms altas de son de la forma 2n n , es decir:
H 0 = 1 ; H1 = 2 ; H 2 = 4 2 2 ; H3 = 8 3 12 ; . . .
Citemos, tambin sin prueba, algunas propiedades de los Hn que sern tiles, por
ejemplo, cuando aparezcan en fsica cuntica. Una forma de generarlos todos es:
2 dn 2
De la funcin generatriz sale otra frmula de Rodrigues: Hn ( ) = ( 1)n e d n
e .
e2 s s
2
2 e ( s)
2
n 2 dn
z2
Pues Hn ( ) = sn s=0 = e sn s=0 = ( s = z, s
= z
) = ( 1) e dz n
e z= .
2
En cuntica no aparece [H], sino 00 +(2p+1 2 ) = 0 . Haciendo = ye / 2 en ella
se llega a [H]. Se prueba (no es fcil hacerlo), que las nicas soluciones de la
2/ 2
inicial que ! 0 si | | ! son las de la forma n ( ) = e Hn ( ) , llamadas
funciones de Hermite de orden n . Slo estas n interesan fsicamente.
Como los Pn , se puede ver que tambin las n son ortogonales, ahora en ( , ):
R R 2 R R 2 p
2d = H2n e d = 2n n!
n md = Hn Hm e d = 0 , si m 6= n ; n
.
Lo comprobamos exclusivamente cuando n = 0, 1 :
R R 2 R R 2 p R R p
2 e =0 , 2= e , 2= 2 e 2 2e
2
=2 .
0 1= 0
= 1
+
34
La ecuacin de Bessel es: [B] 2 y 00 + y 0 +[ 2 p2 ]y = 0 , p 0.
es una solucin definida por una serie que converge en todo R. Llevndola a [B]:
X p+k +c p+k+2
ck 2
k(2p+k)ck k = 0 ; ck = k(2p+k)
, k = 2, 3, . . . ; c1 = 0 ! c3 = = 0
k=0
h X
i
c0 c0 p ( 1)m 2m
c2 = 22 (p+1)
; c4 = 24 2(p+1)(p+2) ; . . . ! y1 = c0 1+ 22m m!(p+1)(p+m)
m=1
/ N, pero 2p 2 N ( p = 12 ,
Si p 2 3 5
, , . . . ),
2 2
podra y2 contener un ln pero no es as
1
(caso c] de Frobenius con d = 0 ). De hecho, haciendo p = en Jp se tiene: 2
q q q
X ( 1)m 2m+1
J1 ( )= 2 2m+1 1 1 1 = 2
sen , J 1 ( ) = = 2
cos ,
2 m=0 2 m!(m+ 2 ) 2 ( 2 ) 2
p p 2p
Derivndolas y despejando J0p : J0p = Jp 1 Jp = Jp+1 + Jp ) Jp+1 = Jp Jp 1 ,
relacin de recurrencia citada, que expresa cada Jp+1 en funcin de las anteriores.
35
2.4 El punto del infinito
Nos preocupamos por el comportamiento de las soluciones de una lineal de se-
gundo orden para grandes valores de . Pocas ecuaciones son resolubles elemen-
talmente. Por otra parte, las soluciones en forma de serie (salvo que se puedan
identificar con funciones elementales) no dan ninguna informacin para grandes
, incluso aunque converjan . Si queremos ver qu sucede cuando ! , la
idea natural es efectuar el cambio de variable = 1/ s y estudiar el compor-
tamiento de las soluciones de la nueva ecuacin cuando s ! 0+ , que ser fcil
de precisar si s = 0 , llamado punto del infinito de la ecuacin inicial, es punto
regular o singular regular de esta ecuacin.
A diferencia del cambio s = o que no modifica las derivadas, hacer = 1/ s exige
usar la regla de la cadena. Denotando las derivadas respecto a s con puntos:
= 1s ! y 0 = y ds
d
= 1
2 y ; y 00 = 1
4 y+ 2
3 y ! y0 = s2 y , y 00 = s4 y + 2s3 y
Para esta ecuacin s = 0 es singular regular, con r = 1 . Sus soluciones para s > 0 son:
X X
y1 = ck sk+1 = c0 s+c1 s2 + , c0 6= 0 ; y2 = bk sk 1 +dy
1 ln s , b0 6= 0 .
k=0 k=0
Para Hermite y Bessel este camino parece adecuado para estudiar sus soluciones para
gordo, pero por desgracia, se comprueba que s = 0 en ambos casos es singular no regular.
Aunque para Legendre lo interesante fsicamente es lo que sucede en [ 1, 1] , vamos a
analizar su punto del infinito. En 2.3 obtuvimos sus series solucin en torno a = 0 [que
hablan slo de lo que ocurre en | | < 1 ] y en torno a = 1 [hablan de 2 ( 1, 3) ].
2 )y 00 =1/ s
[L] (1 2 y 0 + p(p+1)y = 0 ! [L ] s2 (s2 1) + 2s3 + p(p+1)y = 0 .
Para [L ] es s = 0 singular regular, con (s) = 2s2 / (s2 1) , b (s) = p(p+1)/ (s2 1) analticas
en |s| < 1 . Las series solucin de [L ] convergern al menos en ese intervalo y de ellas
podremos extraer informacin, por tanto, sobre las soluciones de [L] para | | > 1 . Como el
polinomio indicial de [L ] tiene por races 1+p y p y como para todo p 0 es r1 = 1+p > 0
deducimos, por ejemplo, que siempre hay soluciones de [L] que tienden a 0 si ! .
h X X i
Pues y1 (s) = s1+p ck sk ! 0 si s ! 0+ ; o sea, y1 ( ) = (1+p) ck k ! 0 .
k=0 k=0
!
X
Resolvamos por series [L ] si p = 0 (nico p para el que s = 0 es regular): y = ck sk !
k=0
k 2
ck = k
ck 2 , k = 2, 3, . . . ! y = c0 + c1 [s+ 13 s3 + 15 s5 + ] = c0 + c1 [ 1+ 1
3
3+ 1
5
5 + ] ,
serie (no de potencias) que describe las soluciones para | | > 1 , que es donde converge.
36
3. Problemas de contorno para EDOs
Un problema de valores iniciales para una ecuacin ordinaria con coeficientes con-
tinuos tena solucin nica. En concreto, la solucin de una ecuacin lineal de se-
gundo orden queda determinada fijando el valor de la solucin y de su derivada en
un punto dado. Las cosas cambian si imponemos las condiciones en los dos extre-
mos de un intervalo [ , b] . Estos problemas de contorno presentan propiedades
muy diferentes. Por ejemplo, un problema tan sencillo y regular como
00
y ( ) + y( ) = 0
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 separacin
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
y( ) 0 y0 ( )=0
(P)
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 3.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 con-
torno (P) se mantienen esas propiedades. Sern los que se llaman problemas de
Sturm-Liouville separados. Hablaremos tambin brevemente de los problemas
peridicos y de los singulares.
En la seccin 3.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.
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 alguna condicin de contorno no homogneas. Por eso, estudiaremos
en 3.3 problemas de ese tipo. Para ellos, ni y = 0 es solucin, ni lo son los mltiplos
de una solucin dada. La existencia de soluciones depender de si existen o no
soluciones no triviales del homogneo. Tendrn solucin nica en el ltimo caso, e
infinitas o ninguno si el homogneo tiene infinitas.
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) , ( ) , . . .
37
3.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 e p , con p = > 0.
y(0) = c1 + c2 = 0 ! c2 = c1 &
y( ) = c1 e p +c2 e p = 0 c1 [e p e p] =0 e!p
p 6= e p
Por tanto c1 = c2 = 0 (pues e si p > 0 ). e-!p
Ningn < 0 es autovalor. p
y(0) = c1 = 0
Si = 0 es y = c1 + c2 ! ! y0 . = 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
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 p p]
<0 ! ! c2 = c1 ! c1 [e e = 0 ! y 0.
y 0 ( ) = p[c1 e p c2 e p] =0
y 0 (0) = c2 = 0
=0 ! ! = 0 autovalor con autofuncin y0 = c1 .
y 0 ( ) = c2 = 0
y 0 (0) = c2 = 0 # 2, 1
>0 ! ! n =n yn = c1 cos n .
y0 ( ) = c1 sen =0 cos x
38
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 2 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 2 C1 , q, r 2 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):
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 } son un espacio vectorial de
dimensin 1 para cada n y cada yn posee exactamente n 1 ceros
en ( , b) . Las autofunciones asociadas a autovalores diferentes son
Teor 1. ortogonales en [ , b] respecto al peso r , es decir:
Rb
hyn , ym i 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 0 . En
n
particular, para y( ) = y(b) = 0 [o sea, si 0 = 0 = 0 ] todos los n >0 .
[y es y( ) = 0 , si 0 =0 ; y(b) = 0 , si 0 = 0].
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) = [pyy 0 ](
0 0
0 =0
, )= 0 =0
.
0 si 0 si
Rb
Si y( ) = y(b) = 0 , y = {1} no es autofuncin ) y 0
6 0 ) p(y 0 )2 > 0 ) >0 .
39
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
limitamos a los 0 . [Ahora 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 ! !y0. = 0 no es autovalor.
y(1) = c1 +c2 = 0
00 0 =0 , 0 >0 , q0 ,
y + y=0 Como
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 ! !y0. = 0 no autovalor.
y 0 (1)+y(1) = c1 +2c2 = 0
00
y 2y 0 + y = 0 2 2 + =0 , 2
0 2
Ej 5. (P5 ) ! p e y0 + e y=0
y (0) = y 0 (1) = 0
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(1 p) , y0 = c1 (1+p) e(1+p) + c2 (1 p) e(1 p) , p= 1 !
c1 [1+p] + c2 [1 p] = 0 p
! c2 (1 p)e[e ep ] = 0 ! p = 1 ( = 0 ), y0 = {1} .
c1 [1+p]e1+p +c2 [1 p]e1 p =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, . . . ! 2 2,
n = 1+n yn = e [sen n n cos n ] , n = 1, 2, . . .
2 00 R Rd
y + y0 + y = 0 0 y
Ej 6. (P6 ) p( ) = e =e = ! y0 + = 0 . Es r( ) = 1 .
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 2 2,
y = c1 cos( ln )+c2 sen( ln ) , c1 sen =0 n =n 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 .
40
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 ( ) = y0 ( ) pedir que y sea 2 -peridica].
p p] p p]
c1 [e e c2 [e e =0
<0 ! p p ]+c [e p p] = 0 Como el determinante de los coeficientes
c1 [e e 2 e
e p e p e p e p
= 2(e p e p )2 6= 0 si p > 0 ,
e p e p e p e p
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 = 12 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.
00
y + y=0
Ej 8. (P8 ) Se tiene p|W|( , ) ( ) = p|W|( , ) (0) .
y(0) = y( ), y 0 (0) = y 0 ( )
41
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
b
0 = p (yn ym ym yn0 ) = ( n m )hyn , ym i .
R
y 00 + 2y 0 + y=0 2 e = 2
2 y0 0 + 2y = 0
Ej 9. (P9 ) y 00 + y 0 + y = 0 ! .
y acotada en = 0, y(1) = 0
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
Ej 10. (P10 ) ! y0 + y=0.
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
s ds2 + ds + sy = 0 ! y = c1 J0 (s) + c2 K0 (s) = c1 J0 ( ) + c2 K0 ( ), =
2 )y 0 0 + y = 0
(1
Ej 11. (P11 )
y acotada en = 1 La ecuacin es la de Legendre si = p(p+1) .
Sabemos que sus nicas soluciones acotadas a la vez en 1 y en 1 son los polinomios
de Legendre Pn ( ) , que aparecen cuando p = n , n = 0, 1, 2, . . .
P0 = 1 , P1 = , P2 = 23 2 1
2
, P3 = 52 3 3
2
, ...
Los autovalores son n = n(n+1) , n = 0, 1, 2, . . . y las autofunciones son los {Pn } , que
R1 R1 2
cumplen, como dijimos en 2.3: P P d =0
1 n m
si m 6= n , P 2 d = 2n+1
1 n
r( ) = 1 .
42
3.2. Series de Fourier
Consideremos el problema de Sturm-Liouville separado regular:
0
[py 0 ] qy + ry = 0
(Ps ) 0 y 0 ( ) = 0, y(b)+ 0 y 0 (b) = 0
y( )
Supongamos que este desarrollo es vlido y que la serie puede ser integrada tr-
mino a trmino. Entonces, por ser las yn ortogonales:
Rb X Rb Rb
r ym d = cn r yn ym d = cm r ym ym d
n=1
43
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.
RL 2
Ya que el peso es r( ) 1 y se tiene que hyn , yn i = 0
sen n L dt = L
2
.
[Hemos escrito impropiamente = ; la igualdad slo se da en los 2 (0, L)
en que es continua; en 0 y L an no sabemos, pero pronto lo sabremos].
RL RL 2
Pues hy0 , y0 i = 0
12 d = L e hyn , yn i = 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 ].
Otras dos familias de autofunciones sencillas en las que vamos a desarrollar fun-
ciones muchas veces son las de estos problemas fciles de resolver:
00 n o
y + y=0 [2n 1]2 2 [2n 1]
0 con n = 22 L2 , yn = sen , hyn , yn i = 2L , n = 1, 2, . . .
y(0) = y (L) = 0 2L
00 n o
y + y=0 [2n 1]2 2 [2n 1]
0 con n = 22 L2 , yn = cos , hyn , yn i = 2L , n = 1, 2, . . .
y (0) = y(L) = 0 2L
Ej 1. Desarrollemos ( )= , 2 [0, 1] en senos, cosenos y cosenos impares:
X ( 1)n+1 R1
( )= 2 n
sen n , pues bn = 2 0
sen n d = n
2
cos n , n = 1, 2, . . .
n=1
1 X ( 1)n 1 4 X
( )= 2
+ 22 n2
cos n = 1
2 2
1
(2m 1)2
cos(2m 1) ,
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, . . .
Xh n+1
4( 1) 8
i
(2n 1)
R1 (2n 1)
( ) = (2n 1) 2 (2n 1)2
cos 2
, pues cn = 2 0 cos 2
d = .
n=1
Las tres series, segn el teorema 1, convergen hacia ( ) para todo 2 (0, 1) .
Lo mismo sucedera con el desarrollo en autofunciones de cualquier otro proble-
ma de Sturm-Liouville que considersemos.
44
La teora de series de Fourier puede ser extendida para incluir autofunciones de
problemas con condiciones peridicas. As para:
y 00 + y = 0
n2 2
(P3 ) y( L) = y(L) , n = L2 , n = 0, 1, . . . , yo = {1} , yn = cos n L , sen n L
y 0 ( L) = y 0 (L)
Z L
1
[1] n = L
( ) cos n L d , n = 0, 1, 2, ... , y
L
Z L
1
[2] bn = L
( ) sen n L d , n = 1, 2, ... , ya que se cumple:
L
RL RL
cos mL sen n L dt = 0 para todo m y n ;
L L
12 d = 2L ;
RL RL
m n 0 m 6= n m n 0 m 6= 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 .
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 .
En el segundo ( ) cos n L es par y ( ) sen n 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:
45
1
En particular, la serie en senos del Ej 1 no
par
converge uniformemente hacia en [0, 1]
-1 0 1 3
(s lo hace en todo intervalo de la forma
-3
[0, b] , b < 1 ). La serie en cosenos s con-
verge uniformemente en [0, 1] .
impar 1
[Aunque se comporten mejor las series en
-3 -1 0 1 3 cosenos, resolviendo EDPs no podremos
elegir el tipo de series en que desarrollar las
-1
funciones: nos las impondr el problema].
1
0 , 1 0
Ej 2. Sea ( ) = .
, 0 1
-1 0 1
Su serie en senos y cosenos est casi calculada:
1 1 X ( 1)n 1 1 X ( 1)n
+ 2
cos n sen n .
4 n=1 n2 n=1 n
-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
S2 Sngordo
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
R1 1
2
+cos2 2+ 2
+ sen 2n cos
n
hcos n , cos n i= 0
cos2 n d = 2
n
= n
2 n2
= n
2
,
n 2 1+ n
R1 sen
h , cos n i= 0
cos n d = n
+ cos n
2
1
= 2 cos 2
n 1
!
n
n n
X 2(2 cos
n 1)
= 2 +cos2 cos n usando el ordenador: c1 0.52 , c2 0.46 . . . .
n n
n=1
Ej 4. Otro desarrollo de ( )=
, ahora en [1, e] , en las autofunciones del Ej 6 de 3.1.
R e sen2(n ln ) d R1
Esta vez el peso no es 1 , sino r( ) = 1 . Como 1 = 0 sen2(n s) ds = 12 ,
X Re R1 2n 1 e( 1)n
= cn sen(n ln ) , si cn = 2 1 sen(n ln ) d = 2 0 es sen(n s) ds = 1+n 2 2 .
m=1
Ej 5. Desarrollemos una (C1 a trozos) en las autofunciones del (P10 ) de esa seccin:
y 00 + y 0 + y=0 X
(P10 ) ! ( ) = cn J0 n , peso r( ) = .
y acotada en = 0, y(1) = 0 m=1
R1
( ) J0 ( n ) d 2
R1
0
! cn = R1 = ( ) J0 ( n )d
J2 J2
1( n) 0
0 0( n ) d
R1 R h i n
1 1 1 2
J20 ( J20 ( ) d = 2 J20 ( )+ J21 ( )
n
pues 0 n )d = 2 0 2 2 = J
2 1 n)
n n 0
n 0 0
ya que las Jn satisfacen Jn = n Jn 1 ! J1 = J0 , J00 = J1
R 2 R 2 2
! J20 d = 2 J20 + J0 J1 d = 2 J20 + 12 J1
46
3.3. Problemas no homogneos
00
y = d
Ej 1. Discutamos cuntas soluciones tiene , d , b constantes.
y(1) = y(2)+by 0 (2) = 0
3
d 2 2
La solucin general es: y = c1 +c2 + 6 2
con y 0 = c2 + 2
d . Imponiendo datos:
( (
1 d d 1
y(1) = c1 +c2 + 6 2
=0 c1 +c2 = 2 6
4 , es decir: 4 .
y(2)+by 0 (2) = c 1 +2c2 + 3 2d+bc2 +2b 2bd = 0 c1 +(2+b)c2 = 2bd+2d 2b 3
Este sistema lineal tiene solucin nica en c1 y c2 si el homogneo tiene slo la 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 d . Pero si b = 1 :
(
c1 +c2 = d2 1
d 1
2
6
, este sistema slo tiene solucin cuando 2 6
= 23 , d = 53 ,
c1 + c2 = 3
y en ese caso una de las dos constantes queda libre. Si b = 1 , d 6= 53 , no hay solucin.
Gran parte del teorema sale de imponer las condiciones de contorno a la solucin general
de la ecuacin y = c1 y1 +c2 y2 +yp , usando las propiedades de los sistemas algebraicos.
Adems si hay soluciones y de (Pf ) debe ser (y esto se ve que tambin es suficiente):
Rb Rb 0 b R b 0
yh = [py 0 ] +gy yh = p(yh y 0 yyh0 ) + [pyh0 ] +gyh y = 0
47
La idea de hallar una que satisfaga las condiciones de contorno para hacerlas homog-
neas se utiliza a menudo en las EDPs. Para encontrar dicha normalmente se trabaja por
tanteo. Si no es una constante, se prueba 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 y0 = 0
Ej 2. Discutamos cuntas soluciones tiene: (P )
y 0 (1)+ y(1) = 0, y(2) = 1
Teor 3.
Si n es autovalor con autofuncin {yn } ,
no tiene solucin Rb 6= 0
(P n ) segn sea yn d = 0 .
tiene infinitas
00
y + y=1
Ej 3. (P3 ) Estudiemos, segn , cuntas soluciones tiene.
y 0 (0) = y 0 (1) 2y(1) = 0
Hallemos los del homogneo. Como 0 <0 pueden aparecer autovalores negativos.
n
c2 = c1 &
< 0 : y = c1 ep +c2 e p !
c1 p[ep e p] 2[ep +e p] =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 o
= 0 : y = c1 + c2 ! ! = 0 no es autovalor.
2c1 c2 = 0
c2 = 0 &
> 0 : y = c1 cos +c2 sen !
c1 ( sen +2cos ) = 0
2 2
Hay infinitos n= n
si t n n= , con yn = cos ( n ) .
n
48
4. Separacin de variables
Este amplio captulo se dedica a uno de los ms antiguos mtodos de resolucin
de EDPs lineales (el de separacin de variables) que nos permitir dar la solucin
(en forma de serie de Fourier) de gran parte de los problemas clsicos citados en
el captulo 1, en concreto de los planteados en un intervalo finito en una de las
variables. Resolveremos la ecuacin del calor con varias condiciones de contorno,
la de la cuerda acotada, la de Laplace en rectngulos, crculos y esferas... Ello ser
posible porque las ecuaciones sern separables y los recintos que consideraremos
son simples, pero hay muchos problemas no resolubles por este mtodo.
En la seccin 4.1 resolveremos problemas para la ecuacin del calor en 2 variables.
Empezaremos con problemas homogneos (aquellos en que son homogneas
ecuacin y condiciones de contorno; si estas no lo son, primero haremos un cambio
de variable). Bsicamente esta ser la tcnica utilizada: buscaremos
solucionesde
la EDP que sean productos de funciones de cada variable ( , t) = X( )T(t) y
que cumplan todas las condiciones homogneas; obtendremos infinitas soluciones
de ese tipo resolviendo un problema
de
PSturm-Liouville y otra EDO; construiremos
una serie a partir de ellas ( , t) = cn Xn ( )Tn (t) , cuyos coeficientes cn se
fijarn imponiendo la condicin inicial an no utilizada (bastar hacer un desarrollo
de Fourier). La presencia de series en el proceso exigira justificar las cuestiones de
convergencia, pero no entraremos en ello. Despus trataremos los problemas no
homogneos, buscando tambin una serie solucin. Probaremos en la ecuacin
una serie cuyos trminos sern productos de las autofunciones del problema
homogneo por funciones a determinar de la otra variable. Resolviendo la
familia infinita resultante de EDOs lineales no homogneas con las condiciones que
se deducen de las condiciones iniciales, se obtendr la solucin.
En 4.2 haremos un estudio similar para la ecuacin de ondas, y aprovecharemos
para comparar resultados con los obtenidos en 1.4 a travs de extensiones y la
frmula de DAlembert. Veremos ejemplos para los que el problema de Sturm-
Liouville no ser para la omnipresente ecuacin X 00 + X = 0 .
En la seccin 4.3 utilizaremos la separacin de variables para resolver problemas
para la ecuacin de Laplace (homognea y no homognea) tanto en coordenadas
rectangulares como en polares y tanto para problemas de Dirichlet, como de Neu-
mann, 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 impo-
ner a la otra variable sern aqu de contorno. De las soluciones en forma de serie
deduciremos frmulas como la integral de Poisson, que da la solucin del problema
de Dirichlet en el crculo (otra forma de llegar a ella ser ver en 4.5).
En 4.4 extenderemos el mtodo de separacin de variables a algunos problemas
con tres variables. La tcnica ser muy parecida una vez definidas las series de
Fourier dobles. Simplemente habr que resolver dos (en vez de uno) problemas
de Sturm-Liouville. Veremos ejemplos en que aparecen de forma natural las fun-
ciones que estudiamos en el captulo 2: los polinomios de Legendre (para Laplace
en la esfera) y las funciones de Bessel (estudiando la vibracin de un tambor).
En 4.5 veremos brevemente las funciones de Green, primero en problemas de
contorno para EDOs. Se escribir la solucin del problema no homogneo en
trminos de una integral con el trmino no homogneo y la funcin de Green
G( , s) , construida con las soluciones del homogneo. Luego se generalizar G
para dar las soluciones en trminos de integrales de la ecuacin de Laplace en
recintos sencillos, introduciendo el concepto de solucin fundamental (funcin
tal que = ) y utilizando el llamado mtodo de las imgenes,
49
4.1. Separacin de variables para el calor
Resolvamos varios problemas para la ecuacin del calor. En el primero, con ecua-
cin y datos homogneos, los extremos de la varilla se mantienen a 0 grados y los
datos iniciales vienen dados por una que suponemos C1 a trozos en [0, L]:
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:
X X
kn2 sen n L
2 t/ L2
( , t) = cn n( , t) = cn e [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:
X RL
cn sen n L = ( ) ) cn = 2
L 0
( ) sen n L d , n = 1, 2, ... [7]
n=1
50
Pero la solucin anterior es slo formal mientras no se pruebe que la convergencia es su-
ficientemente 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 es claro que la se anula. Y la condicin inicial se cumple
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 cualquier t > 0 arbitrariamente pequeo:
a diferencia de lo que ocurre con las ondas, las discontinuidades desaparecen en el calor
instantneamente, como ya dijimos al resolverla con la F en la recta infinita.
X
kn2 sen n L
2 t/ L2
( , t) = 1 L
T1 + L T2 + cn e = + ,
n=1
2
RLh i
con cn = L 0
( ) ( ) sen n L d , n = 1, 2, . . .
t = 0 , 2 (0, 1), t > 0
Ej 1.
( , 0) = 1 , (0, t) = 1 , (1, t) = 0
2 X ( 1)n+1 n2 2
t
Operando se llega a: =1 + n
e sen(n )
n=1
51
Veamos cmo resolver el problema no homogneo con datos homogneos:
k = F( , t) , 2 (0, ), t > 0
t
[P3 ] ( , 0) = ( )
(0, t) = ( , t) = 0
2
R
con Bn (t) = 0
F( , t) sen n d (desarrollo de F en senos para t fijo).
Hallando la solucin nica de esta familia de problemas con la EDO lineal para Tn :
Tn0 + kn2 Tn = Bn (t)
Tn (0) = cn
(utilizando la frmula de las lineales de primer orden o, a veces, mejor por tanteo),
obtenemos la Tn (t) y, con ello, la solucin de [P3 ].
[Como siempre faltara comprobar (justificando la convergencia) que esta serie es
solucin de verdad, que es realmente lo que sucede si y F son decentes].
52
Resolvemos ahora el problema homogneo para la varilla con extremos aislados:
k = 0 , 2 (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 :
00
X + X=0 2 2
! n = nL2 , n = 0, 1, 2, . . . , Xn = cos n L X0 = {1} .
X 0 (0) = X 0 (L) = 0
2 2 2
Para estos valores de se tienen las Tn = e kn t/ L T0 = {1} .
co X
kn2 cos n L
2 t/ L2
As pues, probamos la serie: ( , t) = + cn e
2 n=1
co X
Queremos que se satisfaga la condicin inicial: ( , 0) = + cn cos n L = ( ) .
2 n=1
Si los datos de contorno hubiesen sido (0, t) = F0 (t) , (L, t) = FL (t) (flujo dado
en los extremos), no se puede encontrar, en general, una ( , t) que sea una recta
y, al hacer = , la ecuacin en que resulta es no homognea.
Para resolver un problema no homogneo con estas condiciones en la , proba-
ramos la serie con las autofunciones del homogneo que hemos hallado:
X
( , t) = T0 (t) + Tn (t) cos n L ,
n=1
y resolveramos las EDOs que surgiran, con los datos iniciales deducidas del dato
inicial de la EDP.
t = 0 , 2 (0, 1), t > 0 Tanteando con = A 2 +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 X X
( , 0) = 2 = T0 (t)+ Tn (t) cos n ! T00 + [Tn0 +n2 2T
! n ] cos n =2
(0, t) = (1, t) = 0 n=1 n=1
4 X ( 1)
n
2 1 n2 2
t
( , t) = 2t + 3 2 2
e cos n
n=1 n
53
Dos ejemplos ms de separacin de variables para el calor (o EDP 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 , 2 (0, ), t > 0
Una que cumple las condiciones de contorno
Ej 3. ( , 0) = 1
salta a la vista: (t) = e t . Haciendo = + :
(0, t) = 0, ( , t) = e t
t =e t
[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 3.2), nos lleva a:
X Xh i
(2n 1) (2n 1)2 (2n 1)
( , t) = Tn (t) cos 2
! Tn0 + 4
Tn cos 2
=e t !
n=1 n=1
( 2
(2n 1) t R
Tn0 + Tn = Bn e (2n 1) 4( 1)n+1
4 , con Bn = 2 0
cos 2
d = (2n 1)
.
Tn (0) = 0 (del dato inicial)
+2 = 0 , 2 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
h
X 00 0 damos el 2 i
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 = (2n 1)2 , n = 1, 2, . . . , Xn = cos(2n 1)
X 0 (0) = X 2 = 0
n 2
o
! T 0 = (2+ n ) T ! Tn = e 2+(2n 1) t
X
2
Probamos pues: ( , t) = cn e 2+(2n 1) t cos(2n 1) .
n=1
X
Y, por el dato inicial: ( , 0) = cn cos(2n 1) = cos 5 ! c3 = 1 y los otros 0 .
n=1
[La serie solucin slo tiene un trmino y no hemos necesitado integrales para dar
los cn . Esto ocurrir cuando las o F sean autofunciones o sumas finitas de ellas].
[Muy parecido a como lo probamos para el calor, se ve que esta solucin es nica;
o bien, haciendo = e 2t se obtiene un problema para la ecuacin del calor con
esos mismos datos, problema cuya unicidad ya demostramos].
54
En el ltimo ejemplo 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).
8
t k = 0 , 2 (0, 1), t > 0
< ( , 0) = ( ) Vimos en 1.3 que tiene solucin nica. Para re-
Ej 5. solverlo lo primero, como siempre, es conseguir
: (0, t) (0, t) = 0, > 0
condiciones de contorno homogneas.
(1, t) = 1
55
4.2. Separacin de variables para ondas
Resolvamos el problema para la cuerda vibrante con extremos fijos (en 1.4 lo
resolvimos extendiendo los datos y aplicando la frmula de DAlembert):
c2 = 0 , 2 [0, L], t 2 R
tt
[P1 ] ( , 0) = ( ), t ( , 0) = g( )
(0, t) = (L, t) = 0
Tenemos una solucin, formal en principio, aunque se prueba que las series convergen
y satisfacen realmente el problema si y g cumplen las condiciones que pedimos en
1.4: si sus extensiones impares respecto a 0 y L son C2 y C1 , respectivamente (si
g no son tan regulares la serie solucin representar lo que llamamos una solucin
dbil; en las ondas no desaparecen las discontinuidades).
Para algunas cuestiones (valores concretos, dibujos, ... ) ser mejor usar DAlembert,
pero se ven mejor otras propiedades en la serie. Por ejemplo, como cada n es 2L/ c-
peridica en t , tambien tiene este periodo. Observemos adems que la solucin
aparece como combinacin infinita de modos naturales de vibracin [ sen(n / L) ]
cada uno de los cuales vibra con una frecuencia n c/ L (frecuencias naturales de la
cuerda). En trminos acsticos 1 da el tono fundamental (su frecuencia es c/ L ) y
los dems son los armnicos (de frecuencia mltiplo de la anterior).
Como siempre, para empezar a resolver por separacin de variables, han de ser
las condiciones de contorno homognes. Y para los problemas no homogneos se
prueban series de autofunciones del homognero.
8
tt = 0, 2 [0, 1], t 2 R
< n (Ejemplo 5 de 1.4 que poda
Ej 1. ( , 0) =
, 0 1/ 2
representar la pulsacin de
: 1 , 1/ 2 1
la cuerda de una guitarra).
t( , 0) = (0, t) = (L, t) = 0
X
Basta copiar de arriba: ( , t) = kn cos n t sen n (2-peridica),
n=1
R 1/ 2 R1
con kn = 2 0 sen n d +2 1/ 2 (1 ) sen n d = n24 2 sen n2 ( = 0 si n par).
56
tt = 0 , 2 [0, 2], t 2 R Hallemos (1, 2) y ( , 1) , con DAlembert y se-
Ej 2. ( , 0) = 2 , t ( , 0) = 0 parando variables. En ambos casos, lo primero es
(0, t) = 0 , (2, t) = 4 hacer las condiciones de contorno homogneas.
La ( , t) = 1 L
h0 (t) + L hL (t) citada en 1.4 (y en la seccin anterior) es adecuada:
tt = 0 , 2 [0, 2]
=2 , = 2 ! ( , 0) = 2 2 , t ( , 0) = 0 .
(0, t) = (2, t) = 0
Para t = 1 todos los cosenos se anulan, con lo que ( , 1) = 0 (como por DAlembert).
X ( 1)m+1 h 3
i
Adems (1, 2) = 323 (2m 1) 3 = 1 ; deducimos que 1
1
3 3 + 1
5 3
1
7 3 + = 32
.
m=1
tt = , 2 [0, ], t 2 R X
Ej 3. ! ( , t) = Tn (t) sen n
( , 0) = t ( , 0) = (0, t) = ( , t) = 0 n=1
Aunque las series anteriores dan la solucin ( , t) , el problema es obtener (sin orde-
nador) informacin sobre ellas. Por ejemplo, qu aspecto tendr:
X 4 1 X 2
( , )= sen (2m 1) = 2 3 + sen n ?
(2m 1)3 6 n3
m=1 n=1
Esto es fcil decirlo con DAlembert en este caso. La solucin del problema en es:
( , ) = 21 ( + )+ ( ) , con extensin impar y 2 -peridica de .
Por la periodicidad y mantener la expresin en [ , 0] por ser impar:
( , )= ( )= ( ) , si 2 [0, ] )
( + )( ) ( ) (2 )
( , )= ( ) ( )= 6 6
= 2
( ),
57
Se pueden imponer otros tipos de condiciones de contorno (como las del calor) a la cuerda
vibrante, que tambin dan lugar a problemas resolubles separando variables. La condicin
= 0 significa que el extremo de la cuerda se mueve con libertad verticalmente (se puede
imaginar una anilla engrasada al final de la cuerda rodeando una varilla vertical) y =0
+b = 0 indican que el extremo est unido por un muelle al punto de anclaje.
1
R +2 1
R2 R
( ,2 ) = 2
g = g = sen s ds = 2
2 " 2 2 0
n2 n
Separando variables: X 00 + X = 0 , X 0 (0) = X 0 (2 ) = 0 ! n= 4 , Xn = cos 2
, n = 0, 1, . . .
n T 00 + T0 = {t}
nT = 0 X nt n
! ! ( , t) = 0
t+ n sen 2 cos !
T(0) = 0 Tn = sen nt
2
,n 1 2
n=1
2
X n n
( ,2 ) = 0 . Basta hallar este coeficiente. t( , 0) = 2
0
+ n2 cos 2
= g( )
n=1
2
R2 R
! 0= 2 0
g=1 0
sen d = 2 ! ( , 2 )= 2 .
[Obsrvese que la solucin tiende a cuando t ! . Como est subiendo
inicialmente y los extremos estn libres, la cuerda asciende indefinidamente].
tt +4 t = 0, 2 [0, ], t 2 R
Como la ecuacin es nueva, debemos
Ej 5. ( , 0) = sen 2
comenzar separando variables:
t ( , 0) = (0, t) = ( , t) = 0
00
+ X=0
T 00 +4T 0 00
= XT ! X[T 00 +4T 0 ] X 00 T = 0 ! t
= XX =
! !
X(0) = X( ) = 0
p
2 00 0 2 2
n = n , n = 1, 2, . . . , Xn = {sen n } ! T +4T +n T = 0 , r = 2 4 n !
p p
T1 = c1 e( 2+ 3 ) t
+ c2 e( 2 3 ) t , T2 = (c1 +c2 t) e 2t ,
p p
Tn 2t c cos n2 4 t + c sen n2 4 t .
3 =e 1 2
X
Probamos, pues, ( , t) = Tn (t) sen n . Slo faltan las condiciones iniciales:
n=1
X
( , 0) = Tn (0) sen n = sen 2 h
ecuacin homognea i
n=1
X ! Tn (t) 0 , si n 6= 2 con datos nulos
.
t( , 0) = Tn0 (0) sen n = 0
n=1
T2 (0) = c1 = 1 2t
Slo es no nula T2 , para la que ! = (1+2t) e sen 2 .
T20 (0) = c2 2c1 = 0
[La cuerda con rozamiento tiende a pararse].
58
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 3. Los problemas en ms variables se
vern en 4.4, pero podemos resolver ya alguno si se reduce a uno de 2 variables.
Por ejemplo, la ecuacin de ondas tt c2 = 0 en recintos esfricos lleva, en
general, a una EDP en 4 variables (el tiempo t y las variables esfricas r , , ),
cuyas soluciones quedaran determinadas (como en la recta) fijando unos datos de
contorno y un par de condiciones iniciales. Pero si buscamos slo sus soluciones
independientes de los ngulos aparece la ecuacin de ondas en el espacio con
simetra radial (en 2 variables y ya citada en 1.4). En concreto, vamos a resolver
el siguiente problema homogneo (vibraciones entre dos superficies esfricas):
8
2
tt rr r = 0, 1 r 2, t 2 R
< r
[P2 ]
: (r, 0) = (r) , t (r, 0) = g(r)
(1, t) = (2, t) = 0
0
R00 + 2R
r T 00 rR00 +2R0 + rR = 0
Separando variables: (r, t) = R(r)T(t) ! = T = !
R T 00 + T = 0
Las condiciones de contorno imponen: R(1) = R(2) = 0 .
Vimos la ecuacin de R en 3.1 (all asociada a un problema singular, aqu es regular
pues estamos en el intervalo [1, 2] ). Se resolva haciendo el cambio de variable:
00 2 2 , n = 1, 2, . . .
S + S=0 r=s+1 S00 + S = 0 n =n sen n r
S = rR! ! ! ! Rn =
S(1) = S(2) = 0 S(0) = S(1) = 0 Sn = {sen n s} r
X sen n r
Probamos, pues: = kn cos n t + cn sen n t r
.
n=1
X X
Las condiciones iniciales imponen: kn senrn r
= (r) y n cn senrn r
= g(r) .
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 hRn , Rn i = 1 r 2 senr 2n r dr = 12 y h , Rn i = 1 r 2 (r) senrn r dr , concluimos que:
R2 R2
kn = 2 1
r (r) sen n r dr y cn = n2 1
r g(r) sen n r dr .
1
[Las ondas en plano con simetra radial satisfacen tt rr r r
= 0 y la ecuacin en
00 0
R es rR +R + rR = 0 , que (lo vimos en 3.1) est asociada a las funciones de Bessel].
59
Hagamos varias reflexiones sobre el mtodo de separacin de variables, los cambios de va-
riable y la descomposicin en subproblemas que generalicen las ideas que hemos utilizado.
Todos los problemas que hemos visto estaban formados por una EDP lineal L[ ] = F , con L
lineal (es decir, L[ 1 +b 2 ] = L[ 1 ]+bL[ 2 ] ) y unas condiciones adicionales lineales.
Para los resueltos por separacin de variables las EDPs eran separables (no todas lo son)
y los recintos que aparecieron eran simples (limitados por r b e = cte ).
Los problemas resueltos separando variables necesariamente tenan dos condiciones de
contorno Ck [ ] = hk y, adems una o dos condiciones iniciales. [Resolviendo Laplace 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)].
Nos hemos ocupado primero de conseguir que fuesen cero las condiciones de contorno.
En todos los problemas homogneos hemos buscado soluciones de la EDP que eran pro-
ductos = XT , y ello nos condujo a unas Xn autofunciones de un problema de contorno
y unas Tn soluciones de otra EDOPhomognea con datos iniciales. Gracias a la linealidad
pudimos construir la serie ( , t) = cn Xn ( )Tn (t) y fijamos los cn imponiendo la condicin
inicial (o las condiciones) y haciendo desarrollos de Fourier.
Para los problemas no homogneos, buscando tambin una serie solucin, metimos en la
ecuacin una serie cuyos trminos eran productos de las autofunciones del problema
homogneo por funciones a determinar de la otra variable. Si el homogneo no haba
sido tratado previamente, primero debamos precisar esas autofunciones. Resolviendo la
familia resultante de EDOs lineales no homogneas con las condiciones que se deducen de
las condiciones iniciales, obtuvimos la solucin.
Supongamos, por ejemplo, que son 3 las condiciones adicionales (como para el calor en la
varilla finita) y que nuestro problema es de la forma:
L[ ] = F
[P] M[ ] =
C1 [ ] = h1 , C2 [ ] = h2
El problema de resolver [P] puede ser reducido a resolver otros subproblemas ms sencillos.
Por ejemplo, si 1 , 2 , 3 y 4 son soluciones de
8 8 8 8
L[ ] = F L[ ] = 0 L[ ] = 0 L[ ] = 0
< M[ ] = 0 < M[ ] = < M[ ] = 0 < M[ ] = 0
[P1 ] [P2 ] [P3 ] [P4 ]
: C1 [ ] = 0 : C1 [ ] = 0 : C1 [ ] = h1 : C1 [ ] = 0
C2 [ ] = 0 C2 [ ] = 0 C2 [ ] = 0 C2 [ ] = h2
est claro, por la linealidad, que = 1 + 2 + 3 + 4 es solucin de [P], pero, como ya hemos
observado, bastantes veces nos convendr descomponer [P] en menos subproblemas.
Otras veces interesa hacer la ecuacin homognea (por ejemplo, si no hay datos de con-
torno, como en algunos problemas del captulo 1 o alguno de Laplace). Si somos capaces de
hallar una solucin particular de la ecuacin ( L[ ] = F ), el cambio = lleva [P] a:
L[ ] = L[ ] L[ ] = 0
M[ ] = M[ ]
C1 [ ] = h1 C1 [ ] , C2 [ ] = h2 C2 [ ]
Ms a menudo necesitamos hacer homogneas las condiciones de contorno (la separacin
de variables y otros mtodos lo exigen). As, si lo que tenemos es una que satisface
C1 [ ] = h1 y C2 [ ] = h2 , haciendo, como siempre, = acabaramos en
L[ ] = F L[ ]
M[ ] = M[ ]
C1 [ ] = C2 [ ] = 0
Lo que ya es un lujo (pero se puede intentar buscar por el premio que nos da) es tener una
que cumpla las dos condiciones y adems la ecuacin (como en el ejemplo 3 de la anterior
seccin y en el 2 y 3 de sta). Los problemas homogneos siempre son ms sencillos que los
no homogneos (separando variables, por ejemplo, los primeros exigen resolver slo EDOs
homogneas, ms corto que resolver las EDOs no homogneas de los segundos).
Como vemos, hay mucha variedad en los posibles cambios. En cada caso habr que ver
cules nos llevan a problemas mas asequibles. Si inicialmente hay condiciones homogneas
intentaremos que los cambios no las estropeen, aunque a veces no habr ms remedio.
60
4.3. Separacin de variables para Laplace
Resolvamos utilizando el mtodo de separacin de variables diversos problemas
para la ecuacin de Laplace en recintos especialmente simples. Comenzamos por
el problema de Dirichlet en un rectngulo, es decir:
8
= F( , y) , en (0, )(0, b)
<
[P1 ] ( , 0) = o ( ), ( , b) = b ( )
:
(0, y) = go (y), ( , y) = g (y)
Por ser lineales la ecuacin y las condiciones, basta resolver los 5 subproblemas
que se obtienen al hacer 4 de las 5 funciones que aparecen igual a 0 y sumar las
5 soluciones (de hecho, se puede descomponer en menos o hacer cambios que
anulen alguno de los trminos no homogneos). Comencemos resolviendo, por
ejemplo, uno de los 4 problemas para la ecuacin homognea:
X n [b y]
Probamos entonces: ( , y) = cn sh sen n
n=1
como siempre se prueba una serie de autofunciones. Aqu hay dos posibilidades
[elegiremos la que d un desarrollo ms fcil para F ]:
X X n y
( , y) = Yn (y) sen n ( , y) = Xn ( ) sen b
n=1 n=1
61
Siguiendo con Laplace en cartesianas, resolvemos un problema de Neumann.
Suponemos la ecuacin no homognea, pero con condiciones de contorno homo-
gneas (si no lo fuesen, procederamos de forma similar al problema anterior).
= F( , y) , en (0, )(0, )
[P2 ]
y( , 0) = y ( , ) = (0, y) = ( , y) = 0
X B0 ( ) X R
X000 + [Xn00 n2 Xn ] cos ny = 2
+ Bn ( ) cos ny , Bn ( ) = 2 0
F( , y) cos ny dy
n=1 n=1
Y en ese caso tiene infinitas que difieren en una constante. Todo esto es coherente
con lo que sabamos sobre Neumann desde 1.3.
h X
Si resolvemos probando = Yn (y) cos n hay que desarrollar en serie. Lo hacemos,
n=0
62
Dos ejemplos ms en cartesianas. El primero para Laplace con condiciones mixtas (parte
Dirichlet, parte Neumann). Ya dijimos en 1.3 que todos ellos tienen solucin nica.
+ yy = 0 , ( , y) 2 (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 n o
2n 1 2 (2n 1)y
! n= , Yn = sen .
X 00 X = 0 , X(0) = 0 2 2
n o
1) / 2 +c (2n 1) / 2 (2n 1)
Para esos es X = c1 e(2n 2e ! Xn = sh 2
.
X(0)=0
X
Probamos ( , y) = cn Xn ( )Yn (y) . Imponiendo el dato (1, y) = 1 que falta:
n=1
2n 1 2
R (2n 1)y 4 (2n 1)
cn sh 2
= 0
sen 2
dy = (2n 1)
1 cos 2
!
X (2n 1) (2n 1)y
4
( , y) = 2n 1 sh 2
sen 2
.
(2n 1) sh 2
n=1
X 2( 1)n
! ( , y) = + n ch[n 2 ]
ch[n ( y)] sen n
n=1
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):
8
+ = 0 , ( , y) 2 (0, ) 4
, 4
Como es ecuacin nueva, separamos
<
Ej 3. , = , =0 variables desde el principio:
: y 4 y 4
X 00 Y 00
(0, y) = 0 , ( , y) = sen 2y = XY ! X
+1 = Y
= !
00 00 n o
Y + Y=0 s=y+ 4 Y + Y=0 2,
! ! n = 4n Yn = cos 2n y+ 4 , n = 0, 1, . . .
Y0 4
= Y 0
4
= 0 Y 0 (0) = Y 0 2 = 0
p
X 00 + (1 n )X = 0 , X(0) = 0 ! X0 = {sen } y Xn = sh 4n2 1 si n 1.
X c0 indeterminado
p p
( , y) = c0 sen + cn sh 4n2 1 cos 2ny+ n2 = sen 2y ! 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 )
63
Para resolver los problemas en crculos nos interesa expresar el Laplaciano en
polares ( = r cos , y = r sen ). Como,
r= cos + y sen ; rr = cos2 +2 y sen cos + yy sen
2
!
= r 2 sen2 2 yr
2 sen cos + yy r cos2
2 rcos y rsen
1 1
= rr +r r +
r2
X
Debe ser: (R, ) = o
2
+ Rn n cos n + bn sen n = ( ) , 2 [0, 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
1
R2
Haciendo aqu r = 0 (o mirando la serie) deducimos que (0, ) = 2 0
( )d :
64
Vamos con el problema de Dirichlet no homogneo en el crculo. En vez de
tratarlo en general, resolvemos un problema concreto.
r
1
rr + r + r 2 = 4 , en r < 1
[P4 ]
(1, ) = cos 2
1 X 1 n2 n2
00
0
+ r
0 +
0
00
n
+ r
0
n r2 n cos n + b00
n
+ 1r b0n r 2 b n sen n =4,
n=1
(r, ) = r 2 1 + r 2 cos 2
[Se podra escribir en cartesianas: =2 2 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 + 1 0 = 4 . La solucin ms sencilla de esta ecuacin de Euler es = r2 .
r
= 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.
n =F , r <R
Utilizando funciones de Green se dar en 4.5 una frmula integral para
(R, ) =
que generalizar la frmula de Poisson de la pgina anterior .
65
Resolvamos ahora el problema de Neumann homogneo en un crculo:
= 0 , en r < R
[P5 ]
r (R, ) = ( ) , 2 [0, 2 )
Z 2 Z 2
1 1
n = ( ) cos n d , bn = ( ) sen n d , n = 1, 2, . . .
n Rn 1 0 n Rn 1 0
X
h i
La serie con cosenos y senos del [P4 ] no cumple
(r, ) = Ro (r) + Rn (r) cos n los datos de contorno; aqu no hay periodicidad.
!
n=1
X
h i X
n2
R00
o
+ 1r R00 + R00
n
+ 1 0
R
r n r 2 R n cos n = F(r, ) = Bo (r) + Bn (r) cos n ,
n=1 n=1
1
R 2
R
con Bo (r) = 0
F(r, ) d y Bn (r) = 0
F(r, ) cos n d .
0
Basta, pues, resolver: rR00o
+R0o = rR0o = rBo (r) y r 2 R00 n
+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 3.3). Pero si n 0 :
R acotada
rR00
o
+R0o = 0 ! Ro = c1 +c2 ln r ! Roh = {1} !
R0 (1) = 0
infinitas soluciones R1 =0
Existen ninguna solucin Ro del no homogno segn sea 0 rBo (r)dr 6= 0 .
h R 1R i
Concuerda una vez ms con 1.3. Deba ser: 0 0
rF(r, ) d dr = 0 .
66
Resolvemos para acabar con Laplace en polares tres problemas con condiciones mixtas
(y, por tanto, con solucin nica). Este primero va a ser homogneo.
= 0 , r < 1 , 2 0, 00 + 0 (0) =
2 =0 , 2
=0
Ej 5. r (1, ) = 1 !
(r, 0) = (r, 2 ) = 0 r 2 R00 +rR0 R=0
4
R /2 4 (2n 1)
! cn = (2n 1) 0
cos(2n 1) d = (2n 1)2
sen 2
.
[ 1 no era autofuncin para los coseno impares y haba que integrar para hallar los cn ].
4 X ( 1)n+1
Por tanto, la solucin es: (r, ) = (2n 1)2
r 2n 1 cos(2n 1) .
n=1
Los recintos siguientes no incluyen el origen. La condicin implcita de estar acotada en ese
punto es sustituida por un dato explcito en r = 1 . El primero es homogneo:
00 + =0 2,
= 0 , 1<r <2 Sabemos que: 2 -per.
! n =n
Ej 6.
(1, ) = 0, r (2, ) = 1+sen
n= cos n , sen n , n = 0, 1, 2, . . .
R(1)=0
Para esos : r 2 R00 +rR0 n2 R = 0 ! R0 = c1 + c2 ln r ! R0 = ln r !
Rn = c1 r n +c2 r n ! Rn = r n r n
X
(r, ) = 0 ln r + rn r n [ n cos n +bn sen n ]
n=1
X
1+ n 2n 1 n 1
r (2, )= 02 2 [ n cos n +bn sen n ] = 1 + sen !
n=1
3 4 1
0 = 2 , 4 b1 = 1 y los dems cero ! (r, ) = 2 ln r + 3
r r sen .
En el ltimo ejemplo (no homogneo) no hay datos implcitos. Todos estn a la vista:
= cos , 1 < r < 2 , 0 < <
Ej 7.
(1, ) = (2, ) = (r, 0) = (r, ) = 0
X h i
1 0 1 0 n2
Ro + R +
r 0
R00
n
+ R
r n
R
r2 n
cos n = cos [ya desarrollado].
n=1
r 2 R00
1
+ rR01 R1 = r 2 con los datos de contorno nulos de arriba.
1 2 7
La solucin es, pues: (r, ) = 3
r 9
r + 49 r 1 cos .
67
4.4. Algunos problemas en tres variables
Comenzamos estudiando las series de Fourier dobles, de teora inmediata a par-
tir de las de una variable (las triples, que apareceran en problemas con 4 variables,
son tambin similares).
Sean Xm ( ) , 2 [ , b] e Yn (y) , y 2 [c, d] las autofunciones de dos problemas de
Sturm-Liouville de pesos respectivos r( ) y s(y) , y sea ( , y) 2 C1 [ , b][c, d] .
Entonces, para cada ( , y) 2 ( , b)(c, d) se puede escribir como la serie:
Z bZ d
X X 1 1
( , y) = cnm Xn Ym con cnm = ( , y) Xm Yn r s dyd
m=1 n=1 hXn , Xn i hYm , Ym i c
h Rb Rd i
h , i designa, desde luego, rd c
s dy .
X h ( , y) , Ym i
pues para fijo se puede poner ( , y) = Cm ( ) Ym , Cm ( ) = ,
m=1 hYm , Ym i
X hCm ( ), Xn i
y con Cm ( ) = cnn Xn , cnm = se tiene la expresin de arriba.
n=1 hXn , Xn i
[Se llega a lo mismo, desde luego, desarrollando primero en Xn y luego en Ym ].
Un caso particular de las series anteriores son los desarrollos en series trigono-
mtricas dobles de una funcin 2 C1 [0, L][0, M] :
Z LZ M
X X m y 4 m y
( , y) = bnm sen n L sen M
con bnm = ( ,y) sen n L sen M
dy d
n=1 m=1 LM 0 0
1 1X n 1 X m y X X n m y
( , y) = 4 00 + 2 n0 cos L
+ 2 0m cos M
+ nm cos L
cos M
n=1 m=1 m=1 n=1
Z LZ M
4 m y
con nm = ( , y) cos n L cos M
dy d
LM 0 0
P P
[O los desarrollos parecidos en sen cos cos sen , o con series en senos y cosenos].
1 1
[Los factores 4
y 2
son, como siempre, para que la frmula valga tambin si n = 0 m = 0 ].
[Se podra pedir que fuese slo C1 a trozos, pero aqu suponemos que es ms suave].
Z Z 0 si m 6= 1
4
nm = 2
cos y cos n cos my dy d = si m = 1, n = 0 !
0 0 2[( 1)n 1]/ ( n2 ) si m = 1, n > 0
X
4 1
cos y = 2
cos y (2n 1)2
cos[2n 1] cos y [ya estaba desarrollada en y ].
n=1
68
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
8 !
X X
que debe satisfacer adems: ( , y, 0) = bnm sen n sen my = ( , y) !
n=1 m=1
Z Z
4
bnm = 2
( , y) sen n sen my d dy , n, m 1.
0 0
X 00 + X = 0, X(0) = X( ) = 0
Y 00 X 00 Z 00
= XYZ ! Y
+ ZZ = X
= ! 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 p o
! ! Z mn = sh n2 +m2 [ z] !
= m2 , Ym = {cos my}, m = 0, 1, . . .
1 X
( , y, z) = 2
cn0 sh n[ z] sen n
n=1
X X p
+ cnm sh n2 +m2 [ z] sen n cos my
m=1 n=1
69
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
2 r cos
y = r sen sen ! = rr + + + +
z = r cos r r2 sen r 2 sen2 r 2
Veamos primero el caso con datos independientes de :
( h i
2 1 cos
rr + r r + r 2 + sen = 0 , r <R
(R, ) = ( ) , 2 [0, ]
que, de hecho, es un problema con dos variables. Podemos buscar entonces so-
luciones que tampoco dependan de . Separando variables:
2 00
r R + 2rR0 R=0
= R(r) ( ) ! 00 + cos 0+
sen
=0
0 2
El cambio s = cos = sen dds , 00 = sen2 dds2 cos dds lleva la segunda
ecuacin a:
2
1 s2 dds2 2s dds + = 0 , ecuacin de Legendre.
Z
2n+1
! n = ( ) Pn (cos ) sen d , n = 0, 1, . . . ,
2Rn 0
0 )0 +
pues el peso es r( ) = sen (sen 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
R1
Ej 2. Si R = 1 y ( ) = cos2 se tiene: n = 2 1
s2 Pn (s) ds .
1
R1 1 5
R1 3 1 2 2
As pues: 0 = 2 1
s2 ds = 3
, 2 = 2 1 2
s4 2
s ds = 3
, y los dems n =0
70
Pasemos ahora a resolver, con menos detalles, el problema general en 3 variables:
h i
2 1 cos
rr + r r + r 2 + sen + sen12 = 0 , r <R
(R, , ) = ( , ) , 2 [0, ] , 2 [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 0+
sen sen sen
=0
1 1 2 1 2
Escrita en cartesianas: = 3 2
z + 16 2 +y 2 +z 2 2
y2 = 1
3
1
3
2 + 2 y2
3
, 1 2
3
z
2 +y 2 +z 2 = 1
funcin que cumple = 0 y que cuando vale y 2 = ( , ) si r = 1 .
71
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 !
Pero hay que elegir diferentes Rn , para las nuevas condiciones en el infinito:
n = 0 , c1 +c2 ln r ! R0 = {1} n = 0 , c1 +c2 r 1 ! R0 = r 1
n > 0 , c1 r n +c2 r n ! Rn = {r n}
n > 0 , c1 r n +c2 r (n+1) ! Rn = r (n+1)
En el plano ningn R0 ! 0 , y en el espacio estn acotadas tanto 1
como r 1 ; tender a 0 nos dejara sinsoluciones en el plano y pedir
acotacin dara infinitas en el espacio .
Rn
R2
= ( ) cos n d , n = 0, 1, . . . (2n+1)Rn+1
R
n ( ) Pn (cos ) sen d
0 n= 2 0
R
Rn 2
bn = ( ) sen n d , n = 1, 2, . . . n = 0, 1, . . .
0
Basta mirar las series para deducir las soluciones en ambos casos:
R
= en el plano. = r
en el espacio.
72
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 :
8
1
< tt rr + r r = 0 , r 1, t 2 R [Las vibraciones con simetra
: (r, 0) = (r), t (r, 0) =0 radial en el espacio, como se
vio en 4.2, son mas sencillas].
(1, t) = 0
0
0
T 00 R00 + Rr rR0
+ rR = 0 , R acotada en 0 , R(1) = 0
= RT ! T
= R
= ! p
T 00 + T = 0 , T 0 (0) = 0 ! cos( t)
El problema de contorno singular para la R fue visto al final de 3.1. Recordemos
p
que con s = r desapareca y la ecuacin pasaba a ser una de Bessel:
p
sR00 (s)+R0 (s)+sR(s) = 0 ! R = c1 J0 (s)+c2 K0 (s) = c1 J0 ( r)+c2 K0 ( r) , =
Imponiendo los datos se tenan los autovalores 2 tales que J0 (
n= n) = 0 ,
n o n
y las autofunciones asociadas Rn = J0 ( n r) .
Nos falta imponer la condicin inicial an no utilizada a la serie:
X X
(r, t) = cn cos( n t) J0 ( n r) ! (r, 0) = cn J0 ( n r) = (r)
n=1 n=1
Este desarrollo ya lo discutimos en el ltimo ejemplo de 3.2. All vimos que era:
Z 1
2
cn = r (r) J0 ( n r) dr
J21 ( n) 0
R1 p
Ej 6. Hallemos si (r) = 1 r 2 la integral 0 (r r 3 ) J0 ( n r) dr , n = n , que define cn .
R1 R R
Haciendo s = n r : 0 = 12 0 s J0 (s)ds 1
n n 3
4 0
s 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
s n
Jn 1 . Y como J0 ( n ) = 0 concluimos:
R1 4 X 8
0
= 3 J1 ( n) ) (r, t) = 3 J (
cos( n t) J0 ( n r) .
n n=1 n 1 n)
P
Pese a su aspecto complicado, est solucin no lo es mucho ms que la kn cos(n t) sen(n )
que se obtendra para la cuerda vibrante con datos similares (que resolvimos en 4.2).
En muchos libros (o en programas tipo Maple o Sage) se pueden encontrar los ceros n de J0 :
{ n} 2.4048256 , 5.5200781 , 8.6537279 , 11.791534 , 14.930918 , . . .
y los valores de J1 ( n) : 0.519147 , 0.340265 , 0.271452 , 0.232461 , 0.206547 , . . .
Necesitamos slo un programa que reconozca la J0 para dar valores o hacer dibujos aproximados
de la solucin. Por ejemplo, utilizando los 5 primeros trminos de la serie, podemos (con Maple
en este caso) aproximar y dibujar (0, t) :
(0, t) 1.108 cos(2.405 t) 0.1398 cos(5.520 t)
+ 0.04548 cos(8.654 t) 0.02099 cos(11.79 t)
+ 0.01164 cos(14.93 t)
Las vibraciones de un tambor, a diferencia de lo que pasa
en una cuerda, no son peridicas (los n no son mltiplos
exactos unos de otros).
73
Para acabar esta seccin, tratemos el problema ms general y complicado en 3 variables:
8
2 1 1
< tt c rr + r r + r 2 = 0 , r 1, t 2 R
0
T 00 R00 + Rr 1 00 r 2 R00 +rR0 00
=R T! c2 T
= R
+ r2
= ! R
+ r2 = = !
8
00 + =0 , 2 -peridica ! 2,
m =m 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 +[ r2 ]R = 0 , R acotada en 0
X
1
(r, , t) = 2
c0k cos c 0k t J0 0k r
k=1
X X
+ [cmk cos n +dmk sen n ] cos c mk t Jm mk r
m=1 k=1
X X X
1
! 2
c0k J0 0k r + [cmk cos n +dnk sen n ] Jm mk r = (r, )
k=1 m=1 k=1
X
1
Para r fijo, (r, ) = A (r)
2 0
+ Am (r) cos m +Bm (r) sen m , con
m=1
R2
Am (r) = 1 0
(r, ) cos m d , m = 0, 1, . . . ,
R2
Bm (r) = 1 0
(r, ) sen m d , m = 1, 2, . . . .
Desarrollando:
X X
Am (r) = cmk Jm mk r , Bm (r) = dmk Jm mk r
k=1 k=1
R1 1 2
Teniendo en cuenta (se puede probar) que: 0
r J2m mk r dr = J
2 m+1 mk ,
74
4.5. Funciones de Green.
Comencemos tratando las funciones de Green para problemas de contorno no homo-
gneos para EDOs. Veamos una frmula que para cualquier ( ) nos da en trminos de
integrales la solucin (en el caso de que sea nica) de:
0
p( )y 0 + g( )y = ( )
(Pf ) 0 y 0 ( ) = y(b)+ 0 y 0 (b) = 0
, p 2 C1 , g, 2 C , p > 0 en [ , b] .
y( )
Teor 1 Zb y1 (s) y2 ( )
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
Una vez hallada la G , dada cualquier , basta hacer un par de integraciones para
encontrar la solucin del problema no homogneo (Pf ).
[Que quede claro que cada yk satisface solamente una condicin (o en o en b ; ambas
condiciones slo las cumple la trivial). La y la p del teorema son, como siempre, las de
la ecuacin escrita en la forma [py 0 ]0 + gy = ; en muchos casos ser p 1 (como en el
ejemplo siguiente), pero en otros deberemos reescribir la ecuacin].
00 00
y = ( ) y =0
Ej 1. (P1 ) slo lo satisface y 0 .
y(0) = y(1) = 0 y(0) = y(1) = 0
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 + 12 = 0
Pero para cada nueva habra que volver a hallar la yp e imponer y(0) = y(1) = 0 .
75
Las funciones de Green estn muy ligadas a la funcin . Observemos que la G( , s) del
ejemplo 1 para fijo (o para s fijo, pues G es simtrica) es continua pero no derivable en
s = y su derivada segunda es (s ) . De hecho, esto es lo que sucede en general:
0
p(s)G0 + g(s)G = (s )
Teor 2 G( , s) es la solucin para 2 ( , b) fijo de 0
G( ) G ( ) = G(b)+ 0 G0 (b) = 0
0
Rb
La prueba es trivial: G(s, ) ( ) d = G(s, ) = G( , s) .
Hallamos la G del (P1 ) por este camino ms largo, pero que es el que se generaliza a las EDPs.
00
G (s) = (s ) G00 =0, s6= c1 +c2 s , y(0) = 0 ! G = c2 s , s
! G(s) =
G(0) = G(1) = 0 k1 +k2 s , y(1) = 0 ! G = k2 [s 1] , s
Y como G00 = , ha de ser continua G y su derivada tener un salto en de magnitud unidad:
G( ) = c2 = k2 [ 1] = G( + ) c2 = 1
! !
G0 ( + ) G0 ( ) = k2 c2 = 1 k2 =
La idea de la funcin de Green se utiliza en diversos problemas de EDOs y EDPs. Aqu nos
limitaremos a hablar de las funciones de Green para la ecuacin de Laplace.
En lo que sigue operaremos formalmente con la en dos variables, utilizando slo:
i. ( , y) = 0 para ( , ) 6= ( , y)
RR
ii. D
F( , ) ( , y) d d = F( , y) si F continua en D R2 y ( , y) 2 D .
Consideremos el problema de = F( , y) en D
(PD )
Dirichlet no homogneo: = en D
76
La forma prctica de hallar la (en recintos D limitados por rectas y circunferencias) es el
mtodo de las imgenes. Viendo la geometra de D se tratar de escribir G como suma
de la solucin fundamental y de funciones armnicas del mismo tipo, logaritmos de
distancias a puntos Q0 exteriores a D (imgenes de Q respecto de la D ), elegidos de
forma que sea G = 0 en la frontera de D . En un primer ejemplo, D est limitado por rectas:
= 0 en D = { > 0}{y > 0} Sean Q = ( , y) 2 D fijo,
Ej 2. (P2 )
( , 0) = ( ), (0, y) = 0, acotada P = ( , ), = 21 ln PQ .
1 2 1 r2 2
G(r, ; , ) = 4
ln + r2 2r cos( ) 4
ln R2 + R2
2r cos( )
0
En efecto: G = + 0 +cte ) G=0 armnica en R2 {Q0 } y Q0 2
/D
y adems G = 0 si P 2 D , o sea, si =R .
Adems, Gn = G =R y ds = R d , por lo que la solucin de (P3 ) es:
R RR 2 R2 r 2
R2 ( ) d
(r, ) = 0 0
G(r, ; , ) F( , ) d d + 2 0 R2 2Rr cos( )+r 2
[Expresin ms compacta que las series de Fourier, aunque estas integrales, en general, no son
calculables (y hay que aproximarlas, pero son aproximaciones tambin las sumas parciales)].
Las cuentas en tres dimensiones son similares a los de dos. Si G es solucin de (PG ):
RRR H
( , y, z) = D
G F d d d + D Gn dS ( D es ahora una superficie)
1 2
La solucin fundamental en el espacio es = rr + r r =0 ! = c1 + cr2
4 PQ
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.
77
78
Apndice
Repaso de EDOs
dy
Algunas EDOs de primer orden d
= ( , y) resolubles
h n y 0 = ( , y) i
, y continuas en un entorno de ( o , yo ) ) existe solucin nica de .
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 R
dy ( )d ( )d ( )d
Lineales: d
= ( )y+ ( ) ! y = C e +e e ( )d .
[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 (con solucin nica si y 6= ) se puede resolver por tres caminos:
y R (2z 2) dz Rd y2 y
z= ! z 0 +z = z z 1 ! z 2 2z
= 2 +C ! z 2 2z = 2 2 = C
2 .
dy U = y ! U = y+p(y)
y+( y) d con My N = 1 ! 1 2 ! y2 2 y = C .
Uy = y ! U= y 2
y +q( )
d y C
R y
dy
= y
= y
+1 lineal (solucin nica si y 6= 0 ) . = y
+ 1y y dy = C
y
+2 .
dy d
Pasa una sola curva integral (solucin de d
= o de dy
= ) salvo por (0, 0) .
y0 = Rd
Ej. y 00 2y 0 = ! 0= 2 +1 ! =C 2+ 2 =C 2 ! y = K +C 3 1 2.
2 2
79
Lineales de orden 2 con coeficientes constantes
Si 1 6= 2 reales ! y = c1 e 1 + c2 e 2
Ej. y 00 + 4y 0 + 3y = 0 , 2 +4 +3 = 0 ! = 1, 3 ! y = c1 e + c2 e 3 .
y 00 + 4y 0 + 4y = 0 , 2 +4 +4 = 0 ! = 2 doble ! y = (c1 +c2 ) e 2 .
y 00 + 4y 0 + 5y = 0 , 2 +4 +5 = 0 ! = 2 i ! y = (c1 cos +c2 sen ) e 2 .
y 00 4i y 0 3y = 0 , 2 4i 3=0 ! = i ,3i ! y = c1 ei + c2 e3i , c1 , c2 2 C .
n y 00 y=e
Ej. . = 1 . Solucin general de la homognea: y = c1 e +c2 e .
y(0) = y 0 (0) = 0
yp = A e ! A( +2) A = 1 ! yp = 12 e . O ms largo con la [fvc]:
e e Re e R
|W|( ) = = 2 , yp = e 2
d e e 2e d = 14 e + 12 e .
e e
80
Repaso de clculo en varias variables
Sean , x 2 Rn , A Rn . Entorno de centro y radio r es Br ( ) x : kx k<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 .
A es acotado si existe un nmero M tal que k k < M 2A .
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
Integrales dobles:
Si continua en D = ( , y) : b, 1 ( ) y 2 ( ) ,
RR R bR 2 ( )
1 2 continuas en [ , b] ) D = ( )
( , y) dy d .
1
Para C2 , si c(t) = (3 cos t, 3 sen t) , t 2 [0, ] ! kc0 (t)k = 3 . Como n = (cos t, sen t) ,
R R
C
f n ds = 3 0 7 cos t +9 sen3 t sen t dt = 30 .
2
81
Repaso de convergencia uniforme
Sea la sucesin de funciones definidas en A R : {n ( )} = 1 ( ), 2 ( ), ..., n ( ), ... .
Criterio de Weierstrass
Sean {n } definidas
P
en A y {Mn } una sucesin
P
de nmeros tal que n ( ) Mn
2 A y tal que Mn converge. Entonces n converge uniformemente en A .
P sen n sen n P 1
Ej. n2
converge uniformemente en todo R pues n2
n12 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 siempre con las series de potencias dentro del
intervalo de convergencia | | < R .
2 3
Ej. 2
+ con R = 1 , converge puntualmente
+ 3
si 2 ( 1, 1] hacia log(1 + ) y uniformemente
en cualquier intervalo [ , 1] , > 1 , pero no lo ha-
ce 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+ .
82
problemas de Mtodos II (C y E) 2012-13
problemas 1
(2y ) y+ = 2y y +3y
2 = 2y +6y 4 y y +(2y ) = 3 2
y+ = 5
a) b) c) d) 3
(1, y) = 0 ( , 1) = 2 ( , 1) = 0 ( , 0) =
i) ( , 1) = 1
5. Resolver y +2y =3 con , estudiando la unicidad de la solucin.
ii) (0, y) = 0
tt 4 =0 , 0 , t 2R
12. Sea n 2 . i) Hallar (1, 1) . ii) Dibujar ( , 1) .
2 , 2 [0, 2]
( , 0) = 0 , 2 [2, )
, t( , 0) = (0, t) = 0
tt =0 , 0, t 2 R a] Hallar ,2 .
13. Sea .
( , 0) = 0 , t ( , 0) = cos2 , (0, t) = t b] Hallar ( , 2 ) para 2 .
8
tt 9 =0 , 2 [0,4] , t 2 R
< n
( 1)( 2) , 2 [1, 2] 5 4
14. Sea ( , 0) = 0 , 2 [0, 1][[2, 4] , t( , 0) = 0 . a] Hallar , . b] Dibujar ( , 1) .
: 2 3
(0, t) = (4, t) = 0
tt 4 = 0 , 2 [0, 2], t 2 R
3, 3 3
15. Sea ( , 0) = 4 t ( , 0) = 0 . Hallar ,
2 4
. Dibujar ( , 2) . Hallar ( , 1) .
(0, t) = (2, t) = 0
i
tt =0 , , t 2R n a] Dibujar ( , 1) , ( , 2) y ( , 3) .
16. Sea 1, |
( , 0) = 0 , t ( , 0) = 0 |
|1/ 2 .
|>1/ 2 b] Dibujar (3, t) , t 0 .
tt =6 , 0, t 2 R
17. Sea . Calcular (0, t) para todo t.
( , 0) = t ( , 0) = (0, t) = 0
tt + 2r r = 0 , r
rr 0, t 2 R a] Hallar (1, 2) .
18. Sea .
(r, 0) = r , t (r, 0) = 2 b] Hallar (1, t) para todo t 0.
R d
p
19. Hallar ( , )= e k 2 cos k dk probando que = e ( , 0) = p .
0 d 2 2
Usar lo anterior para calcular F 1 e k2 y F e
2
.
20. Resolver, a partir de las caractersticas y utilizando transformadas de Fourier, los problemas:
2 t+ =t t t t
= t+ e +2t = 0
a] 2 b] c]
( , 0) = e ( ,1) = ( ) ( , 0) = ( )
a1 ] la solucin con ( , 0) = ,
22. a] Dada 3 t = 2 , hallar:
a2 ] dos soluciones con ( , 3 ) = 2 .
3 t = g( ) b1 ] utilizando las caractersticas,
b] Resolver , y comprobar a1 ].
( , 0) = ( ) b2 ] con transformadas de Fourier,
t+ (cos t) = , 2 R, t 0
23. a) Resolver por Fourier y por las caractersticas: .
( , 0) = ( )
cos2 , 2 [ / 2, / 2]
b) Si ( ) = describir ( , t) para t 0.
0 en el resto
tt 6 t +9 =0 a] A partir de las caractersticas.
24. Resolver .
( , 0) = ( ), t ( , 0) = 0 b] Utilizando la transformada de Fourier.
tt 3 t +2 = 0 , , t 2R Resolverlo con transformadas de Fourier
25. Sea .
( , 0) = ( ) , t ( , 0) = 0 y deducir la solucin para ( ) = 2 .
2t t= 0 , 2 R, t > 0 t = ( ), 2 R, t > 0
30. 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].
ii
problemas de Mtodos II (C y E) 2012-13
problemas 2
1. Hallar la solucin en forma de serie en torno a =0 :
a) y 00 + y = 0 , b) (1+ 2 )y 00 2y = 0 , c) cos y 00 + (2 sen ) y 0 = 0 .
11. Sea 2 (1+ 2 ) y 00 6y = 0 . Hallar los 3 primeros trminos no nulos del desarrollo en serie de
una solucin acotada en = 0 , encontrando la regla de recurrencia. Cul es el coeficiente
de 2012 en dicho desarrollo? Son analticas todas las soluciones en = 0 ?
14. Sea y 00 +(1 2 )y 0 + p y = 0 . Precisar, resolviendo por series en torno a = 0 , los valores
de p para los que hay soluciones polinmicas y escribir uno de estos polinomios para p = 4 .
p
15. Sea (1 2 )y 00 2 y 0 +y = 0 Legendre con p = 5 1 . Hallar 3 trminos no nulos del desarrollo
2
de la solucin con y(0) = 0 , y 0 (0) = 1 . Esudiar si hay soluciones acotadas en = 1 .
2 y 00 + 2 1 r
16. Resolver y0 + 4
y = 0 , i) mediante un cambio de la forma y = , ii) por series.
17. Sea ( 2 1)y 00 4 y 0 +6y = 0 . Hallar la solucin con y(0) = 1 , y 0 (0) = 3 . Utilizando Frobenius,
hallar una solucin que se anule en = 1 . Hay soluciones no triviales acotadas para ! ?
iii
problemas de Mtodos II (C y E) 2012-13
problemas 3
1. Determinar los autovalores y autofunciones asociadas:
2 y 00 + 2 1
y 00 + y = 0 y 00 + y = 0 y 00 + y = 0 y 0 +[ 4
]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
iv
problemas de Mtodos II (C y E) 2012-13
problemas 4
t =0 , 2 (0, ), t > 0 Resolverlo y hallar para cada 2 (0, ) el
2. Sea .
( , 0) = 0 , (0, t) = ( , t) = t lmite de la solucin ( , t) cuando t ! .
t = 0 , 2 (0, 1), t > 0
3. Resolver t y hallar el lm ( , t) .
( , 0) = 0 , (0, t) = 0, (1, t) = 2e t!
[Simplifica los clculos hallar una ( , t) = X( )T(t) cumpliendo ecuacin y condiciones de contorno].
t 4 = cos 2
, 2 (0, 1), t > 0 Calcular la solucin y su lmite cuando
4. Sea .
( , 0) = T, (0, t) = F, (1, t) = T t! ( F y T constantes).
t = 0 , 2 (0, 3 ), t > 0 Determinar, segn la constante , el
5. Sea .
( , 0) = 1 , (0, t) 4 (0, t) = (3 , t) = 0 lmite de la solucin cuando t ! .
X 00 + 2X 0 + X = 0
6. i] Hallar los autovalores y autofunciones del problema .
X(0) = X(1)+X 0 (1) = 0
t 2 = 0 , 2 (0, 1) , t > 0 [directamente o tras un
ii] Resolver
( , 0) = e , (0, t) = (1, t)+ (1, t) = 0 cambio = ept+q ].
n , 0 1/ 2
tt = 0 , 2 [0, 1] , t 2 R
8. Sean g( ) = y (P)
0 , 1/ 2 < 1 ( , 0) = 0, t ( , 0) = g( ) , (0, t) = (1, t) = 0
a] Desarrollar g en serie de {sen n } y precisar el valor de la suma para: i) = 41 , ii) = 12 .
1 3
b] Resolver (P) mediante separacin de variables y hallar el valor de 2
, 4
con DAlembert.
8
= 0 , 2 [0, 2 ] , t 2 R
tt
< n Dibujar ( , ) y hallar su expresin con
2 sen , 2[0, ]
9. Sea ( , 0) = , t ( , 0) = 0 . DAlembert. Resolver por separacin de
: 0 , 2[ ,2 ]
variables y comprobar.
(0, t) = (2 , t) = 0
= 0 , 2 [0, ], t 2 R
tt
10. Hallar valores de para los que la solucin de ( , 0) = t ( , 0) = 0 no est acotada.
(0, t) = sen t, ( , t) = 0
tt 4 = 0 , 2 [0 ,1] , t 2 R
11. Resolver ( , 0) = 1 , t ( , 0) = sen2 separando variables y comprobarlo con DAlembert.
(0, t) = (1, t) = 0
tt+2 t 5 = 0 , 2 [0, ] , t 2 R i) para cualquier g( )
12. Resolver .
( ,0) = 0, t ( , 0) = g( ) , (0, t) = ( , t) = 0 ii) para g( ) = 2 sen
2
tt rr r r =0 , r 1 , t 0 i) por separacin de variables,
13. Resolver 1
(r, 0) = 0, t (r, 0) = sen r , (1, t) = 0 ii) con las tcnicas del captulo 1.
r
v
14. Resolver por separacin de variables estos problemas planos en cartesianas:
= 0 en (0, )(0, ) = y cos en (0, )(0, 1) +6 = 0 en (0, )(0, )
a) (0, y) = 0, ( , y) = 5+cos y b) (0, y) = ( , y) = 0 c) (0, y) = 0, ( , y) = cos 4y
y ( , 0) = y ( , ) = 0 y ( , 0) = y ( , 1) = 0 y ( , 0) = y ( , ) = 0
2 1
17. Probar que 3
,
2 2
1 , si (r, ) es la solucin del problema en el plano:
= 0 , r <1 1, 0
con ( ) = 0,
(1, ) = ( ) < <2
= 0 , r <2 , 2 0 , 2
18. Resover el problema plano r (2, ) + k (2, ) = 8 cos 2 , para: i) k = 1 , ii) k = 0 .
(r, 0) = r, 2 = 0
2 00
r y + ry 0 y = r 2
19. 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
1 1
rr + r r + r2 = 0 , r < 1, 2 (0, )
20. Hallar la nica solucin del problema .
(1, )+2 r (1, ) = 4 sen 32 , (r, 0) = (r, ) = 0
Comprobar que cambiando +2 r (1, ) por 2 r (1, ) el problema fsicamente imposible
que resulta pasa a tener infinitas soluciones.
21. Hallar (en trminos de funciones elementales) una solucin acotada de:
(
1 1
rr + r r + r 2 + 4 = 0 , r <1 , 0< < [Separando variables y haciendo s = 2r
(1, ) = sen 2 , (r, 0) = (r, ) = 0 aparece una ecuacin conocida].
1 1 2 sen
rr + r r + r2 = 1+r 2
22. Hallar la nica solucin de los problemas en el plano :
(1, ) = 1 , acotada
i] en el crculo r < 1 , ii] en la regin infinita r > 1 [ojo!, r rct n r ! ].
r!
= 0 , si r > R = 0 , si r > R
23. Hallar la solucin de: (R, ) = cos3 , 0 < 2 y (R, ) = cos3 , 0 < <
acotada cuando r ! ! 0 cuando r !
(en el plano) (en el espacio)
vi
problemas adicionales de Mtodos II (C y E) 2012-13
problemas adicionales 1
7. 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) .
10. Escribir (E) tt + 2 t = 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 y encontrar dos soluciones distintas para el otro.
+L t +R = 0
12. El potencial y la intensidad en una linea telegrfica satisfacen: ,
+C t +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) = ( ) .
I
= 0, 0 , t 2R
tt
15. Sea n . a] Hallar (1,3) . b] Dibujar ( ,2) .
cos 2 , 2 [1, 3]
( ,0) = 0 , 2 [0, 1][[3, )
, t( ,0) = (0,t) = 0
tt 4 =0 , 0 , t 2R
16. Sea . Hallar (2, 4) .
( , 0) = t ( , 0) = 0 , (0, t) = t
tt =0 , 0 , t 2R a] Hallar 2
, . b] Hallar ( , ) para .
17. Sea .
( , 0) = t ( , 0) = 0 , (0, t) = sen t [ = sen t cos cumple dato de contorno y ecuacin].
tt = 0 , 2 [0,2] , t 2 R 3
18. Sea . Hallar ,1 .
( , 0) = 0 , t ( , 0) = ( 1)2 , (0, t) = (2, t) = t 2
= 0 , 2 [0, 1], t 2 R
tt
19. Sea ( , 0) = t ( , 0) = 0 . Hallar ( 12 , 12 ) y ( 12 , 32 ) .
(0, t) = 0 , (1, t) = sen t
21. El dominio de influencia de los datos iniciales en o es el conjunto de puntos del plano t
para los que la solucin ( , t) depende de los valores de o de g en ese punto. Describir
los dominios de influencia de y de g para los problemas (P1 ) , (P3 ) , (P5 ) de la seccin 1.4.
8 8
tt =0 , 0, t 2 R tt = 0 , 2 [0, 4], t 2 R
< n < n
sen , 1 2 sen , 2 3
22. Para los problemas: a] ( , 0) = b] ( , 0) =
: t 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.
2
tt rr + r r = 0, r 0
23. Sea 3
. Hallar (2, 3) .
(r, 0) = 6 , t (r, 0) = 5r
(
2
tt rr + r r = 0, r 0 a] Hallar (1, 5) y (7, 5) . Hallar (0, t) .
24. Sea 2 .
(r, 0) = , t (r, 0) = 0 b] Dibujar aproximadamente y simplificar (r, 5) .
4+r 2
8 8
2
tt rr = 0 , r 0, t 2 R tt rr r = 0 , r 0, t 2 R
< >
< r
2r r 2 , r 2 [0, 2] 2 r , r 2 [0, 2]
25. Sean (r, 0) = F(r) y (r, 0) = 0 en el resto (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 .
2
t +2t = 4t t t = g( )
26. Resolver: a] , b] por las caractersticas y mediante la F .
( , 1) = ( ) ( , 1) = 0
tt +2 t + =0 , , t 2R i) a partir de su forma cannica,
27. Hallar la solucin de ,
( , 0) = 0, t( , 0) = g( ) ii) con transformadas de Fourier.
t = 0, ,t > 0
28. Resolver extendiendo :
( , 0) = ( ), (0, t) = 0, acotada
t 2 = 0, 2R , t >0
29. Resolver (en trminos de funciones elementales) 2
/2 :
( , 0) = e , acotada
a] con la F directamente, b] con un cambio = ept eq que lleve a la ecuacin del calor.
II
problemas adicionales de Mtodos II (C y E) 2012-13
problemas adicionales 2
6. Sea 3(1+ 2 )y 00 +2 y 0 = 0 . Hallar 3 trminos no nulos del desarrollo de una solucin no trivial
que se anule en = 0 . Estudiar si todas las soluciones estn acotadas cuando ! .
8. Dar un valor de b para el que la solucin general por series de y 00 + besen y 0 = 0 en torno
a = 0 no contenga logaritmos y otro valor para el que s.
9. Sea 2 2 y 00 + ( +1)y 0 (2 +1)y = 0 . Hallar una solucin no nula que sea analtica en = 0.
Estn acotadas todas las soluciones de dicha ecuacin en un entorno del origen?
10. Hallar el trmino general del desarrollo de una solucin de y 00 +y = 0 que se anule en = 0 .
Calcular el valor de la constante del trmino que contiene el ln en la segunda solucin.
11. Sea y 00 +(2 2 1)y 0 4 y = 0 . a] Precisar los para los que hay polinomios solucin que
se anulan en = 0 . b] Para = 1 , hallar una solucin analtica en = 0 y determinar si todas
las soluciones lo son. c] Para = 0 , hallar la solucin general sin utilizar series.
14. Hallar, sin series, una solucin linealmente independiente de P1 de la ecuacin de Legendre
con p = 1 . Comparar su desarrollo con el de la teora. Hacer = 1/ s , resolver y comparar.
16. Sea ( 1)y 00+(4 2)y 0+2y = 0 . a] Probar que hay una solucin analtica en = 0 y calcularla.
b] Identificar esta solucin entre las que se obtendran si resolvisemos por series en torno a
= 1 . c] Estudiar si todas las soluciones de la ecuacin tienden a 0 cuando ! .
17. Sea 2 (1+ )y 00 + (3+2 )y 0 + y = 0. Hallar, trabajando en = 0 , una solucin no trivial que
no contenga el ln . Probar que todas sus soluciones estn acotadas cuando ! .
18. Sea (1+ )y 00 y 0 = 0 . Hallar, con Frobenius, una solucin que se anule en = 0 . Hacer = 1s
y deducir si hay soluciones no acotadas cuando ! . Resolver sin series y comprobar.
III
problemas adicionales de Mtodos II (C y E) 2012-13
problemas adicionales 3
n sen , | | / 2
Hallar su serie de Fourier en senos y cosenos en [ , ].
1. Sea ( ) = .
Dibujar la funcin hacia la que converge y la cuarta suma parcial.
0 , /2< | |
7. Discutir, segn los valores de la constante b , cuntas soluciones tienen los problemas:
y 00 + 2y 0 = 1 2 y 00 3 y 0 +3y = b 2
a) b)
y 0 (1) = 2y 0 (2)+by(2) = 0 y(1) = y 0 (1) , y(2) = 2y 0 (2)
cos y 00 2 sen y 0 = ( ) Ver para qu no tiene solucin nica y dar para ese
8. Sea
y0 4
= y0 4
y 4
=0 una ( ) para el que haya infinitas soluciones.
y 00 + 2y 0 = + c
9. Discutir cuntas soluciones tiene el problema .
y 0 (1) y(1) = y 0 (2) = 0
= F(r) 00 +r 1 0
10. Precisar cundo tiene solucin o soluciones 0 (1) , , b 0.
(1) = A, 0 (2)+b (2) = B
[se puede interpretar como un problema para Laplace en el plano con simetra radial].
00 i) con s = +1
y + y= Hallar autovalores y autofunciones del homogneo ii) directamente
12. Sea .
y 0 ( 1) = y 0 (1) = 0 Discutir cuntas soluciones tiene el no homogneo.
00
y + y=1 Hallar autovalores y autofunciones del problema homogneo.
13. Sea .
y 0 ( 1) = y(1) = 0 Existen para algn infinitas soluciones del no homogneo?
00
y + 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 ?
15. Hallar una frmula para la solucin de un problema de Sturm-Liouville no homogneo utili-
zando 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.
IV
problemas adicionales de Mtodos II (C y E) 2012-13
problemas adicionales 4
y 00 + y = Hallar autovalores y autofunciones del homogneo y precisar
3. a] Sea .
y 0 ( 1) = y 0 (1) = 0 si hay para algn infinitas soluciones del no homogneo.
tt = 0 , 2 [ 1, 1], t 2 R
b] Resolver: .
( , 0) = cos 2 , t ( , 0) = 1 ; ( 1, t) = (1, t) = 0
t (2+cos t) =0 , 2 0, 2 , t > 0 t 4 4 = 0, 2 (0, ), t > 0
g) h) 2
( , 0) = 1 , (0, t) = 2
, t =0 ( , 0) = e , (0, t) = ( , t) = 0
t = F(t) , 2 (0, ), t > 0 Hallar la distribucin estacionaria
5. Resolver .
( , 0) = ( ) , (0, t) = ( , t) = 0 si ( ) = sen2 2 y F(t) = e t .
t = 0 , 2 (0, 1), t > 0
8. Resolver y comprobar que ! .
( , 0) = 0 , (0, t)+ (0, t) = 1, (1, t) = 0 t!
t 2t = 0 , 2 (0, 3), t > 0
9. Resolver y demostrar que tiene solucin nica.
( , 0) = 0 , (0, t) = 0, (3, t) = t 2
V
tt = 0 , 2 [0, 2], t 2 R a] usando la de los apuntes,
12. 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.
= , 2 [0, ], t 2 R
tt
13. Sea ( , 0) = , t ( , 0) = 0 Hallar 2
, con DAlembert y separando variables.
(0, t) = 0, ( , t) =
+ yy 5 = 0 en (0, )(0, 1)
Resolverlo para i) ( ) = sen 2 y ii) ( ) = 1.
16. Sea (0, y) = ( , y) = 0 .
Es nica la solucin?
y ( , 0) = 0 , y ( , 1) = ( )
= 9r , 1 < r < 2
17. Resolver de varias formas el problema plano .
(1, ) = 2 sen2 , r (2, )=0
= , r < 1, 2 (0, )
18. Resolver el problema plano y probar que ( 12 , 2 ) 0 .
(r, 0) = (r, ) = (1, ) = 0
26. Escribir en cartesianas los armnicos esfricos: Y00 , rY10 , rY11 , r 2 Y20 , r 2 Y21 , r 2 Y22 .
VI
27. Resolver por separacin de variables estos problemas en 3 variables:
8 8
tt = 0, ( , y) 2 (0, )(0, ), t 2 R t = 0, 1 < r < 2, 0 < z < 1, t > 0
< ( , y, 0) = sen3 sen y , < (r, z, 0) = sen z
t ( , y, 0) = 0
a) b)
: (0, y, t) = ( , y, t) = 0 : (1, z, t) = (2, z, t) = 0
( , 0, t) = ( , , t) = 0 (r, 0, t) = (r, 1, t) = 0
2 y 00 y0 + y = 3
31. 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 = ( )
32. Sea . Determinar autovalores y autofunciones del homogneo.
y(1) = y(2) = 0
Precisar para qu n 2 N el problema con = 2 , ( ) = sen n tiene soluciones, hallndolas
en ese caso. Si = 0 , ( ) = 1 , hallar la solucin con la funcin de Green.
y 00 = ( )
33. 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) = 12 |s | satisface 00 = (s ) para fijo . b) Llegar al resultado con tcnicas
del captulo 2. c) Escribir la solucin si ( )=1 , =0 , b=1 .
VII