Fractional Integral Operators on Generalized Campanato Spaces with Variable Exponents

Shujuan Niu, Shuangping Tao

College of Mathematics and Statistics, Northwest Normal University, Lanzhou, China.

DOI: 10.4236/am.2025.1611044                

Abstract

This paper offers a novel portrayal of the generalized Campanato space with variable exponents. By introducing the position-dependent weight function $\omega \left(x,r\right)$ , the generalized variable exponent Campanato space significantly increases its flexibility and power to characterize complex phenomena. The boundedness of the fractional integrals and their commutators is obtained on the generalized Campanato space with variable exponents.

Keywords

Generalized, Campanato Space, Fractional Integral, Commutator

1. Introduction

In the last several decades, research on Morrey-Campanato-type spaces and their applications has seen a remarkable increase, with each advancing the other. Campanato spaces, as a generalization of Morrey spaces that are occasionally referred to as Morrey-Campanato spaces, were introduced by S. Campanato in 1963 [1]. These spaces also showed up in the paper by G. Stampacchia [2]. They generalize the BMO spaces that were introduced by F. John and L. Nirenberg [3] and defined as follows.

${\Vert f\Vert }_{BMO}:=\underset{B\left(x,r\right)}{\sup }\frac{1}{\left|B\left(x,r\right)\right|}{\displaystyle {\int }_{B\left(x,r\right)}\left|f\left(x\right)-f_B\right|dx},$ (1.1)

where $f_B=\frac{1}{\left|B\right|}{\displaystyle {\int }_{B}f\left(y\right)\text{d}y}$ , and what follows $\left|B\right|$ is the Lebesgue measure of measurable set $B$ in ${ℝ}^n$ .

The interpolation features of Morrey-Campanato-type spaces were given in [2], [4] and [5]. In truth, they derived the result for a more comprehensive space that is now termed the Campanato spaces.

Let Ω be an open set in ${ℝ}^n$ , we denote $B^{\prime }\left(x,r\right)=B\left(x,r\right)\cap \Omega$ , $1\le q<\infty$ and $\lambda \ge 0$ , $B\left(x,r\right)=\left\{y\in {ℝ}^n:\left|x-y\right|<r\right\}$ . The Morrey space ${ℳ}^{q,\lambda }\left(\Omega \right)$ is defined as

${ℳ}^{q,\lambda }\left(\Omega \right)=\left\{f\in L_{\text{loc}}^q\left(\Omega \right):\underset{\begin{array}{c}x\in \Omega \\ r>0\end{array}}{\sup }\frac{1}{r^{\lambda }}{\displaystyle {\int }_{B^{\prime }\left(x,r\right)}{\left|f\left(x\right)\right|}^q\text{d}x}<\infty \right\}.$ (1.2)

This is a Banach space with respect to the norm

${\Vert f\Vert }_{{ℳ}^{q,\lambda }\left(\Omega \right)}:=\underset{\begin{array}{c}x\in \Omega \\ r>0\end{array}}{\sup }{\left(\frac{1}{r^{\lambda }}{\displaystyle {\int }_{B^{\prime }\left(x,r\right)}{\left|f\left(x\right)\right|}^q\text{d}x}\right)}^{\frac{1}{q}}.$ (1.3)

Campanato spaces are useful tools in the regularity theory of PDEs as a result of their better structures, which allow us to give an integral characterization of the spaces of Hölder continuous functions. The Campanato space ${\mathcal{C}}^{q,\lambda }\left(\Omega \right)$ is defined as

${\mathcal{C}}^{q,\lambda }\left(\Omega \right)=\left\{f\in L_{\text{loc}}^q\left(\Omega \right):{\Vert f\Vert }_{{ℒ}^{q,\lambda }\left(\Omega \right)}<\infty \right\}.$ (1.4)

The Campanato semi norm is given as

${\Vert f\Vert }_{{\mathcal{C}}^{q,\lambda }\left(\Omega \right)}:=\underset{\begin{array}{c}x\in \Omega \\ r>0\end{array}}{\sup }{\left(\frac{1}{r^{\lambda }}{\displaystyle {\int }_{B^{\prime }\left(x,r\right)}{\left|f\left(x\right)-f_{B^{\prime }\left(x,r\right)}\right|}^q\text{d}x}\right)}^{\frac{1}{q}}.$ (1.5)

The importance of Campanato spaces stems from the fact that, as $n<\lambda <n+q$ , they coincide with the spaces of Hölder continuous functions, providing an integral characterization of such functions. While in the case $\lambda$ less then $n$ they coincide with Morrey spaces. For some recent results for research on Morrey-Campanato-type space and their applications, see [6]-[12].

The main purpose of this paper is to discuss the boundedness of the fractional integrals and their commutators on the generalized Campanato space with variable exponents given in Section 3.

The paper is organized as follows. Some main definitions and some auxiliary results are provided in Section 2. In Section 3, we prove the main boundedness results and provide some corollaries.

2. Some Preliminaries

2.1. Fractional Integral Operator

The commutator generated by a linear operator $T$ and a locally integrable function $b$ is defined by

$T_b\left(f\right):=bT\left(f\right)-T\left(bf\right).$ (2.1)

The investigation into the operator $T_b$ commenced with the groundbreaking studied by Coifman-Rochberg-Weiss in [13]. Two primary motivations underlie the consideration of commutators in this context. First, the boundedness of commutators provides valuable insights into the characterization of function spaces [14]-[20]. Second, commutator theory is of great importance in analyzing the regularity of solutions to second-order elliptic and parabolic partial differential equations [21]-[23]. The well-posedness of solutions to many PDEs depends on the boundedness of commutators for integral operators [24]-[26]. Fractional integrals play an important role in harmonic analysis and PDEs.

Let $0<\alpha <n$ . Then the fractional integral is defined by

$I_{\alpha }f\left(x\right)={\displaystyle {\int }_{{ℝ}^n}\frac{f\left(y\right)}{{\left|y-x\right|}^{n-\alpha }}\text{d}y}$ (2.2)

Let $b$ be a locally integrable function. $I_{\alpha ,b}^m$ is the m-th commutator generated by $I_{\alpha }$ and $b$ , which is defined by

$I_{\alpha ,b}^m\left(f\right)={\displaystyle {\int }_{{ℝ}^n}{\left(b\left(x\right)-b\left(y\right)\right)}^m\frac{f\left(y\right)}{{\left|x-y\right|}^{n-\alpha }}\text{d}y}$ (2.3)

In [27], Chanillo studied the characterization of BMO space via boundedness of $I_{\alpha ,b}$ . Paluszynski derived the characterization of the ${\text{Lip}}_{\beta }\left({ℝ}^n\right)$ space, which involves the boundedness of $I_{\alpha ,b}$ [19]. In contrast to the extensive and profound results regarding commutators with symbol functions in BMO spaces and lipschite spaces, research on Morrey spaces has been relatively scarce. However, recent developments have emerged, providing innovative characterizations of Morrey spaces through the analysis of the boundedness of commutators associated with Calderón-Zygmund singular integral operators. These developments utilize novel methodologies, moving away from the traditional dependence on the sharp maximal function theorem [28]. This previous breakthrough marks the initial exploration of commutator studies where the symbol function belongs to Morrey spaces.

