2
$\begingroup$

Does the following inequality

\sup_{x\in (0,1)}u^2(x)\leq C_1\int_0^1 x u^2(x)\,\textrm{d}x+C_2\int_0^1 x(u')^2(x)\,\textrm{d}x

hold for all $ u\in C^1(0,1)$? If so please give me a proof, and a counterexample if not.

Thanks.

  • 0
    @DavideGiraudo,@WimC: Sorry, I missed the square, corrected now. Thanks for your comment.2012-02-23

1 Answers 1

5

Consider the family of functions

$ \phi_\epsilon(x) = 1- x^\epsilon $

for $\epsilon \in (0,1/4)$. Clearly these functions are in $C^1(0,1)$, and $\sup \phi_\epsilon^2 = 1$ for every $\epsilon$.

Compute

$ \int_0^1 x (1-x^\epsilon)^2 \mathrm{d}x = \int_0^1 x - 2 x^{1+\epsilon} + x^{1+2\epsilon} \mathrm{d}x = \frac12 - \frac{2}{2+\epsilon} + \frac{1}{2+2\epsilon} = \frac{\epsilon^2}{(2\epsilon + 2)(\epsilon + 2)} $

and

$ \int_0^1 x (-\epsilon x^{\epsilon -1})^2 \mathrm{d}x = \epsilon^2 \int_0^1 x^{2\epsilon - 1}\mathrm{d}x = \frac{\epsilon^2}{2\epsilon} $

Hence we have that the RHS is order $O(\epsilon)$ while the left hand side is order 1 for this family of functions, hence the desired uniform bound cannot be achieved.

Another way to see the obstruction is to take the change of variables $y = \log x$. Then your inequality becomes equivalent to \sup_{y\in (-\infty,0)} v^2 \lesssim \int_{-\infty}^0 e^{2y} v(y)^2 \mathrm{d}y + \int_{-\infty}^0 (v'(y))^2 \mathrm{d}y This is clearly false by taking $\psi(y)$ a smooth function such that $\psi |_{y < -5} = 1$ and $\psi |_{y > -3} = 0$ and considering the family $\psi_\lambda(y) = \psi(y/\lambda)$ as $\lambda \to \infty$. (Note that the scaling in $y$ is equivalent to raising to a power in $x$.)

  • 0
    @Y.Z. okay. 4.58 is sharp for the constant function. Equation (31) in 4.59 is also sharp, but you need to approach with a family of monotonic functions with support in $(T-\epsilon,T)$ and take $\epsilon \to 0$. So 4.59 is _probably_ not sharp, since the optimisers for 4.58 and (31) are in some sense "opposites".2012-02-24