Let $f$ be lipschitz and consider the IVP $\dot x=f(x),\ x(t_0)=x_0$ with a solution $\varphi$. If $f(x_0)>0$, then $\varphi$ is monotonically increasing.
I have a question about the following reasoning for this fact:
Let's assume $\dot\varphi (t_1)=0$ for some $t_1\in\mathbb R$. Set $y:=\varphi(t_1)$, then we have $f(y)=0$ and thus $x_1(t)\equiv y$ solves the DE $\dot x=f(x)$. Because $x_1$ and $\varphi$ intersect in $y$, they must be equal, $\varphi =x_1$, which is a contradiction to $\dot\varphi(x_0)=f(x_0)\neq 0$.
Why must $\varphi$ and $x_1$ be equal? Picard-Lindelöf guarantees a unique solution since $f$ is lipschitz, but this is regarding the IVP. And, as I see it, $x_1 (t)\equiv y$ is a solution for the IVP if and only if $y=x_0$, but that would be a contradiction since $f(x_0)>0$, so we don't have the trivial solution $x(t)\equiv x_0$. Or, in other words, the constructed $x_1$ in the reasoning doesn't solve the IVP. Why should it be equal then with a solution that does(!) solve it?