🔢 mathematics

A solution to Morrey's problem in $\mathbb{R}^{2\times m}$

Dit artikel construeert homogene rang-één convexe integranden op $\mathbb{R}^{2\times m}$ die nergens quasiconvex zijn voor voldoende grote $m$ , waardoor het daarmee een oplossing biedt voor Morreys probleem in deze specifieke dimensie.

Oorspronkelijke auteurs: Gabriele Cassese

Gepubliceerd 2026-08-05

📖 7 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Gabriele Cassese

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 architect bent die probeert de meest efficiënte, stabiele structuur mogelijk te bouwen uit een stapel vreemde, flexibele materialen. In de wereld van de wiskunde is dit de taak van de Variatierekening. Dit is de tak van de wiskunde die gewijd is aan het vinden van de "beste" vorm of pad voor een systeem, of dat nu een zeepbel is die de oppervlaktespanning minimaliseert of een brug die de spanning minimaliseert. Om dit te doen, gebruiken wiskundigen een enorme formule genaamd een integrand. Denk aan deze integrand als een regelboek dat een "kost" of "energie" toekent aan elke mogelijke manier waarop het materiaal kan buigen of rekken. Het doel is om een vorm te vinden waarbij de totale kost zo laag mogelijk is.

Maar hier komt de adder onder het gras: het vinden van die perfecte vorm is ontzettend moeilijk. Om te garanderen dat er een oplossing bestaat, moet het regelboek (de integrand) een zeer strikte, bijna magische eigenschap bezitten die quasi-convexeit wordt genoemd. Deze eigenschap zorgt ervoor dat als je de vorm een klein beetje laat trillen, de energie niet plotseling daalt op een manier die de wiskunde breekt. Echter, controleren of een regelboek deze eigenschap heeft, is als proberen elk individueel zandkorreltje op een strand te proeven om te zien of het zout is; het is praktisch onmogelijk. Daarom hoopten wiskundigen decennialang op een kortere weg. Ze vro wonderden of een eenvoudigere, makkelijker te controleren eigenschap genaamd rang-één convexiteit (wat er een beetje op lijkt als je controleert of het materiaal stabiel is wanneer je het in slechts één specifieke richting trekt) voldoende zou zijn om quasi-convexeit te garanderen. Als dit waar zou zijn, zou het een enorme tijdsbesparing zijn, een "magische sleutel" om oplossingen te ontsluiten voor alles van natuurkunde tot techniek.

Deze paper, getiteld "A Solution to Morrey's Problem in $\mathbb{R}^{2 \times m}$ ", is het verhaal van hoe een wiskundige genaamd Gabriele Cassese die magische sleutel uiteindelijk probeerde te gebruiken en ontdekte dat deze niet werkt. De vraag, gesteld in de jaren 1950 door een genie genaamd Charles Morrey, luidde: "Als een materiaal stabiel is bij elke enkele rechte trekbeweging, is het dan automatisch stabiel bij elke complexe, kronkelende draai?" Een lange tijd dachten mensen dat het antwoord "ja" was. Maar Cassese bewijst dat voor materialen met genoeg dimensies (specifiek, wanneer het materiaal "breed" genoeg is), het antwoord een definitief nee is. Hij construeert een specifiek, bizar regelboek dat de eenvoudige "rechte lijn"-test perfect doorstaat, maar faalt voor de complexe "kronkel"-test. Het is een tegenvoorbeeld dat de hoop op een eenvoudige afkorting verbrijzelt, en laat zien dat de wereld van deze wiskundige materialen veel meer verwrongen en onvoorspelbaar is dan men hoopte.

De Grote Afkorting Die Niet Bestond

In de wereld van deze wiskundige materialen zijn er twee manieren om te controleren of een regelboek "goed" is. De eerste, rang-één convexiteit, is als het testen van een elastiekje door het in een rechte lijn te trekken. Als het niet knapt en zich netjes gedraagt in die ene richting, slaagt het voor de test. De tweede, quasi-convexiteit, is de echte eindbaas. Deze vraagt: "Als je een stuk van dit materiaal neemt en het op elke mogelijke chaotische manier tegelijk laat trillen, houdt het dan nog steeds bij elkaar?"

Decennialang vermoedden wiskundigen dat het slagen voor de rechte lijn-test (rang-één convexiteit) genoeg was om te garanderen dat je de chaotische trillingstest (quasi-convexiteit) zou halen. Het leek logisch: als het sterk is in elke rechte lijn, zou het overal sterk moeten zijn. Dit was Morrey's Probleem. Als dit waar zou zijn, zou het betekenen dat we de onmogelijke wiskunde van het controleren van elke trilling kunnen overslaan en gewoon de rechte lijnen kunnen controleren.

