logo ANNALES DE L'INSTITUT FOURIER

With cedram.org
Table of contents for this issue | Previous article | Next article
Erika Battaglia; Stefano Biagi; Andrea Bonfiglioli
The Strong Maximum Principle and the Harnack inequality for a class of hypoelliptic non-Hörmander operators
(Le principe fort du maximum et l’inégalité de Harnack pour une classe d’opérateurs hypoelliptiques non-Hörmander)
Annales de l'institut Fourier, 66 no. 2 (2016), p. 589-631, doi: 10.5802/aif.3020
Article PDF
Class. Math.: 35B50, 35B45, 35H20, 35J25, 35J70, 35R03
Keywords: Degenerate-elliptic operators, maximum principles, Harnack inequality, Unique Continuation, divergence form operators

Résumé - Abstract

We consider a class of hypoelliptic second-order operators $\mathcal{L}$ in divergence form, arising from CR geometry and Lie group theory, and we prove the Strong and Weak Maximum Principles and the Harnack Inequality. The operators are not assumed in the Hörmander hypoellipticity class, nor to satisfy subelliptic estimates or Muckenhoupt-type degeneracy conditions; indeed our results hold true in the infinitely-degenerate case and for operators which are not necessarily sums of squares. We use a Control Theory result on hypoellipticity to recover a meaningful geometric information on connectivity and maxima propagation, in the absence of any maximal rank condition. For operators $\mathcal{L}$ with $C^\omega $ coefficients, this control-theoretic result also implies a Unique Continuation property for the $\mathcal{L}$–harmonic functions. The Harnack theorem is obtained via a weak Harnack inequality by means of a Potential Theory argument and the solvability of the Dirichlet problem for $\mathcal{L}$.

Bibliography

