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

Riepilogo Tecnico: Stabilità del Problema di Conduttività Inversa per Inclusi Poliedrici Sotto una Singola Misurazione

Formulazione del Problema
Questo articolo affronta il problema di conduttività inversa, un caso specifico del classico problema di Calderón, all'interno di un dominio limitato Lipschitziano $\Omega \subset \mathbb{R}^3$. L'obiettivo è determinare la forma e la posizione di un inclusione sconosciuta $D$ immersa in un mezzo omogeneo isotropo. La distribuzione di conduttività $\sigma$ è modellata come una funzione costante a tratti con un salto attraverso l'interfaccia $\partial D$:
$$\sigma = 1 + (k-1)\chi_D$$
dove $k > 1$ rappresenta il contrasto di conduttività e $\chi_D$ è la funzione indicatrice dell'inclusione. Si assume che l'inclusione $D$ sia un poliedro convesso. Il problema inverso è formulato utilizzando una singola misurazione parziale al bordo: i dati di Neumann $\partial_\nu u|_{\Gamma_0}$ su un sottoinsieme aperto $\Gamma_0 \subset \partial\Omega$, data una condizione al contorno di Dirichlet non banale $f \in H^{1/2}(\partial\Omega)$. Il problema diretto è governato dall'equazione ellittica $\text{div}(\sigma \nabla u) = 0$.

Metodologia e Ingredienti Tecnici
L'analisi si basa su tre strumenti matematici principali per colmare il divario tra l'errore di misurazione al bordo e l'errore di ricostruzione geometrica:

1. Decomposizione delle Singolarità: Gli autori utilizzano la teoria delle equazioni ellittiche in domini non lisci per decomporre la soluzione $u$ vicino all'interfaccia poliedrica in una parte regolare e parti singolari associate a vertici e spigoli.

   • Vicino a un vertice $v$, la soluzione si comporta come una combinazione lineare di funzioni singolari della forma $\rho^\lambda \Phi(\vartheta)$, dove $\lambda$ sono esponenti singolari determinati dalla geometria locale e dal contrasto di conduttività.
   • Vicino a uno spigolo $E$, la soluzione coinvolge termini del tipo $r^\mu \phi(\theta)$, dove $\mu$ sono esponenti singolari degli spigoli.
   • L'articolo impone ipotesi generiche per garantire che i coefficienti singolari dominanti siano non degeneri e che i termini logaritmici (derivanti da esponenti interi) siano assenti.

2. Propagazione della Piccolezza: Questa tecnica è utilizzata per stimare la differenza tra le soluzioni corrispondenti a due diverse inclusioni ($u$ e $u'$) nell'interno del dominio basandosi sulla discrepanza nei loro dati di Cauchy sul bordo accessibile $\Gamma_0$. Applicando iterativamente la disuguaglianza delle tre sfere lungo una catena di sfere che collega il bordo all'interno, gli autori derivano stime di stabilità logaritmica per la differenza di soluzione $u - u'$ e il suo gradiente in regioni lontane dall'inclusione.

3. Analisi Microlocale e Ottica Geometrica Complessa (CGO): Per derivare la stima finale di stabilità, gli autori costruiscono un'identità integrale specifica che coinvolge una soluzione CGO $u_0(x) = e^{\zeta \cdot (x-x_O)}$ con un vettore complesso $\zeta$. Questa funzione di prova viene inserita in una formulazione variazionale su una regione cilindrica locale attentamente selezionata adiacente a uno spigolo del poliedro. L'analisi comporta la stima dell'identità integrale separando i contributi dalle singolarità dei vertici, dalle singolarità degli spigoli e dalla parte regolare, sfruttando le proprietà specifiche di decadimento della soluzione CGO.

Risultati Chiave
Il risultato principale dell'articolo è una stima quantitativa di stabilità logaritmica per la distanza di Hausdorff tra due inclusioni poliedriche convesse $D$ e $D'$. Sia $\varepsilon$ l'errore di misurazione nella norma $H^{-1/2}(\Gamma_0)$ della differenza nei dati di Neumann. Sotto specifiche ipotesi geometriche e analitiche (inclusi limiti a priori sulla geometria del poliedro, la distanza dell'inclusione dal bordo e il contrasto di conduttività), gli autori dimostrano:
$$d_H(D, D') \leq C (\ln |\ln \varepsilon|)^{-\kappa}$$
dove $C$ e $\kappa$ sono costanti positive che dipendono solo dai dati a priori (come la geometria del dominio, la lunghezza minima dello spigolo, gli angoli di apertura dei vertici/spigoli e il contrasto di conduttività $k$).

La dimostrazione procede come segue:

• Stabilendo che la distanza di Hausdorff è raggiunta in un vertice.
• Utilizzando l'identità integrale per relazionare l'errore di misurazione al bordo al comportamento locale della soluzione vicino allo spigolo.
• Bilanciando il decadimento della soluzione CGO contro la crescita dei termini singolari per ottimizzare il parametro $\tau$ nella funzione di prova.
• Combinando le stime di propagazione della piccolezza con le stime integrali locali per risolvere la distanza geometrica $h$ (relata a $d_H$) in termini di $\varepsilon$.

Significato e Contributo
L'articolo contribuisce alla letteratura sui problemi inversi affrontando la stabilità nella determinazione di inclusioni poliedriche da una singola misurazione al bordo. Mentre i risultati di unicità per inclusioni poliedriche in tre dimensioni sono stati stabiliti (ad esempio, in [4]), i risultati di stabilità per questa specifica configurazione sotto una singola misurazione erano precedentemente aperti.

Gli autori collocano il loro lavoro nel contesto del problema di Calderón, notando che mentre le conduttività lisce possono essere recuperate in modo stabile con infinite misurazioni (mappa di Dirichlet-a-Neumann), le conduttività costanti a tratti con salti sono più realistiche per applicazioni come la tomografia di impedenza elettrica (EIT). I precedenti risultati di stabilità per inclusioni spesso si basavano su multiple misurazioni o ipotesi di stabilità locale (ad esempio, perturbazioni $C^1$). Questo lavoro dimostra che anche con una singola misurazione, è possibile ottenere una stima di stabilità logaritmica per forme poliedriche sfruttando le loro specifiche singolarità geometriche. La metodologia combina analisi delle singolarità, continuazione unica e tecniche microlocali per gestire la natura non liscia dell'interfaccia poliedrica, fornendo una solida base teorica per la ricostruzione di tali inclusioni.