Uniqueness of simultaneous reconstruction of general space- and time-dependent sources and initial states in fractional diffusion equations and systems from single boundary measurements

1. Enunciato del Problema

L'articolo affronta una classe di problemi inversi associati alle Equazioni di Diffusione Frazionaria (FDE). Nello specifico, l'obiettivo è ricostruire simultaneamente:

1. Una funzione sorgente generale dipendente da spazio e tempo $f(t, x)$ (e $\chi(t, x)$ nei sistemi accoppiati).
2. Lo stato iniziale del sistema ($\phi(x)$ e $\psi(x)$).

Vincoli e Condizioni Chiave:

• Tipo di Equazione: Le equazioni governative coinvolgono la derivata temporale frazionaria di Riemann-Liouville (o Caputo) di ordine $\alpha$ ($0 < \alpha < 1$).
• Comportamento della Sorgente: Si assume che le funzioni sorgente si annullino dopo un certo tempo $t_0$ (cioè $f(t, x) = 0$ per $t > t_0$). Questo crea un "vuoto" tra il periodo di attività della sorgente e il periodo di osservazione.
• Dati di Osservazione: La ricostruzione si basa su singole misurazioni al bordo. Nello specifico, la derivata normale della variabile di stato, $\frac{\partial u}{\partial \nu}$, è misurata su una porzione del bordo $\Gamma \subset \partial \Omega$ durante un intervallo temporale $(t_0, t_1)$.
• Assunzione Critica: L'ordine della derivata frazionaria, $\alpha$, deve essere irrazionale.

L'articolo considera due scenari:

• IP1 (Equazione Singola): Ricostruzione di $f(t,x)$ e $\phi(x)$ per una singola FDE dove il termine di accoppiamento è nullo ($a=0$).
• IP2 (Sistema Accoppiato): Ricostruzione di due sorgenti ($f, \chi$) e due stati iniziali ($\phi, \psi$) per un sistema accoppiato di FDE, utilizzando solo la misurazione al bordo della prima componente $u$.

2. Metodologia

L'autore impiega un approccio analitico sofisticato che combina la teoria spettrale, l'analisi complessa e le proprietà del calcolo frazionario. La metodologia centrale procede come segue:

A. Decomposizione Spettrale e Trasformata di Laplace

• Il problema è analizzato utilizzando le autofunzioni dell'operatore di Laplace sul dominio $\Omega$. La soluzione è espansa in una serie di Fourier rispetto a queste autofunzioni.
• La trasformata di Laplace viene applicata alle equazioni nel dominio del tempo. Ciò converte le equazioni differenziali frazionarie in equazioni algebriche nel dominio della frequenza complessa (dominio $s$).
• La soluzione nel dominio $s$ è espressa come una serie che coinvolge le trasformate di Laplace delle sorgenti e degli stati iniziali incogniti, divise per un denominatore caratteristico dipendente dagli autovalori e dall'ordine frazionario.

B. Continuità Analitica e Tagli di Ramo

• L'articolo sfrutta il fatto che per $t > t_0$, la sorgente è nulla. Ciò implica che le trasformate di Laplace delle sorgenti sono funzioni intere (analitiche ovunque nel piano complesso).
• I dati di osservazione (flusso al bordo) sono mostrati essere analitici in un settore specifico del piano complesso.
• Prendendo il limite quando l'argomento della variabile complessa si avvicina all'asse reale negativo da sopra e da sotto ($\theta \to \pm \pi$), l'autore calcola il salto attraverso il taglio di ramo della potenza frazionaria $s^\alpha$.

C. L'Argomento dell'"Ordine Irrazionale"

• Questa è la parte più innovativa della metodologia. L'autore definisce una serie $Q(n, z)$ che coinvolge il salto attraverso il taglio di ramo e un fattore di rotazione $e^{i 2\pi n / \alpha}$.
• Lemma 5 e 6: La prova si basa sul fatto che se $\alpha$ è irrazionale, la successione $e^{i 2\pi n / \alpha}$ è densa sul cerchio unitario.
• Utilizzando la densità di questa successione, l'autore introduce una variabile continua aggiuntiva (un angolo $y$) nella serie discreta. Ciò permette di trasformare il problema da una somma discreta sugli autovalori a un'equazione funzionale continua.
• Derivando rispetto a questa nuova variabile e valutando in punti specifici, l'autore isola i coefficienti corrispondenti a specifici autovalori.

D. Unicità tramite Indipendenza Lineare

