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

Sintesi Tecnica: Unicità per il Problema di Calderón con Conducibilità Anisotropa Polinomiale a Tratti

Enunciato del Problema
Il saggio affronta il problema della conducibilità inversa (problema di Calderón) in dimensioni $n \ge 3$. L'obiettivo è determinare un campo di matrici simmetriche e uniformemente ellittiche $\sigma(x)$ che rappresenti la conducibilità anisotropa all'interno di un dominio limitato $\Omega \subset \mathbb{R}^n$. La determinazione si basa su una mappa Dirichlet-to-Neumann (DN) locale, $\Lambda_{\Omega, \Sigma}$, definita su un sottoinsieme relativamente aperto $\Sigma \subset \partial \Omega$.

Nel caso anisotropo generale, l'unicità è ipotizzata solo modulo diffeomorfismi che fissano il bordo (libertà di gauge), poiché diverse conducibilità correlate da tali trasformazioni producono misurazioni al bordo identiche. Per superare questo gauge, il saggio impone specifiche assunzioni strutturali:

1. Partizione Nota: Il dominio è suddiviso in una collezione finita e nota di celle Lipschitziane disgiunte $\{D_\alpha\}$.
2. Struttura Polinomiale a Tratti: Su ogni cella $D_\alpha$, la conducibilità $\sigma$ è la restrizione di una matrice polinomiale simmetrica di grado noto $P_\alpha$.
3. Discontinuità: La conducibilità può essere discontinua attraverso le interfacce tra le celle.

Il problema inverso consiste nel recuperare unicamente i coefficienti delle matrici polinomiali $\{P_\alpha\}$ dalla mappa DN locale su $\Sigma$.

Metodologia
La dimostrazione dell'unicità si basa su un argomento di "layer-stripping" (rimozione degli strati) combinato con un teorema di recupero locale per una singola cella. La metodologia procede in due fasi principali:

1. Recupero Locale della Cella (Determinazione della Faccia Piana):
   Il saggio stabilisce che se la conducibilità su una singola cella è un polinomio di grado al massimo $N$, e se la mappa DN è nota su un numero sufficiente di facce piatte di tale cella, il polinomio è determinato unicamente.

• Forme di Schur: I dati al bordo determinano la "forma di Schur con normale conormale" della conducibilità su ogni interfaccia piana. Questa forma di Schur è una quantità invariante per gauge derivata dal simbolo principale della mappa DN.
• Propagazione Polinomiale: Poiché la conducibilità è polinomiale, la sua forma di Schur su una faccia piana è anch'essa un polinomio. La conoscenza della forma di Schur su un piccolo patch aperto di una faccia estende la proprietà all'intero iperpiano di supporto tramite il teorema di identità per i polinomi.
• Recupero Punto per Punto: Nei punti in cui tre iperpiani di supporto si intersecano con conormali linearmente indipendenti, le tre corrispondenti forme di Schur determinano unicamente la matrice di conducibilità in quel punto.
• Argomento Algebrico: Richiedendo che le forme di Schur concordino su un numero sufficiente di facce piatte generiche (specificamente $N+3$ facce che soddisfano una condizione di genericità riguardo alle loro intersezioni), il saggio utilizza un argomento di divisibilità per dimostrare che la differenza tra due potenziali conducibilità polinomiali deve annullarsi identicamente.

2. Recupero Globale (Layer Stripping ed Estensione Interna):
   L'unicità globale è ottenuta recuperando le celle sequenzialmente secondo un "ordine di recupero delle facce piatte ammissibile".

• Ammissibilità: L'ordine richiede che, ad ogni passaggio, la cella successiva da recuperare abbia accesso a un numero sufficiente di facce piatte generiche (interfacce esterne o interfacce interne con celle precedentemente recuperate) e che la regione recuperata rimanga connessa per facce alla regione di misura iniziale.
• Estensione Interna: Una volta recuperata una regione di celle, questa agisce come una "regione nota". Il saggio utilizza un argomento di approssimazione di Runge (basato su unicità della continuazione e teorema di Holmgren) per dimostrare che la mappa DN locale sul bordo originale $\Sigma$ determina la mappa DN locale sulle interfacce interne della regione non ancora recuperata.
• Propagazione: Ciò consente di applicare iterativamente il teorema di recupero locale alla cella successiva nella sequenza, propagando l'unicità dal bordo verso l'interno.

Risultati Chiave

• Teorema 1.4 (Unicità): Sotto le assunzioni di una suddivisione Lipschitziana piatta finita nota, conducibilità polinomiali a tratti e l'esistenza di un ordine di recupero delle facce piatte ammissibile, la mappa DN locale su $\Sigma$ determina unicamente la conducibilità $\sigma$ in $\Omega$. Specificamente, se $\Lambda_{\Omega, \Sigma}^{\sigma(1)} = \Lambda_{\Omega, \Sigma}^{\sigma(2)}$, allora $\sigma(1) = \sigma(2)$ ovunque.
• Corollario 1.5 (Stabilità): Data la natura a dimensione finita dello spazio dei parametri (i coefficienti dei polinomi), il saggio deriva una stima di stabilità di tipo Hölder. Su compatti di parametri ammissibili, la differenza nei coefficienti polinomiali è limitata da una potenza di Hölder della differenza nelle mappe DN.

Significatività e Rivendicazioni
Il saggio sostiene di fornire un risultato di unicità rigoroso per un problema di Calderón anisotropo a dimensione finita che include conducibilità discontinue. La sua significatività risiede nel:

• Superamento del Gauge: Combinando le assunzioni strutturali (polinomi a tratti) con le condizioni geometriche (molte facce piatte), il lavoro elimina il gauge di diffeomorfismo che tipicamente impedisce l'unicità nei problemi anisotropi.
• Generalizzazione dei Lavori Precedenti: Estende i risultati esistenti per le conducibilità costanti a tratti alla classe più generale delle conducibilità polinomiali a tratti.
• Ipotesi Geometrica: Il saggio introduce una specifica condizione geometrica ("ordine di recupero delle facce piatte ammissibile") riguardante le intersezioni generiche di facce piatte. Questa condizione è analoga alle ipotesi su bordi curvi in altri lavori, ma è adattata a modelli poliedrici o di tipo mesh dove le interfacce piatte sono intrinseche.
• Stabilità: La derivazione di una stima di stabilità di tipo Hölder è una diretta conseguenza della natura a dimensione finita e dell'analiticità della mappa diretta, fornendo una misura quantitativa della robustezza del recupero.

La strategia di prova separa il problema algebrico del recupero di un polinomio dalle sue forme di Schur sugli iperpiani dal problema analitico della propagazione dei dati al bordo attraverso regioni note, utilizzando l'approssimazione di Runge e le proprietà di unicità della continuazione delle equazioni ellittiche con coefficienti analitici.