An inverse source problem for the Monge--Ampere equation from large boundary data

Resumen Técnico: Un Problema Inverso de la Fuente para la Ecuación de Monge–Ampère a partir de Datos de Frontera Grandes

Enunciado del Problema
Este artículo aborda el problema inverso de la fuente para la ecuación de Monge–Ampère en un dominio $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) acotado, suave y uniformemente convexo. La ecuación está dada por:
$$\det D^2 u = f(x) \quad \text{en } \Omega,$$
donde el término de la fuente $f$ es una función positiva y suave. El objetivo es determinar si la fuente $f$ está determinada de forma única por el mapa de Dirichlet-a-Neumann (DN) $\Lambda_f$, que mapea los datos de frontera $g$ a la derivada normal de la solución estrictamente convexa única $u_g$:
$$\Lambda_f(g) = \partial_\nu u_g|_{\partial\Omega}.$$
Específicamente, los autores investigan si $\Lambda_{f_1} = \Lambda_{f_2}$ implica $f_1 = f_2$ dentro de la clase de fuentes suaves y positivas.

Metodología
Los autores emplean un enfoque asintótico de "datos grandes", distinto del método estándar de linealización de orden superior utilizado para ecuaciones semilineales. La metodología procede a través de los siguientes pasos:

1. Datos de Frontera Cilíndricos Grandes: En lugar de perturbar alrededor de una solución cero o pequeña, los autores prescriben una familia de valores de frontera grandes parametrizados por $t \gg 1$. Para una dirección fija $\omega \in S^{n-1}$, los datos de frontera se definen como:
   $$g_{t,\omega} = t \phi_\omega|_{\partial\Omega}, \quad \text{donde } \phi_\omega(x) = \frac{1}{2}|P_{\omega^\perp} x|^2.$$
   El perfil $\phi_\omega$ es estrictamente convexo en las direcciones transversales a $\omega$, pero degenerado (lineal) en la dirección $\omega$.

2. Expansión Asintótica: Se analiza la solución $u_{t,\omega}$ correspondiente a los datos grandes $g_{t,\omega}$ mediante una expansión asintótica:
   $$u_{t,\omega} = t\phi_\omega + t^{1-n}w_\omega + r_{t,\omega},$$
   donde $w_\omega$ es un término de "corrección de cuerda" (chordwise correction). El término principal $t\phi_\omega$ captura la convexidad transversal, mientras que la primera corrección $t^{1-n}w_\omega$ da cuenta de la convexidad longitudinal faltante necesaria para satisfacer la ecuación de Monge–Ampère con la fuente $f$.

3. Reducción a un Problema 1D: Se demuestra que el término de corrección $w_\omega$ satisface un problema de Dirichlet unidimensional a lo largo de las cuerdas de $\Omega$ paralelas a $\omega$. Específicamente, para una cuerda parametrizada por $s$ (donde $x = y + s\omega$), $w_\omega$ satisface:
   $$\partial_s^2 w_\omega(y, s) = f(y + s\omega), \quad w_\omega(y, s_\pm(y)) = 0,$$
   donde $s_\pm(y)$ son los extremos de la cuerda.

4. Análisis de Medición de Frontera: Al analizar el comportamiento de la derivada normal $\partial_\nu u_{t,\omega}$ en la frontera no de incidencia (non-glancing), los autores muestran que el mapa DN determina los valores de frontera de $\partial_\nu w_\omega$. Usando el teorema fundamental del cálculo en la ecuación de la cuerda, estas derivadas de frontera están directamente relacionadas con la integral de línea de la fuente $f$ a lo largo de la cuerda:
   $$\int_{s_-(y)}^{s_+(y)} f(y + s\omega) \, ds = \partial_s w_\omega(y, s_+(y)) - \partial_s w_\omega(y, s_-(y)).$$

5. Inyectividad de la Transformada de Rayos X: La igualdad de los mapas DN para la familia de datos grandes implica la igualdad de las transformadas de Rayos X euclidianas (transformada de Radon restringida a líneas) de las dos fuentes $f_1$ y $f_2$. Los autores utilizan el teorema de la sección de Fourier estándar para concluir que, si las transformadas de Rayos X son idénticas, las fuentes deben ser idénticas.

Contribuciones Clave y Resultados

• Teorema de Unicidad (Teorema 1.1): El resultado principal establece que si $\Lambda_{f_1}(g) = \Lambda_{f_2}(g)$ para todos los datos de frontera suaves $g$, entonces $f_1 = f_2$. Crucialmente, la demostración demuestra que la unicidad se mantiene incluso si los mapas DN solo se conocen para la familia restringida de valores de frontera cilíndricos grandes $g_{t,\omega}$.
• Rigor Asintótico (Teorema 3.3): El artículo proporciona estimaciones rigurosas $L^\infty$ para la diferencia entre la solución real y el ansatz asintótico $t\phi_\omega + t^{1-n}w_\omega$. Demuestra que el error es de orden $O(t^{1-2n})$ en el interior (bulk) y de orden $O(t^{1-n-n/2})$ para la derivada normal en subconjuntos compactos de la frontera no de incidencia.
• Manejo de Puntos de Incidencia (Glancing Points): Una contribución técnica significativa es el análisis del comportamiento del término de corrección de cuerda $w_\omega$ cerca de los puntos de incidencia (donde la cuerda es tangente a la frontera). Los autores demuestran que, a pesar de que la parametrización de los extremos se vuelve singular en estos puntos, la función $w_\omega$ se extiende suavemente a todo el dominio $\Omega$, asegurando la validez de la expansión asintótica globalmente.
• Generalidad Dimensional: A diferencia de trabajos previos restringidos a dos dimensiones (por ejemplo, [29]), este método es válido para todas las dimensiones $n \ge 2$.

Significado y Reivindicaciones
El artículo afirma proporcionar un nuevo mecanismo para resolver problemas inversos de la fuente para ecuaciones totalmente no lineales de tipo Monge–Ampère. El significado radica en:

1. Cambio Metodológico: Alejarse de la linealización en soluciones pequeñas (que conduce a coeficientes linealizados que dependen del Hessiano de la solución de fondo) hacia un régimen asintótico de datos grandes. Esto evita los problemas de degeneración asociados con la linealización en cero o en soluciones pequeñas en problemas cuasilineales.
2. Reducción Geométrica Directa: El método reduce el problema inverso no lineal directamente a la inyectividad de la transformada de Rayos X euclidiana mediante la geometría de las cuerdas, evitando la necesidad de recuperar coeficientes intermedios.
3. Completitud: El resultado confirma que el mapa DN completo no es estrictamente necesario para la unicidad; una familia específica y físicamente motivada de mediciones de frontera grandes es suficiente para recuperar la fuente de forma única.

Los autores señalan que su enfoque es distinto al método de [29], el cual linealiza en soluciones no nulas y recupera la matriz Hessiana antes de tomar el determinante. En contraste, el enfoque de este artículo de parámetros grandes extrae directamente las integrales de la fuente a partir del término de corrección de primer orden.