Apuntes de Transformadas y Ecuacionesjose/ampmat/ecuaytran.pdfTransformada de Laplace (ver por...

Apuntes de Transformadas y Ecuaciones

Jose S. Cánovas Peña

1 de junio de 2012

Índice General

Advertencia.

Estos apuntes no han sido corregidos. Cualquier errata o error que se detecte, por favor, escribid

a mi dirección [email protected], para que en un futuro se pueda subsanar.

No son los apuntes de la asignatura. Son una guía que no tiene porqué corresponderse al cien

por cien con lo explicado en clase.

Se ha utilizado el símbolo∗= para denotar un paso en alguna demostración que, siendo cierto,

no está bien justificado. Normalmente cuando se trata de permuta de límites, como una integral

con un sumatorio. Para un estudio de las pruebas rigurosas al cien por cien nos remitimos a la

bibliografía al final de estas notas.

i

Índice General

ii

Índice general

1. Transformada de Laplace 1

1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

1.2. Funciones continuas a trozos. Función de Heaviside . . . . . . . . . . . . . . . . . . . 3

1.3. Definición de Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . 4

1.3.1. Definición y primeros ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

1.3.2. Dominio de definición de la Transformada de Laplace . . . . . . . . . . . . . . 6

1.4. Propiedades de la Transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . 7

1.4.1. Linealidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7

1.4.2. Transformada de la derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

1.4.3. Transformada de la integral . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.4.4. Transformada de la convolución . . . . . . . . . . . . . . . . . . . . . . . . . . 10

1.4.5. Primer Teorema de Traslación . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

1.4.6. Segundo Teorema de Traslación . . . . . . . . . . . . . . . . . . . . . . . . . . 12

1.5. Propiedades de la función Transformada de Laplace . . . . . . . . . . . . . . . . . . . 13

1.5.1. Derivabilidad de la Transformada de Laplace . . . . . . . . . . . . . . . . . . . 13

1.5.2. Teoremas del valor inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14

1.5.3. Teorema del valor final . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

1.6. Transformada de Laplace inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

1.6.1. Inyectividad de la Transformada de Laplace . . . . . . . . . . . . . . . . . . . 15

1.6.2. Transformada de Laplace inversa . . . . . . . . . . . . . . . . . . . . . . . . . 16

1.6.3. Fórmula de inversión compleja . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

1.7. Aplicaciones: una primera aproximación . . . . . . . . . . . . . . . . . . . . . . . . . 19

1.8. Uso de la convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19

1.9. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

2. Estabilidad de ecuaciones diferenciales 25

2.1. Ecuaciones y sistemas lineales: generalidades . . . . . . . . . . . . . . . . . . . . . . . 25

2.1.1. Sistemas de ecuaciones diferenciales lineales . . . . . . . . . . . . . . . . . . . 27

2.1.2. Teoría general para ecuaciones lineales de orden . . . . . . . . . . . . . . . . 32

2.2. Resolución desistemas lineales de coeficientes constantes . . . . . . . . . . . . . . . . . 35

2.2.1. Resolución del sistema homogéneo . . . . . . . . . . . . . . . . . . . . . . . . . 35

2.2.2. Resolución de sistemas. La exponencial de una matriz . . . . . . . . . . . . . . 37

2.2.3. El método de variación de constantes . . . . . . . . . . . . . . . . . . . . . . . 43

2.3. Resolviendo sistemas mediante la transformada de Laplace . . . . . . . . . . . . . . . 44

2.4. Problemas con funciones discontinuas . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

iii

Índice General

2.5. Sistemas autónomos, puntos críticos y noción de estabilidad . . . . . . . . . . . . . . 47

2.6. Estabilidad de sistemas lineales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

2.6.1. ¿Por qué un sistema estable es útil en ingeniería? . . . . . . . . . . . . . . . . 52

2.7. Funciones de transferencia. Estabilidad y control de sistemas lineales . . . . . . . . . 53

2.8. Estabilidad local de sistemas autónomos . . . . . . . . . . . . . . . . . . . . . . . . . 55

2.8.1. Método de linealización de Lyapunov. Teorema de Hartman—Grobman . . . . 55

2.8.2. El método directo de Lyapunov . . . . . . . . . . . . . . . . . . . . . . . . . . 58

2.9. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60

3. Ecuaciones en derivadas parciales 63

3.1. Introducción a las EDP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63

3.2. Ecuaciones de orden uno? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

3.3. Ecuaciones lineales de orden 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64

3.4. Ecuación del calor. Método de separación de variables. . . . . . . . . . . . . . . . . . 68

3.5. Series de Fourier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

3.5.1. Funciones pares e impares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

3.5.2. Aplicación a la ecuación del calor . . . . . . . . . . . . . . . . . . . . . . . . . 74

3.6. Ecuación de ondas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75

3.7. Ecuación de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77

3.8. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78

4. Transformada de Fourier 83

4.1. Definición y primeros ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

4.2. Propiedades básicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84

4.2.1. Linealidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

4.2.2. Transformada de la derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85

4.2.3. Cambios de escala . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86

4.2.4. Derivada de la transformada . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86

4.2.5. Convolución . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87

4.3. Transformada de Fourier inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88

4.4. Relación con la transformada de Laplace . . . . . . . . . . . . . . . . . . . . . . . . . 88

4.5. Aplicación a los sistemas estables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89

4.5.1. Respuesta a una señal sinusuidal . . . . . . . . . . . . . . . . . . . . . . . . . 89

4.5.2. Respuesta a señales periódicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 90

4.5.3. Aplicación de la transformada de Fourier . . . . . . . . . . . . . . . . . . . . . 91

4.6. Aplicación a las ecuaciones en derivadas parciales . . . . . . . . . . . . . . . . . . . . 91

4.7. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93

iv

Capítulo 1

Transformada de Laplace

Sumario. Funciones continuas a trozos. Definción de Transformada de Laplace.

Propiedades Básicas. Transformada de Fourier inversa: propiedades básicas. Fórmula

de inversión compleja. Aplicaciones a la resolución de ecuaciones diferenciales lineales

con coeficientes constantes.

1.1. Introducción

Vamos a desarrollar un tema sobre la Transformada de Laplace y su aplicación a la resolución de

ecuaciones y sistemas de ecuaciones diferenciales lineales con coeficientes constantes. Estas ecuaciones

surgen de manera natural en el contexto de los circuitos eléctricos.

Consideremos por ejemplo el típico circuito LRC de la figura

donde la inductancia , la resistencia y la capacidad de condensador se consideran constantes.

Se tiene entonces que la carga () que circula por el circuito está dada por la ecuación

00() +0() + () = ()

y dado que la intensidad () es la derivada de la carga, ésta puede calcularse por la ecuación

0() +() +

Z

0

() = ()

1


o equivalentemente con la ecuación diferencial

00() + 0() + () = 0()

en el caso en que () sea una función derivable.

De forma similar, si tenemos un circuito con varias ramas y más elementos, como por ejemplo

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 = 1 − 2 − 3

0() = 011 + 11 + 0220 = − 022 + 003+ 32

Si suponemos los elementos del circuito constantes, salvo a lo mejor el voltaje (), que supondremos

una función derivable, tenemos un sistema de ecuaciones diferenciales lineales con coeficientes con-

stantes.

La Transformada de Laplace es una herramienta que permite transformar los problemas anteriores

en problemas algebraicos y, una vez resuelto este problema algebraico más fácil a priori de resolver,

calcular a partir de la solución del problema algebraico la solución del problema de ecuaciones difer-

enciales.

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].

Sin embargo, para entender en su justa dimensión la Transformada de Laplace hay que dominar

contenidos básicos de variable compleja que nuestros alumnos ya han estudiado durante el curso

2


(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.

A modo de introducción histórica, diremos que la expresión

() =

Z +∞

−∞−()

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.

1.2. Funciones continuas a trozos. Función de Heaviside

Previamente a introducir la Transformada de Laplace, hemos de concretar qué tipo de funciones

vamos a considerar para nuestros problemas. Las funciones que van a ser de importancia dentro de

la ingeniería son aquellas llamadas continuas a trozos, que a continuación definimos.

Dados los números reales , se dice que la función : [ ]→ C es continua a trozos si existeuna partición de [ ], = 0 1 = , de manera que es continua en ( +1), 0 ≤ ,

y existen y son finitos los límites laterales de en cada uno de los puntos , 0 ≤ ≤ .

Una función : [0+∞) → C se dice que es continua a trozos si para cada intervalo compacto[ ] ⊂ [0+∞) se verifica que : [ ]→ C es continua a trozos.

Uno de los primeros ejemplos de función continua a trozos es

: [0+∞)→ C

donde es un número real mayor o igual que cero. Esta función está definida por

() =

½0 si

1 si ≥

y se conoce en ingeniería con el nombre de función de Heaviside.

Físicamente, la función de Heaviside realiza la función de interruptor, de manera que si :

[0+∞)→ C es una función continua se tiene que · es la función

( · )() =½0 si

() si ≥

3


lo que representa que la función “enciende” a la función o señal en el instante de tiempo = .

Adicionalmente, si consideramos 0 ≤ y la función − : [0+∞)→ C, ésta tiene la forma

( − )() =

½0 si ∈ [ )1 si ∈ [ )

Así, si tomamos ahora la función · − · , la función tiene el efecto físico de “apagar” la

función , ya que

( · − · )() =⎧⎨⎩ 0 si

() si ≤

0 si ≤

Además de estas interpretaciones físicas, la función de Heaviside es útil para describir funciones

continuas a trozos que a su vez sean continuas por la derecha. Por ejemplo, la función

() =

⎧⎨⎩ si 0 ≤ 1

− 1 si 1 ≤ 3

sin si 3 ≤

puede escribirse como

() = · [0()− 1()] + (− 1) · [1()− 3()] + sin · 3()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.

1.3. Definición de Transformada de Laplace

1.3.1. Definición y primeros ejemplos

Sea : [0+∞)→ C una función localmente integrable, esto es, existe la integral de Riemann de en todo intervalo compacto [0 ] ⊂ [0+∞). Se define la Transformada de Laplace de en ∈ Ccomo

L[ ]() =Z +∞

0

−() (1.1)

siempre que tal integral impropia exista. Como el alumno debe conocer, la convergencia de la integralZ +∞

0

|−()|

implica la convergencia de la integral (1.1). Denotaremos por D el dominio de L[ ], es decir, elsubconjunto del plano complejo donde la expresión (1.1) tiene sentido.

A continuación vamos a ver ejemplos de Transformadas de Laplace de algunas funciones elemen-

tales.

4


Función de Heaviside. Sea ≥ 0 y consideremos la función de Heaviside definida anteri-ormente. Entonces para todo ∈ C tal que Re 0 se verifica

L[]() =

Z +∞

0

−() =Z +∞

−

= lım→+∞

Z

− = lım→+∞

µ−

− −

¶=

−

En particular, cuando = 0 obtenemos

L[0]() = 1

Función exponencial. Sea ∈ C y consideremos la función exponencial () = . Se verifica

entonces para todo ∈ C tal que Re Re

L[ ]() =

Z +∞

0

− =Z +∞

0

−(−)

= lım→+∞

Z

0

−(−) = lım→+∞

µ1

− − −(−)

−

¶=

1

−

En particular, si = 0 se verifica que () = 1, con lo que nuevamente

L[]() = 1

para todo ∈ C tal que Re 0.

Potencias. Sea un número natural y consideremos la función () = . Vamos ver que la

Transformada de Laplace de viene dada por la expresión

L[]() = !

+1para todo ∈ C tal que Re 0.

Para ver esto procedemos por inducción calculando en primer lugar la Transformada de 1.

Integrando por partes obtenemos

L[1]() =

Z +∞

0

− = lım→+∞

Z

0

−

= lım→+∞

µ−

+1− −

2

¶=1

2

A continuación, por la hipótesis de inducción supongamos que L[]() = !+1 y calculemos

la Transformada de +1. Consideremos

L[+1]() =Z +∞

0

−+1 = lım→+∞

Z

0

−+1 (1.2)

Tomando partes en la expresión anteriorZ

0

−+1 =+1−

− ++ 1

Z

0

− (1.3)

5


Combinando (1.2) y (1.3) concluimos que

L[+1]() = + 1

L[]() = (+ 1)!

+2

Funciones periódicas. Las funciones periódicas son bastante importantes en ingeniería debido

a que su periodicidad las hace controlables. Sea : [0+∞) → C una función periódica conperiodo . EntoncesZ

0

−() =−1X=0

Z (+1)

−() =−1X=0

−Z

0

−()

realizando cambios de variable en las integrales y usando que la función es periódica de periodo

. Tomando límites cuando → +∞, se verifica para todo ∈ C tal que Re 0 la relación

L[ ]() = 1

1− −

Z

0

−()

1.3.2. Dominio de definición de la Transformada de Laplace

Los ejemplos que anteriormente hemos explicado ponen de manifiesto que la función Transfor-

mada de Laplace de una función : [0+∞) → C no tiene porque estar definida en todo el planocomplejo. 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 : [0+∞) → C se dice que tiene orden exponencial si existen constantes 0 y

∈ R de manera que para todo ≥ 0 se satisface la condición|()| ≤ (1.4)

Denotaremos por E el conjunto de funciones continuas a trozos con orden exponencial, que seránlas 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 : [0+∞)→ C una función continua a trozos cumpliendo la condición (1.4).Entonces L[ ]() está definida para todo número complejo tal que Re

Proof. Vamos a ver que la función −() es absolutamente integrable para todo complejo tal

que Re . Para ello consideramosZ +∞

0

|−()| =

Z +∞

0

−Re |()|

≤

Z +∞

0

−(Re −)

= lım→+∞

Z

0

−(Re −)

= lım→+∞

µ1

− Re −−(Re −)

−Re ¶=

1

− Re

6


con lo que la Transformada de Laplace existe en el subconjunto ∈ C : Re

Este resultado prueba que ∈ C : Re ⊂ D . Si definimos

= inf ∈ R : ∃ 0 con |()| ≤ para todo ≥ 0

y denotamos por

D∗ = ∈ C : Re La Proposición 1 nos asegura que D∗ ⊆ D .

1.4. Propiedades de la Transformada de Laplace

Una vez estudiada la definición de Transformada de Laplace y caracterizadas algunas condiciones

para que una función tenga Transformada de Laplace L[ ] definida en un dominio del planocomplejo D , pasamos a estudiar algunas propiedades básicas de esta transformada integral. La

primera propiedad que vamos a estudiar es la linealidad.

1.4.1. Linealidad

Esta propiedad será muy útil para resolver ecuaciones diferenciales lineales con coeficientes con-

stantes, a la vez que permitirá el cálculo de la transformada de algunas funciones.

Theorem 2 Sean ∈ E y ∈ C. Entonces para todo ∈ D ∩D se verifica que

L[ + ]() = L[ ]() + L[]()

Proof. La demostración se sigue inmediatamente de la linealidad de la integral. Consideremos

L[ + ]() =

Z +∞

0

−(() + ())

= lım→+∞

Z

0

−(() + ())

= lım→+∞

Z

0

−()+ lım→+∞

Z

0

−()

= L[ ]() + L[]()

lo que concluye la prueba.

A partir de la linealidad de la Transformada de Laplace podemos obtener nuevas Transformadas

de funciones elementales, como muestran los siguientes ejemplos.

Función seno. Sea ∈ R y consideremos la función

() = sin() = − −

2

7


Entonces

L[ ]() =1

2

¡L[]()− L[−]()¢=

1

2

µ1

− − 1

+

¶=

2 + 2

siempre que Re 0

Función coseno. Sea ∈ R y consideremos la función

() = cos() = + −

2

De forma análoga a la anterior se obtiene que

L[ ]() =

2 + 2

siempre que Re 0.

Función seno hiperbólico. Sea ∈ R y consideremos la función

() = sinh() = − −

2

Entonces

L[ ]() =1

2

¡L[]()− L[−]()¢=

1

2

µ1

− − 1

+

¶=

2 − 2

si Re ||.

Función coseno hiperbólico. Sea ∈ R y consideremos la función

() = cosh() = + −

2

De forma análoga a la anterior se obtiene que

L[ ]() =

2 − 2

siempre que Re ||.

8


1.4.2. Transformada de la derivada

Se dice que la función ∈ E es derivable a trozos si es continua, existen las derivadas laterales de en cada punto de [0+∞) y en cada subintervalo [ ] ⊂ [0+∞) existen a lo sumo una cantidadfinita de puntos donde no es derivable. Si es derivable a trozos, definimos 0 : [0+∞)→ C como 0() = 0+() para todo ∈ [0+∞). Es claro entonces que 0 es una función continua a trozos, quecoincidirá en casi todos los puntos con la derivada ordinaria. Se tiene entonces el siguiente resultado.

Theorem 3 Bajo las condiciones anteriores se verifica para todo ∈ D∗

L[ 0]() = L[ ]()− (0) (1.5)

Proof. Sean ∈ D∗ y 0 y consideremos

0 1 2 −1

los puntos de discontinuidad de 0 en el intervalo (0 ) y fijemos 0 = 0 y = . Entonces,

dividiendo el intervalo de integración y utilizando la fórmula de integración por partesZ

0

− 0() =

X=1

Z

−1− 0()

=

X=1

[−()− −−1(−1)] +

X=1

Z

−1−()

= −()− (0) +

Z

0

−()

Tomando límites cuando → +∞, y teniendo en cuenta que ∈ D∗ y que por tanto existen ∈ R, 0, Re , tales que

|()−| ≤ (−Re ) → 0 si → +∞

obtenemos inmediatamente (1.5).

Procediendo por inducción a partir de la fórmula (1.5) se prueba una fórmula general para la

derivada —ésima de la función en el caso de que −1) sea derivable a trozos para ∈ N. Estafórmula viene dada para todo ∈ D∗ por

L[)]() = L[ ]()− −1(0)− −2 0(0)− − −2)(0)− −1)(0) (1.6)

donde las derivadas sucesivas de en 0 se entienden como derivadas por la derecha.

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.

9


1.4.3. Transformada de la integral

Sea ∈ E y definamos la función() =

Z

0

()

que obviamente está bien definida y es continua para todo ∈ [0+∞). La relación entre las Trans-formadas de Laplace de ambas funciones viene dada por el siguiente resultado.

Theorem 4 En las condiciones anteriores, para todo ∈ D∗ ∩ ∈ C : Re 0 se verifica

L[]() = L[ ]()

(1.7)

Proof. Sea 0 y consideremos

0 = 0 1 −1 =

de manera que no es continua en para 1≤ . Obviamente es derivable en ( +1) para

1 ≤ . EntoncesZ

0

−() =

−1X=0

Z +1

−()

=

−1X=0

µ()

−

− (+1)

−+1

¶+1

−1X=0

Z +1

−()

= −()−

+1

Z

0

−()

teniendo en cuenta la continuidad de y (0) = 0. Vamos a comprobar que

lım→+∞

()− = 0.

Para ello y dado que ∈ E , existirán reales y 0 de manera que |()| ≤ para todo ≥ 0.Sea

|()−| ≤Z

0

−() ≤

Z

0

−Re

= −Re µ

− 1

¶→ 0 si → +∞

Entonces tomando límites en la expresión anterior obtenemos el resultado.

1.4.4. Transformada de la convolución

Sean ∈ E y definamos () = () = 0 para todo 0. Se define la convolución de y

como la función

( ∗ )() =Z +∞

0

(− )() =

Z

0

(− )()

Puede verse con el cambio de variable = − que ∗ = ∗ . El principal interés de la convoluciónrespecto a la Transformada de Laplace se concreta en el siguiente resultado.

10


Theorem 5 En las condiciones anteriores, para todo ∈ D∗ ∩D∗ se verifica la fórmulaL[ ∗ ]() = L[ ]()L[]()

Proof. En primer lugar, existen números reales y 0, = 1 2, de manera que para todo ≥ 0se verifica

|()| ≤ 1 y |()| ≤ 2

Entonces para todo ≥ 0

