Calderón's inverse problem via Vekua theory

Resumen Técnico: El Problema Inverso de Calderón mediante la Teoría de Vekua

Planteamiento del Problema
Este trabajo aborda el problema inverso de la conductividad de Calderón en un dominio acotado $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) con una frontera Lipschitz. El objetivo es recuperar una función de conductividad no nula $\sigma \in W^{1,\infty}(\Omega)$ a partir del mapa de Dirichlet-a-Neumann (DtN) $\Lambda_\sigma$. El mapa DtN se define por los valores de frontera de la solución $u_0$ de la ecuación de conductividad $\text{div}(\sigma \nabla u_0) = 0$, específicamente mapeando los datos de Dirichlet $\phi_0$ al dato de Neumann $\sigma \nabla u_0 \cdot \eta$. La cuestión central es si el mapa $\sigma \mapsto \Lambda_\sigma$ es inyectivo, es decir, si $\Lambda_f = \Lambda_g$ implica $f = g$ en $\Omega$.

Metodología
El artículo emplea el marco del análisis de Clifford para analizar el espacio de soluciones de la ecuación de Vekua. La metodología procede a través de los siguientes pasos:

1. Análisis de Clifford y Ecuaciones de Vekua: Los autores utilizan la álgebra de Clifford real $Cl_{0,n}$ y el operador de Moisil-Teodorescu $D$. Estudian la ecuación de Vekua generalizada $Dw = \alpha w$ (y sus variantes conjugadas), donde $\alpha$ está relacionada con la conductividad. Específicamente, para la ecuación de Vekua "principal", $\alpha = \nabla f / f$, donde $f$ es la conductividad.
2. Descomposición de Hodge: Basándose en trabajos previos [16], el artículo utiliza una descomposición de Hodge para los espacios de Vekua generalizados. Esto establece una descomposición ortogonal del espacio de Hilbert $L^2(\Omega, Cl_{0,n})$ en el espacio de soluciones de la ecuación de Vekua y la imagen de un operador específico que involucra la transformada de Teodorescu.
3. Fórmulas de Representación Integral: Una contribución técnica central es la derivación de las fórmulas de Borel-Pompeiu y de Cauchy parcial generalizadas. Estas fórmulas relacionan la parte escalar de una solución de Vekua con integrales de frontera que involucran soluciones fundamentales de los operadores asociados ($D - M_{\alpha}C$ y $D - \alpha C$).
4. Conexión con las Ecuaciones de Schrödinger y de Conductividad: El artículo establece una factorización que vincula el operador de Vekua principal con el operador de Schrödinger $-\Delta + q$, donde el potencial es $q = \Delta f / f$. Esto permite que la parte escalar de la solución de Vekua satisfaga la ecuación de conductividad.
5. Soluciones de Óptica Geométrica Compleja (CGO): Para la prueba de unicidad, los autores adaptan la construcción de soluciones CGO (originalmente de Pöivärinta, Panchenko y Uhlmann [26]) para conductividades en $W^{1,\infty}$. Estas soluciones son de la forma $u = e^{x \cdot \zeta}(f^{-1} + \psi)$, donde $\psi$ decae en un espacio de Sobolev ponderado.

Contribuciones Clave y Resultados

• Fórmulas Integrales para Soluciones de Vekua: El artículo deriva fórmulas de representación integral (Teorema 2, Corolario 3) que recuperan la parte escalar de las soluciones de Vekua a partir de sus valores de frontera. Estas fórmulas generalizan las fórmulas de Cauchy clásicas al entorno de Clifford e incorporan explícitamente los mapas DtN asociados tanto a la ecuación de conductividad como a la de Schrödinger.
• Identidad de Green-Vekua Generalizada: La Proposición 12 presenta una identidad generalizada que relaciona la diferencia de potenciales ($\Delta g/g - \Delta f/f$) con la diferencia de soluciones de las ecuaciones de Schrödinger asociadas. Esta identidad sirve como puente entre las mediciones de frontera y las propiedades internas de las conductividades.
• Unicidad para Conductividades en $W^{2,\infty}$ y $W^{1,\infty}$:
  • Para conductividades en $W^{2,\infty}(\Omega)$, el artículo proporciona una prueba alternativa de unicidad al demostrar que, si $\Lambda_f = \Lambda_g$, entonces los potenciales $\Delta f/f$ y $\Delta g/g$ son iguales, lo que implica $f=g$ dada la regularidad de la frontera (Lema 11).
  • Para el caso más general de conductividades Lipschitz ($W^{1,\infty}(\Omega)$), los autores demuestran que el mapa DtN determina unívocamente las soluciones de la ecuación de conductividad dentro del dominio (Proposición 14).
• Teorema Principal (Teorema 1): El artículo demuestra que para $n \geq 3$, si $f, g \in W^{1,\infty}(\Omega)$ son conductividades acotadas lejos de cero y $\Lambda_f = \Lambda_g$, entonces $f = g$ en $\Omega$. La prueba se basa en la equivalencia de las soluciones derivadas de las fórmulas integrales y el comportamiento asintótico de las soluciones CGO cuando $|\zeta| \to \infty$.

Significancia y Pretensiones
El artículo afirma ofrecer una perspectiva alternativa sobre la unicidad del problema de Calderón utilizando la teoría de Vekua dentro del análisis de Clifford. En lugar de depender únicamente de la reducción tradicional a la ecuación de Schrödinger mediante la transformación de Liouville, los autores demuestran cómo las fórmulas de representación integral para las soluciones de Vekua pueden producir directamente las identidades necesarias para probar la unicidad.

Los autores afirman que sus métodos proporcionan:

1. Una prueba alternativa de resultados de unicidad bien conocidos para conductividades en $W^{2,\infty}$ y $W^{1,\infty}$.
2. Un marco que puede ser adaptable a problemas inversos relacionados, como la ecuación de Maxwell anisotrópica.
3. Una demostración de que las extensiones únicas de las soluciones en $H^1(\Omega)$ están determinadas por las mediciones de frontera, complementando los resultados de identificabilidad existentes respecto a las soluciones de geometría compleja en el dominio exterior.

El trabajo no propone nuevas aplicaciones experimentales o extensiones futuras más allá del marco matemático de los problemas inversos y el análisis de Clifford, manteniendo el enfoque en el rigor teórico y el desarrollo de herramientas analíticas para los problemas inversos de conductividad.