Transformada de Laplace y Ecuaciones Diferenciales
Transformada de Laplace y Ecuaciones Diferenciales
ecuaciones diferenciales
8 de enero de 2008
Índice General
1 Transformada de Laplace 5
1.1 Funciones continuas a trozos. Función de Heaviside . . . . . . . . . . . . . . 5
1.2 Definición de Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . 6
1.2.1 Definición y primeros ejemplos . . . . . . . . . . . . . . . . . . . . . . 6
1.2.2 Dominio de definición de la Transformada de Laplace . . . . . . . . . 8
1.3 Propiedades de la Transformada de Laplace . . . . . . . . . . . . . . . . . . 9
1.3.1 Linealidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.2 Transformada de la derivada . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.3 Transformada de la integral . . . . . . . . . . . . . . . . . . . . . . . 12
1.3.4 Transformada de la convolución . . . . . . . . . . . . . . . . . . . . . 13
1.3.5 Primer Teorema de Traslación . . . . . . . . . . . . . . . . . . . . . . 14
1.3.6 Segundo Teorema de Traslación . . . . . . . . . . . . . . . . . . . . . 15
1.4 Propiedades de la función Transformada de Laplace . . . . . . . . . . . . . . 16
1.4.1 Derivabilidad de la Transformada de Laplace . . . . . . . . . . . . . . 16
1.4.2 Teoremas del valor inicial . . . . . . . . . . . . . . . . . . . . . . . . 17
1.4.3 Teorema del valor final . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.5 Transformada de Laplace inversa . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5.1 Inyectividad de la Transformada de Laplace . . . . . . . . . . . . . . 19
1.5.2 Transformada de Laplace inversa .................... 20
1.5.3 Fórmula de inversión compleja . . . . . . . . . . . . . . . . . . . . . . 20
2 Aplicaciones 23
2.1 Una primera aproximación al problema . . . . . . . . . . . . . . . . . . . . . 23
2.2 Uso de la convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3 Sistemas de ecuaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.4 Problemas con funciones discontinuas . . . . . . . . . . . . . . . . . . . . . . 26
2.5 Funciones de impulso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
i
Índice general
y dado que la intensidad I(t) es la derivada de la carga, ésta puede calcularse por la ecuación
,
o equivalentemente con la ecuación diferencial
De forma similar, si tenemos un circuito con varias ramas y más elementos, como por
ejemplo
1
podemos deducir a partir de las leyes de Kirchoff que las intensidades que circulan por los hilos
eléctricos del circuito vienen dadas por
⎪ ⎧0 = I1 − I2 − I3,
⎨
⎪⎩ V 0(t) = I10R1 + I1/C1 + I20R2,
Si suponemos los elementos del circuito constantes, salvo a lo mejor el voltaje V (t), que
supondremos una función derivable, tenemos un sistema de ecuaciones diferenciales lineales
con coeficientes constantes.
Esta es la forma en que los ingenieros abordan el estudio de estos problemas, como pone de
manifiesto las referencias [Oga1], [Sen] o [Jam]. Además este método es explicado en algunos
libros de ecuaciones diferenciales como [BoPr], [Bra], [Jef] o [MCZ].
2
Sin embargo, para entender en su justa dimensión la Transformada de Laplace hay que
Introducción
dominar contenidos básicos de variable compleja que nuestros alumnos ya han estudiado
durante el curso (ver por ejemplo [Mur]). Así, vamos a presentar la Transformada de Laplace en
un primer lugar usando los conocimientos que el alumno tiene de funciones de variable
compleja y una vez explicada ésta, procederemos a indicar algunas aplicaciones a las
ecuaciones y sistemas citadas anteriormente. Nuestros alumnos también deben conocer y
dominar contenidos relativos a integrales impropias que fueron explicados en la asignatura de
primer curso fundamentos matemáticos de la ingeniería.
fué acuñada en primer lugar por Pierre—Simon Laplace en 1782. Su utilización dentro de la
técnica se debe en su forma rigurosa a Thomas Bromwich, el cual formalizó utilizando las
funciones de variable compleja y la Transformada de Laplace un cálculo operacional inventado
por Oliver Heaviside para la resolución de circuitos eléctricos.
3
Introducción
4
Capítulo 1
Transformada de Laplace
Dados los números reales a < b, se dice que la función f : [a,b] →C es continua a trozos si
existe una partición de [a,b], a = t0 < t1 < ... < tn = b, de manera que f es continua en (ti,ti+1), 0 ≤ i
< n, y existen y son finitos los límites laterales de f en cada uno de los puntos ti, 0 ≤ i ≤ n.
Una función f : [0,+∞) → C se dice que es continua a trozos si para cada intervalo compacto
ha : [0,+∞) →C,
donde a es un número real mayor o igual que cero. Esta función está definida por
5
Transformada de Laplace
.
Así, si tomamos ahora la función ha·f −hb·f, la función hb tiene el efecto físico de “apagar” la
Esta forma de describir funciones continuas a trozos será útil en los siguientes apartados del
tema debido a las propiedades de la Transformada de Laplace que posteriormente
estudiaremos. Por otra parte hemos de comentar que al venir la Transformada de Laplace
definida como una integral, la condición de ser la función continua por la derecha es irrelevante
y todas las funciones pueden tomarse de esta forma.
6
Transformada de Laplace
Sea f : [0,+∞) → C una función localmente integrable, esto es, existe la integral de Riemann de
f en todo intervalo compacto [0,a] ⊂ [0,+∞). Se define la Transformada de Laplace de f en z ∈C
como
(1.1)
siempre que tal integral impropia exista. Como el alumno debe conocer, la convergencia de la
integral
7
Transformada de Laplace
.
En particular, si ω = 0 se verifica que f(t) = 1, con lo que nuevamente
• Potencias. Sea n un número natural y consideremos la función fn(t) = tn. Vamos ver que la
(1.2)
Tomando partes en la expresión anterior
(1.3)
Combinando (1.2) y (1.3) concluimos que
debido a que su periodicidad las hace controlables. Sea f : [0,+∞) → C una función
8
Transformada de Laplace
Los ejemplos que anteriormente hemos explicado ponen de manifiesto que la función
Transformada de Laplace de una función f : [0,+∞) →C no tiene porque estar definida en todo
el plano complejo. Vamos a estudiar con precisión cómo es el dominio de definición de estas
funciones, pero consideraremos una clase especial de funciones que tienen lo que llamaremos
orden exponencial.
Una función f : [0,+∞) →C se dice que tiene orden exponencial si existen constantes A > 0 y
Denotaremos por E el conjunto de funciones continuas a trozos con orden exponencial, que
serán las funciones con las que trabajaremos a partir de ahora. El siguiente resultado ofrece una
primera aproximación sobre el dominio de definición de la Transformada de Laplace de
funciones con orden exponencial.
Proposition 1 Sea f : [0,+∞) →C una función continua a trozos cumpliendo la condición (1.4).
Entonces L[f](z) está definida para todo número complejo z tal que Rez > B.
Proof. Vamos a ver que la función e−ztf(t) es absolutamente integrable para todo complejo z tal
que Rez > B. Para ello consideramos
9
Transformada de Laplace
,
con lo que la Transformada de Laplace existe en el subconjunto {z ∈C : Rez > B}.
y denotamos por
.
La Proposición 1 nos asegura que .
condiciones para que una función f tenga Transformada de Laplace L[f] definida en un dominio
del plano complejo Df, pasamos a estudiar algunas propiedades básicas de esta transformada
1.3.1 Linealidad
Esta propiedad será muy útil para resolver ecuaciones diferenciales lineales con coeficientes
constantes, a la vez que permitirá el cálculo de la transformada de algunas funciones.
Theorem 2 Sean f,g ∈ E y a,b ∈C. Entonces para todo z ∈ Df ∩ Dg se verifica que
10
Z +∞ zt Transformada de Laplace
L[af + bg](z) = −
e (af(t) + bg(t))dt
Z
0x
a lim Z e−ztf(t)dt + b lim Z e−ztg(t)dt
=
x→+∞ 0 x→+∞ 0
= aL[f](z) + bL[g](z),
siempre que Re
.
De forma análoga a la anterior se obtiene que
11
Transformada de Laplace
Entonces
.
De forma análoga a la anterior se obtiene que
Se dice que la función f ∈ E es derivable a trozos si es continua, existen las derivadas laterales
de f en cada punto de [0,+∞) y en cada subintervalo [a,b] ⊂ [0,+∞) existen a lo sumo una
cantidad finita de puntos donde f no es derivable. Si f es derivable a trozos, definimos f0 :
[0,+∞) →C como para todo x ∈ [0,+∞). Es claro entonces que f0 es una función
continua a trozos, que coincidirá en casi todos los puntos con la derivada ordinaria. Se tiene
entonces el siguiente resultado.
12
Transformada de Laplace
e−ztf0(t)
dt = XZ i e−ztf0(t)dt
i
0 i=1 x −1
= Xi=1[e−zx f(xi) − e−zx −1f(xi−1)] + z Xi=1
i i
Zxi− 1 e−ztf(t)dt n
i nx
Z
x
−zx −zt
= e f(x) − f(0) + ze f(t)dt.
0
Tomando límites cuando x → +∞, y teniendo en cuenta que y que por tanto existen
Procediendo por inducción a partir de la fórmula (1.5) se prueba una fórmula general para la
derivada k—ésima de la función f en el caso de que fk−1) sea derivable a trozos para k ∈N. Esta
fórmula viene dada para todo por
L[fk)](z) = zkL[f](z) − zk−1f(0) − zk−2f0(0) − ... − zfk−2)(0) − fk−1)(0), (1.6) donde las derivadas
Las fórmulas 1.5 y 1.6 serán claves para resolver ecuaciones y sistemas diferenciales lineales
con coeficientes constantes, como veremos en el apartado de aplicaciones de este tema.
13
Transformada de Laplace
que obviamente está bien definida y es continua para todo t ∈ [0,+∞). La relación entre las
Theorem 4 En las condiciones anteriores, para todo z ∈ Df∗∩{z ∈C : Rez > 0} se verifica
. (1.7)
Proof. Sea x > 0 y consideremos
≤ i < n. Entonces
lim g(x)e−zx = 0.
x→+∞
Para ello y dado que f ∈ E, existirán reales B y A > 0 de manera que |f(t)| ≤ AeBt para todo t ≥ 0.
Sea
14
Transformada de Laplace
Sean f,g ∈ E y definamos f(t) = g(t) = 0 para todo t < 0. Se define la convolución de f y g como
la función
Proof. En primer lugar, existen números reales B y Ai > 0, i = 1,2, de manera que para todo t ≥ 0
se verifica Bt Bt
¯
¯
15
Transformada de Laplace
con lo que se ve fácilmente que e−zt(f ∗ g)(t) es absolutamente integrable para todo Rez > B,
con lo que L[f ∗ g](z) existe para todo z con Rez > B. Por otra parte, como las funciones e−ztf(t)
y e−ztg(t) también son absolutamente integrables para todo Rez > B, por el Teorema de Fubini
16
Transformada de Laplace
A partir de este resultado podemos obtener las Transformadas de las funciones siguientes:
• f(t) = eat sin(ωt), ω ∈R, cuya Transformada de Laplace para todo número complejo z tal
.
at
• f(t) = e cos(ωt), ω ∈R, cuya Transformada de Laplace para todo número complejo z tal
.
at
• f(t) = e sinh(ωt), ω ∈R. Si Rez > |ω| + Rea, entonces
.
• f(t) = eat cosh(ωt), ω ∈R. Si Rez > |ω| + Rea, entonces
.
• f(t) = eattn con n ∈N. Entonces
Sea ahora a > 0 un número real y supongamos que f ∈ E está definida por f(t) = 0 para todo t <
0. Recordemos que ha es la función de Heaviside. Entonces tenemos el siguiente resultado.
Proof. Tomamos
17
Transformada de Laplace
,
Esta función puede describirse como
Entonces
considerándola como una función de variable compleja definida en un semiplano {z ∈C : Rez >
19
Transformada de Laplace
Theorem 8 Bajo la notación anterior, la función L[f] es holomorfa para todo z ∈ C tal que Rez >
ρ y además se verifica
En las condiciones del resultado anterior, obtenemos por inducción la fórmula para la
derivada n—ésima de la Transformada de Laplace
funciones de la clase E.
Rezlim→+∞L[f](z) = 0. (1.10)
Transformada de Laplace
Proof. Sea . Existen números reales A > 0 y B de manera que |f(t)| ≤ AeBt para todo t ≥ 0.
Entonces
Rez − B
de donde claramente obtenemos (1.10) al hacer Rez → +∞.
Continuamos esta sección con otro resultado que estudia cuestiones cualitativas de la
Transformada de Laplace.
zL f z f .
(1.11)
Re
z
Proof. Sea ∈ Df∗. Por el Teorema 3 tenemos que
inmediatamente (1.11).
Los resultados anteriores muestran que no todas las funciones de variable compleja pueden
ser Transformadas de Laplace de funciones de E. Por ejemplo, la función no puede serlo
al tenerse que
z
. lim √ = ∞
z→ + ∞ z
Re
21
Transformada de Laplace
Al igual que los resultados de la sección anterior el Teorema del valor final aporta información
cualitativa de la Transformada de Laplace en conexión directa con la función de la cual es
transformada.
Theorem 11 Sea f ∈ E una función derivable a trozos tal que f0 ∈ E. Supongamos que y
zlim→0zL[f](z) = t→lim+∞f(t).
nula casi por todas partes si para todo x ∈ (0,+∞) se verifica que
22
Transformada de Laplace
Dos funciones f,g : [0,+∞) →C localmente integrables se dirán iguales casi por todas partes si f −
Proposition 12 Sean f,g ∈ E iguales casi por todas partes. Entonces L[f](z) = L[g](z) para todo z
∈ Df ∩ Dg.
Proof. Sea x > 0 y z ∈ Df ∩ Dg. Por el Teorema del Valor Medio del Cálculo Integral existe ρ∈
.
Así lo que
termina la demostración.
Theorem 13 (Lerch) Sean f,g ∈ E tales que L[f](z) = L[g](z) para todo z ∈ Df ∩ Dg. Entonces f y g
son iguales salvo a lo mejor en los puntos de discontinuidad de ambas, con lo que además Df =
Dg.
Consideremos la función
L : E → L(E).
23
Transformada de Laplace
El Teorema 13 permite definir clases de equivalencia en E del siguiente modo. Dadas f,g ∈ E se
dirá que ambas están relacionadas, f ∼ g si y sólo si son iguales salvo a lo sumo en los puntos de
discontinuidad de ambas. Podemos definir entonces la Transformada de Laplace inversa
L−1 : L(E) → E/ ∼
para F ∈ L(E) como L−1[F] = [f] donde [f] denota la clase de f ∈ E de manera que L[f] = F. En
general con nuestros alumnos tenderemos a identificar clases con funciones que normalmente
podrán ser calculadas. Así diremos que dada F ∈ L(E) su Transformada inversa es una función
L−1[F](t) = f(t) de forma que L[f] = F, aunque está perfectamente claro que tal f no es única.
En este contexto, destacamos las siguiente propiedades de Transformada inversa que serán
especialmente interesantes a la hora de las aplicaciones.
Aparte de las técnicas estudiadas en el apartado anterior para hallar Transformadas inversas,
estudiaremos la siguiente fórmula de inversión compleja.
24
Transformada de Laplace
Theorem 14 Supongamos que F(z) es holomorfa en C \ {z1,z2,...,zn}, y que existe σ ∈R tal que F
es holomorfa en {z ∈C : Rez > σ}. Supongamos además que existen constantes positivas M, R y
β tales que
(1.13)
Para t ≥ 0 sea
.
Entonces
L[f](z) = F(z) si Rez > σ.
Proof. Sea α > σ y consideremos el rectángulo Γ de la figura, suficientemente grande para que
|z| > R. Separamos Γ en la suma de dos caminos cerrados γ1 y γ2 divididos por la recta Rez = α.
Como las singularidades de F están contenidas en el interior de γ1, por definición de f tenemos
que
25
Transformada de Laplace
Entonces
,
aplicando el Teorema de Fubini. Por integración directa
.
(ω z)x
Para z fijo en el semiplano Rez > α, el término e − converge uniformemente a 0 si x → +∞ y el
integrando converge a −F(ω)/(ω− z) en γ1. Así
Por otra parte, sea τ(t) = ρeit, t ∈ [0,2π] una circunferencia de radio ρ > R y conteniendo a Γ.
Entonces
de donde
.
Así
−
y como α era arbitrario, la fórmula L[f](z) = F(z) es válida para todo Rez > σ.
Remarquemos aquí que la condición (1.13) del resultado anterior se cumple para funciones
de la forma F(z) = P(z)/Q(z) donde P y Q son polinomios tales que degQ ≥ 1 + degP, donde
degP denota el grado de P. Así por ejemplo, la Transformada inversa de la función
26
Capítulo 2
Aplicaciones
de donde
Una vez obtenida L[y], hemos de usar la Transformada inversa para volver atrás y recuperar la
solución del problema y. En este caso, L[y] satisface las condiciones del Teorema 14, por lo que
y(t) = Res
= (1 + t/2)sint,
27
Aplicaciones
de donde
.
Entonces
Así, el uso del producto de convolución presenta una vía alternativa para la resolución de
estos problemas, aunque a veces el cálculo de las integrales que aparecen en el producto de
convolución pueden ser bastante complicado.
donde A es una matriz cuadrada de n filas por n columnas con coeficientes reales, f = (f1,f2,...,fn)t
donde fi son funciones dadas e y = (y1,y2,...,yn)t es la función vectorial incógnita. Supongamos
además las condiciones iniciales
28
Aplicaciones
y(0) = y0 (2.4)
0
donde y con yi números reales para 1 ≤ i ≤ n. Sea
L[y](z) = (L[y1](z),L[y2](z),...,L[yn](z))t.
y de aquí
L[y](z) = (zIn −A)−1 · (y0 + L[f](z)). (2.5)
Una vez calculada de este modo L[y](z) obtendremos y tomando la Transformada inversa.
De (2.5)
30
Aplicaciones
con lo que
L[f](z) = L[th0(t)](z) + L[thπ(t)](z) + L[hπ(t)cos(2t)](z). Desarrollando
L[th0(t)](z) = 1/z2.
.
Aplicaciones
Entonces
,
y así
Entonces
o equivalentemente
Este tipo de fenómenos se modelizan con la llamada delta de Dirac. Si a > 0, definimos la
“función” delta de Dirac por
32
Aplicaciones
;
Esta “función” puede obtenerse a partir del límite funcional obtenido a partir de la sucesión
;
/n.
Nótese que
,
por lo que se conviene formalmente que
.
Además, si f ∈ E es una función continua en a, se tiene que
, (2.6)
cuya justificación formal puede hacerse a partir del Teorema del Valor Medio del Cálculo
Integral. De (2.6) obtenemos que para todo z ∈C se verifica
L[δ](z) = 1.
0, y0(0) = 0.
,
de donde la solución yδ(t) = sint
33
Aplicaciones
recibe el nombre de respuesta al impulso δ. Nótese que yδ no satisface las condiciones iniciales
del problema. Sin embargo esta solución es útil ya que si f ∈ E, la solución de
(
La corriente de activación es i1(t). El intervalo en el que i1 llega a 0.1 A debe ser menor que
3 segundos. Comprobar L = 1 H es un valor adecuado para conseguir este objetivo.”
34
Aplicaciones
por lo que inicialmente i1(0) = i2(0) = 0 A y vC(0) = 1 V . Una vez que se cierran los dos
interruptores el circuito pasa a ser de la forma
.
Despejando L[i2] en función de L[i1] en la primera ecuación y sustituyendo en la segunda
tenemos que
,
por lo que tomando la Transformada de Laplace inversa
.
Observamos que la función i1 es creciente si t ≥ 0 y que i1(2) ≈ 0.106 A, por lo que el valor L = 1
35
Aplicaciones
bm−1fm−1) + ... + b1f0 + b0f, (2.7) donde m < n, ai ∈ R para 0 ≤ i ≤ n y bi ∈ R para 0 ≤ i ≤ m . f es una
señal entrada del sistema e y es la respuesta que produce en sistema a la excitación que f
representa.
Aplicando formalmente la transformada de Laplace a (2.7) con todas las condiciones iniciales
nulas obtenemos
Qn(z)L[y](z) = Pm(z)L[f](z),
Proof. Sean βj, 1 ≤ j ≤ r las raíces de Qn(z) con multiplicidades nj. Para 1 ≤ j ≤ r, consideremos
los polinomios
36
Aplicaciones
Supongamos ahora que existe j ∈ {1,2,...,r} de manera que Reβj > 0. Como B es una base,
existen condiciones iniciales de manera que para las mismas la solución y(t) contiene un
término de la forma
AL−1[1/(z −βj)](t) = Aetβj
Consideremos ahora que toda raíz de Qn(z), βj con Reβj = 0 tiene multiplicidad uno (nj = 1) y
las restantes raíces tienen parte real negativa. Entonces para cualquier condición inicial la
solución y(t) verifica que si Reβj = 0, entonces existe Aj ∈C tal que
aparece en la solución. Teniendo en cuenta que todas las raíces tienen parte real menor o igual
que cero y el primer apartado, existirá ε > 0 tal que si t es suficientemente grande se verifica
37
Aplicaciones
,
lo que prueba que el sistema es estable.
Por último, supongamos que existe una raíz de Qn(z), βj con Reβj = 0 y con multiplicidad
mayor que uno. En estas condiciones existen condiciones iniciales de manera que y(t) contiene
un término no nulo de la forma
38
Aplicaciones
En ingeniería es usual describir los sistemas lineales mediante sus funciones de transferencia
en vez de con sus ecuaciones diferenciales de la forma (2.7). Por ejemplo el siguiente sistema
de control mediante retroalimentación, dado por el siguiente diagrama
.
Para ello utilizamos que
X(z) = F(z)E(z),
S(z) = G(z)X(z).
de donde
.
A partir de esta función de transferencia puede la estabilidad del sistema de control por
retroalimentación planteado calculando los polos de T(z).
Por ejemplo, supongamos que F(z) = 1/(z2 + 1) y G(z) = 1/(z − 1). Es inmediato ver que
Aplicaciones
y resolviendo la ecuación
z3 − z2 + z = 0
obtenemos como posibles raíces , por lo que el sistema será inestable en virtud del
Teorema 15. Además, podemos expresar la ecuación diferencial lineal que define el sistema
teniendo en cuenta que
de donde
X(z)(z3 − z2 + z) = Y (z)(z − 1),
x000 − x00 + x0 = y0 − y.
cuya gráfica es
.
Obtenemos su Transformada inversa
donde
.
La gráfica de la función x en en intervalo [1,20] es
41
Aplicaciones
42
Bibliografía
[BoPr] W. E. Boyce y R. C. DiPrima, Ecuaciones diferenciales y problemas con valores en la
frontera, Limusa, Mexico, 1996.
[Bra] M. Braun, Differential equations and their applications, Springer—Verlag, Berlin, 1993.
[Dav] B. Davies, Integral transforms and their applications, Springer—Verlag, Berlin, 1985.
[Jef] A. Jeffrey, Linear algebra and ordinary differential equations, CRC Press, 1993.
[PiZa] A. Pinkus y S. Zafrany, Fourier series and integral transforms, Cambridge University Press,
1997.
43