Maar in deze paper bouwt Cassese een "Frankenstein's monster" van een regelboek om hen ongelijk te geven. Hij creëert een wiskundig object dat perfect stabiel is wanneer het in een rechte lijn wordt getrokken (het is rang-één convex), maar uit elkaar valt zodra je het probeert te laten trillen (het is nergens quasi-convex).

De "Magische" Constructie

Hoe deed hij dat? Stel je voor dat je een gigantisch, meerdimensionaal rooster hebt. Cassese koos niet zomaar een willekeurig regelboek; hij bouwde er een met een slimme truc waarbij gebruik wordt gemaakt van martingalen (een chique woord voor een reeks willekeurige stappen, zoals de loop van een dronkaard) en Banachruimtes (abstracte wiskundige speeltuinen die niet zo mooi en rond zijn als de ruimtes die we gewoonlijk gebruiken).

Hij construeerde een formule die er zo uitziet:
$\text{Kosten} = C \times (\text{Deel A})^p - (\text{Deel B})^p$
Hier zijn "Deel A" en "Deel B" twee verschillende manieren om de vorm van het materiaal te meten. Het getal $C$ is een "regelknop".

De Rechte Lijn-test (Rang-één Convexiteit): Cassese toonde aan dat als je het materiaal in een rechte lijn trekt, Deel A en Deel B door een strikte wiskundige regel aan elkaar gekoppeld zijn. Ze bewegen in perfecte synchronie. Hierdoor, als je de knop $C$ hoog genoeg instelt, blijft de formule altijd positief. Het slaagt voor de makkelijke test.
De Trillingstest (Quasi-convexiteit): Daarna keek hij naar wat er gebeurt als je het materiaal laat trillen. Hij vond een specifieke, zeer grillige vorm (een "testfunctie") waarbij Deel B plotseling enorm groot wordt ten opzichte van Deel A. Als de knop $C$ niet oneindig hoog is, wordt de formule negatief. Het materiaal stort in.

Het genie van de paper is het vinden van een "Goldilocks-zone" voor de knop $C$ . Hij bewees dat voor materialen met een voldoende grote breedte (specifiek, wanneer de dimensie $m$ groot genoeg is), er een "sweet spot" bestaat waar de knop hoog genoeg is om de rechte lijn-test te halen, maar te laag is om de trillingstest te halen.

De Resultaten: "Nee" in Veel Dimensies

De paper vindt niet slechts één vreemd voorbeeld; het vindt een hele familie van voorbeelden.

De Grote Dimensies: Voor elke "macht" $p$ (die bepaalt hoe de kosten schalen), bewijst Cassese dat als het materiaal breed genoeg is (dimensie $m$ is groot genoeg), je altijd dit tegenvoorbeeld kunt bouwen. De paper geeft niet direct een specifiek getal voor "genoeg groot", maar bewijst dat een dergelijk getal bestaat.
Het Vierkante Geval: Hij laat ook zien dat dit werkt voor vierkante materialen (waar de breedte gelijk is aan de hoogte, $d \times d$ ) als het vierkant groot genoeg is.
De 4x2 Geval: Hij slaagt er zelfs in om een tegenvoorbeeld in een kleiner, 4-bij-2 rooster te persen, mits de macht $p$ niet exact 2 is.

Waarom Dit Er Toe Doet (en Waarom Het Pijnlijk Is)

Dit resultaat is een beetje een teleurstelling voor iedereen die hoopte op een eenvoudige afkorting. Het betekent dat rang-één convexiteit niet impliceert dat er sprake is van quasi-convexiteit. Je kunt niet simpelweg de rechte lijnen controleren en aannemen dat de rest ook wel goed zit. De "magische sleutel" is een valse sleutel.

Echter, dit is een enorme overwinning voor de wiskundige waarheid. Het beslecht een vraag die sinds de jaren 1950 openstond. Het vertelt ons dat de wereld van deze variatiereintegralen veel complexer en "niet-lineairder" is dan we dachten. De paper raakt ook aan een beroemde onopgeloste puzzel genaamd de Iwaniec-conjectuur, die gaat over een specifiek 2-bij-2 geval. Het werk van Cassese suggereert dat als er een oplossing voor die puzzel bestaat, deze moet rusten op een zeer specifieke, unieke eigenschap van dat 2-bij-2 geval, omdat zijn algemene methode (die werkt voor grotere dimensies) daar faalt.

