Estimations de type Whitney pour les fonctions convexes

Informations fondamentales

• ID de l'article: 2311.00912
• Titre: Whitney-type estimates for convex functions
• Auteurs: Jaskaran Singh Kaire, Andriy Prymak (Université du Manitoba)
• Classification: math.CA cs.NA math.NA
• Date de publication: Novembre 2023 (prépublication arXiv, version la plus récente août 2025)
• Lien de l'article: https://arxiv.org/abs/2311.00912

Résumé

Cet article étudie les estimations de type Whitney pour l'approximation de fonctions convexes en norme uniforme sur diverses régions convexes multivariées, en accordant une attention particulière à la dépendance des constantes pertinentes vis-à-vis de la dimension et de la géométrie du domaine.

Contexte et motivation de la recherche

Problème de recherche

Cet article examine l'application des inégalités de type Whitney à l'approximation de fonctions convexes. Les inégalités de Whitney classiques établissent une relation entre l'erreur d'approximation d'une fonction et son module de lissité, mais la théorie existante pour cette catégorie spéciale de fonctions convexes reste incomplète.

Importance

1. Signification théorique: Les estimations de type Whitney sont des outils fondamentaux en théorie de l'approximation, utilisés pour construire des approximations polynomiales par morceaux et borner les erreurs d'approximation locales
2. Applications pratiques: Lors du traitement de données de haute dimension en science des données, il est crucial de comprendre la dépendance des constantes vis-à-vis de la dimension
3. Perspectives géométriques: Étudier comment la forme géométrique du domaine affecte les propriétés d'approximation

Limitations des méthodes existantes

