Les problèmes de Turán et Delsarte et leurs duaux

Informations fondamentales

• ID de l'article: 2510.10172
• Titre: Les problèmes de Turán et Delsarte et leurs duaux
• Auteurs: Mihail N. Kolountzakis, Nir Lev, Máté Matolcsi
• Classification: math.CA (Analyse classique), math.MG (Géométrie métrique)
• Date de publication: 11 octobre 2025
• Lien de l'article: https://arxiv.org/abs/2510.10172v1

Résumé

Cet article étudie deux problèmes d'optimisation de fonctions définies positives sur l'espace euclidien : le problème de Turán et le problème de Delsarte, avec des restrictions sur l'ensemble de support et les signes. Ces problèmes sont largement étudiés en raison de leurs connexions avec les problèmes de pavage (tiling) et d'empilage (packing) en géométrie. Dans le cadre des groupes finis, la dualité linéaire faible et forte de ces problèmes est automatique. Les auteurs démontrent ces propriétés dans le cadre continu, établissent l'existence de fonctions extrémales pour ces problèmes et leurs duaux, et établissent des relations de type pavage entre les fonctions extrémales de chaque problème et les mesures ou distributions extrémales du problème dual. Les résultats sont ensuite appliqués aux corps convexes, démontrant que pour les corps convexes qui ne peuvent pas paver l'espace, la borne de Delsarte pour l'empilage est strictement supérieure à la borne triviale de volume.

Contexte et motivation de la recherche

Importance du problème

1. Problème extrémaux de Turán: Étude du problème de maximisation de l'intégrale de fonctions définies positives avec support restreint, problème classique en analyse harmonique
2. Problème de Delsarte: Applications importantes dans l'estimation de la densité d'empilage de sphères, le problème du nombre de baisers et autres problèmes géométriques
3. Théorie de la dualité: Bien que la dualité soit automatique dans le cadre des groupes finis, elle nécessite une analyse théorique approfondie dans le cadre continu

Limitations des méthodes existantes

• Dans la programmation linéaire infinie, la dualité peut ne pas être valide
• L'existence de fonctions extrémales n'est pas évidente dans le cadre continu
• Absence d'un cadre théorique unifié pour traiter les problèmes de Turán et Delsarte

Motivation de la recherche

Établir un cadre théorique complet pour les problèmes de Turán et Delsarte dans le cadre continu, incluant la dualité linéaire faible et forte, l'existence de fonctions extrémales, et explorer les connexions profondes avec les problèmes de pavage géométrique.

Contributions principales

1. Démonstration de la dualité linéaire forte dans le cadre continu: Sous des conditions géométriques appropriées, les problèmes de Turán et Delsarte satisfont $T(U)T'(U) = 1$ et $D(U)D'(U) = 1$
2. Établissement de l'existence de fonctions extrémales: Démonstration que les problèmes originaux et duaux possèdent des fonctions extrémales
3. Révélation des relations de type pavage entre les fonctions extrémales: Telles que $f \cdot \alpha = \delta_0$ et $\hat{f} \cdot \hat{\alpha} = \delta_0$
4. Application à la théorie des corps convexes: Démonstration que la borne de Delsarte pour les corps convexes qui ne peuvent pas paver l'espace est strictement supérieure à la borne de volume
5. Connexion entre la spectralité, le pavage et les problèmes d'optimisation: Établissement de connexions profondes entre ces concepts

Explication détaillée des méthodes

Définition des tâches

Problème de Turán: Étant donné un ensemble ouvert $U \subset \mathbb{R}^d$, la constante de Turán est définie par $T(U) = \sup\left\{\int f : f(0) = 1, f = 0 \text{ sur } U^c, \hat{f} \geq 0\right\}$

Problème de Delsarte: La constante de Delsarte est définie par $D(U) = \sup\left\{\int f : f(0) = 1, f \leq 0 \text{ sur } U^c, \hat{f} \geq 0\right\}$

Construction des problèmes duaux

Problème dual de Turán: $T'(U) = \sup\{\hat{\alpha}(\{0\}) : \alpha = \delta_0 + \beta, \text{supp}(\beta) \subset U^c, \hat{\alpha} \geq 0\}$

Problème dual de Delsarte: $D'(U) = \sup\{\hat{\alpha}(\{0\}) : \alpha = \delta_0 + \beta, \beta \geq 0, \text{supp}(\beta) \subset U^c, \hat{\alpha} \geq 0\}$

Points d'innovation technique

1. Traitement des conditions aux limites: Introduction du concept de « frontière continue », exigeant une représentation locale comme graphe d'une fonction continue
2. Techniques d'approximation: Utilisation de l'approximation par des fonctions de Schwartz pour traiter le produit de fonctions continues et de distributions tempérées
3. Application du théorème de séparation de Hahn-Banach: Établissement de la dualité dans le cadre infini-dimensionnel
4. Théorie des mesures bornées par translation: Traitement des distributions tempérées dont la transformée de Fourier est une mesure

Résultats théoriques principaux

Dualité linéaire faible

