Estimates for the Commutators of p-Adic Hausdorff Operator on Herz-Morrey Spaces

Abstract

In this paper, we investigate the boundedness of commutators of matrix Hausdorff operator on the weighted p-adic Herz-Morrey space with the symbol functions in weighted central bounded mean oscillations (BMO) and Lipschitz spaces. In addition, a result showing boundedness of Hausdorff operator on weighted p-adic $\lambda$-central BMO spaces is provided as well.

1. Introduction

Let p be a fixed prime and x be a nonzero rational number. If x can be represented in the form $x=p^{\gamma }m/n,$ where the integers $m,n$ and fixed prime p are coprime to each other then ${\left|x\right|}_p=p^{-\gamma },$ where $\gamma =\gamma \left(x\right)\in \mathbb{Z}.$ If $x=0$ then we have ${\left|0\right|}_p=0.$ The p-adic absolute value ${|·|}_p$ satisfies all conditions of norm along with the following two extra properties:

$${\left|xy\right|}_p={\left|x\right|}_p{\left|y\right|}_p{,|x+y|}_p\le {max\left\{\right|x|}_p{,\left|y\right|}_p\}.$$

(1)

The symbol ${\mathbb{Q}}_p$ denotes the field of p-adic numbers and is the completion of the field of rational number $\mathbb{Q}$ with respect to ultrametric p-adic norm ${|·|}_p.$ In [1], it was shown that any $x\in {\mathbb{Q}}_p\backslash \left\{0\right\}$ can be expressed in the canonical form as:

$$x=p^{\gamma }\sum _{k=0}^{\infty }{\beta }_k{p}^k,$$

(2)

where ${\beta }_k,\gamma \in \mathbb{Z},{\beta }_0\ne 0\le {\beta }_k<p.$ The series (2) converges in p-adic norm because one has $|p^{\gamma }{\beta }_k{p}^k{|}_p\le p^{-\gamma -k}.$

The space ${\mathbb{Q}}_p^n={\mathbb{Q}}_p\times \dots \times {\mathbb{Q}}_p$ consists of points $\mathbf{x}=(x_1,x_2,\dots ,x_n),$ where $x_k\in {\mathbb{Q}}_p,k=1,2,\dots ,n.$ If $\mathbf{x}\in {\mathbb{Q}}_p^n$ then the following definition of norm is used on ${\mathbb{Q}}_p^n$

$${\left|\mathbf{x}\right|}_p=\underset{1\le k\le n}{max}{\left|x_k\right|}_p.$$

Let us express

$$B_{\gamma }\left(\mathbf{a}\right)=\{\mathbf{x}\in {\mathbb{Q}}_p^n{:|\mathbf{x}-\mathbf{a}|}_p\le p^{\gamma }\},$$

the ball with center at $\mathbf{a}\in {\mathbb{Q}}_p^n$ and radius $p^{\gamma }$. In a same manner, express by

$$S_{\gamma }\left(\mathbf{a}\right)=\{\mathbf{x}\in {\mathbb{Q}}_p^n{:|\mathbf{x}-\mathbf{a}|}_p=p^{\gamma }\},$$

the sphere with center at $\mathbf{a}\in {\mathbb{Q}}_p$ and radius $p^{\gamma }$. When $\mathbf{a}=\mathbf{0},$ we merely represent $B_{\gamma }\left(\mathbf{0}\right)=B_{\gamma }$ and $S_{\gamma }\left(\mathbf{0}\right)=S_{\gamma }.$ Also, for every ${\mathbf{a}}_0\in {\mathbb{Q}}_p^n,{\mathbf{a}}_0+B_{\gamma }=B_{\gamma }\left({\mathbf{a}}_0\right)$ and ${\mathbf{a}}_0+S_{\gamma }=S_{\gamma }\left({\mathbf{a}}_0\right)$.

Since ${\mathbb{Q}}_p^n$ is a locally compact commutative group under addition, therefore, there exists a Haar measure $d\mathbf{x}$ on ${\mathbb{Q}}_p^n$, such that

$${\int }_{B_0\left(\mathbf{0}\right)}d\mathbf{x}=\left|B_0\left(\mathbf{0}\right)\right|=1,$$

where $\left|B\right|$ denotes the Haar measure of a subset B of ${\mathbb{Q}}_p^n,$ and B is measurable. In addition, an easy computation yields $|B_{\gamma }\left(\mathbf{a}\right)|=p^{n\gamma }$, $|S_{\gamma }\left(\mathbf{a}\right)|=p^{n\gamma }(1-p^{-n})$, for any $\mathbf{a}\in {\mathbb{Q}}_p^n$.

The p-adic analysis has gained a lot of attention in the past few decades due to its importance in mathematical physics and its usefulness in science and technology (see, for instance, [2,3,4,5]). It is a fact that the theory of function from ${\mathbb{Q}}_p^n$ into $\mathbb{C}$ play a vital role in p-adic quantum mechanics [1]. In the last few years, many researchers have taken interest in the study of harmonic and wavelet analysis over p-adic fields which resulted in a number of reseach items, for instance, see [6,7,8].

The Hausdorff operator is considered very important in harmonic analysis due to its relation with the summability of classical Fourier series (see e.g., [9,10]). The matrix Hausdorff operator with kernel function $\mathsf{\Phi }$ in Euclidean space ${\mathbb{R}}^n,n\ge 2$ was studied by Lerner and Liflyand in [11] and is of the form

$$\begin{array}{c}\hfill {\mathcal{H}}_{\mathsf{\Phi },A}f\left(\mathbf{x}\right)={\int }_{{\mathbb{R}}^n}\mathsf{\Phi }\left(\mathbf{t}\right)f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)d\mathbf{t}.\end{array}$$

(3)

where $A\left(\mathbf{t}\right)$ is $n\times n$ invertible matrix for almost everywhere $\mathbf{t}$ in the support of $\mathsf{\Phi }.$ If the kernel function $\mathsf{\Phi }$ is chosen wisely then the Hausdorff operator reduces to some classical operators like the Hardy operator, the adjoint Hardy operator, the Hardy-Littlewood averaging operator and the Cesàro operator. Here we would like to mention some important publications including [11,12,13,14,15,16,17,18,19,20,21,22,23,24] which discussed the boundedness of Hausdorff operator on function spaces.

On the other hand, the p-adic matrix Hausdorff operator was introduced by Volosivets [25], which is given by

$$H_{\mathsf{\Phi },A}\left(f\right)\left(\mathbf{x}\right)={\int }_{{\mathbb{Q}}_p^n}\mathsf{\Phi }\left(\mathbf{t}\right)f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)d\mathbf{t},$$

where $\mathsf{\Phi }\left(\mathbf{t}\right)$ is locally integrable function on ${\mathbb{Q}}_p^n$ and $A\left(\mathbf{t}\right)$ is $n\times n$ nonsingular matrix for almost everywhere in the support of $\mathsf{\Phi }$. In recent times, the boundedness of the Hardy operator and the Hausdorff operator on p-adic field has become point of discussion for many authors (see, for instance, [26,27,28,29,30]). In [29], the Hausdorff operator was studied on weighted p-adic Morrey and Herz type spaces where, by imposing special conditions on the norm of the matrix $A,$ sharp estimates were also obtained.

The boundedness properties of commutator operators is also an important aspect of harmonic analysis as these are useful in the study of characterization of function spaces and regularity theory of partial differential equations. The commutator of Hausdorff operator $H_{\mathsf{\Phi },A}$ with locally integrable function b is given by

$$H_{\mathsf{\Phi },A}^{b}f=b{H}_{\mathsf{\Phi },A}f-H_{\mathsf{\Phi },A}\left(bf\right).$$

