Message Board

Dear readers, authors and reviewers,you can add a message on this page. We will reply to you as soon as possible!

2019 Volume 44 Issue 12
Article Contents

Cheng-long FANG. Sufficient and Necessary Conditions for Commutators of Bilinear Fractional Integral Operators to Be Bounded on Triebel-Lizorkin Spaces[J]. Journal of Southwest China Normal University(Natural Science Edition), 2019, 44(12): 24-30. doi: 10.13718/j.cnki.xsxb.2019.12.005
Citation: Cheng-long FANG. Sufficient and Necessary Conditions for Commutators of Bilinear Fractional Integral Operators to Be Bounded on Triebel-Lizorkin Spaces[J]. Journal of Southwest China Normal University(Natural Science Edition), 2019, 44(12): 24-30. doi: 10.13718/j.cnki.xsxb.2019.12.005

Sufficient and Necessary Conditions for Commutators of Bilinear Fractional Integral Operators to Be Bounded on Triebel-Lizorkin Spaces

More Information
  • Received Date: 14/05/2019
    Available Online: 20/12/2019
  • MSC: O174.2

  • In this paper, we first discuss the boundedness of linear commutators generated by bilinear fractional integral operators and Lipschitz functions on Triebel-Lizorkin spaces. Then it is proved that b1=b2 is Lipschitz function and is equivalent to the boundedness of commutator by bilinear fractional integral operators from product Lebesgue spaces to Lebesgue spaces or Triebel-Lizorkin spaces.
  • 加载中
  • [1] COIFMAN R R, METER Y.On Commutators of Singular Integrals and Bilinear Singular Integrals[J].Trans Amer Math Soc, 1975, 212:315-331. doi: 10.1090/S0002-9947-1975-0380244-8

    CrossRef Google Scholar

    [2] COIFMAN R R, ROCHBERG R, WEISS G.Factorization Theorems for Hardy Spaces in Several Variables[J].AnnMath, 1976, 103(3):611-635.

    Google Scholar

    [3] 刘荣辉, 周疆.P-Adic域上的多线性分数次Hardy算子交换子的估计[J].西南师范大学学报(自然科学版), 2018, 43(2):6-13.

    Google Scholar

    [4] 郭庆栋, 周疆.分数次Hardy算子的交换子在Lipschitz空间上的端点估计[J].西南大学学报(自然科学版), 2019, 41(8):41-47.

    Google Scholar

    [5] PALUSZYNSKI M.Characterization of the Besov Spaces via the Commutator Operator of Coifman, Rochberg and Weiss[J].IndianaUnivMathJ, 1995, 44(1):1-17.

    Google Scholar

    [6] SEEGER A.A Note on Triebel-Lizorkin Spaces[J].Approximation and Function Spaces, 1989, 22:391-400.

    Google Scholar

    [7] KENIG C E, STEIN E M.Multilinear Estimates and Fractional Integration[J].MathResLett, 1999, 6(1):1-15.

    Google Scholar

    [8] 周盼, 周疆.多线性分数次积分算子在Morrey型空间上新的端点估计[J].西南大学学报(自然科学版), 2017, 39(12):74-80.

    Google Scholar

    [9] 默会霞, 张志英.多线性分数次积分与Lipschitz函数生成的交换子的有界性[J].数学物理学报(A辑), 2011, 31(5):1447-1458.

    Google Scholar

    [10] MO H X, YU D Y, ZHOU H P.Generalized Higher Commutators Generated by the Multilinear Fractional Integrals and Lipschitz Functions[J].TurkJ Math, 2014, 38:851-861. doi: 10.3906/mat-1209-48

    CrossRef Google Scholar

    [11] 王松柏, 潘继斌, 江寅生.多线性分数次积分算子有界的充分必要条件[J].数学物理学报(A辑), 2015, 35(6):1106-1114.

    Google Scholar

    [12] DEVORE R A, SHARPLEY R C.Maximal Functions Measuring Smoothness[M].New York:MemAmerMathSoc, 1984.

    Google Scholar

    [13] CHAFFEE L. Characterizations of BMO Through Commutators of Bilinear Singular Integral Operators[J].Mathematics Subject Classification, 2018, 2018:1-7.

    Google Scholar

  • 加载中
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Article Metrics

Article views(1571) PDF downloads(173) Cited by(0)

Access History

Other Articles By Authors

Sufficient and Necessary Conditions for Commutators of Bilinear Fractional Integral Operators to Be Bounded on Triebel-Lizorkin Spaces

