Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups
[Caractérisation des graphes intrinsèques co-horizontaux uniformément différentiables dans les groupes de Carnot]
Annales de l'Institut Fourier, Online first, 99 p.

Dans les groupes de Carnot, nous étudions les graphes intrinsèques des fonctions avec codomaine horizontal. Ces graphes sont C H 1 réguliers quand la fonction est uniformément intrinsèquement différentiable. Notre premier résultat est une caractérisation de la différentiabilité intrinsèque en termes de régularité Hölder des projections sur le graphe des champs de vecteurs invariants à gauche.

Nous améliorons le résultat dans les groupes de Carnot de rang 2 pour les fonctions avec codomaine unidimensionnel : dans ce cas, la régularité horizontale suffit pour obtenir le résultat. Nous remarquons que cette amélioration n’est pas vraie dans le groupe de Carnot de rang 3 le plus simple. Enfin on montre une formule de l’aire pour les fonctions uniformément intrinsèquement différentiables avec codomaine unidimensionnel et on donne une expression explicite de l’élément de surface en fonctions des dérivées intrinsèques de la fonction.

In arbitrary Carnot groups we study intrinsic graphs of maps with horizontal target. These graphs are C H 1 regular exactly when the map is uniformly intrinsically differentiable. Our first main result characterizes the uniformly intrinsic differentiability by means of Hölder properties along the projections of left-invariant vector fields on the graph.

We strengthen the result in step-2 Carnot groups for intrinsic real-valued maps by only requiring horizontal regularity. We remark that such a refinement is not possible already in the easiest step-3 group.

As a by-product of independent interest, in every Carnot group we prove an area-formula for uniformly intrinsically differentiable real-valued maps. We also explicitly write the area element in terms of the intrinsic derivatives of the map.

Reçu le :
Révisé le :
Accepté le :
Première publication :
DOI : 10.5802/aif.3660
Classification : 53C17, 22E25, 28A75, 49N60, 49Q15, 26A16
Keywords: Carnot groups, intrinsically $C^1$ surfaces, co-horizontal surfaces, area formula, intrinsically differentiable functions, little Hölder functions, broad solutions
Mot clés : Groupes de Carnot, Surfaces intrinsèquement $C^1$, Surfaces co-horizontales, fonctions uniformément différentiables, fonctions petit-Hölder, broad solutions
Antonelli, Gioacchino 1 ; Di Donato, Daniela 2 ; Don, Sebastiano 3 ; Le Donne, Enrico 4

