Sunteți pe pagina 1din 39

EDO LINEALES DE ORDEN SUPERIOR (DE ORDEN n>2) CON COEFICIENTES CONSTANTES

En este capítulo estudiaremos las ecuaciones diferenciales lineales de orden n ≥2, con . Comenzaremos por dar las definiciones necesarias para formular el problema de Cauchy y enunciar el Teorema de Existencia y Unicidad, que será demostrado más adelante. Con el fin de presentar de una manera más clara la estrategia de resolución de estas ecuaciones comenzaremos por hacer un estudio detallado del caso de orden 2. Esto nos permitirá mostrar las técnicas en un contexto más abordable. En seguida veremos cómo resolver la ecuación de orden arbitrario a coeficientes constantes y daremos ideas de lo que puede hacerse cuando los coeficientes son variables, caso mucho más complejo.

los coeficientes son variables, caso mucho más complejo. Daremos una breve introducción a los operadores

Daremos una breve introducción a los operadores diferenciales lineales y plantearemos el problema que nos interesa resolver en este capítulo.

OPERADORES DIFERENCIALES LINEALES

Operadores diferenciales Lineales. Así como una función transforma números en números: f(x) = y, un operador transforma funciones en funciones: P(f) = g. Por ejemplo, la derivada o la integral son operadores que transforman una función en su

derivada o primitiva, respectivamente

derivadas de una función se denominan operadores diferenciales (en oposición a los

operadores integrales, que involucran primitivas).

Sea

tales

Los operadores que involucran solamente

Sea tales Los operadores que involucran solamente un intervalo. Recordemos que continuas en denota el conjunto
Sea tales Los operadores que involucran solamente un intervalo. Recordemos que continuas en denota el conjunto

un intervalo. Recordemos que continuas en

solamente un intervalo. Recordemos que continuas en denota el conjunto de funciones . Las funciones que

denota el conjunto de funciones . Las funciones que pertenecen a

se dice que

. Estos conjuntos son sub espacios vectoriales del espacio de funciones de

suma y producto por escalar habituales. En efecto,

para todo real λ se cumple que

son n veces continuamente diferenciables o de clase

que son n veces continuamente diferenciables o de clase con la entonces y si . OPERADOR
que son n veces continuamente diferenciables o de clase con la entonces y si . OPERADOR

con la

entonces

continuamente diferenciables o de clase con la entonces y si . OPERADOR DIFERENCIAL LINEAL Un operador

y si

.
.

OPERADOR DIFERENCIAL LINEAL

Un operador diferencial P es lineal si

DIFERENCIAL LINEAL Un operador diferencial P es lineal si En cálculo la derivación se denota con

En cálculo la derivación se denota con frecuencia con la letra

D mayúscula, es decir,

dy

dx

Dy

. El símbolo D se llama operador diferencial porque convierte una función

derivable en otra función. Las derivadas de orden superior se expresan en términos de

1

D de manera natural:

dx d    dy dx

 

2

d dx y

2

D Dy D y

2

, donde y representa una

función suficientemente derivable. Denotemos por

una función suficientemente derivable. Denotemos por el operador derivada de orden k , entendiendo que la

el operador derivada de orden k,

entendiendo que la derivada de orden 0 es el operador identidad

omitir).