Let $f$ be a locally integrable function on ${ℝ}^n$ . Hardy-Littlewood maximal operator $M$ is defined by

$Mf\left(x\right):=\underset{x\in B}{\text{sup}}\frac{1}{\left|B\right|}{\displaystyle {\int }_B\left|f\left(y\right)\right|\text{d}y}.$ (2.4)

given $\alpha$ , $0<\alpha <n$ , the fractional maximal operator $M_{\alpha }$ is defined by

$M_{\alpha }f\left(x\right):=\underset{x\in B}{\text{sup}}\frac{1}{{\left|B\right|}^{1-\frac{\alpha }{n}}}{\displaystyle {\int }_B\left|f\left(y\right)\right|\text{d}y}.$ (2.5)

where the supremum is again taken over all balls B which contain $x$ . In the limiting case $\alpha =0$ , the fractional maximal operator reduces to the Hardy-Littlewood maximal operator.

2.2. Variable Exponent Lebesgue Spaces

Let $p(\cdot )$ be a measurable function on ${ℝ}^n$ taking values in $\left[1,\infty \right)$ , the Lebesgue space with variable exponent $L^{p(\cdot )}\left({ℝ}^n\right)$ is defined by

$L^{p(\cdot )}\left({ℝ}^n\right):=\left\{f\text{is}\text{measurable}\text{on}{ℝ}^n:{\displaystyle {\int }_{{ℝ}^n}{\left(\frac{\left|f\left(x\right)\right|}{\lambda }\right)}^{p\left(x\right)}\text{d}x}<\infty \text{for}\text{some}\lambda >0\right\}.$ (2.6)

Then $L^{p(\cdot )}\left({ℝ}^n\right)$ is a Banach function space equipped with the norm

${\Vert f\Vert }_{L^{p(\cdot )}}:=\text{inf}\left\{\lambda >0:{\displaystyle {\int }_{{ℝ}^n}{\left(\frac{\left|f\left(x\right)\right|}{\lambda }\right)}^{p\left(x\right)}\text{d}x}\le 1\right\}.$ (2.7)

The space $L_{\text{loc}}^{p(\cdot )}\left({ℝ}^n\right)$ is defined by $L_{\text{loc}}^{p(\cdot )}\left({ℝ}^n\right):=\{f:f{\chi }_K\in L^{p(\cdot )}\left({ℝ}^n\right)$ for all compact subsets $K\subset {ℝ}^n\}$ , where and what follows, ${\chi }_S$ denotes the characteristic function of a measurable set $S\subset {ℝ}^n$ . Let $p(\cdot ):{ℝ}^n\to \left(0,\infty \right)$ , we denote $p^{-}:=\text{ess}\underset{x\in {ℝ}^n}{\text{inf}}p\left(x\right)$ , $p^{+}:=\text{ess}\underset{x\in {ℝ}^n}{\text{sup}}p\left(x\right)$ . The set consists of all $p(\cdot )$ satisfying $p^{-}>1$ and $p^{+}<\infty$ ; consists of all $p(\cdot )$ satisfying $p^{-}>0$ and $p^{+}<\infty$ . $L^{p(\cdot )}$ can be similarly defined as above for . Let $p^{\prime }(\cdot )$ be the conjugate exponent of $p(\cdot )$ , that means $1/p(\cdot )+1/p^{\prime }(\cdot )=1$ .

Basic facts concerning Lebesgue spaces with variable exponent can be found in [29] [30]

Lemma 2.1 see [31] Let $f$ belong to the Lebesgue space $L^{p(\cdot )}\left({ℝ}^n\right)$ and $g$ belong to $L^{p^{\prime }(\cdot )}\left({ℝ}^n\right)$ , where . Then, the product function $fg$ is integrable over ${ℝ}^n$ , and the following inequality holds.

${\displaystyle {\int }_{{ℝ}^n}\left|f\left(x\right)g\left(x\right)\right|\text{d}x}\le r_p{\Vert f\Vert }_{p(\cdot )}{\Vert g\Vert }_{p^{\prime }(\cdot )},$ (2.8)

where $r_p$ is defined as $r_p=1+\frac{1}{p_{-}}-\frac{1}{p_{+}}$ .

Theorem 2.2 see [32] Let Ω be an open set in ${ℝ}^n$ , and $\alpha$ , $0<\alpha <n$ , Let $p(\cdot ):\Omega \to \left[1,\infty \right)$ , be such that $1<p_{-}\le p_{+}<n/\alpha$ . Suppose further that $p(\cdot )$ satisfies

(i) For any $x,y\in \Omega$ , $\left|x-y\right|<1/2$ , if

$\left|p\left(x\right)-p\left(y\right)\right|\le \frac{C}{-\log \left|x-y\right|},$ (2.9)

(ii) For any $x,y\in \Omega$ , $\left|y\right|\ge \left|x\right|$ , if

$\left|p\left(x\right)-p\left(y\right)\right|\le \frac{C}{\log \left(e+\left|x\right|\right)},$ (2.10)

Define $q(\cdot ):\Omega \to \left[1,\infty \right)$ , $x\in \Omega$ , by

$\frac{1}{p\left(x\right)}-\frac{1}{q\left(x\right)}=\frac{\alpha }{n}$ (2.11)

Then the fractional maximal operator $M_{\alpha }$ is bounded from $L^{p(\cdot )}\left(\Omega \right)$ to $L^{q(\cdot )}\left(\Omega \right)$ .

Theorem 2.3 see [32] Let $\Omega ,\alpha ,p(\cdot )$ and $q(\cdot )$ are as in Theorem 2.2, then the fractional integral operator $I_{\alpha }$ is bounded from $L^{p(\cdot )}\left(\Omega \right)$ to $L^{q(\cdot )}\left(\Omega \right)$ .

3. Boundedness of Fractional Integral Operators

3.1. Variable Exponent Generalized Morrey Spaces

The Morrey spaces ${ℳ}^{p(\cdot ),\lambda (\cdot )}\left(\Omega \right)$ with variable exponents $p(\cdot )$ and $\lambda (\cdot )$ over an open set $\Omega \subset {ℝ}^n$ have recently been introduced almost simultaneously by different authors. Relevant works can be found in [33]-[37].

Let $\lambda (\cdot )$ be a measurable function on Ω with the values in $\left[0,n\right]$ . The variable exponents Morrey space ${ℳ}^{p(\cdot ),\lambda (\cdot )}\left(\Omega \right)$ is defined [33] as the set of measurable functions f on Ω with the finite norm

${\Vert f\Vert }_{{ℳ}^{p(\cdot ),\lambda (\cdot )}\left(\Omega \right)}=\underset{x\in \Omega ,r>0}{\sup }{r}^{-\frac{\lambda \left(x\right)}{p\left(x\right)}}{\Vert f{\chi }_{B^{\prime }\left(x,r\right)}\Vert }_{L^{p(\cdot )}\left(\Omega \right)}.$ (3.1)

The Campanato space ${\mathcal{C}}^{p(\cdot ),\lambda (\cdot )}\left(\Omega \right)$ of variable order, in the Euclidean case, are defined [38] via the norm

