Abstract
In this paper, we consider the optimal regularity of solutions to elliptic equation with a Grushin-like operator. By using the Feynman–Kac formula, we first get the expression of heat kernel, and then by using the properties of heat kernel, the optimal regularity of solutions will be obtained. The novelty of this paper is that the Grushin-like operator is a degenerate operator.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The regularity of solutions to second order elliptic equation has been extensively studied by many authors, see the book [5]. But for degenerate elliptic equation, there is few work about the regularity results until now. In this paper, we focus on a special degenerate elliptic equation-like Grushin elliptic equation. The main reason why we can deal with it is that we can get the expression of heat kernel by using the probability method.
For Grushin operator, many authors studied it. Beckner [2] obtained the Sobolev estimates for the Grushin operator in low dimensions by using hyperbolic symmetry and conformal geometry. Riesz transforms and multipliers for the Grushin operator was considered by Jotsaroop et al. [11]. Tri [16] studied the generalized Grushin equation. \(L^p\)-estimates for the wave equation associated to the Grushin operator was studied by Jotsaroop and Thangavelu [12]. The fundamental solution for a degenerate parabolic pseudo-differential operator covering the Grushin operator was obtained by Tsutsumi [17, 18]. Furthermore, Tsutsumi [19] constructed a left parametrix for a pesudo-differential operator. We remark that Tsutsumi did not give the exact expression of heat kernel. In the book [1], they gave the expression of heat kernel (see Page 191), but he expression is hard to use because they used the inverse Fourier transform. Yu [24] established Liouville type theorem for nonlinear elliptic equation involving Grushin operators. Chang and Li [3] studied the heat kernel asymptotic expansions for the Heisenberg sub-Laplacian and the Grushin operator. Similar degenerate elliptic equation was studied by Robinson and Sikora [15] and the Hardy inequalities for Grushin operator was considered by [23]. The blowup problem of Grushin operator was considered by Lv et al. [10]. Recently, Wang et al. [21, 22] studied the regularity for sub-elliptic systems.
About the regularity of degenerate elliptic operator, Di Fazio et al. [4] considered the regularity of a class of strongly degenerate quasilinear operators, also see [14]. Guo et al. [6, 8] studied a degenerate elliptic equations and obtained the well-posedness of the degenerate elliptic equations, also see [7]. In this paper, in view of probability point, we give a new expression and then get the regularity of solution by using the properties of heat kernel.
This paper is arranged as follows. In next section, some preliminaries are given and the main results will be proved in Sect. 3. Throughout this paper, we write C as a general positive constant and \(C_i\), \(i=1,2,\cdots \) as a concrete positive constant.
2 Main Results
Consider the Grushin operator
which is the generator of the diffusion process \((X_t,Y_t)\), where \((X_t,Y_t)\) satisfies
Here \(W^i_t\), \(i=1,2\) are standard Brownian motion. It is easy to see that the process \((X_t,Y_t)\) is a two-dimensional Gaussian stochastic process. In this short paper, we consider the following operator
It is easy to get the heat kernel of the operator \({\mathcal {L}}\) is
which yields that
In [20], the authors considered a degenerate elliptic equation on a manifold. Thus the heat kernel K is different from that in [20]. In paper [9], Li studied the Grushin operator \(\Delta _x+|x|^2\Delta _u\) on \({\mathbb {R}}_x^n\times {\mathbb {R}}_u^{n'}\) with \(n\ge 3\) and \(n'=1\), which is different from our cases. We only consider the operator on \({\mathbb {R}}\times {\mathbb {R}}\). Meanwhile, we remark that Tsutsumi [19] considered the existence of left parameters of the operator
where \(a_{\alpha ,\gamma }\) are constants, \(m\in {\mathbb {Z}}\), \(D_j=\frac{\partial }{\partial x_j}\), \(\alpha =(\alpha _1,\alpha _2,\alpha _3)\), \(\tau =(\tau _1,\tau _2,1)\), \(\tau _j\ge 1\) \((j=1,2)\), \(\gamma =(\gamma _1,0,\gamma _3)\), \(\sigma =(\sigma _1,0,1)\), \(\min (\tau _1,\tau _2)>\sigma _1>0\) and \((\tau ,\alpha )=\sum _{j=1}^3\tau _j\alpha _j\). It is remarked that the operator A defined on \({\mathbb {R}}^3\). Moreover, there is no concrete representation of heat kernel.
We first want to solve the following elliptic equation
We say u is a solution of (1) if u satisfies
Theorem 2.1
Assume that \(b\in C^\beta _b({\mathbb {R}}^2)\). There exists a \(\lambda _0>0\) such that for any \(f\in C^\beta _b({\mathbb {R}}^2)\) and \(\lambda >\lambda _0\), there is a unique solution \(u\in C_b^{1+\beta }({\mathbb {R}}^2)\) to Eq. (1) such that
where \(0<\delta <(\beta \wedge (1-\beta ))\).
Assume further that \(\nabla _yh(x,\cdot )\in C_b^\beta ({\mathbb {R}})\) for any \(x\in {\mathbb {R}}\), where \(h=b\) or f. Then there is a unique solution \(u\in C_b^{2+\beta }({\mathbb {R}}^2)\) to Eq. (1) such that
Let
Next, we consider the \(L^p\)-regularity of v(x, y).
Theorem 2.2
Assume that \(f(\cdot ,y)\in L^{p}({\mathbb {R}})\) for every \(y\in {\mathbb {R}}\) with and \(f(x,\cdot )\in W^{s,q}({\mathbb {R}},{\mathbb {R}})\) for every \(y\in {\mathbb {R}}\), \(0<s<1\) and \(q>1\). Then we have the following estimates:
Moreover, if we take \(0<s<1\) and \(p,q,r>1\) such that \(-\frac{3}{2r}+\frac{1}{2p}+\frac{1}{q}\le 0\) and \(-s-\frac{3}{2r}+\frac{1}{2p}+1\le 0\), we have
3 Proof of Main Results
Denote \([\cdot ]_\beta \) by the semi-norm of \(C^\beta \). Set
Lemma 3.1
Assume that \(f\in {\mathcal {A}}\) and u is defined as in (3). Then
Moreover, if \(f(\cdot ,y)\in C_b^\beta ({\mathbb {R}})\) for any \(y\in {\mathbb {R}}\), it holds that
where \(0<\delta <(\beta \wedge (1-\beta ))\). That is to say, \(\nabla v\in C_b^\beta ({\mathbb {R}}^2)\).
Proof
Simply calculations show that
and
where we used the fact that
We also remark that the meaning of \(\Vert f\Vert _{L^\infty ({\mathbb {R}},C_b^\beta ({\mathbb {R}}))}\) is that we take infinity norm for the first variable and take Hölder norm for the second variable.
Recall the following interpolation inequality
Now, if \(0<\beta <1\), applying the above inequality with \(\alpha =0,\gamma =1\) and \(\beta =\gamma (1-\sigma )\), we have
where we used the definition of semi-norm. Next, we consider the derivative of the second variable.
By dividing the real line into two parts, we have
Let us estimate \(I_{11}\)–\(I_{14}\). By using the form of heat kernel, we get
Similarly, we can obtain
Next, we consider \(I_{13}\).
Notice that \(|y-w|>2|y-\hat{y}|\). So for every \(\xi \in [y,\hat{y}]\),
We recall the following fractional mean value formula (see (4.4) of [13])
where \(0<\gamma <1\) and \(\theta >0\) depends on h satisfying
Denote
By using the above fractional mean value formula with \(\gamma >\beta \) and the interpolation inequality in Hölder space
Lastly, by using the properties of heat kernel K, it is easy to see that
Using the above equality and similar to the operation of \(I_{13}\), we have
Substituting \(I_{11}{-}I_{14}\) into \(I_1\), we get
Similarly, we can prove that if \(f(\cdot ,y)\in C_b^\beta ({\mathbb {R}})\) for any \(y\in {\mathbb {R}}\),
Summing the above discussion, we obtain
Noting that the above inequality holds for \(0<\gamma <1\). The proof of this lemma is complete. \(\square \)
Remark 3.1
It is well known that if \(f\in C^\alpha ({\mathbb {R}}^n)\), then the solution u of the following equation
belongs to \(C^{2+\alpha }({\mathbb {R}}^n)\), which is the Schauder theory. Noting that the heat kernel of above equation is Gauss heat kernel, that is
It is easy to see that \(x\sim \sqrt{t}\). But in our case, different axis has different scaling, that is,
Thus when we take derivative for variable x, we can get \(t^{-\frac{1}{2}}\), and take double derivative for variable x, we will get \(t^{-1}\). But if we take derivative for variable y, we shall get \(t^{-1}\), which is different from the classical case. In Schauder theory, we can get \(C^{2+\alpha }({\mathbb {R}}^n)\) estimates, but in our case the \(C^{1+\alpha }({\mathbb {R}}^n)\) should be optimal.
Like the classical case, we can get the \(C^{2+\alpha }\)-estimate for the x-axis if \(f(\cdot ,y)\in C_b^\beta ({\mathbb {R}})\) for any \(y\in {\mathbb {R}}\), but we can not get the same estimate for y-axis. If we want to get the \(C^{2+\alpha }\)-estimate for the y-axis, we need more regularity about the second variable. In other words, we have the following results.
Corollary 3.1
Assume that \(f(\cdot ,y)\in C_b^\beta ({\mathbb {R}})\) for any \(y\in {\mathbb {R}}\) and \(\nabla _yf(x,\cdot )\in C_b^\beta ({\mathbb {R}})\) for any \(x\in {\mathbb {R}}\). Then
where \(0<\delta <(\beta \wedge (1-\beta ))\). That is to say, \(\nabla ^2 u\in C_b^\beta ({\mathbb {R}}^2)\).
Proof of Theorem 2.1
We use Picard’s iteration to solve (1). Let \(u_0=0\) and define for \(n\in {\mathbb {N}}\),
It follows from Lemma 3.1 that
and
Choosing \(\lambda _0\) be large enough so that \(C\lambda ^{-\delta }\Vert b\Vert _{C_b^\beta ({{\mathbb {R}}^2})}<1/4\) for all \(\lambda \ge \lambda _0\), we get
and for all \(n\ge m\),
Substituting them into (5) and (6), we obtain
and for all \(n\ge m\),
Hence there is a \(u\in C_b^{1+\beta }({\mathbb {R}}^2)\) such that (2) holds and
and u solves Eq. (1) by taking limits for (4). The second result can be obtained similarly. The proof is complete. \(\square \)
Proof of Theorem 2.2
For simplicity, we only consider a special case, that is, \(f(x,y)=f_1(x)f_2(y)\). Assume that \(f_1\in L^p({\mathbb {R}})\) and \(f_2\in L^q({\mathbb {R}})\). Denote
By using the above inequality, Minkowski’s inequality and the properties of the heat kernel, we have
where
We remark that
Similarly, we obtain
Furthermore, we can get
Thus if we take \(p=q=r\), then we have \(\Vert \nabla ^2_xu\Vert _{L^r({\mathbb {R}}^2)}\le C\). However, if we deal with the second variable, it is difficult to get the decay estimate. More precisely, we have for \(\frac{3}{2r}<\frac{1}{2p}+\frac{1}{q}\),
Hence we must add more regularity on the second variable. Meanwhile, we recall that if \(h\in W^{s,p}({\mathbb {R}}^n)\) with \(0<s<1\), then
If we assume that \(f_2\in W^{s,q}({\mathbb {R}})\) and let
we get
where m, n satisfy (7) and
Moreover, under the condition that \(f_2\in W^{s,p}({\mathbb {R}})\), we can similarly get
Hence it is easy to see that we can take suitable \(s\in (0,1),p>1\) and \(r>1\) such that \(-s-\frac{3}{2r}+\frac{1}{2p}+1\le 0\). That is to say, we have
under the condition that \(f_2\in W^{s,p}({\mathbb {R}})\). The proof is complete. \(\square \)
Remark 3.2
It is well known that if \(f\in L^p({\mathbb {R}}^n)\), then the solution u of the following equation
belongs to \(W^{2,p}({\mathbb {R}}^n)\), which is the \(L^p\)-theory. Noting that the heat kernel of above equation is Gauss heat kernel, and similar to Remark 3.1, it is easy to find the difference from the classical Laplacian operator. Due to the singularity of the variable y, we must give two different assumptions. Comparing the classical \(L^p\)-theory, in our case the regularity of Theorem 2.2 should be optimal.
Availability of Data and Material
Not applicable.
References
Calin, O., Chang, D., Furutani, K., Iwasaki, C.: Heat Kernels for Elliptic and Sub-elliptic Operators. Springer, New York-Dordrecht-Heidelberg-London (ISBN 978-0-8176-4494-4)
Beckner, W.: On the Grushin operator and hyperbolic symmetry. Proc. Am. Math. Soc. 129, 1233–1246 (2001)
Chang, D., Li, Y.: Heat kernel asymptotic expansions for the Heisenberg sub-Laplacian and the Grushin operator. Proc. A 471(2175), 20140943 (2015)
Di Fazio, G., Fanciullo, M., Zamboni, P.: Regularity for a class of strongly degenerate quasilinear operators. J. Differ. Equ. 255, 3920–3939 (2013)
Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order, 2nd edn. Springer, New York (1983)
Guo, Z., Mei, L., Wan, F., Guan, X.: Embeddings of weighted Sobolev spaces and degenerate elliptic problems. Sci. China Math. 60, 1399–1418 (2017)
Guo, Z., Wei, L.: A perturbed fourth order elliptic equation with negative exponent. Discrete Contin. Dyn. Syst. Ser. B 23, 4187–4205 (2018)
Guo, Z., Guan, X., Wan, F.: Existence and regularity of positive solutions of a degenerate elliptic problem. Math. Nachr. 292, 56–78 (2019)
Li, H.Q.: Estimations asymptotiques du noyau de la chaleur pour l’opérateur de Grushin. (French) [Asymptotic estimates of the heat kernel for the Grushin operator]. Commun. Partial Differ. Equ. 37, 794–832 (2012)
Lv, G., Wei, J., Xie, L.: Blowup solutions of Grushin operator. Appl. Math. Lett. 97, 20–26 (2019)
Jotsaroop, K., Sanjay, P.K., Thangavelu, S.: Riesz transforms and multipliers for the Grushin operator. J. D’Analyse Mathématique 119, 255–273 (2013)
Jotsaroop, K., Thangavelu, S.: \(L^p\) estimates for the wave equation associated to the Grushin operator. arXiv:1202227 [v1]
Jumarie, G.: Modified Riemann–Liouville derivative and fractional Taylor series of nondifferential functions further results. Comput. Math. Appl. 51, 1367–1376 (2006)
Mamedov, F., Harman, A.: On the removability of isolated singular points for degenerating nonlinear elliptic equations. Nonlinear Anal. 71, 6290–6298 (2009)
Robinson, D.W., Sikora, A.: Analysis of degenerate elliptic operators of Grus̆ type. Math. Z. 260, 475–508 (2008)
Tri, N.M.: On Grushin equation. Math. Notes 63, 84–93 (1998)
Tsutsumi, C.: The fundamental solution for a degenerate parabolic pseudo-differential operator. Proc. Jpn. Acad. 50, 11–15 (1974)
Tsutsumi, C.: The fundamental solution for a parabolic pseudo-differential operator and parametrices for degenerate operators. Proc. Jpn. Acad. 51, 103–108 (1975)
Tsutsumi, C.: Parametrices for degenerate operator of Grushin type, Partial differential equations and their applications. In: Proc. Sympos., Res. Inst. Math. Sci., Kyoto Univ., Kyoto, 1976
Vis̆ik, M.I., Grus̆in, V.V.: Elliptic boundary value problems that are degenerate on a submanifold of the boundary. (Russian) Dokl. Akad. Nauk SSSR 190, 255–258 (1970)
Wang, J., Zhu, M., Gao, S., Liao, D.: Regularity for sub-elliptic systems with VMO-coefficients in the Heisenberg group: the sub-quadratic structure case. Adv. Nonlinear Anal. 10(1), 420–449 (2021)
Wang, J., Manfredi, J.J.: Partial Holder continuity for nonlinear sub-elliptic systems with VMO-coefficients in the Heisenberg group. Adv. Nonlinear Anal. 7(1), 97–116 (2018)
Yang, Q., Su, D., Kong, Y.: Improved Hardy inequalities for Grushin operators. J. Math. Anal. Appl. 424, 321–343 (2015)
Yu, X.: Liouville type theorem for nonlinear elliptic equation involving Grushin operators. Commun. Contemp. Math. 17(5), 1450050 (2015)
Funding
This work was supported by NSFC of China Grants 11901158, 11571176 and the Startup Foundation for Introducing Talent of NUIST.
Author information
Authors and Affiliations
Contributions
All authors contributed to the writing of the present article and they read and approved the final manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no competing interests.
Ethics approval and consent to participate
Not applicable.
Consent for publication
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Wang, X., Zhang, J. Optimal Regularity of a Degenerate Elliptic Equation. J Nonlinear Math Phys 30, 254–268 (2023). https://doi.org/10.1007/s44198-022-00083-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s44198-022-00083-4