Inverse Problems for the Monge--Ampère Equation: Linearization and Nonlinear Recovery

Technische Samenvatting: Inverse Problemen voor de Monge–Ampère Vergelijking: Linearisatie en Nietlineaire Reconstructie

Probleemstelling
Dit werk onderzoekt inverse randwaardeproblemen voor de volledig nietlineaire Monge–Ampère vergelijking:
$$\det D^2 u = a(x, u, \nabla u) \quad \text{in } \Omega,$$
waarbij $\Omega \subset \mathbb{R}^n$ een begrensde domein is en $a$ een onbekende nietlineariteit. Gemotiveerd door het klassieke Calderón-probleem (elektrische impedantietomografie), vragen de auteurs zich af of de "jet" van de nietlineariteit $a$ langs een gegeven strikt convexe achtergrondoplossing $\Phi$ kan worden gereconstrueerd uit randmetingen. Specifiek is het doel om de afgeleiden van $a$ met betrekking tot zijn argumenten $(x, z, p)$ langs het traject $(x, \Phi(x), \nabla \Phi(x))$ te bepalen met behulp van de nietlineaire Cauchy-gegevensset.

In tegenstelling tot semilineaire of quasilineaire vergelijkingen missen volledig nietlineaire vergelijkingen over het algemeen een canonieke Dirichlet-tot-Neumann (DN) kaart en verbinden ze zich niet van nature met lineaire inverse problemen. De Monge–Ampère vergelijking vormt een unieke uitdaging vanwege haar volledig nietlineaire aard, maar bezit wel een divergentiestructuur via de cofactor-matrix van de Hessiaan, die de auteurs exploiteren om een systematisch kader te vestigen.

Methodologie
De auteurs ontwikkelen een systematisch raamwerk voor hogere-orde linearisatie rond een strikt convexe achtergrondoplossing $\Phi$. De aanpak verloopt in drie hoofdfasen:

1. Lokale Welbedragenheid en Gladde Afhankelijkheid:
   De auteurs vestigen eerst de lokale welbedragenheid van het Dirichlet-probleem voor randgegevens nabij $\Phi|_{\partial \Omega}$. Zij bewijzen dat de oplossingsoperator $S: \eta \mapsto u_\eta$ glad ($C^k$) is met betrekking tot de randgegevens. Dit maakt de afleiding van expliciete formules voor de hogere-orde Fréchet-afgeleiden van de oplossingsoperator mogelijk.

2. Linearisatie van de Cauchy-gegevens:
   Een nietlineaire Cauchy-gegevensset wordt gedefinieerd als de verzameling paren $(\eta, \partial_\nu u_\eta|_{\partial \Omega})$ voor randgegevens $\eta$ nabij $\Phi|_{\partial \Omega}$. De auteurs tonen aan dat de eerste variatie van deze nietlineaire gegevensset overeenkomt met de Cauchy-gegevensset van een lineaire elliptische operator $L_\Phi$ die de gelinieerde vergelijking regelt:
   $$L_\Phi v = \text{div}(C_\Phi \nabla v) - b_\Phi \cdot \nabla v - q_\Phi v = 0,$$
   waarbij de coëfficiënten worden bepaald door de achtergrondoplossing en de nietlineariteit:

   • $C_\Phi = \text{cof } D^2 \Phi$ (de cofactor-matrix van de Hessiaan),
   • $b_\Phi = \nabla_p a(x, \Phi, \nabla \Phi)$,
   • $q_\Phi = \partial_z a(x, \Phi, \nabla \Phi)$.

   Cruciaal is dat het hoofddeel van deze gelinieerde operator anisotroop is, bepaald door de cofactor-matrix $C_\Phi$.

3. Reductie en Hogere-Orde Identiteiten:
   Met behulp van een Alessandrini-type identiteit vestigen de auteurs een reductieprincipe: gelijkheid van de nietlineaire Cauchy-gegevenssets impliceert gelijkheid van de bijbehorende gelinieerde DN-kaarten. Dit reduceert het nietlineaire inverse probleem tot een anisotroop Calderón-type invers probleem voor de operator $L_\Phi$.

   Voor hogere-orde afgeleiden leiden de auteurs integraalidentiteiten af die betrokken zijn bij producten van oplossingen van de gelinieerde vergelijking en haar adjunct. Onder geschikte dichtheidsveronderstellingen voor deze producten, maken deze identiteiten de reconstructie van hogere-orde afgeleiden van $a$ langs de achtergrondjet mogelijk.

