🔢 mathematics

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

Cet article construit des intégrands homogènes de convexité de rang un sur $\mathbb{R}^{2\times m}$ qui ne sont nulle part quasi-convexes pour un $m$ suffisamment grand, fournissant ainsi une solution au problème de Morrey dans cette dimension spécifique.

Auteurs originaux : Gabriele Cassese

Publié 2026-08-05

📖 8 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Gabriele Cassese

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 êtes un architecte essayant de construire la structure la plus efficace et la plus stable possible à partir d'un tas de matériaux étranges et flexibles. Dans le monde des mathématiques, c'est le travail du Calcul des Variations. C'est la branche des mathématiques dédiée à la recherche de la « meilleure » forme ou trajectoire pour un système, qu'il s'agisse d'une bulle de savon minimisant la tension superficielle ou d'un pont minimisant les contraintes. Pour ce faire, les mathématiciens utilisent une formule géante appelée intégrande. Considérez cet intégrande comme un livre de règles qui attribue un « coût » ou une « énergie » à chaque façon possible dont le matériau peut se courber ou s'étirer. Le but est de trouver une forme où le coût total est le plus bas possible.

Mais voici le hic : trouver cette forme parfaite est incroyablement difficile. Pour garantir l'existence d'une solution, le livre de règles (l'intégrande) doit suivre une propriété très stricte, presque magique, appelée quasiconvexité. Cette propriété garantit que si vous faites osciller légèrement la forme, l'énergie ne chute pas soudainement d'une manière qui briserait les mathématiques. Cependant, vérifier si un livre de règles possède cette propriété est comme essayer de goûter chaque grain de sable sur une plage pour voir s'il est salé ; c'est pratiquement impossible. Ainsi, pendant des décennies, les mathématiciens ont espéré un raccourci. Ils se demandaient si une propriété plus simple et plus facile à vérifier, appelée convexité de rang un (qui revient à vérifier si le matériau est stable lorsqu'on le tire dans une seule direction spécifique), suffirait à garantir la quasiconvexité magique. Si cela était vrai, ce serait un gain de temps massif, une « clé magique » pour débloquer des solutions pour tout, de la physique à l'ingénierie.

Cet article, intitulé « A Solution to Morrey's Problem in $\mathbb{R}^{2 \times m}$ », est l'histoire de la façon dont un mathématicien nommé Gabriele Cassese a finalement essayé cette clé magique et a découvert qu'elle ne fonctionne pas. La question, posée dans les années 1950 par un génie nommé Charles Morrey, était la suivante : « Si un matériau est stable dans chaque traction en ligne droite, est-il automatiquement stable dans chaque torsion complexe et sinueuse ? » Pendant longtemps, on a pensé que la réponse était « oui ». Mais Cassese prouve que pour des matériaux ayant suffisamment de dimensions (plus précisément, quand le matériau devient assez « large »), la réponse est un non définitif. Il construit un livre de règles spécifique et bizarre qui réussit parfaitement le test simple de la « ligne droite », mais échoue au test de la « torsion complexe ». C'est un contre-exemple qui brise l'espoir d'un raccourci simple, montrant que l'univers de ces matériaux mathématiques est bien plus tordu et imprévisible que quiconque l'avait espéré.

Le grand raccourci qui n'en fut pas un

Dans le monde de ces matériaux mathématiques, il existe deux façons de vérifier si un livre de règles est « bon ». La première, la convexité de rang un, revient à tester un élastique en le tirant en ligne droite. S'il résiste à la rupture et se comporte bien dans cette direction unique, il réussit le test. La seconde, la quasiconvexité, est le véritable combat de boss. Elle demande : « Si vous prenez un morceau de ce matériau et que vous le faites osciller de toutes les manières chaotiques possibles à la fois, tient-il toujours bon ? »

Pendant des décennies, les mathématiciens ont soupçonné que réussir le test de la ligne droite (convexité de rang un) suffisait à garantir que l'on réussirait le test de l'oscillation chaotique (quasiconvexité). Cela semblait logique : s'il est solide dans chaque ligne droite, il devrait être solide partout. C'était le Problème de Morrey. Si cela était vrai, cela signifierait que nous pourrions sauter l'impossible calcul de chaque oscillation et simplement vérifier les lignes droites.

