An Inverse Problem for the Prescribed Mean Curvature

Sintesi Tecnica: Un Problema Inverso per la Curvatura Media Prescritta

Enunciato del Problema
Questo articolo affronta il problema inverso della sorgente per l'equazione della curvatura media prescritta (PMC) in due dimensioni. L'equazione governante su un dominio limitato $\Omega \subset \mathbb{R}^2$ è data da:
$$\nabla \cdot \left[ \frac{\nabla u}{(1 + |\nabla u|^2)^{1/2}} \right] = H(x),$$
dove $H \in C^\alpha(\Omega)$ è la funzione sorgente che rappresenta la curvatura media prescritta. L'obiettivo è determinare univocamente la funzione sorgente $H$ a partire dalla mappa di Dirichlet-to-Neumann (DN) $\Lambda_H$. La mappa DN assegna un valore al bordo $f$ alla derivata normale $\partial_\nu u|_{\partial\Omega}$ della soluzione $u$. Gli autori stabiliscono che se le mappe DN per due funzioni sorgente $H$ e $\tilde{H}$ coincidono per dati al contorno sufficientemente vicini a un valore di background fissato $f_0$, e se $H$ e $\tilde{H}$ concordano ad alto ordine sul bordo, allora $H = \tilde{H}$ in tutto $\Omega$.

Metodologia
La dimostrazione si basa su una combinazione di tecniche di linearizzazione di ordine superiore, l'analisi delle equazioni linearizzate risultanti e soluzioni di ottica geometrica complessa (CGO). La metodologia procede attraverso diverse fasi distinte:

1. Prima Linearizzazione e Interpretazione Geometrica:
   Gli autori linearizzano l'equazione non lineare PMC attorno a una soluzione di background $u_0$ corrispondente a un valore al contorno $f_0$ fissato. La prima linearizzazione produce un'equazione di conducibilità anisotropa:
   $$\nabla \cdot (g^{-1} \nabla v) = 0,$$
   dove il tensore metrico $g$ dipende esplicitamente dal gradiente della soluzione di background, $\nabla u_0$. Nello specifico, $g^{-1}$ corrisponde a una metrica riemanniana derivata dalla metrica euclidea e dal gradiente di $u_0$. Ciò trasforma il problema inverso per l'equazione non lineare in un problema inverso per un'equazione lineare con coefficienti dipendenti dalla soluzione di background incognita.

2. Informazioni al Bordo e Invarianza di Gauge:
   Utilizzando l'assunzione che le mappe DN coincidano, gli autori deducono che le metriche $g$ e $\tilde{g}$ associate a $H$ e $\tilde{H}$ sono legate da una diffeomorfismo conforme $\phi: \Omega \to \Omega$ tale che $g = \lambda \phi^* \tilde{g}$. Analizzando il comportamento al bordo e utilizzando le proprietà di continuazione unica, dimostrano che $\phi$ fissa il bordo a ordine infinito e che i moduli dei gradienti delle soluzioni di background sono correlati da $|\nabla u_0| = |\nabla \tilde{u}_0| \circ \phi$.

3. Seconda Linearizzazione e Identità Integrali:
   Per rompere la rimanente invarianza di gauge e stabilire l'uguaglianza completa dei gradienti ($\nabla u_0 = \nabla \tilde{u}_0$), gli autori eseguono una seconda linearizzazione. Questa produce un sistema accoppiato che coinvolge un'identità integrale su $\Omega$ della forma:
   $$\int_\Omega T \cdot \mathcal{L}(v_0, v_1, v_2) \, dV_g = 0,$$
   dove $T$ è un campo vettoriale definito dalla differenza tra i gradienti trasformati delle soluzioni di background, e $v_0, v_1, v_2$ sono soluzioni della prima equazione linearizzata. Il termine $\mathcal{L}$ coinvolge gradienti e Laplaciani di tali soluzioni.

