🔢 mathematics

Explicit formulas of strict BV relaxed energies for polyconvex functionals with linear growth

Cet article dérive des formules explicites pour les énergies relaxées au sens de BV strict des fonctionnelles polyconvexes à croissance linéaire en étendant les résultats de continuité d'Acerbi et Dal Maso au cadre BV et en appliquant le théorème de continuité de Reshetnyak, tout en présentant des résultats partiels sur la relaxation de la carte de vortex sous la convergence $L^1$ .

Auteurs originaux : Domanico Mucci, Riccardo Scala

Publié 2026-08-05

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Domanico Mucci, Riccardo Scala

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 essayiez de dessiner une carte parfaite d'une chaîne de montagnes sur une feuille de papier. Dans le monde des mathématiques, cela s'apparente à l'étude des « fonctionnelles », ces formules sophistiquées qui mesurent l'« énergie » ou le « coût » d'une forme ou d'une surface. Habituellement, si vous avez une forme lisse et agréable, calculer cette énergie est simple. Mais que se passe-t-il quand la forme devient désordonnée ? Et si elle présentait des coins saillants, des sauts soudains ou même des trous ? C'est le domaine des « énergies relaxées ». Imaginez que vous essayez de lisser une feuille d'aluminium froissée. Si vous l'écrasez simplement avec votre main (une approche mathématique standard), vous pourriez passer à côté des minuscules rides cachées qui contiennent en réalité la majeure partie de l'énergie. Les mathématiciens ont cherché à comprendre exactement comment calculer l'énergie réelle de ces formes désordonnées, surtout lorsque les règles du jeu changent et que l'énergie croît de manière « linéaire » (comme une ligne droite) plutôt que d'exploser de façon sauvage. Cela est crucial pour comprendre tout, de la façon dont les élastiques s'étirent à la formation des films de savon, car la nature cherche toujours le chemin de moindre résistance, même si ce chemin semble un peu dentelé.

Entrez dans l'histoire de cet article, où deux mathématiciens, Domenico Mucci et Riccardo Scala, agissent comme des détectives résolvant un puzzle très spécifique sur ces formes dentelées. Ils étudient un type spécial de formule appelée « polyconvexe », une règle qui garantit que l'énergie se comporte bien même lorsque les choses se compliquent. Le grand mystère qu'ils abordent est le suivant : si nous avons une forme désordonnée (les mathématiciens appellent cela une fonction en « BV », ou de variation bornée), pouvons-nous écrire une formule simple et exacte pour son énergie si nous sommes autorisés à la lisser de manière très stricte et méticuleuse ?

Par le passé, les mathématiciens savaient faire cela pour des cas simples, mais pour beaucoup d'autres, la réponse était un flou : « nous savons qu'elle existe, mais nous ne pouvons pas l'écrire ». Les auteurs de cet article disent : « Attendez, nous pouvons en fait l'écrire ! ». Cependant, ils ne prétendent pas posséder une baguette magique pour chaque forme imaginable. Au lieu de cela, ils ont découvert que si l'aire relaxée (l'énergie de la forme) est déjà connue pour un cas spécifique, alors nous pouvons utiliser cette connaissance pour trouver une recette exacte pour une classe beaucoup plus large d'énergies apparentées. Ils ont prouvé que, pour ces situations spécifiques, l'énergie est simplement la somme de deux éléments : l'énergie des parties lisses que l'on peut voir, plus une « énergie bonus » spécifique qui provient des parties verticales cachées de l'ombre de la forme.

Ils n'ont pas seulement deviné ; ils l'ont prouvé en utilisant un outil puissant appelé le théorème de continuité de Reshetnyak, qui est comme un pont magique reliant le monde lisse au monde désordonné sans perdre aucune information. Ils ont appliqué leur nouvelle formule à trois types spécifiques de cartes complexes où l'aire relaxée était déjà comprise :

Les marcheurs du cercle : Des cartes qui restent sur le bord d'un cercle (comme l'aiguille d'une boussole qui tourne).
Les cartes homogènes : Des formes qui paraissent identiques quelle que soit l'échelle de zoom, comme une fractale.
Les patchwork de courtepointes : Des cartes qui sont lisses dans différentes sections mais qui présentent des sauts abrupts là où les pièces se rejoignent.

Pour ces cas, ils ont montré que l'énergie « bonus » est exactement l'aire d'une surface minimale (comme un film de savon) qui comble les vides ou les trous créés par les sauts. Cependant, ils ont également trouvé une limite à leur succès. Ils ont montré que si vous essayez d'être trop lâche avec votre lissage (en utilisant une méthode moins stricte), la réponse devient désordonnée et imprévisible, comme si vous essayiez de mesurer une ombre qui change constamment de forme. Dans un exemple célèbre appelé la « carte vortex » (qui ressemble à un tourbillon), ils ont montré que si l'aire est grande, l'écart d'énergie est un nombre fixe (spécifiquement $\pi$ ), mais si l'aire est petite, la réponse dépend d'un problème de surface 3D complexe qui est encore en cours de résolution.

