Inverse problems for semilinear elliptic PDE with a general nonlinearity $a(x,u)$

Resumen Técnico: Problemas Inversos para EDPs Elípticas Semilineales con una No Linealidad General

Enunciado del Problema
El artículo aborda el problema inverso de recuperar una no linealidad general $a(x, u)$ en la ecuación elíptica semilineal
$$\Delta u + a(x, u) = 0 \quad \text{en } \Omega,$$
a partir de mediciones en la frontera de las soluciones. El dominio $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) es acotado con una frontera $C^\infty$. Se asume que la no linealidad $a$ pertenece a $C^k(\mathbb{R}, C^{2,\alpha}(\Omega))$ con $k \ge 3$. Los datos disponibles son el conjunto de datos de Cauchy (o una versión local del mismo), definido como el conjunto de pares $(u|_{\partial\Omega}, \partial_\nu u|_{\partial\Omega})$ para soluciones $u$ en una vecindad de una solución fija $w$.

La pregunta central es si los datos de Cauchy determinan la función $a(x, z)$ de manera única. Los autores señalan que la literatura previa ha establecido unicidad bajo condiciones restrictivas:

1. Métodos de linealización de primer orden (por ejemplo, [Isa93], [IS94]) requieren típicamente condiciones de signo como $a(x, 0)=0$ y $\partial_u a(x, u) \le 0$ para garantizar la buena posición y los principios del máximo.
2. Métodos de linealización de orden superior (por ejemplo, [FO20], [LLLS21a]) han eliminado las condiciones de signo, pero a menudo dependen de suposiciones de que $u \equiv 0$ es una solución ($a(x, 0)=0$) y de que el operador linealizado en cero está bien planteado (0 no es un valor propio de Dirichlet). Estos métodos generalmente recuperan la serie de Taylor de $a$ con respecto a $u$, requiriendo analiticidad real para recuperar $a$ completamente.

Metodología
Los autores desarrollan un marco que evita las suposiciones restrictivas de trabajos anteriores (específicamente las suposiciones (1.2)–(1.3) y (1.4)–(1.5) en la introducción). La metodología se basa en tres pilares técnicos principales:

1. Construcción de Aplicaciones Suaves de Soluciones:
   El núcleo del enfoque es construir una aplicación suave que parametrice las soluciones de la ecuación no lineal cerca de una solución fija $w$ utilizando soluciones de la ecuación linealizada. Sea $q(x) = \partial_u a(x, w)$. La ecuación linealizada es $\Delta v + qv = 0$.

   • Dado que el operador linealizado $\Delta + q$ puede no estar bien planteado (0 puede ser un valor propio), los autores utilizan la teoría de Fredholm. Definen un operador de solución que maneja las obstrucciones de dimensión finita (el núcleo $N_q$ y los datos de Neumann $\partial_\nu N_q$) proyectando sobre el complemento ortogonal del núcleo.
   • Utilizando el Teorema de la Función Implícita y un argumento de punto fijo (Lema 2.3), construyen una aplicación $C^{k-1}$ $S_{a,w}: V_q \to W_a$, donde $V_q$ es el espacio de soluciones de la ecuación linealizada y $W_a$ es la variedad de soluciones de la ecuación no lineal. Esta aplicación satisface $S_{a,w}(v) = w + v + O(\|v\|^2)$.

2. Estabilidad Cuantitativa y Segunda Aplicación de Soluciones:
   Para comparar dos no linealidades diferentes $a_1$ y $a_2$, los autores construyen una segunda aplicación de soluciones. Dada la inclusión de conjuntos locales de datos de Cauchy $C_{w, \delta}^{a_1} \subseteq C_{0, C}^{a_2}$, muestran que para cada solución $u_1$ de la primera ecuación cercana a $w$, existe una solución $u_2$ de la segunda ecuación con los mismos datos de Cauchy.

   • Crucialmente, demuestran que $u_2$ depende suavemente del parámetro $v$ de la ecuación linealizada de $a_1$. Esto se logra estableciendo estimaciones cuantitativas (Lema 3.3) que muestran que las soluciones de la ecuación semilineal están determinadas de manera estable por sus datos de Cauchy, utilizando estimaciones de Carleman.
   • Esto permite construir una aplicación $T_{a_2, w}$ parametrizada por las mismas soluciones linealizadas $v$ que $S_{a_1, w}$, asegurando que ambas aplicaciones compartan los mismos datos en la frontera.