|( ∗ )()| =¯Z

0

(− )()

¯≤Z

0

|(− )||()|

≤ 12

Z

0

= 12

con lo que se ve fácilmente que −( ∗ )() es absolutamente integrable para todo Re , con

lo que L[ ∗ ]() existe para todo con Re . Por otra parte, como las funciones −() y−() también son absolutamente integrables para todo Re , por el Teorema de Fubini (ver

[PiZa, pag. 187]) se tiene que

L[ ∗ ]() =

Z +∞

0

−∙Z

0

(− )()

¸

=

Z +∞

0

∙Z

0

−(−)(− )−()

¸

=

Z +∞

0

∙Z +∞

−(−)(− )−()

¸

=

Z +∞

0

∙Z +∞

−(−)(− )

¸−()

=

Z +∞

0

∙Z +∞

0

−()

¸−()

=

Z +∞

0

L[ ]()−() = L[ ]()L[]()

con lo que termina la prueba.

La demostración de este resultado no la haremos a los alumnos, debido a que pensamos que sus

conocimientos le impedirán comprenderla completamente. No obstante la fórmula será bastante útil

en las aplicaciones.

1.4.5. Primer Teorema de Traslación

Fijemos un número complejo y consideremos ∈ E . El primer teorema de desplazamiento hacereferencia a la transformada de la función () y afirma lo siguiente.

Theorem 6 Bajo las condiciones anteriores

L[()]() = L[ ]( − ) (1.8)

para todo ∈ D +Re := +Re : ∈ D.

11


Proof. Sea Z +∞

0

−() = lım→+∞

Z

0

−(−)() =Z +∞

0

−(−)()

de donde se deduce inmediatamente (1.8).

A partir de este resultado podemos obtener las Transformadas de las funciones siguientes:

() = sin(), ∈ R, cuya Transformada de Laplace para todo número complejo tal queRe Re es

L[ ]() =

( − )2 + 2

() = cos(), ∈ R, cuya Transformada de Laplace para todo número complejo tal queRe Re es

L[ ]() = −

( − )2 + 2

() = sinh(), ∈ R. Si Re ||+Re , entoncesL[ ]() =

( − )2 − 2

() = cosh(), ∈ R. Si Re ||+Re , entonces

L[ ]() = −

( − )2 − 2

() = con ∈ N. Entonces

L[ ]() = !

( − )+1

siempre que Re Re .

1.4.6. Segundo Teorema de Traslación

Sea ahora 0 un número real y supongamos que ∈ E está definida por () = 0 para todo 0. Recordemos que es la función de Heaviside. Entonces tenemos el siguiente resultado.

Theorem 7 Bajo las anteriores condiciones se verifica para todo ∈ D

L[()(− )]() = −L[ ]() (1.9)

Proof. Tomamos Z +∞

0

−()(− ) = lım→+∞

Z

0

−()(− )

= lım→+∞

Z

−(− )

= lım→∞

Z −

0

−(+)()

= −Z +∞

0

−()

12


haciendo el cambio de variable = − . De aquí se obtiene inmediatamente (1.9).

Este resultado es útil para obtener la Transformada de Laplace de funciones continuas a trozos.

Por ejemplo consideremos la función

() =

½ si 0 ≤ 1

0 si ≥ 1

Esta función puede describirse como

() = [0()− 1()]

Entonces

L[ ]() = L[0()]()− L[1()]() = L[]()− −L[+ 1]()=

1

2− −

µ1

2+1

¶=1

2− −

+ 1

2

para todo ∈ C tal que Re 0.

1.5. Propiedades de la función Transformada de Laplace

En esta sección estudiamos la propiedades de la función Transformada de Laplace considerándola

como una función de variable compleja definida en un semiplano ∈ C : Re , ∈ R.Dividimos la sección en tres subsecciones.

1.5.1. Derivabilidad de la Transformada de Laplace

Consideremos una función ∈ E y su Transformada de Laplace

L[ ] : ∈ C : Re → C

Theorem 8 Bajo la notación anterior, la función L[ ] es holomorfa para todo ∈ C tal que Re

y además se verifica

L[ ]() = −

Z +∞

0

−()

En las condiciones del resultado anterior, obtenemos por inducción la fórmula para la derivada

—ésima de la Transformada de Laplace

L[ ]() = (−1)

Z +∞

0

−()

Claramente la demostración de este resultado no es apropiada para hacerla en clase, pues pre-

supone muchos contenidos que no hemos explicado en la misma. Nos centraremos en que el alumno

entienda el resultado y sepa aplicarlo. Por ejemplo, calculando las Transformadas de las siguientes

funciones.

13


() = sin(), ∈ N y ∈ R. Se tiene siempre que Re 0 la relación

L[ ]() = (−1)

L[sin()]() = (−1)

µ

2 + 2

¶

() = cos(), ∈ N y ∈ R. Se tiene análogamente siempre que Re 0

L[ ]() = (−1)

L[cos()]() = (−1)

µ

2 + 2

¶

De forma similar se obtienen fórmulas equivalentes para el coseno y seno hiperbólicos.

1.5.2. Teoremas del valor inicial

Estos resultados hacen alusión a aspectos cualitativos de la Transformada de Laplace de funciones

de la clase E .Theorem 9 Sea ∈ E. Entonces

lımRe →+∞

L[ ]() = 0 (1.10)

Proof. Sea ∈ D∗ . Existen números reales 0 y de manera que |()| ≤ para todo ≥ 0.Entonces

|L[ ]()| ≤ lım→+∞

Z

0

|−()| ≤ lım→+∞

Z

0

(−Re )

= lım→+∞

((−Re − 1) −Re =

Re −

de donde claramente obtenemos (1.10) al hacer Re → +∞.

Continuamos esta sección con otro resultado que estudia cuestiones cualitativas de la Transfor-

mada de Laplace.

Theorem 10 Asumamos que ∈ E es derivable a trozos y que 0 ∈ E. Entonceslım

Re →+∞L[ ]() = (0) (1.11)

Proof. Sea ∈ D∗ . Por el Teorema 3 tenemos queL[ ]() = (0) + L[ 0]() (1.12)

Aplicando el Teorema 9 a (1.12) se tiene que lımRe →+∞L[ 0]() = 0, de donde se deduce inmedi-atamente (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 1√ no puede serlo al tenerseque

lımRe →+∞

√=∞

14


1.5.3. Teorema del valor final

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 transfor-

mada.

Theorem 11 Sea ∈ E una función derivable a trozos tal que 0 ∈ E. Supongamos que 0 ∈ D∗ yque existe y es finito lım→+∞ (). Entonces

lım→0

L[ ]() = lım→+∞

()

Proof. Por el Teorema 3,

L[ ]()− (0) = L[ 0]() =Z +∞

0

− 0()

Por el Teorema 8, L[ 0]() es derivable y por lo tanto continua. Entonces

lım→0

L[ 0]() = L[ 0](0) =Z +∞

0

0() = lım→+∞

()− (0)

lo cual concluye la demostración.

1.6. Transformada de Laplace inversa

1.6.1. Inyectividad de la Transformada de Laplace

Al intervenir en la definición de Transformada de Laplace la integración, está claro que puede

haber infinitas funciones en E teniendo la misma Transformada, por lo que la ésta no será inyectiva.Sin embargo este problema puede paliarse en parte para así poder hablar de la Transformada inversa

de una función holomorfa definida en un semiplano complejo. Como veremos en las aplicaciones del

tema, este punto será de vital importancia.

Consideremos : [0+∞)→ C una función localmente integrable. Diremos que es nula o nulacasi por todas partes si para todo ∈ (0+∞) se verifica queZ

0

|()| = 0

Dos funciones : [0+∞)→ C localmente integrables se dirán iguales casi por todas partes si −es nula. Se tiene entonces el siguiente resultado.

Proposition 12 Sean ∈ E iguales casi por todas partes. Entonces L[ ]() = L[]() para todo ∈ D ∩D.

15


Proof. Sea 0 y ∈ D∩D. Por el Teorema del Valor Medio del Cálculo Integral existe ∈ (0 )tal que Z

0

|−()− −()| = −Re Z

0

|()− ()| = 0

Así

|L[ ]()− L[]()| = lım→+∞

¯Z

0

−()−Z

0

−()

¯≤ lım

→+∞−Re

Z

0

|()− ()| = 0

lo que termina la demostración.

El siguiente resultado establece una especie de recíproco para el resultado anterior.

Theorem 13 (Lerch) Sean ∈ E tales que L[ ]() = L[]() para todo ∈ D ∩D. Entonces

y son iguales salvo a lo mejor en los puntos de discontinuidad de ambas, con lo que además

D = D.

La demostración de este resultado no la haremos en clase y no lo hemos incluido en la lección ya

que no puede obtenerse de forma autocontenida con las técnicas que tenemos a nuestra disposición.

1.6.2. Transformada de Laplace inversa

Consideremos la función

L : E → L(E)El Teorema 13 permite definir clases de equivalencia en E del siguiente modo. Dadas ∈ E sedirá que ambas están relacionadas, ∼ 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 ∈ L(E) como L−1[ ] = [ ] donde [ ] denota la clase de ∈ E de manera que L[ ] = .

En general con nuestros alumnos tenderemos a identificar clases con funciones que normalmente

podrán ser calculadas. Así diremos que dada ∈ L(E) su Transformada inversa es una funciónL−1[ ]() = () de forma que L[ ] = , aunque está perfectamente claro que tal no es única.

En este contexto, destacamos las siguiente propiedades de Transformada inversa que serán espe-

cialmente interesantes a la hora de las aplicaciones.

Linealidad. Dadas ∈ L(E) y ∈ C se verificaL−1[ + ]() = L−1[ ]() + L−1[]()

Traslación. Dada ∈ L(E) y 0 se cumple la relaciónL−1[− ()]() = ()L−1[ ](− )

16


Convolución. Dadas ∈ L(E) se cumple

L−1[]() = (L−1[ ] ∗ L−1[])()

Estas propiedades son particularmente interesantes a la hora de obtener Transformadas inversas

de Laplace una vez conocidas las Transformadas directas.

1.6.3. Fórmula de inversión compleja

Aparte de las técnicas estudiadas en el apartado anterior para hallar Transformadas inversas,

estudiaremos la siguiente fórmula de inversión compleja.

Theorem 14 Supongamos que () es holomorfa en C \ 1 2 , y que existe ∈ R tal que es holomorfa en ∈ C : Re . Supongamos además que existen constantes positivas , y tales que

| ()| ≤

|| si || ≥ (1.13)

Para ≥ 0 sea() =

X=1

Res( () )

Entonces

L[ ]() = () si Re

Proof. Sea y consideremos el rectángulo Γ de la figura, suficientemente grande para que las

singularidades de estén contenidas en su interior y además todo ∈ Γ cumpla la condición || .

Separamos Γ en la suma de dos caminos cerrados 1 y 2 divididos por la recta Re = .

17


Como las singularidades de están contenidas en el interior de 1, por definición de tenemos queZ1

() = 2()

Entonces

2L[ ]() = lım→+∞

Z

0

−∙Z

1

()

¸

= lım→+∞

Z1

∙Z

0

(−) ()

¸

aplicando el Teorema de Fubini. Por integración directa

2L[ ]() = lım→+∞

Z1

¡(−) − 1¢ ()

−

Para fijo en el semiplano Re , el término (−) converge uniformemente a 0 si → +∞ y el

integrando converge a − ()( − ) en 1. Así

2L[ ]() = −Z1

()

− =

Z2

()

− −

ZΓ

()

−

= 2 ()−ZΓ

()

−

Por otra parte, sea () = , ∈ [0 2] una circunferencia de radio y conteniendo a Γ.

Entonces ZΓ

()

− =

Z

()

−

de donde ¯Z

()

−

¯≤

||(−)2→ 0 si → +∞

Así ZΓ

()

− = 0

y como era arbitrario, la fórmula L[ ]() = () es válida para todo Re .

Remarquemos aquí que la condición (1.13) del resultado anterior se cumple para funciones de la

forma () = ()() donde y son polinomios tales que deg ≥ 1 + deg , donde degdenota el grado de . Así por ejemplo, la Transformada inversa de la función

() =

2 + 1

puede calcularse como

L−1[ ]() = ()

= Res( () ) + Res( ()−)=

2+ −

−2 = cos

18


1.7. Aplicaciones: una primera aproximación

La Transformada de Laplace es una herramienta útil para resolver ecuaciones y sistemas de

ecuaciones diferenciales lineales con coeficientes constantes. Como comentamos en la introducción

del tema, estas ecuaciones aparecen de forma natural en la teoría de circuitos eléctricos. Para ilustrar

el método, consideremos el siguiente ejemplo: la ecuación

00 + = cos (1.14)

junto con las condiciones iniciales

(0) = 0; 0(0) = 1 (1.15)

Básicamente se trata de aplicar la Transformada de Laplace y sus propiedades a (1.14) de manera

que teniendo en cuenta (1.15), nuestro problema se convierte en el problema algebraico

2L[]()− (0)− 0(0) + L[]() =

2 + 1

de donde

L[]() = 2 + + 1

(2 + 1)2

Una vez obtenida L[], hemos de usar la Transformada inversa para volver atrás y recuperar lasolución del problema . En este caso, L[] satisface las condiciones del Teorema 14, por lo que

() = Res

µ

2 + + 1

(2 + 1)2

¶+Res

µ

2 + + 1

(2 + 1)2−

¶= (1 + 2) sin

una vez realizados los cálculos.

1.8. Uso de la convolución

Otra forma de abordar el problema anterior, sin necesidad de tener que calcular la Transformada

de Laplace de la función coseno es la siguiente. Consideremos los cálculos realizados anteriormente,

pero sin obtener L[ ]() donde () = cos . Nos quedará entonces la ecuación algebraica2L[]()− 1 + L[]() = L[ ]()

de donde

L[]() = 1

2 + 1+

1

2 + 1L[ ]()

Entonces

() = L−1[1(2 + 1)]() + L−1[L[ ]()(2 + 1)]()= sin + (L−1[L[ ]()] ∗ L−1[1(2 + 1)])()= sin +

Z

0

sin(− ) cos

= sin +

∙1

4(cos(2− ) + 2 sin

¸0

= sin +

2sin = (1 + 2) sin

19


que era la solución obtenida anteriormente.

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.

1.9. Ejercicios

1. Calcular la transformada de Laplace de las siguientes funciones

(a) () = sin(3) (b) () = 5 (c) () = 5 cos 3 (d) () =

(e) () = 3 − (f) () = sinh (g) () = cos sin (h) () = cos sin(2)

2. Una función : [0+∞[ → R se dice que es periódica con periodo 0 o -periódica si para

cada ≥ 0 se tiene que () = (+ ). Comprobar que en caso de existir la transformada de

Laplace de , se verifica la igualdad

L()() = 1

1− −

Z

0

−()

3. Usar el resultado de la actividad anterior para calcular la transformada de Laplace de la función

peródica de periodo 2 definida en [0 2] por

() =

½ si ∈ [0 1]

2− si ∈ [1 2]

4. Dada la función,

() =

Z

0

− sin ≥ 0

calcular su transformada de Laplace. Calcular asimismo la transformada de Laplace de () =

().

5. Dada la función (), definimos la función () = (), que puede verse como un cambio de

escala en . Comprobar que

L[]() = L[()]() = 1

L[]()

Utilizar dicha fórmula para calcular la transformada de la función sin() a partir de

L[sin ]() = 1

1 + 2

6. Calcular la transformada de Laplace de la función,

() =

⎧⎪⎨⎪⎩ si 0 ≤ ≤ 11 si 1 ≤ 20 si 2

20


7. Calcular la transformada de Laplace de las siguientes funciones.

(a) () = | sin | (b) () =

½0 si 0 ≤ ≤ 1 si 1

(c) () =

½2 − 1 si 0 ≤ ≤ 22 si 2

8. Calcular la transformada de Laplace de la función escalonada

() =

½ 0 ≤ ≤ 10 1 ≤ 2

extendida a todo [0+∞[ como 2-periódica.9. ¿Existirá la transformada inversa de Laplace de las siguientes funciones de variable compleja?

Razonar las respuestas.

(a) () =

sin (b) () =

−

(c) () =

1 + 2(d) () =

−

1 + cos (2)

10. Calcular la transformada inversa de Laplace de las funciones siguientes

(a) () =2

1 + 3(b) () =

1

( − 1)(2 − 2) (c) () = + 7

2 + 2 + 5

() () =1

( + 1)( + 2)(2 + 2 + 10)

11. Calcular la transformada inversa de Laplace de las siguientes funciones:

(a) () =−

2 + 2 + 5(b) () =

( − 1)−3 + 2

(c) () = + 1

2(2 + 9)(d) () =

+ 1

4

12. Calcular las transformadas inversas de Laplace de las funciones:

(a) () =−

1 + 2 ( 0) (b) () =

( − 1)( + 2)2 (c) () =−

+

− 12 + 2

() () =2

( − 2)(3 − 1)13. Utilizar la transformada de Laplace para resolver los siguientes problemas de Cauchy asociados

a ecuaciones diferenciales lineales con coeficientes constantes:

000() + 500() + 170() + 13() = 1

(0) = 0(0) = 1 00(0) = 0

¾0() + 3() = −2

(0) = 2

¾00() + 0()− 2() = 54()(0) = 1 0(0) = 0

¾00() + () =

(0) = 1 0(0) = −2

¾

21


14. Resolver los siguientes problemas de valores iniciales:

00() + 0() = () con () =

½ 1

0 ≥ 1(0) = 0 0(0) = 2

⎫⎪⎬⎪⎭00() + () = sin

(0) = 0(0) = −1

)

15. Consideremos un circuito LCR como el de la figura

de forma que = 2 henrios, = 16 ohmios, = 002 faradios y la fuerza electromotriz va

oscilando con el tiempo siguiendo la relación () = 100 sin(3).

a) Utilizar las leyes de Kirchhoff para obtener la ecuación diferencial que verifica la función

que describe la carga en función del tiempo.

b) Determinar la carga en función del tiempo si en el momento de de conectar el circuito,

= 0, la carga del condensador es igual a cero.

c) Determinar la carga del condensador en función del tiempo si inicialmente es de 1.5 cu-

lombios.

16. En el caso de un circuito LCR en el que no se tiene ninguna resistencia, la ecuación diferencial

que describe la carga del condensador en función del tiempo es de la forma,

2

2() +

()

= ()

y se denomina oscilador armónico. Resolver la ecuación anterior en los siguientes casos:

a) La fuerza electromotriz es constante y la carga e intensidad de corriente en el momento

inicial son ambas nulas.

b) La fuerza electromotriz es de la forma sin(+ ), con ∈ R, mientras que (0) = 1al conectar el circuito.

17. Usar la transformada de Laplace para resolver el siguiente sistema de ecuaciones diferenciales

lineales:2001()− 002()− 01()− 02() + 91()− 32() = 02001()− 002() + 01() + 02() + 71()− 52() = 0

)

22


con las condiciones iniciales:

1(0) = 01(0) = 1 2(0) = 02(0) = 0

18. Encuentra la solución del siguiente problema de Cauchy,

00() + () = sen( )

(0) = 0 0(0) = 1

)con 1.

19. Encuentra la solución del oscilador armónico dado por la ecuación diferencial:

00() + () = sin ( ) ( ∈ R 0)

que verifica las condiciones iniciales:

(0) = −12 0(0) = 0 (06-09-99)

20. Resuelve el siguiente problema de Cauchy:

00() + () = cos ()

(0) = −1 0(0) = 0

distinguiendo los casos en que 0 y 0 .

21. Obtener la solución del siguiente sistema de ecuaciones diferenciales,

301() + 02()− 21() = 3 sin + 5 cos 201() + 02() + 2() = sin + cos

)

para las condiciones iniciales, 1(0) = 0, 2(0) = −1.

23


24

Capítulo 2

Estabilidad de ecuaciones diferenciales

Sumario. Ecuaciones y sistemas de ecuaciones lineales. Funciones de transferencia.

