Grand weighted variable Herz-Morrey spaces estimate for some operators

1.   Introduction

Since Kováčik and Rákosník established the theory of variable-exponent function spaces in ^[1], the subject has attracted extensive attention by many scholars. The theory of the variable-exponent Lebesgue spaces $L^{p(\cdot)}(\mathbb{R}^{n})$ has been extensively investigated, see ^[2,3,4,5]. Izuki first introduced the variable-exponent Herz spaces ${\rm{\dot K}}^{\alpha, q}_{p(\cdot)}(\mathbb{R}^{n})$ ^[6] and considered the boundedness of commutators of fractional integrals in these spaces; for more research about the boundedness of operators in the above spaces, see ^[7,8]. Subsequently, Izuki generalized the Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p}^{\alpha, \lambda}(\mathbb{R}^{n})$ in ^[9] into the variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\mathbb{R}^{n})$ ^[10], for more research about $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\mathbb{R}^{n})$, see ^[11,12,13]. On the other hand, the Muckenhoupt weight theory is a powerful tool in harmonic analysis, ^{[14,15,16,17]}. By using the basics on Banach function spaces and the variable-exponent Muckenhoupt theory, Izuki and Noi developed the theory of weighted variable-exponent Herz spaces $\dot K_{p(\cdot)}^{\alpha, q}(\omega)$ ^[18,19,20]. After that, the research for the boundedness of some operators, such as the commutator of bilinear Hardy operators, commutators of fractional integral operators, and fractional Hardy operators achieved good results on weighted variable Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\omega)$; for more details, see ^{[21,22,23,24,25,26]}. Consequently, many scholars have contributed to the study of function spaces and related differential equations, ^[27,28].

Motivated by the mentioned works, the main goal of this paper is to establish the boundedness of higher-order commutators $I_{\beta, b}^{m}$ generated by the fractional integral operator with BMO functions on grand weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{\lambda, p(\cdot)}^{\alpha, r), \theta}(\omega)$ and to establish boundedness of the $m-$order multilinear fractional Hardy operator $\mathcal{H}_{\beta, m}$ and its adjoint operator $\mathcal{H}^{\ast}_{\beta, m}$ on weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\omega)$. The paper is organized as follows: In Section 2, we collect some preliminary definitions and lemmas. Our main results and their proof will be given in Section 3 and Section 4.

Now, let us recall some notations that will be used in this paper.

In ^[29], Hardy defined the classical Hardy operator as follows:

In ^[30], Christ and Grafakos defined the $n-$dimensional Hardy operator as follows:

and established the boundedness of $\mathcal{H}(f)(x)$ in $L^{p}(\mathbb{R}^{n})$, obtaining the best constants.

In ^[31], under the condition of $0\leq \beta < n$ and $|x| = \sqrt{\sum_{i = 1}^{n}x_{i}^{2}}$, Fu et al. defined the $n-$dimensional fractional Hardy operator and its adjoint operator as follows:

and established the boundedness of their commutators in Lebesgue spaces and homogeneous Herz spaces.

Let $m$ and $n$ be positive integers with $m\geq 1$, $n\geq 2$, and $0\leq \beta < mn$, and let $L_{\mathrm{loc}}^{1}(\mathbb{R}^{n})$ be the collection of all locally integrable functions on $\mathbb{R}^{n}$. Wu and Zhang in ^[12] defined the $m-$order multilinear fractional Hardy operator and its adjoint operator as follows:

where $x\in \mathbb{R}^{n}\setminus \{0\}$, $|(t_{1}, t_{2}, \cdots t_{m})| = \sqrt{t_{1}^{2}+t_{2}^{2}+\cdots +t_{m}^{2}}$. $\overrightarrow{f} = (f_{1}, f_{2}, \cdots, f_{m})$ is a vector-valued function, where $f_{i}(i = 1, 2, \cdots, m)\in L_{\mathrm{loc}}^{1}(\mathbb{R}^{n})$.

Obviously, when $m = 1$, $\mathcal{H}_{\beta, m} = \mathcal{H}_{_{\beta}}$, $\mathcal{H}^{\ast}_{\beta, m} = \mathcal{H}^{\ast}_{\beta}$. When $\beta = 0$, $\mathcal{H}_{m}$ indicates a multilinear operator $\mathcal{H}_{0, m}$ corresponding to the Hardy operator $\mathcal{H}$, and $\mathcal{H}^{\ast}_{m}$ indicates a multilinear operator $\mathcal{H}^{\ast}_{0, m}$ corresponding to the adjoint operator $\mathcal{H}^{\ast}: = \mathcal{H}_{0}^{\ast}$.

Let $L_{\mathrm{loc}}^{1}(\mathbb{R}^{n})$ be the collection of all locally integrable functions on $\mathbb{R}^{n}$, and given a function $b\in L_{\mathrm{loc}}^{1}(\mathbb{R}^{n})$, the bounded mean oscillation (BMO) space and the BMO norm are defined, respectively, as follows:

where the supremum is taken over all the balls $B\in \mathbb{R}^{n}$ and $b_{B} = |B|^{-1}\int_{B}b(y)\mathrm{d}y$.

Let $b\in \mathrm{BMO(\mathbb{R}^{n})}$, $0 < \beta < n$, and the fractional integral operator $I_{\beta}$ and the commutator of fractional integral operator $[b, I_{\beta}]f(x)$ are defined, respectively, as follows:

Let $b\in \mathrm{BMO(\mathbb{R}^{n})}$, $0 < \beta < n$, and $m\in \mathbb{N}$. The higher-order commutator of fractional integrals operator $I_{\beta, b}^{m}$ is defined as follows:

