Message Board

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

2022 Volume 47 Issue 1
Article Contents

YUAN Chen, HUANG Xiaotao. Wγ1, p Regularity for Parabolic Baouendi-Grushin Laplace Equations[J]. Journal of Southwest China Normal University(Natural Science Edition), 2022, 47(1): 43-52. doi: 10.13718/j.cnki.xsxb.2022.01.007
Citation: YUAN Chen, HUANG Xiaotao. Wγ1, p Regularity for Parabolic Baouendi-Grushin Laplace Equations[J]. Journal of Southwest China Normal University(Natural Science Edition), 2022, 47(1): 43-52. doi: 10.13718/j.cnki.xsxb.2022.01.007

Wγ1, p Regularity for Parabolic Baouendi-Grushin Laplace Equations

More Information
  • Corresponding author: HUANG Xiaotao
  • Received Date: 27/05/2020
    Available Online: 20/01/2022
  • MSC: O175.26

  • In this paper, a class of degenerate parabolic Baouendi-Grushin Laplace equations have been investigated. By introducing the parabolic Carnot-Caratheodory metric which is associated with the geometry of the Baouendi-Grushin vector fields, the strong (p, p) estimates of Maximal functions, the geometry measure theory for Lp functions and modified Vitali covering theorem have been used to prove the Lp regularity estimates for the gradient of solutions of parabolic Baouendi-Grushin Laplace equations. Our result generalizes the gradient estimates for the second order parabolic equations.
  • 加载中
  • [1] BAOUENDI M S. Sur Une Classe D'opérateurs Elliptiques DÉGÉNÉRÉS[J]. Bulletin De La Société Mathématique De France, 1967, 79: 45-87. doi: 10.24033/bsmf.1647

    CrossRef Google Scholar

    [2] JERISON D, LEE J M. The Yamabe Problem on CR Manifolds[J]. Journal of Differential Geometry, 1987, 25(2): 167-197.

    Google Scholar

    [3] HÖRMANDER L. Hypoelliptic Second Order Differential Equations[J]. Acta Mathematica, 1967, 119(1): 147-171.

    Google Scholar

    [4] FRANCHI B. Weighted Sobolev-Poincare Inequalities and Pointwise Estimates for a Class of Degenerate Elliptic Equations[J]. Transactions of the American Mathematical Society, 1991, 327(1): 125.

    Google Scholar

    [5] FRANCHI B, LANCONELLI E. Hölder Regularity Theorem for a Class of Linear Nonuniformly Elliptic Operator with Measurable Coefficients[J]. Annali Della Scuola Normale Superiore Di Pisa-Classe Di Scienze, 1983, 10(4): 523-541.

    Google Scholar

    [6] FRANCHI B, SERAPIONI R. Pointwise Estimates for a Class of Strongly Degenerate Elliptic Operators: a Geometrical Approach[J]. Annali Della Scuola Normale Superiore Di Pisa-Classe Di Scienze, 1987, 14(4): 527-568.

    Google Scholar

    [7] WANG L H. Hölder Estimates for Subelliptic Operators[J]. Journal of Functional Analysis, 2003, 199(1): 228-242. doi: 10.1016/S0022-1236(03)00093-4

    CrossRef Google Scholar

    [8] SONG Q Z, LU Y, SHEN J Z, et al. Regularity Estimates for a Class of Degenerate Elliptic Equations[J]. Annali Scuola Normale Superiore-Classe Di Scienze, 2011(5): 645-667.

    Google Scholar

    [9] MONTI R, MORBIDELLI D. Kelvin Transform for Grushin Operators and Critical Semilinear Equations[J]. Duke Mathematical Journal, 2006, 131(1): 167-202.

    Google Scholar

    [10] 钱红丽, 黄小涛. 一类Baouendi-Grushin方程解的对称性[J]. 纺织高校基础科学学报, 2019, 32(3): 307-311.

    Google Scholar

    [11] 董艳, 钮鹏程. 由Baouendi-Grushin向量场构成的退化椭圆方程组弱解梯度的Lp估计[J]. 纺织高校基础科学学报, 2011, 24(3): 373-376, 381. doi: 10.3969/j.issn.1006-8341.2011.03.013

    CrossRef Google Scholar

    [12] KOMBE I, YENER A. General Weighted Hardy Type Inequalities Related to Baouendi-Grushin Operators[J]. Complex Variables and Elliptic Equations, 2018, 63(3): 420-436. doi: 10.1080/17476933.2017.1318128

    CrossRef Google Scholar

    [13] 王胜军, 韩亚洲. Baouendi-Grushin p-退化椭圆算子的广义Picone恒等式及其应用[J]. 西南师范大学学报(自然科学版), 2018, 43(3): 1-6.

    Google Scholar

    [14] DIBENEDETTO E. Hölder Continuity of Solutions of Degenerate Parabolic Equations[M]//Universitext. New York: Springer, 1993: 41-76.

    Google Scholar

    [15] KOMBE I. Nonlinear Degenerate Parabolic Equations for Baouendi-Grushin Operators[J]. Mathematische Nachrichten, 2006, 279(7): 756-773. doi: 10.1002/mana.200310391

    CrossRef Google Scholar

    [16] HUANG X T, MA F Y, WANG L H. Lq Regularity for P-Laplace Type Baouendi-Grushin Equations[J]. Nonlinear Analysis: Theory, Methods & Applications, 2015, 113: 137-146.

    Google Scholar

    [17] TRI N M. Critical Sobolev Exponent for Degenerate Elliptic Operators[J]. Acta Mathematica Vietnamica, 1998, 23(1): 83-94.

    Google Scholar

    [18] SOGGE C D. Hangzhou Lectures on Eigenfunctions of the Laplacian[M]. Princeton: Princeton University Press, 2014.

    Google Scholar

    [19] CAFFARELLI L, CABRÉ X. Fully Nonlinear Elliptic Equations[M]. Providence: American Mathematical Society, 1995.

    Google Scholar

    [20] BYUN S S, WANG L H. Elliptic Equations with BMO Coefficients in Reifenberg Domains[J]. Communications on Pure and Applied Mathematics, 2004, 57(10): 1283-1310. doi: 10.1002/cpa.20037

    CrossRef Google Scholar

    [21] BYUN S S, WANG L H, ZHOU S L. Nonlinear Elliptic Equations with BMO Coefficients in Reifenberg Domains[J]. Journal of Functional Analysis, 2007, 250(1): 167-196. doi: 10.1016/j.jfa.2007.04.021

    CrossRef Google Scholar

    [22] 陈亚浙. 二阶抛物型偏微分方程[M]. 北京: 北京大学出版社, 2003.

    Google Scholar

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

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

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