Nociones de estabilidad. Criterios de estabilidad. Estabilidad de sistemas autónomos

no lineales.

2.1. Ecuaciones y sistemas lineales: generalidades

Para nosotros, un sistema de ecuaciones diferenciales es una expresión de la forma⎧⎪⎪⎪⎨⎪⎪⎪⎩1( 1

01 2

02

0) = 0;

2( 1 01 2

02

0) = 0;

...

( 1 01 2

02

0) = 0;

donde 1 2 son funciones reales a determinar que dependen de y : ⊆ R1+2 → R,1 ≤ ≤ , son funciones reales de varias variables. Se suele suponer que hay igual número de

ecuaciones que de incógnitas de manera que todas las ecuaciones son independientes, es decir, ninguna

puede deducirse de las demás. Estamos interesados en aquellos sistemas de ecuaciones diferenciales

en los que podemos despejar la primera derivada de cada una de las funciones incógnita, es decir,

sistemas de la forma ⎧⎪⎪⎪⎨⎪⎪⎪⎩01 = 1( 1 2 );

02 = 2( 1 2 );...

0 = ( 1 2 );

donde : ⊆ R1+ → R, 1 ≤ ≤ , son funciones reales. Ejemplos de estos sistemas son½01 = 1 + 22;

02 = + 1 + 2;⎧⎨⎩ 01 = 1 + 22 − 3;

02 = + 1 + 23;

03 = 123;

25


En general la resolución de estos sistemas no es posible, salvo en casos excepcionales. Sólo para el

caso de los sistemas de ecuaciones diferenciales lineales con coeficientes constantes, que veremos un

poco más tarde existen algoritmos que permiten el cálculo explícito de las soluciones. Sin embargo,

es relativamente sencillo saber cuándo un sistema tiene solución, o más precisamente cuándo un

problema de condiciones iniciales asociado tiene solucón. Primero claro está, debemos definir qué

entendemos por un problema de condiciones iniciales para sistemas de ecuaciones diferenciales. Dicho

problema es un sistema de ecuaciones diferenciales⎧⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎩

01 = 1( 1 2 );

02 = 2( 1 2 );...

0 = ( 1 2 );

1(0) = 1 2(0) = 2 (0) =

junto con las condiciones (0) = , donde 0 1 2 son números reales. Por ejemplo⎧⎪⎪⎨⎪⎪⎩01 = 1 + 22 − 3;

02 = + 1 + 23;

03 = 123;

1(0) = 2 2(0) = 0 3(0) = 1

es un problema de condiciones iniciales. Nótese que todas las condiciones iniciales implican el conocimien-

to de la función en 0, es decir, lo siguiente⎧⎪⎪⎨⎪⎪⎩01 = 1 + 22 − 3;

02 = + 1 + 23;

03 = 123;

1(0) = 2 2(1) = 0 3(0) = 1

no sería un problema de condiciones iniciales, ya que conocemos 2 en 1 e 1 e 3 en 0.

Para el caso de los problemas de condiciones iniciales para sistemas de ecuaciones diferenciales

tenemos el siguiente resultado análogo al de ecuaciones diferenciales de orden uno.

Theorem 15 Sea el problema de condiciones iniciales⎧⎪⎪⎪⎪⎪⎨⎪⎪⎪⎪⎪⎩

01 = 1( 1 2 );

02 = 2( 1 2 );...

0 = ( 1 2 );

1(0) = 1 2(0) = 2 (0) =

donde (0 1 ) ∈ , : ⊆ R1+ → R, 1 ≤ ≤ , son funciones reales continuas en el

abierto . Supongamos además que las funciones

existen y son continuas en . Entonces existe

una solución del problema de condiciones iniciales anterior : → R, 1 ≤ ≤ definido en un

intervalo abierto de la recta real.

26


Este resultado es fácil de aplicar. Por ejemplo el problema que consideramos anteriormente⎧⎪⎪⎨⎪⎪⎩01 = 1 + 22 − 3;

02 = + 1 + 23;

03 = 123;

1(0) = 2 2(0) = 0 3(0) = 1

es tal que 1( 1 2 3) = 1 + 22 − 3, 2( 1 2 3) = + 1 + 23 y 3( 1 2 3) = 123son funciones definidas en R4, continuas y las derivadas parciales de cada función respecto de 1 2e 3 son continuas. Entonces este problema de condiciones iniciales tiene solución única, aunque no

tengamos ni idea de cómo calcularla. Se verá en la asignatura de cuarto curso métodos numéricos cómo

obtener soluciones aproximadas, y en esta misma asignatura estudiaremos cómo obtener información

parcial sobre el sistema incluso sin conocer las soluciones.

2.1.1. Sistemas de ecuaciones diferenciales lineales

Como hemos comentado anteriormente en general no va a ser posible resolver sistemas de ecua-

ciones diferenciales salvo en ciertos casos particulares. Uno de ellos va a ser el de los sistemas de

ecuaciones diferenciales lineales de coeficientes constantes, cuya teoría general pasamos a estudiar.

Vamos a ver a continuación cómo son las soluciones de un sistema de este tipo, pero antes necesitamos

conocer un poco más sobre éstos. Un sistema de ecuaciones diferenciales lineales es una expresión

de la forma ⎧⎪⎪⎨⎪⎪⎩01 = 11()1 + 12()2 + + 1() + 1()

02 = 21()1 + 22()2 + + 2() + 2()

0 = 1()1 + 2()2 + + () + ()

donde para cada 1 ≤ ≤ , y son funciones reales definidas sobre un intervalo . Si denotamos

por

A() = (())1≤≤1≤≤ =

⎛⎜⎜⎝11() 12() 1()

21() 22() 2()

1() 2() ()

⎞⎟⎟⎠y por

b() = (1() 2() ()) =

⎛⎜⎜⎝1()

2()

()

⎞⎟⎟⎠e

y = (1 2 ) =

⎛⎜⎜⎝12

⎞⎟⎟⎠

el sistema anterior puede escribirse de forma matricial como

y0 = A() · y + b() (2.1)

27


donde por y0 se entenderá la derivada coordenada a coordenada, es decir,

y0 = (01 02

0)

=

⎛⎜⎜⎝0102

0

⎞⎟⎟⎠

Por ejemplo, los sistemas ½01 = 1 + 2 + 1− 2

02 = 1 − 2 + −⎧⎨⎩ 01 = 1 + 22 + 3 + 1− 2

02 = 1 − 22 + −03 = 1 + (1− )2 + 3

son lineales. Un sistema se dirá homogéneo si b() = (0 0 0), es decir, el sistema⎧⎨⎩ 01 = 1 + 22 + 3

02 = 1 − 22

03 = 1 + (1− )2 + 3

es homogéneo. Se dirá no homogéneo en caso contrario. Nosotros le prestaremos una gran atención

a los sistemas lineales con coeficioentes constantes. Un sistema de ecuaciones diferenciales lineales se

dirá de coeficientes constantes si la matriz A() = A es constante. Ejemplos de tales sistemas, tanto

homogéneos como no homogéneos son½01 = 21 + 2 + 1− 2

02 = 1 − 2 + −⎧⎨⎩ 01 = 21 − 2 + 3

02 = 1 − 2 + 73

03 = −41 + 2 + 3

Veremos en los sucesivos temas cómo resolver estos últimos sistemas, dando un algoritmo que per-

mitirá el cálculo de la solución general del mismo.

Previamente, estudiaremos la teoría general de los sistemas de ecuaciones lineales y para poste-

riormente particularizarla al caso de las ecuaciones lineales de orden mayor o igual que dos (ver la

última sección de este tema). Esta teoría general de los sistemas de ecuaciones diferenciales lineales se

sustenta en la noción de espacio vectorial de dimensión finita estudiadas en la parte de álgebra lineal

impartida durante el curso y utiliza el siguiente resultado sobre existencia y unicidad de soluciones

de ecuaciones y sistemas que se deducen directamente del Teorema 15.

Theorem 16 Sea y0 = A() · y + b() un sistema de ecuaciones diferenciales lineales donde A y

b están definidas en un intervalo 0 = [0 − 0 + ]. Si estas funciones son continuas en dicho

intervalo, entonces el problema de condiciones iniciales½y0 = A() · y + b()

y(0) = y0

tiene solución única definido en todo 0.

28


Recordemos por un instante dos nociones que será importante tener claras para entender la teoría

que a continuación vamos a desarrollar. Por un lado hemos de tener presente que bajo la notación

que estamos utilizando, una solución de un sistema lineal es una función y : ( ) ⊆ R→ R, o dicho

de otro modo, un vector cuyas componentes son funciones reales. Por ejemplo, dado el sistema½01 = 2

02 = −1

una solución del mismo es y() = (sin cos), es decir, 1() = sin e 2() = cos.

Por otra parte, recordemos una noción de básica del álgebra lineal. Si tenemos vectores cuyas

componentes son funciones y1y2 y, se dicen linealmente independientes si para toda combi-

nación lineal

1 · y1 + 2 · y2 + + ·y = 0

donde ∈ R, 1 ≤ ≤ , y 0 es el vector que tiene a la función nula en cada componente, entonces

necesariamente = 0, 1 ≤ ≤ .

Vamos a empezar el estudio de los sistemas homogéneos, empezando por el siguiente resultado.

Las demostraciones de los siguientes resultados están basados en el Teorema 16.

Theorem 17 El conjunto de soluciones del sistema homogéneo

y0 = A() · y (2.2)

tiene estructura de espacio vectorial de dimensión sobre R, esto es, cualquier solución y del mismoes de la forma

y = 1 · y1 + 2 · y2 + + · ydonde 1 2 ∈ R e y1y2 y son soluciones linealmente independientes del mismo.

Proof. En primer lugar, veamos que cualquier combinación lineal de soluciones del sistema (2.2)

es una solución del mismo. Para ello, sean y1y2 y soluciones de (2.2) y 1 2 ∈ R.Consideramos el vector de funciones z = 1 · y1 + 2 · y2 + + · y y derivamos respecto de lavariable independiente (notar que z = z()), obteniéndose, por ser y1y2 y soluciones de (2.2)

que

z0 = 1 · y01 + 2 · y02 + + · y0= 1 ·A() · y1 + 2 ·A() · y2 + + ·A() · y= A() · [1 · y1 + 2 · y2 + + · y]= A() · z

que prueba que z es solución.

Sea ahora C = u1u2 u la base canónica de R, es decir, para cada ∈ 1 2 , u esel vector de R que tiene 0 en todas las componentes salvo en la —ésima, donde tiene un 1. Sea 0

29


un número real y supongamos que A() está definida en 0 (ver Teorema 16). Para cada 1 ≤ ≤ ,

consideramos el problema de condiciones iniciales½y0 = A() · y;y(0) = u

En virtud del Teorema 16, para cada ∈ 1 2 existe una única solución de dicho problema,que denotaremos por y, definida en 0. Vamos a ver que B = y1y2 y forman una base delconjunto de soluciones del sistema 2.2.

Veamos primero que son linealmente independientes. Para ello sea

1 · y1 + 2 · y2 + + · y = 0.

Particularizamos en 0 y obtenemos que

1 · y1(0) + 2 · y2(0) + + · y(0) = 0(0) = 0,

y por ser cada y solución del problema de condiciones iniciales, y(0) = u, 1 ≤ ≤ , de donde

1 · u1 + 2 · u2 + + · u = 0

Como los vectores u son los elementos de la base canónica de R, son linealmente independientes y

por tanto = 0, 1 ≤ ≤ , de donde y1y2 y son linealmente independientes.

Acto seguido, vamos a ver que B es un sistema generador del conjunto de soluciones del sistema(2.2). Para ello sea z una solución arbitraria del sistema (2.2). Sea 0 el número real del apartado

anterior. Como C es una base de R, se verifica que existen 1 2 ∈ R tales que

z(0) = 1 · u1 + 2 · u2 + + · u

Sea el vector de funciones

z1 = 1 · y1 + 2 · y2 + + · yy consideremos el problema de condiciones iniciales½

y0 = A() · y;y(0) = z(0)

Claramente tanto z como z1 son soluciones de dicho problema. Como la solución es única en virtud

del Teorema 16, se tiene que

z = z1 = 1 · y1 + 2 · y2 + + · y

por lo que B también es un sistema generador y la demostración concluye.

Aunque el resultado anterior caracteriza las soluciones del sistema homogéneo, el cálculo ex-

plícito de las soluciones dista mucho de estar al alcance. Un primer avance en el objetivo del cál-

culo de las soluciones lo proporciona el determinante wronskiano, definido de la manera siguiente.

30


Dadas y1y2 y : ⊂ R → R se define su determinante wronskiano como la función real

[y1y2 y] : ⊂ R→ R definida todo ∈ como

[y1y2 y]() := |y1();y2(); ;y()|

El determinante wronskiano resulta ser útil a la hora de determinar si soluciones del sistema

homogéneo son o no linealmente independientes, como pone de manifiesto el siguiente resultado.

Proposition 18 Sean y1y2 y : ⊂ R → R soluciones del sistema homogéneo y0 = () · y.Son equivalentes:

(a) y1y2 y son linealmente independientes.

(b) [y1y2 y]() 6= 0 para todo ∈ .

(c) Existe 0 ∈ tal que [y1y2 y](0) 6= 0.

Proof. Veamos en primer lugar que (a) implica (b). Procedemos por reducción al absurdo suponiendo

que (b) es falso, esto es, existe 0 ∈ tal que [y1y2 y](0) = 0. Entonces los vectores de R

son linealmente dependientes, es decir, existen 1 2 ∈ R, no todos nulos, tal que

1 · y1(0) + 2 · y2(0) + + · y(0) = 0

Consideremos el problema de condiciones iniciales½y0 = A() · y;y(0) = 0

Obviamente el vector de funciones 0 (cuyas componentes son la función nula) es solución de dicho

problema. Por otra parte, procediendo como en el final de la demostración del Teorema 2.18, vemos

que la función

z = 1 · y1 + 2 · y2 + + · ytambién es solución de dicho problema. Como la solución debe ser única por el Teorema 16, tenemos

que

z = 0 = 1 · y1 + 2 · y2 + + · yComo los escalares no eran todos nulos, tenemos que las funciones y1y2 y no pueden ser

linealmente independientes, lo que nos lleva a una contradicción.

(b) implica (c) es trivial. La demostración de (c) implica (a) es análoga a la demostración del

Teorema 2.18, cuando se comprueba que las funciones son linealmente independientes.

Ahora bien, seguimos todavía muy lejos de resolver un sistema homogéneo. De hecho, los métodos

que permitirán dar soluciones explícitas a los sistemas planteados tendrán que esperar a los próximos

temas. La teoría general, en lo que a la estructura de las soluciones, queda cerrada al establecer la

siguiente caracterización de los sistemas no homogéneos.

31


Theorem 19 El conjunto de soluciones del sistema

y0 = A() · y + b() (2.3)

es de la forma

y = 1 · y1 + 2 · y2 + + · y + ydonde 1 2 ∈ R, y1y2 y son soluciones linealmente independientes del problema homogé-neo e y es una solución particular del problema no homogéneo.

Proof. Sea y una solucion particular del sistema (2.3) y sea y otra solución. Consideremos el vector

de funciones z = y− y y veamos que es solución del sistema homogéneo asociado a (2.3). Para ellocalculamos

z0 = y0 − y0= A() · y + b()− [A() · y+b()]= A() · [y− y]= A() · z

Por el Teorema 2.2, existen soluciones del sistema homogéneo asociado linealmente independientes

y1y2 y tales que

z = 1 · y1 + 2 · y2 + + · ydonde 1 2 ∈ R. Teniendo en cuenta la definición de z concluimos que

y = 1 · y1 + 2 · y2 + + · y + y

con lo que se concluye la demostración.

2.1.2. Teoría general para ecuaciones lineales de orden

Una ecuación diferencial de orden 1 es una expresión de la forma

) = ( 0 −1)) (2.4)

donde : ⊆ R+1 → R. Esta ecuación puede transformarse en un sistema de ecuaciones diferen-ciales de orden uno de la manera siguiente. Introducimos las variables dependientes 1 = , 2 = 0,3 = 00,..., = −1) y entonces la ecuación (2.4) puede escribirse como el sistema⎧⎪⎪⎪⎪⎨⎪⎪⎪⎪⎩

01 = 2

02 = 3

0−1 =

0 = ( 1 2 )

Por ejemplo, la ecuación de orden tres

3) = + 0 − 00

32


puede escribirse como el sistema ⎧⎨⎩ 01 = 2

02 = 3

03 = + 12 − 3

De aqui se ve que para tener un problema de condiciones para la ecuación, necesitamos condiciones

iniciales 1(0) = (0) = 0, 2(0) = 0(0) = 00,...,(0) = −1)(0) = −10 , es decir, necesitamos

conocer el valor de la función y de las sucesivas derivadas hasta la − 1 en un punto 0. Entonces,en virtud del Teorema 15 vemos que si es continua y las derivadas

, 1 ≤ ≤ , son continuas,

el problema de condiciones iniciales tiene solución única. Por ejemplo, el problema de condiciones

iniciales ½3) = + 0 − 00(0) = 0 0(0) = 1 00(0) = 2

tiene solución única.

Nos ocuparemos expecialmente de ecuaciones diferenciales de orden que llamaremos lineales y

que a continuación describimos. Por una ecuación diferencial lineal de orden entenderemos una

expresión de la forma

()) + −1()

−1) + + 1()0 + 0() = () (2.5)

donde para 0 ≤ , y son funciones reales de variable real definidas en un intervalo de la recta

real . Siempre que () sea diferente de cero, podemos escribir la ecuación como

) + −1()−1) + + 1()

0 + 0() = () (2.6)

donde () = ()(), 0 ≤ , y () = ()(). Por ejemplo, las ecuaciones

000 + 20 =

00 + 20 + =

6) − 73) + 200 + (log ) = 0

son ecuaciones lineales de órdenes tres, dos y seis, respectivamente. Como hemos visto anteriormente,

una ecuación de orden puede escribirse como el sistema⎧⎪⎪⎪⎪⎨⎪⎪⎪⎪⎩01 = 2

02 = 3

0−1 =

0 = ()− [−1() + + 1()2 + 0()1]

que en forma matricial se escribe como

y0 = A() · y + b()donde

A() =

⎛⎜⎜⎜⎜⎝0 1 0 0 0

0 0 1 0 0

0 0 0 1 0

−0() −1() −2() −3() −−1()

⎞⎟⎟⎟⎟⎠33


y b() = (0 0 0 ()). Diremos entonces que la ecuación (3.1) es homogénea o no homogénea

según se sea b() nulo o no, es decir, si () = 0 para todo . Además, la ecuación se dirá de

coeficientes constantes cuando A() sea constante, es decir, cuando () = ∈ R para todo

0 ≤ .

Tanto los Teoremas 2.18 y 2.19 como la Proposición 18 admiten la siguiente lectura en términos de

ecuaciones lineales. A la vista de que cualquier ecuación lineal puede escribirse como un sistema aña-

diendo las derivadas como funciones, cualquier solución del sistema y es de la forma ( 0 −1),donde : ⊆ R → R es una función suficientemente derivable. En esta línea, destacamos entoncesque el wronskiano puede escribirse como

[1 2 ]() = [y1y2 y]() := |y1();y2(); ;y()|

=

¯¯ 1() 2() ()

01() 02() 0()

−1)1 ()

−1)2 ()

−1) ()

¯¯

donde 1 2 son las primeras componentes de y1y2 y. Podremos enunciar entonces los

siguientes resultados.

Theorem 20 El conjunto de soluciones de la ecuación homogénea

) + −1()−1) + + 1()

0 + 0() = 0

tiene estructura de espacio vectorial de dimensión sobre R, esto es, cualquier solución de la

misma es de la forma

= 1 · 1 + 2 · 2 + + · donde 1 2 ∈ R e 1 2 son soluciones linealmente independientes del mismo.Proposition 21 Sean 1 2 : ⊂ R→ R soluciones de la ecuación homogénea

) + −1()−1) + + 1()

