Generalised Gagliardo-Nirenberg inequalities using weak Lebesgue spaces and BMO
Using elementary arguments based on the Fourier transform we prove that for 1≤q<p<∞ and s≥0 with s>n(1/2−1/p), if f∈Lq,∞(Rn)∩H˙s(Rn) then f∈Lp(Rn) and there exists a constant cp,q,s such that ∥f∥Lp≤cp,q,s∥f∥Lq,∞θ∥f∥H˙s1−θ, where 1/p=θ/q+(1−θ)(1/2−s/n). In particular, in R2 we obtain the generalised Ladyzhenskaya inequality ∥f∥L4≤c∥f∥L2,∞1/2∥f∥H˙11/2. We also show that for s=n/2 the norm in ∥f∥H˙n/2 can be replaced by the norm in BMO. As well as giving relatively simple proofs of these inequalities, this paper provides a brief primer of some basic concepts in harmonic analysis, including weak spaces, the Fourier transform, the Lebesgue Differentiation Theorem, and Calderon-Zygmund decompositions.