${\Vert f\Vert }_{{\mathcal{c}}^{p(\cdot ),\lambda (\cdot )}\left(\Omega \right)}:={\Vert f\Vert }_{L^1\left(\Omega \right)}+\underset{x\in \Omega ,r>0}{\sup }{r}^{-\frac{\lambda \left(x\right)}{p\left(x\right)}}{\Vert f-f_{B^{\prime }\left(x,r\right)}\Vert }_{L^{p(\cdot )}\left(\Omega \right)}.$ (3.2)

Let $p(\cdot ):{ℝ}^n\to \left[1,\infty \right)<\infty$ and $\omega \left(x,\cdot \right):\left(0,\infty \right)\to \left(0,\infty \right)$ . $\omega \left(x,r\right)$ satisfies the doubling condition

$\omega \left(x,2r\right)\le C\omega \left(x,r\right),\text{for}\text{any}x\in \Omega ,r>0,$

where $C>0$ is a constant independent of $x$ and $r$ .

Let $B$ be the ball of centre at $x$ and radius $r$ . The generalized variable Morrey space ${ℳ}^{p(\cdot ),\omega }$ was introduced in [39] as the space of functions equipped with the norm

${\Vert f\Vert }_{{ℳ}^{p(\cdot ),\omega }}=\underset{B}{\text{sup}}\frac{1}{\omega \left(x,r\right)}{r}^{-\frac{n}{p\left(x\right)}}{\Vert f{\chi }_{B\left(x,r\right)}\Vert }_{L^{p(\cdot )}}.$ (3.3)

The generalized variable Campanato space ${\mathcal{C}}^{p(\cdot ),\omega }$ is defined by the norm

${\Vert f\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}=\underset{B}{\sup }\frac{1}{\omega \left(x,r\right)}{r}^{-\frac{n}{p\left(x\right)}}{\Vert \left(f-f_B\right){\chi }_{B\left(x,r\right)}\Vert }_{L^{p(\cdot )}}.$ (3.4)

The generalized Campanato spaces with variable exponents are a key link in the “space-operator-equation” chain in functional analysis. They not only generalize the theory of classical spaces but also provide a powerful functional analysis framework for dealing with problems of non-uniform regularity, such as analysis under variable coefficients and inhomogeneous media.

In [40], a characterization of Campanato spaces was provided via the boundedness of $I_{\alpha ,b}$ under the assumption that $b$ satisfies a mean value inequality. In [41], authors respectively characterized the strong and weak type boundedness of $I_{\alpha ,b}$ on the generalized Morrey spaces. Inspired by these results, in this paper, we obtain a characterization of ${\mathcal{C}}^{p(\cdot ),\omega }$ via the boundedness of $I_{\alpha ,b}$ under a suitable assumption that $b$ satisfies the mean value inequality. A function $f$ is said to satisfy the well-known mean value inequality if there exists a constant $C>0$ such that for any ball $B$ in ${ℝ}^n$ ,

$\underset{B}{\text{sup}}\left|f\left(x\right)-f_B\right|\le \frac{C}{\left|B\right|}{\displaystyle {\int }_B\left|f\left(x\right)-f_B\right|\text{d}x}.$ (3.5)

(3.5) is also called the reverse Hölder class which contains many kinds of functions. For example, if $P\left(x\right)$ is a polynomial and $\xi >0$ , then $f\left(x\right)={\left|P\left(x\right)\right|}^{\xi }$ satisfies (3.5) [42]. Besides polynomial functions, the mean value equalities also characterize harmonic functions [43]. For more theories about the reverse Hölder classes see [44] and [45] for example.

Our main results can be stated as follows.

Theorem 3.1 Let $0<\alpha <n$ , $p(\cdot ):\Omega \to \left[1,\infty \right)<\infty$ , $\frac{1}{p\left(x\right)}-\frac{1}{q\left(x\right)}=\frac{\alpha }{n}$ , $\omega$ is a non-negative measurable function on $\Omega \times \left(0,\ell \right)$ , $\ell =diam\Omega$ , and $\omega$ satisfies the doubling condition. Then the fractional integral $I_{\alpha }$ is a bounded operator from ${ℳ}^{p(\cdot ),\omega }$ to ${ℳ}^{q(\cdot ),\omega }$ .

Theorem 3.2 Let $p(\cdot ):{ℝ}^n\to \left[1,\infty \right)<\infty$ . $\omega \left(x,r\right)$ satisfies the doubling condition, $\omega ={\omega }_1{\omega }_2$ , $0<\alpha <n$ , $b$ satisfy (3.5). Then the following statements are equivalent.

(a) $b\in {\mathcal{C}}^{p_1(\cdot ),{\omega }_1}$ ;

(b) $I_{\alpha ,b}$ is a bounded operator from ${ℳ}^{q(\cdot ),{\omega }_2}$ to ${\mathcal{C}}^{p(\cdot ),\omega }$ ;

(c) For any ball $B\subset {ℝ}^n$ and $m\in {\mathbb{N}}^{+}$ , there exists a constant $C>0$ such that

${\Vert I_{\alpha ,b}^{m}f\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}\le C{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}$

As mentioned in a prior study, solutions to a substantial category of elliptic second-order PDEs fulfill the mean value inequality (3.5). In this manner, our primary findings can provide characterizations for the spaces of solutions to some second-order elliptic PDEs. Let $b$ be a solution to the following Laplace equation

$\text{Δ}u=0$ (3.6)

where $\text{Δ}$ is the Laplace operator and $u$ is a function defined on a bounded domain $\Omega \subset {ℝ}^n$ . As shown in a previous study, $b$ satisfies (3.5) and is bounded [38]. Thus, the corresponding commutator is bounded from ${ℳ}^{q(\cdot ),{\omega }_2}$ to ${\mathcal{C}}^{p(\cdot ),\omega }$ . Then the space of solutions to (3.8) is ${\mathcal{C}}^{p(\cdot ),\omega }$ . The regularity of solutions to some elliptic PDEs with smooth boundaries can be credited to the boundedness of corresponding commutators with smooth kernels. The question of what occurs when the boundary conditions are relaxed can be addressed by studying the boundedness of commutators with rough kernels. For this purpose, the results are extended to the case of rough kernels.

This can be justified by simply stating that the proof follows that of Theorem 3.2 with minor adjustments to the estimates to account for the kernel $\Omega \left(x-y\right)$ . we can claim that Theorem 3.2 also holds true for fractional integrals with homogeneous kernels, which were defined [40] by

$T_{\Omega ,\alpha }f\left(x\right)={\displaystyle {\int }_{{ℝ}^n}\frac{\Omega \left(x-y\right)}{{\left|y-x\right|}^{n-\alpha }}\text{d}y},0<\alpha <n.$ (3.7)

where $\Omega \left(x\right)\in {\text{C}}^{\infty }\left({\text{S}}^{n-1}\right)$ is homogeneous of degree 0 and

${\displaystyle {\int }_{{\text{S}}^{n-1}}\Omega \left(x^{\prime }\right)\text{d}\sigma \left(x^{\prime }\right)}=0.$ (3.8)

Here $\text{d}\sigma$ is the normalized Lebesgue measure and $x^{\prime }=x/\left|x\right|$ . When $\Omega =1$ , $T_{\Omega ,\alpha }$ is the same as the fractional integral $I_{\alpha }$ . If $\alpha =0$ , then $T_{\Omega ,\alpha }$ becomes a Calderόn-Zygmund singular integral operator in the sense of the principal value Cauchy integral.