Mais dans cet article, Cassese construit un « monstre de Frankenstein » de livre de règles pour prouver qu'ils ont tort. Il crée un objet mathématique qui est parfaitement stable lorsqu'on le tire dans n'importe quelle ligne droite (il est convexe de rang un) mais qui s'effondre dès que l'on tente de le faire osciller (il n'est nulle part quasiconvexe).

La construction « magique »

Comment a-t-il fait ? Imaginez que vous avez une grille multidimensionnelle géante. Cassese n'a pas seulement choisi un livre de règles au hasard ; il en a construit un en utilisant une astuce ingénieuse impliquant des martingales (un mot savant pour une séquence d'étapes aléatoires, comme la marche d'un ivrogne) et des espaces de Banach (des terrains de jeux mathématiques abstraits qui ne sont pas aussi lisses et ronds que ceux que nous utilisons habituellement).

Il a construit une formule qui ressemble à ceci :
$\text{Coût} = C \times (\text{Partie A})^p - (\text{Partie B})^p$
Ici, la « Partie A » et la « Partie B » sont deux façons différentes de mesurer la forme du matériau. Le nombre $C$ est un « bouton de réglage ».

Le test de la ligne droite (Convexité de rang un) : Cassese a montré que si vous tirez le matériau en ligne droite, la Partie A et la Partie B sont liées par une règle mathématique stricte. Elles bougent en parfaite synchronie. Grâce à cela, si vous choisissez un bouton $C$ suffisamment élevé, la formule reste toujours positive. Il réussit le test facile.
Le test de l'oscillation (Quasiconvexité) : Ensuite, il a regardé ce qui se passe lorsque vous faites osciller le matériau. Il a trouvé une forme spécifique, très sinueuse (une « fonction de test ») où la Partie B devient soudainement énorme par rapport à la Partie A. Si le bouton $C$ n'est pas infiniment élevé, la formule devient négative. Le matériau s'effondre.

Le génie de l'article réside dans la découverte d'une « zone Goldilocks » (une zone de juste milieu) pour le bouton $C$ . Il a prouvé que pour des matériaux ayant une largeur suffisamment grande (plus précisément, quand la dimension $m$ est assez grande), il existe un point idéal où le bouton est assez élevé pour réussir le test de la ligne droite, mais trop bas pour réussir le test de l'oscillation.

Les résultats : « Non » dans de nombreuses dimensions

L'article ne trouve pas seulement un exemple étrange ; il en trouve toute une famille.

Les grandes dimensions : Pour n'importe quelle « puissance » $p$ (qui contrôle l'échelle du coût), Cassese prouve que si le matériau est assez large (la dimension $m$ est grande), vous pouvez toujours construire ce contre-exemple. L'article ne donne pas immédiatement de nombre spécifique pour « assez grand », mais il prouve qu'un tel nombre existe.
Le cas carré : Il montre également que cela fonctionne pour des matériaux carrés (où la largeur est égale à la hauteur, $d \times d$ ) si le carré est assez grand.
Le cas 4x2 : Il parvient même à faire entrer un contre-exemple dans une grille plus petite de 4 par 2, à condition que la puissance $p$ ne soit pas exactement égale à 2.

Pourquoi cela importe (et pourquoi cela fait mal)

Ce résultat est un peu décevant pour quiconque espérait un simple raccourci. Cela signifie que la convexité de rang un n'implique pas la quasiconvexité. Vous ne pouvez pas simplement vérifier les lignes droites et supposer que le reste est correct. La « clé magique » est un faux espoir.

Cependant, c'est une immense victoire pour la vérité mathématique. Cela règle une question restée ouverte depuis les années 1950. Cela nous indique que le monde de ces intégrales variationnelles est beaucoup plus complexe et « non linéaire » que nous le pensions. L'article aborde également une énigme célèbre non résolue appelée conjecture d'Iwaniec, qui concerne un cas spécifique de 2 par 2. Le travail de Cassese suggère que si une solution à ce puzzle existe, elle doit reposer sur une caractéristique très spécifique et unique de ce cas de 2 par 2, car sa méthode générale (qui fonctionne pour de plus grandes dimensions) échoue là.

