Professional Documents
Culture Documents
En los modelos matemticos lineales para sistemas fsicos tales como un sistema resorte/masa o
un circuito elctrico en serie, el miembro del lado derecho o entrada, de las ecuaciones
diferenciales
2 2 1
2
+ + = () 2
+ + = ()
es una funcin de conduccin y representa ya sea una fuerza externa () o un voltaje aplicado
(). En la seccin 5.1 consideramos problemas en los que las funciones y eran continuas.
Sin embargo, las funciones de conduccin discontinuas son comunes. Por ejemplo, el voltaje
aplicado a un circuito podra ser continuo en tramos y peridico tal como la funcin diente de
sierra que se muestra arriba. En este caso, resolver la ecuacin diferencial del circuito es difcil
usando las tcnicas del captulo 4. La transformada de Laplace que se estudia en este captulo es
una valiosa herramienta que simplifica la solucin de problemas como ste.
REPASO DE MATERIAL
2 1 3
= 2 2 = + .
3
Adems, estas dos transformadas tienen la propiedad de linealidad tal que la transformada de
una combinacin lineal de funciones es una combinacin lineal de las transformadas. Para y
constantes
[() + ()] = () + ()
Y
[() + ()] = () + ()
siempre que cada derivada e integral exista. En esta seccin se examina un tipo especial de
transformada integral llamada transformada de Laplace. Adems de tener la propiedad de
linealidad, la transformada de Laplace tiene muchas otras propiedades interesantes que la hacen
muy til para resolver problemas lineales con valores iniciales.
(, ) () = lim (, ) (). (1)
0 0
Si existe el lmite en (1), entonces se dice que la integral existe o es convergente; si no existe el
lmite, la integral no existe y es divergente. En general, el lmite en (1) existir slo para ciertos
valores de la variable .
Evale {1}.
SOLUCIN De (2),
+ 1 1
{1} = (1) = lim = lim | = lim =
0 0 0
El uso del signo de lmite se vuelve un poco tedioso, por lo que se adopta la notacin |
0
como
abreviatura para escribir lim ( )| 0. Por ejemplo,
1
{1} = (1) = | = , > 0.
0 0
Evale {}.
SOLUCIN De la definicin 7.1.1 se tiene {} = 0 . Al integrar por partes y usando
lim = 0, > 0, junto con el resultado del ejemplo 1, se obtiene
1 1 1 1 1
{} = | + = {1} = ( ) = 2 .
0 0
Evale { 3 }.
3 } 3 (+3)
(+3) 1
{ = = = | = , > 3.
0 0 +3 0 +3
El resultado se deduce del hecho de que l lim (+3) = 0 para + 3 > 0 o > 3.
Evale { 2}.
2 2
= 2
2 { 2}.
En este punto se tiene una ecuacin con { 2} en ambos lados de la igualdad. Si se despeja
esa cantidad el resultado es
2
{ 2} = , > 0.
2 + 4
siempre que ambas integrales converjan para > .. Por lo que se tiene que
Como resultado de la propiedad dada en (3), se dice que es una transformacin lineal. Por
ejemplo, de los ejemplos 1 y 2
1 5
{1 + 5} = {1} + 5{} = + ,
2
y de los ejemplos 3 y 4
4 20
{4 3 10 2} = 4{ 3 } 10{ 2} = 2 .
+3 +4
Se establece la generalizacin de algunos ejemplos anteriores por medio del siguiente teorema. A
partir de este momento se deja de expresar cualquier restriccin en ; se sobreentiende que
est lo suficientemente restringida para garantizar la convergencia de la adecuada transformada
de Laplace.
1
) {1} =
! 1
) { } = +1
, = 1, 2, 3, ) { } =
) { } = ) {cos } =
2 + 2 2 + 2
) { } = ) {cosh } =
2 2 2 2
Se dice que es de orden exponencial si existen constantes , > 0 y > 0 tales que
|()| para toda > .
|| , | | , |2 cos | 2 .
2
FIGURA 7.1.4 no es de orden exponencial.
Un exponente entero positivo de siempre es de orden exponencial puesto que, para > 0,
| |
| | >
es equivalente a demostrar que el lim es finito para = 1, 2, 3, . .. El resultado se deduce con
aplicaciones de la regla de LHpital
Si es una funcin continua por tramos en [0, ) y de orden exponencial , entonces { ()}
existe para > .
DEMOSTRACIN Por la propiedad aditiva del intervalo de integrales definidas podemos escribir
{()} = () + () = 1 + 2 .
0
La integral 1 existe ya que se puede escribir como la suma de integrales en los intervalos en los
que () es continua. Ahora puesto que es de orden exponencial, existen constantes , >
0, > 0 tales que |()| para > . Entonces podemos escribir
()
|2 | | ()| = () =
para > . Puesto que () converge, la integral | ()| converge por la
prueba de comparacin para integrales impropias. Esto, a su vez, significa que 2 existe para >
. La existencia de 1 e 2 implica que existe {()} = para > .
0, 0 < 3
() = {
2, 3.
FIGURA 7.1.5 Funcin continua por tramos.
SOLUCIN La funcin que se muestra en la figura 7.1.5, es continua por tramos y de orden
exponencial para > 0. Puesto que se define en dos tramos, {()} se expresa como la suma
de dos integrales:
3
{()} = () = (0) + (2)
0 0 3
2 2 3
=0+ | = , > 0.
3
Se concluye esta seccin con un poco ms de teora relacionada con los tipos de funciones de
con las que en general se estar trabajando. El siguiente teorema indica que no toda funcin
arbitraria de es una transformada de Laplace de una funcin continua por tramos de orden
exponencial.
COMENTARIOS
i) En este captulo nos dedicaremos principalmente a funciones que son continuas por tramos y
de orden exponencial. Sin embargo, se observa que estas dos condiciones son suficientes pero
no necesarias para la existencia de la transformada de Laplace. La funcin () = 1/2 no es
continua por tramos en el intervalo [0, ), pero existe su transformada de Laplace. Vea el
problema 42 en los ejercicios 7.1.
ii) Como consecuencia del teorema 7.1.3 se puede decir que las funciones de como 1 () = 1 y
2 () = /( + 1) no son las transformadas de Laplace de funciones continuas por tramos de
orden exponencial, puesto que 1 () 0 y 2 () 0 conforme . Pero no se debe concluir
de esto que 1 () y 2 () no son transformadas de Laplace. Hay otras clases de funciones.
EJERCICIOS 7.1
1, 0<1
1. () = {
1, 1
Solucin:
4, 0<2
2. () = {
0, 2
Solucin:
, 0<1
3. () = {
1, 1
Solucin:
2 + 1, 0<1
4. () = {
0, 1
Solucin:
, 0<
5. () = {
0,
Solucin:
0, 0 < /2
6. () = {
1, /2
Solucin:
7.
8.
9.
11. () = +7
Solucin:
12. () = 25
Solucin:
13. () = 4
Solucin:
14. () = cos
Solucin:
15. () =
Solucin:
16. () = cos
Solucin:
17. () =
Solucin:
18. () =
Solucin:
19. () = 2 4
Solucin:
20. () = 5
Solucin:
21. () = 4 10
Solucin:
22. () = 7 + 3
Solucin:
23. () = 2 + 6 3
Solucin:
24. () = 4 2 + 16 + 9
Solucin:
25. () = ( + 1)3
Solucin:
26. () = (2 1)3
Solucin:
27. () = 1 + 4
Solucin:
28. () = 2 9 9 + 5
Solucin:
29. () = (1 + 2 )2
Solucin:
30. () = ( )2
Solucin:
31. () = 4 2 5 3
Solucin:
32. () = cos 5 + 2
Solucin:
33. () =
Solucin:
34. () = cosh
Solucin:
35. () =
Solucin:
36. () = cosh
Solucin:
37. () = 2 2
Solucin:
38. () = 2
Solucin:
39. () = (4 + 5)
Solucin:
40. () = 10 cos ( )
6
Solucin:
41. Una definicin de la funcin gamma est dada por la integral impropia
() = 1 , > 0.
0
a) Demuestre que ( + 1) = ().
b) Demuestre que
( + 1)
{ } = , > 1.
+1
Solucin:
1
42. Use el hecho de que (2) = y el problema 41 para encontrar la transformada de Laplace
de
43. Construya una funcin () que sea de orden exponencial pero donde () = () no sea de
orden exponencial. Construya una funcin que no sea de orden exponencial, pero cuya
transformada de Laplace exista.
Solucin:
44. Suponga que {1 ()} = 1 () para > 1 y que {2 ()} = 2 () para > 2. Cundo
{1 () + 2 ()} = 1 () + 2 () ?
Solucin:
2
45. La figura 7.1.4 indica, pero no demuestra, que la funcin () = no es de orden
exponencial. Cmo demuestra la observacin de que 2 > + , para > 0 y
2
suficientemente grande, que > para cualquier ?
Solucin:
{ sen } =
( )2 + 2
Solucin:
48. La demostracin del inciso b) del teorema 7.1.1 requiere el uso de la induccin matemtica.
Demuestre que si se supone que { 1 } = ( 1)!/ es cierta, entonces se deduce que
{ } = !/ +1 .
Solucin: