Some estimates for p-adic rough multilinear Hausdorff operators and commutators on weighted Morrey-Herz type spaces
Nguyen Minh Chuong, Dao Van Duong, Kieu Huu Dung

TL;DR
This paper investigates the boundedness of a new class of p-adic rough multilinear Hausdorff operators and their commutators on various weighted Morrey-Herz type spaces, expanding understanding in p-adic harmonic analysis.
Contribution
It introduces and analyzes the boundedness of p-adic rough multilinear Hausdorff operators and their commutators on weighted Morrey-Herz spaces, a novel extension in p-adic analysis.
Findings
Boundedness established for p-adic rough multilinear Hausdorff operators.
Boundedness results for commutators with symbols in central BMO space.
Extension of operator theory to weighted Morrey-Herz spaces in p-adic setting.
Abstract
The aim of this paper is to introduce and study the boundedness of a new class of p-adic rough multilinear Hausdorff operators on the product of Herz, central Morrey and Morrey-Herz spaces with power weights and Muckenhoupt weights. We also establish the boundedness for the commutators of p-adic rough multilinear Hausdorff operators on the weighted spaces with symbols in central BMO space.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Some estimates for p-adic rough multilinear Hausdorff operators and commutators on weighted Morrey-Herz type spaces
Nguyen Minh Chuong
Institute of mathematics, Vietnamese Academy of Science and Technology, Hanoi, Vietnam.
,
Dao Van Duong
School of Mathematics, Mientrung University of Civil Engineering, Phu Yen, Vietnam
and
Kieu Huu Dung
School of Mathematics, University of Transport and Communications, Ha Noi, Vietnam
Abstract.
The aim of this paper is to introduce and study the boundedness of a new class of -adic rough multilinear Hausdorff operators on the product of Herz, central Morrey and Morrey-Herz spaces with power weights and Muckenhoupt weights. We also establish the boundedness for the commutators of -adic rough multilinear Hausdorff operators on the weighted spaces with symbols in central BMO space.
Key words and phrases:
Rough multilinear Hausdorff operator, commutator, central BMO space, Morrey-Herz space, -adic analysis.
2000 Mathematics Subject Classification:
42B25, 42B99, 26D15
This paper is funded by Vietnam National Foundation for Science and Technology Development (NAFOSTED)
1. Introduction
The -adic analysis in the past decades has received a lot of attention due to its important applications in mathematical physics as well as its necessity in sciences and technologies (see e.g. [2, 3, 5, 9, 10, 15, 22, 24, 35, 36, 37, 38] and references therein). All these developments have been motivated for two physical ideas. The first is the conjecture in particle physics that at very small, so-called Planck distances physical space-time has a complicated non-Archimedean structure and that -adic numbers correctly reflect this structure. As a consequence of this idea have emerged the -adic quantum mechanics and -adic quantum field theory. The second idea comes from statistical physics, in particular in connection with models describing relaxation in glasses, macromolecules and proteins. It is also known that the theory of functions from into play an important role in -adic quantum mechanics, the theory of -adic probability in which real-valued random variables have to be considered to solve covariance problems. In recent years, there is an increasing interest in the study of harmonic analysis and wavelet analysis over the -adic fields (see e.g. [1, 9, 10, 13, 20, 21, 23, 24]). One of the important operators in harmonic analysis is the Hausdorff operator, and it is used to solve certain classical problems in analysis. In 2010, Volosivets [39] introduced the Hausdorff operator on the -adic field as follows
[TABLE]
where is a locally intefrable function on and is an invertible matrix for almost everywhere in the support of . It should be pointed out that if we take and ( is an identity matrix), for , where is a measurable function, then reduces to the -adic weighted Hardy-Littlewood average operator due to Rim and Lee [32]. For all we know, the theory of the Hardy operators, the Hausdorff operators over the -adic numbers field has been significantly developed into different contexts, and they are actually useful for -adic analysis (see e.g. [11, 12, 17, 40, 41, 43]). In 2012, Chen, Fan and Li [7] introduced another version of Hausdorff operators, so-called the rough Hausdorff operators, as follow
[TABLE]
Note that if is a radial function, then by using the change of variable in polar coordinates, the operator is rewritten under of the form
[TABLE]
Very recently, Volosivets [42] introduced and investigated the rough Hausdorff operators on the Lorentz space on -adic fields which are defined by
[TABLE]
Motivated by above results, we shall introduce and investigate in this paper a new class of rough multilinear Hausdorff operators defined as follows.
Definition 1.1**.**
Let and be measurable functions such that for almost everywhere in . Let be measurable complex-valued functions on . The -adic rough multilinear Hausdorff operator is defined by
[TABLE]
for \vec{f}=\big{(}f_{1},...,f_{m}\big{)}.
It is clear that if , and , then is reduced to the -adic Hardy operator (see, for example, [26], [43]) defined by
[TABLE]
where is a ball in with center at [math] and radius . Let be a measurable function. We denote by the multiplication operator defined by for any measurable function . If is a linear operator on some measurable function space, the commutator of Coifman-Rochberg-Weiss type formed by and is defined by . Next, let us give the definition for the commutators of Coifman-Rochberg-Weiss type of -adic rough multilinear Hausdorff operator.
Definition 1.2**.**
Let be as above. The Coifman-Rochberg-Weiss type commutator of -adic rough multilinear Hausdorff operator is defined by
[TABLE]
where , \vec{b}=\big{(}b_{1},...,b_{m}\big{)} and are locally integrable functions on for all .
The main purpose of this paper is to extend and study the new -adic rough multilinear Hausdorff operators on the -adic numbers field. We then obtain the necessary and sufficient conditions for the boundedness of on the product of Herz, central Morrey and Morrey-Herz spaces on -adic field. In each case, we estimate the corresponding operator norms. Moreover, the boundedness of on the such spaces with symbols in central BMO space is also established. It should be pointed out that all our results are new even in the case of linear -adic rough Hausdorff operators. Our paper is organized as follows. In Section 2, we present some notations and preliminaries about -adic analysis as well as give some definitions of the Herz, central Morrey and Morrey-Herz spaces associated with power weights and Muckenhoupt weights. Our main theorems are given and proved in Section 3 and Section 4.
2. Some notations and definitions
For a prime number , let be the field of -adic numbers. This field is the completion of the field of rational numbers with respect to the non-Archimedean -adic norm . This norm is defined as follows: if , ; if is an arbitrary rational number with the unique representation , where are not divisible by , , then . This norm satisfies the following properties:
(i) ,
(ii)
(iii) , and when , we have
It is also well-known that any non-zero -adic number can be uniquely represented in the canonical series
[TABLE]
where , . This series converges in the -adic norm since .
The space consists of all points , where . The -adic norm of is defined by
[TABLE]
Let
[TABLE]
be a ball of radius with center at . Similarly, denote by
[TABLE]
the sphere with center at and radius . If , then for any we have and . Especially, we denote instead of , in , and be the characteristic function of the sphere .
Since is a locally compact commutative group under addition, it follows from the standard theory that there exists a Haar measure on , which is unique up to positive constant multiple and is translation invariant. This measure is unique by normalizing such that
[TABLE]
where denotes the Haar measure of a measurable subset of . By simple calculation, it is easy to obtain that , for any . For , we have
[TABLE]
In particular, if , we can write
[TABLE]
and
[TABLE]
where . For a more complete introduction to the -adic analysis, we refer the readers to [22, 38] and the references therein.
Let be a non-negative measurable function in . The weighted Lebesgue space is defined to be the space of all measurable functions on such that
[TABLE]
The space is defined as the set of all measurable functions on satisfying for any compact subset of . The space is also defined in a similar way as the space . Throught the whole paper, we denote by a positive geometric constant that is independent of the main parameters, but can change from line to line. Denote , for and . We also write to mean that there is a positive constant , independent of the main parameters, such that . The symbol means that is equivalent to (i.e. ). For any real number , denote by conjugate real number of , i.e. . Next, let us give the definition of weighted -central Morrey spaces on -adic field.
Definition 2.1**.**
Let and . The weighted -central Morrey -adic spaces consists of all Haar measurable functions satisfying , where
[TABLE]
Remark that is a Banach space and reduces to when .
We also present some definitions of the weighted Herz -adic space and Morrey-Herz -adic space.
Definition 2.2**.**
Let and . The weighted Herz -adic space is defined as the set of all Haar measurable functions such that , where
[TABLE]
Definition 2.3**.**
Let and . The weighted Herz -adic space is defined as the set of all Haar measurable functions such that , where
[TABLE]
Definition 2.4**.**
Let , and be a non-negative real number. The weighted Morrey-Herz -adic space is defined by
[TABLE]
where
[TABLE]
Let us recall to define the central BMO -adic space.
Definition 2.5**.**
Let and be a weight function. The central bounded mean oscillation space is defined as the set of all functions such that
[TABLE]
where
[TABLE]
The theory of weight was first introduced by Benjamin Muckenhoupt on the Euclidean spaces in order to characterise the boundedness of Hardy-Littlewood maximal functions on the weighted spaces (see [29]). For weights on the -adic fields, more generally, on the local fields or homogeneous type spaces, one can refer to [14, 18] for more details.
Definition 2.6**.**
Let . We say that a weight if there exists a constant such that for all balls ,
[TABLE]
We say that a weight if there is a constant such that for all balls ,
[TABLE]
We denote by .
We give the following standard result related to the Muckenhoupt weights.
Proposition 2.7**.**
- (i)
, for . 2. (ii)
If for , then there is an such that and .
A closing relation to is the reverse Hölder condition. If there exist and a fixed constant such that
[TABLE]
for all balls , we then say that satisfies the reverse Hölder condition of order and write . According to Theorem 19 and Corollary 21 in [19], if and only if there exists some such that . Moreover, if , , then for some . We thus write to denote the critical index of for the reverse Hölder condition.
An important example of weight is the power function . By the similar arguments as Propositions 1.4.3 and 1.4.4 in [27], we obtain the following properties of power weights.
Proposition 2.8**.**
Let . Then, we have
- (i)
* if and only if ;*
- (ii)
* for , if and only if .*
Let us give the following standard characterization of weights which it is proved in the similar way as the real setting (see [16, 33] for more details).
Proposition 2.9**.**
Let , and . Then, there exist constants such that
[TABLE]
for any measurable subset of a ball .
Proposition 2.10**.**
If , , then for any and any ball ,
[TABLE]
3. The main results about the boundness of
Let us now assume that and , , are real numbers such that , , and
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Theorem 3.1**.**
Let , \lambda_{i}\in\big{(}\frac{-1}{q_{i}},0\big{)}, for all , , and the following condition is true:
[TABLE]
Then, we have that is bounded from to if and only if
[TABLE]
Furthermore, we obtain {\big{\|}{\mathcal{H}}^{p}_{\Phi,\Omega}\big{\|}_{{\mathop{B}\limits^{.}}^{{q_{1}},{\lambda_{1}}}_{{\omega_{1}}}(\mathbb{Q}^{n}_{p})\times\cdots\times{\mathop{B}\limits^{.}}^{{q_{m}},{\lambda_{m}}}_{{\omega_{m}}}(\mathbb{Q}^{n}_{p})\to{\mathop{B}\limits^{.}}^{q,\lambda}_{\omega}(\mathbb{Q}^{n}_{p})}}\simeq\mathcal{C}_{1}.
Proof.
We prove the sufficient condition of the theorem. For , denote
[TABLE]
By using the Minkowski inequality, we get
[TABLE]
Next, by applying the Hölder inequality, we have
[TABLE]
Thus, we deduce
[TABLE]
On the other hand, is equaled by
[TABLE]
Hence, by (3.3), we have
[TABLE]
Now, we need to prove that
[TABLE]
where
[TABLE]
Indeed, we get
[TABLE]
and . Thus, by (3.1), we complete the proof for (3.6).
Applying (3.5) and (3.6), we imply
[TABLE]
Therefore, we have
To give the proof for necessary condition of the theorem, let us now choose
[TABLE]
Then, we get
[TABLE]
Thus, by the similar argument as (3.7), it is not hard to show that
[TABLE]
Now, is equal to
[TABLE]
By estimating as (3.7) and (3), we obtain
[TABLE]
Thus, it follows from (3.9) that
[TABLE]
Since is bounded from to , it immediately implies that . Thus, the proof of the theorem is finished. ∎
Next, we have the boundedness of -adic rough multilinear Hausdorff operators on weighted -central Morrey -adic spaces associated with the Muckenhoupt weights.
Theorem 3.2**.**
Let , , for all and with the finite critical index for the reverse Hölder condition. Assume that , and the two following conditions hold:
[TABLE]
[TABLE]
Then, is bounded from to .
Proof.
According to the Minkowski inequality, it implies that
[TABLE]
In view of the condition , there exists such that . By the Hölder inequality and the reverse Hölder condition, we have
[TABLE]
Next, by using the Höder inequality and estimating as (3) and (3) above, we deduce
[TABLE]
Thus, by (3.12) and (3), we imply
[TABLE]
For , by applying Proposition 2.10 again, we have
[TABLE]
It follows that
[TABLE]
Consequently, by (3.10), we have is controlled by
[TABLE]
Because of having (3.10), it also gives . Thus, by and Proposition 2.9, if
[TABLE]
and otherwise,
[TABLE]
By (3.15), (3.16) and (3.17), we obtain
[TABLE]
This completes the proof of theorem. ∎
Theorem 3.3**.**
Let , and . Then, we have that is bounded from to if and only if
[TABLE]
Furthermore, {\big{\|}{\mathcal{H}}^{p}_{\Phi,\Omega}\big{\|}_{{K}^{\beta_{1},\ell_{1}}_{q_{1},\omega_{1}}(\mathbb{Q}^{n}_{p})\times\cdots\times{K}^{{\beta_{m},\ell_{m}}}_{q_{m},\omega_{m}}(\mathbb{Q}^{n}_{p})\to{K}^{\beta,\ell}_{q,\omega}(\mathbb{Q}^{n}_{p})}\simeq\mathcal{C}_{3}}.
Proof.
We begin with the proof for the sufficient condition of theorem. For , by using Minkowski inequality and Hölder inequality again and making as (3.3) above, we have
[TABLE]
Next, a simple calculation as (3) above follows us to have that
[TABLE]
Thus, we have
[TABLE]
Combining this with the Minkowski inequality, we have
[TABLE]
In view of the Hölder inequality and the definition of the Herz space, we obtain that
[TABLE]
which implies that
Conversely, suppose that is bounded from to . For and , let us choose the following functions
[TABLE]
It is clear to see that when then . Otherwise, we have
[TABLE]
Thus, it leads that . Moreover,
[TABLE]
Now, we get
[TABLE]
Therefore, for , it follows immediately that
[TABLE]
Estimating as (3.20) above, it implies . Thus,
[TABLE]
Hence, by (3), we have
[TABLE]
where Note that, by lettting big enough, we get
[TABLE]
By having , and lettting , we obtain
[TABLE]
Hence, by the dominated convergence theorem of Lebesgue and the boundedness of on to , we get
[TABLE]
which finishes the proof of this theorem. ∎
Theorem 3.4**.**
Let , , (set of all negative real numbers) such that
[TABLE]
*Suppose that , , with the finite critical index for the reverse Hölder condition and , .
If , for , and*
[TABLE]
then is bounded from to .
* If , for , and*
[TABLE]
then is bounded from to
Proof.
According to estimating as (3), we also have
[TABLE]
From this, by the Minkowski inequality, is controlled by
[TABLE]
By the relation and the Hölder inequality, we get
[TABLE]
Thus, by (3), it follows that
[TABLE]
From and , by Proposition 2.9 again, we see that
[TABLE]
When , Proposition 2.9 follows us to have
[TABLE]
When , it is easy to see that Proposition 2.9 yields
[TABLE]
In the case , by (3), (3.24) and (3.28), we obtain that
[TABLE]
Note that, by using the Minkowski inequality again, we deduce
[TABLE]
Therefore, by (3), we have
[TABLE]
which completes the proof for this case.
In this case , from by (3), (3.24), (3.32) and a similar argument as above, we also have
[TABLE]
This implies that the proof of theorem is finished. ∎
Theorem 3.5**.**
Let be as Theorem 3.3, and the hypothesis (3.10) in Theorem 3.2 holds. Then, is a bounded operator from to if and only if
[TABLE]
Moreover, {\big{\|}{\mathcal{H}}^{p}_{\Phi,\Omega}\big{\|}_{{MK}^{\beta_{1},\lambda_{1}}_{\ell_{1},q_{1},\omega_{1}}(\mathbb{Q}^{n}_{p})\times\cdots\times{MK}^{{\beta_{m},\lambda_{m}}}_{\ell_{m},q_{m},\omega_{m}}(\mathbb{Q}^{n}_{p})\to{MK}^{\beta,\lambda^{*}}_{\ell,q,\omega}(\mathbb{Q}^{n}_{p})}\simeq\mathcal{C}_{5}}.
Proof.
By the estimation (3.19) and the definition of the Morrey-Herz -adic space, we have
[TABLE]
Using the Hölder inequality and the relation (3.10), we get
[TABLE]
Therefore, we obtain
[TABLE]
which implies that is a bounded operator from to if
Conversely, by a similar argument, we also choose
[TABLE]
Thus, , which implies that
[TABLE]
In addition, it is easy to show that
[TABLE]
Hence, we estimate
[TABLE]
Since is a bounded operator from to , it follows that
[TABLE]
which finishes the proof. ∎
4. The main results about the boundness of
Before stating our next results, we introduce some notations which will be used throughout this section. Let and , , are real numbers such that , , , and denote
[TABLE]
[TABLE]
[TABLE]
[TABLE]
Theorem 4.1**.**
*Let \lambda_{i}\in\big{(}\frac{-1}{q_{i}},0\big{)}, , for all , , , and the hypothesis (3.1) in Theorem 3.1 holds.
(i) If*
[TABLE]
*then we have is bounded from to .
(ii) If is bounded from to and*
[TABLE]
then is finite. Furthermore,
[TABLE]
Proof.
By applying the Minkowski inequality, it implies that
[TABLE]
According to the Hölder inequality, we get
[TABLE]
Therefore, by using the Hölder inequality again, is controlled by
[TABLE]
Next, we can show that
[TABLE]
Indeed, we estimate
[TABLE]
In view of the definition of the space , we deduce
[TABLE]
Next, we observe that
[TABLE]
which implies that
[TABLE]
Thus,
[TABLE]
Now, we see that
[TABLE]
In the case , by using the Hölder inequality, it follows that
[TABLE]
Otherwise, by estimating as above, we also have
[TABLE]
By (4), (4) and (4.9), we obtain that
[TABLE]
From this, by (4) and (4), we finish the proof of the inequality (4.2). In view of the relations (3), (4) and (4.2), we imply
[TABLE]
By having the hypothesis (3.1), it deduces Thus, by (4) and the definition of the -central Morrey -adic space, we have
[TABLE]
which completes the proof for the first part of theorem.
Next, we will prove the second part of theorem. Let us take that is bounded from to . We choose
[TABLE]
Note that, by Lemma 6.1 in [17] (also see Lemma 2.1 in [32]), we imply . From (3.9), we have and .
Thus, we get
[TABLE]
Therefore, we deduce
[TABLE]
This leads that is finite. The proof of theorem is ended. ∎
Theorem 4.2**.**
Let , with the finite critical index for the reverse Hölder condition, , , \lambda_{i}\in\big{(}\frac{-1}{q^{*}_{i}},0\big{)} and for all . Assume that the hypothesis (3.10) in Theorem 3.2 holds and the two following conditions are true:
[TABLE]
[TABLE]
Then, is bounded from to .
Proof.
From the inequality (4.11), there exist such that
[TABLE]
[TABLE]
and
[TABLE]
Because of and making a similar argument as (4), we also have
[TABLE]
To prove this theorem, we need to show the following result,
[TABLE]
Actually, we compose
[TABLE]
By estimating as (4) above, we deduce
[TABLE]
Since , there exists rewarding . By the Hölder inequality and the reverse Hölder condition again, we infer
[TABLE]
By evaluating as (4) and Proposition 2.10, we have
[TABLE]
This deduces that
[TABLE]
By the reasons as (4), (4) and (4.9) above, we estimate
[TABLE]
Because of giving and using Proposition 2.9, we have
[TABLE]
Hence, we have
[TABLE]
Note that, from the inequality , we get Therefore, by (4.16), (4) and (4.26), we obtain the proof of the inequality (4.14).
On the other hand, because of having , there exists such that . By estimating as (4) above, we infer
[TABLE]
From this, by (4) and (4.14), one has
[TABLE]
As a consequence, by (3.10), for all , we have
[TABLE]
Hence, by (3.16) and (3.17), we have
[TABLE]
which achieves the desired result. ∎
Theorem 4.3**.**
Let , , for all , , . Assume that the hypothesis (3.10) in Theorem 3.2 is true and the following conditions hold:
[TABLE]
[TABLE]
Then, we have
[TABLE]
Proof.
By estimating as (4) above, it yields that
[TABLE]
From this, by the definition of the Morrey-Herz -adic space and the relation (4.27), we obtain that
[TABLE]
Thus, by (3) above, we get
[TABLE]
which finishes the proof of Theorem 4.3. ∎
It is well known that the Herz -adic space is a special case of Morrey-Herz -adic space. From this and Theorem 4.3, we also obtain the desired result as follows.
Corollary 4.4**.**
The assumptions of Theorem 4.3 are true with and the following condition holds:
[TABLE]
Then, we have is bounded from to .
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] S. Albeverio, A.Yu. Khrennikov, V.M. Shelkovich, Harmonic analysis in the p 𝑝 p -adic Lizorkin spaces: fractional operators, pseudo-differential equations, p 𝑝 p -wavelets, Tauberian theorems , J. Fourier Anal. Appl. 12(4) (2006), 393-425.
- 2[2] A. V. Avetisov, A. H. Bikulov, S. V. Kozyrev, V. A. Osipov, p 𝑝 p -adic models of ultrametric diffusion constrained by hierarchical energy landscapes , J. Phys. A: Math. Gen. 35 (2002), 177-189.
- 3[3] A. V. Avetisov, A. H. Bikulov, V. A. Osipov, p 𝑝 p -adic description of characteristic relaxation in complex systems , J. Phys. A: Math. Gen. 36 (2003), 4239-4246.
- 4[4] K. F. Andersen, B. Muckenhoupt, Weighted weak type Hardy inequalities with applications to Hilbert transforms and maximal functions , Studia Math. 72(1)(1982), 9-26.
- 5[5] O. V. Beloshapka, Feynman formulas for the Schrödinger equations with the Vladimirov operator , Russian J. Math. Phys., 17(3), 2010, 267-271.
- 6[6] R. R. Coifman, R. Rochberg, G. Weiss, Factorization theorems for Hardy spaces in several variables , Ann. Math. 103(1976), 611-635.
- 7[7] J. Chen, D. Fan and J. Li, Hausdorff operators on function spaces , Chinese Annals of Mathematics, Series B. 33(2012), 537-556.
- 8[8] N. M. Chuong, Pseudodifferential operators and wavelets over real and p-adic fields , Springer-Basel, 2018.