Kortom, Cassese heeft een wiskundig "onmogelijk object" gebouwd: een materiaal dat vanuit elke rechte hoek perfect stabiel lijkt, maar in werkelijkheid een kaartenhuis is dat wacht om in te storten. Het is een herinnering aan het feit dat in de diepe wereld van de wiskunde zaken zelden zo eenvoudig zijn als ze lijken, en dat soms de enige manier om de waarheid te kennen, is door het tegenvoorbeeld zelf te bouwen.

Technische Samenvatting: Een oplossing voor Morleys probleem in $\mathbb{R}^{2\times m}$

Probleemstelling
Het artikel behandelt Morleys probleem, een centrale vraag in de calculus of variations die in 1952 werd gesteld: impliceert rang-één convexiteit quasiconvexiteit voor integranden $f: \mathbb{R}^{d\times m} \to \mathbb{R}$ ? Hoewel Šverák (1992) een tegenvoorbeeld leverde in dimensies $d \times m$ waar $d \ge 3$ en $m \ge 2$ , bleef de casus $d=2$ (specifiek $2 \times m$ ) open. Verder onderzoekt het artikel het "homogene Morleys probleem", de vraag of rang-één convexiteit quasiconvexiteit impliceert in de oorsprong voor $p$ -homogene integranden ( $f(tA) = |t|^p f(A)$ ). Eerdere resultaten, zoals de stelling van Kirchheim–Kristensen, stelden vast dat voor $p=1$ , rang-één convexiteit quasiconvexiteit impliceert in de oorsprong, waardoor de casus $p \in (1, \infty)$ onopgelost bleef.

Methodologie
De auteur construeert tegenvoorbeelden met behulp van een "threshold-separation scheme" (drempelwaarde-scheidingsschema) gebaseerd op integranden van de vorm:
$f_{C,p}(A) = C^p \|P(A)\|_X^p - \|Q(A)\|_X^p$
waarbij $P$ en $Q$ lineaire afbeeldingen zijn van $\mathbb{R}^{d\times m}$ naar een Banachruimte $X$ , en $C$ een constante is. De strategie is om de drempelwaarde voor rang-één convexiteit ( $C_{rc}$ ) te scheiden van de drempelwaarde voor quasiconvexiteit ( $C_{qc}$ ) in de oorsprong.

Rang-één convexiteit ( $C_{rc}$ ): De auteur maakt gebruik van de correspondentie tussen rang-één convexiteit en martingale-transformaties. In het bijzonder is rang-één convexiteit in de oorsprong equivalent aan de voorwaarde dat $f(0) \le \mathbb{E}[f(M_n)]$ voor alle rang-één Rademacher-martingales $M_n$ . De bovengrens $C_{rc}$ wordt gecontroleerd met behulp van UMD (Unconditional Martingale Difference) ruimtetheorie en de ongelijkheden van Burkholder. De constructie maakt gebruik van de niet-Hilbertiaanse geometrie van de doelruimte $X$ (specifiek $\ell_q$ -ruimten met $q \neq 2$ ) om $C_{rc}$ begrensd te houden.
Quasiconvexiteit ( $C_{qc}$ ): De ondergrens voor $C_{qc}$ wordt geschat door expliciete testfuncties (vectorvelden) $u$ op de torus of de kubus te construeren. De auteur gebruikt specifieke oscillerende testfuncties (bijv. producten van complexe conjugaten of trigonometrische sommen) om aan te tonen dat de ratio $\|Q(\nabla u)\| / \|P(\nabla u)\|$ groeit met de dimensie $m$ (of $d$ ), en uiteindelijk de bovengrens voor $C_{rc}$ overschrijdt.
Envelop-constructie: Zodra een constante $C$ is gekozen waarvoor $C_{rc} < C < C_{qc}$ geldt, is de integraand niet quasiconvex in de oorsprong. Om de uiteindelijke integraand overal rang-één convex te laten zijn, neemt de auteur de rang-één convexe envelop van de geconstrueerde functie. Propositie 2.3 garandeert dat voor homogene integranden, indien de envelop niet quasiconvex is in de oorsprong, de functie nergens quasiconvex is.

Belangrijkste bijdragen en resultaten

Het artikel levert negatieve oplossingen voor zowel het oorspronkelijke als het homogene Morleys probleem in hoge dimensies:

