UNIVERSIDAD DE SANTIAGO DE CHILE

FACULTAD DE CIENCIA
DEPARTAMENTO DE MATEMTICA Y CIENCIA DE LA COMPUTACIN
















TRANSFORMADA DE LAPLACE
Y
ECUACIONES DE VOLTERRA


















CSAR REN FERNNDEZ RODRGUEZ
2
INDICE
RESUMEN 3
INTRODUCCION 4
CAPTULO 1: TRANSFORMADA DE LAPLACE 6
1. 1 INTRODUCCIN HISTRICA 6
1. 2 DEFINICIN Y EJEMPLOS BSICOS. 8
1. 3 CONDICIONES PARA LA EXISTENCIA DE LA TRANSFORMADA DE LAPLACE. 14
1. 4 APLICACIONES A LAS ECUACIONES DIFERENCIALES:
TRANSFORMADAS DE LAPLACE PARA DERIVADAS DE UNA FUNCIN. 23
1.5 MS APLICACIONES A LAS ECUACIONES DIFERENCIALES:
DERIVADAS E INTEGRALES DE LA TRANSFORMADA DE LAPLACE. 35
CAPTULO 2: EL TEOREMA DE CONVOLUCIN 49
2. 1 CONVOLUCIN. 49
2. 2 EL TEOREMA DE CONVOLUCIN. 52
2. 3 EL PROBLEMA MECNICO DE ABEL Y LA CURVA TAUTCRONA. 56
2. 4 CONVOLUCIN: RESPUESTA DE UN SISTEMA A UN ESTMULO. 66
CAPTULO 3: ECUACIONES DE VOLTERRA 78
3. 1 ECUACIONES INTEGRALES. 78
3. 2 ECUACIONES DE VOLTERRA DEL SEGUNDO TIPO. 80
3. 3 ECUACIONES DE VOLTERRA DEL PRIMER TIPO. 94
3. 4 INTEGRALES FRACCIONARIAS Y DERIVADAS FRACCIONARIAS. 106

REFERENCIAS 111

ANEXO A: TABLA DE TRANSFORMADA DE LAPLACE. 112
ANEXO B: FRMULAS RELATIVAS A LA TRANSFORMADA DE LAPLACE. 114
ANEXO C: TABLA DE ECUACIONES DE VOLTERRA. 116


3
RESUMEN


El siguiente trabajo aborda principalmente dos grandes temas: la transformada de Laplace y
sus aplicaciones a la resolucin de ecuaciones diferenciales, y las ecuaciones integrales de
Volterra. En ambos temas hay una gran cantidad de ejemplos resueltos que permiten
entender mejor los mtodos explicados.

En el captulo acerca de la transformada de Laplace y posteriormente en el captulo acerca
del teorema de convolucin, se ha tratado de ser bastante riguroso y completo al momento
de presentar las definiciones, teoremas y sus demostraciones y ejemplos. Para los ejemplos
se ha trabajado en base al libro de Ecuaciones Diferenciales de F. Simmons [7].

En el captulo acerca de las ecuaciones de Volterra, adems de mostrar diferentes mtodos,
se ha dado una gran cantidad de ejemplos que se complementan con una extensa lista en el
Anexo C.

Como aplicacin de inters se ha tratado en detalle el Problema Mecnico de Abel y el
problema de la curva tautcrona.

Al final del texto se encuentra una seccin dedicada al clculo fraccional, para mostrar qu
rumbos puede tener una posterior investigacin.
4
INTRODUCCION

La Transformada de Laplace es un caso especial de lo que se denomina Transformacin
Integral. Su utilidad para resolver problemas fsicos hace que sea, junto con la Transformada
de Fourier, una de las herramientas ms tiles para estos efectos.

En particular destaca su utilidad para resolver ecuaciones diferenciales ordinarias como las
que surgen al analizar, por ejemplo, circuitos electrnicos. El mtodo de Laplace consiste en
aplicar esta transformada a ecuaciones diferenciales de difcil resolucin, convirtindolas as
en problemas algebraicos simples, que pueden ser resueltos de manera sencilla. Este mtodo
se puede ilustrar con el siguiente esquema:







El objetivo del mtodo es que modificar el problema usando la transformada de Laplace y
posteriormente usar la Transformada Inversa, sea ms fcil que resolver la ecuacin
diferencial por mtodos directos. Esto resulta particularmente til cuando las funciones
involucradas no son continuas.
Ecuacin Diferencial Ordinaria
con valores iniciales
Problema
Algebraico
Transformada de Laplace
Solucin al
Problema
Algebraico
Muy fcil
Solucin a la Ecuacin
Diferencial Ordinaria
Transformada Inversa
difcil
5
Para poder hacer efectivo este mtodo se requiere de varios resultados previos.

En el Captulo 1, junto con presentar la transformada de Laplace y utilizarla para obtener la
transformada de funciones bsicas, como las potencias o la funcin exponencial, estudiamos
qu caractersticas debe tener una funcin para que exista su transformada.

Posteriormente, para poder utilizar la transformada de Laplace en la resolucin de
ecuaciones diferenciales, estudiamos diversos teoremas relacionados con la derivada y la
integral de funciones.

El captulo 2 presenta el teorema de convolucin y su aplicacin al problema mecnico de
Abel. Adems se analiza cmo la convolucin permite estudiar la respuesta de un sistema a
un estmulo, en particular de sistemas masa-resorte o de circuitos elctricos

El Captulo 3 utiliza los captulos anteriores para abordar el problema de las ecuaciones de
Volterra de primer y segundo tipo. Finalmente mostramos cmo la convolucin permite
definir la integral y la derivada fraccionaria.
6
Captulo 1: Transformada de Laplace


1. 1 Introduccin histrica

Pierre-Simon de Laplace naci el 23 de marzo de 1749
en Beaumont-en-Auge y falleci el 5 de marzo de
1827. A los 19 aos viaj a Paris a estudiar
matemticas, donde rpidamente impresion a
dAlembert, quien lo apadrin y le consigui trabajo
de profesor de matemticas en la cole Militaire.
Debido a la gran cantidad de trabajos de calidad que
present y la variedad de temas que abord, ya a los
24 aos se le conoca como el Newton de Francia. El matemtico Anders Lexell,
contemporneo de Laplace, escribi que Laplace mismo se consideraba el mejor
matemtico de Francia, y que quera opinar acerca de todo.

Entre los trabajos de Laplace destaca sobre todo su Tratado de Mecnica Celeste, obra
que public en cinco volmenes entre 1799 y 1825 y que suele considerarse como la
culminacin de la teora newtoniana de la gravitacin.

El otro gran aporte de Laplace se encuentra en el campo de la Teora de Probabilidades.
La primera edicin de la Teora Analtica de las Probabilidades fue publicada en 1812
Fig. 1. 1: Retrato de Laplace
7
y en ella consider las probabilidades desde todos los puntos de vista: presenta el mtodo
de los mnimos cuadrados, el problema de la aguja de Bufn, aplicaciones a la
mortalidad, expectativa de vida y a problemas legales; incluye tambin aplicaciones
para determinar la masa de Jpiter, Saturno y Urano, mtodos de triangulacin y un
mtodo para determinar el meridiano de Francia. Y contiene lo que hoy conocemos
como la Transformada de Laplace.

La transformada de Laplace aparece por primera vez
en el trabajo de Euler de 1769, Institutiones Calculi
Integralis, al resolver la ecuacin:
Ly My Ny U + + = .
Sin embargo, quizs por la frecuencia con que Laplace
la us y por la profundidad de los resultados que
logr, la transformada lleva su nombre.

Durante el siglo XIX se le conoca con el nombre Mtodo de Laplace y aunque hubo
muchos matemticos que contribuyeron a la teora, fue Poincar quien desarrolla de
nuevo la transformada de Laplace. Sin embargo, la transformada de Laplace como la
conocemos hoy, se debe al trabajo de Gustav Doetsch de 1937.


Fig. 1. 2: Retrato de Euler
8
1. 2 Definicin y ejemplos bsicos



Definicin 1. 2. 1:
Sean
0
: f
+
R R y pC. La Transformada de Laplace de f en p se define como:
[ ]( )
0
( ) ( ) L
px
f x p e f x dx

,
siempre que la integral exista.
L se denomina Operador de la Transformada de Laplace.
La transformada de Laplace se puede denotar de varias maneras:
[ ]( ) ( )

( ) ( ) L f x p F p f p = = .

A partir de la definicin se puede demostrar una de las propiedades bsicas ms
importantes de la transformada de Laplace:
Teorema 1. 2. 2: La Transformada de Laplace es una transformacin lineal.
Demostracin:
(i) ( ) ( ) ( ) ( )
0
( ) ( ) L
px
f x g x p e f x g x dx

+ = +



[ ]( ) [ ]( )
0
0 0
( ) ( )
( ) ( ) ( ) ( ) L L
px px
px px
e f x e g x dx
e f x dx e g x dx f x p g x p

= +
= + = +