Belangrijkste Resultaten

• Eerste-Orde Reconstructie: Als twee nietlineariteiten $a_1$ en $a_2$ dezelfde nietlineaire Cauchy-gegevens genereren nabij een achtergrondoplossing $\Phi$, dan komen de DN-kaarten van hun bijbehorende gelinieerde operatoren overeen. Bijgevolg worden de grootheden $\partial_z a(x, \Phi, \nabla \Phi)$ en $\nabla_p a(x, \Phi, \nabla \Phi)$ bepaald langs de achtergrondjet, tot aan de natuurlijke gauge-invariantie van het anisotrope Calderón-probleem (rand-fixerende diffeomorfismen).
• Hogere-Orde Reconstructie: Als de achtergrondoplossing vaststaat ($\Phi_1 = \Phi_2 = \Phi$) en de lagere-orde afgeleiden van $a$ al bekend zijn als gelijk, maken hogere-orde linearisatie-identiteiten de reconstructie van hogere afgeleiden $d^k_{(z,p)} a(x, \Phi, \nabla \Phi)$ mogelijk. Dit steunt op een dichtheidseigenschap van producten van oplossingen van de gelinieerde vergelijking en haar adjunct.
• Specifieke Toepassingen:
  • Semilineair Geval: Als $a$ onafhankelijk is van $\nabla u$ (semilineair), reduceert de gelinieerde operator tot een Schrödinger-vergelijking. In dimensies $n \ge 3$ levert dit uniciteit op voor de eerste-orde afgeleide $\partial_z a$ langs kwadratische achtergronden ($\Phi(x) = |x|^2/2$).
  • Optimale Transport: Voor nietlineariteiten voortvloeiend uit optimaal transport, specifiek in de evenwichtsconfiguratie $\Phi(x) = |x|^2/2$, reduceert de gelinieerde vergelijking tot een standaard isotrope conductiviteitsvergelijking. Dit vestigt een directe link met het klassieke Calderón-probleem, wat de reconstructie van transportdensiteiten mogelijk maakt.
  • Inverse Bronproblemen: In het geval dat $a(x, u, \nabla u) = f(x)$, reduceert het probleem tot het reconstrueren van de brontermen $f(x)$, wat gekoppeld is aan de rigiditeitseigenschappen van de klasse van cofactor-matrices van strikt convexe functies.

Betekenis en Claims

Het artikel claimt de eerste systematische studie te bieden van inverse problemen voor volledig nietlineaire Monge–Ampère vergelijkingen vanuit het perspectief van Calderón-type randmetingen. De primaire bijdrage is het aantonen dat, ondanks de volledig nietlineaire aard van de vergelijking, het inverse probleem systematisch kan worden gereduceerd tot een familie van lineaire anisotrope inverse problemen via hogere-orde linearisatie.

De auteurs benadrukken dat hun aanpak de kloof overbrugt tussen volledig nietlineaire PDE's en lineaire inverse problemen, waarbij zij gebruikmaken van de specifieke divergentiestructuur van de Monge–Ampère operator. Hoewel de reconstructie van de volledige nietlineariteit afhangt van de oplosbaarheid van het bijbehorende anisotrope Calderón-probleem (welke in algemene dimensies open blijft zonder extra geometrische aannames), stelt het artikel vast dat de nietlineaire gegevens de gelinieerde coëfficiënten bepalen tot aan de natuurlijke gauge. Bovendien demonstreren zij dat onder specifieke geometrische instellingen (zoals kwadratische achtergronden) en structurele aannames (zoals semilineariteiten of optimale transport-evenwichten), onvoorwaardelijke uniciteitsresultaten kunnen worden verkregen, waarbij de volledige Taylor-expansie van de nietlineariteit langs de achtergrondtraject wordt gereconstrueerd.