1. 引言
设
,分数次积分算子
定义为
(1)
分数次积分算子是调和分析的重要组成部分,有着深刻的偏微分方程背景,该算子在调和分析中起着非常重要的作用,特别是在研究函数的可微性及光滑性时。近几十年对该算子的研究由着丰富的结果。其中最经典的是,1970年E.M. Stein在文献 [1] 中给出了分数次积分是
型的,该结果是S. Sobolev在1938年证明的,还给出了在1950年由A. Zygmund证明的分数次积分算子是弱
型有界的,其中
,
。多线性算子在调和分析中也有很重要的地位,多线性算子理论在偏微分方程
与多复变分析中都有广泛的应用。多线性算子理论的研究起源于R. Coifmen [2] 和Y. Meyer [3] 的工作。1999年,C. Kenig和E.M. Stein在文献 [4] 中给出了多线性分数次积分算子的定义,并证明了其在
空间上的有界性。
1991年,Kováčik,Rákosnik [5] 较系统地介绍了变指数Lebesgue空间、变指数Sobolev空间及其在偏微分方程中的应用。变指数函数空间与经典函数空间最重要的区别在于,在变指数函数空间中积分不等式不再成立。因此Hardy-Littlewood极大算子在变指数Lebesgue空间中的有界性不再成立。2004年,Diening在文献 [6] 中给出了使得上述有界性成立的充要条件,即log-Hölder条件。以此为基础,在研究变指数函数空间中的一些重要算子及其交换子的有界性问题上取得了一系列成果。Diening [7] 证明了分数次积分算子从变指数空间
到变指数空间
的有界性,其中
和
在有界区域中满足log-Hölder条件。2006年,Cruz-Uribe,Fiorenza,Martell and Perez [8] 证明了调和分析中的一些经典算子,如极大算子、奇异积分、分数积分及其交换子在变指数Lebesgue空间上的有界性。
1938年,Morrey [9] 在研究二阶椭圆偏微分方程解的局部正则性时首次引入了一类新的函数空间,即经典的Morrey空间,它是Lebesgue空间的一个自然推广。近年来,Morrey空间算子的有界性引起学者们的广泛关注,并且研究发现偏微分方程的许多性质与Morrey空间一些算子的有界性相关。在1987年,Chiarenza和Frasca [10] 研究了Hardy-Littlewood极大算子和C-Z奇异积分算子在Morrey空间上的有界性。2009年,在Morrey空间研究的基础上,Komori和Shirai [11] 定义了加权Morrey空间,并研究了一些调和分析中的经典算子的性质。此后,Alvarez,Guzman-Partida和Lakey [12] 在研究中心BMO空间与Morrey空间的关系时,引入了
-中心CBMO空间和
-中心Morrey空间,这是有界中心平均振荡空间的推广。这些
-中心有界平均振动空间、Morrey型空间和相关的泛函空间在研究算子(包括奇异积分和Hausdorff算子)的有界性方面有着广泛的应用。
1995年,Lu和Yang [13] 定义了中心有界平均振荡空间,并且著名的John-Nirenberg不等式在此类中心有界平均振荡空间中将不再成立。1996年,Fan等 [14] 建立了一类算子交换子在齐次Morrey空间中的有界性,包括Hardy-Littlewood极大算子、Calderon-Zygmund奇异积分算子和它们的交换子,并且研究了具有不连续系数的超抛物方程解的正则性。2008年,Fu等 [15] 证明了粗糙核奇异积分算子在
-中心Morrey空间上的有界性,同时也得到了粗糙核奇异积分与
-中心CBMO函数生成的交换子在
-中心Morrey空间上的有界性。2011年,Tao和Shi [16] 建立了
-中心Morrey空间
上多线性交换子
的有界性,其中
,每个
都是一个
中心的BMO函数。2015年,Mizuta、Ohno和Shimomura [17] 引入了变指数的非齐次中心Morrey空间。2019年,陶双平等 [18] 得到了分数次极大算子及交换子在
-中心Morrey空间上的加权估计。有关这类空间上其他的结果可参考文献( [19] [20] [21] )。2019年,Fu等 [22] 研究了具有粗糙核的奇异积分算子在变指标中心Morrey空间上的有界性。随后Wang和Xu [23] 进一步获得了多线性分数次积分算子及其交换子关于变指数中心Morrey空间。其他变指标Morrey空间上的结果可参考文献( [24] [25] )。受上述工作的启发,本文的目的是研究变指数
-中心Morrey空间上的分数次积分多线性交换子的有界性。分数次积分多线性交换子相比较分数次积分交换子而言是复杂的,结论的证明过程中需要用到分数次积分在变指数Lebesgue空间中的
有界性,因此多变量指标必须
满足
条件,复杂的指标计算及相关估计也是本文的一个难点。本文的结果是文
献 [22] 的结果的推广,丰富和完善了分数次积分算子交换子的有界性估计。下面给出变指数函数空间的一些定义。
2. 预备知识
定义1 [26] 设
是可测函数,变指标Lebesgue空间定义为
其范数为
。
当
是常数时,则
即为标准的Lebesgue空间
。
用
表示
上满足以下条件的所有可测函数
构成的集合:
其中
。
令
为
并使得Hardy-Littlewood极大算子M满足
有界的指数函数
的集合。
称可测函数
是指存在一个常数
,满足
(2)
同理,可测函数
是指存在常数
,使得
(3)
记
。
如果
,则
,并且Hardy--Littlewood 极大函数M在
上是有界的。
定义2 [21] 设
,
,则变指数
中心BMO空间
定义为
这里
。
定义3 [21] 设
,
,则变指数
中心Morrey空间定义为
这里
。
注1 当
时,
即为文献 [25] 中的
。
注2 记
和
齐次的变指数
中心BMO空间和变指数
-中心Morrey空间,
这俩个定义是在上述俩个定义中取
的上确界。很明显,对
,
,
;对
,
,
,关于非齐次变指数
中心BMO空间和变指数
-中心Morrey空间的研究见文献 [17] 。
本文中出现的C是一个绝对正常数,在不同的地方可取不同的值。
3. 主要结论及证明
设
是零次齐次函数,且在单位球面上的平均值为零。带粗糙核的分数次积分算子
定义为,对任意的
,
(4)
带粗糙核的多线性交换子定义为
(5)
当
时,(5)即为文献 [21] 中的交换子
。下面给出带粗糙核的分数次积分多线性交换子在变指数
-中心Morrey空间上的有界性。
定理1 设
,
,
,
是由(5)式定义的交换子,
,
,设
,
,
,且
,
,则
是从
到
上是有界的,且满足
要证明定理1,需要以下引理。
引理1 [5] 设
,若
且
,则
在
上可积并且
其中
。上述不等式称为广义Hölder不等式。
引理2 [27] 设
,则存在常数
,使对所有
中的球B,有
引理3 [26] 设
满足(2)、(3)式,则使对所有
中的球(或方体) Q,有
这里
。
引理4 [26] 设变指数
,满足
,则有
引理5 [27] 设
,则存在常数
使得对所有
中的球B和所有的可测子集
,都有
其中
是常数且满足
。
引理6 [28] 设
,若
且
,则对任意的可测函数
有
定理1的证明:
不失一般性,设
,
简记为B。2B表示
。
简记为
,
简记为
,设
为集合E的特征函数。
表示函数b对球B的积分平均值。对任意的
,
,将函数
分成两部分,一部分靠近原点的记为
,一部分远离原点的记为
,即
,要证
(6)
由Minkowski不等式,可得
首先估计
。
对于
,设
,
,这里
,由引理2、引理3、引理4及
的
有界性,可得
这里
对于
,将区域分解为
中的球层
,然后在每一层进行估计。设
。由此可得
。由广义Hölder不等式和引理2、引理6,得
设
且
,
。由于
是零次齐次函数,且
,可得
当
且
,由引理3和
,可
当
时,有
因此,
因为
,则
,由引理2可得
因为
,由引理3和引理4,得
下面估计
。
对
,设
,
,则
,由引理3、引理4、引理5和
的
有界性,得
这里
对
,类似
的分解。设
,则由Minkowski不等式和广义Hölder不等式及引理3、引理6,得
对于
,有
由引理3得
由此可得
类似于
的估计。可得
下面估计
。
对
,设
,则
,由
的
有界性,得
对
,设
,
,由广义Hölder不等式和引理2、引理3,得
由以上估计可得
综合上述对
,
,
,
的估计,可得
这就证明了定理1。
4. 结论
本文主要研究分数次积分和
-中心BMO函数生成的多线性交换子在变指数中心Morrey空间上的有界性,本文得到的结论是文献 [13] 中一阶交换子有界性的推广,当
,
,我们也可以得到分数次积分高阶交换子的有界性。因此,本文的结论丰富了变指数中心Morrey空间上多线性算子理论。
致谢
感谢审稿人对本文提出的修改意见!
基金项目
兰州财经大学青年项目(Lzufe2022D-002);甘肃自然科学基金(22JR5RA556);甘肃省高等学校创新能力提升资助项目(2020B-142)。