(ii) [ ]( ) ( ) [ ]( ) p x f k dx x f e k dx x f k e p x f k
px px
) ( ) ( ) ( ) (
0 0
L L = = =

.

9
Ejemplo 1. 2. 3: Demostrar que la transformada de Laplace para ( )
n
n
f x x = es:
1
!
( )
n n
n
F p
p
+
= , con n = 0, 1, 2, ...
Solucin: (Induccin sobre n)
Caso n = 0:
En este caso: 1 ) ( = x f .
Aplicamos la definicin a esta funcin para obtener:
( )
0
0 0
1 1
lim
b
px px
b
F p e dx e
p p

= = =

.
Por lo tanto, se cumple la frmula.
Caso n = k:
Supondremos vlido para n = k 1, es decir, la hiptesis de induccin es:

( )
1
1 !
( )
k k
k
F p
p

= .
Aplicamos la definicin, y obtenemos: ( )
0
k px
k
F p x e dx

.
Integramos por partes:
( ) ( )
1
1
0 0 0
lim
b
k
k px px k px
k k
b
x k k
F p x e dx e x e dx F p
p p p

= = + =



.
Usamos la hiptesis de induccin y queda:
( ) ( )
( )
1 1
1 ! !
k k k k
k k k k
F p F p
p p p p
+

= = = .
As queda demostrada la frmula.

Nota: Hemos usado el hecho que lim 0
pb
b
e

= . Sin embargo, esto slo es vlido si

Re( p) es negativo, o equivalentemente, si Re(p) >0.
10
Ejemplo 1. 2. 4: Hallar la Transformada de Laplace para: ( )
ax
f x e = .
Solucin:
Aplicamos la definicin directamente, y queda:
( )
( ) ( )
0 0 0
1 1
a p x a p x ax px
F p e e dx e dx e
a p p a

= = = =


.
Notas:
1. En vez de escribir: ( )
0
lim
b
b
, hemos usado la notacin: ( )
0

. Esta notacin se
utilizar de ahora en adelante.
2. Al evaluar la integral, estamos asumiendo que
( )
0
a p
e

= , lo cual solamente es
cierto si: Re( ) 0 a p < . Es decir, la transformada de Laplace tiene sentido si
Re(p) > a.

Ejemplo 1. 2. 5: Hallar la transformada de Laplace para: ( ) sin f x ax = .
Solucin:
Aplicamos la definicin: ( )
0
sin
px
F p ax e dx

.
Integramos por partes, y llegamos a:
( )
0 0 0
sin
cos cos
px
px px
ax e a a
F p ax e dx ax e dx
p p p

= + =

.
Volvemos a integrar por partes, y obtenemos:
( )
0 0
cos 1
sin ( )
px
px
a ax e a a a
F p ax e dx F p
p p p p p p

= =

.
11
Hemos llegado a una ecuacin con variable F(p):
( )
2 2
2 2
( )
a a
F p F p
p p
= .
Despejamos F(p) y obtenemos la Transformada de Laplace para la funcin seno:
( )
2
2 2
a
F p
a p
=
+
.
Nota: Nuevamente hemos usado el hecho que lim 0
pb
b
e

= , lo que implica Re(p) >0.

Ejemplo 1. 2. 6: Hallar la Transformada de Laplace para: ax x f cos ) ( = .
Solucin:
Usando la definicin llegamos a la siguiente integral, muy similar a la del ejemplo
anterior: ( )
0
cos
px
F p ax e dx

.
Si integramos por partes y evaluamos, llegaremos a:
( ) ( )
*
1 a
F p F p
p p
= ,
en donde F
*
(p) es la Transformada de Laplace hallada en el ejemplo anterior.
Reemplazamos dicha transformada y obtenemos:
( )
2 2
2 2 2
2 2
2 2
1
1
.
a a
F p
p p a p
a p a
p a p
p
a p
=
+

+
=

+

=
+

Nota: Nuevamente, esto es vlido slo si: Re(p) >0.
12
Existe otra forma de obtener estos dos ltimos resultados, usando nmeros
complejos:
Ejemplo 1. 2. 7:
Sabemos que
1
( ) L
ax
e p
p a
=


.
Usando este resultado, obtenemos que:
1
( ) L
iax
e p
p ai
=


.
Racionalizamos, y queda:
(*)
2 2 2 2 2 2
( ) L
iax
p ai p a
e p i
p a p a p a
+
= = +

+ + +
.
Pero por otro lado:
(**) [ ] [ ] [ ] [ ] ) ( sin ) ( cos ) ( sin cos ) ( p ax i p ax p ax i ax p e
iax
L L L L + = + = .
Igualando las partes reales y complejas de (*) y (**), obtenemos las frmulas de los
ejemplos 1. 2. 5. y 1. 2. 6. Esta forma de llegar a las transformadas de seno y coseno,
muestra la utilidad de trabajar con nmeros complejos.

Nota: Abusando del lenguaje, a partir de ahora muchas veces anotaremos [ ] ) (x f L , en
vez de [ ] ) ( ) ( p x f L , si no hay confusin posible.

Ejemplo 1. 2. 8: Hallar la transformada de Laplace para: ( ) sinh f x ax = .
Solucin: Recordemos primero que: sinh
2
ax ax
e e
ax

= , lo que implica que:

[ ] sinh
2
L L
ax ax
e e
ax

=


.
13
Sabemos que la transformada de Laplace es lineal, por lo que podemos escribir:
[ ]
1 1
sinh
2 2
L L L
ax ax
ax e e

=

.
Ahora usamos el hecho que
1
L
ax
e
p a
=


, para obtener:
[ ]
1 1 1 1
sinh (Re( ) Re( ) )
2 2
ax p a y p a
p a p a
= > >
+
L .
Finalmente sumamos las fracciones y queda:
[ ] ( ) ( )
2 2
sinh Re
a
ax p a
p a
= >

L .

Ejemplo 1. 2. 9: Hallar la Transformada de Laplace para: ( ) cosh f x ax = .
Solucin:
Recordemos primero que: cosh
2
ax ax
e e
ax

+
= .
Usamos la linealidad de la Transformada de Laplace y la frmula
1
L
ax
e
p a
=


y
queda: [ ] ( ) ( )
2 2
1 1 1 1 1 1
cosh Re
2 2 2 2
L L L
ax ax
p
ax e e p a
p a p a p a

= + = + = >

+
.
14
1. 3 Condiciones para la existencia de la Transformada de Laplace.


La transformada de Laplace [ ]( )
0
( ) ( ) L
px
f x p e f x dx

es una integral impropia y por lo

tanto puede converger como diverger. Cabe entonces preguntarse, qu caractersticas
debe cumplir una funcin f(x), para que admita efectivamente una transformada de
Laplace?

Para responder a esta pregunta, observemos en primer lugar que la definicin de la
transformada de Laplace, escrita en forma de lmite, es: [ ]( )
0
( ) lim ( ) L
b
px
b
f x p e f x dx

=

.
Por lo tanto un primer requisito para que la transformada de Laplace exista es
que
0
( )
b
px
e f x dx

exista y para eso f(x) debe ser continua o continua por tramos en el
intervalo [ [ , 0 .

En segundo lugar, para que la integral
0
( )
px
e f x dx

converja, es necesario que el

integrando tienda a 0 lo suficientemente rpido, a medida que x . La siguiente
definicin nos permitir establecer un criterio para poder lograr ese objetivo.



15
Definicin 1. 3. 1:
Una funcin f(x) se dice de orden exponencial, si existen constantes 0 , > c M tales
que: ( ) 0
cx
f x M e x > .

Esto significa que una funcin es de orden exponencial, si existe alguna funcin
exponencial que la acote. Ejemplos de funciones de orden exponencial son las funciones
constantes, los polinomios y, por supuesto, las funciones exponenciales.

Veremos ahora que ser de orden exponencial es una condicin suficiente para que la
transformada de Laplace converja.
Teorema 1. 3. 2:
Si f es de orden exponencial, entonces ( ) [ ]( )
0
( ) ( ) L
px
F p f x p e f x dx

= =

converge absolutamente para Re(p)>c. Adems: ( )
Re( )
lim 0
p
F p

=
Demostracin:
En primer lugar,
( )
0 0 0 0
( ) ( )
px px px cx c p x
e f x dx e f x dx e Me dx M e dx


= =

.
Sabemos que la ltima integral converge para Re(p)>c, y se puede calcular fcilmente
que su valor es
1
p c
(ver ejemplo 1. 2. 4).
Usando el criterio de comparacin concluimos que
0
( )
px
e f x dx

tambin converge, lo
cual, a su vez significa que F(p) converge absolutamente para Re(p)>c.
16
An ms: ( )
( )
0
( )
Re
px
M
F p e f x dx
p c

Concluimos que ( ) 0 p F , cuando ) Re( p , de manera que: ( ) 0 lim
) Re(
=

p F
p


Aunque esta demostracin se basa en el hecho de estar trabajando con funciones
continuas (aunque sea por tramos) y de orden exponencial, se puede demostrar que
ninguna de estas caractersticas es necesaria. El hecho que: ( )
Re( )
lim 0
p
F p

= es vlido
siempre que F(p) exista. Esto nos lleva al siguiente corolario:

Corolario 1. 3. 3:
Si ( )
Re( )
lim 0
p
F p

, entonces F(p) no puede ser la transformada de Laplace de ninguna

funcin.

Resumiendo todo lo dicho, podemos establecer el siguiente resultado:
Teorema 1. 3. 4: Si f es una funcin continua o continua por tramos en el intervalo
[ [ , 0 y si es de orden exponencial, entonces existe la transformada de Laplace para f(x).

Ntese que el teorema no es un si y slo si, slo un si ..., entonces .... Esto significa
que una funcin puede tener transformada de Laplace, an cuando no cumpla los
requisitos de continuidad o de orden exponencial, como veremos en el siguiente
ejemplo.

17
Ejemplo 1. 3. 5: Demostrar que ( )
1
2
f x x

= no cumple las condiciones del teorema

1. 3. 4, pero que an as existe su transformada de Laplace.
Solucin:
f(x) tiene una discontinuidad infinita en x = 0, lo que implica que no es continua ni
continua por tramos en el intervalo [ [ , 0 . Es decir, no cumple las condiciones del
teorema 1. 3. 4.
Para hallar su transformada de Laplace, aplicamos la definicin:
( )
1
2
0
px
F p e x dx

.
Hacemos el cambio de variable: px = t, y obtenemos:
( )
1
2
1
2
0 0
1 1
t t
t
F p e dt e t dt
p p p

= =



.
Hacemos otro cambio de variable:
1
2
s t = y queda:
( )
2
0
2 2
2
s
F p e ds
p p p

= = =

.
Por lo tanto, ( )
1
2
L x p
p

=

.

El valor de la ltima integral se demostrar en el siguiente ejemplo.
Ejemplo 1. 3. 6: Demostrar que:
2
0
2
s
I e ds

= =

.
Solucin:
Primero calcularemos el valor de I
2
:

( )
2 2
2 2
2
0 0 0 0
x y
x y
I e dx e dy e dx dy

+


= =



.
Cambiamos a coordenadas polares y queda:
18

2
2
2
2
0 0
0
2 2 4
r
r
e
I e r dr d

= = =

.
Sacamos raz y llegamos al resultado:
2
0
2
s
I e ds

= =

.

En los siguientes ejemplos, calcularemos las transformadas de Laplace para algunas
funciones que tendrn utilidad ms adelante.
Ejemplo 1. 3. 7: Hallar la transformada de Laplace para: ( ) a x u x f = ) ( ,
donde a >0 y u(x) es la funcin paso o funcin escaln: ( )
0 0
1 0
si x
u x
si x
<
=

.
Solucin:
Si usamos la definicin de u(x), resulta que: ( )
0
1
si x a
f x
si x a
<
=

.
Aplicamos la definicin de la transformada de Laplace a esta funcin y queda:
( ) ( )
0
px pa
px px
a a
e e
F p f x e dx e dx
p p

= = = =

.
La figura 1.3 muestra la funcin f(x).

Ejemplo 1. 3. 8: Hallar la Transformada de Laplace para la funcin parte entera:
[ ] x x f = ) ( .
Solucin:
La figura 1.4 muestra la funcin f(x).
Aplicamos la definicin de la Transformada de Laplace
a esta funcin y queda:
a
1
Figura 1.3
1
1
Figura 1.4
2 3
2
19
( ) [ ] [ ]
1
0
0
i
px px
i
i
F p x e dx x e dx
+

=

= =

.
Sin embargo, en el intervalo [ [ 1 , + i i se cumple: [ ] i x = , por lo que la transformada de
Laplace queda:
( )
( )
( )
1
1 1
1
0 0 0 0
1
i
i i px
p i px px pi
i i i i
i i i
e
F p i e dx i e dx i i e e
p p
+
+ +
+
= = = =


= = = =

.
La serie que resulta es una especie de serie telescpica. Calculando algunos
trminos es posible darse cuenta que:
( ) ( )
0 0
1 1
i
pi p
i i
F p e e
p p


= =
= =

.
Esta serie, finalmente, es una serie geomtrica de razn
p
e r

= , por lo tanto:
( )
( )
1 1
1 1
p
p p
e
F p
p e p e

= =

.

Ejemplo 1. 3. 9: Hallar la transformada de Laplace para la funcin parte decimal
(tambin conocida como funcin diente de sierra): [ ] x x x f = ) ( .
Solucin:
La figura 1.5 muestra la funcin f(x).
En este caso usaremos los resultados que ya conocemos
y la linealidad de la Transformada de Laplace:
[ ] [ ] [ ]
( ) ( )
2 2
1 1 1
( )
1 1
L L L
p
p p
e p
f x x x
p p e p e

= = =


.

1
1
Figura 1.5
2 3
20
Ejemplo 1. 3. 10: Hallar la transformada de Laplace para:
( )

>

=

x si
x si x sen
x f
0
0
.
Solucin:
La figura 1.6 muestra la funcin f(x), que puede
considerarse como un pulso.
Aplicamos la definicin de la transformada de Laplace
a esta funcin y queda: ( )
0
px
F p sen x e dx

.
Usamos integracin por partes dos veces, para llegar a la ecuacin:
( ) ( )
2
1 1 1
p
e
F p F p
p p p p


= +



Finalmente despejamos F(p) para obtener: ( )
2
1
1
p
e
F p
p

+
=
+
.

A continuacin, veremos dos ejemplos de funciones bsicas, que, sin embargo no tienen
transformadas de Laplace.
Ejemplo 1. 3. 11: Probar que
2
L
x
e


no existe.
Solucin:
Si aplicamos la definicin de la Transformada de Laplace, llegamos a:

2 2 2
0 0
L
x px x x px
e e e dx e dx



= =


.


1
Figura 1.6

21
Completamos cuadrado de binomio en el exponente:

( )
2 2
2
2 4
0
L
p p
x
x
e e dx

=


.
Ahora hacemos el cambio de variable: ( )
2
p
u x p = R , lo que nos conduce a:

2
2 2
4
2
L
p
p
u x
e e du

=


.
Pero si
2
p
u , entonces:
2
2
1
4
p
u y, en consecuencia:
2
2
4
p
u
e e

.
Y como
2
p
edu

diverge, por el criterio de comparacin tambin lo hace

2
2
4
2
p
u
p
e du

En consecuencia, no existe la transformada de Laplace.

Ejemplo 1. 3. 12: Probar que
1
L x

no existe.
Solucin:
Si aplicamos la definicin de la Transformada de Laplace, llegamos a:

2 1
1
1
0 0 1
L
px px px
I I
e e e
x dx dx dx
x x x

= = +

_ _

La integral I
2
converge, ya que:
Si 1 x , entonces
1
1
x
, lo cual a su vez implica que:
px
px
e
e
x

,
y como
1
px
e dx

converge, tambin lo hace I

2
(por el criterio de comparacin).

22
Sin embargo, I
1
diverge, ya que:
Si [ ] 1 , 0 x , entonces:
px p
e e

,
y por lo tanto:
px p
e e
x x

.
Pero:
1 1
0 0
1
p
p
e
dx e dx
x x

=

, y esta ltima integral diverge.
Luego, por el criterio de comparacin, I
1
diverge.
En consecuencia:
1
L x

no existe.

Finalizaremos esta seccin con un ejemplo que utilizaremos en la seccin 2.4.
Ejemplo 1. 3. 13: Sea 0 > y f

(x) la funcin definida por: ( )
1
0
0
si x
f x
si x

>

.
Probar que: ( )
1
L
p
e
f x
p

=

y que: ( )
0
lim 1 L f x

=


Solucin:
La figura 1.7 muestra la funcin f

(x).
Aplicamos la definicin de la transformada de Laplace
a esta funcin obtenemos el primer resultado:
( ) ( )
0 0 0
1
px px p
px
e e e
F p e f x dx dx
p p

= = = =

.
Usando la regla de LHpital, obtenemos la segundo expresin:
( )
0 0 0 0
1
lim lim lim lim 1 L
p p
p
e pe
f x e
p p

= = = =

.

1/
Figura 1.7
23
1. 4 Aplicaciones a las ecuaciones diferenciales:
Transformadas de Laplace para derivadas de una funcin.


Ahora que ya conocemos la transformada de Laplace para las funciones ms relevantes
(para una lista ms completa, remtase al Anexo A o [6]), veremos la aplicacin ms
directa de esta transformada: la resolucin de ecuaciones diferenciales. Para eso, es
necesario primero saber cmo calcular la transformada de Laplace de la derivada de una
funcin. Es lo que estudiaremos en los siguientes teoremas.

Teorema 1. 4. 1:
Si f una funcin de orden exponencial y diferenciable para x > 0, entonces:
( ) ( ) ( ) 0 L L f x p f x f =

. (1. 4. 2)
Demostracin:
Primero aplicamos la definicin de la Transformada de Laplace y obtenemos:
( ) ( )
0
L
px
f x e f x dx

=

.
Integramos por partes para llegar a:
( ) ( ) ( )
0
0
L
px px
f x f x e p e f x dx

= +

(*)
Para evaluar la primera expresin, fijmonos que, dado que f(x) es de orden exponencial,
(esto es: ( ) 0
cx
f x M e x > ) , se tiene:
( ) ( )
( ) ( ) ( ) ( )
( )
Re Re Re
lim lim lim lim 0 (Re )
c p b p b p b pb cb
b b b b
f b e f b e M e e M e p c


= = = >
24
Por lo tanto: ( ) ( )
lim 0
pb
b
f b e

= .
Reemplazamos en (*) y obtenemos finalmente:
( ) ( ) ( ) 0 L L f x f p f x = +

, para Re(p) > c.

Teorema 1. 4. 3:
Si f(x) es una funcin de orden exponencial y que admite segunda derivada para x > 0,
entonces:
( ) ( ) ( ) ( )
2
0 0 L L f x p f x p f f =

. (1. 4. 4)
Demostracin:
Usamos el teorema 1. 4. 1 dos veces, para primero obtener:
( ) ( ) ( ) ( ) ( ) 0 L L L f x f x p f x f

= =



,
y posteriormente:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
2
0 0 0 0 L L L f x p p f x f f p f x p f f = =

.

Ambos resultados son casos especiales de un teorema ms general:
Teorema 1. 4. 5:
Si f(x) es una funcin de orden exponencial y que admite derivada hasta de orden n para
x > 0, entonces:
( )
( ) ( ) ( ) ( )
( )
( )
1 1 2
0 0 ... 0 L L
n n n n n
f x p f x p f p f f

=


(1. 4. 6)

25
Demostracin: (Por induccin)
El caso n = 1 ya fue demostrado (Teorema 1. 4. 1).
Si la frmula es vlida para n 1, entonces:

( )
( )
( )
( )
( )
( )
( )
( )
( )
1 1 1
0 L L L
n n n n
f x f x p f x f

= =




y usando la hiptesis de induccin:
( )
( ) ( ) ( ) ( )
( )
( )
( )
( )
2 1 1 2 3
0 0 ... 0 0 L L L
n n n n n n
f x p p f x p f p f f f

=


.
Simplificamos y obtenemos el resultado:
( )
( ) ( ) ( ) ( )
( )
( )
1 1 2
0 0 ... 0 L L
n n n n n
f x p f x p f p f f

=


.

La transformacin de Laplace es inyectiva. La demostracin de este hecho escapa a los
objetivos de este texto, por lo cual lo usaremos sin demostracin. La transformada
inversa, que tambin es lineal, se denomina Transformada Inversa de Laplace y el
operador
1 -
L se denomina Operador de la Transformada Inversa de Laplace.

La transformada de Laplace transforma una funcin f(x) en otra funcin F(p). Si
asumimos que estamos trabajando con funciones continuas, la inyectividad deL permite
devolvernos, es decir transformar F(p) en la funcin original f(x). Para poder hacer
esto, el siguiente teorema nos ser de mucha utilidad, sobre todo a la hora de resover
ecuaciones diferenciales.


26
Teorema 1. 4. 7: (Frmula de desplazamiento)
Si f(x) es una funcin que admite transformada de Laplace, y ( ) ( ) L f x F p =

,
entonces:
( ) ( ) L
ax
e f x F p a =

. (1. 4. 8)
Demostracin:
( ) ( )
( )
( ) ( )
0 0
L
p a x ax px ax
e f x e e f x dx e f x dx F p a


= = =

.

Los cuatro teoremas enunciados, permiten aplicar la transformada de Laplace a la
resolucin de ecuaciones diferenciales con valores iniciales.
Supongamos que queremos resolver la ecuacin diferencial ordinaria:
) (x f cy y b y a = + + con valores iniciales: ( ) ( )
0 0
0 , 0 y y y y = = .

El mtodo funciona de la siguiente manera:
1. Aplicamos la transformada de Laplace a ambos lados de la ecuacin diferencial y
usamos la linealidad de la transformada.
2. Utilizamos las frmulas (1. 4. 2) y (1. 4. 4), de manera que quede una sola
incgnita: [ ] y L
3. Despejamos [ ] y L , usando lgebra.
4. Aplicamos la transformada inversa para obtener y(x).


27
Este mtodo es el que mostramos en el esquema de la introduccin.







Antes de pasar a los ejemplos, son necesarias algunas observaciones acerca del mtodo.
1. An cuando el mtodo est presentado para una ecuacin diferencial de segundo
orden, la frmula (1. 4. 6) permite extender el mtodo a ecuaciones de orden n.
2. Lo que hace este mtodo atractivo, es que si la funcin f(x) no es muy simple,
resolver la ecuacin con mtodos tradicionales puede ser muy complicada. Al
aplicar la Transformada de Laplace (paso 1.), debemos calcular ( ) [ ] x f L , lo cual
podra ser difcil. Sin embargo, existen tablas de Transformadas de Laplace para
una amplia gama de funciones (ver Anexo A), por lo que en muchos casos ser
preferible este mtodo al mtodo tradicional.
3. Las frmulas (1. 4. 2), (1. 4. 4) y (1. 4. 6) (paso 2.), ya incluyen las condiciones
iniciales, por lo que este mtodo entregar la solucin a la ecuacin diferencial
con los valores iniciales incluidos. No es necesario, como en el mtodo
tradicional, tener que calcular la solucin general y luego una solucin particular.
Esto tambin es un punto a favor de este mtodo.
Ecuacin Diferencial Ordinaria
con valores iniciales
Problema
Algebraico
Transformada de Laplace
Solucin al
Problema
Algebraico
Muy fcil
Solucin a la Ecuacin
Diferencial Ordinaria
Transformada Inversa
difcil
28
4. Aplicar la Transformada Inversa (paso 4.) puede ser engorroso y muchas veces se
requiere de mtodos tediosos como el mtodo de fracciones parciales. Esto se
ver en los ejemplos que presentaremos. Aunque esto podra ser una desventaja
para este mtodo, creemos que las ventajas son mayores. Adems frmulas como
la frmula (1. 4. 8) y otras que veremos a continuacin, amplan mucho las
posibilidades de aplicar la Transformada Inversa.

Ejemplo 1. 4. 9: Resolver la ecuacin diferencial con valores iniciales:
2 5 3 sin
x
y y y e x

+ + = , con valores iniciales: ( ) ( ) 0 0, 0 3 y y = = .

Solucin:
Aplicamos la transformada de Laplace a ambos lados de la ecuacin
2 5 3 sin
x
y y y e x

+ + = , y queda:
[ ] [ ] [ ] 2 5 3 L L L L
x
y y y e sen x

+ + =

.
Ahora aplicamos las frmulas (1. 4. 2) y (1. 4. 4) en las expresiones de la izquierda, y
la frmula (1. 4. 8) en la expresin de la derecha, de manera de obtener:
[ ] ( ) ( ) [ ] ( ) ( ) [ ]
( )
2
3
0 0 2 0 5
1 1
2
p L p L L y p y y y y y
p
+ + =
+ +
.
Usamos los valores iniciales y simplificamos:
[ ] [ ] [ ]
( )
2
3
3 2 5
1 1
2
p L L L y p y y
p
+ + =
+ +
.
Si despejamos [ ] y L y simplificamos, llegamos a:
[ ]
( )
( )( )
2
2 2
3 2 3
2 5 2 2
L
p p
y
p p p p
+ +
=
+ + + +
.
29
Para poder aplicar la transformada Inversa, necesitamos escribir esta ltima
expresin de manera de poder reconocer transformadas bsicas. Para eso usamos
fracciones parciales:
[ ]
( )
( )( )
2
2 2 2 2
3 2 3
2 5 2 2 2 5 2 2
L
p p
Ap B Cp D
y
p p p p p p p p
+ +
+ +
= = +
+ + + + + + + +

Lo cual implica que:

( ) ( )( ) ( )( )
2 2 2
3 2 3 2 2 2 5 p p Ap B p p Cp D p p p + + = + + + + + + + .
Dndole valores a p, obtenemos un sistema de ecuaciones:

0 : 9 2 5
1 : 18 5 5 8 8
0; 2; 1
1: 6 4 4
2: 9 4 2 10 5
si p B D
si p A B C D
A C B D
si p A B C D
si p A B C D
= = +
= = + + +
= = = =
= = + +
= = + +

Es decir: [ ]
( ) ( )
2 2 2 2
2
2 1 2 1
2 5 2 2
1 2 1 1
L y
p p p p
p p
= + = +
+ + + +
+ + + +
.
Usamos la frmula (1. 4. 8) y el hecho que: [ ]
2 2
sin L
a
ax
p a
=
+
para encontrar la
solucin a la ecuacin diferencial:
( ) ( ) sin 2 sin sin 2 sin
x x x
y x e x e x x x e

= + = + .

Aparte de la frmula de desplazamiento (frmula (1. 4. 8)), existen otras frmulas que
permiten calcular la transformada Inversa. Mostraremos dos, antes de seguir con los
ejemplos.


30
Teorema 1. 4. 10: (Integral para la Transformada de Laplace)
Si f(x) es una funcin que admite transformada de Laplace, y ( ) [ ] ( ) p F x f = L , entonces:
( )
( )
0
L
x
F p
f s ds
p

=

(1. 4. 11)
Demostracin:
Sea ( ) ( )
0
x
y x f s ds =

.
Esta funcin cumple que: ( ) ( ) y x f x = y adems tiene la condicin inicial: y(0) = 0.
Por el Teorema 1. 4. 1, sabemos que: [ ] [ ] ( ) 0 L L y p y y = .
Reemplazamos los datos anteriores en esta frmula y queda:
( ) ( )
0
0 L L
x
f x p f s ds

=

.
Dividimos por p para obtener finalmente la expresin buscada:
( )
( ) ( )
0
L
L
x
f x F p
f s ds
p p


= =

.

Teorema 1. 4. 12: (Segunda Frmula de Desplazamiento)
Si f(x) es una funcin que admite Transformada de Laplace, y ( ) ( ) L f x F p =

, y si
adems ( )
( )
0
f x a si x a
g x
x a

=

<

, entonces:
( ) ( ) L
ap
g x e F p

=

(1. 4. 13)


31
Demostracin:
( ) ( ) ( )
0
L
px px
a
g x e g x dx e f x a dx


= =

.
Hacemos el cambio de variable u = x a y queda:
( )
( )
( ) ( ) ( ) L
p u a pa pu pa
o o
g x e f u du e e f u du e F p

+
= = =

.
Nota: Este teorema es una generalizacin del ejemplo 1. 3. 7 de la seccin anterior.

Ejemplo 1. 4. 14: Calcular
( )
1
1
-1
L
p p


+


.
Solucin:
Resolveremos este ejercicio de dos maneras.
1 Forma:
Al igual que en el ejemplo anterior, podemos usar fracciones parciales y llegamos
a que:
( )
1 1 1
1 1 p p p p
=
+ +
.
Por lo tanto:
( )
1 1 1 1 1
1
1 1 1
-1 -1 -1 -1
L L L L
x
e
p p p p p p

= = =


+ + +



2 Forma:
Fijmonos que:
( )
( ) 1
1
-1 -1
L L
F p
p p p

=

+


, con ( )
1
1
F p
p
=
+
.
La frmula (1. 4. 11), dice que:
( )
( )
0
-1
L
x
F p
f s ds
p

=



.
32
En nuestro caso, como ( )
1
1
F p
p
=
+
, entonces: ( )
x
e x f

= , por lo tanto:

( )
0
0
1
1
1
-1
L
x
x
s s x
e ds e e
p p


= = =

+



.

Ejemplo 1. 4. 15: Resolver la ecuacin: ( )
0
4 5
x
x
y y y s ds e

+ + =

, con: ( ) 0 0 = y .
Solucin:
Hay dos maneras de enfrentar este problema, que desarrollaremos en paralelo para
evidenciar las ventajas o desventajas de cada uno:
1 Forma:
Derivaremos a ambos lados, para
transformar la ecuacin en una ecuacin
diferencial de segundo orden. Sin embargo,
necesitamos otro valor inicial, que
calcularemos primero:
1. Evaluamos en x = 0:
( ) ( ) ( )
0
0
0
0 4 0 5 y y y s ds e

+ + =

Usamos el valor inicial dado y
llegamos a: ( ) 1 0 = y .


2 Forma:
1. Aplicamos directamente la
transformada de Laplace a ambos
lados:
[ ] [ ]
0
4 5 L L L L
x
x
y y y dx e

+ + =

2. Usamos las frmulas (1. 4. 2),
(1. 4. 4) y (1. 4. 11), para
simplificar la expresin anterior y
obtenemos:
[ ] [ ]
[ ] 1
4 5
1
L
pL L
y
y y
p p
+ + =
+
.


33
2. Derivamos la ecuacin con respecto
a x y obtenemos la siguiente
ecuacin diferencial:
4 5
x
y y y e

+ + =
con valores iniciales:
( ) 0 0 = y e ( ) 1 0 = y
3. Aplicamos la transformada de
Laplace, tal como hicimos en el
ejemplo 1:
[ ] [ ] [ ] 4 5 L L L L
x
y y y e

+ + =

,
usamos las frmulas (1. 4. 2) y
(1. 4. 4):
[ ] [ ] [ ]
1
1 4 5
1
2
p L pL L y y y
p
+ + =
+
,
y despejamos [ ] y L :
[ ]
( )( )
2
4 5 1
L
p
y
p p p
=
+ + +

3. Multiplicamos por p y despejamos
[ ] y L , de manera que:
[ ]
( )( )
2
4 5 1
L
p
y
p p p
=
+ + +


_

Por ambos mtodos se llega a lo mismo, pero
es evidente cun poderosa es la transformada
de Laplace con frmulas como (1. 4. 11).
El resto del ejercicio es similar al ejemplo 1. 4. 9.
Para poder aplicar la transformada Inversa, necesitamos escribir la ltima expresin
obtenida, dejando transformadas bsicas. Para eso se usan fracciones parciales:
[ ]
( )( )
2 2
4 5 1 4 5 1
L
p Ap B C
y
p p p p p p
+
= = +
+ + + + + +
.
34
Lo cual implica que:
( )( ) ( )
2
1 4 5 p Ap B p C p p p = + + + + + .
Dndole valores a p, obtenemos los siguientes resultados:

1
2
5 5
2 2
1
2
1: 1 2
0 : 0
1 : 1 2 5 5
si p C C
si p B B
si p A A
= = =
= = =
= = + =

Es decir:

[ ]
( )
( )
( )
( ) ( )
5 1 1
2 2 2
2
2
2 2
4 5 1
2 3
1 1 1
2 2 1
2 1
2
1 1 1 1
3
2 2 1
2 1 2 1
L
p
y
p p p
p
p
p
p
p
p p
+
= +
+ + +
+ +
=
+
+ +

+
= +
+
+ + + +


Aplicamos la Transformada Inversa, usando la frmula (1. 4. 8) para encontrar la
solucin a la ecuacin diferencial:
( ) ( )
2 2
1 1 1 1
2 2 2 2
cos 3 sin cos 3sin
x x x x x
y x e x e x e e x x e

= + = +

.


35
1.5 Ms aplicaciones a las ecuaciones diferenciales:
Derivadas e integrales de la Transformada de Laplace



En la seccin anterior, vimos cmo funciona la transformada de Laplace en la resolucin
de ecuaciones diferenciales. En particular, resolvimos ecuaciones del tipo
) (x f cy y b y a = + + , en donde los coeficientes a, b y c eran constantes. Sin embargo, si
estos coeficientes son polinomios en vez de constantes, tambin es posible aplicar la
transformada de Laplace. La complicacin est en que si aplicamos la transformada de
Laplace en estos casos, inevitablemente llegaremos a expresiones, por ejemplo, del tipo
2
L x y

o [ ] y x L .
En esta seccin veremos justamente frmulas que sern de gran utilidad para enfrentar
casos como esos.

Teorema 1. 5. 1:
Si f(x) es una funcin que admite transformada de Laplace, y ( ) ( ) L f x F p =

,
entonces:
( ) ( ) L xf x F p =

(1. 5. 2)
( ) ( )
2
L x f x F p =

(1. 5. 3)
y en general: ( ) ( )
( )
( ) 1 L
n
n n
x f x F p =

(1. 5. 4)


36
Demostracin:
Por definicin: ( )
0
( )
px
F p e f x dx

.
Si derivamos a ambos lados con respecto a p, obtenemos:
( ) ( )
0
( )
px
F p e x f x dx

,
es decir: ( ) ( ) L xf x F p =

.
Derivando otra vez se obtiene (1. 5. 3) e inductivamente la frmula general (1. 5. 4).

Teorema 1. 5. 5:
Si f(x) es una funcin que admite transformada de Laplace, y ( ) ( ) L f x F p =

,
entonces: ( ) ( ) ( )
L
d
x f x p F p
dp
=

(1. 5. 6)
( ) ( ) ( ) ( )
2
0 L
d
x f x p F p p f
dp
=

(1. 5. 7)
y en general:
( )
( ) ( )
( )
( )
1
1
1
0 L
n
n n k n k
k
d
x f x p F p p f
dp

=


=

(1. 5. 8)
Demostracin:
Sabemos, por el teorema anterior, que: ( ) [ ] ( ) p F x xf = L (frmula (1. 5. 2)).
Por otra parte, por el teorema 1. 4. 1 sabemos que: ( ) ( ) ( ) 0 L L f x p f x f =


(frmula (1. 4. 2)).
Usando la primera de estas frmulas (frmula (1. 5. 2)), obtenemos:
( ) ( ) ( )
L L
d
x f x f x
dp
=


37
Ahora usamos la segunda frmula (frmula (1. 4. 2)) y simplificamos:
( ) ( ) ( ) ( ) ( ) ( )
0 L L L
d d
x f x p f x f p f x
dp dp
= =

.
Los otros dos resultados se demuestran anlogamente. La nica diferencia es que para
demostrar la segunda expresin se debe usar la frmula (1. 4. 4), en vez de la frmula
(1. 4. 2), y para el resultado general, la frmula (1. 4. 6).

Ejemplo 1. 5. 9: Probar que: [ ]
( )
2 2
2
2 2
cos L
p a
x ax
p a

=
+
.
Solucin:
Aplicamos la frmula (1. 5. 2) ( ( ) ( ) L xf x F p =

):
[ ] [ ]
( )
2 2 2
2 2 2
2 2
cos cos L L
d d p p a
x ax ax
dp dp p a
p a

= = =

+
+
.

Ejemplo 1. 5. 10: Hallar:
( )
1
2
2 2
1
L
p a

+

.
Solucin:
Observemos que:
( ) ( )
2 2 2
2 2 2 2
2 2 2 2
1 2 p a a
p a
p a p a

=
+
+ +
.
Si aplicamos la transformada inversa a ambos lados de esta expresin, y usamos el
resultado del ejemplo anterior, obtenemos:

( )

=
2
2 2
2
1
1
1
2 sin cos
a p
a ax ax x
a
L .
38
Despejamos
( )
1
2
2 2
1
L
p a

+

, para llegar a:

( )

ax x
a
ax
a
a p
cos
sin
2
1 1
1
2 2
2 2
L .

Ejemplo 1. 5. 11: Resolver la siguiente ecuacin diferencial con valores iniciales:
( ) ( ) 3 1 4 9 0 xy x y x y + + = , con: ( ) 0 0 = y .
Solucin:
Aplicamos la transformada de Laplace a ambos lados de la ecuacin:
[ ] [ ] [ ] [ ] [ ] 3 4 9 0 L L L L L xy xy y xy y + = .
Ahora usamos las frmulas (1. 5. 8), (1. 5. 6), (1. 4. 2) y (1. 5. 2) en las cuatro
primeras transformadas respectivamente, adems de la condicin inicial, de manera
de obtener:
[ ]
( )
[ ] ( ) [ ] [ ] [ ] 3 4 9 0
2
p L p L L L L
d d d
y y p y y y
dp dp dp
+ + = .
Calculamos las derivadas de los productos. Para simplificar, haremos [ ] L y Y = .
2 3 3 4 9 0
2
p p
dY dY dY
pY Y pY Y
dp dp dp
+ =
( )
( ) 3 4 2 3 9 0
2
p p-
dY
p p Y
dp
+ + + + + = .
Separamos variables:

1 3 12
3 4
2
-
p
dY dp
Y
p p
+
=
+

1 3
1 -
dY dp
Y p
= .
39
Integramos a ambos lados:
( ) ln 3ln 1 ln Y p c = + ,
lo cual implica finalmente que:
[ ]
( )
3
1
L
c
y
p
=

.
Usamos la frmula de desplazamiento (1. 4. 8) y el hecho que:
2
3
2
L x
p
=

para
encontrar la solucin a la ecuacin diferencial: ( )
2
2
x
c
y x x e = .

Ejemplo 1. 5. 12.: Resolver la ecuacin diferencial con valores iniciales:
( ) ( ) 2 3 3 3
x
xy x y x y e

+ + + + = , con: ( ) 0 0 = y .
Solucin:
Aplicamos la transformada de Laplace a ambos lados de la ecuacin:
[ ] [ ] [ ] [ ] [ ] 2 3 3 L L L L L L +3
x
xy xy y xy y e

+ + + =

.
Usamos las frmulas y la condicin inicial, de manera de obtener:

( )
( )
3
2 3 3
1
2
d dY
p Y pY pY Y
dp dp p
+ + =
+
, donde [ ] Y y = L .
Calculamos las derivadas de los productos:
( ) ( )
( )
2
3
2
1
3
2 2 3 3
1
3
1
1
1 3
1
1
2
p
Y dY dY
Y Y
dp dp
dY
p
dp
dY
dp
d
pY p Y p
dp p
p Y
p
Y
p
p

+
+ + =
+
+ =
+
=
+
+

40
Esta es una ecuacin diferencial lineal, cuya solucin es:

( )
( )
2
1
1
1
Y c p
p
= + +
+
.
Sabemos que ( ) lim 0
p
F p

= , y para eso es indispensable que c = 0. Por lo tanto:

( )
2
1
1
Y
p
=
+
.
Y de esto se deduce finalmente que: ( )
x
y x xe

= .

Aunque la transformada de Laplace es una muy buena herramienta para resolver
ecuaciones diferenciales, hay que sealar que el mtodo mostrado anteriormente no
siempre es til.
Por ejemplo, si la ecuacin diferencial es:
2
0 y x y + = , con: ( )
0
0 y y = , ( )
0
0 y y = , y
aplicamos la transformada de Laplace a ambos lados, obtendremos:
2
0 0
0 p Y py y y + = , o, equivalentemente:
2
0 0
y p Y py y + = , que es, en esencia, la
misma ecuacin diferencial de la que partimos. El mtodo no sirve en este caso.

Los teoremas anteriores, as como los ejemplos, tienen que ver con la derivada de la
transformada de Laplace y tambin con la transformada de Laplace de una derivada. De
la misma manera, analizaremos la transformada de Laplace de una integral y la integral
de una transformada de Laplace.


41
Teorema 1. 5. 13:
Si f(x) es una funcin que admite Transformada de Laplace, y ( ) ( ) L f x F p =

,
entonces:
( )
( ) L
p
f x
F s ds
x

=



(1. 5. 14)
Demostracin:
Sea
( )
( ) L
f x
G p
x

=


.
Si aplicamos la frmula (1. 5. 2), obtenemos: ( )
( )
( ) ( ) L L
f x
G p x f x F p
x

= = =




y en consecuencia: ( ) ( ) ( ) ( )
p a
a p
G p G a F s ds F s ds = =

, a. (*)
Recordemos que el corolario 1. 3. 3 establece que: ( ) lim 0
p
F p

= . Por lo tanto, si
aplicamos lmite a (*), obtendremos: ( ) lim 0
a
G a

= , y esto nos lleva finalmente a la

expresin buscada: ( ) ( )
p
G p F s ds

.

Teorema 1. 5. 15:
Si f(x) es una funcin que admite transformada de Laplace, y ( ) ( ) L f x F p =

, y si
adems
( )
0
f x
dx
x

existe, entonces:
( )
( )
0 0
f x
dx F p dp
x

=

(1. 5. 16)
Demostracin:
Sabemos que
( )
( ) L
p
f x
F s ds
x

=



y que, por definicin:
( ) ( )
0
L
px
f x f x
e dx
x x

=



.
Igualando ambas expresiones y haciendo tender p a 0, se demuestra el teorema.
42
Ejemplo 1. 5. 17: Calcular la integral:
0
ax bx
e e
dx
x

(a, b > 0).

Solucin:
Aplicamos directamente la frmula (1. 5. 16) del teorema anterior para obtener:

0 0
L =
ax bx
ax bx
e e
dx e e dp
x

.
Usamos ahora la frmula para la transformada de Laplace de la exponencial e
integramos. (No es necesario usar valor absoluto al integrar, dado que a y b son
positivos por hiptesis.)

0 0
1 1
ln ln1 ln ln
0
=
ax bx
e e p a a b
dx dp
x p a p b p b b a

+
= = =
+ + +

.

Ejemplo 1. 5. 18: Calcular la integral:
0
sin
ax
e bx
dx
x

(a, b > 0).

Solucin:
Aplicamos directamente la frmula (1. 5. 16) del teorema anterior para obtener:

0
sin
sin
0
L =
ax
ax
e bx
dx e bx dp
x

.
Usamos ahora la frmula para la transformada de Laplace de sin x desplazada (ver
frmula (1. 5. 16)) e integramos:
( )
2
2
0 0
sin
arctan arctan arctan
2
0
=
ax
e bx b p a a b
dx dp
x b b a
p a b

+
= = =

+ +

.
(En la ltima igualdad usamos la identidad trigonomtrica:
1
arctan arctan
2
x
x

+ = .)

43
Ejemplo 1. 5. 19: Demostrar que: ( )
0
sin
2
xt
f x dt
t

= =

(x > 0).
Solucin:
Usamos nuevamente la frmula (1. 5. 16):
[ ]
0
sin
sin
0
L =
xt
dt xt dp
t


.
Usamos ahora la frmula para la transformada de Laplace de sin t (ntese que la
variable es t, no x) e integramos:

2 2
0 0
sin
arctan
2
0
=
xt x p
dx dp
t p x x

= =

+


.

Ejemplo 1. 5. 20: Demostrar que: ( )
2
0
cos
2 1
x
xt
f x dt e
t

= =
+

(x > 0).
Solucin:
Sea: ( )
2
0
cos
1
xt
f x dt
t

=
+

. Esta funcin cumple varias propiedades:

( )
( )
2
0
2
1
sen xt
f x dt
t t

=
+

, ( ) ( ) f x f x = y adems ( ) 0
2
f

= y ( ) 0
2
f

= .
En efecto:

( )
( ) ( )
2
0
2
2
0
2
0
2 2
0 0 0
1
1
1
1
1
2
1 1
t sen xt
f x dt
t
t sen xt
dt
t t
sen xt
dt
t t
sen xt sen xt sen xt
dt dt dt
t
t t t t

=
+
=
+

=

+
= + =
+ +

44
( ) ( ) f x f x = , ( ) 0
2
f

= y ( ) 0
2
f

= se demuestran fcilmente.
Con todo lo anterior vemos que f(x) cumple la ecuacin diferencial con valores
iniciales:
0 y y = , con ( ) 0
2
y

= , ( ) 0
2
y

= .
Pero la solucin (nica) a esta ecuacin es:
2
x
y e

= , por lo tanto:
( )
2
0
cos
2 1
x
xt
f x dt e
t

= =
+

.


Las funciones de Bessel son muy importantes en el
estudio de vibracin de membranas circulares, por
ejemplo parlantes o tambores, o en la conduccin de
calor en un objeto cilndrico.
Sin embargo, y al igual que en el caso de la
transformada de Laplace, fue Euler quien primero
defini estas funciones y aparecen tambin en la obra de Lagrange, de donde
aparentemente Bessel sac la idea para utilizarlas en su trabajo.
Bessel us estas funciones en el estudio de un problema debido a Kepler, de determinar
el movimiento de tres cuerpos cuyas fuerzas gravitatorias se influyen mutuamente. Las
funciones de Bessel aparecen, en este contexto, como coeficientes de una expansin en
Fig. 1.8: Sello postal con la
imagen de F. W. Bessel
45
serie. Bessel estudi estas funciones ms en profundidad y public un tratado completo
acerca de ellas en Berlin en 1824.
Las funciones de Bessel forman una familia de funciones denominadas J
0
, J
1
, J
2
, ... que
surgen del estudio de la ecuacin diferencial:

( )
2 2 2
0 x y xy x n y + + = .
En el caso en que n = 0 se obtiene la funcin de Bessel de orden 0: J
0
(x).
Se puede demostrar que J
0
es la nica solucin a la ecuacin diferencial con valores
iniciales: 0 xy y xy + + = con: y(0) = 1.
Adems, aplicando las tcnicas vistas en ejemplos anteriores, no es difcil demostrar que:
( )
0
2
1
1
J x
p
=

+
L ( ver [7]).
Los siguientes ejemplos demuestran algunas propiedades de la funcin J
0
(x), asumiendo
conocidas las mencionadas anteriormente.
Ejemplo 1. 5. 21: Demostrar que: ( )
0
0
1 J x dx

.
Solucin:
Fijmonos primero que: ( )
( )
0
0
0 0
x J x
J x dx dx
x

=

= ( )
0
0
x J x dp

L .
En la ltima integral podemos usar la frmula (1. 5. 2) y se obtiene:
( ) ( )
( )
0 0
2 3
2
0 0 0 0
1
1
1
d d p
J x dx J x dp dp dp
dp dp
p
p

= = =

+
+

L .
Hacemos ahora el cambio de variables: u = p
2
+ 1 y se llega a:
( )
3
2
0
0 0
1
1
2
J x dx u du

= =

.
46
Ejemplo 1. 5. 22: Demostrar que: ( ) ( )
0
0
1
cos cos J x x t dt

=

.
Solucin:
Sea: ( ) ( )
0
1
cos cos f x x t dt

=

.
Demostraremos que f(x) cumple la misma ecuacin diferencial que J
0
(x) y que, en
consecuencia, deben ser iguales.
En efecto:
Si ( ) ( )
0
1
cos cos f x x t dt

=

, entonces:
( ) ( )
0
1
sin cos cos f x x t t dt

y tambin: ( ) ( )
2
0
1
cos cos cos f x x t t dt

Usamos integracin por partes en ( ) f x , para obtener:
( ) ( )
2
0
1
cos cos sin f x x t x t dt

.
Si denominamos ( ) , cos( cos ) h x t x t = , podemos escribir:
( ) ( )
0
1
, f x h x t dt

=

, ( ) ( )
2
0
1
, sin f x h x t x t dt

, ( ) ( )
2
0
1
, cos f x h x t t dt

.
Ahora podemos comprobar que f(x) cumple 0 xy y xy + + = , ya que:

2 2
0 0 0
1 1 1
( , ) cos ( , ) sin ( , ) xy y xy h x t x t dt h x t x t dt h x t x dt


+ + = +


y si agrupamos y simplificamos obtenemos:

2 2
0 0
1 1
( , ) cos sin 0 0 xy y xy h x t x t x t x dt dt


+ + = + = =


Adems, se cumple la condicin inicial: ( ) ( )
0 0
1 1
0 cos 0 1 1 f dt dt


= = =


47

Finalizaremos con un teorema que permite calcular la transformada de Laplace de
funciones peridicas:
Teorema 1. 5. 23:
Si f(x) es una funcin peridica con perodo a, i. e.: f(x + a) = f(x), que admite
Transformada de Laplace, y ( ) ( ) L f x F p =

, entonces:
( ) ( )
0
1
1
a
px
ap
F p e f x dx
e

. (1. 5. 24)
Demostracin:
Primero aplicamos la definicin de la transformada de Laplace:
( ) ( ) ( ) ( )
0 0
a
px px px
a
F p e f x dx e f x dx e f x dx


= = +

.
En la segunda integral hacemos el cambio de variables: x = t + a y queda:
( ) ( )
( )
( )
0 0
a
p t a px
F p e f x dx e f t a dt

+
= + +

.
Usamos la periodicidad de f(x) :

( ) ( ) ( )
( ) ( )
0 0
0
.
a
px ap pt
a
px ap
F p e f x dx e e f t dt
e f x dx e F p

= +
= +

Despejamos F(p), lo cual completa la demostracin:
( ) ( )
0
1
1
a
px
ap
F p e f x dx
e

.

48
Ejemplo 1. 5. 25: Hallar F(p), si f(x) = 1 en los intervalos de 0 a 1, de 2 a 3, de 4 a 5.
etc. y f(x) = 0 en los restantes intervalos.
Solucin:
La funcin f(x) as definida, es una funcin peridica con perodo a = 2. Por lo tanto,
si aplicamos la frmula (1. 5. 24) obtenemos:
( ) ( )
2 1
2 2
0 0
1 1
1 1
px px
p p
F p e f x dx e dx
e e


= =


.
Integrando, se llega al resultado:
( )
1 1
1
p
F p
p e

.

49
Captulo 2: El Teorema de Convolucin





2. 1 Convolucin

La convolucin es un operador matemtico que representa, en cierto sentido, la cantidad
en que se superponen dos funciones y tiene diferentes aplicaciones a la estadstica, la
ptica (una sombra es una superposicin entre la fuente lumnica y el objeto que
proyecta la sombra), la acstica (un eco es la superposicin entre el sonido original y los
objetos que lo reflejan), la ingeniera elctrica, entre otras disciplinas.

Definicin 2. 1. 1:
Dadas dos funciones f y g, se define la convolucin de f y g, y se anota f g, como:
( )( ) ( ) ( )
0
t
f g t f g t d =

Ejemplo 2. 1. 2: Hallar la convolucin de los siguientes pares de funciones:
a) f(t) = 1, g(t) = sin at
b) f(t) = e
at
, g(t) = e
bt
, donde a b
c) f(t) = t, g(t) = e
at

d) f(t) = sin at, g(t) = sin bt.
Solucin:
a) ( )( ) ( ) ( ) ( ) ( ) ( )
0 0
1 1
1 sin cos 1 cos
t t
f g t a t d a t at
a a
= = =

.
50
b) ( )( )
( ) ( ) ( )
( )
0 0 0
1 1
t t t
b t bt a b bt a b a at bt
f g t e e d e d e e e
a b a b


+ +
= = = =


.
c) ( )( )
( )
0
t
a t
f g t e d

.
Integrando por partes, se llega a:
( )( )
( ) ( )
( )
( )
( )
0 0
2
0
2
2
1 1
1 1
1 1
1
1
1 .
t t
a t a t
t
a t
at
at
f g t e e d
a a
t e
a a
t e
a a
e at
a

= +
=
=
=

d) ( )( ) ( ) ( )
0
sin sin
t
f g t a b t d =

.
Usamos la frmula trigonomtrica para transformar productos a sumas y
obtenemos:
( )( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) ( )
( )
( )
0
0
2 2
1
cos cos
2
1 1 1
sin sin
2
1 1 1 1 1
sin sin sin sin
2
1
sin sin .
t
t
f g t a b t a b t d
a b bt a b bt
a b a b
at at bt bt
a b a b a b a b
a bt b at
a b


= +

= + +

+


=


+ +

=

51
En los cuatro ejemplos anteriores, se consider la primera funcin como f(t) y la segunda
como g(t). Dara resultados distintos, si elegimos la primera funcin como g y la
segunda como f? La respuesta es no, ya que la convolucin es conmutativa como
demostraremos a continuacin.
Teorema 2. 1. 3:
Dadas dos funciones, f y g, se cumple: ( )( ) ( )( ) f g t g f t = .
Demostracin:
Por definicin: ( )( ) ( ) ( )
0
t
f g t f g t d =

.
Si se hace el cambio de variables: = t u , se obtiene:
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
0
0
t
t
f t g t f t u g u du g u f t u du g t f t = = =

.

La convolucin cumple adems otras propiedades, que se enunciarn a continuacin sin
demostracin.
Teorema 2. 1. 4:
Dadas tres funciones, f , g y h y una constante a, entonces se cumplen:
(i) ( ) ( ) f g h f g h = .
(ii) ( ) ( ) ( ) f g h f g f h + = + .
(iii) ( ) ( ) ( ) a f g f a g a f g = = .


52
2. 2 El Teorema de Convolucin


Estudiaremos ahora el importante teorema de la convolucin, que relaciona la convolucin
de dos funciones con la transformada de Laplace.
Teorema 2. 2. 1:
Supongamos que f y g poseen transformada de Laplace. Si [ ]( ) ( ) ( ) f x p F p = L y
[ ]( ) ( ) ( ) g x p G p = L , entonces:
[ ]
1
( ) ( ) F p G p f g

= L
o, equivalentemente: [ ]( ) ( ) ( ) f g p F p G p = L .
Demostracin:
Sabemos que
0
( ) ( )
ps
F p e f s ds

y que
0
( ) ( )
pt
G p e g t dt

.
Por lo tanto:
( ) ( )
0 0 0 0 0 0
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
ps pt p s t p s t
F p G p e f s ds e g t dt e f s g t ds dt e f s ds g t dt

+ +

= = =




.
Hacemos el cambio de variables u = s + t, en el que consideraremos t constante y queda:
0 0
( ) ( ) ( ) ( ) ( ) ( )
pu pu
t t
F p G p e f u t du g t dt e f u t g t du dt



= =




.
Hemos llegado a una integral de la forma:
0
.......
t
du dt


.
La regin sobre la que estamos integrando se ve en la
siguiente figura y la integral sealada barre esta regin
horizontalmente.

u
t
Fig. 2. 1:
0
.......
t
du dt



53
Sin embargo, esta misma regin tambin se puede barrer
verticalmente como se muestra en la figura 2. 2.
Este barrido corresponde a una integral del tipo:
0 0
.......
u
dt du

.
Es decir:

( )( )
0 0
0 0
0
( ) ( ) ( ) ( )
( ) ( )
.
u
pu
u
pu
pu
F p G p e f u t g t dt du
e f u t g t dt du
e f g u du

=

=


=

Pero esta ltima integral corresponde precisamente a la transformada de Laplace de la
convolucin. Hemos demostrado, pues, que:
[ ]( ) ( ) ( ) f g p F p G p = L

Ejemplo 2. 2. 2: Verificaremos el teorema de la convolucin en cada uno de los
pares de funciones del ejemplo 2. 1. 2.
Solucin:
a) Sabemos que:
1
( ) 1 ( ) f t F p
p
= = y que:
2 2
( ) sin ( )
a
g t at G p
a p
= =
+
.
Calculamos que: ( )( ) ( )
1
1 cos f g t at
a
= .




