2
$\begingroup$

Let $f$ be a non-negative $C^2$ function on a compact domain $\Omega$ in $\mathbb R^n$. I am trying to prove the inequality

$\|\sqrt f\|_{C^{0,1}(\Omega)}\leq C(1 + \|f\|_{C^{1,1}(\Omega)})$

where $C^{k,\alpha}(\Omega)$ denotes the Holder space. It seems like this should be a consequence of the mean value theorem and/or the fundamental theorem of calculus, but I am not seeing an elementary proof of this nature. Any suggestions?

  • 0
    Jensen's Inequality?2012-12-21

1 Answers 1

2

It is incorrect. For example, let $n=1$, $\Omega=[0,1]$ and $f(x)=x$. Then $\|\sqrt{f}\|_{C^{0,1}(\Omega)}=\infty$.

  • 0
    @user15464: Sorry, my last comment was misleading. I think in your inequality, $C$ is supposed to be dependent only on $\Omega$ or $M$. Then the inequality fails even when $M$ is a compact manifold without boundary.2012-12-21