🔢 mathematics

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

Dit artikel toont aan dat voor reële multivariate polynomen $P$ en $Q$ die verdwijnen in een punt waar de nulset van $Q$ een deelverzameling is van die van $P$ , er een lokaal begrensde rationale functie van de vorm $P^p/Q^q$ bestaat waarvan de continue extensie naar de nulset van $Q$ noodzakelijkerwijs discontinu is, een resultaat dat is vastgesteld met behulp van Lojasiewicz-ongelijkheden.

Oorspronkelijke auteurs: Adam Coffman, Yifei Pan

Gepubliceerd 2026-06-02

📖 6 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Adam Coffman, Yifei Pan

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je een rivier probeert over te steken. Normaal gesproken, als je een brug hebt (een wiskundige functie), kun je er soepel overheen lopen. Maar soms heeft de brug een gat precies in het midden. Als je probeert over het gat te lopen, kun je vallen, of kan het pad zo steil worden dat je het niet kunt beklimmen.

In de wereld van de wiskunde, specifiek bij rationele functies (die zijn simpelweg breuken bestaande uit polynomen, zoals $\frac{x^2}{y}$ ), zoeken wiskundigen vaak naar "gaten" waar de onderste waarde (de noemer) nul wordt. Meestal, als de bovenste waarde (de teller) op die plek ook nul is, kunnen we het gat misschien dichten en er soepel overheen lopen.

Dit artikel, door Adam Coffman en Yifei Pan, gaat over het vinden van een zeer specifieke, lastige soort gat. Ze zoeken naar bruggen die veilig zijn om op te lopen (begrensd) maar onmogelijk zijn om soepel over te steken (discontinu).

Hier is de uitsplitsing van hun ontdekking met behulp van eenvoudige analogieën:

1. De "Veilige maar Bobbelige" Brug

Stel je een brug voor die perfect vlak en veilig is om op te staan, maar als je naar een specifiek punt in het midden loopt, verschuift de grond plotseling. Je kunt oneindig dicht bij het midden komen, en je zult nooit van de rand afvallen (de functie is begrensd), maar je kunt nooit op het middelpunt stappen zonder dat de grond omhoog of omlaag springt (de functie is discontinu).

Het Klassieke Voorbeeld: Denk aan de functie $f(x,y) = \frac{xy}{x^2+y^2}$ . Als je in een rechte lijn naar het midden (0,0) loopt, kom je misschien uit op een hoogte van 0,5. Maar als je in een andere rechte lijn loopt, kom je uit op 0. Als je in een curve loopt, kom je misschien uit op 1. De brug is "veilig" (hij gaat nooit naar oneindig), maar het is een puinhoop omdat de hoogte volledig afhangt van je richting.

2. De Grote Vraag

De auteurs vragen: Kunnen we altijd een brug zoals deze bouwen?
Ze beginnen met twee vormen (polynomen), laten we ze $P$ (de teller) en $Q$ (de noemer) noemen. Beide vormen raken de grond (worden nul) op een specifiek punt. Ze weten dat het "gat" in $Q$ volledig binnen het "gat" van $P$ valt.

Ze willen weten: Is er altijd een manier om de machten van deze vormen aan te passen zodat de resulterende breuk veilig (begrensd) maar nog steeds bobbelig (discontinu) is?

3. Het Magische Instrument: De "Lojasiewicz-ongelijkheid"

Om dit te beantwoorden, gebruiken de auteurs een krachtig wiskundig instrument genaamd de Lojasiewicz-ongelijkheid.

Beschouw deze ongelijkheid als een snelheidslimietbord voor hoe snel één vorm kan krimpen in vergelijking met een andere.

Stel je voor dat $P$ en $Q$ twee ballonnen zijn die leeglopen terwijl je het midden nadert.
De ongelijkheid vertelt ons dat $P$ niet te veel sneller kan leeglopen dan $Q$ zonder de regels van de geometrie te breken.
Er is een specifieke "ratio" of "exponent" (zoals een tandwielinstelling) waarbij $P$ net genoeg krimpt om de breuk niet te laten exploderen (begrensd), maar net niet genoeg om de bobbels glad te strijken (discontinu).

4. De Belangrijkste Ontdekking

Het artikel bewijst dat ja, deze lastige brug altijd bestaat.

Ongeacht welke twee vormen ( $P$ en $Q$ ) je als startpunt neemt (zolang ze beide nul worden en het gat van $Q$ binnen dat van $P$ valt), kun je altijd een specifieke "tandwielverhouding" (een rationaal getal) vinden om ze te mengen.

Als je ze met deze ratio mengt, blijft de functie binnen veilige grenzen (hij schiet niet naar oneindig).
Echter, als je probeert de functie uit te breiden naar het middelpunt, zal deze nog steeds grillig en discontinu zijn.

Het is als het vinden van de perfecte hoeveelheid suiker om toe te voegen aan koffie: genoeg om het niet te bitter te maken (begrensd), maar niet genoeg om het de smaak van water te geven (continu).