u
t
Fig. 2. 2
54
Entonces:

[ ]( ) [ ]( )
( )
2 2
2
2 2
2 2
1
1 cos
1 1
1
1
( ) ( ).
f g p at p
a
p
a p a p
a
a
p a p
a
F p G p
p a p
=

=

+

=
+
= =
+
L L

b) Recordemos que: ( )
1
( )
kt
f t e F p
p k
= =

.
En el ejemplo 2. 1. 2 se calcul que: ( )( ) ( )
1
at bt
f g t e e
a b
=

.
Entonces

[ ]( ) ( )
( )( )
1
1 1 1
1
( ) ( ).
at bt
f g p e e p
a b
a b p a p b
F p G p
p a p b

=

=



= =

L L

c) Sabemos que:
2
1
( ) ( ) f t t F p
p
= = y que: ( )
1
( )
at
g t e G p
p a
= =

.
Sabemos, adems que: ( )( ) ( )
2
1
1 .
at
f g t e at
a
=
Entonces:

[ ]( ) ( )
( )
2
2 2
2
2 2
2
1
1
1 1 1
1 ( ) ( )
1
( ) ( ).
( )
at
f g p e at p
a
a
p a p a p
p p p a a p a
a p p a
F p G p
p p a

=


=

= =

L L

55
d) Recordemos que: ( )( ) ( )
2 2
1
sin sin f g t a bt b at
a b
=

