EDP lineales de primer orden.

a(x, y ) ux (x, y ) + b(x, y ) uy (x, y ) + c(x, y ) u(x, y ) = f (x, y ) (1)

Si a = 0, se introduce una nueva variable , de forma que (x, y ) = cte dena (impl citamente) una soluci on de la EDO caracter stica dy b(x, y ) = dx a(x, y ) y la nueva funci on inc ognita v (, y ) = u(x, y ) ( o v (, x) = u(x, y ), seg un convenga). EDP lineales de segundo orden con coecientes constantes. a uxx (x, y ) + b uxy (x, y ) + c uyy (x, y ) + d ux (x, y ) + e uy (x, y ) + f u(x, y ) = F (x, y ) (3) donde a, b, c, d, e, f IR. En este caso, si a = 0, las EDO caracter sticas vienen dadas por dy b b2 4ac = . (4) dx 2a Llamaremos 1 y 2 a los valores obtenidos en (4). Caso Hiperb olico: b2 4ac > 0. Como 1 y 2 son reales, consideramos las nuevas variables (x, y ) = y 1 x, (x, y ) = y 2 x. Caso El ptico: b2 4ac < 0. Aqu , 1 y 2 son complejos, por lo que consideramos (x, y ) = y Re(1 )x, (x, y ) = Im(1 )x. (2)

Caso Parab olico: b2 4ac = 0. Ahora, 1 = 2 , por lo que usamos las variables (x, y ) = y 1 x, (x, y ) = x. Tambi en puede servir cualquier otra independiente de . En los tres casos, consideramos la nueva funci on v (, ) = u(x, y ). En la segunda fase, para eliminar las derivadas parciales de primer orden que sea posible, consideramos el cambio de funci on w(, ) = v (, ) exp (k + h ) con k y h constantes por determinar. Teorema de clasicaci on. Dada la EDP (3), existen cambios de variable y de funci on inc ognita que la transforman en una de las siguientes formas can onicas: w(, ) = F (, ). Caso Hiperb olico: w (, ) + f w(, ) = F (, ). Caso El ptico: w (, ) + w (, ) + f En el Caso Parab olico, hay dos posibilidades: w (, ) = F (, ) w (, ) + d = 0 ) (caso no degenerado, si d (caso degenerado )

w(, ) = F (, ) w (, ) + f f son constantes. donde d,

La Serie de Fourier asociada a una funci on f denida en [L, L] viene dada por a0 nx nx + an cos + bn sin 2 L L n=1 an = 1 L
L

,
L

donde nx dx, n = 1, 2, . . . L

f (x) cos
L

nx 1 dx, n = 0, 1, 2, . . . , bn = L L
1

f (x) sin
L

Teorema.- Supuesto que f es una funci on C a trozos en [L, L], se verica a0 nx nx + an cos + bn sin 2 L L n=1

f (x+ ) + f (x ) x (L, L) 2
L

Identidad de Parseval.

a2 1 0 2 + a2 n + bn = 2 L n=1

f 2 (x)dx.
L

Funci on f (x) e|x| ex

2

Transformada de Fourier F (f )( ) =
+ f (x)eix dx 2 2 +1 2 / 4

1 x2 +1

f (x) xf (x) f (x ) eix f (x) f (x), = 0 (f g )(x) F (f ) existe al menos si

+

e e|| i F (f )( ) f )( ) i dF (d ei F [f (x)]( ) F [f (x)]( ) 1 || F [f (x)]( ) F (f )( ) F (g )( )

|f (x)|dx < +. Se dene (f g )(x) = f (x y )g (y )dy. + 1 g ( )eix d. Por el teorema de La transformada inversa de Fourier F 1 (g )(x) = 2 inversi on f (x+ ) + f (x ) F 1 (F (f )( ))(x) = , x IR. 2 Funci on f (t) tn t e sin (t) et cos (t) f (t) et f (t) f (t), > 0 (f g )(t) tn f (t) f (t), wperi odica g (t) = 0 si t a y g (t) = f (t a) si t > a, Transformada de Laplace L(f )(s) =
+ f (t)est dt 0 n! sn+1 (s)2 + 2 s (s)2 + 2

a>0

sL(f )(s) f (0) L[f (t)](s ) 1 s L[f (t)]( ) L(f )(s) L(g )(s) n f (t)](s) (1)n d L[ds n w 1 st f (t)dt 1esw 0 e eas L[f (t)](s)

L(f ) existe al menos si f (t) es continua a trozos en cualquier intervalo [0, T ] y de orden t exponencial. Se dene (f g )(t) = 0 f (t y )g (y )dy. No se detallan las hip otesis necesarias para que se verique cada una de las propiedades anteriores, pero hay que tenerlas en cuenta.

Funci on Gamma. Dado z > 0, se dene (z ) =

0

et tz1 dt. Se cumple (z + 1) = 1 2 = . Dado z < 0,

z (z ), por lo que (n + 1) = n! para cada n IN. Adem as, z = 1, 2, 3, . . ., se denen (z ) = (z + 1) y z ! = (z + 1). z

1

Funci on Beta. Dados z, w > 0, B (z, w) = Funciones de Bessel. Dado 0, se dene

0

tz1 (1 t)w1 dt =
2k+

(z )(w) . (z + w)

J (t) =
k=0

(1)k k !(k + + 1)

t 2

, t > 0.

Es soluci on de la EDO t2 x (t) + tx (t) + (t2 2 )x(t) = 0. Se cumplen las relaciones J0 (t) = J1 (t) y (tn Jn (t)) = tn Jn1 (t) para n = 0, 1, 2, . . . Series de Fourier-Bessel. Fijado n IN {0} y {k }kIN los ceros de Jn (t) en (0, +), dada x una funci on C 1 a trozos en [0, 1], se verica
1

x(t ) + x(t ) = 2

2 k Jn (k t) t (0, 1), con k =

0

x(t)Jn (k t)tdt (Jn+1 (k ))2 k = 1, 2, 3, . . .

k=1

Polinomios de Legendre. P0 (t) = 1, P1 (t) = t, P2 (t) = 3t2 1 5t3 3t 35t4 30t2 + 3 , P3 (t) = , P4 (t) = , ... 2 2 8