Théorèmes 4.3, 5.3: Pour les ensembles ouverts $U$ satisfaisant les conditions appropriées, on a $T(U)T'(U) \leq 1, \quad D(U)D'(U) \leq 1$

Dualité linéaire forte

Théorèmes 4.7, 5.4: Sous des conditions géométriques plus fortes, l'égalité est vérifiée: $T(U)T'(U) = 1, \quad D(U)D'(U) = 1$

Existence de fonctions extrémales

Théorèmes 4.9, 5.6: Les problèmes originaux et duaux possèdent des fonctions extrémales.

Relations entre les fonctions extrémales

Théorèmes 4.10, 5.8: Si $f$ et $\alpha$ sont respectivement les fonctions extrémales du problème original et du problème dual, alors:

• $\hat{f} \cdot \hat{\alpha} = \delta_0$
• $f \cdot \alpha = \delta_0$ (cas de Delsarte)

Applications géométriques

Estimation de la densité d'empilage

Théorème 6.1: La densité d'empilage par translation de tout ensemble $A$ ne dépasse pas $D(\Delta(A))^{-1}$, où $\Delta(A)$ est l'ensemble de différence essentielle.

Caractérisation du pavage et de la spectralité

Théorèmes 6.2, 6.3:

• Si $A$ peut paver l'espace, alors $D(\Delta(A)) = m(A)$
• Si $A$ est un ensemble spectral, alors $D(\Delta(A)) = m(A)$

Caractérisation complète des corps convexes

Théorème 6.4: Pour un corps convexe $A$, l'égalité $D(\Delta(A)) = m(A)$ est vérifiée si et seulement si $A$ peut paver l'espace.

Corollaire 6.5: La borne de Delsarte pour les corps convexes qui ne peuvent pas paver l'espace est strictement supérieure à la borne de volume.

Détails techniques

Lemmes clés

1. Lemme 4.4: Approximation par des fonctions de Schwartz sous la condition de frontière continue
2. Lemme 4.5: Établissement de la bornitude par translation
3. Lemme 4.6: Relation de convolution $\hat{f} * \hat{\alpha} = 1$ p.p.

Stratégie de preuve

1. Utilisation du théorème de séparation pour établir les conditions nécessaires de dualité
2. Établissement de l'existence par des arguments d'approximation et de compacité
3. Utilisation de l'analyse des conditions d'optimalité pour établir les relations précises entre les fonctions

Travaux connexes

Développement historique

• Le problème de Turán provient de la théorie des séries trigonométriques
• Le problème de Delsarte trouve des applications en théorie du codage et en empilage de sphères
• Théorie complète pour le cas des groupes finis (Matolcsi-Ruzsa 2014)

Relation avec cet article

Cet article généralise avec succès la théorie des groupes finis au cadre continu, résolvant des difficultés techniques de longue date.

Conclusion et discussion

Conclusions principales

1. Établissement d'une théorie de dualité complète pour les problèmes de Turán et Delsarte dans le cadre continu
2. Démonstration de l'existence de fonctions extrémales et de leurs relations de type pavage
3. Obtention d'applications géométriques profondes en théorie des corps convexes

Limitations

1. Nécessité de conditions géométriques relativement fortes (comme la frontière continue)
2. Pour les ensembles ouverts généraux, certains résultats peuvent ne pas être valides
3. Le calcul des valeurs concrètes des constantes reste difficile

Directions futures

1. Recherche d'exemples de domaines non-Turán
2. Généralisation à des groupes abéliens localement compacts plus généraux
3. Exploration des connexions avec d'autres problèmes d'optimisation géométrique

Évaluation approfondie

Avantages

1. Complétude théorique: Établissement d'un cadre théorique de dualité complet dans le cadre continu
2. Innovation technique: Traitement ingénieux des difficultés techniques de la programmation linéaire infinie
3. Perspicacité géométrique: Révélation des connexions profondes entre les problèmes d'optimisation et les propriétés géométriques
4. Valeur applicative: Fourniture de nouveaux outils en théorie de l'empilage

Insuffisances

1. Conditions géométriques: Les conditions géométriques sur les ensembles ouverts sont relativement fortes, limitant le champ d'application
2. Complexité de calcul: Bien qu'un cadre théorique soit établi, le calcul concret reste difficile
3. Problèmes ouverts: Certaines questions importantes (comme l'existence de domaines non-Turán) restent non résolues

Impact

Ceci est un progrès important dans le domaine interdisciplinaire de l'analyse harmonique, de la géométrie convexe et de la théorie de l'optimisation, fournissant des outils théoriques puissants pour les recherches connexes.

Scénarios d'application

1. Analyse théorique de la densité d'empilage de sphères
2. Étude des propriétés géométriques des corps convexes
3. Problèmes extrémaux en analyse harmonique
4. Théorie du codage et géométrie discrète

Références

L'article cite les travaux importants du domaine, notamment:

• Les travaux originaux de Delsarte Del72, DGS77
• Applications de Cohn-Elkies en empilage de sphères CE03
• Résultats révolutionnaires de Viazovska en dimensions 8 et 24 Via17, CKMRV17
• Travaux antérieurs des auteurs sur la conjecture de Fuglede LM22