Beruflich Dokumente
Kultur Dokumente
Una ecuacin diferencial del segundo orden tiene infinitas soluciones (curva integrales).
Teorema de Cauchy
Dada una ecuacin diferencial en su forma normal
(
Si la funcin
)
) y su derivadas parciales
se
( )
Teorema 2
Si
son soluciones linealmente independientes de la ecuacin homognea, la
solucin general es:
Siendo
constantes arbitrarias.
Teorema 3
Suponiendo constantes los coeficientes de la ecuacin homognea, condicin necesaria y
suficiente para que la ecuacin diferencial
amita la solucin
es que t sea una solucin de la ecuacin cuadrtica
, la cual se
llama ecuacin caracterstica de la homognea.
Demostracin
{
.
Segn el discriminante de la ecuacin caracterstica, podemos considerar los siguientes
tres casos:
CASO 1
La ecuacin caracterstica tiene dos soluciones reales y distintas
Por el teorema 3, la ecuacin homognea tiene las dos soluciones
.
son soluciones linealmente independientes de la ecuacin homognea.
Por lo tanto, en virtud del teorema 2, la solucin general es:
.
CASO 2
La ecuacin caracterstica tiene dos soluciones reales e iguales
En este caso se puede demostrar que la solucin general de la homognea es:
CASO 3
La ecuacin caracterstica tiene dos soluciones complejas y conjugadas
La solucin
)(
Siendo
soluciones linealmente independientes de la homognea.
Se va a suponer que una solucin particular de la ecuacin general sea del mismo tipo,
sustituyendo las constantes arbitrarias
con
funciones variables en
funcin de :
Para hallar
:
{
( )
Como
son soluciones linealmente independientes de la homognea, el
Wronskiano W(x) no es nulo, as que tendremos una solucin determinada, que podemos
hallar con el Mtodo de Cramer:
( )
|
|
( )
Entonces:
y
Tendremos:
La ecuacin caracterstica
( )
Tenemos:
Para hallar
( )
Es decir:
{
)
)
|=
Entonces:
Para hallar
Como
Wronskiano
( )
( )
|
(
As que tendremos una sola solucin determinada, que podemos hallar con el mtodo de
Cramer:
Mtodo especial
Para la resolucin de algunos tipos de Ecuaciones diferenciales lineales No Homogneas
del segundo Orden (A coeficientes constantes).
En muchos de los casos que vamos a considerar no ser necesario utilizar el mtodo de
Lagrange.
( )
Consideremos la ecuacin diferencial
Caso 1 F (x) sea un polinomio de grado n
La integral particular
ser un polinomio de grado
.
En detalle:
Si
ser un polinomio del mismo grado n de f (x).
Si
Si
)(
as que
Por lo que se ha dicho la solucin particular ser un polinomio del mismo grado de ( )
es decir de la forma:
Para que
Para determinar las constantes arbitrarias, tenemos en cuantas las condiciones iniciales:
Eliminamos
As que
Por lo que se ha dicho la solucin particular ser un polinomio del grado 2, es decir de la
forma:
Para que
Caso 2
F(x) sea una funcin exponencial
( )
La integral particular
En detalle:
, si k es diferente de las dos soluciones de la ecuacin caracterstica de la
homognea asociada
, si k es igual a una de las dos soluciones de la ecuacin caracterstica de la
homognea asociada
, si k es igual a la solucin doble de la ecuacin caracterstica de la
homognea asociada
Ejemplo 4. Resolvemos la ecuacin la ecuacin
Solucin La ecuacin caracterstica de la homognea es
(
)(
)(
Caso 3
F(x) sea una combinacin lineal de senos y cosenos
( )
( )
( )
La integral particular
ser tambin una combinacin lineal de senos y cosenos:
( )
( ) si
no son soluciones de la ecuacin
caracterstica de la homognea.
( )
La integral particular
(
la ecuacin caracterstica de la homognea.
)) , si
son soluciones de
Note que hemos considerado las funciones seno y coseno en relacin al mismo ngulo
( )
( ) entonces la
Si los ngulos fueran diferentes, es decir si ( )
( )
( )
( )
combinacin para la integral particular sera:
( ), siempre que
no sean soluciones de la ecuacin caracterstica
de la homognea.
Ejemplo 6. Resolvemos la ecuacin
Solucin La ecuacin caracterstica de la homognea es
(
.
Sustituyendo en la ecuacin diferencial dada:
(
( )
( )
( )
o en forma ms compacta:
( )
( )
) son constantes,
Donde las aes (
y n es un entero positivo y el
miembro de la derecha ( ) es una funcin de x (posiblemente una constante).
Para estudiar la (1) para cualquier ( ), la estudiaremos primeramente cuando ( )
Ecuaciones diferencial lineal de orden n-simo con coeficientes constante con ( )
Sea:
(2)
Supongamos que
Entonces:
(4)
Sustituyendo segn (3) y (4) en (2):
(5)
Es decir que:
Como
(
(7) para todo valor de x
(6)
) por lo que
entonces
son constantes arbitrarias:
Entonces
arbitrarias.
son constantes
y de (B) por
(C)
(D)
Sumando miembro a miembro la (C) y la (D):
[
Si
(F)
[
[
] (G)
]
(H)
(E)
(I)
) Cuando las races de (8) son reales diferentes, por el teorema anterior
es la solucin general de (2).
Ejemplo 1. Resuelve
; (
)(
Ejemplo 2. Resuelve (
races son:
, las posibles
.
(
En la que:
(2)
(8)
(A)
La expresin en (A) es conveniente llevarla a una forma ms sencilla, para lo cual utilizaremos las
identidades de Euler que aparecen a continuacin:
(B)
(C)
La (A) puede escribirse:
(
(
)
(
)
(
(D)
Donde
)
y
(G)
)
(
Donde
Ejemplo 1. Resuelva
]
]
donde:
]
]
Ejemplo 2.
;
( )( )
(
)
)
)
(
(
[
)
[ (
)
(
(
(
) ]
)]
(
)
(
)
[ (
)
)
(
(
(
)
)
)
(
(
)
) ]
](
En general:
(
)
( )
( ) sobre
Operemos con
( )(
(
(
[ (
(
[
)
)
)
)
, as:
(
(
(
)
)
O sea que:
( )(
(I)
)(
) (II)
)(
(
)
(
) (
](
(
(
)
)
) Solucin de la ecuacin (2) cuando todas las races de la (8) son nulas.
Sea
(2)
( )
es una solucin particular de (2) pero no su solucin general.
Podemos resolver la (2) en este caso, mediante integraciones sucesivas, as:
( )
Sea
..
(
(2)
( )
(8)
Que es slo una solucin particular de (2). Puesto que r se repite n veces, la (2) se puede
escribir:
(
)
(
)
[
] (
( )
)
(
) (
)
(
)
(
Ejemplo 1. Resuelva: (
)
(
Ejemplo 2. Resuelve
( ) (1)
Donde ( )
(2)
(A)
( )
(B)
( )
(C)
As:
(1)
(2)
(3)
(4)
en las
Afortunadamente, es fcil reconocer un funcin tipo A sin tener que hallar sus derivadas pues
las funciones tipo A tienen expresiones que vamos a describir.
Funciones tipo A. Las funciones tipo A tienen un nmero de trminos de por lo menos una de
las formas:
;
donde
constante real,
entero positivo o
cero,
son constantes reales.
As las funciones tipo (1), (2), (3) y (4) son todas del tipo A.
Funciones tipo B. Una funcin tipo B es una funcin tal que sus derivadas sucesivas NUNCA
CESAN de producir trminos con nuevos
As por ejemplo:
( )
( )
( )
( )
Es fcil inducir el comportamiento de las derivadas sucesivas de la funcin del ejemplo y concluir
que ella cumple la definicin de ser tipo B.
Otras funciones tipo B son:
( )
( )
( )
( )
y otras.
Los
de
)
)
)
;
.
Ejemplo 2. Resuelva (
(
Los
Los
de
de
)
(
)
;
;
Los ejemplos son propios del caso I en los que ninguna funcin en la solucin particular supuesta
es una solucin de la ecuacin diferencial homognea (complementaria) asociada.
; (
Ejemplo 3. Resuelva
(
)(
Los
de
y sus derivadas sucesivas son: , por lo que no tiene nuevos
pero
este ya est en , si ese no estuviera la solucin particular que sugiere seria
pero
siguiendo el caso de races repetidas iguales la solucin particular es de la forma
Sustituimos
y
en la ecuacin
(
)
, por lo que solucin particular de la
y obtenemos que
ecuacin es
. Siendo la solucin general de la ecuacin
)
)
(
(
)
)
.
Al igual que en el ejemplo 3, la
que
es una solucin de la ecuacin
homognea asociada
Adems no podremos determinar una solucin particular
de la forma
, ya que el trmino
tambin est duplicado en . Probaremos a
continuacin con
Al sustituir en la ecuacin diferencial dada se obtiene
, de modo
Entonces,
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
) ( )
) ( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( )
( ) es decir:
( )
( )
( )
)(
( )
En definitiva:
( )
( )
( )
( )
( )
Ejemplo 2. Resuelve el sistema {
Solucin De la segunda ecuacin tenemos
.
Sustituyendo en la primera ecuacin
.
Obtenemos as la ecuacin homognea:
Su ecuacin caracterstica es:
cuya raz es
La solucin de esta ecuacin es:
As que
[ ]
[ ]
[ ]).
ya resuelto antes.
[ ]
[ ]
[ ]
[ ]
[ ]
[ ]
)[ ]
)[ ]
(
(
)[ ]
)[ ]
)(
.
y la sumamos a la primera,
)[ ]
Esto no es nada ms que una ecuacin lineal homognea del segundo orden, cuya ecuacin
caracterstica da
)(
As que
Para hallar x, utilizamos la segunda ecuacin del sistema:
.
Ejemplo 2. Resolver el sistema {
Solucin Lo reescribimos, segn la notacin de operadores:
{
[ ]
[ ]
[ ]
[ ] [ ]
[ ] [ ]
(
{
(
)[ ] (
)[ ] [ ]
)[ ]
) y restndole la primera,
[(
)(
)][ ]
)[ ]
Entonces
es
(1)
(2)
Determinando
(
(3)
En la ecuacin (2), obtenemos una ecuacin de 2do orden con una funcin incgnita .
Resolvindola, hallamos:
(
(4)
donde
son unas constantes arbitrarias . Poniendo la funcin (4) en la frmula (3),
determinemos la funcin sin necesidad de nuevas integraciones. El conjunto de las frmulas (3) y
(4), donde se ha sustituido por da la solucin general del sistema (1).
Resolvindola, hallamos
y entonces
(
(1)
la segunda, para
se obtiene
( )
(2)
a la segunda para
de aqu que
, se
obtiene
( )
(3)
Las ecuaciones (2) y (3) no satisfacen el sistema (1) para cualquier eleccin de
por
qu el sistema mismo impone una restriccin en la cantidad de parmetros en la solucin que se
( ) en la
pueden escoger en forma arbitraria. Para visualizarlo, observe que al sustituir ( )
primera ecuacin del sistema original (1) y despus de simplificar, el resultado es
(
(
Como la ltima expresin debe ser para todos los valores de se debe cumplir las condiciones
y (
. Estas dos ecuaciones nos permiten escribir a
como
(
)
)
mltiplo de y a como un mltiplo de
(4)
( )
Ahora se puede sustituir las ecuaciones (2) y (3) en la segunda de las expresiones (1), para
comprobar que rige la misma relacin (4), entre las constantes.