Article Metrics

Article views(950) PDF downloads(361) Cited by(0)

Access History

Other Articles By Authors

Wγ1, p Regularity for Parabolic Baouendi-Grushin Laplace Equations

    Corresponding author: HUANG Xiaotao

Abstract: In this paper, a class of degenerate parabolic Baouendi-Grushin Laplace equations have been investigated. By introducing the parabolic Carnot-Caratheodory metric which is associated with the geometry of the Baouendi-Grushin vector fields, the strong (p, p) estimates of Maximal functions, the geometry measure theory for Lp functions and modified Vitali covering theorem have been used to prove the Lp regularity estimates for the gradient of solutions of parabolic Baouendi-Grushin Laplace equations. Our result generalizes the gradient estimates for the second order parabolic equations.

  • x$\mathbb{R}^n$y$\mathbb{R}^m$γ>0,Baouemdi-Grushin(B-G)向量场[1]

    B-G梯度可定义为

    对应的B-G型拉普拉斯算子为

    其中Δx,Δy分别是$\mathbb{R}^n$$\mathbb{R}^m$空间上的拉普拉斯算子.

    γ=1时,文献[2]研究了方程

    此方程与Cauchy-Riemann Yamabe问题有密切关系.

    γ是正整数时,向量场XiXj满足Hörmander条件[3]. 由此得到方程的Hε正则性估计.

    γ为任意的正数时,向量场XiXj仅为Hölder连续,不满足Hörmander条件,所以不能得到Hε正则性. 文献[4-6]通过研究与B-G向量场相关的加权Sobolev-Poincare不等式,证明了Harnack不等式和方程解的Cα估计.

    特别地,当γ= $\frac{1}{2}$ 时,文献[7]研究了与跨声速流相关的方程

    并通过构造与B-G向量场相对应的椭圆Carnot-Carathéodory(C-C)度量,给出了方程解的C*2,α正则性估计. 文献[8]建立了方程解梯度的Lp估计. 文献[9]研究了半线性的椭圆Baouendi-Grushin方程,并利用kelvin变换给出方程正解的球对称结果. 文献[10]用约束重排的方法研究了Baouendi-Grushin方程解的存在性和对称性. 文献[11]研究了Baouendi-Grushin向量场下退化椭圆方程组弱解梯度的Lp估计. 其他关于B-G算子的研究可参考文献[12-13].

    退化抛物B-G方程也引起了众多学者的关注[3, 14]. 随后,文献[15]研究了抛物p-Laplace类型的B-G方程并证明了一些存在性结论. 文献[16]研究了带有初值问题的分数阶p-Laplace B-G方程,通过引入与B-G向量场相关的内在度量,用紧方法证明了方程解的Lq正则性估计.

    对于抛物型B-G方程,假设Ω$\mathbb{R}^n$×$\mathbb{R}^m$是一个有界开区域,抛物区域为Ω*=Ω×(0,T],则抛物边界为$\partial {\mathit{\Omega}}_{*}=(\partial {\mathit{\Omega}} \times(0, T]) \cup({\mathit{\Omega}} \times\{t=0\})$. 我们将研究下述抛物B-G拉普拉斯方程

    其中f=(l1,…,lnln+1,…,ln+m).

    本文主要证明的结论如下:

    定理1  设uWγ1,2(Ω*)为方程(3)的弱解,如果fLp(Ω*)(p≥2)且(0,0)为内点,则▽γuLp(Ω*),其中Ω*⊂⊂Ω*. 进一步,有估计

    在区域{(xyt)∈Ω*x=0}附近,此方程为退化抛物方程;如果远离{x=0}区域,则方程没有退化性. 我们将分别研究在{x=0}附近区域和远离{x=0}的区域的解的正则性,并给出方程解的一致性估计.