.
Por lo tanto, para este ltimo ejemplo:

[ ]( ) [ ]( )
( )( )
( ) ( )
2 2
2 2 2 2 2 2
2 2
2 2 2 2 2 2
2 2 2 2
1
sin sin
1
( ) ( ).
f g p a bt b at p
a b
ab ab
a b p b p a
ab a b
a b p a p b
a b
F p G p
p a p b
=

=

+ +

=
+ +
= =
+ +
L L


Ejemplo 2. 2. 3: En el ejemplo 1. 5. 6 demostramos que:

( )
( )
2 2
2 2
1 1 sin
1
cos
2
ax
x x ax
a a
p a



=



+


L .
Llegaremos a este resultado, ahora usando el teorema de convolucin.
Solucin:

( )
( ) ( )
( ) ( ) ( )
( ) ( )
( )
( )
( )
( ) ( )
( )
( )
2 2 2 2 2
2 2
0
2
0
2
0
0
2
2
1 1 1
1 1
1 1
sin sin
1 1
cos cos 2
2
sin 2
1
cos
2 2
sin sin
1
cos
2 2 2
sin
1
cos
2
x
x
t x
t x
t
t
x x
p a p a
p a
a x t at dt
a a
ax ax at dt
a
at ax
ax t
a a
ax ax
x ax
a a a
ax
x ax
a a
=
=
=
=



