Averaging principle for multiscale stochastic fractional Schrödinger equation (Q2172979)

The author considers the multiscale stochastic fractional Schrödinger equation \[\begin{cases} \mathrm{d} u^\varepsilon = [-i(-\Delta)^\alpha u^\varepsilon + F(u^\varepsilon) + f(u^\varepsilon, v^\varepsilon) ]\mathrm{d}t +\sigma_1(u^\varepsilon) \mathrm{d} B_1& \text{in } {\mathbb T}\times [0,T], \\ \mathrm{d} v^\varepsilon = \frac{1}{\varepsilon}[(1+i)\Delta v^\varepsilon + F(v^\varepsilon)-\lambda v^\varepsilon + g(u^\varepsilon, v^\varepsilon) ]\mathrm{d}t + \frac{1}{\sqrt{\varepsilon}} \sigma_2(u^\varepsilon, v^\varepsilon)\mathrm{d}B_2 & \text{in } {\mathbb T}\times [0,T], \\ u^\varepsilon(x,0) = u_0(x) & \text{in } {\mathbb T}, \\ v^\varepsilon(x,0) = v_0(x) & \text{in } {\mathbb T}, \end{cases}\] where \(\alpha\in (\frac{1}{2,},1)\), \(\{B_1(t)\}_{t\geq 0}\) and \(\{B_1(t)\}_{t\geq 0}\) are real-valued mutually independent Wiener processes, \(F(u) = -(1 + i\gamma)|u|^2 u, |\gamma|<\sqrt{3}\), \((u_0,v_0)\in H^1({\mathbb T})\times H^1({\mathbb T})\) and \({\mathbb T} = {\mathbb R}/2\pi{\mathbb Z}\) is the one-dimensional torus. \par Under certain restrictions on the growth and Lipschitz continuity of the functions \(f,g,\sigma_1,\sigma_2\), the following averaging principle is proved \[\lim\limits_{\varepsilon \to 0}\sup\limits_{0 \leq t \leq T}{\mathbb E} \|u^\varepsilon(t)-\overline{u}(t) \|^2_{L^2({\mathbb T})}=0 \quad\text{for all } T>0, \] where \(\overline{u}\) is the solution of the effective dynamics equation \[\begin{cases} \mathrm{d} \overline{u} = [-i(-\Delta)^\alpha \overline{u} + F(\overline{u}) + \overline{f}(\overline{u}) ]\mathrm{d}t +\sigma_1(\overline{u}) \mathrm{d} B_1& \text{in } {\mathbb T}\times [0,T], \\ \overline{u}(x,0) = u_0(x) & \text{in } {\mathbb T}. \end{cases}\] In this equation \[\overline{f}(u)=\int\limits_{L^2({\mathbb T})} f(u,v) \mu^u(\mathrm{d} v) \] and \(\mu^u\) is the unique invariant measure for the fast motion with frozen slow component \[\begin{cases} \mathrm{d} v = [(1+i)\Delta v + F(v)-\lambda v + g(u, v) ]\mathrm{d}t + \sigma_2(u, v)\mathrm{d}B_2 & \text{in } {\mathbb T}\times [0,T], \\ v^\varepsilon(x,0) = v_0(x) & \text{in } {\mathbb T},\\ u \in L^2({\mathbb T}) . \end{cases}\] The proof is based on the vanishing viscosity method.