Obviously, when $m = 1$, $I_{\beta, b}^{1}(f)(x) = [b, I_{\beta}]f(x)$; and when $m = 0$, $I_{\beta, b}^{0}(f)(x) = I_{\beta}(f)(x)$.

For $0\leq \beta < n$ and $f\in L_{\mathrm{loc}}^{1}(\mathbb{R}^{n})$, the fractional maximal operator $M_{\beta}$ is defined as follows:

Where the supremum is taken over all balls $B\subset\mathbb{R}^{n}$ containing $x$. When $\beta = 0$, we simply write $M$ instead of $M_{0}$, which is exactly the Hardy-Littlewood maximal function.

Throughout this paper, we use the following symbols and notations:

1. For a constant $R > 0$ and a point $x\in \mathbb{R}^{n}$, we write $B(x, R): = \{y\in \mathbb{R}^{n}: |x-y| < R\}$.

2. For any measurable set $E\subset\mathbb{R}^{n}$, $|E|$ denotes the Lebesgue measure and $\chi_{E}$ means the characteristic function.

3. Given $k\in \mathbb{Z}$, we write $B_{k}: = \overline{B(0, 2^{k})} = \{x\in \mathbb{R}^{n}: |x|\leq 2^{k}\}$.

4. We define a family $\{C_{k}\}_{k = -\infty}^{\infty}$ by $C_{k}: = B_{k}\setminus B_{k-1} = \{x\in \mathbb{R}^{n}: 2^{k-1} < |x|\leq 2^{k}\}$. Moreover $\chi_{k}$ denotes the characteristic function of $C_{k}$, namely, $\chi_{k}: = \chi_{C_{k}}$.

5. For any index $1 < p(x) < \infty$, $p^{\prime}(x)$ is denoted by its conjugate index, namely, $\frac{1}{p(x)}+\frac{1}{p^{\prime}(x)} = 1$.

6. If there exists a positive constant $C$ independent of the main parameters such that $A\leq CB$, then we write $A\lesssim B$. Additionally $A\approx B$ means that both $A\lesssim B$ and $B\lesssim A$ hold.

2.   Preliminaries

In this section, we first recall some definitions related to the variable Lebesgue space and variable Muckenhoupt weight theory. On this basis, we review some definitions of weighted variable-exponent Lebesgue spaces, weighted variable-exponent Herz-Morrey spaces, and grand weighted variable-exponent Herz-Morrey spaces. In addition, we recall some definitions of Banach function space and weighted Banach function space. Then, we present several relevant lemmas that will aid in the proof of our main boundedness result.

2.1.   Some definitions that will be used in this paper

$\textbf{Definition 2.1}$ (see ^[2]) Let $p(\cdot):\mathbb{R}^{n}\rightarrow [1, \infty)$ be a real-valued measurable function.

$(i)$ The Lebesgue space with variable-exponent $L^{p(\cdot)}(\mathbb{R}^{n})$ is defined by

$(ii)$ The spaces with variable-exponent $L_{\mathrm{loc}}^{p(\cdot)}(E)$ are defined by

The variable-exponent Lebesgue space $L^{p(\cdot)}(\mathbb{R}^{n})$ is a Banach space with the norm defined by

$\textbf{Definition 2.2}$ (see ^[2]) $(i)$ The set $\mathcal{P}_{0}(\mathbb{R}^{n})$ consists of all measurable functions $p(\cdot): \mathbb{R}^{n}\rightarrow (0, \infty)$ satisfying

where

$(ii)$ The set $\mathcal{P}(\mathbb{R}^{n})$ consists of all measurable functions $p(\cdot): \mathbb{R}^{n}\rightarrow [1, \infty)$ satisfying

where

$(iii)$ The set $\mathcal{B}(\mathbb{R}^{n})$ consists of all measurable functions $p(\cdot)\in \mathcal{P}(\mathbb{R}^{n})$ satisfying that the Hardy-Littlewood maximal operator $M$ is bounded on $L^{p(\cdot)}(\mathbb{R}^{n})$.

$\textbf{Definition 2.3}$ (see ^[2]) Suppose that $p(\cdot)$ is a real-valued function on $\mathbb{R}^{n}$. We say that

$(i) \; \mathcal{C}_{\mathrm{loc}}^{\mathrm{log}}(\mathbb{R}^{n})$ is the set of all local log-Hölder continuous functions $p(\cdot)$ satisfying

$(ii) \; \mathcal{C}_{0}^{\mathrm{log}}(\mathbb{R}^{n})$ is the set of all local log-Hölder continuous functions $p(\cdot)$ satisfying at origin

$(iii) \; \mathcal{C}_{\mathrm{\infty}}^{\mathrm{log}}(\mathbb{R}^{n})$ is the set of all local log-Hölder continuous functions satisfying at infinity

$(iv) \; \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n}) = \mathcal{C}_{\mathrm{\infty}}^{\mathrm{log}}(\mathbb{R}^{n})\cap \mathcal{C}_{\mathrm{loc}}^{\mathrm{log}}(\mathbb{R}^{n})$ denotes the set of all global log-Hölder continuous functions $p(\cdot)$.

In ^[2], the author proved that if $p(\cdot)\in \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})$, then $p^{\prime}(\cdot)\in \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})$, and also proved that if $p(\cdot)\in \mathcal{P}(\mathbb{R}^{n})\cap \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})$, then the Hardy-Littlewood maximal operator $M$ is bounded on $L^{p(\cdot)}(\mathbb{R}^{n})$.

$\textbf{Definition 2.4}$ (see ^[17]) $(i)$ Given a non-negative, measure function $\omega$, for $1 < p < \infty$, $\omega\in A_{p}$ if

