Professional Documents
Culture Documents
Boundedness_for_Commutators_of_Rough_p_-Adic_Hardy
Boundedness_for_Commutators_of_Rough_p_-Adic_Hardy
Boundedness_for_Commutators_of_Rough_p_-Adic_Hardy
Research Article
Boundedness for Commutators of Rough p-Adic Hardy Operator
on p-Adic Central Morrey Spaces
1
Department of Mathematics, University of Kotli Azad Jammu and Kashmir, Pakistan
2
Department of Mathematics, College of Sciences, King Khalid University, Abha 61413, Saudi Arabia
3
Department of Mathematics, Çankaya University, Ankara, Turkey
4
Department of Medical Research, China Medical University Hospital, China Medical University, Taichung, Taiwan
Correspondence should be addressed to Naqash Sarfraz; naqashawesome@gmail.com and Fahd Jarad; fahd@cankaya.edu.tr
Copyright © 2021 Naqash Sarfraz et al. This is an open access article distributed under the Creative Commons Attribution License,
which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
In the present article we obtain the boundedness for commutators of rough p-adic Hardy operator on p-adic central Morrey spaces.
Furthermore, we also acquire the boundedness of rough p-adic Hardy operator on Lebesgue spaces.
1. Introduction tions of p-adic analysis are seen mainly in string theory [24],
quantum gravity [25, 26], quantum mechanics [14] and
The classical Hardy operator for a non-negative function spring glass theory [27, 28].
f : ℝ+ ⟶ ℝ+ is given as Suppose p is a prime number, r ∈ ℚ, we introduce the p
ðx -adic norm jrjp by a rule
1
H f ðxÞ = f ðt Þdt, x > 0: ð1Þ
x 0 j0jp = 0, jrjp = p−α , ð4Þ
In [1], Hardy defined the above operator which satisfies where the integer α = αðrÞ is defined by the following
notation
r
kH f kLr ðℝ+ Þ ≤ k f kLr ðℝ+ Þ , 1 < r < ∞: ð2Þ
r−1 r = pα m/n, ð5Þ
The constant r/ðr − 1Þ in (2) is sharp. In [2], Faris
integers m, n and p are coprime to each other. j·jp has many
extended the Hardy operator in ℝn by
properties of a real norm together with
ð
1 n o
Hf ðxÞ = n f ðtÞdt: ð3Þ
x
j j ðBð0,jxjÞÞ jr + sjp ≤ max jr jp , jsjp : ð6Þ
In this day and age, the Hardy operator has received a We denote the completion of ℚ in the norm j·jp by ℚp :
relentless consideration, see for example [3–7]. Moreover, Any nonzero p-adic number can be written in series form
the publications [8–12] and the references therein will do as (see [14]):
world of good to comprehend the Hardy type operators.
The past few years has seen an immense attention ∞
towards mathematical physics [13, 14] along with harmonic r = pα 〠 γi pi , ð7Þ
analysis in the p-adic field [15–23]. Furthermore, the applica- i=0
2 Journal of Function Spaces
ð !1/s
r ,λ
∥f ∥Ls ðℚnp Þ = j f ðxÞj dx < ∞: ð11Þ where Bγ = Bγ ð0Þ: Interestingly B_ ðℚnp Þ reduces to f0g for
s
ℚnp
−1/r > λ:
In what follows author in [29] introduced the Hardy Definition 2 [32]. Suppose λ < 1/n and 1 < r < ∞. The p-adic
operator in the p-adic field as for f ∈ Lloc ðℚnp Þ, we have _ r,λ ðℚnp Þ is given by
space CMO
ð
1
H f ðx Þ = n
p
f ðtÞdt: ð12Þ ð !1/r
jx jp Bð0,jxjp Þ 1 r
_ r,λ ðℚnp Þ = sup 1+λr
k f kCMO f ðxÞ − f Bγ dx < ∞,
γ∈ℤ Bγ Bγ
H
For better understanding of Hardy type operators in the p
-adic field we refer the publications [12, 29–32] and the refer- ð16Þ
ences therein. From here on, we discuss the rough kernel ver-
sion of an operator which is also considered an important Ð
where f Bγ = 1/jBγ jH f ðxÞdx, jBγ jH is the Haar measure of
topic in analysis, see for instance [20, 33–37]. In [10], Fu Bγ
et al. studied the roughness of Hardy operator in the real Bγ .
field. In the p-adic setting, the rough Hardy operator and
its commutator are defined and studied in [20]. Suppose _ r,λ ðℚnp Þ is reduced to CMOr
Remark 3. If λ = 0, then CMO
f : ℚnp ⟶ ℝ, b : ℚnp ⟶ ℝ and Ω : S0 ⟶ ℝ are measur- ðℚp Þ (see [29]).
n
able mappings, then
ð 2. Boundedness for Commutators of Rough p-
p 1
H Ω f ðx Þ = Ω jtjp t f ðtÞdt Adic Hardy Operator on Central Morrey
x
j jnp B ð0 ,j x j p Þ
Spaces
ð
p,b 1
H Ω f ðx Þ = ðbðxÞ − bðtÞÞΩ jtjp t f ðtÞdt, _ r,λ ðℚnp ÞÞ estimates of H pΩ,b on
In the present section ðC MO
jxjnp Bð0,jxjÞp
central Morrey spaces in the p-adic field are obtained.
ð13Þ However, to prove the result we need few lemmas.
Journal of Function Spaces 3
ð !1/s
_ r,λ ðℚnp Þ and i, j ∈ ℤ, λ ≥ 0. Then
Lemma 4 [32]. Let b ∈ C MO p ð s
H Ω f −1
Ls ðℚnp Þ
≤ Ω jy jp y f ∣y ∣ p x dx dy
Bð0,1Þ ℚnp
n o !
λ λ ð
_ r,λ ðℚnp Þ max jBi jH , B j H :
bBi − bB j ≤ pn ji − jjkbkCMO
≤ Ω jy jp y jyj−n/s
p dy k f kLs ðℚnp Þ
ð17Þ Bð0,1Þ
ð !
0
−nj/s
= 〠 Ω py p j
dy k f kLs ðℚn Þ
Lemma 5. Suppose 1 < s < ∞ and 1/s + 1/s ′ = 1. Then the j=−∞ S j
p
ð ð ð
j s
~f ðxÞ = 1 −1 Ω p y dy = jΩðzÞjs p jn dz = Cp jn : ð24Þ
f j x j ξ dξ, x ∈ ℚnp : ð19Þ
1 − pn jξp j=1 p Sj jzjp =1
So, we assume f to be a radial function in the rest of the 1: Applying Minkowski’s inequality to have
proof.
ð !1/r
By the change of p-adic variables t = jxj−1
p y, we have 1 p,b
r
1+λr H Ω f ðxÞ dx
Bγ Bγ
H
ð ð
s !1/s
ð ð r !1/r
p 1 1 1
H Ω f s n = Ω jt j t f ð tÞdt dx = 1+λr n Ω ∣t ∣ p t f ðtÞðbðxÞ − bðtÞÞdt dx
L ðℚp Þ n jx j
n p Bγ x
Bγ j jp Bð0,∣xjp Þ
ℚp p Bð0,∣xjp Þ H
s !1/s ð ð !1/r
ð ð r
−1 1
≤ 1+λr
1
n
Ω ∣t ∣ p t f ðtÞ bðxÞ − bBγ dt dx
= Ω ∣y ∣ p y f ∣x ∣ p y dy dx : Bγ Bγ jx jp Bð0,∣xjp Þ
ℚnp Bð0,1Þ H
!1/r
ð ð r
1 1
ð22Þ + 1+λr n Ω ∣t ∣ p t f ðtÞ bðtÞ − bBγ dt dx
Bγ Bγ jxjp Bð0,∣xjp Þ
H
= I + II:
Now by using Minkowski’s inequality and Hölder’s
inequality ð1/s + 1/s ′ = 1Þ, we get ð27Þ
4 Journal of Function Spaces
For the evaluation of I, we make use of Lemma (5) which For II 2 , we use Lemma 4, inequality (30) and Hölder’s
p
shows that H Ω is bounded from Lr ðℚnp Þ to Lr ðℚnp Þ, inequality to obtain
ð1 < r<∞Þ: By Hölder’s inequality ð1 = r/r 1 + r/r 2 Þ, we have
ð !r
!1/r2 ð !1/r1 C
γ k
ð r 2 II 2 = 1+λr 〠 pknð1−rÞ 〠 ∣ Ω p j t f ðtÞ bB j − bBγ dt ∣
−1/r−λ p r 1 Bγ
I ≤ Bγ H bðxÞ − bBγ dx
H Ω f ðxÞ dx H
k=−∞ j=−∞ S j
Bγ Bγ γ
" ð #r
!1/r2 ð !1/r1 C k
λ
−1/r−λ
ð r 2 ≤ 1+λr 〠 pknð1−rÞ 〠 Ω p j t f ðtÞðγ − jÞBγ H2 dt
Bγ
≤ Bγ H bðxÞ − bBγ dx j f ðxÞjr1 dx H
k=−∞ j=−∞ S j
Bγ Bγ γ
" ð #r
C k
= Ck f kB_ r1 ,λ1 : = 1+λr 〠 pknð1−rÞ 〠 ðγ − jÞ Ω p j t f ðtÞdt
ðℚnp Þ Bγ k=−∞ j=−∞ Sj
H
" ð !1/s
ð28Þ C
γ k j s
≤ 1+λ r 〠 p knð1−r Þ
〠 ðγ − jÞ
Ω p t dt
Bγ 1 k=−∞ j=−∞ Sj
In order to estimate II, we proceed as follows H
!1/r1 ð !1/r1′ −1/s #r
ð
ð ð
r × j f ðtÞj dt
r1
dt
1 1
II ≤ 1+λr
r
n Ω ∣t ∣ p t f ðtÞ bðtÞ − bBγ dt dx Sj Sj
Bγ Bγ jxjp Bð0,∣xp Þ γ
" #r
H
!r C k λ1 +1−1/s
γ ð ð ≤ 1+λ r k f kB_ r,λ1 ℚn 〠 p knð1−r+r/sÞ
〠 ðγ − jÞ B j
1 Bγ 1 ð pÞ
≤ 1+λr 〠 p−knr ∣ Ω jtjp t f ðtÞ bðtÞ − bBγ dt ∣ dx k=−∞ j=−∞
Bγ k=−∞ Sk Bð0,pk Þ
H
H γ
ð !r C
C
γ k
≤ 1+λ r k f kB_ r,λ1 ℚn 〠 pknð1−r+r/sÞ ðγ − kÞr jBk jðλ1 +1−1/sÞr
= 1+λr 〠 pknð1−rÞ 〠 ∣ Ω p j t f ðtÞ bðtÞ − bBγ dt ∣ Bγ 1 ð pÞ
k=−∞
Bγ k=−∞ j=−∞ Sj H
H γ
ð !r C
C
γ k
= 1+λ r k f kB_ r,λ1 ℚn 〠 ðγ − kÞr pknrð1/r+λ1 Þ
≤ 1+λr 〠 pknð1−rÞ 〠 ∣ Ω p t f ðtÞ bðtÞ − bB j dt ∣
j
Bγ 1 ð pÞ
Bγ k=−∞ j=−∞ Sj H
k=−∞
H
ð !r C
C
γ k
= 1+λ r k f kB_ r,λ1 ℚn pγnrð1/r+λ1 Þ = Ck f kB_ r,λ1 ℚn ,
+ 1+λr 〠 pknð1−rÞ 〠 ∣ Ω p j t f ðtÞ bB j − bBγ dt ∣ Bγ 1 ð pÞ ð pÞ
Bγ k=−∞ j=−∞ S j
H
H
= II 1 + II 2 :
ð32Þ
ð29Þ
where we notice that 0 < λ1 + 1 − 1/s together with λ1 + 1/r1
For j, k ∈ ℤ with j ≤ k, we have + 1/r2 > 1/r 2 > 0 = λ1 + 1/r: From (28), (31) and (32), we get
ð ð
j s
Ω p t dt = jΩðzÞjs p jn dz ≤ Cpkn : ð30Þ p,b
H Ω f ≤ C k f kB_ r,λ1 : ð33Þ
Sj jzjp =1 B_ 1 ðℚnp Þ
r,λ ðℚnp Þ