12/07/2019

Contenidos
• 4.1 Definición de la transformada de Laplace
4. Transformada de Laplace • 4.2 Transformadas inversas y transformadas
y Series de Fourier de derivadas
• 4.3 Propiedades operacionales
• 4.4 Propiedades operacionales adicionales
• 4.5 La función delta de Dirac
• 4.6 Sistemas de ecuaciones diferenciales
lineales

4.1 Definición de la Transformada de

Ejemplo 1
Laplace
• Definición básica Evaluar L{1}
Si f(t) está

definida para bt  0, entonces Solución:
0 K ( s, t ) f (t )dt  lim  K ( s, t ) f (t )dt Aquí tenemos en cuenta que los límites de
integración son 0 y .
0
b
(1) De la definición
DEFINICIÓN 4.1  b
L (1)   e st (1)dt  lim  e  st dt
Transformada de Laplace 0 b 0

Si f(t) está definida para t  0, entonces  e  st

b
 e sb  1 1

L { f (t )}   e  st f (t )dt (2)  lim  lim 
0 b s b s s
0
Como e-st  0 cuando t , para s > 0.
es la Transformada de Laplace de f.

1
 12/07/2019

Ejemplo 2 Ejemplo 3
Evaluar L{t} Evaluar L{e-3t}
Solución  te st

1   st
Solución
s 0
L {t}   e dt  
L {e 3t }   e  st e 3t d t   e ( s 3)t dt
s 0 0 0

 L{1}     2
1 1 1 1  e ( s 3) t

s ss s s3 0

1
 , s  3
s3

Ejemplo 4 Ejemplo 4 (2)

lim e  st cos 2t  0 , s  0 Transformada de Laplace
t 
Evaluar L{sin 2t} de sin 2t
 ↓

Solución 2   est cos 2t 2  st 
     e sin 2t dt 
L {sin2t}   e  st sin 2t dt s

s 0
s 0

0

 e  st sin 2t 2  2 4
  L{sin 2t}
   e  st cos 2t dt s2 s2
s 0
s 0
2  2
  est cos 2t dt , s  0 L {sin 2t}  2 ,s0
s 0 s 4

2
 12/07/2019

T.L. es Lineal
TEOREMA 4.1
Transformadas de algunas
• Podemos comprobar fácilmente que Funciones básicas
(a) 1
L { f (t )   g (t )} L {1} 
s
 L { f (t )}  L {g (t )} n! 1
(3) (b)
L {t n }  n1 , n  1, 2, 3,  (c) L {eat } 
  F ( s)  G ( s) s sa

k s
(d) L {sin kt}  (e) L {cos kt} 
s  k2
2 s2  k 2
s
k L {cosh kt}  2
(f) L {sin kt )  (g)
s  k2
s2  k 2

Fig 4.1
DEFINICIÓN 4.2
Orden Exponencial

Se dice que f(t) es de orden exponencial,

Si existen constantes c, M > 0, y T > 0, tales que
|f(t)|  Mect para todo t > T. Fig 4.1, 4.2.

3
 12/07/2019

Fig 4.2 Eejmplos Fig 4.3

tn
|t | e t
| 2 cos t |  2et  M, t T
ect

Fig 4.4
TEOREMA 4.2
2 Condiciones Suficientes
• Una función como et no es de orden para la Existencia
exponencial, observe Fig 4.4 Si f(t) una función continua por partes en [0, ) y de
orden exponencial c, entonces existe L{f(t)} para s > c.

4
 12/07/2019

4.2 Transformadas inversas y Transformadas de

Ejemplo 5 derivadas
TEOREMA 4.3
Algunas transformadas inversas
Hallar L{f(t)} para
1  L 1 
1
0 , 0  t  3 (a)
f (t )   s 
2 , t  3
eat  L 1
1 
t n  L 1 n1  , n  1, 2, 3, 
n!
(b) (c) 
Solución s  s  a 
3 
L { f (t )}   est 0dt   est 3dt
sin kt  L 1 2
k 
cos kt  L 1 2
s 
2 2
0 3 (d) (e)
2e st
2e 3 s s  k  s  k 

 3  ,s  0
sinh kt  L 1 2
s s k 
cosh kt  L 1 2
s 
2 2
(f) (g)
s  k  s  k 

Ejemplo 1 L -1 también es lineal

Hallar las transformadas inversas de • Podemso comprobar fácilmente que
L 1{F ( s )  G ( s )}
 1 
1
(a) L  15  (b) L 1 2   L 1{F ( s )}  L 1{G ( s )} (1)
s  s  7

Solución
(a) L 1 15   1 L 1 45!   1 t 4
s  4! s  24
1  1 1 7  1
(b) L 1
 2  L  2  sin 7t
s  7 7 s  7 7

5
 12/07/2019

Ejemplo 2 Ejemplo 3
 2s  6  1  s  6s  9
2

Hallar L 1  Hallar L  
 s 4 
2 ( s  1)( s  2)( s  4) 
Solución
Solución Usando fracciones parciales
s 2  6s  9 A B C
1  2 s
 6 1  2 s 6    
L  2 L  2   ( s  1)(s  2)(s  4) s 1 s  2 s  4
 s 4  s  4 s2  4
s  6 1 2  (2) Luego
 2 L 1 2  L  2  s 2  6s  9
  4 2
s s  4 (3)
 2 cos 2t  3sin 2t  A( s  2)( s  4)  B( s  1)( s  4)  C ( s  1)( s  2)
Si ponemos s = 1, 2, −4, entonces

Ejemplo 3 (2) Transformadas de Derivadas

• L { f (t )}
A  16/5, B  25/6, c  1/30 (4)   
  est f (t )dt est f (t )  s  est f (t )dt
0 0 0
Así   f (0)  sL { f (t )}
 s 2  6s  9 
L 1  L { f (t )}  sF ( s )  f (0) (6)
 ( s  1)( s  2)( s  4) 
• L { f (t )}
16 1 1  25 1 1  1 1 1    
 L   L   L     est f (t )dt  est f (t )  s  est f (t )dt
5  s  1 6  s  2  30 s  4 0 0 0
  f (0)  sL { f (t )}
16 t 25 2t 1 4t  s[ sF ( s)  f (0)]  f (0)
 e  e  e (5)
5 6 30 L { f (t )}  s 2 F ( s )  sf (0)  f (0) (7)
L { f (t )}  s 3 F ( s )  s 2 f (0)  sf (0)  f (0) (8)

6
 12/07/2019

Solución de EDO lineales

TEOREMA 4.4
Transformada de una derivada
n
d y d n1 y
Si f , f ' ,  , f ( n1)
son continuas en [0, ) y son de • an dt n  an1 dt n1    a0 y  g (t )
orden exponencial y si f(n)(t) es continua por partes en y (0)  y0 , y(0)  y1 , y ( n1) (0)  yn1
[0, ), entonces Luego
L { f ( n ) (t )} d n y   d n1 y 
an L  n   an1L  n1     a0 L { y}  L {g (t )}
n1
 s F ( s)  s f (0)  s
n n2
f (0)    f ( n 1)
(0)  dt   dt  (9)
n1 ( n1)
donde F ( s)  L { f (t )}. an [ s Y ( s)  s
n
y (0)    y (0)]
n 1 n2
 an1[ s Y ( s )  s y (0)    y ( n2) (0)]
   a0Y ( s ) (10)
 G(s)

Tenemos Find unknown Transformed DE

P( s)Y ( s)  Q( s)  G( s) y (t ) that satisfies Apply Laplace becomes an
a DE and Initial transform L algebraic equation
Q( s ) G ( s ) In Y (s )
Y ( s)   (11) condition
P( s) P( s)
donde P( s)  an s n  an1s n1    a0

Solution y (t ) of Apply Inverse Solve transformed

original IVP transform L 1 equation for Y (s )

7
 12/07/2019

Ejemplo 4 Ejemplo 4 (2)

6s 2  50 A Bs  C
Resolver
dy
 3 y  13sin 2t , y (0)  6  
dt ( s  3)( s 2  4) s  3 s 2  4
Solución
6s 2  50  A( s 2  4)  ( Bs  C )
L    3L { y}  13L {sin 2t}
dy
 dt  (12)
Podemos hallar A = 8, B = −2, C = 6
26
sY ( s)  6  3Y ( s)  2 Así 6s 2  50 8  2s  6
s 4 Y ( s)   
26 ( s  3)( s 2  4) s3 s2  4
( s  3)Y ( s)  6  2
y (t )  8L 1
s 4 1  1 s  1 2 
  2L  2   3L  2 
