Transformada de Laplace

La transformada de Laplace de una funcin f(t) definida (en ecuaciones

diferenciales, o en anlisis matemtico o en anlisis funcional) para todos
los nmeros positivos t 0, es la funcin F(s), definida por:

siempre y cuando la integral est definida. Cuando f(t) no es una funcin, sino
una distribucin con una singularidad en 0, la definicin es


Cuando se habla de la transformada de Laplace, generalmente se refiere a la
versin unilateral. Tambin existe la transformada de Laplace bilateral, que se
define como sigue:

La transformada de Laplace F(s) tpicamente existe para todos los nmeros
reales s > a, donde a es una constante que depende del comportamiento de
crecimiento de f(t).
es llamado el operador de la transformada de Laplace.

Propiedades de la Transformada de Laplace
Como la transformada de Laplace se define en trminos de una integral impropia
que puede ser divergente, existen funciones para las cuales no existe dicha
transformada, incluso hay funciones discontinuas, como la del ejemplo anterior,
que pueden tener transformada; entonces, bajo qu condiciones una funciones
tienen transformada de Laplace ?. Antes de dar una respuesta parcial a esta
pregunta debemos dar algunas definiciones.

Definicin [Funciones continuas a trozos]

Decimos que una funcin es continua a trozos si
1. est definida y es continua en todo , salvo en un
nmero finito de puntos , para .
2. Para cada los lmites

existen. Note que, solamente uno de estos lmites es pertinente
si es uno de los extremos de .

En general, el requisito de que estos lmites sean finitos en todos los puntos
implica que las nicas discontinuidades de son discontinuidades de salto, del
tipo que aparecen el la figura 1.2.


Figura 1.2


Intuitivamente podramos pensar que las funciones continuas a trozos son casi
continua o que no son demasiado discontinua.
Otra de las ideas importantes en el estudio de la existencia de la transformada de
Laplace es que entendemos porqu una funcin no crezca demasiado rpido.

Definicin [Funciones de orden exponencial]

Decimos que la funcin es de orden exponencial
si existen nmeros , y tales que

para
Intuitivamente esto significa que la funcin esta por debajo de una funcin
exponencial, como se muestra en la 1.3.


Figura 1.3
Observacin: algunas veces, para verificar que una funcin es de orden
exponencial, conviene calcular el siguiente lmite:

para algn valor de . Si es finito, entonces puede ser cualquier nmero
mayor que (y este determina ). Por otro lado, si , no es de orden
exponencial.

Ejemplo
Compruebe que es de orden exponencial.
Solucin
Para comprobar esto, apliquemos tres veces la regla de L'Hpital

para cualquier nmero positivo . Por lo tanto, si es suficientemente grande
, y as es de orden exponencial.

Ejemplo
Compruebe que la funcin es de orden exponencial para cualquier valor
de .

Solucin
Calculando el lmite

siempre y cuando . De donde, para grande.
Observacin: no es difcil comprobar que cualquier polinomio de grado o
funcin trigonomtrica como Sen(bt), Cos(bt), con constante, son de orden
exponencial, as como, las sumas y productos de un nmero finito de estas
funciones. En general, si y son de orden exponencial la suma
y el producto son de orden exponencial.
Ejemplo
Compruebe que la funcin no es de orden exponencial.
Solucin
Calculando el lmite tenemos que

para cualquier valor de , con lo cual la funcin no es de orden
exponencial.
El siguiente resultado enuncia un resultado que parece obvio.

Teorema [Funciones acotadas]

Sea una funcin acotada, entonces es de orden
exponencial.
Demostracin
Como es acotada para todo . Entonces

para cualquier , con lo cual es de orden exponencial.

Observacin: como y son acotadas, son de orden exponencial.
Una vez definidos los conceptos de funcin continua a trozos y funcin de orden
exponencial ya estamos listos para enunciar una condicin necesaria para la
existencia de la transformada de Laplace.

Teorema [Existencia de la transformada]

Sea una funcin continua a trozos y de orden
exponencial, entonces la transformada de Laplace de existe. Es
decir, existe un nmero tal que existe para
.
Demostracin
Por ser de orden exponencial existen nmeros no negativos , y tales
que , para . As que









La primera integral

es una integral definida, por tanto existe. Para la segunda integral note que















Ahora, como

siempre y cuando , tenemos que la integral

existe y con ello la transformada.

Transformada Inversa de Laplace
La transformada de Laplace es una herramienta de gran alcance formulada para
solucionar una variedad amplia de problemas del inicial-valor. La estrategia es
transformar las ecuaciones diferenciales difciles en los problemas simples de la
lgebra donde las soluciones pueden ser obtenidas fcilmente. Entonces se aplica
La transformada inversa deLaplace para recuperar las soluciones de los
problemas originales.
En matemtica, la transformada inversa de Laplace de una funcin F(s) es la
funcin f(t)que cumple con la propiedad