1.   预备知识
  • 本节我们给出弱解的定义和一些重要的引理.

  • 首先为了能对B-G向量场进行分析,我们引入C-C度量.

    对任意的Z1=(x1y1t1),Z2=(x2y2t2)∈$\mathbb{R}^n$×$\mathbb{R}^m$×[0,+∞),定义与B-G向量场相对应的抛物C-C度量为$\mathrm{d}_{1} s^{2}=\mathrm{d} t^{2}-\mathrm{d} x^{2}-\frac{\mathrm{d} y^{2}}{|{\mathit{x}}|^{2 \gamma}}$,相对应的距离为

    当|x|,|y|~1时,抛物C-C距离可看成经典的抛物距离

    Z=(xyt),rZ=(rxr1+γyr2t),在抛物C-C度量下,算子L满足性质

    本文记

    为方便书写,记Sr=Sr(0),Qr=Qr(0). 另外对x$\mathbb{R}^n$y$\mathbb{R}^m$z$\mathbb{R}^n$×$\mathbb{R}^m$

    $\mathrm{d} x=\mathrm{d} x_{1} \mathrm{~d} x_{2} \cdots \mathrm{d} x_{n}, \mathrm{~d} y=\mathrm{d} y_{1} \mathrm{~d} y_{2} \cdots \mathrm{d} y_{m}, \mathrm{~d} z=\mathrm{d} x_{1} \mathrm{~d} x_{2} \cdots \mathrm{d} x_{n} \mathrm{~d} y_{1} \mathrm{~d} y_{2} \cdots \mathrm{d} y_{m}$.

  • 设2≤p < ∞,Ω*为有界抛物区域. 定义Sobolev空间Wγ1,p(Ω*)为

    其范数定义为

    本文中令Q=n+(1+γ)m+2. 文献[7, 17]证明了椭圆情形下有界区域上的嵌入定理. 在抛物情形下有类似的嵌入定理成立,即当$2 < q < \frac{p Q}{Q-p}$ 时,

    且在有界区域上此嵌入为紧嵌入.

    方程(3)的弱解可定义如下:

    定义1  如果uWγ1,2(Ω*)且对任意φC0(Ω*)满足

    那么称u是方程(3)的弱解.

  • 定义局部可积函数vL1(Ω*)的极大值函数为

    对于极大值函数,有以下结论:

    引理1 [18]  (1)如果vL1(Ω*),那么对任意λ>0,有$\left. {\mid \{ \mathit{\boldsymbol{Z}} \in {\mathit{\Omega }_*}: {\mathcal M}v > \lambda } \right\}\mid \le \frac{C}{\lambda }{\left\| v \right\|_{{L^1}\left({{\mathit{\Omega }_*}} \right)}}$.

    (2) 如果vLp(Ω*),其中1 < p < ∞,则${\mathcal M}v$Lp(Ω*). 进一步有

    以及

    文献[19]证明了Lp函数的一个测度估计.

    引理2 [19]  若函数u是区域Ω*中的一个可测函数,常数θ>0,λ>1,2≤p < ∞,则

    且有估计

    为了研究解的梯度估计,我们还需引入改进的Vitali覆盖引理.

    引理3 [20]  设0 < ε < 1,ABQ1Q1中的两个可测集,满足|A| < ε|Q1|. 如果对任意的zAr < 1,只要|AQr(z)|≥ε|Qr(z)|,都有Qr(z)∩Q1B. 那么存在常数C,使得