la derivada de orden 0 es el operador identidad omitir). (que solemos DEFINICION. Un operador de

(que solemos

DEFINICION. Un operador de la forma

omitir). (que solemos DEFINICION. Un operador de la forma donde  a k x  son

donde

ak x

son funciones de

x , se llama operador diferencial lineal de orden n. Más

precisamente, si f es una función suficientemente regular, entonces

función cuyo valor en el punto

x es

es laregular, entonces función cuyo valor en el punto x es Si dice que el operador diferencial

entonces función cuyo valor en el punto x es es la Si dice que el operador

Si

dice que el operador diferencial lineal es a coeficientes constantes. En este caso se suele escribir

a coeficientes constantes . En este caso se suele escribir el operador está normalizado y si

el operador está normalizado y si los coeficientes

son todos constantes seel operador está normalizado y si los coeficientes La suma y producto por un escalar de

normalizado y si los coeficientes son todos constantes se La suma y producto por un escalar

La suma y producto por un escalar de operadores se define de la misma manera que para funciones. Con estas operaciones los operadores forman un espacio vectorial:

operaciones los operadores forman un espacio vectorial: El producto de operadores diferenciales se define

El producto de operadores diferenciales se define simplemente como su composición

Es decir, orden entonces
Es decir,
orden entonces

para cada f. Notemos que si es de orden

orden entonces para cada f . Notemos que si es de orden es de orden y

es de ordenorden entonces para cada f . Notemos que si es de orden y es de .

ypara cada f . Notemos que si es de orden es de orden es de .

para cada f . Notemos que si es de orden es de orden y es de

es de

. Con este producto y la suma ya definida, se forma de hecho una estructura algebraica de anillo donde la unidad es el operador identidad I. En particular, se tiene la distributividad por la derecha y por la izquierda, que es una propiedad heredada de la composición de funciones. Es decir

propiedad heredada de la composición de funciones. Es decir El producto, como la composición, no es

El producto, como la composición, no es en general conmutativo. Sin embargo, en el caso de operadores lineales a coeficientes constantes, el anillo es conmutativo. Es decir, el producto sí conmuta

anillo es conmutativo . Es decir, el producto sí conmuta La verificación de estas propiedades se

La verificación de estas propiedades se deja como ejercicio al lector. Un operador de la forma

2

se denota por L P x D   ,   a x D

se denota por

se denota por L P x D   ,   a x D 
L P x D   ,   a x D   
L P x D
,
a x D
a
x D
a
n  1
 
x
n
a x D
n
n  1
1
0

también

L Operando sobre una combinación lineal de dos funciones derivables es lo mismo

que la combinación lineal de

Simbólicamente esto se expresa como L f x g x Lf x Lg x , donde

L operando en cada una de las funciones.

son constantes.

Cualquier ecuación diferencial lineal puede expresarse en términos de la notación

Por ejemplo, la ecuación diferencial

y 3 y 7

y

x

3

1

se puede escribir como

2

D y 3 Dy 7 y x

3

1

o

D

2

3 D 7 y x

3 1. Usando la ecuación

L P x D

,

a x D

n

n

a

n 1

x D

n 1

 

a x D

1

a

0

x

, se pueden escribir las

D

.

ecuaciones diferenciales lineales de n-énesimo orden

a

a

n

n

x

x

d

n y

dx

n

a

n

y

d

dx

n

a

n 1

n 1

x

x

n 1

d y

dx

n 1

n 1

d y

dx

n 1

 

 

a

a

1

1

x

dy

dx

dy

dx

x y

a

0

0

y

a

x

0

x y f x

L y   0
L y
 
0

y

L y f x

, respectivamente.

en forma compacta como

PRINCIPIO DE SUPERPOSICIÓN En el siguiente teorema se ve que la suma o superposición de dos o más soluciones de una ecuación diferencial lineal homogénea es también una solución.

TEOREMA Principio de superposición; ecuaciones homogéneas

Sean

y

1

,

y

2

,

,

y

n soluciones de la ecuación homogénea de n-ésimo orden

a

n

x

n

d dx y

n

a

n

1

x

n 1

d dx y

n

1

a x

1

dy

dx

a

0

x y 0

en un intervalo I. Entonces la

combinación lineal

constantes arbitrarias, también es una solución en el intervalo. DEMOSTRACIÓN

La demostración lo haremos para el caso

definió anteriormente y sean

y c1 y1

 

x c2 y2 x

 

cn yn x

n

2

. Sea

, donde las

c

i

,

i

1,2,

, n

son

L el operador diferencial que se

y1 x

y

y2 x

soluciones de la ecuación homogénea

 

L y

0

. Si se define

y c1 y1 x c2 y2 x

 

 ,

entonces por la linealidad de L se tiene

 

que

COROLARIOS DEL TEOREMA

A) Un múltiplo constante

diferencial lineal homogénea es también una solución.

B) Una ecuación diferencial lineal homogénea tiene siempre la solución trivial

de una ecuación

L y L c y x c y x c L y c L y c .0c .0 0

