An Inverse Problem for the Prescribed Mean Curvature

Resumen Técnico: Un Problema Inverso para la Curvatura Media Prescrita

Enunciado del Problema
Este artículo aborda el problema inverso de la fuente para la ecuación de la curvatura media prescrita (PMC, por sus siglas en inglés) en dos dimensiones. La ecuación gobernante en un dominio acotado $\Omega \subset \mathbb{R}^2$ viene dada por:
$$\nabla \cdot \left[ \frac{\nabla u}{(1 + |\nabla u|^2)^{1/2}} \right] = H(x),$$
donde $H \in C^\alpha(\Omega)$ es la función fuente que representa la curvatura media prescrita. El objetivo es determinar la función fuente $H$ de manera única a partir del mapa de Dirichlet-a-Neumann (DN) $\Lambda_H$. El mapa DN asigna un valor de frontera $f$ a la derivada normal $\partial_\nu u|_{\partial\Omega}$ de la solución $u$. Los autores establecen que si los mapas DN para dos funciones fuente $H$ y $\tilde{H}$ coinciden para datos de frontera suficientemente cercanos a un valor de fondo fijo $f_0$, y si $H$ y $\tilde{H}$ concuerdan en un orden alto en la frontera, entonces $H = \tilde{H}$ en todo $\Omega$.

Metodología
La demostración se basa en una combinación de técnicas de linealización de orden superior, el análisis de las ecuaciones linealizadas resultantes y soluciones de óptica geométrica compleja (CGO). La metodología procede en varias etapas distintas:

1. Primera Linealización e Interpretación Geométrica:
   Los autores linealizan la ecuación no lineal de la PMC alrededor de una solución de fondo $u_0$ correspondiente a un valor de frontera fijo $f_0$. La primera linealización produce una ecuación de conductividad anisotrópica:
   $$\nabla \cdot (g^{-1} \nabla v) = 0,$$
   donde el tensor métrico $g$ depende explícitamente del gradiente de la solución de fondo, $\nabla u_0$. Específicamente, $g^{-1}$ corresponde a una métrica de Riemann derivada de la métrica euclidiana y del gradiente de $u_0$. Esto transforma el problema inverso para la ecuación no lineal en un problema inverso para una ecuación lineal con coeficientes que dependen de la solución de fondo desconocida.

2. Información de Frontera e Invarianza de Calibre:
   Utilizando la suposición de que los mapas DN coinciden, los autores deducen que las métricas $g$ y $\tilde{g}$ asociadas con $H$ y $\tilde{H}$ están relacionadas por una difeomorfismo conformal $\phi: \Omega \to \Omega$ tal que $g = \lambda \phi^* \tilde{g}$. Al analizar el comportamiento en la frontera y utilizar propiedades de continuación única, demuestran que $\phi$ fija la frontera hasta un orden infinito y que las magnitudes de los gradientes de las soluciones de fondo están relacionadas por $|\nabla u_0| = |\nabla \tilde{u}_0| \circ \phi$.

3. Segunda Linealización e Identidades Integrales:
   Para romper la invarianza de calibre restante y establecer la igualdad total de los gradientes ($\nabla u_0 = \nabla \tilde{u}_0$), los autores realizan una segunda linealización. Esto produce un sistema acoplado que involucra una identidad integral sobre $\Omega$ de la forma:
   $$\int_\Omega T \cdot \mathcal{L}(v_0, v_1, v_2) \, dV_g = 0,$$
   donde $T$ es un campo vectorial definido por la diferencia entre los gradientes transformados de las soluciones de fondo, y $v_0, v_1, v_2$ son soluciones de la primera ecuación linealizada. El término $\mathcal{L}$ involucra gradientes y laplacianos de estas soluciones.