=


+ +

+


=
=

=



=



=

L L
.

56
2. 3 El Problema Mecnico de Abel y la Curva Tautcrona.

Supongamos que tenemos un hilo cuyos extremos se
encuentran a diferentes alturas, y que un objeto de masa m
situado en el extremo superior parte desde el reposo y se
desliza hasta el extremo inferior por accin de la gravedad.

Vamos a establecer los siguientes supuestos:
1. El punto de partida (extremo superior) es (x, y).
2. El extremo inferior se encuentra en el origen.
3. El objeto que se desliza se encuentra luego de un instante t, en el punto (u, v).
4. La forma del hilo se modela segn la funcin y = y(x).
5. La distancia que le falta por recorrer al objeto (es decir, la longitud de la curva y(x)),
se modela segn la funcin s = s(t).

Hay dos preguntas fundamentales con respecto a esta situacin:
1. Si conocemos la forma del hilo, es decir, si conocemos y(x), cunto demora el
objeto en caer?
2. Si sabemos cunto demora el objeto en caer o si queremos que caiga en un cierto
tiempo, qu forma debe tener el hilo? En otras palabras, cul debe ser y(x)?


x
y
(x, y)
(u, v)
s(t)
Fig. 2.3
57
El primer problema es relativamente sencillo de resolver, en
cambio el segundo problema es mucho ms difcil y se conoce
como el Problema Mecnico de Abel, en honor al matemtico
noruego Niels Henrik Abel.