1

1

2

2

1

1

2

2

1

2

y1 x

y c1 y1 x

de una solución

y

0

.

ECUACION DIFERENCIAL ORDINARIA LINEAL DE ORDEN 2 CON COEFICIENTES CONSTANTES

y  0 . ECUACION DIFERENCIAL ORDINARIA LINEAL DE ORDEN 2 CON COEFICIENTES CONSTANTES , donde

, donde f(t) es continua

3

Con a . la notación con operadores es Donde son las raíces del polinomio característico
Con a
. la notación con operadores es
Donde
son las raíces del polinomio característico
Introduciendo la variable auxiliar

y se obtiene el siguiente sistema de dos

EDO lineales de primer orden que sabemos resolver:

de dos EDO lineales de primer orden que sabemos resolver: De la primera ecuación encontramos z

De la primera ecuación encontramos z, que sustituimos en la segunda ecuación para obtener y. Más precisamente

en la segunda ecuación para obtener y . Más precisamente de donde ESTUDIO COMPLETO DEL CASO
en la segunda ecuación para obtener y . Más precisamente de donde ESTUDIO COMPLETO DEL CASO

de donde

ecuación para obtener y . Más precisamente de donde ESTUDIO COMPLETO DEL CASO HOMOGENEO (1) Con

ESTUDIO COMPLETO DEL CASO HOMOGENEO

precisamente de donde ESTUDIO COMPLETO DEL CASO HOMOGENEO (1) Con a . la notación con operadores

(1)

Con a . la notación con operadores es Donde son las raíces del polinomio característico
Con a
. la notación con operadores es
Donde
son las raíces del polinomio característico
Introduciendo la variable auxiliar

y se obtiene el siguiente sistema de dos

EDO lineales de primer orden que sabemos resolver:

de dos EDO lineales de primer orden que sabemos resolver: De la primera ecuación encontramos z

De la primera ecuación encontramos z ,es decir

resolver: De la primera ecuación encontramos z ,es decir y = 0 ↔ de aquí .

y = 0

De la primera ecuación encontramos z ,es decir y = 0 ↔ de aquí . Ahora

de aquí

. Ahora sustituimos en la segunda ecuación para obtener y . Más sustituimos en la segunda ecuación para obtener y. Más

precisamente

() Se tienen tres casos para los valores característicos que lo resumiremos en un

TEOREMA

La solución general

1. Si

de la forma siguiente

un TEOREMA La solución general 1. Si de la forma siguiente de aquí de está dada

de aquí

La solución general 1. Si de la forma siguiente de aquí de está dada por: son
La solución general 1. Si de la forma siguiente de aquí de está dada por: son

de

solución general 1. Si de la forma siguiente de aquí de está dada por: son reales

está dada por:

1. Si de la forma siguiente de aquí de está dada por: son reales y distintos

son reales y distintos vemos inmediatamente de () que la solución queda

dada por: son reales y distintos vemos inmediatamente de (  ) que la solución queda

2. Si

dada por: son reales y distintos vemos inmediatamente de (  ) que la solución queda

de () tenemos

dada por: son reales y distintos vemos inmediatamente de (  ) que la solución queda

4

3. Finalmente, si

tendremos que complejos, lo cual es un inconveniente. Para resolver este problema recordaremos que

inconveniente. Para resolver este problema recordaremos que son complejos conjugados de la forma con . Estas

son complejos conjugados de la forma

recordaremos que son complejos conjugados de la forma con . Estas soluciones nos dan valores ,

con

recordaremos que son complejos conjugados de la forma con . Estas soluciones nos dan valores ,

. Estas soluciones nos dan valores

de la forma con . Estas soluciones nos dan valores , de donde e iwt 

, de donde

e

iwt

e

iwt

2

cos wt

Así podemos escribir EJEMPLOS

y

e

iwt

i e

2

iwt

senwt

escribir EJEMPLOS y e iwt  i e 2  iwt  senwt 1. - Encontrar

1. - Encontrar la solución general de

y

 y

0

Solución:

El polinomio característico

2

Luego

y

h

t

( )

c

1

cos

t c sent

2

10

tiene por raíces las conjugadas

