We study the stability of traveling waves of nonlinear Schrodinger equation with nonzero condition at infinity obtained via a constrained variational approach. Two important physical models are Gross-Pitaevskii (GP) equation and cubic-quintic equatio
n. First, under a non-degeneracy condition we prove a sharp instability criterion for 3D traveling waves of (GP), which had been conjectured in the physical literature. This result is also extended for general nonlinearity and higher dimensions, including 4D (GP) and 3D cubic-quintic equations. Second, for cubic-quintic type sub-critical or critical nonlinearity, we construct slow traveling waves and prove their nonlinear instability in any dimension. For traveling waves without vortices (i.e. nonvanishing) of general nonlinearity in any dimension, we find the sharp condition for linear instability. Third, we prove that any 2D traveling wave of (GP) is transversally unstable and find the sharp interval of unstable transversal wave numbers. Near unstable traveling waves of above cases, we construct unstable and stable invariant manifolds.
We consider a steady state $v_{0}$ of the Euler equation in a fixed bounded domain in $mathbf{R}^{n}$. Suppose the linearized Euler equation has an exponential dichotomy of unstable and center-stable subspaces. By rewriting the Euler equation as an O
DE on an infinite dimensional manifold of volume preserving maps in $W^{k, q}$, $(k>1+frac{n}{q})$, the unstable (and stable) manifolds of $v_{0}$ are constructed under certain spectral gap condition which is verified for both 2D and 3D examples. In particular, when the unstable subspace is finite dimensional, this implies the nonlinear instability of $v_{0}$ in the sense that arbitrarily small $W^{k, q}$ perturbations can lead to $L^{2}$ growth of the nonlinear solutions.
Consider Vlasov-Poisson system with a fixed ion background and periodic condition on the space variables, in any dimension dgeq2. First, we show that for general homogeneous equilibrium and any periodic x-box, within any small neighborhood in the Sob
olev space W_{x,v}^{s,p} (p>1,s<1+(1/p)) of the steady distribution function, there exist nontrivial travelling wave solutions (BGK waves) with arbitrary traveling speed. This implies that nonlinear Landau damping is not true in W^{s,p}(s<1+(1/p)) space for any homogeneous equilibria and in any period box. The BGK waves constructed are one dimensional, that is, depending only on one space variable. Higher dimensional BGK waves are shown to not exist. Second, for homogeneous equilibria satisfying Penroses linear stability condition, we prove that there exist no nontrivial invariant structures in the (1+|v|^{2})^{b}-weighted H_{x,v}^{s} (b>((d-1)/4), s>(3/2)) neighborhood. Since arbitrarilly small BGK waves can also be constructed near any homogeneous equilibria in such weighted H_{x,v}^{s} (s<(3/2)) norm, this shows that s=(3/2) is the critical regularity for the existence of nontrivial invariant structures near stable homogeneous equilibria. These generalize our previous results in the one dimensional case.
Consider inviscid fluids in a channel {-1<y<1}. For the Couette flow v_0=(y,0), the vertical velocity of solutions to the linearized Euler equation at v_0 decays in time. At the nonlinear level, such inviscid damping has not been proved. First, we sh
ow that in any (vorticity) H^{s}(s<(3/2)) neighborhood of Couette flow, there exist non-parallel steady flows with arbitrary minimal horizontal period. This implies that nonlinear inviscid damping is not true in any (vorticity) H^{s}(s<(3/2)) neighborhood of Couette flow and for any horizontal period. Indeed, the long time behavior in such neighborhoods are very rich, including nontrivial steady flows, stable and unstable manifolds of nearby unstable shears. Second, in the (vorticity) H^{s}(s>(3/2)) neighborhood of Couette, we show that there exist no non-parallel steadily travelling flows v(x-ct,y), and no unstable shears. This suggests that the long time dynamics in H^{s}(s>(3/2)) neighborhoods of Couette might be much simpler. Such contrasting dynamics in H^{s} spaces with the critical power s=(3/2) is a truly nonlinear phenomena, since the linear inviscid damping near Couette is true for any initial vorticity in L^2.
Consider 1D Vlasov-poisson system with a fixed ion background and periodic condition on the space variable. First, we show that for general homogeneous equilibria, within any small neighborhood in the Sobolev space W^{s,p} (p>1,s<1+(1/p)) of the stea
dy distribution function, there exist nontrivial travelling wave solutions (BGK waves) with arbitrary minimal period and traveling speed. This implies that nonlinear Landau damping is not true in W^{s,p}(s<1+(1/p)) space for any homogeneous equilibria and any spatial period. Indeed, in W^{s,p} (s<1+(1/p)) neighborhood of any homogeneous state, the long time dynamics is very rich, including travelling BGK waves, unstable homogeneous states and their possible invariant manifolds. Second, it is shown that for homogeneous equilibria satisfying Penroses linear stability condition, there exist no nontrivial travelling BGK waves and unstable homogeneous states in some W^{s,p} (p>1,s>1+(1/p)) neighborhood. Furthermore, when p=2,we prove that there exist no nontrivial invariant structures in the H^{s} (s>(3/2)) neighborhood of stable homogeneous states. These results suggest the long time dynamics in the W^{s,p} (s>1+(1/p)) and particularly, in the H^{s} (s>(3/2)) neighborhoods of a stable homogeneous state might be relatively simple. We also demonstrate that linear damping holds for initial perturbations in very rough spaces, for linearly stable homogeneous state. This suggests that the contrasting dynamics in W^{s,p} spaces with the critical power s=1+(1/p) is a trully nonlinear phenomena which can not be traced back to the linear level.