Para poder determinar y(t), usaremos el principio de
conservacin de energa. El principio de conservacin de
energa establece que a medida que el objeto cae, pierde energa potencial y gana
energa cintica, pero que la suma de esas dos energas permanece constante. Este hecho
es independiente de dnde se encuentre el objeto.
En trminos matemticos diramos: E
cintica
+ E
potencial
= Constante. (2. 3. 1)
Analizaremos esta igualdad para el punto inicial y para el punto (u, v).

En el punto inicial tenemos que:
La energa cintica es cero, ya que el objeto parte desde el reposo.
La energa potencial es: E
potencial
= m g y.
Recurdese que la energa potencial de un objeto se calcula mediante la frmula:
E
potencial
= m g h, en donde m es la masa del objeto, g es la constante
gravitacional y h es la altura a la que se encuentra el objeto.
En resumen, para el punto inicial la igualdad (2. 3. 1) se transforma en:
m g y = C. (2. 3. 2)

Fig. 2.4: Retrato de Neils Abel
58
En el punto (u, v) tenemos que:
La energa cintica es: E
cintica
=
2
1
2
ds
m
dt



.
La energa cintica para un objeto en movimiento se calcula mediante la frmula:
E
cintica
=
2
1
2
mv , en donde m es la masa y v es la velocidad del objeto.
En este caso
ds
v
dt
= .
La energa potencial es: E
potencial
= m g v, segn lo que se explic
anteriormente.
En resumen, la igualdad (2. 3. 1) se transforma en:
m g v +
2
1
2
ds
m
dt



= C. (2. 3. 3)
Como la constante C no cambia, segn el principio de conservacin de energa, podemos
igualar las expresiones (2. 3. 2) y (2. 3. 3), para llegar a que: ( )
2
1
2
ds
m mg y v
dt

=


, de
donde finalmente se deduce que: ( ) 2
ds
g y v
dt
= , o equivalentemente:

( ) 2
ds
dt
g y v
=

. (2. 3. 4)
El signo indica que el objeto se mueve hacia el origen.

El problema mecnico de Abel asume conocido el tiempo de descenso. Este tiempo, que
depende de la altura inicial y, lo denominaremos T(y) y cumple: ( )
0
0
v y v
v y v
T y dt dt
= =
= =
= =

.
59
Si remplazamos la expresin (2. 3. 4) obtenemos: ( )
( )
0
2
v y
v
ds
T y
g y v
=
=
=

.
Pero como deseamos que aparezca la variable de integracin v, usamos el hecho que:
( )
ds
s v
dv
= para escribir: ( )
( )
( )
( ) ( )
1
2
0 0
1
2 2
y y
s v
T y dv y v s v dv
g g y v

= =

.
Esta ltima integral es precisamente la convolucin de dos funciones, por lo que:
( ) ( )
1
2
1
2
T y y s y
g

=


.
Aplicamos la transformada de Laplace a ambos lados y usamos el teorema de
convolucin:
( ) ( ) ( )
1
2
1 1
2 2
T y y s y s y
g g

= =




L L L L
p
.
Finalmente reordenamos y llegamos a:
( ) ( )
1
2
2g
s y p T y

=

L L . (2. 3. 5)

Mediante esta frmula es posible calcular la curva y(x), ya que a partir de ella
obtenemos, en teora, ( ) s y y luego, usando la frmula de longitud de una curva:
( )
2
1
dx
s y
dy

= +


llegamos a una ecuacin diferencial, mediante la cual se puede
determinar y(x).


60
Una aplicacin concreta del problema mecnico de Abel lo constituye el problema de la
curva tautcrona. El problema de la curva tautcrona fue de importancia en el estudio de
los relojes de pndulo o de los pndulos, en general: con qu trayectoria debera oscilar
un pndulo de tal manera que su perodo fuese siempre el mismo, independientemente
de la amplitud de oscilacin? Esto es equivalente a encontrar la trayectoria por la que un
objeto caer en un tiempo constante, sin importar de qu altura caiga. Segn el modelo
que acabamos de presentar, esto significa que T(y) = constante.

El problema de la curva tautcrona fue resuelto por el
astrnomo y matemtico holands Christiaan Huygens
en 1659 usando mtodos geomtricos y publicado en su
libro Horologium Oscillatorium sive de motu
pendulorum (el reloj de pndulo y el movimiento
pendular) en 1673.
Huygens requera de una forma de medir el tiempo de
manera precisa para sus estudios astronmicos y fue as
que abord este problema. En 1656, Huygens patent el
reloj de pndulo, que mejoraba sustancialmente la forma de medir el tiempo.




Fig. 2.5: Retrato de
Christiaan Huygens
61
Ejemplo 2. 3. 6: La curva tautcrona.
Hallar la forma del hilo, es decir y(x), si el tiempo de descenso es constante,
independientemente de la altura del punto inicial.
Esta curva se denomina curva tautcrona.
Solucin:
En este caso ( )
0
T y T = , y por lo tanto, ( )
0
T
T y
p
=

L .
Reemplazamos esto en la frmula (2. 3. 5) y obtenemos:
( )
1 1
2 2
0 0 0
2 2 2 g g g
s y T p T T y
p

= =




L = L .
Aplicando la transformada inversa, llegamos a que:
( )
2
0
2
2gT
s y
y
= .
Como ( )
2
1
dx
s y
dy

= +


, se deduce que:

2
1
dx K
dy y

+ =


, con
2
0
2
2gT
K

= .
Eliminamos el cuadrado, separamos variables y obtenemos:
1
K K y
dx dy dy
y y

= = .
Integramos:
K y
x dy
y

.
Hacemos el cambio de variables
2
y K sen = y se llega a que:
( )
2
2 cos 2 2
2
K
x K d sen C = = + +

.
Pero como la curva debe pasar por el origen, C = 0.

62
En resumen, la curva tautcrona tiene coordenadas paramtricas:
( ) 2 2
2
K
x sen = + e ( )
2
1 cos 2
2
K
y K sen = =
Ambas expresiones se pueden simplificar. Si hacemos:
2
K
a = y 2 = ,
obtenemos las coordenadas parmetricas de la curva tautcrona:

( )
( ) 1 cos
x a sen
y a

= +

Esta curva es tambin conocida como cicloide.

La siguiente imagen muestra cuatro estados de un pndulo que usa la cicloide tanto como
delimitacin como para el trayecto del extremo del pndulo.


Huygens de hecho construy un reloj usando un pndulo
como el que se muestra. Sin embargo,
desafortunadamente el roce del pndulo con las paredes
con forma de cicloide introducen un error y a la larga se
pierde ms de lo que se gana con usar la forma de
cicloide. En la figura 2.7, se puede ver arriba a la derecha
un pndulo acotado por dos paredes con forma de
cicloide.

Fig. 2.6: Cuatro estados de un pendulo acotado por dos cicloides
Fig. 2.7: Diagramas del Horologium
oscillatorium de Huygens
63
Veamos una forma diferente de resolver este problema
Ejemplo 2. 3. 7:
La frmula (2. 3. 5), ( ) ( )
1
2
2g
s y p T y

=

L L , se puede escribir tambin como:
( ) ( )
( )
( )
1
2
1
2
2
2
2
g
s y p T y
p
g
p y T y
g
p y T y

=


=





=



L L
L L
L
.
Sabemos que: ( ) ( ) ( ) 0 p f x f x f = +

L L , por lo tanto:
( ) ( ) ( ) ( )
1 1
2 2
2
0
g d
s y y T y y T y
dy


= +





L L .
Pero ( ) ( )
1
2
0 0 y T y

=


, por lo que:
( ) ( )
1
2
2g d
s y y T y
dy


=




L L .
Aplicamos la transformada inversa y obtenemos:
( ) ( )
1
2
2g d
s y y T y
dy

=


,
o equivalentemente:
( )
( )
0
2
y
T t g d
s y dt
dy y t
=

. (2. 3. 8)
Esta frmula nos permite resolver el problema de la curva tautcrona de una manera
alternativa.
En efecto, si ( )
0
T y T = , entonces:
( )
1
0
2
0
0 0
2 2
y
y
T
dt T y t T y
y t
= =

.
64
Si reemplazamos en la frmula (2. 3. 8), obtenemos:
( )
( )
2
0
0
2
2 2
2
g gT d
s y T y
dy y
= = .
Esta expresin es idntica a la que habamos llegado en el ejemplo anterior y de aqu
se resuelve como ya se vio.

Ejemplo 2. 3. 9: Resolver el problema mecnico de Abel, es decir hallar la curva de
descenso, si el tiempo de descenso es ( ) T y k y = , con k: constante.
Solucin:
Al igual que en ejemplo anterior, usaremos la frmula (2. 3. 8):
( )
( )
0
2
y
T t g d
s y dt
dy y t
=

.
Haciendo los cambios de variables: u t = y posteriormente sin u y z = , la integral

( )
0
y
T t
I dt
y t
=

se transforma en:

2
2
2
0 0
sin 2
2 cos
2 2
z
I yk z dz yk z ky

= = + =

.
Reemplazamos en la frmula (2. 3. 8) y obtenemos:
( )
2 2
2 2
g gk d k
s y y
dy

= =


.
Y como ( )
2
1
dx
s y
dy

= +


, llegamos a que:

2
2 2 2
1 1 1 .
2 2 2
gk dx dx gk gk
dx dy
dy dy

= + = =



65
Integrando a ambos lados, y haciendo
2
1
1
2
c
gk
=

llegamos a que la curva de

descenso es la recta: y = cx.

Es interesante notar que si
2
k
g
= , entonces c = , lo cual significa que la curva de
descenso es una recta vertical y por lo tanto hablamos de cada libre. Y efectivamente
es un hecho conocido que el tiempo que demora un cuerpo en caer desde una altura
inicial y es
2
T y
g
= .

Ejemplo 2. 3. 10: Probar que la ecuacin diferencial
2
y a y f + = , con
( ) ( ) 0 0 0 y y = = tiene a ( ) ( ) ( )
0
1
sin
x
y x f t a x t dt
a
=

como solucin.
Solucin:
Aplicamos la transformada de Laplace a ambos lados y obtenemos:
[ ] [ ] [ ]
2
y a y f + = L L L .
Usamos las frmulas (1. 4. 4) y (1. 4. 2) y las condiciones iniciales y queda:
[ ] [ ] [ ]
2 2
p y a y f + = L L L .
Esto se puede rescribir como:
[ ] [ ] ( ) ( )
2 2
1 sin 1
sin
ax
y f f x ax f x
a a p a

= = =

+
L L L L L .
Aplicamos la transformada inversa y obtenemos el resultado deseado:
( ) ( ) ( )
0
1
sin
x
y x f t a x t dt
a
=

.
66
2. 4 Convolucin: Respuesta de un sistema a un estmulo.


Cualquier sistema fsico puede pensarse como un dispositivo que transforma una funcin
(o seal) de entrada (estmulo o input) en una funcin (o seal) de salida (respuesta o
output). As por ejemplo la fuerza del viento (funcin de entrada) acta sobre un edificio
(sistema) y este empieza a oscilar (funcin de salida).



Tanto la funcin de entrada como la de salida y como las caractersticas del sistema
pueden ser desconocidas. A veces se conoce la funcin de entrada y se desea obtener (o
se conoce) una cierta respuesta a ese estmulo. El problema entonces es disear o
determinar el sistema que responde de esa manera.
En otros casos se conoce el sistema y la respuesta y se desea obtener informacin acerca
del estmulo que caus dicha respuesta. Por ejemplo, en accidentes de trnsito se conoce
la respuesta (el auto chocado, las huellas dejadas al frenar, etc.), se conocen tambin
algunas caractersticas del sistema (el tiempo, el estado de la calle, la hora del da, etc.) y
se desea inferir, por ejemplo, con qu velocidad viajaba el auto.
Sacar informacin acerca de un terremoto, analizando el registro de un sismgrafo y
conociendo, por supuesto, las caractersticas del sismgrafo es otro ejemplo.