Abstract: In this paper, we first discuss the boundedness of linear commutators generated by bilinear fractional integral operators and Lipschitz functions on Triebel-Lizorkin spaces. Then it is proved that b1=b2 is Lipschitz function and is equivalent to the boundedness of commutator by bilinear fractional integral operators from product Lebesgue spaces to Lebesgue spaces or Triebel-Lizorkin spaces.

  • 20世纪70年代,文献[1-2]发现Calderón-Zygmund奇异积分算子交换子的研究可以归结为一类双线性奇异积分算子的研究,并获得了Calderón-Zygmund奇异积分算子交换子在Lebesgue空间上的有界性,之后许多学者开始研究交换子[3-6].

    β>0,若函数f满足

    则称f属于Lipschitz空间$\dot \varLambda _β $.对方体Q$f_{Q}=\frac{1}{|Q|} \int_{Q} f(x) \mathrm{d} x$.

    文献[5]证明了

    其中Cfα是分数次积分算子与Lipschitz函数生成的交换子,

    等价关系(1)的证明用到了文献[6]中讨论的Triebel-Lizorkin空间Fpβ,∞的一个重要性质:

    受文献[5]结果的启发,一个自然的问题产生了:双线性分数次积分算子交换子的有界性是否可以刻画Lipschitz空间?本文在第二部分给出了肯定的回答.

    定义1[7]   设0 < α < 2n,双线性分数次积分算子Iα定义为

    文献[7]获得了IαLp1×Lp2Lq的有界性,其中

    另外,有关多线性分数次积分算子的研究可见文献[8].

    本文主要讨论两种类型的交换子,下面给出其定义.

    定义2  设bjLloc1(j=1,2),Iα是双线性分数次积分算子.

    (a) 线性交换子$\left[\varSigma \vec{b}, I_{a}\right]$定义为

    (b) 迭代交换子$\left[Π \vec{b}, I_{a}\right]$定义为

    文献[9]证明了b1b2$\dot \varLambda _β$时,从乘积Lebesgue空间到Lebesgue空间(或Triebel-Lizorkin空间)的算子$\left[\varPi \vec{b}, I_{a}\right]$是有界的.

    文献[10]验证了文献[9]的结果对一种广义高阶交换子也成立.

    文献[11]证明了

    其中

    受文献[5-11]中结果的启发,本文的第一部分证明了b1b2$\dot \varLambda _β$时,线性交换子$\left[\varSigma \vec{b}, I_{a}\right]$在Triebel-Lizorkin空间上有界;第二部分验证了$\left[\varSigma \vec{b}, I_{a}\right]$$\left[\Pi \vec{b}, I_{a}\right]$在Lebesgue空间、Triebel-Lizorkin空间上的有界性可以刻画Lipschitz空间.

    对于一个集合AχA表示其特征函数. C表示常数,每次出现时有可能其值并不相同.当C>0时,ACBA$\mathop < \limits_ \sim $B来表示;同时,AB表示A$\mathop < \limits_ \sim $BB$\mathop < \limits_ \sim $A.

1.   分数次积分算子的线性交换子在Triebel-Lizorkin空间上的有界性
  • 引理1  设0 < β < 1,则:

    (ⅰ)若1 < q≤∞,则

    (ⅱ)若1 < p < ∞,则

    (ⅰ)的证明见文献[12],且q=∞显然成立. (ⅱ)的证明见文献[6].

    引理2  设$1<p<q<\infty, \frac{1}{p}-\frac{1}{q}=\frac{\alpha}{n}$. hQ是一个定义在方体Q上的函数.若0≤γ,则

    其中常数Cpqαn有关.

    定理1  设0 < β < 1,1 < r < ∞,1 < p1p2 < q < ∞. $\frac{1}{p_{1}}+\frac{1}{p_{2}}=\frac{1}{p}, \frac{1}{p_{1}}+\frac{1}{p_{2}}-\frac{1}{q}=\frac{\alpha}{n}, \frac{1}{p_{1}}+\frac{1}{p_{2}}-$$\frac{1}{r}=\frac{\alpha+\beta}{n}$.若b1b2$\dot \varLambda _β$,则$\left[\varSigma \vec{b}, I_{a}\right]$Lp1($\mathbb R$nLp2($\mathbb R$n)→Fqβ,∞有界.

      通过引理1(ⅱ)和引理2,可得

    首先估计D1.任意固定xQ,通过引理1(ⅰ),有

    根据Iα的有界性[7],得

    再估计D2.运用Minkowski不等式和Iα的有界性,有

    因此

    同理得

    由于

    因此

    同理得

    结合前面的估计,定理1得证.

2.   刻画Lipschitz空间
  • 定理2  设0 < β < 1,1 < r < ∞,1 < pj < q < ∞(j=1,2). $ \frac{1}{p_{1}}+\frac{1}{p_{2}}=\frac{1}{p}, \frac{1}{p_{1}}+\frac{1}{p_{2}}-\frac{1}{q}=\frac{\alpha}{n}, $$\frac{1}{p_{1}}+\frac{1}{p_{2}}-\frac{1}{r}=\frac{\alpha+\beta}{n}$.若b1=b2Lloc1,则下面结论等价:

    (ⅰ) bi$\dot \varLambda _β$(i=1,2);

    (ⅱ) $\left[\varSigma \vec{b}, I_{a}\right]$Lp1($\mathbb R^n$Lp2($\mathbb R^n$)→Fqβ,∞有界;

    (ⅲ) $\left[\varSigma \vec{b}, I_{a}\right]$Lp1($\mathbb R^n$Lp2($\mathbb R^n$)→Lr($\mathbb R^n$)有界;

    (ⅳ) $\left[\Pi \vec{b}, I_{a}\right]$Lp1($\mathbb R^n$Lp2($\mathbb R^n$)→Fqβ,∞有界;

    (ⅴ) $\left[\Pi \vec{b}, I_{a}\right]$Lp1($\mathbb R^n$Lp2($\mathbb R^n$)→Lr($\mathbb R^n$)有界.

      根据定理1、文献[11]的定理2.6及文献[9]的定理1和定理3,只需说明(ⅱ)⇒(ⅰ),(ⅳ)⇒(ⅰ)和(ⅴ)⇒(ⅰ)成立即可.

    选择x0$\mathbb R^n$t>0,令

    xQy1y2Q0.根据文献[13]中第3页的证明,可得

    (ⅱ)⇒(ⅰ):令

    由于$\left[\varSigma \vec{b}, I_{a}\right]$Lp1($\mathbb R^n$Lp2($\mathbb R^n$) → $\dot F_p^{β,∞}$有界.因此,(ⅱ)⇒(ⅰ)得证.

    (ⅳ)⇒(ⅰ):类似于(ⅱ)⇒(ⅰ),得

    (ⅴ)⇒(ⅰ):类似于(ⅳ)⇒(ⅰ),可得

    定理2证毕.

Reference (13)

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return