Existence of smooth stable manifolds for a class of parabolic SPDEs with fractional noise (Q6184597)

The article analyzes the Lu-Schmalfuß conjecture, derived from an article of \textit{M. J. Garrido-Atienza} et al. [J. Differ. Equations 248, No. 7, 1637--1667 (2010; Zbl 1186.37094)] on the existence of stable manifolds for a class of parabolic SPDEs driven by nonlinear multiplicative fractional noise. Invariant manifolds including center, stable and unstable manifolds are powerful tools in the study of properties and structures for deterministic and random dynamical systems, such as the derivation of normal forms and understanding the nature of bifurcations. In general, there are two approaches to construct invariant manifolds: Hadamard's graph transform method and the Lyapunov-Perron method. Article opts for the latter and resolves problems that stable manifolds for SPDEs are infinite-dimensional objects where the classical Lyapunov-Perron method cannot be applied, since the Lyapunov-Perron operator does not give any information about the backward orbit by deriving a special function space which allows to transform the problem in the interpolation theory context. Namely, main contribution of the article is to introduce the function space \(C_{-\beta}^{\beta}([0,T];{\mathcal{B}})\) which contains continuous mappings with values in the state space \(\mathcal{B}\), and \(\beta\)-Hölder continuous mappings with values in \({\mathcal{B}_{-\beta}}\), where \({\beta}>{\frac{1}{2}}\). In this space the discretized Lyapunov-Perron-type operator has a unique fixed point. Based on this, the article is able to prove the existence and smoothness of local stable manifolds for such SPDEs, which resolves the key problem set to resolve. The pathwise integrals occurring in the Lyapunov-Perron method are constructed using fractional calculus. Nevertheless, authors note that one should obtain similar results using Young's integral. Moreover they believe that these results can be generalized to the rough case, i.e. where Hurst index \(H\in({\frac{1}{3}},{\frac{1}{2}}]\), by using rough paths theory. The methods presented in this work are expected to entail the existence of stable manifolds provided that the driving noise is finite-dimensional. For infinite-dimensional trace-class noise, similar arguments could be conducted but authors postpone this to further work.