Corollary 3.3 Let $p(\cdot ),\omega ,{\omega }_1,{\omega }_2,\alpha$ and $b$ be as Theorem 3.2. Then the following conditions are equivalent.

(1) $b\in {\mathcal{C}}^{p_1(\cdot ),{\omega }_1}$ ;

(2) $T_{\Omega ,\alpha ,b}$ is a bounded operator from ${ℳ}^{q(\cdot ),{\omega }_2}$ to ${\mathcal{C}}^{p(\cdot ),\omega }$ ;

(3) For any ball $B\subset {ℝ}^n$ and $m\in {\mathbb{N}}^{+}$ , there exists a constant $C>0$ such that

${\Vert T_{\Omega ,\alpha ,b}^{m}f\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}\le C{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}$

3.2. Proof of Our Main Results

This section begins with some lemmas which will be used in the proof of our results.

Lemma 3.4 Let $p(\cdot ),\omega ,{\omega }_1,{\omega }_2,\alpha$ and $b$ be as Theorem 3.2, and $\frac{1}{s\left(x\right)}=\frac{1}{p_1\left(x\right)}+\frac{1}{q\left(x\right)}$ . Then

${\Vert \left(b-b_B\right)f{\chi }_B\Vert }_{L^{s(\cdot )}}\le C\omega \left(x,r\right)r^{\frac{n}{p\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}.$ (3.9)

Proof. By applying the Hölder inequality we get

$\begin{array}{c}{\Vert \left(b-b_B\right)f{\chi }_B\Vert }_{L^{s(\cdot )}}\le C{\Vert \left(b-b_B\right){\chi }_B\Vert }_{L^{p_1(\cdot )}}{\Vert f{\chi }_B\Vert }_{L^{q(\cdot )}}\\ \le C{\omega }_1\left(x,r\right)r^{\frac{n}{p_1\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot )},{\omega }_1}{\omega }_2\left(x,r\right)r^{\frac{n}{q\left(x\right)}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}\\ \le C\omega \left(x,r\right)r^{\frac{n}{p\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}\end{array}$

where $\frac{1}{q\left(x\right)}=\frac{1}{p_2\left(x\right)}+\frac{\alpha }{n}$ .

Lemma 3.5 Let $B_{*}\subset B$ , $b\in {\mathcal{C}}^{p_1(\cdot ),{\omega }_1}$ .Then the following inequality holds.

$\left|b_{B_{*}}-b_B\right|\le C{\omega }_1\left(x,r\right){\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}.$ (3.10)

Proof. We suppose two cases.

Case 1. When $B_{*}\subset B\subseteq 2B_{*}$ . By using Hölder inequality

$\begin{array}{c}\left|b_{B_{*}}-b_B\right|\le \frac{1}{\left|B_{*}\right|}{\displaystyle {\int }_{B_{*}}\left|b\left(x\right)-b_B\right|\text{d}x}+\frac{1}{\left|B\right|}{\displaystyle {\int }_B\left|b\left(x\right)-b_B\right|\text{d}x}\\ \le \frac{C}{\left|B\right|}{\displaystyle {\int }_B\left|b\left(x\right)-b_B\right|\text{d}x}\\ \le C{\left|B\right|}^{-\frac{1}{p_1\left(x\right)}}{\Vert b-b_B\Vert }_{L^{p_1\left(x\right)}}\\ \le C{\omega }_1\left(x,r\right){\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}.\end{array}$

Case 2. When $2B_{*}\subset B$ . Choose a sequence of nested cubes

$B_{*}:=B_1\subset B_2\subset \cdot \cdot \cdot \subset B=:B_{m+1}$

Similarly to case 1, we have

$\begin{array}{c}\left|b_{B_{*}}-b_B\right|=\left|b_{B_1}-b_{B_2}+b_{B_2}-b_{B_3}+\cdot \cdot \cdot +b_{B_m}-b_{B_{m+1}}\right|\\ \le {\displaystyle \sum }_{i=1}^{\infty }\left|b_{B_i}-b_{B_{i+1}}\right|,\\ \le C{\omega }_1\left(x,r\right){\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ), {\omega }_1}}.\end{array}$

Proof of Theorem 3.1. Let $f$ be a function in ${ℳ}^{p(\cdot ),\omega }\left(\Omega \right)$ . For any fixed $r>0$ , denote $B\left(0,r\right)$ by $B$ . $B^{\prime }=B\cap \Omega$ . For any ball $B$ , let $2B=B\left(0,2r\right)$ . We write $f$ as $f=f_1+f_2$ , where $f_1=f{\chi }_{2B}$ and $f_2=f-f_1$ . By the Minkowski inequality, we have

$\begin{array}{c}{\Vert I_{\alpha }f\Vert }_{{ℳ}^{q(\cdot ),\omega }}\le {\Vert I_{\alpha }{f}_1\Vert }_{{ℳ}^{q(\cdot ),\omega }}+{\Vert I_{\alpha }{f}_2\Vert }_{{ℳ}^{q(\cdot ),\omega }}:\\ =I_1+I_2\end{array}$

We first estimate $I_1$ .

Note that $f_1\in L^{p(\cdot )}$ and $I_{\alpha }$ is bounded from $L^{p(\cdot )}$ to $L^{q(\cdot )}$ , we get

$\begin{array}{c}{\Vert I_{\alpha }{f}_1{\chi }_{B^{\prime }\left(x,r\right)}\Vert }_{L^{q(\cdot )}}\le {\Vert I_{\alpha }{f}_1\Vert }_{L^{q(\cdot )}}\lesssim {\Vert f_1\Vert }_{L^{p(\cdot )}}\\ ={\Vert f{\chi }_{2B}\Vert }_{L^{p(\cdot )}}.\end{array}$

Thus,

$\begin{array}{c}{\Vert I_{\alpha }{f}_1\Vert }_{{ℳ}^{q(\cdot ),\omega }}=\underset{B}{\text{sup}}\frac{1}{\omega \left(x,r\right)}{r}^{-\frac{n}{q\left(x\right)}}{\Vert I_{\alpha }{f}_1{\chi }_{B^{\prime }\left(x,r\right)}\Vert }_{L^{q(\cdot )}}\\ \lesssim \frac{1}{\omega \left(x,r\right)}{r}^{-\frac{n}{q\left(x\right)}}{\Vert f{\chi }_{2B}\Vert }_{L^{p(\cdot )}}\\ \lesssim \frac{1}{\omega \left(x,r\right)}{r}^{-\frac{n}{q\left(x\right)}}\omega \left(x,2r\right){\left(2r\right)}_{}^{\frac{n}{p\left(x\right)}}{\Vert f\Vert }_{{ℳ}^{p(\cdot ),\omega }}\\ \lesssim r^{\alpha }{\Vert f\Vert }_{{ℳ}^{p(\cdot ),\omega }}.\end{array}$

Now we turn to prove $I_2$ . For $x\in B$ and $y\in 2^{k+1}B\backslash 2^{k}B$ , we have $\left|x-y\right|\approx {\left|2^{k}B\right|}^{1/n}$ , together with the Hölder inequality, we obtain

