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

From MaRDI portal
scientific article
Language Label Description Also known as
English
Averaging principle for multiscale stochastic fractional Schrödinger equation
scientific article

    Statements

    Averaging principle for multiscale stochastic fractional Schrödinger equation (English)
    0 references
    0 references
    22 April 2020
    0 references
    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.
    0 references
    stochastic fractional Schrödinger equation
    0 references
    averaging principle
    0 references
    vanishing viscosity method
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers