4

Separacin de variables para Laplace

Repaso de EDOs

= F en D acotado
tiene solucin nica. [Si F 0 mximo y mnimo se dan en D ].
= en D

= F en D
Tiene unicidad salvo constante
si se cumple D F ddy = D ds .
n = en D
+yy = 0 , = XT X +X = 0 , Y Y = 0 .

rr + 1r r + r12 = 0 , = R + = 0 , r 2 R +rR R = 0 .

En un crculo, n = cos n, sen n , Rn = {r n } (interior), Rn = {r n } (exterior), n = 0, 1, . . .

2 2

1
Si G(r,;,) = 4
ln 2 +r 2 2r cos() 4
ln R2 + r R2 2r cos() , la solucin de

2 r 2 2
R 2
= F(r, ) , r < R
() d
.
es (r, ) = 0 0 G(r, ; , ) F(, ) d d + R 2
0 R2 2Rr cos()+r 2
(R, ) = ()

En el espacio:

cos
rr + 2r r + r
2 + sen r 2 + sen2 r 2 = 0 ,

= R

r 2 R +2rR R = 0 , + = 0 ,

s=cos

sen + sen sen = 0

(con = 0 si no
d
[1s2 ] d
+
2 = 0 depende de )
ds
ds
1s

En esfera con simetra, n = Pn (cos ) , Rn = {r n } (interior), Rn = {r n1 } (exterior), n = 0, 1, . . .

La solucin nica de
(, t) =
Si F = 0 ,

c2

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

1
1
(+ct) + (ct) + 2c
2

1
1
() 2c
g
2
0

+ct
ct

es:

g(s) ds +

viaja hacia la derecha y

1
2c

+c[t]

0 c[t]

1
1
() + 2c
g
2
0

F(s, ) ds d

hacia la izquierda.

tt c2 = F, 0, t R tt c2 = F, [0,L], t R

tt c2 = F (, t) , , t R
(, 0) = , t (, 0) = g , (, 0) = , t (, 0) = g

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

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

, g , F extensiones impares de (), g(), F(, t) respecto a = 0 a = 0 y = L .

Condiciones = 0 llevan a extensiones pares de los datos iniciales.

tt c2 rr + 2r r = 0 , r 0, t R =r tt c2 rr = 0 , r 0, t R

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

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

Transformada de Fourier
La transformada de () absolutamente integrable es (k) F ( )(k)
Si C1 (R) y absolutamente integrable, () =

Si ( g)() =

La solucin nica de

EDOs lineales de segundo orden

(s) g(s) ds , es g = g , y es F ( g) = F ( )F (g) .

(, t) =

2 t

y +()y +b()y = ()

, b , continuas en .

y 1

y2

|W|() = y y .
1
2

i] Si o , tiene una sola solucin (definida en todo ) con y(o ) = yo , y (o ) = yo .

ii] Si y1 , y2 son soluciones de la homognea ( 0 ) con wronskiano |W|(s) = 0 para

algn s , la solucin general de la homognea es: y = c1 y1 +c2 y2 .
iii] Si yp es una solucin de [n], la solucin general de [n] es: y = c1 y1 +c2 y2 +yp .
y
y
2
1
d y1 |W|
d [fvc].
|W|

iv] Una solucin particular de [n] es: yp = y2

y +y +by = 0
2 ++b = 0

1 = 2 reales y = c1 e1 + c2 e2
doble (real) y = (c1 +c2 ) e
= pq y = (c1 cos q+c2 sen q) ep

Mtodo de coeficientes indeterminados para y + y + by = () :

Si () = e pm () , pm polinomio de grado m , y no es autovalor hay solucin
particular yp = e Pm () . Si es autovalor de multiplicidad r , hay yp = r e Pm () .

Si () = e pj ()
cos q+qk () sen q , pj ,qk de grados j , k , y pq no es autovalor hay yp = ep Pm () cos q+Qm () sen q con Pm y Qm de grado m = mx{j, k} .

Si pq es autovalor hay yp = ep Pm () cos q+Qm () sen q .

1 = 2 reales y = c1 1 +c2 2
doble (real) y = [c1 +c2 ln ]

(1)++b = 0
= pq y = c1 cos(q ln )+c2 sen(q ln ) p

Una yp de 2 y +y +by = h() se obtiene de la [fvc] con () = h()/ 2 ,

o utilizando que con = es se convierte en y (s)+(1)y (s)+by(s) = h es .