where the supremum is taken over all balls $B\subset \mathbb{R}^{n}$.

$(ii)$ A weight $\omega$ is called a Muckenhoupt weight $A_{1}$ if

$(iii)$ A weight $\omega$ is called a Muckenhoupt weight $A_{\infty}$ if

Note that these weights characterize the weighted norm inequalities for the Hardy-Littlewood maximal operator, that is, $\omega\in A_{p}$, $1 < p < \infty$, if and only if $M:L^{p}(\omega)\rightarrow L^{p}(\omega)$.

$\textbf{Definition 2.5}$ (see ^[18]) Suppose that $p(\cdot)\in \mathcal{P}(\mathbb{R}^{n})$, a weight $\omega$ is in the class $A_{p(\cdot)}$ if

Obviously, if $p(\cdot) = p, 1 < p < \infty$, then the above definition reduces to the classical Muckenhoupt $A_{p}$ class. In ^[18], suppose $p(\cdot), q(\cdot)\in \mathcal{P}(\mathbb{R}^{n})$ and $p(\cdot)\leq q(\cdot)$, then $A_{1}\subset A_{p(\cdot)}\subset A_{q(\cdot)}$.

$\textbf{Definition 2.6}$ (see ^[18]) Let $0 < \beta < n$ and $p_{1}(\cdot), p_{2}(\cdot)\in \mathcal{P}(\mathbb{R}^{n})$ such that $\frac{1}{p_{2}(x)} = \frac{1}{p_{1}(x)}-\frac{\beta}{n}$. A weighted $\omega$ is said to be an $A(p_{1}(\cdot), p_{2}(\cdot))$ weight, then for all balls $B\subset \mathbb{R}^{n}$ satisfying

In ^[14], suppose $p_{1}(\cdot), p_{2}(\cdot)\in \mathcal{P}(\mathbb{R}^{n})$ and $\beta\in (0, n)$ such that $\frac{1}{p_{2}(x)} = \frac{1}{p_{1}(x)}-\frac{\beta}{n}$. Then $\omega\in A{(p_{1}(\cdot), p_{2}(\cdot))}$ if and only if $\omega^{p_{2}(\cdot)}\in A_{1+\frac{p_{2}(\cdot)}{p_{1}^{\prime}(\cdot)}}$.

$\textbf{Definition 2.7}$ (see ^[25]) Let $p(\cdot)\in \mathcal{P}(\mathbb{R}^{n})$ and $\omega\in A_{p(\cdot)}$, the weighted variable-exponent Lebesgue space $L^{p(\cdot)}(\omega)$ denotes the set of all complex-valued measurable functions $f$ satisfying

This is a Banach space equipped with the norm:

$\textbf{Definition 2.8}$ (see ^[25]) Let $\alpha\in \mathbb{R}, 0 < q < \infty$, $p(\cdot)\in \mathcal{P}(\mathbb{R}^{n})$ and $0\leq \lambda < \infty$. The homogeneous weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\omega)$ are defined by

where

Nonhomogeneous weighted variable-exponent Herz-Morrey spaces can be defined in a similar way. For more details, see ^[25]. When $\lambda = 0$, the weighted variable-exponent Herz-Morrey spaces become weighted variable-exponent Herz spaces, see ^[18].

$\textbf{Definition 2.9}$ (see ^[32]) Let $p(\cdot)\in \mathcal{P}(\mathbb{R}^{n}), \alpha\in \mathbb{R}, \theta > 0, 0 < r < \infty, 0\leq\lambda < \infty$. The homogeneous grand weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{\lambda, p(\cdot)}^{\alpha, r), \theta}(\omega)$ are the collection of $L_{\mathrm{loc}}^{p(\cdot)}(\mathbb{R}^{n}\setminus\{0\}, \omega)$ such that

where

Nonhomogeneous grand weighted variable-exponent Herz-Morrey spaces can be defined in a similar way. For more details, see ^[32]. When $\lambda = 0$, the grand weighted variable-exponent Herz-Morrey spaces become grand weighted variable-exponent Herz spaces, see ^[33].

$\textbf{Definition 2.10}$ (see ^[18]) Let $\mathcal{M}$ be the set of all complex-valued measurable functions defined on $\mathbb{R}^{n}$, and $X$ a linear subspace of $\mathcal{M}$.

1. The space $X$ is said to be a Banach function space if there exists a function $\|\cdot\|_{X}:\mathcal{M}\rightarrow [0, \infty]$ satisfying the following properties: Let $f, g, f_{j}\in\mathcal{M}(j = 1, 2, \ldots),$ then

(a) $f\in X$ holds if and only if $\|f\|_{X} < \infty$.

(b) Norm property:

i. Positivity: $\|f\|_{X}\geq 0$.

ii. Strict positivity: $\|f\|_{X} = 0$ holds if and only if $f(x) = 0$ for almost every $x\in \mathbb{R}^{n}$.

iii. Homogeneity: $\|\lambda f\|_{X} = |\lambda|\cdot\|f\|_{X}$ holds for all $\lambda\in\mathbb{C}$.

iv. Triangle inequality: $\|f+g\|_{X}\leq \|f\|_{X}+\|g\|_{X}$.

(c) Symmetry: $\|f\|_{X} = \||f|\|_{X}$.

(d) Lattice property: If $0\leq g(x)\leq f(x)$ for almost every $x\in \mathbb{R}^{n}$, then $\|g\|_{X}\leq\|f\|_{X}$.