$\begin{array}{c}\left|I_{\alpha }{f}_2\left(x\right)\right|=\left|I_{\alpha }\left(f{\chi }_{{(2B)}^c}\right)\left(x\right)\right|\\ \le {\displaystyle \sum }_{k=1}^{\infty }{\displaystyle {\int }_{2^{k+1}B\backslash 2^{k}B}\frac{\left|f\left(y\right)\right|}{{\left|y-x\right|}^{n-\alpha }}\text{d}y}\\ \lesssim {\displaystyle \sum }_{k=1}^{\infty }{\left|2^{k}B\right|}^{-1+\frac{\alpha }{n}}{\displaystyle {\int }_{2^{k+1}B}\left|f\left(y\right)\right|\text{d}y}\\ \lesssim {\displaystyle \sum }_{k=1}^{\infty }{\left|2^{k}B\right|}^{-1+\frac{\alpha }{n}}{\Vert {\chi }_{2^{k+1}B}\Vert }_{L^{p^{\prime }(\cdot )}}{\Vert f{\chi }_{2^{k+1}B}\Vert }_{L^{p(\cdot )}}.\end{array}$

Therefore,

$\begin{array}{c}{\Vert I_{\alpha }{f}_2\Vert }_{{ℳ}^{q(\cdot ),\omega }}=\underset{B}{\text{sup}}\frac{1}{\omega \left(x,r\right)}{r}^{-\frac{n}{q\left(x\right)}}{\Vert I_{\alpha }{f}_2{\chi }_{B^{\prime }\left(x,r\right)}\Vert }_{L^{q(\cdot )}}\\ \lesssim \frac{1}{\omega \left(x,r\right)}{r}^{-\frac{n}{q\left(x\right)}}{\displaystyle \sum }_{k=1}^{\infty }{\left|2^{k}B\right|}^{-1+\frac{\alpha }{n}}{\Vert {\chi }_{2^{k+1}B}\Vert }_{L^{p^{\prime }(\cdot )}}{\Vert f{\chi }_{2^{k+1}B}\Vert }_{L^{p(\cdot )}}{\Vert {\chi }_B\Vert }_{L^{q(\cdot )}}\\ \lesssim \frac{1}{\omega \left(x,r\right)}{r}^{-\frac{n}{q\left(x\right)}}{\displaystyle \sum }_{k=1}^{\infty }{\left|2^{k}B\right|}^{-1+\frac{\alpha }{n}}{\Vert {\chi }_{2^{k+1}B}\Vert }_{L^{p^{\prime }(\cdot )}}{\Vert {\chi }_B\Vert }_{L^{q(\cdot )}}\omega \left(x,2^{k+1}r\right)\\ \times {\left(2^{k+1}r\right)}^{\frac{n}{p\left(x\right)}}{\Vert f\Vert }_{{ℳ}^{p(\cdot ),\omega }}\\ \lesssim \frac{1}{\omega \left(x,r\right)}{r}^{-\frac{n}{q\left(x\right)}}{\displaystyle \sum }_{k=1}^{\infty }{\left|2^{k}B\right|}^{-1+\frac{\alpha }{n}}{\left|2^{k+1}B\right|}^{1-\frac{1}{p_{-}}}{\left|B\right|}^{\frac{1}{q_{-}}}\omega \left(x,2^{k+1}r\right)\\ \times {\left(2^{k+1}r\right)}^{\frac{n}{p\left(x\right)}}{\Vert f\Vert }_{{ℳ}^{p(\cdot ),\omega }}\\ \lesssim {\Vert f\Vert }_{{ℳ}^{p(\cdot ),\omega }}.\end{array}$

This completes the proof.

Proof of Theorem 3.2. Let $f$ be a function in ${ℳ}^{q(\cdot ),{\omega }_2}$ . For any fixed $r>0$ , denote $B\left(0,r\right)$ by $B$ . It suffices to show that the fact

${\Vert \left(I_{\alpha ,b}f-{\left(I_{\alpha ,b}f\right)}_B\right){\chi }_B\Vert }_{L^{p(\cdot )}}\le C\omega \left(x,r\right)r^{\frac{n}{p\left(x\right)}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}$

For any ball $B$ , let $2B=B\left(0,2r\right)$ . We write $f$ as $f=f_1+f_2$ , where $f_1=f{\chi }_{2B}$ and $f_2=f-f_1$ . By using the facts $I_{\alpha ,b}f=I_{\alpha ,\left(b-b_B\right)}f$ , and $\left|I_{\alpha ,\left(b-b_B\right)}f\left(y\right)-{\left(I_{\alpha ,\left(b-b_B\right)}f\right)}_B\right|\le 2\left|I_{\alpha ,\left(b-b_B\right)}f\left(y\right)-\left(I_{\alpha }\left(b-b_B\right)f_2\right)\left(x_B\right)\right|$ ([19], p. 5, [40], p. 6) imply the following.

$\begin{array}{l}{\Vert \left(I_{\alpha ,b}f-{\left(I_{\alpha ,b}f\right)}_B\right){\chi }_B\Vert }_{L^{p(\cdot )}}\\ ={\Vert \left(I_{\alpha ,\left(b-b_B\right)}f-{\left(I_{\alpha ,\left(b-b_B\right)}f\right)}_B\right){\chi }_B\Vert }_{L^{p(\cdot )}}\\ \le 2{\Vert \left(I_{\alpha ,\left(b-b_B\right)}f-\left(I_{\alpha }\left(b-b_B\right)f_2\right)\left(x_B\right)\right){\chi }_B\Vert }_{L^{p(\cdot )}}\\ \le 2{\Vert \left(\left(b-b_B\right)I_{\alpha }f\right){\chi }_B\Vert }_{L^{p(\cdot )}}+2{\Vert \left(I_{\alpha }\left(b-b_B\right)f_1\right){\chi }_B\Vert }_{L^{p(\cdot )}}\\ +2{\Vert I_{\alpha }\left(b-b_B\right)f_2-\left(I_{\alpha }\left(\left(b-b_B\right)f_2\right)\left(x_B\right)\right){\chi }_B\Vert }_{L^{p(\cdot )}}\\ =:E_1+E_2+E_3\end{array}$

Now we first estimate $E_1$ ,