Alors, quel est le fond de l'histoire ? Les auteurs ont fourni une formule claire et explicite pour l'énergie de nombreuses formes complexes, mais seulement lorsque vous êtes méticuleux sur la manière de les lisser et lorsque la géométrie sous-jacente de la forme est déjà bien comprise. Ils ont transformé un vague « c'est compliqué » en un concret « voici les mathématiques » pour ces cas spécifiques connus, mais ils admettent aussi que pour certaines formes très spécifiques et sauvages (comme la courbe du « double huit »), la réponse pourrait encore se cacher dans une autre sorte d'ombre mathématique. Leur travail ne résout pas tous les mystères de l'univers des formes, mais il nous offre une lampe de poche très précise pour éclairer ceux sur lesquels nous trébuchions auparavant dans l'obscurité.

RÉSUMÉ TECHNIQUE : Formules explicites des énergies relaxées de type BV strictes pour les fonctionnelles polyconvexes à croissance linéaire

Énoncé du problème
L'article traite de la relaxation de fonctionnelles polyconvexes définies sur des fonctions à valeurs vectorielles $u: \Omega \to \mathbb{R}^N$ (où $\Omega \subseteq \mathbb{R}^n$ est un ensemble ouvert borné, $n, N \ge 2$ ) avec une croissance linéaire. Le cas modèle est la fonctionnelle d'aire, où l'intégrande dépend des mineurs de la matrice de gradient $G \in \mathbb{R}^{N \times n}$ .

Bien que la relaxation de telles fonctionnelles par rapport à la convergence $L^1$ ( $\tilde{F}_{L^1}$ ) soit bien étudiée, il est connu que la fonctionnelle relaxée résultante manque souvent d'une représentation intégrale et ne parvient pas à être locale (c'est-à-dire que la fonction de l'ensemble $A \mapsto \tilde{F}_{L^1}(u, A)$ n'est pas sous-additive). Cette non-localité provient du fait que la convergence $L^1$ permet des effets de concentration qui génèrent plusieurs courants de Cartesien limites distincts pour une même séquence d'approximations.

Pour surmonter ces inconvénients, les auteurs analysent la relaxation par rapport à la convergence BV stricte ( $\tilde{F}_{BV}$ ). Dans ce cadre, la convergence de la variation totale de la dérivée est requise parallèlement à la convergence $L^1$ . L'objectif principal est de dériver des formules de représentation intégrale explicites pour $\tilde{F}_{BV}(u, \Omega)$ pour de larges classes d'intégrandes polyconvexes, spécifiquement dans les cas où la fonctionnelle d'aire relaxée $\tilde{A}_{BV}(u, \Omega)$ est déjà connue.

Méthodologie
Les auteurs emploient une combinaison de la théorie de la géométrie de la mesure, plus précisément la théorie des courants de Cartésien, et des résultats de continuité pour les fonctionnelles définies sur des mesures.

Courants de Cartésien et unicité : L'analyse repose sur la représentation des graphes d'approximations lisses comme courants intégraux. Une observation clé est qu'en codimension $N=2$ (c'est-à-dire des applications $u: \mathbb{R}^n \to \mathbb{R}^2$ ), la convergence BV stricte assure l'unicité du courant de Cartésien limite $T$ associé à une séquence d'approximations. Cela contraste avec le cas $L^1$ ou les codimensions supérieures ( $N \ge 3$ ), où plusieurs courants limites peuvent exister.
Théorème de continuité de Reshetnyak : L'outil technique central est une extension du théorème de continuité de Reshetnyak. Les auteurs prouvent que si une séquence de courants $T_h$ converge faiblement vers $T$ et que leurs masses convergent ( $M(T_h) \to M(T)$ ), alors l'intégrale variationnelle paramétrique associée à un intégrande polyconvexe $f$ converge également : $F_f(T_h) \to F_f(T)$ .
Stratégie d'approximation : Pour établir la formule explicite pour $\tilde{F}_{BV}$ , les auteurs vérifient que pour des classes spécifiques d'applications, il existe une séquence de récupération $\{u_h\}$ convergeant strictement en $BV$ telle que les courants de graphe associés $G_{u_h}$ convergent vers un courant de Cartésien optimal unique $T$ de masse minimale. En combinant la semi-continuité inférieure de l'énergie relaxée avec le résultat de continuité dérivé du théorème de Reshetnyak, ils équatent l'énergie relaxée à l'intégrale paramétrique évaluée sur ce courant unique.
Analyse du problème de Plateau : Pour des classes d'applications spécifiques (applications 0-homogènes et applications Lipschitziennes par morceaux), les auteurs utilisent des résultats concernant le problème de Plateau plan. Ils analysent la structure algébrique de la classe d'homotopie des données de bord pour déterminer quand la masse de la surface minimale coïncide avec la masse du courant associé, une condition nécessaire pour que la formule explicite soit valide.