0 + 0() = 0

Son equivalentes:

(a) 1 2 son linealmente independientes.

(b) [1 2 ]() 6= 0 para todo ∈ .

(c) Existe 0 ∈ tal que [1 2 ](0) 6= 0.Theorem 22 El conjunto de soluciones de la ecuación

) + −1()−1) + + 1()

0 + 0() = ()

es de la forma

= 1 · 1 + 2 · 2 + + · +

donde 1 2 ∈ R, 1 2 son soluciones linealmente independientes del problema homogé-neo e es una solución particular del problema no homogéneo.

34


2.2. Resolución desistemas lineales de coeficientes constantes

Vamos a considerar sistemas de la forma

y0 = A · y + b() (2.7)

donde A = ()1≤≤1≤≤ es una matriz cuadrada, b() = (1() 2() ())

donde para 1 ≤ ≤ ,

son funciones reales definidas sobre un intervalo de la recta real e y = (1 2 ). Los métodos

que vamos a estudiar son matriciales por lo que es necesario tener frescos conceptos sobre la teoría

de matrices y especialmente con la diagonalización de éstas.

2.2.1. Resolución del sistema homogéneo

Vamos a introducir un método matricial para la resolución de sistemas de ecuaciones lineales con

coeficientes constantes que puede verse en [DeGr, pg. 384—402] y que está basado en el cálculo de la

exponencial de una matriz utilizando el Teorema de Cayley—Hamilton. Explicaremos en primer lugar

en qué consiste el Teorema de Cayley—Hamilton y posteriormente introduciremos la exponencial de

una matriz, que nos va a proporcionar la solución de sistemas homogéneos de la forma

y0 = A · y

donde A = ()1≤≤1≤≤ es una matriz cuadrada.

Teorema de Cayley—Hamilton

Supongamos que A = ()1≤≤1≤≤ es una matriz cuadrada y () =

+−1−1+ +1+0,

es un polinomio de coeficientes reales. Si intercambiamos porA construimos lo que denominaremos

un polinomio matricial

(A) = A + −1A

−1 + + 1A+ 0I

Nótese que el término independiente del polinomio aparece multiplicado por la matriz identidad I.

Por ejemplo, si

A =

µ1 2

3 4

¶y () = 3 + 2− 1, entonces

(A) = A3 + 2A− I2=

µ1 2

3 4

¶3+ 2

µ1 2

3 4

¶−µ1 0

0 1

¶=

µ38 58

87 125

¶

El Teorema de Cayley—Hamilton afirma lo siguiente.

Theorem 23 (Cayley—Hamilton). Sea A = () una matriz cuadrada y sea () = |A− · I|su polinomio característico. Entonces (A) = 0.

35


Demostración. Como sabemos del tema inicial,

|A− · I| · I = () · I = (A− · I) · (A− · I)donde (A− · I) es la matriz traspuesta de la adjunta de A − · I. Entonces (A− · I) =(()), donde () son polinomios reales en de grado a lo sumo − 1. Podemos reordenar dichamatriz como

(A− · I) = B1 · −1 +B2 · −2 + +B−1 · +B

donde B ∈M×(R). Entonces

() · I = (B1 · −1 +B2 · −2 + +B−1 · +B) · (A− · I)= −B1 · + (B1 ·A−B2) · −1 + + (B−1 ·A−B) · +B ·A

de donde sustituyendo por la matriz A tenemos

(A) = (A) · I= −B1 ·A + (B1 ·A−B2) ·A−1 + + (B−1 ·A−B) ·A+B ·A = 0

con lo que termina la demostración.¤A modo de ejemplo, dada la matriz anterior, su polinomio característico es

() = 2 − 5− 2y si calculamos

(A) = A2 − 5A− 2I2=

µ7 10

15 22

¶−µ5 10

15 20

¶−µ2 0

0 2

¶=

µ0 0

0 0

¶

Este teorema será clave para poder obtener una fórmula que permita resolver sistemas de ecuaciones

diferenciales lineales con coeficientes constantes.

El polinomio característico de una matriz cuadrada A no tiene porqué ser el de menor grado que

satisfaga el teorema de Cayley—Hamilton. Un polinomio () se dice mínimo para la matriz cuadrada

A si (A) = 0. En general se sabe que () divide al polinomio característico de A, es decir, dicho

polinomio será de la forma

() = (− 1)1 · · (− )

donde , 1 ≤ ≤ son los valores propios de A y = 1 + + ≤ , donde es el grado del

polinomio característico ().

Como sabemos, para que la matriz A sea diagonalizable tiene que cumplirse que si

() = (−1)(− 1)1 · · (− )

entonces para cada valor propio debe cumplirse que su multiplicidad algebraica = dimKer(A− · I), donde Ker(A− · I) es el subespacio propio asociado al valor propio . Esta condición esequivalente a que = 1, siendo el exponente del monomio − en el polinomio mínimo.

36


Veamos un par de ejemplos. Consideremos la matriz

A =

⎛⎝ 0 1 1

−1 2 1

−1 1 2

⎞⎠que tiene valores propios 1 (doble) y 2 (simple). Esta matriz será diagonalizable si su polinomio

mínimo es () = (− 1)(− 2). Calculamos(A) = (A− I3) · (A− 2 · I3) = 0,

por lo que dicha matriz es diagonalizable.Sin embargo la matriz

A =

⎛⎝ 1 1 0

−1 2 1

0 1 1

⎞⎠tiene los mismos valores propios con las mismas multiplicidades y sin embargo

(A) = (A− I3) · (A− 2 · I3) =⎛⎝ −1 0 1

0 0 0

−1 0 1

⎞⎠

por lo que no puede ser diagnalizable.

Además, si es valor propio de A, para comprobar la relación = dimKer(A− · I), bastacomprobar que 1(A) = 0, siendo

1() = (− )()

(− )

2.2.2. Resolución de sistemas. La exponencial de una matriz

En esta sección vamos a obtener una fórmula para resolver sistemas de ecuaciones de la forma

y0 = A · y (2.8)

dondeA es una matriz cuadrada de coeficientes reales. Para esto, debemos recordar un caso particular

de éste cuando la matriz es de una fila y una columna, es decir, cuando tenemos la ecuación lineal

homogénea de orden uno

0 = ∈ REn este caso, la solución general de esta ecuación es de la forma

() = ∈ RPor analogía con el caso unidimensional, para el caso general la solución del sistema (2.8) va a ser

de la forma

y() = A· ·Cdonde C es un vector columna constante y A· es la exponencial de la matriz A · definida por laserie

A· :=∞X=0

A ·

!

Para hacer más comprensible este capítulo, vamos a dar algunas nociones sobre la exponencial de

una matriz.

37


La exponencial de una matriz

Consideremos una matriz cuadrada A. Como hemos definido anteriormente, la exponencial de

dicha matriz viene definida, en analogía con la exponencial de un número real, viene dada por la

serie

A =

∞X=0

A · 1!

donde supondremos que A0 = I. Esta serie siempre es convergente, es decir, para toda matriz

cuadrada con coeficientes reales la serie anterior nos proporciona una matriz de coeficientes reales.

Hay casos en los que es bastante sencillo calcular la exponencial de una matriz. Por ejemplo,

si D = diag(1 ) es una matriz diagonal, entonces para todo número natural se tiene que

D = diag(1 ) y entonces

D =

∞X=0

D · 1!

=

∞X=0

diag(1 ) ·

1

!

= diag

Ã ∞X=0

1!

∞X=0

!

!= diag(1 )

Por ejemplo, si

D =

⎛⎝ 1 0 0

0 2 0

0 0 −2

⎞⎠

entonces

D =

⎛⎝ 0 0

0 2 0

0 0 −2

⎞⎠

Además, la exponencial de una matriz cumple la siguientes propiedades (que no justificaremos). Si

A y B son matrices cuadradas que conmutan, esto es A ·B = B ·A, entoncesA+B = A · B (2.9)

Dado el vector columna C, la función y() = A· ·C está definida para todo ∈ R, es derivable y

y0() =

A· ·C = A · A· ·C = A · y()

es decir, es solución del sistema de ecuaciones diferenciales lineales con coeficientes constantes (2.8).

Ahora bien, consideremos el sistemaµ0102

¶=

µ1 1

1 −1¶·µ

12

¶

38


La solución de este sistema es la matriz

⎛⎝ 1 1

1 −1⎞⎠

·µ

12

¶

pero ¿cómo calculamos dicha matriz? A continuación vamos a ver un método basado en el Teorema de

Cayley—Hamilton que permite hacer el cálculo con cierta facilidad, aunque los cálculos sean laboriosos.

Cálculo práctico de la exponencial

Para fijar ideas supongamos que () es el polinomio característico de la matriz A y que tiene

raíces reales o complejas 1 2 con multiplicidades 1 2 . Buscamos entonces polinomios

1() 2() () con grado a lo sumo − 1 para cada 1 ≤ ≤ , de manera que se verifique la

igualdad1

()=

1()

(− 1)1+

2()

(− 2)2+ +

()

(− )

de donde

1 = 1()1() + 2()2() + + ()() (2.10)

con () = ()(− ), 1 ≤ ≤ . Sustituyendo en (2.10) por A tendremos

I = 1(A)1(A) + 2(A)2(A) + + (A)(A) (2.11)

Dado que para todo 1 ≤ ≤

·I =∞X=0

I ·()

!= · I

entonces

A· = ·I(A−I)· = ·∞X=0

(A− I) ·

!

De aquí, multiplicando por la izquierda ambos miembros por (A)

(A)A· = ·

∞X=0

(A)(A− I) ·

!

= ·−1X=0

(A)(A− I) ·

!

dado que por el Teorema de Cayley—Hamilton, para todo ≥ se tiene que (A)(A − I) =

(A)(A− I)− = 0. Multiplicando nuevamente por la izquierda por (A) obtendremos

(A)(A)A· = ·

−1X=0

(A)(A)(A− I) ·

! (2.12)

39


Sumando (2.12) desde 1 hasta y teniendo en cuenta (2.11) concluimos que la exponencial de la

matriz puede calcularse con la fórmula

A· =X=1

Ã · (A)(A)

−1X=0

(A− I) ·

!

! (2.13)

Consideremos por ejemplo el sistema½01 = 41 + 22;02 = 31 + 32

La matriz asociada al sistema es

A =

µ4 2

3 3

¶

y el polinomio característico

() = 2 − 7+ 6que tiene por raíces 1 = 1 y 2 = 6. Calculamos ahora 1 y 2 a partir de

1

()=

1

− 1 +2

− 6 =(1 + 2)− 61 − 2

()

de donde obtenemos el sistema ½1 + 2 = 0

−61 − 2 = 1

que tiene por solución 1 = −15 y 2 = 15. Además

1() = ()(− 1) = − 6

y

2() = ()(− 6) = − 1Aplicamos ahora la fórmula (2.13) y tenemos que

A· = (−15I2) · I2(A− 6I2) + 6(15I2) · I2(A− I2)=

1

5·µ36 + 2 26 − 236 − 3 26 + 3

¶

La solución del sistema seráµ1()

2()

¶=

1

5·µ36 + 2 26 − 236 − 3 26 + 3

¶·µ

12

¶=

1

5·µ

6(31 + 22) + (21 − 22)6(31 + 22) + (−31 + 32)

¶

esto es

1() =1

5

¡6(31 + 22) + (21 − 22)

¢40


e

2() =1

5

¡6(31 + 22) + (−31 + 32)

¢

donde 1 y 2 son dos constantes reales. Si tuviésemos alguna condición inicial, por ejemplo, 1(0) =

1 2(0) = 0, entonces planteando el sistema

1(0) = 1 = 1

2(0) = 2 = 0

obtendríamos que

1() =1

5(36 + 2)

e

2() =1

5(36 − 3)

es la única solución de dicho problema de condiciones iniciales.

Consideremos ahora el sistema ½01 = 31 + 2;

02 = −1 + 2;

cuyo polinomio característico asociado a la matriz A es () = 2− 4+4, que tiene por solución laraíz doble = 2. Entonces

1

()=

1

(− 2)2 =1

()

de donde 1 = 1 y

1 = ()(− 2)2 = 1Aplicando la fórmula (2.13) tenemos que

A· = 21(A)1(A)

1X=0

(A− 2I2) ·

!

= 2II

µI +

µ1 1

−1 1

¶

¶= 2

µµ1 +

− 1 +

¶¶con lo que la solución del sistemaµ

1()

2()

¶=

µ(1 + )2 2

−2 (1 + )2

¶µ12

¶

donde 1 y 2 son dos constantes reales (la expresión definitiva de 1 e 2 se deja como ejercicio al

lector).

Si por último tomamos el sistema ½01 = 31 − 52;02 = 1 − 2;

41


podemos ver que el polinomio característico asociado a la matriz A es () = 2 − 2+ 2 que tienepor raíces los números complejos conjugados 1 = 1 + y 2 = 1− . De la expresión

1

()=

1

(− 1− )+

2

(− 1 + )=(1 + 2)+ 1(−1 + ) + 2(−1− )

()

que da lugar al sistema ½1 + 2 = 0

1(−1 + ) + 2(−1− ) = 1

que nos da como solución 1 =12y 2 = − 1

2. Teniendo en cuenta que

1() = − 1 +

y

2() = − 1−

se tiene aplicando la fórmula (2.13)

A· = (1+)1

2· I2(A− (1− )I2)− (1−)

1

2· I2(A− (1 + )I2)

= µ1

2

µ2 + −51 −2 +

¶− −

1

2

µ2− −51 −2−

¶¶

=

⎛⎜⎝ 2 − −

2+

+

2−5

−

2 −

2−2

− −

2+

+

2

⎞⎟⎠= ·

µ2 sin+ cos −5 sin

sin −2 sin+ cos¶

dado que

cos = + −

2y

sin = − −

2

Entonces toda solución del sistema viene dada por la expresiónµ1()

2()

¶= ·

µ2 sin+ cos −5 sin

sin −2 sin+ cos¶·µ

12

¶

donde 1 y 2 son dos constantes reales.

Los tres ejemplos anteriores resumen los casos que pueden darse para el caso de sistemas de dos

ecuaciones con dos incógnitas, es decir, que el polinomio característico tenga dos soluciones reales

distintas, una real doble o dos complejas conjugadas. Cuando el número de ecuaciones es mayor,

pueden aparecer otros casos, pero básicamente la matriz exponencial contiene en sus coordenadas

funciones de la forma

cos() y sin()

donde ≥ 0 y y son números reales. En cualquier caso, resolveremos sistemas que a lo sumo

tienen cuatro ecuaciones con cuatro incógnitas, pues a partir de ese número de ecuaciones los cálculos

suelen ser muy largos y engorrosos en general.

42


2.2.3. El método de variación de constantes

Volvamos ahora sobre el sistema no homogéneo (2.7) y supongamos conocida la solución general

del sistema homogéneo asociado. Para terminar de resolver el sistema no homogéneo usaremos el

método de variación de constantes. Para ello supongamos que la solución es de la forma

y() = A· ·C()donde C() es una función a determinar. Derivando respecto de obtendremos que

y0() = AA· ·C() + A· ·C0() = A · y() + A· ·C0()Sustituyendo en el sistema no homogéneo tendremos

A · y() + A· ·C0() = A · y() + b()o equivalentemente

A· ·C0() = b()Dado que la matriz A· es invertible (recordar la Proposición 18) y teniendo en cuenta que

A· · −A· = 0 = I

concluimos que −A· es la inversa de A· y entonces

C() =

Z−A· · b() (2.14)

Una vez calculada C() obtenemos la solución del sistema no homogéneo.

Por ejemplo, consideremos el sistema½01 = 41 + 22 + ;

02 = 31 + 32

que también podemos escribir comoµ0102

¶=

µ4 2

3 3

¶·µ

12

¶+

µ

0

¶

Ya vimos que la exponencial de la matriz del sistema era

A· =1

5·µ36 + 2 26 − 236 − 3 26 + 3

¶por lo que a partir de (2.14) obtenemosµ

1()

2()

¶=

Z1

5

µ3−6 + 2− 2−6 − 2−3−6 − 3− 2−6 + 3−

¶·µ

0

¶

=1

5

Z µ3−5 + 23−5 − 3

¶

=1

5

µ R(3−5 + 2)R(3−5 − 3)

¶=

1

5

µ −3−55 + 2+ 1−3−55− 3+ 2

¶

43


con lo que la solución

y() =1

5·µ36 + 2 26 − 236 − 3 26 + 3

¶· 15

µ −3−55 + 2+ 1−3−55− 3+ 2

¶=

1

25·µ36 + 2 26 − 236 − 3 26 + 3

¶·µ

12

¶+1

25 ·

µ10− 33− 15

¶

Nótese que una solución particular del sistema es

y() =1

25 ·

µ10− 33− 15

¶

por lo que haciendo = 5, = 1 2, tenemos que

y() = A·µ

12

¶+ y()

tal y como el Teorema 2.19 afirmaba.

Si por ejemplo consideramos el problema de condiciones iniciales⎧⎨⎩ 01 = 41 + 22 + ;

02 = 31 + 32;1(0) = 0 2(0) = 1;

se verificará que µ1(0)

2(0)

¶=

µ0

1

¶=1

25

µ12

¶+1

25

µ −33

¶de donde

1 = 3

y

2 = 22

de donde sustituyendo en la solución general concluimos queµ1()

2()

¶=1

25

µ136 + (10− 13)136 + (12− 15)

¶es la única solución de dicho problema de condiciones iniciales.

2.3. Resolviendo sistemas mediante la transformada de Laplace

Supongamos que tenemos un sistema de ecuaciones lineales de la forma

y0() = A · y()+f() (2.15)

44


donde A es una matriz cuadrada de filas por columnas con coeficientes reales, f = (1 2 )

donde son funciones dadas e y = (1 2 ) es la función vectorial incógnita. Supongamos

además las condiciones iniciales

y(0) = y0 (2.16)

donde y0 = (01

02

0)

con 0 números reales para 1 ≤ ≤ . Sea

L[y]() = (L[1]()L[2]() L[]())

Entonces, tomando la Transformada de Laplace en (2.15) y teniendo en cuenta (2.16) obtenemos que

L[y]()− y0 = A · L[y]() + L[f ]()

de donde, si I denota la matriz identidad,

(I −A) · L[y]() = y0 + L[f ]()

y de aquí

L[y]() = (I −A)−1 · (y0 + L[f ]()) (2.17)

Una vez calculada de este modo L[y]() obtendremos y tomando la Transformada inversa.

Por ejemplo consideremos el sistemaµ0102

¶=

µ2 −33 2

¶µ12

¶+

µ1

0

¶junto con las condiciones iniciales µ

1(0)

2(0)

¶=

µ2

−1¶

De (2.17) µ L[1]()L[2]()

¶=

µ − 2 3

−3 − 2¶−1µ

2 + 1

−1¶

=1

2 − 4 + 13µ

− 2 −33 − 2

¶µ2+1

−1¶

=

Ã22−2

(2−4+13)−2+8+3(2−4+13)

!

Entonces la solución del problema viene dada porµ1()

2()

¶=

ÃL−1[ 22−2

(2−4+13) ]()

L−1[ −2+8+3(2−4+13) ]()

!

=1

13

µ282 cos(3) + 162 sin(3)− 2282 sin(3)− 162 cos(3) + 3

¶

45


2.4. Problemas con funciones discontinuas

Supongamos que el problema ½00 + = ();

(0) = 0 0(0) = 1;

viene dada ahora con la función discontinua

() =

½ si 0 ≤

cos(2) si ≥

Podemos escribir ahora

(2 + 1)L[]() = 1 + L[ ]()Por otra parte

() = (0()− ()) + () cos(2)

con lo que

L[ ]() = L[0()]() + L[()]() + L[() cos(2)]()Desarrollando cada sumando por separado, obtenemos

L[0()]() = 12

L[()]() = L[(− )()]() + L[()]()=

−

2+

−

L[() cos(2)]() = L[() cos(2(− ))]()

