Ecuación diferencial homogénea

Una ecuación diferencial puede ser homogénea en dos aspectos: cuando los coeficientes de los términos diferenciales en el caso del primer orden son funciones homogéneas de las variables; o para el caso lineal de cualquier orden cuando no existen los términos constantes.

Una ecuación diferencial ordinaria de primer orden de la forma:

es del tipo homogénea si las funciones M(x, y) y N(x, y) son funciones homogéneas del mismo grado n.^[1]​ Esto es, multiplicando cada variable por un parámetro  ${displaystyle lambda }$, se halla

Así,

En el cociente   ${displaystyle {frac {M(tx,ty)}{N(tx,ty)}}={frac {M(x,y)}{N(x,y)}}}$, haciendo   ${displaystyle t=1/x}$   para simplificar esta ecuación para una función ${displaystyle f}$ de la variable simple ${displaystyle y/x}$:

Se introduce el cambio de variables ${displaystyle y=ux}$; diferenciando usando la regla del producto:

así transformando la ecuación diferencial original en la forma separable

esta forma puede ahora integrarse directamente (ver ecuación diferencial ordinaria).

Una ecuación diferencial de primer orden de la forma (a, b, c, e, f, g son coeficientes constantes)

donde af ≠ be puede transformarse en un tipo homogéneo mediante una transformación lineal de ambas variables (${displaystyle alpha }$ y ${displaystyle eta }$ son constantes):

Ahora determinar dichas constantes de forma que los términos independientes sean nulos.

Definición. Una ecuación diferencial lineal se dice que es homogénea si se satisface la siguiente condición: Si  ${displaystyle phi (x)}$  es una solución, también lo es  ${displaystyle k,phi (x)}$, donde ${displaystyle k}$ es una constante arbitraria no nula. Teniendo en cuenta esta condición, cada término en una ecuación diferencial lineal de la variable dependiente y, debe contener y o cualquier derivada de y. Una ecuación que no cumple con esta condición se denomina inhomogénea.

Una ecuación diferencial lineal puede representarse con un operador lineal actuando sobre y(x) donde x es usualmente la variable independiente e y es la variable dependiente. Entonces, la forma general de una ecuación diferencial lineal homogénea es

donde L es un operador diferencial, una suma de las derivadas (definiendo como "derivada 0" a la función original, no derivada), cada una multiplicada por otra función  ${displaystyle f_{i}}$  de x:

donde  ${displaystyle f_{i}}$  pueden ser constantes, pero no todas las  ${displaystyle f_{i}}$  pueden ser nulas.

Por ejemplo, la siguiente ecuación diferencial es homogénea:

sin embargo las siguientes dos son inhomogéneas:

La existencia de un término constante es una condición suficiente para que una ecuación sea inhomogénea, como el ejemplo anterior.

Son de especial relevancia este otro tipo de ecuaciones, en cuya versión más simplificada son de la forma :${displaystyle ay^{prime prime }+by^{prime }+cy=0}$, donde los coeficientes son constantes con ${displaystyle a eq 0}$.

La solución de este tipo de ecuación es la combinación lineal de exponenciales cuyo argumento es el producto de la variable independiente con la que tiene dependencia la función, y la constante real, imaginaria o compleja ${displaystyle r}$ que soluciona el polinomio característico de la ecuación, esto es:

${displaystyle y(x)=sum _{i}a_{i}mathrm {e} ^{rx}}$

De forma explícita aplicado a una ecuación de segundo orden:

${displaystyle ay^{prime prime }+by^{prime }+cy=0 ightarrow mathrm {e} ^{rt}(ar^{2}+br+c)=0}$ las soluciones serán ${displaystyle r_{1,2}={frac {-bpm {sqrt {b^{2}-4ac}}}{2a}}}$, de modo que se anule para todo ${displaystyle x}$ el término que acompaña la exponencial cumpliéndose la igualdad. De este modo, la solución viene dada por ${displaystyle y(x)=amathrm {e} ^{r_{1}x}+bmathrm {e} ^{r_{2}x}}$. Las constantes ${displaystyle a}$ y ${displaystyle b}$ quedan definidas en caso de darse tantas condiciones iniciales o de contorno como el grado de la ecuación, en este caso dos. Por ejemplo, dado que ${displaystyle y(0)=k}$ y ${displaystyle y^{prime }(0)=k^{prime }}$ las constantes se obtendrían resolviendo el sistema de ecuaciones:

${displaystyle a{cancelto {1}{mathrm {e} ^{r_{1}0}}}+b{cancelto {1}{mathrm {e} ^{r_{2}0}}}=k}$

${displaystyle ar_{1}{cancelto {1}{mathrm {e} ^{r_{1}0}}}+br_{2}{cancelto {1}{mathrm {e} ^{r_{2}0}}}=k^{prime }}$