Documente Academic
Documente Profesional
Documente Cultură
apuntes de
ecuaciones
diferenciales II
(EDPs)
Pepe Aranda
Métodos Matemáticos
Físicas Complutense
Índice
Bibliografía
Sobre las versiones de los apuntes
Introducción 1
3. Separación de variables 29
3.1 Separación de variables para calor y ondas 30
3.2 Separación de variables para Laplace 38
3.3 Algunos problemas en tres variables 46
3.4 Funciones de Green 51
Apéndice 69
Problemas 1 73
Problemas 2 74
Problemas 3 75
Problemas 4 77
Problemas adicionales 1 79
Problemas adicionales 2 80
Problemas adicionales 3 81
Problemas adicionales 4 82
Bibliografía
BD Boyce-Di Prima. ECUACIONES DIFERENCIALES y problemas con valores en la frontera.
Limusa
Si Simmons. ECUACIONES DIFERENCIALES (con aplicaciones y notas históricas).
McGraw-Hill
Br Braun. ECUACIONES DIFERENCIALES Y SUS APLICACIONES. Interamericana
R Ross. ECUACIONES DIFERENCIALES. Reverté
E Elsgoltz. ECUACIONES DIFERENCIALES Y CALCULO VARIACIONAL. Mir
MCZ Marcellán-Casasús-Zarzo. ECUACIONES DIFERENCIALES. PROBLEMAS LINEALES Y
APLICACIONES. McGraw-Hill
PA Puig Adam. CURSO TEORICO-PRACTICO DE ECUACIONES DIFERENCIALES
APLICADO A LA FISICA Y TECNICA.
H Haberman. ECUACIONES DIFERENCIALES EN DERIVADAS PARCIALES con Series de Fourier
y Problemas de Contorno. Pentice Hall
Ss Strauss. PARTIAL DIFFERENTIAL EQUATIONS. An Introduction. Wiley
W Weimberger. ECUACIONES DIFERENCIALES EN DERIVADAS PARCIALES. Reverté
MU Myint-U. PARTIAL DIFFRENTIAL EQUATIONS OF MATHEMATICAL PHYSICS. Elsevier
T Tijonov-Samarski. ECUACIONES DE LA FISICA MATEMATICA. Mir
Sp Stephenson. INTRODUCCION A LAS ECUACIONES EN DERIVADAS PARCIALES. Reverté
Ch Churchill. SERIES DE FOURIER Y PROBLEMAS DE CONTORNO. McGraw-Hill
J John. PARTIAL DIFFERENTIAL EQUATIONS. Springer-Verlag
Sk Stakgold. GREEN’S FUNCTIONS AND BOUNDARY VALUE PROBLEMS. Wiley
Los primeros cinco libros (básicamente de EDOs) tienen introducciones a las EDPs. En
concreto, BD, Br, R y Si estudian los problemas de contorno para EDOs y el método de
separación de variables. R clasifica también las EDPs de segundo orden con coeficientes
constantes. E trata con detalle las EDPs de primer orden. Los dos siguientes, el MCZ y el
clásico PA (de 1950), son mixtos de EDOs y EDPs y abarcan una mayor parte del curso. Los
demás libros son más bien 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 páginas
(y sirven para parte del curso). J y Sk son de mayor nivel y bastante más difíciles de leer.
Gran parte de los libros de EDPs, en vez de organizarse en torno a los métodos de resolu-
ción (como en los apuntes), estudian por separado y con diferentes técnicas las ecuaciones
hiperbólicas, elípticas y parabólicas.
Las EDPs de primer orden se estudian en H, E, PA y J, aunque se centran más en las
ecuaciones cuasilineales (también tratan las no lineales). La reducción a forma canónica
y las cuestiones de unicidad se ven en casi todos los libros de EDPs. Véase por ejemplo
MU, W o T. Para un estudio serio de los problemas de Cauchy ver el J. La deducción de las
ecuaciones y el significado físico de los problemas se puede mirar, por ejemplo, en Bd, W,
H, Ss o T.
Para el 2 es recomendable leer BD, Si y H. La teoría general de problemas de contorno,
funciones de Green, desarrollos en autofunciones. . . en el Sk. Hay demostraciones menos
generales (con matemáticas más elementales) en Ss, W o Ch. La sección 3.4 sigue más o
menos el MU. W, Ss, T y Sp también estudian las funciones de Green por otros caminos.
Cuestiones más avanzadas en el Sk.
La separación de variables (capítulo 3) está en casi todos los libros. Buenas introducciones
hay en los cuatro primeros y en el Sp. El libro más recomendable para todo este capítulo es
el H. Para precisiones de convergencia y problemas de varias variables ver Ss, W, MU o T.
Para las secciones 4.1 y 4.2 se puede consultar el PA, H, SS, W, MU, T o J. En ellos se
deducen las fórmulas de 4.2 no demostradas en los apuntes. Para la 4.3 ver Ch, Ss, MU, Sp
y, sobre todo, H y W que utilizan también la transformada de Laplace para EDPs (W tiene
una introducción a la variable compleja).
El MCZ, el H y el Ss dan métodos numéricos para problemas de contorno y EDPs (lo que
no hacen los demás libros, salvo unas pocas ideas del W).
Sobre las versiones de los apuntes
Versión 2009. Bastantes novedades, empezando por la letra, que pasa a ser Bitstream-Vera
(sin serif), lo que obliga a reescribir (y de paso a retocar) muchas partes del texto.
1.1 y 1.3 se modifican levemente y 1.2 se vuelve a reordenar.
2 tiene ahora 3 secciones. Los ejemplos de la vieja 2.1 desaparecen (se incluyen, además
de otros ejemplos nuevos) en la nueva 2.1. También aparecen más ejemplos en series de
Fourier y en problemas no homogéneos.
3.1 incluye dos ejemplos nuevos del calor y las ideas sobre subproblemas pasan al final de
3.2. Esta sección incluye dos ejemplos más en cartesianas y uno en polares. 3.3 cambia
poco y como 3.4 (antes 4.4) aparece la introducción a las funciones de Green para Laplace.
En todo el 4 aparecen bastantes ejemplos nuevos (y algunos viejos se detallan más). En 4.1,
uno de cuerda semi-infinita y otro de cuerda acotada, y dos de ondas en 3 dimensiones en
4.2. Las transformadas de Fourier F de 4.3 tienen tres ejemplos nuevos.
Aparece un apéndice en el que se repasan algunos resultados de EDOs, de convergencia
uniforme y cálculo en varias variables.
Los problemas (y los adicionales) tienen bastantes cambios (los grupos piloto exigen inven-
tar muchos problemas para entregar, para parcialillos,... y eso se nota).
y(0) = 0, y(π) = 0
tiene infinitas soluciones: y = C sen , con C constante arbitraria.
Los problemas de contorno que nos aparecerán al utilizar el método de separa-
ción de variables del capítulo 3 dependerán de un parámetro λ . Para analizar
sus propiedades convendrá escribir la ecuación de la siguiente forma:
¨ (py 0 )0 − qy + λry = 0
(P) αy() − α 0 y 0 () = 0
βy(b) + β0 y 0 (b) = 0
Ante un problema como (P) nuestro objetivo será hallar los valores de λ para
los que hay soluciones no triviales (autovalores de (P)) y esas soluciones
no triviales correspondientes a cada λ (autofunciones de (P) asociadas a λ ).
Observemos que y = 0 es siempre solución trivial de (P) y que, por ser lineales y
homogéneas la ecuación y las condiciones de contorno, si y() es solución de (P)
también lo es Cy() para cualquier C .
Comenzaremos en 2.1 estudiando varios ejemplos para la ecuación y 00 +λy = 0
(la más sencilla y la que más veces aparece separando variables). En ellos existirá
una sucesión infinita de autovalores y las autofunciones asociadas a λ distintos
serán ortogonales entre sí. Después precisaremos para qué tipo de problemas de
contorno (P) se mantienen esas propiedades. Serán los que se llaman problemas
de Sturm-Liouville separados. Hablaremos también brevemente de los proble-
mas periódicos y de los singulares.
En la sección 2.2 veremos que cualquier función ƒ 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 resolución de EDPs. Este resultado generaliza los
desarrollos de Fourier en series de senos y cosenos, cuyas propiedades básicas
también veremos. Aunque la convergencia natural de estas series sea la llamada
’convergencia en media’, nosotros nos limitaremos a tratar la convergencia puntual
y uniforme.
Por último, en 2.3, estudiaremos problemas en que la ecuación (o alguna condi-
ción de contorno) sea no homogénea. Para ellos, ni y = 0 es solución, ni lo son los
múltiplos de una solución dada. La existencia de soluciones dependerá de si exis-
ten o no soluciones no triviales del homogéneo. Tendrán solución única en el último
caso, e infinitas o ninguno si el homogéneo tiene infinitas. Cuando haya solución
única daremos una fórmula para las soluciones del no homogéneo en términos de
la llamada función de Green.
La notación en todo este capítulo será y() , pero en separación de variables las
funciones de nuestros problemas de contorno serán X() , Y(y) , R(r) , Θ(θ) , . . .
15
2.1. Problemas de Sturm-Liouville homogéneos
Antes de dar la teoría general, hallemos los autovalores y autofunciones de dos
problemas de contorno homogéneos para la sencilla EDO lineal y 00 +λy = 0 .
p
Como su polinomio característico es μ2 +λ = 0 → μ = ± −λ , la solución general
de la ecuación será diferente según λ 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 solución general es y = c1 ep + c2 e−p , con p = −λ > 0 .
y(0) = c1 + c2 = 0 → c2 = −c1 &
«
y(0) = c1 = 0
Si λ = 0 es y = c1 + c2 → → y ≡ 0 . λ = 0 tampoco es autovalor.
y(π) = c1 +c2 π = 0
p y(0) = c1 = 0 ↓
Y para λ > 0 es y = c1 cos +c2 sen , con = λ > 0 →
y(π) = c2 sen π = 0
Para tener solución 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
«
λ<0 → → c2 = c1 → c1 [eπp −e−πp ] = 0 → y ≡ 0 .
y 0 (π) = p[c1 eπp −c2 e−πp ] = 0
y 0 (0) = c2 = 0
λ=0 → → λ = 0 autovalor con autofunción y0 = c1 .
y 0 (π) = c2 = 0
y 0 (0) = c2 = 0 ↓
1
λ>0 → → λn = n2 , yn = c1 cos n .
y 0 (π) = −c1 sen π = 0 cos x
16
Pasemos a tratar ya el problema general. Sea la ecuación lineal de segundo orden
dependiente de un parámetro real λ :
y 00 + ()y 0 + b()y + λc()y = 0 , con , b, c ∈ C[, b] , c() > 0 en [, b] .
La reescribimos de otra forma,Rque se suele denominar ’autoadjunta’ o ’Sturm-
Liouville’. Multiplicando por e se tiene
h R i0 R R
0
e y 0 + b e y + λ c e y ≡ py 0 − qy + λry = 0 , con p ∈ C1 , q, r ∈ C , p, r > 0 .
Las condiciones que más nos van a interesar son las condiciones separadas (cada
una afecta a los valores de y o de y 0 sólo 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 sucesión infinita λ1 < λ2 < · · · < λn < · · ·
que tiende a ∞. Las autofunciones {yn } forman un espacio vectorial
de dimensión 1 y cada yn posee exactamente n − 1 ceros en (, b) .
Las autofunciones asociadas a autovalores distintos son ortogonales
Teor 1. en [, b] respecto al peso r , es decir:
Rb
〈yn , ym 〉 ≡ r yn ym d = 0 , si yn , ym están asociadas a λn 6= λm .
Si αα 0 ≥ 0 , ββ0 ≥ 0 y q() ≥ 0 en [, b] entonces todos los λn ≥ 0 . En
particular, para y() = y(b) = 0 [o sea, si α 0 = β0 = 0 ] todos los λn > 0 .
Rb Rb
pues ry 2 d > 0 ( r > 0 ) , p(y 0 )2 +qy 2 d ≥ 0 ( p > 0 , q ≥ 0 ) ,
¨ β ¨ α
p(b)[y(b)]2 ≥ 0 si β0 6= 0 p()[y()]2 ≥ 0 si α 0 6= 0
−[pyy 0 ](b) = β0 , [pyy 0 ]() = α0 .
0 si β0 = 0 0 si α 0 = 0
Rb
Si y() = y(b) = 0 , y = {1} no es autofunción ⇒ y 0 ≡
6 0 ⇒
p(y 0 )2 > 0 ⇒ λ > 0 .
17
00
y + λy = 0 0 0
Ej 3. (P3 ) (casi en forma autoadjunta: y + λy = 0 ; es r ≡ 1 ).
y 0 (0) = y(1) = 0
Tendrá las propiedades del teorema 1. Busquemos sus λn . Como αα 0 = ββ0 = 0 , q ≡ 0 , nos
limitamos a los λ ≥ 0 . [Ahora ya sabemos que podíamos haber hecho esto en el ejemplo
2, y que en el 1 hubieran bastado los λ > 0 ; que conste que hay problemas con λ < 0 ].
y 0 (0) = c2 = 0
λ = 0 : y = c1 +c2 → → y ≡ 0 . λ = 0 no es autovalor.
y(1) = c1 +c2 = 0
y 0 (0) = c2 = 0
λ = 0 : y = c1 +c2 → → y ≡ 0 . λ = 0 no autovalor.
y 0 (1)+y(1) = c1 +2c2 = 0
λ > 0 : y = c1 cos +c2 sen . y 0 (0) = c2 = 0 → y 0 (1)+y(1) = c1 [cos − sen ] = 0 .
00
y − 2y 0 + λy = 0 μ2 −2μ+λ = 0 , −2 0 0
Ej 5. (P5 ) → p e y + λe−2 y = 0
y 0 (0) = y 0 (1) = 0 μ = 1± 1−λ .
Sabemos que los λ ≥ 0 , pero esto no ahorra cálculos, pues y hay que mirar λ <, =, > 1 :
p
λ < 1 : y = c1 e(1+p) + c2 e(1−p) , y 0 = c1 (1+p) e(1+p) + c2 (1−p) e(1−p) , p = 1−λ →
c1 [1+p] + c2 [1−p] = 0
«
→ c2 (1−p)e[e−p −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, . . . → λn = 1+n2 π 2 , yn = e [sen nπ−nπ cos nπ] , n = 1, 2, . . .
2 00
y + y 0 + λy = 0
R R d
0 y
p() = e
=e + λ = 0 . Es r() = 1 .
= → y 0
Ej 6. (P6 )
y(1) = y(e) = 0
Es problema separado regular p, r > 0 en [1, e] .
p
Ecuación de Euler: r(r −1)+r +λ = 0 → r = ± −λ . Basta mirar los λ > 0 :
c =0
y = c1 cos( ln )+c2 sen( ln ) , c1 sen = 0 λn = n2 π 2 , yn = sen(nπ ln ) , n = 1, 2, . . .
2
R e sen(nπ ln ) sen(mπ ln ) d
Como siempre, las autofunciones son ortogonales: 1
= 0 , m 6= n .
18
Separando variables nos aparecerán también 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 periódico:
00
y + λy = 0 [Estas condiciones equivalen a
Ej 7. (P7 )
y(−π) = y(π), y 0 (−π) = y 0 (π) pedir que y sea 2π-periódica].
2c2 sen π = 0
«
λ>0 → → sen π = 0 → λn = n2 , n = 1, 2, . . .
2c1 sen π = 0
Las propiedades de (P7 ) son algo distintas de las los problemas separados: sigue ha-
biendo una sucesión 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 dimensión 2. Utilizando sen cos b = 21 sen(+b)+ sen(−b)
(y las relaciones ya vistas para sen sen b y cos cos b y las fórmulas del ángulo
doble) se comprueba que sigue siendo cierto que autofunciones diferentes son
ortogonales entre sí.
otros tipos de condiciones de contorno (y para otros muchos no) además de las separadas.
Por ejemplo ocurre en los llamados problemas periódicos que generalizan el (P7 ):
[py 0 ]0 − qy + λry = 0 , con p() = p(b) , p ∈ C1 [, b] , q, r ∈ C[, b] , p, r > 0 en [, b]
¨
(Pp )
y() = y(b), y 0 () = y 0 (b) (condiciones periódicas)
Para (Pp ) no se anula el wronskiano de dos soluciones ni en ni en b
(y por
eso hay espacios
de autofunciones de dimensión 2), pero es claro que p|W|(yn , ym ) (b) = p|W|(yn , ym ) () .
b
Más en general, se llaman problemas autoadjuntos aquellos tales que p|W|(, ) = 0
00
y + λy = 0
p|W|(, ) (π) = − p|W|(, ) (0) .
Ej 8. (P8 ) Se tiene
y(0) = y(π), y 0 (0) = −y 0 (π)
19
Resolviendo algunas EDPs aparecerán problemas singulares de Sturm-Liouville
que no reúnen todas las condiciones de los regulares: p ó r se anulan o no son
continuas en algún 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 acotación, de forma que siga habiendo ortogonalidad,
es decir, según vimos en la demostración del teorema 1, que se cumpla:
0 − y y 0 ) b = (λ − λ )〈y , y 〉 .
0 = p (yn ym
m n n m n m
R
y 00 + 2y 0 + λy = 0 e = 2
0
Ej 9. (P9 ) y 00 + 2 y 0 +λy = 0 −→ 2 y 0 +λ2 y = 0 .
y acotada en = 0, y(1) = 0
y 00 + y 0 + λy = 0
0
→ y 0 + λy = 0 .
Ej 10. (P10 )
y acotada en = 0, y(1) = 0
p
Se puede probar que λ > 0 . Haciendo el cambio de variable independiente s = λ
la ecuación se convierte en la de Bessel de orden 0 :
d2 y dy p p
s ds2 + ds + sy = 0 → y = c1 J0 (s) + c2 K0 (s) = c1 J0 ( λ ) + c2 K0 ( λ )
¨ 0
(1−2 )y 0 + λy = 0
Ej 11. (P11 )
y acotada en = ±1 La ecuación es la de Legendre si λ = p(p+1) .
Se sabe que sus únicas soluciones acotadas en 1 y −1 son los polinomios de Legendre
Pn () , que aparecen cuando p = n , n = 0, 1, 2, . . .
Los autovalores son λn = n(n+1) , n = 0, 1, 2, . . . y las autofunciones son los Pn , que
R1
P P d = 0 si m 6= n r() = 1 .
cumplen, como se ve en los cursos de EDOs: −1 n m
20
2.2. Series de Fourier
Consideremos el problema de Sturm-Liouville separado regular:
0
[py 0 ] − qy + λry = 0
¨
(Ps )
αy()−α 0 y 0 () = 0, βy(b)+β0 y 0 (b) = 0
n=1
Supongamos que este desarrollo es válido y que la serie puede ser integrada tér-
mino a término. Entonces, por ser las yn ortogonales:
Rb ∞ Rb Rb
rƒ ym d = cn r yn ym d = cm r ym ym d
X
n=1
El problema (nada elemental) reside en precisar para qué funciones ƒ la serie con
esos coeficientes (serie de Fourier de ƒ ) converge realmente hacia ƒ en [, b] .
Aunque se le pueden exigir condiciones más débiles, nosotros pediremos a ƒ que
sea C1 a trozos, condición que será satisfecha por las funciones que nos aparecerán
en problemas prácticos.
[Recordamos que ƒ es C1 a trozos en [, b] si podemos dividir el
intervalo en subintervalos [, b] = [, 1 ] ∪ [1 , 2 ] ∪ · · · ∪ [n , b]
de modo que:
i. ƒ y ƒ 0 son continuas en cada (k , k+1 ) , a x1 xn b
ii. los límites laterales de ƒ , ƒ 0 en cada k existen y son finitos].
21
Caso particular de los desarrollos en serie de Fourier son los desarrollos en series
trigonométricas, que, al ser los que más utilizaremos, estudiamos con detalle.
y + λy = 0
00
2 2
son λn = nLπ2 e yn = sen nπ , n = 1, 2, . . . .
(P1 )
y(0) = y(L) = 0 L
RL 2
Ya que el peso es r() ≡ 1 y se tiene que 〈yn , yn 〉 = 0
sen nπ
L
dt = L
2
.
[Hemos escrito impropiamente ƒ = ; la igualdad sólo se da en los ∈ (0, L)
en que ƒ es continua; en 0 y L aún no sabemos, pero pronto lo sabremos].
y + λy = 0
00
2 2
son λn = nLπ2 , yn = cos nπ , n = 0, 1, . . . yo = {1}
(P2 )
y 0 (0) = y 0 (L) = 0 L
RL RL 2
Pues 〈yo , yo 〉 = 0
12 d = L e 〈yn , yn 〉 = 0
cos nπ
L
d = L
2
, si n ≥ 1.
o
[Ponemos 2
en la serie para que la fórmula del n valga también para o ].
1
Ej 1. Sea ƒ () = , ∈ [0, 1] . Desarrollémosla en senos y en cosenos:
x
∞
2 X (−1)n+1
R1 2
0 1
ƒ () = π n
sen nπ , pues bn = 2 0 sen nπ d = − nπ cos nπ , n = 1, 2, . . .
n=1
∞ ∞
1 (−1)n −1
ƒ () = + π22 cos nπ = 1 4 X 1
X
2 n2 2
− π2 (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, . . .
Ambas series, según el teorema 1, convergen hacia ƒ () para todo ∈ (0, 1) .
Lo mismo sucedería con el desarrollo en autofunciones de cualquier otro pro-
blema de Sturm-Liouville que considerásemos. Cuando nos encontremos estas
series resolviendo EDPs no tendremos la libertad de elegir en qué autofunciones
desarrollar: nos las impondrá el problema.
Otras dos familias de autofunciones sencillas en las que vamos a desarrollar fun-
ciones muchas veces son las de estos problemas fáciles de resolver:
y + λy = 0
00
[2n−1]2 π 2 [2n−1]π
n o
con λn = 22 L2 , yn = sen , 〈yn , yn 〉 = 2L , n = 1, 2, . . .
y(0) = y (L) = 0
0 2L
y + λy = 0
00
[2n−1]2 π 2 [2n−1]π
n o
con λn = 22 L2 , yn = cos , 〈yn , yn 〉 = 2L , n = 1, 2, . . .
y (0) = y(L) = 0
0 2L
22
La teoría de series de Fourier puede ser extendida para incluir autofunciones de
problemas con condiciones periódicas. Así para:
¨ y 00 + λy = 0
2 2
y(−L) = y(L) , λn = nLπ2 , n = 0, 1, . . . , yo = {1} , yn = cos nπ , sen nπ
(P3 ) L L
y 0 (−L) = y 0 (L)
Z L
[4] n = 1
L
ƒ () cos nπ
L
d , n = 0, 1, 2, ... , y
−L
Z L
[5] bn = 1
L
ƒ () sen nπ
L
d , n = 1, 2, ... , ya que se cumple:
−L
RL RL
cos mπ
−LL
sen nπ
L
dt = 0 para todo m y n ; −L 12 d = 2L ;
0 m 6= n 0 m 6= n
RL mπ nπ
RL mπ nπ
−L
cos L
cos L
d = L m=n
; −L
sen L
sen L
d = L m=n
.
Las fórmulas [3]-[5] también valen para desarrollar una ƒ definida inicialmente
en cualquier otro intervalo [, +2L] (cambiando los límites a la integral) pues
R +2L R +2L
cos2 = sen2 = L .
Como en el teorema 1, la serie de [3] converge hacia ƒ () en los en los que
ƒ es continua. Además se puede decir lo que sucede en los extremos −L y L
(observando que la [3] define de hecho una función en todo R que es 2L-periódica).
Podemos hablar también sobre la convergencia uniforme de [3] (sin demostrar
nada, como en toda la sección):
Las fórmulas [1] y [2] para los coeficientes de las series en senos y de las series en
cosenos se pueden ver como casos particulares de [4] y [5]:
Dada una ƒ inicialmente definida en [0, L] podemos extenderla de forma impar o
de forma par a [−L, L]. En el primer caso es impar ƒ () cos nπ
L
y par ƒ () sen nπ
L
.
nπ nπ
En el segundo ƒ () cos L es par y ƒ () sen L es impar. Por tanto, n = 0 y [5]
se convierte en [1] en el primero, y en el segundo bn = 0 y [4] pasa a ser [2].
[Si definiésemos la ƒ de cualquier otra forma en [−L, 0), la serie en senos y cosenos
también convergería hacia ƒ () en los de (0, L) en que fuese continua].
Como consecuencia de lo anterior y del teorema 2 se tiene que:
23
1 En particular, la serie en senos del Ej 1
par no converge uniformemente hacia ƒ en
[0, 1] (sí lo hace en cualquier intervalo de
-3 -1 0 1 3 la forma [0, b] , b < 1 ). La serie en cose-
nos sí converge uniformemente en [0, 1] .
impar 1 [Aunque las series en cosenos se compor-
ten mejor, resolviendo EDPs no podremos
-3 -1 0 1 3 elegir, como ya hemos dicho, el tipo de
series en que desarrollar las funciones].
-1
1
0 , −1 ≤ ≤ 0
Ej 2. Sea ƒ () = .
, 0≤≤1 -1 0 1
Su serie en senos y cosenos está casi calculada:
1 ∞
1 X (−1)n − 1 ∞
1 X (−1)n
+ cos nπ − sen nπ .
4 π2 n2 π n
n=1 n=1
-1 0 1
La suma de esta serie es 0 en (−1, 0] , en
[0, 1) y 1/ 2 en −1 y 1 . En todo cerrado que no Sngordo
S2
contenga estos puntos la convergencia es uni-
forme. Cerca de ellos la convergencia es mala y
lenta. [Se produce el ‘fenómeno de Gibbs’: apa- S0
recen ’picos’ cerca de las discontinuidades]. S1
∞
(2n−1)π (2n−1)π
R1 h
4(−1)n+1 8
i
cn = 2 d → =
X
0
cos 2 π(2n−1)
− π 2 (2n−1)2
cos 2
.
n=1
24
2.3. Problemas no homogéneos; función de Green
Separando variables en la ecuación de Laplace y similares aparecerán, además
de problemas de Sturm-Liouville homogéneos, otros problemas de contorno con la
ecuación o las condiciones no homogéneas (para calor y ondas serán de valores
iniciales). Antes de dar su teoría general, veamos un ejemplo.
00
y = −d
Ej 1. Discutamos cuántas soluciones tiene , d , b constantes.
y(1) = y(2)+by 0 (2) = 0
3 2 2
La solución general es: y = c1 +c2 + − d con y 0 = c2 + 2 −d . Imponiendo datos:
6 2
1
− d2 c1 +c2 = d2 − 16
( (
y(1) = c1 +c2 + 6
=0
4 , es decir: .
y(2)+by 0 (2) = c 1 +2c2 + 3 −2d+bc2 +2b−2bd = 0 c1 +(2+b)c2 = 2bd+2d−2b− 43
Si en vez de la −d concreta tuviésemos una ƒ () general, el teorema daría rápidamente:
infinitas R2 =0
única solución si b 6= −1 , e , según 1 ƒ ()(1−) d 6= 0 , para b = −1 .
ninguna
R R
Costaría bastante más concluirlo hallando la solución: c1 +c2 + 1 ƒ (s)ds− 1 sƒ (s)ds .
25
Sea ahora el problema con condiciones de contorno no homogéneas:
0
p()y 0 + g()y = ƒ ()
¨
(PAB ) , p ∈ C1 , g, ƒ ∈ C, p > 0 en [, b] ,
αy()−α 0 y 0 () = A, βy(b)+β0 y 0 (b) = B
y 00 − y 0 = 0
Ej 2. Discutamos cuántas soluciones tiene: (P )
y 0 (1)+y(1) = 0, y(2) = 1
26
00
y + λy = 1
Ej 3. (P3 ) Estudiemos, según λ , cuántas soluciones tiene.
y 0 (0) = y 0 (1)−2y(1) = 0
Hallemos los λn del homogéneo. Como ββ0 < 0 podrían aparecer autovalores negativos.
c2 = c1 &
«
λ < 0 : y = c1 ep +c2 e−p →
c1 p[ep −e−p ]−2[ep +e−p ] = 0
c2 = 0
λ = 0 : y = c1 + c2 → → λ = 0 no es autovalor.
−2c1 −c2 = 0
c2 = 0 &
λ > 0 : y = c1 cos +c2 sen →
c1 ( sen +2cos ) = 0
Para acabar, deduzcamos una fórmula que para cualquier ƒ () nos da la solución
del (Pf ) del principio de la sección (en el caso de que sea única) en términos de
integrales, conocidas las soluciones de la ecuación homogénea (algo parecido a la
fórmula de variación de las constantes para problemas de valores iniciales):
p0 0 q ƒ
Por tanto, y() es solución de la no homogénea y 00 + p
y + py = p
.
Rb y2 ƒ
R y1 ƒ
R y2 ƒ
Además como y 0 () = y10 |W| p
+ y20 |W| p
− y10se tiene que:
|W| p
Rb y ƒ Rb y ƒ
y() = cy1 (), y 0 () = cy10 (), y(b) = ky2 (b), y 0 (b) = ky20 (b) , c = |W|p
2
, k = |W|p
1
27
00 00
y = ƒ () y =0
Ej 4. (P4 ) sólo 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 inútil. Por
ejemplo, la última solución se podría obtener:
y(0) = c1 = 0
¨
y 00 = 1 → y = c1 +c2 + 12 2 → → y = 12 [2 −] como antes.
y(1) = c1 +c2 + 21 = 0
Pero para cada nueva ƒ habría que volver a hallar la yp e imponer y(0) = y(1) = 0 .
Esta δ(t −) tiene las siguientes propiedades (que bastan para trabajar con ella):
ƒ () si ∈ [b, c]
Rc
δ(t −) = 0 si t 6= ; b ƒ (t)δ(t −) dt = ; 1
/ [b, c]
0 si ∈ u a(t)
d 0 si t <
δ(t −) = dt (t) , donde (t) es la función paso (t) = . a
1 si t ≥ 0
Volvamos a la G . Observemos que la G(, s) del Ej 4 para fijo (o para s fijo, pues G es
simétrica) es continua pero no derivable en s = y su ‘derivada’ segunda es δ(s − ) . De
hecho, esto es lo que sucede en general:
¨ 0
p(s)y 0 + g(s)y = δ(s−)
Teor 5. G(, s) es la solución para ∈ (, b) fijo de
αy()−α 0 y 0 () = βy(b)+β0 y 0 (b) = 0
Rb
La prueba es trivial: G(s, ) δ(−) d = G(s, ) = G(, s) .
Podemos hallar la G del (P4 ) siguiendo este camino más largo [pero que es el que se gene-
raliza a las EDPs; además da una forma de hallar la G en problemas autoadjuntos para los
que no es válida la fórmula del teorema 1]. Como es G00 = 0 si s 6= :
c1 +c2 s , y(0) = 0 → y = c2 s , s ≤
G(s) =
k1 +k2 s , y(1) = 0 → y = k2 [s−1] , s ≥
Y como G00 = δ , ha de ser continua G y su derivada tener un salto en de magnitud unidad:
y(− ) = c2 = k2 [−1] = y(+ )
¨
c2 = −1
→ →
y 0 (+ )−y 0 (− ) = k2 −c2 = 1 k2 =
Se
puede
resolver de otra forma si se conoce la transformada de Laplace. Con la notación
L G(s) = H(p) , para este ejemplo basta utilizar las siguientes propiedades de la L :
28
2. Problemas de contorno para EDOs
Un problema de valores iniciales para una ecuación ordinaria con coeficientes
continuos tenía solución única. En concreto, la solución de una ecuación lineal de
segundo orden queda determinada fijando el valor de la solución y de su deri-
vada en un punto dado. Las cosas cambian si imponemos las condiciones en los
dos extremos de un intervalo [, b] . Estos problemas de contorno presentan
propiedades muy diferentes. Por ejemplo, un problema tan sencillo y regular como
y () + y() = 0
00
y(0) = 0, y(π) = 0
tiene infinitas soluciones: y = C sen , con C constante arbitraria.
Los problemas de contorno que nos aparecerán al utilizar el método de separa-
ción de variables del capítulo 3 dependerán de un parámetro λ . Para analizar
sus propiedades convendrá escribir la ecuación de la siguiente forma:
¨ (py 0 )0 − qy + λry = 0
(P) αy() − α 0 y 0 () = 0
βy(b) + β0 y 0 (b) = 0
Ante un problema como (P) nuestro objetivo será hallar los valores de λ para
los que hay soluciones no triviales (autovalores de (P)) y esas soluciones
no triviales correspondientes a cada λ (autofunciones de (P) asociadas a λ ).
Observemos que y = 0 es siempre solución trivial de (P) y que, por ser lineales y
homogéneas la ecuación y las condiciones de contorno, si y() es solución de (P)
también lo es Cy() para cualquier C .
Comenzaremos en 2.1 estudiando varios ejemplos para la ecuación y 00 +λy = 0
(la más sencilla y la que más veces aparece separando variables). En ellos existirá
una sucesión infinita de autovalores y las autofunciones asociadas a λ distintos
serán ortogonales entre sí. Después precisaremos para qué tipo de problemas de
contorno (P) se mantienen esas propiedades. Serán los que se llaman problemas
de Sturm-Liouville separados. Hablaremos también brevemente de los proble-
mas periódicos y de los singulares.
En la sección 2.2 veremos que cualquier función ƒ 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 resolución de EDPs. Este resultado generaliza los
desarrollos de Fourier en series de senos y cosenos, cuyas propiedades básicas
también veremos. Aunque la convergencia natural de estas series sea la llamada
’convergencia en media’, nosotros nos limitaremos a tratar la convergencia puntual
y uniforme.
Por último, en 2.3, estudiaremos problemas en que la ecuación (o alguna condi-
ción de contorno) sea no homogénea. Para ellos, ni y = 0 es solución, ni lo son los
múltiplos de una solución dada. La existencia de soluciones dependerá de si exis-
ten o no soluciones no triviales del homogéneo. Tendrán solución única en el último
caso, e infinitas o ninguno si el homogéneo tiene infinitas. Cuando haya solución
única daremos una fórmula para las soluciones del no homogéneo en términos de
la llamada función de Green.
La notación en todo este capítulo será y() , pero en separación de variables las
funciones de nuestros problemas de contorno serán X() , Y(y) , R(r) , Θ(θ) , . . .
15
2.1. Problemas de Sturm-Liouville homogéneos
Antes de dar la teoría general, hallemos los autovalores y autofunciones de dos
problemas de contorno homogéneos para la sencilla EDO lineal y 00 +λy = 0 .
p
Como su polinomio característico es μ2 +λ = 0 → μ = ± −λ , la solución general
de la ecuación será diferente según λ 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 solución general es y = c1 ep + c2 e−p , con p = −λ > 0 .
y(0) = c1 + c2 = 0 → c2 = −c1 &
«
y(0) = c1 = 0
Si λ = 0 es y = c1 + c2 → → y ≡ 0 . λ = 0 tampoco es autovalor.
y(π) = c1 +c2 π = 0
p y(0) = c1 = 0 ↓
Y para λ > 0 es y = c1 cos +c2 sen , con = λ > 0 →
y(π) = c2 sen π = 0
Para tener solución 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
«
λ<0 → → c2 = c1 → c1 [eπp −e−πp ] = 0 → y ≡ 0 .
y 0 (π) = p[c1 eπp −c2 e−πp ] = 0
y 0 (0) = c2 = 0
λ=0 → → λ = 0 autovalor con autofunción y0 = c1 .
y 0 (π) = c2 = 0
y 0 (0) = c2 = 0 ↓
1
λ>0 → → λn = n2 , yn = c1 cos n .
y 0 (π) = −c1 sen π = 0 cos x
16
Pasemos a tratar ya el problema general. Sea la ecuación lineal de segundo orden
dependiente de un parámetro real λ :
y 00 + ()y 0 + b()y + λc()y = 0 , con , b, c ∈ C[, b] , c() > 0 en [, b] .
La reescribimos de otra forma,Rque se suele denominar ’autoadjunta’ o ’Sturm-
Liouville’. Multiplicando por e se tiene
h R i0 R R
0
e y 0 + b e y + λ c e y ≡ py 0 − qy + λry = 0 , con p ∈ C1 , q, r ∈ C , p, r > 0 .
Las condiciones que más nos van a interesar son las condiciones separadas (cada
una afecta a los valores de y o de y 0 sólo 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 sucesión infinita λ1 < λ2 < · · · < λn < · · ·
que tiende a ∞. Las autofunciones {yn } forman un espacio vectorial
de dimensión 1 y cada yn posee exactamente n − 1 ceros en (, b) .
Las autofunciones asociadas a autovalores distintos son ortogonales
Teor 1. en [, b] respecto al peso r , es decir:
Rb
〈yn , ym 〉 ≡ r yn ym d = 0 , si yn , ym están asociadas a λn 6= λm .
Si αα 0 ≥ 0 , ββ0 ≥ 0 y q() ≥ 0 en [, b] entonces todos los λn ≥ 0 . En
particular, para y() = y(b) = 0 [o sea, si α 0 = β0 = 0 ] todos los λn > 0 .
Rb Rb
pues ry 2 d > 0 ( r > 0 ) , p(y 0 )2 +qy 2 d ≥ 0 ( p > 0 , q ≥ 0 ) ,
¨ β ¨ α
p(b)[y(b)]2 ≥ 0 si β0 6= 0 p()[y()]2 ≥ 0 si α 0 6= 0
−[pyy 0 ](b) = β0 , [pyy 0 ]() = α0 .
0 si β0 = 0 0 si α 0 = 0
Rb
Si y() = y(b) = 0 , y = {1} no es autofunción ⇒ y 0 ≡
6 0 ⇒
p(y 0 )2 > 0 ⇒ λ > 0 .
17
00
y + λy = 0 0 0
Ej 3. (P3 ) (casi en forma autoadjunta: y + λy = 0 ; es r ≡ 1 ).
y 0 (0) = y(1) = 0
Tendrá las propiedades del teorema 1. Busquemos sus λn . Como αα 0 = ββ0 = 0 , q ≡ 0 , nos
limitamos a los λ ≥ 0 . [Ahora ya sabemos que podíamos haber hecho esto en el ejemplo
2, y que en el 1 hubieran bastado los λ > 0 ; que conste que hay problemas con λ < 0 ].
y 0 (0) = c2 = 0
λ = 0 : y = c1 +c2 → → y ≡ 0 . λ = 0 no es autovalor.
y(1) = c1 +c2 = 0
y 0 (0) = c2 = 0
λ = 0 : y = c1 +c2 → → y ≡ 0 . λ = 0 no autovalor.
y 0 (1)+y(1) = c1 +2c2 = 0
λ > 0 : y = c1 cos +c2 sen . y 0 (0) = c2 = 0 → y 0 (1)+y(1) = c1 [cos − sen ] = 0 .
00
y − 2y 0 + λy = 0 μ2 −2μ+λ = 0 , −2 0 0
Ej 5. (P5 ) → p e y + λe−2 y = 0
y 0 (0) = y 0 (1) = 0 μ = 1± 1−λ .
Sabemos que los λ ≥ 0 , pero esto no ahorra cálculos, pues y hay que mirar λ <, =, > 1 :
p
λ < 1 : y = c1 e(1+p) + c2 e(1−p) , y 0 = c1 (1+p) e(1+p) + c2 (1−p) e(1−p) , p = 1−λ →
c1 [1+p] + c2 [1−p] = 0
«
→ c2 (1−p)e[e−p −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, . . . → λn = 1+n2 π 2 , yn = e [sen nπ−nπ cos nπ] , n = 1, 2, . . .
2 00
y + y 0 + λy = 0
R R d
0 y
p() = e
=e + λ = 0 . Es r() = 1 .
= → y 0
Ej 6. (P6 )
y(1) = y(e) = 0
Es problema separado regular p, r > 0 en [1, e] .
p
Ecuación de Euler: r(r −1)+r +λ = 0 → r = ± −λ . Basta mirar los λ > 0 :
c =0
y = c1 cos( ln )+c2 sen( ln ) , c1 sen = 0 λn = n2 π 2 , yn = sen(nπ ln ) , n = 1, 2, . . .
2
R e sen(nπ ln ) sen(mπ ln ) d
Como siempre, las autofunciones son ortogonales: 1
= 0 , m 6= n .
18
Separando variables nos aparecerán también 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 periódico:
00
y + λy = 0 [Estas condiciones equivalen a
Ej 7. (P7 )
y(−π) = y(π), y 0 (−π) = y 0 (π) pedir que y sea 2π-periódica].
2c2 sen π = 0
«
λ>0 → → sen π = 0 → λn = n2 , n = 1, 2, . . .
2c1 sen π = 0
Las propiedades de (P7 ) son algo distintas de las los problemas separados: sigue ha-
biendo una sucesión 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 dimensión 2. Utilizando sen cos b = 21 sen(+b)+ sen(−b)
(y las relaciones ya vistas para sen sen b y cos cos b y las fórmulas del ángulo
doble) se comprueba que sigue siendo cierto que autofunciones diferentes son
ortogonales entre sí.
otros tipos de condiciones de contorno (y para otros muchos no) además de las separadas.
Por ejemplo ocurre en los llamados problemas periódicos que generalizan el (P7 ):
[py 0 ]0 − qy + λry = 0 , con p() = p(b) , p ∈ C1 [, b] , q, r ∈ C[, b] , p, r > 0 en [, b]
¨
(Pp )
y() = y(b), y 0 () = y 0 (b) (condiciones periódicas)
Para (Pp ) no se anula el wronskiano de dos soluciones ni en ni en b
(y por
eso hay espacios
de autofunciones de dimensión 2), pero es claro que p|W|(yn , ym ) (b) = p|W|(yn , ym ) () .
b
Más en general, se llaman problemas autoadjuntos aquellos tales que p|W|(, ) = 0
00
y + λy = 0
p|W|(, ) (π) = − p|W|(, ) (0) .
Ej 8. (P8 ) Se tiene
y(0) = y(π), y 0 (0) = −y 0 (π)
19
Resolviendo algunas EDPs aparecerán problemas singulares de Sturm-Liouville
que no reúnen todas las condiciones de los regulares: p ó r se anulan o no son
continuas en algún 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 acotación, de forma que siga habiendo ortogonalidad,
es decir, según vimos en la demostración del teorema 1, que se cumpla:
0 − y y 0 ) b = (λ − λ )〈y , y 〉 .
0 = p (yn ym
m n n m n m
R
y 00 + 2y 0 + λy = 0 e = 2
0
Ej 9. (P9 ) y 00 + 2 y 0 +λy = 0 −→ 2 y 0 +λ2 y = 0 .
y acotada en = 0, y(1) = 0
y 00 + y 0 + λy = 0
0
→ y 0 + λy = 0 .
Ej 10. (P10 )
y acotada en = 0, y(1) = 0
p
Se puede probar que λ > 0 . Haciendo el cambio de variable independiente s = λ
la ecuación se convierte en la de Bessel de orden 0 :
d2 y dy p p
s ds2 + ds + sy = 0 → y = c1 J0 (s) + c2 K0 (s) = c1 J0 ( λ ) + c2 K0 ( λ )
¨ 0
(1−2 )y 0 + λy = 0
Ej 11. (P11 )
y acotada en = ±1 La ecuación es la de Legendre si λ = p(p+1) .
Se sabe que sus únicas soluciones acotadas en 1 y −1 son los polinomios de Legendre
Pn () , que aparecen cuando p = n , n = 0, 1, 2, . . .
Los autovalores son λn = n(n+1) , n = 0, 1, 2, . . . y las autofunciones son los Pn , que
R1
P P d = 0 si m 6= n r() = 1 .
cumplen, como se ve en los cursos de EDOs: −1 n m
20
2.2. Series de Fourier
Consideremos el problema de Sturm-Liouville separado regular:
0
[py 0 ] − qy + λry = 0
¨
(Ps )
αy()−α 0 y 0 () = 0, βy(b)+β0 y 0 (b) = 0
n=1
Supongamos que este desarrollo es válido y que la serie puede ser integrada tér-
mino a término. Entonces, por ser las yn ortogonales:
Rb ∞ Rb Rb
rƒ ym d = cn r yn ym d = cm r ym ym d
X
n=1
El problema (nada elemental) reside en precisar para qué funciones ƒ la serie con
esos coeficientes (serie de Fourier de ƒ ) converge realmente hacia ƒ en [, b] .
Aunque se le pueden exigir condiciones más débiles, nosotros pediremos a ƒ que
sea C1 a trozos, condición que será satisfecha por las funciones que nos aparecerán
en problemas prácticos.
[Recordamos que ƒ es C1 a trozos en [, b] si podemos dividir el
intervalo en subintervalos [, b] = [, 1 ] ∪ [1 , 2 ] ∪ · · · ∪ [n , b]
de modo que:
i. ƒ y ƒ 0 son continuas en cada (k , k+1 ) , a x1 xn b
ii. los límites laterales de ƒ , ƒ 0 en cada k existen y son finitos].
21
Caso particular de los desarrollos en serie de Fourier son los desarrollos en series
trigonométricas, que, al ser los que más utilizaremos, estudiamos con detalle.
y + λy = 0
00
2 2
son λn = nLπ2 e yn = sen nπ , n = 1, 2, . . . .
(P1 )
y(0) = y(L) = 0 L
RL 2
Ya que el peso es r() ≡ 1 y se tiene que 〈yn , yn 〉 = 0
sen nπ
L
dt = L
2
.
[Hemos escrito impropiamente ƒ = ; la igualdad sólo se da en los ∈ (0, L)
en que ƒ es continua; en 0 y L aún no sabemos, pero pronto lo sabremos].
y + λy = 0
00
2 2
son λn = nLπ2 , yn = cos nπ , n = 0, 1, . . . yo = {1}
(P2 )
y 0 (0) = y 0 (L) = 0 L
RL RL 2
Pues 〈yo , yo 〉 = 0
12 d = L e 〈yn , yn 〉 = 0
cos nπ
L
d = L
2
, si n ≥ 1.
o
[Ponemos 2
en la serie para que la fórmula del n valga también para o ].
1
Ej 1. Sea ƒ () = , ∈ [0, 1] . Desarrollémosla en senos y en cosenos:
x
∞
2 X (−1)n+1
R1 2
0 1
ƒ () = π n
sen nπ , pues bn = 2 0 sen nπ d = − nπ cos nπ , n = 1, 2, . . .
n=1
∞ ∞
1 (−1)n −1
ƒ () = + π22 cos nπ = 1 4 X 1
X
2 n2 2
− π2 (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, . . .
Ambas series, según el teorema 1, convergen hacia ƒ () para todo ∈ (0, 1) .
Lo mismo sucedería con el desarrollo en autofunciones de cualquier otro pro-
blema de Sturm-Liouville que considerásemos. Cuando nos encontremos estas
series resolviendo EDPs no tendremos la libertad de elegir en qué autofunciones
desarrollar: nos las impondrá el problema.
Otras dos familias de autofunciones sencillas en las que vamos a desarrollar fun-
ciones muchas veces son las de estos problemas fáciles de resolver:
y + λy = 0
00
[2n−1]2 π 2 [2n−1]π
n o
con λn = 22 L2 , yn = sen , 〈yn , yn 〉 = 2L , n = 1, 2, . . .
y(0) = y (L) = 0
0 2L
y + λy = 0
00
[2n−1]2 π 2 [2n−1]π
n o
con λn = 22 L2 , yn = cos , 〈yn , yn 〉 = 2L , n = 1, 2, . . .
y (0) = y(L) = 0
0 2L
22
La teoría de series de Fourier puede ser extendida para incluir autofunciones de
problemas con condiciones periódicas. Así para:
¨ y 00 + λy = 0
2 2
y(−L) = y(L) , λn = nLπ2 , n = 0, 1, . . . , yo = {1} , yn = cos nπ , sen nπ
(P3 ) L L
y 0 (−L) = y 0 (L)
Z L
[4] n = 1
L
ƒ () cos nπ
L
d , n = 0, 1, 2, ... , y
−L
Z L
[5] bn = 1
L
ƒ () sen nπ
L
d , n = 1, 2, ... , ya que se cumple:
−L
RL RL
cos mπ
−LL
sen nπ
L
dt = 0 para todo m y n ; −L 12 d = 2L ;
0 m 6= n 0 m 6= n
RL mπ nπ
RL mπ nπ
−L
cos L
cos L
d = L m=n
; −L
sen L
sen L
d = L m=n
.
Las fórmulas [3]-[5] también valen para desarrollar una ƒ definida inicialmente
en cualquier otro intervalo [, +2L] (cambiando los límites a la integral) pues
R +2L R +2L
cos2 = sen2 = L .
Como en el teorema 1, la serie de [3] converge hacia ƒ () en los en los que
ƒ es continua. Además se puede decir lo que sucede en los extremos −L y L
(observando que la [3] define de hecho una función en todo R que es 2L-periódica).
Podemos hablar también sobre la convergencia uniforme de [3] (sin demostrar
nada, como en toda la sección):
Las fórmulas [1] y [2] para los coeficientes de las series en senos y de las series en
cosenos se pueden ver como casos particulares de [4] y [5]:
Dada una ƒ inicialmente definida en [0, L] podemos extenderla de forma impar o
de forma par a [−L, L]. En el primer caso es impar ƒ () cos nπ
L
y par ƒ () sen nπ
L
.
nπ nπ
En el segundo ƒ () cos L es par y ƒ () sen L es impar. Por tanto, n = 0 y [5]
se convierte en [1] en el primero, y en el segundo bn = 0 y [4] pasa a ser [2].
[Si definiésemos la ƒ de cualquier otra forma en [−L, 0), la serie en senos y cosenos
también convergería hacia ƒ () en los de (0, L) en que fuese continua].
Como consecuencia de lo anterior y del teorema 2 se tiene que:
23
1 En particular, la serie en senos del Ej 1
par no converge uniformemente hacia ƒ en
[0, 1] (sí lo hace en cualquier intervalo de
-3 -1 0 1 3 la forma [0, b] , b < 1 ). La serie en cose-
nos sí converge uniformemente en [0, 1] .
impar 1 [Aunque las series en cosenos se compor-
ten mejor, resolviendo EDPs no podremos
-3 -1 0 1 3 elegir, como ya hemos dicho, el tipo de
series en que desarrollar las funciones].
-1
1
0 , −1 ≤ ≤ 0
Ej 2. Sea ƒ () = .
, 0≤≤1 -1 0 1
Su serie en senos y cosenos está casi calculada:
1 ∞
1 X (−1)n − 1 ∞
1 X (−1)n
+ cos nπ − sen nπ .
4 π2 n2 π n
n=1 n=1
-1 0 1
La suma de esta serie es 0 en (−1, 0] , en
[0, 1) y 1/ 2 en −1 y 1 . En todo cerrado que no Sngordo
S2
contenga estos puntos la convergencia es uni-
forme. Cerca de ellos la convergencia es mala y
lenta. [Se produce el ‘fenómeno de Gibbs’: apa- S0
recen ’picos’ cerca de las discontinuidades]. S1
∞
(2n−1)π (2n−1)π
R1 h
4(−1)n+1 8
i
cn = 2 d → =
X
0
cos 2 π(2n−1)
− π 2 (2n−1)2
cos 2
.
n=1
24
2.3. Problemas no homogéneos; función de Green
Separando variables en la ecuación de Laplace y similares aparecerán, además
de problemas de Sturm-Liouville homogéneos, otros problemas de contorno con la
ecuación o las condiciones no homogéneas (para calor y ondas serán de valores
iniciales). Antes de dar su teoría general, veamos un ejemplo.
00
y = −d
Ej 1. Discutamos cuántas soluciones tiene , d , b constantes.
y(1) = y(2)+by 0 (2) = 0
3 2 2
La solución general es: y = c1 +c2 + − d con y 0 = c2 + 2 −d . Imponiendo datos:
6 2
1
− d2 c1 +c2 = d2 − 16
( (
y(1) = c1 +c2 + 6
=0
4 , es decir: .
y(2)+by 0 (2) = c 1 +2c2 + 3 −2d+bc2 +2b−2bd = 0 c1 +(2+b)c2 = 2bd+2d−2b− 43
Si en vez de la −d concreta tuviésemos una ƒ () general, el teorema daría rápidamente:
infinitas R2 =0
única solución si b 6= −1 , e , según 1 ƒ ()(1−) d 6= 0 , para b = −1 .
ninguna
R R
Costaría bastante más concluirlo hallando la solución: c1 +c2 + 1 ƒ (s)ds− 1 sƒ (s)ds .
25
Sea ahora el problema con condiciones de contorno no homogéneas:
0
p()y 0 + g()y = ƒ ()
¨
(PAB ) , p ∈ C1 , g, ƒ ∈ C, p > 0 en [, b] ,
αy()−α 0 y 0 () = A, βy(b)+β0 y 0 (b) = B
y 00 − y 0 = 0
Ej 2. Discutamos cuántas soluciones tiene: (P )
y 0 (1)+y(1) = 0, y(2) = 1
26
00
y + λy = 1
Ej 3. (P3 ) Estudiemos, según λ , cuántas soluciones tiene.
y 0 (0) = y 0 (1)−2y(1) = 0
Hallemos los λn del homogéneo. Como ββ0 < 0 podrían aparecer autovalores negativos.
c2 = c1 &
«
λ < 0 : y = c1 ep +c2 e−p →
c1 p[ep −e−p ]−2[ep +e−p ] = 0
c2 = 0
λ = 0 : y = c1 + c2 → → λ = 0 no es autovalor.
−2c1 −c2 = 0
c2 = 0 &
λ > 0 : y = c1 cos +c2 sen →
c1 ( sen +2cos ) = 0
Para acabar, deduzcamos una fórmula que para cualquier ƒ () nos da la solución
del (Pf ) del principio de la sección (en el caso de que sea única) en términos de
integrales, conocidas las soluciones de la ecuación homogénea (algo parecido a la
fórmula de variación de las constantes para problemas de valores iniciales):
p0 0 q ƒ
Por tanto, y() es solución de la no homogénea y 00 + p
y + py = p
.
Rb y2 ƒ
R y1 ƒ
R y2 ƒ
Además como y 0 () = y10 |W| p
+ y20 |W| p
− y10se tiene que:
|W| p
Rb y ƒ Rb y ƒ
y() = cy1 (), y 0 () = cy10 (), y(b) = ky2 (b), y 0 (b) = ky20 (b) , c = |W|p
2
, k = |W|p
1
27
00 00
y = ƒ () y =0
Ej 4. (P4 ) sólo 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 inútil. Por
ejemplo, la última solución se podría obtener:
y(0) = c1 = 0
¨
y 00 = 1 → y = c1 +c2 + 12 2 → → y = 12 [2 −] como antes.
y(1) = c1 +c2 + 21 = 0
Pero para cada nueva ƒ habría que volver a hallar la yp e imponer y(0) = y(1) = 0 .
Esta δ(t −) tiene las siguientes propiedades (que bastan para trabajar con ella):
ƒ () si ∈ [b, c]
Rc
δ(t −) = 0 si t 6= ; b ƒ (t)δ(t −) dt = ; 1
/ [b, c]
0 si ∈ u a(t)
d 0 si t <
δ(t −) = dt (t) , donde (t) es la función paso (t) = . a
1 si t ≥ 0
Volvamos a la G . Observemos que la G(, s) del Ej 4 para fijo (o para s fijo, pues G es
simétrica) es continua pero no derivable en s = y su ‘derivada’ segunda es δ(s − ) . De
hecho, esto es lo que sucede en general:
¨ 0
p(s)y 0 + g(s)y = δ(s−)
Teor 5. G(, s) es la solución para ∈ (, b) fijo de
αy()−α 0 y 0 () = βy(b)+β0 y 0 (b) = 0
Rb
La prueba es trivial: G(s, ) δ(−) d = G(s, ) = G(, s) .
Podemos hallar la G del (P4 ) siguiendo este camino más largo [pero que es el que se gene-
raliza a las EDPs; además da una forma de hallar la G en problemas autoadjuntos para los
que no es válida la fórmula del teorema 1]. Como es G00 = 0 si s 6= :
c1 +c2 s , y(0) = 0 → y = c2 s , s ≤
G(s) =
k1 +k2 s , y(1) = 0 → y = k2 [s−1] , s ≥
Y como G00 = δ , ha de ser continua G y su derivada tener un salto en de magnitud unidad:
y(− ) = c2 = k2 [−1] = y(+ )
¨
c2 = −1
→ →
y 0 (+ )−y 0 (− ) = k2 −c2 = 1 k2 =
Se
puede
resolver de otra forma si se conoce la transformada de Laplace. Con la notación
L G(s) = H(p) , para este ejemplo basta utilizar las siguientes propiedades de la L :
28
3. Separación de variables
El capítulo está dedicado a uno de los más viejos métodos de resolución de EDPs
lineales (método de separación de variables) que nos permitirá hallar la solución
(en forma de serie de Fourier) de gran parte de los problemas clásicos planteados
en el capítulo 1, en concreto de los planteado en un intervalo finito en una de
las variables. Resolveremos la ecuación del calor con diferentes condiciones de
contorno, la de la cuerda acotada (que volveremos a ver en 4.1), la de Laplace
en un rectángulo y en un círculo,... Ello será posible porque las ecuaciones serán
‘separables’ y los dominios que consideraremos son simples, pero hay muchos
problemas no resolubles por este método.
En la sección 3.1 resolveremos varios problemas para las ecuaciones del calor y
de ondas en dos variables. Comenzaremos tratando los problemas homogéneos
(aquellos en que son homogéneas ecuación y condiciones de contorno; si estas no
lo son, haremos un cambio de variable). Básicamente esta será la técnica utilizada:
buscaremos soluciones de la EDP que sean productos de funciones de cada varia-
ble (, t) = X()T(t) y que cumplan todas las condiciones homogéneas; obten-
29
3.1. Separación de variables para calor y ondas
Consideremos varios problemas para la ecuación del calor. En el primero supo-
nemos que los extremos de la varilla se mantienen a 0 grados y que los datos
iniciales vienen dados por una ƒ que es C1 a trozos en [0, L]:
X 00 + λX = 0 [4]
Así obtenemos una EDO para X() y otra para T(t) : .
T 0 + λkT = 0 [5]
El producto de una solución de [4] por una de [5] es entonces una solución de
[1], cualquiera que sea λ . Sin embargo, nos interesan sólo las soluciones que
satisfacen las condiciones de contorno:
(0, t) = X(0) T(t) = 0 ⇒ X(0) = 0
(si fuese T(t) ≡ 0 tendríamos ≡ 0 y no se cumpliría la condición inicial).
Análogamente, debe ser X(L) = 0 .
Nos interesan, pues, las soluciones (no triviales) del problema de Sturm-Liouville:
X + λX = 0
00
n2 π 2
→ λn = 2 , Xn = sen nπ , n = 1, 2, . . . .
X(0) = X(L) = 0 L L
son soluciones de [1] que satisfacen también las condiciones de contorno [3]. Por la
linealidad de la ecuación y de las condiciones, sabemos que una combinación lineal
finita de estas n también cumple [1] y [3]. Pero consideremos la serie infinita:
∞ ∞
2 π 2 t/ L2
(, t) = cn n (, t) = cn e−kn sen nπ
X X
L
[6]
n=1 n=1
y supongamos que converge y que satisface tambien [1] y [3]. Si queremos que
además se cumpla la condición inicial [2] debe ser:
∞ RL
cn sen nπ = ƒ () ⇒ cn = 2
ƒ () sen nπ
X
L L 0 L
d , n = 1, 2, ... [7]
n=1
30
Tenemos una posible solución de [P1 ]: la serie [6] con coeficientes dados por [7].
Pero esta solución es sólo formal mientras no se pruebe que la convergencia de la
serie es suficientemente buena para asegurar que realmente cumple el problema
(una suma infinita de funciones derivables podría 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 término a término (y así se satisface la ecuación). De hecho,
se ve que la definida por la serie es C∞ en (0, L) × (0, ∞) . En = 0 y = L
está claro que la se anula. Y la condición inicial se satisface en el siguiente
sentido: la (, t) definida por la serie para t > 0 y por (, 0) = ƒ () es una
función continua salvo en los puntos de t = 0 en que la ƒ es discontinua.
[Aunque ƒ sea discontinua, la solución es C∞ para t > 0 arbitrariamente pequeño:
a diferencia de lo que ocurrirá con las ondas, las discontinuidades desaparecen aquí
instantáneamente].
∞
2 π 2 t/ L2
(, t) = T1 + (T2 −T1 ) L + cn e−kn sen nπ = +,
X
L
n=1
RLh i
con cn = 2
L 0
ƒ ()−T1 −(T2 −T1 ) L sen nπ
L
d , n = 1, 2, . . .
u(x,0) distr.
¨ − = 0 , ∈ (0, 1), t > 0
t estac. 1
Ej 1. (, 0) = 1 w(x,0)
(0, t) = 1 , (1, t) = 0
∞
2 X (−1)n+1 2
π2 t
Operando se llega a: (, t) = 1− + π n
e−n sen(nπ)
n=1
[No nos importa que para t = 0 sea incoherente el dato inicial con el de contorno en
= 1 ; la solución será, como hemos dicho, una función continua para t > 0 y para el
cálculo de las integrales el valor en un punto no influye].
31
Veamos ahora cómo resolver el problema no homogéneo:
¨ − k = F(, t) , ∈ (0, π), t > 0
t
[P3 ] (, 0) = ƒ ()
(0, t) = (π, t) = 0
Las autofunciones del [P1 ] eran {sen n} , n = 1, 2, . . . Probamos en [PF ] la siguiente
serie que ya satisface las condiciones de contorno (y que está relacionada con la
ecuación):
∞
F (, t) = Tn (t) sen n con las Tn (t) funciones a determinar.
X
n=1
2
[Si tomásemos Tn = cn e−kn t , funciones que aparecieron resolviendo [P1 ],
la satisfaría la ecuación con F ≡ 0 ; debemos darle más libertad a las Tn
para conseguir al meter la serie en la ecuación una F ≡
6 0 ].
n=1 n=1
2
Rπ
con Bn (t) = π 0
F(, t) sen n d (desarrollo de F en senos para t fijo).
n=1
Resolviendo la EDO lineal para Tn con este dato inicial (utilizando la fórmula de
variación de las constantes con datos iniciales; para una F concreta a lo mejor hay
métodos más rápidos) hallamos la Tn y por tanto:
∞ hZ t i
2 (t−s)
F (, t) = e−kn Bn (s) ds sen n
X
n=1 0
Serie que es solución formal de [PF ] (como siempre faltaría comprobar que es so-
lución de verdad, que es realmente lo que sucede si la F es decente).
La solución de [P3 ] (por la linealidad de la ecuación y las condiciones iniciales
y de contorno) será la suma de F y de la serie solución de [P1 ] que obtuvimos
anteriormente.
32
Resolvemos ahora el problema homogéneo para la varilla con extremos aislados:
¨ − k = 0 , ∈ (0, L), t > 0
t
[P4 ] (, 0) = ƒ ()
(0, t) = (L, t) = 0
Separando variables (es la misma ecuación) aparecen, claro, las mismas EDOs del
problema [P1 ]. Pero ahora cambian las condiciones de contorno de la X :
X + λX = 0
00
2 2
→ λn = nLπ2 , n = 0, 1, 2, . . . , Xn = cos nπ X0 = {1} .
X 0 (0) = X 0 (L) = 0 L
2 2 2
Para estos valores de λ se tienen las Tn = e−kn π t/ L T0 = {1} .
co ∞
2 π 2 t/ L2
(, t) = cn e−kn cos nπ
X
Así pues, probamos la serie: + L
2 n=1
co ∞
Queremos que se satisfaga la condición inicial: (, 0) = cn cos nπ = ƒ () .
X
+ L
2 n=1
y resolveríamos las EDOs que surgirían, con los datos iniciales deducidas del dato
inicial de la EDP.
n=1 n=1
33
En el quinto problema para la ecuación del calor que tratamos la condición de
= 0 representa la radiación 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).
Vimos en 1.3 que tiene solución única. Para resolverlo lo primero, como siempre,
es conseguir condiciones de contorno homogéneas.
Tanteando con rectas = M+N , se llega a que = + 1 las satisface.
¨ t − k = 0
=− → (, 0) = ƒ () − − 1
(0, t)−(0, t) = (1, t) = 0
∞
Yendo a la ecuación en T : Tn = e−λn kt → = cn e−λn kt Xn () .
X
n=1
R1 2 h i1
1 1
pues 0
Xn () d = 2
+ 4n
sen 2n (−1) .
0
x + 1a-
Sí es calculable exactamente la distribución estacionaria
hacia la que tienden las temperaturas en la varilla: a
1 1 crece
(, t) = (, t) + +
→ +
cuando t → ∞
[la temperatura final de la varilla, como era esperable,
es menor cuanto mayor sea el , es decir, cuanto más
fuertemente irradie su extremo]. 0 1
34
Dos ejemplos más de separación de variables para el calor (o similar). El primero nos sirve
para reflexionar sobre los cambios que hacen las condiciones de contorno homogéneas
(siempre necesario) y en el otro vemos que se puede aplicar el método en otras ecuaciones
separables (y no sólo en la del calor).
t − = e−t
[problema no homogéneo].
(, 0) = (0, t) = (π, t) = 0
Necesitamos conocer las autofunciones de homogéneo para saber qué tipo de solución
probar. Ya sabemos que al separar variables en el calor aparece X 00 +λX = 0 (además de
T 0 +λT = 0 que ahora mismo no nos importa). Esto, unido a las condiciones que salen
de los datos de contorno X 0 (0) = X(π) = 0 (problema conocido en 2.2), nos lleva a:
∞ ∞ h
(2n−1) (2n−1)2 (2n−1)
i
(, t) = Tn (t) cos Tn0 + = e−t →
X X
2
→ 4
Tn cos 2
n=1 n=1
(2n−1) 2
(
Tn0 + Tn = Bn e−t Rπ (2n−1) 4(−1)n+1
4 , con Bn = π2 0
cos 2
d = π(2n−1)
.
Tn (0) = 0 (del dato inicial)
¨ − +2 = 0 , ∈ 0, π , t > 0
t 2 [El término +2 representa una pérdida
Ej 4. (, 0) = cos 5
de calor al medio a lo largo de la varilla].
(0, t) = (π/ 2, t) = 0
X 00 0 damos el 2 i
h
Separando variables: (, t) = X()T(t) → X
= TT +2 = −λ mejor a la T
→
¨ 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
∞
2+(2n−1)2 t
Probamos pues: (, t) = cn e−
X
cos(2n−1) .
n=1
∞
Y, por el dato inicial: (, 0) = cn cos(2n−1) = cos 5 → c3 = 1 y los otros 0 .
X
n=1
[Muy parecido a como lo probamos para el calor, se ve que esta solución es única;
o bien, haciendo = e−2t se obtiene un problema para la ecuación del calor con
esos mismos datos, problema cuya unicidad ya demostramos].
35
Resolvamos el problema para la cuerda vibrante con extremos fijos (en 4.1 lo
resolveremos extendiendo los datos y aplicando la fórmula de D’Alembert):
¨ − c2 = 0 , ∈ [0, L], t ∈ R
tt
[P6 ] (, 0) = ƒ (), t (, 0) = g()
(0, t) = (L, t) = 0
Tenemos una solución, formal en principio, aunque se prueba que las series convergen
y satisfacen realmente el problema si ƒ y g cumplen las condiciones que pediremos
en 4.1: si sus extensiones impares respecto a 0 y L son C2 y C1 , respectivamente
(si ƒ ó g no son tan regulares la serie solución representará lo que llamaremos una
solución débil; en las ondas no desaparecen las discontinuidades).
Para algunas cuestiones (valores concretos, dibujos, ... ) será mejor usar D’Alembert,
pero se ven mejor otras propiedades en la serie. Por ejemplo, como cada n es 2L/ c-
periódica en t , tambien tiene este periodo. Observemos además que la solución
aparece como combinación infinita de ‘modos naturales de vibración’ [ sen(nπ/ L) ]
cada uno de los cuales vibra con una frecuencia nπc/ L (‘frecuencias naturales’ de la
cuerda). En términos acústicos 1 da el tono fundamental (su frecuencia es πc/ L ) y
los demás son los ‘armónicos’ (de frecuencia múltiplo de la anterior).
[Se podrían imponer otros tipos de condiciones de contorno (como las del calor) a la cuerda
vibrante (y se resolverían los problemas separando variables). La condición = 0 significa
que el extremo de la cuerda se mueve con libertad verticalmente y − = 0 ó +b = 0
indican que el extremo está unido por un muelle al punto de anclaje].
36
Hasta ahora la EDO del problema de Sturm-Liouville siempre ha sido X 00 +λX = 0 ,
y, por eso, las series de Fourier eran todas con peso r() = 1 . Pero para otras
EDPs similares a calor y ondas, o para estas ecuaciones en el plano o el espacio
y coordenadas no cartesianas, surgen otras ecuaciones ordinarias y es necesario
manejar la teoría más general del capítulo 2. Los problemas en más variables se
verán en 3.3, pero podemos resolver ya alguno si se reduce a uno de 2 variables.
Por ejemplo, la ecuación de ondas tt − c2 Δ = 0 en recintos esféricos lleva, en
general, a una EDP en 4 variables (el tiempo t y las variables esféricas r , θ , ϕ ),
cuyas soluciones quedarían determinadas (como en la recta) fijando unos datos de
contorno y un par de condiciones iniciales. Pero si buscamos sólo sus soluciones
independientes de los ángulos aparece la ecuación de ondas en el espacio con
simetría radial (en 2 variables). En concreto, vamos a resolver aquí el siguiente
problema homogéneo (vibraciones entre dos superficies esféricas):
2
tt −rr − r r = 0, 1 ≤ r ≤ 2, t ∈ R
[P7 ] (r, 0) = ƒ (r) , t (r, 0) = g(r)
(1, t) = (2, t) = 0
0
R00 + 2R rR00 +2R0 +λrR = 0
r T 00
Separando variables: (r, t) = R(r)T(t) → = T = −λ →
R T 00 + λT = 0
Las condiciones de contorno imponen: R(1) = R(2) = 0 .
Vimos la ecuación de R en 2.2 (allí asociada a un problema singular, aquí es regular
pues estamos en el intervalo [1, 2] ). Se resolvía haciendo el cambio de variable:
λn = n2 π 2 , n = 1, 2, . . .
00
S + λS = 0 r=s+1 S00 + λS = 0
S = rR→ → Rn = senrnπr
→ →
S(1) = S(2) = 0 S(0) = S(1) = 0 Sn = {sen nπs}
Y para esos valores de λ las soluciones para T son Tn = {cos nπt, sen nπt} .
∞ sen nπr
= kn cos nπt + cn sen nπt
X
Probamos, pues: r
.
n=1
∞ ∞
kn senrnπr = ƒ (r) y nπcn senrnπr = g(r) .
X X
Las condiciones iniciales imponen:
n=1 n=1
Para hallar los coeficientes del desarrollo de una función en las autofunciones Rn (r)
0
debemos utilizar el peso del problema de Sturm-Liouville: r 2 R0 + λr 2 R = 0 .
R2 2 R2
Como 〈Rn , Rn 〉 = 1 r 2 senr 2nπr dr = 12 y 〈 ƒ , Rn 〉 = 1 r 2 ƒ (r) senrnπr dr , concluimos que:
R2 2
R2
kn = 2 1
r ƒ (r) sen nπr dr y cn = nπ 1
r g(r) sen nπr dr .
Evidentemente se llegaría a lo mismo (aquí es mucho más corto, pero otras veces
no podremos hacer estos atajos) observando que las condiciones deducidas de las
iniciales se podrían haber reescrito así:
∞ ∞
kn sen nπr = rƒ (r) y nπcn sen nπr = rg(r) .
X X
n=1 n=1
[Las ondas en plano con simetría radial satisfacen tt −rr − 1r r = 0 y la ecuación en
R es rR00 +R0 +λrR = 0 , que (lo vimos en 2.2) está asociada a las funciones de Bessel].
37
3.2. Separación de variables para Laplace
Resolvamos utilizando el método de separación de variables diversos problemas
para la ecuación de Laplace en recintos especialmente simples. Comenzamos por
el problema de Dirichlet en un rectángulo, es decir:
f (x)
b b
Δ = F(, y) , en (0, )×(0, b)
[P1 ] (, 0) = ƒo (), (, b) = ƒb () g (y) ga(y)
o
(0, y) = go (y), (, y) = g (y)
0 fo(x) a
Por ser lineales la ecuación 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 términos no homogéneos). Comencemos resolviendo, por
ejemplo, uno de los 4 problemas para la ecuación homogénea:
¨ Δ = 0 , en (0, )×(0, b) (, y) = X()Y(y) → X 00 Y +XY 00 = 0 →
(, 0) = ƒo () X +λX = 0
00
00 00
(, b) = (0, y) = (, y) = 0 − XX = YY = λ →
Y 00 −λY = 0
De (0, y) = (, y) = 0 se deduce que X(0) = X() = 0 , con lo que el problema de
contorno para la X tiene solución no trivial si
2 2
n o
λn = nπ2 , Xn = sen nπ
, n = 1, 2, . . . .
∞
nπ[b−y]
(, y) = sen nπ
X
Probamos entonces: cn sh
n=1
como siempre se prueba una serie de autofunciones. Aquí hay dos posibilidades
[elegiremos la que dé un desarrollo más fácil para F ]:
∞ ∞
nπy
(, y) = Yn (y) sen nπ (, y) = Xn () sen
X X
ó b
n=1 n=1
38
Siguiendo con Laplace en cartesianas, resolvemos un problema de Neumann.
Suponemos la ecuación no homogénea, pero con condiciones de contorno homo-
géneas (si no lo fuesen, procederíamos de forma similar al problema anterior).
∞ ∞
B0 ()
Rπ
X000 + [Xn00 −n2 Xn ] cos ny = + Bn () cos ny , Bn () = π2
X X
2 0
F(, y) cos ny dy
n=1 n=1
Y en ese caso tiene infinitas que difieren en una constante. Todo esto es coherente
con lo que sabíamos sobre Neumann desde 1.3.
h ∞
Si resolvemos probando = Yn (y) cos n hay que desarrollar en serie. Lo hacemos,
X
n=0
aunque aquí sea una pérdida de tiempo. Los coeficientes de F = − π2 en cos n son:
0 , si n = 0, 2, 4, . . .
¨
2 π π
R
Bn = π 0 − 2 cos n d = 4
− πn 2 , si n = 1, 3, . . .
∞ ∞
Y000 + [Yn00 −n2 Yn ] cos n =
X X
B2m−1 cos(2m−1) →
n=1 m=1
¨ 00
Y0 = 0
¨ 00
Y2m −4m2 Y2m = 0
→ Y0 = C ; → Y2m = 0 ;
Y00 (0) = Y00 (π) = 0 0 (0) = Y 0 (π) = 0
Y2m 2m
¨ 00
Y2m−1 − (2m−1)2 Y2m−1 = B2m−1 B
0 0 → Y2m−1 = − (2m−1)
2m−1
39
Dos ejemplos más en cartesianas. El primero para Laplace con condiciones mixtas (parte
Dirichlet, parte Neumann). Ya dijimos en 1.3 que todos ellos tienen solución única.
(2n−1)
n o
Para esos λ es X = c1 e(2n−1)/ 2 +c2 e−(2n−1)/ 2 −→ 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)π
= dy =
cn sh 2 π 0
sen 2 π(2n−1)
1−cos 2
→
∞
4 (2n−1) (2n−1)y
X
(, y) = 2n−1 sh 2
sen 2
.
π(2n−1) sh 2
n=1
Si nos gustan más las condiciones de contorno para podemos hacerlas homogéneas
con un cambio de variable:
¨ + =0
yy
= , = − → (, 0) = − , y (, π) = 0 →
(0, y) = (1, y) = 0
∞
2(−1)n
X
→ (, y) = + πn ch[nπ 2 ]
ch[nπ(π −y)] sen nπ
n=1
En todos los problemas que hemos resuelto en este capítulo (excepto los de Neumann) la
solución era única (todos eran problemas ‘físicos’). Pero no olvidemos que la unicidad en
EDPs es complicada, y que un problema nuevo del que no se ha demostrado la unicidad
podría no tenerla. Eso pasa en el siguiente ejemplo (para una ecuación de ‘Helmholtz’ muy
asociada a los problemas de más de dos variables):
π π
Δ+ = 0 , (, y) ∈ (0, π)× − ,
4 4 Como es ecuación nueva, separamos
variables desde el principio:
y , − π4 = y , π4 = 0
Ej 3.
X 00 00
+1 = − YY = λ →
(0, y) = 0 , (π, y) = sen 2y = XY → X
s=y+ π4
00 00
Y + λY = 0 Y + λY = 0 n o
0 π 0 π −→ 0 0 π → λn = 4n2 , Yn = cos 2n y+ π4 , n = 0, 1, . . .
Y − 4 =Y 4 =0 Y (0) = Y 2 = 0
p
X 00 + (1−λn )X = 0 , X(0) = 0 → X0 = {sen } y Xn = sh 4n2−1
si n ≥ 1 .
∞ c0 indeterminado
p p
cos 2ny+ nπ
X
(, y) = c0 sen + = sen 2y →
cn sh 4n2−1
2 c1 sh 3π = 1
=π
n=1 cn = 0 , n > 1
p
sh( 3 )
Tiene, por tanto, infinitas soluciones: = C sen + p sen 2y .
sh( 3 π)
40
Para resolver los problemas en círculos nos interesa expresar el Laplaciano en
polares ( = r cos θ , y = r sen θ ). Como,
r = cos θ+y sen θ ; rr = cos2 θ+2y sen θ cos θ+yy sen2 θ
→
θθ = r 2 sen2 θ−2y r 2 sen θ cos θ+yy r 2 cos2 θ− rcos θ−y rsen θ
Δ = rr + rr + θθ
r2
Δ = 0 , en r < R
[P3 ] R
(R, θ) = ƒ (θ) , θ ∈ [0, 2π)
Θ00 +λΘ = 0
r 2 R00 +rR0 00
(r, θ) = R(r)Θ(θ) → = − ΘΘ = λ → f(!)
R r 2 R00 +rR0 −λR = 0
Parece que no hay condiciones para la Θ , pero está claro que la solución (r, θ)
debe ser 2π-periódica en θ , es decir, debe ser Θ(0) = Θ(2π) , Θ0 (0) = Θ0 (2π) . Este
problema de Sturm-Liouville periódico tiene por autovalores y autofunciones:
λn = n2 , n = 0, 1, 2, . . . , Θ0 (θ) = 1 , Θn (θ) = cos nθ, sen nθ .
o ∞
(R, θ) = Rn n cos nθ + bn sen nθ = ƒ (θ) , θ ∈ [0, 2π) →
X
Debe ser: +
2 n=1
Z 2π Z 2π
1 1
n = πRn
ƒ (θ) cos nθ dθ , n = 0, 1, . . . , bn = πRn
ƒ (θ) sen nθ dθ , n = 1, 2, . . .
0 0
1
R 2π
Haciendo aquí r = 0 (o mirando la serie) deducimos que (0, θ) = 2π 0
ƒ (ϕ) dϕ :
Como en otros casos habría que probar que la dada por la serie (o por la integral) es
realmente la solución de [P3 ]. Se demuestra que si ƒ es continua a trozos, la tiene
infinitas derivadas en r < R (aunque en el borde sea discontinua), que en ese abierto
satisface Δ = 0 y que alcanza el valor de contorno con continuidad en los θ en que ƒ
es continua (y sigue habiendo unicidad, cosa que vimos en 1.3 sólo si ƒ era continua).
[La situación es totalmente análoga para [P1 ], Dirchlet en rectángulo].
41
Vamos con el problema de Dirichlet no homogéneo en el círculo. En vez de
tratarlo en general, resolvemos un problema concreto.
1
rr + rr + rθθ
2 = 4 , en r < 1
¨
[P4 ]
(1, θ) = cos 2θ
∞
n2 n2
00 + 1r 00 + 00 + 1r 0n − cos nθ + b00 + 1r b0n − =4,
X
0 n r2 n n
b sen nθ
r2 n
n=1
(r, θ) = r 2 − 1 + r 2 cos 2θ
[Se podría escribir en cartesianas: = 22 −1 ].
42
Resolvamos ahora el problema de Neumann homogéneo en un círculo:
Δ = 0 , en r < R
[P5 ]
r (R, θ) = ƒ (θ) , θ ∈ [0, 2π)
2π 2π
1 1
Z Z
n = ƒ (θ) cos nθ dθ , bn = ƒ (θ) sen nθ dθ , n = 1, 2, . . .
nπRn−1 0 nπRn−1 0
Δ = 0 en r < 1
3
Ej 4. Como sen3 θ = sen θ− 14 sen 3θ , no es preciso hacer integrales:
r (1, θ) = sen3 θ 4
∞
3
r (1, θ) = n n cos nθ + bn sen nθ = sen θ− 41 sen 3θ → b1 = 34 , b3 = − 12
1
X
4
y los otros
n=1
3 1 3
coeficientes son cero. La solución es: (r, θ) = C + 4
r sen θ − 12 r sen 3θ , C cualquiera.
∞ h i
La serie con cosenos y senos del [P4 ]
(r, θ) = Ro (r) + Rn (r) cos nθ
X
no cumple los datos de contorno.
→
n=1
R00 ∞ h R0n n2 Rn ∞
i
Ro + + +
cos nθ = F(r, θ) = Bo (r) + Bn (r) cos nθ ,
R00
X X
r n r
− r2
n=1 n=1
1 π 2 π
R R
con Bo (r) = π 0 F(r, θ) dθ y Bn (r) = π 0 F(r, θ) cos nθ dθ .
0
Basta, pues, resolver: rRo +R0o = rR0o = rBo (r) y r 2 Rn +rR0n −n2 Rn = r 2 Bn (r) ,
43
Resolvemos para acabar con Laplace en polares dos problemas con
condiciones mixtas. El primero va a ser homogéneo.
0
¨ Δ = 0 , r < 1 , θ ∈ 0, π
Θ00 +λΘ = 0 , Θ0 (0) = Θ π2 = 0
¨
2
[P7 ] r (1, θ) = ƒ (θ) →
r 2 R00 +rR0 −λR = 0
θ (r, 0) = (r, π2 ) = 0
4
R π/ 2
cn = [2n−1]π 0
ƒ (θ) cos(2n−1)θ dθ , n = 1, 2, . . . (solución única).
∞
[2n−1]θ
(r, θ) = Rn (r) sen
X
Probamos entonces la serie: 2
→
n=1
∞ ∞
[2n−1]2 [2n−1]θ [2n−1]θ
h i
R00 + 1r R0n − = −4θ = 4
X X
n 4r 2
Rn sen 2
Bn sen 2
n=1 n=1
[2n−1]θ 2[−1]2 n
2
Rπ
con Bn = π 0
−θ sen 2
dθ = π[n−1/ 2]2
2
Resolvemos pues: r 2 R00 + rR0n − n − 12 Rn = 4Bn r 2 con Rn (1) = Bn , Rn (2) = 4Bn .
n
Bn
Rnp = Ar 2 [ λ = 2 no autovalor] → A = 4−(n−1/ 2)2
→ Rn = c1 r n−1/ 2 + c2 r −(n−1/ 2) + Ar 2
c. contorno [2q+2 −1][Bn −A] 2q [2q −4][Bn −A]
→ c1 = 22q −1
, c2 = 22q −1
, llamando q = n− 21 .
Simplificando un poco:
2[−1]n
Rn (r) = [2q+2 −1]r q + 2q [q2 −4]r −q − [22q −1]r 2
πq2 [q2 −4][22q −1]
44
Acabamos la sección con algunas reflexiones sobre cambios de variable y descomposición
en subproblemas que generalicen las ideas que hemos utilizado. Los problemas clásicos
que vimos en 1.3 estaban formados por una ecuación lineal, que podemos representar, si
es no homogénea, por L[] = F , con L lineal (es decir, L[1 + b2 ] = L[1 ] + bL[2 ] ) y
unas condiciones adicionales también lineales. En los resueltos por separación de variables
necesariamente había un par de condiciones de contorno Ck [] = hk (a veces implícitas
como en Laplace en círculos), y además otras iniciales o de contorno.
Supongamos, por ejemplo, que son 3 las condiciones adicionales (como en el calor) y que
nuestro problema es de la forma:
¨ L[] = F
[P] M[] = ƒ
C1 [] = h1 , C2 [] = h2
El problema de resolver [P] puede ser reducido a resolver otros subproblemas más sencillos.
Por ejemplo, si 1 , 2 , 3 y 4 son soluciones de
L[] = F L[] = 0 L[] = 0 L[] = 0
M[] = 0 M[] = ƒ M[] = 0 M[] = 0
[P1 ] [P2 ] [P3 ] [P4 ]
C1 [] = 0 C1 [] = 0 C1 [] = h1 C1 [] = 0
C2 [] = 0 C2 [] = 0 C2 [] = 0 C2 [] = h2
está claro que = 1 + 2 + 3 + 4 es solución de [P], pero, como ya hemos observado,
bastantes veces nos convendrá descomponer [P] en menos subproblemas.
En otros casos interesará convertir la ecuación en homogénea (si no hubiese condiciones
de contorno, por ejemplo). Si somos capaces de encontrar una solución particular de la
ecuación ( L[] = F ), el cambio = − convertirá [P] en:
¨ L[] = L[]−L[] = 0
M[] = ƒ − M[]
C1 [] = h1 −C1 [] , C2 [] = h2 −C2 []
Más a menudo necesitamos hacer homogéneas las condiciones de contorno (la separación
de variables y otros métodos lo exigen). Así, si lo que tenemos es una que satisface
C1 [] = h1 y C2 [] = h2 , haciendo, como siempre, = − acabaríamos 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 además la ecuación (como en los ejemplos 3 y 5 de 3.1).
Los problemas homogéneos siempre son más sencillos que los no homogéneos (separando
variables, por ejemplo, los primeros exigen resolver sólo EDOs homogéneas, más corto que
resolver las EDOs no homogéneas de los segundos).
Como vemos, hay mucha variedad en los posibles cambios. En cada caso habrá que ver
cuáles nos llevan a problemas mas asequibles. Si inicialmente hay condiciones homogéneas
intentaremos que los cambios no las estropeen, aunque a veces no habrá más remedio.
45
3.3. Algunos problemas en tres variables
Comenzamos estudiando las series de Fourier dobles, de teoría semejante a
las de una variable (las triples, que aparecerían en problemas con 4 variables, son
también similares).
Sean Xm () , ∈ [, b] e Yn (y) , y ∈ [c, d] las autofunciones de dos problemas de
Sturm-Liouville con pesos respectivos r() y s(y) , y sea ƒ (, y) ∈ C1 [, b]×[c, d] .
Entonces, para cada (, y) ∈ (, b)×(c, d) se puede escribir ƒ como la serie:
Z bZ d
∞ X
∞ 1 1
ƒ (, y) = cnm Xn Ym con cnm = ƒ (, y) Xm Yn r s dyd
X
∞ 〈 ƒ (, y) , Ym 〉
pues para fijo se puede poner ƒ (, y) = Cm () Ym , Cm () =
X
,
m=1 〈Ym , Ym 〉
∞ 〈Cm (), Xn 〉
y con Cm () = cnn Xn , cnm =
X
se tiene la expresión de arriba.
n=1 〈Xn , Xn 〉
[Se llega a lo mismo, desde luego, desarrollando primero en Xn y luego en Ym ].
∞ X
∞ R LR M
mπy mπy
ƒ (, y) = bnm sen nπ 4
con bnm = LM ƒ (,y) sen nπ
X
L
sen M 0 0 L
sen M
dy d
n=1 m=1
∞ ∞ ∞ X
∞
mπy mπy
ƒ (, y) = 1
+ 1X
n0 cos nπ + 1 X
+ nm cos nπ
X
4 00 2 L 2
0m cos M L
cos M
n=1 m=1 m=1 n=1
R LR M mπy
con nm = 4
LM 0 0
ƒ (, y) cos nπ
L
cos M
dy d
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 fórmula valga también si n = 0 ó m = 0].
46
Resolvamos por separación de variables varios ejemplos (todos homogéneos) de
problemas en tres variables. Primero, la ecuación del calor en un cuadrado:
estudiamos la evolución de las temperaturas de una placa cuadrada (dadas las
iniciales) si el borde se mantiene a 0 grados:
0
!
− k[ +yy ] = 0 , (, y) ∈ (0, π)×(0, π) , t > 0
t 0 0
(, y, 0) = ƒ (, y)
(, 0, t) = (, π, t) = (0, y, t) = (π, y, t) = 0
0 0 !
Las condiciones de contorno exigen: X(0) = X(π) = Y(0) = Y(π) = 0 . Así pues:
λ = n2 , Xm = {sen n}, n = 1, 2, . . .
¨ o
n
− n2 +m2 kt
→ T nm = e .
μ = m2 , Yn = {sen my}, m = 1, 2, . . .
Cualquier nm (, y, t) = e− n +m kt sen n sen my satisface la ecuación y todas
2 2
las condiciones de contorno, así como lo hace cualquier combinación lineal de ellas.
Esto nos lleva a probar la serie:
∞ X∞
bnm e− n +m kt sen n sen my
2 2
(, y, t) =
X
n=1 m=1
∞ X
∞
que debe satisfacer además: (, y, 0) = bnm sen n sen my = ƒ (, y) →
X
n=1 m=1
Z πZ π
4
bnm = ƒ (, y) sen n sen my d dy , n, m ≥ 1 .
π2 0 0
Ahora, Laplace en un cubo con condiciones de contorno mixtas (que tendrá so-
lución única como los similares del plano):
47
Resolvamos el problema de Dirichlet en una esfera. En los libros de cálculo en
varias variables se encuentra la expresión del laplaciano en esféricas:
= r sen θ cos ϕ « 2r θθ cos θ θ ϕϕ
y = r sen θ sen ϕ → Δ = rr + + + + !
z = r cos θ r r2 sen θ r 2 sen2 θ r 2
r
Veamos primero el caso con datos independientes de ϕ : "
cos θ
rr + 2r r + r12 θθ + sen
(
= 0 , r <R
θ θ
(R, θ) = ƒ (θ) , θ ∈ [0, π]
que, de hecho, es un problema con dos variables. Podemos buscar entonces solu-
ciones que tampoco dependan de ϕ . Separando variables:
r R + 2rR0 − λR = 0
¨ 2 00
= R(r) Θ(θ) → cos θ 0
Θ00 + sen θ
Θ +λΘ = 0
El cambio t = cos θ transforma la segunda ecuación en:
2
[1−t 2 ] ddtΘ dΘ
2 − 2t dt + λΘ = 0 , ecuación de Legendre.
n=0 n=0
π
2n+1
Z
→ n = ƒ (θ) Pn (cos θ) sen θ dθ , n = 0, 1, . . . ,
2Rn 0
0
pues el peso es r(θ) = sen θ (sen θ Θ0 ) +λ sen θ Θ = 0 y para los Pn se sabe que:
Rπ 2 t=cos θ R 1 2 2
0
Pn (cos θ) sen θ dθ = −1
Pn (t) dt = 2n+1
2n+1
R1
Ej 2. Si R = 1 y ƒ (θ) = cos2 θ se tiene: n = 2 −1
t 2 Pn (t) dt
1
R1 1 5
R1 3
Así pues: 0 = t 2 dt = , 2 = t 4 − 21 t 2 dt = 23 , y los demás n = 0
2 −1 3 2 −1 2
Para resolver problemas con términos no homogéneos F(r, θ) en la ecuación,
∞
se probaría como siempre una serie de autofunciones: = n (r) Pn (cos θ) .
X
n=0
48
Pasemos ahora a resolver, con pocos detalles, el problema general:
cos θ
rr + 2r r + r12 θθ + sen + 1
(
= 0 , r <R
θ θ sen2 θ ϕϕ
(R, θ, ϕ) = ƒ (θ, ϕ) , θ ∈ [0, π] , ϕ ∈ [0, 2π)
Vamos en este caso a separar primero la parte radial y la que depende de los dos ángulos:
r 2 R00 + 2rR0 − λR = 0
¨
= R(r) Y(θ, ϕ) →
Yϕϕ + sen θ sen θ Yθ θ + λ sen2 θ Y = 0
¨ 00
+ μ = 0
Separando ahora la parte angular: Y(θ, ϕ) = Θ(θ) (ϕ) → μ
(sen θ Θ0 )0 + λ sen θ− sen θ Θ = 0
(2n+1)(n−m)! 2π π
R R
nm = 2π(n+m)!Rn 0 0
ƒ (θ, ϕ) cos mϕ Pm
n
(cos θ) sen θ dθdϕ
(2n+1)(n−m)! 2π π
R R
bnm = 2π(n+m)!Rn 0 0
ƒ (θ, ϕ) sen mϕ Pm
n
(cos θ) sen θ dθdϕ
2 (n+m)!
R1
puesto que se cumple −1
[Pm
n
(t)]2 dt = 2n+1 (n−m)!
.
Las soluciones respectivas son las series de abajo con los coeficientes indicados:
∞ ∞
(r, θ) = 20 + r −n n cos nθ+bn sen nθ (r, θ) = r0 + n r −(n+1) Pn (cos θ)
X X
n=1 n=1
Rn
R 2π
n = π 0
ƒ (θ) cos nθ dθ , n = 0, 1, . . . (2n+1)Rn+1 π
R
n = ƒ (θ) Pn (cos θ) sen θ dθ
Rn
R 2π 2 0
bn = π 0
ƒ (θ) sen nθ dθ , n = 1, 2, . . .
49
Si los problemas ‘esféricos’ llevan a Legendre, los ‘cilíndricos’ llevan a Bessel, como
en este problema de vibración de una membrana circular (de un tambor):
1 1
tt − c rr + r r + r 2 θθ = 0 , r ≤ 1, t ∈ R
2
R acotada en 0 , R(1) = 0
p
Haciendo s = r λ desaparece λ y la ecuación se transforma en la de Bessel:
s2 R00 (s)+sR0 (s)+[s2 −m2 ]R = 0 →
p p
R = c1 Jm (s)+c2 Km (s) = c1 Jm r λ +c2 Km r λ
p
R acotada ⇒ c2 = 0 . Los autovalores serán los λ que hagan Jm λ = 0 , que son
una sucesión infinita para cada m : λm1 , . . . , λmk , . . .
n p o
Y las autofunciones son Rmk = Jm r λmk . Así que probamos:
∞ p p
1 X
(r, θ, t) = 2
c0k J0 r λ0k cos c λ0k t
k=1
∞ X
∞ p p
+ [cmk cos nθ+dnk sen nθ] Jm r λmk cos c λmk t
X
m=1 k=1
∞ ∞ X
∞
1 X
p p
λ0k + [cmk cos nθ+dnk sen nθ] Jm r = ƒ (r, θ)
X
→ 2
c0k J0 r λmk
k=1 m=1 k=1
∞
1
Para r fijo, ƒ (r, θ) = A (r) + Am (r) cos mθ+Bm (r) sen mθ , con
X
2 0
m=1
1 2π
R
Am (r) = π 0
ƒ (r, θ) cos mθ dθ , m = 0, 1, . . . ,
1 2π
R
Bm (r) = π 0
ƒ (r, θ) sen mθ dθ , m = 1, 2, . . . .
Desarrollando:
∞ p ∞ p
Am (r) = , Bm (r) =
X X
cmk Jm r λmk dmk Jm r λmk
k=1 k=1
R1 p 1 2
p
r J2m r λmk dr =
Teniendo en cuenta que 0
J
2 m+1
λmk ,
50
3.4. Funciones de Green.
En lo que sigue trabajaremos formalmente con la δ en dos variables, utilizando sólo que:
i. δ(ξ−, η−y) = 0 para (ξ, η) 6= (, y)
RR
η−y) dξ dη = F(, y) si F continua en D ⊂ R2 y (, y) ∈ D .
ii. D
F(ξ, η) δ(ξ−,
Δ = F(, y) en D
(PD )
= ƒ en ∂D
Nuestro objetivo es (como en 2.4) expresar su solución en función de integrales en las que
sólo aparezcan una ’función de Green’ G y los datos F y ƒ :
ΔG = δ(ξ−, η−y) en D
Si G(, y; ξ, η) satisface (PG ) , para cada (, y) ∈ D
G = 0 en ∂D
y vista como función de (ξ, η) , se le llama función de Green de (PD ) y la
Teor 1:
solución de (PD ) es
ZZ I
(, y) = G(, y; ξ, η) F(ξ, η) dξdη + Gn (, y; ξ, η) ƒ (ξ, η) ds
D ∂D
¿Cómo resolver (PG )? Comencemos buscando una (, y; ξ, η) que, vista como función de
(ξ, η) , satisfaga Δ = δ , aunque no cumpla la condición de contorno. ¿Qué funciones cono-
cidas cumplen Δ = 0 y puedan originar una δ ? Las soluciones de Laplace en polares que
dependen de r son:
1
rr +
r r
= 0 → = c1 + c2 ln r
Así que algún múltiplo del discontinuo logaritmo de la distancia r = PQ del punto P = (ξ, η)
al Q = (, y) es buen candidato a :
1 1
= 4π ln (ξ−)2 +(η−y)2 = 2π ln PQ satisface Δ = δ(ξ−, η−y) para (, y) fijo.
Teor 2:
A se le llama solución fundamental para el punto (, y) .
Para probar el teorema volvemos a hacer ’trampa’ con la δ . Ya vimos que Δ = 0 si r 6= 0 ,
o sea, si (ξ, η) 6= (, y) . Además, el ’teorema’ de la divergencia en un círculo de centro Q y
radio R nos da:
RR H H R 2π 1
r≤R
Δ dξdη = r=R n ds = r=R r ds = 0 2πR R dθ = 1 → Δ = δ
51
Δ = 0 en D = { > 0}×{y > 0} Sean Q = (, y) ∈ D fijo,
(P1 ) 1
(, 0) = ƒ (), (0, y) = 0, acotada P = (ξ, η), = 2π ln PQ .
1
Si Q0 = (−, y) , es claro que 0 = − 2π ln PQ0 es una función de
P que es armónica en D (lo es en R2 −{Q0 } ) y que +0 = 0 Q’(-x,y) Q(x,y)
si P pertenece al eje y , pues entonces PQ = PQ0 . Análoga- – +
mente ∗ = − 2π 1
ln PQ∗ , con Q∗ = (, −y) , es armónica en D
D
y +∗ = 0 si P está en el eje . Para que G sea cero en am- P(!,")
bos ejes a la vez hay que sumar una nueva ∗ 0 = − 1 ln PQ0 ,
2π ∗
Q0∗ = (−, −y) . Entonces G(P, Q) = + 0 + ∗ + ∗ 0 es la
1 1
ln (ξ−)2 + (η+y)2 + 4π ln (ξ+)2 + (η+y)2
− 4π
Y como n = −j en el eje , la solución de nuestro problema (P1 ) será:
R∞ y R∞
h i
(, y) = ∂D Gn ƒ ds = 0 −Gη η=0 ƒ (ξ) dξ = · · · = π 0 (ξ−)12 +y2 − 1
H
(ξ+)2 +y 2
ƒ (ξ) dξ
1 1 r 2 σ2
G(r, θ; σ, ϕ) = ln σ 2 + r 2 − 2rσ cos(θ−ϕ) − ln R2 +
4π 4π R2
− 2rσ cos(θ−ϕ)
expresión mucho más compacta que las series de Fourier, aunque estas integrales, en ge-
neral, no sean calculables (y habrá que aproximarlas, pero son aproximaciones también las
sumas parciales).
Las cuentas en tres dimensiones son muy similares a los de dos. Si G es solución de (PG ):
RRR H
(, y, z) = D
G F dξdηdγ + ∂D Gn ƒ dS ( ∂D es ahora una superficie)
Los puntos imágenes 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.
52
4. Otros métodos en EDPs
Este último capítulo está dedicado al estudio de varios temas independientes
entre sí. En 4.1 nos dedicaremos a sacarle jugo a la fórmula de D’Alembert
deducida de 1.3 para la solución del problema puro de valores iniciales para una
cuerda infinita. Veremos que la solución (, t) resulta ser la suma de dos ondas
que se mueven en sentido opuesto. Observaremos que la información contenida en
los datos iniciales ‘viaja por las características’ y definiremos los conceptos de do-
minio de dependencia y dominio de influencia. Daremos también una fórmula para
las soluciones en el caso de la ecuación no homogénea (con fuerzas externas).
Comprobaremos como, extendiendo de forma adecuada los datos iniciales a todo
R, podemos abordar problemas con condiciones de contorno. Al estar manejan-
do funciones con expresiones diferentes en diferentes intervalos, será complicado
escribir explícitamente la solución. Nos conformaremos por eso muchas veces con
hallar su expresión para valores de t o fijos o con los dibujos de las soluciones.
En 4.2 comenzaremos dando sin demostración la solución del problema puro de
valores iniciales para la ecuación de ondas homogénea en el espacio (fórmula de
Poisson-Kirchoff). De ella deduciremos la fórmula para el plano. Estudiaremos
las diferencias entre la propagación de las ondas en una, dos y tres dimensiones es-
paciales. Comprobaremos que las ondas en el espacio ‘pasan’ (como ocurre con el
sonido), mientras que en el plano la influencia de los datos iniciales se deja sentir,
aunque amortiguándose, a lo largo del tiempo (en la recta depende de si la per-
turbación inicial se da en la posición o en la velocidad). Estudiaremos también las
ondas que se propagan en el espacio con simetría esférica que son de tratamien-
to sencillo, por ser esencialmente unidimensionales, ya que un sencillo cambio de
variable lleva a la ecuación de la cuerda (para n = 2 no existe tal cambio).
En la la sección 4.3 definiremos la transformada de Fourier F (y las trans-
formadas seno y coseno) y citaremos sin demostración aquellas propiedades que
permiten resolver algunas EDPs en intervalos no acotados (para ellos no se puede
utilizar separación de variables). Como ocurre con la transformada de Laplace para
la EDOs, aplicando la F a algún problema para EDPs acabaremos en otro más sen-
cillo (de EDOs, para las ecuaciones en dos variables que tratamos). Resuelto este
segundo problema, para hallar la solución habrá que calcular una transformada
inversa. En particular, las transformadas de Fourier nos permitirán resolver proble-
mas de la ecuación del calor para varillas no acotadas (que no son resolubles
con las técnicas de los capítulos anteriores). Aparecerá la solución fundamental de
la ecuación del calor y se comprobará que, según nuestra ecuación matemática,
el calor se transmite a velocidad infinita. Y, en fin, para problemas en semirrectas
introduciremos las transformadas seno y coseno.
53
4.1. Ecuacióóóón de la cuerda vibrante
En el capítulo 1 vimos que para el problema puro de valores iniciales:
¨ − c2 = 0 , , t ∈ R u(x,0) g(x)
tt
(P1 ) (, 0) = ƒ () f(x)
t (, 0) = g()
x
las características eran ±ct = K , la solución general
(, t) = p(+ct) + q(−ct) , p y q funciones arbitrarias de C2 .
1
R +ct
Ej 1. Sea ƒ () = 0 , g() = → (, t) = 2c −ct
s ds = t .
54
Ej 2. Supongamos ƒ = 0 salvo una perturbación en forma de triángulo h
en torno a 0 y que soltamos la cuerda sin impulso ( g = 0 ). f f/2
Dibujemos la solución para diferentes t . Basta trasladar las dos
ondas que viajan en sentidos opuestos [aquí ambas son 12 ƒ () ]: —b 0 b
—b b —b b —b b
!
[Observemos que el recinto descrito por la integral doble
t (x,t)
es el triángulo del plano sτ limitado por el eje τ = 0 y las
características que pasan por (, t) ].
s
x-ct x x+ct
tt − = 2
Ej 3. Utilizando directamente [2]:
(, 0) = , t (, 0) = 3
1
R +t R tR +[t−τ]
(, t) = (+t) + (−t) + 12 3 ds + 1
2 ds dτ = · · · = +3t +t 2
2 −t 2 0 −[t−τ]
A veces es fácil hallar una solución particular de la ecuación no homogénea y así evitar
el cálculo de la integral doble, pues = − lleva a un problema con F = 0 , resoluble con
[1] (esto no se podrá hacer siempre cuando haya condiciones de contorno, pues podrían
dejar de ser homogéneas). Por ejemplo si ƒ depende sólo de o de t se puede buscar
una () o una (t) . En este caso:
tt − = 0
− = 2 → = −2 +C+K → si () = −2 , cumple
(, 0) = +2 , t (, 0) = 3
R +t
→ = 21 (+t)+(+t)2 +(−t)+(−t)2 + −t 3 ds = +2 +t 2 +3t → = +3t +t 2
tt − = 0
tt = 2 → (t) = t 2 +3t → → = → = + 3t + t 2
(, 0) = , t (, 0) = 0
55
Resolvamos ahora el problema para la cuerda semi-infinita y fija en un extremo:
¨ −c2 = 0 , ≥ 0, t ∈ R
tt
[para que no esté rota,
(P3 ) (, 0) = ƒ () , t (, 0) = g()
debe ser ƒ (0) = 0 ].
(0, t) = 0
Así pues, la solución de (P3 ) es la del siguiente problema (para la cuerda infinita):
¨ −c2 = 0 , , t ∈ R
tt 1 Z +ct ∗
(, 0) = ƒ ∗() , (, t) = 12 ƒ ∗(+ct)+ƒ ∗(−ct) + 2c g (s) ds [3]
tt − = 0 , ≥ 0, t ∈ R
Dibujemos sus soluciones para varios valores de t ,
sen π, 1≤≤2
n
Ej 4. t (, 0) = por ejemplo, para t = 1, 2, 3 . Para ello identificamos
0 en [0,1]∪[2,∞)
sus ondas viajeras, que serán:
(, 0) = (0, t) = 0
←− −→ R
= G∗ (+t)− G∗ (−t) , con G∗ () = 12 0 g∗
y g∗ la extensión impar de la g inicial.
Las gráficas de g∗ y G∗ son las de la izquierda. La de
G∗ se obtiene observando que para ∈ [0, 1] debe ser 0
(se anula el integrando), que si ≥ 2 ha de ser constante
R2
= 21 1 sen π d , que entre 1 y 2 será decreciente y que
56
Siguiendo con la cuerda semi-infinita, veamos como se resuelve el problema más
general con fuerzas externas y extremo móvil:
¨ −c2 = F(, t) , ≥ 0, t ∈ R
tt
[debe ahora ser
(P4 ) (, 0) = ƒ () , t (, 0) = g()
ƒ (0) = h0 (0) ].
(0, t) = h0 (t)
Una vez que tenemos la condición de contorno homogénea, la solución del proble-
ma en la da [2] si sustituimos sus ƒ , g y F por ƒ ∗ , g∗ y F ∗ , siendo ésta última
la extensión impar de F mirándola como función de .
¨ tt − = 0 , ≥ 0, t ∈ R
Ej 5. (, 0) = t (, 0) = 0 Hallemos primero la solución para un y t fijos: (1, 2) .
(0, t) = t 2
[Por ser constantes las F a integrar, nos hemos ahorrado el cálculo de integrales
dobles. Pero como esto no se podrá hacer en general, vamos a perder un poco el
tiempo en hallar (1, 2) sin este atajo. El valor que estamos calculando es:
R 2R 3−τ
(1, 2) = 12 4 F ∗ = 12 0 τ−1 F ∗(s, τ) ds dτ
RR
Con este segundo cambio es también fácil dar la (, t) para todo , t ≥ 0 :
( 1
− 2 (+t)2 + 21 (−t)2 = −2t, ≤ t
¨
(−t)2 , ≤ t
= 21 [ƒ ∗ (+t)+ƒ ∗ (−t)] = → =
1 2 1
− (+t) − (−t) = − −t , ≥ t
2 2 2 0 , ≥t
2 2
[Llegar a este resultado con el primer cambio nos hubiera costado más].
[Como las ondas viajan a velocidad c = 1 los puntos a distancia ≥ t debían estar
parados en el instante t ].
57
Estudiemos la cuerda acotada y fija en ambos extremos [tratada ya en 3.1]:
¨ −c2 = 0 , ∈ [0, L], t ∈ R
tt
[debe ser
(P5 ) (, 0) = ƒ () , t (, 0) = g()
ƒ (0) = ƒ (L) = 0 ].
0 L (0, t) = (L, t) = 0
f* f
0 L
-2L -L 2L 3L
primero, como siempre, hay que hacer las condiciones de contorno homogéneas,
hallando una que las cumpla y haciendo = − . Una de esas es la conocida:
(, t) = 1− L h0 (t) + L hL (t) [a veces será mejor buscar otra].
58
tt − = 0 , ∈ [0, 1], t ∈ R u(x,0)
n , 0≤≤1/ 2 (Puede representar la
Ej 6. (, 0) = pulsación de la cuerda f
1− , 1/ 2≤≤1 1/2
de una guitarra). x
t (, 0) = (0, t) = (L, t) = 0 1
0
Con la fórmula [2] es, en general, complicado hallar la expresión analítica de (, t) para
todo y todo t , pues ƒ ∗ y g∗ tienen diferentes formas en diferentes intervalos. Aquí:
···
1/2
−1 − , −3/ 2 ≤ ≤ −1/ 2
f*
1 , −1/ 2 ≤ ≤ 1/ 2
ƒ () =
∗
0
1 − , 1/ 2 ≤ ≤ 3/ 2
− 2, 3/ 2 ≤ ≤ 5/ 2
···
Para hallar (, t) = 12 ƒ ∗ (+t) + ƒ ∗ (−t) tendríamos que discutir según los valores de
Hallemos para t = 14 :
, 14 = 12 ƒ ∗ (+ 14 ) + ƒ ∗ (− 14 )
1/4
+ 14 + − 14 , 0 ≤ ≤ 14 , 0 ≤ ≤ 14
1 0 3/4 1
= 3 1 1 3
2 4 − + − 4 , 4 ≤ ≤ 4
= 1
4
, 1
4
≤ ≤ 34 -1/2 1/4 1/2
3 3
4
− + 54 −, 3
4
≤≤1 1−, 4
≤≤1
u(x,1/4) u(x,3/4)
1/4
1/4 1/2
x 0 1 x
0 1/2 1
-1/4
f*(x+t)/2
u(x,1/2) f*(x-t)/2 u(x,1)
1/4 1/4
1/2
x x
0 1/2 1 0 1
-1/2
h i h i
1 1
= ƒ∗ +t + ƒ ∗ 12 −t = ƒ∗ 1
+t − ƒ ∗ t − 12
Dibujemos ahora: 2
,t 2 2
1/2
u(1/2,t)
1 3 5
t
0 2 4
Como vemos, la gráfica se repite con periodo 2. Esto es general: por las propiedades
de ƒ ∗ y g∗ la dada por [3] es 2L/ c-periódica. Cosa que era evidente en la serie
solución obtenida en 3.1:
∞ R 1/ 2 R1 4 sen nπ
(, t) = kn cos nπt sen nπ , kn = 2 0 sen nπ d+2 1/ 2 (1−) sen nπ d = n2 π 22 .
X
n=1
59
¨ − = , ∈ [0, π], t ∈ R
tt Para este ejemplo más complicado
Ej 7. (, 0) = , t (, 0) = 0
nos limitamos a hallar π2 , π .
(0, t) = 0, (π, t) = π
Para hallar π2 , π , en principio, hay que hacer 3 integrales dobles, pero como (es F ∗
π
R π/ 2R τ+ π R πR 3π
−τ 3 3
, π = 21 2
s dsdτ + 12 2
s dsdτ = π8 → π
, π = π2 + π8
2 0 τ− π2
π
τ− π2
2
2
Pero mejor se busca una () que cumpla la ecuación y las condiciones de contorno:
3 2
tt − = 0 , (, 0) = −π
¨
3 c.c. 2 3 =+
= c1 +c2 − 6 → = 1+ π6 − 6 −→ 6
t (, 0) = (0, t) = (π, t) = 0
Extendiendo la última ƒ podemos aplicar D’Alembert (mucho más corto que antes):
h i π3 π3
π2 , π = 21 ƒ ∗ 3π + ƒ ∗ − π2 = −ƒ π2 = 16 , π2 = π2 + 16
2
...
↑
impar y 2π-periódica
Resolvamos este problema por separación de variables. Es necesario, también, que las
condiciones de contorno sean homogéneas. De los dos problemas para de arriba es
más sencillo el segundo (ecuación homogénea) cuya solución, según 3.1, es:
∞ ∞
(−1)k
R π 3 2 2(−1)n
= cn cos nt sen n , cn = π2 0 −π sen n = n3 → π2 , π = 2 (2k+1)3
X X
6
n=1 k=0
∞ ∞
3 −π 2 2(−1)n =π/ 2 X (−1)k π3
= = 32
X
¿Cuál es la suma de esta serie? Como 6 n3
sen n −→ (2k+1)3
.
n=1 k=0
Para resolver el otro problema (no homogéneo) probamos una serie de autofunciones:
∞ Rπ 2(−1)n+1
= Tn (t) sen n → Tn00 + n2 Tn = bn = π2 0 sen n d =
X
n
→
n=1
60
4.2. Ondas en tres y dos dimensiones.
Sea el problema de valores iniciales para las de ondas en 3 dimensiones espaciales:
Podemos mirar (P2 ) como un caso particular de (P3 ) en que datos (y por tanto so-
luciones) no dependen de z . Las coordenadas adecuadas ahora para parametrizar
C son las cartesianas (o las cilíndricas). Expresando [1] en cartesianas se obtiene:
∂ ƒ (ξ, η) dξdη g(ξ, η) dξdη
ZZ ZZ
1
(, y, t) = 2πc p + p
∂t B c2 t 2 − (ξ−)2 − (η−y)2 B c2 t 2 − (ξ−)2 − (η−y)2
61
Supongamos una perturbación localizada para t = 0 en un punto P del plano. Otro
punto M , situado a una distancia d de P , permanecerá en reposo hasta el instante
to = d/ c . Si t ≥ to , P ya pertenece al círculo B(M, ct) y por tanto será (M, t) 6= 0 : a
partir del instante to el punto M permanece perturbado indefinidamente (aunque
tienda a pararse cuando t → ∞ , como las ondas producidas por una piedra en un
estanque). Esta situación no contradice los resultados para n = 3 : la perturbación
de P , vista como una perturbación en el espacio independiente de z , consiste
de hecho en un cilindro vertical infinito sobre P , con lo que al M irán llegando
las perturbaciones provinientes de puntos cada vez más lejanos del cilindro (que,
por tanto, serán cada vez más pequeñas). Las ondas que se propagan constituyen
ondas cilíndricas en el espacio: en cada cilindro paralelo al inicial la solución toma
un valor constante.
2t 2
∂ 2 3
= ∂t
tz + t 2 +y 2 + 3
= z + t2 + ty 2 + 3
t
El de ƒ = 0 , g = 2 +y 2 , como uno de n = 2 :
2πZ t t
r(2 + y 2 + r 2 + 2r[ cos θ+y sen θ]) r(2 +y 2 )+r 3
Z Z
1
2 = 2π p drdθ = p dr
0 0 t2 − r 2 0 t2 − r 2
h p p 2 it
= − (2 +y 2 ) t 2 −r 2 − 13 2t 2 +r 2 t −r 2 = t2 +ty 2 + 23 t 3 .
0
62
Consideremos ahora ondas en el espacio con simetría radial. Pasando a esféri-
cas y quitando los términos con derivadas respecto a θ y ϕ llegamos al problema:
tt − c2 rr + 2r r = 0 , r ≥ 0, t ∈ R
¨
(Pr )
(r, 0) = ƒ (r) , t (r, 0) = g(r)
tt − c2 rr = 0 , r ≥ 0, t ∈ R
¨
(P )
(r, 0) = rƒ (r), t (r, 0) = rg(r), (0, t) = 0
¨
tt − Δ = 0 , r ≥ 0 , t ∈ R Comencemos suponiendo n = 3 .
Ej 2.
1, r ≤ 1
(r, 0) = 0, t (r, 0) = 0 , r > 1 Su solución es = , si es la solución de:
r
G*
tt − rr = 0 , r, t ∈ R
(
1
R r+t r
→ (r, t) = G∗
r , |r| ≤ 1
(r, 0) = 0, t (r, 0) = G∗ (r) = 0 , |r| > 1 2 r−t
que coincide con la (0, t) = G∗ (t) deducida por L’Hôpital. Aparecen discontinuidades ( G
no era continua), pero estas se concentran en el origen ( (M, t) sí era continua).
63
tt −rr − 2r r = 0 , r ≥ 0, t ∈ R (r −2)(r −4) si r ∈ [2, 4]
n
Ej 3. , con ƒ (r) =
(r, 0) = ƒ (r) , t (r, 0) = 0 0 en el resto de [0, ∞)
12 , 3 = −3/ 8
= − 34 , (6, 3) = −3/ 2
= − 14 ,
1/ 2 6
tt − rr + 2r r = 0 , r ≥ 0
¨
Ej 4. Calculemos (1, t) para t ≥ 0 .
(r, 0) = r , t (r, 0) = 0
¨ tt −rr = 0 , r ≥ 0 ¨ tt −rr = 0 , r ∈ R
ƒ ∗ extensión impar de r 2
= r → (r, 0) = r 2 → (r, 0) = ƒ ∗(r)
− r 2 si r ≤ 0 .
t (r, 0) = (0, t) = 0 t (r, 0) = 0
(1
(1,t) [(1+t)2 +(1−t)2 ] = 1+t 2 si 0 ≤ t ≤ 1
Por tanto, (1, t) = 1 = 12 .
2
[(1+t)2 −(1−t)2 ] = 2t si t ≥ 1
( ∂
i1 [2t 3 +6t] si 0≤t≤1
2 +2ts)3/ 2
h
∂ 1 ∂ ∂t
= (1+t = 16 ∂t |t+1|3 −|t−1|3 = 1
∂t 6 6 ∂
−1
∂t
[6t 2 +2] si t≥1
que nos lleva al resultado de antes.
64
4.3. Transformadas de Fourier.
hR∞ i
Sea ƒ () definida en R y absolutamente integrable −∞
|ƒ | < ∞ .
Z ∞
La transformada de Fourier de ƒ es la función: ƒ̂ (k) = p1 ƒ () ek d .
2π −∞
1 1
[Algunos libros no ponen la constante p en la definición de ƒ̂ y ponen 2π
en la fórmula
2π
de inversión; también se puede ver en la primera fórmula e−k y en la segunda ek ].
F (ƒ 0 ) = −kF (ƒ )
Teor 2 ƒ , ƒ 0 , ƒ 00 ∈ C(R) y absolutamente integrables ⇒
F (ƒ 00 ) = −k 2 F (ƒ )
Z ∞
La convolución de ƒ y g es la función: (ƒ∗g)() = p1 ƒ (−s) g(s) ds .
Teor 3 2π −∞
Se tiene ƒ ∗g = g∗ƒ , y F (ƒ ∗g) = F (ƒ ) F (g) , si las transformadas existen.
Aplicando a una EDP en dos variables la F en una de ellas se obtiene una EDO
(en la otra variable) para la ̂ . Resolviendo la EDO se determina ̂ . Identificando
la de la que proviene o aplicando el teorema de inversión se puede a veces
dar la solución explícitamente, pero en muchos casos hay que dejar la solución en
términos de integrales no calculables.
t + = g()
Aplicamos la F en la variable (se supone que , g y ƒ
Ej 1.
(, 0) = ƒ () son buenas, de modo que se pueden usar los teoremas):
̂t − k ̂ = ĝ(k)
¨
ĝ(k)
→ ̂(k, t) = p(k) ekt − k
, p arbitraria
̂(k, 0) = ƒ̂ (k)
ekt −1
h i
−→ ̂ = ƒ̂ (k) ekt + ĝ(k) k
dato inicial
p
1 si ∈ [0, t]
Por tanto: (, t) = ƒ (−t) + 2π g()∗h() siendo h() =
0 en el resto
Rt R −t R
Como 0
g(−) d = −
g(s) ds , concluimos que = ƒ (−t) + −t
g(s) ds .
[La solución la podemos calcular también con las técnicas del capítulo 1:
ξ=−t
dt R
=1 → → η = g(η) → = p(−t) + 0 g(s) ds →
d η=
R R −t R
p() + 0 g(s) ds = ƒ () → = ƒ (−t) − 0 g(s) ds + 0 g(s) ds como antes].
65
Más interés que el ejemplo anterior, puesto que no conocemos ningún otro método
para resolverlo, tiene el problema para el calor en una varilla infinita:
t − = 0 , ∈ R, t > 0
(P)
(, 0) = ƒ () , acotada
1 2
G(, s, t) = p e−(−s) / 4t es la llamada solución fundamental de
2 πt
la ecuación del calor, que representa la temperatura del punto en
el instante 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 solución de (P) con hipótesis más amplias incluso
de las que nos permiten aplicar la F . En concreto, para cualquier ƒ acotada y
continua a trozos [1] nos da la solución única acotada de (P) que es continua para
t ≥ 0 a excepción de los puntos de t = 0 en que ƒ es discontinua.
De [1] se deduce también que, según nuestro modelo matemático, 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 pequeño que sea t y grande que sea |−o | . También
se ve que es C∞ para t > 0 aunque ƒ sea discontinua (¡aunque sea ƒ () = δ(−s) !).
Son propiedades claramente diferentes de la ecuación de ondas.
66
t − + 2t = 0 , ∈ R, t > 0 Hallemos la solución para una ƒ () general
Ej 3.
(, 0) = ƒ () , acotada y deduzcamos la solución para ƒ () ≡ 1 .
2
Z ∞ 2
Z ∞
e−t 2 e−t 2 2
En particular, si ƒ () ≡ 1 , = p e−(−s) / 4t ds = p
π
e− d = e−t .
2 πt −∞ ↑p −∞
(s−)/ (2 t ) =
t − = 0
2
[Parece que sería adecuado hacer un cambio de la forma = e−t → ;
(, 0) = ƒ ()
de [1] se deduce nuestra fórmula y ≡ 1 es solución clara si ƒ () ≡ 1 (la varilla sigue a 1o ).
Análogamente a lo que pasaba con la transformada de Laplace para resolver EDOs, el uso
de la F permite abordar problemas de EDPs con la delta de Dirac δ sin entrar en sutilezas
sobre continuidades y saltos en derivadas.
La transformada de la delta es muy fácil de hallar:
Z ∞
1 1
F δ(−) = d(−) ek d = ek .
p p
2π −∞
2π
Resolvamos un problema (algo complicado) para la cuerda infinita con una F = δ (empuja-
mos hacia arriba en el punto central de la cuerda):
La será, por tanto, la convolución de una h de este tipo consigo misma. En concreto:
1 , ∈ [−t/ 2, t/ 2]
R∞
= 12 ∞ h(−s) h(s) ds , donde h() =
0 en el resto
¨
0 , si || ≥ t
Es decir, = 1
2
t −|| , si || ≤ t
tt − = 0
¨
1
(, 0) = ||/ 2 → = |+t|+|−t| − 12 || .
4
t (, 0) = 0
Discutiendo los valores absolutos se llega a la solución de antes.
67
En problemas para regiones semi-infinitas se usan las transformadas seno y coseno que
vemos como caso particular de F por las propiedades de las funciones pares o impares. Se
definen estas transformadas de funciones ƒ absolutamente integrables en [0, ∞) mediante:
q Z ∞ q Z ∞
2 2
Fs (ƒ )(k) = ƒ̂s (k) = π
ƒ () sen k d ; Fc (ƒ )(k) = ƒ̂c (k) = π
ƒ () cos k d
0 0
[Por este resultado, la Fs será útil cuando nos den el valor de (0, t)
mientras que la Fc la emplearemos si lo fijado es (0, t) ].
¨ − = 0 , > 0, t > 0
t
Ej 5. Calor en una varilla semi-infinita: (, 0) = 0 , (0, t) = g(t)
acotada
Rt
→ (, t) = 1
p
s
e−
2
/ [4(t−s)] g(s) ds
2 π 0 [t−s]3/ 2
¨ tt − = 0 , ≥ 0, t ∈ R
Ej 6. Ondas semi-infinita: (, 0) = t (, 0) = 0
(0, t) = t 2
La integral es muy complicada. Hallamos sólo (1, 2) pues entonces parece simplificarse:
R∞ k 3
k
(1, 2) = π8 0 sen − sen dk = (tablas) = π8 π2 − 3π =1
k k3 8
[Llegamos a ese valor en 4.1 a partir de D’Alembert (que era mejor camino)].
68
Apéndice
Repaso de EDOs
dy
Algunas EDOs de primer orden d
= ƒ (, y) resolubles
dy M = U
Exactas: M(, y)+N(, y) d = 0 con My ≡ N → U(, y) = C solución.
N = Uy
dy y
Ej. d
= y− (solución única si y 6= ) se puede resolver por tres caminos:
y z
R (2z−2) dz y2 y
= −2 d +C → z 2 −2z = 2 −2 = C2 .
R
z = → z 0 +z = z−1 → z 2 −2z
dy U = y → U = y+p(y)
y + (−y) d con My ≡ N = 1 → → y 2 −2y = C .
Uy = −y → U = y− 12 y 2 +q()
d y− y
= − y +1 lineal (solución única si y 6= 0 ) . = C
+ 1y C
R
dy
= y y
y dy = y
+2 .
dy
Pasa una sola curva integral (solución de d = · · · o de d = · · · ) salvo por (0, 0) .
dy
Si o ∈ , tiene una sola solución (definida en todo ) con y(o ) = yo , y 0 (o ) = yo0 .
Si y1 , y2 son soluciones de la homogénea ( ƒ ≡ 0 ) con wronskiano |W|(s) 6= 0 para
algún s ∈ , la solución general de la homogénea es: y = c1 y1 +c2 y2 .
Si yp es una solución de [n], la solución general de [n] es: y = c1 y1 +c2 y2 +yp .
R y ƒ R y ƒ
Una solución particular de [n] es: yp = y2 |W|1 2
d − y1 |W| d [fvc].
69
Euler: [u] 2 y 00 +y 0 +by = 0 , μ(μ−1)+μ+b = 0 .
Si μ1 6= μ2 reales → y = c1 μ1 +c2 μ2
La solución general de [u] es: Si μ doble (real) → y = [c1 +c2 ln ] μ
Si μ = p±q → y = [c1 cos(q ln )+c2 sen(q ln )] p
1 3
h R 3 i
= 32 , y = 3 1·1 + ·1 = − 1 2 .
R
O bien, |W|() = 2 p 3 2 3 2 2
0 3
R d
O de otra forma: y 0 = → 0 = 2
+1 → = C2 +2 2
= C2 − → y = K +C3 − 12 2 .
n=0
n=0
n=0 n=0
∞
c] Si r1 −r2 ∈ N : y2 = r2 bk k +dy1 ln , b0 6= 0 , d ∈ R.
X
n=0
P0 = 1 , P1 = , P2 = 32 2 − 12 , P3 = 25 3 − 32 , P4 = 35
8
4 − 15
4
2 + 38 , . . .
R1 R1 2
Se cumple que: −1 Pn Pm d = 0 , si m 6= n ; −1 P2n d = 2n+1 .
∞
p X (−1)m [/ 2]2m
Bessel: 2 y 00 +y 0 +[2 −p2 ]y = 0 → r = ±p . r1 = p → Jp () ≡ 2 m! (p+m+1)
.
m=0
Jp soluciones acotadas en = 0 , con infinitos ceros [los de J0 son: 2.4.., 5.5.., ...].
Las soluciones linealmente independientes de ellas son no acotadas en 0 .
Cuando p = 12 , 3
, . . . , la solución es expresable con funciones elementales
2
cos
por ejemplo, si p = 12 es y = c1 sen
p +c2 p
.
2p 0
Recurrencia: Jp+1 = Jp − Jp−1 . Derivadas: p Jp () = p Jp−1 () , J00 () = − J1 .
1
P2 P0
0.8 J0 Bessel
P3 P1 0.6
J1
0.4
–1 1 0.2
0
5 10 15 20
–0.2
Legendre
–0.4
70
Repaso de convergencia uniforme
Sea la sucesión de funciones definidas en A ⊂ R : {ƒn ()} = ƒ1 (), ƒ2 (), ..., ƒn (), ... .
Criterio de Weierstrass
Así pues, en general, no se pueden derivar término a término las sumas infinitas
como las finitas. Aunque sí se puede hacer con las series de potencias:
∞
cn n = c0+c1 +c2 2+· · · converge uniformemente en todo intervalo
X
La serie
n=0
cerrado [, b] ⊂ (−R, R) ( R radio de convergencia). Para || < R la función ƒ ()
∞
definida por la serie es derivable y ƒ 0 () = ncn n−1 = c1 +2c2 +3c3 2 + · · ·
X
n=1
2 3
Ej. − 2 + 3 + · · · con R = 1 , converge puntualmente
si ∈ (−1, 1] hacia log(1 + ) y uniformemen-
71
Repaso de cálculo en varias variables
Sean , x ∈ Rn , A ⊂ Rn . Entorno de centro y radio r es Br () ≡ x : kx−k < r .
= r sen θ cos ϕ «
= r cos θ
∂(,y) ∂(,y,z)
Polares:
y = r sen θ
→ ∂(r,θ)
= r . Esféricas: y = r sen θ sen ϕ → ∂(r,θ,ϕ)
= r 2 sen θ .
z = r cos θ
[No depende de la c(t) elegida. Si C es C1 a trozos, se divide [, b] y se suman las integrales].
Si ∂D viene descrita por c(t) = (t), y(t) un normal unitario es n = y (t),− (t)
0 0 kc (t)k .
0
72
problemas de EDII (C) 2009
problemas 1
2. Sea yy − = +2 y los datos iniciales: i) (, 0) = − , ii) (, 2) = 7 . Hallar la única
solución que satisface uno de ellos y dos soluciones distintas que cumplan el otro.
i) (, 1) = 1
3. Resolver y +2y = 3 con , estudiando la unicidad de la solución.
ii) (0, y) = 0
4. Precisar para qué valores de n entero positivo el dato de Cauchy (, n ) = n determina
una única solución de la ecuación +y = y 2 cerca de (0, 0) .
7. Escribir (E) tt + 2t = 2 en forma canónica y hallar su solución general. De los datos de
Cauchy: i) (, 0) = t (, 0) = 0 , ii) (0, t) = 0 , (0, t) = t , hay unos que determinan una
única solución de (E). Hallarla en ese caso.
8. Sea [E] tt + 2t + + = 0 . Hallar su solución general. Hallar (y simplificar) la solución
de [E] que satisface (, −) = 0 , t (, −) = 1 . Escribir una solución de [E], distinta de la
≡ 0 , que cumpla (, ) = t (, ) = 0 .
9. a) Escribir (E) 4yyy − +2y = 0 en forma canónica para y > 0 y para y < 0 .
b) Resolver (E) con los datos iniciales: (, 1) = 2 , y (, 1) = .
10. Sea (E) Ayy +By +C +Dy +E +F = G(, y) , con A, B, . . . , F constantes.
Probar que, si (E) no es parabólica, un cambio de variable = epy eq , con p y q
constantes adecuadas, lleva (E) a una ecuación (E*) sin derivadas de primer orden. ¿Para
qué relación entre las constantes A, . . . , F no tiene (E*) término en ?
Aplicar lo anterior para hallar la solución general de y +2y +3 +6 = 1 .
Probar que cualquier ecuación parabólica o es resoluble o se puede escribir con cambios
de variable en la forma η +E∗ξξ = G∗∗(ξ, η) .
73
problemas de EDII (C) 2009
problemas 2
3. Desarrollar a) ƒ () = 1 y b) ƒ () = 2 , ∈ [0, 1] , en serie de i) {sen nπ} , ii) {cos nπ} .
Dibujar algunas sumas parciales de las series obtenidas.
4. Desarrollar ƒ () = cos3 , ∈ [0, π] , en serie de i) {cos n}, ii) {sen n}, dibujando las
funciones hacia las que tienden las series y estudiando la convergencia uniforme.
, 0 ≤ < π2 ∞
y 00 + λy = 0
¨
Desarrollar ƒ () = cn yn () , con yn autofunciones de
X
6. en serie .
0, π
2
≤≤π n=1
y(0) = y 0 (π) = 0
∞ ∞
cn yn ( π2 ) ? π
= 1− 13 + 51 −· · · , el valor de 1
X X
¿Cuánto vale Deducir de ello, y de que 4 (2n−1)2
.
n=1 n=1
7. Desarrollar ƒ () = en las autofunciones de cada uno de los problemas del problema 1.
¨ 00
y + 2y 0 + λy = 0
8. Desarrollar ƒ () = 1 en serie de autofunciones del problema .
y(0)+y 0 (0) = y( 21 ) = 0
¨ 0
[1−2 ]y 0 + λy = 0 Hallar los 3 primeros términos del desarrollo de ƒ () = 1
9. Sea .
y(0) = 0, y acotada en 1 en serie de autofunciones de este problema singular.
10. Estudiar la unicidad de y 00 = ƒ () , ∈ (0, 1) [ecuación de Poisson en una dimensión] con
diferentes condiciones separadas, utilizando técnicas similares a las de las EDPs.
y 00 −y 0 = 2 −
11. Hallar, si existe, un valor de para el que tenga infinitas soluciones.
y 0 (2) = y 0 (4) = 0
00
i] λ = −2 y +y 0 +λy = 1−
12. Precisar para cuántas soluciones tiene el problema: .
ii] λ = 0 y 0 (0) = y 0 (2) = 0
74
problemas de EDII (C) 2009
problemas 3
[Simplifica los cálculos hallar una (, t) = X()T(t) cumpliendo ecuación y condiciones de contorno].
π
t − 4 = cos ∈ (0, 1), t > 0
¨
2
,
5. Sea
(, 0) = T, (0, t) = F, (1, t) = T
Calcular la solución y su límite cuando t → ∞ ( F y T constantes).
9. Sea ttt −4t 3 −t = 0 . a] Hallar la solución que satisface: (, 1) = , t (, 1) = 2 .
b] Separar variables = XT en la ecuación y comprobar que la solución particular de a]
aparece como producto de soluciones asociadas a λ = 0 .
75
¨ +yy +6 = 0 en (0, π)×(0, π)
10. Resolver por separación de variables: y (, 0) = 0 , y (, π) = 0 .
(0, y) = 0 , (π, y) = 2 cos2 2y
2
≤ 12 , π2 ≤ 1 , si (r, θ) es la solución del problema en el plano:
11. Probar que 3
Δ = 0 , r < 1
1, 0 ≤ θ ≤ π
con ƒ (θ) = 0, π < θ < 2π
(1, θ) = ƒ (θ)
1 1
rr + + = cos2 θ , r < 1, 0 < θ < π
¨
r r
r 2 θθ
12. Resolver para los que se pueda.
r (1, θ) = , θ (r, 0) = θ (r, π) = 0
2 00
r y + ry 0 − y = r 2
13. a] Discutir cuántas soluciones y(r) tiene .
y 0 (1)+y(1) = y(2) = 0
Δ = sen θ , 1 < r < 2
b] Resolver el problema plano: .
r (1, θ) = (2, θ) = 0
¨ Δ = 0 , r < 1, θ ∈ (0, π)
3θ
14. Hallar la única solución de este problema en el plano: (1, θ)+2r (1, θ) = 4 sen 2
.
(r, 0) = θ (r, π) = 0
Comprobar que cambiando +2r (1, θ) por −2r (1, θ) el problema físicamente imposible
que resulta pasa a tener infinitas soluciones.
15. Hallar (en términos de funciones elementales) una solución acotada de:
rr + rr + rθθ
2 + 4 = 0 , r < 1 , 0 < θ < π
¨
[Separando variables y haciendo s = 2r
(1, θ) = sen 2θ , (r, 0) = θ (r, π) = 0 aparece una ecuación conocida].
2 1 cos θ
rr + + + = 0 , r < 1, 0 < θ < π2
¨
r r
r 2 θθ
r 2 sen θ θ
16. Resolver el problema en la semiesfera:
r (1, θ) = ƒ (θ) , θ (r, π/ 2) = 0
¿Qué condición debe cumplir ƒ (θ) para que exista solución?
Hallar la solución si ƒ (θ) = cos2 θ − para el único para el que existe.
17. Hallar la solución en ambos problemas para ƒ (θ) = constante y para ƒ (θ) = cos3 θ :
¨ Δ = 0 , si r > R ¨ Δ = 0 , si r > R
(R, θ) = ƒ (θ) , 0 ≤ θ < 2π y (R, θ) = ƒ (θ) , 0 < θ < π
acotada cuando r → ∞ → 0 cuando r → ∞
18. Resolver:
t − Δ = 0, (, y) ∈ (0, π)×(0, π), t > 0 tt −Δ = 0 , (, y) ∈ (0, π)×(0, π), t ∈ R
(, y, 0) = 1 + cos cos 2y (, y, 0) = 0 , (, y, 0) = sen 3 sen2 2y
t
(0, y, t) = (π, y, t) = 0 (0, y, t) = (π, y, t) = 0
y (, 0, t) = y (, π, t) = 0 y (, 0, t) = y (, π, t) = 0
Δ = z , 2 +y 2 +z 2 < 1
¨
t − Δ = 0, 1 < r < 2, 0 < z < 1, t > 0
= z 3 si 2 +y 2 +z 2 = 1 (r, θ, 0) = sen πz
19. Escribir en cartesianas los armónicos esféricos: Y00 , rY10 , rY11 , r 2 Y20 , r 2 Y21 , r 2 Y22 .
¨
Δ = r cos2 θ , r < 1
20. Calcular el valor en el origen de la solución del problema plano .
(1, θ) = 0 , 0 ≤ θ < 2π
76
problemas de EDII (C) 2009
problemas 4
tt − 4 = e−t , , t ∈ R tt −4 = 16 , , t ∈ R
1. Resolver por diferentes caminos: , .
(, 0) = 2 , t (, 0) = −1 (0, t) = t , (0, t) = 0
¨ tt − = 0 , ≥ 0, t ∈ R
a] Hallar π, 2π .
2. Sea (, 0) = 0 , t (, 0) = cos2 .
b] Hallar (, 2π) para ≥ 2π .
(0, t) = t
¨ − = 0 , ∈ [0, 2], t ∈ R
tt a] Hallar (, T) , T ∈ [0, 2] , y describir la evolución de
6. Sea (, 0) = t (, 0) = 0
(0, t) = t , (2, t) = 0 la cuerda para t ∈ [0, 2] . b] Hallar (, 2k) , k = 1, 2, . . .
tt − = 0 , ≥ 0, t ∈ R
7. Sea .
(, 0) = ƒ (), t (, 0) = g(), (0, t) = 0
Resolverlo extendiendo ƒ y g adecuadamente a todo R y aplicando la fórmula de D’Alembert.
¿Se invierten las ondas al reflejarse en = 0 ? ¿Cómo son los dominios de influencia?
2
¨
tt − rr + = 0, r ≥ 0
r r
10. Sea . Hallar (2, 3) .
(r, 0) = 6 , t (r, 0) = 5r 3
2r −r 2 , r ∈ [0, 2]
§
2−r , r ∈ [0, 2]
§
12. Sean (r, 0) = 0 en el resto ≡ F(r) y (r, 0) = 0 en el resto ≡ ƒ (r) .
t (r, 0) = (0, t) = 0 t (r, 0) = 0
a] Hallar (6, 3) , (2, 3) y (4, 3) . b] Dibujar y hallar la expresión de (r, 3) .
p
c] Hallar el valor máximo de (r, 3) 15 ≈ 3.873 .
tt −rr − 2r r = 0, r ≤ 1, t ≥ 0
¨
i) por separación de variables,
13. Resolver 1 .
(r, 0) = 0, t (r, 0) = r
sen πr , (1, t) = 0 ii) con las técnicas del capítulo 4.
77
R∞ p
d
e (, 0) = pπ .
2
14. i) Hallar (, ) = 0
e−k cos k dk probando que d = − 2
2
2 2 2 2
Usar lo anterior para calcular: Fc−1 e−k , Fs−1 k e−k , F −1 e−k , F e− .
ii) Probar el resto de afirmaciones de los teoremas 2, 2’ y 4 de 4.3.
2
t − = (2 −1) e− / 2 , ∈ R , t > 0 h El término no homogéneo es la i
15. Sea 2 .
(, 0) = 0 , acotada derivada segunda de e− / 2
Hallar su solución (en términos de funciones elementales) y el lı́m (, t) :
t→∞
a] Aplicando la F directamente. b] Con un cambio que haga la ecuación en homogénea
y evaluando la integral de los apuntes mediante un cambio de variable.
t − = 0 , , t > 0
17. Resolver:
(, 0) = ƒ (), (0, t) = g(t), acotada
2t + = t
¨
a) utilizando las características,
22. Resolver 2 ,
(, 0) = e− b) con transformadas de Fourier.
t + (cos t) = , ∈ R, t ≥ 0
23. a) Resolver por Fourier y por las características: .
(, 0) = ƒ ()
cos2 , ∈ [−π/ 2, π/ 2]
b) Si ƒ () = describir (, t) para t ≥ 0 .
0 en el resto
24. Hallar la función de Green para la ecuación de Laplace en el semiplano {(, y) : ∈ R, y > 0}
y utilizarla para la hallar la solución de
Δ = F(, y), ∈ R, y > 0
78
Soluciones de problemas 1 de EDII(Cp) (2009)
(2y−)y + = 2y y
ξ = 2 − 1
¨
dy 2y
= −1 → y = C2 + → → η = 2y , η = 2+2ξη →
(1, y) = 0 d η=
y y
=2η+ξη2 +p(ξ) = +y+p( 2 − 1 ) → 1+y+p(y−1) = 0 → p() = −−2 , = 1 − 2 ++y−2 .
Solución única (era Δ = −1·1 6= 0 ).
(−1, y) = p(−e−y )− e−y = 0 → p() = − (para < 0 ) → = −(+2 ) e−y (vale para todo )
ξ = y
2ξ R 2ξ ξ
O bien, → η = η + η2 , = p∗ (ξ)η+η η3 dη = p∗ (ξ)η− η = p∗ (y)y− .
η=y
p(0) p() ≡ 0 → =
i) (, 0) = − = − → toda p ∈ C1 con p(0) = 0 lo cumple, por ejemplo, .
p() = → = y−
O bien, (, 0) = − = − para toda p∗∈ C1 ; eligiendo p∗ () ≡ 0 , 1 obtenemos las de arriba.
p(2)
ii) (, 2) =
− = 7 , p(2) = 82 → p() = 2 2 → (, y) = 2y 2 − .
ξ = −y 2
dy 1
d
= 2y → −y 2 = K →
η=y
→ η = 3 = (3ξ+3η2 )
3 3
→ = p(ξ)e3ξη+η = p(−y 2 ) e3y−2y .
ξ = −y 2
3η
→ 2yη = 3 , η = [ξ−η]1/ 2 , ... .
Es bastante más largo con
η=
d dy η(, y, ) = c1
5 A(, y, )y +B(, y, ) = C(, y, )
d
=C
B
, d
A
=B →
ξ(, y, ) = c2
[para cada c1 , c2 hay una curva
característica en el espacio].
Si η(, y, ) = p[ξ(, y, )] define implícitamente = (, y) [si va bien el teorema de la función implícita]
p0 (ξ)ξ −η p0 (ξ)ξ −η
∂ → η +η = p0 (ξ)[ξ +ξ ] → = η −p0 (ξ)ξ
; ∂y → y = η −p0 (ξ)ξ
y y
. Por tanto:
Ay +B = η −p10 (ξ)ξ p0 (ξ)(Aξy +Bξ )−(Aηy +Bη ) = η −p10 (ξ)ξ p0 (ξ)(−Cξ )−(−Cη ) = C ,
dy
pues: ξ +ξy d +ξ d
d
= 1
B
[Bξ +Aξy +Cξ ] = 0 (igual para η , y análogo para ξ(, y, ) = q[η(, y, )] ).
d
d
= 0 → = c1
y + = 0 dy 1 1 +c2 +c2
d
=
= c1
→y= c1
=
→ y− = c2
[las características están contenidas en planos = cte y cada uno son rectas]
i) (, 0) = → − = p() → y− = − → = y+1 [de (2) igual].
1
−3y +2y 2 = y Parabólica en forma normal. λ2 −3yλ+2y 2 = 0 → = p(y)ey +q(y)e2y + 2y
y
ξ = − 5 ξ = 5−y
+4y −5yy +6 +3y = 9 Hiperbólica ó → 4ξη +3ξ +η =
η = +y η = +y
no resoluble
¨
ξ = −2t tt = 4ξξ
7 (E) tt +2t = 2 Hiperbólica
η=
→
t = −2ξξ −2ξη
→
ξη 2
ξη = − 21 → = p(ξ)+q(η)− 2
= = p(−2t)+q()− 2 +t
son datos sobre característica: p0 (−2t)+q0 (0)+t = t da una solución distinta (infinitas).
B
8 tt +2t + + = 0 De coeficientes constantes y parabólica. − 2A t = −t = K características.
¨ tt = ξξ −2ξη +ηη
ξ = −t t = −ξ +η
η=t
→ , t = −ξξ +ξη → ηη + = 0
= ξ
= ξξ
p(2) cos −q(2) sen = 0 [•] → [2p0 (2)−q(2)] cos −[p(2)+2q0 (2)] sen = 0
¨
p() = 2 , q() ≡ 0 → = (−t)2 cos t ; ó p() = 1−cos , q() ≡ 0 → = [1−cos(−t)] cos t ; ...
y > 0 hiperbólica
9 a) 4yyy − +2y = 0 B2 −4AC = 16y →
y < 0 elíptica
p
16y p
y > 0 : d = 1
= ± 2p → ± y = C características y = (−C)2 .
dy
± 8y y
p
ξ = + y
p p
p → ξη = 0 → = p(ξ)+q(η) = p(+ y )+q(− y )
η = − y
Los datos iniciales de b) son para esta región:
(, 1) = p(+1)+q(−1) = 2
¨
→ p0 (+1)+q0 (−1) = 2 0 2 2
1 0 1 0 0 (+1)−q0 (−1) = 2 → p () = , p() = 2 +k , q() = − 2 −k
y (, 1) = 2 p (+1)− 2 q (−1) = → p
p p p
= 12 (+ y )2 −(− y )2 = 2 y
= ξ = ξξ
( (
ξ =p
¨
d
p
y<0 : =± p , ± −y = C (−y)−1/ 2 (−y)−1/ 2 , ξξ +ηη = 0
dy 2 −y η = −y y = − η
1
yy = − 4y ηη + η
2 4y
10 (E) Ayy +By +C +Dy +E +F = G(, y) si no es parabólica, B2 −4AC 6= 0 .
yy = [p2 +2py +yy ] epy+q
y = [p+y ] epy+q
¨
= e e →
py q y = [pq+p +qy +y ] epy+q →
= [q+ ] epy+q
= [q2 +2q + ] epy+q
Por tanto, si las constantes son tales que el corchete se anula, la ecuación tampoco tiene término en .
[Y si es hiperbólica se puede reducir a ξη = G∗ , y se puede resolver].
−6
y +2y +3 +6 = 1 → B2 −4AC = 1 , p = −3 , q = −2 , [ ] = +6 = 0 ;
1
Si (E) es parabólica se puede poner en la forma canónica: ηη +D∗ η +E∗ ξ +F ∗ = G∗ (ξ, η) .
Si E∗ = 0 , la ecuación (lineal de segundo orden con coeficientes constantes en η ) es resoluble.
= epy eq → ηη +(2p+D∗ )η +E∗ ξ +(p2 +pD∗ +qE∗ +F ∗ ) = e−py−q G∗ (ξ, η) ≡ G∗∗ (ξ, η)
∗
1 D∗ 2
Si E∗ 6= 0 , podemos hacer p = − D2 q= − F∗
, E∗ 4
ZZ I ZZ
Δ−k 2 = F en D
11 = ƒ en ∂D
Usaremos la fórmula de Green: Δ ddy = n ds − ||∇||2 ddy .
D ∂D D
Δ = k 2 en D
Si 1 , 2 soluciones del problema, = 1 −2 verifica . Por la fórmula de Green:
= 0 en ∂D
ZZ ZZ
k2 2 ddy + ||∇||2 ddy = 0 ⇒ 2 ≡ 0 ⇒ ≡ 0 (si k 6= 0 , y si k = 0 es Laplace visto en teoría).
D D
y 00 + λy = 0 y(0) = c = 0
1 y(0) = y 0 (1) = 0
λ ≥ 0 (teor 1). λ = 0 : y = c1 +c2 , y 0 (1) = c1 = 0
2
→ y ≡ 0 . λ = 0 no autovalor.
y(0) = c = 0
(2n−1)2 π 2 (2n−1)π
λ > 0 : y = c1 cos +c2 sen , y 0 (1) = c
1
→ λn = , yn ≡ {sen } , n = 1, 2, . . . .
2 cos = 0 22 2
y 00 + λy = 0 s=+1 y 00 + λy = 0
n2 π 2 nπs
→ λn = } = {sen nπ + nπ , n = 1, 2, . . . .
→ , yn ≡ {sen }
y(−1) = y(1) = 0 y(0) = y(2) = 0 22 2 2 2
y 00 + λy = 0 c =0
λ ≥ 0 (t1). λ = 0 : 2c
1
no autovalor.
y(0) = y(1)+y 0 (1) = 0 1 +c2 = 0
c =0
λ > 0 : y = c1 cos +c2 sen , c1 (sen + cos ) = 0 → tn n = −n
2
y 00 + λy = 0 (2n−1)2 π 2 (2n−1)π
2 y 0 (0)−αy(0) = y(1) = 0
λ > 0 : Si α = 0 , λn = 22
, yn ≡ {cos 2
}.
c −αc = 0
Si α 6= 0 : c cos
2 1
+c2 sen = 0
tn n = − αn , yn ≡ {α sen n +n cos n } .
1
c −αc = 0
λ = 0 : c2 +c =
1
→ Autovalor si α = −1 , con autofunción y0 ≡ {1−} .
1 2 0
(p−α)c1 −(p+α)c2 = 0
λ < 0 : y = c1 ep +c2 e−p , c1 ep +c2 e−p = 0
→
p
p[ep +e−p ]+α[ep −e−p ] = 0 → th p = − α
Si α < −1 hay un λ = −p20 y0 ≡ {α sh p0 +p0 ch p0 } .
1,0
1,0
0,9
1,0
0,8
0,75 0,7
0,75
0,6
0,5
0,5
0,5
0,4
0,3
0,25
0,25
0,2
0,1
0,0 0,0
0,0
0,0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1,0 0,0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1,0
0,0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1,0
x x x
a) sen, m = 2, 5, 20 b) sen, n = 2, 5, 20 b) cos, n = 2, 5
3
4 i) Para desarrollar en cosenos basta escribir cos3 = 4
cos + 14 cos 3 , ∈ [0, π] .
(La ‘serie’ claramente ‘converge uniformemente’ en todo [0, π] hacia la ƒ dada).
ii) Los coeficientes de la serie en senos vienen dados por las fórmulas de los apuntes:
Rπ Rπ Rπ
bn = π2 0 cos3 sen n d = 2π 3
0
cos sen n d + 2π 1
0
cos 3 sen n d
3
R π 1
R π
= 4π 0
[sen(n+1)+sen(n−1)] d + 4π 0
[sen(n+3)+sen(n−3)] d
3 cos(n+1) cos(n−1) π 1 cos(n+3) cos(n−3) π
= − 4π n+1
+ n−1 0
− 4π n+3
+ n−3 0
3 1+(−1)n 1+(−1)n 1 1+(−1)n 1+(−1)n 3n 1+(−1)n n 1+(−1)n 2n(n2 −7)[1+(−1)n ]
= 4π n+1
+ n−1 + 4π n+3
+ n−3 = 2π n2 −1 + 2π n2 −9
= π(n2 −1)(n2 −9)
Esta serie converge hacia los puntos de continuidad de la extensión impar y 2π-periódica de ƒ ,
es decir, converge hacia cos3 en (0, π) y converge a 0 (evidentemente) cuando = 0, π :
∞
8m(4m2 −7)
cos3 = , ∈ (0, π) .
X
π(4m2 −1)(4m2 −9)
sen 2m &"#
m=1
!&"#
(2n−1)2 (2n−1)
n o
6 Autovalores y autofunciones conocidos: λn = 22 , yn = sen 2
, n = 1, 2, . . . . 〈yn , yn 〉 = π2 .
(2n−1) (2n−1)
Rπ R π/ 2
→ cn = π2 0 ƒ () sen 2
d = π2 0 sen 2
d
(2n−1) iπ/ 2 (2n−1)π (2n−1)π
4 cos 4 π/ 2 (2n−1) 8 sen 2 cos
R
= − π(2n−1) 2
+ π(2n−1) 0
cos 2
d = 4
2 − 2n−1
4
.
0 π(2n−1)
La serie converge hacia ƒ () en los ∈ (0, π) en que ƒ es continua (en los extremos
no lo sabemos), y hacia 21 [ƒ (+ )+ƒ (− )] en los que ƒ es discontinua. Por tanto:
(2n−1)π i
π
∞
(2n−1)π
∞ h
8 sen2( nπ − π4 ) sen ∞
π
∞
π2
= cn sen = = π4 1 1
2 = 8 .
X X X X
2
4 4 2 − 2n−12 2 − 4 ⇒
n=1 n=1
π(2n−1) n=1
(2n−1) n=1
(2n−1)
∞
(2n−1)π [0, 1] R1 (2n−1)π 8(−1)n+1
7 = cn = 2 d = π 2 (2n−1)2
X
cn sen 2 r =1 0
sen 2
m=1
∞
nπ(+1) [−1, 1] R1 nπ(+1)
R1 nπ(+1) 2[1+(−1)n ]
= sen2 = 1 , cn = d = −
X
cn sen 2 r =1 −1 2 −1
sen 2 nπ
m=1
∞
[0, 1] R 1 2
n 2+2
= cn sen n , tn n = −n r = 1 sen2 n d = 12 − sen 2n
= 1+cos = 2(1+n2 ) ,
X
0 4n 2
m=1 n
R1 sen n cos n 2 sen n −2 cos n 4(1+n2 ) sen n
0
sen n d = 2 −
= 2 =
→ c n = (2+ )
2 2
n n
n n n n
∞
c nπ(−1) [1, 4] R 4 nπ(−1)
R4 nπ(−1)
= sen2 d = 32 , cn = 32 1 3/ 2 sen
X
pn sen d no elemental.
m=1
2 r = 1 2 2
0
y 00 + 2y 0 + λy = 0 En forma autoadjunta: y 0 e2 +λe2 y = 0 [problema de S-L regular].
8 y(0)+y 0 (0) = y(1/ 2) = 0
p
μ2 +2μ+λ = 0 → μ = −1± 1−λ . En principio, puede haber λ negativos.
p y(0)+y 0 (0) = p(c1 −c2 ) = 0
λ<1 , 1−λ = p → y = c1 e(p−1) +c2 e−(p+1) → → c1 = c2 = 0 .
y( 21 ) = (c1 ep/ 2 +c2 e−p/ 2 )e−1/ 2 = 0
y(0)+y 0 (0) = c2 = 0
λ = 1 → y = (c1 +c2 )e− → c2 → c1 = c2 = 0 .
y( 21 ) = (c1 + 2
)e−1/ 2 = 0
p
λ>1 , λ−1 = → y = (c1 cos +c2 sen ) e− → y(0)+y 0 (0) = c2 = 0 → c2 = 0 →
y 2 = c1 cos
1
e−1/ 2 = 0 → n = (2n−1)π , λn = 1+(2n−1)2 π 2 , yn = e− cos(2n−1)π , n = 1, 2, . . .
2
∞
〈1, yn 〉 R 1/ 2 R 1/ 2
Por tanto: 1 = yn , con 〈1, yn 〉 = 0 e cos(2n−1)π d , 〈yn , yn 〉 = 0 cos2 (2n−1)π d
X
n=1 〈yn , yn 〉
(cos b+b sen b)e
R 1/ 2 1
R 1/ 2 b
(1+cos 2b) = 14 + sen → 〈1, yn 〉 = 14 e
R
Como 0
cos2 b = 2 0 4b
e cos b d = 1+b2
,
∞
(−1)n+1 (2n−1)πe1/ 2 −1
concuimos que: 1 = 4 e− cos(2n−1)π .
X
1+(2n−1)2 π 2
n=1
1,5
0 Los P2n−1 son las únicas soluciones de
[1−2 ]y 0 + λy = 0
9 la ecuación de Legendre que pasan por 1,25
R1 3
∞ c1 = 3 0 d = 2 0,5
1 = cn P2n−1 ()
X
R1
c2 = 7 0 52 3 − 23 d = − 87
n=1 0,25
r() = 1 R1
c3 = 11 0 63 5 − 35 3 + 15 d = 11
0,0
8 4 8 16 0,0 0,1 0,2 0,3 0,4 0,5 0,6 0,7 0,8 0,9 1,0
x
y 00 = ƒ () , ∈ (0, 1) Por teoría de problemas de contorno hay solución única si la hay para y 00 = 0 :
10 αy(0)−α 0 y 0 (0) = 0 αc1 − α 0 c2 = 0
βy(1)+β0 y 0 (1) = 0 → αβ + αβ0 + α 0 β 6= 0 (•)
β(c1 +c2 )+β0 c2 = 0
Ahora con técnicas como las de EDPs (quedarán casos de (•) por analizar). La ’fórmula de Green’ es:
R1
00 d = [yy 0 ]1 − 1 (y 0 )2 d → si y , y soluciones, y = y −y satisface [yy 0 ]1 = 1 (y 0 )2 d .
R R
0
yy 0 0 1 2 1 2 0 0
R1 2 y(0)=0
Si y(0) = y(1) = 0 ( α 0 = β0 = 0 ) → 0 (y 0 ) d = 0 → y 0 ≡ 0 → y = K → y ≡ 0 . Unicidad.
R1 2
Si y 0 (0) = y 0 (1) = 0 ( α = β = 0 ) → 0 (y 0 ) d = 0 → y 0 ≡ 0 → y = K . Unicidad salvo constante.
R1 2 β αα 0 ,ββ0 >0
Si α, α 0 , β, β0 6= 0 → 0 (y 0 ) d+ αα0 [y(0)]2 + β0 [y(1)]2 = 0 → y = K , y(0) = 0 → y ≡ 0 .
El prinicipo del máximo dice aquí: la solución de y 00 = 0 tiene el máximo y el mínimo en el borde (claro,
son rectas) ⇒ unicidad y dependencia continua para y(0) = y(1) = 0 .
y 0 (2) = 4c2 = 0
Imponiendo los datos a esta solución: → c2 = 0 y c1 indeterminado.
y 0 (4) = 8c2 = 0
El homogéneo tiene, pues, infinitas soluciones yh = {1} y el no homogéneo tendrá infinitas o ninguna.
× e− log 1 0 0
En forma autoadjunta: y 00 − 1 y 0 = − −→
y = 1− 2 . Hallemos la integral:
R4 4
2
1 · (1− 2 ) d = 2+ 2
= 2− 4 → Si = 8 tiene infinitas soluciones. [Si 6= 8 , ninguna].
[Se llega a lo mismo imponiendo los datos en la solución genera de la no homogénea · · · y = c1 +c2 2 + 31 3 + · · · ].
y 00 +y 0 +λy = 1− 0
12 y 0 (0) = y 0 (2) = 0
En forma Sturm-Liouville: e y 0 + λe y = (1−) e ( p, r > 0 ).
[Se podría comprobar a partir de la solución general de la no homogénea: y = c1 +c2 e− +2− 21 2 ].
y 00 + λy = Ecuación en forma autoadjunta.
13 [P]
y(0) = y 0 (1)−y(1) = 0 Como ββ0 < 0 puede haber λ ≤ 0 . p
1
c = −c
λ < 0 : y = c1 ep +c2 e−p → 1 2
→ y≡0 th p
c2 (p[ep +e−p ]−[ep −e−p ]) = 0 p
0
no existe p > 0 con p = th p , pues (th p)0 (0) = 1 .
c =0 o
w
λ = 0 : y = c1 +c2 → c1 +c = c → λ0 = 0 autovalor con y0 = {} .
1 2 2
c1 = 0
λ > 0 : y = c1 cos +c2 sen →
c2 (sen − cos ) = 0
! w
Hay infintos n con n = tn n → λn = n2 , yn = sen n . w1 w2
0
y 00 = ƒ () % y1 = |W| = −1
−s , 0 ≤ s ≤
15 y(0) = y 0 (1) = 0
y = c1 +c2 & y2 = 1 p() = 1
→ G(, s) = − , ≤ s ≤ 1
R R1 3
La solución para ƒ () = : y = − 0
s2 ds −
s ds = 6
− 2
.
2 y 00 + y 0 − y = ƒ () % y1 = 1 y ƒ ()
y = c1 + c2 |W| = 2 , (y 0 )0 − = → p() =
y(1)+y 0 (1) = y(2) = 0 & y2 = − 4
1
− 4 , 1 ≤ s ≤
(
R R2
G(, s) = 2s
ƒ () = → y = − 2 1 ds + 1 2s − 2s ds = ln
− 4 + 1−2ln 2
→ 1 2 s 2
.
s− 4s , ≤ s ≤ 2
2
y 00 + y 0 − 2y = ƒ () y1 = e
% 0
y = c1 e +c2 e−2 |W| = 3 e3− , e y 0 −2e y = e ƒ ()
y(0)−y 0 (0) = y(1) = 0 &
y2 = e − e3−2
−3 −2 R R1
→ y = e −e se2s ds+ e3 s e2s−3 −e−s ds =
1 s
(
e−3 −e−2 , 0 ≤ s ≤ 3 0
e
→ G(, s) = 3
1
es−3 −e−2s , ≤ s ≤ 1 (9e2 +1)e −2
− e12 − 4 − 14 .
3
e
12e3
Si 6= 0 , el homogéneo [Ph ] tiene sólo la solución trivial ⇒ [P] tiene solución única.
rr + 2r r = 0
Si = 0 , el [Ph ] tiene infinitas {1} .
se puede ver como Neumann dependiente de r :
r (1) = r (2) = 0
R2 7 Si c = − 14 , [P] tiene infinitas soluciones.
(2 y 0 )0 = 2 +c → (2 +c) d = 3
+ 3c
2
→ 9
1
Si c 6= − 14
9
, [P] no tiene solución.
2
Directamente: yp = A2 +B h(s) = e2s +ces y 1,2 no autovalores → y = c1 + c2 + 6 + c
2
→
−c2 + 13 + 2c −c1 −c2 − 6 − c = −c1 − 37 − 3c − 17 − 5c
)
2 2 6 2
=0 Si 6= 0 única, y si = 0 , c1
7
c
− 42 + 23 + 2c = 0 → c2 = 8
+2c ↑ indeterminado si 3
+ 3c
2
=0 .
3
→ y1 = 1
% c1 = 0
−1 1
= 1 , p() = 2 , G(, s) = 1/ s , 1 ≤ s ≤ , ƒ (s) = s2 →
b) = −1 & c =0
−2 2
2 → y2 = 1 − 0 1/ , ≤ s ≤ 2
R 2 2 3 2 2
y = 1 s ds + 1 s2 ds = 2 − 12 + 1 38 − 3 = 6 − 12 + 3
8
R c
[directamente: y = c1 + 2 + 6 ... ].
soluciones de problemas 3 de EDII(Cp) (2009)
n=1 n=1
2
R 1/ 2 4(1−2)
1/ 2 8
R 1/ 2
cn = 1/ 2 0
(1−2) cos(2n−1)π d = π(2n−1)
sen(2n−1)π0 + π(2n−1) 0
sen(2n−1)π d
∞
8 1/ 2 8 8
X
1 2
−(2n−1)2 π 2 t
= = → (, t) = e−t
π 2 (2n−1)2
− cos(2n−1)π 0 π 2 (2n−1)2 π2 (2n−1)2
cos(2n−1)π
n=1
00
¨ +4 − = 0, ∈ [0, π], t ∈ R +λX = 0
λn = n2 , n = 1, 2, . . .
tt t
X(0) = X(π) = 0
Xn = {sen n}
(, 0) = sen 2 = XT →
t (, 0) = (0, t) = (1, t) = 0
p
→ T 0 +4T 0 +n2 T = 0, r = −2± 4−n2 →
p p p p
T1 = c1 e(−2+ 3)t + c2 e(−2− 3) t , T2 = (c1 +c2 t) e−2t , Tn≥3 = e−2t c1 cos n2 −4 t + c2 sen n2 −4 t .
∞
Tn +(2n−1)2 Tn = 2 = 29 (1−cos 3t) sen 3
[Tn +(2n−1)2 Tn ] sen(2n−1) = 2 sen 3+2 sen 9 ; =
X
, n 2, 5 ,
n=1
Tn (0) = Tn0 (0) = 0 2
+ 81 (1−cos 9t) sen 9
Δ = −1, (, y) ∈ (0, π)×(0, π) Convirtiéndolo en homogéneo con una () que cumpla las c.c.:
(0)=(π)=0
= 0 en = 0, = π, y = 0, y = π
2
= −1 , = c1 +c2 − 2 → = 21 (π −) , = − →
Δ = 0, (0, y) = (π, y) = 0
¨
Resolviendo se llega ∞
ch[(2k−1)(y− π2 )]
= 12 (π −)+ π4
X
sen(2k −1)
(, 0) = (, π) = 12 ( − π) (dice Weimberger) a: k=1
(2k−1)3 ch[(2k−1) π2 ]
∞ Rπ 2[(−1)n −1]
O bien: = Yn (y) sen n → Yn00 −n2 Yn = − π2 0 sen n d , Yn = c1 eny +c2 e−ny −
X
πn3
→
k=1 Yn (0)=Yn (π)=0
∞
(−1)n −1 (1−e−nπ )en −(1−enπ )e−n
= π2
X
n3 enπ −e−nπ
− 1 sen n (ambas series deben poder hacerse coincidir).
n=1
rr + rr + rθθ Θ00 +λΘ = 0 y 2π-periódica → Θn = {cos nθ, sen nθ} ,
2 = cos θ, 1 < r < 2
¨
∞
n = 0, 1, . . . → = 0 (r)+ [n (r) cos nθ + bn (r) sen nθ]
X
r (1, θ) = 0, r (2, θ) = cos 2θ
n=1
ey −e1−y
Como es de Neumann aparece (al resolver Y000 = 0 + c.c. ) una C arbitraria: = C+
1+e
−y cos
más
¨ Δ = 2 cos2 y, (, y) ∈ (0, π)×(0, π) Y 00 +λY = 0 , Y 0 (0) = Y 0 (π) = 0 → Yn = {cos ny} , n = 0, 1, . . .
(π, y) = 5+cos y ∞
1 → = X0 () + Xn () cos ny →
X
(0, y) = y (, 0) = y (, π) = 0 n=1
∞ ∞
X000 + [Xn00 −n2 Xn ] cos ny = + cos 2y , Xn (0) = 0 , X0 (π) + Xn (π) cos ny = 5+cos y →
X X
n=1 n=1
π Θ00 +λΘ = 0 , Θ0 (0) = Θ( π4 )−Θ0 ( π4 ) = 0 →
Δ = 0, 1 < r < 2, 0 < θ < 4
(1, θ) = 0, r (2, θ) = sen θ λn = n2 , con tn π
4
n
= n , Θn = {sen n θ}.
(r, 0) = (r, π4 )−θ (r, π4 ) = 0
Casualmente es λ1 = 1 y Θ1 = {sen θ} .
R(1)=0
r 2 R00 +rR0 −λn R = 0 → R = c1 r n +c2 r −n Rn = {r n −r −n } .
→
∞ r (2,θ)=sen θ
= cn Rn (r) sen n θ (r, θ) = 54 r − 1r sen θ .
X
→
n=1
T00 = F(t)
∞
Rt
Para el otro: 2 = T0 (t)+ Tn (t) cos n → → T0 (t) = 0 F(s) ds (y los demás Tn ≡ 0 ).
X
n=1
T0 (0) = 0
Rπ R∞
= 1 +2 → π1 0 ƒ () d + 0
F(t) dt . En particular, si ƒ () = 1−cos
2
y F(t) = e−t , → 1+ 21 = 32 .
t→∞ t→∞
4
R1 2
R1 2(−1)n 2(−1)n
n = sen 1 0
cos cos nπ d = sen 1 0
[cos(nπ +1)+cos(nπ −1)] d = nπ+1
− nπ−1
.
∞
2 cos (−1)n+1 2
π2 t [aislado a la izquierda y metemos cada
=2− e−t + 4 e−n
X
sen 1 n2 π 2 −1
cos nπ → 2 vez menos calor por la derecha]
n=1 t→∞
∞
Más largo es hallar la solución de [P]: = T0 (t) + Tn (t) cos nπ →
X
n=1
∞ ∞
[Tn0 +n2 π 2 Tn ] cos nπ = e−t (2 +2) = 37 e−t + e−t Bn cos nπ ,
T00 +
X X
n=1 n=1
R1 R1 4 1 4(−1)n
pues 0 (2 +2) d = 37 , y siendo Bn = 2 0 (2 +2) cos nπ d= − nπ
R
sen nπ d= 2 2 .
0 n π
∞ ∞
Como (, 0) = T0 (0)+ Tn (0) cos nπ = −2 = − 13 −
X X
Bn cos nπ , hay que resolver:
n=1 n=1
T00 = 37 e−t
2 2
¨ ¨
Tn +n2 π 2 Tn = Bn e−t → Tn = Ce−n π t +Tnp
→ T0 = 2− 73 e−t , , Tnp = Ae−t →
T0 (0) = − 13 Tn (0) = −Bn
e−t
−n2 π 2 t
∞ n
d.. Bn [e−t −n2 π 2 e−n
2 π2 t
]
X (−1) −e
Tnp = n2 πB2n−1 e−t → Tn = n2 π 2 −1
→ = 2+(2 − 37 ) e−t +4 n2 π 2
n2 π 2 −1
cos nπ → 2
n=1
t→∞
t − = 0 , ∈ (0, π), t > 0
4 (, 0) = 0, (0, t) = (π, t) = t
Casi a ojo se ve que = t cumple las condiciones de contorno.
¨ − = −
t 00
X +λX = 0
= −t → (, 0) = 0 → → Xn = {cos n} , n = 0, 1, . . . →
X 0 (0) = X 0 (π) = 0
(0, t) = (π, t) = 0
∞ ∞ ∞ Rπ
= T0 (t)+ Tn (t) cos n → T00 + [Tn0 +n2 Tn ] cos n = − = b20 + bn cos n , con bn = − π2 0 cos n d:
X X X
π π
t − 4 = cos ∈ (0, 1), t > 0 t − 4 = cos
¨ ¨
,
5 2 = F+T −F → 2
(, 0) = T, (0, t) = F, (1, t) = T (, 0) = F−F, (0, t) = (1, t) = 0
∞
(2n−1)π (2n−1)π
2 R1 8F
1 = cn e−(2n−1) π2 t , cn = 2F (1−) cos d = π 2 (2n−1)
X
cos 2 0 2 2
¨ T 0 + λT = 0 1
t − rr + rr = 0 , r < 1, t > 0 t − rr + 1
=0
¨ ¨
r
6 =1 → r → rR00 +R0 +λrR = 0
(r, 0) = 0 , (1, t) = 1 (r, 0) = −1, (1, t) = 0
=+
R acotada, R(1) = 0
p p ∞ p
Problema singular visto en 2.2 (y 2.4): λn con J0 ( λn ) = 0 , y Rn = {J0 ( λn r) ; = cn e−λn t J0 ( λn r)
X
n=1
∞ ∞
2
R1 e−λn t
p p p
cn J0 ( λn r) = −1 , cn = − 2 p rJ0 ( λn r) dr → = 1−2 p p J0 ( λn r) ,
X X
→ 0
n=1 J1 ( λn ) n=1 λn J1 ( λn )
R1 p
1
R pλn 1
p
pues 0
rJ0 ( λn r) dr = λn 0
sJ0 (s) ds = p J1 ( λn ) , ya que [sJ1 ]0 = sJ0 .
λn
d ±4t 2
9 ttt −4t 3 −t = 0 a] B2 −4AC = 16t 4 , hiperbólica. dt = 2t → ±t 2 = C .
¨ = ξξ + 2ξη + ηη
ξ = +t 2
→ t = 2t[ξ −η ] → ξη = 0 , = p(+t 2 )+q(−t 2 )
η = −t 2
tt = 4t [ξξ −2ξη +ηη ]+2[ξ −η ]
2
X 00 +λX = 0 00
λ=0 X = 0 → X = c1 +c2
¨
X 00 tT 00 −T 0
b] X = = −λ → 00 0 −→ → {1}, {}, {t 2 }, {t 2 } .
4t T3
tT −T +4λt T = 0
3 tT 00 −T 0 = 0 → T = k1 +k2 t 2
¨ +yy +6 = 0 en (0, π)×(0, π)
Y 00 +λY = 0 , Y 0 (0) = Y 0 (π) = 0
X 00 +6X 0 00
10 y (, 0) = 0 , y (, π) = 0 = XY → = − YY = λ →
X X 00 +6X 0 −λX = 0 , X 0 (0) = 0
(0, y) = 0 , (π, y) = 2 cos2 2y
p p
→ λn = n2 , Yn = {cos ny} n = 0, 1, ... → X 00 +6X 0 −n2 X = 0 , X = c1 e 9+n −3 + c2 e− 9+n +3
2 2
−→
X 0 (0)=0
n p p p p o
9+n2 −3 e− 9+n +3 , n ≥ 1 .
2 2
X0 = {1} ; Xn = 9+n2 +3 e 9+n −3 +
∞ ∞
1
= cn Xn () cos ny → (π, y) = cn Xn (π) cos ny = 1+cos 4y → c0 = 1 , c4 =
X X
y los demás cero
4 (π)
n=0 n=0
4e2 +e−8
→ = 1+ cos 4y
4e2π +e−8π
Δ = 0 , r < 1
1, 0 ≤ θ ≤ π El principio del máximo
11 (1, θ) = ƒ (θ)
con ƒ (θ) =
0, π < θ < 2π ya da la cota superior:
0≤ ≤1 .
∞ ∞
o X 1 2 X r 2n−1
Con la serie de 3.2 es más largo: = + r n n cos nθ+bn sen nθ = · · · = +
2n−1
sen(2n−1)θ
2 n=1 2 π n=1
1 otro valor
→ = + π2 12 − 31 213 + 15 215 1
+ π1 1− 12
1 1
+ 11 = 35 2
= 1
+ π2 rctn 12 exacto de
−· · · > > > .
2 2 2 48 48 3 2
0 y 2
(ry 0 ) − r = r → 1 r − 4r r dr = − 35 6= 0 .
R
2
O imponiendo directamente los datos en la solución general de la no homogénea ( yp = Ar 2 → yp = r3 ):
Datos de contorno → 0n (1) = b0n (1) = 0 , n (2) = bn (2) = 0 → n , bn6=1 ≡ 0 (es solución y hay unicidad).
Además: r 2 b00
1
+rb01 −b1 = r 2 con b01 (1) = b1 (2) = 0 . Ecuación resuelta arriba. Imponiendo los datos:
c1 −c2 + 23 = 0 → c2 = c1 + 23 ↓ c2 = 0 r 2 −2r
c2 → = sen θ .
2c1 + 2
+ 34 = 0 5
c + 53
2 1
= 0 , c1 = − 23 ↑ 3
00
¨ Δ = 0 , r < 1, θ ∈ (0, π) Θ +λΘ = 0 (2n−1)2
→ λn = , Θn = sen 2n−1 θ , n = 1, 2, . . . →
14 (1, θ)+2r (1, θ) = 4 sen 3θ Θ(0) = Θ0 (π) = 0 4 2
2 1 1 R acotada en 0 1
(r, 0) = θ (r, π) = 0 r 2 R00 +rR−λn R = 0 → R = c1 r n− 2 +c2 r −n+ 2 Rn = r n− 2 .
−→
∞ 1 ∞ 3 dato que falta
2n−1
→ (r, θ) = cn r n− 2 sen , r (r, θ) = cn (n− 12 )r n− 2 sen 2n−1
X X
2
θ 2
θ −→
n=1 n=1
∞
2n−1 3θ 3θ
= 4 sen → c2 = 1 y todos los demás cn = 0 → = r 3/ 2 sen
X
cn 1+2n−1 sen 2
θ 2 2
n=1
3θ
∞
2n−1 3θ c2 = −2 , c1 cualquiera
Si (1, θ)−2r (1, θ) = 4 sen = 4 sen
X
2
todo igual hasta: 2cn 1−n sen 2
θ 2
→ y los demás cn = 0 .
n=1
00
Θ +λΘ = 0 (2n−1)2
→ λn = , Θn = sen 2n−1 θ , n = 1, 2, . . . y r 2 R00 +rR0 +(4r 2 −λ)R = 0 .
→
Θ(0) = Θ0 (π) = 0 4 2
Esta ecuación se parece mucho a Bessel. Para quitar el 4 que sobra, como se hace habitualmente:
p 2 2
s = 4 r = 2r → R0 = 2 dR
ds
, R00 = 4 ddsR2 → s2 ddsR2 +s dR
ds
+(s2 −λ)R = 0 ,
que para los λn de arriba es Bessel con p = n− 12 , cuyas soluciones acotadas en r = 0 son las
Jn− 1 (s) = Jn− 1 (2r) = Rn (todas se pueden escribir en términos de funciones elementales).
2 2
∞
2n−1
Probamos pues: = cn Jn− 1 (2r) sen
X
2
θ , a la que sólo le falta satisfacer:
n=1 2
∞
2n−1 θ θ
cn Jn− 1 (2) sen = sen → c1 = J 1 1(2) y los demás cn = 0 → = 1
J 1 (2r) sen
X
2
θ 2 J 1 (2) 2
.
n=1 2 2
2 2
Podemos escribir la solución anterior en términos de funciones elementales. Como (salvo constante)
sen 2r
sen 2r
p sen θ
cos 2r
J 1 (2r) = no está acotada en r = 0 y J 1 (2) = sen 2
(r, θ) =
p p p , 2
2 2r 2r 2 2 sen 2 r
16 r
[1−t 2 ] Θ00 − 2t Θ0 + λΘ = 0
r (1, θ) = ƒ (θ) , θ (r, π2 ) = 0
Θ0 (0) = 0 , Θ acotada en 1
∞
[Legendre
→ λn = 2n(2n+1) , Θn = {P2n (cos θ)} pares] , = 0 + 2n r 2n P2n (cos θ) →
X
n=1
∞
4n+1 π/ 2
h R1 i
2
R
2n2n P2n (cos θ) = ƒ (θ) → 0 indet. y 2n = P2n (cos θ)ƒ (θ) sen θ dθ 2 0 P22n = 4n+1
X
2n 0
,
n=1
R π/ 2
siempre que el primer término del desarrollo de ƒ sea 0 : 0
ƒ (θ) sen θ dθ = 0 .
R1
Si ƒ (θ) = cos2 θ− , 0 (t 2 −) dt = 0 → = 13 .
2 2 2
cos2 θ− 31 = 22 3 cos2 θ−1 + 44 P4 (cos θ) + · · · → = C + r2 cos2 θ− r6 .
Plano Espacio
∞ ∞
(r, θ) = 20 + (r, θ) = r0 +
X X
r −n [n cos nθ+bn sen nθ] n r −(n+1) Pn (cos θ)
n=1 n=1
Rn
R 2π
n = π 0
ƒ (θ) cos nθ dθ , n = 0, 1, . . . (2n+1)R n+1 Rπ
R 2π n = 2
ƒ (θ) Pn (cos θ) sen θ dθ
Rn 0
bn = π 0
ƒ (θ) sen nθ dθ , n = 1, 2, . . .
ƒ (θ) =
∞ ∞
0 n bn 0
X X
2
+ [R n cos nθ+ Rn sen nθ] = R
+ n R−(n+1) Pn (cos θ) =
n=1 n=1
(constante (no constante
→ ≡ → = R
r
en el plano) en el espacio)
ƒ (θ) = cos3 θ
∞
0 n bn cos 3θ θ (2n+1)Rn+1 1 3
+ 3 cos
X R
2
+ [R n cos nθ+ Rn sen nθ] = 4 4
n = 2 −1
t Pn (t) dt
n=1
3R R 3 R1 3R2
→ = 4r
cos θ+ 4r 3 cos 3θ 1 = 3R2 0
t 4 dt = 5
R 1 5t 6 4
2R4
3 = 7R4 − 3t2 dt =
0 2 5
3R2 2R4 5
→ = cos θ + cos3 θ− 32 cos θ
5r 2 5r 4 2
∞ ∞ ∞ X
∞
= 400 + n0 −n2 t 0m −m2 t 2
+m2 )t
cos n + cos my + nm e−(n cos n cos myt=0 = 1+cos cos 2y
X X X
2
e 2
e
n=1 m=1 m=1 n=1
t→∞
(, y, t) = 1 + e−5t cos cos 2y → 1 , valor medio de las temperaturas iniciales.
X 00 +λX = 0
tt −Δ = 0 , (, y) ∈ (0, π)×(0, π), t ∈ R Xn = {sen n}, n = 1, 2, · · ·
X(0) = X(π) = 0
(, y, 0) = 0 , (, y, 0) = sen 3 sen2 2y
t
= XYT → Y 00 +μY = 0
(0, y, t) = (π, y, t) = 0 0 0 Yn = {cos my}, m = 1, 2, · · ·
Y (0) = Y (π) = 0
y (, 0, t) = y (, π, t) = 0
p
T 00 +(λ+μ)T = 0, T(0) = 0, Tnm = {sen n2 +m2 t}
∞ X
∞ p ∞ X
∞ p 1−cos 4y
X X
= cnm sen n2 +m2 t sen n cos my , t (, y, 0) = cnm n2 +m2 sen n cos my = 2
sen 3
n=1 m=0 n=1 m=0
p
c30 9 = 12 [los demás 1 1
→ p cnm = 0 ]
→ (, y, t) = sen 3t sen 3 − sen 5t sen 3 cos 4y
c34 25 = − 12 6 10
Δ = z , 2 +y 2 +z 2 < 1
¨
Δ = 0 , r < 1
∞
apuntes
−→ 1 = n r n Pn (cos θ) →
X
(P1 )
= z 3 si 2 +y 2 +z 2 = 1 (1, θ) = cos3 θ n=0
1 1
= 1 +2 = r cos θ 1−r 2 +2r 2 cos2 θ = z 1−2 −y 2 +z 2
2 2
Δ = 0 , 2 +y 2 +z 2 < 1 Δ = 0 , r < 1 P03 = 23 [5t 2 −1] , P13 = 32 sen θ[5 cos2 θ−1]
¨ ¨
P3 = 52 t 3 − 32 t ,
= 3 si 2 +y 2 +z 2 = 1 |r=1 = sen3 θ cos3 ϕ P000 = 15 , P33 = 15 sen3 θ
3
1 3 1 3 3
4
sen3 θ cos 3ϕ + 4
sen3 θ cos ϕ = 4
sen3 θ cos 3ϕ − 20
sen θ[5 cos2 θ−1] cos ϕ + 5
sen θ cos ϕ →
r3 3r 3 3r 1
= sen3 θ cos 3ϕ − sen θ [5 cos2 θ−1] cos ϕ + sen θ cos ϕ = 3+22 −3y 2 −3z 2
4 20 5 5
Z 00 +μZ = 0
t − Δ = 0, 1 < r < 2, 0 < z < 1, t > 0 Z(0) = Z(1) = 0 Zn = {sen nπz}
(r, θ, 0) = sen πz
= RZT → rR00 +R00 +λrR = 0
(1, z, t) = (2, z, t) = 0
R(1) = R(2) = 0
(r, 0, t) = (r, 1, t) = 0
T 0 +(λ+μ)T = 0
p
Haciendo t = r λ en la ecuación de R se transforma en la de Bessel de orden cero: (tR0 )0 +λtR = 0 .
¨ p p
p p c.c. c1 J0 ( λ )+c2 K0 ( λ ) = 0
→ R = c1 J0 (t)+c2 K0 (t) = c1 J0 (r λ)+c2 K0 (r λ) → p p →
c1 J0 (2 λ )+c2 K0 (2 λ ) = 0
[Problema S-L regular
μm = c2m , donde cm son las infinitas raíces de J0 (cm )K0 (2cm )−J0 (2cm )K0 (cm ) ⇒ existen].
Las autofunciones correspondientes son: Rm (r) = {K0 (cm )J0 (cm r)−J0 (cm )K0 (cm r)} .
∞ X
∞
Tnm = e−(n π +λm )t → (r, z, t) = π 2 +λm )t R
2 2 2
cnm e−(n m (r) sen nπz
X
→
m=1 n=1
R2
∞ X
∞ ∞
〈Rm ,1〉 rRm dr
(r, z, 0) = cnm Rm (r) sen nπz = sen π ⇔ c1m Rm (r) = 1 → c1m = 〈R = R12
X X
m ,Rm 〉
m=1 n=1 m=1
1
rR2
m
dr
∞ 2
+c2m )t
(r, z, t) = sen πz c1m e−(π K0 (cm )J0 (cm r)−J0 (cm )K0 (cm r)
X
m=1
19 En los apuntes tenemos los primeros Pm n
: P0n = Pn , P11 = sen θ , P12 = 3 sen θ cos θ y P22 = 3 sen2 θ .
A partir de ellos obtenemos los Ynm (θ, ϕ) ≡ cos mϕ Pm (cos θ), sen mϕ Pm (cos θ) pedidos:
n n
r 2 Y21 = r 2 P12 = 3r 2 sen θ cos θ cos ϕ, 3r 2 sen θ cos θ sen ϕ = {3z , 3yz} .
Δ = r cos2 θ , r < 1
20 (1, θ) = 0 , 0 ≤ θ < 2π
Con la fórmula obtenida a través de la función de Green en los apuntes:
1
R 1R 2π
(r, θ) = 4π σ ln σ 2 +r 2 −2rσ cos(θ−ϕ) −ln 1+r 2 σ 2 −2rσ cos(θ−ϕ) σ cos2 ϕ dϕ dσ →
0 0
1
R 1R 2π R1
(0, 0) = 4π 0 0
2σ 2 ln σ cos2 ϕ dϕ dσ = 21 0 σ 2 ln σ dσ = − 18
1
00 - r=0
∞ 00 + = 2r n (1) = 0 3
−1 −r3 2
[Más largo: = 0 (r)+ [n (r)cos nθ+bn (r)sen nθ] → 0 r
= r 18 + r 10
X
02 402
−→ cos 2θ ].
00 r acotado
n=1 2 + r − r2
= 2
Δ = F, r < 1
RR
RRR
La solución de será: = G F dξdηdγ =
σ=1 Gn ƒ dS −→
= ƒ si r = 1 σ≤1 Gn =Gσ
Z 2πZ πZ 1 Z 2πZ π
1 1−r 2 ƒ (β, α) sen β
= G(r, θ, ϕ, σ, β, α) F(σ, β, α) σ 2 sen β dσ dβ dα + dβ dα
4π 0 0 0 4π 0 0 [1+r 2 −2rA]3/ 2
1 2π π 1 1 2π π
R R R R R
El valor en el origen es: (O) = 4π 0 0 0
[σ 2 −σ] F(σ, β, α) sen β dσ dβ dα + 4π 0 0
ƒ (β, α) sen β dβ dα .
i1 h iπ iπ
σ3 σ2
h h
En particular si F = ƒ = 1 , (O) = 12 3
− 2
− cos β + 1
2
− cos β = 5
6
0 0 0
0 2
Fácil de resolver (independiente de θ y ϕ ): 00 + 2
r
= 1 , (1) = 1, acotada → = 65 − r6 .
R πR 1 Rπ coincide con
Y si F = z , ƒ = z 3 , (O) = 12 0 0
[σ 3 −σ 2 ] cos β sen β dσ dβ + 21 0
cos3 β sen β dβ = 0 problema 18
soluciones de problemas 4 de EDII(Cp) (2009)
R +2t R tR +2[t−τ]
= 12 (+2t)2 +(−2t)2 + 1
ds + 1
e−τ ds dτ
tt −4 = e−t , , t ∈ R
1 (, 0) = 2 , t (, 0) = −1
4 −2t 4 0 −2[t−τ]
= 2 +4t 2 + e−t −1 .
Una solución particular que sólo depende de t es: tt = e−t → = e−t . Con = − e−t se tiene:
tt − = 0
→ = 12 (+2t)2 −1+(−2t)2 −1 = 2 +4t 2 −1 , como antes.
(, 0) = 2 −1, t (, 0) = 0
tt − 41 = −4 , , t ∈ R
¨
tt −4 = 16 , , t ∈ R
Lo más sencillo es cambiar papeles ↔t
−→ →
(0, t) = t , (0, t) = 0 de y t aplicar D’Alembert: (, 0) = , t (, 0) = 0
1 t t
R tR + 1 (t−τ) Rt ↔t
= 2
(+ 2
)+(− 2
) − 4 2
0 − 1 (t−τ)
dsdτ = − 4 0
(t −τ)dτ = −2t 2 −→ = t −22
2
Podríamos ahorrarnos esta integral doble con una solución que sólo dependiese de una variable:
¨
tt − 41 = 0
00 (t) = −4 , = −2t 2 → , = 12 (+ 2t )+(− 2t ) = → = −2t 2
=− (, 0) = , t (, 0) = 0
tt − 41 = 0
¨
2 2
00
() = 16 , = 8 → 2 , = −4 (+ 2t ) +(− 2t ) = −82 −2t 2 . . .
=− (, 0) = −82 , t (, 0) = 0
ξ = +2t
Sin atajos: → ξη = −1 → = p(ξ)+q(η)−ξη = p(+2t)+q(−2t)+4t 2 −2
η = −2t
forma canónica
¨ tt − = 0 , ≥ 0, t ∈ R
Una evidente que cumple la condición de contorno
2 (, 0) = 0 , t (, 0) = cos2
no homogénea es = t . Haciendo = − :
(0, t) = t
¨ tt − = 0 , ≥ 0 ¨ − = 0 , ∈ R
tt
t (, 0) = cos −1
2 → (, 0) = 0 ,
(, 0) = 0 , (0, t) = 0 t (, 0) = g∗ ()
siendo g∗ () la extensión impar respecto a = 0 de
g() = cos2 −1 = − sin2 = 21 (cos 2−1) .
R +t
La solución del problema inicial es = t + 12 −t g∗ (s) ds .
R 3π R 3π
a] (π, 2π) = 2π + 21 −π g∗ = 2π + 14 π (cos 2s−1)ds = 3π 2
.
g∗ impar
tt − = 0 , ∈ R
¨ tt −4 = 0 , ∈ [0, 2], t ∈ R
(, 0) = ƒ ∗ (), t (, 0) = 0
3 (, 0) = 4−3 , t (, 0) = 0
(0, t) = (2, t) = 0 = 12 [ƒ ∗ (+2t)+ƒ ∗ (−2t)] .
( 23 , 43 ) = 1 ∗
2
[ƒ (3)+ƒ ∗ (0)] = 12 ƒ ∗ (−1) = − 12 ƒ ∗ (1) = − 23 .
4-per. impar
Para hallar (, 1) aparecen dos casos como (por ejemplo) muestran los dominios de dependencia:
1
(
1 ∗ 0≤≤1 , [−(−1)(+1) + (+1)(−1)] =0
(, 1) = 2
[ƒ (+1)+ƒ ∗(−1)] = 2
1 → (, 1) = 2 .
1≤≤2 , 2
[−(−1)(−3) + (−3)(−1)] =0
[También es claro que trasladando ƒ ∗ una unidad a izquierda y derecha y sumando todo se cancela].
ii] Resolviendo el problema en por separación de variables (rehacemos los cálculos de 3.1):
2 2
X 00 + λX = 0 , X(0) = X(2) = 0 → λn = n 4π , Xn = {sen nπ
¨
}
(, t) = X()T(t) → 2 n = 1, 2, . . .
T 00 +λT = 0 , T 0 (0) = 0 → Tn = {cos nπt
2
}
∞ ∞
nπt nπ nπ
Probamos, pues: (, t) = = 2 −2 →
X X
kn cos 2
sen 2
→ kn sen 2
n=1 n=1
R2
+ 4 2 (−1) cos
nπ 2
2
(2 −2) cos nπ nπ
R
kn = 0
(2 −2) sen d = − nπ
2 2 0 nπ 0 2
d
2 R2
= n28π 2 (−1) sen nπ
2 0
− 8
n2 π 2 0
sen nπ
2
= n16
3 π 3 [cos nπ −1] →
∞
(2m−1)πt (2m−1)π
(, t) = − 32 1
X
π3 (2m−1)3
cos 2
sen 2
m=1
Para t = 1 todos los cosenos se anulan, con lo que (, 1) = 0 (como por D’Alembert).
∞
(−1)m+1 π3
Además (1, 2) = 32 = 32 1 − 313 + 513 − 713 + · · · = 32 = 1 , como arriba.
X
π3 (2m−1)3 π3 π 3 32
m=1
tt − = 0 , , t ∈ R ←− −→
= G(+t)− G(−t) ,
(, 0) = 0
5 R
con G() = 12 0 g .
1, ||≤1/ 2
n
t (, 0) =
0 ||>1/ 2
(3, t) = G(3+t)−G(3−t)
= G(t +3)+G(t −3)
dominio de
influencia
ƒ ∗ (3+t)+ƒ ∗ (3−t)
(3, t) = 2
= 12 ƒ ∗ (t +3)− 21 ƒ ∗ (t −3)
¨ − = 0 , ∈ [0, 2], t ∈ R ¨ tt − = 0 , ∈ [0, 2] ¨ tt − = 0 , ∈ R
tt
=+
6 (, 0) = t (, 0) = 0 a] = t(1− 2 ) → (, 0) = 0, t (, 0) = 2 −1 → (, 0) = 0
(0, t) = t , (2, t) = 0 (0, t) = (2, t) = 0 t (, 0) = g∗()
Para que sea C2 debe ser: ƒ ∈ C2 , g ∈ C1 , ƒ ∗ 0 (0) = g∗ 0 (0) = 0 ( ƒ ∗ 0 y g∗ 0 son impares, y ƒ ∗ 00 es par) .
∞
2 2π
0 X
Rπ
n 2n n
g() d = π1 0 sen d = π2 → (, 2π) = 2
R
t (, 0) = 2
+ cos 2
= g() → 0 = 2π 0
n=1
a] (, y, z, t)
¨ − c2 [ +yy +zz ] = 0
tt R 2πR π
∂ t
9 = ∂t (+y+z+ct[sen θ cos ϕ+sen θ sen ϕ+cos θ]) sen θ dθ dϕ
(, y, z, 0) = ƒ (, y, z) 4π 0 0
t (, y, z, 0) = 0 = +y+z
∂ t
R 2πR π
b] (, y, t) = (+y+ct sen θ[cos ϕ+sen ϕ]) sen θ dθ dϕ = +y
∂t 4π 0 0
r(+y) + r 2 (cos θ+sen θ) dr dθ
h R 2πR ct i
1 ∂
O bien: (, y, t) = 2πc ∂t 0 0
p
2 2 2
= +y
c t −r
∂ t
R 2πR π 1
c] (, t) = (+ct sen θ cos ϕ) sen θ dθ dϕ = , o mejor: (, t) = [(+ct)+(−ct)] =
∂t 4π 0 0 2
¨ 2
¨ tt − = 0 , r ≥ 0 ¨ tt − = 0 , r ∈ R
tt − rr + = 0, r ≥ 0
=r
(r, 0) = 6r, t (r, 0) = 5r 4 → (r, 0) = 6r = ƒ (r)n 4
r r ∗
10 →
(r, 0) = 6 , t (r, 0) = 5r 3 (0, t) = 0
5r , r ≥ 0
t (r, 0) = g (r) = −5r 4 , r ≤ 0
∗
1 ∗
R r+t
(r, t) = ƒ (r +t)+ƒ ∗(r −t) + r−t g∗ →
2r
1 ∗
R5 R5
(2, 3) = ƒ (5)+ƒ ∗(−1)+ −1 g∗ = 14 30−6+ 1 5s4 ds =
4
787 .
Con la fórmula de P-K lo calculamos en el punto más sencillo situado a distancia 2 , el (0, 0, 2) :
3 2π π
R1
5(13+12 cos θ)3/ 2 sen θ dθ dϕ = 6 + 15
R R
(0, 0, 2, 3) = 6 + 4π 0 0 2 −1
(13+12s)3/ 2 ds
↑
· · ·=0 1
= 6 + 14 (13+12s)5/ 2 −1 = 787
n
sin cuentas, claramente satisface · · · = 6, · · · = 0
tt − = 0 , ≥ 0, t ∈ R tt −rr − 2 = 0 , r ≥ 0, t ∈ R
(
r
¨
r
11 62
(, 0) = 0 , t (, 0) = 1+3
, (0, t) = 0 6r
(r, 0) = 0 , t (r, 0) = 1+r 3
1
R +t
a] La solución para es (, t) = 2 −t
g∗ (s) ds , siendo g∗ la
2
6
extensión impar de 1+ 3 respecto a = 0 . En particular,
5 g∗ imparR 5 3s2 ds 5
(1, 4) = 12 −3 g∗ (s) ds = 9
R
3 1+s3
= log(1+s3 ) 3 = log 2
Máximo de g∗
[No ha sido necesario conocer la expresión de g∗ para ≤ 0 ].
en 21/ 3 , 25/ 3
b] (1, t) tendrá dos expresiones distintas, dependiendo de que 1−t sea mayor o menor que 0 :
1
R 1+t 1+t 1+(1+t)3
Si t ≤ 1 , (1, t) = 2 1−t
g = log(1+s3 ) 1−t
= log 1+(1−t)3
1
R 1+t g∗ impar 1 R 1+t 1+t 1+(1+t)3
Si t ≥ 1 , (1, t) = 2 1−t
g∗ = 2 t−1
g∗ = log(1+s3 ) t−1
= log 1+(t−1)3
2
tt −rr = 0 , r ≥ 0, t ∈ R tt −rr − r r = 0 , r ≥ 0, t ∈ R
2r −r 2 , r ∈ [0, 2]
§
2−r , r ∈ [0, 2]
§
12
(r, 0) = 0 en el resto
(r, 0) = 0 en el resto
≡ ƒ (r)
t (r, 0) = (0, t) = 0 t (r, 0) = 0
Sabemos que haciendo = r se transforma P en P y que las soluciones de P vienen dadas por
tt −rr = 0 , , t ∈ R
con F ∗ extensión impar de F respecto del origen.
(r, 0) = F ∗ (r) , t (r, 0) = 0
(ya nos lo diría el
a] (r, t) = 12 F ∗ (r +t)+F ∗ (r −t) → (6, 3) = 12 F ∗(9)+F ∗(3) = 12 F(9)+F(3) = 0 dominio de influencia).
1 ∗
(2, 3) = F (5)+F ∗(−1) = 21 F(5)−F(1) = 12 [0−1] = − 21 .
2 ↑
F ∗ impar
(r,t) 1 ∗
Y como (r, t) = r , es: (4, 3) = 2·4 F (7)+F ∗(1) = 18 F(7)+F(1) = 18 .
=k 2 2 2
R∞ p R
∞
F −1 e−k = p1 −∞ e−k (cos k+ sen k) dk = pπ2 0 e−k cos k dk = p1 e− / 4 F e− cambiando
2 2 2 2 2
2π 2 papeles
p R p p
∞
Fs−1 k e−k = pπ2 0 ke−k sen k dk = pπ2 2 π
2 2 2
p e− / 4 = −2 / 4 .
[2] 3/ 2 e
por (•) 2
R∞ ∞ R∞
Del teorema 2: F ƒ 0 () = p1 −∞ ƒ 0 () ek d = p1 ƒ () ek −∞ − pk −∞ ƒ () ek d = −k F ƒ () .
2π 2π 2π
F ƒ 00 () = −k F ƒ 0 () = −k 2 F ƒ () .
p R∞ p ∞ p R
∞
Del teorema 2’: Fs ƒ 00 () = pπ2 0 ƒ 00 () sen k d = pπ2 ƒ 0 () sen k 0 −k pπ2 0 ƒ 0 () cos k d
p p p
∞ ∞
= −k pπ2 ƒ () cos k 0 −k 2 pπ2 0 ƒ () sen k d = −k 2 Fs ƒ () + pπ2 ƒ (0)k .
R
p R∞ p ∞ p R
∞
Fc ƒ 00 () = pπ2 0 ƒ 00 () cos k d = pπ2 ƒ 0 () cos k 0 +k pπ2 0 ƒ 0 () sen k d
p p ∞ p
= − pπ2 ƒ 0 (0) + k pπ2 ƒ () sen k 0 −k 2 Fc ƒ () = −k 2 Fc ƒ () − pπ2 ƒ 0 (0) .
R∞
Del teorema 4: F −1 ƒ̂ e−k = p1 −∞ ƒ̂ (k) e−k(−) dk = ƒ (−) .
2π
1
Rb kb
k d = p1 e −e
k p2 sen Lk
F (h) = = pπ k si en particular = −L y b = L .
p
e k
2π 2π
2
t − = (2 −1) e− / 2 , ∈ R , t > 0
15 a] Como F [ƒ 00 ] = −k 2 ƒ̂ y F [e− ] = p1 e−k
2 2
/ 4 =1/
−→
2
e−k
2
/2 :
(, 0) = 0 , acotada 2
¨ 2
̂t +k 2 ̂ = −k 2 e−k /2 2 2 2
/ 2 e−k 2 t − e−k 2 / 2
→ ̂(k, t) = p(k) e−k t − e−k /2 → ̂(k, t) = e−k
̂(k, 0) = 0 p a ojo d..
1
→ (, t) = F −1 e−k (t+ 2 ) − e− / 2 =
2 2 1
e−
2
/ (4t+2) − e−
2
/2 → − e−
2
/ 2 (•)
p
1+2t t→∞
2
b] Con la pista dada es claro que = −e− 2 satisface la ecuación. Haciendo = − :
t − = 0
¨ Z∞
formulario 1 2 2
2 −→ = p e−s / 2 e−(−s) / 4t ds .
(, 0) = e− / 2 2 πt −∞
R∞ 2 p
Para evaluar la integral completamos cuadrados buscando −∞ e−p dp = π :
p
2 hp
(2t+1)s2 −2s+2 2t+1 s− p2t+1 2 2
i
2t+1 s 2 2
− 4t
=− p 2 − 4t
+ 4t(2t+1)
=− p − p p − 4t+2
2 t 2 t 2 t 2t+1
p
Llamando p al último corchete, con lo que dp = 2t+1
p ds , tenemos:
2 t
p
∞
= p1 p2 t e− / (4t+2) −∞ e−p dp = p 1 e− / (4t+2) ↑ =+
2 R 2 2
2 πt 2t+1 2t+1
[Estamos todo el rato sacando calor en [−1, 1] y dándolo (menos cantidad según nos alejamos)
(•)
fuera de ese intervalo. Las temperaturas acaban siendo negativas y menores cerca del origen].
2
t − + = 0 , ∈ R, t > 0 ̂t = (k −k 2 )̂ (−t)
¨ ¨
k 2 (1+2t) −
16 2 2 → ̂ = ekt e− 2 → = p 1 e 2(1+2t) .
(, 0) = e− / 2 ̂(k, 0) = e −k / 2 1+2t
tt − = 0
¨
tt − = 0 , ≥ 0, t ≥ 0
=−sen t cos
19 (, 0) = t (, 0) = 0, (0, t) = sen t
−→ t (, 0) = − cos
(, 0) = (0, t) = 0
R +t
sen t cos + 12 (− cos s) ds = 0 , ≥ t
¨
−t
i) (, t) = R0 R +t
sen t cos + 12 −t cos s ds− 12 −t cos s ds = sen(t −) , ≤ t
p Rt sen(t−−k) sen(t−+k) t p
2
ii) ̂s = psen(t −) sen k d = p1
π 0 −1−k
− −1+k 0
= pπ2 k 21−1 [k sen t −sen kt] .
2π
( p
p
̂tt +k 2 ̂ = pπ2 k sen t ↑c..
Directamente: ̂s ≡ ̂ → , ̂p = A sen t → ̂ = p(k)ekt +q(k)e−kt + pπ2 kksen
2 −1
t
̂(k, 0) = ̂t (k, 0) = 0
ξ = t +3
dt 3
21 3t − = 2 a] d
= −1 → t +3 = C ; η=
→ η = −2 , = p(ξ)−2η = p(t +3)−2 .
ξ = t +3
O bien, η=t
→ 3η = 2 , = p∗ (ξ)+ 23 η = p∗ (t +3)+ 23 t .
̂t + k ̂ = ĝ(k)
¨
ĝ(k) dato inicial ĝ(k)
b2 ] → ̂(k, t) = p(k) e−kt/ 3 + k , p arbitraria −→ p(k) = ƒ̂ (k)− k →
̂(k, 0) = ƒ̂ (k)
−kt/ 3 p
1 en [−t/ 3, 0]
̂(k, t) = ƒ̂ (k) e−kt/ 3 + ĝ(k) 1−ek → (, t) = ƒ (+ 3t ) + 2π g()∗h() , con h() = 0 en el resto
p R0 R
2π g()∗h() = −t/ 3
g(−) d = − + 3t
g(s) ds como antes.
−=s
2t + = t
¨
ξ = 2−t
dt 2 2
22 2 a) =2→
η=t
→ 2η = η , = p(ξ) eη / 4 = p(2−t) et / 4 →
(, 0) = e− d
2 2 2
/ 4 et 2 / 4 2 [No hay problemas de
(, 0) = p(2) = e− → p() = e− /4 → = e−(2−t) → = et−
unicidad: Δ = 2 ∀ ].
2 2 2 2
Haciendo η = : η = (2η−ξ) , = p(ξ) eη −ξη = p(2−t) et− → (, 0) = p(2) e− = e− → p() ≡ 1 .
̂t = k ̂ + 2t ̂
(
−k 2 / 4 d. i.
e
→ ̂ = p(k)ekt/ 2 et / 4 → ̂ = p1 et / 4 e−k / 4 ekt/ 2
2 2 2 2
b) F (ƒ 0 ) = −k ƒ̂ , F (e− ) = p → 2
̂(k, 0) = p1 e−k / 4
2
2 2
2
e−k 2 / 4 kt/ 2 −(− 2t )2 −k 2 / 4
, pues F −1 e p
2 2 2 2
→ =e t / 4 −1 =e t / 4 =e t− = e− y F −1 ƒ̂ (k) ek = ƒ (−) .
F p e e
2 2
t +(cos t) = , ∈ R, t ≥ 0 ξ = −sen t
23 (, 0) = ƒ () η=t
, η = , = ƒ (−sen t) et .
1
Δ = F(, y), ∈ R, y > 0 G = 2π ln PQ0 = 4π 1
ln (ξ−)2 +(η−y)2
24 (, 0) = ƒ ()
PQ
1
ln (ξ−)2 +(η+y)2 .
−4π
y
Gn η=0 = −Gη η=0 = π1 (ξ−)2 +y2 →
∞ Z ∞Z ∞
y ƒ (ξ) dξ 1 (ξ−)2 +(η−y)2
Z
(, y) = + ln F(ξ, η) dξ dη .
π −∞ (ξ−)2 + y2 4π 0 −∞ (ξ−)2 +(η−y)2
¨
̂yy −k 2 ̂ = 0
Si F ≡ 0 con transformadas de Fourier: → ̂ = p(k) eky +q(k) e−ky = ƒ̂ (k) e−k|y|
̂(k, 0) = ƒ̂ (k) %
[elegimos p ≡ 0 si k > 0 y q ≡ 0 si k < 0 para que exista la transformada inversa]
Z q
∞ Z0
1
q
2 y 2 y
F −1 −k|y| =p −k(y+)
dk + −k(y−)
dk = π 2 2 → ̂ = π ƒ ∗ 2 2 (→ lo de antes).
e e e y +
y +
2π 0 −∞
problemas adicionales de EDII (C) 2009
problemas adicionales 1
2. Sea y −2y = 2y y los datos iniciales: i) (, 1) = e− , ii) (−y 2 , y) = 0 . Hallar la única
solución que satisface uno de ellos y dos soluciones distintas que cumplan el otro.
3. Sea (E) (y+1)y+ = 0 . Dibujar sus características. Probar que (E) tiene una única solución
satisfaciendo (, 0) = ƒ () . Probar que si ƒ no es constante dicha solución no puede estar
definida en todo R2 . ¿En torno a qué puntos hay más de una solución de (E) que cumple
(y 2 , y) = 0 ? Estudiar si existen soluciones de (E) satisfaciendo (0, y) = g(y) .
5. Probar que no existe solución de = 0 que esté definida en todo el semiplano y ≥ 0 y que
contenga la curva : y = 2 , z = 3 . Estudiar en qué entornos de hay soluciones únicas
locales.
6. Hallar (si se puede) la solución o soluciones de las siguientes ecuaciones cuasilineales que
satisfacen cada uno de los datos de Cauchy que se indican:
y + = con i) (, 0) = 1 , ii) (0, y) = 1
y + = 2 con i) (, 0) = , ii) (, ) = 1
8. Sea [E] tt −2 −t = 0 . Escribirla en forma canónica y hallar su solución general. Deter-
minar la solución de [E] que satisface (, 0) = 2 , t (, 0) = . Escribir (si existe) alguna
solución de [E], distinta de la ≡ 0 , que cumpla (et , t) = t (et , t) = 0 .
+Lt +R = 0
10. El potencial y la intensidad en una linea telegráfica satisfacen: ,
+Ct +G = 0
donde L, R, C y G son constantes características 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
ecuación de ondas y hallar (, t) si inicialmente (, 0) = V() e (, 0) = () .
79
problemas adicionales de EDII (C) 2009
problemas adicionales 2
00
y − 2y 0 + y + λy = 0
1. Desarrollar ƒ () = en las autofunciones del problema .
y(0) = y(1) = 0
y 00 + λ−V() y = 0
0 , si 0 < < 1
2. Determinar los autovalores de si V() = .
y(0) = y(2) = 0 1 , si 1 < < 2
(y 0 )0 + λy = 0
3. Desarrollar ƒ () = 1−2 en serie de autofunciones del problema:
y acotada en 0, y(1) = 0
2
y 00 = e−(−1)
4. Sea . Precisar para qué valores de α tiene solución.
αy(0)+(1−α)y 0 (0) = y(1) = 0
5. Discutir, según los valores de la constante b , cuántas soluciones tienen los problemas:
¨
y 00 + 2y 0 = 1 2 y 00 −3y 0 +3y = b−2
00 + r −1 0 = F(r)
6. Precisar cuándo tiene solución o soluciones , , b ≥ 0.
0 (1)−(1) = A, 0 (2)+b(2) = B
[se puede interpretar como un problema para Laplace en el plano con simetría radial].
y 00 + ny = cosn
10. Estudiar para qué valores de n ∈ N existe solución de: .
y(0) = y(2π), y 0 (0) = y 0 (2π)
2 y 00 − y 0 + λy = 3
11. Calcular para λ = 0 y λ = 1 la solución (si la hay) de ,
y(1)−y 0 (1) = y(2)−2y 0 (2) = 0
haciendo uso de la función de Green en el caso de que exista.
y 00 + 2y 0 + λy = ƒ ()
12. Sea . Hallar autovalores y autofunciones del homogéneo.
y(1) = y(2) = 0
Determinar para qué n ∈ N el problema con λ = π 2 , ƒ () = sen nπ tiene soluciones, calcu-
lándolas en ese caso. Si λ = 0 , ƒ () = 1 , hallar la solución con la función de Green.
(y 0 )0 = ƒ ()
13. Hallar la G(, s) del problema singular , usando la fórmula para
y acotada en 0, y(1) = 0
problemas regulares. Comprobar que proporciona la solución i) si ƒ () = 1 , ii) si ƒ () = .
Relacionar los resultados con la ecuación de Poisson en el plano.
y 00 = ƒ ()
14. Constuir la función de Green de . Resolverlo si ƒ () = .
y(0) = −y(1), y 0 (0) = −y 0 (1)
80
problemas adicionales de EDII (C) 2009
problemas adicionales 3
¨ t − = A , ∈ (0, 1), t > 0 Resolverlo y determinar para qué relación entre
2. Sea (, 0) = B las constantes A, B, C, D hay solución estaciona-
(0, t) = C, (1, t) = D ria (interpretarlo físicamente).
4. Sea una varilla de aluminio ( k = 0.86 cm2 /seg) de 20 cm de longitud, con una temperatura
inicial uniforme de 25 grados. En el instante t = 0 el extremo = 0 se enfría hasta 0 grados,
mientras que el extremo = 20 se calienta hasta 60 grados, y ambos se mantienen después
a esas temperaturas. Escribir la distribución de temperaturas (, t) para todo t y evaluar
en = 5, 10 y 15 para t = 0, 5 y 30 utilizando tres y diez términos de la serie.
Δ = π , r < 1, θ ∈ (0, π)
6. Resolver el problema plano y probar que ( 21 , π2 ) ≤ 0 .
(r, 0) = (r, π) = (1, θ) = 0
Δ = 0 , r < 1
8. Resolver el problema para la ecuación de Laplace en el espacio .
r (1, θ) = cos3 θ
y 00 = ƒ ()
10. a) Hallar la solución de en términos de la función de Green, la función ƒ
y(1) = , y(2) = b
y las constantes y b , por el camino de cálculo de la G para la ecuación de Laplace en el
plano (s) = 21 |s−| satisface 00 = δ(s−) para fijo . b) Llegar al resultado con técnicas
sen θ, θ ∈ [0, π]
11. Sabiendo que (1, θ) = 0 , θ ∈ [π, 2π]
,
hallar el potencial en el punto del plano de coordenadas polares r = 2 , θ = 0 .
81
problemas adicionales de EDII (C) 2009
problemas adicionales 4
tt − = 0 , , t ∈ R
tt − = 0 , ≥ 0, t ∈ R tt − = sen π , ∈ [0, 1], t ∈ R
n
π, 2≤≤3 (, 0) = sen π
(, 0) = sen
n
0 resto de R (, 0) = (1−), 0≤≤1
n 0, ≥1 t (, 0) = sen π
sen π,−2≤≤−1
t (, 0) = 0 resto de R t (, 0) = (0, t) = 0
(0, t) = (1, t) = 0
¨ − = 0 , ∈ [0, 1], t ∈ R
tt
3. Sea (, 0) = t (, 0) = 0 . Hallar ( 12 , 12 ) y ( 21 , 32 ) .
(0, t) = 0 , (1, t) = sen t
tt − = 6 , ≥ 0, t ∈ R
4. Sea . Calcular (0, t) para todo t.
(, 0) = t (, 0) = (0, t) = 0
5. Hallar la solución general de tt −e2t −t = 0 , y la que cumple (, 0) = ƒ (), t (, 0) = 0 .
1−2|| , si ||≤1/ 2
n
Si ƒ () = , dibujar la solución para t = 1 y t = 2 .
0 , en el resto
¿Cuál es el dominio de influencia sobre la solución del valor inicial de ƒ en = 0 ?
¿Cuál es el dominio de dependencia de (0, 1) de los valores de ƒ ?
7. Sea (E) t − −2 + = 0 . Simplificarla con un cambio de variable adecuado. Hallar la
2
solución de (E) que cumple (, 0) = e− y analizar su comportamiento cuando t → ∞ .
t t − = g()
2
8. Resolver: por las características y utilizando la F .
(, 1) = 0
82
4 1
& '
sen sen b = 21 cos(−b)−cos(+b)
sen ( ± b) = sen cos b ± cos sen b 1& ' Funciones de Green para Laplace
cos cos b = 2 cos(+b)+cos(−b)
cos ( ± b) = cos cos b ∓ sen sen b & ' % %
sen cos b = 12 sen(+b)+sen(−b) Δ = F en D ΔG = δ(ξ−, η−y) en D
(PD ) . Si G(, y; ξ, η) satisface , para (, y) ∈ D
= ƒ en ∂D G = 0 en ∂D
1
sen2 = 2
− cos22 , cos2 = 1
2
+ cos22 , sen3 = 3 sen
4
− sen43 , cos3 = 3 cos
4
+ cos43 . y vista como función de (ξ, η) , se le llama función de Green y la solución de (PD ) es:
)) 7
e −e− e +e− sh (, y) = D G(, y; ξ, η) F(ξ, η) dξdη + ∂D Gn (, y; ξ, η) ƒ (ξ, η) ds .
sh = 2
, ch = 2
, th = ch
. 1
sh x ch x th x %
[sh ]# = ch
1
Δ = F(r, θ) , r < R 1 & ' 1 & 2 2 '
, [th ]# = 1−th2 = 12 . → G(r,θ;σ,ϕ) = 4π ln σ 2 +r 2 −2rσ cos(θ−ϕ) − 4π ln R2 + r Rσ2 −2rσ cos(θ−ϕ)
[ch ]# = sh ch
–1 (R, θ) = ƒ (θ)
) R) 2π )
2 −r 2 2π ƒ (ϕ) dϕ
→ (r, θ) = 0 0 σ G(r, θ; σ, ϕ) F(σ, ϕ) dϕ dσ + R 2π 2 2 .
0 R −2Rr cos(θ−ϕ)+r