User:Sergioleal14/sandbox

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$$.

Invarianza por traslaciones
Si $$x(t)$$ es solución de la ecuación diferencial, entonces toda traslación suya también lo es.

$$

Monotonía de las soluciones no constantes
Si la ecuación $x'(t)=f(x(t))$ tiene solución única para todo dato inicial y $f$  es una función continua, entonces toda solución no constante es estrictamente monótona. $$

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(0)=x_{0} \quad,\end{cases}}}$$

con $f$ una función continua tiene, por lo menos, una solución definida en un entorno de  ${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$  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$ una función continua en $x_0$ ), existe una única solución al problema de Cauchy.

$$

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$ (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 \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|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}$$.

Referencias
V.I. Arnold "Ecuaciones Diferenciales Ordinarias”

L. Perko. “Differential Equations and Dynamical Systems"

Wikipedia contributors. (2022, March 21). Autonomous system (mathematics). In Wikipedia, The Free Encyclopedia. Retrieved 09:19, May 3, 2022