A note on several inverse problems with generally random coefficients

Technische Samenvatting: Een Opmerking over Verscheidene Inverse Problemen met Over het Algemeen Willekeurige Coëfficiënten

Probleemstelling
Dit artikel onderzoekt inverse problemen voor elliptische vergelijkingen met willekeurige coëfficiënten, met name gericht op de Schrödingervergelijking $(-\Delta + q)u = 0$ op een begrensd domein $\Omega \subset \mathbb{R}^n$. De centrale vraag is welke informatie over het willekeurige potentieel $q(\omega, x)$ kan worden hersteld uit diverse statistische samenvattingen van de rand- of interieurdata. De willekeurigheid wordt verondersteld "over het algemeen willekeurig" te zijn, wat betekent dat er geen speciale probabilistische structuur (zoals Gaussiëaniteit, perturbatieve kleinheid, microlokale isotropie, of ondersteuning op inbeddingen) wordt opgelegd.

De studie vergelijkt de herstelbaarheid van de wet van het potentieel uit vier onderscheiden typen data:

1. De volledige waarschijnlijkheidswet van de Dirichlet-naar-Neumann (DN) afbeelding, $\text{Law}(\Lambda_q)$.
2. De verwachting van de DN-afbeelding, $\mathbb{E}\Lambda_q$.
3. Eindig veel gezamenlijke momenten van de rand-bilineaire vorm $\langle \Lambda_q f, g \rangle$.
4. De gemiddelde interieur Green-operator, $\mathbb{E}G_q$, waarbij $G_q = (-\Delta_D + q)^{-1}$.

Methodologie
Het artikel maakt gebruik van een combinatie van expliciete radiale constructies, symbolische calculus voor pseudodifferentiaaloperatoren en maattheoretische argumenten.

• Radiale Tegenvoorbeelden: Om beperkingen van randdata aan te tonen, construeert de auteur expliciete gladde, niet-negatieve, radiale potentialen in de eenheidsbol van $\mathbb{R}^3$. Door de eigenwaarden van de DN-afbeelding in de basis van bolharmonischen te analyseren, identificeert het artikel een affiene afhankelijkheid van deze eigenwaarden van het kwadraat van een parameter $N$ (waarbij het potentieel gedefinieerd is via $Q_N$). Dit maakt de constructie mogelijk van onderscheiden potentialen $q_1, q_2$ en een deterministisch potentieel $q$ zodanig dat $\Lambda_q = \frac{1}{2}\Lambda_{q_1} + \frac{1}{2}\Lambda_{q_2}$.
• Momenthiërarchieën: Met behulp van eigenschappen van Vandermonde-matrices construeert het artikel willekeurige potentialen die eindig veel waarden aannemen, zodanig dat hun gezamenlijke momenten van de DN-afbeelding tot elke vaste orde $M$ overeenkomen, terwijl hun gemiddelde potentialen verschillen.
• Symbolische Analyse: Voor interieurdata maakt het artikel gebruik van het volledige interieur-symbool van de Green-operator. Door de parametrix-ontwikkeling van de resolvent $(-\Delta + q)^{-1}$ te middelen, isoleert de auteur termen in de symbool-ontwikkeling die overeenkomen met puntsgewijze momenten van het potentieel en zijn afgeleiden.
• Deterministische Uniciteitslifts: Het artikel past de stelling van Lusin–Souslin toe om aan te tonen dat als een deterministisch inverse probleem injectief is op een Borel-klasse, de gezamenlijke wet van de invoer van de DN-afbeelding (met betrekking tot een dichte rij randfuncties) de wet van de willekeurige coëfficiënt uniek bepaalt.

Belangrijkste Bijdragen en Resultaten

1. Obstakel voor Gemiddelde Randafbeeldingen:
   Het primaire negatieve resultaat is dat de verwachte Dirichlet-naar-Neumann-afbeelding, $\mathbb{E}\Lambda_q$, het gemiddelde potentieel $\mathbb{E}q$ niet bepaalt. Het artikel construeert een willekeurig potentieel $Q$ met twee waarden en een deterministisch potentieel $q^*$ zodanig dat $\mathbb{E}\Lambda_Q = \Lambda_{q^*}$, maar $q^* \neq \mathbb{E}Q$. Dit obstakel strekt zich uit tot elke eindige hiërarchie van gezamenlijke momenten; het kennen van alle momenten van $\langle \Lambda_q f, g \rangle$ tot orde $M$ is onvoldoende om $\mathbb{E}q$ te bepalen. Dit geeft aan dat middeling en eindige moment-truncatie een verlies van informatie veroorzaken dat niet louter een falen van deterministische uniciteit is.