5. Hoe Ze Deze Bruggen Bouwen

De auteurs tonen twee hoofdmanieren aan om deze "veilige maar bobbelige" functies te construeren:

Methode A: De Gradiënt-truc (De Hellingdetector)
Ze nemen een vorm $P$ en kijken naar de "gradiënt" ervan (wat vergelijkbaar is met het meten van de steilheid van een heuvel op elk punt). Ze creëren een breuk waarbij de teller de hoogte van de heuvel is ( $P$ ) en de noemer de steilheid in het kwadraat is ( $|\nabla P|^2$ ).
- Analogie: Stel je een berg voor. De bovenkant is de hoogte, de onderkant is hoe steil de helling is. Nabij de top zijn de hoogte en de steilheid op een specifieke manier met elkaar verbonden. Door de "tandwielverhouding" (de exponenten) aan te passen, creëren ze een functie die begrensd blijft maar toch weigert glad te zijn op het exacte punt van de top.
Methode B: De Complexe Getallen-truc (De Schaduw)
Ze gebruiken complexe getallen (getallen met een "imaginair" deel) om reële functies te creëren.
- Analogie: Stel je voor dat je een licht op een 3D-object schijnt om een 2D-schaduw te werpen. Ze nemen een complexe functie, splitsen deze in zijn "reële" en "imaginaire" delen, en gebruiken deze als teller en noemer. Dit creëert een functie die rond het middelpunt draait. Terwijl je dichter bij het midden komt, draait de waarde wild rond, zonder ooit op één enkele hoogte te landen, ook al vliegt de waarde nooit naar oneindig.

6. Waarom Dit Belangrijk Is (Volgens het Papier)

Het artikel beweert niet dat dit bruggen in de echte wereld zal repareren of ziekten zal genezen. In plaats daarvan lost het een puzzel op in de Reële Algebraïsche Meetkunde.

Het bevestigt dat het gedrag van deze wiskundige functies complexer is dan we dachten. Zelfs wanneer een functie "goed gedrag" vertoont genoeg om binnen een box te blijven (begrensd), kan hij nog steeds "slecht gedrag" vertonen genoeg om niet vloeiend te verbinden bij een punt (discontinu).

Samenvattend: De auteurs hebben bewezen dat je altijd een wiskundige breuk kunt ontwerpen die veilig is tegen oneindigheid, maar die weigert om glad te zijn, door gebruik te maken van een specifieke "snelheidslimiet"-regel (de Lojasiewicz-ongelijkheid) om het perfecte recept te vinden.

Technische Samenvatting: Constructie van Discontinue maar Lokaal Begrensde Rationele Functies

Probleemstelling
Het artikel behandelt het gedrag van reële multivariabele rationele functies $f = P/Q$ nabij punten waar zowel de teller $P$ als de noemer $Q$ verdwijnen (de onbepaaldheidsverzameling). In het bijzonder onderzoeken de auteurs de relatie tussen lokale begrensdheid en continuïteit. Hoewel het algemeen bekend is dat rationele functies begrensd maar discontinu kunnen zijn (bijv. langs verschillende paden die de oorsprong benaderen), streeft het artikel naar een algemene constructieve methode om aan te tonen dat dergelijke functies altijd bestaan onder specifieke geometrische condities. De kernvraag is: Gegeven polynomen $P$ en $Q$ die verdwijnen in $\vec{0}$ zodanig dat de nulverzameling van $Q$ een deelverzameling is van de nulverzameling van $P$ ( $Z(Q) \subseteq Z(P)$ ), bestaat er dan altijd een rationele macht van de functie, specifiek van de vorm $P^{2p}/Q^{2e}$ , die lokaal begrensd is maar waarvan de uitbreiding (gedefinieerd als 0 op $Z(Q)$ ) discontinu is?

Methodologie
De auteurs maken gebruik van instrumenten uit de reële algebraïsche meetkunde en de theorie van semi-algebraïsche verzamelingen. De methodologie rust zwaar op:

