4

Separacin de variables.
t k = 0 , = XT

tt

X ## +X = 0 , T # +kT = 0

Repaso de EDOs
c2

= 0 ,

= XT

+yy = 0 , = XT

rr + 1r r + r12 = 0 , = R

## + = 0
r 2 R## +rR# R = 0

Algunas EDOs de primer orden

X ## +X = 0 , Y ## Y = 0

X ## +X = 0 , T ## +c2 T = 0

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

r 2 R## +2rR# R = 0

## + = 0 ,

,
$
"# #
t=cos

sen # + sen sen = 0

$
#
$ #

d
d
2
[1t ] dt + 1t 2 = 0 ( = 0 si no depende de ).
dt

(, t) =
Si G()

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

'
1
1&
(+ct) + (ct) + 2c
2

)
1
g,
2c 0

1
()G()
2

+ct
ct

es:

g(s) ds +

viaja hacia la derecha y

1
2c

( t(

+c[t]

=r

y ## +()y # +b()y = ()
, b , continuas en .

0 c[t]

1
()+G()
2

hacia la izquierda.

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

Coeficientes constantes:

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

EDOs importantes resolubles utilizando series:

La transformada de () absolutamente integrable es (k) F ( )(k)

Si

y absolutamente integrable, () =

(k) e

1
'
2

() e

d .

dk R .

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

Si ( g)() =

1
'
2

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

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

La solucin nica de

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

4
y2 4
4
y2# 4

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 .

Transformada de Fourier

1
'
2

y1#

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

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

C1 (R)

4
4y 1

|W|() = 44

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].
iv] Una solucin particular de [n] es: yp = y2 |W|

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

'
&
tt c2 +yy +zz = 0
(, y, z, t) =

/ ) 2)
0
(, y, z, 0) = (, y, z)
) 2)

t
t
t 4 0 0 (, , ) sen d d + 4 0 0 g(, , ) sen d d ,

(,
y,
z,
0)
=
g(,
y,
z)
t
(, , ) = (+ct sen cos , y+ct sen sen , z+ct cos ) .
t R , (, y, z) R3

&
'
1 ( 2( ct
3
( 2( ct
2
r (, ) drd
r g(, ) drd

1
tt c +yy = 0 , t R
(, y, t) = 2c
+
,
2
2
t
2
2
2
2
2
2
2
(, y, 0) = (, y) , (, y) R
0 0
0 0
c t r
c t r

(, ) = (+r cos , y+r sen ) .

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

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 .

F(s, ) ds d

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

&
'
(, t) = 1 L h0 (t)+ L hL (t) satisface (0, t) = h0 (t) , (L, t) = hL (t) .
&
'
tt c2 rr + 2r r = 0 , r 0, t R

[n]

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

* 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

= (, y) resolubles

[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 .
EDOs lineales de segundo orden

Ecuacin de ondas
La solucin nica de

dy
d

(, t) =

1
'
2 t

2
(s) e(s) / 4t

ds .

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
!
"
2
##
#
Una yp de 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

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
.
/
0
m
m/ 2 d
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 ()

& 'p 5

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 .
/
0

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

Recurrencia: Jp+1 =

2p
J
p

Jp1 . Derivadas:

&

p Jp ()

'#

= p Jp1 () , J#0 () = 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
=

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 .

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 .

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

, y
5
n

yn () converge hacia () en los

Si es C1 a trozos en [, b] la serie de Fourier
n=1 yn , yn
'
1&

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

Clasificacin y formas cannicas de EDPs de 2o orden

Ayy + By + C + Dy + E + F = G
%

&
5
'

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

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

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)

con: n = 1L

H:

=
=

B
B+

'

'

B2 4AC
2A

B2 4AC
2A

[Cambios del tipo =

P:

epy eq

=
=y

B
2A

E:

c.contorno
n
yn , yn , yn

2ABy
= '
2

=y

4ACB

sh =

e e
2

, cos2 =

, ch =

1
+ cos22
2

e +e
2

, th =

, sen3 =

(Pf )

suprimen derivadas de menor orden].

sh
ch

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

3 sen
sen43
4
sh x

, cos3 =
ch x

3 cos
+ cos43
4

th x

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

y ## +y = 0

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

y # (0) = y # (L) = 0

y(0) = y # (L) = 0

[2n1]2 2
, n = 1, 2, ...
22 L2
8
[2n1] 9 L
sen
, 2
2L

n2 2
, n = 0, 1, ...
L2
8
9
cos n
, L 2L
L
(n=0)

y # (0) = y(L) = 0

[2n1]2 2
, n = 1, 2, ...
22 L2
8
[2n1] 9 L
cos
, 2
2L

*&

'#
(12 )y # + y = 0
y acotada en = 1
8
9
Pn () de Legendre

*&

Algunas propiedades de funciones trigonomtricas e hiperblicas:

&
'
sen sen b = 21 cos(b)cos(+b)
'
sen ( b) = sen cos b cos sen b
1&
cos cos b = 2 cos(+b)+cos(b)
cos ( b) = cos cos b sen sen b
&
'
sen cos b = 12 sen(+b)+sen(b)
1
cos22
2

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

Problemas singulares conocidos:

%
%
y ## + y # + y = 0
y ## + 2y # + y = 0
y acotada en = 0, y(1) = 0
y acotada en = 0, y(1) = 0
8 sen n 9
'
8
9
= y
s
=
J0 (n ) , J0 (n ) = 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 .

Tienen solucin nica:

%
%
= F en D acotado
t k = F(, t), (0, L), t > 0
[Si F 0 mximo y
,
mnimo se dan en D ].
= en D
(, 0) = (), c.contorno fsicas
%
))
7
= F en D
Tiene unicidad salvo constante
si se cumple D F ddy = D ds .
n = en D

sen2 =

Problemas conocidos para

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

= (, y)
(, y) = K
dy
2A
%
d
B
= (, y)
+ = G
P:
=
(, y) = K ;
= y ( = )
dy
2A
2
%
d
B 4ACB2
= (, y)
E:
=
(, y) (, y) = K ;
+ + = G
= (, y)
dy
2A
Si A , B , C
constantes:

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.

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

B2 4AC

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

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 )
y() = G(, s) (s)ds , con G(, s) = y ()y (s)
, funcin de Green.
1
2
, sb
p|W|(y ,y )
1

Funciones de Green para Laplace

%
%
= F en D
G = (, y) en D
(PD )
. Si G(, y; , ) satisface
, para (, y) D
= en D
G = 0 en D
y vista como funcin de (, ) , se le llama funcin de Green y la solucin de (PD ) es:
))
7
(, y) = D G(, y; , ) F(, ) dd + D Gn (, y; , ) (, ) ds .

2 2
&
' 1
&
'
= F(r, ) , r < R
1
G(r,;,) = 4
ln 2 +r 2 2r cos() 4
ln R2 + r R2 2r cos()
(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