6 26 6s 2  50  s  3 s  4 s  4
Y ( s)    (13)
s  3 ( s  3)( s  4) ( s  3)( s 2  4)
2
y (t )  8e 3t  2 cos 2t  3 sin 2t

Ejemplo 5 4.3 Propiedades operacionales

Resolver y"3 y'2 y  e4t , y(0)  1, y' (0)  5 TEOREMA 4.5
Comportamiento de F(s) cuando s → 
Solución L  d y   3L  dy   2L { y}  L {e4t } Si f continua por partes en [0, ) y de
2
 2  
 dt   dt  orden exponencial, entonces lims L{f} = 0.
1
s 2Y ( s)  sy (0)  y(0)  3[ sY ( s)  y (0)]  2Y ( s) 
s4
( s 2  3s  2)Y ( s)  s  2 
1 Demostración

s4 L { f }   est | f (t ) | dt
0
s2 s 2  6s  9
e ( s c ) t
1
Y ( s)    (14) 
s 2  3s  2 ( s 2  3s  2)( s  4) ( s  1)( s  2)( s  4)  M  est ect dt   M 
sc
0 0

16 t 25 2t 1 4t M
Así y (t )  L 1{Y ( s )}   e  e  e  s  0
5 6 30 sc

8
 12/07/2019

Fig 4.10
TEOREMA 4.6
Primer teorema de traslación
Si L{f} = F(s) y a cualquier número real, entonces
L{eatf(t)} = F(s – a), Fig 4.10.

Demostración
L{eatf(t)} =  e-steatf(t)dt
=  e-(s-a)tf(t)dt = F(s – a)

L {e at f (t )}  L{ f (t )}s s a

Ejemplo 1 Forma inversa del Teorema 4.6

Hallar las T.L. de • L 1{F ( s  a)}  L 1{F ( s) ssa }  eat f (t ) (1)
(a) L {e5t t 3} (b) L {e2t cos 4t}
Solución donde f (t )  L 1{F ( s)}.

(a) L {e5t t 3}  L {t 3}ss5  34! 

6
s s s 5 ( s  5) 4
(b) L {e2t cos 4t}  L {cos 4t}ss( 2)
s s2
 
s 2  16 ss 2 ( s  2) 2  16

9
 12/07/2019

Ejemplo 2 Ejemplo 2 (2)

Hallar la T.L. inversa de
s/2  5/3  Y
(a) L 1 2s  52  (b) L 1 2 
( s  3)   s  4s  6   2s  5  1 1 
 2L 1
1 
Solución L 1 2   11L  2
(3)
( s  3)   s  3 ( s  3) 
(a) 2s  5 A B
  De (3), tenemos
( s  3)2 s  3 ( s  3)2
2s  5  A( s  3)  B  2s  5 
teenmos A = 2, B = 11 L 1 2
 2e3t  11e3t t (4)
( s  3) 
2s  5 2 11
  (2)
( s  3)2 s  3 ( s  3)2

Ejemplo 2 (3) Ejemplo 3

s / 2  5/3 s / 2  5/3 Resolver y"6 y'9 y  t e , y(0)  2 , y' (0)  6
2 3t
(b) 
s 2  4s  6 ( s  2) 2  2 (5) Solución
2
s / 2  5/3  s 2Y ( s)  sy(0)  y(0)  6[ sY ( s)  y(0)]  9Y ( s) 
L 1 2  ( s  3)3
 s  4s  6 
2
1  s  2  2 1 1  ( s 2  6s  9)Y ( s)  2s  5 
 L 1  L   ( s  3)3
( s  2)  2  3 ( s  2)  2 
2 2
2 2
( s  3)2 Y ( s)  2s  5 
1  s  2  2  ( s  3)3
 L 1 2  L 1 2  (6)
2  s  2 s s  2  3 2  s  2 s s  2  2s  5 2
Y (s)  
1 2 2t ( s  3) 2 ( s  3)5
 e2t cos 2t  e sin 2t (7)
2 3

10
 12/07/2019

Ejemplo 3 (2) Ejemplo 4

2 11 2 Resolver y"4 y'6 y  1  et , y(0)  0 , y' (0)  0
Y ( s)   
y (t ) s  3 ( s  3) 2 ( s  3)5 Solución
1 1
s 2Y ( s)  sy(0)  y(0)  4[ sY ( s)  y (0)]  6Y ( s)  
 1 
1 1 1  2 1 4!  s s 1
 2L    11L  2
 L  5
(8)
 s  3 2s  1
 ( s  3)  4!  ( s  3)  ( s 2  4s  6)Y ( s) 
s ( s  1)
1  1 4!  4 3t 2s  1
L 1 2   te , L  5
3t
t e Y (s) 
 ss 3 
s  ss 3 
s s( s  1)( s 2  4s  6)
1 4 3t 1/ 6 1/ 3 s / 2  5 / 3
y (t )  2e3t  11te3t  t e Y ( s)   
12 s s  1 s 2  4s  6

Ejemplo 4 (2)
DEFINICIÓN 4.3
Y ( s )  L 1
1 1  1 1 1  Función escalón unitario
  L  
6 s  3  s  1
La función escalón unitaria U(t – a) se define como
1  s2  2  2 
 L 1  L 1 
2  ( s  2) 2
 2  3 2  ( s  2) 2
 2  0 , 0  t  a
U (t  a )  
1 , ta
1 1 1 2
  et  e2t cos 2t  e2t sin 2t
6 3 2 3 Fig 4.11.

11
 12/07/2019

Fig 4.11 Fig 4.12 Fig 4.13

• Fig 4.12 muestra la gráfica de (2t – 3)U(t – 1).
Considerando la Fig 4.13, es la misma que
f(t) = 2 – 3U(t – 2) + U(t – 3)

También una función del tipo Ejemplo 5

 g (t ), 0  t  a
f (t )   20t , 0  t  5
 h(t ), ta (9) Expresar f (t )  
es la misma que 0 , t  5
f (t )  g (t )  g (t )U(t  a)  h(t )U(t  a) (10) en términos de U(t). Fig 4.14.
De manera similar, una función del tipo
0, 0t a Solución
 (11) De (9) y (10), con a = 5, g(t) = 20t, h(t) = 0
f (t )   g (t ), a  t  b
0, t b

puede escribirse como f(t) = 20t – 20tU(t – 5)
f (t )  g (t )[ U (t  a)  U (t  b)] (12)

12
 12/07/2019

Fig 4.14
• Considere la función
0, 0t a
f (t  a) U (t  a)   (13)
 f (t  a ), ta

Fig 4.15.

Fig 4.15
TEOREMA 4.7
Segundo teorema de traslación
Si F(s) = L{f}, y a > 0, entonces
L{f(t – a)U(t – a)} = e-asF(s)

• Demostración
L { f (t  a) U (t  a)}
a 
  est f (t  a) U (t  a)dt   est f (t  a) U (t  a)dt
0 a
  st
 e f (t  a)dt
0

Ch4_51

13
 12/07/2019

Forma inversa del Teorema 4.7

Sea v = t – a, dv = dt, entonces
L{ f (t  a)U(t  a)}
 
  es ( va ) f (v)dv  eas 0 esv f (v)dv  eas L { f (t )} L 1{e as F ( s )}  f (t  a ) U (t  a ) (15)
0

Si f(t) = 1, entonces f(t – a) = 1, F(s) = 1/s,

e as
L {U (t  a )}  (14)
s
por ejemplo: La T.L. de la Fig 4.13 es
L { f (t )}  2L {1}  3L {U (t  2)}  L {U (t  3)}
1 e2 s e3s
 2 3 
s s s

Ejemplo 6 Forma alternativa del Teorema 4.7

Hallar la T.L. inversa de • Como t 2  (t  2)2  4(t  2)  4 , entonces
(a) L 1 1 e2 s  (b) L 1 2 s es / 2  L {t 2 U (t  2)}
s  4  s  9 
 L {(t  2) 2 U (t  2)  4(t  2) U (t  2)  4U (t  2)}
