Inverse problems for the spectral fractional Laplacian with inhomogeneous Dirichlet boundary data

Titel: Inverse Problemen voor de Spectrale Fractionele Laplaciaan met Inhomogene Dirichlet-randvoorwaarden

Auteurs: Ravi Shankar Jaiswal, Pu-Zhao Kow, en Suman Kumar Sahoo.

---

1. Probleemstelling

Het artikel onderzoekt een invers probleem voor de spectrale fractionele Laplaciaan ($(-\Delta_D)^s$) in een begrensd domein $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) met een gladde rand. In tegenstelling tot veel eerdere werken die zich richten op de Fourier-fractionele Laplaciaan met gegevens in het exterieur, focust dit werk op het geval met inhomogene Dirichlet-randvoorwaarden.

Het onderliggende directe probleem wordt beschreven door de Schrödinger-vergelijking met een spectrale fractionele Laplaciaan:
$$\begin{cases} ((-\Delta_D)^s - q) u = 0 & \text{in } \Omega, \\ u|_{\partial \Omega} = g, \end{cases}$$
waarbij:

• $s \in (1/2, 1)$ de orde van de fractionele operator is.
• $q \in L^\infty(\Omega)$ een potentiaal is.
• $g$ de randwaarde is.
• $(-\Delta_D)^s$ de spectrale fractionele Laplaciaan is gedefinieerd via de eigenfuncties van de Dirichlet-Laplaciaan.

Het doel is om de potentiaal $q$ (of gerelateerde coëfficiënten) te reconstrueren op basis van de Dirichlet-naar-Neumann (DN) kaart $\Lambda_q$, die de randwaarde $g$ koppelt aan een afgeleide van de oplossing op de rand.

2. Methodologie

De auteurs hanteren een combinatie van functionaalanalyse, spectrale theorie en de methode van Complexe Geometrische Optica (CGO) oplossingen.

• Definitie van de DN-kaart: De auteurs introduceren een nauwkeurige definitie van de DN-kaart voor de spectrale operator met inhomogene randvoorwaarden. Ze benutten het feit dat de spectrale Laplaciaan en de Fourier-variant op $C_c^\infty(\Omega)$ samenvallen, maar verschillen in hun domein en randgedrag.
• Linearisatie (Born-benadering): Voor kleine potentialen $q$ wordt de niet-lineaire DN-kaart $q \mapsto \Lambda_q$ gelineariseerd rond $q=0$. De afgeleide $d\Lambda$ (de Fréchet-afgeleide) wordt geanalyseerd. Dit leidt tot een lineair invers probleem waarbij de DN-kaart lineair afhankelijk is van $q$.
• Alessandrini-identiteit: Een cruciale stap is het afleiden van een Alessandrini-identiteit die de DN-kaart relateert aan een integraal over het domein:
  $$\langle h, (d\Lambda)[q]g \rangle_{\partial \Omega} = -\int_\Omega q u_h u_g \, dx,$$
  waarbij $u_g$ en $u_h$ oplossingen zijn van het homogene probleem (zonder potentiaal).
• CGO-oplossingen: Om de injectiviteit van de afgeleide kaart te bewijzen, construeren de auteurs speciale oplossingen (CGO-oplossingen) van de vorm $e^{\alpha \cdot x}$ (voor het lineaire geval) en complexere asymptotische expansies voor het niet-lineaire geval. Deze oplossingen worden gebruikt om de Fourier-transformatie van de potentiaal te isoleren.
• Transportoperatoren en Stationaire Fase: Voor het herwinnen van coëfficiënten in het geval van hogere orde (Theorema 1.4) gebruiken ze transportoperatoren en de methode van stationaire fase, specifiek aangepast voor de spectrale context.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert twee hoofdresultaten:

Resultaat 1: Unieke Bepaling en Stabiliteit voor de Potentiaal (Theorema 1.1)

De auteurs bewijzen dat de lineaire DN-kaart $d\Lambda$ injectief is voor de potentiaal $q$.