The boundedness of the analog of $H_{\mathsf{\Phi },A}^b$ on ${\mathbb{R}}^n$ and its special cases when $A\left(\mathbf{t}\right)=\mathrm{diag}[1/|\mathbf{t}|,1/|\mathbf{t}|,\dots ,1/|\mathbf{t}\left|\right]$ were discussed in [31,32,33,34,35,36,37]. However, this topic still needs further considerations in the sense of its boundedness on p-adic function spaces.

In this paper, we will mainly discuss the boundedness of $H_{\mathsf{\Phi },A}^b$ on p-adic weighted Herz type spaces when b is either from $CM{O}^{q_2}(w,{\mathbb{Q}}_p^n)$ or ${\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right).$ In addition an intermediate result stating the boundedness of p-adic matrix Hausdorff operator on $\lambda$-central bounded mean oscillations (BMO) spaces will be given at first.

2. Preliminaries and the Main Results

Suppose $w\left(\mathbf{x}\right)$ is a weight function on ${\mathbb{Q}}_p^n,$ which is nonnegative and locally integrable function on ${\mathbb{Q}}_p^n.$ Let $L^q(w;{\mathbb{Q}}_p^n),(0<q<\infty )$ be the space of all complex-valued functions f on ${\mathbb{Q}}_p^n$ such that:

