next up previous
Next: Appendix B:    Rational Solutions Up: The Painlevé property and Previous: Acknowledgements

Appendix A:    The Nonlinear Schrödinger Equation

The nonlinear Schrödinger (NLS) equation

\begin{displaymath}iU_t+U_{xx}+2U\vert U\vert^2=0\eqno (A1)\end{displaymath}

may be written as the system [3]

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...+2U^2V=0\ ,\cr
&-iV_t+V_{xx}+2UV^2=0\ ,\cr\crcr}}\,\eqno (A2)\end{displaymath}

which reduces to (A1) with the identification

\begin{displaymath}V=U^{\ast}\ .\eqno (A3)\end{displaymath}

The system (A2) has the Painlevé property [3] with expansions

\begin{displaymath}U=\varphi^{-1}\sum_{j=0}^{\infty} U_j\varphi^j\ ,\qquad
V=\varphi^{-1}\sum_{j=0}^{\infty} V_J\varphi^j\ ,\eqno (A4)\end{displaymath}

and resonances at

\begin{displaymath}j=-1,0,3,4\ .\eqno (A5)\end{displaymath}

The Bäcklund transformation is

\begin{displaymath}U=U_0/\varphi+U_1\ ,\qquad V=V_)/\varphi+V_1\eqno (A6)\end{displaymath}

which determines the following system of equations for $(\varphi,U_0,
V_0,U_1,V_1)$:

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...=0\ ,\cr
&-iV_{1t}+V_{1xx}+U_1V_1^2=0\ ,\cr\crcr}}\,\eqno (A7)\end{displaymath}

Taking into account the resonances at $j=0,3$, (A7) is, effectively, a system of ``six" equations for the five variables $(\varphi,U_0,
V_0,U_1,V_1)$.

From (A7) it is found that

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...i_t\over
\varphi_x}-\lambda^2\right\}\ ,\cr\crcr}}\,\eqno (A8)\end{displaymath}

and

\begin{displaymath}{\partial\over\partial t}\left({\varphi_t\over\varphi_x}\righ...
...arphi_t\over\varphi_x}+{\lambda^2\over 2}\right]=0\ ,\eqno (A9)\end{displaymath}

where $\lambda$ is a constant of integration. The above system of equations were studied in [3] and further applied in [6] to derive the Hirota formulation of the NLS equation from the Bäcklund transformation (A6).

In this section we will find a scalar Lax pair for the NLS equation by ``linearizing" the Miura transformation from the modified NLS to NLS equation. For this purpose it is convenient to let

\begin{displaymath}\lambda=2i\beta\ ,\qquad W=\varphi_{xx}/\varphi_x\ ,\qquad
\Omega=\varphi_t/\varphi_x-2\beta\ ,\eqno (A10)\end{displaymath}

which obtains from (A9) the system of modified NLS equations

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...yle{3\over 2}\Omega^2-2\beta\Omega)\ .\cr\crcr}}\,
\eqno (A11)\end{displaymath}

By reduction of (A8),

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
..._x\over W+i\Omega}+i(\Omega+\beta)\ ,\cr\crcr}}\,
\eqno (A12)\end{displaymath}

which is a Miura transformation from (A11) to (A2). Now let

\begin{displaymath}G=W-i\Omega\ ,\qquad H=W+i\Omega\ ,\eqno (A13)\end{displaymath}

and find

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...V_1}={H_x\over H}+{H-G\over 2}+i\beta\ ,\cr\crcr}}\,\eqno (A14)\end{displaymath}

The substitutions

\begin{displaymath}G=2i(U_1/\alpha)\ ,\qquad 2iV_1\alpha\eqno (A15)\end{displaymath}

reduce (A14) to a Ricati-type equation

\begin{displaymath}\alpha_x+iV_1\alpha^2+i\beta\alpha-iU_1=0\ ,\eqno (A16)\end{displaymath}

that is linearized by

\begin{displaymath}\alpha=-(i/V_1)(h_x/h)\eqno (A17)\end{displaymath}

to

