On the Stability of Inverse Conductivity Problem for Polyhedral Inclusions under a Single Measurement

Resumo Técnico: Estabilidade do Problema de Condutividade Inversa para Inclusões Poliedrais Sob uma Única Medição

Formulação do Problema
Este artigo aborda o problema de condutividade inversa, um caso específico do problema clássico de Calderón, dentro de um domínio limitado Lipschitziano $\Omega \subset \mathbb{R}^3$. O objetivo é determinar a forma e a localização de uma inclusão desconhecida $D$ embutida em um meio homogêneo e isotrópico. A distribuição de condutividade $\sigma$ é modelada como uma função constante por partes com um salto na interface $\partial D$:
$$\sigma = 1 + (k-1)\chi_D$$
onde $k > 1$ representa o contraste de condutividade e $\chi_D$ é a função indicadora da inclusão. A inclusão $D$ é assumida como um poliedro convexo. O problema inverso é formulado utilizando uma única medição parcial de fronteira: os dados de Neumann $\partial_\nu u|_{\Gamma_0}$ em um subconjunto aberto $\Gamma_0 \subset \partial\Omega$, dada uma condição de contorno de Dirichlet não trivial $f \in H^{1/2}(\partial\Omega)$. O problema direto é governado pela equação elíptica $\text{div}(\sigma \nabla u) = 0$.

Metodologia e Ingredientes Técnicos
A análise baseia-se em três ferramentas matemáticas primárias para fechar a lacuna entre o erro de medição na fronteira e o erro de reconstrução geométrica:

1. Decomposição de Singularidades: Os autores utilizam a teoria de equações elípticas em domínios não suaves para decompor a solução $u$ próxima à interface poliedral em uma parte regular e partes singulares associadas a vértices e arestas.

   • Próximo a um vértice $v$, a solução comporta-se como uma combinação linear de funções singulares da forma $\rho^\lambda \Phi(\vartheta)$, onde $\lambda$ são expoentes singulares determinados pela geometria local e pelo contraste de condutividade.
   • Próximo a uma aresta $E$, a solução envolve termos como $r^\mu \phi(\theta)$, onde $\mu$ são expoentes singulares de aresta.
   • O artigo impõe suposições genéricas para garantir que os coeficientes singulares dominantes sejam não degenerados e que termos logarítmicos (decorrentes de expoentes inteiros) estejam ausentes.

2. Propagação da Pequenez: Esta técnica é utilizada para estimar a diferença entre soluções correspondentes a duas inclusões diferentes ($u$ e $u'$) no interior do domínio com base na discrepância em seus dados de Cauchy na fronteira acessível $\Gamma_0$. Ao aplicar iterativamente a desigualdade das três esferas ao longo de uma cadeia de bolas conectando a fronteira ao interior, os autores derivam estimativas de estabilidade logarítmica para a diferença de soluções $u - u'$ e seu gradiente em regiões afastadas da inclusão.

3. Análise Microlocal e Óptica Geométrica Complexa (CGO): Para derivar a estimativa final de estabilidade, os autores constroem uma identidade integral específica envolvendo uma solução CGO $u_0(x) = e^{\zeta \cdot (x-x_O)}$ com um vetor complexo $\zeta$. Esta função de teste é inserida em uma formulação variacional sobre uma região cilíndrica local cuidadosamente selecionada adjacente a uma aresta do poliedro. A análise envolve estimar a identidade integral separando contribuições de singularidades de vértice, singularidades de aresta e a parte regular, utilizando as propriedades específicas de decaimento da solução CGO.

Resultados Principais
O resultado principal do artigo é uma estimativa quantitativa de estabilidade logarítmica para a distância de Hausdorff entre duas inclusões poliedrais convexas $D$ e $D'$. Seja $\varepsilon$ o erro de medição na norma $H^{-1/2}(\Gamma_0)$ da diferença nos dados de Neumann. Sob suposições geométricas e analíticas específicas (incluindo limites a priori na geometria do poliedro, a distância da inclusão da fronteira e o contraste de condutividade), os autores provam:
$$d_H(D, D') \leq C (\ln |\ln \varepsilon|)^{-\kappa}$$
onde $C$ e $\kappa$ são constantes positivas dependendo apenas dos dados a priori (como a geometria do domínio, o comprimento mínimo da aresta, ângulos de abertura de vértice/aresta e o contraste de condutividade $k$).

A prova procede da seguinte forma:

• Estabelecendo que a distância de Hausdorff é atingida em um vértice.
• Utilizando a identidade integral para relacionar o erro de medição na fronteira ao comportamento local da solução próximo à aresta.
• Equilibrando o decaimento da solução CGO contra o crescimento dos termos singulares para otimizar o parâmetro $\tau$ na função de teste.
• Combinando as estimativas de propagação da pequenez com as estimativas integrais locais para resolver a distância geométrica $h$ (relacionada a $d_H$) em termos de $\varepsilon$.

Significado e Contribuição
O artigo contribui para a literatura sobre problemas inversos ao abordar a estabilidade da determinação de inclusões poliedrais a partir de uma única medição de fronteira. Embora resultados de unicidade para inclusões poliedrais em três dimensões tenham sido estabelecidos (por exemplo, em [4]), resultados de estabilidade para esta configuração específica sob uma única medição estavam anteriormente em aberto.

Os autores posicionam seu trabalho no contexto do problema de Calderón, observando que, embora condutividades suaves possam ser recuperadas de forma estável com infinitas medições (mapeamento de Dirichlet para Neumann), condutividades constantes por partes com saltos são mais realistas para aplicações como tomografia de impedância elétrica (EIT). Resultados de estabilidade anteriores para inclusões frequentemente dependiam de múltiplas medições ou suposições de estabilidade local (por exemplo, perturbações $C^1$). Este trabalho demonstra que, mesmo com uma única medição, uma estimativa de estabilidade logarítmica pode ser alcançada para formas poliedrais explorando suas singularidades geométricas específicas. A metodologia combina análise de singularidades, continuação única e técnicas microlocais para lidar com a natureza não suave da interface poliedral, fornecendo uma base teórica rigorosa para a reconstrução de tais inclusões.