Tema: Serie de Fourier y Transformada de Laplace

1
 Serie de Fourier generalizada

Supongamos que { ( x)} es un conjunto infinito ortogonal de funciones en

n

un intervalo [a,b]. Nos preguntamos: si y=f(x) es una función definida en el

intervalo [a,b], ¿será posible determinar un conjunto de coeficientes c , n  0, 1, n

2,..., para el cual

f ( x)  c0  0 ( x)    cn  n ( x)  ?

Como en la descripción anterior, cuando determinamos los componentes de

un vector, también podemos determinar los coeficientes c mediante el n

producto interno. Al multiplicar la ecuación anterior por  m ( x) e integrar en el

intervalo [a,b] se obtiene
b b b b


a
f ( x) m ( x)dx  co   0 ( x) m ( x)dx  c1  1 ( x) m ( x)dx    cn   n ( x) m ( x)dx  
a a a

 c0 ( 0 ,  m )  c1 (1 ,  m )    cn ( n ,  m )  

Debido a la ortogonalidad, cada término del lado derecho de la última

ecuación es cero, excepto cuando m=n. En este caso tendremos
b b

 f ( x ) n ( x )dx  cn   n ( x )dx.
2

a a

Entonces los coeficientes que buscamos son

b

 f ( x ) n ( x)dx
cn  a
b
, n  0,1,2, 

a
n ( x)dx

En otras palabras, f ( x)   cn  n ( x ), (1)

n0

b
 f ( x) n ( x ) dx
En la que cn  a

 n ( x)
2 (2)
La ecuación 2, en notación de producto interno ( o producto punto ), es
( f , ) 
f ( x)    ( x ). n

 ( x) n 0 n
2 (3)
n

2
El conjunto de funciones
 
1, cos x, cos
 p
2
p

x,..., sen x, sen
p
2
p
x, sen
3
p
x,...  (1)
es ortogonal en el intervalo [-p,p], supongamos que f es una función definida
en el intervalo [-p,p] que se puede desarrollar en la serie trigonométrica
a0 
n n
f ( x)    (an cos x  bn sen x). (2)
2 n 1 p p
Entonces, los coeficientes a , a , a ,..., b , b ... pueden determinar tal como
0 1 2 1 2

describimos para la serie de Fourier generalizada en la sección anterior.

Al integrar ambos lados de la ecuación (2), desde –p hasta p, se obtiene
a0 p 
n n
dx   (an  cos xdx).
p p p
 p
f ( x)dx 
2  p
n 1
 p p
xdx  bn  sen
 p p
(3)
Como cada función cos(nx / p) , sen(nx / p), n>1, es ortogonal
a 1 en el
intervalo, el lado derecho de (3) se reduce a un solo término y, en consecuencia,
a0 a0 p
x | p  pa0 .
p p
 p
f ( x)dx 
2 
p
dx 
2
Al despejar se obtiene a0
1 p

p (4)
a  f ( x) dx.
0 p

Ahora multipliquemos la ecuación (2) por cos( mx / p ) e integremos:

m a m 
m n m n
xdx   (an  cos xdx).
p p p p

p
f ( x) cos
p
xdx  0
2 
p
cos
p n 1
 p p
x cos
p
xdx  bn  cos
 p p
xsen
p
(5)
por la ortogonalidad tenemos que
m p
 cos p xdx  0, m  0
p