1. Les constantes de Whitney pour les fonctions générales croissent rapidement avec la dimension
2. L'exploitation insuffisante des propriétés spéciales des fonctions convexes
3. L'incompletude de la théorie de l'approximation préservant la forme (exigeant que les polynômes d'approximation soient également convexes)

Motivation de la recherche

En exploitant les contraintes de convexité, on espère obtenir de meilleurs taux d'approximation et des constantes de Whitney plus petites, particulièrement en dimension élevée.

Contributions principales

1. Établissement du comportement asymptotique précis des constantes de Whitney pour les fonctions convexes: Preuve que $\lim_{n→∞} \frac{\widehat{w}_{2,n}}{\log_2 n} = \frac{1}{4}$, moitié moins que $\frac{1}{2}$ pour les fonctions générales
2. Résultats précis sur les domaines centralement symétriques: Pour tout domaine convexe centralement symétrique $K$, on a $\widehat{w}_2(K) = \frac{1}{2}$
3. Preuve de l'équivalence dans le cas d'ordre supérieur: Lorsque $m ≥ 3$, $\widehat{w}_m(K) = w_m(K)$
4. Établissement du cadre théorique de l'approximation préservant la convexité: Fourniture de bornes supérieures pour les constantes d'approximation préservant la convexité, dépendant de la distance de Banach-Mazur du domaine
5. Fourniture de résultats négatifs pour l'approximation préservant la convexité: Preuve que pour $m ≥ 4$, les constantes de Whitney préservant la convexité sont infinies

Explication détaillée des méthodes

Définition de la tâche

Soit $K \subset \mathbb{R}^n$ un corps convexe. On définit trois classes de constantes de Whitney:

• Constante de Whitney générale: $w_m(K) := \sup\{E_{m-1}(f;K) : f \in C(K), \omega_m(f;K) \leq 1\}$
• Constante de Whitney pour fonctions convexes: $\widehat{w}_m(K) := \sup\{E_{m-1}(f;K) : f \in \widehat{C}(K), \omega_m(f;K) \leq 1\}$
• Constante de Whitney préservant la convexité: $\widehat{\widehat{w}}_m(K) := \sup\{\widehat{E}_{m-1}(f;K) : f \in \widehat{C}(K), \omega_m(f;K) \leq 1\}$

où $E_m(f;K)$ désigne l'erreur d'approximation polynomiale de degré $m$ et $\omega_m(f;K)$ désigne le module de lissité d'ordre $m$.

Résultats théoriques fondamentaux

1. Cas d'approximation linéaire (m=2)

Théorème 1.2: $\frac{1}{4}\log_2(n+1) \leq \widehat{w}_{2,n} \leq \frac{1}{4}[\log_2 n] + \frac{3}{4}$

Théorème 1.3: Pour tout domaine convexe centralement symétrique $K$, on a $\widehat{w}_2(K) = \frac{1}{2}$

2. Cas d'approximation d'ordre supérieur (m≥3)

Théorème 1.4: Pour tout $K \in \mathcal{K}_n$ et $m ≥ 3$, on a $\widehat{w}_m(K) = w_m(K)$

3. Approximation préservant la convexité

Théorème 1.5: Pour tout $K \in \mathcal{K}_n$ et $m ≥ 4$, on a $\widehat{\widehat{w}}_m(K) = ∞$

Théorème 1.6: Pour toute fonction convexe $f$ et tout polynôme quadratique $P$, il existe un polynôme quadratique convexe $Q$ tel que $\|f-Q\|_K \leq a(K)\|f-P\|_K$ où $a(K) = 2(d(K))^2$, et $d(K)$ est la distance de Banach-Mazur entre $K$ et la boule unité.

Points d'innovation technique

1. Utilisation des hyperplans d'appui: Pour les domaines centralement symétriques, exploitation de la propriété selon laquelle les fonctions convexes possèdent un hyperplan d'appui au centre de symétrie
2. Technique de convexification: Transformation de fonctions lisses en fonctions convexes par l'ajout de termes quadratiques appropriés
3. Analyse géométrique: Liaison des problèmes d'approximation aux propriétés géométriques du domaine (distance de Banach-Mazur)

Principaux schémas de preuve

Preuve du Théorème 1.2

• Borne supérieure: Utilisation de la technique récursive de Brudnyi-Kalton et de l'inégalité de Jensen pour les fonctions convexes
• Borne inférieure: Construction de la fonction convexe spéciale $f_n(x) = \frac{1}{2}\sum_{k=1}^{n+1} x_k \log_2 x_k$ sur le simplexe standard

Preuve du Théorème 1.3

• Borne supérieure: Utilisation de la propriété d'appui des fonctions convexes à l'origine, réduction du problème à l'approximation de fonctions convexes non-négatives
• Borne inférieure: Construction de la fonction convexe unidimensionnelle $g_δ(x_1) = \max\{0, \frac{x_1-1+δ}{δ}\}$

Preuve du Théorème 1.4

L'idée centrale est la "convexification": pour toute fonction lisse $g$, on ajoute un terme quadratique suffisamment grand $L\|x\|^2$ pour la rendre convexe, tout en préservant les propriétés d'approximation d'ordre supérieur.

Résultats expérimentaux

Vérification des résultats théoriques

Cet article est principalement un travail théorique, vérifié par la construction d'exemples de fonctions spécifiques pour démontrer la finesse des bornes théoriques:

1. Proposition 1.8: Construction de la fonction convexe spécifique $f(x,y) = 2\max\{1-y, |x|\}$, preuve que l'ensemble des meilleurs polynômes quadratiques d'approximation peut contenir des polynômes non-convexes

Exemples numériques

• Sur $[−1,1] × [0,1]$, pour la fonction $f(x,y) = 2\max\{1-y, |x|\}$, l'erreur de meilleure approximation quadratique est $\frac{1}{2}$
• Meilleur polynôme d'approximation non-convexe: $P(x,y) = \frac{3}{2} + x^2 - y^2$
• Meilleur polynôme d'approximation convexe: $Q(x,y) = \frac{3}{2} + x^2 + y^2 - 2y$

Travaux connexes

Théorie classique de Whitney

• Whitney (1957): Établissement des inégalités fondamentales dans le cas unidimensionnel
• Gilewicz, Kryakin, Shevchuk: Obtention des meilleures bornes supérieures connues pour les constantes de Whitney $w(m) ≤ 2 + e^{-2}$

Généralisations multivariées

• Brudnyi-Kalton (2000): Étude systématique des constantes de Whitney multivariées, établissement de la dépendance dimensionnelle
• Dekel-Leviatan: Preuve que les constantes de Whitney ne dépendent pas de la géométrie spécifique du domaine convexe
• Dai-Prymak: Étude des inégalités de Whitney directionnelles sur les domaines non-convexes

Approximation préservant la forme

• Shvedov: Contributions importantes à l'approximation polynomiale multivariée préservant la convexité
• La théorie de l'approximation préservant la forme unidimensionnelle est relativement complète, mais les cas multivariés ont été moins étudiés

Conclusions et discussion

Conclusions principales

1. Réduction de moitié de l'effet dimensionnel: La croissance des constantes de Whitney pour les fonctions convexes avec la dimension est moitié moins rapide que pour les fonctions générales
2. Rôle important de la symétrie: Sur les domaines centralement symétriques, la constante de Whitney pour les fonctions convexes est la constante $\frac{1}{2}$
3. Équivalence d'ordre supérieur: Pour l'approximation de degré trois et supérieur, la contrainte de convexité ne fournit pas d'avantage supplémentaire
4. Difficulté de l'approximation préservant la convexité: Pour l'approximation de degré quatre et supérieur, les constantes de Whitney préservant la convexité sont infinies

Limitations

1. Approximation quadratique préservant la convexité: Seules des bornes supérieures dépendant de la distance de Banach-Mazur sont fournies, qui pourraient ne pas être optimales
2. Constructivité: Les résultats théoriques sont principalement des résultats d'existence, manquant d'algorithmes de construction explicites
3. Complexité computationnelle: La complexité du calcul pratique des constantes de Whitney n'a pas été discutée

Directions futures

1. Problèmes ouverts: Peut-on toujours choisir un meilleur polynôme quadratique d'approximation qui soit convexe?
2. Développement d'algorithmes: Conception d'algorithmes efficaces pour le calcul de l'approximation préservant la convexité
3. Extension des applications: Application des résultats théoriques aux problèmes d'optimisation convexe en apprentissage automatique

Évaluation approfondie

Avantages

1. Profondeur théorique: Établissement d'un cadre théorique complet pour les estimations de Whitney pour les fonctions convexes
2. Innovation technique: Combinaison ingénieuse de l'analyse convexe, de la théorie de l'approximation et de l'analyse géométrique
3. Résultats précis: Fourniture de bornes asymptotiquement précises, particulièrement des valeurs exactes dans le cas centralement symétrique
4. Systématicité: Étude complète de différents degrés d'approximation et conditions de contrainte

Insuffisances

1. Utilité pratique limitée: Les résultats sont principalement théoriques, manquant de considérations pour les applications pratiques
2. Aspects computationnels: Absence de méthodes efficaces pour le calcul des constantes de Whitney
3. Cas particuliers: Certains résultats (comme le Théorème 1.6) pourraient avoir des constantes non-optimales

Impact

1. Contribution théorique: Fourniture d'une nouvelle perspective à la théorie de l'approximation, particulièrement en dimension élevée
2. Valeur méthodologique: Démonstration de comment exploiter les propriétés spéciales des fonctions pour améliorer les estimations générales
3. Recherche future: Établissement de fondations pour la théorie de l'approximation préservant la convexité et de l'approximation en haute dimension

Domaines d'application

1. Recherche théorique: Recherche interdisciplinaire en théorie de l'approximation, analyse harmonique et analyse convexe
2. Analyse numérique: Approximation polynomiale de données de haute dimension
3. Théorie de l'optimisation: Problèmes d'approximation de fonctions en optimisation convexe

Références

Cet article s'appuie principalement sur les références clés suivantes:

1. Brudnyi, Y.A. and Kalton, N.J. (2000): Étude systématique des constantes de Whitney multivariées
2. Whitney, H. (1957): Inégalités classiques de Whitney unidimensionnelles
3. Shvedov, A.S. (1981): Travaux fondateurs sur l'approximation polynomiale préservant la convexité
4. DeVore, R.A. and Lorentz, G.G. (1993): Manuel standard de la théorie de l'approximation constructive

Cet article apporte des contributions théoriques importantes au domaine de la théorie de l'approximation, particulièrement dans la compréhension de la manière dont les contraintes de convexité améliorent les estimations d'approximation. Bien qu'il s'agisse principalement d'un travail théorique, il établit une base mathématique solide pour les recherches d'application futures.