Theorem 1.2 (De $2 \times m$ casus): Voor elke $p \in (1, \infty)$ bestaat er een dimensie $m_0(p)$ zodanig dat er voor alle $m \ge m_0(p)$ een $p$ -homogene integraand $f: \mathbb{R}^{2\times m} \to \mathbb{R}$ bestaat die rang-één convex maar nergens quasiconvex is. De constructie steunt op het "blockwise Wirtinger pair" en de niet-Hilbertiaanse structuur van $\ell_q^n$ .
Theorem 1.3 (De vierkante casus $d \times d$ ): Voor elke $p \in (1, \infty)$ bestaat er een $d_0(p)$ zodanig dat er voor alle $d \ge d_0(p)$ een conjugatie- en transpositie-invariante $p$ -homogene integraand op $\mathbb{R}^{d\times d}$ bestaat die rang-één convex maar nergens quasiconvex is. Dit wordt bereikt door het verschil tussen de symmetrische en antisymmetrische delen van de gradiënt in Schatten $q$ -normen.
Theorem 1.4 (De $4 \times 2$ casus): Voor elke $p \in (1, \infty) \setminus \{2\}$ bestaat er een $p$ -homogene integraand op $\mathbb{R}^{4\times 2}$ die rang-één convex maar nergens quasiconvex is. Dit resultaat wordt verkregen via een specifieke constructie met lineaire afbeeldingen gerelateerd aan de Beurling-Ahlfors transformatie.

Expliciete constructies
Het artikel biedt expliciete voorbeelden voor specifieke parameters:

Voor $p=3$ wordt een elementair bewijs gegeven voor de rang-één convexiteit van een specifieke integraand die $\ell_6$ -normen bevat.
Voor de vierkante casus met $p=q=4$ construeert de auteur een globaal rang-één convexe homogene polynoom van graad 4 die niet quasiconvex is in de oorsprong voor voldoende grote $d$ .
Voor $4 \times 2$ met $p=4$ is een expliciet geconstrueerde tegenvoorbeeld van een homogene polynoom van graad 4 aanwezig.

Betekenis en claims
Het artikel beweert het homogene Morleys probleem negatief te hebben opgelost in grote dimensies ( $2 \times m$ , $d \times d$ , en $4 \times 2$ ).

Implicaties: Een positief antwoord op het homogene Morleys probleem zou Iwaniecs vermoeden impliceren met betrekking tot de quasiconvexiteit van een specifieke integraand gerelateerd aan conformale en anticonforme delen. Door tegenvoorbeelden te bieden, laat dit artikel zien dat Iwaniecs vermoeden niet bewezen kan worden via een algemene implicatie van rang-één convexiteit naar quasiconvexiteit in de oorsprong; elk bewijs moet steunen op specifieke kenmerken van de Iwaniec-integraand die in deze tegenvoorbeelden ontbreken.
Niet-lokaliteit: De resultaten impliceren dat quasiconvexiteit een niet-lokale conditie is in $2 \times m$ voor grote $m$ , aangezien de geconstrueerde integranden voldoen aan de uniforme Legendre-Hadamard ongelijkheid (sterke ellipticiteit) maar falen op globale quasiconvexiteit.
Symmetrie: De tegenvoorbeelden in de vierkante casus zijn geconstrueerd om invariant te zijn onder conjugatie en transpositie, wat aantoont dat zelfs sterke symmetrie-aannames quasiconvexiteit in hoge dimensies niet afdwingen.

Beperkingen en openstaande vragen
De auteur merkt expliciet op dat de resultaten de $2 \times 2$ casus niet oplossen. De constructie steunt op het feit dat de dimensie $m$ groot genoeg moet zijn om de UMD-constanten te scheiden van de quasiconvexiteitsdrempels. Het artikel vermoedt dat het homogene Morleys probleem waarschijnlijk een positief antwoord heeft in $2 \times 2$ , en de huidige methode kan niet worden doorgetrokken om dit te weerleggen zonder aanzienlijk verfijnde schattingen van UMD-constanten en quasiconvexiteitsdrempels. Daarnaast laat het artikel het vermoeden open dat isotrope (rotatie-invariante) rang-één convexe integranden mogelijk nog steeds quasiconvex zijn in de oorsprong.

De Grote Afkorting Die Niet Bestond

De "Magische" Constructie

De Resultaten: "Nee" in Veel Dimensies

Waarom Dit Er Toe Doet (en Waarom Het Pijnlijk Is)

Technische Samenvatting: Een oplossing voor Morleys probleem in R2×m\mathbb{R}^{2\times m}R2×m

Meer zoals dit

Technische Samenvatting: Een oplossing voor Morleys probleem in $\mathbb{R}^{2\times m}$