Uniqueness for an inverse problem of determining order and temporal factor of the source for time-fractional evolution equations

Sintesi Tecnica: Unicità per un Problema Inverso di Determinazione dell'Ordine e del Fattore Temporale della Sorgente per Equazioni di Evoluzione Tempo-Fratte

Formulazione del Problema
Questo articolo investiga un problema inverso associato al problema di Cauchy per un'equazione di evoluzione tempo-fratta in uno spazio di Hilbert $X$. Il problema diretto è definito dall'equazione:
$$\partial_t^\alpha u(t) = -Au(t) + p(t)f$$
dove $A$ è un operatore autoaggiunto positivo definito con un inverso compatto, $f \in X$ è un profilo di sorgente noto, e gli incogniti sono l'ordine frazionario $\alpha \in (0, 1) \cup (1, 2)$ e il fattore della sorgente dipendente dal tempo $p(t) \in C[0, T]$. La condizione iniziale è definita implicitamente dal requisito che la soluzione $u$ appartenga allo spazio di Sobolev frazionario $H^\alpha(0, T; X)$, il che impone $u(0)=0$ (e $u'(0)=0$ se $\alpha > 1$) nel senso delle tracce, dove applicabile.

La condizione di sovradeterminazione fornita per risolvere il problema inverso è il prodotto scalare della soluzione con una funzione di peso fissata $\psi \in D(A)$:
$$(u(t), \psi)_X = \Psi(t), \quad 0 < t < T.$$
L'obiettivo primario è determinare l'unicità del recupero simultaneo di $\alpha$ e $p(t)$ da tali dati.

Metodologia
Gli autori impiegano un approccio di decomposizione spettrale combinato con un'analisi asintotica vicino a $t=0$. La metodologia si basa sulle seguenti fasi chiave:

1. Espansione in Autofunzioni: La soluzione $u(t)$ viene espansa utilizzando le autofunzioni dell'operatore $A$. Ciò trasforma l'equazione di evoluzione in una serie che coinvolge funzioni di Mittag-Leffler $E_{\alpha, \beta}(z)$.
2. Decomposizione Asintotica: Una tecnica centrale è la decomposizione della soluzione (o del suo prodotto scalare con $\psi$) vicino a $t=0$ in una componente principale "meno regolare" e un resto "più regolare". Nello specifico, gli autori utilizzano la proprietà per cui l'integrale frazionario $J^\alpha$ e la derivata frazionaria $\partial_t^\alpha$ permettono la separazione del termine dominante, che si comporta come $t^{\alpha+m}$ (dove $m$ si riferisce all'ordine principale di $p(t)$ a $t=0$), dai termini di ordine superiore.
3. Classi Ammissibili: L'analisi restringe i fattori della sorgente incogniti $p(t)$ e $q(t)$ a specifiche classi ammissibili ($P$ e $\tilde{P}$). Queste classi richiedono che le funzioni si comportino asintoticamente come $p(t) \sim p_0 t^m$ vicino a $t=0$ con specifiche condizioni di regolarità sul resto.
4. Unicità tramite Asintotica: Confrontando le espansioni asintotiche dei dati $(u(t), \psi)_X$ per due potenziali soluzioni con parametri $(\alpha, p)$ e $(\beta, q)$, gli autori derivano contraddizioni a meno che i parametri non siano identici. Ciò comporta l'analisi dei termini di potenza dominanti di $t$ nell'espansione.
5. Equazioni Integrali e Stabilità: Per il recupero di $p(t)$ quando $\alpha$ è noto, il problema viene ridotto a un'equazione integrale di Volterra. Gli autori utilizzano disuguaglianze di Gronwall generalizzate per stabilire esistenza, unicità e stime di stabilità Lipschitz.

Contributi Chiave e Risultati

• Unicità dell'Ordine Frazionario ($\alpha$): L'articolo stabilisce che l'ordine frazionario $\alpha$ è determinato unicamente dai dati $(u(t), \psi)_X$ per $0 < t < T$, indipendentemente dalla specifica forma dell'operatore $A$ e della funzione sorgente $p(t)$, a condizione che $p$ appartenga alla classe $P$ e che $(f, \psi)_X \neq 0$. Ciò è valido anche se l'operatore $A$ è sconosciuto (ovvero confrontando due sistemi con potenzialmente diversi operatori $\tilde{A}$).
• Unicità del Fattore della Sorgente ($p(t)$):
  • Se $\alpha$ è noto e $A$ è lo stesso per entrambi i sistemi, $p(t)$ è determinato unicamente.
  • Se $\alpha$ è sconosciuto, l'articolo dimostra che $p(t)$ è determinato unicamente insieme ad $\alpha$ sotto la condizione che $p, q \in \tilde{P}$ (una classe più ristretta che richiede una maggiore regolarità, $a \ge m+2$).
  • Il Teorema 1.1 e il Teorema 1.2 asseriscono che se i dati coincidono per tutti i $t \in (0, T)$, allora $\alpha = \beta$ e $p = q$.
• Ruolo dei Dati Iniziali: L'articolo evidenzia come l'assunzione $u(0)=0$ (implicata da $u \in H^\alpha$) sia critica. Viene fornito un esempio che mostra come, se i dati iniziali sono non nulli ($u(0) \neq 0$), l'unicità per $p(t)$ può fallire.
• Risultati Raffinati per $\alpha \in (0, 1)$: Per il caso $\alpha \in (0, 1)$, gli autori dimostrano che se i dati $(u(t), \psi)_X$ sono sufficientemente regolari (specificamente, se $\partial_t^\alpha (u, \psi)_X \in H^\theta$ con $\theta > 1/2$), allora il fattore della sorgente $p(t)$ deve essere zero se i dati sono zero. Questo estende i risultati di unicità a casi in cui $p(t)$ non deve necessariamente annullarsi a $t=0$ ma soddisfa specifiche condizioni di regolarità.
• Stabilità: Il Teorema 1.3 fornisce una stima di stabilità Lipschitz a due sensi per la determinazione di $p(t)$ quando $\alpha$ è noto, relazionando la norma di $p$ con la norma della derivata frazionaria dei dati osservati.

Significato e Rivendicazioni
L'articolo sostiene di risolvere il problema inverso della identificazione simultanea dell'ordine frazionario e del fattore della sorgente dipendente dal tempo senza una conoscenza preventiva dell'operatore ellittico $A$. A differenza di lavori precedenti che spesso si affidano a osservazioni puntuali $u(x_0, t)$ o specifiche autofunzioni, questo lavoro dimostra che una arbitraria funzione di peso $\psi \in D(A)$ è sufficiente, a condizione che l'osservazione sia continua sull'intervallo $(0, T)$.

Gli autori sottolineano che i loro risultati si basano sulla decomposizione della soluzione vicino a $t=0$ in un termine principale singolare e un resto più regolare. Questa tecnica permette di estrarre direttamente l'ordine frazionario $\alpha$ dal comportamento asintotico dei dati. L'articolo nota inoltre che, sebbene i risultati siano stabiliti per spazi di Hilbert astratti, essi sono plausibilmente estendibili all'operatore di Laplace in domini limitati con condizioni al contorno di Dirichlet, sebbene ciò rimanga un oggetto di ricerca futura. Il lavoro non propone nuove applicazioni sperimentali, ma fornisce una solida base teorica per l'unicità di questi problemi inversi nella calcolo frazionario.