# Ecuaciones diferenciales autónomas

En matemáticas, una ecuación diferencial autónoma es una ecuación diferencial que no depende explícitamente de la variable independiente.

## Definición

Una ecuación autónoma de orden $n$ es una ecuación diferencial ordinaria de la forma:${\displaystyle x^{n}(t)=f(x(t),x^{\prime }(t),x^{\prime \prime }(t),...,x^{n-1}(t))},$donde $x(t)$ toma valores en un Espacio euclídeo. Son casos particulares de ecuaciones diferenciales ordinarias de orden $n$ en los que la función no depende explícitamente del parámetro $t$ (que habitualmente se interpreta como tiempo). En particular, una ecuación autónoma de orden 1 es de la forma${\displaystyle {\frac {d}{dt}}x(t)=f(x(t))}.$Un punto $a\in \mathbb {R}$ se dice punto crítico de la ecuación diferencial si cumple $f(a)=0$.

## Propiedades de las soluciones
### Invarianza por traslaciones

Si $x(t)$ es solución de la ecuación diferencial, entonces toda traslación suya también lo es.
* Demostración
* Sea $x(t)$ una solución particular con dominio $I$. Por lo tanto, para todo t∈I{\textstyle t\in I}, $x(t)$ verifica
* ${\frac {d}{dt}}x(t)=f(x(t)).$
* Ahora, para cada $t_{0}\in \mathbb {R}$, sea $x_{t_{0}}(t)=x(t-t_{0})$ una traslación de la solución. Veamos ahora que $x_{t_{0}}(t)$ también es una solución a la ecuación autónoma. Usando la definición de $x_{t_{0}}(t)$, la regla de la cadena y que $x(t)$ es solución, se tiene que:
* ${\frac {d}{dt}}x_{t_{0}}(t)={\frac {d}{dt}}x(t-t_{0})=f(x(t-t_{0}))=f(x_{t_{0}}(t)).$
* Por lo tanto, $x_{t_{0}}(t)$ es solución de la ecuación autónoma con dominio {t:t−t$_0$∈I}{\textstyle \{t:t-t_{0}\in I\}}.

### Monotonía de las soluciones no constantes