Solución
(a) a  2, F ( s)  1/(s  4), L 1{F ( s)}  e4t Lo anterior se puede resolver. Sin embargo,
luego 1 1 2 s  4(t 2) lo enfocamos de otra manera.
L  e e U (t  2)
s  4  Sea u = t – a,  
1
L {g (t ) U (t  a)}   est g (t )dt   es (u a ) g (u  a)du
(b) a   / 2, F ( s)  s /(s  9), L {F ( s)}  cos 3t
2 a 0
Esto es,
luego 1 s s / 2     
L  2 e   cos 3 t   U  t   L {g (t ) U (t  a )}  e as L {g (t  a )} (16)
s  9   2  2

14
 12/07/2019

Ejemplo 7 Ejemplo 8
Resolver y' y  f (t ) , y(0)  5
Hallar L {cos tU (t   )}
0 , 0t 
Solución f (t )  
3 sin t , t 
Con g(t) = cos t, a = , entonces Solución
g(t + ) = cos(t + )= −cos t Hallamos f(t) = 3 cos t U(t −), luego
s s
Por (16), sY ( s)  y(0)  Y ( s)   3 e
s2  1
s s
L {cos tU (t   )}  es L {cos t}   e 3s
( s  1)Y ( s)  5  2 es
s2  1 s 1

  e  2 es  2 es 
5 3 1 s 1 s
Y ( s) 
s  1 2  s  1 s 1 s 1 (17)

Ejemplo 8 (2) Fig 4.16

Se sigue desde (15) con a = , entonces

L 1
1 s  (t  )
U (t   ) , L 1 2 es   sin(t   )U (t   )
1
e e
s  1  s  1 
1 s s 
L  2 e   cos(t   )U (t   )
Así s  1 

3 3 3
y (t )  5et  e(t  ) U (t   )  sin(t   ) U (t   )  cos(t   ) U (t   )
2 2 2
3
 5et  [e(t  )  sin t  cos t ]U (t   )
2
5et , 0t 
  t ( t  ) (18)
5e  3 / 2e  3 / 2 sin t  3 / 2 cos t , t 
Fig 4.16

15
 12/07/2019

Vigas Fig 4.17

• Recuerde que la ED de una viga es
d4y
EI  w( x) (19)
dx4

Fig 4.17.

Ejemplo 9 Ejemplo 9 (2)

Una viga de longitud L se empotra en ambos extremos Transformando (19) en
como se ilustra en la Fig 4.17. Determine la deflexión  
EI s 4Y ( s)  s3 y(0)  s 2 y(0)  sy(0)  y(0)
de la viga cuando la carga está dada por:
 0 
2w L 2 1 1  Ls 2 
  2   2  2e 
w 1  x , 0  x  L / 2
w( x)   0  L  L  s s s

s 4Y ( s )  sy" (0)  y (3) (0)  0 

0, L/2  x  L 2w L 2 1 1  Ls 2 
Solución  2  2e 
Tenemos las condiciones en la frontera: y(0) = y(L) = 0, EIL  s s s

Y ( s )  13  34  0  5  6  6 e Ls 2 
y’(0) = y’(L) = 0. Por (10), c c 2w L 2 1 1
w( x)  w0 1  x   w0 1  x  U  x  
2 2 L s s EIL  s s s 
 L   L   2 donde c1 = y”(0), c3 = y(3)(0)
2w0  L  L  L 
  x   x   U  x  
L  2  2  2 

16
 12/07/2019

Ejemplo 9 (3) Ejemplo 9 (4)

Así Aplicamos y(L) = y’(L) = 0, entonces
y ( x) L2 L3 49w0 L4
c1  c2  0
 1 L 1 3   2 L 1 4 
c 2! c 3! 2 6 1920 EI
2!  s  3! s  L 85w0 L 3
c1L  c2 2  0
2w0  L / 2 1 4!  1 1 5!  1 1 5!  Ls / 2  2 960 EI
 L  5 L  6 L  6 e 
EIL  4!  s  5!  s  5! s  c1  23w0 L2 / 960 EI , c2  9w0 L / 40 EI
w0 5L 4 L 
5 Así

c1 2 c2 3
x  x   L  23w0 L2 2 3w0 L 3
 x  x   x   U  x  
5
y ( x)  x  x
2 6 60 EIL  2  2  2  1920 EI 80 EI
w0 5L 4 L 
5
  L 
 x  x   x   U  x  
5
60 EIL  2  2  2 

4.4 Propiedades Operacionales Adicionales

TEOREMA 4.8
• Multiplicando una función por tn Derivadas de una transformada
dF d  st
ds ds 0
 e f (t )dt
Si F(s) = L{f(t)} y n = 1, 2, 3, …, entonces
   dn
 [e  st f (t )]dt    e st tf (t )dt   L {tf (t )} L {t n f (t )}  (1) n n F ( s )
0 s 0 ds
d
esto es, L {tf (t )}   L { f (t )}
ds
De manera similar,
L {t 2 f (t )}  L {t  tf (t )}   L {tf (t )}
2
d d  d
   L { f (t )}  2 L { f (t )}
ds  ds  ds

17
 12/07/2019

Ejemplo 1 Enfoques diferentes

Hallar L{t sen kt} • Teorema 4.6:
1 1
Solución L {te3t }  L {t}st 3  
s 2 st 3 ( s  3) 2
Con f(t) = sen kt, F(s) = k/(s2 + k2), luego
d
L {t sin kt}   L {sin kt}
ds • Teorema 4.8:
   2
d k  2ks
 L {te3t }  
d
L {e3t }  
d 1
 ( s  3) 2 
1
ds  s  k 2  ( s 2  k 2 ) 2
ds ds s  3 ( s  3)2

Ejemplo 2 Convolución
Resolver x"16 x  cos 4t , x(0)  0 , x' (0)  1
• Un producto especial, f * g se define mediante al
Solución s integral
2
( s  16) X ( s )  1 
f * g  0 f ( ) g (t   )d
t
s  16 2
(2)
ó X ( s)  2
1

s
y se llama convolución de f y g.
s  16 ( s 2  16) 2 La convolución es una función de t, por ejemplo:
t
 2ks  et  sin t   e sin(t   )d
Del ejemplo 1, L 1  2 2 2
 t sin kt 0
( s  k )  1
4  1 1  8s   (sint  cost  et ) (3)
x(t )  L 1  2
1
Así  L  2 2
2
4  s  16  8 ( s  16)  • Observación: f * g = g * f
1 1
 sin st  t sin 4t
4 8

18
 12/07/2019

TEOREMA 4.9
Teorema de convolución
manteniendo fija, let t =  + , dt = d
Si f(t) y g(t) son continuas por partes en [0, ) y
 
de orden exponencial, entonces F ( s)G ( s)   f ( )d  es g (t   )dt
0 
L { f  g}  L { f (t )}L {g (t )}  F ( s )G ( s ) Se realiza al integración en la región sombreada
de la Fig 4.32.
Demostración
F ( s )G ( s )   e
0
  s
f ( )d  e
0
  s
g (  )d  Cambiando el orden de integración:
 t
F ( s )G ( s )   e  st dt  f ( ) g (t   )d
   s (   )

 f ( ) g (t   )d dt
0 0
 0 e f ( )g (  )dd }  t
0
  e  st
  (   ) 0 0
  f ( )d  e g (  )d
0 0  L { f  g}

Fig 4.32 Ejemplo 3

Hallar  t
L  e sin(t   ) d
0

Solución
Original statement
= L{et * sin t}
1 1 1
  
s  1 s 2  1 ( s  1)( s 2  1)

19
 12/07/2019

Forma inversa del Teorema 4.9 Ejemplo 4

Hallar L 1 2 1 2 
( s  k2 ) 
• L-1{F(s)G(s)} = f * g (4) Solución 
Sea 1
F ( s)  G( s) 
Mire en la tabla del Apéndice III, s2  k 2
f (t )  g (t )  L 1  2
1 k  1
2k 3 2
 sin kt
L {sin kt  kt cos kt}  k s  k  k
(s  k 2 )2
2 (5)
entonces
 1  1 t
L 1  2 2 2
 2  sin k sin k (t   )d (6)
( s  k )  k 0

Ejemplo 4 (2) Transformada de una Integral

Ahora recordamos que • Cuando g(t) = 1, G(s) = 1/s, entonces

 f ( )d  F s(s)
sen A sen B = (1/2) [cos (A – B) – cos (A+B)]
t
Si ponemos A = k, B = k(t − ), entonces L (7)
0
 1  1 t
L 1  2 2 2
 2  [cos k (2  t )  cos kt ]d
 ( s  k )  2k 0 t 1  F ( s ) 
t 0 f ( )d  L  
 s 
(8)
 2  sin k (2  t )   cos kt 
