Sur les Sections des Corps Convexes en Position de John et des Boules $B_p^n$ Généralisées

Informations Fondamentales

• ID de l'article: 2510.14047
• Titre: On Sections of Convex Bodies in John's Position and of Generalised $B_p^n$ Balls
• Auteurs: David Alonso-Gutiérrez, Silouanos Brazitikos, Giorgos Chasapis
• Classification: math.MG (Géométrie Métrique), math.FA (Analyse Fonctionnelle)
• Date de publication: 17 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.14047

Résumé

Cet article réexamine un argument ingénieux de K. Ball, fournissant des estimations optimales pour le volume des sections de corps convexes en position de John. La technique des auteurs combine l'inégalité géométrique de Brascamp-Lieb avec une identité généralisée de type Parseval. Cela permet aux auteurs de compléter certains résultats antérieurs des deux premiers auteurs et de généraliser les estimations classiques de Meyer-Pajor et Koldobsky concernant les sections extrémales des boules $B_p^n$ à une famille plus large de normes induites par les décompositions d'identité de John dans $\mathbb{R}^n$.

Contexte et Motivation de la Recherche

1. Problème central: L'étude des estimations de volume pour les sections hyperplanes et les projections de corps convexes est un domaine classique et en développement actif de la géométrie convexe moderne, avec des connexions profondes à l'analyse fonctionnelle, la tomographie géométrique et les probabilités en haute dimension.
2. Importance du problème:
   • Les problèmes extrémaux pour les sections de dimension k (tels que la détermination du volume maximal ou minimal de telles sections) codent des informations quantitatives subtiles sur la géométrie du corps
   • Connexion aux problèmes centraux du domaine, comme le problème de Busemann-Petty et le problème de la tranche (récemment résolu dans KL)
3. Limitations des approches existantes:
   • La méthode de Ball dépend fortement de la structure produit du cube : la transformée de Fourier de la fonction indicatrice d'un corps produit se décompose en produit de transformées de Fourier unidimensionnelles
   • Pour les corps généraux en position de John, cette indépendance des coordonnées fait défaut, et la décomposition produit directe n'est plus disponible, rendant les méthodes de Fourier a priori inapplicables
4. Motivation de la recherche:
   • Compléter et généraliser les résultats de AB concernant les sections de corps convexes en position de John
   • Surmonter les limitations imposées par l'exigence de structure produit dans l'argument de Ball
   • Généraliser les estimations classiques de sections de boules $\ell_p^n$ à une famille plus large de normes

Contributions Principales

1. Innovation méthodologique: Démonstration de la manière de contourner l'exigence de structure produit du cube dans l'argument de Ball en combinant des identités de type Parseval avec l'inégalité de Brascamp-Lieb
2. Estimations optimales: Fourniture d'estimations de volume optimales pour les sections de dimension k de corps convexes centralement symétriques en position de John, particulièrement pour le cas $k \geq n/2$
3. Construction de contre-exemples: Construction d'un polyèdre convexe $L$ en position de John démontrant que la borne $2^{\frac{n+k}{2}}$ de Ball ne tient plus lorsque $k \geq n/2$ et que toutes les projections $P_H(\sqrt{c_j}v_j)$ sont grandes
4. Généralisation des résultats classiques: Généralisation des bornes connues de Meyer-Pajor et Koldobsky concernant les sections de boules $\ell_p^n$ à la famille de normes $\ell_p$ généralisées induites par les décompositions de John
5. Cas non-symétrique: Établissement de résultats améliorés pour les sections hyperplanes de corps convexes en position de John sans imposer d'hypothèses de symétrie

Explication Détaillée de la Méthode

Définition de la Tâche

Étude du problème d'estimation du volume des sections $K \cap H$ d'un corps convexe K en position de John par un sous-espace linéaire H de dimension k. Étant donnée une décomposition de John $\text{Id}_n = \sum_{j=1}^m c_j v_j \otimes v_j$, l'objectif est d'établir une borne supérieure pour $\text{vol}_k(K \cap H)$.

Cadre Technique Principal

1. Identité de Type Parseval (Proposition 1)

Pour une famille de fonctions $(f_j)_{j=1}^m$, où $f_j \in S(\mathbb{R}^{n_j})$:

$\int_H \prod_{j=1}^m f_j(P_{\mathbb{R}^{n_j}} y) dy = \frac{1}{(2\pi)^{N-k}} \int_{H^⊥} \prod_{j=1}^m \hat{f}_j(P_{\mathbb{R}^{n_j}} z) dz$

2. Application de l'Inégalité Géométrique de Brascamp-Lieb (Corollaire 3)

