An Inverse Problem for the Prescribed Mean Curvature

Résumé Technique : Un problème inverse pour la courbure moyenne prescrite

Énoncé du problème
Cet article traite du problème inverse de la source pour l'équation de la courbure moyenne prescrite (PMC) en deux dimensions. L'équation directrice sur un domaine borné $\Omega \subset \mathbb{R}^2$ est donnée par :
$$\nabla \cdot \left[ \frac{\nabla u}{(1 + |\nabla u|^2)^{1/2}} \right] = H(x),$$
où $H \in C^\alpha(\Omega)$ est la fonction source représentant la courbure moyenne prescrite. L'objectif est de déterminer la fonction source $H$ de manière unique à partir de la carte de Dirichlet-à-Neumann (DN) $\Lambda_H$. La carte DN associe une valeur limite de Dirichlet $f$ à la dérivée normale $\partial_\nu u|_{\partial\Omega}$ de la solution $u$. Les auteurs établissent que si les cartes DN pour deux fonctions sources $H$ et $\tilde{H}$ coïncident pour des données aux limites suffisamment proches d'une valeur de fond fixe $f_0$, et si $H$ et $\tilde{H}$ sont identiques à un ordre élevé sur le bord, alors $H = \tilde{H}$ dans tout $\Omega$.

Méthodologie
La preuve repose sur une combinaison de techniques de linéarisation d'ordre supérieur, de l'analyse des équations linéarisées résultantes et de solutions de géométrie complexe (CGO). La méthodologie se déroule en plusieurs étapes distinctes :

1. Première linéarisation et interprétation géométrique :
   Les auteurs linéarisent l'équation PMC quasilinéaire autour d'une solution de fond $u_0$ correspondant à une valeur limite de Dirichlet fixe $f_0$. La première linéarisation produit une équation de conductivité anisotrope :
   $$\nabla \cdot (g^{-1} \nabla v) = 0,$$
   où le tenseur métrique $g$ dépend explicitement du gradient de la solution de fond $\nabla u_0$. Plus précisément, $g^{-1}$ correspond à une métrique riemannienne dérivée de la métrique euclidienne et du gradient de $u_0$. Cela transforme le problème inverse pour l'équation non linéaire en un problème inverse pour une équation linéaire avec des coefficients dépendant de la solution de fond inconnue.

2. Information de bord et invariance de jauge :
   En utilisant l'hypothèse selon laquelle les cartes DN coïncident, les auteurs déduisent que les métriques $g$ et $\tilde{g}$ associées à $H$ et $\tilde{H}$ sont liées par un difféomorphisme conforme $\phi: \Omega \to \Omega$ tel que $g = \lambda \phi^* \tilde{g}$. En analysant le comportement au bord et en utilisant les propriétés de continuation unique, ils montrent que $\phi$ fixe le bord à un ordre infini et que les modules des gradients des solutions de fond sont liés par $|\nabla u_0| = |\nabla \tilde{u}_0| \circ \phi$.

3. Seconde linéarisation et identités intégrales :
   Pour briser l'invariance de jauge restante et établir l'égalité des gradients complets ($\nabla u_0 = \nabla \tilde{u}_0$), les auteurs effectuent une seconde linéarisation. Celle-ci produit un système couplé impliquant une identité intégrale sur $\Omega$ de la forme :
   $$\int_\Omega T \cdot \mathcal{L}(v_0, v_1, v_2) \, dV_g = 0,$$
   où $T$ est un champ de vecteurs défini par la différence entre les gradients transformés des solutions de fond, et $v_0, v_1, v_2$ sont des solutions de la première équation linéarisée. Le terme $\mathcal{L}$ implique des gradients et des laplaciens de ces solutions.

