Tengo que demostrarlo: $$\left|\frac{d}{dt}\left\langle \varphi(t) , \varphi(t)\right\rangle\right| \le 2L \left\|\varphi(t)\right\|^2$$ y $$\left\|x_0\right\|e^{-L(t-t_0)} \leq \left\|\varphi(t)\right\| \le \left\|x_0\right\|e^{L(t-t_0)}.$$ Dónde $\varphi(t)$ es la solución de $x'=f(t,x),$ $x(t_0)=x_0,$ $f:[t_0,\infty)\times D \to \mathbb{R}^n$ es Lipschitz ( $|f(t,x)-f(t,y)|\leq L|x-y|$ ) y $f(t,0)=0$ .
Para la primera desigualdad utilizo Cauchy-Schwarz y obtengo $\left|\frac{d}{dt}\left\langle \varphi(t) , \varphi(t)\right\rangle\right| \le 2L \left\|\varphi(t)\right\|,$ pero no la desigualdad a demostrar. Para $\left\|\varphi(t)\right\| \le \left\|x_0\right\|e^{L(t-t_0)},$ He utilizado la desigualdad de Grönwall, pero $\left\|x_0\right\|e^{-L(t-t_0)} \leq \left\|\varphi(t)\right\|$ no sé cómo hacerlo, y no he utilizado la hipótesis $f(t,0)=0$ .
¿Podría decirme cómo puedo demostrar esto? Gracias