Stability of new exact solutions of the nonlinear Schrodinger equation in a Poschl-Teller external potential
We discuss the stability properties of the solutions of the general nonlinear Schrödinger equation (NLSE) in 1+1 dimensions in an external potential derivable from a parity-time () symmetric superpotential that we considered earlier Kevrekidis et al. (2015). In particular we consider the nonlinear partial differential equation for arbitrary nonlinearity parameter , where and is the well known Pöschl-Teller potential which we allow to be repulsive as well as attractive. Using energy landscape methods, linear stability analysis as well as a time dependent variational approximation, we derive consistent analytic results for the domains of instability of these new exact solutions as a function of the strength of the external potential and . For the repulsive potential (and ) we show that there is a translational instability which can be understood in terms of the energy landscape as a function of a stretching parameter and a translation parameter being a saddle near the exact solution. In this case, numerical simulations show that if we start with the exact solution, the initial wave function breaks into two pieces traveling in opposite directions. If we explore the slightly perturbed solution situations, a 1% change in initial conditions can change significantly the details of how the wave function breaks into two separate pieces. For the attractive potential (and ), changing the initial conditions by 1 % modifies the domain of stability only slightly. For the case of the attractive potential and negative perturbed solutions merely oscillate with the oscillation frequencies predicted by the variational approximation.
The study of open systems with balanced loss and gain, typically defined by Parity-Time () symmetry, has elicited significant attention from physics, nonlinear science and mathematics communities during the past decade. This is in part due to their emerging applications in many physical contexts and in part due to their intriguing mathematical structure. The initial investigation of such systems Bender (2007); Geyer et al. (2006); Fring et al. (2008); Bender et al. (2012) arose in the context of whether non-Hermitician quantum systems could lead to entirely real eigenvalues. Keeping in perspective the formal similarity of the Schrödinger equation with Maxwell’s equations in the paraxial approximation, many experimentalists realized that such -invariant systems can indeed be fabricated using optical means Makris et al. (2011); Ruschhaupt et al. (2005); Makris et al. (2008); Klaiman et al. (2008); Longhi (2009a, b, 2010); Ruter et al. (2010); Guo et al. (2009); Regensburger et al. (2012). Motivated by this success, in the ensuing years, -invariant phenomena was also observed in electronic circuits Schindler et al. (2011, 2012), mechanical constructs Bender et al. (2013), whispering-gallery microcavities Peng et al. (2014), among many other physical systems.
In a parallel development, the concept of supersymmetry (SUSY) prevalent in high-energy physics was also experimentally studied in optics Miri et al. (2013); Heinrich et al. (2014). The underlying notion is that for a given potential we can obtain a SUSY partner potential such that both potentials possess identical spectrum (with possibly one eigenvalue different) Gendenshteĭn and Krive (1985); Cooper et al. (1995). A simultaneous presence of -symmetry and SUSY can lead to unexpected phenomena and is likely to be very useful in achieving transparent and one-way reflectionless complex optical potentials Bagchi and Roychoudhury (2000); Bagchi et al. (2001); Bagchi and Quesne (2000); Ahmed (2001); Midya (2014). Previously Kevrekidis et al. (2015) we studied the interplay between nonlinearity, -symmetry and supersymmetry as well as the rich consequences of this interplay. There we obtained exact solutions of the general nonlinear Schrödinger equation (NLSE) in 1+1 dimensions in the presence of a -symmetric complex potential Gendenshteĭn and Krive (1985); Cooper et al. (2001). In a recent paper Cooper et al. (2017) we studied the stability properties of the solutions of NLSE in the real partner potential of the problem studied in Kevrekidis et al. (2015) which was a Pöschl-Teller potential Poschl and Teller (1933); Landau and Lifshitz (1989).
Here our objective is to discuss the stability properties of two related exact solutions which exist when we change the sign of the nonlinear coupling to being negative keeping the potential attractive, or keep the sign of the nonlinear term unchanged but consider a repulsive potential. In the latter case we will find that the solutions are translationally unstable, whereas in the former case the solutions are stable to small perturbations
i.1 Different solutions to the NLSE in an external Pöschl-Teller potential
By allowing the nonlinearity coupling and the sign of the potential we have found different classes of exact soltuions when the NLSE is in the presence of a Pöschl-Teller potential centered at . Schrödinger’s equation for these cases is given by:
with and . Since can be scaled out of the equation by letting , we can restrict ourselves to in what follows. The signs here are chosen such that the nonlinear term is attractive for and repulsive for and the external Pöschl-Teller potential is attractive for and repulsive for . This potential is a special case of potentials obtainable from the complex -symmetric SUSY superpotential
with , which gives rise to -symmetric partner potentials . Our real corresponds to . There are several cases of Eq. (1) which have exact solutions. These are
Attractive nonlinear term and attractive potential: , . In this case, the exact solution is given by
where . In this case,
We studied this case in a previous paper Cooper et al. (2017), where we found that all solitary waves for and are stable, as for the case of solitary waves in the NLSE (). However, we also found a new region above where these solutions are stable.
Attractive nonlinear term and repulsive potential: , . For this case, the exact solution is given by
In this case, we only require . This solution goes over to a particular moving solitary wave solution of the NLSE when . Since the solutions of the NLSE are stable to deformations of the width for all we expect (and we will find) that in that regime there will be a critical value of above which the solution will be unstable to width deformations. We expect and we find that again the solutions are always unstable for . What we will also find is that for all values of these solutions are unstable to a slight translation, even if induced by numerical noise.
Repulsive nonlinear term and attractive potential: , . For this case, the exact solution is given by
In this case, we require . For this choice of there are no solitary wave solutions in the absence of the potential. We will find that these solutions are linearly stable.
In all these cases, we find that the quantity
is independent of and depends only on the sign of . The normalization, or “mass” of these exact wave functions is given by
This paper is structured as follows: in Section II we discuss Hamilton’s principle of least action and the time-dependent variational approximation. In Section III, we use Derrick’s theorem to study the stability of these solutions to width instabilities. In Section IV we discuss the energy landscape when we include translations of the origin of the solution. In Section V we perform a linear stability analysis. In Section VI, we introduce a four-parameter trial wave function to study the dynamics of the model, and in Section VII we provide results of the direct numerical solutions of the nonlinear Schrödinger equation in the Pöschl-Teller external potential. Our main conclusions are summarized in Section VIII.
Ii Time-dependent variational principle
The time-dependent version of the variational approximation can
be traced to an obscure appendix in the 1930 Russian edition of the
“Principles of Wave Mechanics,” by Dirac.
The action which leads to Eq. (47) is given by
The NLSE and its complex conjugate follow from minimizing the action via,
ii.1 Symplectic formulation
In this section it will be useful to introduce a symplectic formulation of Lagrange’s equations for the variational parameters. We consider a variational wave function of the form:
Introducing the notation , the Lagrangian (12a) is given by
and is given by
The Euler-Lagrange equations now become
From (14) this gives
where we have set , and where
is an antisymmetric symplectic matrix. If , we can define an inverse as the contra-variant matrix with upper indices,
in which case the equations of motion (18) can be put in the form:
Conservation of energy is expressed as
since is an antisymmetric tensor. Poisson brackets are defined using this antisymmetric tensor. If and are functions of , Poisson brackets are defined by
This definition satisfies Jacobi’s identity. That is, what we have shown here is that the quantities are classical symplectic variables.
Iii Derrick’s theorem
Derrick’s theorem Derrick (1964) states that for a Hamiltonian dynamical system, an exact solution of the equation of motion is unstable if under a scale transformation, with fixed normalization, the energy of the system is lowered. The stretched wave function for Derrick’s theorem is given by
with the normalization fixed by the requirement,
So . Evaluation of the Hamiltonian (12b) with Derrick’s wave function gives:
So then is given by
and is independent of . is stationary when . We have
so that at ,
for all values of and . The sign of the second derivative of with respect to at determines whether the solution is unstable to small changes in the width. If evaluated at is negative the solution is unstable. We find
From Appendix A, we have
Inserting this into (34) and evaluating it at gives:
which is independent of .
The critical value of , when (36) vanishes, is
which is independent of . One can easily check that
for all . In Appendix A, we give an alternative form for Eq. (37), which is in agreement with Ref. [Cooper et al., 2017]. In Fig. b, we plot for the three cases. Referring to the figure, according to Derrick’s theorem,
For case I with , , and , we see from Eq. (36) that for all , so Derrick’s theorem predicts that solutions are width stable for . For , there is another region for where width stable solutions are also possible.
For case II with , , and , width stable solutions are possible for , but we will find that this region is unstable to translation perturbations.
For case III with , , and width stable solutions are possible for all .
Derrick’s theorem is a version of the time-independent variational method and only provides information about the stability of the system under a change in , the width of the wave function. Thus Derrick’s theorem only gives a sufficient condition for an instability to occur. To see if there are translational instabilities as well as width instabilities we will consider what happens to the energy when we make a small translation of the position of the solution.
Iv Translational Stability Landscape
Using Derrick’s theorem we explored whether the solution was a maximum or minimum of the energy landscape as a function of the stretching parameter . Here we would like to do a similar analysis to study whether the energy increases or decreases as we let where is a small translation. Again we will posit that there is a translational instability if the energy decreases as departs from zero. Let us again consider NLSE plus real potential
where . We want to see how the energy of the system changes under the translation with the normalization fixed by the requirement that the mass is preserved. Clearly choosing
preserves the mass for the wave function of the exact solution whose dependence is displayed by letting
It is also clear that both and remain unchanged under . Only is not translationally invariant. We define
We need to ensure that as a function of the energy is stationary. Since both and are independent of we only need to consider:
at and then calculate the second derivative at . Clearly
which is indeed zero when evaluated at , being an odd function of . The second derivative gives
Evaluating this at we find:
Thus we indeed find that the solitary wave has translational instability if , i.e. for the repulsive potential, while it is stable in case , i.e. attractive potential. Note that the answer does not depend on the sign of . We show in Fig. b the three-dimensional landscape for for a stretching and displacement shift, . One can see stability for an attractive potential (case I) but a saddle point for a repulsive potential (case II).
V Linear Stability Analysis
The traditional way to study stability under small perturbations is to perform a linear stability analysis which we now present. The results obtained agree with the simpler analysis using Derrick’s theorem and looking at the effects of translation on the energy landscape. Starting with the NLSE equation in an external potential:
which has solitary wave solutions , with . Here satisfies
For , one has the explicit expression:
We consider perturbations in the form with and linearize the equation (47) with respect to . The linearized equation is of the form
Because of the term , Eq. (50) is not a -linear operator. For computational convenience we separate the real and imaginary parts of and define
The equation (50) can then be written as
with self-adjoint operators
From (48) and its derivative with respect to , we find
To explore the linear stability we consider eigenvalues for the operator . Since
and the nonzero eigenvalues of and coincide, we can consider eigenvalues of the operator instead. If has eigenvalues with positive real part, so does and the solitary wave solutions are linearly unstable; otherwise, only has purely imaginary eigenvalues and the solitary wave solutions are spectrally stable.
For case (II) , we have . The amplitude is in and , so is an eigenfunction of , corresponding to zero eigenvalue. Since is positive, is nonnegative and the kernel is span by Proposition 2.8 in Weinstein (1985). Due to (55) is an eigenfunction of , corresponding to zero eigenvalue. We will show that the smallest eigenvalue of is negative. According to Ref. Sulem, Catherine and Sulem, Pierre-Louis (1999) the smallest eigenvalue of is given by,
is positive definite in , so the sign of smallest eigenvalue is decided by that of . Since is an even function, is an odd function in . Due to the identity
one has that . Hence we have
It follows that can be negative and thus has at least one positive eigenvalue. We conclude that the solitary wave solutions are linearly unstable.
For case (III) , we know that is nonnegative as in case (II). Since is positive, is positive as well. It implies that has only negative eigenvalues and the solitary wave solutions are spectrally stable.
Vi Four parameter time-dependent trial wave function
In order to study the dynamics in a collective coordinate approximation as well as determine the frequency of small oscillations (or the intitial growth of instabilities) we will now consider a four-parameter trial wave function of the form:
Here we have put . The parameter is related to the canonical conjugate variable to the average value of . It arises naturally in the Hartree-Fock approximation to the dynamics of the Schrödinger equation Cooper et al. (1986).
It will be useful to define a reciprocal width parameter and use this parameter as a generalized coordinate. Conservation of probability gives the “mass” equation,
where is given in Eq. (10). In order to maintain probability conservation, we want to keep constant. That is, we put
so and are not independent variables. The phase does not enter into the Hamiltonian, and we will ignore it in what follows. The trial wave function we will assume is:
The four variational parameters are labeled by
Taking the appropriate derivatives we find that
with given in Eq. (35). The only non-zero derivatives of the are
so the symplectic tensor is
and the inverse is
We also find that for the four-parameter trial wave function
The Hamiltonian then becomes
Derivatives of the Hamiltonian, , are given by