$${\parallel f\parallel }_{L^q(w;{\mathbb{Q}}_p^n)}={\left({\int }_{{\mathbb{Q}}_p^n}{\left|f\left(\mathbf{x}\right)\right|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{\frac{1}{q}}<\infty .$$

If $f\in L^1\left({\mathbb{Q}}_p^n\right)$, we will write

$${\int }_{{\mathbb{Q}}_p^n}f\left(\mathbf{x}\right)w\left(\mathbf{x}\right)d\mathbf{x}=\sum _{\gamma \in \mathbb{Z}}{\int }_{S_{\gamma }}f\left(\mathbf{x}\right)w\left(\mathbf{x}\right)d\mathbf{x}.$$

Definition 1.

Let $\lambda <\frac{1}{n}$ and $1<q<\infty$. The space $CM{O}^{q,\lambda }(w,{\mathbb{Q}}_p^n)$ is defined as follows.

$${\parallel f\parallel }_{CM{O}^{q,\lambda }(w,{\mathbb{Q}}_p^n)}=\underset{\gamma \in \mathbb{Z}}{sup}{\left(\frac{1}{w{\left(B_{\gamma }\right)}^{1+\lambda q}}{\int }_{B_{\gamma }}{|f\left(\mathbf{x}\right)-f_{B_{\gamma }}|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}<\infty ,$$

(4)

where

$$f_{B_{\gamma }}=\frac{1}{|B_{\gamma }|}{\int }_{B_{\gamma }}f\left(\mathbf{x}\right)d\mathbf{x}.$$

(5)

Remark 1.

When $\lambda =0$, the space $CM{O}^{q,\lambda }(w,{\mathbb{Q}}_p^n)$ is just reduced to $CM{O}^q(w,{\mathbb{Q}}_p^n)$ with corresponding norm given as follows.

$${\parallel f\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}=\underset{\gamma \in \mathbb{Z}}{sup}{\left(\frac{1}{w\left(B_{\gamma }\right)}{\int }_{B_{\gamma }}{|f\left(\mathbf{x}\right)-f_{B_{\gamma }}|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}.$$

Definition 2.

Suppose $\alpha \in \mathbb{R}$, $0<l,q<\infty ,$ the weighted Herz space $K_q^{\alpha ,l}(w,{\mathbb{Q}}_p^n)$ is defined by:

$$K_q^{\alpha ,l}(w,{\mathbb{Q}}_p^n)=\{f\in L_{\mathrm{loc}}^q(w,{\mathbb{Q}}_p^n\backslash \left\{0\right\}){:\parallel f\parallel }_{K_q^{\alpha ,l}(w,{\mathbb{Q}}_p^n)}<\infty \},$$

where

$${\parallel f\parallel }_{K_q^{\alpha ,l}(w,{\mathbb{Q}}_p^n)}={\left(\sum _{k=-\infty }^{\infty }w{\left(B_k\right)}^{\alpha l/n}{\parallel f{\chi }_k\parallel }_{L^q(w,{\mathbb{Q}}_p^n)}^l\right)}^{1/l},$$

(6)

and ${\chi }_k$ is the characteristic function of the sphere $S_k=B_k\backslash B_{k-1}$.

Remark 2.

Obviously $K_q^{0,q}(w,{\mathbb{Q}}_p^n)=L^q(w,{\mathbb{Q}}_p^n).$

Definition 3.

Suppose $\alpha \in \mathbb{R}$, $0<l,q<\infty$, and λ be a non-negative real number. Then the weighted Morrey-Herz space $M{K}_{l,q}^{\alpha ,\lambda }(w,{\mathbb{Q}}_p^n)$ is defined as follows.

$$M{K}_{l,q}^{\alpha ,\lambda }(w,{\mathbb{Q}}_p^n)=\{f\in L_{loc}^q(w,{\mathbb{Q}}_p^n\backslash \left\{0\right\}){:\parallel f\parallel }_{M{K}_{l,q}^{\alpha ,\lambda }(w,{\mathbb{Q}}_p^n)}<\infty \},$$

where

$${\parallel f\parallel }_{M{K}_{l,q}^{\alpha ,\lambda }(w,{\mathbb{Q}}_p^n)}=\underset{k_0\in \mathbb{Z}}{sup}w{\left(B_{k_0}\right)}^{-\lambda /n}{\left(\sum _{k=-\infty }^{k_0}w{\left(B_k\right)}^{\alpha l/n}{\parallel f{\chi }_k\parallel }_{L^q(w,{\mathbb{Q}}_p^n)}^l\right)}^{1/l}.$$

(7)

Remark 3.

It is evident that $M{K}_{l,q}^{\alpha ,0}(w,{\mathbb{Q}}_p^n)=K_q^{\alpha ,l}(w,{\mathbb{Q}}_p^n).$

For the analog of Herz-Morrey space on Euclidean space ${\mathbb{R}}^n,$ we refer the interested reader to the paper [38] by Lu and Xu. Recently, the study reported in [38] was extended to variable exponent Herz-Morrey spaces in [39,40].

Definition 4.

Suppose $\delta \in {\mathbb{R}}^{+}$. The Lipschitz space ${\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)$ is the space of all measurable functions f on ${\mathbb{Q}}_p^n$ such that:

$${\parallel f\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}=\underset{\mathbf{x},\mathbf{h}\in {\mathbb{Q}}_p^n,\mathbf{h}\ne \mathbf{0}}{sup}\frac{\left|f\right(\mathbf{x}+\mathbf{h})-f(\mathbf{x}\left)\right|}{{\left|\mathbf{h}\right|}_p^{\delta }}<\infty .$$

Lemma 1.

([30]) Let E be an $n\times n$ matrix with entries $e_{ij}\in {\mathbb{Q}}_p.$ Then the norm of $E,$ regarded as an operator from ${\mathbb{Q}}_p^n$ to ${\mathbb{Q}}_p^n,$ is defined as:

$$\parallel E\parallel =\underset{1\le i\le n}{max}\underset{1\le j\le n}{max}{\left|e_{ij}\right|}_p.$$

Definition 5.

([26]) Let $\beta \in \mathbb{R}$. The set ${\mathbb{W}}_{\beta }$ consist of all measurable function $w\left(\mathbf{x}\right)$ on ${\mathbb{Q}}_p^n,$ Satisfying:

(a) 

$w\left(\mathbf{x}\right)>0$ a.e.,

(b) 

${\int }_{S_0}w\left(\mathbf{x}\right)d\mathbf{x}<\infty ,$

(c) 

$w\left(t\mathbf{x}\right)={\left|t\right|}_p^{\beta }w\left(\mathbf{x}\right)$ for all $t\in {\mathbb{Q}}_p\backslash \left\{0\right\},\mathbf{x}\in {\mathbb{Q}}_p^n.$

It is not difficult to see that a weight $w\left(\mathbf{x}\right)\in {\mathbb{W}}_{\beta }$ needs not to be necessarily locally integrable function. Importantly, if $w\left(\mathbf{x}\right)={\left|\mathbf{x}\right|}_p^{\beta },$ then $w\left(\mathbf{x}\right)\in {\mathbb{W}}_{\beta }$ but $w\left(\mathbf{x}\right)\in L_{\mathrm{loc}}^1\left({\mathbb{Q}}_p^n\right)$ if and only if $\beta >-n.$

Lemma 2.

([27]) Let $w\in {\mathbb{W}}_{\beta },\beta >-n.$ Then for any $\gamma \in \mathbb{Z},$ we have

$$w\left(B_{\gamma }\right)=p^{(n+\beta )\gamma }w\left(B_0\right)andw\left(S_{\gamma }\right)=p^{(n+\beta )\gamma }w\left(S_0\right).$$

Here and in the sequel, for the sake of easiness, we use the following notation:

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill G(E,\delta \beta )& =\left\{\begin{array}{cc}{\parallel E\parallel }^{\delta \beta }\hfill & \mathrm{if}\beta >0,\hfill \\ \parallel E^{-1}{\parallel }^{-\delta \beta }\hfill & \mathrm{if}\beta \le 0,\hfill \end{array}\right.\hfill \end{array}\end{array}$$

where E is any invertible matrix, $\beta \in \mathbb{R}$ and $\delta$ is a non-zero positive real number.

It is easy to see that:

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill G(E,\beta (1/q+1/p\left)\right)=& G(E,\beta /q)G(E,\beta /p),\hfill \end{array}\end{array}$$

(8)

where $p,q\in {\mathbb{Z}}^{+}.$

Proposition 1.

([29]) Let $\beta >-n,w\left(\mathbf{x}\right)={\left|\mathbf{x}\right|}_p^{\beta },E$ is any nonsingular matrix and $\mathbf{x}\in {\mathbb{Q}}_p^n,$ then

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill w\left(E\mathbf{x}\right)& \le \left\{\begin{array}{cc}{\parallel E\parallel }^{\beta }w\left(\mathbf{x}\right)\hfill & if\beta >0,\hfill \\ \parallel E^{-1}{\parallel }^{-\beta }w\left(\mathbf{x}\right)\hfill & if\beta \le 0,\hfill \end{array}\right.\hfill \\ & =G(E,\beta )w\left(\mathbf{x}\right).\hfill \end{array}\end{array}$$

Lemma 3.

([29]) Let $\beta >-n,w\left(\mathbf{x}\right)={\left|\mathbf{x}\right|}_p^{\beta }$ and E is any nonsingular matrix, then we have

$$\begin{array}{c}\hfill \begin{array}{c}\hfill w\left(E{B}_{\gamma }\left(\mathbf{a}\right)\right)\le G(E,\beta ){|detE|}_{p}w\left(B_{\gamma }\left(\mathbf{a}\right)\right).\end{array}\end{array}$$

Now, we are in position to state our main results which are as under:

Main Results

Theorem 1.

Let $1<q<\infty$, $0\le \lambda <1/n,$ $\beta >-n$ and $w\left(\mathbf{x}\right)={\left|\mathbf{x}\right|}_p^{\beta },$ then $H_{\mathsf{\Phi },A}$ is bounded on $CM{O}^{q,\lambda }(w,{\mathbb{Q}}_p^n)$ and satisfies the following inequality

$$\begin{array}{c}\parallel H_{\mathsf{\Phi },A}{f\parallel }_{CM{O}^{q,\lambda }(w,{\mathbb{Q}}_p^n)}\le K_1{\parallel f\parallel }_{CM{O}^{q,\lambda }(w,{\mathbb{Q}}_p^n)},\hfill \end{array}$$

where

$$\begin{array}{c}{K}_1={\int }_{{\mathbb{Q}}_p^n}{\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right||detA\left(\mathbf{t}\right)|}_p^{\lambda }G(A^{-1}\left(\mathbf{t}\right),\beta /q)G(A\left(\mathbf{t}\right),\beta (\lambda +1/q))d\mathbf{t}.\hfill \end{array}$$

Our first result regarding boundedness of $H_{\mathsf{\Phi },A}^b$ with $b\in CM{O}^q(w,{\mathbb{Q}}_p^n)$ can be stated as:

Theorem 2.

Let $1\le l,q,q_1,q_2<\infty ,$ $1/q_2=1/q+1/q_1,$ ${\alpha }_1={\alpha }_2+n/q,$ $0\le \lambda >{\alpha }_1,$ $\beta >-n$ and $w\left(\mathbf{x}\right)={\left|\mathbf{x}\right|}_p^{\beta }.$ Assume that $b\in CM{O}^q(w,{\mathbb{Q}}_p^n)$ and

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \phi \left(\mathbf{t}\right)=& \left|\mathsf{\Phi }\left(\mathbf{t}\right)\right||det{A}^{-1}{\left(\mathbf{t}\right)|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)max\left\{1,G(A^{-1}\left(\mathbf{t}\right),\beta /q)G(A\left(\mathbf{t}\right),\beta /q)\right\}.\hfill \end{array}\end{array}$$

Then the commutator operator $H_{\mathsf{\Phi },A}^b$ is bounded from $M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)$ to $M{K}_{l,q_2}^{{\alpha }_2,\lambda }(w,{\mathbb{Q}}_p^n)$ and satisfies the inequality:

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \parallel H_{\mathsf{\Phi },A}^b{f\parallel }_{M{K}_{l,q_2}^{{\alpha }_2,\lambda }(w,{\mathbb{Q}}_p^n)}\le C{K}_2{\parallel b\parallel }_{CM{O}^{q_2}(w,{\mathbb{Q}}_p^n)}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)},\end{array}\end{array}$$

where

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill K_2=& {\int }_{\parallel A\left(\mathbf{t}\right)\parallel \le 1}\phi \left(\mathbf{t}\right){\parallel A\left(\mathbf{t}\right)\parallel }^{(\lambda -{\alpha }_1)(n+\beta )/n}\left(\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^n}{{|detA\left(\mathbf{t}\right)|}_p}+{log}_p\frac{p}{\parallel A\left(\mathbf{t}\right)\parallel }\right)d\mathbf{t}\hfill \\ & +{\int }_{\parallel A\left(\mathbf{t}\right)\parallel >1}\phi \left(\mathbf{t}\right){\parallel A\left(\mathbf{t}\right)\parallel }^{(\lambda -{\alpha }_1)(n+\beta )/n}\left(\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^n}{{|detA\left(\mathbf{t}\right)|}_p}+{log}_p(p\parallel A\left(\mathbf{t}\right)\parallel )\right)d\mathbf{t}.\hfill \end{array}\end{array}$$

In the following theorem we proved the boundedness of commutator of Hausdorff operator on Morrey Herz Space by taking $b\in {\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right).$

Theorem 3.

Let $1\le q_2\le q_1<\infty$, $0<l,\delta <\infty ,1/r=1/q_2-1/q_1$, $\beta >-n$ and $w\left(\mathbf{x}\right)={\left|\mathbf{x}\right|}_p^{\beta },$ ${\alpha }_1={\alpha }_2+n\delta /(n+\beta )+n(1/q_2-1/q_1),$ $0\le \lambda >{\alpha }_1$ and $b\in {\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right).$ Then the commutator operator $H_{\mathsf{\Phi },A}^b$ is bounded from $M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)$ to $M{K}_{l,q_2}^{{\alpha }_2,\lambda }(w,{\mathbb{Q}}_p^n)$ and satisfies the inequality:

$$\begin{array}{c}\hfill \begin{array}{c}\parallel H_{\mathsf{\Phi },A}^b{f\parallel }_{M{K}_{l,q_2}^{{\alpha }_2,\lambda }(w,{\mathbb{Q}}_p^n)}\le C{K}_3{\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)},\hfill \end{array}\end{array}$$

where

$$\begin{array}{c}\hfill \begin{array}{c}\hfill K_3={\int }_{{\mathbb{Q}}_p^n}{\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|\parallel A\left(\mathbf{t}\right)\parallel }^{(n+\beta )(\lambda /n-{\alpha }_1/n)}{max\{1,\parallel A\left(\mathbf{t}\right)\parallel }^{\delta }\left\}\right|det{A}^{-1}{\left(\mathbf{t}\right)|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)d\mathbf{t}.\end{array}\end{array}$$

In the rest of the article, the character C denote the constant free from essential values and variables whose value may change from line to line.

3. Proofs of Main Results

3.1. Proof of Theorem 1

Suppose $f\in CM{O}^{q,\lambda }(w,{\mathbb{Q}}_p^n)$. By means of Fubini theorem and p-adic change of variables we have

$$\begin{array}{c}{\left(H_{\mathsf{\Phi },A}f\right)}_{B_{\gamma }}=\frac{1}{|B_{\gamma }|}{\int }_{B_{\gamma }}\left({\int }_{{\mathbb{Q}}_p^n}\mathsf{\Phi }\left(\mathbf{t}\right)f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)d\mathbf{t}\right)d\mathbf{x}\hfill \\ ={\int }_{{\mathbb{Q}}_p^n}\mathsf{\Phi }\left(\mathbf{t}\right)\left(\frac{1}{|B_{\gamma }|}{\int }_{B_{\gamma }}f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)d\mathbf{x}\right)d\mathbf{t}\hfill \\ ={\int }_{{\mathbb{Q}}_p^n}\mathsf{\Phi }\left(\mathbf{t}\right)\left(\frac{1}{|B_{\gamma }|}{\int }_{A\left(\mathbf{t}\right)B_{\gamma }}f\left(\mathbf{x}\right)d\mathbf{x}\right){|det{A}^{-1}\left(\mathbf{t}\right)|}_{p}d\mathbf{t}\hfill \\ ={\int }_{{\mathbb{Q}}_p^n}\mathsf{\Phi }\left(\mathbf{t}\right)\left(\frac{1}{|A\left(\mathbf{t}\right)B_{\gamma }|}{\int }_{A\left(\mathbf{t}\right)B_{\gamma }}f\left(\mathbf{x}\right)d\mathbf{x}\right)d\mathbf{t}\hfill \\ ={\int }_{{\mathbb{Q}}_p^n}\mathsf{\Phi }\left(\mathbf{t}\right)f_{A\left(\mathbf{t}\right)B_{\gamma }}d\mathbf{t}.\hfill \end{array}$$