2.- hallar la solución general de

y

 y  y

2

0

Solución:

El polinomio característico

2

210

tiene raíces

1,

1

2

i

.

1

Luego la solución será

t

y ( t ) a e a te

h

1

2

t

PROBLEMA DE VALOR INICIAL (PVI) LIGADO A LA ECUACION DIFERENCIAL LINEAL HOMOGENEA DE ORDEN 2

y

 ay 

by 0

y (t )

0

,

y

,

(t

0

t

I

)

Donde

t I

0

,

I intervalo de la recta real

O equivalentemente

Dado

una igualdad vectorial de la forma

t I

0

, el PVI para la ecuación diferencial lineal de orden 2 la condición inicial es

diferencial lineal de orden 2 la condición inicial es con el lado derecho dado en .

con el lado derecho dado en

2 la condición inicial es con el lado derecho dado en . En este contexto, el

. En este contexto, el

problema de Cauchy consiste en encontrar

inicial es con el lado derecho dado en . En este contexto, el problema de Cauchy

tal que

5

El PVI plateado ( o problema de Cauchy ) tiene una y solo una solución

El PVI plateado ( o problema de Cauchy ) tiene una y solo una solución

Demostración

Consideraremos dos casos, según que las raíces del polinomio característico sean desiguales o iguales.

(i)

sistema

1

2

, entonces

o iguales. (i) sistema    1 2 , entonces evaluando en e  t

evaluando en

e

t

1 0

c

1

e

t

1 0

1

e c

2

2

t

0

c

1

2

e

t

2 0

c

2

c   2  2 t 0 c 1   2 e  t

obtenemos el

En las incógnitas

que

pues

c

1

,

c

2

. Para que el sistema tenga una única solución debe cumplirse

e

r t

1 0

r e

1

r t

1 0

e

r t

2 0

r e

2

r t

2 0

(

r

2

r e

)

1

(

)

r r t

1

2

0

0

,pero esto es verdad

e

( r r t

1

2

)

0

0

y por hipótesis

r r

1

2

(ii)

 r t 1 2 ) 0  0 y por hipótesis r  r 1

en este caso el PVI

se reduce a estudiar el sistema lineal

t e c e c

0

1

2

t

1 0

t

1 0

(

e

t

1 0

1

t e

0

t

1 0

)

c

1

1

e c

1 0

2

t

Un simple cálculo nos permite afirmar que el determinante de este sistema es

2

e

rt

1 0

0

. En otras palabras, estamos frente a un sistema de Cramer que como bien

sabemos admite una, y solo una, solución. De esta manera el PVI tiene una única

solución. Hemos probado la Existencia y Unicidad de solución del PVI.

Ejemplo

Encontrar la solución del PVI

es el mismo que condujo a la demostración del teorema anterior:

tiene por raíces

y

5 

y

y 0

,

y (0)

1 y

,

(0)

2

6

. El método a seguir

2 510

5  21  1   2 , 2
5
21
 1 
2
,
2

, Luego5  21  1   2 , 2  2 y  ( )

2

y

( )

t c e

h

1

(5

 2 , 2  , Luego 2 y  ( ) t  c e

21/2)

t

(5

, Luego 2 y  ( ) t  c e h 1 (5  21/2)

21 / 2)

c e

2

(5

y ( t )  c e h 1  21/2) t (5 
y ( t )  c e
h
1
21/2)
t
(5
(5  21/2) t 21 / 2)
(5
21/2)
t
21 / 2)

c e

2

Evaluando en

t

0

se llega a

Sistema lineal cuya solución es

1c c

1

2

a Sistema lineal cuya solución es 1  c  c 1 2  2 

2 (521/ 2) (5

c 1

21/ 2) c 2
21/ 2) c
2
1 9 c   21 , c  1 2 2 y 2
1 9
c 
21 ,
c 
1
2
2
y
2
1 9  21 2 2 .
1
9
21
2
2
.

(5

21 , c  1 2 2 y 2 1 9  21 2 2 .

21/2)

t

CONSTRUCCION DE UNA BASE REAL VALORADA DEL ESPACIO SOLUCION.

Consideremos la ecuación diferencial

