[Le principe fort du maximum et l’inégalité de Harnack pour une classe d’opérateurs hypoelliptiques non-Hörmander]
We consider a class of hypoelliptic second-order operators 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 with coefficients, this control-theoretic result also implies a Unique Continuation property for the –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 .
Nous considérons une classe d’opérateurs du second ordre hypoelliptiques sous la forme de divergence et nous prouvons les principes du maximum fort et faible, et l’inégalité de Harnack. n’est pas assumé dans la classe de hypoellipticité de Hörmander, ni satisfaisant des estimations sous-elliptique ou de dégénérescence à la Muckenhoupt ; en effet nos résultats sont valables dans le cas infiniment dégénéré et pour des opérateurs qui ne sont pas des sommes de carrés. Nous utilisons un résultat de la théorie du contrôle sur l’hypoellipticité pour récupérer une information géométrique sur la connectivité et la propagation des maximums, en l’absence de la condition de rang maximal. Quand a coefficients , ce résultat implique également une propriété de prolongement unique pour les fonctions –harmoniques. Le théorème de Harnack est obtenue par une inégalité faible de Harnack au moyen d’un argument de la théorie du potentiel et la solvabilité du problème de Dirichlet.
Révisé le :
Accepté le :
Publié le :
Keywords: Degenerate-elliptic operators, maximum principles, Harnack inequality, Unique Continuation, divergence form operators
Mots-clés : Opérateurs elliptique-dégénérés, principe du maximum, inégalité de Harnack, prolongement unique, opérateurs en forme de divergence
Battaglia, Erika 1 ; Biagi, Stefano 1 ; Bonfiglioli, Andrea 1
@article{AIF_2016__66_2_589_0,
author = {Battaglia, Erika and Biagi, Stefano and Bonfiglioli, Andrea},
title = {The {Strong} {Maximum} {Principle} and the {Harnack} inequality for a class of hypoelliptic {non-H\"ormander} operators},
journal = {Annales de l'Institut Fourier},
pages = {589--631},
publisher = {Association des Annales de l{\textquoteright}institut Fourier},
volume = {66},
number = {2},
year = {2016},
doi = {10.5802/aif.3020},
language = {en},
url = {https://aif.centre-mersenne.org/articles/10.5802/aif.3020/}
}
TY - JOUR AU - Battaglia, Erika AU - Biagi, Stefano AU - Bonfiglioli, Andrea TI - The Strong Maximum Principle and the Harnack inequality for a class of hypoelliptic non-Hörmander operators JO - Annales de l'Institut Fourier PY - 2016 SP - 589 EP - 631 VL - 66 IS - 2 PB - Association des Annales de l’institut Fourier UR - https://aif.centre-mersenne.org/articles/10.5802/aif.3020/ DO - 10.5802/aif.3020 LA - en ID - AIF_2016__66_2_589_0 ER -
%0 Journal Article %A Battaglia, Erika %A Biagi, Stefano %A Bonfiglioli, Andrea %T The Strong Maximum Principle and the Harnack inequality for a class of hypoelliptic non-Hörmander operators %J Annales de l'Institut Fourier %D 2016 %P 589-631 %V 66 %N 2 %I Association des Annales de l’institut Fourier %U https://aif.centre-mersenne.org/articles/10.5802/aif.3020/ %R 10.5802/aif.3020 %G en %F AIF_2016__66_2_589_0
Battaglia, Erika; Biagi, Stefano; Bonfiglioli, Andrea. The Strong Maximum Principle and the Harnack inequality for a class of hypoelliptic non-Hörmander operators. Annales de l'Institut Fourier, Tome 66 (2016) no. 2, pp. 589-631. doi : 10.5802/aif.3020. https://aif.centre-mersenne.org/articles/10.5802/aif.3020/
[1] The Dirichlet problem and the inverse mean-value theorem for a class of divergence form operators, J. Lond. Math. Soc. (2), Volume 87 (2013) no. 2, pp. 321-346 | DOI
[2] Hölder regularity of solutions of PDE’s: a geometrical view, Comm. Partial Differential Equations, Volume 26 (2001) no. 7-8, pp. 1145-1173 | DOI
[3] A necessary condition for hypoellipticity of degenerate elliptic-parabolic operators, Tokyo J. Math., Volume 2 (1979) no. 1, pp. 111-120 | DOI
[4] Stability of parabolic Harnack inequalities, Trans. Amer. Math. Soc., Volume 356 (2004) no. 4, p. 1501-1533 (electronic) | DOI
[5] Normal families of functions for subelliptic operators and the theorems of Montel and Koebe, J. Math. Anal. Appl., Volume 409 (2014) no. 1, pp. 1-12 | DOI
[6] An extension of Hörmander’s theorem for infinitely degenerate second-order operators, Duke Math. J., Volume 78 (1995) no. 3, pp. 453-475 | DOI
[7] Stratified Lie groups and potential theory for their sub-Laplacians, Springer Monographs in Mathematics, Springer, Berlin, 2007, xxvi+800 pages
[8] Subharmonic functions in sub-Riemannian settings, J. Eur. Math. Soc. (JEMS), Volume 15 (2013) no. 2, pp. 387-441 | DOI
[9] Convexity of average operators for subsolutions to subelliptic equations, Anal. PDE, Volume 7 (2014) no. 2, pp. 345-373 | DOI
[10] 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), Volume 19 (1969) no. fasc. 1, p. 277-304 xii | DOI
[11] Non-divergence equations structured on Hörmander vector fields: heat kernels and Harnack inequalities, Mem. Amer. Math. Soc., Volume 204 (2010) no. 961, vi+123 pages | DOI
[12] 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, 141 pages
[13] Harnack’s inequality and mean-value inequalities for solutions of degenerate elliptic equations, Comm. Partial Differential Equations, Volume 11 (1986) no. 10, pp. 1111-1134 | DOI
[14] Hypoellipticity in the infinitely degenerate regime, Complex analysis and geometry (Columbus, OH, 1999) (Ohio State Univ. Math. Res. Inst. Publ.), Volume 9, de Gruyter, Berlin, 2001, pp. 59-84
[15] Harnack’s inequality for sum of squares of vector fields plus a potential, Amer. J. Math., Volume 115 (1993) no. 3, pp. 699-734 | DOI
[16] On the axiomatic of harmonic functions. I, Ann. Inst. Fourier (Grenoble), Volume 13 (1963) no. 2, pp. 373-388 | DOI
[17] Harnack inequalities for Fuchsian type weighted elliptic equations, Comm. Partial Differential Equations, Volume 21 (1996) no. 9-10, pp. 1321-1347 | DOI
[18] Sulla differenziabilità e l’analiticità delle estremali degli integrali multipli regolari, Mem. Accad. Sci. Torino. Cl. Sci. Fis. Mat. Nat. (3), Volume 3 (1957), pp. 25-43
[19] Covering theorems, inequalities on metric spaces and applications to PDE’s, Math. Ann., Volume 341 (2008) no. 2, pp. 255-291 | DOI
[20] Éléments d’analyse. Tome VII. Chapitre XXIII. Première partie, Gauthier-Villars, Paris, 1978, xvi+296 pages (Cahiers Scientifiques, Fasc. XL)
[21] The Wiener test for degenerate elliptic equations, Ann. Inst. Fourier (Grenoble), Volume 32 (1982) no. 3, pp. vi, 151-182 | DOI
[22] 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, pp. 577-589
[23] The local regularity of solutions of degenerate elliptic equations, Comm. Partial Differential Equations, Volume 7 (1982) no. 1, pp. 77-116 | DOI
[24] A certain criterion for hypoellipticity, Mat. Sb. (N.S.), Volume 85 (127) (1971), pp. 18-48
[25] The uncertainty principle and sharp Gȧrding inequalities, Comm. Pure Appl. Math., Volume 34 (1981) no. 3, pp. 285-331 | DOI
[26] 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
[27] Subelliptic estimates and function spaces on nilpotent Lie groups, Ark. Mat., Volume 13 (1975) no. 2, pp. 161-207 | DOI
[28] The Neumann problem for the Cauchy-Riemann complex, Princeton University Press, Princeton, N.J.; University of Tokyo Press, Tokyo, 1972, viii+146 pages (Annals of Mathematics Studies, No. 75)
[29] Estimates for the complex and analysis on the Heisenberg group, Comm. Pure Appl. Math., Volume 27 (1974), pp. 429-522 | DOI
[30] An embedding theorem for Sobolev spaces related to nonsmooth vector fields and Harnack inequality, Comm. Partial Differential Equations, Volume 9 (1984) no. 13, pp. 1237-1264 | DOI
[31] Une condition géométrique pour l’inégalité de Harnack, J. Math. Pures Appl. (9), Volume 64 (1985) no. 3, pp. 237-256
[32] Asymptotic behavior of fundamental solutions and potential theory of parabolic operators with variable coefficients, Math. Ann., Volume 283 (1989) no. 2, pp. 211-239 | DOI
[33] Level sets of the fundamental solution and Harnack inequality for degenerate equations of Kolmogorov type, Trans. Amer. Math. Soc., Volume 321 (1990) no. 2, pp. 775-792 | DOI
[34] Stability results for Harnack inequalities, Ann. Inst. Fourier (Grenoble), Volume 55 (2005) no. 3, pp. 825-890 http://aif.cedram.org/item?id=AIF_2005__55_3_825_0 | DOI
[35] Harnack’s inequality for degenerate Schrödinger operators, Trans. Amer. Math. Soc., Volume 312 (1989) no. 1, pp. 403-419 | DOI
[36] Maximum principle, nonhomogeneous Harnack inequality, and Liouville theorems for -elliptic operators, Comm. Partial Differential Equations, Volume 28 (2003) no. 11-12, pp. 1833-1862 | DOI
[37] On the relation between elliptic and parabolic Harnack inequalities, Ann. Inst. Fourier (Grenoble), Volume 51 (2001) no. 5, pp. 1437-1481 http://aif.cedram.org/item?id=AIF_2001__51_5_1437_0 | DOI
[38] Hypoelliptic second order differential equations, Acta Math., Volume 119 (1967), pp. 147-171 | DOI
[39] The analysis of linear partial differential operators. I, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 256, Springer-Verlag, Berlin, 1990, xii+440 pages (Distribution theory and Fourier analysis) | DOI
[40] On the axiomatic approach to Harnack’s inequality in doubling quasi-metric spaces, J. Differential Equations, Volume 254 (2013) no. 8, pp. 3369-3394 | DOI
[41] Subelliptic, second order differential operators, Complex analysis, III (College Park, Md., 1985–86) (Lecture Notes in Math.), Volume 1277, Springer, Berlin, 1987, pp. 46-77 | DOI
[42] Geometric control theory, Cambridge Studies in Advanced Mathematics, 52, Cambridge University Press, Cambridge, 1997, xviii+492 pages
[43] Harnack’s inequality for parabolic De Giorgi classes in metric spaces, Adv. Differential Equations, Volume 17 (2012) no. 9-10, pp. 801-832
[44] A control condition for a weak Harnack inequality, Nonlinear Anal., Volume 75 (2012) no. 11, pp. 4198-4204 | DOI
[45] Boundaries of complex manifolds, Proc. Conf. Complex Analysis (Minneapolis, 1964), Springer, Berlin, 1965, pp. 81-94
[46] Hypoellipticity of some degenerate subelliptic operators, J. Funct. Anal., Volume 159 (1998) no. 1, pp. 203-216 | DOI
[47] Non-coercive boundary value problems, Comm. Pure Appl. Math., Volume 18 (1965), pp. 443-492 | DOI
[48] Applications of the Malliavin calculus. II, J. Fac. Sci. Univ. Tokyo Sect. IA Math., Volume 32 (1985) no. 1, pp. 1-76
[49] The equivalence of Harnack’s principle and Harnack’s inequality in the axiomatic system of Brelot, Ann. Inst. Fourier (Grenoble), Volume 15 (1965) no. fasc. 2, pp. 597-600 | DOI
[50] 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, pp. 113-123
[51] On Harnack’s inequality for a class of strongly degenerate Schrödinger operators formed by vector fields, Differential Integral Equations, Volume 7 (1994) no. 1, pp. 73-100
[52] Harnack’s inequality for solutions of some degenerate elliptic equations, Rev. Mat. Iberoamericana, Volume 18 (2002) no. 2, pp. 325-354 | DOI
[53] 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
[54] A criterion for hypoellipticity of second order differential operators, Osaka J. Math., Volume 24 (1987) no. 3, pp. 651-675 http://projecteuclid.org/euclid.ojm/1200929544
[55] On Harnack’s theorem for elliptic differential equations, Comm. Pure Appl. Math., Volume 14 (1961), pp. 577-591 | DOI
[56] Parabolic equations, Proc. Nat. Acad. Sci. U.S.A., Volume 43 (1957), pp. 754-758 | DOI
[57] A remark on the stability of -hypoellipticity under lower-order perturbations, J. Pseudo-Differ. Oper. Appl., Volume 6 (2015) no. 2, pp. 227-235 | DOI
[58] A Gaussian upper bound for the fundamental solutions of a class of ultraparabolic equations, J. Math. Anal. Appl., Volume 282 (2003) no. 1, pp. 396-409 | DOI
[59] Harnack inequalities and Gaussian estimates for a class of hypoelliptic operators, Trans. Amer. Math. Soc., Volume 358 (2006) no. 11, p. 4873-4893 (electronic) | DOI
[60] The maximum principle, Progress in Nonlinear Differential Equations and their Applications, 73, Birkhäuser Verlag, Basel, 2007, x+235 pages
[61] Hypoelliptic differential operators and nilpotent groups, Acta Math., Volume 137 (1976) no. 3-4, pp. 247-320 | DOI
[62] Parabolic Harnack inequality for divergence-form second-order differential operators, Potential Anal., Volume 4 (1995) no. 4, pp. 429-467 Potential theory and degenerate partial differential operators (Parma) | DOI
[63] On the Harnack inequality for linear elliptic equations, J. Analyse Math., Volume 4 (1955/56), pp. 292-308 | DOI
[64] An example on the Heisenberg group related to the Lewy operator, Invent. Math., Volume 69 (1982) no. 2, pp. 209-216 | DOI
[65] Topological vector spaces, distributions and kernels, Academic Press, New York-London, 1967, xvi+624 pages
[66] Hölder continuity for solutions of linear degenerate elliptic equations under minimal assumptions, J. Differential Equations, Volume 182 (2002) no. 1, pp. 121-140 | DOI
Cité par Sources :
