Well-posedness and wave-breaking for the stochastic rotation-two-component Camassa-Holm system (Q6109923)

The authors consider a system of equations \begin{align*} du+(\lambda u-\mu)u_x\,dt&=f(u,\rho)\,dt-p*(\lambda L_\zeta m+A_\zeta m+\wp_1\zeta)\,dW \\ &+\frac{1}{2}p*(\lambda^2 L^2_\zeta m+B_\zeta m+\wp_2\zeta)\,dt \\ d\rho+(\rho u)_x\,dt&=-D_\zeta\rho\,dW+\frac{1}{2}D^2_\zeta\rho\,dt \end{align*} on \(\mathbb R\) with initial conditions \(u(0,x)=u_0(x)\), \(\rho(0,x)=\rho_0(x)\), where \[ f(u,\rho)=-\partial_xp*\left((\mu-\alpha)u+\frac{3-\lambda}{2}u^2+\frac{\lambda}{2}u^2_x+\frac{1-2\alpha\beta}{2}\rho^2-\beta\rho^2u\right)+\beta p*(\rho^2u_x), \] \(p(x)=\frac{1}{2}e^{-|x|}\), \(m=u-u_{xx}\), \(L_\zeta=\partial_x\zeta+\zeta\partial_x\), \(A_\zeta=3(1-\lambda)\zeta_x(1-\partial_x^2)^{-1}\), \(\wp_1=-\alpha\partial_x+\mu\partial_x^3\), \(D_\zeta=\partial_x\zeta\), \(B_\zeta=\lambda L_\zeta A_\zeta+\lambda A_\zeta L_\zeta+A^2_\zeta\) , \(\wp_2=\lambda L_\zeta\wp_1+A_\zeta\wp_1\), \(\alpha,\beta,\lambda,\mu\in\mathbb R\), \(\zeta:\mathbb R\to\mathbb R\) and \(W\) is a standard Brownian motion. It is proved that if \(s>\frac{9}{2}\), \((u_0,\rho_0)\in H^s\times H^{s-1}\) and \(\zeta\in H^{s+2}\) then there exists a maximal solution \((u,\rho)\) defined on \([0,\tau)\) with paths continuous in \(H^s\times H^{s-1}\) such that \[ \lim_{t\to\tau-}\|(u,\rho)\|_{H^s\times H^{s-1}}=\infty\quad\text{and}\quad\int_0^\tau\left(\|u_x\|_{L^\infty}+\|\rho_x\|_{L^\infty}\right)\,dt=\infty \] hold on \([\tau<\infty]\). Moreover, there exists a constant \(C\) such that, if \[ \|u\|_{H^s}^2+\|\rho\|_{H^{s-1}}^2\le(n-1)e^{-C(2n+1)} \] for some \(n>1\), then \[ \mathbb P\,(\tau=\infty)\ge 1-\frac{n-1}{ne^{2Cn}}. \] If \(\zeta\) is a constant then \begin{align*} du+(\lambda u-\mu)u_x\,dt&=f(u,\rho)\,dt-\lambda u_x\,dW+\frac{\lambda^2}{2}u_{xx}\,dt \\ d\rho+(\rho u)_x\,dt&=-\rho_x\,dW+\frac{1}{2}\rho_{xx}\,dt \end{align*} is considered and proved to be locally well-posed in \(H^s\times H^{s-1}\) for \(s>\frac{3}{2}\). In that case, if \(\lambda>0\), then blow-up occurs in finite time if and only if \[ \lim_{t\to\tau-}\inf_{x}u_x(t,x)=-\infty\quad\text{or}\quad\limsup_{t\to\tau-}\|\rho_x\|_{L^\infty}=+\infty. \]