🔢 mathematics

Constructing Discontinuous but Locally Bounded Rational Functions using \L ojasiewicz Inequalities

Cet article démontre que pour des polynômes multivariés réels $P$ et $Q$ s'annulant en un point où l'ensemble nul de $Q$ est inclus dans celui de $P$ , il existe une fonction rationnelle localement bornée de la forme $P^p/Q^q$ dont l'extension continue sur l'ensemble nul de $Q$ est nécessairement discontinue, un résultat établi en utilisant les inégalités de Lojasiewicz.

Auteurs originaux : Adam Coffman, Yifei Pan

Publié 2026-06-02

📖 6 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Adam Coffman, Yifei Pan

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

Imaginez que vous essayez de traverser une rivière. Habituellement, si vous avez un pont (une fonction mathématique), vous pouvez le traverser en marchant de manière fluide. Mais parfois, le pont présente un trou pile au milieu. Si vous essayez de marcher sur le trou, vous pourriez tomber, ou le chemin pourrait devenir si escarpé que vous ne pouvez pas l'escalader.

Dans le monde des mathématiques, plus précisément avec les fonctions rationnelles (qui sont simplement des fractions composées de polynômes, comme $\frac{x^2}{y}$ ), les mathématiciens chercheent souvent des « trous » où le dénominateur (le nombre du bas) devient zéro. Habituellement, si le numérateur (le nombre du haut) est aussi zéro à cet endroit, nous pourrions peut-être colmater le trou et traverser de manière fluide.

Ce document, par Adam Coffman et Yifei Pan, traite de la recherche d'un type de trou très spécifique et complexe. Ils cherchent des ponts qui sont sûrs pour la marche (bornés) mais impossibles à traverser de manière fluide (discontinus).

Voici la décomposition de leur découverte en utilisant des analogies simples :

1. Le pont « Sûr mais Bosselé »

Imaginez un pont qui est parfaitement plat et sûr pour se tenir debout, mais si vous essayez de marcher vers un point spécifique au milieu, le sol change soudainement. Vous pouvez vous approcher infiniment du centre, et vous ne tomberez jamais du bord (la fonction est bornée), mais vous ne pourrez jamais poser le pied sur le point central sans que le sol ne saute vers le haut ou vers le bas (la fonction est discontinue).

L'exemple classique : Pensez à la fonction $f(x,y) = \frac{xy}{x^2+y^2}$ . Si vous marchez vers le centre (0,0) en ligne droite, vous pourriez arriver à une hauteur de 0,5. Mais si vous marchez sur une autre ligne droite, vous arrivez à 0. Si vous marchez sur une courbe, vous pourriez arriver à 1. Le pont est « sûr » (il ne va jamais vers l'infini), mais c'est un désordre car la hauteur dépend entièrement de votre direction.

2. La Grande Question

Les auteurs demandent : Pouvons-nous toujours construire un pont comme celui-ci ?
Ils partent de deux formes (polynômes), appelons-les $P$ (le numérateur) et $Q$ (le dénominateur). Les deux formes touchent le sol (sont égales à zéro) en un point spécifique. Ils savent que le « trou » dans $Q$ est complètement à l'intérieur du « trou » dans $P$ .

Ils veulent savoir : Existe-t-il toujours un moyen d'ajuster les puissances de ces formes pour que la fraction résultante soit sûre (bornée) mais toujours bosselée (discontinue) ?

3. L'Outil Magique : L'« Inégalité de Lojasiewicz »

Pour répondre à cela, les auteurs utilisent un outil mathématique puissant appelé l'Inégalité de Lojasiewicz.

Considérez cette inégalité comme un panneau de limitation de vitesse pour la rapidité avec laquelle une forme peut rétrécir par rapport à une autre.

