Reconstruction of non-self-adjoint anisotropic and complex inclusions in the Calderón problem

Resumo Técnico: Reconstrução de Inclusões Anisotrópicas e Complexas Não Auto-Adjoint no Problema de Calderón

Enunciação do Problema
Este trabalho aborda o problema de Calderón anisotrópico com dados parciais, focando especificamente na reconstrução da forma externa de inclusões dentro de um meio condutor. A equação governante é a equação diferencial parcial elíptica $-\nabla \cdot (A\nabla u) = 0$ em um domínio limitado $\Omega \subset \mathbb{R}^d$ ($d \ge 2$), onde $A$ é um coeficiente de condutividade de valor matricial. Os dados disponíveis são o mapa de Neumann para Dirichlet (ND) $\Lambda(A)$ restrito a um subconjunto aberto $\Gamma \subseteq \partial\Omega$.

O principal desafio no cenário anisotrópico é a falta de unicidade na determinação do coeficiente $A$ a partir de $\Lambda(A)$ devido à invariância por difeomorfismo. Além disso, este artigo generaliza resultados anteriores para perturbações não auto-adjuntas. O coeficiente é decomposto como $A = A^R + iA^I$, onde $A^R$ é a parte auto-adjunta (real) e $iA^I$ é a parte anti-auto-adjunta (imaginária). Em termos físicos, isso modela condutividade complexa anisotrópica (admitância) envolvendo tanto condutividade real anisotrópica $\sigma_\omega$ quanto permissividade anisotrópica $\varepsilon_\omega$, ambas dependentes da frequência. O objetivo é determinar a forma externa $D^\bullet$ da inclusão $D = \text{supp}(A_D - A_0)$, onde $A_0$ é uma condutividade de fundo conhecida e $A_D$ é o coeficiente desconhecido.

Metodologia
Os autores estendem o método de monotonicidade, anteriormente estabelecido para coeficientes auto-adjuntos em [5], ao cenário não auto-adjunto. A metodologia baseia-se no estabelecimento de desigualdades de monotonicidade para as partes auto-adjuntas dos mapas ND, $\Lambda_R(A) = \frac{1}{2}(\Lambda(A) + \Lambda(A)^*)$.

Componentes metodológicos chave incluem:

1. Decomposição e Limites: O coeficiente $A$ é dividido em partes auto-adjunta $A^R$ e anti-auto-adjunta $iA^I$. A análise assume limites conhecidos nas partes auto-adjuntas ($\alpha I \le A^R \le \beta I$) e um limite na magnitude da parte anti-auto-adjunta ($\|A^I\| \le \eta$).
2. Desigualdades de Monotonicidade: O Teorema 7.1 fornece limites inferiores e superiores para a diferença $\Lambda_R(A_1) - \Lambda_R(A_2)$ em termos de formas quadráticas envolvendo $A_1^R, A_2^R, A_1^I,$ e $A_2^I$. Crucialmente, no caso não auto-adjunto, esses limites contêm termos não nulos (por exemplo, $A_I (A^R)^{-1} A_I$) mesmo quando os coeficientes coincidem, o que complica a reconstrução.
3. Operadores de Teste: A reconstrução utiliza coeficientes de teste específicos $A^\pm_C$ construídos modificando o fundo $A_0$ em uma inclusão de teste $C$. Estes são projetados para limitar a inclusão desconhecida $D$ por cima e por baixo.
4. Localização: As provas dependem da existência de potenciais localizados (Teorema 7.5), que permitem a construção de soluções com energia concentrada em subdomínios específicos enquanto se anulam em outros. Isso é usado para provar que, se as desigualdades de monotonicidade forem válidas, a inclusão deve estar contida dentro do conjunto de teste.
5. Pressupostos Geométricos: Uma suposição crítica é que a condutividade de fundo $A_0$ seja auto-adjunta em um conjunto aberto conexo $S$ que conecta a fronteira de medição $\Gamma$ à fronteira da forma externa da inclusão $\partial D^\bullet$. Isso permite o uso de princípios de continuação única (UCP) para a parte auto-adjunta $A_0^R$.

Contribuições e Resultados Principais

• Generalização para Perturbações Não Auto-Adjuntas: O artigo generaliza o método de monotonicidade para permitir perturbações não auto-adjuntas gerais em $L^\infty$ $A_D - A_0$ dentro da inclusão, desde que a perturbação satisfaça uma condição de definitude próxima à fronteira da inclusão $\partial D^\bullet$.
• Reconstrução Não Linear e Linearizada (Teoremas 3.4 e 4.1):
  • O Teorema 3.4 estabelece um método de reconstrução não linear. Ele prova que $D \subseteq C$ se e somente se desigualdades operacionais específicas envolvendo $\Lambda_R(A_D)$, $\Lambda(A_0)$ e operadores de teste $\Lambda^\pm_C$ e suas derivadas forem válidas.
  • O Teorema 4.1 fornece uma versão linearizada deste método, substituindo o mapa ND completo por derivadas de Fréchet na condutividade de fundo. Isso é destacado como particularmente útil para implementação numérica como um método de reconstrução em tempo real.
• Tratamento da Parte Anti-Auto-Adjunta: Os autores introduzem termos de correção específicos (por exemplo, $D\Lambda^+_{M\setminus C}$) para contabilizar a parte anti-auto-adjunta da condutividade de fundo. Esses termos surgem dos limites não nulos nas desigualdades de monotonicidade.
• Operadores de Teste Extremos (Teorema 6.2): No caso em que o fundo $A_0$ é auto-adjunto e a perturbação é não auto-adjunta apenas próximo à fronteira, o artigo mostra que "operadores de teste extremos" (correspondentes a inclusões perfeitamente isolantes ou perfeitamente condutoras) permanecem válidos. Este resultado (Corolário 6.2) não requer limites explícitos na magnitude da perturbação desconhecida, espelhando resultados para o caso auto-adjunto.
• Desigualdades Aprimoradas (Apêndice A): Os autores provam desigualdades de monotonicidade refinadas (Teorema A.1) onde os limites se anulam se os coeficientes coincidirem. Eles demonstram que os termos extras decorrentes da não auto-adjunção podem ser limitados apenas pela norma da solução $u_2$. No entanto, observam que esses limites ainda não são fortes o suficiente para remover as suposições geométricas sobre a condutividade de fundo necessárias para os teoremas principais de reconstrução.

Significado e Limitações
O artigo afirma fornecer a primeira caracterização geral para detecção de inclusões no problema de Calderón anisotrópico e não auto-adjunto usando o método de monotonicidade. Seu significado reside em:

• Estender capacidades de reconstrução para meios complexos e anisotrópicos (relevantes para imageamento eletromagnético).
• Requerer continuação única apenas para a parte auto-adjunta da condutividade de fundo ($A_0^R$), o que se alinha com resultados UCP existentes para operadores auto-adjuntos, em vez de exigir UCP para o operador não auto-adjunto completo.
• Oferecer uma abordagem linearizada (Teorema 4.1) adequada para implementação numérica.

Os autores são modestos quanto às limitações de sua abordagem. Eles afirmam explicitamente que a exigência de que $A_0$ seja auto-adjunto em um conjunto conectando $\Gamma$ a $\partial D^\bullet$ é uma consequência da não otimalidade das atuais desigualdades de monotonicidade no cenário não auto-adjunto. A "abordagem interna" do método de monotonicidade (que tipicamente permite fundos mais gerais) é atualmente impedida pelos termos de erro não nulos nas desigualdades. Os autores deixam a melhoria desses limites para a comunidade de problemas inversos, a fim de permitir condutividades de fundo não auto-adjuntas mais gerais.