# Functions such that $\Vert\tfrac{d^4}{dx^4}f\Vert_{L^2(0,1)} < \sqrt{2} \Vert f \Vert_{L^1(0,1)}$

Is there a (non-constant) function $$f \in C^4((0,1))$$ that is zero in an interval $$(a,b) \subset (0,1)$$ and such that the inequality $$\Vert\tfrac{d^4}{dx^4}f\Vert_{L^2(0,1)} < \sqrt{2}\Vert f \Vert_{L^1(0,1)}$$ holds?

• Typo: $\psi$ has to be be replaced by $f$. Jan 25 at 12:03
– Hiro
Jan 25 at 13:54
• [deleted earlier comment since my "gluing argument" was insufficient] Jan 25 at 14:27
• [also deleted earlier comments which were rendered obsolete by the OP's improvement of their question] Jan 25 at 18:15

Indeed, let $$c:=\sqrt2\,\|f\|_1\in(0,\infty)$$, where $$\|f\|_p:=\|f\|_{L^p(0,1)}$$. Suppose that $$f\in C^4(0,1)$$ and $$f=0$$ on $$(a,b)$$, where $$0\le a. Suppose that the inequality in question holds: $$\|f''''\|_2

Then, using the Cauchy--Schwarz inequality, for $$x\in[b,1]$$ we have $$|f'''(x)|\le\int_b^x|f''''(t)|\,dt \le\Big(\int_b^x f''''(t)^2\,dt\Big)^{1/2}\Big(\int_b^x dt\Big)^{1/2} \le c(x-b)^{1/2},$$ whence $$|f''(x)|\le\int_b^x|f'''(t)|\,dt\le c\,\frac23\,(x-b)^{3/2},$$ $$|f'(x)|\le\int_b^x|f''(t)|\,dt\le c\,\frac23\,\frac25\,(x-b)^{5/2},$$ $$|f(x)|\le\int_b^x|f'(t)|\,dt\le c\,\frac23\,\frac25\,\frac27\,(x-b)^{7/2},$$ $$\int_b^1|f(t)|\,dt\le c\,\frac23\,\frac25\,\frac27\,\frac29\,(1-b)^{9/2} \le cc_1(1-b),$$ where $$c_1:=\frac23\,\frac25\,\frac27\,\frac29<\frac1{\sqrt2}.$$

Similarly, $$\int_0^a|f|\le cc_1a$$. So, $$\frac c{\sqrt2}=\|f\|_1=\int_0^a|f|+\int_b^1|f|\le cc_1a+cc_1(1-b) a contradiction. $$\Box$$

(This answer is essentially the same as this previous one.)

• Might as well record the general versions, no? Theorem Let $f\in C^k((0,1))$ be such that there exists $b\in (0,1)$ where $f(b) = f'(b) = \ldots = f^{(k)}(b) = 0$. Then: $$|f(x)| \leq \frac{1}{(k - 1/p)(k-1-1/p)\cdots(2-1/p)}\|f^{(k)}\|_{L^p} |x-b|^{k-1/p}$$ and $$|f(x)| \leq \frac{1}{(k+\alpha)(k-1+\alpha)\cdots(1+\alpha)} \|f^{(k)}\|_{C^{0,\alpha}} |x-b|^{k+\alpha}$$ Jan 25 at 15:15
• @WillieWong : Good idea. I had something like that in my handwritten notes for the previous answer. :-) Jan 25 at 15:33
• Thank you. I asked a new more particular version of this question at mathoverflow.net/questions/382160/… Maybe in this case there is a positive result?
– Hiro
Jan 25 at 18:37