Prove that solutions to autonomous first order DE can't have local maxima

zenterix
Messages
774
Reaction score
84
Homework Statement
Suppose we have an autonomous first order ordinary differential equation ##\dot{y}=f(y)##.

How do we prove that solutions can't have local maxima or minima?
Relevant Equations
This is the type of question that I can guess the answer to with arguments that seem simple at first but then seem hard to actually construct in full.

I am interested in different proofs that the answer is no.
Here is one argument.

Suppose we have a solution ##y## such that ##y(t_0)=y_0## and ##y'(t_0)=f(y_0)=0##.

##y(t)=y_0## is a solution since ##\dot{y}(t)=0## and so ##\dot{y}=f(y)=f(y_0)=0##.

I am aware of uniqueness theorems for linear differential equations. I don't remember seeing such a theorem for non-linear equations. Is there one?

If there is a unique solution such that ##y(t_0)=y_0## then this solution is the constant function ##y(t)=y_0##.

Thus, if this is the case, we cannot have local maxima in solutions to ##\dot{y}=f(y)## since at the maximum the function would coincide with another solution, namely the constant solution with the value of ##y## at the critical point.

Here is an attempt at another argument.
For autonomous differential equations, all solutions are horizontal shifts of any other solution.

If we have another function ##z(t)=y(t-\Delta t)## then ##\dot{z}=\dot{y}(t-\Delta t)=f(y(t-\Delta t))=f(z(t))##.

Thus, ##z## is also a solution.

If a solution is continuous and a local maximum occurs at ##t_0##, then there are points ##t_1## and ##t_2## such that ##t_1<t_0<t_2## and ##f(t_1)=f(t_2)<f(t_0)##.

If we shift the solution ##y(t)## by ##t_2-t_1## then what we end up with is a new solution that at ##t_1## has the same value as the original solution but a different slope.

Again, this would be precluded by a uniqueness theorem.

Finally, I just want to confirm: under no circumstances can we have solutions that have an inflection point (all for the same ##y_0## but different ##t##) where the slope is zero.

Ie, solutions that look like, say, ##(t-t_0)^3## for different ##t_0##. Now, clearly this specific function doesn't work, since it doesn't satisfy an autonomous DE. But I just cite it here to demonstrate the general shape of the solutions I am referring to.
 
Last edited:
Physics news on Phys.org
If y(t) has a local extremum at t = t_0, you can show that there exists a t_1 &lt; t_0 and a t_2 &gt; t_0 for which y(t_1) = y(t_2) but y&#039;(t_1) and y&#039;(t_2) have opposite sign. This is impossible if y&#039; is a function of y.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top