Calderón's inverse problem via Vekua theory

Resumo Técnico: O Problema Inverso de Calderón via Teoria de Vekua

Enunciado do Problema
Este trabalho aborda o problema inverso de condutividade de Calderón em um domínio limitado $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) com uma fronteira Lipschitz. O objetivo é recuperar uma função de condutividade não nula $\sigma \in W^{1,\infty}(\Omega)$ a partir do mapa Dirichlet-para-Neumann (DtN) $\Lambda_\sigma$. O mapa DtN é definido pelos valores de contorno da solução $u_0$ da equação de condutividade $\text{div}(\sigma \nabla u_0) = 0$, especificamente mapeando os dados de Dirichlet $\phi_0$ para os dados de Neumann $\sigma \nabla u_0 \cdot \eta$. A questão central é se o mapa $\sigma \mapsto \Lambda_\sigma$ é injetivo, ou seja, se $\Lambda_f = \Lambda_g$ implica $f = g$ em $\Omega$.

Metodologia
O artigo utiliza o arcabouço da análise de Clifford para analisar o espaço de soluções da equação de Vekua. A metodologia procede através dos seguintes passos:

1. Análise de Clifford e Equações de Vekua: Os autores utilizam a álgebra de Clifford real $Cl_{0,n}$ e o operador de Moisil-Teodorescu $D$. Eles estudam a equação de Vekua generalizada $Dw = \alpha w$ (e suas variantes conjugadas), onde $\alpha$ está relacionado à condutividade. Especificamente, para a equação de Vekua "principal", $\alpha = \nabla f / f$, onde $f$ é a condutividade.
2. Decomposição de Hodge: Baseando-se em trabalhos anteriores [16], o artigo utiliza uma decomposição de Hodge para espaços de Vekua generalizados. Isso estabelece uma decomposição ortogonal do espaço de Hilbert $L^2(\Omega, Cl_{0,n})$ no espaço das soluções da equação de Vekua e na imagem de um operador específico envolvendo a transformada de Teodorescu.
3. Fórmulas de Representação Integral: Uma contribuição técnica central é a derivação de fórmulas de Borel-Pompeiu generalizadas e fórmulas integrais de Cauchy parciais. Essas fórmulas relacionam a parte escalar de uma solução de Vekua a integrais de contorno envolvendo soluções fundamentais dos operadores associados ($D - M_{\alpha}C$ e $D - \alpha C$).
4. Conexão com as Equações de Schrödinger e de Condutividade: O artigo estabelece uma fatoração que liga o operador de Vekua principal ao operador de Schrödinger $-\Delta + q$, onde o potencial é $q = \Delta f / f$. Isso permite que a parte escalar da solução de Vekua satisfaça a equação de condutividade.
5. Soluções de Geometria Complexa Óptica (CGO): Para a prova de unicidade, os autores adaptam a construção de soluções CGO (originalmente de Pöivärinta, Panchenko e Uhlmann [26]) para condutividades em $W^{1,\infty}$. Essas soluções são da forma $u = e^{x \cdot \zeta}(f^{-1} + \psi)$, onde $\psi$ decai em um espaço de Sobolev ponderado.

Principais Contribuições e Resultados

• Fórmulas de Representação Integral para Soluções de Vekua: O artigo deriva fórmulas de representação integral (Teorema 2, Corolário 3) que recuperam a parte escalar das soluções de Vekua a partir de seus valores de contorno. Essas fórmulas generalizam as fórmulas de Cauchy clássicas para o cenário de Clifford e incorporam explicitamente os mapas DtN associados tanto à equação de condutividade quanto à de Schrödinger.
• Identidade de Green-Vekua Generalizada: A Proposição 12 apresenta uma identidade generalizada que relaciona a diferença de potenciais ($\Delta g/g - \Delta f/f$) com a diferença de soluções das equações de Schrödinger associadas. Esta identidade serve como uma ponte entre as medições de contorno e as propriedades internas das condutividades.
• Unicidade para Condutividades $W^{2,\infty}$ e $W^{1,\infty}$:
  • Para condutividades em $W^{2,\infty}(\Omega)$, o artigo fornece uma prova alternativa de unicidade ao mostrar que, se $\Lambda_f = \Lambda_g$, então os potenciais $\Delta f/f$ e $\Delta g/g$ são iguais, o que implica $f=g$ dada a regularidade de contorno (Lema 11).
  • Para o caso mais geral de condutividades Lipschitz ($W^{1,\infty}(\Omega)$), os autores provam que o mapa DtN determina unicamente as soluções da equação de condutividade dentro do domínio (Proposição 14).
• Teorema Principal (Teorema 1): O artigo prova que, para $n \geq 3$, se $f, g \in W^{1,\infty}(\Omega)$ são condutividades limitadas longe de zero e $\Lambda_f = \Lambda_g$, então $f = g$ em $\Omega$. A prova baseia-se na equivalência das soluções derivadas das fórmulas integrais e no comportamento assintótico das soluções CGO conforme $|\zeta| \to \infty$.

Significância e Alegações
O artigo afirma oferecer uma perspectiva alternativa sobre a unicidade do problema de Calderón utilizando a teoria de Vekua dentro da análise de Clifford. Em vez de depender exclusivamente da tradicional redução à equação de Schrödinger via transformação de Liouville, os autores demonstram como as fórmulas de representação integral para soluções de Vekua podem diretamente produzir as identidades necessárias para provar a unicidade.

Os autores afirmam que seus métodos fornecem:

1. Uma prova alternativa de resultados de unicidade bem conhecidos para condutividades em $W^{2,\infty}$ e $W^{1,\infty}$.
2. Um arcabouço que pode ser adaptável a problemas inversos relacionados, como a equação de Maxwell anisotrópica.
3. Uma demonstração de que as extensões únicas de soluções em $H^1(\Omega)$ são determinadas por medições de contorno, complementando resultados de identificabilidade existentes relativos a soluções de geometria complexa no domínio exterior.

O trabalho não propõe novas aplicações experimentais ou extensões futuras além do arcabouço matemático de problemas inversos e análise de Clifford, mantendo o foco no rigor teórico e no desenvolvimento de ferramentas analíticas para problemas inversos de condutividade.