On the Calderón problem with piecewise polynomial anisotropic conductivities and many-flat-face interfaces

Resumo Técnico: Unicidade para o Problema de Calderón com Condutividades Anisotrópicas Polinomiais por Partes

Enunciado do Problema
O artigo aborda o problema da condutividade inversa (problema de Calderón) em dimensões $n \ge 3$. O objetivo é determinar um campo de matriz simétrica e uniformemente elíptica $\sigma(x)$ que representa a condutividade anisotrópica dentro de um domínio limitado $\Omega \subset \mathbb{R}^n$. A determinação baseia-se em um mapa de Dirichlet-para-Neumann (DN) local, $\Lambda_{\Omega, \Sigma}$, definido em um subconjunto relativamente aberto $\Sigma \subset \partial \Omega$.

No caso anisotrópico geral, a unicidade é conjecturada apenas módulo diferenciações que fixam a fronteira (liberdade de gauge), uma vez que diferentes condutividades relacionadas por tais transformações produzem medições de fronteira idênticas. Para superar esse gauge, o artigo impõe pressupostos estruturais específicos:

1. Partição Conhecida: O domínio é subdividido em uma coleção finita conhecida de células Lipschitz disjuntas $\{D_\alpha\}$.
2. Estrutura Polinomial por Partes: Em cada célula $D_\alpha$, a condutividade $\sigma$ é a restrição de uma matriz de valores matriciais polinomiais de grau conhecido $P_\alpha$.
3. Descontinuidade: A condutividade pode ser descontínua através das interfaces entre as células.

O problema inverso é recuperar unicamente os coeficientes das matrizes polinomiais $\{P_\alpha\}$ a partir do mapa DN local em $\Sigma$.

Metodologia
A prova de unicidade baseia-se em um argumento de "remoção de camadas" (layer-stripping) combinado com um teorema de recuperação local para uma única célula. A metodologia procede em duas etapas principais:

1. Recuperação de Célula Local (Determinação de Face Plana):
   O artigo estabelece que, se a condutividade em uma única célula for um polinômio de grau no máximo $N$, e se o mapa DN for conhecido em faces planas suficientes dessa célula, o polinômio é unicamente determinado.

• Formas de Schur: Os dados de fronteira determinam a "forma de Schur conormal" da condutividade em cada interface plana. Esta forma é uma quantidade invariante de gauge derivada do símbolo principal do mapa DN.
• Propagação Polinomial: Como a condutividade é polinomial, sua forma de Schur em uma face plana também é um polinômio. O conhecimento da forma de Schur em um pequeno patch aberto de uma face estende-se a todo o hiperplano de suporte via ao teorema da identidade para polinômios.
• Recuperação Pontual: Em pontos onde três hiperplanos de suporte se interceptam com conormais linearmente independentes, as três formas de Schur correspondentes determinam unicamente a matriz de condutividade naquele ponto.
• Argumento Algébrico: Ao exigir que as formas de Schur concordem em um número suficiente de faces planas genéricas (especificamente $N+3$ faces que satisfazem uma condição de genericidade em relação às suas interseções), o artigo utiliza um argumento de divisibilidade para mostrar que a diferença entre dois candidatos a condutividades polinomiais deve ser identicamente nula.

2. Recuperação Global (Remoção de Camadas e Extensão Interna):
   A unicidade global é alcançada recuperando as células sequencialmente de acordo com uma "ordem de recuperação de face plana admissível".

• Admissibilidade: A ordem exige que, em cada etapa, a próxima célula a ser recuperada tenha acesso a faces planas genéricas suficientes (sejam interfaces externas ou internas com células já recuperadas) e que a região recuperada permaneça conectada por faces à fronteira medida inicial.
• Extensão Interna: Uma vez que uma região de células é recuperada, ela atua como uma "região conhecida". O artigo utiliza um argumento de aproximação de Runge (baseado em continuidade única e o teorema de Holmgren) para mostrar que o mapa DN local na fronteira original $\Sigma$ determina o mapa DN local nas interfaces internas da região não recuperada.
• Propagação: Isso permite que o teorema de recuperação local seja aplicado iterativamente à próxima célula na sequência, propagando a unicidade da fronteira para o interior.

Resultos Principais

• Teorema 1.4 (Unicidade): Sob os pressupostos de uma subdivisão Lipschitz plana finita conhecida, condutividades polinomiais por partes e a existência de uma ordem de recuperação de face plana admissível, o mapa DN local em $\Sigma$ determina unicamente a condutividade $\sigma$ em $\Omega$. Especificamente, se $\Lambda_{\Omega, \Sigma}^{\sigma(1)} = \Lambda_{\Omega, \Sigma}^{\sigma(2)}$, então $\sigma(1) = \sigma(2)$ em todo o domínio.
• Corolário 1.5 (Estabilidade): Devido à natureza de dimensão finita do espaço de parâmetros (os coeficientes dos polinômios), o artigo deriva uma estimativa de estabilidade de Hölder. Em conjuntos compactos de parâmetros admissíveis, a diferença nos coeficientes polinomiais é limitada por uma potência de Hölder da diferença nos mapas DN.

Significância e Alegações
O artigo afirma fornecer um resultado de unicidade rigoroso para um problema de Calderón anisotrópico de dimensão finita que inclui condutividades descontínuas. Sua significância reside em:

• Superar o Gauge: Ao combinar pressupostos estruturais (polinômios por partes) com condições geométricas (muitas faces planas), o trabalho elimina o gauge de diferenciação que tipicamente impede a unicidade em problemas anisotrópicos.
• Generalização de Trabalhos Anteriores: Estende resultados existentes para condutividades constantes por partes para a classe mais geral de condutividades polinomiais por partes.
• Hipótese Geométrica: O artigo introduz uma condição geométrica específica ("ordem de recuperação de face plana admissível") envolvendo interseções genéricas de faces planas. Esta condição é análoga às hipóteses de fronteiras curvas em outros trabalhos, mas é adaptada para modelos poliédricos ou de malha onde interfaces planas são intrínsecas.
• Estabilidade: A derivação de uma estimativa de estabilidade de Hölder é uma consequência direta do cenário de dimensão finita e da analiticidade do mapa direto, fornecendo uma medida quantitativa da robustez da recuperação.

A estratégia de prova separa o problema algébrico de recuperar um polinômio a partir de suas formas de Schur em hiperplanos do problema analítico de propagar dados de fronteira através de regiões conhecidas, utilizando aproximação de Runge e propriedades de continuidade única de equações elípticas com coeficientes analíticos.