(e) Fatou property: If $0\leq f_{j}(x)\leq f_{j+1}(x)$ for all $j$ and $f_{j}(x)\rightarrow f(x)$ as $j\rightarrow \infty$ for almost every $x\in \mathbb{R}^{n}$, then $\lim\limits_{j\rightarrow \infty}\|f_{j}\|_{X} = \|f\|_{X}$.

(f) For every measurable set $F\subset \mathbb{R}^{n}$ such that $|F| < \infty$, $\|\chi_{F}\|_{X}$ is finite. Additionally, there exists a constant $C_{F} > 0$ depending only on $F$ so that $\int_{F}|h(x)|\mathrm{d}x\leq C_{F}\|h\|_{X}$ holds for all $h\in X$.

2. Suppose that $X$ is a Banach function space equipped with a norm $\|\cdot\|_{X}$. The associated space $X^{\prime}$ is defined by

where

$\textbf{Definition 2.11}$ Let(see ^[18]) Let $X$ be a Banach function spaces. The set $X_{loc}(\mathbb{R}^{n})$ consists of all measurable functions $f$ such that $f\chi_{E}\in X$ for any compact set $E$ with $|E| < \infty$. Given a function $\mathcal{W}$ such that $0 < \mathcal{W}(x) < \infty$ for almost every $x\in (\mathbb{R}^{n})$, $\mathcal{W}\in X_{loc}(\mathbb{R}^{n})$ and $\mathcal{W}^{-1}\in (X^{\prime})_{loc}(\mathbb{R}^{n})$, the weighted Banach function space is defined by

2.2.   Some lemmas that will be used in this paper

$\textbf{Lemma 2.1}$ (see ^[34]) Let $X$ be a Banach function space, then we have

$(i)$ The associated space $X^{\prime}$ is also a Banach function spaces.

$(ii) \; \|\cdot\|_{(X^{\prime})^{\prime}}$ and $\|\cdot\|_{X}$ are equivalent.

$(iii)$ If $g\in X$ and $f\in X^{\prime}$, then

is the generalized Hölder inequality.

$\textbf{Lemma 2.2}$ (see ^[34]) If $X$ is a Banach function space, then we have, for all balls $B$,

$\textbf{Lemma 2.3}$ (see ^[16]) Let $X$ be a Banach function space. Suppose that the Hardy-Littlewood maximal operator $M$ is weakly bounded on $X$, that is,

is true for all $f\in X$ and all $\lambda > 0$. Then, we have

$\textbf{Lemma 2.4}$ (see ^[18]) $(i)$ The weighted Banach function space $X(\mathbb{R}^{n}, \mathcal{W})$ is a Banach function space equipped by the norm

$(ii)$ The associate space of $X(\mathbb{R}^{n}, \mathcal{W})$ is a Banach function space and equals $X^{\prime}(\mathbb{R}^{n}, \mathcal{W}^{-1})$.

$\textbf{Remark 2.5}$ (see ^[21]) Let $p(\cdot)\in\mathcal{P}(\mathbb{R}^{n})$ and by comparing the $L^{p(\cdot)}(\omega^{p(\cdot)})$ and $L^{p^{\prime}(\cdot)}(\omega^{-p^{\prime}(\cdot)})$ with the definition of $X(\mathbb{R}^{n}, \mathcal{W})$, we have

1. If we take $\mathcal{W} = \omega$ and $X = L^{p(\cdot)}(\mathbb{R}^{n})$, then we get $L^{p(\cdot)}(\mathbb{R}^{n}, \omega) = L^{p(\cdot)}(\omega^{p(\cdot)})$.

2. If we consider $\mathcal{W} = \omega^{-1}$ and $X = L^{p^{\prime}(\cdot)}(\mathbb{R}^{n})$, then we get $L^{p^{\prime}(\cdot)}(\mathbb{R}^{n}, \omega^{-1}) = L^{p^{\prime}(\cdot)}(\omega^{-p^{\prime}(\cdot)})$. By virtue of Lemma 2.4, we get

$\textbf{Lemma 2.6}$ (see ^[18]) Let $X$ be a Banach function space. Suppose that $M$ is bounded on the associate space $X^{\prime}$. Then there exists a constant $0 < \delta < 1$ such that for all balls $B\subset \mathbb{R}^{n}$ and all measurable sets $E\subset B$,

The paper ^[1] shows that $L^{p(\cdot)}(\mathbb{R}^{n})$ is a Banach function space and the associated space $L^{p^{\prime}(\cdot)}(\mathbb{R}^{n})$ has equivalent norm.

$\textbf{Lemma 2.7}$ (see ^[20]) Let $p(\cdot)\in\mathcal{P}(\mathbb{R}^{n})\cap \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})$ and $\omega\in A_{p(\cdot)}$, then there are constants $\delta_{1}, \delta_{2}\in (0, 1)$ and $C > 0$ such that for all $k, l\in \mathbb{Z}$ with $k\leq l$,

and

$\textbf{Lemma 2.8}$ (see ^[35] Theorem 3.12) Let $p_{1}(\cdot)\in \mathcal{P}(\mathbb{R}^{n})\cap \mathrm{LH}(\mathbb{R}^{n})$ and $0 < \beta < \frac{n}{p_{1}^{+}}$. Define $p_{2}(\cdot)$ by $\frac{1}{p_{1}(\cdot)}-\frac{1}{p_{2}(\cdot)} = \frac{\beta}{n}$. If $\omega\in A(p_{1}(\cdot), p_{2}(\cdot))$, then $I_{\beta}$ is bounded from $L^{p_{1}(\cdot)}(\omega^{p_{1}(\cdot)})$ to $L^{p_{2}(\cdot)}(\omega^{p_{2}(\cdot)})$.