[1] Beatrice Abbondanza & Andrea Bonfiglioli, “The Dirichlet problem and the inverse mean-value theorem for a class of divergence form operators”, J. Lond. Math. Soc. (2) 87 (2013) no. 2, p. 321-346 Article |  MR 3046274 |  Zbl 1266.31004
[2] H. Aimar, L. Forzani & R. Toledano, “Hölder regularity of solutions of PDE’s: a geometrical view”, Comm. Partial Differential Equations 26 (2001) no. 7-8, p. 1145-1173 Article |  MR 1855275 |  Zbl 1017.35026
[3] Kazuo Amano, “A necessary condition for hypoellipticity of degenerate elliptic-parabolic operators”, Tokyo J. Math. 2 (1979) no. 1, p. 111-120 Article |  MR 541900 |  Zbl 0429.35026
[4] Martin T. Barlow & Richard F. Bass, “Stability of parabolic Harnack inequalities”, Trans. Amer. Math. Soc. 356 (2004) no. 4, p. 1501-1533 (electronic) Article |  MR 2034316 |  Zbl 1034.60070
[5] Erika Battaglia & Andrea Bonfiglioli, “Normal families of functions for subelliptic operators and the theorems of Montel and Koebe”, J. Math. Anal. Appl. 409 (2014) no. 1, p. 1-12 Article |  MR 3095013
[6] Denis R. Bell & Salah Eldin A. Mohammed, “An extension of Hörmander’s theorem for infinitely degenerate second-order operators”, Duke Math. J. 78 (1995) no. 3, p. 453-475 Article |  MR 1334203 |  Zbl 0840.60053
[7] A. Bonfiglioli, E. Lanconelli & F. Uguzzoni, Stratified Lie groups and potential theory for their sub-Laplacians, Springer Monographs in Mathematics, Springer, Berlin, 2007  MR 2363343 |  Zbl 1128.43001
[8] Andrea Bonfiglioli & Ermanno Lanconelli, “Subharmonic functions in sub-Riemannian settings”, J. Eur. Math. Soc. (JEMS) 15 (2013) no. 2, p. 387-441 Article |  MR 3017042 |  Zbl 1270.31002
[9] Andrea Bonfiglioli, Ermanno Lanconelli & Andrea Tommasoli, “Convexity of average operators for subsolutions to subelliptic equations”, Anal. PDE 7 (2014) no. 2, p. 345-373 Article |  MR 3218812 |  Zbl 1302.35133
[10] Jean-Michel Bony, “Principe du maximum, inégalite de Harnack et unicité du problème de Cauchy pour les opérateurs elliptiques dégénérés”, Ann. Inst. Fourier (Grenoble) 19 (1969) no. fasc. 1, p. 277-304 xii Cedram |  MR 262881 |  Zbl 0176.09703
[11] Marco Bramanti, Luca Brandolini, Ermanno Lanconelli & Francesco Uguzzoni, “Non-divergence equations structured on Hörmander vector fields: heat kernels and Harnack inequalities”, Mem. Amer. Math. Soc. 204 (2010) no. 961 Article |  MR 2604962 |  Zbl 1218.35001
[12] Marcel Brelot, Axiomatique des fonctions harmoniques, Deuxième édition. Séminaire de Mathématiques Supérieures, No. 14 (Été 1965, Les Presses de l’Université de Montréal, Montreal, Que., 1969  MR 247124 |  Zbl 0148.10401
[13] Sagun Chanillo & Richard L. Wheeden, “Harnack’s inequality and mean-value inequalities for solutions of degenerate elliptic equations”, Comm. Partial Differential Equations 11 (1986) no. 10, p. 1111-1134 Article |  MR 847996 |  Zbl 0634.35035
[14] Michael Christ, Hypoellipticity in the infinitely degenerate regime, Complex analysis and geometry (Columbus, OH, 1999), Ohio State Univ. Math. Res. Inst. Publ. 9, de Gruyter, Berlin, 2001, p. 59–84  MR 1912731 |  Zbl 1015.32032
[15] Giovanna Citti, Nicola Garofalo & Ermanno Lanconelli, “Harnack’s inequality for sum of squares of vector fields plus a potential”, Amer. J. Math. 115 (1993) no. 3, p. 699-734 Article |  MR 1221840 |  Zbl 0795.35018
[16] C. Constantinescu & A. Cornea, “On the axiomatic of harmonic functions. I”, Ann. Inst. Fourier (Grenoble) 13 (1963) no. 2, p. 373-388 Article |  MR 165127 |  Zbl 0122.34001
[17] Virginia De Cicco & Maria Agostina Vivaldi, “Harnack inequalities for Fuchsian type weighted elliptic equations”, Comm. Partial Differential Equations 21 (1996) no. 9-10, p. 1321-1347 Article |  MR 1410832 |  Zbl 0859.35013
[18] 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), p. 25-43  MR 93649 |  Zbl 0084.31901
[19] Giuseppe Di Fazio, Cristian E. Gutiérrez & Ermanno Lanconelli, “Covering theorems, inequalities on metric spaces and applications to PDE’s”, Math. Ann. 341 (2008) no. 2, p. 255-291 Article |  MR 2385658 |  Zbl 1149.46029
[20] J. Dieudonné, Éléments d’analyse. Tome VII. Chapitre XXIII. Première partie, Gauthier-Villars, Paris, 1978, Cahiers Scientifiques, Fasc. XL  MR 494181 |  Zbl 0402.58011
[21] E. Fabes, D. Jerison & C. Kenig, “The Wiener test for degenerate elliptic equations”, Ann. Inst. Fourier (Grenoble) 32 (1982) no. 3, p. vi, 151-182 Cedram |  MR 688024 |  Zbl 0488.35034
[22] E. B. Fabes, C. E. Kenig & D. Jerison, Boundary behavior of solutions to degenerate elliptic equations, Conference on harmonic analysis in honor of Antoni Zygmund, Vol. I, II (Chicago, Ill., 1981), Wadsworth Math. Ser., Wadsworth, Belmont, CA, 1983, p. 577–589  MR 730093 |  Zbl 0503.35038
[23] Eugene B. Fabes, Carlos E. Kenig & Raul P. Serapioni, “The local regularity of solutions of degenerate elliptic equations”, Comm. Partial Differential Equations 7 (1982) no. 1, p. 77-116 Article |  MR 643158 |  Zbl 0498.35042
[24] V. S. Fediĭ, “A certain criterion for hypoellipticity”, Mat. Sb. (N.S.) 85 (127) (1971), p. 18-48  MR 287160 |  Zbl 0247.35023
[25] C. Fefferman & D. H. Phong, “The uncertainty principle and sharp Gȧrding inequalities”, Comm. Pure Appl. Math. 34 (1981) no. 3, p. 285-331 Article |  MR 611747 |  Zbl 0458.35099
[26] C. Fefferman & 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, p. 590–606  MR 730094 |  Zbl 0503.35071
[27] G. B. Folland, “Subelliptic estimates and function spaces on nilpotent Lie groups”, Ark. Mat. 13 (1975) no. 2, p. 161-207 Article |  MR 494315 |  Zbl 0312.35026
[28] G. B. Folland & J. J. Kohn, The Neumann problem for the Cauchy-Riemann complex, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1972, Annals of Mathematics Studies, No. 75  MR 461588 |  Zbl 0247.35093
[29] G. B. Folland & E. M. Stein, “Estimates for the $\bar{\partial }_{b}$ complex and analysis on the Heisenberg group”, Comm. Pure Appl. Math. 27 (1974), p. 429-522 Article |  MR 367477 |  Zbl 0293.35012
[30] Bruno Franchi & Ermanno Lanconelli, “An embedding theorem for Sobolev spaces related to nonsmooth vector fields and Harnack inequality”, Comm. Partial Differential Equations 9 (1984) no. 13, p. 1237-1264 Article |  MR 764663 |  Zbl 0589.46023
[31] Bruno Franchi & Ermanno Lanconelli, “Une condition géométrique pour l’inégalité de Harnack”, J. Math. Pures Appl. (9) 64 (1985) no. 3, p. 237-256  MR 823405 |  Zbl 0599.35134
[32] Nicola Garofalo & Ermanno Lanconelli, “Asymptotic behavior of fundamental solutions and potential theory of parabolic operators with variable coefficients”, Math. Ann. 283 (1989) no. 2, p. 211-239 Article |  MR 980595 |  Zbl 0638.35003
[33] Nicola Garofalo & Ermanno Lanconelli, “Level sets of the fundamental solution and Harnack inequality for degenerate equations of Kolmogorov type”, Trans. Amer. Math. Soc. 321 (1990) no. 2, p. 775-792 Article |  MR 998126 |  Zbl 0719.35007
[34] Alexander Grigor’yan & Laurent Saloff-Coste, “Stability results for Harnack inequalities”, Ann. Inst. Fourier (Grenoble) 55 (2005) no. 3, p. 825-890 Article |  MR 2149405 |  Zbl 1115.58024
[35] Cristian E. Gutiérrez, “Harnack’s inequality for degenerate Schrödinger operators”, Trans. Amer. Math. Soc. 312 (1989) no. 1, p. 403-419 Article |  Zbl 0685.35020
[36] Cristian E. Gutiérrez & Ermanno Lanconelli, “Maximum principle, nonhomogeneous Harnack inequality, and Liouville theorems for $X$-elliptic operators”, Comm. Partial Differential Equations 28 (2003) no. 11-12, p. 1833-1862 Article |  MR 2015404 |  Zbl 1064.35036
[37] W. Hebisch & L. Saloff-Coste, “On the relation between elliptic and parabolic Harnack inequalities”, Ann. Inst. Fourier (Grenoble) 51 (2001) no. 5, p. 1437-1481 Cedram |  MR 1860672 |  Zbl 0988.58007
[38] Lars Hörmander, “Hypoelliptic second order differential equations”, Acta Math. 119 (1967), p. 147-171 Article |  MR 222474 |  Zbl 0156.10701
[39] Lars Hörmander, The analysis of linear partial differential operators. I, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 256, Springer-Verlag, Berlin, 1990, Distribution theory and Fourier analysis Article |  MR 1065993 |  Zbl 0712.35001
[40] Sapto Indratno, Diego Maldonado & Sharad Silwal, “On the axiomatic approach to Harnack’s inequality in doubling quasi-metric spaces”, J. Differential Equations 254 (2013) no. 8, p. 3369-3394 Article |  MR 3020880 |  Zbl 1270.35230
[41] David Jerison & Antonio Sánchez-Calle, Subelliptic, second order differential operators, Complex analysis, III (College Park, Md., 1985–86), Lecture Notes in Math. 1277, Springer, Berlin, 1987, p. 46–77 Article |  MR 922334 |  Zbl 0634.35017
[42] Velimir Jurdjevic, Geometric control theory, Cambridge Studies in Advanced Mathematics 52, Cambridge University Press, Cambridge, 1997  MR 1425878 |  Zbl 0940.93005
[43] Juha Kinnunen, Niko Marola, Michele Miranda & Fabio Paronetto, “Harnack’s inequality for parabolic De Giorgi classes in metric spaces”, Adv. Differential Equations 17 (2012) no. 9-10, p. 801-832  MR 2985675 |  Zbl 1255.30057
[44] Alessia E. Kogoj, “A control condition for a weak Harnack inequality”, Nonlinear Anal. 75 (2012) no. 11, p. 4198-4204 Article |  MR 2921982 |  Zbl 1243.35045
[45] J. J. Kohn, Boundaries of complex manifolds, Proc. Conf. Complex Analysis (Minneapolis, 1964), Springer, Berlin, 1965, p. 81–94  MR 175149 |  Zbl 0166.36003
[46] J. J. Kohn, “Hypoellipticity of some degenerate subelliptic operators”, J. Funct. Anal. 159 (1998) no. 1, p. 203-216 Article |  MR 1654190 |  Zbl 0937.35024
[47] J. J. Kohn & L. Nirenberg, “Non-coercive boundary value problems”, Comm. Pure Appl. Math. 18 (1965), p. 443-492 Article |  MR 181815 |  Zbl 0125.33302
[48] S. Kusuoka & D. Stroock, “Applications of the Malliavin calculus. II”, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 32 (1985) no. 1, p. 1-76  MR 783181 |  Zbl 0568.60059
[49] Peter A. Loeb & Bertram Walsh, “The equivalence of Harnack’s principle and Harnack’s inequality in the axiomatic system of Brelot”, Ann. Inst. Fourier (Grenoble) 15 (1965) no. fasc. 2, p. 597-600 Cedram |  MR 190360 |  Zbl 0132.33802
[50] Julián López-Gómez, The strong maximum principle, Mathematical analysis on the self-organization and self-similarity, RIMS Kôkyûroku Bessatsu, B15, Res. Inst. Math. Sci. (RIMS), Kyoto, 2009, p. 113–123  MR 2664722
[51] Guozhen Lu, “On Harnack’s inequality for a class of strongly degenerate Schrödinger operators formed by vector fields”, Differential Integral Equations 7 (1994) no. 1, p. 73-100  MR 1250940 |  Zbl 0827.35032
[52] Ahmed Mohammed, “Harnack’s inequality for solutions of some degenerate elliptic equations”, Rev. Mat. Iberoamericana 18 (2002) no. 2, p. 325-354 Article |  MR 1949831 |  Zbl 1140.35364
[53] P. Montel, “Leçons sur les familles normales de fonctions analytiques et leurs applications. Recueillies et rédigées par J. Barbotte.”, VIII + 306 p. Paris, Gauthier-Villars (1927). 1927  JFM 53.0303.02
[54] Yoshinori Morimoto, “A criterion for hypoellipticity of second order differential operators”, Osaka J. Math. 24 (1987) no. 3, p. 651-675  MR 923880 |  Zbl 0644.35023
[55] Jürgen Moser, “On Harnack’s theorem for elliptic differential equations”, Comm. Pure Appl. Math. 14 (1961), p. 577-591 Article |  MR 159138 |  Zbl 0111.09302
[56] John Nash, “Parabolic equations”, Proc. Nat. Acad. Sci. U.S.A. 43 (1957), p. 754-758 Article |  MR 89986 |  Zbl 0078.08704
[57] Alberto Parmeggiani, “A remark on the stability of $C^\infty $-hypoellipticity under lower-order perturbations”, J. Pseudo-Differ. Oper. Appl. 6 (2015) no. 2, p. 227-235 Article |  MR 3351885
[58] Andrea Pascucci & Sergio Polidoro, “A Gaussian upper bound for the fundamental solutions of a class of ultraparabolic equations”, J. Math. Anal. Appl. 282 (2003) no. 1, p. 396-409 Article |  MR 2000352 |  Zbl 1026.35056
[59] Andrea Pascucci & Sergio Polidoro, “Harnack inequalities and Gaussian estimates for a class of hypoelliptic operators”, Trans. Amer. Math. Soc. 358 (2006) no. 11, p. 4873-4893 (electronic) Article |  MR 2231876 |  Zbl 1172.35339
[60] Patrizia Pucci & James Serrin, The maximum principle, Progress in Nonlinear Differential Equations and their Applications, 73, Birkhäuser Verlag, Basel, 2007  MR 2356201 |  Zbl 1134.35001
[61] Linda Preiss Rothschild & E. M. Stein, “Hypoelliptic differential operators and nilpotent groups”, Acta Math. 137 (1976) no. 3-4, p. 247-320 Article |  MR 436223 |  Zbl 0346.35030
[62] L. Saloff-Coste, “Parabolic Harnack inequality for divergence-form second-order differential operators”, Potential Anal. 4 (1995) no. 4, p. 429-467, Potential theory and degenerate partial differential operators (Parma) Article |  MR 1354894 |  Zbl 0840.31006
[63] James Serrin, “On the Harnack inequality for linear elliptic equations”, J. Analyse Math. 4 (1955/56), p. 292-308 Article |  MR 81415 |  Zbl 0070.32302
[64] E. M. Stein, “An example on the Heisenberg group related to the Lewy operator”, Invent. Math. 69 (1982) no. 2, p. 209-216 Article |  MR 674401 |  Zbl 0515.58032
[65] François Trèves, Topological vector spaces, distributions and kernels, Academic Press, New York-London, 1967  MR 225131 |  Zbl 0171.10402
[66] Pietro Zamboni, “Hölder continuity for solutions of linear degenerate elliptic equations under minimal assumptions”, J. Differential Equations 182 (2002) no. 1, p. 121-140 Article |  MR 1912072 |  Zbl 1014.35036
top