ANALISIS MATEMÁTICO II

Unidad Temática II - Ecuaciones Diferenciales Ordinarias

TALLER Nº 2- EDOs de ORDEN SUPERIOR: GENERALIDADES.

OBJETIVOS DEL PRESENTE TALLER

Hemos llegado a encontrarnos con la necesidad de aprender a resolver EDO de orden superior, particular-
mente de segundo orden, para resolver por ejemplo, las siguientes aplicaciones:

-- un objeto que cae atraído por la fuerza de la gravedad , o también un tiro vertical , considerando que sí
existen fuerzas de rozamiento, teniendo en cuenta la 2ª Ley de Newton, conduce a un modelo de la forma:
m y''[t] == - m g - b y'[t]

-- un circuito eléctrico que tiene, por ejemplo, conectados en serie un resistor, un inductor y un capacitor ,
alimentado por una f. e. m. E[t] , tiene por modelo matemático, basado en la Ley de voltaje de Kirchhoff, una
EDO de la forma: L q'' [t] + R q' [t]+ 1C q[t]== E[t] si la condición inicial es q(0)=qo, o bien : L i'' [t] + R i' [t]+
1
C
i[t]== E'[t] si la condición inicial es i(0)=io.

-- un sistema masa resorte amortiguado y forzado , tiene por modelo diferencial una ecuación de la forma :
m y''[t] = = -b y'[t] - k y[t] + f[t]

Por lo tanto deberemos introducirnos en el tratamiento matemático general para poder resolver
dichas ecuaciones, obteniendo la solución general por métodos simbólicos , y así luego poder hallar
soluciones a problemas de valor inicial.

En particular estudiaremos el Método de la Ecuación Auxiliar o Característica para las EDO de orden
superior a coeficientes constantes homogéneas o incompletas (yh), y el Método de los Coeficientes
Indeterminados y el de Variación de Parámetros para hallar la solución particular (yp) que permita
expresar la solución general de las completas (ug=yh+yp) , y más tarde, el Método de La Transfor-
mada de Laplace para resolver problemas de valor inicial y sistemas de EDO.

La justificación de uno de los tres casos que pueden presentarse en el muy utilizado Método de la
ecuación auxiliar , puede darse aplicando el tercer caso del método de reducción de orden que
analizaremos en el presente taller . Los otros dos casos de reducción de orden, son útiles pues
permiten resolver también EDO a coeficientes variables siempre que respondan a una estructura
determinada.

DEPENDENCIA E INDEPENDENCIA LINEAL DE FUNCIONES- CONJUNTO FUNDAMENTAL DE

SOLUCIONES DE UNA EDO

Actividad 1

1
Taller 2_ EDOs de Orden Superior_ Generalidades.nb FRSR-Análisis Matemático II

Investiga en la bibliografía y deja constancia en tu informe :

¿Cuándo dos o más funciones son linealmente independientes?

Actividad 2
En cada caso comprueba si los siguientes pares de funciones son linealmente independientes o
dependientes.
Trabajando en el Mathematica, es posible mediante el siguiente programa , calcular el wronskiano
de un conjunto de funciones, y así poder concluir rápidamente si constituyen un conjunto lineal-
mente independiente o no.

Actividad 3
Investiga el Principio de Superposición respecto de funciones soluciones de una EDO.
RESOLUCION DE EDO DE 2º ORDEN POR EL MÉTODO DE REDUCCIÓN DE ORDEN

Actividad 4
Resuelve cada una de las siguientes EDO, obteniendo en cada caso la solución general.

caso 1: VARIABLE DEPENDIENTE AUSENTE

4.1 t * y''[t] ⩵ 2 + y ' [ t ]
4.2 t*y''[t] - 2 y ' [t] ⩵ 1
4.3 - 3*y''[t] - 2 y'[t] ⩵ 8 t + 2
4.4 t* y '' [t] + 2 y'[t] ⩵ t

caso 2 : USO DE UNA SOLUCIÓN PARA OBTENER UNA SEGUNDA SOLUCIÓN

Consideremos las EDO lineales, de segundo orden, incompletas, que podemos simbolizar :
e=y''[t]+p[t]*y'[t]+q[t]*y[t]=0, conocida una solución en un cierto intervalo es posible hallar otra
que sea linealmente independiente de la dada. Luego se expresa la solución general de la EDO , por
el Principio de Superposición, como una combinación lineal de las dos soluciones linealmente
independientes de la EDO .
4.5 y'' (t) + 6 y' (t) + 9 y (t) = 0 si y1 (t) = E-3 t

1 8
4.6 y'' (t) - y' (t) - y (t) = 0, si y1 (t) = t4 para t > 0
t t2

2t 2
4.7 y'' (t) + * y' (t) - * y (t) = 0 ,
1 - t2  1 - t2 
si y1 (t) = t para -1<t<1
Analiza la siguiente salida del Mathematica , da el conjunto fundamental de soluciones y propone
una nueva solución general en el campo de los números reales.

2
FRSR-Análisis Matemático II Taller 2_ EDOs de Orden Superior_ Generalidades.nb

general
In[1]:= e = y ''[t] + 2 t y '[t]  1 - t2  - 2 y[t]  1 - t2  ⩵ 0;
sg = DSolve[e, y[t], t] // Simplify
resolvedor diferencial simplifica

- 1 + t2 - 1 + t2 1 + t 2 
Out[2]= y[t] → 
1 - t2

CFS = (t - 1)2 , t

In[3]:= yg[t_] = c1 * t - 12 + c2 * t;

In[4]:= e /. {y[t] → yg[t], y '[t] → yg '[t], y ''[t] → yg ''[t]} // Simplify

simplifica

Out[4]= True

