Ir al contenido

Diferencia entre revisiones de «Ecuación diferencial lineal»

De Wikipedia, la enciclopedia libre
Contenido eliminado Contenido añadido
Sin resumen de edición
Etiquetas: Reversión manual posible pruebas posible problema
FragJana (discusión · contribs.)
Cambios: prólogo, definición, primera parte introducción, ecuación de primer orden; Fuente: Simmons, Blanchard
Línea 1: Línea 1:
En matemáticas, se dice que una [[ecuación diferencial]] es lineal si lo es respecto a la función incógnita y sus derivadas. Puede ser lineal tanto una ecuación diferencial [[Ecuación diferencial ordinaria|ordinaria]] (una sola variable independiente), como una [[ecuación en derivadas parciales]] (dos o más variables independientes). Se caracterizan por tener soluciones que se pueden obtener mediante combinaciones lineales de otras soluciones, formando así un [[espacio vectorial]] (en el caso homogéneo) o [[Espacio afín|afín]] (no homogéneo), propiedad que no cumplen las ecuaciones diferenciales no lineales.
En [[matemáticas]], una '''ecuación diferencial lineal''' es aquella [[ecuación diferencial]] cuyas soluciones pueden obtenerse mediante [[combinación lineal|combinaciones lineales]] de otras soluciones. Estas últimas pueden ser [[ecuación diferencial ordinaria|ordinarias]] (EDOs) o en [[ecuación diferencial en derivadas parciales|derivadas parciales]] (EDPs).