2. Herstel uit Volledige Wet:
   In tegenstelling tot de op momenten gebaseerde resultaten, stelt het artikel vast dat als de volledige gezamenlijke wet van de DN-afbeelding bekend is (specifiek, de gezamenlijke wet van aftelbaar veel matrixinvoeren $\langle \Lambda_q f_i, f_j \rangle$), de wet van het willekeurige potentieel uniek wordt bepaald, mits het onderliggende deterministische inverse probleem injectief is. Dit resultaat tilt klassieke deterministische uniciteitsstellingen (bijvoorbeeld Sylvester–Uhlmann voor $n \ge 3$) direct naar de probabilistische setting zonder specifieke statistische structuren op het ruisproces te vereisen.

3. Herstel uit Gemiddelde Green-Operatoren:
   Het artikel demonstreert dat de gemiddelde interieur Green-operator, $\mathbb{E}G_q$, aanzienlijk meer lokale informatie bevat dan de gemiddelde randafbeelding.

   • Puntsgewijze Momenten: Het volledige interieur-symbool van $\mathbb{E}G_q$ bepaalt het puntsgewijze gemiddelde $\mathbb{E}q$ en de variantie $\text{Var}(q)$ van het potentieel.
   • Rigiditeit van Twee-Atomen: Voor een willekeurig potentieel met twee waarden bepaalt de gemiddelde Green-operator alle puntsgewijze momenten van de wet van twee punten. Dit impliceert dat de afbeelding van het potentieel naar de gemiddelde Green-operator injectief is voor verdelingen met twee atomen, in tegenstelling tot de randafbeelding.
   • Eindig-Dimensionale Modellen: Als het willekeurige potentieel de vorm heeft $q(x) = q_0(x) + \sum X_j V_j(x)$ met bekende profielen $V_j$ en een willekeurige vector $X$ met compacte ondersteuning, bepaalt de gemiddelde Green-operator alle gemengde momenten van $X$, en dus de volledige wet van $X$, onder een niet-ontaardingsvoorwaarde voor de profielen.

4. Geleidbaarheidsanalogieën:
   De appendices breiden deze bevindingen uit naar de geleidbaarheidsvergelijking $\nabla \cdot (\gamma \nabla u) = 0$. Er bestaan vergelijkbare tegenvoorbeelden voor de verwachte Neumann-naar-Dirichlet-afbeelding. Voor de gemiddelde geleidbaarheids-Green-operator bepaalt echter het hoofdsymbool $\mathbb{E}(\gamma^{-1})$, en de volgende orde bepaalt een gewogen covariantiematrix die logaritmische gradiënten van $\gamma^{-1}$ bevat.

Betekenis en Beweringen
Het artikel beweert de fundamentele verschillen tussen rand- en interieur inverse problemen in aanwezigheid van algemene willekeurigheid te verduidelijken.

• Rand versus Interieur: De resultaten benadrukken een scherpe onderscheiding: randdata (zelfs met volledige statistische kennis) lijdt aan niet-uniciteit wanneer gemiddeld of getruncateerd, terwijl bron-oplossingsdata uit het interieur (de Green-operator) lokale momentinformatie behoudt die herstel van het gemiddelde en de variantie mogelijk maakt, en in specifieke gevallen, de volledige wet.
• Karakterisering van het Bereik: De tegenvoorbeelden voor de DN-afbeelding worden niet alleen geïnterpreteerd als probabilistische obstakels, maar als geometrische uitspraken over het bereik van de niet-lineaire afbeelding $q \mapsto \Lambda_q$. Specifiek bevat het bereik niet-triviale affiene combinaties van deterministische afbeeldingen die niet overeenkomen met de affiene combinatie van de potentialen.
• Contrast met Bestaande Literatuur: Het werk onderscheidt zich van de literatuur over inverse verstrooiing (bijvoorbeeld Lassas, Pääivärinta, Saksman; Caro, Helin, Lassas) die doorgaans Gaussiaanse microlokaal isotrope velden veronderstelt en het hoofdsymbool van de covariantie-operator herstelt. Dit artikel behandelt het herstel van het puntsgewijze gemiddelde en de volledige wet zonder dergelijke specifieke structuren aan te nemen, en toont aan dat dergelijk herstel onmogelijk is vanuit randmomenten maar wel mogelijk vanuit interieurgemiddelden.

Het artikel concludeert dat hoewel de volledige wet van de randafbeelding theoretisch voldoende is voor herstel (gegeven deterministische uniciteit), praktische of gedeeltelijke statistische data (verwachtingen, eindige momenten) onvoldoende is voor randproblemen, maar wel voldoende voor interieurproblemen onder de beschreven voorwaarden.