Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Looking at $(t,x)\in[0,1]\times\mathbb{R}^2$, I came across the statement (for sufficiently smooth) real-valued $f$ that $$ \|f(t,x)\|_{L^\infty_tL^2_x} \lesssim \|f\|_{L^2_tL^2_x}^{1/2}\|\partial_t f\|_{L^2_tL^2_x}^{1/2} + \|f\|_{L^2_tL^2_x}, $$ which is a "simple calculus identity."

I do not know how to prove this. I tried to let $t\in[0,1]$ and then bound $ \int f(t,x)^2dx$ by the above by writing $f(t,x)$ as $\int_0^t\partial_s f(s,x)ds+f(0,x)$ and similar tricks, but could not get it to work out. I also tried to use the Sobolev embedding of $W^{1,2}(\mathbb{R})$ into $L^\infty(\mathbb{R})$, but could not get that to work (nor is that "simple calculus" in my opinion). Any help would be greatly appreciated, thanks!

(In case it is not standard, the mixed norm notation is $$ \|f(t,x)\|_{L^q_tL^p_x} = \left(\int\|f(t,\cdot)\|^q_{L^p}dt\right)^{1/q}. $$ )

(For reference, the original statement was found in the paper "Sharp Trace Theorems for Null Hypersurfaces on Einstein Metrics with Finite Curvature Flux" by S. Klainerman and I. Rodnianski, Geom. funct. anal. Vol. 16 (2006) 164-229.)

share|cite|improve this question

I have an answer! I had tried to rewrite $f$ using the fundamental theorem of calculus when I should have been rewriting $f^2$. Explicitly, for any $t_0$ in $I=[0,1]$ $$ f(t_0,x)^2 = f(t,x)^2 + \int_t^{t_0}2f(s,x)f_t(s,x)ds $$ for $t\in I$ as well. Then we can integrate in $t$, noting that $[0,1]$ has measure 1 and that the left hand side does not depend on $t$ such that $$ f(t_0,x)^2 = \int_I f(t,x)^2dx + \int_0^1\int_t^{t_0}2f(s,x)f_t(s,x)dsdt. $$ Then using Fubini's theorem we can switch the $t$ and $s$ integral, and, empluying absolute values and the like we see that $$ |f(t_0,x)|^2 \lesssim \int_I |f(t,x)|^2dx + \int_0^1\int_0^s|f(s,x)||f_t(s,x)|dtds. $$ Performing the first integration on the second term on the right-hand side gives an $s$ which is bounded by 1 such that $$ |f(t_0,x)|^2 \lesssim \int_I|f(t,x)|^2dx + \int_I|f(s,x)||f_t(s,x)|ds. $$ Integrating next in $x$ (and employing Fubini again) $$ \|f\|_{L^\infty_tL^2_x}^2 \lesssim \|f\|^2_{L^2_tL^2_x} + \int_I\int_{\mathbb{R}^2} |f(s,x)||f_t(s,x)|dxds. $$ Using Holder's inequality (Schwarz) on the second term on the right-hand side gives the desired result except with every term squared. The subadditivity of the square-root finishes the proof.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.