Franke-Jawerth embeddings for Besov and Triebel-Lizorkin spaces with variable exponents
The classical Jawerth and Franke embeddings $$ F^{s_0}_{p_0,q}({\mathbb R}^n)\hookrightarrow B^{s_1}_{p_1,p_0}({\mathbb R}^n) \quad \mbox{and} \quad B^{s_0}_{p_0,p_1}({\mathbb R}^n)\hookrightarrow F^{s_1}_{p_1,q}({\mathbb R}^n) $$ are versions of Sobolev embedding between the scales of Besov and Triebel-Lizorkin function spaces for s0>s1 and s0−p0n=s1−p1n. We prove Jawerth and Franke embeddings for the scales of Besov and Triebel-Lizorkin spaces with all exponents variable $$ F^{s_0(\cdot)}_{p_0(\cdot),q(\cdot)}\hookrightarrow B^{s_1(\cdot)}_{p_1(\cdot),p_0(\cdot)} \quad \mbox{and} \quad B^{s_0(\cdot)}_{p_0(\cdot),p_1(\cdot)}\hookrightarrow F^{s_1(\cdot)}_{p_1(\cdot),q(\cdot)}, $$ respectively, if infx∈Rn(s0(x)−s1(x))>0 and s0(x)−p0(x)n=s1(x)−p1(x)n,x∈Rn. We work exclusively with the associated sequence spaces bp(⋅),q(⋅)s(⋅) and fp(⋅),q(⋅)s(⋅), which is justified by well known decomposition techniques. We give also a different proof of the Franke embedding in the constant exponent case which avoids duality arguments and interpolation. Our results hold also for 2-microlocal function spaces Bp(⋅),q(⋅)w(Rn) and Fp(⋅),q(⋅)w(Rn) which unify the smoothness scales of spaces of variable smoothness and generalized smoothness spaces.