Existence of a unique solution and maximal area

Question

Consider the IVP: $$\frac{dy}{dt}=f(t,y)~,~y(0)=y_{0},$$ where $f(t,y)$ is a bounded function, continuous on the set $\Omega(t,y)=\{ |t| < a , |y-y_{0}| < b \}$ and satisfies a Lipschitz condition there with Lipschitz constant $K.$ Find a condition which will ensure that a unique solution will exist inside $\Omega$ and that the condition has a maximal area on $\Omega.$

My approach. The solution of the IVP is given by $$y(t)=y_{0}+\int_{0}^{t} f(s,y(s))~ds.$$ $$\implies | y(t) - y_{0} | \leq \int_{0}^{t} | f(s,y(s))|~ds \leq M \cdot |t|,~~\text{where}~M=\max_{s}|f(s,y(s))|.$$ Since in $\Omega,~|t| < a,$ we have $$| y(t) - y_{0} | < a \cdot M.$$ Also, incorporating the Lipschitz condition in the second argument yields $$|f(t,x)-f(t,y)| \leq K \cdot |x-y|.$$

I don't know how to continue from here onwards. Any help is much appreiciated.

Answer 1

Let $I(t) = \begin{cases} [t,0], & t<0 \\ [0,t], & t \ge 0 \end{cases}$. Let $u$ and $v$ be two solutions on $(-a,a)$. Then, as you correctly write,

$$u(t) = y_0 + \int \limits _{I(t)} f \big(s,u(s) \big) \ \Bbb d s \qquad \text{and} \qquad v(t) = y_0 + \int \limits _{I(t)} f \big(s,v(s) \big) \ \Bbb d s ,$$

so that

$$\sup _{|t|

Looking only at the endpoints of this chain of inequalities, and assuming now that $u \ne v$, it follows that $\sup _{|s|if $aK < 1$ then the problem has a unique solution.