==Definición==
== Definición ==
Una ecuación diferencial lineal tiene forma de:
La ecuación diferencial {{ecuacion|<math>\phi (x^{(n)},..., x',x,t) = 0</math>}} se llama ''lineal'' cuando la función <math> \phi</math> es lineal a las variables <math> x^{(k)}</math>, es decir, si la función incógnita <math> x</math> o sus derivadas no están multiplicadas entre sí o si tampoco aparecen en forma de funciones compuestas.
{{ecuación|<math>F(x,y,y',...,y^{(n)})=0,</math>}}
con <math>F</math> lineal respecto a la función incógnita <math>y</math> y sus derivadas <math>y',...,y^{(n)}</math>. Escrito de otra forma, se puede expresar como:
{{ecuación|<math>a_0(x)y+a_1(x)y'+...+a_n(x)y^{(n)}=b(x),</math>}}
donde los coeficientes <math>a_0(x),...,a_n(x)</math> y <math>b(x)</math> son funciones diferenciales arbitrarias no necesariamente lineales, y <math>y',...,y^{(n)}</math> son las derivadas de la función incógnita <math>y</math> en la variable <math>x</math>. El orden de la ecuación diferencial viene dado por el mayor entero no negativo <math>k\leq n</math> tal que la función <math>a_k(x)</math> no sea idénticamente nula. Si <math> b(x) \equiv 0</math>, entonces la ecuación diferencial lineal se llama homogénea y en caso contrario no homogénea.


== Introducción ==
== Introducción ==
Un operador lineal diferencial L se define como una aplicación que actúa sobre [[función diferenciable|funciones diferenciables]] tal que <math>L:C^n([a,b])\longrightarrow C([a,b])</math>, con <math>[a,b]\subset \mathbb{R}</math>, siendo
Una [[ecuación diferencial]] lineal tiene la forma:
{{ecuación|<math>L[y]=a_{0}y+a_{1}y'+...+a_{n}y^{(n)},</math>}}
o bien
{{ecuación|<math>L[y]=\sum_{k=0}^{n}a_{k}y^{(k)},</math>}}
donde <math>a_0,...,a_n\in{C([a,b])}</math> y <math>y',...,y^{(n)}</math> son las derivadas sucesivas de <math>y</math>.


Se llama lineal debido a que verifica que, para todo <math>\lambda_1,...,\lambda_n\in\mathbb{R}</math>
: <math> Lx = f</math>


<math>\begin{align}
donde el [[operador diferencial]] <math> L</math> es un [[operador lineal]], <math> x</math> es la función incógnita o desconocida (que podría ser dependiente del tiempo <math> t</math>), y <math> f</math> es una función conocida de la misma naturaleza que <math> x</math> (denominada '''término de excitación'''). Para una función dependiente del tiempo se puede escribir la ecuación más detalladamente como:
L[\lambda_1y_1+...+\lambda_ny_n]&=a_n(\lambda_1y_1+...+\lambda_ny_n)^{(n)}+...+a_1(\lambda_1y_1+...+\lambda_ny_n)'+a_0(\lambda_1y_1+...+\lambda_ny_n)\\
&=(a_n\lambda_1y_1^{(n)}+...+a_n\lambda_ny_n^{(n)})+...+(a_1\lambda_1y_1'+...+a_1\lambda_ny_n')+(a_0\lambda_1y_1+...+a_0\lambda_ny_n)\\
&= \lambda_1(a_0y_1+a_1y_1'+...+a_ny_1^{(n)})+...+\lambda_n(a_0y_n+a_1y_n'...+a_ny_n^{(n)})\\
&= \lambda_1L[y_1]+...+\lambda_nL[y_n].
\end{align}</math>


: <math> L x(t) = f(t)</math>


=== Estructura del espacio de soluciones ===
y también se puede usar la notación con corchetes:
Si <math> f(t) </math> es idénticamente nula la ecuación se denomina [[Ecuación diferencial homogénea|homogénea]]. La solución general de la ecuación homogénea viene dada por todas las combinaciones lineales de tantas soluciones linealmente independientes como el orden de dicha ecuación; es decir, que sus soluciones forman un [[espacio vectorial]] de dimensión <math> n </math>. Para comprobar la independencia lineal de un conjunto de <math>n</math> soluciones podemos calcular su [[wronskiano]]. Si el wronskiano no se anula en el intervalo de definición de las soluciones, estas son linealmente independientes.
: <math> L [x(t)] = f(t)</math>


Si <math> f(t)\neq 0</math> la ecuación se denomina [[Ecuación no homogénea|no homogénea]]. La solución general de la ecuación no homogénea viene dada por
El operador lineal ''L'' puede ser de la siguiente forma:
{{Ecuación|<math>\, x_g(t)=x_{p}(t)+x_{gh}(t)</math>,}}
donde <math>x_{gh}(t)</math> es la solución general de la ecuación homogénea asociada e <math>x_p(t)</math> es una solución particular a la ecuación no homogénea. Es decir, que sus soluciones forman un [[espacio afín]] de dimensión <math> n </math>.


En el caso de la solución particular, existen varios métodos para encontrala, entre ellos, el método de [[Variación de parámetros|variación de los parámetros]].
: <math>L_n(x(t)) \equiv a_n(t)\frac{d^n x}{dt^n} + a_{n-1}(t)\frac{d^{n-1}x}{dt^{n-1}} + \cdots + a_1(t)\frac{dx}{dt} + a_0(t)x </math>


Si fijamos ciertas [[Problema de Cauchy|condiciones iniciales]], tenemos garantizada la existencia y unicidad de solución local por el [[Teorema de Picard-Lindelöf]] siempre que las funciones <math> a_k </math> y <math> f(t) </math> sean continuas y acotadas en un entorno de los valores iniciales. Si, además, tenemos que <math> a_k </math> y <math>f</math> son continuas y acotadas en todo el espacio, tendriamos garantizada la existencia y unicidad global de las soluciones en todo el espacio.
o sino:


==Ecuación lineal de primer orden==
: <math>L_n(x) \equiv\sum_{k=0}^n a_k(t)D^k(x)</math>
Las [[Ecuación diferencial de primer orden|Ecuaciones diferenciales de primer orden]] se caracterizan por ser de la forma:


{{ecuación|<math>y'(x)+ f(x)y(x)=g(x),
La condición de linealidad sobre <math> L</math> se da mientras no aparezcan productos de la función desconocida consigo misma, ni con ninguna de sus derivadas. Es conveninente reescribir esta ecuación en donde la forma del operador es:
</math>}}


donde <math>g</math> y <math>f</math> son [[Continuidad (matemáticas)|funciones continuas]] en un intervalo cerrado <math>[a,b] \subseteq \mathbb{R}</math>.
: <math> L_n(x(t)) \equiv \left[\,a_n(t)D^n + a_{n-1}(t)D^{n-1} + \cdots + a_1(t) D + a_0(t)\right]x</math>


La solución de esta ecuación con [[problema de valor inicial|dato inicial]] <math>y(x_0) = y_0</math> viene dada por:
donde <math> D</math> es el operador diferencial {{sfrac|''d''|''dt''}} (es decir,<math> Dx = x^'; D^2x = x^{''};</math>''... ''), y <math> a_k</math> son funciones conocidas. Se dice que la ecuación tiene un '''orden''' <math> n</math>, si es el índice más alto de la derivada de <math> x</math>.
{{ecuación|<math>y(x) =e^{ - \int_{x_0}^x f(t) dt } \left[y(x_0) + \int_{x_0}^x g(s) e^{ \int_{x_0}^s f(t) dt } ds \right].</math>||left}}


=== Estructura del espacio de soluciones ===
Si <math> f(t) </math> es idénticamente nula la ecuación se denomina [[Ecuación diferencial homogénea|homogénea]]. La solución general de la ecuación homogénea viene dada por todas las combinaciones lineales de tantas soluciones linealmente independientes como el orden de dicha ecuación; es decir, que sus soluciones forman un [[espacio vectorial]] de dimensión <math> n </math>. Para comprobar la independencia lineal de un conjunto de <math>n</math> soluciones podemos calcular su [[wronskiano]]. Si el wronskiano no se anula en el intervalo de definición de las soluciones, estas son linealmente independientes.


{{Plegable|título=Resolución detallada |contenido=
Si <math> f(t)\neq 0</math> la ecuación se denomina [[Ecuación no homogénea|no homogénea]]. La solución general de la ecuación no homogénea viene dada por
<div align="left">
{{Ecuación|<math>\, x_g(t)=x_{p}(t)+x_{gh}(t)</math>,}}
donde <math>x_{gh}(t)</math> es la solución general de la ecuación homogénea asociada e <math>x_p(t)</math> es una solución particular a la ecuación no homogénea. Es decir, que sus soluciones forman un [[espacio afín]] de dimensión <math> n </math>.


La idea consiste en encontrar una función <math>w(x)</math> que nos permita transformar
En el caso de la solución particular, existen varios métodos para encontrala, entre ellos, el método de [[Variación de parámetros|variación de los parámetros]].


{{ecuación|<math>y'(x)w(x)+y(x)f(x)w(x)</math>}}
Si fijamos ciertas [[Problema de Cauchy|condiciones iniciales]], tenemos garantizada la existencia y unicidad de solución local por el [[Teorema de Picard-Lindelöf]] siempre que las funciones <math> a_k </math> y <math> f(t) </math> sean continuas y acotadas en un entorno de los valores iniciales. Si, además, tenemos que <math> a_k </math> y <math>f</math> son continuas y acotadas en todo el espacio, tendriamos garantizada la existencia y unicidad global de las soluciones en todo el espacio.


en la [[Regla del producto (cálculo)|derivada de un producto]].
==Ecuación lineal de primer orden y de orden n==
Las [[Ecuación diferencial de primer orden|ecuaciones diferenciales de primer orden]] se caracterizan por ser de la forma:


Para ello se necesita que <math>w'(x) = f(x)w(x)</math>. Sea <math>w(x):= e^{ \int_{x_0}^x f(t) dt },</math> entonces <math>w'(x)= f(x)e^{ \int_{x_0}^x f(t) dt }.</math>
{{ecuación|<math> x'(t)+p(t)x(t) = q(t)</math>}}


Se multiplica la [[ecuación diferencial]] por <math>w(x)</math>:
Donde <math>p(t)</math> y <math>q(t)</math> son [[Continuidad (matemáticas)|funciones continuas]] en un intervalo abierto <math>(a,b) \subseteq \mathbb{R}</math>.
{{ecuación|<math>y'(x)e^{ \int_{x_0}^x f(t) dt } + f(x)y(x)e^{ \int_{x_0}^x f(t) dt } = g(x)e^{ \int_{x_0}^x f(t) dt }.</math>}}


Además, la derivada de <math>(y(x)e^{ \int_{x_0}^x f(t) dt })'</math> viene dada por:
Del mismo modo que se ha definido la ecuación diferencial lineal de primer orden podemos definir una ecuación diferencial de orden <math>n</math> como:
{{ecuación|<math>{({y(x)e^{ \int_{x_0}^x f(t) dt }})'}=y'(x)e^{ \int_{x_0}^x f(t) dt } + y(x)f(x)e^{ \int_{x_0}^x f(t) dt }. </math>}}


Las dos últimas ecuaciones equivalen a:
{{ecuación|<math>x^{(n)}(t)+ a_{n-1}(t)x^{(n-1)}(t) + \dots + a_0(t)x(t) = f(t)</math>}}
{{ecuación|<math>{({y(x)e^{ \int_{x_0}^x f(t) dt }})'}=g(x)e^{ \int_{x_0}^x f(t) dt }</math>}}


{{ecuación|<math>\Leftrightarrow {\int_{x_0}^x {({y(s)e^{ \int_{x_0}^s f(t) dt }})'} ds } = {\int_{x_0}^x {{g(s)e^{ \int_{x_0}^s f(t) dt }}} ds }</math>}}
Donde la derivada mayor que aparece es de orden <math>n</math>-ésimo.


{{ecuación|<math>\Leftrightarrow {{y(x)e^{ \int_{x_0}^x f(t) dt }-y(x_0)}} = {\int_{x_0}^x {{g(s)e^{ \int_{x_0}^s f(t) dt }}} ds }.</math>}}

Finalmente,
{{ecuación|<math>y(x) = e^{- \int_{x_0}^x f(t) dt }\left[y(x_0)+{\int_{x_0}^x {{g(s)e^{ \int_{x_0}^s f(t) dt }}} ds }\right]. </math>}}

</div>
}}

{{Plegable|título=Ejemplo |contenido=
<div align="left">

Dada la siguiente ecuación:
{{ecuación|<math>\begin{cases} y'(x)+ \frac{1}{x}y(x)=3x,\\
y(2) = 3, \end{cases}</math>}}
donde <math>x>0</math>.
Se define <math>g(x)=3x</math> y <math> f(x)=\frac{1}{x}</math> que son funciones continuas para <math>x>0</math>.

Sustituyendo f y g en la ecuación de la parte anterior se obtiene (nótese que <math>x>0</math>):
:<math>\begin{align}
y(x) &= e^{- \int_{2}^x \frac{1}{t} dt }({\int_{2}^x {{3se^{ \int_{2}^s \frac{1}{t} dt }}} ds } +3)\\
&= e^{-\ln(x) + \ln(2) }({\int_{2}^x {{3se^{ \ln(s)-\ln(2) }}} ds } +3) \\
&= \frac{2}{x}({\int_{2}^x 3s^2 \frac{1}{2} ds } +3) \\
&= \frac{2}{x}(\frac{1}{2} (x^3-2^3) +3) \\
&= x^2 - \frac{2}{x}.
\end{align}</math>


</div>
}}
== Ecuaciones con coeficientes constantes ==
== Ecuaciones con coeficientes constantes ==
La resolución de ecuaciones y sistemas de ecuaciones diferenciales se simplifica mucho si las ecuaciones son de coeficientes constantes.
La resolución de ecuaciones y sistemas de ecuaciones diferenciales se simplifica mucho si las ecuaciones son de coeficientes constantes.
Línea 203: Línea 248:
| isbn = 0-471-07411-X
| isbn = 0-471-07411-X
| publisher = John Wiley and Sons, Inc.
| publisher = John Wiley and Sons, Inc.
}}
*{{cita libro
| apellido1 = Blanchard | nombre1 = P. | apellido2 = Devaney | nombre2 = R.L.
| year = 2012
| title = Differential equations
| publisher = Cengage Learning
}}
}}
*{{cita libro
*{{cita libro
Línea 237: Línea 288:
| publisher = Springer
| publisher = Springer
}}
}}

*{{cita libro
| apellido1 = Blanchard | nombre1 = P. | apellido2 = Devaney | nombre2 = R.L.
| year = 2012
| title = Differential equations
| publisher = Cengage Learning
}}
*{{cita libro
*{{cita libro
| apellido1 = Gil | nombre1 = O.
| apellido1 = Gil | nombre1 = O.

Revisión del 10:26 13 may 2023

En matemáticas, se dice que una ecuación diferencial es lineal si lo es respecto a la función incógnita y sus derivadas. Puede ser lineal tanto una ecuación diferencial ordinaria (una sola variable independiente), como una ecuación en derivadas parciales (dos o más variables independientes). Se caracterizan por tener soluciones que se pueden obtener mediante combinaciones lineales de otras soluciones, formando así un espacio vectorial (en el caso homogéneo) o afín (no homogéneo), propiedad que no cumplen las ecuaciones diferenciales no lineales.

Definición

Una ecuación diferencial lineal tiene forma de:

con lineal respecto a la función incógnita y sus derivadas . Escrito de otra forma, se puede expresar como:

donde los coeficientes y son funciones diferenciales arbitrarias no necesariamente lineales, y son las derivadas de la función incógnita en la variable . El orden de la ecuación diferencial viene dado por el mayor entero no negativo tal que la función no sea idénticamente nula. Si , entonces la ecuación diferencial lineal se llama homogénea y en caso contrario no homogénea.

Introducción

Un operador lineal diferencial L se define como una aplicación que actúa sobre funciones diferenciables tal que , con , siendo

o bien

donde y son las derivadas sucesivas de .

Se llama lineal debido a que verifica que, para todo


Estructura del espacio de soluciones

Si es idénticamente nula la ecuación se denomina homogénea. La solución general de la ecuación homogénea viene dada por todas las combinaciones lineales de tantas soluciones linealmente independientes como el orden de dicha ecuación; es decir, que sus soluciones forman un espacio vectorial de dimensión . Para comprobar la independencia lineal de un conjunto de soluciones podemos calcular su wronskiano. Si el wronskiano no se anula en el intervalo de definición de las soluciones, estas son linealmente independientes.

Si la ecuación se denomina no homogénea. La solución general de la ecuación no homogénea viene dada por

,

donde es la solución general de la ecuación homogénea asociada e es una solución particular a la ecuación no homogénea. Es decir, que sus soluciones forman un espacio afín de dimensión .

En el caso de la solución particular, existen varios métodos para encontrala, entre ellos, el método de variación de los parámetros.

Si fijamos ciertas condiciones iniciales, tenemos garantizada la existencia y unicidad de solución local por el Teorema de Picard-Lindelöf siempre que las funciones y sean continuas y acotadas en un entorno de los valores iniciales. Si, además, tenemos que y son continuas y acotadas en todo el espacio, tendriamos garantizada la existencia y unicidad global de las soluciones en todo el espacio.

Ecuación lineal de primer orden

Las Ecuaciones diferenciales de primer orden se caracterizan por ser de la forma:

donde y son funciones continuas en un intervalo cerrado .

La solución de esta ecuación con dato inicial viene dada por:


Ecuaciones con coeficientes constantes

La resolución de ecuaciones y sistemas de ecuaciones diferenciales se simplifica mucho si las ecuaciones son de coeficientes constantes.

En el caso de una ecuación de primer orden la búsqueda de un factor integrante nos lleva en la mayoría de los casos a una ecuación en derivadas parciales.

Si la ecuación es de orden superior, a no ser que sea una ecuación de Euler o similar, tendremos que proponer una solución que no viene dada, en general, por funciones elementales. En estos casos los métodos preferidos (sin contar el cálculo numérico) son los que emplean series de potencias o series de Fourier.

En el caso de los sistemas, si la matriz del sistema es de coeficientes constantes podemos resolver el sistema usando el método de los valores propios ya que en ese caso la matriz resultante de la reducción de la ecuación a un sistema de primer orden es constante. Otro método consiste en calcular la exponencial de la matriz del sistema.

Para calcular la solución de una ecuación diferencial primero resolvemos el problema homogéneo y después el no homogéneo ya sea mediante el método de variación de las constantes o el método de los coeficientes indeterminados.

Resolución mediante exponenciales

Una ecuación lineal homogénea con coeficientes constantes es de la forma:

Como la ecuación solo depende constantes y de ella misma es intuitivo pensar que una buena solución sería de la forma exponencial con un parámetro, es decir proponemos que la solución sea de la forma .

Derivando y sustituyendo en la ecuación general llegamos a , que sacando factor común resulta .

Por las propiedades de la exponencial lo anterior se anula si y solo el polinomio anterior se anula.

Luego para cada valor de tendremos información para crear una solución asociada a dicho valor.

Dependiendo de la naturaleza de y su multiplicidad distinguimos los siguientes casos:

Raíz real única: En este caso la solución para un valor concreto viene dada directamente por .

Raíz real de multiplicidad : En este caso no podemos expresar la solución como antes, ya que si lo hacemos tendríamos información redundante.

En este caso las soluciones para un valor de se construyen multiplicando la función exponencial por como sigue:

La solución es la combinación lineal de las anteriores:

Raíces complejas: Hay que tener en cuenta que siempre vienen en parejas de números conjugados.

En este caso usamos distinguimos la parte real y la imaginaria de la raíz y posteriormente usamos la fórmula de Euler y añadiendo constantes.

Raíces complejas con multiplicidad: Se trata de manera similar al caso real con multiplicidad.

La solución homogénea vendrá dada por una combinación lineal de las soluciones desarrolladas anteriormente. Es decir,

Resolución mediante paso al sistema equivalente

Una ecuación diferencial lineal de orden puede resolverse convirtiéndola en un sistema de ecuaciones diferenciales de primer orden. Para hacer esto se definen las funciones incógnita auxiliares dadas por: . Puesto que , si tenemos en cuenta que , entonces podemos reescribir la ecuación como El sistema de ecuaciones diferenciales puede escribirse en forma matricial como:

.

De nuevo, debemos resolver primero el sistema homogéneo y después el no homogéneo. Véase como se resuelven en la página de sistemas de ecuaciones diferenciales.

En el caso de que la ecuación sea de coeficientes constantes el sistema tendrá la forma:

,

que escribimos como . La utilidad de este método consiste en que la primera coordenada del vector solución será la solución de la ecuación.

Relación entre ambos métodos de resolución y observaciones

Dada la ecuación lineal de orden homogénea de coeficientes constantes: es fácil ver que su sistema equivalente tiene como polinomio característico asociado . Usando el método de los autovalores y autovectores para resolver sistemas de ecuaciones con coeficientes constantes, obtenemos que la solución es de la forma: , donde es la solución generada a partir del autovalor de la manera antes explicada, y los autovectores asociados a los autovalores anteriores.

Por otro lado, volviendo a la ecuación lineal, si empleamos el método de proponer soluciones exponenciales, obtendremos . Como no se anula nunca, necesariamente . Observamos que nos queda la misma expresión que el polinomio característico asociado al sistema, luego los autovalores obtenidos anteriormente serán las soluciones de esta misma ecuación. Luego si tenemos una solución del sistema, entonces es la misma solución esencialmente que la obtenida proponiendo como soluciones funciones exponenciales.

Obsérvese que la solución al sistema matricial se obtiene como combinación lineal de soluciones:.

Cada una de dichas soluciones es un vector que se construye como el producto de cierta función (asociada a cierto autovalor ) con el autovector asociado . Es decir, . Si la primera coordenada de es nula también lo será la de , pero recordemos que si la primera coordenada de es nula, también lo serán las demás puesto que la coordenada -ésima es la derivada de la coordenada anterior. Luego será el vector nulo, y por tanto linealmente dependiente del resto de soluciones . Si los autovectores son linealmente dependientes las funciones asociadas también lo serán. Luego es importante que los autovectores formen una base.

Ejemplos

Ejemplo de resolución mediante exponenciales

Para este ejemplo usaremos el oscilador armónico sin entrar en la interpretación física.

Nuestra primera ecuación será: .

Con constantes. Intentaremos soluciones de la forma que al introducirlo en la EDO nos queda . La solución queda de la forma que escribiéndolo en su desarrollo en senos y cosenos y ajustando las constantes obtenemos:.

Nuestra siguiente ecuación en este ejemplo es:

La solución será de la forma que al sustituirla en la EDO nos da la ecuación de segundo grado . El resultado de la ecuación dependerá de permitiéndonos separar en distintos casos:

  • Dos raíces reales:

La solución será de la forma:

  • Una raíz real doble:

La solución será de la forma:

  • Dos raíces complejas:

La solución será de la forma: que haciendo el mismo desarrollo en senos y cosenos de antes os queda

Finalmente atenderemos a la ecuación no homogénea con unos términos concretos, los trigonométricos:

Dividiremos esta resolución en distintos apartados según el valor que le demos a las constantes:

  • : Como solución al problema homogéneo tendremos obtenida anteriormente. hora debemos encontrar una particular empleando el método de variación de parámetros haciendo que y que cumpla la ecuación . Obtenemos los parámetros que nos darán como solución al problema completo (el no homogéneo) .
  • : La resolución es de forma muy similar a la anterior, tendremos la misma solución al problema no homogéneo y usaremos el método de los parámetros para hallar la solución particular. Así obtendremos y la solución general por tanto: .
  • : Mismo procedimiento que en los casos anteriores. En esta ocasión los parámetros son más complicados: . En este caso para la solución general deberemos tener en cuneta que tipo de solución tenemos al problema homogéneo. Pongamos que estamos en el caso de dos raíces reales dobles, entonces la solución general será: .

Ejemplo de resolución mediante paso al sistema equivalente

  • Ejemplo donde el polinomio característico tiene dos raíces reales distintas

Dada la ecuación de segundo orden: , tenemos que la matriz asociada es . El polinomio característico es . Las raíces de este polinomio son y sus autovectores son, respectivamente, Por tanto la solución del sistema será , y la solución buscada sería . Además, .

  • Ejemplo donde el polinomio característico tiene una raíz real doble

Dada la ecuación de segundo orden: , tenemos que la matriz asociada es . El polinomio característico es . La raíz de este polinomio es una raíz real doble . El autovector asociado es . La solución del sistema será , y la solución buscada sería .

  • Ejemplo donde el polinomio característico tiene dos raíces complejas conjugadas

Dada la ecuación de segundo orden: , tenemos que la matriz asociada es . El polinomio característico es . Las raíces de este polinomio son dos raíces complejas conjugadas . Los autovectores asociados son . Por lo que la solución del sistema sería . La solución buscada sería .

Tomando se obtiene la solución , y tomando la solución, linealmente independiente de la anterior, . Cualquier combinación lineal de estas, será también solución.

Referencias

Bibliografía

  • Zill, Dennis G. (2006). Ecuaciones diferenciales con aplicaciones (2ª edición). Grupo Editorial Iberoamérica. 
  • Aranda Iriarte, José Ignacio (2008). Apuntes de ecuaciones diferenciales I. Universidad Complutense de Madrid. 
  • Birkhoff, Garrett; Rota, Gian-Carlo (1978). Ordinary Differential Equations. John Wiley and Sons, Inc. ISBN 0-471-07411-X. 
  • Blanchard, P.; Devaney, R.L. (2012). Differential equations. Cengage Learning. 
  • Gershenfeld, Neil (1999). The Nature of Mathematical Modeling. Cambridge University Press. ISBN 978-0-521-57095-4. 
  • Robinson, James C. (2004). An Introduction to Ordinary Differential Equations. Cambridge University Press. ISBN 0-521-82650-0. 
  • Simmons, G.F. (2016). Differential equations with applications and historical notes. CRC Press. 
  • Teschl, G. (2012). Ordinary equations and dynamical systems. American Mathematical Society. 
  • Hubbard, J.H.; West, B.H. (2013). Differential equations: A dynamical systems approach. Springer. 
  • Gil, O. (1999). Curso introductorio a las ecuaciones diferenciales. Facultad de ingeniería de la Universidad de la República de Uruguay. 

Véase también

Enlaces externos