Inverse Problems for the Monge--Ampère Equation: Linearization and Nonlinear Recovery

Resumen Técnico: Problemas Inversos para la Ecuación de Monge–Ampère: Linealización y Recuperación No Lineal

Enunciado del Problema
Este trabajo investiga problemas de valor de frontera inversos para la ecuación de Monge–Ampère totalmente no lineal:
$$\det D^2 u = a(x, u, \nabla u) \quad \text{en } \Omega,$$
donde $\Omega \subset \mathbb{R}^n$ es un dominio acotado y $a$ es una no linealidad desconocida. Motivado por el problema clásico de Calderón (tomografía de impedancia eléctrica), los autores se preguntan si el "jet" de la no linealidad $a$ a lo largo de una solución de fondo estrictamente convexa $\Phi$ puede recuperarse a partir de mediciones de frontera. Específicamente, el objetivo es determinar las derivadas de $a$ con respecto a sus argumentos $(x, z, p)$ a lo largo de la trayectoria $(x, \Phi(x), \nabla \Phi(x))$ utilizando el conjunto de datos de Cauchy no lineal.

A diferencia de las ecuaciones semilineales o cuasilineales, las ecuaciones totalmente no lineales generalmente carecen de un mapa de Dirichlet-a-Neumann (DN) canónico y no se conectan naturalmente con problemas inversos lineales. La ecuación de Monge–Ampère presenta un desafío único debido a su naturaleza totalmente no lineal, pero posee una estructura de divergencia a través de la matriz de cofactores del Hessiano, la cual los autores explotan para establecer un marco sistemático.

Metodología
Los autores desarrollan un marco sistemático de linealización de orden superior alrededor de una solución de fondo estrictamente convexa $\Phi$. El enfoque procede en tres etapas principales:

1. Bien Posebilidad Local y Dependencia Suave:
   Los autores establecen primero la bien posebilidad local del problema de Dirichlet para datos de frontera cercanos a $\Phi|_{\partial \Omega}$. Demuestran que el operador de solución $S: \eta \mapsto u_\eta$ es suave ($C^k$) con respecto a los datos de frontera. Esto permite la derivación de fórmulas explícitas para las derivadas de Fréchet de orden superior del operador de solución.

2. Linealización de los Datos de Cauchy:
   Se define un conjunto de datos de Cauchy no lineal como la colección de pares $(\eta, \partial_\nu u_\eta|_{\partial \Omega})$ para datos de frontera $\eta$ cercanos a $\Phi|_{\partial \Omega}$. Los autores muestran que la primera variación de este conjunto de datos no lineales coincide con el conjunto de datos de Cauchy de un operador elíptico lineal $L_\Phi$ que gobierna la ecuación linealizada:
   $$L_\Phi v = \text{div}(C_\Phi \nabla v) - b_\Phi \cdot \nabla v - q_\Phi v = 0,$$
   donde los coeficientes están determinados por la solución de fondo y la no linealidad:

   • $C_\Phi = \text{cof } D^2 \Phi$ (la matriz de cofactores del Hessiano),
   • $b_\Phi = \nabla_p a(x, \Phi, \nabla \Phi)$,
   • $q_\Phi = \partial_z a(x, \Phi, \nabla \Phi)$.

   Crucialmente, la parte principal de este operador linealizado es anisotrópica, determinada por la matriz de cofactores $C_\Phi$.

3. Reducción e Identidades de Orden Superior:
   Utilizando una identidad de tipo Alessandrini, los autores establecen un principio de reducción: la igualdad de los conjuntos de datos de Cauchy no lineales implica la igualdad de los mapas DN linealizados correspondientes. Esto reduce el problema inverso no lineal a un problema inverso de tipo Calderón anisotrópico para el operador $L_\Phi$.

   Para las derivadas de orden superior, los autores derivan identidades integrales que involucran productos de soluciones de la ecuación linealizada y su adjunta. Bajo supuestos de densidad adecuados para estos productos, estas identidades permiten la recuperación de las derivadas de orden superior $d^k_{(z,p)} a(x, \Phi, \nabla \Phi)$ a lo largo del jet de la trayectoria.

Resultados Clave

• Recuperación de Primer Orden: Si dos no linealidades $a_1$ y $a_2$ generan el mismo conjunto de datos de Cauchy no lineal cerca de una solución de fondo $\Phi$, entonces los mapas DN de sus operadores linealizados asociados coinciden. Consecuentemente, las cantidades $\partial_z a(x, \Phi, \nabla \Phi)$ y $\nabla_p a(x, \Phi, \nabla \Phi)$ están determinadas a lo largo del jet de fondo, hasta la invariancia de calibre natural del problema de Calderón anisotrópico (difeomorfismos que fijan la frontera).
• Recuperación de Orden Superior: Si la solución de fondo está fija ($\Phi_1 = \Phi_2 = \Phi$) y se sabe que las derivadas de orden inferior de $a$ coinciden, las identidades de linealización de orden superior permiten la recuperación de las derivadas superiores $d^k_{(z,p)} a(x, \Phi, \nabla \Phi)$. Esto depende de una propiedad de densidad de los productos de las soluciones de la ecuación linealizada y su adjunta.
• Aplicaciones Específicas:
  • Caso Semilineal: Si $a$ es independiente de $\nabla u$ (semilineal), el operador linealizado se reduce a una ecuación de Schrödinger. En dimensiones $n \ge 3$, esto produce unicidad para la derivada de primer orden $\partial_z a$ a lo largo de fondos cuadráticos ($\Phi(x) = |x|^2/2$).
  • Transporte Óptimo: Para las no linealidades que surgen en el transporte óptimo, específicamente en la configuración de equilibrio $\Phi(x) = |x|^2/2$, la ecuación linealizada se reduce a una ecuación de conductividad isotrópica estándar. Esto establece un vínculo directo con el problema clásico de Calderón, permitiendo la recuperación de densidades de transporte.
  • Problemas de Fuente Inversa: En el caso donde $a(x, u, \nabla u) = f(x)$, el problema se reduce a recuperar el término de fuente $f(x)$, lo cual está vinculado a las propiedades de rigidez de la clase de matrices de cofactores de funciones estrictamente convexas.

Significancia y Reivindicaciones
El artículo afirma proporcionar el primer estudio sistemático de los problemas inversos para las ecuaciones de Monge–Ampère totalmente no lineales desde la perspectiva de las mediciones de frontera de tipo Calderón. Su contribución primaria es demostrar que, a pesar de la naturaleza totalmente no lineal de la ecuación, el problema inverso puede reducirse sistemáticamente a una familia de problemas inversos lineales anisotrópicos mediante la linealización de orden superior.

Los autores enfatizan que su enfoque tiende un puente entre las EDP totalmente no lineales y los problemas inversos lineales, aprovechando la estructura de divergencia específica del operador de Monge–Ampère. Si bien la recuperación de la no linealidad completa depende de la resolubilidad del problema de Calderón anisotrópico asociado (lo cual permanece abierto en dimensiones generales sin supuestos geométricos adicionales), el artículo establece que los datos no lineales determinan los coeficientes linealizados hasta el calibre natural. Además, demuestra que bajo configuraciones geométricas específicas (como fondos cuadráticos) y supuestos estructurales (semilinealidades o equilibrios de transporte óptimo), se pueden obtener resultados de unicidad incondicional, recuperando la expansión de Taylor completa de la no linealidad a lo largo de la trayectoria de fondo.