3. Linealización y Argumentos de Densidad:

   • Primer Orden: Al diferenciar las ecuaciones para $u_1(v)$ y $u_2(v)$ con respecto al parámetro $v$ e integrar contra soluciones de las ecuaciones linealizadas adjuntas, los autores derivan una identidad integral que involucra la diferencia $\partial_u a_1 - \partial_u a_2$. Utilizando la biyectividad de las aplicaciones de soluciones y la densidad de productos de soluciones (aproximación de Runge), concluyen que las primeras derivadas de las no linealidades deben coincidir.
   • Orden Superior: Al diferenciar $k$ veces, derivan una identidad similar para las $k$-ésimas derivadas, siempre que las derivadas de orden inferior coincidan.

Contribuciones y Resultados Clave

• Teorema 1.1 (Unicidad cerca de una solución común): Si dos no linealidades $a_1$ y $a_2$ comparten una solución común $w$ y sus conjuntos locales de datos de Cauchy satisfacen una condición de inclusión, entonces $a_1(x, w(x) + \lambda) = a_2(x, w(x) + \lambda)$ para $\lambda$ pequeño. Este resultado se cumple para no linealidades generales sin requerir condiciones de signo en $\partial_u a$ ni la suposición de que $a(x, 0)=0$.
• Teorema 1.3 (Unicidad hasta gauge): Si $a_1$ y $a_2$ no comparten una solución común, los datos de Cauchy determinan $a_2$ en términos de $a_1$ hasta una transformación de gauge. Específicamente, $a_1(x, w_1(x) + \lambda) = T_\phi a_2(x, w_1(x) + \lambda)$, donde $T_\phi a(x, u) = \Delta \phi + a(x, u + \phi)$ y $\phi = w_2 - w_1$ es la diferencia entre las soluciones únicas de las dos ecuaciones que tienen los mismos datos en la frontera. Esto recupera la no linealidad precisamente hasta esta invariancia de gauge.
• Teorema 1.4 (Linealización de orden superior sin buena posición): Los autores demuestran que la linealización de orden superior puede aplicarse incluso cuando la ecuación linealizada en la solución de fondo no está bien planteada (es decir, sin asumir que 0 no es un valor propio de Dirichlet). Muestran que si las derivadas de orden inferior coinciden, las $k$-ésimas derivadas satisfacen una condición de ortogonalidad con respecto a productos de soluciones de la ecuación linealizada.

Significado y Afirmaciones
El artículo afirma mejorar los resultados existentes al eliminar la necesidad de condiciones de signo (como $\partial_u a \le 0$) y el requisito de que la solución de fondo sea cero o que el operador linealizado sea invertible.

• A diferencia de los resultados de linealización de primer orden que a menudo solo recuperan la no linealidad en un conjunto alcanzable restringido o requieren condiciones de signo, este trabajo establece unicidad (hasta gauge) en una vecindad completa de una solución fija $w$.
• A diferencia de los resultados de linealización de orden superior que típicamente recuperan solo la serie de Taylor de $a$ en $u=0$ (requiriendo analiticidad para una recuperación completa), este trabajo recupera la no linealidad $a(x, z)$ en sí misma cerca de $z = w(x)$ sin asumir analiticidad.
• El método se basa en construir una aplicación de soluciones "buena" que parametriza localmente las soluciones no lineales mediante las lineales, incluso en presencia de obstrucciones espectrales (valores propios), manejando cuidadosamente el núcleo de dimensión finita mediante la teoría de Fredholm.

Los autores señalan que los resultados son válidos para no linealidades generales y que la invariancia de gauge observada es consistente con hallazgos previos (por ejemplo, [Sun10]) cuando no existe una solución común. El trabajo extiende la aplicabilidad de las técnicas de problemas inversos a una clase más amplia de ecuaciones elípticas semilineales donde el operador linealizado puede ser singular.