12-267/Existence And Uniqueness Theorem

Disclamer: This is a student prepared note based on the lecure of Monday September 21st.

Def. $f:\mathbb {R} _{y}\rightarrow \mathbb {R}$ is called Lipschitz if $\exists \epsilon >0,k>0$ (a Lipschitz constant of f) such that $|y_{1}-y_{2}|<\epsilon \implies |f(y_{1})-f(y_{2})|\leq k|y_{1}=y_{2}|$.

Note that any function that is Lipschitz is uniformly continuous, and that if a function f and its derivative are both continous on a compact set then f is Lipschitz.

Thm. Existence and Uniqueness Theorem for ODEs

Let $f:\mathbb {R} =[x_{0}-a,x_{0}+a]\times [y_{0}-b,y_{0}+b]\rightarrow \mathbb {R}$ be continuous and uniformly Lipschitz relative to y. Then the equation $\Phi '=f(x,\Phi )$ with $\Phi (x_{0})=y_{0}$ has a unique solution $\Phi :[x_{0}-\delta ,x_{0}+\delta ]\rightarrow \mathbb {R}$ where $\delta =min(a,^{b}/_{M})$ where M is a bound of f on $\mathbb {R}$.