$\textbf{Lemma 2.9}$ (see ^[35] Theorem 3.14) Suppose that $b\in \mathrm{BMO}(\mathbb{R}^{n})$ and $m\in \mathbb{N}$. Let $p_{1}(\cdot)\\ \in \mathcal{P}(\mathbb{R}^{n})\cap \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})$ and $0 < \beta < \frac{n}{p_{1}^{+}}$. Define $p_{2}(\cdot)$ by $\frac{1}{p_{1}(\cdot)}-\frac{1}{p_{2}(\cdot)} = \frac{\beta}{n}$. If $\omega\in A(p_{1}(\cdot), p_{2}(\cdot))$, then

$\textbf{Lemma 2.10}$ (see ^[36] Theorem 2.3) Let $p(\cdot), p_{1}(\cdot), p_{2}(\cdot)\in \mathcal{P}_{0}(\mathbb{R}^{n})$ such that $\frac{1}{p(x)} = \frac{1}{p_{1}(x)}+\frac{1}{p_{2}(x)}$ for $x\in \mathbb{R}^{n}$. Then, there exists a constant $C_{p, p_{1}}$ independent of functions $f$ and $g$ such that

holds for every $f\in L^{p_{1}(\cdot)}(\mathbb{R}^{n})$ and $g\in L^{p_{2}(\cdot)}(\mathbb{R}^{n})$.

$\textbf{Lemma 2.11}$ (see ^[23] Corollary 3.11) Let $b\in \mathrm{BMO}(\mathbb{R}^{n}), m\in \mathbb{N}$, and $k, j\in \mathbb{Z}$ with $k > j$. Then we have

and

3.   Higher-order commutators of fractional integrals operator

In this section, under certain hypothetical conditions, we first establish the boundedness of higher-order commutators $I_{\beta, b}^{m}$ generated by the fractional integrals operator with BMO functions on weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\omega)$. Then, we establish the boundedness of $I_{\beta, b}^{m}$ on grand weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{\lambda, p(\cdot)}^{\alpha, r), \theta}(\omega)$.

$\textbf{Theorem 3.1 }\quad$ Suppose that $b\in \mathrm{BMO}(\mathbb{R}^{n})$ and $m\in \mathbb{N}$. Let $0 < \lambda < \infty$, $0 < q_{1}\leq q_{2} < \infty$, $p_{2}(\cdot)\in \mathcal{P}(\mathbb{R}^{n})\cap \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})$, $\omega^{p_{2}}(\cdot)\in A_{1}$, $\delta_{1}, \delta_{2}\in(0, 1)$ are the constants appearing in (2.17) and (2.18) respectively. $\alpha$ and $\beta$ are such that

$(i) \; -n\delta_{1}+\lambda < \alpha < n\delta_{2}-\beta+\lambda$

$(ii) \; 0 < \beta < n(\delta_{1}+\delta_{2})$.

Define $p_{1}(\cdot)$ by $\frac{1}{p_{2}(\cdot)} = \frac{1}{p_{1}(\cdot)}-\frac{\beta}{n}$, then $I_{\beta, b}^{m}$ are bounded from $\mathrm{M\dot{K}}_{q_{2}, p_{2}(\cdot)}^{\alpha, \lambda}(\omega^{p_{2}(\cdot)})$ to $\mathrm{M\dot{K}}_{q_{1}, p_{1}(\cdot)}^{\alpha, \lambda}(\omega^{p_{1}(\cdot)})$.

$\textbf{Proof}\quad$ We prove the homogeneous case while the nonhomogeneous case is similar. For all $f\in \mathrm{M\dot{K}}_{q_{2}, p_{2}(\cdot)}^{\alpha, \lambda}(\omega^{p_{2}(\cdot)})(\mathbb{R}^{n})$ and $\forall b\in \mathrm{BMO}(\mathbb{R}^{n})$, if we denote $f_{j}: = f\chi_{j} = f\chi_{C_{j}}$ for each $j\in \mathbb{Z}$, then $f = \sum_{j = -\infty}^{\infty}f_{j}$. So we can write

Because of $0 < \frac{q_{1}}{q_{2}}\leq 1$, then the Jensen inequality follows that

By virtue of (3.1), we obtain

First we estimate $\mathcal{J}_{1}$. Note that if $x\in C_{k}$, $y\in C_{j}$, and $j\leq k-2$, then $|x-y|\thickapprox |x|\thickapprox 2^{k}$. By $C_{p}$ inequality and generalized Hölder inequality, for every $j, k \in \mathbb{Z}$, we get

By taking the $L^{p_{2}(\cdot)}(\omega^{p_{2}(\cdot)})-$norm for (3.2), by Lemma 2.11, we have

By virtue of Lemma 2.6, we have

Note that $\chi_{B_{j}}(x)\lesssim 2^{-j\beta}I_{\beta}(\chi_{B_{j}})$ (see ^[11] p.350), by applying (2.15), (3.4), and Lemma 2.8, we obtain

By virtue of (2.14) and (2.15), combining (2.18) and (3.5), we have

Hence by virtue of (3.3) and (3.6), we have

On the other hand, note the following fact:

Thus, by virtue of (3.7) and (3.8), remark that $\alpha < n\delta_{2}-\beta+\lambda$,

Next, we estimate $\mathcal{J}_{2}$. Using Lemma 2.9, we get

Finally, we estimate $\mathcal{J}_{3}$. Note that if $x\in C_{k}$, $y\in C_{j}$, and $j\geq k+2$, then $|x-y|\thickapprox |x|\thickapprox 2^{j}$. By the $C_{p}$ inequality and generalized Hölder inequality, for every $j, k \in \mathbb{Z}$, we get