Lojasiewicz-ongelijkheden: De bewijzen maken gebruik van de klassieke Lojasiewicz-ongelijkheid en de Lojasiewicz-gradiëntongelijkheid. Deze ongelijkheden bieden grenzen aan de relatie tussen de waarden van polynomen en hun gradiënten (of andere polynomen) nabij hun nulverzamelingen. Specifiek is het bestaan van een minimale rationele exponent $\beta_0$ (of $\theta_0$ ) zodanig dat $|P|^\beta \le C|Q|$ centraal staat in het argument.
Semi-algebraïsche meetkunde: De auteurs analyseren de structuur van de afbeelding van polynoomafbeeldingen en de geometrie van nulverzamelingen. Ze maken gebruik van eigenschappen van semi-algebraïsche verzamelingen, inclusief de lokale beschrijving van reële algebraïsche curven (Propositie 3.4) en de dimensie van onbepaaldheidsverzamelingen.
Constructie van de exponent: Het artikel construeert specifieke rationele exponenten $p/e$ afgeleid van de minimale Lojasiewicz-exponent. De strategie bestaat uit het aantonen dat voor exponenten die net iets groter zijn dan de minimale grens, de functie onbegrensd wordt, terwijl de functie voor de minimale grens wel begrensd is maar faalt om continu te zijn vanwege verschillende limieten langs specifieke paden (vaak afgeleid van Puiseux-expansies).
Complexe constructies: In Sectie 6 wordt een alternatieve constructie gepresenteerd met behulp van complexe polynomen. Door de reële of imaginaire delen te nemen van ratio's van holomorfe polynomen (bijv. $f(z)^\nu / \overline{g(z)}^\mu$ ), genereren de auteurs begrensde reële rationele functies met discontinuïteiten zonder gebruik te maken van de specifieke reële algebraïsche meetkundige machinerie die in de hoofdtheorema's wordt gebruikt.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt diverse stellingen en lemma's vast die het bestaan en de constructie van deze functies karakteriseren:

Hoofdexistentiestelling (Stelling 5.2): Als $P$ en $Q$ polynomen zijn die verdwijnen in $\vec{0}$ met $Z(Q) \subseteq Z(P)$ , dan bestaan er positieve gehele getallen $p$ en $e$ zodanig dat de rationele functie $P^{2p}/Q^{2e}$ lokaal begrensd is nabij $\vec{0}$ , maar waarvan de uitbreiding naar $Z(Q)$ (waarbij de waarde op 0 wordt gesteld) discontinu is. De ratio $p/e$ is uniek en komt overeen met de minimale Lojasiewicz-exponent die $P$ en $Q$ relateert.
Gradiënt-gebaseerde constructie (Stelling 7.4): Er wordt een specifieke en robuuste methode verstrekt waarbij de noemer wordt gekozen als een macht van de gekwadrateerde norm van de gradiënt van de teller, d.w.z. $Q = |\nabla P|^{2q}$ . Stelling 7.4 bewijst dat als $p/q$ gelijk is aan de minimale Lojasiewicz-exponent $\theta_0$ voor $P$ in een kritiek punt, de resulterende functie begrensd maar discontinu is.
Dimensie van onbepaaldheidsverzamelingen (Stelling 7.10): De auteurs tonen aan dat deze constructie niet beperkt is tot geïsoleerde nulpunten. Ze laten zien dat voor elke reële algebraïsche verzameling $A$ die strikt bevat is in een hypervlak, men een begrensde rationele functie kan construeren waarvan de onbepaaldheidsverzameling exact $A$ is. Dit contrasteert met het generieke geval waarbij begrensde rationele functies vaak onbepaaldheidsverzamelingen hebben met codimensie 2 of hoger; hier kan de onbepaaldheidsverzameling een dimensie hebben van $n-2$ of groter.
Constructies met complexe variabelen (Sectie 6): Het artikel biedt een methode om begrensde, discontinue rationele functies in $\mathbb{R}^{2m}$ te genereren door de reële of imaginaire delen te nemen van uitdrukkingen zoals $h(z)/\overline{h(z)}$ , waarbij $h$ een holomorfe polynoom is. Dit levert functies op met onbepaaldheidsverzamelingen van dimensie $2m-2$ .

Betekenis en Claims
Het artikel claimt een algemeen, elementair bewijs (in de zin van het gebruik van fundamentele reële algebraïsche meetkunde) te bieden dat het fenomeen "begrensd maar discontinu" geen anomalie is, maar een gegarandeerde eigenschap voor een brede klasse van rationele functies gedefinieerd door polynoomparen met geneste nulverzamelingen.

De auteurs benadrukken dat hun aanpak de exacte drempel voor continuïteit verheldert. Ze tonen aan dat het bestaan van een begrensde, discontinue rationele functie van de vorm $P^{2p}/Q^{2e}$ equivalent is aan een sterke versie van de Lojasiewicz-ongelijkheid voor het paar $(P, Q)$ . Het werk verbindt de analytische eigenschap van continuïteit met de algebraïsche eigenschap van de minimale Lojasiewicz-exponent.

Het artikel stelt geen nieuwe toepassingen voor in de computeralgebra of techniek voor, maar merkt op dat het probleem van het berekenen van limieten van multivariabele rationele functies van belang blijft in de computeralgebra. De betekenis ligt in de theoretische constructie: het bieden van een systematische manier om tegenvoorbeelden te genereren voor de intuïtie dat lokale begrensdheid continuïteit impliceert (of dat continuïteit kan worden hersteld door een eenvoudige uitbreiding) in de multivariabele calculus. De resultaten verfijnen het begrip van de "kloof" tussen begrensdheid en continuïteit, door aan te tonen dat er voor elk dergelijk paar polynomen een specifieke rationele macht bestaat die zich precies op de grens van continuïteit bevindt.