English

A weak inequality in fractional homogeneous Sobolev spaces

Classical Analysis and ODEs 2026-05-13 v9

Abstract

In this paper, we prove the following inequality \begin{equation*} \|\big(\int_{\mathbb{R}^n}\frac{|f(\cdot+y)-f(\cdot)|^q}{|y|^{n+sq}}dy\big)^{\frac{1}{q}}\|_{L^{p,\infty}(\mathbb{R}^n)}\lesssim\|f\|_{\dot{L}^p_s(\mathbb{R}^n)}, \end{equation*} where Lp,(Rn)\|\cdot\|_{L^{p,\infty}(\mathbb{R}^n)} is the weak LpL^p quasinorm and L˙sp(Rn)\|\cdot\|_{\dot{L}^p_s(\mathbb{R}^n)} is the homogeneous Sobolev norm, and parameters satisfy the condition that 1<p<q1<p<q, 2q<2\leq q<\infty, and 0<s=n(1p1q)<10<s=n(\frac{1}{p}-\frac{1}{q})<1. Furthermore, we prove the estimate gs,q(f)Lp(Rn)fF˙p,qs(Rn)\|\mathfrak{g}_{s,q}(f)\|_{L^p(\mathbb{R}^n)}\lesssim\|f\|_{\dot{F}^s_{p,q}(\mathbb{R}^n)} when 0<p,q<0<p,q<\infty, 1<s<1-1<s<1, F˙p,qs(Rn)\|\cdot\|_{\dot{F}^s_{p,q}(\mathbb{R}^n)} denotes the homogeneous Triebel-Lizorkin quasinorm and the Littlewood-Paley-Poisson function gs,q(f)()\mathfrak{g}_{s,q}(f)(\cdot) is a generalization of the classical Littlewood-Paley gg-function. Moreover, we prove the weak type (p,p)(p,p) boundedness of the Gλ,q\mathcal{G}_{\lambda,q}-function and the Rs,q\mathcal{R}_{s,q}-function, where the Gλ,q\mathcal{G}_{\lambda,q}-function is a generalization of the well-known classical Littlewood-Paley gλg_{\lambda}^*-function. We also prove that when 0<p,q<0<p,q<\infty and <smax{0,n(1p1q)}-\infty<s\leq\max\{0,n(\frac{1}{p}-\frac{1}{q})\}, we have \begin{equation*} \|\big(\int_{\mathbb{R}^n}\frac{|f(\cdot+y)-f(\cdot)|^q}{|y|^{n+sq}}dy\big)^{\frac{1}{q}}\|_{L^{p}(\mathbb{R}^n)}=\infty. \end{equation*}

Keywords

Cite

@article{arxiv.2312.14662,
  title  = {A weak inequality in fractional homogeneous Sobolev spaces},
  author = {Lifeng Wang},
  journal= {arXiv preprint arXiv:2312.14662},
  year   = {2026}
}