Extending quasiconvex functions from uniformly convex sets

Cet article démontre que, contrairement aux fonctions convexes, l'extension lipschitzienne de fonctions quasiconvexes lipschitziennes définies sur un ensemble convexe fermé $C$ d'un espace normé de dimension finie n'est généralement pas possible, sauf dans des cas triviaux, tandis que l'existence d'extensions continues ou uniformément continues est caractérisée par des propriétés géométriques spécifiques de $C$.

L'essentiel

🍕 Le Défi du Pâtissier : Étendre une Recette Quasiconvexe

Imaginez que vous êtes un pâtissier (un mathématicien) qui travaille dans une cuisine spécifique, appelée C. Cette cuisine a une forme particulière : elle est convexe.

• Qu'est-ce qu'une forme convexe ? Imaginez un gâteau rond ou un triangle. Si vous prenez deux points à l'intérieur du gâteau et que vous tracez une ligne droite entre eux, toute la ligne reste à l'intérieur du gâteau. C'est ça, la convexité.

Maintenant, vous avez une recette spéciale, une fonction f, qui vous dit comment décorer votre gâteau. Cette recette a une propriété magique appelée quasiconvexité.

• L'analogie de la quasiconvexité : Imaginez que vous regardez votre gâteau de haut. Si vous tracez une ligne de niveau (par exemple, "tous les endroits où le gâteau a moins de 200 calories"), cette zone forme toujours une forme ronde ou triangulaire, jamais une forme bizarre en "C" ou en "H". C'est une généralisation de la convexité classique.