\begin{displaymath}h_{xx}+(i\beta-V_{1x})h_x+U_1V_1h=0\ .\eqno (A18)\end{displaymath}

Substitution of (A13), (A15), and (A17) into (A11) obtains

\begin{displaymath}ih_t=h_{xx}+2U_1V_1h+2i\beta h_x\ .\eqno (A19)\end{displaymath}

By (A18)

\begin{displaymath}ih_t=(V_{ix}/V_1+i\beta)h_x+U_1V_1h\ .\eqno (A20)\end{displaymath}

Here, (A18) and (A20) constitute a Lax pair for the NLS system (A2) in the sense that

\begin{displaymath}h_{ixx}=h_{xxt}\eqno (A21)\end{displaymath}

requires that

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...x}\over V_1}\right)^2+2U_1V_1\right)\ ,\cr\crcr}}\,\eqno
(A22)\end{displaymath}

which is ``equivalent" to the system (A2). With

\begin{displaymath}A=V_{1x}/V_1\ ,\qquad B=U_1V_1\ ,\eqno (A23)\end{displaymath}

Eqs. (A22) are

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...&={\partial\over\partial x}(-B_x+2AB)\ ,\cr\crcr}}\,\eqno (A24)\end{displaymath}

and the Miura transformation from (A11) is

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...\Omega)_x/(W+i\Omega)+i(\Omega+\beta)\ .\cr\crcr}}\,\eqno (A25)\end{displaymath}

Now after a Galilean transformation,

\begin{displaymath}t\rightarrow t\ ,\qquad x\rightarrow x-2\beta t\ ,\qquad
\Om...
...i_t/\varphi_x\ ,\qquad W=\varphi_{xx}/\varphi_x\ ,\eqno
(A26)\end{displaymath}

and

\begin{displaymath}\null\,\vcenter{\openup\jot
\ialign{\strut\hfil$\displaysty...
...r 2}W^2-\textstyle{3\over 2}\Omega^2)\ .\cr\crcr}}\,\eqno (A27)\end{displaymath}

At first inspection Eq. (A27) would seem to be nearly the modified Boussinesq equations, (2.18). However, a simple calculation determines that Eqs. (A27) have no discrete invariances, i.e., no transformations of the form

\begin{displaymath}\left(\matrix{W\cr \Omega\cr}\right)=A\left(\matrix{W^{\prime}\cr
\Omega^{\prime}\cr}\right)\eqno (A28)\end{displaymath}

that preserve the form of Eqs. (A27). Equations (A27) identically possess the Painlevé property with expansions

\begin{displaymath}W=\epsilon^{-1}\sum_{j=0}^{\infty} W_j\epsilon^j\ ,\qquad
\Omega=\epsilon^{-1}\sum_{j=0}^{\infty}\Omega_j\epsilon^j\eqno (A29)\end{displaymath}

and resonances at

\begin{displaymath}j=-1,2,2,3\ .\eqno (A30)\end{displaymath}

From (A29):


(i) $\Omega_0=0\ ,\qquad W_0=-2$ ;(A31)


(ii) $\Omega_0^2=-1\ ,\qquad W_0=1$ . (A32)


As was the case for the modified Boussinesq equations a transformation

\begin{displaymath}A_{\pm}=\left(\matrix{-\textstyle{1\over 2}&\pm\textstyle{3\o...
...extstyle{1\over 2}i&-\textstyle{1\over 2}\cr}\right)\eqno (A33)\end{displaymath}

interchanges the ``leading-order" vectors

\begin{displaymath}\left(\matrix{W_0\cr \noalign{\vskip 5pt} \Omega_0\cr}\right)...
...cr}\right)
\ ,\ \left(\matrix{1\cr -i\cr}\right)\ .\eqno (A34)\end{displaymath}

However, the substitution (A28) and (A33) is not invariant for (A27). Therefore, the method of analysis that was developed for the Boussinesq sequence is hot directly applicable to the NLS sequence.


next up previous
Next: Appendix B:    Rational Solutions Up: The Painlevé property and Previous: Acknowledgements
John Edward Weiss 2002-03-31