4. Soluciones de Óptica Geométrica Compleja (CGO):
   Los autores construyen soluciones CGO específicas para la ecuación de tipo Schrödinger asociada con la métrica $g$. Estas soluciones tienen la forma $v = e^{\Phi/h}(a + r_h)$, donde $\Phi$ es una función de Morse holomorfa, $a$ es una amplitud holomorfa y $r_h$ es un término de corrección. Al elegir soluciones con comportamientos de fase específicos (algunas con puntos críticos, otras sin ellos), realizan un análisis asintótico conforme el parámetro $h \to 0$. Este análisis aísla los términos de orden principal de la identidad integral, sondeando efectivamente el campo vectorial $T$ en puntos interiores.

5. Unicidad mediante Rigidez de Tipo Liouville:
   El análisis asintótico conduce a un sistema de ecuaciones que implica que los componentes de $T$ satisfacen una ecuación diferencial parcial elíptica. Combinado con el hecho de que $T$ se anula hasta un orden alto en la frontera (derivado de la concordancia de la frontera de $H$ y $\tilde{H}$), los principios de continuación única fuerzan que $T \equiv 0$ en $\Omega$. Esto implica $\nabla u_0 = \nabla \tilde{u}_0$. Finalmente, se aplica un resultado de unicidad de tipo Liouville para mapeos conformales en dos dimensiones para mostrar que el difeomorfismo $\phi$ debe ser el mapa identidad, probando así que $H = \tilde{H}$.

Contribuciones Clave y Resultados

• Primer Tratamiento de Problemas Inversos de la Fuente para Ecuaciones Cuasilineales: El artículo presenta el primer tratamiento riguroso de un problema inverso de la fuente para una ecuación elíptica cuasilineal. Trabajos previos en este dominio se centraron principalmente en ecuaciones lineales o problemas inversos para términos no lineales sin términos de fuente.
• Derivación de Sistemas No Lineales Acoplados: Los autores derivan un sistema acoplado de ecuaciones diferenciales parciales algebraicas y geométricas a partir de mediciones de frontera. Este sistema vincula la función fuente con el gradiente de la solución de fondo y el factor conformal de la métrica.
• Teorema de Unicidad: El resultado principal (Teorema 1.1) demuestra la determinación única de la función fuente $H$ en dos dimensiones a partir del mapa DN, siempre que las fuentes concuerden en un orden alto en la frontera.
• Aplicación de la Teoría de Calderón Anisotrópica: El trabajo demuestra una aplicación novedosa de la teoría del problema de Calderón anisotrópico. Aunque la ecuación PMC original está planteada en un dominio euclidiano, su linealización conduce naturalmente a una ecuación de conductividad anisotrópica con una métrica dependiente de la solución, tendiendo un puente entre los problemas inversos no lineales y los problemas inversos geométricos.

Significancia y Motivación
Los autores posicionan este trabajo como un paso fundacional hacia la resolución de problemas inversos para ecuaciones elípticas cuasilineales generales de la forma $\nabla \cdot (A(\nabla u)\nabla u) = H(x)$. La ecuación de la curvatura media prescrita sirve como un ejemplo prototípico de esto.

El artículo destaca la relevancia física de la ecuación PMC para modelar superficies bajo tensión equilibrada con fuerzas externas, como burbujas de jabón con presión interna, superficies capilares y membranas biológicas. Además, los autores señalan la creciente importancia de los problemas inversos para superficies mínimas (el caso $H=0$) en la física teórica, específicamente dentro del marco de la dualidad AdS/CFT, donde las herramientas matemáticas tradicionales a veces han sido insuficientes. Al extender estas técnicas al caso de la curvatura media prescrita, el artículo contribuye al conjunto de herramientas matemáticas disponibles para tales aplicaciones físicas.

La contribución metodológica reside en la integración exitosa de la linealización de orden superior con las soluciones CGO para manejar la estructura específica de las ecuaciones cuasilineales, superando los desafíos planteados por la no linealidad y el término de fuente. Los autores enfatizan que sistemas similares de ecuaciones acopladas probablemente surgirán en otros problemas inversos para ecuaciones cuasilineales, sugiriendo la aplicabilidad más amplia de su enfoque.