Actividad 5
Analicemos algunos de los casos de la actividad 4 resolviéndolos en el Mathematica, ya sea directa-
mente con el comando DSolve , o dirigiendo la resolución según el método apropiado.
En los casos resueltos comprueba tu solución con la aportada por el Mathematica.

VARIABLE DEPENDIENTE AUSENTE

Clear[e, y]
borra

Problema 4.1
e = t y ''[t] ⩵ 2 + y '[t] (*EDO 2º orden, lineal completa, a coef. variables**)
′′ ′
t y [t] ⩵ 2 + y [t]

DSolve[e, y[t], t]
resolvedor diferencial
1
y[t] → - 2 t + t2 C[1] + C[2]
2

Ahora, obtendremos la misma respuesta aplicando paso a paso el MÉTODO DE REDUCCIÓN DE ORDEN, para lo cual
efectuamos el siguiente cambio de variables:

e1 = e /. {y′ [t] → u[t], y″ [t] → u′ [t]}

t u′ [t] ⩵ 2 + u[t]

resultando una EDO de primer orden en "u[t]". Resolviendo con el Mathemática:

s1 = DSolve[e1, u[t], t]
resolvedor diferencial

{{u[t] → - 2 + t C[1]}}

Etiquetamos

u[t_] = s1〚1, 1, 2〛

3
Taller 2_ EDOs de Orden Superior_ Generalidades.nb FRSR-Análisis Matemático II

- 2 + t C[1]

De modo que si ahora integramos

y[t_] =  u[t] ⅆ t + C[2]

constante

1
-2 t + t2 C[1] + C[2]
2

obtenemos la solución general de la EDO original "e"

USO DE UNA SOLUCIÓN CONOCIDA PARA OBTENER UNA SEGUNDA SOLUCIÓN

El objetivo es encontrar una segunda solución y2 de una EDO de segundo orden, a partir de una solución conocida y1 en un
intervalo I; siendo ambas soluciones linealmente independientes.
Para ello es neceasario que: y2 (t)= y1 (t) * u(t), donde u(t) ≠ constante
Una vez hallada la solución y2 , por el Principio de Superposición se plantea la SOLUCIÓN GENERAL, que tendrá la siguiente
estructura: y(t)= C1 y1 (t) + C2 y2 (t).

Problema 4.5
Clear[y]
borra

e = y″ [t] + 6 y′ [t] + 9 y[t] == 0

9 y[t] + 6 y′ [t] + y′′ [t] ⩵ 0

Solución conocida y1 (t) = ⅇ-3 t

y1[t_] = ⅇ-3 t ;

Verifiquemos que y1 (t) es solución, para ello, reemplazamos la función solución dada y sus derivadas en la ED. Si ella es solución,
entonces debe verificar la igualdad y transformarse en una identidad.

e /. {y[t] → y1[t], y′ [t] → y1′ [t], y″ [t] → y1″ [t]}

True

El Método de Reducción de orden en este caso consiste en obtener una segunda solución como el producto de la solución
aportada por una función u(t) que tendremos que hallar, (cumplen así la condición de resultar y 1 (t) e y2 (t), linealmente Indepen-
dientes entre sí).

y2[t_] = u[t] × y1[t]

ⅇ-3 t u[t]

Calculamos

{y2′ [t], y2″ [t]}

- 3 ⅇ-3 t u[t] + ⅇ-3 t u′ [t], 9 ⅇ-3 t u[t] - 6 ⅇ-3 t u′ [t] + ⅇ-3 t u′′ [t]

Sustituímos en la EDO

e1 = e /. {y[t] → y2[t], y′ [t] → y2′ [t], y″ [t] → y2″ [t]}

18 ⅇ-3 t u[t] - 6 ⅇ-3 t u′ [t] + 6 - 3 ⅇ-3 t u[t] + ⅇ-3 t u′ [t] + ⅇ-3 t u′′ [t] ⩵ 0

Reordenamos (en este caso se cancelan varios términos del primer miembro)

4
FRSR-Análisis Matemático II Taller 2_ EDOs de Orden Superior_ Generalidades.nb

e2 = Collect[e1〚1〛, {u[t], u′ [t], u″ [t]}] == 0

agrupa coeficientes
-3 t
ⅇ u′′ [t] ⩵ 0

s1 = DSolve[e2, u[t], t]
resolvedor diferencial

{{u[t] → C[1] + t C[2]}}

Como sólo necesitamos una función no constante "u[t]" que satisfaga "e2", elegimos "C[1]=0" y "C[2]=1", obteniendo

u[t_] = t;

Luego

y2[t]
ⅇ-3 t t

la cual es una segunda solución de nuestra EDO

VERIFICACIÓN

Simplify[e /. {y[t] → y2[t], y′ [t] → y2′ [t], y″ [t] → y2″ [t]}]

simplifica

True

La SOLUCIÓN GENERAL es

y[t_] = c1 y1[t] + c2 y2[t]

c1 ⅇ-3 t + c2 ⅇ-3 t t

VERIFICACIÓN

e
9 c1 ⅇ-3 t - 6 c2 ⅇ-3 t + 9 c2 ⅇ-3 t t + 6 - 3 c1 ⅇ-3 t + c2 ⅇ-3 t - 3 c2 ⅇ-3 t t + 9 c1 ⅇ-3 t + c2 ⅇ-3 t t ⩵ 0

Simplify[e]
simplifica

True

Resolviendo directamente con el Mathematica

Clear[y]
borra

e
9 y[t] + 6 y′ [t] + y′′ [t] ⩵ 0

DSolve[e, y[t], t]
resolvedor diferencial

y[t] → ⅇ-3 t C[1] + ⅇ-3 t t C[2]