• Uniekheid: Als $d\Lambda[q^{(1)}] = d\Lambda[q^{(2)}]$ voor alle randdata, dan geldt $q^{(1)} \equiv q^{(2)}$ in $\Omega$.
• Logaritmische Stabiliteit: Er wordt een stabiliteitsresultaat bewezen met een logaritmische modulus van continuïteit. Dit betekent dat kleine fouten in de metingen leiden tot grotere fouten in de reconstructie, wat typisch is voor invers problemen van dit type:
  $$\|q^{(1)} - q^{(2)}\|_{H^{-1}} \leq C |\log \|d\Lambda[q^{(1)}] - d\Lambda[q^{(2)}]\||^{-1}.$$
  Dit resultaat is geldig voor $n \geq 2$ en $s \in (1/2, 1)$.

Resultaat 2: Herwinnen van Coëfficiënten tot op een Gauge (Theorema 1.4)

Het tweede deel behandelt een meer complex scenario waarbij men coëfficiënten $\theta_2, \theta_1, \theta_0$ probeert te herwinnen die voorkomen in een uitdrukking die lijkt op een veralgemening van de Laplaciaan toegepast op een product $wu$.

• De auteurs tonen aan dat deze coëfficiënten uniek bepaald kunnen worden tot op een natuurlijke gauge-invariantie.
• De gauge wordt gedefinieerd door een functie $w$ met $w = \partial_\nu w = 0$ op de rand, waarbij de coëfficiënten transformeren als:
  $$\theta_2 = w I_n, \quad \theta_1 = 2\nabla w, \quad \theta_0 = \Delta w.$$
• Dimensie-afhankelijkheid:
  • Voor $n \geq 3$: De coëfficiënten worden exact bepaald tot op deze gauge.
  • Voor $n = 2$: Onder de extra voorwaarden $\theta_0 = 0$ en $\text{tr}(\theta_2) = 0$, concluderen ze dat $\theta_1 = 0$ en $\theta_2 = 0$. Ze merken op dat het volledig identificeren van de gauge in 2D niet mogelijk is met de huidige methode, wat een scherpe grens aangeeft.

4. Technische Innovaties

• Behandeling van Inhomogene Randvoorwaarden: Het artikel lost een technisch probleem op door de spectrale fractionele Laplaciaan correct te definiëren voor inhomogene randdata, wat essentieel is voor de definitie van de DN-kaart in deze context.
• Dichtheidsresultaat: Er wordt een extra dichtheidsresultaat bewezen voor de spectrale fractionele Laplaciaan, wat essentieel is voor de Runge-benadering (een kwantitatieve vorm van unieke voortzetting).
• Verfijning van CGO-oplossingen: In de appendix worden bestaande resultaten over CGO-oplossingen voor de Laplaciaan verfijnd en toegepast op de spectrale context, inclusief nauwkeurige schattingen van de resttermen in de semi-klassieke limiet ($h \to 0$).

5. Betekenis en Impact

Dit werk vult een belangrijke leemte in de literatuur over invers problemen voor fractionele operatoren. Waar eerdere werken zich vaak richtten op het exterieurprobleem (waarbij data buiten het domein wordt gemeten), toont dit artikel aan dat ook met interne randmetingen (Dirichlet-naar-Neumann) unieke reconstructie mogelijk is voor de spectrale variant.

De resultaten hebben implicaties voor:

• Medische beeldvorming: Het begrijpen van niet-lokale diffusieprocessen in weefsels.
• Seismische imaging: Het modelleren van golfvoortplanting in media met fractale eigenschappen.
• Wiskundige theorie: Het biedt een robuust kader voor het analyseren van invers problemen voor niet-lokale operatoren met complexe randvoorwaarden, en verduidelijkt de verschillen tussen spectrale en Fourier-varianten van de fractionele Laplaciaan.

Samenvattend biedt dit artikel een rigoureuze wiskundige basis voor het oplossen van invers problemen voor spectrale fractionele Laplacianen, met sterke resultaten op het gebied van uniekheid, stabiliteit en het herwinnen van coëfficiënten.