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

Sintesi Tecnica: Problemi Inversi per l'Equazione di Monge–Ampère: Linearizzazione e Recupero Nonlineare

Enunciato del Problema
Questo lavoro investiga i problemi inversi ai valori di contorno per l'equazione di Monge–Ampère pienamente nonlineare:
$$\det D^2 u = a(x, u, \nabla u) \quad \text{in } \Omega,$$
dove $\Omega \subset \mathbb{R}^n$ è un dominio limitato e $a$ è una nonlinearità ignota. Motivati dal classico problema di Calderón (tomografia a impedenza elettrica), gli autori si chiedono se il "jet" della nonlinearità $a$ lungo una data soluzione di sfondo strettamente convessa $\Phi$ possa essere recuperato da misure al contorno. Nello specifico, l'obiettivo è determinare le derivate di $a$ rispetto ai suoi argomenti $(x, z, p)$ lungo la traiettoria $(x, \Phi(x), \nabla \Phi(x))$ utilizzando l'insieme dei dati di Cauchy nonlineari.

A differenza delle equazioni semilineari o quasilineeare, le equazioni pienamente nonlineari generalmente mancano di una mappa Dirichlet-to-Neumann (DN) canonica e non si collegano naturalmente ai problemi inversi lineari. L'equazione di Monge–Ampère presenta una sfida unica a causa della sua natura pienamente nonlineare, eppure possiede una struttura in divergenza tramite la matrice dei cofattori dell'Hessiano, che gli autori sfruttano per stabilire un quadro sistematico.

Metodologia
Gli autori sviluppano un quadro sistematico di linearizzazione di ordine superiore attorno a una soluzione di sfondo strettamente convessa $\Phi$. L'approccio procede in tre fasi principali:

1. Ben Determinatezza Locale e Dipendenza Regolare:
   Gli autori stabiliscono innanzitutto la ben determinatezza locale del problema di Dirichlet per dati al contorno vicini a $\Phi|_{\partial \Omega}$. Dimostrano che l'operatore soluzione $S: \eta \mapsto u_\eta$ è regolare ($C^k$) rispetto ai dati al contorno. Ciò consente la derivazione di formule esplicite per le derivate di Fréchet di ordine superiore dell'operatore soluzione.

2. Linearizzazione dei Dati di Cauchy:
   Un insieme di dati di Cauchy nonlineari è definito come la collezione di coppie $(\eta, \partial_\nu u_\eta|_{\partial \Omega})$ per dati al contorno $\eta$ vicino a $\Phi|_{\partial \Omega}$. Gli autori dimostrano che la prima variazione di questo insieme di dati nonlineari coincide con l'insieme dei dati di Cauchy di un operatore ellittico lineare $L_\Phi$ che governa l'equazione linearizzata:
   $$L_\Phi v = \text{div}(C_\Phi \nabla v) - b_\Phi \cdot \nabla v - q_\Phi v = 0,$$
   dove i coefficienti sono determinati dalla soluzione di sfondo e dalla nonlinearità:

   • $C_\Phi = \text{cof } D^2 \Phi$ (la matrice dei cofattori dell'Hessiano),
   • $b_\Phi = \nabla_p a(x, \Phi, \nabla \Phi)$,
   • $q_\Phi = \partial_z a(x, \Phi, \nabla \Phi)$.

   Fondamentalmente, la parte principale di questo operatore linearizzato è anisotropa, determinata dalla matrice dei cofattori $C_\Phi$.

3. Riduzione e Identità di Ordine Superiore:
   Utilizzando un'identità di tipo Alessandrini, gli autori stabiliscono un principio di riduzione: l'uguaglianza degli insiemi di dati di Cauchy nonlineari implica l'uguaglianza delle corrispondenti mappe DN linearizzate. Ciò riduce il problema inverso nonlineare a un problema inverso di tipo Calderón anisotropo per l'operatore $L_\Phi$.

   Per le derivate di ordine superiore, gli autori derivano identità integrali coinvolgenti prodotti di soluzioni dell'equazione linearizzata e della sua aggiunta. Sotto adeguate assunzioni di densità per questi prodotti, tali identità permettono il recupero delle derivate di ordine superiore di $a$ lungo il jet di sfondo.

Risultati Chiave

• Recupero del Primo Ordine: Se due nonlinearità $a_1$ e $a_2$ generano gli stessi dati di Cauchy nonlineari vicino a una soluzione di sfondo $\Phi$, allora le mappe DN dei loro associati operatori linearizzati coincidono. Di conseguenza, le quantità $\partial_z a(x, \Phi, \nabla \Phi)$ e $\nabla_p a(x, \Phi, \nabla \Phi)$ sono determinate lungo il jet di sfondo, fino alla naturale invarianza di gauge del problema di Calderón anisotropo (diffeomorfismi che fissano il contorno).
• Recupero di Ordine Superiore: Se la soluzione di sfondo è fissata ($\Phi_1 = \Phi_2 = \Phi$) e le derivate di ordine inferiore di $a$ sono già note come concordi, le identità di linearizzazione di ordine superiore permettono il recupero delle derivate superiori $d^k_{(z,p)} a(x, \Phi, \nabla \Phi)$. Ciò si basa su una proprietà di densità dei prodotti di soluzioni dell'equazione linearizzata e della sua aggiunta.
• Applicazioni Specifiche:
  • Caso Semilineare: Se $a$ è indipendente da $\nabla u$ (semilineare), l'operatore linearizzato si riduce a un'equazione di Schrödinger. In dimensioni $n \ge 3$, ciò fornisce l'unicità per la derivata del primo ordine $\partial_z a$ lungo sfondi quadratici ($\Phi(x) = |x|^2/2$).
  • Trasporto Ottimale: Per le nonlinearità derivanti dal trasporto ottimale, specificamente nella configurazione di equilibrio $\Phi(x) = |x|^2/2$, l'equazione linearizzata si riduce a una standard equazione di conducibilità isotropa. Ciò stabilisce un legame diretto con il classico problema di Calderón, permettendo il recupero delle densità di trasporto.
  • Problemi di Sorgente Inversa: Nel caso in cui $a(x, u, \nabla u) = f(x)$, il problema si riduce al recupero del termine sorgente $f(x)$, che è legato alle proprietà di rigidità della classe di matrici dei cofattori di funzioni strettamente convesse.

Significatività e Rivendicazioni
L'articolo sostiene di fornire il primo studio sistematico dei problemi inversi per le equazioni di Monge–Ampère pienamente nonlineari dalla prospettiva delle misure di contorno di tipo Calderón. Il suo contributo primario è dimostrare che, nonostante la natura pienamente nonlineare dell'equazione, il problema inverso può essere sistematicamente ridotto a una famiglia di problemi inversi lineari anisotropi attraverso la linearizzazione di ordine superiore.

Gli autori sottolineano che il loro approccio colma il divario tra le PDE pienamente nonlineari e i problemi inversi lineari, sfruttando la specifica struttura in divergenza dell'operatore di Monge–Ampère. Sebbene il recupero della piena nonlinearità dipenda dalla solvibilità del problema di Calderón anisotropo associato (che rimane aperto in dimensioni generali senza ulteriori assunzioni geometriche), il lavoro stabilisce che i dati nonlineari determinano i coefficienti linearizzati fino alla naturale invarianza di gauge. Inoltre, dimostra che sotto specifici setting geometrici (come gli sfondi quadratici) e assunzioni strutturali (semilinearità o equilibri di trasporto ottimale), è possibile ottenere risultati di unicità incondizionata, recuperando l'intera espansione di Taylor della nonlinearità lungo la traiettoria di sfondo.