En résumé, Cassese a construit un « objet impossible » mathématique : un matériau qui semble parfaitement stable sous tous les angles rectilignes, mais qui est secrètement un château de cartes prêt à s'effondrer. C'est un rappel que dans le monde profond des mathématiques, les choses sont rarement aussi simples qu'elles en ont l'air, et que parfois, la seule façon de connaître la vérité est de construire soi-même le contre-exemple.

Résumé Technique : Une solution au problème de Morrey dans $\mathbb{R}^{2\times m}$

Énoncé du Problème
L'article traite du problème de Morrey, une question centrale du calcul des variations posée en 1952 : la convexité par rang un implique-t-elle la quasiconvexité pour les intégrands $f: \mathbb{R}^{d\times m} \to \mathbb{R}$ ? Alors que Šverák (1992) a fourni un contre-exemple dans les dimensions $d \times m$ où $d \ge 3$ et $m \ge 2$ , le cas $d=2$ (spécifiquement $2 \times m$ ) est resté ouvert. De plus, l'article étudie le « problème de Morrey homogène », demandant si la convexité par rang un implique la quasiconvexité à l'origine pour les intégrands $p$ -homogènes ( $f(tA) = |t|^p f(A)$ ). Des résultats antérieurs, tels que le théorème de Kirchheim–Kristristen, ont établi que pour $p=1$ , la convexité par rang un implique la quasiconvexité à 0, laissant le cas $p \in (1, \infty)$ non résolu.

Méthodologie
L'auteur construit des contre-exemples en utilisant un « schéma de séparation de seuil » basé sur des intégrands de la forme :
$f_{C,p}(A) = C^p \|P(A)\|_X^p - \|Q(A)\|_X^p$
où $P$ et $Q$ sont des applications linéaires de $\mathbb{R}^{d\times m}$ vers un espace de Banach $X$ , et $C$ est une constante. La stratégie consiste à séparer le seuil de la convexité par rang un ( $C_{rc}$ ) du seuil de la quasiconvexité ( $C_{qc}$ ) à l'origine.

Convexité par rang un ( $C_{rc}$ ) : L'auteur utilise la correspondance entre la convexité par rang un et les transformations de martingales. Plus précisément, la convexité par rang un à 0 est équivalente à la condition que $f(0) \le \mathbb{E}[f(M_n)]$ pour toutes les martingales de Rademacher de rang un $M_n$ . La borne $C_{rc}$ est contrôlée en utilisant la théorie des espaces UMD (Unconditional Martingale Difference) et les inégalités de Burkholder. La construction exploite la géométrie non hilbertienne de l'espace cible $X$ (spécifiquement les espaces $\ell_q$ avec $q \neq 2$ ) pour maintenir $C_{rc}$ borné.
Quasiconvexité ( $C_{qc}$ ) : La borne $C_{qc}$ est estimée par le bas en construisant des cartes de test explicites (champs de vecteurs) $u$ sur le tore ou le cube. L'auteur emploie des fonctions de test oscillatoires spécifiques (par exemple, des produits de conjugués complexes ou des sommes trigonométriques) pour démontrer que le rapport $\|Q(\nabla u)\| / \|P(\nabla u)\|$ croît avec la dimension $m$ (ou $d$ ), dépassant finalement la borne pour $C_{rc}$ .
Construction de l'enveloppe : Une fois qu'une constante $C$ est choisie telle que $C_{rc} < C < C_{qc}$ , l'intégrand n'est pas quasiconvexe à 0. Pour garantir que l'intégrand final soit convexe par rang un partout, l'auteur prend l'enveloppe de convexité par rang un de la fonction construite. La Proposition 2.3 garantit que pour les intégrands homogènes, si l'enveloppe n'est pas quasiconvexe à 0, la fonction est nulle part quasiconvexe.

Contributions Clés et Résultats

L'article apporte des solutions négatives aux problèmes de Morrey original et homogène dans les hautes dimensions :

