Calderón's inverse problem via Vekua theory

Sintesi Tecnica: Il Problema Inverso di Calderón tramite la Teoria di Vekua

Enunciato del Problema
Questo lavoro affronta il problema inverso della conducibilità di Calderón in un dominio limitato $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) con bordo Lipschitziano. L'obiettivo è recuperare una funzione di conducibilità non nulla $\sigma \in W^{1,\infty}(\Omega)$ a partire dalla mappa di Dirichlet-al-Neumann (DtN) $\Lambda_\sigma$. La mappa DtN è definita dai valori al contorno della soluzione $u_0$ dell'equazione di conducibilità $\text{div}(\sigma \nabla u_0) = 0$, specificamente mappando i dati di Dirichlet $\phi_0$ nei dati di Neumann $\sigma \nabla u_0 \cdot \eta$. La questione centrale è se la mappa $\sigma \mapsto \Lambda_\sigma$ sia iniettiva, ovvero se $\Lambda_f = \Lambda_g$ implichi $f = g$ in $\Omega$.

Metodologia
Il saggio utilizza il framework dell'analisi di Clifford per analizzare lo spazio delle soluzioni dell'equazione di Vekua. La metodologia procede attraverso i seguenti passaggi:

1. Analisi di Clifford ed Equazioni di Vekua: Gli autori utilizzano l'algebra reale di Clifford $Cl_{0,n}$ e l'operatore di Moisil-Teodorescu $D$. Studiano l'equazione di Vekua generalizzata $Dw = \alpha w$ (e le sue varianti coniugate), dove $\alpha$ è correlata alla conducibilità. Nello specifico, per la equazione di Vekua "principale", $\alpha = \nabla f / f$, dove $f$ è la conducibilità.
2. Decomposizione di Hodge: Basandosi sul lavoro precedente [16], il saggio utilizza una decomposizione di Hodge per gli spazi di Vekua generalizzati. Ciò stabilisce una decomposizione ortogonale dello spazio di Hilbert $L^2(\Omega, Cl_{0,n})$ nel spazio delle soluzioni dell'equazione di Vekua e nell'immagine di un operatore specifico che coinvolge la trasformata di Teodorescu.
3. Formule di Rappresentazione Integrale: Un contributo tecnico centrale è la derivazione di formule integrali di Borel-Pompeiu generalizzate e di formule integrali parziali di Cauchy. Queste formule mettono in relazione la parte scalare di una soluzione di Vekua con integrali di bordo che coinvolgono le soluzioni fondamentali degli operatori associati ($D - M_{\alpha}C$ e $D - \alpha C$).
4. Connessione con le Equazioni di Schrödinger e di Conducibilità: Il saggio stabilisce una fattorizzazione che lega il principale operatore di Vekua all'operatore di Schrödinger $-\Delta + q$, dove il potenziale $q = \Delta f / f$. Ciò permette alla parte scalare della soluzione di Vekua di soddisfare l'equazione di conducibilità.
5. Soluzioni di Geometria Complessa Ottica (CGO): Per la prova di unicità, gli autori adattano la costruzione di soluzioni CGO (originariamente di Pöivärinta, Panchenko e Uhlann [26]) per conducibilità in $W^{1,\infty}$. Tali soluzioni sono della forma $u = e^{x \cdot \zeta}(f^{-1} + \psi)$, dove $\psi$ decade in uno spazio di Sobolev pesato.

Contributi Chiave e Risultati

• Formule Integrali per le Soluzioni di Vekua: Il saggio deriva formule di rappresentazione integrale (Teorema 2, Corollario 3) che recuperano la parte scalare delle soluzioni di Vekua dai loro valori al contorno. Queste formule generalizzano le classiche formule di Cauchy nel contesto di Clifford e incorporano esplicitamente le mappe DtN associate sia all'equazione di conducibilità che a quella di Schrödinger.
• Identità di Green-Vekua Generalizzata: La Proposizione 12 presenta un'identità generalizzata che mette in relazione la differenza dei potenziali ($\Delta g/g - \Delta f/f$) con la differenza delle soluzioni delle associate equazioni di Schrödinger. Questa identità funge da ponte tra le misurazioni al contorno e le proprietà interne delle conducibilità.
• Unicità per Conducibilità $W^{2,\infty}$ e $W^{1,\infty}$:
  • Per le conducibilità in $W^{2,\infty}(\Omega)$, il saggio fornisce una prova alternativa di unicità mostrando che, se $\Lambda_f = \Lambda_g$, allora i potenziali $\Delta f/f$ e $\Delta g/g$ sono uguali, il che implica $f=g$ date le regolarità al contorno (Lemma 11).
  • Per il caso più generale delle conducibilità Lipschitziane ($W^{1,\infty}(\Omega)$), gli autori dimostrano che la mappa DtN determina unicamente le soluzioni dell'equazione di conducibilità all'interno del dominio (Proposizione 14).
• Teorema Principale (Teorema 1): Il saggio dimostra che per $n \geq 3$, se $f, g \in W^{1,\infty}(\Omega)$ sono conducibilità limitate lontano dallo zero e $\Lambda_f = \Lambda_g$, allora $f = g$ in $\Omega$. La prova si basa sull'equivalenza delle soluzioni derivate dalle formule integrali e sul comportamento asintotico delle soluzioni CGO per $|\zeta| \to \infty$.

Significatività e Rivendicazioni
Il saggio sostiene di offrire una prospettiva alternativa sull'unicità del problema di Calderón utilizzando la teoria di Vekua all'interno dell'analisi di Clifford. Piuttosto che fare affidamento esclusivamente sulla tradizionale riduzione all'equazione di Schrödinger tramite la trasformata di Liouville, gli autori dimostrano come le formule di rappresentazione integrale per le soluzioni di Vekua possano direttamente fornire le identità necessarie per provare l'unicità.

Gli autori affermano che i loro metodi forniscono:

1. Una prova alternativa di noti risultati di unicità per conducibilità in $W^{2,\infty}$ e $W^{1,\infty}$.
2. Un framework che può essere adattabile a problemi inversi correlati, come l'equazione di Maxwell anisotropa.
3. Una dimostrazione che le estensioni uniche delle soluzioni in $H^1(\Omega)$ sono determinate dalle misurazioni al contorno, completando i risultati esistenti riguardanti le soluzioni di geometria complessa nel dominio esterno.

Il lavoro non propone nuove applicazioni sperimentali o estensioni future oltre il framework matematico dei problemi inversi e dell'analisi di Clifford, mantenendo il focus sul rigore teorico e sullo sviluppo di strumenti analitici per i problemi inversi della conducibilità.