Pour une décomposition de John $(c_j, v_j)$:

$\int_{\mathbb{R}^n} \prod_{j=1}^m f_j(\sqrt{c_j}\langle x, v_j \rangle) dx \leq \frac{1}{(2\pi)^{m-n}} \prod_{j=1}^m \left(\int_\mathbb{R} |\hat{f}_j^{\frac{1}{1-c_j}}(\sqrt{1-c_j}t)| dt\right)^{1-c_j}$

3. Construction Clé (Proposition 2)

Étant donné $H \in G_{m,k}$ et $(u_j)_{j=1}^m \subseteq S^{m-1} \cap H$, $(c_j)_{j=1}^m \subseteq (0,\infty)$ satisfaisant $\text{Id}_H = \sum_{j=1}^m c_j u_j \otimes u_j$, il existe une base orthonormée $(x_j)_{j=1}^m$ et $(w_j)_{j=1}^m \subseteq S^{m-1} \cap H^⊥$ telles que:

• $P_H x_j = \sqrt{c_j} u_j$
• $P_{H^⊥} x_j = \sqrt{1-c_j} w_j$

Points d'Innovation Technique

1. Rôle de la représentation de Parseval: Dans le cadre du présent article, la représentation de Parseval joue le rôle de la décomposition produit dans le cas du cube : le volume est représenté comme l'intégrale d'un produit de facteurs univariés, mais les exposants et le préfacteur reflètent les données géométriques de la décomposition de John plutôt que l'indépendance des coordonnées
2. Réduction de Brascamp-Lieb: Une fois la représentation de Parseval en place, la réduction de Brascamp-Lieb convertit l'intégrale multidimensionnelle en produit d'intégrales unidimensionnelles, avec des exposants déterminés par les normes euclidiennes des projections vectorielles
3. Représentation duale: Le volume d'un polyèdre symétrique admet deux représentations équivalentes : l'intégrale du produit des fonctions indicatrices et l'intégrale des transformées de Fourier (sur le sous-espace complémentaire)

Résultats Principaux

Cas Centralement Symétrique (Théorème 6)

Pour $k \geq n/2$:

• Si $\tilde{c}_j \geq \frac{1}{2}$ pour tous les $j$, alors: $\text{vol}_k(L \cap H) \leq 2^{\frac{m_0+k}{2}} \prod_{j=1}^{m_0} c_j^{\frac{\tilde{c}_j}{2t_j^2}}$
• Sinon: $\text{vol}_k(L \cap H) \leq 2^{\frac{n-k}{2}} \text{vol}_k(B_\infty^k)$

Construction de Contre-exemples (Théorème 5)

Il existe des $k$ arbitrairement grands tels que pour chaque $n$ satisfaisant $n/2 \leq k \leq n$, il existe un corps convexe $L$ en position de John tel que: $\text{vol}_k(L \cap \mathbb{R}^k) = \binom{n}{k}^{\frac{k}{2}} \text{vol}_k(B_\infty^k)$

Boules $\ell_p$ Généralisées (Théorèmes 16 et 23)

Pour la norme $\ell_p$ généralisée $\|x\|_{K_p} = \left(\sum_{j=1}^m \alpha_j |\langle x, v_j \rangle|^p\right)^{\frac{1}{p}}$ induite par une décomposition de John:

Borne supérieure pour le cas $p=1$: $\text{vol}_k(K_1 \cap H) \leq \text{vol}_k(B_1^k) \prod_{j=1}^m \left(\frac{\sqrt{c_j}}{\alpha_j}\right)^{c_j\|P_H v_j\|_2^2}$

Cas général $p \in [1,2]$: $\text{vol}_k(K_p \cap H) \leq \prod_{j \in J} \left(\frac{\sqrt{c_j}}{\alpha_j^{1/p}}\right)^{\tilde{c}_j} \text{vol}_k(B_p^k)$

Cas Non-symétrique (Théorème 26)

Pour un corps convexe $K$ en position de John et $a \in S^{n-1}$, si $\kappa_j \geq 1/2$ pour tous les $j \in J$: $\text{vol}_{n-1}(K \cap a^⊥) \leq \frac{1}{\sqrt{2}} \sqrt{\frac{n+1}{n}} \left(\frac{n+1}{n-1}\right)^{\frac{n-1}{2}} \text{vol}_{n-1}(S^{n-1})$

Détails Techniques

Application de la Fonctionnelle de Wills

Les auteurs étudient également la fonctionnelle de Wills des sections de corps convexes en position de John: $W(\lambda(K \cap H)) = \sum_{i=0}^k V_i(\lambda(K \cap H)) = \sum_{i=0}^k \lambda^i V_i(K \cap H)$