capitulo. Mediante el uso del concepto de Wronskiano y un mínimo de algebra lineal, probaremos que es posible construir una base de funciones real-valoradas del espacio solución

y

 ay 

by 0

, objeto de estudio del presente

Sea

funciones complejo valoradas definidas en el intervalo

veces derivables con derivada segunda continua. Fácilmente se prueba que

constituye un espacio vectorial sobre solución de la ecuación diferencial.

 y C I y es solucion de

h

(

) :

h

2

(1)

, donde

y  C I y es solucion de h ( ) : h  2 (1)

. Por ello

2

C ( I )

denota el conjunto de las

I de la recta y que son dos

es conocido como el espacio

Sean

alternativamente afirmar que

conocido como el espacio Sean alternativamente afirmar que las raíces del polinomio característico de la ecuación

las raíces del polinomio característico de la ecuación diferencial. Tomando

característico de la ecuación diferencial. Tomando = 1 , = 0 y = 0 , =

= 1

,

= 0característico de la ecuación diferencial. Tomando = 1 , y = 0 , = 1 en

y

de la ecuación diferencial. Tomando = 1 , = 0 y = 0 , = 1

= 0 ,

de la ecuación diferencial. Tomando = 1 , = 0 y = 0 , = 1

= 1 en la solución general, podemos

(i)



(ii)

(ii) 

En otras palabras,