m n 0,mn
p cos p x cos p xdx {p,mn
p

p m n
y p
cos
p
xsen
p
xdx  0.

p n
Entonces la ecuación 5 se reduce a  p
f ( x) cos
p
xdx  an p

1 p n
Y así an 
p 
p
f ( x ) cos
p
xdx (6)

3
Por último si multiplicamos a (2) por sen(mx / p ) , integramos y aplicamos los
resultados
m
p
 sen p xdx  0, m  0
p

p m n
p
sen
p
x cos
p
xdx  0

m n 0, m  n
p sen p xsen p xdx {p,m  n,
p

1 p n
llegamos a bn 
p 
p
f ( x ) sen
p
xdx. (7)

La serie de Fourier de una función definida en el intervalo (-p,p) es

a0  n n
f ( x)    (an cos x  bn sen x) (8)
2 n 1 p p
1 p
p  p (9)
a0  f ( x) dx

1 p n
an   f ( x ) cos xdx (10)
p p p
1 p n
p  p (11)
bn  f ( x ) sen xdx
p

Series de Fourier de cosenos y de senos

Si f es una función par en (-p,p), entonces en vista de las propiedades
anteriores, los coeficientes de (9),(10) y (11) se transforman en
1 2 p p
a 
p  f ( x) dx 
0
p
f ( x ) dx
p 0

1 p n
an  
p p
f ( x ) cos
p
xdx

2

p
f ( x) cos
n
xdx
        p 0 p
par

1 p n
bn   f ( x ) sen x dx  0
p  p
      
p .
impar

En forma parecida, cuando f es impar en el intervalo (-p,p),

2 n p
a 0,
n n=0,1,2,..., b 
p  f ( x ) sen
p
xdx. n 0

4
 Resumiendo quedaría de la siguiente manera:

a) La serie de Fourier de una función par en el intervalo (-p,p) es la serie de

cosenos
a0  n
f ( x)    an cos x,
2 n 1 p
2 p
en que p 0
a0  f ( x ) dx

2 p n
a0   f ( x) sen dx
p 0 p
b) La serie de Fourier de una función impar en el intervalo (-p,p) es la serie
. de senos

n
f ( x)   b sen x, n
n 1 p
2 p n
en donde bn 
p  0
f ( x ) sen
p
xdx.

5
 Transformada de Laplace

Definición básica. Si f(t) está definida cuando t  0, la integral impropia


 K ( s, t ) f (t )dt se define como un límite:
0
 b
 0
K ( s, t ) f (t )dt  lim  K ( s, t ) f (t )dt
b  0

Si existe un límite se dice que la integral existe o que es convergente, si no

existe el límite, la integral no existe y se dice que es divergente. En general el
límite anterior existe sólo para ciertos valores de la variable s. La situación
 st
K ( s, t )  e proporciona una transformación lineal muy importante:
Sea f una función definida para t  0 . Entonces la integral

L { f (t )}  
o
e  st f (t ) dt

se llama transformada de Laplace de f, siempre y cuando la integral

converja.
Evaluar L{1}.
 b
Solución L {1}   e  st (1)dt  lim  e  st dt
o b  0

 e  st  sb
 lim |  lim  e
b
0
1

1
b  s b  s s
L L {f (t )}  g (t )}  L { f (t )}  L {g (t )}  F (s)  G(s). es una transformada lineal, para una suma
de funciones se puede escribir
  
 0
e  st [f (t )  g (t )]dt    e  st f (t ) dt    e  st g (t ) dt
0 0

siempre que las dos integrales converjan; por consiguiente,

L{f (t)}  g(t)}  L{ f (t)}  L{g (t)}  F (s)  G(s).
Se dice que L es una transformada lineal debido a la propiedad señalada en la
función anterior
Condiciones suficientes para la existencia
Si f (t) es continua por tramos en el intervalo [0, ) y de orden exponencial c
para t>T, entonces L {f(t)} existe para s>c.
t 
Demostración L { f (t )}   e f (t )dt   e f (t )dt  I  I .
0
 st
t
 st
1 2

La integral I1 existe, porque se puede expresar como una suma de integrales

sobre intervalos en que e f (t ) es continua. Ahora
 st

 
I2  T
e  st f (t ) dt  M  T
e  st e ct dt

6
  e  ( s c )t e  ( s c )t
 M  e ( s  c ) t dt   M 
T M
T sc sc
 
cuando s>c. Como  Me dt converge, la integral  e
T
( s c ) t
f (t ) dt converge, de
T
 st

acuerdo con la prueba de comparación para integrales impropias. Esto a su vez,

implica que I 2 existe para s>c. La existencia de I1 e I 2 implica que

L { f (t )}   e f (t ) dt existe cuando s>c.
 st
0

Transformadas de algunas funciones básicas

1 n!
a) L {1} 
s
b) L {t n } 
s n 1
,.n  1,2,3,...
1 k
c) L {e at } 
sa
d) L {senkt}  2
s  k2
s k
e) L {cos kt} 
s  k2 2 f) L {senhkt}  2
s  k2
s
g) L {cosh kt}  2
s  k2

Transformada inversa
Se dice que f(t) es la transformada inversa de Laplace de F(s) y se expresa:
f (t )  L-1 {F ( S )}.

Algunas transformadas inversas

1  n! 
a) 1  L- 1   b) t n  L- 1  n 1 ,.n  1,2,3,...
s s 
 1   k 
c) e at  L- 1   d) senkt  L- 1  2 2
s  a s  k 
 s   k 