Thus, by taking the $L^{p_{2}(\cdot)}(\omega^{p_{2}(\cdot)})-$norm for (3.9), by virtue of Lemma 2.11, we have

On the other hand, by (2.14) and (2.15), combining (2.17) and (3.5), we have

Hence, combining (3.10) and (3.11), we obtain

Thus, by virtue of (3.9) and (3.12), remark that $\lambda-n\delta_{1} < \alpha$, and we conclude that

Combining the estimates of $\mathcal{J}_{1}, \mathcal{J}_{2}, \mathcal{J}_{3}$, we complete the proof of Theorem 3.1.

$\textbf{Theorem 3.2}\; \quad$ Suppose that $b\in \mathrm{BMO}(\mathbb{R}^{n})$ and $m\in \mathbb{N}$. Let $0\leq\lambda < \infty$, $1 < r < \infty$, $p_{2}(\cdot)\in \mathcal{P}(\mathbb{R}^{n})\cap \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})$, $\omega^{p_{2}}(\cdot)\in A_{1}$, $\delta_{1}, \delta_{2}\in(0, 1)$ be the constants appearing in (2.17) and (2.18) respectively. $\alpha$ and $\beta$ are such that

$(i) \; -n\delta_{1} < \alpha < n\delta_{2}-\beta$

$(ii) \; 0 < \beta < n(\delta_{1}+\delta_{2})$.

Define $p_{1}(\cdot)$ by $\frac{1}{p_{2}(\cdot)} = \frac{1}{p_{1}(\cdot)}-\frac{\beta}{n}$, then $I_{\beta, b}^{m}$ is bounded from $\mathrm{M\dot{K}}_{\lambda, p_{2}(\cdot)}^{\alpha, r), \theta}(\omega^{p_{2}(\cdot)})$ to $\mathrm{M\dot{K}}_{\lambda, p_{1}(\cdot)}^{\alpha, r), \theta}(\omega^{p_{1}(\cdot)})$.

$\textbf{Proof}\quad$ We prove the homogeneous case, as the nonhomogeneous case is similar. For all $f\in \mathrm{M\dot{K}}_{\lambda, p_{2}(\cdot)}^{\alpha, r), \theta}(\omega^{p_{2}(\cdot)})$ and $\forall b\in \mathrm{BMO}(\mathbb{R}^{n})$, if we denote $f_{j}: = f\chi_{j} = f\chi_{C_{j}}$ for each $j\in \mathbb{Z}$, then $f = \sum_{j = -\infty}^{\infty}f_{j}$. So we can write

Then we have

First, we estimate $\mathcal{J}_{1}$. Remark that $\alpha < n\delta_{2}-\beta$, thus we consider two cases: $1 < r(1+\delta) < \infty$ and $0 < r(1+\delta)\leq1$. For the case $1 < r(1+\delta) < \infty$, by applying (3.7) and Hölder inequality, we have

For $0 < r(1+\delta)\leq1$, by virtue of (3.7), we have

Next, we estimate $\mathcal{J}_{2}$. Using Lemma 2.9, we get

Finally, we estimate $\mathcal{J}_{3}$. By virtue of (3.12), we have

Remark that $\alpha+n\delta_{1} > 0$, thus we consider two cases $1 < r(1+\delta) < \infty$ and $0 < r(1+\delta)\leq1$. For the case $1 < r(1+\delta) < \infty$, by applying Hölder inequality, we have

For $0 < r(1+\delta)\leq1$, we have

Combining the estimates of $\mathcal{J}_{1}, \mathcal{J}_{2}, \mathcal{J}_{3}$, we complete the proof of Theorem 3.2.

$\textbf{Remark 3.3}\; \quad$ When $\lambda = 0$ and $m = 0$, Theorem 3.1 holds on weighted variable-exponent Herz spaces and generalizes the result of Izuki in ^[18] (see Theorem 4). When $0 < \lambda < n$ and $m = 1$, Theorem 3.1 has been proved by Zhao in ^[26] (see Theorem 2.2). When $m = 0$, Theorem 3.2 holds on grand weighted variable-exponent Herz-Morrey spaces, and generalizes the result of Sultan in ^[32] (see Theorem 2).

4.   Multilinear fractional Hardy-type operators

In this section, under some assumed conditions, we first establish the boundedness of the $m-$order multilinear fractional Hardy operator $\mathcal{H}_{\beta, m}$ on weighted variable exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\omega)$. Then, we establish the boundedness of the adjoint operator of the $m-$order multilinear fractional Hardy operator $\mathcal{H}^{\ast}_{\beta, m}$ on weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\omega)$. As a corollary of the above two results, we also obtain the corresponding result for multilinear Hardy operator $\mathcal{H}_{m}$ and its adjoint operator $\mathcal{H}^{\ast}_{m}$.

$\textbf{Theorem 4.1}\; \quad$ Let $p_{i}(\cdot)\in\mathcal{P}(\mathbb{R}^{n})\cap \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})(i = 1, 2, \cdots, m, m\in \mathbb{Z^{+}})$, $p(\cdot)$ is defined as follows:

Let $0 < \beta < \frac{mn}{\max\limits_{1\leq i\leq m}(p_{i})^{+}}$, $0 < q_{i} < \infty$, $\lambda_{i} > 0$, $\frac{1}{q} = \sum_{i = 1}^{m}\frac{1}{q_{i}}-\frac{\beta}{n}$, $\lambda = \sum_{i = 1}^{m}\lambda_{i}$, $\alpha = \sum_{i = 1}^{m}\alpha_{i}$, $\omega\in A_{p(\cdot)}$, $\omega_{i}\in A_{p_{i}(\cdot)}$, $\omega = \prod_{i = 1}^{m}\omega_{i}$, $\alpha_{i} < \lambda_{i}+n\delta_{i2}$, where $\delta_{i2}\in(0, 1)$ are the constants in (2.18) for exponents $p_{i}(\cdot)$ and weights $\omega_{i}^{p_{i}(\cdot)}$, then

