Corresponding authors: * E-mail:ahmed.phyy@gmail.com
Received:2019-03-11Online:2019-08-1
Abstract
Keywords:
PDF (2651KB)MetadataMetricsRelated articlesExportEndNote|Ris|BibtexFavorite
Cite this article
H. Wajahat A. Riaz. Darboux Transformation for a Negative Order AKNS Equation. [J], 2019, 71(8): 912-920 doi:10.1088/0253-6102/71/8/912
1 Introduction
Many integrable systems, such as Korteweg de Vries (KdV), mKdV equation admit both positive and negative hierarchywhere $R$ is referred to as recursion operator, whereas $n$ with the negative values correspond to negative flow of hierarchy and $n$ with positive values are referred to as positive flow of hierarchy. A well known example of negative hierarchy is the sine-Gordon equation (which has potential applications in Josephson transmission line,[1-2] ultrashort pulse propagation in a resonant medium[3]) can be derived from the mKdV equation. The coupled dispersionless integrable equations are negative flow of the non-linear Schrödinger hierarchy. Various integrable equations, such as Camnassa-Holm equation,[4-5] Degasperis-Procesi equation,[6] and the short-pulse equation[7-8]are associated to negative order equations through reciprocal transformations. The significance of the negative order equations is that one can generate infinitely many symmetries for nonisospectral Ablowitz-Ladik lattice hierarchy.[9] Note that infinitely many symmetries are usually obtained in case of isospectral hierarchies. So negative order flows provide some new interesting results not only from the point of view of integrability, but also interesting dynamically, both mathematically and physically.
Many systematic methods-inverse scattering transform (IST), Bä transformation, Hirota bilinear method, Darboux transformation, the trigonometric function series method, the modified mapping method and the extended mapping method, the bifurcation method etc., have been used to compute exact solutions of various nonlinear partial differential equations in the literature (see Refs.[10]-[17] and references therein). Darboux transformation (DT) is one of the powerful and effective technique used to generate solutions of a given nonlinear integrable equation in soliton theory. Various integrable equations have been studied successfully by the approach of DT and obtained explicit solutions. Meanwhile the solutions are expressed in terms of Wronskian, quasi-Wronskian, Grammian, quasi-Grammian, and quasi-determinants in the literature.[18-24]
The present work is about to study the DT of the negative order AKNS (denoted by AKNS$(-1)$) equation. The AKNS$(-1)$ equation and its multi-component generalizations have been studied by virtue of Hirota method and the soliton solutions have been investigated.[25-26] Noncommutative generalization of the AKNS$(-1)$ equation has been discussed in Ref. [27]. Meanwhile, DTs and soliton solutions have also been offered.
In this paper, we study the DT of AKNS$(-1)$ equation. We define a DT in terms of Darboux matrix on the solutions to the Lax pair and the solutions of the AKNS$(-1)$ equation. The $K$-soliton solution is expressed in terms of quasideterminants. Further, quasideterminant solutions are shown to be related with the dressed solutions. We compute soliton solutions of the AKNS$(-1)$ equation. One-, two-, and three-soliton solutions have been computed explicitly.
2 Lax Pair
We start with the Lax pair of the AKNS$(-1)$ equation attribute to[25]where $\phi=\phi(x,\;t,\; \eta)$ is a $2 \times 2$ eigen-matrix,which depends on $x,\;t$ and the spectral parameter $\eta$. The matrices $A$ and $B$ are given by
with
where $u(x,\;t)$ and $v(x,\;t)$ are scalar functions, where as $\omega=\partial^{-1}(uv)$ and $\partial_{x}\partial^{-1}=\partial^{-1}\partial_{x}=1,\;\partial_{x} \equiv {\partial}/{\partial x}$. The compatibility condition i.e., $\phi_{xt}=\phi_{tx}$ of the Lax pair (2)-(3) implies a zero-curvature condition i.e.,$A_{t}-B_{x}+[A,\;B]=0$, which is equivalent to the equation of motion given by
Equation (6) is referred to as matrix AKNS$(-1)$ equation. By using Eq.(5), matrix AKNS$(-1)$ equation (6) for the scalar functions $u(x,\;t)$ and $v(x,\;t)$ reads
under the boundary conditions $u \rightarrow 0,\; v \rightarrow 0$for $|x| \rightarrow \infty$. For $u=v$, Eq.(7) can be written as
And upon using $u=\bar{v}$ in Eq.(7), one can obtain complex AKNS$(-1)$ equation given by
It should be noted that in the case of the reductions $u = v$ or $u = \bar{v}$, which are most important for applications (these reductions are considered in Sec.4, the system (2.6) reduces to well-studied equations. By use of the variable $ \omega =\partial_{x}^{-1}(uv)$ introduced earlier, this system is written as
The elimination of $\omega$ brings to the system
For $u=v$, the further substitution $u_{t} = \sin q$ brings to the sine-Gordon equation
For $\bar{u} = v$, after introducing the notations $u = E,\; u_{t} =P,\; 1 - 2 \omega_{t} = N$, one obtains
which coincide with the Maxwell-Bloch system, up to a scaling and interchange of $x$ and $t$.
The solutions of the Lax pair (2)-(3) and Eq.(6) can be obtained by using DT. In the next section, we define DT by means of a Darrboux matrix on the solutions to the Lax pair and the solutions of the nonlinear evolution equation (6).
3 Darboux Transformation
In what follows, we apply DT on the Lax pair (2)-(3) and the AKNS($-1$) equation (6) to obtain soliton solutions. We define a DT on the solutions of the Lax pair equations (2)-(3) by means of a $2 \times 2$ Darboux matrix $D(x, \;t; \; \eta)$. The Darboux matrix $D(x, \;t; \; \eta)$ acts on the solution $\phi$ of the Lax pair (2)-(3) to give another solution $\tilde\phi$ i.e.,The covariance of the Lax pair (2)-(3) under the T requires that the new solution $\tilde\phi$ satisfies the same Lax pair equations, but with the matrices $\tilde A,\;\tilde B$ i.e.,
with
where
To find a DT on the matrices $\tilde W,\;\tilde V$, and ${\tilde V}_{0}$. For this, we consider Darboux matrix to be
where $I$ is the $2 \times 2$ identity matrix and $N$ is the $2\times 2 $ auxiliary matrix, can be defined as
where $\Theta$ is the $2 \times 2$ particular matrix solution to the Lax pair (2)-(3), which is constructed by the eigen-matrix $\phi$ evaluated at different values of $\eta$, whereas the matrix $\Lambda$ is a $2 \times 2$ diagonal matrix with eigenvalues $\eta_{1},\;\eta_{2}$. Therefore, matrix $\Theta$ reads
In Eq.(21) $\left|e_{1}\right\rangle,\; \left|e_{2}\right\rangle$ are the two constant column basis vectors,and $\left|\theta_{i}\right\rangle=\phi(\eta_{i})\left|e_{i}\right\rangle$ in the matrix $\Theta$ is a column vector solution to the Lax pair (2) and (3). For $\eta=\eta_{i}\;(i=1,\;2)$, we have
For $\Lambda= \text{diag}(\eta_{1},\;\eta_{2})$, the Lax pair (22)-(23) can be written in matrix form as
where $\Theta$ is a particular matrix solution to the Lax pair (2)-(3) at a particular eigen-value matrix $\Lambda$.
Based on the above findings, one can prove the following propositions.
Proposition 1 Under the DT (19), the new matrix solutions $\tilde V$ and ${\tilde V}_{0}$ given in Eq.(18) have the same form as $V$ in Eq.(5), provided the matrix $N$ satisfies the following conditions
it Proof The relation between $\tilde V$ and $V$ is established and given in Eq.(26). We now show that the choice of matrix $N=\Theta \Lambda \Theta^{-1}$ satisfies the condition (27). For this, let us operate $\partial_{x}$ on the matrix $N=\Theta \Lambda \Theta^{-1}$ and use Eq.(24), we have
which is condition (27). Thus, the proof is complete.
Proposition 2 The new solutions $\tilde W$ and ${\tilde V}_{0} $ given by Eq.(18) have the same form as in Eq.(5), if the following conditions are fulfilled
Proof To proof the condition (30), let us operate $\partial_{t}$ on $N=\Theta \Lambda \Theta^{-1}$ and use Eq.(25), we have
which is condition (30). This completes the proof.
Remark 1 We remark here that Darboux transformation preserves the system i.e., if $\phi$ and $V,\;W,\;V_{0}$ are respectively, the solutions of the Lax pair (2)-(3) and nonlinear evolution equation (6), then $\phi^{[K]}$ and $V^{[K]},\;W^{[K]},\;V_{0}^{[K]}$ (that correspond to multi-soliton solutions) are also the solutions of the same equations.
In this paper, we will use quasideterminants that are expanded about $q \times q$ matrix. The quasideterminant expression of $Q \times Q$ expanded about $q \times q$ matrix is given as
For details and properties see e.g., Refs.[28]-[29].
For $N=\Theta \Lambda \Theta^{-1}$, it seems appropriate here to express the solutions $\phi^{[K]},\;V^{[K]},\;V_{0}^{[K]},\;W^{[K]}$ in terms of quasideterminants. The matrix solution $\tilde\phi$ to the Lax pair (2)-(3) with the particular matrix solution $\Theta$ in terms of quasideterminant can be expressed as
For the matrix solutions $\Theta_{k}$ at $\Lambda=\Lambda_{k}$ $\left(k=1,2,\ldots, K\right)$ to the Lax pair (2)-(3),the $K$-times repeated DT $\phi^{[K]}$ in terms of quasideterminant is written as (using the notation $\tilde\phi = \phi^{[1]},\;\Theta_{1}=\Theta,\;\Lambda_{1}=\Lambda$)
Similarly, the quasideterminant solutions $V^{[K]},\;V_{0}^{[K]}$,and $W^{[K]}$ can be expressed as
For an inductive proof of the obtained results similar to in Eqs.(34)-(36), reader is referred to see Ref.[18]. The $K$-fold DT (34) can also be written in an appropriate form as
where ${T}^{(K)}$ is the $2 \times 2$ matrix, whereas $\hat{E}^{(K)},\; \hat{\vartheta}$ and $\vartheta$ are $2K \times 2$, $2 \times 2K$, and $2K \times 2K$ matrices respectively,given by
where $^{\rm T}$ represents usual transpose. Similarly, re-written the expression (36) as
where $M^{(K)}$ is the $2 \times 2$ matrix and $\tilde E^{(K)}=\left(\begin{array}{cccc} O O \cdots I \end{array}\right)^{\rm T}$ is the $2K \times 2$ matrix. The components (or elements) of the matrices ${T}^{(K)}$ and ${M}^{(K)}$ can be decomposed as
where $(\hat{\vartheta})_i$ denotes $i$-th row of $\hat{\vartheta}$ and $(\hat{E}^{(K)})_{j},\;(\tilde E^{(K)})_{j}$ indicates $j$-th column of $\hat{E}^{(K)}$ and $\tilde E^{(K)}$ respectively. The expressions in Eqs. (40)-(41) can be used to compute multisoliton solutions of the AKNS$(-1)$ equation explicitly.
The quasideterminant solutions of the AKNS$(-1)$ equation can also be related with the dressed solutions obtained by Darboux-dressing transformation.[30] In this method, matrix $D$ referred to as dressing function (or Darboux-dressing matrix) is studied in the extended complex $\eta$-plane. The dressing function should be meromorphic in the complex plane i.e. it has some pole in the domain of $\eta$. It has a singular behavior at $\eta = \mu$ and can be expressed in terms of Hermitian projectors. To relate quasideterminant solutions with dressed solutions, we re-write the matrix $N$ as
Let us define column solutions $\left|\theta_{1}\right\rangle$,$\left|\theta_{2}\right\rangle$ of the Lax pair(2)-(3) at $\eta = \eta_1$ and $\eta = \eta_2$ ($\eta_{1} \neq \eta_{2}$) respectively, then we have
By taking $\eta_{1} = \mu,\; \eta_{2} = \bar{\mu}$, we may write the matrix $N$ in terms of superposition of Hermitian projectors i.e.,
where $\mathcal{P}$ is a Hermitian projector that satisfy $\mathcal{P}^{2} = \mathcal{P},\;\mathcal{P} + \mathcal{P}^{\perp} = I$. It should be noted that projector $\mathcal{P}$ can be completely described by the background of two subspaces $S_{1} = \text{Im} \mathcal{P}$ spanned by the basis$\left|e_{i}\right\rangle$ and $S_2 = \text{Ker} \mathcal{P}$ spanned by $\left|e_{j}\right\rangle$ ($i \neq j$). This yields the following interpretation:
$$ s_1 \in \text{Im} \mathcal{P} \Leftrightarrow \mathcal{P}^{\perp}$$
$$s_1 = 0 \Leftrightarrow \mathcal{P} s_2 = 0 \Leftrightarrow s_2 \in \text{Ker} \mathcal{P}, \nonumber \\ s_1 \in \text{Ker} \mathcal{P} \Leftrightarrow \mathcal{P} s_1 = 0 \Leftrightarrow \mathcal{P} s_2 = s_2 \Leftrightarrow s_2 \in \text{Im} \mathcal{P}. \nonumber $$
By using $\mathcal{P}^{\perp}=I-\mathcal{P}$ in Eq.(45), we have
Now Darboux matrix $D$ in terms of Hermitian projector can be written as
The matrix solution $\tilde\phi$ in terms of Hermitian projector is expressed as
where $\left|\theta_{1}\right\rangle$ is the column vector solution to the Lax pair (2)-(3). The $K$-times repeated DT on the matrix $\phi^{[K]}$ in terms of Hermitian projector can be written as
Similarly, the expression for $W^{[K]}$ in terms of Hermitian projector is
where
In the same way, one can also write expression for $V^{[K]},\;V_{0}^{[K]}$ in terms of ${\mathcal P}$.
4 Soliton Solutions
In this section, we shall discuss two cases i.e., ($u=\bar{v}$ reduction) that correspond to complex AKNS$(-1)$ equation (9) and ($u=v$ reduction) that correspond to Eq. (8) and compute explicitly one-, two-, and three-soliton solutions for both of the equations. In order to obtain soliton solution, let us take $u=v=0$ as a trivial solution, so that the Lax pair (2)-(3) with this seed (or trivial solution)are written asEquation (52) is satisfied if
where $\zeta(\eta_{k})=\eta_{k} x + ({1}/{4\eta_{k}})t + \eta_{k0}$, $k=1,\ldots,K$.
4.1 $u=\bar{v}$ Reduction
In what follows, by expanding quasideterminant Darboux matrix, we express DTs on the solutions to the complex AKNS$(-1)$ equation as a ratio of determinants.For a complex AKNS$(-1)$ equation (9), matrix $W$ in Eq.(5) takes the form
The particular matrix solution $\Theta$ to the Lax pair of the complex AKNS$(-1)$ equation can be written as
By iterating particular matrix $\Theta$ to $K$-times, one can obtain the multi solutions to the Lax pair of the complex
AKNS$(-1)$ equation. For $k=1,2,\ldots,K$, Eq.(55) reads
From Eqs.(39) and (54), we obtain the $K$-fold DTs to the solutions of the complex AKNS$(-1)$ equation given by
It may be noted that, from Eq.(35) one can find the same results for the DT on the solutions of the complex AKNS$(-1)$ equation as in Eq.(57). To get one-soliton solution let us take $K=1$, so that the matrices $\hat{E}^{(1)},\;\Theta_{1},\;\Lambda_{1}$ are written as
The matrices $\vartheta$ and $ \hat{\vartheta}$ take the form
Therefore the matrix element $M^{(1)}_{21}$ in the matrix $M^{(1)}$ can be computed as
Let us take $\theta^{(2)}_{22} = \bar{\theta}^{(1)}_{11},\;\theta^{(2)}_{12} = -\bar{\theta}^{(1)}_{21}$, and $\eta_{2} =-\bar{\eta}_{1}$, we obtain
Similarly,
From Eqs.(61) and (62), it can be verified that $\bar{M}_{12}^{(1)}=M_{21}^{(1)}$. Using Eq.(53),particular matrix solution to the Lax pair of the complex AKNS$(-1)$ equation is given by
By using Eqs.(61) and (63) in Eq.(57), we obtain
The solution (64) is plotted in Fig. 1. For two-soliton $K=2$, the matrices $\hat{E}^{(2)},\;\vartheta,\;\hat{\vartheta}$ being $4 \times 2,\;4 \times 4,\;2 \times 4$ respectively, to be taken as follow
$$\label{c5} \hat{E}^{(2)}=\left(\begin{array}{cc} 0 0 \\ 0 0 \\ 1 0 \\ 0 1 \\ \end{array} \right), \nonumber \\ \vartheta\! =\! \left( \begin{array}{cc} \Theta_{1} \Theta_{2} \\ \Theta_{1}\Lambda_{1} \Theta_{2}\Lambda_{2} \end{array} \right) \!=\!\left( \begin{array}{cc} \begin{array}{cc} \theta^{(1)}_{11} \theta^{(2)}_{12} \\ \theta^{(1)}_{21} \theta^{(2)}_{22} \end{array} \begin{array}{cc} \theta^{(3)}_{11} \theta^{(4)}_{12} \\ \theta^{(3)}_{21} \theta^{(4)}_{22} \end{array} \\ \begin{array}{cc} \eta_{1}\theta^{(1)}_{11} \eta_{2}\theta^{(2)}_{12} \\ \eta_{1}\theta^{(1)}_{j,\;21} \eta_{2}\theta^{(2)}_{22} \\ \end{array} \begin{array}{cc} \eta_{3} \theta^{(3)}_{11} \eta_{4} \theta^{(4)}_{12} \\ \eta_{3} \theta^{(3)}_{21} \eta_{4} \theta^{(4)}_{22} \\ \end{array} \end{array} \right), \nonumber \\ \hat{\vartheta}\! =\! \left( \begin{array}{cc} \Theta_{1}\Lambda_{1}^{2} \;\;\Theta_{2}\Lambda_{2}^{2} \end{array} \right)\! =\!\left( \begin{array}{cc} \begin{array}{cc} \eta_{1}^{2}\theta^{(1)}_{11} \eta_{2}^{2} \theta^{(2)}_{12} \\ \eta_{1}^{2}\theta^{(1)}_{21} \eta_{2}^{2} \theta^{(2)}_{22} \\ \end{array} \begin{array}{cc} \eta_{3}^{2} \theta^{(3)}_{11} \eta_{4}^{2} \theta^{(4)}_{12} \\ \eta_{3}^{2} \theta^{(3)}_{21} \eta_{4}^{2} \theta^{(4)}_{22} \\ \end{array} \end{array} \right). \nonumber $$
Fig.1
New window|Download| PPT slideFig.1(Color online) One-soliton solution to the complex AKNS$(-1)$ equation (9) with the choice of parameters: $\eta_{1} = 0.5-0.5i, \eta_{10}=0$.
The two-fold DT on the solution to the complex AKNS$(-1)$ equation is
The matrix elements $M^{(2)}_{21}$ can be readily computed as
Similarly, one can also express $M^{(2)}_{12}$ as a ratio of two determinants. By substituting $\theta^{(2l)}_{22} = (-1)^{2l}\bar{\theta}^{(2l-1)}_{11},\; \theta^{(2l)}_{12} = (-1)^{2l-1}\bar{\theta}^{(2l-1)}_{21}$ and $\lambda_{2l} = -\bar{\lambda}_{2l-1}$ ($l=1,\;2$) in Eqs.(65) with (66), we obtain two-soliton solution to the complex AKNS$(-1)$ equation (9). The two-soliton solutions are depicted in Fig.2 and 3.
Fig.2
New window|Download| PPT slideFig.2(Color online) Two-soliton solution to the complex AKNS$(-1)$ equation for the choice of parameters:$\eta_{1} = -0.4-0.4i, \eta_{2} = 0.3+0.3i$.
Fig.3
New window|Download| PPT slideFig.3(Color online) Periodic two-soliton solution to the complex AKNS$(-1)$ equation for the choice of parameters: $\eta_{1} = -0.4-0.4i, \eta_{2} = 0.3+0.3i$.
In Fig.2(a) for $\eta_{10}=0,\;\eta_{20}=-5$, it can be seen that two solitons traveling parallel and are far from each other with their respective shapes and motions. However, when $\eta_{10}=0,\;\eta_{20}=0$ (Fig.2(b)), soliton with the shorter amplitude interact elastically with other soliton having taller amplitude and both of them are trying to exchange their energies, while in Fig.2(c) for $\eta_{10}=0,\;\eta_{20}=5$, two solitons recover their respective original profiles and move parallel far from to each other as the beginning. Similar phenomena is observed for periodic solitons Figs.3(a)-(3c).
We now consider another configuration of two soliton solution that has been shown in Figs.4 and 5. In Figs.4 and 5, we observe different effects of two-soliton solution to the complex AKNS$(-1)$ equation with respect to particular values of their spectral parameters. Figure4 shows the interaction between two solitons propagating with the velocities nearby close to each other. Figure5 depicts the interaction of two solitons with their bound states having the same velocities (i.e., $\Delta z=z_{1}-z_{2}=0$, where $z$ represents the velocity of each soliton). The bright area means the amplitude is largest, while the area with the cyanic background shows the amplitude is nearly to zero. Three-soliton solution numerically is shown in Fig.6.
Fig.4
New window|Download| PPT slideFig.4(Color online) Scattering of two solitons with the velocities nearby close to each other.
Fig.5
New window|Download| PPT slideFig.5(Color online) Scattering of two solitons with the same velocities.
(Color online) (a) shows scattering of three solitons with their relative velocities, while (b) shows scattering of three solitons with the velocities are close to each other for Eq.(9).
New window|Download| PPT slide(Color online) (a) shows scattering of three solitons with their relative velocities, while (b) shows scattering of three solitons with the velocities are close to each other for Eq.(9).Fig.6
4.2 $u=v$ Reduction
For $u=v$, matrix $W$ in Eq.(5) takes the formThe $K$-fold DT to the solution of the AKNS$(-1)$ equation (8) yields
The choice $\theta^{(2)}_{22} = {\theta}^{(1)}_{11},\;\theta^{(2)}_{12} = -{\theta}^{(1)}_{21}$, and $\eta_{2} =-{\eta}_{1}$ in Eq. (61) yield
Similarly
Equations (69) and (70) imply that $M^{(1)}_{12}=M^{(1)}_{21}$. By using Eq.(69) in Eq.(68), one-soliton ($K$=1) solution to the AKNS$(-1)$ equation (8) given by
By substituting $\theta^{(2l)}_{22} =(-1)^{2l}{\theta}^{(2l-1)}_{11}$, $\theta^{(2l)}_{12} = (-1)^{2l-1}{\theta}^{(2l-1)}_{21}$, and $\lambda_{2l} = -{\lambda}_{2l-1}$ in Eq.(68), we obtain two- and three-soliton solutions of the AKNS$(-1)$ equation (\ref{realAKNS}) for $l=1,\;2$ and $l=1,\;2,\;3$ respectively, depicted in Figs. 7(a)-7(c).
Fig.7
New window|Download| PPT slideFig.7(Color online) One-, two-, and three-soliton solutions to the AKNS$(-1)$ equation (8).
The asymptotic limit i.e., when $t \rightarrow \infty$, we have $\zeta \rightarrow \infty$, Eq.(71) becomes
So we get the much simpler expression of the one-soliton solution in the asymptotic limit. Similarly, $K$-soliton solution in the asymptotic limit reads
5 Concluding Remarks
In this paper, we have discussed Darboux transformation for a negative order AKNS equation. Using quasideterminant Darboux matrix, we have computed multisoliton solutions of the AKNS$(-1)$ equation. The $K$-soliton solutions have been expressed in simple quasideterminant form through iteration process and shown to be related with the dressed solutions as obtained by dressing method. As an example, we have presented one-, two-, and three-soliton solutions of the AKNS$(-1)$ equation. It has also been shown that, each envelope soliton able to resume its original shape after collision, which shows that collision between envelope solitons is elastic collision. It would be interesting to study the discrete, semi-discrete and supersymmetric generalization of the model via Darboux transformation.Reference By original order
By published year
By cited within times
By Impact factor
[Cited within: 1]
(
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]
(
[Cited within: 1]
(
(
(
[Cited within: 1]
[Cited within: 2]
[Cited within: 1]
[Cited within: 2]
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]