$\begin{array}{c}{\Vert \left(\left(b-b_B\right)I_{\alpha }f\right){\chi }_B\Vert }_{L^{p(\cdot )}}\lesssim {\Vert \left(b-b_B\right){\chi }_B\Vert }_{L^{p_1(\cdot )}}{\Vert \left(I_{\alpha }f\right){\chi }_B\Vert }_{L^{p_2(\cdot )}}\\ \lesssim {\omega }_1\left(x,r\right)r^{\frac{n}{p_1\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f{\chi }_B\Vert }_{L^{q(\cdot )}}\\ \lesssim {\omega }_1\left(x,r\right)r^{\frac{n}{p_1\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\omega }_2\left(x,r\right)r^{\frac{n}{q\left(x\right)}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}\\ \lesssim \omega \left(x,r\right)r^{\frac{n}{p\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}.\end{array}$

where $\frac{1}{q\left(x\right)}=\frac{1}{p_2\left(x\right)}+\frac{\alpha }{n}$ , $\frac{1}{p\left(x\right)}=\frac{1}{p_1\left(x\right)}+\frac{1}{p_2\left(x\right)}$ .

Next we will find the estimate for $E_2$

$\begin{array}{c}\left(I_{\alpha }\left(b-b_B\right)f_1\right){\chi }_B{}_{L^{p(\cdot )}}\lesssim {\Vert \left(\left(b-b_B\right)f_1\right){\chi }_B\Vert }_{L^{s(\cdot )}}\\ \lesssim {\Vert \left(b-b_B\right){\chi }_B\Vert }_{L^{p_1(\cdot )}}{\Vert f{\chi }_{2B}\Vert }_{L^{q(\cdot )}}\\ \lesssim {\omega }_1\left(x,r\right)r^{\frac{n}{p_1\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\omega }_2\left(x,2r\right){\left(2r\right)}^{\frac{n}{q\left(x\right)}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}\\ \lesssim \omega \left(x,r\right)r^{\frac{n}{p\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}.\end{array}$

where $\frac{1}{s\left(x\right)}=\frac{1}{p\left(x\right)}+\frac{\alpha }{n}$ , $\frac{1}{s\left(x\right)}=\frac{1}{p_1\left(x\right)}+\frac{1}{q\left(x\right)}$ .

Now we will find the estimate for the term $E_3$ ,

$\begin{array}{l}\left|I_{\alpha }\left(b-b_B\right)f_2\left(y\right)-\left(I_{\alpha }\left(\left(b-b_B\right)f_2\right)\right)\left(x_B\right)\right|\\ \le {\displaystyle {\int }_{{\left(2B\right)}^c}\frac{\left|y-x_B\right|}{{\left|x_B-z\right|}^{n+1-\alpha }}\left|b\left(z\right)-b_B\right|\left|f\left(z\right)\right|\text{d}z}\\ \le {\displaystyle \sum }_{k=2}^{\infty }{\displaystyle {\int }_{2^{k}B\backslash 2^{k-1}B}{2}^{-k}{\left|2^{k}B\right|}^{-1+\frac{\alpha }{n}}\left|b\left(z\right)-b_B\right|\left|f\left(z\right)\right|\text{d}z}\\ \lesssim {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k{\left|2^{k}B\right|}^{1-\frac{\alpha }{n}}}{\displaystyle {\int }_{2^{k}B}\left|b\left(z\right)-b_{2^{k}B}\right|\left|f\left(z\right)\right|\text{d}z}\\ +{\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k{\left|2^{k}B\right|}^{1-\frac{\alpha }{n}}}{\displaystyle {\int }_{2^{k}B}\left|b_B-b_{2^{k}B}\right|\left|f\left(z\right)\right|\text{d}z}\end{array}$

$\begin{array}{c}{E}_3\lesssim {\Vert {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k{\left|2^{k}B\right|}^{1-\frac{\alpha }{n}}}{\displaystyle {\int }_{2^{k}B}\left|b\left(z\right)-b_{2^{k}B}\right|\left|f\left(z\right)\right|\text{d}z}\Vert }_{L^{p(\cdot )}}\\ +{\Vert {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k{\left|2^{k}B\right|}^{1-\frac{\alpha }{n}}}{\displaystyle {\int }_{2^{k}B}\left|b_B-b_{2^{k}B}\right|\left|f\left(z\right)\right|\text{d}z}\Vert }_{L^{p(\cdot )}}\\ =:I_1+I_2\end{array}$

$\begin{array}{c}{I}_1\lesssim {\Vert {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k}{\displaystyle {\int }_{2^{k}B}\frac{1}{{\left|2^{k}B\right|}^{1-\frac{\alpha }{n}}}\left|b\left(z\right)-b_{2^{k}B}\right|\left|f\left(z\right)\right|\text{d}z}\Vert }_{L^{p(\cdot )}}\\ \lesssim {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k}{\Vert M_{\alpha }\left|b-b_{2^{k}B}\right|\left|f\right|\Vert }_{L^{p(\cdot )}}\\ \lesssim {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k}{\Vert \left|b-b_{2^{k}B}\right|\left|f\right|\Vert }_{L^{s(\cdot )}}\\ \lesssim \omega \left(x,r\right)r^{\frac{n}{p\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}.\end{array}$

Now we find the estimate for $I_1$ , by using the boundedness of $M_{\alpha }$ (Theorem 2.2) and Lemma 3.4, we have.

Now we find the estimate for $I_2$ . By using the boundedness of $M_{\alpha }$ (Theorem 2.2) and Lemma 3.5, we have.

$\begin{array}{c}{I}_2\lesssim {\Vert {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k}{\displaystyle {\int }_{2^{k}B}\frac{1}{{\left|2^{k}B\right|}^{1-\frac{\alpha }{n}}}\left|b_B-b_{2^{k}B}\right|\left|f\left(z\right)\right|\text{d}z}\Vert }_{L^{p(\cdot )}}\\ \lesssim {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k}\left|b_B-b_{2^{k}B}\right|{\Vert M_{\alpha }f{\chi }_{2^{k}B}\Vert }_{L^{p(\cdot )}}\\ \lesssim {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k}{\omega }_1\left(x,r\right){\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f{\chi }_{2^{k}B}\Vert }_{L^{s(\cdot )}}\\ \lesssim {\displaystyle \sum }_{k=2}^{\infty }\frac{1}{2^k}{\omega }_1\left(x,r\right){\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert {\chi }_{2^{k}B}\Vert }_{L^{p_1(\cdot )}}{\Vert f{\chi }_{2^{k}B}\Vert }_{L^{q(\cdot )}}\\ \lesssim \omega \left(x,r\right)r^{\frac{n}{p\left(x\right)}}{\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}.\end{array}$

which completes our desired results.

Now we will prove that (b) $\Rightarrow$ (c). In this case, the induction can be performed on $m$ . $m=1$ is trivial, so it can be assumed that for any $b\in {\mathcal{C}}^{p_1(\cdot ),{\omega }_1}$ ,

${\Vert I_{\alpha ,b}^{m-1}f\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}\le C{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}.$

Next, the case $m$ can be shown. The following can be confirmed easily.

$\begin{array}{c}\left|I_{\alpha ,b}^{m}f\left(x\right){\chi }_B\right|=\left|{\displaystyle {\int }_B{\left(b\left(x\right)-b_y\right)}^{m-1}\frac{\left|f\left(y\right)\right|}{{\left|y-x\right|}^{n-\alpha }}\left(b\left(x\right)-b_y\right)\text{d}y}\right|\\ \le \left|{\displaystyle {\int }_B{\left(b\left(x\right)-b_y\right)}^{m-1}\frac{\left|f\left(y\right)\right|}{{\left|y-x\right|}^{n-\alpha }}\left(b\left(x\right)-b_B\right)\text{d}y}\right|\\ +\left|{\displaystyle {\int }_B{\left(b\left(x\right)-b_y\right)}^{m-1}\frac{\left|f\left(y\right)\right|}{{\left|y-x\right|}^{n-\alpha }}\left(b\left(y\right)-b_B\right)\text{d}y}\right|\\ \le \left(\left|b-b_B\right|\left|I_{\alpha ,b}^{m-1}f\right|\right)\left(x\right)+\left|I_{\alpha ,b}^{m-1}\left(\left(b-b_B\right)f\right)\left(x\right)\right|\\ =:J_1+J_2\end{array}$

The condition (3.5) and Hölder inequality allow the user to estimate $J_1$ as follows.

$\begin{array}{c}{\Vert J_1\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}\le {\Vert \left|b-b_B\right|\left|I_{\alpha ,b}^{m-1}f\right|\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}\\ \lesssim {\Vert b-b_B\Vert }_{L^{\infty }}{\Vert I_{\alpha ,b}^{m-1}f\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}\\ \lesssim \frac{C}{\left|B\right|}{\displaystyle {\int }_B\left|b\left(x\right)-b_B\right|\text{d}x}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}\\ \lesssim {\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}.\end{array}$

$\begin{array}{c}{\Vert J_2\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}={\Vert I_{\alpha ,b}^{m-1}\left(b-b_B\right)f\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}\\ \lesssim {\Vert \left(b-b_B\right)f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}\\ \lesssim {\Vert b-b_B\Vert }_{L^{\infty }}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}.\\ \lesssim {\Vert b\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}.\end{array}$

Similarly, the following can be shown.

This produces the following result.

${\Vert I_{\alpha ,b}^{m}f\Vert }_{{\mathcal{C}}^{p(\cdot ),\omega }}\le C{\Vert f\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}$

(c) $\Rightarrow$ (a), this proof consists of the construction of proper commutator [28]. This depends on the smoothness of the kernel function $K\left(x\right)=1/{\left|x\right|}^{n-\alpha }$ . Choosing $z_0\ne 0$ and $\delta >0$ such that ${\left|z\right|}^{n-\alpha }$ can be expressed in the neighborhood $\left|z-z_0\right|<\sqrt{n}\delta$ as an absolute convergent Fourier series

${\left|z\right|}^{n-\alpha }={\displaystyle \sum a_n{\text{e}}^{i{v}_n\cdot z}},$

where the exact form of the vectors $v_n$ is irrelevant. Set $z_1={\delta }^{-1}{z}_0$ . If $\left|z-z_1\right|<\sqrt{n}$ ,

${\left|z\right|}^{n-\alpha }={\delta }^{\alpha -n}{\left|z_1\right|}^{n-\alpha }={\delta }^{\alpha -n}{\displaystyle \sum a_n{\text{e}}^{i{v}_n\cdot z_1}}.$

Choose now any ball $B=B\left(x_0,r\right)$ . Set $y_0=x_0-r{z}_1$ and $B^{\prime }=B\left(y_0,r\right)$ . Thus, if $x\in B$ and $y\in B^{\prime }$ , then

$\left|\frac{x-y}{r}-z_1\right|\le \left|\frac{x-x_0}{r}-\frac{y-y_0}{r}\right|\le \sqrt{n}.$

Denote $s\left(x\right)=\mathrm{sgn}{\left(b\left(x\right)-b_{B^{\prime }}\right)}^{p_1\left(x\right)}$ , and using Hölder inequality, we have.

$\begin{array}{c}{\Vert b-b_{B^{\prime }}\Vert }_{L^{p_1(\cdot )}\left(B\right)}\le {\Vert \frac{1}{\left|B^{\prime }\right|}{\displaystyle {\int }_{B^{\prime }}\left|b\left(x\right)-b\left(y\right)\right|\text{d}y}\cdot s\Vert }_{L^{p_1(\cdot )}}\\ \lesssim {\displaystyle \sum }_m{a}_m\frac{1}{\left|B\right|}{\Vert {\displaystyle {\int }_{{ℝ}^n}\left|b\left(x\right)-b\left(y\right)\right|\frac{g_n\left(y\right)}{{\left|x-y\right|}^{n-\alpha }}\text{d}y}{h}_n\Vert }_{L^{p_1(\cdot )}}\\ \lesssim {\Vert I_{\alpha ,b}{g}_n\Vert }_{L^{p_1(\cdot )}}\\ \lesssim {\omega }_1\left(x,r\right)r^{\frac{n}{p_1\left(x\right)}}{\Vert I_{\alpha ,b}{g}_n\Vert }_{{\mathcal{C}}^{p_1(\cdot ),{\omega }_1}}\\ \lesssim {\omega }_1\left(x,r\right)r^{\frac{n}{p_1\left(x\right)}}{\Vert g_n\Vert }_{{ℳ}^{q(\cdot ),{\omega }_2}}\end{array}$

where $\frac{1}{q\left(x\right)}=\frac{1}{p_1\left(x\right)}+\frac{\alpha }{n}$ .

Hence $b\in {\mathcal{C}}^{p_1(\cdot ),{\omega }_1}$ yields the desired results.

Acknowledgement

This work is supported by the National Natural Science Foundation of China (Grant No. 12361018).

Conflicts of Interest

The authors declare that they have no competing interests.

References

[1]	Campanato, S. (1963) Propriet´a di Holderianit´a di alcune classi di funzioni. Annali Della Scuola Normale Superiore Di Pisa-Classe Di Scienze, 17, 175-188.
[2]	Stampacchia, G. (1964) Lp,λ-Spaces and Interpolation. Communications on Pure and Applied Mathematics, 17, 293-306.[CrossRef]
[3]	John, F. and Nirenberg, L. (1961) On Functions of Bounded Mean Oscillation. Communications on Pure and Applied Mathematics, 14, 415-426.[CrossRef]
[4]	Campanato, S. and Murthy, M.K.V. (1965) Una generalizzazione del teorema di Riesz-Thorin. Annali Della Scuola Normale Superiore Di Pisaclasse Di Scienze, 19, 87-100.
[5]	Stampacchia, G. (1965) The Spaces Lp,λ and Np,λ and Interpolation. Annali Della Scuola Normale Superiore Di Pisa-Classe Di Scienze, 19, 443-462.
[6]	Afif, A., Omer. A. and Tao, S. (2016) Boundedness of Fractional Integral with Variable Kernel and Their Commutators on Variable Exponent Herz Spaces. Applied Mathematics, 7, 1165-1182.
[7]	Fu, Z., Gong, R., Pozzi, E. and Wu, Q. (2023) Cauchy–Szegö Commutators on Weighted Morrey Spaces. Mathematische Nachrichten, 296, 1859-1885.[CrossRef]
[8]	Hu, P., Tao, J. and Yang, D. (2023) New John-Nirenberg-Campanato-Type Spaces Related to Both Maximal Functions and Their Commutators. Mathematical Methods in the Applied Sciences, 46, 5937-5963.[CrossRef]
[9]	Khalil, O., Tao, S. and Mahamat, B. (2021) Commutator of Marcinkiewicz Integral Operators on Herz-Morrey-Hardy Spaces with Variable Exponents. Applied Mathematics, 12, 421-448.[CrossRef]
[10]	Liu, F., Fu, Z. and Wu, Y. (2024) Variation Operators for Commutators of Rough Singular Integrals on Weighted Morrey Spaces. Journal of Applied Analysis & Computation, 14, 263-282.[CrossRef]
[11]	Shi, S. and Lu, S. (2015) Characterization of the Central Campanato Space via the Commutator Operator of Hardy Type. Journal of Mathematical Analysis and Applications, 429, 713-732.[CrossRef]
[12]	Wang, D. and Shu, L. (2022) New Function Classes of Morrey–Campanato Type and Their Applications. Banach Journal of Mathematical Analysis, 16, Article No. 39.[CrossRef]
[13]	Coifman, R.R., Rochberg, R. and Weiss, G. (1976) Factorization Theorems for Hardy Spaces in Several Variables. The Annals of Mathematics, 103, 611-635.[CrossRef]
[14]	Chen, P., Duong, X.T., Li, J. and Wu, Q. (2019) Compactness of Riesz Transform Commutator on Stratified Lie Groups. Journal of Functional Analysis, 277, 1639-1676.[CrossRef]
[15]	Duong, X.T., Lacey, M., Li, J., Wick, B.D. and Wu, Q. (2021) Commutators of Cauchy-Szego Type Integrals for Domains in Cn with Minimal Smoothness. Indiana University Mathematics Journal, 70, Article 15051541.
[16]	Fu, Z., Pozzi, E. and Wu, Q. (2022) Commutators of Maximal Functions on Spaces of Homogeneous Type and Their Weighted, Local Versions. Frontiers of Mathematics in China, 17, 625-652.[CrossRef]
[17]	Fu, Z., Lu, S. and Shi, S. (2021) Two Characterizations of Central BMO Space via the Commutators of Hardy Operators. Forum Mathematicum, 33, 505-529.[CrossRef]
[18]	Janson, S. (1978) Mean Oscillation and Commutators of Singular Integral Operators. Arkiv för Matematik, 16, 263-270.[CrossRef]
[19]	Paluszynski, M. (1995) Characterization of the Besov Spaces via the Commutator Operator of Coifman, Rochberg and Weiss. Indiana University Mathematics Journal, 44, 1-17.[CrossRef]
[20]	Shi, S., Fu, Z. and Lu, S. (2020) On the Compactness of Commutators of Hardy Operators. Pacific Journal of Mathematics, 307, 239-256.[CrossRef]
[21]	Chiarenza, F., Frasca, M. and Longo, P. (1993) W2,p-Solvability of the Dirichlet Problem for Nondivergence Elliptic Equations with VMO Coefficients. Transactions of the American Mathematical Society, 336, 841-853.
[22]	Difazio, G. and Ragusa, M.A. (1993) Interior Estimates in Morrey Spaces for Strong Solutions to Nondivergence Form Equations with Discontinuous Coefficients. Journal of Functional Analysis, 112, 241-256.[CrossRef]
[23]	Ragusa, M.A. (2004) Cauchy–Dirichlet Problem Associated to Divergence form Parabolic Equations. Communications in Contemporary Mathematics, 6, 377-393.[CrossRef]
[24]	Caffarelli, L. A. and Peral, I. (1998) On W1,p Estimates for Elliptic Equations in Divergence Form. Communications on Pure and Applied Mathematics: A Journal Issued by the Courant Institute of Mathematical Sciences, 51, 1-21.
[25]	Dong, H. and Kim, D. (2010) Elliptic Equations in Divergence Form with Partially BMO Coefficients. Archive for Rational Mechanics and Analysis, 196, 25-70.[CrossRef]
[26]	Fan, D.S., Lu, S.Z. and Yang, D.C. (1998) Regularity in Morrey Spaces of Strong Solutions to Nondivergence Elliptic Equations with VMO. Georgian Mathematical Journal, 5, 425-440.[CrossRef]
[27]	Chanillo, S. (1982) A Note on Commutators. Indiana University Mathematics Journal, 31, 7-16.
[28]	Shi, S.G. and Lu, S.Z. (2013) Some Characterizations of Campanato Spaces via Commutators on Morrey Spaces. Pacific Journal of Mathematics, 264, 221-234.[CrossRef]
[29]	Kovcik, O. and Rákosník, J. (1991) On Spaces Lp(x) and Wk,p(x). Czechoslovak Mathematical Journal, 41, 592-618.
[30]	Sharapudinov, I.I. (1979) Topology of the Space Lp(t)([0,1]). Mathematical Notes of the Academy of Sciences of the USSR, 26, 796-806. [Google Scholar] [CrossRef]
[31]	Cruz-Uribe, D. and Fiorenza, A. (2013) Variable Lebesgue Spaces: Foundations and Harmonic Analysis. Springer.
[32]	Capone, C., Cruz-Uribe, D. and Fiorenza, A. (2007) The Fractional Maximal Operator and Fractional Integrals on Variable Lp Spaces. 23, 743-770.[CrossRef]
[33]	Almeida, A., Hasanov, J. and Samko, S. (2008) Maximal and Potential Opera to Pacific Journal of Mathematicsrs in Variable Exponent Morrey Spaces. Georgian Mathematical Journal, 15, 195-208.[CrossRef]
[34]	Fan, X. (2010) Variable Exponent Morrey and Campanato Spaces. Nonlinear Analysis: Theory, Methods & Applications, 72, 4148-4161.[CrossRef]
[35]	Kokilashvili, V. and Meskhi, A. (2008) Boundedness of Maximal and Singular Operators in Morrey Spaces with Variable Exponent. Armenian Journal of Mathematics, 1, 18-28.
[36]	Kokilashvili, V. and Meskhi, A. (2010) Maximal Functions and Potentials in Variable Exponent Morrey Spaces with Non-Doubling Measure. Complex Variables and Elliptic Equations, 55, 923-936.[CrossRef]
[37]	Ohno, T. (2008) Continuity Properties for Logarithmic Potentials of Functions in Morrey Spaces of Variable Exponent. Hiroshima Mathematical Journal, 38, 363-383.[CrossRef]
[38]	Rafeiro, H. and Samko, S. (2024) Fractional Operators of Variable Order from Variable Exponent Morrey Spaces to Variable Exponent Campanato Spaces on Quasi-Metric Measure Spaces with Growth Condition. Ricerche di Matematica, 73, 803-818.[CrossRef]
[39]	Guliyev, V.S., Hasanov, J.J. and Samko, S.G. (2010) Boundedness of Nonlinear Analysis: Real World Applications the Maximal, Potential and Singular Operators in the Generalized Variable Exponent Morrey Spaces. Mathematica Scandinavica, 107, 285-304.
[40]	Shi, S. and Lu, S. (2014) A Characterization of Campanato Space via Commutator of Fractional Integral. Journal of Mathematical Analysis and Applications, 419, 123-137.[CrossRef]
[41]	Eroglu, A., Guliyev, V.S. and Azizov, J.V. (2017) Characterizations for the Fractional Integral Operators in Generalized Morrey Spaces on Carnot Groups. Mathematical Notes, 102, 722-734.[CrossRef]
[42]	Fefferman, C.L. (1983) The Uncertainty Principle. Bulletin of the American Mathematical Society, 9, 129-206.[CrossRef]
[43]	Gilbarg, D., Trudinger, N.S., Gilbarg, D. and Trudinger, N.S. (1977) Elliptic Partial Differential Equations of Second Order (Vol. 224, No. 2). Springer.
[44]	Cruz-Uribe, D. and Neugebauer, C.J. (1995) The Structure of the Reverse Hölder Classes. Transactions of the American Mathematical Society, 347, 2941-2960.[CrossRef]
[45]	Harboure, E., Salinas, O. and Viviani, B. (1998) Reverse-Holder Classes in the Orlicz Spaces Setting. Studia Mathematica, 130, 245-261.