funcin de entrada funcin de salida
Sistema
67
Por ltimo, puede que se desee conocer la respuesta de un sistema ante un cierto
estmulo. En estos casos la convolucin puede ser de utilidad.
Pero lo interesante del uso de la convolucin es que no es necesario conocer las
caractersticas del sistema. Basta conocer cmo responde el sistema ante un estmulo en
particular para poder predecir cmo responder ante cualquier otro estmulo.

Para entender cmo esto es posible, supongamos que el sistema se puede representar
mediante la ecuacin diferencial: ( ) y ay by f t + + = con condiciones iniciales:
( ) ( ) 0 0 0 y y = = . Aqu f(t) es la funcin de entrada (o estmulo), a y b son constantes que
representan las caractersticas del sistema e y(t) es la respuesta que deseamos calcular.

La funcin de entrada particular podra ser cualquiera, sin embargo se suele elegir la
funcin de paso ( )
0 0
1 0
si t
u t
si t
<
=

, por su simpleza y por su utilidad en ingeniera

elctrica, ya que representa el concepto de apagado encendido. La respuesta a la
funcin de paso la designaremos por A(t) y se conoce como respuesta indicial o
respuesta a la funcin de paso.

Tenemos entonces que: ( ) A aA bA u t + + = .
Si aplicamos la transformada de Laplace a ambos lados, usamos las condiciones iniciales
y la frmula del ejemplo 1. 3. 7, llegamos a:
[ ] [ ] [ ]
2
1
p A ap A b A
p
+ + = L L L .
68
Despejamos [ ] L A y obtenemos:
[ ]
( )
2
1 1 1 1
A
p p Z p p ap b
= =
+ +
L . (2. 4. 1)
Si hacemos lo mismo con la ecuacin original, se llega a que:
[ ] ( )
( )
1
y f t
Z p
=

L L .
La funcin Z(p) depende de los parmetros del sistema. Como aparece en ambas
frmulas, podemos usarla para obtener la siguiente igualdad:
[ ] [ ] ( ) y p A f t =

L L L .
En este punto es interesante notar dos cosas: primero, la frmula anterior no depende de
los parmetros del sistema (es decir, y como ya sealamos, no es necesario conocer las
caractersticas del sistema), pero s se requiere conocer la respuesta a una funcin
particular, en este caso la funcin paso. Segundo, en la parte derecha de la igualdad
aparece la multiplicacin de dos transformadas, y por lo tanto, usando el teorema de
convolucin la frmula se puede escribir como:
[ ] [ ] y p A f = L L .
Pero usando ( ) ( ) ( ) 0 L L f x p f x f =

(frmula (1. 4. 2)) y las condiciones iniciales,
podemos rescribir el lado derecho de esta nueva igualdad y llegar a:
[ ] ( ) y A f

=


L L .
Por lo tanto, aplicando la transformada inversa y recordando que A*f = f*A, es posible
llegar a las siguientes dos expresiones que permiten calcular la funcin respuesta:
( ) ( ) ( )
0
t
d
y t A t f d
dt
=

y ( ) ( ) ( )
0
t
d
y t f t A d
dt
=

.

69
Para simplificar an ms estas expresiones, usamos la Regla de Leibnitz:
( ) ( ) ( ) ( ) , , , ,
v v
u u
d dv du
G t x dx G t x dx G t v G t u
dt t dt dt

= +

y ambas expresiones se transforman con poco clculo en:
( ) ( ) ( )
0
t
y t A t f d =

(2. 4. 2)
( ) ( ) ( ) ( ) ( )
0
0
t
y t A t f d f A t = +

(2. 4. 3)
Estas dos frmulas permiten encontrar la funcin de respuesta de un sistema ante un
estmulo, conociendo cmo se comporta ese sistema ante la funcin paso.

Como dijimos anteriormente, la funcin particular que usamos (la funcin de paso en el
ejemplo) no es la nica que se puede usar. Podemos utilizar cualquier funcin de la cual
sepamos su respuesta. La funcin de paso es una opcin bastante lgica debido a lo
simple de su transformada de Laplace.

Otra eleccin posible es la funcin delta de Dirac, ( ) x . En el ejemplo 1. 3. 13
demostramos que si 0 > y f

(x) la funcin definida por: ( )
1
0
0
si x
f x
si x

>

,
entonces: ( )
1
L
p
e
f x
p

=

y ( )
0
lim 1 L f x

=

. La funcin delta de Dirac se define
como ( ) ( )
0
lim x f x

= y cumple entre otras, la siguiente propiedad: ( ) 1 x =

L .

70
As como la respuesta a la funcin de paso u(t) se denota por A(t) y se llama respuesta
indicial, de manera anloga para la funcin delta de Dirac la respuesta se denota por h(t)
y se llama respuesta de impulso.
Y as como al aplicar la transformada de Laplace a ambos lados obtuvimos:
[ ]( )
( )
1 1
A p
p Z p
= L ,
anlogamente, para la funcin delta de Dirac se llega a:
[ ]( )
( )
1
h p
Z p
= L . (2. 4. 4)
Ambas frmulas se pueden combinar para llegar a la igualdad:
[ ]
[ ] h
A
p
=
L
L .
Pero segn la frmula (1. 4. 11) se tiene que: ( )
( )
0
L
x
F p
f s ds
p

=

, por lo que
[ ] ( )
0
x
A h s ds

=

L L .
Eliminando la transformada de Laplace, obtenemos: ( ) ( )
0
t
A t h s ds =

.
Y derivando obtenemos: ( ) ( ) A t h t = .

Con todo lo anterior, la frmula (2. 4. 2) puede escribirse como:
( ) ( ) ( )
0
t
y t h t f d =

(2. 4. 5)
o en trminos de la convolucin:
( ) ( )( ) y t h f t = . (2. 4. 6)

71
En resumen:
Si se desea resolver la ecuacin diferencial ( ) y ay by f t + + = se pueden utilizar los
siguientes pasos:
Alternativa 1:
1. Calcular A(t) usando la frmula (2. 4. 1).
2. Calcular y(t) usando (2. 4. 2) (2. 4. 3).

Alternativa 2:
1. Calcular h(t) usando la frmula (2. 4. 4).
2. Calcular y(t) usando (2. 4. 5).

Ejemplo 2. 4. 7:Resolver la ecuacin diferencial:
( ) ( )
3
5 6 5 , 0 0 0
t
y y y e y y + + = = = .
Solucin: Usando la alternativa 1:
Paso 1: [ ]
( )( )
1 1 1
6 3 2
2
1 1 1
2 3 2 3 5 6
A
p p p p p p p p p
= = = +
+ + + + + +
L .
Aplicamos la transformada inversa:
( )
2 3
1 1 1
6 2 3
t t
A t e e

= + .
Derivamos: ( )
2 3 t t
A t e e

= .



72
Paso 2: Como ( )
3
5
t
f t e = , la frmula (2. 4. 3) queda:

( ) ( ) ( )
( ) ( )
( )
0
2 3 3
0
5 2 6 3
0
5 2 6 3
3 3 2 3
3 2 3
5
5
5
5 6
5
5 6 5 6
1 5
.
6 6
t
t
t t
t
t t
t
t t
o
t t t t
t t t
y t A t f d
e e e d
e e d
e e
e e e e
e e e

=
=
=

=



=


= +

Solucin: Usando la alternativa 2:
Paso 1: [ ]
( )( )
2
1 1 1 1
2 3 2 3 5 6
h
p p p p p p
= = =
+ + + + + +
L .
Aplicamos la transformada inversa:
( )
2 3 t t
h t e e

= .
Paso 2: Como ( )
3
5
t
f t e = , la frmula (2. 4. 5) queda:.
( ) ( ) ( )
( ) ( )
( )
2 3 3
0 0
5
t t
t t
y t h t f d e e e d



= =

.
Esto es exactamente a lo que llegamos usando el mtodo anterior, por lo que con los
mismos clculos se llega a:
( )
3 2 3
1 5
.
6 6
t t t
y t e e e

= +

73
El ejemplo anterior muestra que es levemente mejor la segunda alternativa. Por un lado, la
descomposicin en fracciones parciales del paso 1 es ms fcil y por otro lado se evita tener
que derivar.

Ejemplo 2. 4. 8:Resolver la ecuacin diferencial: ( ) ( ) 6 , 0 0 0 y y y t y y + = = = .
Solucin: (Usando la alternativa 2)
Paso 1: [ ]
( )( )
1 1
5 5
2
1 1
2 3 2 3 6
h
p p p p p p
= = =
+ + +
L .
Aplicamos la transformada inversa:
( ) ( )
2 3
1
5
t t
h t e e

= .
Paso 2: Como ( ) f t t = , la frmula (2. 4. 5) queda:

( )
( ) ( )
( ) ( )
2 3
0
2 2 3 3
2 3
2 3
1
5
1
2 1 3 1
5 4 9
1 2 1 3 1
5 4 9 4 9
1 1
.
6 36 20 45
t
t t
t
t t
o
t t
t t
y t e e d
e e
t t e e
e e
t

=

=



+
= +


= +

Ejemplo 2. 4. 9:Resolver la ecuacin diferencial: ( ) ( )
2
, 0 0 0 y y t y y = = = .
Solucin: Usando la alternativa 2:
Paso 1: [ ]
( )
2
1 1 1 1
1 1
h
p p p p p p
= = =

L .
74
Aplicamos la transformada inversa:
( ) 1
t
h t e = .
Paso 2: Como ( )
2
f t t = , la frmula (2. 4. 5) queda:

( )
( )
( )
2 2
0
3
2
3
2
3
2
2 2
3
2 2 2
3
2 2 2 .
3
t
t
t
t
o
t
t
y t e d
e
t
t t e
t
t t e

=

= + +


= + + +
= +

Nota: En los dos ltimos ejemplos no se da el detalle de algunos clculos, pero el lector
podr comprobarlos sin mayor esfuerzo.

Finalizaremos con dos aplicaciones muy estudiadas en la fsica: el sistema masa- resorte y
los circuitos elctricos.
Ejemplo 2. 4. 10: La vibracin de un sistema masa-resorte no amortiguado sobre el
cual acta una fuerza externa, se puede modelar con la ecuacin diferencial:
( ) ( ) ( ) , 0 0 0 Mx kx f t x x + = = = .
M es la masa del resorte, k la constante de rigidez del resorte, x(t) es el
desplazamiento del resorte y f(t) es la fuerza externa que acta sobre el resorte.

a) Si f(t) es la funcin paso u(t) y resolvemos aplicando la frmula (2. 4. 1), queda:
[ ]
2
1 1
A
p Mp k
=
+
L .
75
Para separar esta expresin usando fracciones parciales, hay que tener en cuenta que
tanto la masa M como la constante k son magnitudes positivas, por lo que el
denominador de la segunda fraccin no es factorizable en R. Considerando esto,
obtenemos:
[ ]
2
1 1 Mp
A
k p Mp k

=

+

L .
Aplicando la transformada inversa:
( )
1
1 cos
k
A t t
k M

=


.

b) Si, en cambio, f(t) es la funcin delta de Dirac, ( ) x y usamos la frmula (2. 4. 4),
queda:
[ ]( )
2
1
h p
Mp k
=
+
L ,
de donde: ( )
1
sin
k
h t t
M Mk

=



.

c) Para una funcin f(t) cualquiera las frmulas, (2. 4. 3) y (2. 4. 5) quedan,
respectivamente:
( ) ( ) ( ) ( )
0
1
cos 0 cos
t
k k
x t t t f d f t t
k M M


= + + +

( ) ( ) ( )
0
1
sin
t
k
x t t f d
M Mk


=

76
Ejemplo 2. 4. 11: La corriente I(t) en un circuito elctrico, con inductancia L y
resistencia R y sobre el que acta una fuerza electromotriz E(t) se modela con la
ecuacin diferencial: ( ) ( ) , 0 0
dI
L RI E t I
dt
+ = = .

a) Si E(t) = E
0
u(t) y aplicamos los mtodos ya estudiados, queda:
[ ]
0 0
1 1 E E L
I
p Lp R R p Lp R

= =

+ +

L .
Aplicando la transformada inversa:
( )
0
1
R
t
L
E
I t e
R

=


.
b) Si, en cambio, E(t) = E
0 ( ) t , queda:
[ ]
0
E
I
Lp R
=
+
L ,
de donde: ( )
0
R
t
L
E
I t e
L

= .
c) Supongamos, finalmente, que: ( )
0
E t E sen t = .
Sabemos por la frmula (2. 4. 6) que: ( ) ( ) ( ) y t h f t = , pero no conocemos h(t).
Sin embargo, h(t) se puede calcular fcilmente: en la parte b) demostramos que si
E(t) = E
0 ( ) t , entonces ( )
0
R
t
L
E
I t e
L

= .
Esto implica que si: E(t) = ( ) t , entonces ( )
1
R
t
L
I t e
L

= .
77
As: ( )
( )
( )
0
0
sin
R t
t
L
E
I t e d
L

=

.
Si usamos la siguiente frmula: ( )
2 2
sin sin cos
ax
ax
e
e bx dx a bx b bx C
a b
= +
+

,
obtenemos:

( ) ( )
0
0
0
2
2
0
0
2 2
2 2
0
2 2 2
sin
sin cos
sin cos
sin cos .
R
t
R t
L
L
t
R R
t
L L
R R
t t
L L
R
t
L
E e
I t e d
L
E e e R
L L
R
L
E e e R
t t
L L
R R
L L
LE R
t t e
L R L