1 1
2k  2k 0
sin kt  kt cos kt

2k 3

20
 12/07/2019

Ecuación Integral de Volterra

Eejmplos:
t
 1  t f (t )  g (t )   f ( )h(t   ) d (9)
L 1  2    sind  1  cos t
0

 s ( s  1)  0
 1  t
L 1  2 2   0 (1  cos )d  t  sin t
 s ( s  1) 
 1  t 1 2
L 1  3 2   0 (  sin )d  t  1  cos t
 s ( s  1)  2

Ch4_81

Ejemplo 5 Circuitos en Serie

t
Resolver f (t )  3t 2  et   f ( )et  d for f (t )
0
Solución • De la Fig 4.33, tenemos
Primero, h(t-) = e(t-), h(t) = et. di 1 t
L  Ri (t )  0 i ( )d  E (t ) (10)
De (9) 2 1 1 dt C
F ( s)  3  3   F ( s) 
s s 1 s 1
Resolviendo para F(s) y empleando fracciones parciales la cual se llama ecuación integrodiferencial.
6 6 1 2
F ( s)  3  4  
s s s s 1 Fig 4.33

f (t )  3L 1  3   L 1  4   L 1    2L 1 
2! 3! 1 1 

s  s  s   s  1
 3t 2  t 3  1  2et

21
 12/07/2019

Ejemplo 6 Ejemplo 6 (2)

 1 1 1 
I ( s )  1200   es  es
Determine i(t) en Fig 4.33, cuando L = 0.1 h, R =  s ( s  10) s ( s  10)
2 2
( s  10) 2 
2 , C = 0.1 f, i(0) = 0, y
E(t) = 120t – 120tU(t – 1) 1/100 1 / 100 1 / 10 1 / 100  s
 1200     e
 s s  10 ( s  10) 2 s
Solución
Usando los datos, (10) se convierte 1 / 100  s 1 / 10  s 1 
 e  e 
di t s  10 ( s  10) 2 ( s  10) 2 e  s 
0.1  2i (t )  10 i ( )d  120t  120U (t  1)
dt 0
i (t )  12[1  U (t  1)]  12[e10(t 1) U (t  1)]
Y entonces
 120te10t  1080(t  1)e10(t 1) U (t  1)
 120 2  2 es  es 
I (s) 1 1 1
0.1sI ( s)  2 I ( s)  10
s s s s 

Ejemplo 6 (3) Fig 4.34

Escrita como una función definida por partes:

12  12e10t  120te10t , 0  t 1

i (t )   10t
 12e  12e
10 ( t 1)
 120te10t  1080(t  1)e10(t 1) , t 1 (11)

22
 12/07/2019

Función Periódica
• f(t + T) = f(t) • Demostración
TEOREMA 4.10 T 
Transformada de una función periódoca L { f (t )}   est f (t )dt   est f (t )dt
0 T

Si f(t) is una función periódica con período T, entonces Use el mismo método de transformación
  st
 e f (t )dt  e L { f (t )}
1 T  sT
0 e
 st
L { f (t )}  f (t ) dt
1  e  sT T
T
L { f (t )}   e  st f (t )dt  e  sT L { f (t )}
0
1 T
0 e
 st
L { f (t )}  f (t )dt
1  e  sT

Ejemplo 7 Fig 4.35

Halle la T. L. de la función en Fig 4.35.
Solución
1, 0  t  1
Hallamos T = 2 y E (T )  
0, 1  t  2
Del Teorema 4.10,
L {E (t )} 
1
1 e

 2 s 0
1  st
e  1dt  0 
1 1  es 1
  (12)
1  e 2 s s s (1  e s )

23
 12/07/2019

Ejemplo 8
di
La ED L  Ri  E (t )
1 1 1 
dt
(13) I ( s)   
R s s  R L

 1  es  e2 s  ... 
Hallar i(t) donde i(0) = 0, E(t) es como ilustar la Fig
4.35.
Solución LsI ( s )  RI ( s ) 
1 Luego i(t) se esribe de la siguiente manera y se
s
s (1  e ) ilustra en la Fig 4.36:
1/ L 1 1  e t , 0  t 1
ó I ( s)    t
s ( s  R / L) 1  e  s (14)  e  e
( t 1)
, 1 t  2
1 i (t )  
Porque  1  es  e2 s  e3s    t
 ( t 1)
 e ( t  2 ) , 2t 3
1  e-s 1 e e (15)
y  e  y  e (t 1)  e (t 2)  e (t 3) , 3t  4
1 L/ R L/ R 
 
s ( s  R / L) s s  R/L Ch4_94

Fig 4.36 4.5 La función delta de Dirac

• Impulso Unitario
Observe la Fig 4.43(a). Está función se define por
0, 0  t  t0  a
1
 a (t  t0 )   , t0  a  t  t0  a (1)
 2a
0, t  t0  a
donde a > 0, t0 > 0.
• Para un valor pequeño de a, a(t – t0) es una
función constante de gran magnitud. El
comportamiento de a(t – t0) cuando a  0, se
llama impulso

unitario, porque posee la
propiedad 0  (t  t0 )dt  1 . Fig 4.43(b).

24
 12/07/2019

Fig 4.43 La función delta de Dirac

• Esta función se define como
(t – t0) = lima0 a(t – t0) (2)
Las dos propiedades importantes son:
, t  t0
(1)  (t  t0 )  
 0, t  t0

(2) 0x  (t  t0 )dt  1 , x > t0

Ch4_97

TEOREMA 4.11
Transformación de la función delta de Dirac Cuando a  0, (4) es 0/0. Use la regla de L’Hopital,
Para t0 > 0, entonces (4) tiende a 1 cuando a  0.
L { (t  t0 )}  e  st0 Así ,
L (t  t0 )  lim L a (t  t0 )
a 0

