Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I was reading a book of ODE and make a comment using the uniqueness theorem on the behavior of the solutions of an autonomous differential equation $$ \frac{dy}{dt} = f \left(y \right) $$ Suppose $f$ satisfies the hypotheses of the theorem of existence and uniqueness. Take for example $$ f\left( y \right) = \left( {y - 2} \right)\left( {y + 1} \right) $$

Then we know from the theorem that the solutions do not intersect (the uniqueness). Suppose you have a solution satisfying $ y (0) = 1 / 2 $. Clearly $y(t)$ is between -1 and 2, is also decreasing, and bounded, so must tend asymptotically to a horizontal line, which should be $y =c$ for some $c\ge-1$. Why actually happens it tends to the line of phase? That is, why do we actually get $c=-1$? Do you know any good books where you can learn these things? an introductory book?

share|cite|improve this question
There are some serious formatting problems. I corrected your first equation, please do the same for the rest of your post. – Did Aug 29 '11 at 0:57
Ok ,I´ll explain again my question. I can know that a solution function is between 2 horizontal lines, which are lines of phase, and also do not intersect. We even know that the function is strictly monotone. At infinity the solution is strictly monotone and bounded must converge to a value. But this value a priori, need not be the value of an equilibrium point (but it happens) my question is why that happens – August Aug 29 '11 at 2:11
I've taken the liberty of editing the question into something more closely resembling fluent English. August, I hope I have captured your intent. – Gerry Myerson Aug 29 '11 at 3:42
up vote 3 down vote accepted

Suppose $\lim_{t \to \infty} y(t) = L$. For any fixed $T$, $\left|\frac{y(T+N) - y(T)}{N}\right| \to 0$ as $N \to \infty$. By the Mean Value Theorem, $\frac{y(T+N) - y(T)}{N} = y'(t)$ for some $t \in (T,T+N)$. But the differential equation says $y'(t) = f(y(t))$, and by continuity of $f$ we have $\lim_{t \to \infty} f(y(t)) = f(L)$. So we must have $f(L) = 0$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.