= −

2 + 4

Combinando estas expresiones tenemos

(2 + 1)L[ ]() + 1 = 2 + 1

2+ −

µ1

2+

+

2 + 4

¶

Entonces

L[]() = 2 + 1

2(2 + 1)+ −

µ1

2(2 + 1)+

(2 + 1)+

(2 + 4)(2 + 1)

¶

y así

() = L−1∙1

2

¸() + L−1

∙−

1

2(2 + 1)

¸() + L−1

∙−

1

(2 + 1)

¸()

+L−1∙−

(2 + 4)(2 + 1)

¸()

= + 1(− )() + 2(− )() + 3(− )()

46


donde las funciones 1, 2 y 3 se determinan de la siguiente manera.

1() = L−1∙

1

2(2 + 1)

¸() = L−1

∙1

2

¸()− L−1

∙1

2 + 1

¸() = − sin

2() = L−1∙

1

(2 + 1)

¸() = L−1

∙1

¸()− L−1

∙

2 + 1

¸() = 1− cos

3() = L−1∙

(2 + 4)(2 + 1)

¸()

=1

3L−1

∙

2 + 1

¸()− 1

3L−1

∙

2 + 4

¸() =

1

3cos − 1

3cos(2)

Entonces

() = + ()[(− )− sin(− ) + − cos(− ) +1

3cos(− )− 1

3cos(2− 2)]

= (1− ())+ ()[2+ sin + (3 − 1)3 cos − cos(2)3]

o equivalentemente

() =

½ si 0 ≤

2+ sin − (3 − 1)3 cos − cos(2)3 si ≥

2.5. Sistemas autónomos, puntos críticos y noción de esta-

bilidad

Consideremos un sistema de ecuaciones diferenciales

y0 = f(y)

donde f : Ω ⊆ R+1 → R es una función con regularidad suficiente para satisfacer la unicidad de

soluciones para un problema de condiciones iniciales o de Cauchy. Si la variable independiente no

aparece explícitamente en las ecuaciones del sistema, es decir, el sistema es de la forma

y0 = f(y)

donde f : Ω ⊆ R → R, se dice que el sistema de ecuaciones es autónomo. Por ejemplo, el sistema½0 = − +

0 =

es no autónomo mientras que ½0 = −

0 = (2.18)

o

0 = 4(1− ) (2.19)

47


son autónomos.

Aunque estos sistemas pueden no ser fáciles de resolver, es sencillo encontrar determinadas solu-

ciones particulares. Entre ellas destacan las soluciones constantes, cuyascondiciones iniciales vienen

dadas por las soluciones del sistema algebraico

f(y) = 0.

Si y0 ∈ Ω y verifica que

f(y0) = 0,

entonces la solución constante de la forma

y() = y0

es la única solución del problema de condiciones inciales½y0 = f(y)y(0) = y0

para todo 0 ∈ R. Así, resolviendo el sistema½ − = 0

= 0

vemos que (0 0) es el único punto crítico del sistema (2.18), mientras que al resolver la ecuación

4(1− ) = 0

comprobamos que 0 y 1 son los puntos críticos de la ecuación (2.19). Como veremos posteriormente,

estos puntos serán de gran importancia en el análisis de la estabilidad de un sistema. Veamos que se

entiende por estabilidad.

Definition 1 Sea el sistema autónomo

y0 = f(y) (2.20)

donde y = (1 2 ) y f : Ω ⊆ R → R es una función con funciones coordenadas 1 2 .

Una solución y() de (2.20) definida para todo ≥ 0 se dice estable si para todo 0 existe 0

tal que si z() es otra solución que cumple la condición ||y(0)−z(0)|| entonces z() está definida

para todo ≥ 0 y se verifica que ||z()− y()|| para todo ≥ 0. Si además se verifica que

lım→∞

||z()− y()|| = 0

la solución y() se dirá asintóticamente estable. La solución y() se dirá inestable si no es estable.

Por ejemplo, consideremos la ecuación

0 =

cuyas soluciones son de la forma

() = 0−0

48


para condiciones iniciales (0) = 0. Claramente, para dos soluciones 1() e 2() se verifica que

lım→+∞

|2()− 1()| = +∞

por lo que dicha ecuación es iniestable en todas sus soluciones. Lo contrario ocurre con la ecuación

0 = −que es asintóticamente estable. Finalmente, dado que las soluciones del sistema½

0 =

0 = −son circunferencias concentricas con centro (0 0), se tiene que las soluciones del sistemas son estable

aunque no asintóticamente estables.

2.6. Estabilidad de sistemas lineales

Consideremos ahora un sistema lineal y0 = A · y donde la matriz A tiene filas y columnas.

Aunque en este caso no disponemos de la representación de los diagramas de fases del mismo, sí que

es posible determinar la estabilidad del mismo, con un resultado análogo al anterior. Para establecer

el mismo, dada la matriz A, denotaremos por 1 los valores propios de A con multiplicidades

1 . Asímismo, denotaremos por 1 las dimensiones sobre C de los subespacios propiosKer(A− 1I) Ker(A− I).

Theorem 24 Sea el sistema lineal plano y0 = A · y, A ∈×(R) no nula. Entonces

(a) El sistema es estable si Re ≤ 0, 1 ≤ ≤ , y además si verifica que Re = 0, entonces

= .

(b) El sistema es asintóticamente estable si Re 0 para todo = 1 .

(c) El sistema es inestable si o bien existe tal que Re = 0 y , o bien existe tal que

Re 0.

Example 1 Consideremos el sistema⎧⎨⎩ 0 = −3+ 2 + 20 = −2+ + 2

0 = −2+ 2 +

Es fácil ver que 1 y −1 son los valores propios de la matriz asociada al sistema, por lo que en virtuddel Teorema 24 (c), éste es inestable.

Example 2 Sea ahora el sistema ⎧⎨⎩ 0 = −2+ −

0 = − 2 −

0 = −+ − 2Podemos ver ahora que los valores propios de la matriz asociada son −1, −2 y −3, por lo que por elTeorema 24 (b), el sistema es asintóticamente estable.

49


Example 3 Sea el sistema ⎧⎨⎩ 0 = −4+ + 3

0 = 20 = −2

Puede comprobarse que ±2 y −4 son los valores propios de la matriz del sistema. Cómo las dimen-siones de los subespacios propios de los valores propios ± son 1 y coincide con la multiplicidad deéstos, por el Teorema 24 (a) y (b) el sistema será estable, aunque no será asintóticamente estable.

Exercise 1 Dados los siguientes sistemas lineales, decidir si son estables o no.

(a)

⎧⎨⎩ 0 = − 5 + 50 = −2− 2 + 20 = 3− 3 + 3

(b)

⎧⎨⎩ 0 = −5+ −

0 = −2− 2 + 20 = −3+ 3 − 3

(c)

⎧⎨⎩ 0 = −− 20 = 3− 20 = 4+

(d)

⎧⎨⎩ 0 = −9+ − 20 = 3− 90 = 4+ +

(e)

⎧⎨⎩ 0 = −5+ −

0 = −3− + 3

0 = −4+ 4 − 2(f)

⎧⎨⎩ 0 = −2− 2 + 20 = −2− 2 + 20 = 0

La aplicación del Teorema 24 tiene a priori un punto flaco puesto de manifiesto por el siguiente

ejemplo. Consideremos el sistema ⎧⎨⎩ 0 = −2+ − 20 = 3− 90 = 4+ +

Este sistema coincide con el del apartado (d) del ejercicio anterior en todos los coeficientes de la matriz

asociada excepto el primero. El polinomio característico es () = −3−102−12−63, pero resolverla ecuación () = 0 no resulta sencillo, y quizás ni siquiera factible para los conocimientos de los

que se disponen. Ahora bien, para aplicar el Teorema 24 en la mayoría de los casos sólo necesitamos

conocer los signos de las partes reales de los valores propios de la matriz asociada. Para este objetivo

podemos usar el siguiente criterio de Routh-Hurwitz que, aunque no siempre es aplicable, supone

una gran ayuda para determinar al menos si el sistema es asintóticamente estable.

Proposition 25 Sea () = (−1) + 1−1 + + −1 + el polinomio característico de

la matriz A ∈ ×(R). Las raíces de () tienen parte real negativa si y sólo son estrictamente

positivos los menores principales de la matriz

HA =

⎛⎜⎜⎜⎜⎜⎜⎝1 3 5 0

1 2 4 0

0 1 3 0

0 1 2 0

0 0 0

⎞⎟⎟⎟⎟⎟⎟⎠

Example 4 Consideremos el sistema ⎧⎨⎩ 0 = 3+ − 20 = −3− −

0 = −4− −

50


El polinomio característico de la matriz asociada es () = 3 + 11+ 2 − 3 y la matriz HA⎛⎝ 1 3 0

1 11 0

0 1 3

⎞⎠cuyos menores principales son 1, 8 y 24. Está claro entonces que todos los valores propios de la matriz

A tienen parte real negativa, por lo que el sistema será asintóticamente estable.

Además puede ser de utilidad el siguiente resultado que denominaremos Teorema de círculo de

Gershgorin.

Theorem 26 Sea A = () ∈ M×(R) con valores propios 1 . Entonces todos los valorespropios están en el conjunto del plano de la forma

+ ∈ C :p(− 11)2 + 2 1 ∪ ∪ + ∈ C :

p(− )2 + 2

donde =P

=1 ||− ||, = 1 2 .

Demostración. Si es valor propio deA con vector propio v = (1 ) ∈ C y = max|| : = 1 . Definimos

u=1

· v = (1 )

que también es vector propio de tal que max|| : = 1 = || = 1. EntoncesX

=1

0 = 0

con lo queX

=1 6=0

0 = (− 00)0

Así

|− 00 | =

¯¯ X=1 6=0

0

¯¯ ≤ X

=1 6=0

|0||| ≤X

=1 6=0

|0| = 0

con lo que el resultado queda probado.

Vemos cómo se aplica este resultado en el siguiente ejemplo.

Example 5 Consideremos el sistema ⎧⎨⎩ 0 = −4+ +

0 = −2 +

0 = 4 − 5

51


El conjunto a que hace referencia el resultado anterior es

( ) :p(+ 4)2 + 2 2 ∪ ( ) :

p(+ 2)2 + 2 1( ) :

p(+ 5)2 + 2 4

que gráficamente representamos por

por lo que todos los valores propios tienen parte real negativa y el sistema es por tanto asitóticamente

estable.

Exercise 2 Determinar si es posible la estabilidad asintótica de los siguientes sistemas

(a)

⎧⎨⎩ 0 = −12

0 = 12− − 1

2

0 = 12− 1

2 −

(b)

⎧⎨⎩ 0 = −3− +

0 = − 5 −

0 = 2− 2 − 4(c)

⎧⎨⎩ 0 = − 512− 1

4 + 1

4

0 = 512− 13

12 − 5

12

0 = 23− 2

3 − 5

6

2.6.1. ¿Por qué un sistema estable es útil en ingeniería?

Supongamos que tenemos un sistema de ecuaciones diferenciales lineales no autónomo

y0 = A · y + f()

donde A ∈×(R) y supongamos que el sistema autónomo asociado

y0 = A · y

es asintóticamente estable. Entonces toda solución del sistema autónomo

y() = A· ·C C ∈ R

verifica que

lım→∞

y() = 0

52


Ahora bien, toda solución del sistema no autónomo es de la forma

y() = y() + y() (2.21)

donde y() es una solución particular del sistema no homogéneo. Si tomamos límites cuando tiende

a infinito, tenemos que

y() ' y()es decir, para tiempos grandes (aquí lo de grande depende de cada sistema) la solución del sistema no

autónomo es básicamente la solución particular del mismo y la parte de la solución correspondiente al

sistema homogéneo se va reduciendo con el tiempo. En ingeniería a la función f() se le llama entrada

del sistema e y() es la salida del mismo. Si el sistema es estable, al variar la entrada, varía la salida

sin que la parte homogénea intervenga en el proceso. Esto es lo que ocurre en la mayoría de los

sistemas lineales utilizados en las ciencias experimentales, como en circuitos eléctricos o vibraciones

mecánicas.

2.7. Funciones de transferencia. Estabilidad y control de sis-

temas lineales

Supongamos un sistema dado por la ecuación

) + −1

−1) + + 10 + 0 =

) + −1−1) + + 1

0 + 0 (2.22)

donde , ∈ R para 0 ≤ ≤ y ∈ R para 0 ≤ ≤ . es una señal entrada del sistema

e es la respuesta que produce en sistema a la excitación que representa. Aplicando formalmente

la transformada de Laplace a (2.22) con todas las condiciones iniciales nulas obtenemos

()L[]() = ()L[ ]()

donde es un polinomio de grado y es un polinomio de grado . La función de transferencia

del sistema, se define como

() =L[]()L[ ]() =

()

()

La estabilidad del sistema puede estudiarse a partir de los polos de la función de transferencia,

entendiendo por estabilidad de un sistema lo siguiente. El sistema será asintóticamente estable si

en ausencia de excitación ( = 0) y para cualquier condición inicial que consideremos se verifica

que |()| → 0 si → +∞. Será estable si existen 0 y 0 0 tales que |()| si ≥ 0.

Finalmente es sistema es inestable si lım→+∞ |()| = +∞. Se tiene entonces el siguiente resultado.

Theorem 27 Sea () =Q

=1 ( − ),P

=1 = . Entonces el sistema (2.22) es

(a) Asintóticamente estable si Re 0 para todo = 1 2 .

(b) Estable si Re ≤ 0 y Re = 0 implica que la multiplicidad de es 1.(c) Inestable si no se cumplen algunas de las condiciones (a) o (b) anteriores.

53


Proof. Sean , 1 ≤ ≤ las raíces de () con multiplicidades . Para 1 ≤ ≤ , consideremos

los polinomios

() = (− )

−1Y6=(− )

1 ≤ ≤

Es fácil comprobar que B = () : 1 ≤ ≤ ; 1 ≤ ≤ es una base del conjunto de

polinomios con coeficientes en el cuerpo de los números complejos de grado a lo sumo − 1.

Consideremos el problema de condiciones iniciales

) + −1

−1) + + 10 + 0 = 0 (2.23)

(0) = 1 0(0) = 2

−1)(0) = (2.24)

donde 1 2 son números reales arbitrarios.

Supongamos en primer lugar que Re 0 para todo = 1 2 . Entonces, sean cuales fueran

las condiciones (2.24) se tiene que la solución del problema es de la forma

() =

X=1

X=1

L−1[1( − )

]()

=

X=1

X=1

−1

( − 1)!

donde los coeficientes , 1 ≤ ≤ , 1 ≤ ≤ vienen determinados a partir de las condiciones

iniciales del problema. Como Re 0, es claro que lım→+∞ |()| = 0.

Supongamos ahora que existe ∈ 1 2 de manera que Re 0. Como B es una base,existen condiciones iniciales de manera que para las mismas la solución () contiene un término de

la forma

L−1[1( − )]() =

con ∈ C \ 0. Entonces claramente lım→+∞ |()| = +∞.

Consideremos ahora que toda raíz de (), con Re = 0 tiene multiplicidad uno ( = 1) y

las restantes raíces tienen parte real negativa. Entonces para cualquier condición inicial la solución

() verifica que si Re = 0, entonces existe ∈ C tal que

L−1[1( − )]() = = (cos( Im) + sin( Im))

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 es suficientemente grande se verifica

|()| ≤X

Re=0

||+

lo que prueba que el sistema es estable.

54


Por último, supongamos que existe una raíz de (), con Re = 0 y con multiplicidad mayor

que uno. En estas condiciones existen condiciones iniciales de manera que () contiene un término

no nulo de la forma

L−1[1( − )2]() = = (cos( Im) + sin( Im))

obviamente lım→+∞ |()| = +∞.

2.8. Estabilidad local de sistemas autónomos

2.8.1. Método de linealización de Lyapunov. Teorema de Hartman—Grobman

Analizaremos a continuación la estabilidad de puntos críticos de sistemas autónomos mediante

un método que es comúnmente usado en las ciencias experimentales, el método de linealización.

Supongamos un sistema autónomo

y0 = f(y) (2.25)

con f definido sobre el abierto Ω ⊆ R y sea y0 ∈ R un punto crítico aislado del mismo (un punto

crítico es aislado si existe 0 tal que la bola abierta de centro y0 y radio no contiene puntos

críticos aparte de y0). Consideremos el sistema linealizado dado por

y0 = Jf(y0) · y (2.26)

donde Jf(y0) es la matriz Jacobiana de f en el punto y0. Por ejemplo consideremos el sistema½0 = 2 + 2+ 2

0 = −23 + 2

Es evidente que (0 0) es un punto crítico del sistema. La matriz Jacobiana en (0 0) es

Jf(0 0) =

µ2 0

0 2

¶y el sistema linealizado será ½

0 = 20 = 2

Es de esperar que localmente (cerca del punto crítico y0), el comportamiento asintótico de los sis-

temas (2.25) y (2.26) sea parecido. Este parecido se precisará con el Teorema de Hartman—Grobman,

para cuya compresión necesitaremos algunas definiciones previas.

En primer lugar necesitamos una herramienta para comparar localmente sistemas autónomos.

Esta herramienta es la conjugación topológica [Jim, pag. 239]. Los sistemas (2.25) y (2.26) se dice

topológicamente conjugados si existe una aplicación continua, biyectiva con inversa continua h : Ω→R verificando la condición h(y(y0)) = z(h(y0)) para todo y0 ∈ Ω [aquí z(h(y0)) representa la

solución maximal de (2.26) con condición inicial h(y0)]. Si existen abiertos de R y de manera

que son topológicamente conjugados los sistemas restringidos a estos abiertos, entonces los sistemas

55


(2.25) y (2.26) se dirán localmente topológicamente conjugados. Para entendernos, una conjugación

topológica lleva órbitas de un sistema en órbitas del otro sistema, preservando la orientación temporal.

La segunda definición que interviene en el enunciado del Teorema de Hartman—Grobman es el de

punto crítico hiperbólico. Con la notación anterior y0 se dice hiperbólico si los valores propios de la

matriz Jacobiana Jf(y0) tienen parte real no nula. En caso contrario y0 se dirá no hiperbólico. En el

ejemplo anterior, el valor propio de la matriz Jacobiana es 2 con multiplicidad 2, por lo que (0 0) es

un punto crítico hiperbólico.

Theorem 28 (Hartman—Grobman) Sea y0 un punto aislado crítico hiperbólico de (2.25). En-

tonces existen entornos de y0 y de 0 tales que los sistemas (2.25) y (2.26) son localmente

topológicamente conjugados.

En virtud del teorema anterior sabemos que los sistemas

½0 = 2 + 2+ 2

0 = −23 + 2

y ½0 = 20 = 2

son localmente topológicamente conjugados en un entorno del punto (0 0). Así, si el diagrama de

fases del sistema linealizado es

sin conocer exactamente las órbitas del sistema no linealizado sabemos que cerca de (0 0) se obtienen

“deformando” de forma continua las órbitas del sistema linealizado, como por ejemplo muestra la

56


siguiente figura:

Obsérvese como en el dibujo las rectas del sistema linealizado son deformadas y transformadas en

curvas. Además, como la orientación temporal se conserva, la estabilidad del punto crítico puede

estudiarse a partir del sistema no linealizado. Así, el punto crítico (0 0) es inestable para el sistema

no linealizado dado que es inestable para el sistema linealizado.

Hemos de enfatizar el carácter local del Teorema de Hartman—Grobman. Por ejemplo consider-

amos el sistema ½0 = −0 = 1− 2 − 2

(2.27)

con dos puntos críticos hiperbólicos, (0 1) y (0−1). A partir del resultado anterior vemos que (0 1)es asintóticamente estable y (0−1) es inestable, pero obviamente el sistema (2.27) no puede serglobalmente conjugado a los sistemas y0 = Jf(0 1) ·y o y0 = Jf(0−1) ·y, dado que éstos sólo tienenun punto crítico.

