Intrinsic volumes of sublevel sets

Benoît Jubin

doi:10.5802/afst.1758

Intrinsic volumes of sublevel sets
[Volumes intrinsèques des ensembles de sous-niveau]

Benoît Jubin ¹

¹ Sorbonne Université, Institut de Mathématiques de Jussieu, F-75005 Paris France

Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 32 (2023) no. 5, pp. 911-938.

Résumé
Abstract

Nous établissons des formules donnant les volumes intrinsèques, ou mesures de courbure ou courbures de Lipschitz–Killing, des ensembles de sous-niveau de fonctions définies sur des variétés riemanniennes, comme intégrales de fonctionnelles de la fonction et de ses dérivées jusqu’à l’ordre 3. Par exemple, dans le cas euclidien, si $f \in 𝒞^{3} (ℝ^{n}, ℝ)$ et 0 est une valeur régulière de $f$ , alors le volume intrinsèque de degré $n - k$ de l’ensemble de sous-niveau $M_{f}^{0} : = f^{- 1} (] - \infty, 0])$ , lorsque ce dernier est compact, est donné par

ℒ_{n - k} (M_{f}^{0}) = \frac{Γ (k / 2)}{2 π^{k / 2} (k - 1)!} \int_{M_{f}^{0}} div (\frac{P_{n, k} (Hess (f), \nabla f)}{\sqrt{f^{2 (3 k - 2)} + {∥ \nabla f ∥}^{2 (3 k - 2)}}} \nabla f) {vol}_{n}

pour $1 \leq k \leq n$ , où les $P_{n, k}$ sont des polynômes donnés dans l’article.

Ces formules incluent comme cas particuliers la caractéristique d’Euler–Poincaré des ensembles de sous-niveau et les volumes nodaux des fonctions définies sur des variétés riemanniennes. Elles peuvent donc être vues comme des généralisations de la formule de Kac–Rice.

Finalement, nous utilisons ces formules pour prouver la continuité de Lipschitz des volumes intrinsèques des ensembles de sous-niveau.

We establish formulas that give the intrinsic volumes, or curvature measures or Lipschitz–Killing curvatures, of sublevel sets of functions defined on Riemannian manifolds as integrals of functionals of the function and its derivatives up to order 3. For instance, in the Euclidean case, if $f \in 𝒞^{3} (ℝ^{n}, ℝ)$ and 0 is a regular value of $f$ , then the intrinsic volume of degree $n - k$ of the sublevel set $M_{f}^{0} : = f^{- 1} (] - \infty, 0])$ , if the latter is compact, is given by

ℒ_{n - k} (M_{f}^{0}) = \frac{Γ (k / 2)}{2 π^{k / 2} (k - 1)!} \int_{M_{f}^{0}} div (\frac{P_{n, k} (Hess (f), \nabla f)}{\sqrt{f^{2 (3 k - 2)} + {∥ \nabla f ∥}^{2 (3 k - 2)}}} \nabla f) {vol}_{n}

for $1 \leq k \leq n$ , where the $P_{n, k}$ ’s are polynomials given in the text.

This includes as special cases the Euler–Poincaré characteristic of sublevel sets and the nodal volumes of functions defined on Riemannian manifolds. Therefore, these formulas give generalizations of the Kac–Rice formula.

Finally, we use these formulas to prove the Lipschitz continuity of the intrinsic volumes of sublevel sets.

Reçu le : 2021-05-31
Accepté le : 2021-10-27
Publié le : 2024-05-16

DOI : 10.5802/afst.1758

Classification : 28A75, 49Q15
Keywords: intrinsic volume, curvature measure, Lipschitz–Killing curvature, Euler–Poincaré characteristic, sublevel set, excursion set, nodal set, nodal volume, Kac–Rice formula
Mot clés : volume intrinsèque, mesure de courbure, courbure de Lipschitz–Killing, caractéristique d’Euler–Poincaré, ensemble de sous-niveau, ensemble d’excursion, ensemble nodal, volume nodal, formule de Kac–Rice

Affiliations des auteurs :

Benoît Jubin ¹

¹ Sorbonne Université, Institut de Mathématiques de Jussieu, F-75005 Paris France

Licence :

CC-BY 4.0

Droits d'auteur : Les auteurs conservent leurs droits

