Tractable embeddings of Besov spaces into small Lebesgue spaces (Q2830664)

If \(1\leq p<n\), then NEWLINE\[NEWLINE \Big( \int^1_0 (1 - \log t)^{p/2} f^* (t)^p \, dt \Big)^{1/p} \leq c \big( \| f \, | L^p \| + \| \nabla f\, | L^p \| \big), NEWLINE\]NEWLINE \(f \in W^{1,p}(\mathbb R^n)\), \(\text{supp }f \subset [0,1]^n\), where \(c>0\) is independent of the dimension \(n\). Here, \(f^*\) is the usual decreasing rearrangement of \(f\). There are counterparts with Besov spaces \(B^s_{p,q}\) in place of the Sobolev spaces \(W^{1,p}\). The main point is the control of the related constants \(c\) on the dimension \(n\). Assertions of this type are called tractable (or dimension-controllable). The paper contributes to this topic replacing the left-hand side of the above inequality by the so-called small Lebesgue spaces, normed by NEWLINE\[NEWLINE \| f \, | L^{(p,b,q} (\mathbb T^n) \| = \Big( \int^1_0 \Big[ (1- \log t)^b \Big( \int^t_0 f^* (s)^p \, ds \Big)^{1/p} \Big]^q \frac{dt}{t} \Big)^{1/q}\,, NEWLINE\]NEWLINE where \(\mathbb T^n = [0,1]^n\) is the \(n\)-torus. The arguments are based on periodic Besov spaces and related approximations, (limiting) interpolations and extrapolations.