The Tricomi equation in the hyperbolic half plane under additive space-time Gaussian White Noise perturbation

Sintesi Tecnica di "The Tricomi equation in the hyperbolic half plane under additive space-time Gaussian White Noise perturbation"

Enunciato del Problema
Questo articolo investiga il problema di Cauchy per l'equazione di Tricomi perturbata da rumore bianco gaussiano spazio-temporale additivo. L'equazione di Tricomi, un'equazione alle derivate parziali del secondo ordine di tipo misto ellittico-iperbolico, è data da $\partial_{tt}u = t\partial_{xx}u$. Essa è iperbolica per $t > 0$, ellittica per $t < 0$, e degenera a $t = 0$. Il problema stocastico specifico affrontato è:
$$\begin{cases} \partial_{tt}U(t, x) = t\partial_{xx}U(t, x) + W(t, x), & t > 0, x \in \mathbb{R}; \\ U(0, x) = 0, \quad \partial_t U(0, x) = 0, & x \in \mathbb{R}, \end{cases}$$
dove $\{W(t, x)\}$ rappresenta il rumore bianco gaussiano spazio-temporale. L'obiettivo primario è stabilire l'esistenza e l'unicità di una soluzione quadrato-integrabile e analizzare le sue proprietà probabilistiche e analitiche, concentrandosi specificamente sul comportamento nel semipiano iperbolico ($t > 0$).

Metodologia
Gli autori adottano un approccio basato sulla trasformata di Fourier piuttosto che fare affidamento sulla soluzione fondamentale esplicita dell'operatore di Tricomi, la quale è nota ma complessa. La metodologia procede come segue:

1. Trasformata di Fourier: La variabile spaziale viene trasformata, convertendo la PDE stocastica in una famiglia di equazioni differenziali ordinarie (ODE) parametrizzate dalla frequenza $\xi$. La parte omogenea dell'equazione trasformata, $\partial_{tt}\hat{v} = -t\xi^2 \hat{v}$, viene ridotta tramite il cambio di variabile $\eta = |\xi|^{2/3}t$ all'equazione di Airy $\partial_{\eta\eta}v = -\eta v$.
2. Rappresentazione tramite Funzioni di Airy: La soluzione dell'ODE trasformata viene costruita utilizzando le funzioni di Airy, $Ai$e$Bi$, linearmente indipendenti. Gli autori derivano una rappresentazione integrale per la soluzione coinvolgendo un nucleo $C(t, s, \rho)$ definito da queste funzioni di Airy.
3. Approssimazione del Rumore: Il rumore bianco spazio-temporale viene approssimato da un processo regolare a rango finito mediante un'espansione in serie che utilizza funzioni di Laguerre (nel tempo) e funzioni di Hermite (nello spazio) moltiplicate per variabili gaussiane standard indipendenti.
4. Analisi Asintotica: Il nucleo dell'analisi consiste nello studio accurato del comportamento asintotico degli integrali contenenti le funzioni di Airy, in particolare per argomenti grandi (asse reale negativo) e vicino allo zero. Questa analisi è cruciale per stabilire la convergenza della serie soluzione e la regolarità dei cammini campionari.

Risultati Chiave

• Esistenza e Unicità (Teorema 1.1): L'articolo dimostra che il problema di Cauchy ammette un'unica soluzione di tipo campo-casuale (mild random-field solution). Tale soluzione è un campo casuale gaussiano rappresentato come una serie convergente in $L^2(\Omega, \mathcal{F}, P)$ e quasi certamente. La soluzione è espressa esplicitamente in termini di integrali delle funzioni di Airy e dei coefficienti del rumore. Gli autori stabiliscono che il secondo momento della soluzione è finito.
• Stazionarietà e Correlazione (Corollario 1.2): Per ogni tempo fissato $t > 0$, il processo $x \mapsto U(t, x)$ è mostrato essere stazionario del secondo ordine con media nulla. La funzione di covarianza è derivata esplicitamente. Fondamentalmente, gli autori analizzano il comportamento della funzione di correlazione $r_t(h)$ per piccoli ritardi spaziali $h$. Essi dimostrano che $r_t(h) = 1 - \alpha_t |h| + o(|h|)$ per $|h| \to 0$. Questo comportamento lineare vicino all'origine implica che il processo ammette una modifica continua.
• Regolarità Temporale (Corollario 1.3): Per ogni punto spaziale $x$ fissato, il processo $t \mapsto U(t, x)$ ammette una modifica continua. Utilizzando la natura gaussiana della soluzione e il teorema di continuità di Kolmogorov, gli autori stabiliscono che i cammini temporali possiedono una regolarità Hölder di qualsiasi ordine inferiore a $1/2$.

Significato e Rivendicazioni
Il lavoro contribuisce alla letteratura sulle equazioni differenziali alle derivate parziali stocastiche (SPDE) con operatori non strettamente iperbolici, un campo meno esplorato rispetto alle classiche equazioni d'onda.

• Confronto con l'Equazione d'Onda: Un risultato significativo è che le proprietà della soluzione di questa equazione di Tricomi stocastica (specificamente esistenza, unicità e continuità del cammino) sono equivalenti a quelle derivate per il corrispondente operatore d'onda stocastico. Ciò contrasta con i recenti risultati in [11], dove l'introduzione di termini di ordine inferiore in operatori di tipo Tricomi ha portato alla perdita di soluzioni di campo-casuale ben definite.
• Robustezza: I risultati suggeriscono che la degenerazione dell'operatore di Tricomi a $t=0$ non impedisce l'esistenza di una soluzione ben definita sotto perturbazione di rumore bianco additivo, a condizione che l'analisi sia condotta tramite il metodo Fourier-Airy.
• Contributo Tecnico: Il lavoro fornisce una derivazione rigorosa della rappresentazione della soluzione e stime dettagliate sul comportamento asintotico degli integrali che coinvolgono le funzioni di Airy, necessarie per dimostrare la continuità dei cammini campionari sia nello spazio che nel tempo.

Gli autori non propongono nuove applicazioni o direzioni sperimentali future, ma si concentrano strettamente sulla ben-posedness matematica e sulle proprietà di regolarità dell'equazione di Tricomi stocastica.