Par les relations entre la fonctionnelle de Wills, le volume et la largeur moyenne:

• $\text{vol}_k(K \cap H) = \lim_{\lambda \to \infty} \frac{W(\lambda(K \cap H))}{\lambda^k}$
• $V_1(K \cap H) = \lim_{\lambda \to 0^+} \frac{W(\lambda(K \cap H)) - 1}{\lambda}$

Techniques d'Analyse de Fourier

Pour la fonction $f(x) = e^{-|x|^p}$, sa transformée de Fourier $\gamma_p(y) = \int_\mathbb{R} e^{ixy} e^{-|x|^p} dx$ satisfait l'estimation clé (Lemme 24): $\int_\mathbb{R} \gamma_p\left(\frac{t}{\sqrt{s}}\right)^s dt \leq 2\pi \left(2\Gamma\left(1 + \frac{1}{p}\right)\right)^{s-1}$

Travaux Connexes

1. Travaux fondateurs de Ball: Utilisation de l'inégalité géométrique de Brascamp-Lieb et des techniques d'analyse de Fourier pour l'étude des sections de cubes
2. Meyer-Pajor et Koldobsky: Établissement des estimations classiques pour les sections de boules $\ell_p^n$
3. Travaux antérieurs de AB: Étude systématique des sections de corps convexes en position de John, que le présent article complète et généralise
4. Théorème de John: Fournit une normalisation canonique des corps convexes, fondement du cadre technique du présent article

Conclusions et Discussion

Conclusions Principales

1. Succès du contournement de la dépendance de la méthode de Ball à la structure produit, fournissant une méthode systématique d'estimation du volume des sections pour les corps convexes généraux en position de John
2. Établissement de bornes optimales pour les cas symétriques et non-symétriques, avec identification de nouveaux phénomènes de seuil
3. Généralisation des résultats classiques des boules $\ell_p$ à une famille plus large de normes, fournissant des estimations plus sensibles à la structure géométrique

Limitations

1. Certaines estimations nécessitent des conditions spécifiques sur les longueurs de projection (comme $\tilde{c}_j \geq 1/2$)
2. Pour le cas général $p > 1$, l'impossibilité de calculer explicitement $\gamma_p$ empêche la fourniture de bornes intermédiaires similaires au cas $p=1$
3. Les techniques méthodologiques s'appliquent principalement aux espaces euclidiens de dimension finie

Directions Futures

1. Exploration d'applications à des corps géométriques plus généraux
2. Étude du comportement asymptotique en haute dimension
3. Développement de techniques d'inégalités géométriques plus raffinées

Évaluation Approfondie

Points Forts

1. Innovation méthodologique forte: Combinaison ingénieuse des identités de Parseval et de l'inégalité de Brascamp-Lieb, dépassant les limitations des méthodes traditionnelles
2. Complétude des résultats: Couverture des cas symétriques et non-symétriques, fournissant un cadre théorique systématique
3. Profondeur technique: Implication de techniques approfondies en analyse de Fourier, géométrie convexe et analyse fonctionnelle
4. Valeur pratique: Généralisation de résultats classiques importants, fournissant de nouveaux outils pour la recherche connexe

Insuffisances

1. Complexité technique: Les méthodes impliquent plusieurs techniques hautement spécialisées, pouvant limiter leur champ d'application
2. Restrictions de conditions: Certains résultats nécessitent des conditions géométriques spécifiques, avec une applicabilité quelque peu limitée
3. Complexité computationnelle: La complexité computationnelle dans les applications pratiques peut être considérable

Influence

1. Contribution théorique: Fourniture de techniques nouvelles et de résultats profonds au domaine de la géométrie convexe
2. Impact méthodologique: La méthode combinée Parseval-Brascamp-Lieb peut inspirer la recherche sur d'autres problèmes connexes
3. Perspectives d'application: Valeur d'application potentielle en analyse de données haute dimension, théorie de l'optimisation, etc.

Domaines d'Application

1. Recherche théorique en géométrie convexe et géométrie intégrale
2. Probabilités haute dimension et géométrie aléatoire
3. Théorie des inégalités en analyse fonctionnelle
4. Tomographie géométrique et problèmes inverses

Références

L'article cite les publications importantes du domaine, notamment:

• Les travaux classiques de Ball sur les sections de cubes
• La forme géométrique de l'inégalité de Brascamp-Lieb
• Le théorème de John et les fondations de la théorie des corps convexes
• Les résultats classiques de Meyer-Pajor, Koldobsky et autres concernant les boules $\ell_p$