2.   正则性估计
  • 本节证明方程(3)的内部Wγ1,p估计. 参考文献[21]的思路,主要证明步骤如下:首先利用C-C度量的性质(4)及能量估计,来研究在区域{x=0}附近的正则性,然后利用经典的抛物方程的正则性来得到方程解在远离{x=0}区域时的Wγ1,p估计,最终得到在Q1内的一致Wγ1,p估计.

  • 本小节我们研究在区域{(xyt)∈Q1x=0}附近的正则性. 由C-C度量可知,不妨假设u满足方程

    v(xyt)=u(rxr1+γyr2t)在{x=0}附近满足方程

    首先给出在Q1内的能量不等式.

    引理4   设u是方程(3)的弱解,那么有

      取η=ζ2uC0(Q2)且满足0≤ζ≤1和▽γζ≤1. 根据弱解的定义,可得

    那么

    根据τ-Cauchy不等式:对任意的τ>0,∫f(x)g(x)dxτf2(x)dx+C(τ)∫g2(x)dx,可知,

    τ=$\frac{1}{8}$,那么

    对时间t积分,整理可得

    定理2   设u是方程(3)的弱解. 若对任意的ε1>0,都存在一个δ(ε1)>0,满足条件

    则存在函数h使得

    且有

      我们用反证法来证明. 假设存在一个ε0>0,对任意的δ= $\frac{1}{n}$,存在unfn满足

    且有

    但是

    由于Wγ1,2(Q2)紧嵌入L2(Q2)及有界性条件$\frac{1}{\left|Q_{2}\right|} \int_{Q_{2}}\left|\nabla_{\gamma} u_{n}\right|^{2} \mathrm{d} z \mathrm{d} t \leqslant 1$,则存在一个子序列,不妨仍记为{un}使得unL2(Q2)中强收敛于u,▽γunL2(Q2)中弱收敛于▽γu.

    n→∞,由(9)式和(10)式可得

    这说明了uh都是方程(8)的弱解. 这与(11)式矛盾,证毕.

    定理3   对任意的ε>0,存在一个δ(ε),如果

    且有

    则存在一个函数h满足

    使得

      取φ=η2(uh)并带入(6)式,那么有

    以及

    同样的由τ-Cauchy不等式可得

    对任意的τ>0,取τ足够小使得0 < τ < δ2,上式两端对时间t积分,又由于

    则有结论

    定理4   设uWγ1,2(Q4)是方程(3)的弱解. 存在常数N1>0,对任意的ε>0,都存在δ=δ(ε)>0,如果

    那么

      由(12)式,假设存在一个点Z0Q1,使得对任意的0 < r < 1,有

    由于Q2Q4(Z0),所以

    由定理3可知,对任意的ε=η>0,存在一个δ(η)和弱解h满足

    以及

    那么

    引理4表明存在一个常数N0,使得

    对任意的$\boldsymbol{Z}_{1} \in\left\{Q_{1}: \mathscr{M}_{Q_{4}}\left(\left|\nabla_{\gamma}(u-h)\right|^{2} \leqslant N_{0}^{2}\right)\right\}$,分以下两种情况讨论:

    r≤2,有

    r>2时,注意到Qr(Z1)⊂Q2r(Z0),有

    进一步可得

    其中N12:=max{4N02,2Q}.

    综上可知

    δ=δ(η)充分小,可以得到

    定理4给出了方程(3)解在(00t)点附近的正则性估计. 同样可以得到在区域Y=(0yt)附近解的估计.

    推论1   设u是方程(3)在Qr(Y)内的弱解. 存在一个常数N1>0,对任意的ε>0,存在一个δ>0,如果

    那么

  • 2.1节得到了在{(xyt)∈Q1x=0}附近的估计. 接下来研究在Q1Ω*内的任意一点的估计.

    引理5   设uWγ1,2(Ω1)是方程(3)的弱解,N1定义如定理4,对任意的ε>0,存在δ>0,对任意的Z0Q1r∈(0,1),若

    则有

      当d(Qr(Z0),{x=0})≤10r时,可以通过反证法证明. 假设结论不对,即

    Y0=(0y0t0),那么Qr(Z0)⊂Q13r(Y0)⊂Q30r(Z0),也就是

    根据推论1,对任意的ε>0,有

    其中Cγ=30nm(γ+1). 由此可得

    与(17)式矛盾,这就证明了第一种情况.

    当d(Qr(Z0),{x=0})>10r时,不妨假设x00. 记

    那么u(xyt)满足

    其中$\mathit{\boldsymbol{\bar f}}(\mathit{\boldsymbol{x}}, \mathit{\boldsymbol{y}}, t) = \mathit{\boldsymbol{f}}\left({\left| {{\mathit{\boldsymbol{x}}_0}} \right|\mathit{\boldsymbol{x}}, {{\left| {{\mathit{\boldsymbol{x}}_0}} \right|}^{1 + \gamma }}\mathit{\boldsymbol{y}}, {{\left| {{\mathit{\boldsymbol{x}}_0}} \right|}^2}t} \right)$.

    前文已经指出,若|x|,|y|~1,那么

    u(Z)定义在区域Qr(Z0)∩Q1内,可以验证u(xyt)定义在区域$Q_{\frac{r}{\left|\boldsymbol{x}_{0}\right|}}\left(\frac{\boldsymbol{Z}_{0}}{\left|\boldsymbol{x}_{0}\right|}\right)$内. 如果球Qr(Z0)到{x=0}的距离大于r,则球$Q_{\frac{r}{\left|\boldsymbol{x}_{0}\right|}}\left(\frac{\boldsymbol{Z}_{0}}{\left|\boldsymbol{x}_{0}\right|}\right)$将接近于|x|=1并且直径会很小. (19)式表明在区域$Q_{\frac{r}{\left|\boldsymbol{x}_{0}\right|}}\left(\frac{\boldsymbol{Z}_{0}}{\left|\boldsymbol{x}_{0}\right|}\right)$内我们可以在Minkowski度量下研究方程的正则性.

    根据二阶抛物方程经典的Lp理论[22]可知存在常数N0δ>0,对任意的ε>0,如果

    那么

    其中h(xyt)满足方程

    最后变换回来得u(xyt)在球Qr(Z0)内的估计,即如果

    那么

    其中$\bar h = \left| {{\mathit{\boldsymbol{x}}_0}} \right|h\left({\frac{\mathit{\boldsymbol{x}}}{{\left| {{\mathit{\boldsymbol{x}}_0}} \right|}}, \frac{\mathit{\boldsymbol{y}}}{{{{\left| {{\mathit{\boldsymbol{x}}_0}} \right|}^{1 + \gamma }}}}, \frac{t}{{{{\left| {{\mathit{\boldsymbol{x}}_0}} \right|}^2}}}} \right)$.

  • 引理6   设u是方程(3)在Q1内的弱解. 如果

    则存在ε1=C(γ)ε,使

      记

    由Vitali覆盖引理3,再根据推论1、引理5有

    进一步用有限数量的Qri(zi)去覆盖Q1即可得结论.

    推论2   设u是方程(3)的弱解. 存在ε1=C(γ)ε,使

      下面用归纳法证明.

    k=1时,由引理6知结论显然成立.

    假设对某些k≥2的整数成立. 现在令${u_1} = \frac{u}{{{N_1}}}, {\mathit{\boldsymbol{f}}_1} = \frac{\mathit{\boldsymbol{f}}}{{{N_1}}}$,由抛物C-C度量及性质(4)可知,u1是方程(3)的弱解并且

    根据归纳假设,

    故对k+1的情况也成立,易知结论成立.

    定理1的证明   当p=2时,由能量不等式可得结论.

    p>2,根据假设

    由条件可知存在一个常数N1,使得对任意的ε>0,有一个δ>0,对任意的r∈(0,1),

    由引理6知

    再根据推论2得到

    从引理1知,存在一个常数C使得

    因为fLp(Q1)并且uWγ1,2(Q1),所以

    ε足够小使N1pε1 < 1,因此可得

    也即

    于是有

    且满足

    综上所述,结论得证.

Reference (22)

Catalog

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return