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 6= 0, se introduce una nueva variable , de forma que (x, y) = cte defina (implcitamente) una soluci
on de la EDO caracterstica
dy
b(x, y)
=
dx
a(x, y)

(2)

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 coeficientes 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 6= 0, las EDO caractersticas 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 Elptico: b2 4ac < 0. Aqu, 1 y 2 son complejos, por lo que consideramos
(x, y) = y Re(1 )x,

(x, y) = Im(1 )x.

Caso Parab
olico: b2 4ac = 0. Ahora, 1 = 2 , por lo que usamos las variables
(x, y) = y 1 x, (x, y) = x.
Tambien puede servir cualquier otra independiente de .
En los tres casos, consideramos la nueva funcion 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 clasificaci
on. Dada la EDP (3), existen cambios de variable y de funcion
inc
ognita que la transforman en una de las siguientes formas canonicas:
Caso Hiperb
olico: w (, ) + f w(, ) = F (, ).
Caso Elptico: w (, ) + w (, ) + f w(, ) = F (, ).
En el Caso Parab
olico, hay dos posibilidades:
w (, ) + d w (, ) = F (, )

(caso no degenerado, si d =
6 0)

w (, ) + f w(, ) = F (, )

(caso degenerado )

f son constantes.
donde d,
La Serie de Fourier asociada a una funcion f definida en [L, L] viene dada por

 nx 
 nx 
a0 X 
+
an cos
+ bn sin
,
2
L
L
n=1
an =

1
L

f (x) cos
L

 nx 
L

1
L

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

donde

f (x) sin
L

 nx 
L

dx, n = 1, 2, . . .

Teorema.- Supuesto que f es una funcion C 1 a trozos en [L, L], se verifica

 nx 
 nx  f (x+ ) + f (x )
a0 X 
+
an cos
+ bn sin
=
x (L, L)
2
L
L
2
n=1

a2 X 2
1
Identidad de Parseval. 0 +
an + b2n =
2
L
n=1

f 2 (x)dx.

Funci
on
f (x)
e|x|

Transformada de Fourier
R +
F(f )() = f (x)eix dx

x2

2
2 +1
2 /4

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

1
|| F[f (x)]( )
F(f )() F(g)()

1
x2 +1
0

f (x)
xf (x)
f (x )
eix f (x)
f (x), 6= 0
(f ? g)(x)
R +
R +
F(f ) existe al menos si |f (x)|dx < +. Se define (f ? g)(x) = f (x y)g(y)dy.
Z +
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 0 (t)
t
e 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
R +
L(f )(s) = 0 f (t)est dt
n!
sn+1

(s)2 + 2
s
(s)2 + 2

sL(f )(s) f (0)

L[f (t)](s )
1
s
L[f (t)]( )
L(f )(s) L(g)(s)
n
(t)](s)
(1)nRd L[f
dsn
w
1
st
f (t)dt
1esw 0 e
as
e L[f (t)](s)

a>0

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

et tz1 dt. Se cumple (z + 1) =

 

1
z(z), por lo que (n + 1) = n! para cada n IN. Ademas,
= . Dado z < 0,
2
(z + 1)
z 6= 1, 2, 3, . . ., se definen (z) =
y z! = (z + 1).
z
Z 1
(z)(w)
Funci
on Beta. Dados z, w > 0, B(z, w) =
tz1 (1 t)w1 dt =
.
(z + w)
0
Funciones de Bessel. Dado 0, se define
 2k+

X
(1)k
t
J (t) =
, t > 0.
k!(k + + 1) 2
Funci
on Gamma. Dado z > 0, se define (z) =

k=0

Es soluci
on de la EDO t2 x00 (t) + tx0 (t) + (t2 2 )x(t) = 0. Se cumplen las relaciones
J00 (t) = J1 (t) y (tn Jn (t))0 = 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 verifica
Z 1
2
x(t)Jn (k t)tdt

x(t+ ) + x(t ) X
=
k Jn (k t) t (0, 1), con k = 0
k = 1, 2, 3, . . .
2
(Jn+1 (k ))2
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