Summary of the solutions of ODE IVP I have been studying IVP of ODEs, and after reading through and learning all the necessary theorems and proofs, I was trying to compile a summary of certain conditions (where would be implied by theorems) that would imply the existence and uniqueness of the solutions.
I would appreciate help with checking if my reasoning and assumptions are correct.
So if we consider IVP:
$$ \dot{x}=f(x); $$
$$ x(t_0)=x_0 $$
with $f:\mathbb{R^n}\rightarrow\mathbb{R^n}$, $ \; t_0 \in \mathbb{R}$, $ \;
 x_0\in\mathbb{R^n}$.

*

*If $f$ is continuous, for all $t\in\mathbb{R}; \; x_0\in\mathbb{R^n}$, then there is at least one local solution to the IVP. (Due to Peano existence theorem)

*If $f$ is only continuous, that is insufficient to imply the uniqueness of the local solution. ($f$ would need to be continuously differentiable, i.e. locally Lipschitz continuous for that)

*If $f$ is continuously differentiable, for all $t\in\mathbb{R}; \; x_0\in\mathbb{R^n}$, then there is a unique local solution to the IVP. (since $f$ is continuously differentiable, then $f$ is locally Lipschitz continuous, which implies the uniqueness of the solution, which is  implied by Peano existence theorem)

*If $f$ is continuously differentiable, for all $t\in\mathbb{R}; \; x_0\in\mathbb{R^n}$, then there is a global solution to the IVP.(I am really not sure if this would be true at all, and if it were true, would it be unique?)

*If $f$ is continuous and bounded, for all $t\in\mathbb{R}; \; x_0\in\mathbb{R^n}$, then there is a global solution to the IVP. (I would assume that since $f$ is bounded and continuous then it would be locally Lipschitz, but I am not sure if this holds? Also would it imply uniqueness?)

*If $f$ is linear, for all $t\in\mathbb{R}; \; x_0\in\mathbb{R^n}$, then there is a global solution to the IVP. (I believe this holds since $f$ is linear, there is an explicit solution to IVP: $x =  \exp((t-t_0) A)x_0$, would this solution be unique and why? I assume due to the Rxistence and Uniqueness theorem, but not sure how?)
So basically, I would need help with the 4th, 5th and 6th and to check the 1st, 2nd, and 3rd. I appreciate any comment and help.
 A: You are missing out on non-autonomous systems.The main difference is that all extended conditions only apply to the state vector, in time only continuity is ever required.


*Lipschitz and local Lipschitz conditions are weaker, more general than continuous differentiability. This is mostly encountered in making proofs more streamlined and capturing some cases of piecewise smooth right side functions, such as produced by including absolute values in its evaluation graph.


*You get a unique solution that leaves every compact set in the time-space domain. This includes cases of divergence to some state at infinity in finite time.


*If the right side is bounded or linearly bounded, the solution is exponentially bounded and divergence can not happen in finite time. A global Lipschitz condition implies a linear bound, but can by itself also be used for a direct proof of global existence, that is, existence of a solution with the whole time line as domain.


*Falls under "linearly bounded", but linear systems form a special case that is the basis for many quantitative and geometric explorations.