=




=




+






= +




+ +



= +

+

78
Captulo 3: Ecuaciones de Volterra


3. 1 Ecuaciones integrales.

Una ecuacin en que la incgnita es una funcin ( ) x que aparece dentro de una
integral, se denomina ecuacin integral.
Existen diferentes clasificaciones de las ecuaciones integrales.

Si los lmites de integracin de la integral son constantes, la
ecuacin se denomina Ecuacin Integral de Fredholm, en
honor al matemtico sueco Erik Ivar Fredholm (1866
1927) quien estableci las bases de las ecuaciones integrales
al estudiar la electroesttica y la teora de potencial.

Si uno de los lmites de integracin de la integral es variable,
la ecuacin se denomina Ecuacin Integral de Volterra, en
honor al matemtico italiano Vito Volterra (1860 1940) y
sus estudios acerca de estas ecuaciones publicadas a fines
del siglo XIX.
Si la funcin incgnita aparece solamente dentro de la
integral, la ecuacin se denomina Ecuacin Integral del
primer tipo. Si, en cambio, aparece tanto dentro como fuera
de la integral, la ecuacin se denomina Ecuacin Integral del segundo tipo.
Fig. 3.1: Fotografa de
Erik Fredholm
Fig. 3.2: Fotografa de
Vito Volterra
79
Estas definiciones no son acuciosas, por lo que formalizaremos:
Definicin 3. 1. 1:
Una ecuacin integral de Fredholm del primer tipo es una ecuacin de la forma:
( ) ( ) ( ) ,
b
a
f x k x t t dt =

.
Una ecuacin integral de Fredholm del segundo tipo es una ecuacin de la forma:
( ) ( ) ( ) ( ) ,
b
a
f x t k x t t dt = +

.

Anlogamente definimos las ecuaciones de Volterra:
Definicin 3. 1. 2:
Una ecuacin integral de Volterra del primer tipo es una ecuacin de la forma:
( ) ( ) ( ) ,
x
a
f x k x t t dt =

.
Una ecuacin integral de Volterra del segundo tipo es una ecuacin de la forma:
( ) ( ) ( ) ( ) ,
x
a
f x t k x t t dt = +

.

Observaciones:
1. En ambos casos, las funciones f(x) y k(x, t) son funciones conocidas. k(x, t) se conoce
como el kernel o ncleo de la ecuacin integral.
2. Si f(x) = 0, la ecuacin integral se dice homognea.


111
Referencias

[1] Carl B. Boyer, Historia de la Matemtica, Manuales / Ciencia y Tecnologa, 1
Edicin, Alianza Editorial, Madrid, 1999.

[2] G. Gripenberg, S.-O. Londen, O. Staffans; Volterra Integral and Functional
Equations, Encyclopedia of Mathematics and its Applications, Vol. 34, Cambridge
University Press, Cambridge, New York, 1990.

[3] Erwin Kreiszig, Matemticas Avanzadas para Ingeniera, Vol. 1; 2 Edicin,
Limusa, 1996.

[4] Adam Loverro, 2004, Fractional Calculus: History, Definitions and Applications
for the Engineer; http://www.nd.edu/~msen/Teaching/UnderRes/FracCalc.pdf
(2006).

[5] John J. OConnor, Edmund F. Robertson, 2006, The MacTutor History of
Mathematics Archive, http://www-history.mcs.st-andrews.ac.uk (2006).

[6] Andrei D. Polyanin (Ed.), 2004 2006, EqWorld: The World of Mathematical
Equations, http://eqworld.ipmnet.ru (2006).

[7] George F. Simmons, Ecuaciones Diferenciales con Aplicaciones y notas
histricas; 2 Edicin, McGraw-Hill; Madrid, 1991.

[8] Eric Weisstein, 2006, Wolfram Mathworld, http://mathworld.wolfram.com
(2006)



112
Anexo A: Tabla de Transformadas de Laplace

Nota: Entre parntesis se encuentra el nmero del ejercicio en el texto (si corresponde).
(x) es la funcin gamma.

Transformada de Laplace de expresiones
que contienen potencias:
1. ( ) 1 f x =
1
( ) F p
p
= (1.2.3)
2. ( ) f x x =
2
1
( ) F p
p
= (1.2.3)
3.
n
x x f = ) ( ( )
0 1
!
( )
n n
n
F p n
p
+
= N (1.2.3)
4. ( )
2
1

= x x f ( )
p
p F

= (1.3.5)
5.
1
2
( )
n
f x x

=

( )
( )
1
2
1 3 2 1
( )
2
n
n n
n
F p n
p

+

=

N
6. ( ) ( 1) f x x

= > ( )
( ) 1
( ) 1 F p p

+
= +

Transformada de Laplace de expresiones
que contienen funciones exponenciales:
7.
ax
e x f = ) ( ( )
a p
p F

=
1
(1.2.4)
8. ( )
ax
f x xe = ( )
( )
2
1
F p
p a
=

9.
1
( ) ( 0)
ax
f x x e

= > ( )
( )
( )
F p
p a


=

10.
( )
1
( )
ax bx
f x e e
x
= ( ) ln
p b
F p
p a

11. ( )
a
x
f x xe

=
( )
( )
2
1
1 2
2
ap
F p ap e
p p

= +
12.
1
( )
a
x
f x e
x

= ( )
2 ap
F p e
p

=
13.
1
( )
a
x
f x e
x x

= ( )
2 ap
F p e
a

=



Transformada de Laplace de expresiones
que contienen funciones hiperblicas:
14. ( ) sinh f x ax = ( )
2 2
a
F p
p a
=

(1.2.8)
15.
2
( ) sinh f x ax = ( )
2
3 2
2
4
a
F p
p a p
=

16.
1
( ) sinh f x ax
x
= ( )
1
ln
2
p a
F p
p a
+
=

17.
1
( ) sinh ( 1) f x x ax

= >
( ) ( ) ( ) ( )
1
2
F p p a p a

= +


18. ( ) cosh f x ax = ( )
2 2
p
F p
p a
=

(1.2.9)
19.
2
( ) cosh f x ax = ( )
2 2
3 2
2
4
p a
F p
p a p

20.
1
( ) cos ( 0) f x x ax

= >
( ) ( ) ( ) ( )
1
2
F p p a p a

= + +



Transformada de Laplace de expresiones
que contienen funciones trigonomtricas:
21. ( ) sin f x ax = ( )
2 2
2
p a
a
p F
+
= (1.2.5)
22.
1
( ) sin f x ax
x
= ( ) arctan
a
F p
p

=



23.
2
1
( ) sin f x ax
x
= ( )
( )
2 2
ln 1 4
4
a p
F p

+
=
24.
2
2
1
( ) sin f x ax
x
=

( ) ( ) ( )
1 2 2
1
4
arctan 2 ln 1 4 F p a ap p a p

= +

25.
( )
( ) sin 2 f x ax = ( )
1
a
p
a
F p e
p p

=
26. ax x f cos ) ( = ( )
2 2
p a
p
p F
+
= (1.2.6)
113
27.
2
( ) cos f x ax = ( )
2 2
3 2
2
4
p a
F p
p a p
+
=
+

28. [ ]
1
( ) 1 cos f x ax
x
=
( ) ( )
2 2
1
2
ln 1 F p a p

= +
29. [ ]
1
( ) cos cos f x ax bx
x
=
( )
2 2
2 2
1
ln
2
p b
F p
p a
+
=
+

30.
( )
( ) cos 2 f x x ax =
( )
2
1
( ) 2
2
a
p
F p p a e
p p

=
31.
( )
1
( ) cos 2 f x ax
x
= ( )
a
p
F p e
p

=
32. ( ) ( ) ( ) sin sin f x ax bx =
( )
( ) ( )
2 2
2 2
2abp
F p
a b p a b p
=

+ + +


33. ( ) ( ) ( ) cos sin f x ax bx =
( )
( )
( ) ( )
2 2 2
2 2
2 2
b p a b
F p
a b p a b p
+
=

+ + +


34. ( ) ( ) ( ) cos cos f x ax bx =
( )
( )
( ) ( )
2 2 2
2 2
2 2
p p a b
F p
a b p a b p
+ +
=

+ + +


35. ( )

>

=

x si
x si x sen
x f
0
0

( )
1
1
2
+
+
=

p
e
p F
p
(1.3.10)
Transformada de Laplace de expresiones
que contienen funciones de Bessel:
36. ( )
0
( ) f x J ax =
2 2
1
( ) F p
p a
=
+

37. ( ) ( ) ( ) 1 f x J ax

= >

( )
2 2 2 2
( )
a
F p
p a p p a

=
+ + +

38. ( ) ( ) ( )
n
n
f x x J ax n = N

( )
( )
1
2 2
2
1 3 5 2 1
( )
n
n
n a
F p
p a
+

=
+

39. ( ) ( )
1
2
( ) f x x J ax

= >
( )
( )
( )
1
2
1
2
2 2
2 a
F p
p a

+
+
=
+

40. ( ) ( )
1
( ) 1 f x x J ax

+
= >
( )
( )
( )
3
2
1
3
2
2 2
2 a p
F p
p a

+
+
+
=
+

41.
( ) 0
( ) 2 f x J ax = ( )
1
a
p
F p e
p

=
42.
( ) 1
( ) 2 f x xJ ax = ( )
2
a
p
a
F p e
p

=
43.
( )
( )
2
( ) 2 1 f x x J ax

= >
( )
2
1
a
p
a
F p e
p

+
=
44.
( )
2
0
( ) f x J a x bx = +
2 2
2 2
1
( )
b p p a
F p e
p a

+


=
+


Transformada de Laplace de otras
funciones:
45. ( ) a x u x f = ) ( donde a >0 y
( )

<
=
0 1
0 0
x si
x si
x u ( )
p
e
p F
pa
= (1.3.7)
46. [ ] x x f = ) ( ( )
( ) 1
1

=
p
e p
p F (1.3.8)
47. [ ] x x x f = ) (
( ) 1
1
) (
2

=
p
p
e p
p e
p F (1.3.9)
48. ( )

>

=

x si
x si
x f
0
0
1
( 0 > )

p
e
p F
p

=
1
) (
114
Anexo B: frmulas relativas a la transformada de Laplace:

Nota: Entre parntesis se encuentra el nmero del ejercicio en el texto (si corresponde).
(x) es la funcin gamma.

Frmulas generales:
1. ( ) ( ) ( ) ( ) L af x bg x aF p bG p + = +

(1.2.2)
2. ( ) L
x
f aF ap
a

=



3.
n
x x f = ) ( ( )
0 1
!
( )
n n
n
F p n
p
+
= N (1.2.3)
4. ( )
2
1

= x x f ( )
p
p F

= (1.3.5)
5. ( ) ( )
0
1
1
a
px
ap
F p e f x dx
e

(1.5.24)
( f(x): funcin peridica con perodo a)


Transformada de Derivadas
6. ( ) ( ) ( ) 0 L f x pF p f =

(1.4.2)
7. ( ) ( ) ( ) ( )
2
0 0 L f x p F p p f f =


(1.4.4)
8.
( )
( ) ( )
( )
( )
1
1
0 L
n
n k n n k
k
f x p F p p f

=

=



(1.4.6)


Derivadas de la Transformada:
9. ( ) [ ] ( ) p F x xf = L (1.5.2)
10. ( ) [ ] ( ) p F x f x =
2
L (1.5.3)
11. ( ) [ ] ( )
( )
( ) p F x f x
n n n
= 1 L (1.5.4)
12. ( ) [ ] ( ) ( ) p F p
dp
d
x f x = L (1.5.6)
13. ( ) [ ] ( ) ( ) ( ) 0
2
f p p F p
dp
d
x f x = L (1.5.7)
14.
( )
( ) L
n
x f x

(1.5.8)
( )
( )
( )
1
1
1
0
n
n k n k
k
d
p F p p f
dp

=

=

Transformada de la integral
15. ( )
( )
p
p F
ds s f
x
=

0
L (1.4.11)
16. ( )
( )
2
0 0
p
p F
dt ds s f
x t
=

L

17. ( )( )
( )
n
x x
n
p
p F
ds s f =

0 0
L
18. ( ) ( )
0
L
x
x s f s ds

( ) ( )
( )
1
1
1
F p
p

+
+
= >
19.
( )
( )
( )
0
L
x
a x s
F p
e f s ds
p a


=

+

20. ( ) ( )
( )
2 2
0
sinh L
x
aF p
a x s f s ds
p a

=

21. ( ) ( )
( )
2 2
0
sin L
x
aF p
a x s f s ds
p a

=


+

Integral de la Transformada:
22.
( )
( )

p
ds s F
x
x f
L (1.5.14)
23.
( )
( ) ds ds s F
x
x f
p p

2
L
24.
( )
( )( )


=

p p
n
n
ds s F
x
x f
L
25.
( )
( )


=
0 0
dp p F dx
x
x f
(1.5.16)
115
Frmulas de Desplazamiento:
26. ( ) [ ] ( ) p F e x g
ap
= L , donde: ( )
( )

<

=
a x
a x si a x f
x g
0
(1.4.13)
27. ( ) ( ) L
ax
e f x F p a =

(1.4.8)
28. ( ) ( ) ( ) ( )
1
2
sinh L ax f x F p a F p a = +


29. ( ) ( ) ( ) ( )
1
2
cosh L ax f x F p a F p a = + +


30. ( ) ( ) ( ) ( )
2
sin L
i
x f x F p i F p i = +


31. ( ) ( ) ( ) ( )
1
2
cos L x f x F p i F p i = + +