Inverse problems for a nonlinear dynamical Schrödinger operator with magnetic potential

Sintesi Tecnica: Problemi Inversi per un Operatore di Schrödinger Dinamico Nonlineare con Potenziale Magnetico

Enunciato del Problema
Questo articolo investiga due problemi inversi riguardanti un operatore di Schrödinger quasilineare definito su un dominio limitato $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$) su un intervallo temporale $(0, T)$. L'operatore $L_{A,q}$ incorpora un potenziale magnetico $A(t, x, u)$ e un potenziale elettrico $q(t, x, u)$ dipendenti dal tempo, entrambi funzioni nonlineari della soluzione $u$. Nello specifico, i potenziali soddisfano assunzioni di analiticità, che permettono di espanderli in serie di potenze dove i coefficienti rappresentano termini di risposta elettromagnetica di ordine superiore del mezzo.

L'obiettivo primario è recuperare univocamente i potenziali nonlineari $A$ e $q$ nel dominio spazio-temporale $Q \times \mathbb{C}$ attraverso misurazioni di confine. Lo studio affronta due scenari distinti:

1. Problema a Dati Completi: Recupero dei potenziali utilizzando la mappa di Dirichlet-al-Neumann (DtN) $\Lambda_{A,q}$ definita sull'intero bordo laterale $\Sigma = (0, T) \times \partial\Omega$.
2. Problema a Dati Parziali: Recupero dei potenziali quando la mappa DtN è misurata solo su un sottoinsieme aperto arbitrariamente piccolo $\Gamma \subset \partial\Omega$, assumendo che i potenziali siano già noti in un vicinato del confine.

Metodologia
Gli autori impiegano una combinazione di analisi di ben-proprietà (well-posedness), costruzioni di ottica geometrica e tecniche di linearizzazione di ordine superiore.

• Ben-proprietà del Problema Diretto: Prima di affrontare i problemi inversi, l'articolo stabilisce la ben-proprietà del problema iniziale-al-confine per l'equazione nonlineare con dati di Dirichlet piccoli. Ciò viene ottenuto riscrivendo il problema nonlineare come un'equazione di operatore lineare con un termine sorgente contenente le nonlinearità. Utilizzando approssimazioni di tipo Faedo-Galerkin, stime di energia e un argomento di punto fisso in spazi di Sobolev anisotropi appropriati ($H^{m+1, m+2}(Q)$), gli autori dimostrano l'esistenza e l'unicità delle soluzioni con regolarità di Sobolev ottimale.

• Soluzioni di Ottica Geometrica: Uno strumento centrale nella dimostrazione è la costruzione di soluzioni di ottica geometrica per l'operatore lineare $L_{A_0, q_1}$ (dove $A_0$ e $q_1$ sono i coefficienti lineari). Queste soluzioni assumono la forma di onde oscillatorie con un grande parametro $\lambda$, composte da una parte principale (le cui ampiezze soddisfano equazioni di trasporto) e un termine di resto.

  • Per il recupero dei coefficienti lineari ($A_0, q_1$), si dimostra che il resto decade in $H^{1,2}(Q)$.
  • Per il recupero dei coefficienti nonlineari di ordine superiore, gli autori costruiscono soluzioni in cui il resto decade in spazi di Sobolev di ordine superiore $H^{m+1}(Q)$ (con $m > n+1$), garantendo che la proprietà di algebra di Banach sia preservata durante la moltiplicazione.

• Linearizzazione di Ordine Superiore: La strategia centrale per gestire la nonlinearità è il metodo della linearizzazione di ordine superiore.

  • Primo Ordine: Differenziando la mappa DtN rispetto al parametro dei dati al confine $\varepsilon$ in $\varepsilon=0$, il problema si riduce al problema inverso per l'operatore di Schrödinger lineare. Ciò consente il recupero dei potenziali di background $A_0$ e $q_1$. A causa dell'invarianza di gauge della mappa DtN linearizzata, l'unicità per $A_0$ è stabilita solo fino a un gradiente, rendendo necessaria l'assunzione che $\nabla \cdot A_0$ sia noto.
  • Secondo e Ordini Superiori: Applicando derivate di ordine superiore (ad esempio, $\partial_{\varepsilon_1}\partial_{\varepsilon_2}$), gli autori derivano identità integrali che coinvolgono prodotti di soluzioni delle equazioni linearizzate. Sostituendo le soluzioni di ottica geometrica in queste identità e prendendo il limite per $\lambda \to \infty$, si isolano i coefficienti di ordine superiore ($A_1, q_2$, ecc.). Un argomento induttivo viene poi utilizzato per recuperare univocamente tutti i termini di ordine superiore.

• Riduzione a Dati Parziali: Per il problema a dati parziali, gli autori utilizzano una proprietà di continuazione unica. Assumendo che i potenziali siano noti vicino al confine, costruiscono una funzione di taglio (cut-off) per estendere la soluzione dal sottoinsieme misurato all'intero dominio, riducendo efficacemente il problema a dati parziali al caso a dati completi.

Risultati Chiave

1. Teorema 1.1 (Unicità a Dati Completi): Sotto l'assunzione che $\nabla \cdot A_0^{(1)} = \nabla \cdot A_0^{(2)}$ in $Q$ e che i potenziali coincidano sul confine, la mappa Dirichlet-al-Neumann completa determina univocamente i potenziali magnetici ed elettrici nonlineari $A$ e $q$ in $Q \times \mathbb{C}$.
2. Teorema 1.2 (Unicità a Dati Parziali): Se i potenziali sono noti in un vicinato del confine, la mappa Dt even misurata su un sottoinsieme aperto arbitrariamente piccolo del confine determina univocamente i potenziali nell'intero dominio.
3. Ben-proprietà (Teorema 3.8): Il problema iniziale-al-confine nonlineare ammette una soluzione unica per dati al confine sufficientemente piccoli, con la soluzione che possiede una regolarità di Sobolev ottimale ($H^{m+1, m+2}$).

Significato e Rivendicazioni
L'articolo sostiene di fornire i primi risultati sui problemi inversi per equazioni di Schrödinger dinamiche nonlineari con potenziali magnetici dipendenti dal tempo.

• Novità: La letteratura precedente si è concentrata ampiamente su operatori lineari o non-linearità indipendenti dal tempo. Questo lavoro estende l'ambito a operatori quasilineari con coefficienti dipendenti dal tempo.
• Contributo Metodologico: Il lavoro dimostra l'efficacia della linearizzazione di ordine superiore combinata con soluzioni di ottica geometrica ad alta regolarità per recuperare coefficienti nonlineari dipendenti dal tempo. Affronta specificamente la sfida tecnica di garantire che i termini di resto decadano sufficientemente velocemente negli spazi di Sobolev di ordine superiore per gestire le interazioni nonlineari.
• Ambito: I risultati sono teorici, stabilendo unicità e ben-proprietà. Gli autori non propongono configurazioni sperimentali specifiche o algoritmi numerici, ma forniscono la base matematica per il recupero di proprietà elettromagnetiche complesse e variabili nel tempo dei mezzi a partire da dati di confine.

Il lavoro si basa e amplia studi precedenti su problemi inversi lineari per operatori di Schrödinger e problemi inversi nonlineari per equazioni iperboliche e paraboliche, utilizzando tecniche come l'ottica geometrica e la continuazione unica che sono standard nel campo, ma qui adattate alla specifica struttura dell'operatore di Schrödinger dinamico nonlineare.