Lipschitzness of derivatives

47 Views Asked by At

Let $f \in C^\infty_b(\mathbb{R}^d; \mathbb{R}^d)$, so bounded, infinitely differentiable with bounded derivatives mapping $\mathbb{R}^d$ to $\mathbb{R}^d$. I'll write $|\cdot|$ for the norm on $\mathbb{R}^d$ as well as the induced operator norm. By boundedness, we have a $B_1 > 0$ such that $\forall x \in \mathbb{R}^d$ $$|Df(x)|\leq B_1$$ this immediately gives that $\forall x,y_1,y_2 \in \mathbb{R}^d$ $$|Df(x)y_1 - Df(x)y_2| \leq B_1 |y_1 - y_2|.$$ Is it possible (maybe using boundedness of $D^2f$ + MVE) to obtain that there exists $L_1 > 0$ such that $\forall x_1,x_2,y_1,y_2 \in \mathbb{R}^d$ $$|Df(x_1)y_1 - Df(x_2)y_2| \leq L_1 |y_1 - y_2|.$$ Similarly can this be done for higher order derivatives say $$|Df^2(x_1)[y_1,y_1] - Df^2(x_2)[y_2,y_2]| \leq L_2 |y_1 - y_2|^2.$$ Any help is appreciated, thanks!