Euler:

2 y + y + by = 0

EDOs importantes resolubles utilizando series:

() ek d .

t = 0 , R, t > 0
es:
(, 0) = () , acotada

[n]

Con el cambio = y se convierte y +2y +y = 0 en + = 0 .

(k) ek dk R .

= (, y) resolubles

Si b() 0 , y = lleva [e] a lineal de primer orden en .

Si , , C(R) y absolutamente integrables: F ( ) = kF ( ) , F ( ) = k 2 F ( ) .

2
2

F e = 1 ek / 4 .

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

dy
d

[Si , y son continuas en un entorno de (o , yo ) existe solucin nica con y(o ) = yo ].

y
p()
y
Separables: y = q(y) . y = , z = . y = (+by) , z = +by .

Lineales: y = ()y+ () y = Ce ()d + e ()d e ()d ()d [ sgh + yp ].

Exactas: M(, y)+N(, y) y = 0 con M = U , N = Uy My N U(, y) = C .

Coeficientes constantes:

Ecuacin de ondas

Algunas EDOs de primer orden

(s) e(s)

2 / 4t

ds .

Legendre (12 )y 2y +p(p+1)y = 0 tiene soluciones polinmicas si p = n N :

P0 = 1 , P1 = , P2 = 32 2 12 , P3 = 52 3 32 , P4 = 35
4 15
2 + 38 , . . .
8
4
1
1
2
Se cumple que: 1 Pn Pm d = 0 , si m = n ; 1 P2n d = 2n+1
.

m/ 2 dm
m2
m
2
2

Pn () = (1 )
P () satisfacen (1 )y 2y + n(n+1) 12 y = 0 .
dm n

Bessel: 2 y +y +[2 p2 ]y = 0

Jp ()

m=0

(1)m [/ 2]2m
m! (p+m+1)

soluciones acotadas en = 0 , con infinitos ceros [los de J0 : 2.4.., 5.5.., ... ].

Las soluciones linealmente independientes de ellas son no acotadas en 0 .

cos
+c2
Si p = 12 , 32 , . . . , las soluciones son funciones elementales p = 12 y = c1 sen
.

2p
Recurrencia: Jp+1 = Jp Jp1 . Derivadas: p Jp () = p Jp1 () , J0 () = J1 .

EDPs de primer orden

Problemas de contorno para EDOs

dy

caractersticas
=

(, y) = K
d
B(, y)

A(, y) y + B(, y) = C(, y) + D(, y)

= (, y)
A = C + D ;
=y

A(, y)

(Ps )

= (, y)
B = C + D .
=

Hay una nica solucin local (, y) con valores dados sobre una curva G = g(s), h(s)

del plano y si G no es tangente a las caractersticas (s) g A(g, h)h B(g, h) = 0 .

Ayy + By + C + Dy + E + F = G
yy = 2y + 2 y y + 2y + yy + yy
= (, y)
y = y + [ y +y ] + y + y + y
= (, y)
= 2 + 2 + 2 + +

Si en una regin del plano es

B2 (, y)4A(, y)C(, y)

hiperblica
>
= 0 , la EDP es parablica .
<
elptica

B2 4AC

(, y) = K
= (, y)
+ = G
;
(, y) = K
= (, y)

d
B
= (, y)
P:
=
(, y) = K ;
+ = G
= y ( = )
dy
2A

d
B 4ACB2
= (, y)
E:
=
(, y) (, y) = K ;
+ + = G
= (, y)
dy
2A
H:

dy

Si A , B , C
constantes:

2A

H:

=
=

B
B+

B2 4AC
2A

B2 4AC

2A

P:

=
=y

B
2A

E:

2ABy
=
2

=y

4ACB

[Cambios del tipo = epy eq suprimen derivadas de menor orden].

Formas cannicas resolubles:

Tienen solucin nica

(0, t) = h0 (t)
;
(L, t) = hL (t)

+ E + F = G ,

+ D = G .

[temperaturas
o flujo dados o
radiacin libre]

(0, t) (0, t) = h0 (t)

, , b > 0
(L, t)+b (L, t) = hL (t)

Algunas propiedades de funciones trigonomtricas e hiperblicas:

sen sen b = 12 cos(b)cos(+b)

cos = sen + 2 , 1+tn2 = cos12

1
cos cos b = 2 cos(+b)+cos(b)
sen ( b) = sen cos b cos sen b