1 Scuola Normale Superiore Piazza dei Cavalieri, 7 56126 Pisa (Italy)
2 Sissa, Mathematics Area Via Bonomea, 265 34136 Trieste (Italy)
3 Mathematisches Institut Sidlerstrasse 12 3012 Bern (Switzerland)
4 Department of Mathematics University of Fribourg 23 chemin du Musée 1700 Fribourg (Switzerland)
@unpublished{AIF_0__0_0_A97_0,
     author = {Antonelli, Gioacchino and Di Donato, Daniela and Don, Sebastiano and Le Donne, Enrico},
     title = {Characterizations of uniformly differentiable co-horizontal intrinsic graphs in {Carnot} groups},
     journal = {Annales de l'Institut Fourier},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     year = {2024},
     doi = {10.5802/aif.3660},
     language = {en},
     note = {Online first},
}
TY  - UNPB
AU  - Antonelli, Gioacchino
AU  - Di Donato, Daniela
AU  - Don, Sebastiano
AU  - Le Donne, Enrico
TI  - Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups
JO  - Annales de l'Institut Fourier
PY  - 2024
PB  - Association des Annales de l’institut Fourier
N1  - Online first
DO  - 10.5802/aif.3660
LA  - en
ID  - AIF_0__0_0_A97_0
ER  - 
%0 Unpublished Work
%A Antonelli, Gioacchino
%A Di Donato, Daniela
%A Don, Sebastiano
%A Le Donne, Enrico
%T Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups
%J Annales de l'Institut Fourier
%D 2024
%I Association des Annales de l’institut Fourier
%Z Online first
%R 10.5802/aif.3660
%G en
%F AIF_0__0_0_A97_0
Antonelli, Gioacchino; Di Donato, Daniela; Don, Sebastiano; Le Donne, Enrico. Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups. Annales de l'Institut Fourier, Online first, 99 p.

[1] Alberti, Giovanni; Bianchini, Stefano; Caravenna, Laura Eulerian, Lagrangian and broad continuous solutions to a balance law with non-convex flux I, J. Differ. Equations, Volume 261 (2016) no. 8, pp. 4298-4337 | DOI | MR | Zbl

[2] Ambrosio, Luigi; Kirchheim, Bernd Rectifiable sets in metric and Banach spaces, Math. Ann., Volume 318 (2000) no. 3, pp. 527-555 | DOI | MR | Zbl

[3] Ambrosio, Luigi; Serra Cassano, Francesco; Vittone, Davide Intrinsic regular hypersurfaces in Heisenberg groups, J. Geom. Anal., Volume 16 (2006) no. 2, pp. 187-232 | DOI | MR | Zbl

[4] Antonelli, Gioacchino; Le Donne, Enrico Pauls rectifiable and purely Pauls unrectifiable smooth hypersurfaces, Nonlinear Anal., Theory Methods Appl., Volume 200 (2020), 111983, 30 pages | DOI | MR | Zbl

[5] Arena, Gabriella; Serapioni, Raul Intrinsic regular submanifolds in Heisenberg groups are differentiable graphs, Calc. Var. Partial Differ. Equ., Volume 35 (2009) no. 4, pp. 517-536 | DOI | MR | Zbl

[6] Bigolin, Francesco; Caravenna, Laura; Serra Cassano, Francesco Intrinsic Lipschitz graphs in Heisenberg groups and continuous solutions of a balance equation, Ann. Inst. Henri Poincaré, Anal. Non Linéaire, Volume 32 (2015) no. 5, pp. 925-963 | DOI | Numdam | MR | Zbl

[7] Bigolin, Francesco; Golo, Sebastiano Nicolussi A historical account on characterizations of C 1 -manifolds in Euclidean spaces by tangent cones, J. Math. Anal. Appl., Volume 412 (2014) no. 1, pp. 63-76 | DOI | MR | Zbl

[8] Bigolin, Francesco; Kozhevnikov, Artem Tangency, paratangency and four-cones coincidence theorem in Carnot groups, J. Convex Anal., Volume 21 (2014) no. 3, pp. 887-899 | MR | Zbl

[9] Bigolin, Francesco; Serra Cassano, Francesco Distributional solutions of Burgers’ equation and intrinsic regular graphs in Heisenberg groups, J. Math. Anal. Appl., Volume 366 (2010) no. 2, pp. 561-568 | DOI | MR | Zbl

[10] Bigolin, Francesco; Serra Cassano, Francesco Intrinsic regular graphs in Heisenberg groups vs. weak solutions of non-linear first-order PDEs, Adv. Calc. Var., Volume 3 (2010) no. 1, pp. 69-97 | DOI | MR | Zbl

[11] Bigolin, Francesco; Vittone, Davide Some remarks about parametrizations of intrinsic regular surfaces in the Heisenberg group, Publ. Mat., Barc., Volume 54 (2010) no. 1, pp. 159-172 | DOI | MR | Zbl

[12] Bonfiglioli, Andrea; Lanconelli, Ermanno; Uguzzoni, Francesco Stratified Lie groups and potential theory for their sub-Laplacians, Springer Monographs in Mathematics, Springer, 2007, xxvi+800 pages | MR

[13] Citti, Giovanna; Manfredini, Maria Implicit function theorem in Carnot-Carathéodory spaces, Commun. Contemp. Math., Volume 8 (2006) no. 5, pp. 657-680 | DOI | MR | Zbl

[14] Citti, Giovanna; Manfredini, Maria; Pinamonti, Andrea; Serra Cassano, Francesco Smooth approximation for intrinsic Lipschitz functions in the Heisenberg group, Calc. Var. Partial Differ. Equ., Volume 49 (2014) no. 3-4, pp. 1279-1308 | DOI | MR | Zbl

[15] Corni, Francesca Intrinsic regular surfaces of low codimension in Heisenberg groups, Ann. Fenn. Math., Volume 46 (2021) no. 1, pp. 79-121 | DOI | MR | Zbl

[16] Corni, Francesca; Magnani, Valentino Area formula for regular submanifolds of low codimension in Heisenberg groups, Adv. Calc. Var., Volume 16 (2023) no. 3, pp. 665-688 | DOI | Zbl

[17] Di Donato, Daniela Intrinsic Lipschitz graphs in Carnot groups of step 2, Ann. Acad. Sci. Fenn., Math., Volume 45 (2020) no. 2, pp. 1013-1063 | DOI | MR | Zbl

[18] Di Donato, Daniela Intrinsic differentiability and intrinsic regular surfaces in Carnot groups, Potential Anal., Volume 54 (2021) no. 1, pp. 1-39 | DOI | MR | Zbl

[19] Federer, Herbert Geometric measure theory, Grundlehren der Mathematischen Wissenschaften, 153, Springer, 1969, xiv+676 pages | MR

[20] Folland, Gerald B.; Stein, Elias M. Hardy spaces on homogeneous groups, Mathematical Notes, 28, Princeton University Press; University of Tokyo Press, 1982, xii+285 pages | MR

[21] Franchi, Bruno; Marchi, Marco; Serapioni, Raul Differentiability and approximate differentiability for intrinsic Lipschitz functions in Carnot groups and a Rademarcher Theorem, Anal. Geom. Metr. Spaces, Volume 2 (2014) no. 3, pp. 258-281 | Zbl

[22] Franchi, Bruno; Serapioni, Raul Intrinsic Lipschitz graphs within Carnot groups, J. Geom. Anal., Volume 26 (2016) no. 3, pp. 1946-1994 | DOI | MR | Zbl

[23] Franchi, Bruno; Serapioni, Raul; Serra Cassano, Francesco Rectifiability and perimeter in the Heisenberg group, Math. Ann., Volume 321 (2001) no. 3, pp. 479-531 | DOI | MR | Zbl

[24] Franchi, Bruno; Serapioni, Raul; Serra Cassano, Francesco On the structure of finite perimeter sets in step 2 Carnot groups, J. Geom. Anal., Volume 13 (2003) no. 3, pp. 421-466 | DOI | Zbl

[25] Franchi, Bruno; Serapioni, Raul; Serra Cassano, Francesco Regular hypersurfaces, intrinsic perimeter and implicit function theorem in Carnot groups, Commun. Anal. Geom., Volume 11 (2003) no. 5, pp. 909-944 | DOI | MR | Zbl

[26] Franchi, Bruno; Serapioni, Raul; Serra Cassano, Francesco Intrinsic Lipschitz graphs in Heisenberg groups, J. Nonlinear Convex Anal., Volume 7 (2006) no. 3, pp. 423-441 | MR | Zbl

[27] Franchi, Bruno; Serapioni, Raul; Serra Cassano, Francesco Regular submanifolds, graphs and area formula in Heisenberg groups, Adv. Math., Volume 211 (2007) no. 1, pp. 152-203 | DOI | MR | Zbl

[28] Franchi, Bruno; Serapioni, Raul; Serra Cassano, Francesco Differentiability of intrinsic Lipschitz functions within Heisenberg groups, J. Geom. Anal., Volume 21 (2011) no. 4, pp. 1044-1084 | DOI | MR | Zbl

[29] Hale, Jack K. Ordinary differential equations, Pure and Applied Mathematics, 21, Robert E. Krieger Publishing Co., 1980, xvi+361 pages | MR

[30] Julia, Antoine; Nicolussi Golo, Sebastiano; Vittone, Davide Area of intrinsic graphs and coarea formula in Carnot groups, Math. Z., Volume 301 (2022), pp. 1369-1406 | DOI | Zbl

[31] Kozhevnikov, Artem Propriétés métriques des ensembles de niveau des applications différentiables sur les groupes de Carnot, Ph. D. Thesis, Université Paris Sud - Paris XI (2015)

[32] Le Donne, Enrico; Pinamonti, Andrea; Speight, Gareth Universal differentiability sets and maximal directional derivatives in Carnot groups, J. Math. Pures Appl., Volume 121 (2019), pp. 83-112 | DOI | MR | Zbl

[33] Lunardi, Alessandra Analytic semigroups and optimal regularity in parabolic problems, Modern Birkhäuser Classics, Springer, 2013, xviii+424 pages (reprint of the 1995 original) | MR

[34] Magnani, Valentino Unrectifiability and rigidity in stratified groups, Arch. Math., Volume 83 (2004) no. 6, pp. 568-576 | DOI | MR | Zbl

[35] Magnani, Valentino Characteristic points, rectifiability and perimeter measure on stratified groups, J. Eur. Math. Soc., Volume 8 (2006) no. 4, pp. 585-609 | DOI | MR | Zbl

[36] Magnani, Valentino Towards differential calculus in stratified groups, J. Aust. Math. Soc., Volume 95 (2013) no. 1, pp. 76-128 | DOI | MR | Zbl

[37] Magnani, Valentino A new differentiation, shape of the unit ball, and perimeter measure, Indiana Univ. Math. J., Volume 66 (2017) no. 1, pp. 183-204 | DOI | MR | Zbl

[38] Monti, Roberto; Vittone, Davide Sets with finite -perimeter and controlled normal, Math. Z., Volume 270 (2012) no. 1-2, pp. 351-367 | DOI | MR | Zbl

[39] Mustafa, Octavian G. On the existence interval in Peano’s theorem, An. Ştiinţ. Univ. Al. I. Cuza Iaşi, Ser. Nouă, Mat., Volume 51 (2005) no. 1, pp. 55-64 | MR | Zbl

[40] Serapioni, Raul Intrinsic difference quotients, Harmonic analysis, partial differential equations and applications (Applied and Numerical Harmonic Analysis), Birkhäuser/Springer, 2017, pp. 165-192 | DOI | MR | Zbl

[41] Serra Cassano, Francesco Some topics of geometric measure theory in Carnot groups, Geometry, analysis and dynamics on sub-Riemannian manifolds. Vol. 1 (EMS Series of Lectures in Mathematics), European Mathematical Society, 2016, pp. 1-121 | MR | Zbl

Cité par Sources :