Calderón's inverse problem via Vekua theory

Résumé Technique : Le Problème Inverse de Calderón via la Théorie de Vekua

Énoncé du Problème
Ce travail traite du problème inverse de conductivité de Calderón dans un domaine borné $\Omega \subset \mathbb{R}^n$ ($n \geq 3$) avec une frontière Lipschitzienne. L'objectif est de reconstruire une fonction de conductivité non nulle $\sigma \in W^{1,\infty}(\Omega)$ à partir de la carte de Dirichlet-à-Neumann (DtN) $\Lambda_\sigma$. La carte DtN est définie par les valeurs limites de la solution $u_0$ de l'équation de conductivité $\text{div}(\sigma \nabla u_0) = 0$, spécifiquement en associant les données de Dirichlet $\phi_0$ aux données de Neumann $\sigma \nabla u_0 \cdot \eta$. La question centrale est de savoir si la application $\sigma \mapsto \Lambda_\sigma$ est injective, c'est-à-dire si $\Lambda_f = \Lambda_g$ implique $f = g$ dans $\Omega$.

Méthodologie
Le papier utilise le cadre de l'analyse de Clifford pour analyser l'espace des solutions de l'équation de Vekua. La méthodologie procède à travers les étapes suivantes :

1. Analyse de Clifford et Équations de Vekua : Les auteurs utilisent l'algèbre de Clifford réelle $Cl_{0,n}$ et l'opérateur de Moisil-Teodorescu $D$. Ils étudient l'équation de Vekua généralisée $Dw = \alpha w$ (et ses variantes conjuguées), où $\alpha$ est lié à la conductivité. Spécifiquement, pour la « principale » équation de Vekua, $\alpha = \nabla f / f$, où $f$ est la conductivité.
2. Décomposition de Hodge : S'appuyant sur des travaux antérieurs [16], le papier utilise une décomposition de Hodge pour les espaces de Vekua généralisés. Cela établit une décomposition orthogonale de l'espace de Hilbert $L^2(\Omega, Cl_{0,n})$ en l'espace des solutions de l'équation de Vekua et l'image d'un opérateur spécifique impliquant la transformée de Teodorescu.
3. Formules de Représentation Intégrale : Une contribution technique centrale est la dérivation de formules d'intégrale de Borel-Pompeiu et de formules d'intégrale de Cauchy partielles généralisées. Ces formules relient la partie scalaire d'une solution de Vekua à des intégrales de bord impliquant les solutions fondamentales des opérateurs associés ($D - M_{\alpha}C$ et $D - \alpha C$).
4. Lien avec les Équations de Schrödinger et de Conductivité : Le papier établit une factorisation liant l'opérateur de Vekua principal à l'opérateur de Schrödinger $-\Delta + q$, où le potentiel $q = \Delta f / f$. Cela permet à la partie scalaire de la solution de Vekua de satisfaire l'équation de conductivité.
5. Solutions de Géométrie Complexe Optique (CGO) : Pour la preuve d'unicité, les auteurs adaptent la construction des solutions CGO (originalement par Pöivärinta, Panchenko et Uhlmann [26]) pour les conductivités dans $W^{1,\infty}$. Ces solutions sont de la forme $u = e^{x \cdot \zeta}(f^{-1} + \psi)$, où $\psi$ décroît dans un espace de Sobolev pondéré.

Contributions Clés et Résultats

• Formules Intégrales pour les Solutions de Vekua : Le papier dérive des formules de représentation intégrale (Théorème 2, Corollaire 3) qui reconstruisent la partie scalaire des solutions de Vekua à partir de leurs valeurs de bord. Ces formules généralisent les formules de Cauchy classiques au cadre de Clifford et incorporent explicitement les cartes DtN associées à la fois aux équations de conductivité et de Schrödinger.
• Identité de Green-Vekua Généralisée : La Proposition 12 présente une identité généralisée reliant la différence de potentiels ($\Delta g/g - \Delta f/f$) à la différence de solutions des équations de Schrödinger associées. Cette identité sert de pont entre les mesures de bord et les propriétés internes des conductivités.
• Unicité pour les Conductivités $W^{2,\infty}$ et $W^{1,\infty}$ :
  • Pour les conductivités dans $W^{2,\infty}(\Omega)$, le papier fournit une preuve alternative d'unicité en montrant que si $\Lambda_f = \Lambda_g$, alors les potentiels $\Delta f/f$ et $\Delta g/g$ sont égaux, ce qui implique $f=g$ étant donné la régularité aux limites (Lemme 11).
  • Pour le cas plus général des conductivités Lipschitziennes ($W^{1,\infty}(\Omega)$), les auteurs prouvent que la carte DtN détermine de manière unique les solutions de l'équation de conductivité à l'intérieur du domaine (Proposition 14).
• Théorème Principal (Théorème 1) : Le papier prouve que pour $n \geq 3$, si $f, g \in W^{1,\infty}(\Omega)$ sont des conductivités bornées loin de zéro et que $\Lambda_f = \Lambda_g$, alors $f = g$ dans $\Omega$. La preuve repose sur l'équivalence des solutions dérivées des formules intégrales et sur le comportement asymptotique des solutions CGO lorsque $|\zeta| \to \infty$.

Signification et Revendications
Le papier prétend offrir une perspective alternative sur l'unicité du problème de Calderón en utilisant la théorie de Vekua au sein de l'analyse de Clifford. Plutôt que de s'appuyer uniquement sur la réduction traditionnelle à l'équation de Schrödinger via la transformation de Liouville, les auteurs démontrent comment les formules de représentation intégrale pour les solutions de Vekua peuvent directement produire les identités nécessaires pour prouver l'unicité.

Les auteurs affirment que leurs méthodes fournissent :

1. Une preuve alternative des résultats d'unicité bien connus pour les conductivités en $W^{2,\infty}$ et $W^{1,\infty}$.
2. Un cadre qui peut être adaptable à des problèmes inverses connexes, tels que l'équation de Maxwell anisotrope.
3. Une démonstration que les extensions uniques des solutions dans $H^1(\Omega)$ sont déterminées par les mesures de bord, complétant les résultats d'identifiabilité existants concernant les solutions de géométrie complexe dans le domaine extérieur.

Le travail ne propose pas de nouvelles applications expérimentales ou d'extensions futures au-delà du cadre mathématique des problèmes inverses et de l'analyse de Clifford, maintenant une focalisation sur la rigueur théorique et le développement d'outils analytiques pour les problèmes inverses de conductivité.