Exercise 3 Obtener los puntos críticos de los siguientes sistemas y determinar si son o no hiper-

bólicos:

(a)

½0 = −

0 = − + 2(b)

½0 =

0 = −+ 3(c)

½0 = −

0 = − (d)

½0 =

0 = 3

(e)

½0 = −

0 = + −(f)

½0 = −0 = 1− 2 − 2

(g)

½0 = −2 + − +

0 = −2 + 2 + − 4 + 2Exercise 4 Determinar las isoclinas de los sistemas del ejercicio 3, así como la dirección del vector

velocidad a las órbitas en las regiones que las isoclinas determinan.

Exercise 5 Obtener el sistema linealizado en los puntos críticos de los sistemas del ejercicio 3.

Determinar su diagrama de fases e indicar si es posible la naturaleza del punto crítico en un entorno

del mismo.

Exercise 6 Esbozar el diagrama de fases de los siguientes sistemas no lineales:

(a)

½0 = (2− )

0 = (− 2)( − 2) (b)

½0 =

0 = 2(c)

½0 =

0 = 2

57


Exercise 7 Consideremos la ecuación de Van Der Pol

00 + − 0(1− 2) = 0

donde es un parámetro real. Transformar dicha ecuación en un sistema plano y determinar los

puntos críticos del mismo. Determinar la naturaleza de los puntos críticos en función del parámetro

.

Exercise 8 Idem para la ecuación

00 + 20 + (1− 2) = 0

Exercise 9 Sea el sistema ½0 = + (+ 1)

0 = 2(− 1)+

donde es un parámetro real. Se pide:

(a) Discutir la estabilidad de los puntos de equilibrio del sistema en función del parámetro .

(b) Esbozar el diagrama de fases del sistema para el valor = 1.

2.8.2. El método directo de Lyapunov

Aunque el Teorema de Hartman—Grobman proporciona una herramienta útil para distinguir la

estabilidad de puntos críticos hiperbólicos, resulta ineficaz para tratar la misma cuestión con puntos

críticos no hiperbólicos. Una opción alternativa válida también en el caso de no hiperbolicidad es

el método directo de Lyapunov, de clara inspiración física. Consideremos nuevamente el sistema

autónomo

y0 = f(y) (2.28)

y sea y0 un punto crítico, hiperbólico o no, del mismo. El método directo de Lyapunov consiste en

encontrar una función escalar : → R, con un entorno de y0, satisfaciendo ciertas condiciones.

Esta función puede ser considerada como una medida de la “energía potencial” del sistema, de manera

que a lo largo de las órbitas ésta decrece cuando →∞, indicando estabilidad, o bien crece, indicandoinestabilidad. Precisemos a continuación estas ideas.

Dada una solución y = (1 2 ) de (2.28), la derivada de a lo largo de y() es

(y()) =

X=1

(y())

0() =

X=1

(y())

(y()) = grad (y()) · f(y())

donde f = (1 2 ) y grad denota el gradiente de . Definimos entonces la derivada total de

como

(y) := grad (y) · f(y)El siguiente resultado nos garantiza la estabilidad del punto crítico en cuestión.

58


Theorem 29 Sean y0 un punto crítico del sistema (2.28) y : → R, con un entorno de y0,

continua en y derivable en \y0. Supongamos que (y0) = 0 y (y) 0 para todo y ∈ \y0.Entonces

(a) Si

(y) ≤ 0 para todo y ∈ \ y0, entonces y0 es estable.

(b) Si

(y) 0 para todo y ∈ \ y0, entonces y0 es asintóticamente estable.Si satisface las condición (a) [resp. (b)] del resultado anterior, se dirá una función de Lyapunov

para y0 [resp. una función de Lyapunov estricta para y0]. Por ejemplo, el sistema½0 = − 3

0 = −Es claro que (0 0) es un punto crítico aislado del sistema. La matriz Jacobiana en dicho punto es

Jf(0 0) =

µ0 1

−1 0

¶que como puede comprobarse tiene por valores propios ±, por lo que dicho punto crítico no eshiperbólico. Vamos a comprobar que la función ( ) = 2 + 2 es una función de Lyapunov

estricta para el mismo, por lo que (0 0) será un punto crítico asintóticamente estable. En primer

lugar, está claro que (0 0) = 0 y ( ) 0 para todo ( ) ∈ R2 \ (0 0). Por otra parte, laderivada total es

( ) = grad ( ) · f( ) = (2 2) · ( − 3−) = −24 ≤ 0para todo ( ) ∈ R2 \ (0 0). En virtud del Teorema 29 el punto crítico es estable.

También la inestabilidad de los puntos críticos puede ser discutida, según muestra el siguiente

resultado.

Theorem 30 Sean y0 un punto crítico del sistema (2.28) y un abierto de R conteniendo a y0en su frontera Fr(). Supongamos que existe una función : → R, con un entorno de y0,

con ∪ Fr() ⊂ , de clase 1 y tal que (y) 0 y

(y) 0 para todo y ∈ , y (y) = 0 si

y ∈ Fr(). Entonces y0 es inestable.Consideremos ahora el sistema ½

0 = + 3

0 =

Sea la función : ⊂ R2 → R, donde = ( ) ∈ R2 : 0 || y ( ) = 2 − 2. Es

fácil darse cuenta de que ( ) 0 para todo ( ) ∈ , y que la derivada total

( ) = grad ( ) · f( ) = (2−2) · ( + 3 ) = 24 0

para todo ( ) ∈ . Además (0 0) ∈ Fr() y ( ) = 0 para todo ( ) ∈ Fr(). Por el Teorema30 el punto crítico (0 0) es inestable.

La principal desventaja de este método, que de hecho hace que su utilización sea cuando menos

limitada, es la dificultad en encontrar la función .

59


Exercise 10 Sea el sistema ½0 = −+ 2(+ )2

0 = −3 + 23(+ )2

Determinar los puntos críticos del mismo y su hiperbolicidad. Determinar la naturaleza del punto

crítico (0 0) a partir de la función ( ) = 12(2 + 2).

Exercise 11 Idem para el sistema ½0 = − 2

0 = −3

y la función ( ) = 144 + 1

22.

Exercise 12 Idem con el sistema ½0 = 3 − −

0 =

y la función ( ) = 12(2 + 2).

Exercise 13 Idem con el sistema ½0 = + 2 + + 2

0 = 2 + + 2

y la función ( ) = 2−2 definida sobre el conjunto del plano real = ( ) ∈ R2 : 0 || .

Exercise 14 Un sistema ½0 = 1( )

0 = 2( )

se dice Hamiltoniano si existe una función derivable ( ) tal que 1( ) = −( ) y 2( ) =

( ), de tal manera que es una integral primera del sistema. Se puede comprobar que para un

punto crítico de un sistema Hamiltoniano, las funciones de Lyapunov pueden construirse sumando

una constante a la función . Con esta idea, verificar el carácter de los puntos críticos del sistema½0 = − 2

0 = − 2

2.9. Ejercicios

1. Resolver los siguientes sistemas de ecuaciones lineales de la forma

y0 = A · y

donde la matriz A es la siguiente:

(a)

⎛⎝ 3 −1 1

−1 5 −11 −1 3

⎞⎠ (b)

µ1 −52 −1

¶(c)

µ1 −22 −2

¶

60


(d)

µ −3 −11 −1

¶(e)

µ2 −91 8

¶(f)

⎛⎝ 0 1 1

1 0 1

1 1 0

⎞⎠(g)

⎛⎝ −1 1 1

1 −1 1

1 1 1

⎞⎠ (h)

⎛⎝ 0 8 0

0 0 −22 8 −2

⎞⎠ (i)

⎛⎝ 0 1 1

3 0 1

3 1 0

⎞⎠2. Resolver los siguientes problemas de condiciones iniciales:

(a)

⎧⎨⎩ 0 =

0 = −(0) = (0) = 1

(b)

⎧⎨⎩ 0 = −4(+ )

0 + 40 = −4(0) = 1 (0) = 0

(c)

⎧⎨⎩ 0 = 3+ 80 = −3 −

(0) = 6 (0) = −2

(d)

⎧⎪⎪⎨⎪⎪⎩0 = −

0 = 20 = +

(0) = −2 (0) = 2 (0) = −1(e)

⎧⎪⎪⎨⎪⎪⎩0 = +

0 = −+

0 = −−

(0) = (0) = (0) = −13. Resolver los siguientes sistemas y problemas de condiciones iniciales

(a)

⎧⎨⎩ 0 = + 2

0 = −2+ 3 + 2

(0) = 1 (0) = −1(b)

⎧⎨⎩ 0 = 4+ 3 + 5 + sin 2

0 = − − 40 = 2 + 3

(c) y0=

⎛⎝ 2 −1 1

3 −1 2

2 −1 1

⎞⎠y+⎛⎝ 0

1

0

⎞⎠ (d)

⎧⎪⎪⎨⎪⎪⎩0 = 2+ −

0 = −3− + +

0 = 9+ 3 − 4(0) = (0) = 0 (0) = 3

(e)

⎧⎨⎩ 0 = −2− 5 +

0 = + 2 + 2

(0) = 1 (0) = 0

(f)

⎧⎨⎩ y0 =

µ −3 −12 −1

¶+

µ0

sin

¶(0) = −1 (0) = 0

61


62

Capítulo 3

Ecuaciones en derivadas parciales

Sumario. Definiciones básicas. Ecuaciones lineales de segundo orden: clasificación.

Método de separación de variables. Series de Fourier. Resolución de las ecuaciones

canónicas: calor, ondas y Laplace.

3.1. Introducción a las EDP

Por una ecuación en derivadas parciales entederemos una expresión de la forma

(1 1 1 ) = 0

donde 1 son variables independientes, = (1 ) es una variable dependiente (incógnita

de la ecuación) y 1 son las derivadas parciales de de orden , 1 ≤ ≤ , respecto de las

variables 1 . La derivada de mayor orden indica el orden de la ecuación. Por ejemplo

+ + = 0

es una ecuación de orden uno, mientras que

− + · =

es una ecuación de orden dos, que será el orden máximo que estdiaremos en este curso.

Las ecuaciones en derivadas parciales (EDP) se utilizan para modelar procesos que además de ten-

er una variación temporal, tienen una variación de tipo espacial. Ejemplos conocidos son la variación

de calor con el tiempo en un sólido, la distribución de poblaciones en un cierto habitat o la propa-

gación del sonido de las cuerdas de una guitarra.

En general, las EDP van a ser bastante difíciles de resolver. De hecho, no existe un teorema

de existencia y unicidad "sencilloçomo el que se estudiaba para problemas de condiciones iniciales

de sistemas de ecuaciones diferenciales ordinarias. Por todo ello, las EDP son fuente de estudio

en la actualidad para muchos matemáticos siendo una de las áreas de la matemáticas con mayor

investigación en la actualidad.

Como ocurre con las ecuaciones diferenciales, normalmente se suelen asociar varios tipos de condi-

ciones a una EDP. Según se trate, hablaremos de ellas como condiciones iniciales o condiciones de

63


contorno. Consideremos por ejemplo el problema siguiente⎧⎨⎩ = 0 ∈ (0 1)(0 ) = () ∈ [0 1]( 0) = ( 1) = 0 ≥ 0

que, como veremos posteriormente modela la varición temperatura de una varilla unidimensional

de longitud 1 a lo largo del tiempo. La ecuación de segundo orden = 2 se conoce como ecuación

del calor, que en este problema tiene asociados dos tipos de condiciones. La condición (0 ) = ()

establece la temperatura inicial de la varilla para todo punto de ésta ∈ [0 1], por lo que hablamosde ella como una condición inicial. Sin embargo, la condición ( 0) = ( 1) = 0 nos indica que los

valores de la temperatura en los extremos de la varilla son fijos para cada instante de tiempo. Estas

condiciones se llaman de frontera o contorno.

3.2. Ecuaciones de orden uno?

3.3. Ecuaciones lineales de orden 2

Una ecuación lineal de segundo orden es de la forma

( ) + ( ) + ( ) + ( ) + ( ) + ( ) = ( ) (3.1)

donde : Ω ⊆ R2 → R son funciones de regularidad suficiente para cada problema quevayamos a estudiar. Es fácil comprobar que si 1( ) y 2( ) son soluciones de (3.1) para el caso

homogéneo ( ) = 0, entonces una combinación lineal de ellas

1( ) + 2( )

∈ R es también solución de la ecuación, por lo que ésta recibe el calificativo de lineal. Dichaecuación se dirá de coeficientes constantes si las funciones son constantes. En este caso,

se pueden introducir nuevas variables independientes y , y una nueva variable dependiente de

manera que la ecuación (3.1) se escribe de una de las siguientes formas:

+ + = ( ) (3.2)

− + = ( ) (3.3)

− = ( ) (3.4)

+ = ( ) (3.5)

donde es una constante que toma los valores −1, 0 y 1. Si la ecuación original verifica que2−4 0 esta se dirá elíptica y se reducirá a una ecuación del tipo (3.2). Si verifica que 2−4 0se dirá hiperbólica y puede reducirse a una ecuación de la forma (3.3). Finalmente, si 2− 4 = 0 laecuación puede reducirse a la forma (3.4) y se dirá parabólica o a la forma (3.5) que se conoce con

el nombre de degenerada.

Veamos por ejemplo cómo transformar la ecuación

3 − 2 + 6 − 12 − 9 − 5 = 0

64


en una de las formas anteriores. En primer lugar, démonos cuenta que

2 − 4 = −68 0por lo que se trata de una ecuación elíptica. La transformación se hace en tres etapas.

Cambio en las variables independientes para eliminar el término . Para ello consideramos

una rotación en el plano de ángulo que tendrá la forma½ = cos+ sin

= − sin+ cos

y cuya transformación inversa es ½ = cos− sin

= sin+ cos

Por la regla de la cadena, tenemos que

=

+

=

cos−

sin

=

+

=

sin+

cos

De este modo

2

2=

=

µ

cos−

sin

¶µ

cos−

sin

¶=

2

2cos2 +

2

2sin2 − 2 2

cos sin

2

2=

=

µ

sin+

cos

¶µ

sin+

cos

¶=

2

2sin2 +

2

2cos2 + 2

2

cos sin

2

=

=

µ

cos−

sin

¶µ

sin+

cos

¶=

2

2cos sin− 2

2cos sin+ 2

2

(cos2 − sin2 )

y sustituyendo en la ecuación original tenemos

0 = 3 − 2 + 6 − 12 − 9 − 5= 3

¡ cos

2 + sin2 − 2 cos sin

¢−2 ¡ cos sin− cos sin+ 2(cos

2 − sin2 )¢+6¡ sin

2 + cos2 + 2 cos sin

¢−12 ( cos− sin)− 9 ( sin+ cos)− 5

=¡3 cos2 − 2 cos sin+ 6 sin2 ¢+¡3 sin2 + 2 cos sin+ 6 cos2

¢

+¡6 cos sin− 4(cos2 − sin2 )¢

− (12 cos+ 9 sin) + (12 sin− 9 cos) − 5

65


Si buscamos que el coeficiente que multiplica a sea 0, debe verificarse que

6 cos sin− 4(cos2 − sin2 ) = 0

o equivalentemente

4 tan2 + 6 tan− 4 = 0de donde obtenemos que, considerando en el primer cuadrante,

tan =1

2

con lo que

cos =2√5

5 sin =

√5

5

quedando la ecuación original como

14

5 +

31

5 − 33

√5

5 − 6

√5

5 − 5 = 0

o equivalentemente

14 + 31 − 33√5 − 6

√5 − 25 = 0 (3.6)

La siguiente etapa consiste en la eliminación de los términos de y , en dos pasos. En primer

lugar eliminaremos el término de introduciendo la variable dependiente

=

y calculamos para que el término que acompaña a sea cero. Para ello tenemos en cuenta

que = − y derivamos

= −− + −

= −

= 2− − 2− + −

= −

y sustituimos en la ecuación (3.6) teniéndose

0 = 14 + 31 − 33√5 − 6

√5 − 25 = 0

= 14(2− − 2− + −) + 31−

−33√5(−− + −)− 6

√5− − 25−

= −³14 + 31 − [28 + 33

√5] − 6

√5 + [14

2 + 33√5 − 25]

´

de donde obtenemos la condición

28 + 33√5 = 0

de donde

= −33√5

28

66


y teniendo en cuenta que − 6= 0, la ecuación se simplifica a

14 + 31 − 6√5 − 6854

56 = 0 (3.7)

Procediendo del mismo modo con la variable , introduciendo la variable dependiente

=

la ecuación (3.7) se reduce a

14 + 31 − 95737868

= 0 (3.8)

Finalmente, introducimos la variables dependiente e independientes para reescalar la ecuación

(3.8) de la siguiente forma. En primer lugar introducimos la variable dependiente

=95737

868

y como

=868

95737

=868

95737

la ecuación (3.8) se reduce a

12152

95737 +

26908

95737 − = 0

Finalemente, los cambios de variables independientes⎧⎨⎩ = q

1215295737

= q

2690895737

hacen que teniendo en cuenta que

=95737

12152

=95737

26908

nos quede la ecuación reducida

+ − = 0

67


3.4. Ecuación del calor. Método de separación de variables.

Partamos del problema ⎧⎨⎩ = 2 0 ∈ (0 )(0 ) = () 0

( 0) = ( ) = 0 0

que es la ecuación del calor en una varilla unidimensional de longitud con temperatura inicial ().

La incógnita ( ) mide la temperatura en cada instante de tiempo y en cada punto de la barra.

Una manera de resolver el problema anterior es intentar reducirlo a un problema de ecuaciones

diferenciales ordinarias. Para ello suponemos que la solución puede expresarse de la forma

( ) = () ()

es decir, como el producto de dos funciones reales de variable real () e (). Derivando obtenemos

( ) = 0() ()

( ) = () 00()

Sustituyendo en la ecuación original tenemos

0() () = 2 () 00()

y suponiendo que las fuciones no se anulan rescribimos la ecuación como

0() ()2

= 00() ()

Un lado de la igualdad solo depende de , mientras que el contrario lo hace solo respecto de , por

lo que necesariamente ambos deben ser constantes, es decir

0() ()2

= 00() ()

= −

de donde obtenemos las ecuaciones diferenciales

0 + 2 = 0

00 + = 0

Por otra parte, las condiciones de contorno se escriben como

() (0) = (0 ) = 0

() () = ( ) = 0

por lo que debe verificarse que (0) = () = 0. Si escribimos el problema para la función

tenemos lo que se conoce como un problema de contorno½ 00 + = 0

(0) = () = 0

Como sabemos, la solución general de la ecuación 00+ = 0 es de una de las siguientes formas

68


Si = 0, entonces () = 1 + 2, donde 1 y 2 son dos constantes arbitrarias.

Si 0, la solución es () = 1√ + 2

−√, donde 1 y 2 son dos constantes arbitrarias.

Si 0, la solución es () = 1 cos(√) + 2 sin(

√), donde 1 y 2 son dos constantes

arbitrarias.

El problema se presenta a lo hora de calcular las constantes anteriores. En el primer caso ten-

dríamos que

(0) = 1 = 0

e

() = 1 + 2 = 0

de donde 1 = 2 = 0 y la solución sería nula. En el segundo caso, las condiciones de contorno se

escriben como

(0) = 1 + 2 = 0

e

() = 1√ + 2

−√ = 0

que da lugar al sistema lineal ½1 + 2 = 0

1√ + 2

−√ = 0

y dado que el determinante de la matriz asociada¯1 1

√ −

√

¯= −

√ −

√ 6= 0

tenemos que la única solución posible es 1 = 2 = 0 y la solución sería nuevamente nula. Finalmente,

en el tercer caso

(0) = 1 = 0

e

() = 1 cos(√) + 2 sin(

√) = 0

de donde

2 sin(√) = 0

Como las soluciones de la ecuación sin(√) = 0 son

=22

2, ∈ N (3.9)

Si definimos

=22

2

tenemos que el problema de condiciones de contorno tiene soluciones no nulas de la forma