@article{AFST_2023_6_32_5_911_0,
     author = {Beno{\^\i}t Jubin},
     title = {Intrinsic volumes of sublevel sets},
     journal = {Annales de la Facult\'e des sciences de Toulouse : Math\'ematiques},
     pages = {911--938},
     publisher = {Universit\'e Paul Sabatier, Toulouse},
     volume = {Ser. 6, 32},
     number = {5},
     year = {2023},
     doi = {10.5802/afst.1758},
     language = {en},
     url = {https://afst.centre-mersenne.org/articles/10.5802/afst.1758/}
}

TY  - JOUR
AU  - Benoît Jubin
TI  - Intrinsic volumes of sublevel sets
JO  - Annales de la Faculté des sciences de Toulouse : Mathématiques
PY  - 2023
SP  - 911
EP  - 938
VL  - 32
IS  - 5
PB  - Université Paul Sabatier, Toulouse
UR  - https://afst.centre-mersenne.org/articles/10.5802/afst.1758/
DO  - 10.5802/afst.1758
LA  - en
ID  - AFST_2023_6_32_5_911_0
ER  -

%0 Journal Article
%A Benoît Jubin
%T Intrinsic volumes of sublevel sets
%J Annales de la Faculté des sciences de Toulouse : Mathématiques
%D 2023
%P 911-938
%V 32
%N 5
%I Université Paul Sabatier, Toulouse
%U https://afst.centre-mersenne.org/articles/10.5802/afst.1758/
%R 10.5802/afst.1758
%G en
%F AFST_2023_6_32_5_911_0

Benoît Jubin. Intrinsic volumes of sublevel sets. Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 32 (2023) no. 5, pp. 911-938. doi : 10.5802/afst.1758. https://afst.centre-mersenne.org/articles/10.5802/afst.1758/

Bibliographie
Cité par

[1] Robert J. Adler; Jonathan E. Taylor Random fields and geometry, Springer Monographs in Mathematics, Springer, 2007 | Zbl

[2] Jürgen Angst; Guillaume Poly On the absolute continuity of random nodal volumes, Ann. Probab., Volume 48 (2020) no. 5, pp. 2145-2175 | MR

[3] Jürgen Angst; Guillaume Poly; Hung Pham Viet Universality of the nodal length of bivariate random trigonometric polynomials, Trans. Am. Math. Soc., Volume 370 (2018) no. 12, pp. 8331-8357 | DOI | MR

[4] Jean-Marc Azaïs; Mario Wschebor Level sets and extrema of random processes and fields, Springer Monographs in Mathematics, John Wiley & Sons, 2009 | DOI

[5] Shiing-Shen Chern A simple intrinsic proof of the Gauss–Bonnet formula for closed Riemannian manifolds, Ann. Math., Volume 45 (1944), pp. 747-752 | DOI | MR | Zbl

[6] Shiing-Shen Chern On the curvatura integra in a Riemannian manifold, Ann. Math., Volume 46 (1945) no. 4, p. 674-584 | DOI | MR | Zbl

[7] Shiing-Shen Chern On the kinematic formula in the Euclidean space of n dimensions, Am. J. Math., Volume 74 (1952), pp. 227-236 | DOI | MR

[8] Shiing-Shen Chern On the kinematic formula in integral geometry, J. Math. Mech., Volume 16 (1966), pp. 101-118 | MR

[9] Herbert Federer Curvature measures, Trans. Am. Math. Soc., Volume 93 (1959), pp. 418-491 | DOI | MR

[10] Joseph H. G. Fu Curvature measures and generalized Morse theory, J. Differ. Geom., Volume 30 (1989), pp. 619-642 | MR

[11] Joseph H. G. Fu Curvature measures and Chern classes of singular varieties, J. Differ. Geom., Volume 39 (1994), pp. 251-280 | MR | Zbl

[12] Joseph H. G. Fu; Thomas Wannerer Riemannian curvature measures, Geom. Funct. Anal., Volume 29 (2019) no. 2, pp. 343-381 | MR | Zbl

[13] Alfred Gray Tubes, Progress in Mathematics, Birkhäuser, 2004 | DOI

[14] Morris W Hirsch Differential Topology, Graduate Texts in Mathematics, 5, Springer, 1997

[15] Benoît Jubin Closed Kac–Rice type formulas on Riemannian manifolds (2019) | arXiv

[16] Daniel A Klain; Gian-Carlo Rota Introduction to geometric probability, Cambridge University Press, 1997

[17] Raphaël Lachièze-Rey Two-dimensional Kac–Rice formula. Application to shot noise processes excursions (2016) | arXiv

[18] Jean-Marie Morvan Generalized Curvatures, Frontiers in Mathematics, 2, Springer, 2008 | DOI

[19] Liviu I Nicolaescu On the Kac–Rice formula (2014) (https://www3.nd.edu/ lnicolae/Kac_Rice.pdf)

[20] Michael Spivak A Comprehensive Introduction to Differential Geometry, Volume 5, Publish or Perish Inc., 1999

[21] Christoph Thäle Fifty years of sets with positive reach, a survey, Surv. Math. Appl., Volume 3 (2008), pp. 123-165 | Zbl

[22] Hermann Weyl On the volume of tubes, Am. J. Math., Volume 61 (1939), pp. 461-472 | DOI | MR

[23] Martina Zähle Curvature Measures and Random Sets, I, Math. Nachr., Volume 119 (1984), pp. 327-339 | DOI | MR

[24] Martina Zähle Integral and Current Representation of Federer’s Curvature Measures, Math. Nachr., Volume 46 (1986) no. 6, pp. 557-567 | MR

Cité par Sources :