Le problème du jour :
Vous avez fini de décorer votre gâteau dans la cuisine C, mais vous voulez maintenant étendre cette recette à toute la grande salle de réception, appelée X (l'espace entier).

• La question : Peut-on continuer la recette à l'extérieur de la cuisine, dans toute la salle, tout en gardant la même "magie" (la quasiconvexité) et sans que la recette ne devienne trop compliquée (sans perdre la régularité, comme la continuité ou la vitesse de changement) ?

🚫 Le Choc : Ce qui marche pour les gâteaux ronds ne marche pas pour les quasiconvexes

Dans le monde des mathématiques classiques (les fonctions convexes), il existe une règle d'or (le théorème de McShane) : si vous avez une recette convexe dans une petite zone, vous pouvez toujours l'étendre à tout l'univers sans problème, en gardant la même régularité. C'est comme si vous pouviez toujours étirer une pâte à pizza sans la déchirer.

Mais ici, les auteurs (De Bernardi et Veselý) découvrent une surprise :
Pour les fonctions quasiconvexes, c'est beaucoup plus difficile !

• Le résultat principal : Contrairement aux fonctions convexes, on ne peut pas toujours étendre une recette quasiconvexe de manière "lisse" (Lipschitzienne, c'est-à-dire sans sauts brusques) à tout l'espace.
• L'analogie : Imaginez que votre recette quasiconvexe est comme un fil de fer très tendu à l'intérieur de votre cuisine. Si vous essayez de le prolonger à l'extérieur, il risque de se briser ou de former un nœud impossible, sauf si votre cuisine a une forme très spécifique.

🔍 Les Conditions Magiques : La forme de la cuisine compte

Les auteurs ont passé des années à analyser la forme de la cuisine C pour savoir quand l'extension est possible. Voici leurs découvertes, expliquées simplement :

1. Le piège des coins et des bords plats (Non-rotundité)

Si votre cuisine C a des coins plats ou des bords droits (comme un carré ou un rectangle), c'est le désastre.

• L'analogie : Imaginez un gâteau carré. Si vous essayez d'étendre votre recette au-delà des bords plats, la recette va "s'effondrer" ou devenir discontinue.
• Le résultat : Si la cuisine n'est pas "ronde" (strictement convexe), vous ne pouvez pas garantir une extension continue. Il faut que la cuisine soit "ronde" partout, sans bords plats.

2. Le piège de l'infini (Directions asymptotiques)

Si votre cuisine est infinie (comme un couloir qui s'étend à l'infini ou un cône qui s'ouvre vers l'infini), c'est aussi problématique.

• L'analogie : Imaginez un couloir infini. Si vous essayez de continuer votre recette vers l'infini, les règles de la quasiconvexité vont se briser à l'horizon.
• Le résultat : Pour étendre la recette, la cuisine ne doit pas avoir de "directions asymptotiques". En termes simples, elle ne doit pas s'étirer à l'infini comme un couloir. Elle doit être "fermée" sur elle-même ou avoir une forme qui se referme.

3. La solution idéale : La cuisine ronde et finie

Les auteurs montrent que si votre cuisine C est :

1. Ronde (pas de bords plats, strictement convexe).
2. Finie (elle ne s'étend pas à l'infini, comme un ballon).
   ... alors vous pouvez étendre la recette !

• L'analogie : C'est comme si votre cuisine était une bulle de savon parfaite et finie. Vous pouvez étirer la membrane de la recette à l'extérieur de la bulle sans qu'elle ne se déchire.

🧩 Résumé des découvertes (Le "Menu" des résultats)

Les auteurs ont classé les situations en fonction de la qualité de l'extension souhaitée :

• Extension "Super Lisse" (Lipschitz) : C'est presque impossible sauf dans des cas triviaux (comme si la cuisine est une simple ligne). Même si la cuisine est ronde, si elle est infinie, ça ne marche pas.
• Extension "Lisse" (Continue) : Ça marche si et seulement si la cuisine est ronde ET finie (pas de directions infinies).
• Extension "Moins Lisse" (Semi-continue) : Ça marche si la cuisine est finie (pas de directions infinies), même si elle a des coins ! Mais attention, si la cuisine est un rectangle (avec des coins), on ne peut pas garantir que l'extension reste "semi-continue" partout.

💡 La Conclusion en une phrase

Ce papier nous dit que pour étendre une recette mathématique spéciale (quasiconvexe) d'une zone à tout l'espace, la forme de la zone est cruciale.

• Si la zone a des coins plats ou s'étend à l'infini, la recette va probablement se briser.
• Si la zone est ronde et finie, tout se passe bien.

C'est une leçon de géométrie : la forme de votre "cuisine" détermine si vous pouvez étendre votre "recette" sans catastrophe. Les mathématiciens ont prouvé que, contrairement à ce qu'on pensait pour les fonctions classiques, la quasiconvexité est très fragile et exige des conditions géométriques très strictes pour survivre à l'expansion.

Résumé technique

Voici un résumé technique détaillé de l'article « Extendability of Quasiconvex Functions in Finite-Dimensional Normed Spaces » par Carlo Alberto De Bernardi et Libor Veselý.

1. Problématique et Contexte

L'article s'intéresse au problème d'extension des fonctions quasiconvexes (QC) définies sur un sous-ensemble convexe $C$ d'un espace normé de dimension finie $X$ ($\dim X \ge 2$) vers l'espace entier $X$.

• Contexte classique : Pour les fonctions convexes, le théorème d'extension de McShane (ou sa version convexe) garantit qu'une fonction convexe $L$-lipschitzienne définie sur un ensemble convexe $C$ peut toujours être étendue en une fonction convexe $L$-lipschitzienne sur tout l'espace $X$.
• Problème central : Les auteurs cherchent à savoir si un résultat analogue existe pour les fonctions quasiconvexes. Une fonction est quasiconvexe si tous ses sous-niveaux stricts (ou non stricts) sont des ensembles convexes.
• Hypothèse de travail : $C$ est un « corps convexe » (ensemble convexe fermé, propre, à intérieur non vide). Les auteurs étudient la préservation de différentes propriétés de régularité lors de l'extension : Lipschitzienne, uniformément continue, continue, ou simplement semi-continue supérieurement (SCS).

2. Méthodologie

La recherche combine l'analyse géométrique des ensembles convexes et la théorie de l'optimisation. La méthodologie repose sur deux axes principaux :

1. Construction de contre-exemples (Non-extension) :

   • Pour démontrer l'impossibilité d'extension dans certains cas, les auteurs construisent des fonctions QC spécifiques sur des ensembles $C$ possédant des propriétés géométriques défavorables (non-rotundité, présence de directions asymptotiques, non-bornitude).
   • Ces constructions utilisent des séquences de sous-niveaux qui « s'écrasent » ou divergent de manière à ce qu'une extension QC sur $X$ violerait nécessairement la continuité ou la propriété de Lipschitz.
   • Des outils clés incluent le théorème de Hahn-Banach, les cônes asymptotiques, et l'analyse des directions de récurrence.

2. Méthode d'extension constructive (Extension positive) :

   • Pour les cas où l'extension est possible, les auteurs utilisent une méthode basée sur les cônes de support et une opération d'« extension d'ensemble » notée $e(B)$.
   • Pour un sous-ensemble convexe fermé $B \subset C$, $e(B)$ est défini comme l'intersection des demi-espaces fermés contenant $B$ et délimités par les hyperplans de support de $C$ aux points de la frontière relative de $B$.
   • L'extension de la fonction est ensuite définie par une formule de type « enveloppe supérieure » basée sur ces ensembles étendus : $F(x) = \sup \{ \alpha \in \mathbb{R} : x \notin \text{int}(e(B_\alpha)) \}$, où $B_\alpha$ sont les sous-niveaux de la fonction originale.

3. Résultats Principaux

Les résultats sont divisés en négatifs (obstructions) et positifs (caractérisations géométriques).

A. Résultats Négatifs (Impossibilité d'extension)

Les auteurs démontrent que, contrairement au cas convexe, l'extension n'est pas garantie en général, même pour des fonctions Lipschitziennes.

• Théorème 3.1 & 5.3 : Si $C$ admet une direction asymptotique (un vecteur $v$ tel que $C$ s'étend indéfiniment dans cette direction sans intersecter l'intérieur d'une certaine droite), il existe une fonction QC Lipschitzienne sur $C$ qui n'admet aucune extension QC (même discontinue) sur $X$.
• Théorème 3.2 : Si $C$ n'est pas rotund (c'est-à-dire si sa frontière contient un segment de droite non trivial), il existe une fonction QC Lipschitzienne sur $C$ qui n'admet aucune extension QC continue sur $X$.
• Théorème 4.1 : Même si $C$ est rotund, s'il est non borné et ne possède pas de directions asymptotiques, il existe une fonction QC Lipschitzienne qui n'admet aucune extension QC uniformément continue sur $X$. Cela montre que la bornitude est cruciale pour la préservation de l'uniforme continuité.

B. Résultats Positifs et Caractérisations Géométriques

Dans le cas de dimension finie, les auteurs établissent des équivalences exactes entre les propriétés géométriques de $C$ et la possibilité d'extension.

Soit $C$ un corps convexe fermé, de dimension $\ge 2$, non affine.

1. Extension Uniformément Continue :

   • Théorème 9.5 : « Toute fonction QC uniformément continue sur $C$ admet une extension QC uniformément continue sur $X$ » si et seulement si $C$ est borné et relativement rotund.
   • Note : Cela implique que la propriété de Lipschitz ne peut pas être préservée en général (contrairement aux fonctions convexes), mais l'uniforme continuité l'est si $C$ est bien « rond » et borné.

2. Extension Continue :

   • Théorème 9.6 : « Toute fonction QC continue sur $C$ admet une extension QC continue sur $X$ » si et seulement si $C$ est rotund et ne possède pas de directions asymptotiques.
   • Ici, la bornitude n'est pas requise, mais l'absence de directions asymptotiques (qui assurent une certaine « compacité » directionnelle) et la rotundité sont essentielles.

3. Extension Semi-Continue Supérieurement (SCS) :

   • Théorème 9.7 : « Toute fonction QC continue (ou Lipschitzienne) sur $C$ admet une extension QC SCS sur $X$ » si et seulement si $C$ ne possède pas de directions asymptotiques.
   • C'est le résultat le plus faible en termes de régularité de l'extension, mais le plus large en termes de conditions sur $C$.

4. Contributions Clés

1. Rupture avec le cas convexe : L'article démontre de manière définitive que le théorème d'extension de McShane pour les fonctions convexes ne s'étend pas aux fonctions quasiconvexes. La géométrie de l'ensemble de définition $C$ devient un facteur déterminant, alors qu'elle l'est moins pour les fonctions convexes (où l'extension Lipschitzienne est toujours possible).
2. Classification Fine : Les auteurs fournissent une classification complète (dans le cas de dimension finie) reliant les propriétés de régularité de l'extension (Lipschitz, Uniforme, Continue, SCS) à des propriétés géométriques précises de l'ensemble $C$ (Bornitude, Rotundité, Absence de directions asymptotiques).
3. Nouvelles Techniques d'Extension : La méthode d'extension utilisant les cônes $K(x, C)$ et l'opérateur $e(B)$ pour les ensembles non bornés est une contribution technique significative, permettant de traiter des cas qui échappaient aux méthodes précédentes.

5. Signification et Impact

Ce travail est fondamental pour l'analyse convexe et l'optimisation :

• Théorique : Il clarifie les limites de la généralisation des propriétés des fonctions convexes aux fonctions quasiconvexes, un sujet central en analyse non linéaire.
• Pratique : En optimisation mathématique et en économie mathématique, où les fonctions de coût ou d'utilité sont souvent quasiconvexes, ces résultats indiquent quand il est possible de modéliser un problème sur un domaine restreint $C$ et d'étendre la fonction à tout l'espace sans perdre la régularité nécessaire pour l'analyse ou les algorithmes de résolution.
• Géométrie : Il met en lumière l'importance cruciale des directions asymptotiques et de la rotundité dans la théorie des fonctions quasiconvexes, des concepts qui étaient moins centraux dans le cadre strictement convexe pour les problèmes d'extension.

En résumé, l'article établit que l'extension des fonctions quasiconvexes est un problème géométrique : la possibilité d'extension dépend entièrement de la forme de l'ensemble de définition, contrairement au cas convexe où l'extension est toujours possible.