() = sin(p) = sin

³´

69


para los valores de dados en (3.9).

Para estos valores, la ecuación para la función queda de la forma

0 +22

22 = 0

que para cada valor de proporciona la solución

() = −222

2

lo que da lugar a la solución

( ) = sin³´−

222

2

La linealidad de la ecuación nos lleva a plantear como posible solución

( ) =

∞X=1

sin³´−

222

2

y utilizando la condición inicial

(0 ) =

∞X=1

sin³´= () (3.10)

lo que nos lleva a plantearnos si cualquier función () puede desarrollarse como en (3.10). La solución

a esta cuestión será el desarrollo en serie de Fourier.

3.5. Series de Fourier

Consideremos una función real de variable real () que sea 2 periódica, es decir, para todo

se verifica la expresión

() = ( + 2)

Por ejemplo, las funciones seno y coseno son 2 periódicas. Definimos los coeficientes de Fourier

=1

Z

−() cos

³´ = 0 1 2

y

=1

Z

−() sin

³´ = 1 2

La serie0

2+

∞X=1

³ cos

³´+ sin

³´´

se conoce como serie de Fourier asociado a (). Por ejemplo, consideremos la función () tal que

() =

½0 ∈ [−1 0)1 ∈ [0 1)

70


y es 2 periódica. Para dicha función tenemos que los coeficientes de Fourier son

0 =

Z 1

−1() =

Z 1

0

1 = 1

y para ≥ 1

=

Z 1

−1() cos () =

Z 1

0

cos ()

=

∙1

sin ()

¸10

=1

(sin ()− sin (0)) = 0

=

Z 1

−1() sin () =

Z 1

0

sin ()

=

∙−1cos ()

¸10

=−1(cos ()− cos (0))

=

½0 2

por lo que la serie de Fourier asociada a () será

1

2+

∞X=1

2

(2− 1) sin ((2− 1))

La cuestión radica en saber si la igualdad

() =1

2+

∞X=1

2

(2− 1) sin ((2− 1)) (3.11)

se verifica, es decir, si () puede aproximarse en forma de la serie anteriormente calculada.

La respuesta a esta pregunta es afirmativa para una familia notable de funciones, que precisa de

unas definiciones previas para su compresión. Recordemos que una función es continua en 0 si

lım→0

() = (0)

y () es continua si es continua en todos sus puntos. Si () no es continua en 0 pueden existir sus

límites laterales

(−0 ) = lım→00

()

y

(+0 ) = lım→00

()

y la discontinuidad se tipo salto finito si

(−0 )− (+0 )

es finito. Finalmente, () se dice continua a trozos en [−] si es continua salvo en una cantidadfinita de puntos y las discontinuidades son de tipo salto finito. Se verifica entonces el siguiente

resultado.

71


Theorem 31 Sea : R → R una función 2 periódica de manera que y su derivada 0 son decontinuas a trozos. Entonces la serie de Fourier de dada por

0

2+

∞X=1

³ cos

³´+ sin

³´´

converge a () en los puntos de continuidad de , a 12[(−0 )−(+0 )] en los puntos de discontinuidad

y a 12[(−)− (−+)] cuando = ±.

El teorema anterior garantiza que la igualdad a la que hacíamos alusión en (3.11) se verifica para

∈ (−1 1) \ 0 es igual a 12 para ±1 y 0.

3.5.1. Funciones pares e impares

La series de Fourier tienen expresiones particulares cuando las funciones son pares o impares.

Recordemos que es par si se cumple que

() = (−)

para todo ∈ R. Se dice que la función es impar si por el contrario la relación que se cumple es

() = −(−)

Veamos cómo se obtiene la serie de Fourier para cada una de estas funciones.

Si es par, se verifica que

0 =1

Z

−()

= =−1

Z

0

()+1

Z

0

()

=2

Z

0

()

=1

Z

−() cos

³´

=1

Z 0

−() cos

³´ +

1

Z

0

() cos³´

= =−1

Z

0

() cos³´+

1

Z

0

() cos³´

=2

Z

0

() cos³´

72


mientras que

=1

Z

−() sin

³´

=1

Z 0

−() sin

³´ +

1

Z

0

() sin³´

= =− − 1

Z

0

() sin³´+

1

Z

0

() sin³´

= 0

por lo que para una función par tendremos que

() =0

2+

∞X=1

cos³´

Si es impar

0 =1

Z

−()

= =− − 1

Z

0

()+1

Z

0

()

= 0

=1

Z

−() cos

³´

=1

Z 0

−() cos

³´ +

1

Z

0

() cos³´

= =− − 1

Z

0

() cos³´+

1

Z

0

() cos³´

= 0

mientras que

=1

Z

−() sin

³´

=1

Z 0

−() sin

³´ +

1

Z

0

() sin³´

= =− − 1

Z

0

() sin³´+

1

Z

0

() sin³´

=2

Z

0

() sin³´

por lo que para una función par tendremos que

() =

∞X=1

sin³´

73


3.5.2. Aplicación a la ecuación del calor

Si retomamos la ecuación del calor⎧⎨⎩ = 2 0 ∈ (0 )(0 ) = () 0

( 0) = ( ) = 0 0

la teoría de Fourier nos dice que su solución formal es

( ) =

∞X=1

sin³´−

222

2

donde

(0 ) =

∞X=1

sin³´= ()

Ahora bien, si pensamos en () como una función impar 2 periódica tendremos que

=2

Z

0

() sin³´

y por tanto dicha solución formal será

( ) =

∞X=1

∙2

Z

0

() sin³´

¸sin³´−

222

2 (3.12)

Hablamos de solución formal ya que no podemos asegurar que la expresión dada en (3.12) sea

una solución. Por una parte, aunque la linealidad garantiza que una combinación lineal finita de

soluciones sea solución, nuestra combinación lineal es infinita, por lo que tendríamos que comprobar

que efectivamente es solución, es decir que es dos veces derivable y cumple la ecuación del calor. En

general comprobar que las soluciones formales son soluciones es un problema bastante díficil, que en

el caso de la ecuación del calor se garantiza por el término −222

2. Cualitativamente hablamos de

un proceso de difusión, en el que la barra va disipando calor convergiendo muy rápidamente a 0 y

suavizando cualquier irregularidad que la función () pudiera presentar.

Por ejemplo, si nuestra barra es de aluminio (con un coeficiente 2 = 086) y mide 10 cm., y la

temperatura inicial en la barra es de 100 C, la evolución de la tempreatura con el tiempo vendrá

determinada por la expresión

( ) =

∞X=1

∙2

10

Z 10

0

100 sin³10

´

¸sin³10

´−

08622

100

y como Z 10

0

100 sin³10

´ = −100

∙10

cos³10

´¸10

0

= −1000

(cos()− cos 0)

=

½0 2000

74


tenemos

( ) =

∞X=1

400

(2− 1) sinµ(2− 1)

10

¶−

086(2−1)22100

Hemos de destacar que en el desarrollo anterior tienen una gran importancia que las condiciones

de contorno sean nulas. En general esto no tiene porqué ser así, es decir la ecuación del calor sería⎧⎨⎩ = 2 0 ∈ (0 )(0 ) = () 0

( 0) = 1(); ( ) = 2() 0

donde 1() y 2() son las funciones que miden la temperatura de la varilla. Un cambio de variable

en la variable dependiente permite llevar condiciones de contorno no nulas a un problema que sí las

tenga mediante la nueva función

( ) = ( )− 1()−

(2()− 1())

Es fácil ver que ahora

( 0) = ( 0)− 1() = 1()− 1() = 0

mientras que

( ) = ( )− 1()− (2()− 1())

= 2()− 1()− (2()− 1()) = 0

por lo que tendremos condiciones de contorno nulas. La ecuación original se reescribe

0 = − 2 = + 01() +

(02()− 01())− 2

por lo que tendríamos el problema⎧⎨⎩ − 2 = −01()−

(02()− 01()) 0 ∈ (0 )

(0 ) = ()− 1(0)−

(2(0)− 1(0)) 0

( 0) = ( ) = 0 0

Si la temperatura en los extremos de la varilla permanece constante, esto es, 1() = 1 y 2() = 2,

el problema anterior se reduce a⎧⎨⎩ = 2 0 ∈ (0 )(0 ) = ()− 1 −

(2 − 1) 0

( 0) = ( ) = 0 0

3.6. Ecuación de ondas

Poner el modelo?

Consideremos el problema hiperbólico⎧⎪⎪⎨⎪⎪⎩ = 2 0 ∈ (0 )(0 ) = () 0

(0 ) = () 0

( 0) = ( ) = 0 0

75


que modela la vibración mecánica de una cuerda, donde ( ) mide el desplazamiento respecto de

la horizontal en cada instante de tiempo y en cada posición de la cuerda.

Con el método de separación de variable planteamos soluciones de la forma ( ) = () (),

que nos da lugar a los problemas de ecuaciones diferencales

00 + 2 = 0

y el problema de contorno ½ 00 + = 0

(0) = () = 0

que como sabemos tiene una familia de soluciones no nulas para los valores =¡

¢2, ∈ N, dadas

por

() = sin³´

Para dichos valores tenemos las ecuaciones

00 + 2 = 0

que tendrá por solución general

() = cos³

´+ sin

³

´

pudiendo entonces plantear la solución formal

( ) =

∞X=1

()()

=

∞X=1

h cos

³

´+ sin

³

´isin³´

De la condición inicial

(0 ) = () =

∞X=1

sin³´

Derivando formalmente ( ) respecto a obtenemos

( ) =

∞X=1

h−

sin³

´+

cos³

´isin³´

que aplicada a la otra condición inicial

(0 ) = () =

∞X=1

sin³´

Considerando de nuevo y como funciones impares 2 periódicas, concluimos que

=2

Z

0

() sin³´

76


y

=2

Z

0

() sin³´

para todo ≥ 1.Poner la interpretación fisica de armónicos?

Poner algo de la solución de D’Alambert?

3.7. Ecuación de Laplace

Al contrario que las ecuaciones del calor y ondas, la ecuación de Laplace es estática y representa

una condición de equilibrio en, por ejemplo, la temperatura de una sección plana. La ecuación del

calor en dos dimensiones espaciales tiene la forma

= 2( + )

y si suponemos un equilibrio de esta función invariante respecto al tiempo, obtendríamos

+ = 0 (3.13)

que es la ecuación de Laplace. Estas ecuaciones se plantean sólo con condiciones de contorno sobre

la frontera del recinto, que para los calculos prácticos tiene que tener alguna regularidad. Estas

condiciones de contorno son en general de dos tipos. Si es el recinto donde se verifica la ecuación

(3.13), podemos suponer conocido ( ) para todo ( ) en la frontera de en cuyo caso estaríamos

hablando de una condición tipo Dirichlet. Si por el contrario suponemos que el vector normal a

en la frontera es conocido, se trata de una condición de Neumann. En cualquiera de los casos, la

geometría del conjunto es muy importante y sólo podemos calcular soluciones cuando ésta cumple

adecuadas condiciones de regularidad.

Supongamos por ejemplo que es el rectángulo [0 ]× [0 ] y tenemos el problema⎧⎪⎪⎨⎪⎪⎩ + = 0 ( ) ∈ (0 )× (0 )( 0) = ( ) = 0 0 ≤ ≤

(0 ) = 0 0 ≤ ≤

( ) = () 0 ≤ ≤

que es de tipo Dirichlet.

Si planteamos una solución de la forma ( ) = () (), construimos las ecuaciones diferen-

ciales

00 − = 0

00 + = 0

La segunda ecuaición da lugar al problema de contorno½ 00 + = 0

(0) = () = 0

77


que como sabemos tiene por soluciones no nulas las funciones

() = sin³

´

para los valores =¡

¢2, ∈ N. La primera ecuación se reescribe entonces

00 − = 0

que tiene por solución general

() = 1−

+ 2

De la condición (0 ) = 0 obtenemos que (0) = 0, por lo que

(0) = 0 = 1 + 2

por lo que 2 = −1 = 2, por lo que para todo natural obtenemos la solución

( ) = − −

2sin³

´

= sinh³

´sin³

´

Planteamos entonces la solución formal

( ) =

∞X=1

sinh³

´sin³

´

Utilizando la condición de contorno que nos queda

( ) = ()

tenemos que

() =

∞X=1

sinh³

´sin³

´

y considerando como 2 periódica e impar, tenemos que

sinh³

´=2

Z

0

() sin³

´

Poner ejemplo condiciones de Neumann?

Poner problemas de Poisson?

3.8. Problemas

1. Encontrar las soluciones de los siguientes problemas de contorno:

a) 00 + = 0 (0) = 0 0() = 0

78


b) 00 + = 0 0(0) = 0 0() = 0

c) 00 + = 0 0(0) = 0 () = 0

d) 00 + = 0 (0) = 0 ()− 0() = 0

e) 00 + = 0 (0)− 0(0) = 0 (1) = 0

f ) 00 + = 0 (0)− 0(0) = 0 ()− 0() = 0

2. Para qué valores de tienen soluciones no triviales los siguientes problemas de contorno:

a) 00 − 20 + (1 + ) = 0 (0) = 0 (1) = 0

b) 00 + = 0 (0) = (2) 0(0) = 0(2)

3. Clasificar las siguientes EDP y encontrar su forma canónica:

a) 3 + 4 − = 0

b) 4 + + 4 + = 0

c) + + 3 − 4 + 25 = 0d) − 3 + 2 − + = 0

e) − 2 + + 3 = 0

4. Encontrar los desarrollos en serie de Fourier de las siguientes funciones periódicas (se da su

valor en el intervalo [− ] con 2 el periodo).

a) () =

½ −1 ∈ [−1 0)1 ∈ [0 1]

b) () =

½ ∈ [−2 0)0 ∈ [0 2]

c) () = ∈ [−1 1]

d) () =

½ − ∈ [−1 0) ∈ [0 1]

e) () =

⎧⎨⎩ 1 ∈ [−2 0)0 ∈ [0 1)1 ∈ [1 2]

f ) () =

½0 ∈ [−2 1)1 ∈ [1 2]

g) () =

½0 ∈ [− 0) ∈ [0 ]

h) () =

½− ∈ [− 0) ∈ [0 ]

79


5. Los extremos de una barra de aluminio (2 = 086) de longitud 10 metros se mantienen a

temperatura de 0. Encontrar la expresión de la temperatura de la barra para las siguientes

condiciones iniciales

a) (0 ) = 70, 0 ≤ ≤ 10.b) (0 ) = 70 cos , 0 ≤ ≤ 10.

c) (0 ) =

½10 ∈ [0 5)

10(10− ) ∈ [5 10]

d) (0 ) =

½0 ∈ [0 3)65 ∈ [3 10]

6. Los extremos de una barra de cobre (2 = 114) de longitud 2 metros se mantienen a tem-

peratura de 0. Encontrar la expresión de la temperatura de la barra para las siguientes

condiciones iniciales

a) (0 ) = 65 cos2(), 0 ≤ ≤ 2.b) (0 ) = 70 sin , 0 ≤ ≤ 2.

c) (0 ) =

½60 ∈ [0 1)

60(2− ) ∈ [1 2]

d) (0 ) =

½0 ∈ [0 1)75 ∈ [1 2]

7. Un estado de equilibrio para la ecuación del calor = 2 es aquella que no varía con el

tiempo. Demostrar

a) Todos los equilibrios de la ecuación del calor son de la forma () = +

b) Encontrar los estados de equilibrio de la ecuación del calor que cumplen ( 0) = 1 y

( ) = 2.

c) Resolver el problema ⎧⎨⎩ = 2 0 ∈ (0 1)(0 ) = 75 0 1

( 0) = 20 ( ) = 60 0

Ayuda: Calcularla como ( ) = () + ( ) donde () es el estado de equilibrio

asociado a las condiciones de contorno ( 0) = 20 ( ) = 60, y ( ) es la solución

del problema con condiciones de contorno nulas.

8. Los extremos de una barra de cobre (2 = 114) de longitud 10 centímetros se mantienen a

temperatura de 0 mientras que el centro de la barra es mantenido a 100 mediante una

fuente de calor externa. Encontrar la temperatura de la barra con el tiempo para la condición

inicial

(0 ) =

½50 ∈ [0 5)100 ∈ [5 10]

Ayuda: Descomponer el problema en dos problemas de contorno con uno de los estremos en

la mitad de la barra.

80


9. Resolver el problema ⎧⎨⎩ = + 0 ∈ (0 1)(0 ) = cos 0 1

( 0) = 0 ( ) = 0 0

10. Resolver los siguientes problemas

a)

⎧⎪⎪⎨⎪⎪⎩ = 2 0 ∈ (0 2)(0 ) = cos − 1 0 2

(0 ) = 0 0 2

( 0) = 0 ( 2) = 0 0

b)

⎧⎪⎪⎨⎪⎪⎩ = 2 0 ∈ (0 1)(0 ) = 0 0 1

(0 ) = 1 0 1

( 0) = 0 ( 1) = 0 0

c)

⎧⎪⎪⎨⎪⎪⎩ = 2 0 ∈ (0 3)(0 ) = () 0 3

(0 ) = 0 0 3

( 0) = 0 ( 3) = 0 0

donde () =

⎧⎨⎩ ∈ [0 1)1 ∈ [1 2)

2− ∈ [2 3]

11. Una cuerda de 10 metros fijada en sus extremos se levanta por el medio hasta la distancia de

un metro y se suelta. Describe su movimiento suponiendo que 2 = 1.

12. Demuestra que el cambio de coordenadas½ = +

= −

transforma la ecuación de ondas = 2 en la ecuación = 0. Concluir que la solución

general de la ecuación será de la forma

( ) = ( − ) +( + )

para funciones apropiadas y .

13. Demostrar que la solución del problema⎧⎪⎪⎨⎪⎪⎩ = 2 0 ∈ (0 )(0 ) = () 0

(0 ) = () 0

( 0) = 0 ( 3) = 0 0

es de la forma

( ) =1

2( ( − ) + ( + )) +

1

2

Z +

−()

donde es la extensión 2 periódica e impar de .

81


14. Resolver el problema ⎧⎪⎪⎨⎪⎪⎩ = 2 + 0 ∈ (0 )(0 ) = () 0

(0 ) = 0 0

( 0) = 0 ( 3) = 0 0

15. Resolver los problemas

a)

⎧⎪⎪⎨⎪⎪⎩ + = 0 ( ) ∈ (0 )× (0 )( 0) = 0 0

( ) = () 0

(0 ) = ( ) = 0 0

b)

⎧⎪⎪⎨⎪⎪⎩ + = 0 ( ) ∈ (0 )× (0 )( 0) = ( ) = 0 0

(0 ) = () 0

( ) = 0 0

c)

⎧⎪⎪⎪⎪⎨⎪⎪⎪⎪⎩ + = 0 ( ) ∈ (0 )× (0 )( 0) = () 0

( ) = 0 0

(0 ) = () 0

( ) = 0 0

16. Resolver los problemas de Neuman

a)

⎧⎪⎪⎨⎪⎪⎩ + = 0 ( ) ∈ (0 )× (0 )( 0) = ( ) = 0 0

(0 ) = () 0

( ) = 0 0

b)

⎧⎪⎪⎨⎪⎪⎩ + = 0 ( ) ∈ (0 )× (0 )(0 ) = ( ) = 0 0

( 0) = () 0

( ) = 0 0

c)

⎧⎪⎪⎪⎪⎨⎪⎪⎪⎪⎩ + = 0 ( ) ∈ (0 )× (0 )(0 ) = 1 0

( ) = 0 0

( 0) = 1 0

( ) = 0 0

17. Resolver el problema ⎧⎪⎪⎨⎪⎪⎩ + = ( ) ∈ (0 1)2( 0) = ( 1) = 0 0 1

(0 ) = () 0 1

(1 ) = 0 0 1

82

Capítulo 4

Transformada de Fourier

Sumario. Definición y propiedades básicas. Transformada de Fourier inversa.

Relación con la transformada de Laplace. Aplicación a las ecuaciones diferenciales y

