Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Juan Valle
17 de abril de 2019
Resumen
Dentro de toda la teorı́a analı́tica para la solución de diversas ecuaciones lineales de
alto orden, comúnmente, solo se nos hace mención de ciertas cosas, tales como Identifica
el orden de esta ecuación e identifica la familia de soluciones de dicha ecuación. Pero, en
un nivel más profundo esto no debe bastar, sino que existe la pregunta ¿Esto qué significa,
o que interpreta esta solución? ¿Es posible que la naturaleza se comporte de esta forma?
etc. En este trabajo abordaremos distintas exploraciones, desde el concepto básico de
una Ecuación diferencial ordinaria (EDO) en las primeras secciones, posteriormente se
desarrollarán los métodos necesarios para encontrar dichas soluciones y, posteriormente
se ahondará en el tema de las aplicaciones con una EDO de alto orden, generada con
raı́ces complejas repetidas y conjugadas. Para el lector que se encuentra resulta un tanto
confusa la idea de analizar diversos métodos en una ecuación de alto orden es muy probable
que haya escuchado algunas cosas acerca de las ED, como por ejemplo, que son muy
importantes, que aparecen en muchas aplicaciones de ciencia e ingenierı́a, o que son algo
tan difı́cil, que es el caso. En fin, se dice mucho sobre las ED, pero sólo la experiencia de
primera mano nos puede mostrar los resultados.
Introducción
En esta primer sección se sentarán las bases para la presentación de la teorı́a y aplicaciones
de las ecuaciones diferenciales (ED) ordinarias. Las secciones posteriores se encargan de definir
con claridad los conceptos más importantes asociados con las ecuaciones diferenciales y los
métodos para dar solución a éstas, junto con algunas de sus aplicaciones más elementales.
En la experiencia de los que escriben, las ED representan una herramienta muy valiosa e
insustituible para entender el mundo fı́sico, pues ellas llevan en sı́ algo que no es fácil de manejar
o incluso definir por ningún otro medio: el cambio. No hablamos aquı́ de algo intangible o
imaginario que desearı́amos que ocurriera en la vida de una persona o de la sociedad, sino de
algo que es posible definir y manejar, y que nos servirá para determinar de qué manera una
variable está en función de otra en casos en que esta dependencia sea demasiado complicada.
1
lo dicho anteriormente, una ecuación diferencial (ED) es una ecuación en la que se relaciona
una variable independiente, una variable dependiente y al menos una de sus derivadas. Dichas
ecuaciones se suelen expresar como
Donde F es una función que depende de la variable independiente, y las derivadas de orden n
de ω, a (1) se le denomina ecuación diferencial ordinaria de orden n. Estas ecuaciones se pueden
solucionar de distintas formas, de manera analı́tica, semi-analı́tica, y numérica, determinar las
soluciones de una ecuación diferencial, es determinar una función definida en una intervalo
I, donde esta sea diferenciable n veces. La interpretación de esta función, en el contexto de
soluciones, es encontrar su conjunto de soluciones, la cual puede ser vista gráficamente como
una familia de curvas descritas por su campo tangente. Siempre que sea posible, al resolver
una ecuación diferencial, hay que especificar en qué intervalo está definida cada función del
conjunto solución. Existen diferentes tipos de soluciones, tales como
1. Una solución particular la cual representa una solución especifica de la ecuación dife-
rencial. es la que representa una solución especı́fica de la ecuación diferencial.
2. Una solución general la cual representa a una familia de funciones que satisfacen la
ecuación diferencial.
Las ED sirven para modelar fenómenos y explicar diversas situaciones en la Ciencia de modo
que si se requiere una solución que describa algún fenómeno en particular, entonces ¿cuál de
todas las soluciones del conjunto es la que se ajusta a la solución buscada en el modelo?. Para
ello haremos uso del teorema de Picard-Lindelöf1 , el cual asegura existencia y unicidad en la
solución de una ecuación diferencial con condiciones iniciales.
Entonces, si tenemos una ecuación diferencial, de algún determinado orden, con condiciones
iniciales, obtenidas mediante alguna exploración o análisis a un caso en especifico a estudiar,
se obtiene una solución única dentro de una región, tomemos como ejemplo lo siguiente
Ejemplo 1. En un problema de caı́da libre, si un objeto parte desde una altura de 100m sobre
el suelo, y a esto le agregamos que tiene una velocidad inicial nula, entonces, si solo se conoce
que la aceleración por la gravedad en la tierra es de g ≈ −9,8 ms 2 . la ecuación diferencial queda
de la siguiente forma
00
y =g
y 0 (0) = 0 , (3)
y(0) = 100
donde (t, ω) ∈ Ω, ∀t ∈ Iα .
2
gt2
ası́ la familia de solución es y(t) = 2
+ C1 t + C0 , y al aplicarle las condiciones iniciales, se
reduce a una única solución que es
gt2
y= + 100. (4)
2
Como se puede observar las constantes se determinaron de tal forma que cumplen con las
condiciones iniciales que describen al problema en especifico.
Ahora, como vemos, las ecuaciones diferenciales, más que una herramienta matemática,
tienen mucha utilidad en la descripción de fenómenos fı́sicos y de algún estudio en especifico. Las
ecuaciones diferenciales de primer y segundo orden desempeñan un papel vital en la modelación,
por ejemplo, de ondas mecánicas; circuitos eléctricos; entre otros tantos fenómenos como el
estudio de vibraciones y movimientos, como en péndulos, terremotos, mareas, etc. de los cuales,
estos dos últimos se modelan y estudian con herramientas matemáticas en tiempo real.
En el resto del documento se tratará sobre los métodos de solución en ecuaciones de alto
orden, asimismo, en el estudio y comparación de estos, con lo cual usaremos métodos analı́ti-
cos, semi-analı́ticos y numéricos, llevando, un tanto al extremo, una ecuación diferencial lineal
de coeficientes constantes, de forma que la solución sea una combinación de exponenciales y
funciones senoidales.
1. Métodos de Solución
Existen diversos métodos de solución, se trabajaran dos categorı́as
Analı́ticos
• Tiempo, directamente involucrando a t.
• Laplace
Semi-numérico
• Diferencias
• Diferencias finitas
• Diferencias y transformada Z
• Transformada Z
Abordaremos primero la teorı́a analı́tica
3
las soluciones a ésta son de la forma
g(t, ω, C) = 0, (6)
donde C ∈ Rn constante, con lo cual se usan las condiciones iniciales para determinar una
solución única de interés. El método de solución para una ecuación con coeficientes constantes
es de la siguiente forma.
primero se resuelve la parte homogénea, es decir, cuando en la ecuación (7) f (t) = 0. Para ello,
proponemos la solución de la siguiente forma
ω = ert (8)
por lo tanto
ω (i) = ri ert (9)
para 0 ≤ i ≤ n, al sustituir en la ecuación diferencial (7), se obtiene el polinomio caracterı́stico,
o ecuación auxiliar mediante la deducción
n
X n
X
i rt rt
ai r e = e ai ri = 0, (10)
i=1 i=1
como la función ert 6= 0 entonces la parte de la suma necesariamente tiene que ser cero, de esta
forma obtenemos el ya mencionado, polinomio caracterı́stico
n
X
p(r) = ai r i , (11)
i=1
el cual, por medio del teorema fundamental del álgebra2 , tiene n raı́ces, que pueden ser reales,
y complejas, y cada una de éstas genera una solución de la ecuación diferencial. Se obtienen
que la forma de la la solución es ert donde r es una raı́z3 De forma que la solución es
n
X
ωh (t) = ck erk t (15)
k=1
2
Todo polinomio p(z) ∈ P (C) de grado n ≥ 1 con coeficientes reales o complejos tiene exactamente n raı́ces
reales o complejas, además se puede expresar como combinación de ellos
n
X n
Y
k
p(z) = ak z = an (z − rk ) (12)
k=0 k=1
Si r es una raı́z repetida con multiplicidad k, entonces el conjunto fundamental de soluciones está dado
por
4
Para encontrar la solución particular se puede aplicar el método de variación de parámetros, o
coeficientes indeterminados, ası́
Definición 1.2. La transformada de Laplace de una función f (t) está definida mediante
Z ∞
L{f (t)} = F (s) = e−st f (t)dt. (17)
0
Para s ∈ R tal que la integral impropia (17) sea convergente. A F (s) se le denomina transfor-
mada4 de Laplace de f (t).
5
Teorema 1.3. Sea f (t) ∈ C k (F ) una función k diferenciable, entonces se tiene
k−1
X
(k) k
L{f (t)} = s F (s) − sk−j−1 f (j) (0) (20)
j=0
4
También diremos que f (t) es la trasformada inversa de Laplace de F (s), tal que
La demostración se hace por inducción, primero mostrando que L{f 0 (t)} = sF (s) − f (0) y seguir sucesiva-
5
5
A continuación, presentamos con detalle la manera en que utilizaremos la TL para obtener
la solución de un PVI (condiciones iniciales).
Para una ED lineal de orden n con coeficientes constantes y condiciones iniciales en t = 0
N
X
ak ω (k) = f (t)
, (21)
k=0
ω i (0) = ω0i , 0 ≤ i ≤ n − 1
se tiene la transformada de Laplace es como en (20), de esta forma se obtiene la ecuación
en Laplace
N N k−1
!
X X X
k k−j−1 (j)
(ak s )W (s) − s ak ω (0) = F (s) (22)
k=0 k=0 j=0
tomando en cuenta las condiciones iniciales y despejando W (s) en (22) obtenemos la ecuación
siguiente
N k−1
!
X X
k−j−1 (j)
F (s) + s ak ω (0)
k=0 j=0
W (s) = N
(23)
X
(ak sk )
k=0
6
para un determinado valor de paso h. De esta forma, recursivamente se obtiene la generalización
de este concepto para una derivada de orden N
N
(N )
X N (−1)k
ω = wn+N −k . (26)
k=0
k hN
6
entonces, usando (26) se obtiene la siguiente equivalencia
N X
k
X k ak (−1)j
wn+k−j = fn , (28)
k=0 j=0
j hk
Observemos que para una concurrencia con una ecuación de orden N son necesarias N − 1
condiciones iniciales lo cual nos generan una solución única a la ecuación diferencial (27), con
la que podremos generar los N primeros valores para las siguientes iteraciones. De aquı́ que
el método se denomine semi-analı́tico, pues se recurre a la solución analı́tica para ası́ seguir
iterando valores posteriores.
donde se tiene que si m < k entonces la suma es nula. Se puede utilizar cualquiera salvo que,
como se vera en la sección de Análisis tienen cierta diferencia en la suma y acarreo del error.
6
En los métodos para las soluciones analı́ticas se usará la variable independiente t, en cambio para los métodos
numéricos se interpretará el argumento n dependiendo de la iteración.
7
1.2.3. Ecuaciones en diferencias
Es común, que al construir un determinado modelo matemático a algún fenómeno, interesa
más, por cuestiones numéricas y computacionales, elegir una variable con valores discretos. Ası́
como ocurre con el tiempo, y regularizar las mediciones que se hacen en un experimento, esto
datos serı́an elementos de un conjunto finito, o en su defecto infinito numerable. Para este
tipo de modelos determinı́sticos discretos, las herramientas matemáticas más adecuadas para
analizarlos son las ecuaciones en diferencias. El presente tema es una breve introducción a su
estudio. Comenzaremos con los conceptos y definiciones básicas y nos centraremos en el estudio
de las ecuaciones en diferencias lineales con coeficientes constantes.
donde el orden de esta ecuación es el valor de la diferencia entre el mayor con el menor de los
ı́ndices en F.
Una ecuación en diferencias (32) se dice que es lineal con coeficientes constantes si se puede
escribir como
N
X
ak ω(n + k) = f (n) (33)
k=0
donde ak ∈ R. El objetivo e hallar una función ω(n) que verifique que la ecuación para valore
distintos tome valores dados ci , tal que la solución sea única. Para ello usaremos herramientas
un tanto parecidas a cuando se busca la solución analı́tica a una ecuación diferencial, con lo cual
resultarán las soluciones en un sistema fundamental de soluciones de la ecuación en diferencias,
donde la solución es combinación lineal de estás, es decir, si {ω1 , ω2 , . . . , ωk } son soluciones de
(32), entonces, lo es la combinación
k
X
ω(n) = cj ωj (n). (34)
j=1
Para hallar dichas soluciones se usará el método tal cual en ecuaciones diferenciales, se tomará la
ecuación en diferencias homogénea y se dará solución, posteriormente, se encontrara la solución
particular. Para una ecuación en diferencias del tipo (33) con f (n) = 0, se busca una solución
del tipo ω(n) = rn , luego al sustituir se tiene
N
X N
X
n+k N
0= ak r =r ak r k , (35)
k=0 k=0
8
1. La ecuación caracterı́stica (36) tiene todas sus raı́ces reales, no-repetidas, entonces
N
X
ωh (n) = ck rkn (37)
k=1
2. Si la ecuación caracterı́stica (36) tiene raı́ces complejas de la forma r1,2 = α±iβ, definamos
β
ρ = |r| y θ = arctan α , entonces la solución asociada a r1 y r2 es
ρn (c1 cos(θn) + c2 sin(θn)) (38)
Transformada Z
La técnica de transformación constituye una herramienta importante en el análisis de las
señales y sistemas lineales invariantes en el tiempo (LTI), la transformada-z, desempeña el
mismo papel en el análisis de las señales discretas en el tiempo y los sistemas LTI que la trans-
formada de Laplace en el análisis de las señales continuas en el tiempo y los sistemas LTI. La
transformada z proporciona un medio de caracterizar los sistemas LTI y su respuesta a diversas
señales mediante las posiciones de sus polos y ceros.
donde z es una variable compleja. A la relación (40) se le denomina trasformada z directa, ya que
transforma la señal en tiempo x(n) en el plano complejo X(z), denotada esta transformación
como
X(z) = Z{x(n)} (41)
9
notemos que la trasformada z es una serie infinita de potencias, por lo cual, sólo existe para
aquellos valores de z para los que la serie converge.
Es posible describir la trasformación en forma polar, esto pues la variable z vive en plano
complejo, de esta forma se tiene que
z = reiθ (42)
dm
Z{nm xn } = −z m Z{xn } (50)
dz m
Es posible determinar la solución de una ecuación diferencial por transformada Z, ya sea to-
mando su ecuación en diferencias, o como ya se menciono que la transformada de Laplace en
ecuaciones diferenciales es análogo a transformada Z en ecuaciones en diferencias, se puede
tomar dos caminos.
10
Transformada Z inversa
Para realizar la transformación inversa de una ecuación en el plano Z se utilizará la técnica
de fracciones parciales y junto el método de búsqueda en tablas, podemos expresar la función
X(z) como combinación lineal
N
X
X(z) = αk Xk (z) (51)
k=1
donde Xk (z) son expresiones cuyas transformaciones inversas son xk (n). Si dicha descomposición
es posible, entonces x(n) es la transformada z inversa de X(z) mediante la combinación lineal
de
N
X
x(n) = αk xk (n). (52)
k=1
La tarea es obtener una expresión equivalente de la ecuación (54) en una suma de fracciones
simples, Con este fin descomponemos primero D(z) en factores que contengan los polos pk de
X(z). Tenemos dos casos
1. Donde los polos pk son distintos para 1 ≤ k ≤ N
2. Donde un polo pi tiene multiplicidad I
De esta forma, para el caso donde los polos sean distintos, se obtiene
N
X Ak
X(z) = (55)
k=1
1 − pk z −1
11
Esto si todos los polos son reales, pero, si algunos de ellos son complejos. Entonces, algunos
términos de la expresión (57) producen exponenciales complejas. Sin embargo, si una señal x(n)
es real, es posible reducir dichos términos exponenciales en componentes reales. Supongamos
que para algún j entre 1 y N , pj y p∗j son polos, de está forma
donde Aj = |Aj |eiαj y pj = rj eiβj . A partir de esto, cada pareja de polos complejos conjugados
en el dominio z da lugar a una componente de señal sinusoidal causal con una envolvente ex-
ponencial.
De tener el caso dos, donde algunos polos tiene multiplicidad I se tiene que la transformada
inversa es de la forma
pz −1
−1
Z −1 k
= nk−1 pn u(n) (60)
(1 − pz )
A partir de aquı́ se usan las herramientas vistas, es decir, separamos la parte derecha en frac-
ciones parciales, y ası́ encontrar la transformada Z inversa de está.
12
Aplicando la transformada Z, se obtiene la siguiente relación
N k−1
!
X X
F (z) + z k−j−1 ak ω(j)
k=0 j=0
W (z) = N
(66)
X
(ak z k )
k=0
2. Aplicación
En esta sección trabajaremos con los métodos de solución vistos anteriormente con una
ecuación diferencial de alto orden, la cual intencionalmente, tendı́a raı́ces complejas repetidas
para analizar uno de los casos relativamente más complejos. Dicha ecuación es
donde las raı́ces tienen multiplicidad dos. tomando en cuanta las condiciones iniciales, se tiene
que la solución es
13
Figura 1: Solución analı́tica para distintas h.
ωn+8 = f h8 − ωn h8 a0 − h7 a1 + h6 a2 − h5 a3 + h4 a4 − h3 a5 + h2 a6 − ha7 + 1
donde h es determinado como el paso para la solución semi-analı́tica, la fuente y las constantes
son determinadas por la ecuación diferencial, f = 21125000 la fuente, y las constantes
a0 = 10562500
a1 = 7345000
a2 = 2830400
a3 = 670140
, (71)
a4 = 108821
a5 = 11820
a = 878
6
a7 = 40
14
Figura 2: Solución por diferencias finitas para distintas h.
las raı́ces cumplen con la condición de |r| ≤ 1, la solución a la ecuación en diferencias será
convergente, veamos ahora
Este método, como se puede ver en la Figura 3, es ((más convergente)) respecto a la primer
h y el resto de los métodos vistos.
15
2.4. Solución a ecuaciones diferenciales por Transformada Z
Para dar solución por medio de este método, haremos uso de la trasformada de Laplace,
como ya se vio, es el análogo a la transformada z para ecuaciones en diferencias. Además a esto,
veremos dos formas de encontrar la solución, la primera consiste en dejar el numerador igual a
1, y en la otra, aislaremos totalmente a W (z) y usaremos la trasformada inversa.
Método 1
Dada la ecuación (67) bajo las condiciones iniciales
(ω, ω (1) , ω (2) , ω (3) , ω (4) , ω (5) , ω (6) , ω (7) ) = (1, 1, 1, 1, 0, 0, 0, 0), (73)
W (s) 1
= 8 , (74)
X(s) X
ak s k
k=0
ahora, para la solución homogénea, la parte derecha de la ecuación anterior es cero, luego
encontraremos las raı́ces al polinomio caracterı́stico
8
X
Bk r8−k = 0 (77)
k=0
16
Figura 4: Solución ecuación por transformada Z en diferencias para distintas h.
Método 2
Para este método usaremos los visto en la teorı́a del método de transformada Z para ecua-
ciones diferenciales, de modo que
9
X
Ak z −k
k=0
Z{W (s)} = 9
(79)
X
−k
Bk z
k=0
De la Figura 5, cabe resaltar que para las primeras 5 aproximaciones los polos resultaron
en polos complejos conjugados con multiplicidad dos, y para las ultimas 3 solo resultó en polos
complejos conjugados. Observemos que para h = 0,016 el modelo se ajusta bien.
17
3. Análisis de resultados
En esta sección, realizaremos una comparación entre todos los métodos con un h = 0,016
predeterminado, y continuaremos con un análisis extra, en donde se tomarán en cuanta las
circunstancias del método, del h, del tiempo observacional, y tomaremos en cuenta resultados
individuales y grupales.
Para realizar la primer comparación, tomaremos gráficamente las gráficas con h = 0,016, de
esta forma
Observemos primero que entre los dos métodos de diferencias el de atrasadas acumula más
error, el método de ecuaciones por diferencias conserva un error en promedio, en cambio los
métodos de transformada Z tienen un error local que no se acumula visiblemente en la solución.
Aquı́ las gráficas de los métodos individuales, en el caso de la Figura 7 tenemos los métodos
de diferencias finitas, como se habı́a mencionado estos métodos no tienen un error local, sino
que es fluctuante alrededor de la solución analı́tica con h = 0,016.
18
Figura 8: Análisis para método de ecuación en diferencias.
4. Conclusiones
1. Hay muchos factores que afectan a un método, desde la forma de escribir una ecuación
numéricamente, como se denotan ciertas fracciones, por ejemplo, en el método de diferen-
cias finitas, al factorizar en la fracción el h8 y cancelarlo con otro, ocasiono que el error
se conservara en lo mı́nimo.
3. Es claro notar que aunque para un h = 0,016 funcionará las aproximaciones de manera
óptima, o incluso la casualidad de que todos los métodos vistos en este documento tuvieran
19
el mejor comportamiento con este h y fuera parejo, no quiere decir que para todas las
ecuaciones los métodos funcionarán, o para el mismo valor de h, incluso puede existir el
caso donde ninguno funcione, esto pues los métodos no son portables.
4. Es muy útil llevar la solución de una ecuación diferencial a una solución análoga en su
forma de ecuación en diferencias, esto pues al manejar las soluciones con un número con
modulo menor igual a uno que una exponencial, el error se conserva localmente a lo largo
de la solución, y no se acumula numéricamente como en los casos de solución de ecuaciones
diferenciales por diferencias finitas.
Referencias
[1] Autor (año), Tı́tulo, Revista/Editor.
20