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

Résumé technique de « L'équation de Tricomi dans le demi-plan hyperbolique sous perturbation par un bruit blanc gaussien espace-temps additif »

Énoncé du problème
Cet article étudie le problème de Cauchy pour l'équation de Tricomi perturbée par un bruit blanc gaussien espace-temps additif. L'équation de Tricomi, une équation aux dérivées partielles du second ordre de type mixte elliptique-hyperbolique, est donnée par $\partial_{tt}u = t\partial_{xx}u$. Elle est hyperbolique pour $t > 0$, elliptique pour $t < 0$, et dégénérée à $t = 0$. Le problème stochastique spécifique abordé est :
$$\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}$$
où $\{W(t, x)\}$ représente un bruit blanc gaussien espace-temps. L'objectif principal est d'établir l'existence et l'unicité d'une solution de carré intégrable et d'analyser ses propriétés probabilistes et analytiques, en se concentrant spécifiquement sur son comportement dans le demi-plan hyperbolique ($t > 0$).

Méthodologie
Les auteurs adoptent une approche par transformée de Fourier plutôt que de s'appuyer sur la solution fondamentale explicite de l'opérateur de Tricomi, qui est connue mais complexe. La méthodologie procède comme suit :

1. Transformation de Fourier : La variable spatiale est transformée, convertissant l'EDP stochastique en une famille d'équations différentielles ordinaires (EDO) paramétrées par la fréquence $\xi$. La partie homogène de l'équation transformée, $\partial_{tt}\hat{v} = -t\xi^2 \hat{v}$, est réduite via le changement de variable $\eta = |\xi|^{2/3}t$ en l'équation d'Airy $\partial_{\eta\eta}v = -\eta v$.
2. Représentation via les fonctions d'Airy : La solution de l'EDO transformée est construite à l'aide des fonctions d'Airy $Ai$ et $Bi$, qui sont linéairement indépendantes. Les auteurs dérivent une représentation intégrale de la solution impliquant un noyau $C(t, s, \rho)$ défini par ces fonctions d'Airy.
3. Approximation du bruit : Le bruit blanc espace-temps est approximé par un processus lisse de rang fini à l'aide d'une expansion en série impliquant des fonctions de Laguerre (dans le temps) et des fonctions de Hermite (dans l'espace) multipliées par des variables gaussiennes standard indépendantes.
4. Analyse asymptotique : Le cœur de l'analyse consiste en une étude minutieuse du comportement asymptotique des intégrales contenant les fonctions d'Airy, particulièrement pour les grands arguments (axe réel négatif) et au voisinage de zéro. Cette analyse est cruciale pour établir la convergence de la série de la solution et la régularité des trajectoires des échantillons.

Résultats clés

• Existence et unicité (Théorème 1.1) : L'article prouve que le problème de Cauchy admet une unique solution de type champ aléatoire faible (mild solution). Cette solution est un champ aléatoire gaussien représenté par une série convergente dans $L^2(\Omega, \mathcal{F}, P)$ et presque sûrement. La solution est donnée explicitement en termes d'intégrales des fonctions d'Airy et des coefficients du bruit. Les auteurs établissent que le second moment de la solution est fini.
• Stationnarité et corrélation (Corollaire 1.2) : Pour tout temps fixé $t > 0$, le processus $x \mapsto U(t, x)$ est montré être stationnaire de second ordre avec une moyenne nulle. La fonction de covariance est dérivée explicitement. De manière cruciale, les auteurs analysent le comportement de la fonction de corrélation $r_t(h)$ pour de petits décalages spatiaux $h$. Ils prouvent que $r_t(h) = 1 - \alpha_t |h| + o(|h|)$ quand $|h| \to 0$. Ce comportement linéaire au voisinage de l'origine implique que le processus admet une modification continue.
• Régularité temporelle (Corollaire 1.3) : Pour tout point spatial $x$ fixé, le processus $t \mapsto U(t, x)$ admet une modification continue. En utilisant la nature gaussienne de la solution et le théorème de continuité de Kolmogorov, les auteurs établissent que les trajectoires temporelles possèdent une régularité de Hölder d'ordre quelconque inférieur à $1/2$.

Signification et affirmations
L'article contribue à la littérature sur les équations aux dérivées partielles stochastiques (EDPS) avec des opérateurs non strictement hyperboliques, un domaine moins exploré que celui des équations d'onde standards.

• Comparaison avec l'équation d'onde : Un résultat significatif est que les propriétés de la solution de cette équation de Tricomi stochastique (spécifiquement l'existence, l'unicité et la continuité des trajectoires) sont équivalentes à celles dérivées pour l'opérateur d'onde correspondant. Cela contraste avec les résultats récents de [11], où l'introduction de termes d'ordre inférieur dans des opérateurs de type Tricomi a conduit à la perte de solutions de type champ aléatoire bien définies.
• Robustesse : Les résultats suggèrent que la dégénérescence de l'opérateur de Tricomi à $t=0$ n'empêche pas l'existence d'une solution bien comportementée sous une perturbation par un bruit blanc additif, à condition que l'analyse soit conduite via la méthode Fourier-Airy.
• Contribution technique : Le papier fournit une dérivation rigoureuse de la représentation de la solution et des estimations détaillées sur le comportement asymptotique des intégrales impliquant les fonctions d'Airy, qui sont nécessaires pour prouver la continuité des trajectoires des échantillons tant dans l'espace que dans le temps.

Les auteurs ne proposent pas de nouvelles applications ou de nouvelles directions expérimentales futures, mais se concentrent strictement sur le caractère bien posé mathématique et les propriétés de régularité de l'équation de Tricomi stochastique.