Imaginez que $P$ et $Q$ sont deux ballons se dégonflant à mesure que vous approchez du centre.
L'inégalité nous indique que $P$ ne peut pas se dégonfler trop vite par rapport à $Q$ sans briser les règles de la géométrie.
Il existe un « ratio » ou un « exposant » spécifique (comme un réglage d'engrenage) où $P$ rétrécit juste assez pour empêcher la fraction d'exploser (bornée), mais pas tout à fait assez pour lisser les bosses (discontinue).

4. La Découverte Principale

Le papier prouve que oui, ce pont complexe existe toujours.

Peu importe les deux formes ( $P$ et $Q$ ) avec lesquelles vous commencez (tant qu'elles atteignent toutes deux zéro et que le trou de $Q$ est à l'intérieur de celui de $P$ ), vous pouvez toujours trouver un « ratio d'engrenage » spécifique (un nombre rationnel) pour les mélanger.

Si vous les mélangez avec ce ratio, la fonction reste dans des limites sûres (elle n'ira pas vers l'infini).
Cependant, si vous essayez d'étendre la fonction vers le point central, elle sera toujours dentelée et discontinue.

C'est comme trouver la quantité parfaite de sucre à ajouter au café : assez pour éviter qu'il ne soit trop amer (borné), mais pas assez pour qu'il ait le goût de l'eau (continu).

5. Comment ils construisent ces ponts

Les auteurs montrent deux méthodes principales pour construire ces fonctions « sûres mais bosselées » :

Méthode A : Le Truc du Gradient (Le Détecteur de Pente)
Ils prennent une forme $P$ et regardent son « gradient » (qui revient à mesurer la raideur d'une colline en chaque point). Ils créent une fraction où le haut est la hauteur de la colline ( $P$ ) et le bas est la raideur de la pente au carré ( $|\nabla P|^2$ ).
- Analogie : Imaginez une montagne. Le haut est la hauteur, le bas est la raideur de la pente. Près du sommet, la hauteur et la raideur sont liées d'une certaine manière. En ajustant le « ratio d'engrenage » (les exposants), ils créent une fonction qui reste bornée mais refuse d'être lisse au sommet même.
Méthode B : Le Truc des Nombres Complexes (L'Ombre)
Ils utilisent les nombres complexes (des nombres avec une partie « imaginaire ») pour créer des fonctions du monde réel.
- Analogie : Imaginez projeter la lumière sur un objet 3D pour créer une ombre en 2D. Ils prennent une fonction complexe, séparent ses parties « réelle » et « imaginaire », et utilisent ces parties comme numérateur et dénominateur. Cela crée une fonction qui tourne autour du centre. À mesure que vous approchez du centre, la valeur tourne follement, ne se fixant jamais sur une hauteur unique, même si elle ne s'envole jamais vers l'infini.

6. Pourquoi cela importe (selon le papier)

Le papier ne prétend pas que cela réparera les ponts dans le monde réel ou guérira des maladies. Au lieu de cela, il résout un puzzle en Géométrie Algébrique Réelle.

Il confirme que le comportement de ces fonctions mathématiques est plus complexe que nous ne le pensions. Même lorsqu'une fonction est suffisamment « bien élevée » pour rester dans une boîte (bornée), elle peut encore être suffisamment « mal élevée » pour refuser de se connecter de manière fluide en un point.

En résumé : Les auteurs ont prouvé que vous pouvez toujours concevoir une fraction mathématique qui est à l'abri de l'infini mais qui refuse d'être lisse, en utilisant une règle de « limitation de vitesse » spécifique (l'inégalité de Lojasiewicz) pour trouver la recette parfaite.

Résumé Technique : Construction de Fonctions Rationnelles Discontinues mais Localement Bornées

Énoncé du Problème
L'article traite du comportement des fonctions rationnelles multivariates réelles $f = P/Q$ au voisinage des points où le numérateur $P$ et le dénominateur $Q$ s'annulent tous deux (l'ensemble d'indétermination). Plus précisément, les auteurs étudient la relation entre la bornitude locale et la continuité. Bien qu'il soit bien connu que les fonctions rationnelles peuvent être bornées mais discontinues (par exemple, le long de différentes trajectoires approchant l'origine), l'article cherche une méthode de construction générale pour démontrer que de telles fonctions existent toujours sous des conditions géométriques spécifiques. La question centrale est la suivante : étant donné des polynômes $P$ et $Q$ s'annulant en un point $\vec{0}$ tels que l'ensemble nul de $Q$ est contenu dans l'ensemble nul de $P$ ( $Z(Q) \subseteq Z(P)$ ), existe-t-il toujours une puissance rationnelle de la fonction, spécifiquement de la forme $P^{2p}/Q^{2e}$ , qui soit localement bornée mais dont l'extension (définie comme étant 0 sur $Z(Q)$ ) soit discontinue ?

Méthodologie
Les auteurs emploient des outils de la géométrie algébrique réelle et de la théorie des ensembles semi-algébriques. La méthodologie repose largement sur :

Inégalités de Lojasiewicz : Les preuves utilisent l'inégalité classique de Lojasiewicz et l'inégalité du gradient de Lojasiewicz. Ces inégalités fournissent des bornes sur la relation entre les valeurs des polynômes et leurs gradients (ou d'autres polynômes) au voisinage de leurs ensembles nuls. Plus précisément, l'existence d'un exposant rationnel minimal $\beta_0$ (ou $\theta_0$ ) tel que $|P|^\beta \le C|Q|$ est centrale à l'argument.
Géométrie Semi-algébrique : Les auteurs analysent la structure de l'image des applications polynomiales et la géométrie des ensembles nuls. Ils utilisent les propriétés des ensembles semi-algébriques, y compris la description locale des courbes algébriques réelles (Proposition 3.4) et la dimension des ensembles d'indétermination.
Sélection d'Exposants Constructifs : L'article construit des exposants rationnels spécifiques $p/e$ dérivés de l'exposant de Lojasiewicz minimal. La stratégie consiste à montrer que pour des exposants légèrement supérieurs à la borne minimale, la fonction devient non bornée, tandis que pour la borne minimale, la fonction est bornée mais échoue à être continue en raison de limites divergentes le long de trajectoires spécifiques (souvent dérivées des développements de Puiseux).
Constructions Complexes : Dans la Section 6, une construction alternative est présentée en utilisant des polynômes complexes. En prenant les parties réelle ou imaginaire de rapports de polynômes holomorphes (par exemple, $f(z)^\nu / \overline{g(z)}^\mu$ ), les auteurs génèrent des fonctions rationnelles réelles bornées avec des discontinuités sans recourir à la machinerie spécifique de la géométrie algébrique réelle utilisée dans les principaux théorèmes.

Contributions Clés et Résultats
L'article établit plusieurs théorèmes et lemmes qui caractérisent l'existence et la construction de ces fonctions :

Théorème d'Existence Principal (Théorème 5.2) : Si $P$ et $Q$ sont des polynômes s'annulant en $\vec{0}$ avec $Z(Q) \subseteq Z(P)$ , il existe des entiers positifs $p$ et $e$ tels que la fonction rationnelle $P^{2p}/Q^{2e}$ est localement bornée près de $\vec{0}$ , mais son extension à $Z(Q)$ (en fixant la valeur à 0) est discontinue. Le rapport $p/e$ est unique et correspond à l'exposant de Lojasiewicz minimal reliant $P$ et $Q$ .
Construction Basée sur le Gradient (Théorème 7.4) : Une méthode spécifique et robuste est fournie où le dénominateur est choisi comme une puissance de la norme au carré du gradient du numérateur, c'est-à-dire $Q = |\nabla P|^{2q}$ . Le Théorème 7.4 prouve que si $p/q$ est égal à l'exposant de Lojasiewicz minimal $\theta_0$ pour $P$ en un point critique, la fonction résultante est bornée mais discontinue.
Dimensionnalité des Ensembles d'Indétermination (Théorème 7.10) : Les auteurs démontrent que cette construction n'est pas limitée aux zéros isolés. Ils montrent que pour tout ensemble algébrique réel $A$ strictement contenu dans un hyperplan, on peut construire une fonction rationnelle bornée dont l'ensemble d'indétermination est exactement $A$ . Cela contraste avec le cas générique où les fonctions rationnelles bornées ont souvent des ensembles d'indétermination de codimension 2 ou supérieure ; ici, l'ensemble d'indétermination peut avoir une dimension $n-2$ ou plus.
Constructions à Variables Complexes (Section 6) : Le papier fournit une méthode pour générer des fonctions rationnelles réelles bornées et discontinues dans $\mathbb{R}^{2m}$ en prenant les parties réelle ou imaginaire d'expressions de type $h(z)/\overline{h(z)}$ , où $h$ est un polynôme holomorphe. Cela produit des fonctions avec des ensembles d'indétermination de dimension $2m-2$ .

Signification et Revendications
L'article affirme fournir une preuve générale et élémentaire (au sens de l'utilisation des fondements de la géométrie algébrique réelle) que le phénomène "borné mais discontinu" n'est pas une anomalie mais une propriété garantie pour une large classe de fonctions rationnelles définies par des paires de polynômes aux ensembles nuls imbriqués.

Les auteurs soulignent que leur approche clarifie le seuil précis de la continuité. Ils montrent que l'existence d'une fonction rationnelle bornée et discontinue de la forme $P^{2p}/Q^{2e}$ est équivalente à une version forte de l'inégalité de Lojasiewicz pour la paire $(P, Q)$ . Le travail relie la propriété analytique de continuité à la propriété algébrique de l'exposant de Lojasiewicz minimal.

Le papier ne propose pas de nouvelles applications en algèbre informatique ou en ingénierie, mais note que le problème du calcul des limites de fonctions rationnelles multivariables reste d'un grand intérêt en algèbre informatique. La signification réside dans la construction théorique : fournir un moyen systématique de générer des contre-exemples à l'intuition selon laquelle la bornitude locale implique la continuité (ou que la continuité peut être restaurée par une simple extension) en calcul multivariable. Les résultats affinent la compréhension de l'« écart » entre la bornitude et la continuité, montrant que pour toute paire de polynômes de ce type, il existe une puissance rationnelle spécifique qui se situe exactement sur la frontière de la continuité.