donde es la transformada de Laplace.
La transformada de Laplace junto con la transformada inversa de Laplace tienen
un nmero de propiedades que las hacen tiles para el anlisis de sistemas
dinmicos lineales.

Transformada Inversa de Laplace:

las caractersticas fundamentales de la transformada de Laplace son:
Es un mtodo operacional que puede usarse para resolver ecuaciones
diferenciales lineales.
Las funciones senoidales, senoidales amortiguadas y exponenciales se
pueden convertir en funciones algebraicas lineales en la variable S.
Sirve para reemplazar operaciones como derivacin e integracin, por
operaciones algebraicas en el plano complejo de la variable S.
Este mtodo permite usar tcnicas grficas para predecir el funcionamiento
de un sistema sin necesidad de resolver el sistema de ecuaciones
diferenciales correspondiente.

Propiedades de La Transformada Inversa de Laplace

En las siguientes propiedades se asume que las funciones f(t) y g(t) con funciones
que poseen transformada de Laplace.
Las demostraciones pueden ser obtenidas en el libro de Zill: A first course in
Differential Equations with modelling applications
1. Linealidad

Idea
La transformada de Laplace se distribuye sobre las sumas o restas
y saca constantes que multiplican.

Versin para la inversa:

2. Primer Teorema de Traslacin

donde

Idea
La transformada de Laplace se convierte un factor exponencial en
una traslacin en la variable s.
Versin para la inversa:

3. Teorema de la transformada de la derivada

Idea
La transformada de Laplace cancela la derivadamultiplicando por la variable s.

4. Teorema de la transformada de la integral

5. Teorema de la integral de la transformada

Siempre y cuando exista

6. Teorema de la derivada de la transformada

7. Transformada de la funcin escaln
Si representa la funcin escaln unitarioentonces

8. Segundo teorema de Traslacin

9. Transformada de una funcin peridica
Si f(t) es una funcin peridica con perodo T:

Teorema de la Convolucin
Si f * g representa la convolucin entre las funciones f y g entonces




Transformada integral

Una transformada integral es cualquier transformada T aplicada sobre
la funcin f(x) de la forma siguiente:

La entrada de esta funcin T encontramos una funcin f(t), y la salida otra
funcin F(u). Una transformada es un tipo especial de operador matemtico. En
ella y son dos valores que dependen de su definicin, y pueden variar
desde hasta .
Hay numerosas transformadas integrales tiles. Cada una depende de la
funcin K de dos variables escogida, llamada la funcin ncleo o kernel de la
transformacin. Algunos ncleos tienen una K inversa asociada, , que
(ms o menos) da una transformada inversa:

Un ncleo simtrico es el que es inalterado cuando las dos variables son
permutadas.


Serie de Fourier

Una serie de Fourier es una serie infinita que converge puntualmente a
una funcin peridica y continua a trozos (o por partes). Las series de Fourier
constituyen la herramienta matemtica bsica del anlisis de Fourier empleado
para analizar funciones peridicas a travs de la descomposicin de dicha funcin
en una suma infinita de funciones sinusoidales mucho ms simples (como
combinacin de senos y cosenos con frecuencias enteras). El nombre se debe al
matemtico francs Jean-Baptiste Joseph Fourier que desarroll la teora cuando
estudiaba la ecuacin del calor. Fue el primero que estudi tales series
sistemticamente, y public sus resultados iniciales en 1807 y 1811. Esta rea de
investigacin se llama algunas veces Anlisis armnico.
Es una aplicacin usada en muchas ramas de la ingeniera, adems de ser una
herramienta sumamente til en la teora matemtica abstracta. reas de aplicacin
incluyen anlisis vibratorio, acstica, ptica, procesamiento de imgenes y
seales, y compresin de datos. En ingeniera, para el caso de los sistemas de
telecomunicaciones, y a travs del uso de los componentes espectrales de
frecuencia de una seal dada, se puede optimizar el diseo de un sistema para la
seal portadora del mismo. Refirase al uso de un analizador de espectros.
Las series de Fourier tienen la forma:

Donde y se denominan coeficientes de Fourier de la serie de Fourier de la
funcin

Tabla de Propiedades de la transformada de Fourier




Dualidad

Cambio de escala

Transformada de la conjugada

Translacin en el tiempo

Translacion en frecuencia
Analogamente:



Derivacion en el tiempo

Derivacion en la frecuencia
Analogamente:

Convolucion
Debido a que va a ser necesario utilizarlo, definamos primeramente la convolucion
de dos seales:

Demostracion de conmutativilidad:



Integracion en el tiempo


Transformada de la convolucion


Teorema de Parseval
El teorema de parseval es una solucion particular de la propiedad: