Documentos de Académico
Documentos de Profesional
Documentos de Cultura
En particular esto basta para establecer la unicidad de soluciones para (2) en el caso en el que
f no se anule. Más aún, si para todo c que sea punto de equilibrio de f se sabe que la solución
estacionaria es la única que pasa por c, podremos asegurar que, para todo dato incial x0 , la
solución de (2) es única. Si c es un punto de equilibrio aislado, se presentan dos posibilidades:
Si la integral Z c
1
dy
x f (y)
es finita para algún x suficientemente cerca de c para que f (y) no se anule entre x y c,
entonces existe una solución, distinta a la estacionaria, que pasa por el punto c.1
Si, por el contrario, la integral anterior es infinita para todo x en un entorno de c donde f
no se anula, entonces el problema de valor inicial (2) con x0 = c posee una única solución
(que es obviamente x(t) ≡ c).2
En resumen, si hay una solución que llega en tiempo finito a un punto de equilibrio c desde
otro punto, entonces no hay solución única de x0 (t) = f (x(t)), x(0) = c; mientras que, si todas
las soluciones con condición inicial x1 cercana a c tardan un tiempo infinito (o bien cuando
t → +∞ o bien cuando t → −∞) en llegar a c, entonces la solución estacionaria es la única
solución de este problema.
1En efecto, como c es aislado existe δ > 0 tal que f (x0 ) 6= 0 si |x0 −c| < δ. Así, la función dada por x(t) = Fx−1 (t),
Rx 0
donde Fx0 (x) = x0 1/f , está bien definida para t entre 0 y t0 := Fx0 (c), que es finito por hipótesis. Se tiene
lı́m x(t) = lı́m Fx−1
0
(t) = c,
t→t0 t→t0
1
lı́m x0 (t) = lı́m = f (c) = 0,
t→t0 t→t0 Fx0 0 (x(t))
con lo que, si por ejemplo t0 > 0, entonces
x(t0 + t), si t ∈ (−t0 , 0),
y(t) =
c, si t ≥ 0
es una función derivable que satisface la ecuación x0 (t) = f (x(t)) y la condición inicial x(t0 ) = c.
2Supongamos que exista una solución y : [−a, a] → U , distinta de la estacionara, con y(0) = c. Podemos suponer
−1
f (y(t)) 6= 0 si t 6= 0. Entonces, para t ∈ [−a, 0), es y(t) = Fy(−a) (t + a). Pero
Z c
a = lı́m Fy(−a) (y(t)) = Fy(−a) (y(0)) = 1/f,
t→0− y(−a)
con lo que esta integral no podría ser infinita.