Spatial root splitting for the dispersive Stokes resolvent ($r^3+r+p=0$)

For a time Laplace transform parameter with $\mathrm{Re}p>0$, the spatial characteristic roots satisfy $r^3+r+p=0$. Exactly one root $r_{-}$ has negative real part and two have positive real part. Indeed an imaginary root would force $p=-i(k-k^3)$ to be imaginary. The count is therefore constant on the connected right half-plane; for real $p>0$, the cubic has one negative real root and a conjugate pair with positive real parts. Repeated roots would satisfy $3r^2+1=0$, which again puts $p$ on the imaginary axis. Thus $r_{-}(p)$ is a nonzero holomorphic function in the right half-plane. Only $e^{r_{-}x}$ decays at positive spatial infinity.

For $\mathrm{Re}p>0$, let $r_{-}$ and $r_1,r_2$ be the characteristic roots of $r^3+r+p=0$, split by the signs of their real parts. Put $d_j=3r_j^2+1$. The real-line Green function of $p+{\partial }_x+{\partial }_x^3$ isThe reciprocal-polynomial root identities imply continuity of $R_p,R_p^{\prime }$ and jump $R_p^{\prime \prime }(0+)-R_p^{\prime \prime }(0-)=1$. The distributional derivative therefore gives $(p+{\partial }_s+{\partial }_s^3)R_p={\delta }_0$. The transport term changes the roots: the pure Airy resolvent kernel with $r^3+p=0$ cannot be substituted unchanged.

For the linear dispersive Stokes equation on $x>0$, with sufficiently smooth decaying initial data and $\mathrm{Re}p>0$, define $V(x,p)={\int }_0^{\infty }{R}_p(x-y)u_0(y)dy$ and let $G(p)$ be the time Laplace transform of the prescribed derivative $u_x(0,t)$. Spatial decay and the one-dimensional decaying homogeneous space giveThe Neumann boundary condition follows by differentiating at zero. The initial forcing follows from the Stokes resolvent kernel with advection. The Bromwich inversion formula gives an integral representation with no unknown boundary traces. Truncating or extending the prescribed boundary signal beyond a target time does not affect earlier values, by the Laplace transform time-shift rule and causality of this Green function.