Bounding the $L^2$ norm of a function in $H^1$

118 Views Asked by At

If $f \in H^1(0,\pi)$, I want to show $$ \int_0^\pi f^2 dx \le \int_0^\pi (f')^2 dx + \left ( \int_0^\pi f dx\right )^2. $$

I'm sure there's some trick where I have to integrate a specific function and then apply an inequality like Holder's. The only Sobolev inequality I have at my disposal is Morrey's though, as $2>1$, and that doesn't help bounding by the derivative. Any hints?

2

There are 2 best solutions below

1
On BEST ANSWER

This is an easy form of Poincare inequality. There's no trick here, just fundamental theorem of calculus. \begin{align*} \int_0^1 \bigg| f(x) - \int_0^1 f(y) dy \bigg|^2 dx & \le \int_0^1 \int_0^1 |f(x)-f(y)|^2 dx dy \\ & = \int_0^1 \int_0^1 \bigg| \int_{[x,y]} f'(t) dt \bigg|^2 dx dy \\ & \le \int_0^1 \int_0^1 \int_0^1 |f'(t)|^2 dt dx dy \\ & = \int_0^1 |f'(t)|^2 dt \end{align*} Taking into account @copper.hat's remark, this yields your inequality for $[0,1]$ instead of $[0,\pi]$. To change it, you can always rescale the function (i.e. apply the above for $g(x)=f(\pi x)$).

0
On

What about assuming $$ f(x) = M + \sum_{n\geq 1}\left(c_n \cos(2nx) + s_n \sin(2nx)\right) $$ and expressing your integrals in terms of $M$, $\{c_n\}_{n\geq 1}$ and $\{s_n\}_{n\geq 1}$?
The inequality becomes $$ \pi M^2 +\frac{\pi}{2}\sum_{n\geq 1}(c_n^2+s_n^2) \leq \pi^2 M^2 + \frac{\pi}{2}\sum_{n\geq 1}4n^2(c_n^2+s_n^2) $$ that is fairly trivial.