Lipschitz stability for an inverse source problem of the wave equation with kinetic boundary conditions

Sintesi Tecnica: Stabilità Lipschitz per un Problema Inverso di Sorgente dell'Equazione delle Onde con Condizioni al Contorno Cinetiche

Enunciato del Problema
Questo articolo affronta un problema inverso di sorgente per l'equazione delle onde definita su un dominio limitato $\Omega \subset \mathbb{R}^n$ con un bordo liscio $\Gamma = \Gamma_0 \cup \Gamma_1$. Il sistema incorpora condizioni al contorno miste: una condizione di Dirichlet su $\Gamma_0$ e una condizione al contorno dinamica (cinetica) su $\Gamma_1$. La condizione dinamica tiene conto del momento dell'onda sul bordo e dell'interazione bulk-superficie, modellata dall'equazione $\partial^2_t y_\Gamma - \delta \Delta_\Gamma y_\Gamma + d\partial_\nu y + q_\Gamma(x)y_\Gamma = g(x,t)$, dove $y_\Gamma$ è la traccia della soluzione sul bordo, $\Delta_\Gamma$ è l'operatore di Laplace-Beltrami e $\partial_\nu$ denota la derivata normale.

L'obiettivo primario è stabilire la stabilità globale Lipschitz per la determinazione simultanea di due termini di forzante ignoti, $f(x,t)$ nel bulk e $g(x,t)$ sul bordo $\Gamma_1$, da una singola misurazione parziale del flusso di bordo $\partial_\nu y$ su un sottoinsieme $\gamma \subset \Gamma_0$. Si assume che i termini sorgente appartengano a un insieme ammissibile $S(C_0)$ dove le loro derivate temporali sono limitate dai loro valori iniziali.

Metodologia
La metodologia centrale si basa sulla derivazione di una stima di Carleman globale netta per il sistema delle onde con condizioni al contorno dinamiche. Gli autori impiegano un approccio raffinato che prevede i seguenti passaggi:

1. Correzione delle Precedenti Funzioni Peso: Gli autori identificano un errore critico nella funzione peso $\zeta(x,t) = |x-x_0|^2 - \beta t^2 + C_0$ utilizzata nel lavoro precedente di Gal e Tebou [16]. L'identità $\nabla^2_\Gamma \zeta = 2I$ rivendicata in [16] viene dimostrata errata per domini standard (ad esempio, una sfera). Per risolvere il problema, gli autori introducono una nuova funzione peso $\psi(x,t) = \psi_0(x) - \beta t^2 + C_1$, dove $\psi_0(x) = \mu^2(x)$ e $\mu$ è la funzione di Minkowski (gauge) associata a un insieme convesso $\Omega_1$ contenuto in $\Omega$. Questa costruzione assicura che $\nabla_\Gamma \psi = 0$ e $\nabla^2_\Gamma \psi = 0$ su $\Gamma_1$, soddisfacendo le necessarie condizioni di pseudo-convessità senza fare affidamento sull'identità errata.

2. Derivazione della Stima di Carleman: Utilizzando la nuova funzione peso, gli autori derivano una stima di Carleman (Teorema 3.1) per il sistema. Un traguardo tecnico chiave è la capacità di mantenere il termine relativo al gradiente tangenziale $|\nabla_\Gamma y_\Gamma|^2$ sul lato sinistro della disuguaglianza, a condizione che valga $\delta > d$. Ciò è ottenuto selezionando attentamente il parametro $\beta$ e utilizzando le proprietà della nuova funzione peso, evitando la necessità di funzioni di cut-off nel tempo che erano precedentemente richieste.

3. Dimostrazione della Stabilità: Il problema inverso viene risolto estendendo un recente argomento (evitando le funzioni di cut-off) alla impostazione del bordo dinamico. Differenziando il sistema rispetto al tempo e applicando la derivata della stima di Carleman alla soluzione differenziata nel tempo, gli autori mettono in relazione le norme $L^2$ dei termini sorgente con l'osservazione della derivata temporale del flusso di bordo $\partial_t \partial_\nu y$.

4. Applicazione della Controllabilità: Come applicazione secondaria, la stima di Carleman stabilita viene utilizzata tramite un classico argomento di dualità per dimostrare la controllabilità esatta del bordo per il sistema con un controllo che agisce solo sulla porzione di Dirichlet $\gamma \subset \Gamma_0$.

Risultati Chiave

• Teorema 3.1 (Stima di Carleman): Il saggio stabilisce una stima di Carleman globale per l'equazione delle onde con condizioni al contorno dinamiche. Questa stima corregge e migliora il risultato in [16] utilizzando una funzione peso valida che garantisce la pseudo-convessità sul bordo. Fondamentalmente, sotto la condizione $\delta > d$, la stima assorbe il termine del gradiente tangenziale $|\nabla_\Gamma y_\Gamma|^2$ nel lato sinistro, fornendo una disuguaglianza più netta.
• Teorema 4.1 (Stabilità Lipschitz): Per un tempo $T$ superiore a un tempo minimo specifico $T^*$ (dipendente dalla geometria e dalle velocità delle onde), e assumendo $\delta > d$, gli autori dimostrano una stima di stabilità Lipschitz globale:
  $$\|f\|_{L^2} + \|g\|_{L^2} \leq C \|\partial_t \partial_\nu y\|_{L^2(\gamma \times (0,T))}$$
  Questo risultato garantisce il recupero unico e stabile dei termini sorgente da una singola misurazione di bordo.
• Teorema 5.5 (Controllabilità Esatta): Il sistema è mostrato essere esattamente controllabile in un tempo $T > 2T^*$ mediante una singola forza di controllo che agisce sul bordo di Dirichlet $\gamma$. Questo migliora i risultati precedenti che richiedevano due forze di controllo.

Significatività e Rivendicazioni
Gli autori affermano che questo lavoro fornisce il primo risultato di stabilità Lipschitz globale per un problema iperbolico inverso con condizioni al contorno dinamiche/Dirichlet generali. La significatività risiede nel fatto che:

1. Correzione Rigorosa: Il saggio corregge un errore fondamentale nell'analisi della funzione peso del lavoro seminale di Gal e Tebou [16], che si era basato su un'identità dell'Hessiano errata per il bordo.
2. Nitidezza (Sharpness): La stima di Carleman derivata è "netta" nel senso che pone i termini della derivata tangenziale sul lato sinistro (sotto la condizione $\delta > d$), mentre le stime precedenti ponevano tali termini sul lato destro o richiedevano assunzioni aggiuntive.
3. Avanzamento Metodologico: Il saggio dimostra che una diversa funzione peso, originariamente utilizzata per le equazioni di Schrödinger, può essere adattata con successo alle equazioni delle onde con condizioni al contorno dinamiche, superando le difficoltà legate all'accoppiamento tra la dinamica del bulk e della superficie.
4. Ottimalità: Il risultato di controllabilità è notato come ottimale perché raggiunge la controllabilità esatta con un singolo controllo sulla parte di Dirichlet, in contrasto con i lavori precedenti che utilizzavano due controlli.

Il saggio conclude identificando problemi aperti, specificamente il caso in cui $\delta \leq d$ (dove la attuale stima di Carleman fallisce nell'assorbire certi termini) e l'estensione di questi risultati al caso in cui le condizioni al contorno dinamiche siano imposte sull'intero bordo $\Gamma$.