Using Minkowski’s inequality, Proposition 1 and Lemma 3 with $\mathbf{a}=0$, we are down to

$$\begin{array}{c}{\left(\frac{1}{w{\left(B_{\gamma }\right)}^{1+\lambda q}}{\int }_{B_{\gamma }}{|H_{\mathsf{\Phi },A}f\left(\mathbf{x}\right)-{\left(H_{\mathsf{\Phi },A}\right)}_{B_{\gamma }}|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}\hfill \\ ={\left(\frac{1}{w{\left(B_{\gamma }\right)}^{1+\lambda q}}{\int }_{B_{\gamma }}|{\int }_{{\mathbb{Q}}_p^n}\mathsf{\Phi }\left(\mathbf{t}\right)(f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)-f_{A\left(\mathbf{t}\right)B_{\gamma }})d\mathbf{t}{|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}\hfill \\ \le {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left(\frac{1}{w{\left(B_{\gamma }\right)}^{1+\lambda q}}{\int }_{B_{\gamma }}|f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)-f_{A\left(\mathbf{t}\right)B_{\gamma }}{|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}d\mathbf{t}\hfill \\ \le {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right||det{A}^{-1}{\left(\mathbf{t}\right)|}_p^{1/q}G(A^{-1}\left(\mathbf{t}\right),\beta /q)\hfill \\ \times {\left(\frac{1}{w{\left(B_{\gamma }\right)}^{1+\lambda q}}{\int }_{A\left(\mathbf{t}\right)B_{\gamma }}|f\left(\mathbf{x}\right)-f_{A\left(\mathbf{t}\right)B_{\gamma }}{|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}d\mathbf{t}\hfill \\ \le {\int }_{{\mathbb{Q}}_p^n}{\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right||detA\left(\mathbf{t}\right)|}_p^{\lambda }G(A^{-1}\left(\mathbf{t}\right),\beta /q)G(A\left(\mathbf{t}\right),\beta (\lambda +1/q))\hfill \\ \times {\left(\frac{1}{w{\left(A\left(\mathbf{t}\right)B_{\gamma }\right)}^{1+\lambda q}}{\int }_{A\left(\mathbf{t}\right)B_{\gamma }}|f\left(\mathbf{x}\right)-f_{A\left(\mathbf{t}\right)B_{\gamma }}{|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}d\mathbf{t}\hfill \\ \le {\parallel f\parallel }_{CM{O}^{q,\lambda }(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}{\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right||detA\left(\mathbf{t}\right)|}_p^{\lambda }G(A^{-1}\left(\mathbf{t}\right),\beta /q)G(A\left(\mathbf{t}\right),\beta (\lambda +1/q))d\mathbf{t}.\hfill \end{array}$$

Thus, we completed the proof of Theorem 1.

3.2. Proof of Theorem 2

Let $f\in M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)$ and $b\in CM{O}^q(w,{\mathbb{Q}}_p^n),$

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \parallel \left(H_{\mathsf{\Phi },A}^{b}f\right){\chi }_k{\parallel }_{L^{q_2}(w,{\mathbb{Q}}_p^n)}=& {\left({\int }_{S_k}|{\int }_{{\mathbb{Q}}_p^n}\mathsf{\Phi }\left(\mathbf{t}\right)(b\left(\mathbf{x}\right)-b\left(A\left(\mathbf{t}\right)\mathbf{x}\right))f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)d\mathbf{t}{|}^{q_2}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_2}\hfill \\ \hfill \le & {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left({\int }_{S_k}{\left|(b\left(\mathbf{x}\right)-b\left(A\left(\mathbf{t}\right)\mathbf{x}\right))f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)\right|}^{q_2}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_2}d\mathbf{t}\hfill \\ \hfill \le & {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left({\int }_{S_k}{\left|(b\left(\mathbf{x}\right)-b_{B_k})f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)\right|}^{q_2}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_2}d\mathbf{t}\hfill \\ \hfill & +{\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left({\int }_{S_k}{\left|(b_{B_k}-b_{A\left(\mathbf{t}\right)B_k})f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)\right|}^{q_2}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_2}d\mathbf{t}\hfill \\ \hfill & +{\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left({\int }_{S_k}{\left|(b\left(A\left(\mathbf{t}\right)\mathbf{x}\right)-b_{A\left(\mathbf{t}\right)B_k})f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)\right|}^{q_2}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_2}d\mathbf{t}\hfill \\ \hfill =& I+II+III.\hfill \end{array}\end{array}$$

By Hölder’s inequality, p-adic change of variables and Proposition 1, we estimate I as below:

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill I\le & {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left({\int }_{S_k}{|b\left(\mathbf{x}\right)-b_{B_k}|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}{\left({\int }_{S_k}{\left|f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)\right|}^{q_1}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_1}d\mathbf{t}\hfill \\ \hfill \le & {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left({\int }_{B_k}{|b\left(\mathbf{x}\right)-b_{B_k}|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}\hfill \\ & \times {\left({\int }_{A\left(\mathbf{t}\right)S_k}{\left|f\left(\mathbf{x}\right)\right|}^{q_1}{|det{A}^{-1}\left(\mathbf{t}\right)|}_{p}G(A^{-1}\left(\mathbf{t}\right),\beta )w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_1}d\mathbf{t}\hfill \\ \hfill \le & {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right||det{A}^{-1}{\left(\mathbf{t}\right)|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)\hfill \\ & \times {\left({\int }_{B_k}{|b\left(\mathbf{x}\right)-b_{B_k}|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}{\left({\int }_{A\left(\mathbf{t}\right)S_k}{\left|f\left(\mathbf{x}\right)\right|}^{q_1}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_1}d\mathbf{t}\hfill \\ \hfill \le & w{\left(B_k\right)}^{1/q}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}\hfill \\ & \times {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right||det{A}^{-1}{\left(\mathbf{t}\right)|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1){\parallel f{\chi }_{A\left(\mathbf{t}\right)S_k}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}d\mathbf{t}.\hfill \end{array}\end{array}$$

Similarly for $III,$ first making p-adic change of variables and then applying Hölder’s inequality, we have

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill III\le & {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left({\int }_{S_k}{\left|(b\left(A\left(\mathbf{t}\right)\mathbf{x}\right)-b_{A\left(\mathbf{t}\right)B_k})f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)\right|}^{q_2}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_2}d\mathbf{t}\hfill \\ \hfill =& {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|det{A}^{-1}\left(\mathbf{t}\right){|}_p^{1/q_2}G(A^{-1}\left(\mathbf{t}\right),\beta /q_2)|\hfill \\ \hfill & \times {\left({\int }_{A\left(\mathbf{t}\right)S_k}{\left|(b\left(\mathbf{x}\right)-b_{A\left(\mathbf{t}\right)B_k})f\left(\mathbf{x}\right)\right|}^{q_2}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_2}d\mathbf{t}\hfill \\ \hfill \le & {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|det{A}^{-1}\left(\mathbf{t}\right){|}_p^{1/q_2}G(A^{-1}\left(\mathbf{t}\right),\beta /q_2)|\hfill \\ \hfill & \times {\left({\int }_{A\left(\mathbf{t}\right)S_k}{|b\left(\mathbf{x}\right)-b_{A\left(\mathbf{t}\right)B_k}|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}{\left({\int }_{A\left(\mathbf{t}\right)S_k}{\left|f\left(\mathbf{x}\right)\right|}^{q_1}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_1}d\mathbf{t}\hfill \\ \hfill \le & {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|det{A}^{-1}\left(\mathbf{t}\right){|}_p^{1/q_2}G(A^{-1}\left(\mathbf{t}\right),\beta /q_2)|\hfill \\ \hfill & \times w{\left(A\left(\mathbf{t}\right)B_k\right)}^{1/q}{\parallel b\parallel }_{{CMO}^q(w,{\mathbb{Q}}_p^n)}{\parallel f{\chi }_{A\left(\mathbf{t}\right)S_k}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}d\mathbf{t}.\hfill \end{array}\end{array}$$

Since $1/q_2=1/q+1/q_1,$ therefore, by virtue of the property (8) and Lemma 3, the above inequality becomes

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill III\le & {\parallel b\parallel }_{{CMO}^q(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|det{A}^{-1}\left(\mathbf{t}\right){|}_p^{1/q_2}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)G(A^{-1}\left(\mathbf{t}\right),\beta /q)|\hfill \\ \hfill & \times {G(A\left(\mathbf{t}\right),\beta /q)|detA\left(\mathbf{t}\right)|}_p^{1/q}w{\left(B_k\right)}^{1/q}{\parallel f{\chi }_{A\left(\mathbf{t}\right)S_k}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}d\mathbf{t}\hfill \\ \hfill =& w{\left(B_k\right)}^{1/q}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}|\mathsf{\Phi }\left(\mathbf{t}\right)\left|\right|det{A}^{-1}\left(\mathbf{t}\right){|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)\hfill \\ & \times G(A^{-1}\left(\mathbf{t}\right),\beta /q)G(A\left(\mathbf{t}\right),\beta /q){\parallel f{\chi }_{A\left(\mathbf{t}\right)S_k}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}d\mathbf{t}.\hfill \end{array}\end{array}$$

(9)

The estimation of $II$ is very much similar to that of I and $III$ except that in this case, additionally, we have to bound the term $|b_{B_k}-b_{A\left(\mathbf{t}\right)B_k}|.$ Therefore, in this case, we will make use of the Hölder’s inequality, Lemma 2 and p-adic change of variables to have

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill II\le & {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left({\int }_{S_k}{\left|f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)\right|}^{q_1}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q_1}{\left({\int }_{S_k}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}|b_{B_k}-b_{A\left(\mathbf{t}\right)B_k}|d\mathbf{t}\hfill \\ \hfill \le & w{\left(S_0\right)}^{1/q}w{\left(B_k\right)}^{1/q}\hfill \\ & \times {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right||det{A}^{-1}{\left(t\right)|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)\parallel f{\chi }_{A\left(\mathbf{t}\right)S_k}{\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}|b_{B_k}-b_{A\left(\mathbf{t}\right)B_k}|d\mathbf{t}.\hfill \end{array}\end{array}$$

Next, if $\parallel A\left(\mathbf{t}\right)\parallel >1,$ then there exists an integer $j\ge 0,$ such that

$$p^j<\parallel A\left(\mathbf{t}\right)\parallel \le p^{j+1}.$$

Therefore,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill |b_{B_k}-b_{A\left(\mathbf{t}\right)B_k}|\le & \sum _{i=0}^j|b_{B_{k+i}}-b_{B_{k+i+1}}|+|b_{B_{k+j+1}}-b_{A\left(\mathbf{t}\right)B_k}|.\hfill \end{array}\end{array}$$

A use of Hölder’s Inequality and the definition of $CM{O}^q(w,{\mathbb{Q}}_p^n)$ yields

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill |b_{B_{k+i}}-b_{B_{k+i+1}}|\le & \frac{1}{|B_{k+i}|}{\int }_{B_{k+i}}|b\left(\mathbf{x}\right)-b_{B_{k+i+1}}|d\mathbf{x}\hfill \\ \hfill \le & \frac{C}{|B_{k+i+1}|}{\int }_{B_{k+i+1}}|b\left(\mathbf{x}\right)-b_{B_{k+i+1}}|d\mathbf{x}\hfill \\ \hfill \le & \frac{C}{|B_{k+i+1}|}{\left({\int }_{B_{k+i+1}}{|b\left(\mathbf{x}\right)-b_{B_{k+i+1}}|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}\hfill \\ \hfill & \times {\left({\int }_{B_{k+i+1}}w{\left(\mathbf{x}\right)}^{q^{\prime }/q}\right)}^{1/q^{\prime }}\hfill \\ \hfill \le & C\frac{w{\left(B_{k+i+1}\right)}^{1/q}}{|B_{k+i+1}|}{\left({\int }_{B_{k+i+1}}{\left|\mathbf{x}\right|}_p^{-\beta q^{\prime }/q}\right)}^{1/q^{\prime }}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}\hfill \\ \hfill \le & C\frac{p^{(n+\beta )(k+i+1)/q}}{p^{(k+i+1)n}}{p}^{(k+i+1)(-\beta /q+n/q^{\prime })}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}\hfill \\ \hfill =& {C\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}.\hfill \end{array}\end{array}$$

The other term can be treated in a similar way as below

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill |b_{B_{k+j+1}}-b_{A\left(\mathbf{t}\right)B_k}|\le & \frac{1}{|A\left(\mathbf{t}\right)B_k|}{\int }_{A\left(\mathbf{t}\right)B_k}|b\left(\mathbf{x}\right)-b_{B_{k+j+1}}|d\mathbf{x}\hfill \\ \hfill \le & \frac{1}{|A\left(\mathbf{t}\right)B_k|}{\left({\int }_{B_{k+j+1}}{|b\left(\mathbf{x}\right)-b_{B_{k+j+1}}|}^{q}w\left(\mathbf{x}\right)d\mathbf{x}\right)}^{1/q}\hfill \\ \hfill & \times {\left({\int }_{B_{k+j+1}}w{\left(\mathbf{x}\right)}^{-q^{\prime }/q}\right)}^{1/q^{\prime }}\hfill \\ \hfill \le & \frac{w{\left(B_{k+j+1}\right)}^{1/q}}{|A\left(\mathbf{t}\right)B_k|}{\left({\int }_{B_{k+j+1}}{\left|\mathbf{x}\right|}_p^{-\beta q^{\prime }/q}d\mathbf{x}\right)}^{1/q^{\prime }}\hfill \\ \hfill & \times {\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}\hfill \\ \hfill \le & \frac{p^{(n+\beta )(k+j+1)/q}}{{|detA\left(\mathbf{t}\right)|}_p{p}^{kn}}{p}^{(k+j+1)(-\beta /q+n/q^{\prime })}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}\hfill \\ \hfill =& \frac{p^{(j+1)n}}{{|detA\left(\mathbf{t}\right)|}_p}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}\hfill \\ \hfill \le & C\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^n}{{|detA\left(\mathbf{t}\right)|}_p}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}.\hfill \end{array}\end{array}$$

Therefore, for $\parallel A\left(\mathbf{t}\right)\parallel >1$

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill |b_{B_k}-b_{A\left(\mathbf{t}\right)B_k}|& \le C\left(j+1+\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^n}{{|detA\left(\mathbf{t}\right)|}_p}\right){\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}\hfill \\ & \le C\left\{{log}_p(\parallel A\left(\mathbf{t}\right)\parallel p)+\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^n}{{|detA\left(\mathbf{t}\right)|}_p}\right\}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}.\hfill \end{array}\end{array}$$

When $\parallel A\left(\mathbf{t}\right)\parallel \le 1,$ a similar argument yields

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill |b_{B_k}-b_{A\left(\mathbf{t}\right)B_k}|\le & C\left\{{log}_p\frac{p}{\parallel A\left(\mathbf{t}\right)\parallel }+\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^n}{{|detA\left(\mathbf{t}\right)|}_p}\right\}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}.\hfill \end{array}\end{array}$$

Therefore,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill II\le & Cw{\left(B_k\right)}^{1/q}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}|\mathsf{\Phi }\left(\mathbf{t}\right)|det{A}^{-1}\left(\mathbf{t}\right){|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)|\hfill \\ \hfill & \times \left(\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^n}{{|detA\left(\mathbf{t}\right)|}_p}+1+max\left\{{log}_p\parallel A\left(\mathbf{t}\right)\parallel ,{log}_p\frac{1}{\parallel A\left(\mathbf{t}\right)\parallel }\right\}\right){\parallel f{\chi }_{A\left(\mathbf{t}\right)S_k}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}d\mathbf{t}.\hfill \end{array}\end{array}$$

Finally, we combine the estimates for I,$II$ and $III$ to have

$$\begin{array}{c}\hfill \begin{array}{c}\parallel \left(H_{\mathsf{\Phi },A}^{b}f\right){\chi }_k{\parallel }_{L^{q_2}(w,{\mathbb{Q}}_p^n)}\hfill \\ \le Cw{\left(B_k\right)}^{1/q}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}\hfill \\ \times {\int }_{{\mathbb{Q}}_p^n}\phi \left(\mathbf{t}\right)\left(\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^n}{{|detA\left(\mathbf{t}\right)|}_p}+1+max\left\{{log}_p\parallel A\left(\mathbf{t}\right)\parallel ,{log}_p\frac{1}{\parallel A\left(\mathbf{t}\right)\parallel }\right\}\right){\parallel f{\chi }_{A\left(\mathbf{t}\right)S_k}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}d\mathbf{t}.\hfill \end{array}\end{array}$$

In order to avoid repetition of the same factor in the subsequent calculations, we let

$$\psi \left(\mathbf{t}\right)=\phi \left(\mathbf{t}\right)\left(\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^n}{{|detA\left(\mathbf{t}\right)|}_p}+1+max\left\{{log}_p(\parallel A\mathbf{t})\parallel ,{log}_p\frac{1}{\parallel A\left(\mathbf{t}\right)\parallel }\right\}\right).$$

Also, it is easy to see that (see [29], Theorem 3.1)

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \parallel f{\chi }_{A\left(\mathbf{t}\right)S_k}{\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}& ={\left({\int }_{A\left(\mathbf{t}\right)S_k}{\left|f\left(\mathbf{x}\right)\right|}^{q_1}d\mathbf{x}\right)}^{1/q_1}\hfill \\ & \le {\left({\int }_{{\left|\mathbf{x}\right|}_p\le \parallel A\left(\mathbf{t}\right)\parallel p^k}{\left|f\left(\mathbf{x}\right)\right|}^{q_1}d\mathbf{x}\right)}^{1/q_1}\hfill \\ & \le C\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{\parallel f{\chi }_{k+m}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}.\hfill \end{array}\end{array}$$

(10)

Therefore,

$$\begin{array}{c}\hfill \begin{array}{c}\parallel \left(H_{\mathsf{\Phi },A}^{b}f\right){\chi }_k{\parallel }_{L^{q_2}(w,{\mathbb{Q}}_p^n)}\hfill \\ \le Cw{\left(B_k\right)}^{1/q}{\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}\psi \left(\mathbf{t}\right)\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{\parallel f{\chi }_{k+m}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}d\mathbf{t}.\hfill \end{array}\end{array}$$

(11)

Now, by the definition of Morrey-Herz space, the inequality (11), Minkowski’s inequality and the condition ${\alpha }_1={\alpha }_2+n/q,$ we have

$$\begin{array}{c}\hfill \begin{array}{c}\parallel H_{\mathsf{\Phi },A}^b{f\parallel }_{M{K}_{l,q_2}^{{\alpha }_2,\lambda }(w,{\mathbb{Q}}_p^n)}\hfill \\ =\underset{k_0\in \mathbb{Z}}{sup}{p}^{-k_0\lambda (n+\beta )/n}{\left(\sum _{k=-\infty }^{k_0}{p}^{k{\alpha }_2(n+\beta )l/n}{\parallel \left(H_{\mathsf{\Phi },A}^{b}f\right){\chi }_k\parallel }_{L^q(w,{\mathbb{Q}}_p^n)}^l\right)}^{1/l}\hfill \\ \le {C\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}\psi \left(\mathbf{t}\right)\underset{k_0\in \mathbb{Z}}{sup}{p}^{-k_0\lambda (n+\beta )/n}\hfill \\ \times {\left\{\sum _{k=-\infty }^{k_0}{\left(\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{p}^{k({\alpha }_2+n/q)(n+\beta )/n}{\parallel f{\chi }_{k+m}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}\right)}^l\right\}}^{1/l}d\mathbf{t}\hfill \\ \le {C\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}\psi \left(\mathbf{t}\right)\underset{k_0\in \mathbb{Z}}{sup}{p}^{-k_0\lambda (n+\beta )/n}\hfill \\ \times {\left\{\sum _{k=-\infty }^{k_0}{\left(\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{p}^{k{\alpha }_1(n+\beta )/n}{\parallel f{\chi }_{k+m}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}\right)}^l\right\}}^{1/l}d\mathbf{t}\hfill \\ \le {C\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}\psi \left(\mathbf{t}\right)\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{p}^{m(\lambda -{\alpha }_1)(n+\beta )/n}\hfill \\ \times \underset{k_0\in \mathbb{Z}}{sup}{p}^{-(k_0+m)\lambda (n+\beta )/n}{\left(\sum _{k=-\infty }^{k_0+m}{p}^{k{\alpha }_1(n+\beta )l/n}{\parallel f{\chi }_k\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}^l\right)}^{1/l}d\mathbf{t}.\hfill \end{array}\end{array}$$

Since ${\alpha }_1<\lambda$, as a consequence

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{p}^{m(\lambda -{\alpha }_1)(n+\beta )/n}=\frac{{\parallel A\left(\mathbf{t}\right)\parallel }^{(\lambda -{\alpha }_1)(n+\beta )/n}}{1-p^{({\alpha }_1-\lambda )(n+\beta )/n}}.\end{array}\end{array}$$

(12)

Hence,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \parallel H_{\mathsf{\Phi },A}^b{f\parallel }_{M{K}_{l,q_2}^{{\alpha }_2,\lambda }(w,{\mathbb{Q}}_p^n)}\le & {C\parallel b\parallel }_{CM{O}^q(w,{\mathbb{Q}}_p^n)}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)}\hfill \\ \hfill & \times {\int }_{{\mathbb{Q}}_p^n}\psi \left(\mathbf{t}\right){\parallel A\left(\mathbf{t}\right)\parallel }^{(\lambda -{\alpha }_1)(n+\beta )/n}d\mathbf{t}.\hfill \end{array}\end{array}$$

Thus the proof of the Theorem 2 is completed.

3.3. Proof of Theorem 3

Let $f\in M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)$, $b\in {\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)$. By applying the Minkowski’s inequality and the Holder’s inequality, we get

$$\begin{array}{c}\parallel \left(H_{\mathsf{\Phi },A}^{b}f\right){\chi }_k{\parallel }_{L^{q_2}(w,{\mathbb{Q}}_p^n)}\hfill \\ ={\left[{\int }_{S_k}|{\int }_{{\mathbb{Q}}_p^n}\mathsf{\Phi }\left(\mathbf{t}\right)f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)(b\left(\mathbf{x}\right)-b\left(A\left(\mathbf{t}\right)\mathbf{x}\right))d\mathbf{t}{|}^{q_2}w\left(\mathbf{x}\right)d\mathbf{x}\right]}^{1/q_2}\hfill \\ \le {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left[{\int }_{S_k}|f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)(b\left(\mathbf{x}\right)-b\left(A\left(\mathbf{t}\right)\mathbf{x}\right)){|}^{q_2}w\left(\mathbf{x}\right)d\mathbf{x}\right]}^{1/q_2}d\mathbf{t}\hfill \\ \le {\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|{\left[{\int }_{S_k}{\left|f\left(A\left(\mathbf{t}\right)\mathbf{x}\right)\right|}^{q_1}w\left(\mathbf{x}\right)d\mathbf{x}\right]}^{1/q_1}\hfill \\ \times {\left[{\int }_{S_k}{|b\left(\mathbf{x}\right)-b\left(A\left(\mathbf{t}\right)\mathbf{x}\right)|}^{r}w\left(\mathbf{x}\right)d\mathbf{x}\right]}^{1/r}d\mathbf{t},\hfill \end{array}$$

(13)

where $1/r=1/q_2-1/q_1$. By the definition of Lipschitz space ${\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)$ we have

$$\begin{array}{cc}\hfill \left|b\right(\mathbf{x})-b(A\left(\mathbf{t}\right)\mathbf{x}\left)\right|& \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{|\mathbf{x}-A\left(\mathbf{t}\right)\mathbf{x}|}_p^{\delta }\hfill \\ & \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{max\left\{\right|\mathbf{x}|}_p{,\left|A\left(\mathbf{t}\right)\mathbf{x}\right|}_p{\}}^{\delta }\hfill \\ & \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{max\left\{\right|\mathbf{x}|}_p{,\parallel A\left(\mathbf{t}\right)\parallel \left|\mathbf{x}\right|}_p{\}}^{\delta }\hfill \\ & \le p^{k\delta }{C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{max\{1,\parallel A\left(\mathbf{t}\right)\parallel }^{\delta }\},\hfill \end{array}$$

(14)

for every $\mathbf{x}\in S_k$ and for almost everywhere $\mathbf{t}\in {\mathbb{Q}}_p^n$.

By p-adic change of variables, Proposition 1, inequality (14) together with $w\left(S_k\right)w\left(B_0\right)=w\left(B_k\right)w\left(S_0\right),$ inequality (13) assumes the following form

$$\begin{array}{c}\parallel \left(H_{\mathsf{\Phi },A}^{b}f\right){\chi }_k{\parallel }_{L^{q_2}(w,{\mathbb{Q}}_p^n)}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\int }_{{\mathbb{Q}}_p^n}\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|w{\left(B_k\right)}^{\delta /(n+\beta )+1/r}{\parallel f{\chi }_{A\left(\mathbf{t}\right)S_k}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}\hfill \\ \times {max\{1,\parallel A\left(\mathbf{t}\right)\parallel }^{\delta }\left\}\right|det{A}^{-1}{\left(\mathbf{t}\right)|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)d\mathbf{t}.\hfill \end{array}$$

(15)

Furthermore, in view of inequality (10) and $1/r=1/q_2-1/q_1,$ we get

$$\begin{array}{c}\parallel \left(H_{\mathsf{\Phi },A}^{b}f\right){\chi }_k{\parallel }_{L^{q_2}(w,{\mathbb{Q}}_p^n)}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}w{\left(B_k\right)}^{\delta /(n+\beta )+1/q_2-1/q_1}{\int }_{{\mathbb{Q}}_p^n}\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{\parallel f{\chi }_{k+m}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}\hfill \\ \times {\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|max\{1,\parallel A\left(\mathbf{t}\right)\parallel }^{\delta }\left\}\right|det{A}^{-1}{\left(\mathbf{t}\right)|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)d\mathbf{t}.\hfill \end{array}$$

(16)

The factor ${\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|max\{1,\parallel A\left(\mathbf{t}\right)\parallel }^{\delta }\left\}\right|det{A}^{-1}{\left(\mathbf{t}\right)|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1)$ repeats itself many times in the remaining proof of this theorem, so we let it be denoted by $\varphi \left(\mathbf{t}\right).$ With this we break our proof in the following two cases:

Case 1: $\lambda >0$, in this case we first evaluate the inner norm $\parallel f{\chi }_{k+m}{\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}$ as below:

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \parallel f{\chi }_{k+m}{\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}& \le w{\left(B_{k+m}\right)}^{-{\alpha }_1/n}{\left[\sum _{j=-\infty }^{k+m}w{\left(B_j\right)}^{{\alpha }_{1}l/n}{\parallel f{\chi }_j\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}^l\right]}^{1/l}\hfill \\ & =w{\left(B_{k+m}\right)}^{-{\alpha }_1/n}w{\left(B_{k+m}\right)}^{\lambda /n}\hfill \\ & \times w{\left(B_{k+m}\right)}^{-\lambda /n}{\left(\sum _{j=-\infty }^{k+m}w{\left(B_j\right)}^{{\alpha }_{1}l/n}{\parallel f{\chi }_j\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}^l\right)}^{1/l}\hfill \\ & =w{\left(B_{k+m}\right)}^{(\lambda -{\alpha }_1)/n}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)}\hfill \\ & \le p^{(k+m)(n+\beta )(\lambda -{\alpha }_1)/n}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)}.\hfill \end{array}\end{array}$$

(17)

Next, by virtue of Equation (12), the inequality (16) becomes

$$\begin{array}{c}\parallel \left(H_{\mathsf{\Phi },A}^{b}f\right){\chi }_k{\parallel }_{L^{q_2}(w,{\mathbb{Q}}_p^n)}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)}{p}^{k(n+\beta )(\delta /(n+\beta )+1/q_2-1/q_1+(\lambda -{\alpha }_1)/n)}\hfill \\ \times {\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right)|\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{p}^{m(n+\beta )(\lambda -{\alpha }_1)/n}d\mathbf{t}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)}{p}^{k(n+\beta )(\delta /(n+\beta )+1/q_2-1/q_1+(\lambda -{\alpha }_1)/n)}\hfill \\ \times {\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right){\parallel A\left(\mathbf{t}\right)\parallel }^{(n+\beta )(\lambda -{\alpha }_1)/n}d\mathbf{t}.\hfill \end{array}$$