• Il metodo isola i coefficienti di Fourier delle incognite ($f_{kl}, \phi_{kl}$, ecc.) per ogni modo proprio $k$.
• Utilizzando l'indipendenza lineare delle derivate normali delle autofunzioni sul bordo $\Gamma$ (un risultato noto della teoria ellittica), l'autore dimostra che se la misurazione al bordo è nulla, allora tutti i coefficienti di Fourier delle incognite devono essere nulli.

3. Contributi Chiave

1. Ricostruzione Simultanea: A differenza di molti lavori precedenti che assumono lo stato iniziale noto o la sorgente di forma separabile ($g(t)f(x)$), questo articolo dimostra l'unicità per sorgenti generali dipendenti da spazio-tempo e stati iniziali incogniti simultaneamente.
2. Sistemi Accoppiati: I risultati sono estesi a sistemi accoppiati di equazioni di diffusione frazionaria, dove solo la misurazione al bordo di una componente è disponibile per ricostruire entrambe le sorgenti e entrambi gli stati iniziali.
3. Requisiti Minimi di Dati: L'unicità è dimostrata anche se l'intervallo di misurazione $(t_0, t_1)$ e la porzione di bordo $\Gamma$ sono arbitrariamente piccoli (purché abbiano misura non nulla).
4. Il Ruolo dell'Irrazionalità: L'articolo stabilisce che l'irrazionalità dell'ordine frazionario $\alpha$ è una condizione sufficiente per l'unicità in questo contesto generale. Ciò evidenzia una differenza fondamentale tra le equazioni di diffusione frazionarie e quelle classiche (a ordine intero), dove tale unicità per sorgenti generali è spesso un problema aperto o richiede dati più forti.
5. Primo nel suo Genere: L'autore afferma che questo è il primo articolo a dimostrare l'unicità per la determinazione di una funzione generale in un dominio di dimensione superiore (spazio-tempo) da dati in un dominio di dimensione inferiore (bordo-tempo) per questa specifica classe di problemi inversi frazionari.

4. Risultati Principali

• Teorema 1 (Problema Diretto): Stabilisce l'esistenza, l'unicità e la regolarità della soluzione del problema diretto (FDE accoppiate) in opportuni spazi funzionali ($W^{\alpha, p}$). Dimostra anche l'estensione analitica della soluzione in un settore del piano complesso per $t > t_0$.
• Teorema 2 (Unicità per IP1): Se $\alpha$ è irrazionale e il flusso al bordo $\frac{\partial u}{\partial \nu}$ è nullo su $\Gamma \times (t_0, t_1)$, allora la sorgente $f \equiv 0$ e lo stato iniziale $\phi \equiv 0$.
• Teorema 3 (Unicità per IP2): Per il sistema accoppiato, se $\alpha$ è irrazionale e il flusso al bordo della prima componente è nullo, allora sia le sorgenti ($f, \chi$) che gli stati iniziali ($\phi, \psi$) sono identicamente nulli, a condizione che gli autovalori soddisfino una condizione di non-risonanza (Condizione 49).

5. Significato

• Avanzamento Teorico: L'articolo colma una lacuna nella teoria dei problemi inversi per le PDE frazionarie. Supera le semplici sorgenti separabili per arrivare a funzioni generali, che sono più realistiche per la modellazione fisica.
• Interpretazione Fisica: Il requisito di un ordine irrazionale $\alpha$ suggerisce che nei sistemi fisici modellati da FDE (spesso usati per la diffusione anomala), l'effetto "memoria" (dipendenza dalla storia) combinato con l'irrazionalità dell'ordine fornisce informazioni sufficienti per identificare univocamente sia lo stato di partenza che la funzione di forzamento da dati al bordo limitati.
• Innovazione Metodologica: La tecnica di utilizzare la densità di $e^{i 2\pi n / \alpha}$ per introdurre una variabile continua in una serie spettrale è un potente nuovo strumento per risolvere problemi inversi dove i metodi standard delle stime di Carleman potrebbero essere difficili da applicare o dove i dati sono scarsi.
• Implicazioni Pratiche: I risultati suggeriscono che in contesti sperimentali che coinvolgono diffusione anomala (ad esempio, in mezzi porosi, tessuti biologici o fluidi complessi), non è necessariamente necessario disporre di misurazioni a campo completo o della conoscenza dello stato iniziale per identificare la dinamica della sorgente, purché l'ordine frazionario sia noto e irrazionale.