• Demostración  e sa  e  sa   st0
1  e  st0 lim    e
 a (t  t0 )  [ U (t  (t0  a)  U (t  (t0  a))] a 0
 2sa 
2a
La Transformada de Laplace es Ahora cuando t0 = 0, tenemos

L { a (t  t0 )} 
1 e  s ( t0  a )

e  s ( t0  a )
 L  (t )  1
2a  s s 

 e sa  e  sa 
 e  st0   (4)
 2 sa 

25
 12/07/2019

Ejemplo 1 Fig 4.44

Resolver y" y  4 (t  2 ), sujeta a
(a) y(0) = 1, y’(0) = 0
(b) y(0) = 0, y’(0) = 0
Solución
(a) s2Y – s + Y = 4e-2s
s 4e2s
Y ( s)   2
s 1 s 1
2
Así
y(t) = cos t + 4 sen(t – 2)U(t – 2)
Como sen(t – 2) = sen t, enonces
cos t , 0  t  2
y (t )   (5)
cos t  4 sin t , t  2
Fig 4.44.

Ejemplo 1 (2) Fig 4.45

4e2s
(b) Y (s) 
s2  1

Así y(t) = 4 sen(t – 2)U(t – 2)

y y (t )  4 sin(t  2 ) U (t  2 )
0, 0  t  2
 (6)
4 sin t , t t

26
 12/07/2019

4.6 Sistemas Eds Lineales Ejemplo 1

Use T.L. para resolver
x1  10 x1  4 x2  0
• Resortes acoplados
En el ejemplo 1 trabajaremos con 4 x1  x2  4 x2  0 (2)
donde x1(0) = 0, x1’(0) = 1, x2(0) = 0, x2’(0) = −1.
m1 x1   k1 x1  k2 ( x2  x1 )
(1) Solución
m2 x2   k2 ( x2  x1 ) s2X1 – sx1(0) – x1’(0) + 10X1 – 4X2 = 0
−4X1 + s2X2 – sx2(0) – x2’(0) + 4X2 = 0
Recolocando:
(s2 + 10)X1 – 4X2 = 1
−4X1 + (s2 + 4)X2 = −1 (3)

Ejemplo 1 (2) Ejemplo 1 (3)

Resolviendo (3) para X1: Luego
2 3
s2 1/ 5 6/5 x1 (t )   sin 2t  sin 2 3t
X1  2   10 5
( s  2)( s 2  12) s 2  2 s 2  12
2 3
2 3 x2 (t )   sin 2t  sin 2 3t (4)
x1 (t )   sin 2t  sin 2 3t 5 10
10 5
Usamos X1(s) para obtener X2(s)
s2  6 2/5 3/ 5
X2    2 
( s 2  2)( s 2  12) s  2 s 2  12
2 3
x2 (t )   sin 2t  sin 2 3t
5 10

27
 12/07/2019

Redes Fig 4.47

• De la Fig 4.47, tenemos
di
L  Ri2  E (t )
dt
di (5)
RC 2  i2  u1  0
dt

Ejemplo 2 Ejemplo 2 (2)

Resolver (5) donde E(t) = 60 V, L = 1 h, R = 50 ohm, Resolviendo lo anterior:
C = 10-4 f, i1(0) = i2(0) = 0. 60s  12000 6 / 5 6/5 60
I1    
Solución s ( s  100) 2 s s  100 ( s  100) 2
Tenemos di1
 50i2  60 I2 
12000

6/5

6/5

120
dt s ( s  100) 2 s s  100 ( s  100) 2
di
50(104 ) 2  i2  i1  0 Así 6 6
Entonces
dt i1 (t )   e 100t  60te100t
5 5
sI1(s) + 50I2(s)= 60/s 6 6
−200I1(s) + (s + 200)I2(s)= 0 i2 (t )   e 100t  120te100t
5 5

28
 12/07/2019

Péndulo Doble Fig 4.48

• De la Fig 4.48, tenemos
( m1  m2 )l121  m2l1l2 2  ( m1  m2 )l1 g1  0
(6)
m2l22 2  m2l1l21  m2l2 g 2  0

Ejemplo 3 Fig 4.49

• Compruebe que cuando
m1  3, m2  1, l1  l2  16, 1 (0)  1,  2 (0)  1,
1 ' (0)  0,2 ' (0)  0
la solución de (6) es
1 2 3
1 (t )  cos t  cos 2t
4 3 4
(7)
1 2 3
 2 (t )  cos t  cos 2t
2 3 2
Fig 4.49

29
 12/07/2019

Contenidos
• 12.1 Funciones Ortogonales
Funciones Ortogonales y • 12.2 Series de Fourier
Series de Fourier • 12.3 Series de Fourier de Cosenos y Senos
• 12.4 Series d eFourier Complejas
CAPÍTULO 12 • 12.5 Problema de Sturm-Liouville
• 12.6 Series de Bessel y Legendre

12.1 Funciones Ortogonales Ejemplo

DEFINICIÓN 12.1
Productos Interiores de Funciones • Las funciones f1(x) = x2, f2(x) = x3 son
El producto interior de dos funciones f1 y f2 en un ortogonales en el intervalo [−1, 1] puesto que
intervalo [a, b] es el número 1
b 1 6
( f1, f 2 )   f1 ( x) f 2 ( x)dx
1
( f1, f 2 )   x 2．x3d x  x 0
a 1 6 1
DEFINICIÓN 12.2
Funciones Ortogonales
Dos funciones f1 y f2 son ortogonales en un
intervalo [a, b] si
b
( f1 , f 2 )   f1 ( x) f 2 ( x) dx  0
a

30
 12/07/2019

Conjuntos Ortonormales
DEFINICIÓN 12.3
Conjunto Ortogonal • La expresión (u, u) = ||u||2 se llama norma
Se dice que un conjunto de funciones de valores reales cuadrada. Por tanto podemso definir la norma
{0(x), 1(x), 2(x), …} es ortogonal en un intervalo [a, b] cuadrada de una función como
si
b
(m , n )   m ( x), n ( x) dx  0, m  n
b 2 (3)
n ( x)  a n2 dx, n ( x)  a n ( x)dx
2 b
(2)
a

Si {n(x)} es un conjunto ortogonal en [a, b]

con la propiedad de que ||n(x)|| = 1 para
todo n, entonces se llama conjunto
ortonormal en [a, b].

Ejemplo 1 Ejemplo 1 (2)

Demuestre que el conjunto {1, cos x, cos 2x, …} y  
(m ,n )   m ( x)n ( x)dx   cos mx  cos nxdx
es ortogonal en [−, ].  
1 
2 
Solución  [cos( m  n) x  cos( m  n) x]dx
Sea 0(x) = 1, n(x) = cos nx, comprobamos que 
1 sin(m  n) x sin(m  n) x 
      0, m  n
(0 , n )   0 ( x)n ( x)dx   cos nxdx
 
2 m n m  n  
1
 sin nx   0, for n  0
n

31
 12/07/2019

Ejemplo 2 Analogía con Vectores

Determine la norma de cada función del Ejemplo 1. • Recordando de la teoría de vectores en 3
Solución dimensiones que
u  c1v1  c2 v 2  c3 v3 , (4)
 tenemos
0  1, 0   dx  2  0  2
2

3
(u, v1 ) (u, v 2 ) (u, v3 ) (u, v n )
n  cos nx, u v 
2 1
v 
2 2
v 
2 3
v
2 n (5)
|| v1 || || v 2 || || v3 || n1 || v n ||
 1 
|| n ||2   cos 2 nxdx 
2 
(1  cos 2nx)dx   Así podemos hacer una analogía entre funciones y

vectores.
|| n ||  , n  0

Desarrollo en Series Ortogonales

• Suponga que {n(x)} es un conjunto ortogonal en [a,
• Como {n(x)} es un conjunto ortogonal en [a, b], cada
b]. Si f(x) está definida en [a, b], escribimos primero
término en el lado derecho es nulo, excepto m = n.
f ( x)  c00 ( x)  c11 ( x)    cnn ( x)  ? En este caso tenemos
(6)
b
Then
a f ( x)m ( x) dx b b
a f ( x)n ( x)dx  cn (n ,n )  cn a n
2
( x)dx
b b
 c0  0 ( x)m ( x) dx  c1  1 ( x)m ( x) dx   b
a a
cn 
a f ( x)n ( x)dx , n  0,1,2,...
b b 2
 cn  n ( x)m ( x) dx   a n ( x)dx
a

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

32
 12/07/2019

DEFINICIÓN 12.4
Conjunto Ortogonal y Función Peso
En otras palabras,
Se dice que un conjunto de funciones de valores reales

f ( x)   cnn ( x), (7) {0(x), 1(x), 2(x), …} es ortogonal con respecto a una
n 0 función peso w(x) en [a, b], si
b
 f ( x)n ( x) dx
b

cn  a (8) a w( x)m ( x)n ( x)dx  0, m  n

|| n ( x) ||2 • Bajo la condición de la definición anterior, tenemos
b
Entonces (7) se transforma en
cn
 f ( x)w( x)n ( x) dx
 a
(10)

( f , n ) || n ( x) ||2
f ( x)    ( x) (9) (11)
n 0 n ( x ) ||
2 n b
|| || n ( x) ||2   w( x)n2 ( x) dx
a

Conjuntos Completos 12.2 Series de Fourier

• Un conjunto ortogonal es completo si la única • Una Serie Trigonométrica
función ortogonal continua a cada miembro Podemos demostrar que el conjunto
del conjunto es función nula.   2 3  2 3 
1, cos x, cos x, cos x, , sin x, sin x, sin x,  (1)
 p p p p p p 

es orthogonal en [−p, p]. Así una función f

definida en [−p, p] puede escribirse como
a0   n n 
f ( x)     an cos x  bn sin x
2 n1  p p 
(2)

33
 12/07/2019

• Además,
p m
• Ahora calculamos los coeficientes.
 p f ( x) cos
p
xdx

a p m (5)
a 
 n n   0  cos xdx 
 p f ( x)dx  20  pdx  
p p p p
 an  p cos xdx  bn  sin
p
xdx  (3) 2 p p
n 1  p p  
 m m m n 
  an  p cos
p p
Como cos(nx/p) y sin(nx/p) son ortogonales a 1 x cos x dx  bn  cos
p
x sin x dx 
n 1  p p p p 
en este intervalo, entonces (3) se transforma en
p a p a0
p por ortogonalidad tenemos
 p f ( x)dx  20  p dx  x  pa0
2 p p m
• Así tenemos  p cos p
xdx  0, m  0
1 p m n
p  p
a0  p
f ( x)dx (4)  p cos p x sin p xdx  0

• Finalmente, si multiplicamos (2) por sin(mx/p)

y usamos
p m
• y p m n  0, m  n
 p sin p
xdx  0, m  0
 p cos p x cos p xdx   p, m  n p m n
 p sin p x sin p xdx  0
Así (5) se reduce a y
p m n  0, m  n
p n  p sin p x sin p xdx   p, m  n
 p f ( x) cos p xdx  an p
y por tanto obtenemos que

1 p n m n  0, m  n (7)
p  p
an  p
f ( x) cos
p
x dx (6)  p sin p
x sin
p
x dx  
 p, m  n

34
 12/07/2019

DEFINICIÓN 12.5
Series de Fourier Ejemplo 1
La serie de Fourier de una función f definida en el
0,   x  0
intervalo (−p, p) se determina mediante Desarrolle f ( x)   (12)
  x , 0 x 
a 
n n
f ( x)  0   (an cos x  bn sin x) (8) en una serie de Fourier.
2 n1 p p
donde Solución
1 p
a0   f ( x) dx (9) La gráfica de f se muestra en la Fig 12.1 con p = .
p p
1 p
an   f ( x) cos
p p
n
p
x dx (10) a0 
1
 

f ( x) dx 
1

 0dx   (  x) dx
0


0

1 p n (11) 1 x2  
bn   f ( x) sin x dx  x  
p p p 
 2 0 2

Ejemplo 1 (2) Ejemplo 1 (3)

1 

 
an  f ( x) cos nx dx
De (11) tenemos

1

 0dx   (  x) cos nx dx
0


0 bn 
1
 0

(  x) sin nxdx 
1
n

1 sin nx 1  
n 0
 (  x)  sin nx dx
 n 0  Po tanto

1 cos nx  
1  (1) n 1 
 ←cos n = (-1)n f ( x)    2 cos nx  sin nx  (13)
n n 0 4 n1  n  n 
 cos n  1 1  (1) n
 
n 2 n 2

35
 12/07/2019

Fig 12.1
TEOREMA 12.1
Condiciones de Convergencia
Sean f y f’ continuas por partes en el intervalo (−p, p); esto es,
sean f y f’ continuas excepto en un número finito de puntos en
el intervalo y discontinuidades finitas sólo en estos puntos.
Entonces al serie de Fourier de f en el intervalo converge a f(x)
en un punto de continuidad. En un punto de discontinuidad, la
serie de Fourier converge al promedio
f ( x  )  f ( x )
2
donde f(x+) y f(x－) denotan el limite de f en x por la derecha y
por la izquierda, respectivamente.

Ejemplo 2 Extensión Periódica

• La función f en el Ejemplo 1, es continua en • Fig 12.2 es la extensión periódica de la función
(−, ) excepto en x = 0. Así que la serie (13) f del Ejemplo 1. Así que la discontinuidad en
converge a x = 0, 2, 4, … converge a
f (0  )  f (0 )   0  f (0  )  f (0 ) 
  
2 2 2 2 2
en x = 0. y en x = , 3, … converge a

f ( )  f (0)
0
2

36
 12/07/2019

Fig 12.2 Secuencia de Sumas Parciales

• Secuencia de Sumas Parciales
Para (13), escribimos las sums parciales como
  2
S1  , S2   cos x  sin x,
4 4 
 2 1
S3   cos x  sin x  sin 2 x
4  2

Fig 12.3.

Ch12_145

Fig 12.3 12.3 Series de Fourier de Coseno y Seno

• Funciones Pares e Impares

– par si f(−x) = f(x)

– impar si f(−x) = −f(x)

37
 12/07/2019

Fig 12.4 Función Par Fig 12.5 Función Impar

Series de Cosenos y Senos

TEOREMA 12.2
Propiedades de Funciones Pares • Si f es par en (−p, p) entonces
e Impares
1 p 2 p
p  p
(a) El producto de dos funciones pares es par. a0  f ( x)dx   f ( x)dx
(b) El producto de dos funciones impares es impar. p 0
(c) El producto de una función par y uan función impar 1 p n 2 p n
an   f ( x) cos xdx   f ( x) cos xdx
es impar. p p p p 0 p
(d) La suma (diferencia) de dos funciones pares es par. 1 p n
bn   f ( x) sin xdx  0
(e) La suma (diferencia) de dos funciones impares es p p p
impar. a a • De manera similar, si f es impar en (−p, p) entonces
(f) Si f es par, entonces a f ( x)dx  20 f ( x)dx 2 p n
an  0, n  0,1,2,... bn   f ( x) sin xdx
(g) Si f es impar, entonces a f ( x)dx  0 p 0 p
a

38
 12/07/2019

(continuación)
DEFINICIÓN 12.6 DEFINICIÓN 12.6
Series de Fourier de Cosenos y Senos Series de Fourier de Cosenos y Senos
(i) La serie de Fourier de una función par f en el (ii) La serie de Fourier de una función impar f en el
intervalo (−p, p) es la serie de cosenos intervalo (−p, p) es la serie de senos
a0  n 
n
f ( x)    an cos x (1) f ( x)   bn sin x (4)
2 n1 p i 1 p
donde donde
2 p n
p 0
a0  2 p
f ( x) dx
(2) bn   f ( x) sin x dx (5)
p 0 p
2 p n
p 0
an  f ( x) cos x dx (3)
p

Ejemplo 1 Fig 12.6

Desarrolle f(x) = x, −2 < x < 2 en una serie de Fourier.
Solución
Estudio de la Fig 12.6, muestra que es una función
par en (−2, 2) y p = 2.
2 n 4(1) n1
bn   x sin x dx 
Así
0 2 n
4  (1) n1 n
f ( x) 
 n1 n
sin
2
x (6)

Fig 12.7 es la extensión periódica de la función del

Ejemplo 1.

39
 12/07/2019

Fig 12.7 Ejemplo 2

• La función  1,    x  0
f ( x) 
 1, 0 x 
representada en la Fig 12.8 es impar en (−, )
con p = .
De (5),
2  2 1  (1) n
 0
bn  (1) sin nx dx 
 n
y por tanto

2 1  (1) n
f ( x) 

 n
sin nx (7)
n 1

Fig 12.8 Fenómeno de Gibbs

• Fig 12.9 muestra las sumas parciales de (7).
Podemos ver qeu la gráfica tiene picos
pronunciados cerca de las discontinuidades.
Este “exceso” SN no se alisa sino que
permanece constante aun cuando el valor de
N sea grande. Este comportamiento se conoce
como el fenómeno de Gibbs.

40
 12/07/2019

Fig 12.9 Desarrollos en Semiintervalos

• Si una función f está definida sólo para 0 < x < L,
podemos suministrar una función arbitraria para
−L < x < 0.
• Si y = f(x) está definida para 0 < x < L,
(i) Reflejar al gráfica respecto al eje y en −L < x < 0;
la función hora es par. Fig 12.10.
(ii) Reflejar la gráfica por el origen sobre −L < x < 0;
la función ahora es impar. Fig 12.11.
(iii) definir f en −L < x < 0 mediante f(x) = f(x + L).
Fig 12.12.

Fig 12.10 Fig 12.11

41
 12/07/2019

Fig 12.12 Ejemplo 3

Desarrolle f(x) = x2, 0 < x < L, (a) en una serie de
cosenos, (b) en una serie de senos (c) en una serie de
Fourier.
Solución
La gráfica está representada en la Fig 12.13.

Ejemplo 3 (2) Ejemplo 3 (3)

2 L 2 2
L 0
(a) a0  x dx  L2 , (b)
3 2 L 2 n 2 L2 (1)n1 4 L2
2 L 2 n 4 L2 (1) n
bn  
L 0
x sin
L
x dx 
n
 3 3 [(1)n  1]
n
an   x cos x dx 
L 0 L n 2 2
De ahí que
Entonces 2 L2 (1) n1

2  n
f ( x)  
 n1  n
 3 2 [(1) n  1] sin
n
x (9)
L2 4 L2  (1) n n  L
f ( x)   
3  2 n1 n 2
cos
L
x (8)

42
 12/07/2019

Ejemplo 3 (4) Fig 12.14

(c) Con p = L/2, n/p = 2n/L, tenemos

2 L 2 2 2 L 2n L2
a0  
L 0
x dx  L2 , an   x 2 cos
3 L 0 L
xdx  2 2
n
2 L 2 2n  L2
bn   x sin xdx 
L 0 L n
Por tanto
L2 L2  1 2n 1 2n 
f ( x)      cos x  sin x
3  n1  n 2 L n L  (10)
La gráfica de esta extensión se muestra en la
Fig 12.14.

Fuerza Impulsora Periódica Ejemplo 4

• Considere el siguiente sistema físico • Recurriendo a (11), m = 1/16 de slug, k = 4 lb/pie, la
fuerza f(t) con período 2 se muestra en la Fig 12.15.
d 2x (11) Aunque f(t) actúa en el sistema para t > 0, podemos
m  k x  f (t ) ampliar al gráfica con período 2 al eje t negativo para
dt 2
donde obtener una función impar. Con p = 1, de (5)

n obtenemos
x p (t )   Bn sin t 1 2(1) n1
n 1 p (12) bn  2 t sin ntdt 
0 n
De (11) obtenemos
es un desarrollo en serie de senos en un
1 d 2x 
2(1) n1
semiintervalo. 2
 4x   sin n t (13)
16 dt n 1 n

43
 12/07/2019

Ejemplo 4 (1)
Para hallar la solución particular xp(t),
sustituimos (12) en (13). Así
Funciones Ortogonales y
1 2 2 2(1) n1
( n   4) Bn  Series de Fourier
16 n
32(1) n1
Bn  CAPÍTULO 12
n(64  n 2 2 )
Por tanto

32(1) n1
x p (t )   sin nt (14)
n 1 n(64  n  )
2 2

Contenidos 12.1 Funciones Ortogonales

DEFINICIÓN 12.1
• 12.1 Funciones Ortogonales Productos Interiores de Funciones
• 12.2 Series de Fourier El producto interior de dos funciones f1 y f2 en un
intervalo [a, b] es el número
• 12.3 Series de Fourier de Cosenos y Senos b
( f1, f 2 )   f1 ( x) f 2 ( x)dx
a
• 12.4 Series d eFourier Complejas
• 12.5 Problema de Sturm-Liouville DEFINICIÓN 12.2
Funciones Ortogonales
• 12.6 Series de Bessel y Legendre Dos funciones f1 y f2 son ortogonales en un
intervalo [a, b] si
b
( f1 , f 2 )   f1 ( x) f 2 ( x) dx  0
a

44
 12/07/2019

Ejemplo
DEFINICIÓN 12.3
• Las funciones f1(x) = x2, f2(x) = x3 son Conjunto Ortogonal
ortogonales en el intervalo [−1, 1] puesto que Se dice que un conjunto de funciones de valores reales
1
{0(x), 1(x), 2(x), …} es ortogonal en un intervalo [a, b]
1 1 6
( f1, f 2 )   x 2．x3d x  x 0 si
1 6 1 b
(m , n )   m ( x), n ( x) dx  0, m  n (2)
a

Conjuntos Ortonormales Ejemplo 1

• La expresión (u, u) = ||u||2 se llama norma Demuestre que el conjunto {1, cos x, cos 2x, …}
cuadrada. Por tanto podemso definir la norma es ortogonal en [−, ].
cuadrada de una función como
Solución
b 2 (3) Sea 0(x) = 1, n(x) = cos nx, comprobamos que
n ( x)  a n2 dx, n ( x)  a n ( x)dx
2 b

 
Si {n(x)} es un conjunto ortogonal en [a, b] (0 , n )   0 ( x)n ( x)dx   cos nxdx
 
con la propiedad de que ||n(x)|| = 1 para 1
todo n, entonces se llama conjunto  sin nx   0, for n  0
n
ortonormal en [a, b].

45
 12/07/2019

Ejemplo 1 (2) Ejemplo 2

y   Determine la norma de cada función del Ejemplo 1.
(m ,n )   m ( x)n ( x)dx   cos mx  cos nxdx
  Solución
1 
  [cos( m  n) x  cos( m  n) x]dx 
0  1, 0   dx  2  0  2
2
2 

1 sin(m  n) x sin(m  n) x 
    0, m  n n  cos nx,
2 m n m  n    1 
|| n ||2   cos 2 nxdx 
2 
(1  cos 2nx)dx  


|| n ||  , n  0

Analogía con Vectores Desarrollo en Series Ortogonales

• Suponga que {n(x)} es un conjunto ortogonal en [a,
• Recordando de la teoría de vectores en 3
b]. Si f(x) está definida en [a, b], escribimos primero
dimensiones que
u  c1v1  c2 v 2  c3 v3 , (4) f ( x)  c00 ( x)  c11 ( x)    cnn ( x)  ?
tenemos (6)
b

u
(u, v1 )
v1 
(u, v 2 )
v2 
(u, v3 )
v3  
3
(u, v n )
Then
a f ( x)m ( x) dx
v
2 n (5)
|| v1 ||2 || v 2 ||2 || v3 ||2 n1 || v n || b b
 c0  0 ( x)m ( x) dx  c1  1 ( x)m ( x) dx  
a a
Así podemos hacer una analogía entre funciones y
b
vectores.  cn  n ( x)m ( x) dx  
a

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

46
 12/07/2019

• Como {n(x)} es un conjunto ortogonal en [a, b], cada En otras palabras,

término en el lado derecho es nulo, excepto m = n. 
En este caso tenemos f ( x)   cnn ( x), (7)
n 0
b
b
a f ( x)n ( x)dx  cn (n ,n )  cn a n
b 2
( x)dx cn
 f ( x)n ( x) dx
 a (8)
b || n ( x) ||2
cn 
a f ( x)n ( x)dx , n  0,1,2,... Entonces (7) se transforma en
b 2
a n ( x)dx f ( x)  

( f , n )
 ( x) (9)
n 0 n ( x ) ||
2 n
||

Conjuntos Completos
DEFINICIÓN 12.4
Conjunto Ortogonal y Función Peso
Se dice que un conjunto de funciones de valores reales • Un conjunto ortogonal es completo si la única
{0(x), 1(x), 2(x), …} es ortogonal con respecto a una función ortogonal continua a cada miembro
función peso w(x) en [a, b], si
del conjunto es función nula.
b
a w( x)m ( x)n ( x)dx  0, m  n
• Bajo la condición de la definición anterior, tenemos
b

cn
 f ( x)w( x)n ( x) dx
 a
(10)
|| n ( x) ||2
b (11)
|| n ( x) ||2   w( x)n2 ( x) dx
a

47
 12/07/2019

12.2 Series de Fourier

• Una Serie Trigonométrica • Ahora calculamos los coeficientes.
Podemos demostrar que el conjunto a 
 n n 
 p f ( x)dx  20  pdx  
p p p p
 an  p cos xdx  bn  sin
p
xdx  (3)
  2 3  2 3  n 1  p p 
1, cos x, cos x, cos x, , sin x, sin x, sin x, 
 p p p p p p 
(1) Como cos(nx/p) y sin(nx/p) son ortogonales a 1
en este intervalo, entonces (3) se transforma en
es orthogonal en [−p, p]. Así una función f p
p a p a0
definida en [−p, p] puede escribirse como  p f ( x)dx  20  p dx  x  pa0
2 p
a0   n n  • Así tenemos
f ( x)     an cos x  bn sin x
2 n1  p p  1 p
p  p
(2) a0  f ( x)dx (4)

• Además,
p m
 p f ( x) cos
p
xdx
• y m n  0, m  n
m (5) p
 p cos xdx  
a p
 0  cos xdx  x cos
2 p p p p  p, m  n

 m m m n 
  an  p cos
p p
x cos x dx  bn  cos x sin x dx 
n 1  p p p p p  Así (5) se reduce a
p n
por ortogonalidad tenemos  p f ( x) cos p
xdx  an p
p m y por tanto
 p cos p
xdx  0, m  0
1 p n
p  p
p m n an  f ( x) cos x dx
 p cos p x sin p xdx  0 p (6)

48
 12/07/2019

• Finalmente, si multiplicamos (2) por sin(mx/p) DEFINICIÓN 12.5

Series de Fourier
y usamos
p m La serie de Fourier de una función f definida en el
 p sin p
xdx  0, m  0 intervalo (−p, p) se determina mediante
m n a 
n n
p
f ( x)  0   (an cos x  bn sin
 p sin p x sin p xdx  0 2 n1 p p
x) (8)
y donde
1 p
p m n  0, m  n a0   f ( x) dx (9)
 p sin p x sin p xdx   p, m  n p p
1 p n
obtenemos que an   f ( x) cos x dx (10)
p p p
1 p n (11)
p m n  0, m  n (7) bn   f ( x) sin x dx
 p sin p
x sin
p
x dx  
 p, m  n
p p p

Ejemplo 1 Ejemplo 1 (2)

1 

 
0,   x  0 an  f ( x) cos nx dx
Desarrolle f ( x)   (12)

en una serie de Fourier.

  x, 0 x 

1
 0dx   (  x) cos nx dx
 
0


0

Solución 1 sin nx 1  
n 0
La gráfica de f se muestra en la Fig 12.1 con p = .  (  x)  sin nx dx
 n 
 0dx   (  x) dx
0
1  1 0  
 
a0  f ( x) dx  1 cos nx
  0  ←cos n = (-1)n
n n
2 
0
1 x  
 x    cos n  1 1  (1) n
  2 0 2  
n 2 n 2

49
 12/07/2019

Ejemplo 1 (3) Fig 12.1

De (11) tenemos
1  1
 0
bn  (  x) sin nxdx 
n

Po tanto
 
1  (1) n 1 
f ( x)    2 cos nx  sin nx  (13)
4 n1  n  n 

Ejemplo 2
TEOREMA 12.1
Condiciones de Convergencia
• La función f en el Ejemplo 1, es continua en
Sean f y f’ continuas por partes en el intervalo (−p, p); esto es,
sean f y f’ continuas excepto en un número finito de puntos en
(−, ) excepto en x = 0. Así que la serie (13)
el intervalo y discontinuidades finitas sólo en estos puntos. converge a
Entonces al serie de Fourier de f en el intervalo converge a f(x) f (0  )  f (0 )   0 
en un punto de continuidad. En un punto de discontinuidad, la  
2 2 2
serie de Fourier converge al promedio en x = 0.
f ( x  )  f ( x )
2
donde f(x+) y f(x－) denotan el limite de f en x por la derecha y
por la izquierda, respectivamente.

50
 12/07/2019

Extensión Periódica Fig 12.2

• Fig 12.2 es la extensión periódica de la función
f del Ejemplo 1. Así que la discontinuidad en
x = 0, 2, 4, … converge a
f (0  )  f (0 ) 

2 2
y en x = , 3, … converge a

f ( )  f (0)
0
2

Ch12_202

Secuencia de Sumas Parciales Fig 12.3

• Secuencia de Sumas Parciales
Para (13), escribimos las sums parciales como
  2
S1  , S2   cos x  sin x,
4 4 
 2 1
S3   cos x  sin x  sin 2 x
4  2

Fig 12.3.

51
 12/07/2019

12.3 Series de Fourier de Coseno y Seno Fig 12.4 Función Par

• Funciones Pares e Impares

– par si f(−x) = f(x)

– impar si f(−x) = −f(x)

Fig 12.5 Función Impar

TEOREMA 12.2
Propiedades de Funciones Pares
e Impares
(a) El producto de dos funciones pares es par.
(b) El producto de dos funciones impares es impar.
(c) El producto de una función par y uan función impar
es impar.
(d) La suma (diferencia) de dos funciones pares es par.
(e) La suma (diferencia) de dos funciones impares es
impar. a a
(f) Si f es par, entonces a f ( x)dx  20 f ( x)dx
(g) Si f es impar, entonces a f ( x)dx  0
a

52
 12/07/2019

Series de Cosenos y Senos

DEFINICIÓN 12.6
• Si f es par en (−p, p) entonces
Series de Fourier de Cosenos y Senos
1 p 2 p
p  p
a0  f ( x)dx   f ( x)dx (i) La serie de Fourier de una función par f en el
p 0 intervalo (−p, p) es la serie de cosenos
1 p n 2 p n a0  n
an   f ( x) cos xdx   f ( x) cos xdx f ( x)    an cos x
p p p p 0 p 2 n1 p (1)
1 p n donde
bn   f ( x) sin xdx  0 2 p
p 0
p p p a0  f ( x) dx
(2)
• De manera similar, si f es impar en (−p, p) entonces
2 p n
p 0
2 p n an  f ( x) cos x dx (3)
an  0, n  0,1,2,... bn   f ( x) sin xdx p
p 0 p

(continuación) Ejemplo 1
DEFINICIÓN 12.6
Series de Fourier de Cosenos y Senos Desarrolle f(x) = x, −2 < x < 2 en una serie de Fourier.
(ii) La serie de Fourier de una función impar f en el Solución
Estudio de la Fig 12.6, muestra que es una función
intervalo (−p, p) es la serie de senos par en (−2, 2) y p = 2.

n n 4(1) n1
f ( x)   bn sin x (4)
2
bn   x sin x dx 
i 1 p
Así
0 2 n
donde
2 p n 4  (1) n1 n
bn   f ( x) sin
p 0 p
x dx (5) f ( x) 
 n1 n
sin
2
x (6)

Fig 12.7 es la extensión periódica de la función del

Ejemplo 1.

53
 12/07/2019

Fig 12.6 Fig 12.7

Ejemplo 2 Fig 12.8

• La función  1,    x  0
f ( x) 
 1, 0 x 
representada en la Fig 12.8 es impar en (−, )
con p = .
De (5),
2  2 1  (1) n
 0
bn  (1) sin nx dx 
 n
y por tanto

2 1  (1) n
f ( x) 

 n
sin nx (7)
n 1

54
 12/07/2019

Fenómeno de Gibbs Fig 12.9

• Fig 12.9 muestra las sumas parciales de (7).
Podemos ver qeu la gráfica tiene picos
pronunciados cerca de las discontinuidades.
Este “exceso” SN no se alisa sino que
permanece constante aun cuando el valor de
N sea grande. Este comportamiento se conoce
como el fenómeno de Gibbs.

Desarrollos en Semiintervalos Fig 12.10

• Si una función f está definida sólo para 0 < x < L,
podemos suministrar una función arbitraria para
−L < x < 0.
• Si y = f(x) está definida para 0 < x < L,
(i) Reflejar al gráfica respecto al eje y en −L < x < 0;
la función hora es par. Fig 12.10.
(ii) Reflejar la gráfica por el origen sobre −L < x < 0;
la función ahora es impar. Fig 12.11.
(iii) definir f en −L < x < 0 mediante f(x) = f(x + L).
Fig 12.12.

55
 12/07/2019

Fig 12.11 Fig 12.12

Ejemplo 3 Ejemplo 3 (2)

x2 ,
Desarrolle f(x) = 0 < x < L, (a) en una serie de 2 L 2 2
L 0
cosenos, (b) en una serie de senos (c) en una serie de (a) a0  x dx  L2 ,
Fourier. 3
Solución 2 L 2 n 4 L2 (1) n
an   x cos x dx 
La gráfica está representada en la Fig 12.13. L 0 L n 2 2

Entonces
L2 4 L2  (1) n n
f ( x)   
3  2 n1 n 2
cos
L
x (8)

56
 12/07/2019

Ejemplo 3 (3) Ejemplo 3 (4)

(b) (c) Con p = L/2, n/p = 2n/L, tenemos
2 L 2 n 2 L2 (1)n1 4 L2
bn 
L 0
x sin
L
x dx 
n
 3 3 [(1)n  1]
n a0 
2 L 2

2 2 L
x dx  L2 , an   x 2 cos
2n L2
xdx  2 2
L 0 3 L 0 L n
2 L 2 2n  L2
De ahí que bn   x sin xdx 
L 0 L n
2 L2 (1) n1

2  n Por tanto
f ( x)  
 n1  n
 3 2 [(1) n  1] sin
n
x (9) L2 L2  1
f ( x)    
2n 1 2n 
x  sin
 L  cos x
3  n1  n 2 L n L  (10)
La gráfica de esta extensión se muestra en la
Fig 12.14.

Fig 12.14 Fuerza Impulsora Periódica

• Considere el siguiente sistema físico

d 2x (11)
m  k x  f (t )
dt 2
donde

n
x p (t )   Bn sin t
n 1 p (12)

es un desarrollo en serie de senos en un

semiintervalo.

57
 12/07/2019

Ejemplo 4 Ejemplo 4 (1)

• Recurriendo a (11), m = 1/16 de slug, k = 4 lb/pie, la Para hallar la solución particular xp(t),
fuerza f(t) con período 2 se muestra en la Fig 12.15. sustituimos (12) en (13). Así
Aunque f(t) actúa en el sistema para t > 0, podemos
1 2 2 2(1) n1
ampliar al gráfica con período 2 al eje t negativo para ( n   4) Bn 
obtener una función impar. Con p = 1, de (5) 16 n
obtenemos 32(1) n1
2(1) n1 Bn 
n(64  n 2 2 )
1
bn  2 t sin ntdt 
0 n
Por tanto
De (11) obtenemos

2(1) n1

32(1) n1
1 d 2x
 4x   sin n t x p (t )   sin nt (14)
n 1 n(64  n  )
2 2
16 dt 2
n (13)
n 1

58