4. Soluzioni di Ottica Geometrica Complessa (CGO):
   Gli autori costruiscono specifiche soluzioni CGO per l'equazione di tipo Schrödinger associata alla metrica $g$. Queste soluzioni sono della forma $v = e^{\Phi/h}(a + r_h)$, dove $\Phi$ è una funzione di Morse o lofomorfa, $a$ è un'ampiezza o lofomorfa, e $r_h$ è un termine di correzione. Scegliendo soluzioni con specifici comportamenti di fase (alcune con punti critici, altre senza), eseguono un'analisi asintotica al limite $h \to 0$. Questa analisi isola i termini di ordine dominante dell'identità integrale, sondando efficacemente il campo vettoriale $T$ nei punti interni.

5. Unicità tramite Rigidità di Tipo Liouville:
   L'analisi asintotica porta a un sistema di equazioni implicando che le componenti di $T$ soddisfano un'equazione differenziale alle derivate parziali ellittica. Combinato con il fatto che $T$ svanisce ad alto ordine sul bordo (derivato dall'accordo al bordo di $H$ e $\tilde{H}$), i principi di continuazione unica forzano $T \equiv 0$ in $\Omega$. Ciò implica $\nabla u_0 = \nabla \tilde{u}_0$. Infine, viene applicato un risultato di unicità di tipo Liouville per le mappature conformi in due dimensioni per mostrare che il diffeomorfismo $\phi$ deve essere l'identità, provando così che $H = \tilde{H}$.

Contributi Chiave e Risultati

• Primo Trattamento di Problemi Inversi di Sorgente per Equazioni Quasilineeari: L'articolo presenta il primo trattamento rigoroso di un problema inverso della sorgente per un'equazione ellittica quasilineare. I lavori precedenti in questo dominio si sono concentrati principalmente su equazioni lineari o problemi inversi per termini non lineari senza termini sorgente.
• Derivazione di Sistemi Non Lineari Accoppiati: Gli autori derivano un sistema accoppiato di equazioni differenziali algebriche e geometriche dalle misurazioni al contorno. Questo sistema lega la funzione sorgente al gradiente della soluzione di background e al fattore conforme della metrica.
• Teorema di Unicità: Il risultato principale (Teorema 1.1) dimostra la determinazione univoca della funzione sorgente $H$ in due dimensioni dalla mappa DN, a condizione che le sorgenti concordino ad alto ordine sul bordo.
• Applicazione della Teoria Calderón Anisotropa: Il lavoro dimostra una nuova applicazione della teoria del problema di Calderón anisotropo. Sebbene l'equazione PMC originale sia posta su un dominio euclideo, la sua linearizzazione porta naturalmente a un'equazione di conducibilità anisotropa con una metrica dipendente dalla soluzione, colmando il divario tra problemi inversi non lineari e problemi inversi geometrici.

Significato e Motivazione
Gli autori pongono questo lavoro come un passo fondamentale verso la risoluzione di problemi inversi per equazioni ellittiche quasilineeari generali della forma $\nabla \cdot (A(\nabla u)\nabla u) = H(x)$. L'equazione della curvatura media prescritta funge da esempio prototipico.

L'articolo evidenzia la rilevanza fisica dell'equazione PMC nel modellare superfici sotto tensione bilanciata con forze esterne, come bolle di sapone con pressione interna, superfici capillari e membrane biologiche. Inoltre, gli autori osservano la crescente importanza dei problemi inversi per le superfici minime (il caso $H=0$) nella fisica teorica, specificamente all'interno del quadro della dualità AdS/CFT, dove gli strumenti matematici tradizionali sono stati talvolta insufficienti. Estendendo queste tecniche al caso della curvatura media prescritta, il lavoro contribuisce alla cassetta degli attrezzi matematica disponibile per tali applicazioni fisiche.

Il contributo metodologico risiede nell'integrazione riuscita della linearizzazione di ordine superiore con le soluzioni CGO per gestire la specifica struttura delle equazioni quasilineeari, superando le sfide poste dalla non linearità e dal termine sorgente. Gli autori sottolineano che sistemi simili di equazioni accoppiate emergeranno probabilmente in altri problemi inversi per equazioni quasilineeari, suggerendo la più ampia applicabilità del loro approccio.