podemos (i)  (ii)  En otras palabras, , pertenecen a  ,  2 (
podemos (i)  (ii)  En otras palabras, , pertenecen a  ,  2 (

,

podemos (i)  (ii)  En otras palabras, , pertenecen a  ,  2 (

pertenecen a

 (ii)  En otras palabras, , pertenecen a  ,  2 ( ) t

,

2

( )

t

te

t

pertenecen a

y

a  ,  2 ( ) t  te  t pertenecen a  y

son soluciones de la ecuación diferencial

PROPOSICION

Las funciones

Las funciones y son linealmente independientes

y

Las funciones y son linealmente independientes

son linealmente independientes

Demostración

7

Supongamos que

dos casos

Supongamos que dos casos , por demostrar que se presentan (i) obtenemos : tenemos . Dividiendo

, por demostrar que

Supongamos que dos casos , por demostrar que se presentan (i) obtenemos : tenemos . Dividiendo

se presentan

(i)

obtenemos

que dos casos , por demostrar que se presentan (i) obtenemos : tenemos . Dividiendo por

: tenemos

, por demostrar que se presentan (i) obtenemos : tenemos . Dividiendo por y derivando Como

. Dividiendo por

que se presentan (i) obtenemos : tenemos . Dividiendo por y derivando Como podemos concluir que

y derivando

(i) obtenemos : tenemos . Dividiendo por y derivando Como podemos concluir que . Luego también

Como

(i) obtenemos : tenemos . Dividiendo por y derivando Como podemos concluir que . Luego también

podemos concluir que

. Dividiendo por y derivando Como podemos concluir que . Luego también (ii) por hipótesis .

. Luego también

por y derivando Como podemos concluir que . Luego también (ii) por hipótesis . De aquí

(ii)

y derivando Como podemos concluir que . Luego también (ii) por hipótesis . De aquí Derivando

por hipótesis

podemos concluir que . Luego también (ii) por hipótesis . De aquí Derivando obtenemos , lo
podemos concluir que . Luego también (ii) por hipótesis . De aquí Derivando obtenemos , lo

. De aquí

concluir que . Luego también (ii) por hipótesis . De aquí Derivando obtenemos , lo que

Derivando obtenemos

, lo que a su vez permite concluir que

.

(En todo momento la variable

t recorre el intervalo

I de la recta real).

Dimensión del espacio

Acabamos de ver que

de . Además,

genera el espacio . Luego dim

,
,

 2

constituye un conjunto linealmente independiente

es solución podemos afirmar que

linealmente independiente es solución podemos afirmar que , Para construir una base de  compuesta de

,

linealmente independiente es solución podemos afirmar que , Para construir una base de  compuesta de

Para construir una base de compuesta de funciones real-valorada

Veamos previamente el concepto de Wronskiano y analizar su relación con la independencia lineal de soluciones.

Definición

Sean

f , f

1

2

Es decir

W

: I

Definición Sean f , f 1 2 Es decir W : I  funciones derivables. Definimos

funciones derivables. Definimos

(t ) f (t ) f (t ) f (t ) f (t )

1

2

1

2

.

w ( t )

f

1

f

1

( t

t

(

)

)

f t

2

( )

f t

( )

2

W W ( f , f )

1

2

recibe el nombre de Wronskiano de

f , f

1

2

.

Teorema

Sean

(i) Existe

f , f : I

1

2

f , f 1 2 . Teorema Sean (i) Existe f , f : I 

soluciones de (1). Se cumplen las dos siguientes implicaciones:

son linealmente independientes

t

0

I / W (t ) 0 f , f

0

1

2

(ii)

f , f

1

2

son linealmente independientes

W (t ) 0

para todo

t

Demostración

8

(i) supongamos que

c f c f 0

1

1

2

2

. Luego

c f

1

1

 c f 

2

2

0

. En particular

c

c

1

1

f f (t (t

1

1

0

0

) )   c c f f (t (t

2

2

2

2

0

0

) )   0 0

Por hipótesis el determinador de la matriz de los coeficientes de esta ecuación, que

nos es sino

de Cramer. Por ende

(iii) procediendo por contradicción supongamos que existe sistema

W (t

0 ) , es diferente de cero. En otras palabras, estamos frente a un sistema

c

1

c

2

0

.

palabras, estamos frente a un sistema c 1  c 2  0 . t /

t

/ W (t ) 0

. Luego el

c 1  c 2  0 . t / W ( t )  0

f f (t (t ) )   c c f f

c 1

c 1

1

2

2

2

2

(t (t )   0 0

1

c c f f c 1 c 1 1 2 2 2 2  ( t

)

Con incógnitas

función

c

1

f

1

f

2

,

c

2

, admite una solución no trivial (,) . Prestemos atención a la

. Es claro que dicha función satisface el PVI

y

 ay 

by

0

función satisface el PVI y  ay  by  0 y ( t ) 

y (t ) 0 ,

y

PVI y  ay  by  0 y ( t )  0 , y

(t )

0

Pero la función 0 también satisface este PVI. Por la unicidad de solución de un PVI ligado a una ecuación lineal homogénea de orden 2 concluimos entonces que

f f

1

2

0

.

De otro lado, como por hipótesis

f

1

y

f

2

son linealmente

independientes, se concluye que

de que

teorema queda demostrado.

ó

0

0

por cuanto

(,)

0

; una evidente contradicción con el hecho

es una solución no trivial con lo cual el

BASE REAL - VALORADA

El análisis del polinomio característico

REAL - VALORADA El análisis del polinomio característico conduce a tres posibles casos: (i) a 2

conduce a tres posibles casos:

(i)

a

2 4b 0 . En esta circunstancia las raíces de

2  4 b  0 . En esta circunstancia las raíces de son reales y

son reales y distintas, digamos

circunstancia las raíces de son reales y distintas, digamos .Luego (ii) a 2  4 b

.Luego

(ii) a 2 4b 0 . Habrá una raíz real

.Luego (ii) a 2  4 b  0 . Habrá una raíz real es una
.Luego (ii) a 2  4 b  0 . Habrá una raíz real es una

es una base real-valorada de .

de multiplicidad dos. Por consiguiente

de  . de multiplicidad dos. Por consiguiente es una base real-valorada de  . (iii)

es una base real-valorada de .

(iii)

complejas

a

2 4b 0 . Este

de  . (iii) complejas a 2  4 b  0 . Este es el

es el caso que requiere especial atención; aparecen raíces

0 . Este es el caso que requiere especial atención; aparecen raíces con Según son complejos

con

0 . Este es el caso que requiere especial atención; aparecen raíces con Según son complejos

Según

son complejos conjugados de la forma

9

sabemos

diferencial (constituyen una base, pero no nos interesa ese hecho por ser una base de funciones complejo-valoradas). Definimos

,
,
ser una base de funciones complejo-valoradas). Definimos , son soluciones de la ecuación   

son soluciones de la ecuación

Definimos , son soluciones de la ecuación    t  1 2 i 

 

t

1

2 i

1

 

t

2

t   e senwt

 

t

Se observa claramente que espacio vectorial sobre

linealmente independiente en y, como (conocido en el algebra lineal); quiere decir

 y, como (conocido en el algebra lineal); quiere decir  (recordar que  tiene estructura
 y, como (conocido en el algebra lineal); quiere decir  (recordar que  tiene estructura



(recordar que tiene estructura de

quiere decir  (recordar que  tiene estructura de , ). A su vez es fácil

, ). A su vez es fácil probar que

dim 2

de , ). A su vez es fácil probar que dim  2 es una conjunto

es una conjunto

resulta ser una base de

dim  2 es una conjunto resulta ser una base de  es base de 

es base de

ESTUDIO COMPLETO DEL CASO NO HOMOGENEO

Con a donde f(t) es continua . la notación con operadores es Donde son las
Con a
donde f(t) es continua
. la notación con operadores es
Donde
son las raíces del polinomio característico

Según sabemos que

las raíces del polinomio característico Según sabemos que Es decir llamada solución general de Donde es

Es decir

del polinomio característico Según sabemos que Es decir llamada solución general de Donde es solución de

llamada solución general de

Según sabemos que Es decir llamada solución general de Donde es solución de y es una
Donde
Donde

es solución de

Es decir llamada solución general de Donde es solución de y es una solución de Para

y

decir llamada solución general de Donde es solución de y es una solución de Para hallar

es una solución de

Para hallar

el de los coeficientes indeterminados (CI)

de Para hallar el de los coeficientes indeterminados (CI) , estudiaremos dos métodos el de variación

, estudiaremos dos métodos el de variación de parámetros (VP) y

METODO DE VARIACION DE PARAMETROS

Sea

resulta natural pensar que

1,2

una base de

y

 ay 

by 0

. Al ser

c

c 1 (t )(t ) c (t )(t )

1

2

2

10

(t ) c (t )

1

1

2

2

su solución general,

Podría ser una solución de

Planteamos por ellos el interrogante: ¿es posible encontrar funciones

que

ellos el interrogante: ¿es posible encontrar funciones que  y p ( ) t para ciertas

y

p

( )

t

para ciertas funciones

c

1

funciones que  y p ( ) t para ciertas funciones c 1 c t 

c t t c t

1

( )

1

( )

2

( )

2

( t )

sea la solución de

c

1

(t ), c (t )

2

.

(t ), c

2

(t

)

tales

?.

De ser verdad la afirmación deberíamos tener

que.

y

 ay

p

p

by f ( t )

p

. Observamos

Esta es una expresión relativamente complicada, que se complicaría aun mas si extrajéramos la segunda derivada pues tendríamos ecuaciones de orden dos con las

funciones

condiciones seria que

c

1

(t ), c

2

(t ) ; como queremos obtener condiciones sobre

c

(t

1

)(t ) c (t )(t ) 0

1

2

2

c ()t

1

y

c

2

(t )

, las

Si así ocurriera tendríamos

y

y

(

p

t c t t c

)

1

( )

1

( )

2

( )

t

2

( )

t

extrayendo la segunda derivada obtenemos

 ( )

t c

 ( )



t c t t c

p

1

( )

1

( )

2

( )

t

2

( )

1

( )

t

1

t c

2

( )

t

2

( )

t

Luego reemplazando en

y

 ay

p

p

by f ( t )

p

c(t )(t ) c (t (t c (t ) (t ) c (t )

)

)

2

(t )

2

1

1

2

1

1

2

obtenemos que

a ( c (t )(t ) c (t )(t ))

1

1

2

2

b ( c (t )(t ) c (t )(t )) f (t )

1

1

2

2

Agrupando tenemos que

c

1

(t )((t ) a(t ) b(t )) c (t )((t ) a(t ) b(t )) c (t )(t ) c (t )(t ) f (t )

1

1

1

2

2

2

2

1

1

2

2

Como

1,2

es base se tiene que

(t ) a(t ) b

2

2

2

(t ) 0

.Luego

c

(t ) a(t )

1

1

b(t ) 0

1

(t

1

)(t ) c (t )(t ) f (t )

1

2

2

también

En resumen, si existen

y al mismo tiempo

Debido a esto nos preocupamos acerca de si existen

c (t c )()t (t ) c (t )

1

1

1

,

c

2

2

2

(t )

tales que

y

p

( )

t

c t

1

1

(t

1

,

( )

c

(t ) 0 entonces

c ()t

1

c

(t

1

)(t ) c (t )(t ) 0

1

2

2

c

(t

1

)(t ) c (t )(t ) f (t )

1

2

2

( t )

c t t

2

( )

2

( )

es solución

)(t ) c (t )(t ) f (t )

1

2

2

c

2

(t )

tales que

.

En caso de existir, evidentemente

y

p

t c t t c

( )

1

( )

1

( )

2

( )

t

2

( )

t

seria una solución de

c ( ) 1 ( ) 1 ( ) 2 ( ) t  2 (

. La existencia es inmediata por cuanto la independencia lineal

del conjunto

teorema visto anteriormente, es decir

1,2implica que

W

(,)(t ) 0

1

2

para todo

t

I

(parte (ii) de un

11

1

1

(

(

t

t

)

)

2

2

( )

( )

t

t

0

.La regla de Cramer asegura la existencia de

c ()t

1

y

c

2

(t )

,

también podemos obtener explícitamente

c

()t

1

y

c

(t

2

)

.Es decir

y

c ( t )

2

1

t f t

( )

( )

( )

W t

. Si escogemos un

t

0

I

obtenemos que

c ( t )

1

W ( t ( ) t f ) t

2

( )

c ( t )

1

t

t

0

W ( t ( ) t f ) t

2

( )

y

c ( t )

2

t

t

0

1

( )

t

W ( f t ) ( t )

Evidentemente

mayor importancia porque las soluciones particulares de una ecuación diferencial no- homogénea ciertamente son muchas y a nosotros simplemente nos interesa encontrar una. Más adelante dedicaremos toda una sección al estudio de la relación entre soluciones particulares que se obtienen por medio de los distintos métodos que tenemos a nuestra disposición. El razonamiento precedente permite afirmar que

c ()t

1

y

c

2

(t )

dependen del punto

t

0 que se seleccione; no tiene

Es una solución de

directamente

y

p

( t )

t

t

0

[

1

(

s

)

2

( )

t

2

(

s

)

1

t f ( s

( )]

)

(

W s

)

ds

) 2 ( ) t   2 ( s  ) 1 t f (

, lo que también se puede verificar

La forma práctica de resolver un ejercicio reside en encontrar una base de la correspondiente homogénea, plantear y resolver el sistema lineal

c (t )(t ) c (t ) (t ) 0

1

1

2

2

c (t )(t ) c (t )(t ) f (t )

1

1

2

2

en las incógnitas

c

()t

1

y

c

(t

2

)

, encontrar una primitiva de cada una de ellas

mediante el proceso de integración o a simple vista y por ultimo formar la función

t

t

0

[

1

(

s

)

2

( ) (

t

2

s

)

1

( t )] f ( s

)

 

W (

s

)

 

 

t

 

t

, 2

2

.

i

.

y

p

(

)

t c

1

( t ) ( t ) c ( t )

1

2

2

( t )

La fórmula

y

p

( t )

tiene principalmente interés teórico.

Ejemplos

1. - Encontrar la solución general de

Solución:

El polinomio característico

2

10

y

 y sec

tiene por raíces las conjugadas

12

ds

Luego

1

(t ) cos t

,

2

(t ) sent

. Planteamos el sistema

cos t c (t ) sen t c (t 0

1

2

)

sen t c

(t cos

1

)

t c

(t

2

) sec

t

Operando llegamos a

obtenemos

c

(t

1

) tan t

y

c

1

(t ) lncos t

y obviamente

(t (t ) ) 1 t

c

c

2

2

.

.

De aquí integrando

Por consiguiente

( )

t

p

ln(cos )cos

t

t

1

( )

t tsent

es una solución particular y

y (t ) c cos t c sen t