4. Solutions de géométrie complexe (CGO) :
   Les auteurs construisent des solutions CGO spécifiques pour l'équation de type Schrödinger associée à la métrique $g$. Ces solutions sont de la forme $v = e^{\Phi/h}(a + r_h)$, où $\Phi$ est une fonction de Morse holomorphe, $a$ est une amplitude holomorphe, et $r_h$ est un terme de correction. En choisissant des solutions avec des comportements de phase spécifiques (certaines avec des points critiques, d'autres sans), ils effectuent une analyse asymptotique lorsque le paramètre $h \to 0$. Cette analyse isole les termes d'ordre dominant de l'identité intégrale, sondant efficacement le champ de vecteurs $T$ aux points intérieurs.

5. Unicité via la rigidité de type Liouville :
   L'analyse asymptotique conduit à un système d'équations impliquant que les composantes de $T$ satisfont une équation aux dérivées partielles elliptiques. Combiné au fait que $T$ s'annule à un ordre élevé sur le bord (déduit de l'accord des limites de $H$ et $\tilde{H}$), les principes de continuation unique forcent $T \equiv 0$ dans $\Omega$. Cela implique $\nabla u_0 = \nabla \tilde{u}_0$. Enfin, un résultat d'unicité de type Liouville pour les applications conformes en deux dimensions est appliqué pour montrer que le difféomorphisme $\phi$ doit être l'identité, prouvant ainsi $H = \tilde{H}$.

Contributions clés et résultats

• Premier traitement des problèmes de source inverse pour les équations quasilinéaires : L'article présente le premier traitement rigoureux d'un problème de source inverse pour une équation elliptique quasilinéaire. Les travaux précédents dans ce domaine se concentraient largement sur les équations linéaires ou sur les problèmes inverses pour les termes non linéaires sans termes sources.
• Dérivation de systèmes non linéaires couplés : Les auteurs dérivent un système couplé d'équations aux dérivées parties algébriques et géométriques à partir de mesures aux limites. Ce système lie la fonction source au gradient de la solution de fond et au facteur conforme de la métrique.
• Théorème d'unicité : Le résultat principal (Théorème 1.1) prouve la détermination unique de la fonction source $H$ en deux dimensions à partir de la carte DN, à condition que les sources soient identiques à un ordre élevé sur le bord.
• Application de la théorie de Calderón anisotrope : Ce travail démontre une nouvelle application de la théorie du problème de Calderón anisotrope. Bien que l'équation PMC originale soit posée sur un domaine euclidien, sa linéarisation conduit naturellement à une équation de conductivité anisotrope avec une métrique dépendant de la solution, jetant un pont entre les problèmes inverses non linéaires et les problèmes inverses géométriques.

Signification et motivation
Les auteurs positionnent ce travail comme une étape fondamentale vers la résolution de problèmes inverses pour des équations elliptiques quasilinéaires générales de la forme $\nabla \cdot (A(\nabla u)\nabla u) = H(x)$. L'équation de la courbure moyenne prescrite sert d'exemple prototypique.

L'article souligne la pertinence physique de l'équation PMC pour modéliser des surfaces sous tension équilibrée avec des forces externes, telles que les bulles de savon avec pression interne, les surfaces capillaires et les membranes biologiques. De plus, les auteurs notent l'importance croissante des problèmes inverses pour les surfaces minimales (le cas $H=0$) en physique théorique, spécifiquement dans le cadre de la dualité AdS/CFT, où les outils mathématiques traditionnels ont parfois été insuffisants. En étendant ces techniques au cas de la courbure moyenne prescrite, l'article contribue à la boîte à outils mathématiques disponible pour de telles applications physiques.

La contribution méthodologique réside dans l'intégration réussie de la linéarisation d'ordre supérieur avec les solutions CGO pour gérer la structure spécifique des équations quasilinéaires, surmontant les défis posés par la non-linéarité et le terme source. Les auteurs soulignent que des systèmes similaires d'équations couplées apparaîtront probablement dans d'autres problèmes inverses pour les équations quasilinéaires, suggérant une applicabilité plus large de leur approche.