$\textbf{Proof}\; \quad$ We prove the homogeneous case, since the nonhomogeneous case is similar. Without loss of generality, we only consider the case $m = 2$. Actually, a similar procedure works for all $m\in \mathbb{Z^{+}}(m\geq 1)$. When $m = 2$, then we have

For arbitrary $f_{i}\in \mathrm{M\dot{K}}_{q_{i}, p_{i}(\cdot)}^{\alpha_{i}, \lambda_{i}}(\omega_{i}^{p_{i}(\cdot)})(i = 1, 2)$, let $f_{k_{i}}: = f_{i}\cdot\chi_{k_{i}} = f_{i}\cdot\chi_{C_{k_{i}}}$, then

By virtue of the definition of $\mathcal{H}_{\beta, 2}$ and generalized Hölder inequality (2.13), we have

Note that if $u(\cdot), p_{1}(\cdot), p_{2}(\cdot)\in \mathcal{P}(\mathbb{R}^{n})$ such that $\frac{1}{u(x)} = \frac{1}{p_{1}(x)}+\frac{1}{p_{2}(x)}$ for $x\in \mathbb{R}^{n}$, and $\omega\in A_{u(\cdot)}$ with $\omega_{i}\in A_{p_{i}(\cdot)}$, $\omega = \prod_{i = 1}^{2}\omega_{i}$, by (2.19) of Lemma 2.10, we have

By virtue of (2.16) of Lemma 2.6, we have

Let $\frac{1}{u(x)} = \frac{1}{p_{1}(x)}+\frac{1}{p_{2}(x)}$, then by the condition of Theorem 4.1, it implies that $\frac{\beta}{n} = \frac{1}{u(x)}-\frac{1}{p(x)}$. Note that $\chi_{B_{k}}\leq C2^{-k\beta}I_{\beta}(\chi_{B_{k}})(x)$ (see ^[11] p.350), by virtue of (2.15), (4.2), (4.3), and Lemma 2.8, we have

Remark that $k_{1}\leq k, k_{2}\leq k$. By applying (2.18) and (4.4), we have

Thus, by taking the $L^{p(\cdot)}(\omega^{p(\cdot)})-$norm for (4.1), and by virtue of (4.5), we have

Let $0 < \gamma\leq 1$, then by the Jensen inequality it follows that

Let $\frac{1}{v} = \frac{1}{q_{1}}+\frac{1}{q_{2}}$, then $\frac{1}{q} = \frac{1}{v}-\frac{\beta}{n}$, therefore $q > v$. By applying (4.6), (4.7), and Hölder inequality in sequential form, we have

on the other hand, note the following fact:

Remark that $\alpha_{i} < \lambda_{i}+n\delta_{i2}$. By applying (4.7), (4.8), and (4.9), we have

This finishes the proof of Theorem 4.1.

$\textbf{Theorem 4.2}\; \quad$ Let $p_{i}(\cdot)\in\mathcal{P}(\mathbb{R}^{n})\cap \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})(i = 1, 2, \cdots, m, m\in \mathbb{Z^{+}})$, $p(\cdot)$ is defined as follows:

Let $0 < \beta < \frac{mn}{\max\limits_{1\leq i\leq m}(p_{i})^{+}}$, $0 < q_{i} < \infty$, $\lambda_{i} > 0$, $\frac{1}{q} = \sum_{i = 1}^{m}\frac{1}{q_{i}}-\frac{\beta}{n}$, $\lambda = \sum_{i = 1}^{m}\lambda_{i}$, $\alpha = \sum_{i = 1}^{m}\alpha_{i}$, $\omega\in A_{p(\cdot)}$, $\omega_{i}\in A_{p_{i}(\cdot)}$, $\omega = \prod_{i = 1}^{m}\omega_{i}$, $\alpha_{i} > \lambda_{i}+\frac{\beta}{m}-n\delta_{i1}$, where $\delta_{i1}\in(0, 1)$ are the constants in (2.17) for exponents $p_{i}(\cdot)$ and weights $\omega_{i}^{p_{i}(\cdot)}$, then

$\textbf{Proof}\; \quad$ We prove the homogeneous case, since the nonhomogeneous case is similar. Without loss of generality, we only consider the case $m = 2$. Actually, a similar procedure works for all $m\in \mathbb{Z^{+}}(m\geq 1)$. When $m = 2$, then we have

For arbitrary $f_{i}\in \mathrm{M\dot{K}}_{q_{i}, p_{i}(\cdot)}^{\alpha_{i}, \lambda_{i}}(\omega_{i}^{p_{i}(\cdot)})(i = 1, 2)$, let $f_{k_{i}}: = f_{i}\cdot\chi_{k_{i}} = f_{i}\cdot\chi_{C_{k_{i}}}$, then

Note that $|t_{1}|^{n-\frac{\beta}{2}}|t_{2}|^{n-\frac{\beta}{2}} < |(t_{1}, t_{2})|^{2n-\beta}$ (see ^[37] p.11). By virtue of the definition of $\mathcal{H}_{\beta, 2}^{\ast}$ and generalized Hölder inequality, we have

Remark that $k_{1}\geq k, k_{2}\geq k$. By applying (2.14), (2.17), and (4.4), we have

