A new proof of the Jawerth--Franke embedding (Q928352)

Let \(B^s_{pq} (\mathbb R^n)\) and \(F^s_{pq} (\mathbb R^n)\) be the Besov spaces and Triebel--Lizorkin spaces. Let \(s \in\mathbb R\), \[ 0<p_0 <p<p_1 \leq \infty, \quad s_0 - \frac{n}{p_0} = s - \frac{n}{p} = s_1 - \frac{n}{p_1} \] and \(q,u,v \in (0,\infty]\). Then \[ B^{s_0}_{p_0 u} (\mathbb R^n) \subset F^s_{pq} (\mathbb R^n) \subset B^{s_1}_{p_1 v} (\mathbb R^n) \] if and only if \(0<u \leq p \leq v \leq \infty\). The if-part is due to \textit{B.\,Jawerth} [Math.\ Scand.\ 40, No.\,1, 94--104 (1977; Zbl 0358.46023)] and \textit{J.\,Franke} [Math.\ Nachr.\ 125, 29--68 (1986; Zbl 0617.46036)], the only-if-part to \textit{W.\,Sickel} and \textit{H.\,Triebel} [Z.\ Anal.\ Anwend.\ 14, No.\,1, 105--140 (1995; Zbl 0820.46030)]. The paper presents a new proof based on wavelet representations, which is much simpler than the original complicated proofs.