cos ( b) = cos cos b sen sen b

sen cos b = 12 sen(+b)+sen(b)
sen2

1
cos22
2

sh = e

cos2

, ch = e

1
+ cos22
2

+e

sen3

sh
, th = ch
.

[sh ] = ch
, [th ] = 1th2 = 12 .
ch
[ch ] = sh

3 sen
sen43
4

sh x

ch x

cos3

sh(y) = sh ch y ch sh y , ch(y) = ch ch y sh sh y .

Si 0 , 0 y q() 0 en [, b] todos los n 0 .

, y

3 cos
+ cos43
4

th x

y + y = 0

Problemas conocidos para

c.contorno
n
yn , yn , yn

y(0) = y(L) = 0
n2 2
, n = 1, 2, ...
L2

L
sen n
, 2
L

y (0) = y (L) = 0

y(0) = y (L) = 0

[2n1]2 2
, n = 1, 2, ...
22 L2

[2n1] L
sen
, 2
2L

n2 2
, n = 0, 1, ...
L2

cos n
, L 2L
L
(n=0)

y (0) = y(L) = 0

[2n1]2 2
, n = 1, 2, ...
22 L2

[2n1] L
cos
, 2
2L

Serie en senos y cosenos en [L, L]: () = 2o +

n cos n
+ bn sen n
,
L
L
n=1

con: n = 1L

() cos n
d , n = 0, 1, 2, ... y bn = 1L
L

() sen n
d , n = 1, 2, ...
L

Converge hacia () en los en que su extensin 2L-peridica es continua (y hacia

1
( )+ (+ ) en los puntos de discontinuidad). Adems converge uniformemente
2
en todo intervalo cerrado que no contenga discontinuidades de la extendida.
La serie en senos (cosenos) converge hacia la extensin impar (par) y 2L-peridica de .
Problemas singulares conocidos:

y + 2y + y = 0
y + y + y = 0
y acotada en = 0, y(1) = 0
y acotada en = 0, y(1) = 0
sen n

= y
s
=
J0 (n ) , J0 (n ) = 0

(12 )y + y = 0
y acotada en = 1

Pn () de Legendre

(Pf )

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

.
(, 0) = (), c.contorno fsicas

(0, t) = h0 (t)
;
(L, t) = hL (t)

Los n . Las {yn } son espacio vectorial de dimensin 1 y cada yn tiene exactamente
b
n1 ceros en (, b) . yn , ym r yn ym d = 0 , si yn , ym estn asociadas a n = m .
Si es C1 a trozos en [, b] la serie de Fourier
yn () converge hacia () en los
n=1 yn , yn

+
(, b) en que es continua y hacia 2 ( )+ ( ) en los en que es discontinua.

Clasificacin y formas cannicas de EDPs de 2o orden

p C1 [, b] , q, r C[, b] , p, r > 0 en [, b] ,
[py ] qy + ry = 0
,
||+| | , ||+| | = 0 .
y() y () = y(b)+ y (b) = 0

p()y + g()y = ()
tiene 1 solucin si y slo si el homogneo
y() y () = y(b)+ y (b) = 0

(Ph ) tiene slo la solucin y 0 . Si (Ph ) tiene soluciones no triviales {yh } , (Pf ) tiene
b
infinitas soluciones o ninguna segn sea = 0 = 0 la integral: () yh () d .

Si (Ph ) tiene slo la solucin y 0 e y1 , y2 son soluciones no triviales de [py ]+gy = 0

cumpliendo y1 () y1 () = 0 , y2 (b)+ y2 (b) = 0 , la solucin de (Pf ) es:
y1 (s)y2 ()
, s
b
p|W|(y1 ,y2 )
, funcin de Green.
y() = G(, s) (s)ds , con G(, s) = y ()y (s)
1
2
, sb
p|W|(y ,y )
1

Separacin de variables para calor y ondas

.

t k = 0 , = XT

X +X = 0 , T +kT = 0

tt c2 = 0 , = XT

X +X = 0 ,

T +c2 T = 0

tt rr + nr r = 0 , = RT

rR +nR +rR = 0 , T +T = 0

Para problemas no homogneos se prueban desarrollos en autofunciones del homogneo.

Si las condiciones de contorno no son homognas hay que hacer un cambio de variable.

En particular (, t) = 1 L h0 (t)+ L hL (t) satisface (0, t) = h0 (t) , (L, t) = hL (t) .