Corresponding authors: ?E-mail:ma-zhengyi@163.com
Received:2018-11-25Online:2019-05-1
Fund supported: |
Abstract
Keywords:
PDF (1043KB)MetadataMetricsRelated articlesExportEndNote|Ris|BibtexFavorite
Cite this article
Ya-Hong Hu, Zheng-Yi Ma. Residual Symmetry of the Alice-Bob Modified Korteweg-de Vries Equation. [J], 2019, 71(5): 489-495 doi:10.1088/0253-6102/71/5/489
1 Introduction
Symmetry has been generalized to the invariance --- that is, the lack of change-under any kind of transformation, for example arbitrary coordinate transformations.[1] In fact, the classical Lie group method of infinitesimal transformation, the nonclassical Lie group method, and the Clarkson and Kruskal (CK) direct method are viewed as three kinds of powerful tools to find the symmetry structures of integrable nonlinear partial differential equations (NPDEs).[2-6] Recent results of studying nonlocal symmetries which are derived from the Darboux transformation or the B?cklund transformation, give several different classes of explicit solution, such as the rational one, the Bessel function one, soliton-cnoidal wave interaction one.[7-11] By introducing suitable prolonged systems, nonlocal symmetries could be localized to local Lie point symmetries and the related finite transformations were considered.[12-20] Moreover, these facts imply that this kind of approach can generate not only the nonlocal symmetry but also the Lie point symmetry for a given differential system.In order to explain two-place interrelated physical problems, some Alice-Bob (AB) systems were introduced through the AB-BA principle and $P_s$-$T_d$-$C$ principle with $P_s$ (shifted parity), $T_d$ (delayed time reversal) and $C$ (charge conjugation).[21] Up to now, the following work has been achieved: a nonlocal AB-KdV system obtained from the coupled KdV equation which describes two area event.[22] For this nonlocal system, exact solutions including $P_sT_d$ symmetric invariant and breaking ones were derived using the different methods.The multi-soliton solution with a new compact form for the local KdV equation and the nonlocal AB-KdV system was constructed.[23-24] In particular, a nonlcoal AB-KdV system can reduce from the nonlinear inviscid dissipative and barotropic vorticity equation which can interpret the snow disaster in the winter of 2007/2008 happened in Southern China.Nonlocal integrable peakon equations were also constructed and shown to have peakon solutions.[25] The $N$-th Darboux transformation of the integrable AB-mKdV system was established.With the help of this kind of Darboux transformation, some $P_sT_d$ symmetric breaking solutions including one- and two-soliton, and rogue wave were presented.[26]
This paper is organized as follows.In Sec.2, the residual symmetry of the AB-mKdV system is obtained and localized by using the truncated Painlevé expansion method.The finite symmetry transformation is presented by solving the initial value problem.Furthermore, the multiple residual symmetries lead to the $N$-th B?cklund transformation.In Sec.3,the $P_s T_d$ symmetric exact solutions including invariant solution, breaking solution, and breaking interaction one are provided. This summary is given in the last section.
2 Residual Symmetry and B?cklund Trans- formation of the AB-mKdV Equation
The two-place AB-mKdV equation can be described aswhere $x_0$ and $t_0$ are arbitrary constants.[21]
In fact, the third order Ablowitz-Kaup-Newell-Segur (AKNS) system
has a natural reduction
if $v=u$, which is nothing but the celebrated mKdV equation
(where $u\equiv u(x,t)$, $v\equiv v(x,t))$.
The coupled equation (2) will be reduced to the nonlocal equation
if $v$ is replaced by $u(-x,-t)$,
which is a special case of the AB-mKdV equation (1) with $x_0 = t_0 = 0.$ It implies that seeking for the exact solution of the AB-mKdV equation (1) transforms to finding the solution of the AKNS system (2). In other words, the solution of the AKNS system (2) may be reduced to those of the AB-mKdV equation (1) by using $v = u(-x,-t)$ due to the $P_sT_d$ symmetric invariance of the AB-mKdV equation (1).
From the leading term analysis of the coupled system (2), the truncated Painlevé expansion
is
where the function $f$ is an arbitrary function, and $u_0$, $u_1$, $v_0$, $v_1$ are four functions related to $f$ and its derivatives. Substituting Eq.(5) into Eq.(2) and equating the coefficients of each power of function $f$, we get
with the consistent condition
where $m$ is an arbitrary constant. Equation~(7) is a typical Schwarzian form of the KdV equation,which is invariant under the M?bious transformation
Now, we have the following theorem
Theorem 1 If $f$ is a solution of the Schwarzian equation (7), then
is a set of solution of the AKNS system (2).
If $f$ is a solution of Eq.(7) and $f(-x,-t)=f(x,t)$, or $f(-x,-t)=-f(x,t)$, then
is a $P_sT_d$ symmetric solution of the AB-mKdV equation (1).
Following the above residual symmetry theorem, one has the residual
which corresponds to the nonlocal symmetry of the solution $\{u_0, v_0\}$.[22]
For the localization of the nonlocal symmetry, we introduce an auxiliary variable $g \equiv g(x,t)=f_x$.
Then, an enlarged system of Eq.(2) is given by
The corresponding symmetry is
Thus, the derived residual symmetry
$$\{\sigma^u,\sigma^v\} = \{f_x, -f_x\}$$
has the local form
Furthermore, solving its initial value problem
with $\epsilon$ being an arbitrary group parameter, leads to the finite transformation theorem.
Theorem 2 (B?cklund transformation theorem of the coupled system (2)) If $\{ u, v, f, g \}$ is a solution of Eqs.(12), so is $\{ U(\epsilon),V(\epsilon),F(\epsilon),G(\epsilon) \}$ for Eq.(15), where
Based on Theorem 2, we consider the B?cklund transformation for the AB-mKdV equation (1). It immediately reaches the B?cklund transformation theorem for Eq.(1) from the coupled system (2).
Theorem 3 (B?cklund transformation theorem of the AB-mKdV equation (1))
If A is a solution of the AB-mKdV equation (1), $f$ is a solution of Eq.(7) and satisfies $f(-x,-t)=f(x,t)$, then
is a $P_sT_d$ symmetry breaking solution of Eq.(1).
For example, the composite function $f$
is satisfied, where AiryAi, AiryBi-the Airy Ai and Bi wave functions. The Airy wave functions AiryAi and AiryBi are linearly independent solutions for $w$ in the equation $w(x)_{xx}-zw(x)=0$. $C_0$, $C_1$, and $C_2$ are three constants.
Furthermore, since the symmetry equations (13) are all linear and Eq.(7) possesses infinitely
many solutions, one can get the infinitely many residual
symmetries
for arbitrary natural number $n$, where $f_i\; (i = 1,2,\ldots,n)$ are all solutions of Eq.(7), i.e.
and $u$ and $v$ obey the relations
For localization of the residual symmetry $\sigma_n^u$ and $\sigma_n^v$, one can introduce following variables $g_i\equiv g_i(x, t)$ given by
for $i = 1,2,\ldots,n$.
The nonlocal symmetry (19) becomes a Lie point symmetry
By solving its initial value problem
one can arrive at the following $N$-th B?cklund transformation theorem.
Theorem 4 ($N$-th B?cklund transformation theorem of the coupled system (2))
If $\{u, v, f_i , g_i, i = 1,2,\ldots,n\}$ is a solution of the prolonged system (2) and Eqs.(20)--(22), so is
$$ \{U(\epsilon), V(\epsilon),F_i(\epsilon), G_i (\epsilon), i = 1,2,\ldots,n \}, $$
where
with $delta$ and $delta_i$ are determinants of the matrices $M$ and $M_i$ expressed by
$$ \ M=\begin{pmatrix} \epsilon c_1 f_1+1 \ \epsilon c_1\omega_{12} \ \cdot\cdot\cdot \ \epsilon c_1\omega_{1j} \ \cdot\cdot\cdot \ \epsilon c_1\omega_{1n} \\ \epsilon c_2\omega_{12} \ \epsilon c_2 f_2+1 \ \cdot\cdot\cdot \ \epsilon c_2\omega_{2j} \ \cdot\cdot\cdot \ \epsilon c_1\omega_{2n} \\ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \\ \epsilon c_j\omega_{1j} \ \epsilon c_j\omega_{2j} \ \cdot\cdot\cdot \ \epsilon c_j f_j+1 \ \cdot\cdot\cdot\cdot \ \epsilon c_j\omega_{jn} \\ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \\ \epsilon c_n\omega_{1n} \ \epsilon c_n\omega_{2n} \ \cdot\cdot\cdot \ \epsilon c_n\omega_{jn} \ \cdot\cdot\cdot\cdot \ \epsilon c_n f_n+1 \end{pmatrix},\quad \omega_{ij}=\sqrt{f_i f_j}\,, \\ M_i=\begin{pmatrix} \epsilon c_1 f_1+1 \ \epsilon c_1\omega_{12} \ \cdot\cdot\cdot \ \epsilon c_1\omega_{1,i-1} \ \epsilon c_1\omega_{1i} \ \epsilon c_1\omega_{1,i+1} \ \cdot\cdot\cdot \ \epsilon c_1\omega_{1n} \\ \epsilon c_2\omega_{12} \ \epsilon c_2 f_2+1 \ \cdot\cdot\cdot \ \epsilon c_2\omega_{2,i-1} \ \epsilon c_2\omega_{2i} \ \epsilon c_2\omega_{2,i+1} \ \cdot\cdot\cdot \ \epsilon c_1\omega_{2n} \\ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \\ \epsilon c_{i-1}\omega_{1,i-1} \ \epsilon c_{i-1}\omega_{2,i-1} \ \cdot\cdot\cdot \ \epsilon c_{i-1} f_{i-1}+1 \ \epsilon c_{i-1}\omega_{i-1,i} \ \epsilon c_{i-1}\omega_{i-1,i+1} \ \cdot\cdot\cdot\cdot \ \epsilon c_{i-1}\omega_{i-1,n} \\ \omega_{1i} \ \omega_{2i} \ \cdot\cdot\cdot \ \omega_{i-1,i} \ f_i \ \omega_{i,i+1} \ \cdot\cdot\cdot\cdot \ \omega_{in} \\ \epsilon c_{i+1}\omega_{1,i+1} \ \epsilon c_{i+1}\omega_{2,i+1} \ \cdot\cdot\cdot \ \epsilon c_{i+1}\omega_{i-1,i+1} \ \epsilon c_{i+1}\omega_{i,i+1} \ \epsilon c_{i+1} f_{i+1}+1 \ \cdot\cdot\cdot\cdot \ \epsilon c_{i+1}\omega_{i+1,n} \\ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \ \vdots \\ \epsilon c_n\omega_{1n} \ \epsilon c_n\omega_{2n} \ \cdot\cdot\cdot \ \epsilon c_n\omega_{i-1,n} \ \epsilon c_n\omega_{in} \ \epsilon c_n\omega_{i+1,n} \ \cdot\cdot\cdot\cdot \ \epsilon c_n f_n+1 \end{pmatrix},$$
respectively.
Theorem 5 ($N$-th B?cklund transformation theorem of the AB-mKdV equation (1))
If A is solution of the AB-mKdV equation (1), $ f_i\;(i = 1,2,\ldots, n) $ are solutions of Eq.(20) and have the even function property $f_i(-x,-t)=f_i(x,t)$, then
is a $P_sT_d$ symmetric breaking solution of the AB-mKdV equation (1).
3 The $P_s T_d$ Symmetry Exact Solutions of the AB-mKdV Equation
Recently, it is found that several AB systems have exact solutions of the $P_sT_d$ symmetry invariant or the $P_sT_d$ symmetry breaking.[21-22,24-26] Through the trial function method, the AB-mKdV system (1) has solutions of the following properties.Case 1 The $P_s T_d$ symmetry invariant solutions
where $k$, $x_0$, $t_0$ are arbitrary constants and $delta^2=1$.
Case 2 The $P_s T_d$ symmetry breaking solutions
Case 3 The $P_s T_d$ symmetry breaking interaction solutions
After setting
with $\omega\equiv\omega(x,t)$, and substituting Eq.(33) into Eqs.(5)--(7), we get one solution of the coupled system (2) is
with the associated compatibility condition
For the $P_s T_d$ symmetry breaking interaction solution between a soliton and a cnoidal wave, one can take the ansatz of Eq.(35)
Substituting the ansatz (36) into Eq.(35) and vanishing the coefficients of the different powers of Jacobi elliptic function, two sets of nontrivial solution $V_1$, $V_2$, $c_1$, $c_2$, $delta_2$ can be determined as
where $delta_1$ is an arbitrary constant.
Substituting Eq.(36) into Eq.(34), one soliton-cnoidal wave interaction solution of Eq.(2) is
with
$$ S=\text{sn}\Big(\frac{x-V_2t}{delta_2}, n\Big),\quad C=\text{cn}\Big(\frac{x-V_2t}{delta_2}, n\Big),\quad D=\text{dn}\Big(\frac{x-V_2t}{delta_2}, n\Big). $$
Therefore, after substituting Eqs.(37) and (38) into Eq.(39), we have the $P_s T_d$ symmetry breaking interaction solutions of Eq.(1)
with
with
$$ \omega=\frac{1}{delta_1}\Big[\Big(x-\frac{x_0}{2}\Big)-\frac{3(n+1)^2m^2delta_1^2-n^2 -14n-1}{delta_1^2(n+1)^2}(2t-t_0)\Big]+delta\arctan(\sqrt{n}S), \\\ S=\text{sn}(X_2, n), \quad C=\text{cn}(X_2, n),\quad D=\text{dn}(X_2, n), \\\ X_2\equiv\frac{2}{delta_1(n+1)}\Big[\Big(x-\frac{x_0}{2}\Big)-\frac{3(n+1)^2m^2delta_1^2-5n^2-6n-5} {delta_1^2(n+1)^2}(2t- t_0 )\Big]. $$
New window|Download| PPT slide
Fig.1(a) The three-dimensional profile of the solution $A_7$ in Eq.(40) at the region x∈ [8, 8]$, $t\in [-1.5, 1.5]$. (b) The two-dimensional profile with $x=0$. (c) The two-dimensional profile at time $t=0$.
The solution (40) describes the interaction between a kink and periodic waves, which has the potential application in physical setting.
In Fig.1, the interaction behavior between a kink soliton and cnoidal waves given by the solution $A_7$ in Eq.(40) is plotted when the parameters $delta=-1$, $delta_1=1$, $n=0.2$, $m=0$, $x_0=0$, $t_0=0$.
Figure 1(a) displays the profile at x∈ [8, 8], $t$$\in$ [-1.5, 1.5]$. One can observe that in this process the kink soliton propagates on the periodic wave background.
Figures~1(b) and 1(c) are profiles with $x=0$ and at time $t=0$, respectively.
New window|Download| PPT slide
Fig.2(a) The three-dimensional profile of the another solution $A_7$ in Eq.(40) at the region x∈[8, 8]$, $t\in [-1.5, 1.5]$. (b) The two-dimensional profile with $x=0$. (c) The two-dimensional profile at time $t=0$.
Figure 2 depicts a reversal structure of Fig.1 by the another solution $A_7$ (which is $P_sT_d$ symmetry of the first solution $A_7$ for Eq.(1)).This corresponds to the phenomenon that the shifted parity and delayed time reversal are applied to describe two-place events.
New window|Download| PPT slide
Fig.3(a) The interaction between a soliton and kink given by $A_9$ in Eq.(44) with $delta_1=1$, $m=0$, $c_2=0.5$. (b) The structure of another solution $A_9$ represents a reversal shape of (a).
As a special case, when substituting $n=1$ into Eq.(36), we obtain
Substituting Eq.(42) into Eq.(35), then
where $delta_1$, $c_2$ are two arbitrary constants.
System (1) has the following solution
with
$$ \ \omega=\frac{1}{delta_1}\Big[\Big(x-\frac{x_0}{2}\Big)-\frac{3m^2delta_1^2-1}{delta1^2}(2t-t_0)\Big]\\\ \ \hphantom{\omega=}+\text{arctanh}(c_2T)\,,\\\ \ T\!=\!\tanh\Big\{\frac{c_2}{delta_1}\Big[\Big(x-\frac{x_0}{2}\Big)-\!\frac{3m^2delta_1^2+2c_2^2-3}{delta1^2}(2t-t_0)\Big]\Big\}\,.$$
Figure 3 shows the solution $A_9$ of Eq.(44) when taking $delta_1=1$, $m=0$, $c_2=0.5$. From Fig.3(a), one can find that we have a bright soliton and a kink before the interaction.However, after the interaction, the soliton becomes a dark (gray) soliton but the kink is unchanged.The nonlocal interaction in the model results in such type of transition for the solution $A_9$.Figure 3(b) stands for a reversal structure of Fig.3(a) for another solution $A_9$.
4 Summary
In this paper, a special AB-mKdV system is derived from mKdV equation to describe two-place interrelated event.This system is nonlocal and possesses $P_sT_d$ symmetry.Starting from the truncated Painlevé expansion,the residual symmetry is obtained and further localized to Lie point symmetry by extending the AB-mKdV system to an enlarged one.At the same time, the finite transformation is presented.Further, we consider the multiple residual symmetry via the linear superposition and give its finite transformation, which is nothing but the $N$-th B?cklund transformation.It is shown that this type of the B?cklund transformation is given in terms of determinants and can generate new solution from a seed one. Moreover, based on the trial function approach, the $P_s T_d$ symmetric solutions (including invariant solution, breaking solution and breaking interaction solution) of AB-mKdV equation are presented and two classes of interaction solutions are depicted by using the particular functions with numerical simulation.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: 6]
[Cited within: 1]
[Cited within: 1]
[Cited within: 1]
[Cited within: 3]
[Cited within: 3]
[Cited within: 1]
[Cited within: 2]
[Cited within: 1]
[Cited within: 2]