Therefore, by definition of Morrey-Herz space and ${\alpha }_1={\alpha }_2+n\delta /(n+\beta )+n(1/q_2-1/q_1),$ we have

$$\begin{array}{c}\hfill \begin{array}{c}\parallel H_{\mathsf{\Phi },A}^b{f\parallel }_{M{K}_{l,q_1}^{{\alpha }_2,\lambda }(w,{\mathbb{Q}}_p^n)}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)}\underset{k_0\in \mathbb{Z}}{sup}{p}^{-k_0(n+\beta )\lambda /n}\hfill \\ \times [\sum _{k=-\infty }^{k_0}{p}^{kl(n+\beta )({\alpha }_2/n+\delta /(n+\beta )+1/q_2-1/q_1+(\lambda -{\alpha }_1)/n)}\hfill \\ \times {\left({\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right){\parallel A\left(\mathbf{t}\right)\parallel }^{(n+\beta )(\lambda -{\alpha }_1)/n}d\mathbf{t}\right)}^l{]}^{1/l}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right){\parallel A\left(\mathbf{t}\right)\parallel }^{(n+\beta )(\lambda -{\alpha }_1)/n}d\mathbf{t}\hfill \\ \times \underset{k_0\in \mathbb{Z}}{sup}{p}^{-k_0(n+\beta )\lambda /n}{\left[\sum _{k=-\infty }^{k_0}{p}^{kl(n+\beta )\lambda /n}\right]}^{1/l}\hfill \\ \le C\frac{p^{(n+\beta )\lambda /n}}{{(p^{l(n+\beta )\lambda /n}-1)}^{1/l}}{C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right){\parallel A\left(\mathbf{t}\right)\parallel }^{(n+\beta )(\lambda -{\alpha }_1)/n}d\mathbf{t}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\parallel f\parallel }_{M{K}_{l,q_1}^{{\alpha }_1,\lambda }(w,{\mathbb{Q}}_p^n)}{\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right){\parallel A\left(\mathbf{t}\right)\parallel }^{(n+\beta )(\lambda -{\alpha }_1)/n}d\mathbf{t},\hfill \end{array}\end{array}$$

