Table of Contents
Fetching ...

Homogeneous fractional integral operators on weighted Lebesgue, Morrey and Campanato spaces

Jingliang Du, Hua Wang

TL;DR

This work analyzes the boundedness of the homogeneous fractional integral operator $T_{Ω,α}$ with kernels $Ω(x-y)/|x-y|^{n-α}$ on weighted function spaces. Under an $L^{s;β}$-Dini smoothness condition on $Ω$, the authors establish sharp mappings from weighted Lebesgue spaces $L^{p}(ω^p)$ to Campanato-type spaces $\mathcal{C}^{γ,ℓ}_{ω}$ for $n/α<p<∞$ with $γ=α-n/p$, and from weighted Morrey spaces $\mathcal{M}^{p,κ}(ω^p,ω^q)$ to weighted Campanato spaces $\mathcal{C}^{γ_*,ℓ}(ω^q)$ for $p/q<κ<1$ with $γ_*=α-(1-κ)n/p$, including endpoint cases that land in $BMO_{ω}$ or $BMO(\mathbb{R}^n)$. The results rely on precise kernel estimates under the Dini condition, a careful decomposition of functions, and leveraging $A_p$ and $A(p,q)$ weight properties. This provides a unified weighted framework for fractional integrals with homogeneous kernels acting on Lebesgue and Morrey-type spaces and yielding Campanato endpoint spaces. The methods have potential implications for related PDE and harmonic analysis problems in weighted settings.

Abstract

Let $0<α<n$ and $T_{Ω,α}$ be the homogeneous fractional integral operator which is defined by \begin{equation*} T_{Ω,α}f(x):=\int_{\mathbb R^n}\frac{Ω(x-y)}{|x-y|^{n-α}}f(y)\,dy, \end{equation*} where $Ω$ is homogeneous of degree zero in $\mathbb R^n$ for $n\geq2$, and is integrable on the unit sphere $\mathbb{S}^{n-1}$. In this paper we study boundedness properties of the homogeneous fractional integral operator $T_{Ω,α}$ acting on weighted Lebesgue and Morrey spaces. Under certain Dini-type smoothness condition on $Ω$, we prove that $T_{Ω,α}$ is bounded from $L^{p}(ω^p)$ to $\mathcal{C}^{γ,\ell}_ω$(a class of Campanato spaces) for appropriate indices, when $n/α<p<\infty$. Moreover, we prove that if $Ω$ satisfies certain Dini-type smoothness condition on $\mathbb{S}^{n-1}$, then $T_{Ω,α}$ is bounded from $\mathcal{M}^{p,κ}(ω^p,ω^q)$ to $\mathcal{C}^{γ,\ell}(ω^q)$(weighted Campanato spaces) for appropriate indices, when $p/q<κ<1$.

Homogeneous fractional integral operators on weighted Lebesgue, Morrey and Campanato spaces

TL;DR

This work analyzes the boundedness of the homogeneous fractional integral operator with kernels on weighted function spaces. Under an -Dini smoothness condition on , the authors establish sharp mappings from weighted Lebesgue spaces to Campanato-type spaces for with , and from weighted Morrey spaces to weighted Campanato spaces for with , including endpoint cases that land in or . The results rely on precise kernel estimates under the Dini condition, a careful decomposition of functions, and leveraging and weight properties. This provides a unified weighted framework for fractional integrals with homogeneous kernels acting on Lebesgue and Morrey-type spaces and yielding Campanato endpoint spaces. The methods have potential implications for related PDE and harmonic analysis problems in weighted settings.

Abstract

Let and be the homogeneous fractional integral operator which is defined by \begin{equation*} T_{Ω,α}f(x):=\int_{\mathbb R^n}\frac{Ω(x-y)}{|x-y|^{n-α}}f(y)\,dy, \end{equation*} where is homogeneous of degree zero in for , and is integrable on the unit sphere . In this paper we study boundedness properties of the homogeneous fractional integral operator acting on weighted Lebesgue and Morrey spaces. Under certain Dini-type smoothness condition on , we prove that is bounded from to (a class of Campanato spaces) for appropriate indices, when . Moreover, we prove that if satisfies certain Dini-type smoothness condition on , then is bounded from to (weighted Campanato spaces) for appropriate indices, when .

Paper Structure

This paper contains 5 sections, 7 theorems, 80 equations.

Key Result

Theorem 2.3

Suppose that $\Omega$ satisfies the $L^{s;\beta}$-Dini smoothness condition $\mathfrak{D}_{s;\beta}$ with $n/{(n-\alpha)}\leq s\leq\infty$ and $0<\beta\leq1$. If $0<\alpha<1+n/p$, $n/{\alpha}<p<\infty$ and $\omega^{s'}\in A(p/{s'},\infty)$, then the operator $T_{\Omega,\alpha}$ is bounded from $L^{p

Theorems & Definitions (21)

  • Definition 1.1
  • Definition 1.1
  • Definition 1.2: grafakos
  • Definition 1.3: muckenhoupt2
  • Definition 1.4
  • Definition 1.5
  • Definition 2.1
  • Remark 2.2
  • Theorem 2.3
  • Remark 2.4
  • ...and 11 more