Si la ecuación x$^′$(t)=f(x(t)){\textstyle x'(t)=f(x(t))} tiene solución única para todo dato inicial y f{\textstyle f} es una función continua, entonces toda solución no constante es estrictamente monótona.
* Demostración
* Sea x$_1$(t){\textstyle x_{1}(t)} una solución de la ecuación. Basta ver que, o bien x$_1$(t){\textstyle x_{1}(t)} es constante, o bien x$_1$$^′$(t)≠0{\textstyle x_{1}'(t)\neq 0} en todo punto.
* Si x$_1$$^′$(t){\textstyle x_{1}'(t)} no es idénticamente nula, entonces ∃t$_0${\textstyle \exists t_{0}} tal que x$^′$(t$_0$)=0{\textstyle x'(t_{0})=0}, es decir, t$_0${\textstyle t_{0}} es un punto crítico de la ecuación. Por lo tanto, la función constante x$_2$(t)=x$_1$(t$_0$){\textstyle x_{2}(t)=x_{1}(t_{0})} es también solución.
* Aplicando la hipótesis de unicidad se tiene que x$_1$(t)=x$_2$(t){\textstyle x_{1}(t)=x_{2}(t)}.

## Existencia de soluciones

Para cada dato inicial $x_{0}$, el problema de Cauchy o de valores iniciales
${\displaystyle {\begin{cases}x^{\prime }(t)=f(x(t))\\x(t_{0})=x_{0}\quad ,\end{cases}}}$
con f{\textstyle f} una función continua tiene, por lo menos, una solución definida en un entorno de t$_0${\textstyle {t_{0}}}.
* Demostración
* En primer lugar, si f(x$_0$)=0{\textstyle f(x_{0})=0}, la función constante x(t)=x$_0${\textstyle x(t)=x_{0}} es solución. En efecto, x$^′$(t)=0=f(x$_0$)=f(x(t)){\textstyle x'(t)=0=f(x_{0})=f(x(t))} y claramente x(t)=x$_0${\textstyle x(t)=x_{0}} cumple la condición inicial.
* En caso de que f{\textstyle f} no se anule en x$_0${\textstyle {x_{0}}} y dado que f{\textstyle f} es una función continua, existe todo un entorno de x$_0${\textstyle {x_{0}}} donde f{\textstyle f} no se anula. En ese entorno, la siguiente expresión tiene sentido puesto que el denominador es distinto de cero en todo punto:${\frac {x'(t)}{f(x(t))}}=1.$
* Definimos para todo punto del intervalo donde f{\textstyle f} no se anula la siguiente función: $F_{x_{0}}(x):=\int _{x_{0}}^{x}{\frac {1}{f(s)}}ds$. Usando esta nueva función, la regla de la cadena y el teorema fundamental del cálculo, la ecuación se puede escribir alternativamente de la siguiente forma:
* ${d \over dt}{\BigF_{x_{0}}(x(t)){\Big )}={d \over dx}{\BigF_{x_{0}}(x){\Big )}\cdot {d \over dt}{\Bigx(t){\Big )}={\frac {1}{f(x)}}\cdot x'(t)=1.$
* Integrando ambos lados entre t$_0${\textstyle t_{0}} y t{\textstyle t} y usando la condición inicial $x({t_{0}})=x_{0}$ se tiene
* $F_{x_{0}}(x(t))-F_{x_{0}}(x(t_{0}))=F_{x_{0}}(x(t))=t-t_{0}.$
* Nótese que F$_{x0}${\textstyle F_{x_{0}}} es una función monótona al ser la integral de una función que no cambia de signo (f{\textstyle f} no se anula) en todo el intervalo de integración. Por lo tanto, F$_{x0}${\textstyle F_{x_{0}}} es biyectiva en su imagen y su inversa está bien definida. Así pues, aplicando la inversa a ambos lados, se obtiene la solución local
* $x(t)=F_{x_{0}}^{-1}(t-t_{0}).$

## Unicidad de soluciones

Para el estudio de unicidad del problema de Cauchy se ha de distinguir entre datos iniciales que sean puntos críticos de f{\textstyle f} y el resto de puntos.

### Datos iniciales que no sean puntos críticos

Dado un punto inicial $x(t_{0})=x_{0}$ que verifica $f(x_{0})\neq 0$ (con f{\textstyle f} una función continua en x$_0${\textstyle x_{0}}), existe una única solución al problema de Cauchy.
* Demostración
* Sea $\mathbb {\Phi } (t)$ una solución definida en un entorno de $x_{0}$ distinta a la construida en el apartado anterior. Tomando la composición de F$_{x0}$(Φ(t)){\textstyle F_{x_{0}}(\mathbb {\Phi } (t))} y derivando se obtiene lo siguiente:
* ${d \over dt}{\BigF_{x_{0}}(\mathbb {\Phi } (t)){\Big )}=F_{x_{0}}^{'}(\mathbb {\Phi } (t))\cdot \mathbb {\Phi } '(t)={\frac {1}{f(\mathbb {\Phi } (t))}}\cdot f(\mathbb {\Phi } (t))=1.$
* Así pues, F$_{x0}$(Φ(t))∘Φ(t)=t{\textstyle F_{x_{0}}(\mathbb {\Phi } (t))\circ \mathbb {\Phi } (t)=t}. Es decir, la función $\mathbb {\Phi } (t)$ es la inversa de F$_{x0}${\textstyle F_{x_{0}}} y, por ende, no es una solución distinta a la ya construida.

### Puntos críticos como dato inicial

Para los puntos críticos, el estudio de la inversa de la solución, $F_{x_{0}}$, sirve para determinar la unicidad. Si la solución es única, es decir, la recta horizontal x(t)=a{\textstyle x(t)=a} (con $a$ un punto crítico) es una asíntota horizontal de la solución, $F_{x_{0}}$ presentará una asíntota vertical. Por el contrario, si la solución no es única, la inversa de la solución no tendrá una asíntota vertical. Por lo tanto, la unicidad de las soluciones para cada punto crítico $a$ se reduce al estudio de la integral impropia lim$_{x→a}$∫$_{x0}$$^x$ 1/f(s) ds{\textstyle \lim _{x\to a}\int _{x_{0}}^{x}{\frac {1}{f(s)}}ds} . Si la integral converge la solución no es única, mientras que si diverge, hay unicidad.

## Puntos críticos y estabilidad

Se llaman soluciones estacionarias de la ecuación autónoma de primer orden ${\displaystyle {\displaystyle x^{\prime }(t)=f(x(t))}}$ a todas las funciones constates de la forma ${\textstyle {\displaystyle x(t)=a}}$ , siendo $a$ un punto crítico.
Dado el problema de Cauchy${\displaystyle {\begin{cases}x^{\prime }(t)=f(x(t))\\x(0)=x_{0}\quad ,\end{cases}}}$
sea $x=a$ un punto crítico. Diremos que $x(t)=a$ es una solución estable si dado ${\displaystyle \epsilon >0}$, existe ${\displaystyle \delta >0}$ tal que para todo punto ${\displaystyle x_{0}\in U}$ con ${\displaystyle |x_{0}-a|<\delta }$ se tiene que la solución maximal ${\displaystyle x(t)}$ del problema de valor inicial está definida para todo ${\displaystyle t\in [0,\infty )}$ y ${\displaystyle |x(t)-a|<\epsilon ,\quad t\in [0,\infty )}$. Por otro lado, diremos que a es asintóticamente estable si es estable y además existe ${\displaystyle r>0}$ tal que si ${\displaystyle |x_{0}-a|<r}$, entonces la solución ${\displaystyle x(t)}$ del problema de valor inicial verifica: ${\displaystyle \lim _{t\to \infty }|x(t)-a|=0.}$ Finalmente, diremos que $a$ es inestable si no es estable.
Un criterio para establecer el comportamiento de las soluciones estacionarias es el signo de $f'(a)$. Si ${\displaystyle f^{\prime }(a)<0}$ entonces $a$ es asintóticamente estable. Si ${\displaystyle f^{\prime }(a)>0}$ entonces $a$ no es estable. En el caso de que la derivada sea igual a 0, no se puede concluir nada.

## Ejemplo

La ecuación diferencial ${\displaystyle y(x)'=\left(2-y(x)\right)y(x)}$ es autónoma. El siguiente código de MATLAB genera una gráfica en la que se muestran
algunas soluciones particulares de la ecuación para distintos datos iniciales. Además en él se grafican los campos de pendientes.
Por otro lado se hallan las soluciones estacionarias $y=0$ e $y=2$,
y ${\frac {2e^{2x}}{C_{1}+e^{2x}}}$ como solución que depende de la constante $C_{1}\in \mathbb {R}$.