substituting back the value of $\varphi \left(\mathbf{t}\right)$ we get the desired result.

Case 2: $\lambda =0$ and $l\in [1,\infty )$.

In this case Morrey-Herz spaces are reduced to the Herz spaces. It is clear that

$$\begin{array}{c}\hfill \begin{array}{c}\parallel \left(H_{\mathsf{\Phi },A}^{b}f\right){\chi }_k{\parallel }_{L^{q_2}(w,{\mathbb{Q}}_p^n)}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right)p^{k(n+\beta )(\delta /(n+\beta )+1/q_2-1/q_1)}\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{\parallel f{\chi }_{k+m}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}d\mathbf{t}.\hfill \end{array}\end{array}$$

(18)

Hence, by using the Minkowski’s inequality and ${\alpha }_1={\alpha }_2+n\delta /(n+\beta )+n(1/q_2-1/q_1),$ we obtain

$$\begin{array}{c}\hfill \begin{array}{c}\parallel H_{\mathsf{\Phi },A}^b{f\parallel }_{K_{q_2}^{{\alpha }_2,l}(w,{\mathbb{Q}}_p^n)}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}\{\sum _{k=-\infty }^{+\infty }{p}^{k(n+\beta ){\alpha }_{2}l/n}\hfill \\ \times {\left[{\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right)p^{k(n+\beta )(\delta /(n+\beta )+1/q_2-1/q_1)}\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{\parallel f{\chi }_{k+m}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}d\mathbf{t}\right]}^l{\}}^{1/l}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right){\left\{\sum _{k=-\infty }^{+\infty }{\left(\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{p}^{k(n+\beta ){\alpha }_1/n}{\parallel f{\chi }_{k+m}\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}\right)}^l\right\}}^{1/l}d\mathbf{t}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\int }_{{\mathbb{Q}}_p^n}\varphi \left(\mathbf{t}\right)\sum _{m=-\infty }^{{log}_p\parallel A\left(\mathbf{t}\right)\parallel }{p}^{-m(n+\beta ){\alpha }_1/n}{\left(\sum _{k=-\infty }^{+\infty }{p}^{kl(n+\beta ){\alpha }_1/n}{\parallel f{\chi }_k\parallel }_{L^{q_1}(w,{\mathbb{Q}}_p^n)}^l\right)}^{1/l}d\mathbf{t}\hfill \\ \le {C\parallel b\parallel }_{{\mathsf{\Lambda }}_{\delta }\left({\mathbb{Q}}_p^n\right)}{\parallel f\parallel }_{K_{q_1}^{{\alpha }_1,l}(w,{\mathbb{Q}}_p^n)}\hfill \\ \times {\int }_{{\mathbb{Q}}_p^n}{\left|\mathsf{\Phi }\left(\mathbf{t}\right)\right|max\{1,\parallel A\left(\mathbf{t}\right)\parallel }^{\delta }\left\}\right|det{A}^{-1}{\left(\mathbf{t}\right)|}_p^{1/q_1}G(A^{-1}\left(\mathbf{t}\right),\beta /q_1){\parallel A\left(\mathbf{t}\right)\parallel }^{-(n+\beta ){\alpha }_1/n}d\mathbf{t}.\hfill \end{array}\end{array}$$

(19)

From the inequalities (18) and (19), we get the proof.

4. Conclusions

Here we employed some conditions on the norm of matrix $A\left(\mathbf{t}\right)$ to ensure the boundedness of the commutators of Hausdorff operator on p-adic Herz-Morrey spaces. An idea that can be employed on various situations to obtain boundedness results for the p-adic matrix Hausdorff operator and its commutators on different function spaces.