AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution
Local Boundedness, Maximum Principles, and Continuity of Solutions to Infinitely Degenerate Elliptic Equations with Rough Coefficients
About this Title
Lyudmila Korobenko, Cristian Rios, Eric Sawyer and Ruipeng Shen
Publication: Memoirs of the American Mathematical Society
Publication Year:
2021; Volume 269, Number 1311
ISBNs: 978-1-4704-4401-3 (print); 978-1-4704-6460-8 (online)
DOI: https://doi.org/10.1090/memo/1311
Published electronically: March 2, 2021
Keywords: Regularity,
quasilinear equations,
infinite degeneracy,
rough coefficients,
non-doubling control balls,
subrepresentation inequality,
Orlicz-Sobolev inequality
Table of Contents
Chapters
- Preface
1. Overview
- 1. Introduction
- 2. DeGiorgi Iteration, Local Boundedness, Maximum Principle and Continuity
- 3. Organization of the Proofs
2. Abstract theory
- 4. Local Boundedness
- 5. Maximum Principle
- 6. Continuity
3. Geometric theory
- 7. Infinitely Degenerate Geometries
- 8. Orlicz Norm Sobolev Inequalities
- 9. Geometric Theorems
A. Appendix
- A. A Quasilinear Hypoellipticity Theorem
- B. A Monge-Ampère Example
- C. Absence of Radial Solutions
Abstract
We obtain local boundedness and maximum principles for weak subsolutions to certain infinitely degenerate elliptic divergence form inhomogeneous equations, and also continuity of weak solutions to homogeneous equations. For example, we consider the family $\left \{ f_{\sigma }\right \} _{\sigma >0}$ with \begin{equation*} f_{\sigma }\left ( x\right ) =e^{-\left ( \frac {1}{\left \vert x\right \vert }\right ) ^{\sigma }},\ \ \ \ \ -\infty <x<\infty , \end{equation*} of infinitely degenerate functions at the origin, and show that all weak solutions to the associated infinitely degenerate quasilinear equations of the form \begin{equation*} \mathrm {div}A\left ( x,u\right ) \mathrm {grad}u=\phi \left ( x\right ) ,\ \ \ A\left ( x,z\right ) \sim \left [ \begin {array}{cc} I_{n-1} & 0 \\ 0 & f\left ( x_{1}\right ) ^{2}\end{array}\right ] , \end{equation*} with rough data $A$ and $\phi$, are locally bounded for admissible $\phi$ provided $0<\sigma <1$. We also show that these conditions are necessary for local boundedness in dimension $n\geq 3$, thus paralleling the known theory for the smooth Kusuoka-Strook operators $\frac {\partial ^{2}}{\partial x_{1}^{2}}+\frac {\partial ^{2}}{\partial x_{2}^{2}}+f_{\sigma }\left ( x\right ) ^{2}\frac {\partial ^{2}}{\partial x_{3}^{2}}$. We also show that subsolutions satisfy a maximum principle under the same restriction on the degeneracy. Finally, continuity of solutions is derived in the homogeneous case $\phi \equiv 0$ under a more stringent assumption on the degeneracy, namely that $f\geq f_{3,\sigma }$ for $0<\sigma <1$ where\begin{equation*} f_{3,\sigma }\left ( x\right ) =\left \vert x\right \vert ^{\left ( \ln \ln \ln \frac {1}{\left \vert x\right \vert }\right ) ^{\sigma }},\ \ \ \ \ -\infty <x<\infty . \end{equation*}
As an application we obtain weak hypoellipticity (i.e. smoothness of all weak solutions) of certain infinitely degenerate quasilinear equations in the plane \begin{equation*} \frac {\partial u}{\partial x^{2}}+f\left ( x,u\left ( x,y\right ) \right ) ^{2}\frac {\partial u}{\partial y^{2}}=0, \end{equation*} with smooth data $f\left ( x,z\right ) \gtrsim f_{3,\sigma }\left ( x\right )$ where $f\left ( x,z\right )$ has a sufficiently mild nonlinearity and degeneracy.
In order to prove these theorems, we first establish abstract results in which certain Poincaré and Orlicz Sobolev inequalities are assumed to hold. We then develop subrepresentation inequalities for control geometries in order to obtain the needed Poincaré and Orlicz Sobolev inequalities.
- M. S. Baouendi and C. Goulaouic, Nonanalytic-hypoellipticity for some degenerate elliptic operators, Bull. Amer. Math. Soc. 78 (1972), 483–486. MR 296507, DOI 10.1090/S0002-9904-1972-12955-0
- Luis A. Caffarelli and Alexis F. Vasseur, The De Giorgi method for regularity of solutions of elliptic equations and its applications to fluid dynamics, Discrete Contin. Dyn. Syst. Ser. S 3 (2010), no. 3, 409–427. MR 2660718, DOI 10.3934/dcdss.2010.3.409
- Michael Christ, Hypoellipticity in the infinitely degenerate regime, Complex analysis and geometry (Columbus, OH, 1999) Ohio State Univ. Math. Res. Inst. Publ., vol. 9, de Gruyter, Berlin, 2001, pp. 59–84. MR 1912731
- Ennio De Giorgi, Sulla differenziabilità e l’analiticità delle estremali degli integrali multipli regolari, Mem. Accad. Sci. Torino. Cl. Sci. Fis. Mat. Nat. (3) 3 (1957), 25–43 (Italian). MR 0093649
- V. S. Fediĭ, On a criterion for hypoellipticity, Math. USSR Sbornik 14 (1971), 15-45.
- C. Fefferman and D. H. Phong, Subelliptic eigenvalue problems, Conference on harmonic analysis in honor of Antoni Zygmund, Vol. I, II (Chicago, Ill., 1981) Wadsworth Math. Ser., Wadsworth, Belmont, CA, 1983, pp. 590–606. MR 730094
- Bruno Franchi, Weighted Sobolev-Poincaré inequalities and pointwise estimates for a class of degenerate elliptic equations, Trans. Amer. Math. Soc. 327 (1991), no. 1, 125–158. MR 1040042, DOI 10.1090/S0002-9947-1991-1040042-8
- Bruno Franchi and Ermanno Lanconelli, De Giorgi’s theorem for a class of strongly degenerate elliptic equations, Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Nat. (8) 72 (1982), no. 5, 273–277 (1983) (English, with Italian summary). MR 728257
- Bruno Franchi and Ermanno Lanconelli, Hölder regularity theorem for a class of linear nonuniformly elliptic operators with measurable coefficients, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 10 (1983), no. 4, 523–541. MR 753153
- Bruno Franchi and Ermanno Lanconelli, Une métrique associée à une classe d’opérateurs elliptiques dégénérés, Rend. Sem. Mat. Univ. Politec. Torino Special Issue (1983), 105–114 (1984) (French). Conference on linear partial and pseudodifferential operators (Torino, 1982). MR 745979
- Bruno Franchi and Ermanno Lanconelli, An embedding theorem for Sobolev spaces related to nonsmooth vector fields and Harnack inequality, Comm. Partial Differential Equations 9 (1984), no. 13, 1237–1264. MR 764663, DOI 10.1080/03605308408820362
- Bruno Franchi and Ermanno Lanconelli, Une condition géométrique pour l’inégalité de Harnack, J. Math. Pures Appl. (9) 64 (1985), no. 3, 237–256 (French). MR 823405
- Bruno Franchi, Raul Serapioni, and Francesco Serra Cassano, Approximation and imbedding theorems for weighted Sobolev spaces associated with Lipschitz continuous vector fields, Boll. Un. Mat. Ital. B (7) 11 (1997), no. 1, 83–117 (English, with Italian summary). MR 1448000
- Nicola Garofalo and Duy-Minh Nhieu, Lipschitz continuity, global smooth approximations and extension theorems for Sobolev functions in Carnot-Carathéodory spaces, J. Anal. Math. 74 (1998), 67–97. MR 1631642, DOI 10.1007/BF02819446
- David Gilbarg and Neil S. Trudinger, Elliptic partial differential equations of second order, Springer-Verlag, Berlin-New York, 1977. Grundlehren der Mathematischen Wissenschaften, Vol. 224. MR 0473443
- Cristian E. Gutiérrez and Ermanno Lanconelli, Maximum principle, nonhomogeneous Harnack inequality, and Liouville theorems for $X$-elliptic operators, Comm. Partial Differential Equations 28 (2003), no. 11-12, 1833–1862. MR 2015404, DOI 10.1081/PDE-120025487
- Lars Hörmander, Hypoelliptic second order differential equations, Acta Math. 119 (1967), 147–171. MR 222474, DOI 10.1007/BF02392081
- Lyudmila Korobenko, Diego Maldonado, and Cristian Rios, From Sobolev inequality to doubling, Proc. Amer. Math. Soc. 143 (2015), no. 9, 4017–4028. MR 3359590, DOI 10.1090/S0002-9939-2015-12556-7
- L. Korobenko, C. Rios, E. Sawyer and Ruipeng Shen, Local boundedness, maximum principles, and continuity of solutions to infinitely degenerate elliptic equations, arXiv:1506.09203v5 (2016).
- L. Korobenko, C. Rios, E. Sawyer and Ruipeng Shen, Sharp local boundedness, and maximum principle in the infinitely degenerate regime via DeGiorgi iteration, arXiv:1506.01630v3 (2017).
- L. Korobenko, C. Rios, E. Sawyer and Ruipeng Shen, Continuity of weak solutions to rough infinitely degenerate equations, arXiv:1703.00774v2 (2017). Applications of the Malliavin Calculus II, J. Fac. Sci. Univ. Tokyo
- S. Kusuoka and D. Stroock, Applications of the Malliavin calculus. II, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 32 (1985), no. 1, 1–76. MR 783181
- E.Lanconelli, Regolarità holderiana delle soluzioni deboli di certe equazioni ellitiche fortemente degeneri (Hölder regularity of solutions to certain strongly degenerate elliptic equations) Sem di Analisi Matematica, Ist. Mat. di Bologna (a.a.1981-1982), IX.1-IX.27
- Yoshinori Morimoto, Nonhypoellipticity for degenerate elliptic operators, Publ. Res. Inst. Math. Sci. 22 (1986), no. 1, 25–30. MR 834345, DOI 10.2977/prims/1195178369
- J. Moser, On a pointwise estimate for parabolic differential equations, Comm. Pure Appl. Math. 24 (1971), 727–740. MR 288405, DOI 10.1002/cpa.3160240507
- Cristian Rios, Eric T. Sawyer, and Richard L. Wheeden, A higher-dimensional partial Legendre transform, and regularity of degenerate Monge-Ampère equations, Adv. Math. 193 (2005), no. 2, 373–415. MR 2137289, DOI 10.1016/j.aim.2004.05.009
- Cristian Rios, Eric T. Sawyer, and Richard L. Wheeden, A priori estimates for infinitely degenerate quasilinear equations, Differential Integral Equations 21 (2008), no. 1-2, 131–200. MR 2479665
- Cristian Rios, Eric T. Sawyer, and Richard L. Wheeden, Hypoellipticity for infinitely degenerate quasilinear equations and the Dirichlet problem, J. Anal. Math. 119 (2013), 1–62. MR 3043146, DOI 10.1007/s11854-013-0001-6
- Eric T. Sawyer and Richard L. Wheeden, Regularity of degenerate Monge-Ampère and prescribed Gaussian curvature equations in two dimensions, Potential Anal. 24 (2006), no. 3, 267–301. MR 2217954, DOI 10.1007/s11118-005-0915-4
- Eric T. Sawyer and Richard L. Wheeden, A priori estimates for quasilinear equations related to the Monge-Ampère equation in two dimensions, J. Anal. Math. 97 (2005), 257–316. MR 2274980, DOI 10.1007/BF02807409
- Eric T. Sawyer and Richard L. Wheeden, Degenerate Sobolev spaces and regularity of subelliptic equations, Trans. Amer. Math. Soc. 362 (2010), no. 4, 1869–1906. MR 2574880, DOI 10.1090/S0002-9947-09-04756-4
- Eric T. Sawyer and Richard L. Wheeden, Hölder continuity of weak solutions to subelliptic equations with rough coefficients, Mem. Amer. Math. Soc. 180 (2006), no. 847, x+157. MR 2204824, DOI 10.1090/memo/0847