Contributions principales et résultats

Théorème principal (Théorème 1.1 / Théorème 3.7) : L'article établit que si $u \in BV(\Omega; \mathbb{R}^2)$ admet un courant de Cartésien unique $T$ qui minimise la masse parmi tous les courants ayant l'application sous-jacente $u$ (une condition satisfaite en codimension $N=2$ sous convergence BV stricte), alors l'énergie relaxée pour tout intégrande polyconvexe continu $f$ est donnée explicitement par :
$\tilde{F}_{BV}(u, \Omega) = F_f(T)$
où $F_f(T)$ est l'intégrale variationnelle paramétrique associée à $f$ évaluée sur $T$ .
Formules explicites pour des classes spécifiques : Les auteurs appliquent ce résultat principal à trois classes spécifiques d'applications où la structure du courant optimal $T$ est connue, en s'appuyant sur les formules de représentation existantes pour la fonctionnelle d'aire relaxée :
1. Applications de Sobolev dans $S^1$ : Pour $u \in W^{1,1}(\Omega; S^1)$ , l'énergie relaxée est exprimée en termes du déterminant distributionnel (ou du courant $(n-2)$ $P(u)$ détectant les singularités). L'écart d'énergie est explicitement calculé comme une intégrale sur le courant vertical $P(u) \times [[D^2]]$ .
2. Applications 0-homogènes : Pour les applications de la forme $u_\gamma(x) = \gamma(x/|x|)$ , l'énergie relaxée implique un problème de Plateau singulier plan. Les auteurs fournissent des conditions suffisantes (propriété (H) sur la classe d'homotopie de $\gamma$ ) sous lesquelles l'écart d'énergie est explicitement calculable via la masse d'un courant spécifique lié à la surface minimale s'étendant à la courbe de bord.
3. Applications Lipschitziennes par morceaux : Pour les applications définies sur une partition du domaine avec un réseau d'interfaces, les auteurs dérivent une formule impliquant des intégrales sur les surfaces de saut et des contributions des points de jonction, à condition que les données de bord aux jonctions satisfont la propriété (H).
Relaxation $L^1$ de l'application vortex : L'article fournit des résultats partiels concernant la relaxation $L^1$ de l'application vortex $u_V(x) = x/|x|$ . Il est montré que pour des domaines suffisamment grands, l'écart d'énergie est déterminé par la masse d'un courant vertical supporté sur un disque dans l'espace cible, tandis que pour de petits domaines, l'écart est lié à une surface caténoïde. Les auteurs notent que la non-localité de la relaxation $L^1$ persiste dans ces cas.

Signification et affirmations
L'article fournit des formules de représentation intégrale explicites pour les énergies relaxées de type BV strictes de fonctionnelles polyconvexes générales à croissance linéaire, étendant les résultats connus pour la fonctionnelle d'aire à une classe plus large d'intégrandes.

Localité : Les auteurs soulignent qu'en codimension $N=2$ , la topologie BV stricte restaure la localité (la fonctionnelle relaxée devient la restriction d'une mesure de Borel), contrairement à la topologie $L^1$ . Cela permet la dérivation de formules explicites qui étaient auparavant indisponibles pour des intégrandes généraux, en s'appuyant sur les cas où la représentation de l'aire relaxée était déjà établie.
Extension de la continuité : Le travail étend les propriétés de continuité des énergies polyconvexes observées par Acerbi et Dal Maso dans le cadre de Sobolev au cadre BV, en exploitant spécifiquement l'unicité du courant limite en codimension 2.
Portée : Les résultats sont présentés comme valides pour de larges classes d'intégrandes (polyconvexes, croissance linéaire), mais sont tributaires de l'existence d'un courant de Cartésien optimal unique. Les auteurs reconnaissent explicitement que pour $N \ge 3$ ou pour des applications ne satisfaisant pas des conditions algébriques spécifiques (comme l'exemple du "double-huit"), l'unicité du courant limite peut faire défaut, et ainsi la formule explicite peut ne pas tenir ou nécessite une investigation plus approfondie.

L'article conclut en identifiant des questions ouvertes, particulièrement concernant l'extension de ces résultats aux cas où l'unicité de l'injection minimale dans le problème de Plateau échoue (par exemple, la courbe double-huit) et la caractérisation précise de la relaxation $L^1$ pour l'application vortex sur de petits domaines.

Articles similaires