e) cos kt  L- 1  2 2 f) senhkt  L- 1  2 2
s  k  s  k 
 s 
g) cosh kt  L- 1  2 2
s  k 
L-1 es una transformada lineal. Suponemos que la transformada inversa de
Laplace es, en sí, una transformación lineal; esto es, si  y  son constantes,
L-1 {F ( s )  G ( s )}  L-1 {F ( s )}  L-1 {G ( s )},

en donde F y G son las transformadas de las funciones f y g.

La transformada inversa de Laplace de una función F(s) puede no ser única. Es
posible que L { f 2 (t )}  L { f 2 (t )} y, sin embargo, f1  f 2 .
Comportamiento de F(s) cuando s  
Si f(t) es continua por tramos en [0, ) y de orden exponencial para t>T,
entonces lim L {f(t)}0.
s 
7
Demostración Dado que f(t) es continua parte por parte en
0tT , necesariamente es acotada en el intervalo; o sea
f (t ) M 1  M 1e 0t . También f (t )  M 2et cuando t>T. Si M
representa el máximo de {M 1, M 2} y c indica el máximo de {0, } ,
entonces


 e  st   st ct e  ( s  c)t
L { f (t )} 0 f (t ) dt  M 0 e e dt  M 
s c 0

para s>c. Cuando s   , se tiene que L { f (t )}0 , de modo que

L{ f (t )}0 .
Teoremas de traslación
Primer teorema de traslación
Si F(s)=L{f(t)} y a es cualquier número real,
L{e at f (t )} F (s  a).
Demostración La demostración es inmediata

L{e at f (t )} 0 e  st e at f (t )dt  0 e (s  a)t f (t )dt  F (s  a).

Segundo teorema de traslación
Si F (s)  L { f (t )} y a>0, entonces

L { f (t  a)U(t  a)}e  as F (s).

 st
Demostración Expresamos a   e f (t  a)U(t  a)}dt. como la suma de dos
0
integrales:

8
L{ f (t  a)U(t  a)} 0ae  st f (t  a) U
 (t a) dt 
cero cuando
0t  a
a  st
 0 e f (t  a)dt .
Ahora igualamos v=t-a,dv=dt y entonces

L{ f (t  a)U(t  a)} 0 e  s(v  a) f (v)dv

e as 0 e  sv f (v)dv e as L{ f (t )}

Derivadas de transformadas
Si F (s)  L { f (t )} y n=1,2,3,..., entonces
n
d
L{t n f (t )}(1) n n F (s).
ds
Transformada de una derivada
f (n1) (t ) son continuas en [0,) , son de orden
Si f(t), f’(t),...,
exponencial, y si f (n) (t ) es continua parte por parte [0,) , entonces

L{ f (n) (t )} s n F (s)  s n 1 f (0)  s n  2 f '(0)  f (n 1) (0),

en donde F (s)  L{ f (t )}.

9
Teorema de la convolución
Si f(t) y g(t)son continuas por tramos en [0,) y de orden exponencial,
L{ f  g} L{ f (t )}L{g (t )} F (s)G(s).
Demostración Sean F (s)  L{ f (t )}  0 e  st f ( )d
 s
Y G(s)  L{g (t )}  0 e g (  )d .

  
Al proceder formalmente obtenemos
  st   s
F (s)G(s) 0 e f ( )d 0 e g ( )d
 0 0 e  s(   ) f ( ) g (  )dd
 0 f ( )d 0 e  s(   ) g (  )d
Mantenemos fija  y escribimos t    ,dt d , de modo que
F (s)G(s)  0 f ( )d  e  st g (t  )dt.
Transformada de una función periódica
Si f(t) es continua por tramos en [0,) , de orden exponencial y periódica
con periodo T,
1 T  st
L{ f (t )}  sT 0
e f (t )dt.
1e
(a)
Demostración Expresamos la transformada de Laplace como dos integrales:

L{ f (t )} 0T e  st f (t )dt  Te  st f (t )dt.

(b)
Escribiendo t=u+T, la última de las integrales de (a) se transforma en

10
   st
T e f (t )dt  0 e  s(u T ) f (u T )du e  st 0 e  su f (u)du e  s
Por consiguiente, la ecuación (b) es

L{ f (t )} 0T e st f (t )dt e  sT L{ f (t )}.

Al despejar L{ f (t )} se llega al resultado de la ecuación (a).

11