Thus, by taking the $L^{p(\cdot)}(\omega^{p(\cdot)})-$norm for (4.10), and by virtue of (4.11), we have

Let $\frac{1}{v} = \frac{1}{q_{1}}+\frac{1}{q_{2}}$, then $\frac{1}{q} = \frac{1}{v}-\frac{\beta}{n}$; therefore, $q > v$. By applying (4.7), (4.12), and Hölder inequality in sequential form, we have

Remark that $\alpha_{i} > \lambda_{i}+\frac{\beta}{2}-n\delta_{i1}$. By applying (4.7), (4.9), and (4.13), we have

This finishes the proof of Theorem 4.2.

$\textbf{Theorem 4.3}\; \quad$ Let $p_{i}(\cdot)\in\mathcal{P}(\mathbb{R}^{n})\cap \mathcal{C}^{\mathrm{log}}(\mathbb{R}^{n})(i = 1, 2, \cdots, m, m\in \mathbb{Z^{+}})$, $p(\cdot)$ is defined as follows:

Let $0 < q_{i} < \infty$, $\lambda_{i} > 0$, $\frac{1}{q} = \sum_{i = 1}^{m}\frac{1}{q_{i}}$, $\lambda = \sum_{i = 1}^{m}\lambda_{i}$, $\omega\in A_{p(\cdot)}$, $\omega_{i}\in A_{p_{i}(\cdot)}$, $\omega = \prod_{i = 1}^{m}\omega_{i}$, $\delta_{i1}, \delta_{i2}\in(0, 1)$ are the constants in Lemma 2.7 for exponents $p_{i}(\cdot)$ and weights $\omega_{i}^{p_{i}(\cdot)}$, then

$(i)$ When $\alpha_{i} < \lambda_{i}+n\delta_{i2}$, we have

$(ii)$ When $\alpha_{i} > \lambda_{i}-n\delta_{i1}$, we have

$\textbf{Proof}\; \quad \; (i)$ We prove the homogeneous case, since the nonhomogeneous case is similar. Since the proof method is similar to the Theorem 4.1, we only give the proof idea here and omit the detailed proof. Without loss of generality, we only consider the case $m = 2$. Actually, a similar procedure works for all $m\in \mathbb{Z^{+}}(m\geq 1)$. When $m = 2$, similar to the estimation of (4.1), by virtue of the definition of $\mathcal{H}_{2}$ and generalized Hölder inequality, we have

By taking the $L^{p(\cdot)}(\omega^{p(\cdot)})-$norm for (4.14) and applying (2.18) and (4.4), we have

Next, the required results are obtained in a way similar to the proof of Theorem 4.1.

$(ii)$ We prove the homogeneous case, since the nonhomogeneous case is similar. Since the proof method is similar to the Theorem 4.2, we only give the proof idea here and omit the detailed proof. Without loss of generality, we only consider the case $m = 2$. Actually, a similar procedure works for all $m\in \mathbb{Z^{+}}(m\geq 1)$. When $m = 2$, similar to the estimation of (4.10), by virtue of the definition of $\mathcal{H}^{\ast}_{2}$ and generalized Hölder inequality, we have

By taking the $L^{p(\cdot)}(\omega^{p(\cdot)})-$norm for (4.16), applying (2.14), (2.15), (2.17), and (4.4), we have

Similar to the estimation of (4.13). By applying (4.7), (4.17), and Hölder inequality in sequential form, we have

Remark that $\alpha_{i} > \lambda_{i}-n\delta_{i1}$. By applying (4.7), (4.9), and (4.18), we have

This finishes the proof idea of Theorem 4.3.

$\textbf{Remark 4.4}\quad$ Because of $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, 0}(\omega) = \mathrm{\dot{K}}_{ p(\cdot)}^{\alpha, q}(\omega)$, let $\lambda = 0$ from Theorem 4.1 and Theorem 4.2. Then we can obtain the boundedness of the $m-$order multilinear fractional Hardy operator $\mathcal{H}_{\beta, m}$ and its adjoint operator $\mathcal{H}^{\ast}_{\beta, m}$ from the weighted variable-exponent Herz product space

to the homogeneous weighted variable-exponent Herz space $K_{p(\cdot)}^{\alpha, q}(\omega^{p(\cdot)})$. Obviously, from Theorem 4.3, the $m-$order multilinear Hardy operator $\mathcal{H}$ and its adjoint operator $\mathcal{H}^{\ast}$ have similar results.

5.   Conclusions

This paper first considered the boundedness of higher-order commutators $I_{\beta, b}^{m}$ generated by the fractional integral operator with BMO functions on weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\omega)$ and grand weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{\lambda, p(\cdot)}^{\alpha, r), \theta}(\omega)$, and generalized Theorem 4 of Izuki ^[18] as well as Theorem 2 of Sultan ^[32]. Then, we considered the boundedness of the $m-$order multilinear fractional Hardy operator $\mathcal{H}_{\beta, m}$ and its adjoint operator $\mathcal{H}^{\ast}_{\beta, m}$ on weighted variable-exponent Herz-Morrey spaces $\mathrm{M\dot{K}}_{q, p(\cdot)}^{\alpha, \lambda}(\omega)$, and generalized some relevant results of Wu ^[12].

Author contributions

Ming Liu and Binhua Feng wrote the main manuscript text and approved the final manuscript.

Use of AI tools declaration

The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

Acknowledgments

We wish to thank the handing editor and the referees for their valuable comments and suggestions. B. Feng is supported by the National Natural Science Foundation of China (No.12461035,12261079), the Natural Science Foundation of Gansu Province (No.24JRRA242).

Conflict of interest

The authors declare there is no conflict of interest.