en derivadas parciales.

4.1. Definición y primeros ejemplos

Dada una función : R→ C, se define la transformada de Fourier de como

F [ ]() =Z ∞

−∞()−

en todo donde la expresión anterior tenga sentido, es decir la integral impropia anterior sea con-

vergente. Esta convergencia es más difícil de verificar que en el caso de la transformada de Laplace.

Supongamos por ejemplo que y son reales, por o que − = cos()− sin(), que como sabe-

mos tiene módulo 1. Si () es también real, para garantizar la convergencia absoluta de la integral

anterior debe de satisfacerse que

lım→±∞

|()−| = lım→±∞

|()| = 0

83


por lo que las funciones reales que tendrán transformada de Fourier tienen que tener una gráfica

como la siguiente

o bien ser nulas fuera de un intervalo compacto [ ]. Veamos algunos ejemplos.

Consideramos la función () = −()− (), donde () es la función de Heaviside en ∈ R.Como vemos es no nula con valor uno en el intervalo [− ). Su transformada de Fourier se calculacomo

F [ ]() =

Z ∞

−∞()− =

Z

−−

=

∙−

−¸−=−1

¡− −

¢=2

sin()

Tomemos ahora la función () = −||. Su transformada de Fourier vendrá dada por

F [ ]() =

Z ∞

−∞()− =

Z 0

−∞−+

Z ∞

0

−−

=

Z 0

−∞(1−)+

Z ∞

0

−(1+)

=

∙(1−)

1−

¸0−∞

+

∙−

−(1+)

1 +

¸∞0

=1

1− +

1

1 + =

2

2 + 1

4.2. Propiedades básicas

Al igual que la transformada de Laplace, la transformada de Fourier tiene unas propiedades

básicas que permiten operar con ella con más facilidad. Las enumeramos a continuación suponiendo

siempre buenas condiciones de convergencia de las funciones implicadas.

84


4.2.1. Linealidad

Dadas dos funciones y y dos números se verifica que

F [ + ]() = F [ ]() + F []()

La prueba de esta propiedad viene directamente de la linealidad de la integral de la siguiente forma

F [ + ]() =

Z ∞

−∞( + )()−

=

Z ∞

−∞()−+

Z ∞

−∞()−

= F [ ]() + F []()

Por ejemplo, si () = −()− () + −||, su transformada de Fourier vendrá dada por

F [ ]() = F [1]() +F [2]() = 2

sin() +

2

2 + 1

siendo 1() = −()− () y 2() = −||.La linealidad no puede aplicarse al calculo de 1 del siguiente modo

F [1]() = F [−]()−F []()

ya que las funciones − y no tienen transformada de Fourier.

4.2.2. Transformada de la derivada

Dada una función derivable a trozos, se tiene que

F [ 0]() = F [ ]()

La demostración se hace con la fórmula de integración por partes del siguiente modo

F [ 0]() =

Z ∞

−∞ 0()− =

½ = − = −− = 0() = ()

¾=

£()−

¤∞−∞ +

Z ∞

−∞()− = F [ ]()

ya que

lım→±∞

|()−| = 0para garantizar la convergencia.

En general, puede comprobarse que la derivada —ésima se calcula como

F [)]() = ()F [ ]()

Esta fórmula, junto con la linealidad, tiene, al igual que ocurría con la transformada de Laplace,

utilidad potencial para la resolución de ecuaciones diferenciales.

85


4.2.3. Cambios de escala

Sea una función y un número real. Podemos calcular la transformada de Fourier de la función

() = (), que puede verse como un cambio de escala en , con la fórmula

F []() = F [()]() = 1

F []()

Esta fórmula es consecuencia del cambio de variable en la integral ya que

F []() = F [()]() =Z ∞

−∞()−

=

½ =

=

¾=1

Z ∞

−∞()− =

1

F [ ]()

A modo de ejemplo, si suponemos que () = −|| con 0, podemos calcular

F [ ]() = F [−||]() = F [−||]()=

1

F [−||]() = 1

2

22 + 1=

2

2 + 2

4.2.4. Derivada de la transformada

La fórmula para calcular la derivada de la trasnforma de Fourier de una función es

F [ ]() = F [()]()

Esta relación es consecuencia de un cambio de orden en el cálculo de límites ya que

F [ ]() =

Z ∞

−∞()− = (∗)

Z ∞

−∞

()−

=

Z ∞

−∞()(−)− = −

Z ∞

−∞()− = −F [()]()

Vamos a aplicar esta fórmula al cálculo de la transformada de Fourier de la función () = −22.

En primer lugar, la función () verifica el problema de condiciones iniciales½ 0() = −()

(0) = 1

Por otra parte, transformando la ecuación anterior tenemos que

F [ ]() = −F [()]() = − F [ ]()

por lo que F [ ]() satisface la ecuación diferencial

F [ ]() = −F [ ]()

86


que tiene por solución

F [ ]() = −22

Por otra parte, como Z ∞

−∞−

2

=√

tenemos que mediante un cambio de variableZ ∞

−∞−

22 =√2

y por tanto

F [ ](0) = =

Z ∞

−∞−

22 =√2

por lo que

F [ ]() =√2−

22

es decir, la transformada de Fourier de −22 es ella misma salvo el factor multiplicativo

√2.

4.2.5. Convolución

Dadas dos funciones y con transformadas de Fourier F [ ] y F [], no se verifica que F [ · ] =F [ ] · F []. Vamos a buscar qué función verificaría que F [] = F [ ] · F [], es decir, cómo puededefinirse a partir de las funciones iniciales y . Para ello calculamos

F [ ] · F [] =Z ∞

−∞()−

Z ∞

−∞()−

=

Z ∞

−∞

Z ∞

−∞()()−(+)

=

½+ =

=

¾=

Z ∞

−∞

Z ∞

−∞(− )()−

=

Z ∞

−∞

∙Z ∞

−∞(− )()

¸−

por lo que hemos derivado formalmente1 que

() =

Z ∞

−∞(− )()

que se conoce con el nombre de producto de convolución, denotado por

() ∗ () =Z ∞

−∞(− )()

Como veremos, esta fórmula tiene aplicaciones en la resolución de diferentes ecuaciones diferenciales.

1Aquí hemos hecho un cambio en la integración, es decir, una permuta de límites de la que no hemos probado su

validez.

87


4.3. Transformada de Fourier inversa

Dada una función sabemos cómo obtener su transformada de Fourier de dicha función F [ ].Ahora bien, como en el caso de la transformada de Laplace a veces es necesario recorrer el camino

inverso, es decir, dada una función (), ¿es posible encontrar una función real tal que F [ ] = .

En términos de función inversa sería la relación = F−1[ ], donde F−1[ ] denota la transformadainversa de Fourier.

Al tratarse de una transformada integral, no existirá una única función verificando ser la trans-

formada inversa de (). Sin embargo, en general la fórmula de inversión establece que para una

función suficientemente buena la relación

() =1

2

Z ∞

−∞F [ ]() = 1

2

Z ∞

−∞

Z ∞

−∞()− (4.1)

se verifica por lo que la transformada inversa de Fourier podría definirse como

F−1[ ]() = 1

2

Z ∞

−∞ ()

En particular, las condiciones de Dirichlet establecen que si se verifica queR∞−∞ |()| ∞

tiene un número finito de extremos relativos y un número finito de discontinuidades, todas

ellas evitables, en cada subintervalo compacto de la recta real,

entonces la fórmula (4.1) se verifica en todos los puntos de continuidad de . En los puntos de

discontinuidad la integral valdría el promedio de (+) y (−).Así, por ejemplo, dada la función

() =2

2 + 2

se verifica que

F−1[ ]() = || 0

Por tratarse de una fórmula integral, dicha función hereda las propiedades de la integración, en

particular la linealidad

F−1[ + ]() = F−1[ ]() + F−1[]()

4.4. Relación con la transformada de Laplace

Como sabemos, la transformada de Laplace de una función : (0∞)→ C se define como

L[ ]() =Z ∞

0

()−

que tendrá validez en un dominio de definición dado por Re para algún real. Si 0, el

eje imaginario estará contenido en el dominio de definición de la transformada de Laplace de . En

particular, la integral Z ∞

0

()− ∈ R

88


tendrá sentido al ser finita.

Si consideramos () = 0 definida como para todo ≤ 0, podemos calcular su transformada deFourier como

F [ ]() =Z ∞

−∞()− =

Z ∞

0

()−

integral que tendrá sentido para todo ∈ R. Por lo tanto, se tendría la igualdadL[ ]() = F [ ]() ∈ R

Consideremos por ejemplo la función () = −, que como sabemos tiene transformada de Laplace

L[ ]() = 1

+ 1

para todo tal que Re −1. Si estendemos como nula en valores negativos, es decir, definimos() = ()0() siendo 0() la función de Heaviside, tendremos para todo número real que

F []() = L[ ]() = 1

+ 1

4.5. Aplicación a los sistemas estables

4.5.1. Respuesta a una señal sinusuidal

Supongamos un sistema asintóticamente estable con función de transferencia () de manera que

es estimulado por una función de tipo seno de la forma

() = sin(+ )

donde 0 es la amplitud, es la frecuencia y es la fase inicial. Como sabemos, el seno es una

función 2 periódica, por lo que

sin(+ ) = sin(+ + 2) = sin((+ 2) + )

por lo que = 2 se llama periodo de la señal, siendo la frecuencia = 1 . Como sabemos, si

la fase inicial = 0, la transformada de Laplace de dicha señal será de la forma

() =

2 + 2

y la respuesta a largo tiempo del sistema () vendrá dada por la expresión

() = () ()

Ahora bien, dicha respuesta se calculará como

() = L−1[ () ()]()

y dado que el sistema era asintóticamente estable, se tiene que los polos de la función de transferencia

tienen parte real negativa, por lo que ninguno de ellos coincidirá con los polos de () que son

89


±. En el cálculo de la transformada inversa, los polos de la función de transferencia dan lugara términos que aparecen multiplicados por factores de la forma −, con 0, y que tienden a

cero muy rápidamente cuando → +∞. Por ello, al calcular la transformada inversa para tiemposuficientemente grande basta con tomar los polos ±, es decir, podemos asumir que

() = Res( ()( − )

2 + 2 ) + Res( ()

( + )

2 + 2−)

= ()

2− (−)

−

2

Tomando la forma polar de () y (−), y teniendo en cuenta que los coeficientes del sistemason reales obtenemos que

() = | ()| arg ()y

() = (−) = | (−)| arg (−) = | ()|− arg ()Sustituyendo en la relación anterior

() = ()

2− (−)

−

2

= | ()| arg ()

2− | ()|− arg ()

−

2

= | ()|(+arg ()) − −(+arg ())

2= | ()| sin( + arg ())

que se conoce como respuesta en frecuencia a la señal. El término | ()|mide si la respuesta amplificao atenua la señal, mientras que arg () representa un variación de la fase respecto de la incial.

Asímismo, () puede ser determinado experimentalmente introduciendo una señal sinusuidal.

4.5.2. Respuesta a señales periódicas

Supongamos una ecuación diferencial lineal con coeficientes constantes con función de transfer-

encia (). Supongamos que el sistema es asintóticamente estable, de tal manera que si () =

sin(+) es la entrada del sistema, se verifica que su salida para tiempos suficientemente grandes

(régimen estacionario) viene dada por

() = | ()| sin(+ + arg ())

Supongamos ahora que la señal es periódica de periodo 2. Dicha función puede expresarse en su

serie de Fourier

() =0

2+

∞X=1

³ cos

³´+ sin

³´´

=0

2+

∞X=1

( cos () + sin ())

90


donde = . Por otra parte, si escribimos ( ) en coordenadas polares mediante la expresión½ = cos

= sin

podemos reescribir la expresión anterior como

() =0

2+

∞X=1

( cos () + sin ())

=0

2+

∞X=1

( sin cos () + cos sin ())

=0

2+

∞X=1

sin(+ )

Si ahora () es la entrada al sistema anterior, entonces su salida en el régimen estacionario, es decir,

para tiempos suficientemente grandes vendrá dada por

() =0

2 (0) +

∞X=1

| ()| sin(+ + arg ())

Dado que para casos prácticos lım→∞ | ()| = 0, por lo que lım→∞ | ()| = 0, como con-secuencia la series de Fourier de () converge a cero más rápidamente que la serie de Fourier de la

señal inicial ().

4.5.3. Aplicación de la transformada de Fourier

Si tenemos un sistema asintóticamente estable con función de transferencia (), sabemos que su

respuesta a una señal sinusuidal de la forma

sin(+ )

viene dada por la expresión

() = | ()| sin(+ + arg ())

pero () es la transformada de Fourier. Esta función () se conoce como función de transferencia

de frecuencias del sistema. En particular, para sistemas estables estos pueden verse como

F []() = ()F [ ]()que relaciona la transformada de Fourier de la salida F []() con la de la entrada F [ ]().

4.6. Aplicación a las ecuaciones en derivadas parciales

Consideremos la ecuación del calor en una barra infinita½ = ∈ R 0(0 ) = () ∈ R

91


Como vemos no hay condiciones de frontera y por tanto sólo existen condiciones iniciales. Para

resolver dicho problema tomamos la transformada de Fourier de la función ( ), para cada valor

fijo del tiempo , es decir

F [( ·)]() =Z ∞

−∞( )−

Entonces

F [( ·)]() = −2F [( ·)]()y por la fórmula de derivación bajo el signo de la integral

F [( ·)]() =

Z ∞

−∞( )

−

=

Z ∞

−∞( )− =

F [( ·)]()

por lo que la ecuanción = se transforma en

−2F [( ·)]() =

F [( ·)]()

La condición incial se transforma en

F [(0 ·)]() =

Z ∞

−∞(0 )−

=

Z ∞

−∞()− = F [ ]()

por lo que tenemos el problema de condiciones iniciales½ −2F [( ·)]() = F [( ·)]() 0

F [(0 ·)]() = F [ ]()que como sabemos del cálculo de soluciones de ecuaciones diferenciales ordinarias tiene por solución

F [( ·)]() = F [ ]()−2

La solución de la ecuación la escribimos formalmente como

( ) = F−1[F [ ]()−2]() = () ∗ F−1[−2]()=

Z ∞

−∞(− )F−1[−2]()

Calculamos entonces F−1[−2]() teniendo en cuenta que

F [−22]() =√2−

22

por lo que

F−1[√2−

22]() =1

2

Z ∞

−∞

√2−

22 = −22

92


Partiendo de esta expresión y haciendo el cambio de variable = √2 tenemos que

F−1[−2]() =1

2

Z ∞

−∞−

2 =1√2

1

2

Z ∞

−∞

√2−

2

=

½ =

√2

= √2

¾=

1√2

1

2

Z ∞

−∞

√2−

22(√2) √

2

=1

2√

1

2

Z ∞

−∞

√2−

22(√2)

=1

2√F−1[

√2−

22](√2)

=1

2√−(

√2)22 =

1

2√−

24

Entonces

( ) =

Z ∞

−∞(− )

1

2√−

24

4.7. Ejercicios

1. Encontrar la transformada de Fourier de las siguientes funciones ( 0):

a) () =

½cos || 2

0 || ≥ 2

b) () =

½ ||

0 || ≥

c) () =

½− || ||

0 || ≥

d) () =

⎧⎪⎪⎪⎪⎨⎪⎪⎪⎪⎩0 −2−1 ∈ (−2−1)1 ∈ (−1 1)−1 ∈ (1 2)0 2

e) () =

½sin() || ≤

0 ||

2. Sea () una señal con transformada de Fourier F [ ](). Demostrar queF [()]() = F [ ]( − )

Este resultado es conocido como la propiedad del despalzamiento en frecuencia y es la base del

proceso de modulación en teoría de la comunicación. Como aplicación calcular la trasformada

de Fourier de las siguientes funciones:

a) () = 0(+ 12)− 0(− 12), siendo 0 la función de Heviside.

93


b) () = [0(+ 12)− 0(− 12)] cos(). Ayuda: poner el coseno como combinación deexponenciales complejas.

c) () = [0(+ 1)− 0(− 1)] sin(2).

3. Calcular la convolución ∗ es los siguientes casos ( 0):

a) () =

½1 ||

0 || ≥

b) () = −||

4. Calcular la transformada de Fourier inversa de la función () = −2

(1 + 2).

5. Si () = (− ), demostrar la fórmula

F []() = −F [ ]()

6. Resolver el problema ½ = ∈ R 0(0 ) = () ∈ R

donde:

a) () = −2

b) () =

½1 ||

0 || ≥

c) () = 0() siendo 0 la función de Heaviside.

7. Utilizar la transformada de Fourier para obtener la solución formal del problema½ = + ∈ R 0(0 ) = () ∈ R

8. Utilizar la transformada de Fourier para obtener la solución formal del problema⎧⎨⎩ + = 0 ∈ R 0 1

( 0) = 0 ∈ R( 1) = () ∈ R

9. Supongamos un circuito eléctrico LRC donde = 002, = 300Ω y = 4 × 10−6 .Determinar las salidas en régimen estacionario para los potenciales

a) () = sin

b) () = cos

c) () es la función 002 periódica tal que

() =

½10 ∈ [0 001)0 ∈ [001 002)

94


10. Repetir el ejecicio 9 para el caso = 04, = 100Ω y = 10−5 , siendo el potencial ()es una función 004 periódica tal que

() =

½10 ∈ [0 002)−10 ∈ [002 004)

11. Determinar la función de transferencia de frecuencias de los ejercicios de los circuitos de los

ejercicios 9 y 10, y determinar la relación entre las transformadas de Fourier de la respuesta de

los sistemas a los voltajes:

a) () =

½10 ∈ [0 001)0 ∈ [001 002)

b) () =

½10 ∈ [0 002)−10 ∈ [002 004)

95


96

Bibliografía

[BaJi] F. Balibrea y V. Jiménez López, Ecuaciones diferenciales para las ciencias químicas y físicas,

DM—Universidad de Murcia, 2001.

[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.

[DeGr] W. R. Derrick y S. I. Grossman, Ecuaciones diferenciales con aplicaciones, Fondo Educativo

Interamericano, 1984.

[Jam] G. James y otros, Advanced modern engineering mathematics (2 edición), Addison—Wesley

1999.

[Jef] A. Jeffrey, Linear algebra and ordinary differential equations, CRC Press, 1993.

[Jim] V. Jiménez López, Apuntes de ecuaciones diferenciales, Servicio de publicaciones, Universidad

de Murcia, 2000.

[Oga1] K. Ogata, Ingeniería de control moderna, Prentice Hall, 1998.

[MaHo] J. E. Marsden y M. J. Hoffman, Basic complex analysis, W. H. Freeman & Co., 1999.

[MCZ] F. Marcellán, L. Casasús y A. Zarzo, Ecuaciones diferenciales. Problemas lineales y aplica-

ciones, McGraw—Hill, 1990.

[Mur] J. A. Murillo, Variable compleja y transformadas, DM—Universidad de Murcia, 2000.

[NaSa] R. K. Nagle y E. B. Saff, Fundamentos de ecuaciones diferenciales (2 edición), Addison

Wesley Longman, 1992.

[PiZa] A. Pinkus y S. Zafrany, Fourier series and integral transforms, Cambridge University Press,

1997.

[Sen] T. B. A. Senior, Mathematical methods in electrical engineering, Cambridge University Press

1986.

[Sim] G. F. Simmons, Ecuaciones diferenciales (con aplicaciones y notas históricas), 2 Edición,

McGraw—Hill, 1993.

97

Bibliografía

[Sot] J. Sotomayor, Licoes de ecuaciones diferenciais ordinárias, Rio de Janeiro: Instituto de

Matemática Pura e Aplicada, 1979.

98

Apuntes de Transformadas y Ecuacionesjose/ampmat/ecuaytran.pdfTransformada de Laplace (ver por...

Documents

Transcript of Apuntes de Transformadas y Ecuacionesjose/ampmat/ecuaytran.pdfTransformada de Laplace (ver por...