Théorème 1.2 (Le cas $2 \times m$ ) : Pour tout $p \in (1, \infty)$ , il existe une dimension $m_0(p)$ telle que pour tout $m \ge m_0(p)$ , il existe un intégrand $p$ -homogène $f: \mathbb{R}^{2\times m} \to \mathbb{R}$ qui est convexe par rang un mais nulle part quasiconvexe. La construction repose sur la « paire de Wirtinger par blocs » et la structure non hilbertienne de $\ell_q^n$ .
Théorème 1.3 (Le cas carré $d \times d$ ) : Pour tout $p \in (1, \infty)$ , il existe $d_0(p)$ tel que pour tout $d \ge d_0(p)$ , il existe un intégrand $p$ -homogène sur $\mathbb{R}^{d\times d}$ , invariant par conjugaison et transposition, qui est convexe par rang un mais nulle part quasiconvexe. Ceci est réalisé en utilisant la différence entre les parties symétrique et antisymétrique du gradient dans les normes de Schatten $q$ .
Théorème 1.4 (Le cas $4 \times 2$ ) : Pour tout $p \in (1, \infty) \setminus \{2\}$ , il existe un intégrand $p$ -homogène sur $\mathbb{R}^{4\times 2}$ qui est convexe par rang un mais nulle part quasiconvexe. Ce résultat est obtenu via une construction spécifique impliquant des applications linéaires liées à la transformée de Beurling-Ahlfors.

Constructions Explicites
L'article fournit des exemples explicites pour des paramètres spécifiques :

Pour $p=3$ , une preuve élémentaire est donnée pour la convexité par rang un d'un intégrand spécifique impliquant des normes $\ell_6$ .
Pour le cas carré avec $p=q=4$ , l'auteur construit un polynôme homogène de degré 4, globalement convexe par rang un, qui échoue à être quasiconvexe à 0 pour un $d$ suffisamment grand.
Pour le cas $4 \times 2$ avec $p=4$ , un contre-exemple de polynôme homogène de degré 4 est explicitement construit.

Signification et Revendications
L'article prétend résoudre négativement les problèmes de Morrey homogène dans les grandes dimensions ( $2 \times m$ , $d \times d$ , et $4 \times 2$ ).

Implications : Une réponse positive au problème de Morrey homogène impliquerait la conjecture d'Iwaniec concernant la quasiconvexité d'un intégrand spécifique lié aux parties conformes et anticonformes. En fournissant des contre-exemples, cet article démontre que la conjecture d'Iwaniec ne peut être prouvée via une implication générale de la convexité par rang un vers la quasiconvexité à 0 ; toute preuve doit reposer sur des caractéristiques spécifiques de l'intégrand d'Iwaniec absentes dans ces contre-exemples.
Non-localité : Les résultats impliquent que la quasiconvexité est une condition non locale en $2 \times m$ pour de grands $m$ , car les intégrands construits satisfont l'inégalité de Legendre-Hadamard uniforme (ellipticité forte) mais échouent à la quasiconvexité globale.
Symétrie : Les contre-exemples dans le cas carré sont construits pour être invariants par conjugaison et transposition, montrant que même des hypothèses de symétrie forte ne forcent pas la quasiconvexité dans les hautes dimensions.

Limites et Questions Ouvertes
L'auteur note explicitement que les résultats ne résolvent pas le cas $2 \times 2$ . La construction repose sur le fait que la dimension $m$ soit suffisamment grande pour séparer les constantes UMD des seuils de quasiconvexité. L'article conjecture que le problème de Morrey homogène a probablement une réponse positive en $2 \times 2$ , et la méthode actuelle ne peut pas être poussée pour le contredire sans des estimations beaucoup plus raffinées des constantes UMD et des seuils de quasiconvexité. De plus, l'article laisse ouverte la conjecture selon laquelle les intégrands convexes par rang un isotropes (invariants par rotation) pourraient encore être quasiconvexes à 0.

Le grand raccourci qui n'en fut pas un

La construction « magique »

Les résultats : « Non » dans de nombreuses dimensions

Pourquoi cela importe (et pourquoi cela fait mal)

Résumé Technique : Une solution au problème de Morrey dans R2×m\mathbb{R}^{2\times m}R2×m

Articles similaires

Résumé Technique : Une solution au problème de Morrey dans $\mathbb{R}^{2\times m}$