Abstract:
The non-linear steepest descent method is employed to study the long-time asymptotics of solution to the non-local Lakshmanan–Porsezian–Daniel
equation with step-like initial data
$$
q(x,0)=q_0(x)\to\begin{cases}
0, &x\to-\infty,
\\
A, &x\to+\infty,
\end{cases}
$$
where $A$ is an arbitrary positive constant. We first construct the basic Riemann–Hilbert (RH) problem. After that, to eliminate the influence of singularities, we use the Blaschke–Potapov factor to deform the original RH problem into
a regular RH problem which can be clearly solved. Then different asymptotic behaviors on the whole $(x,t)$-plane are analyzed in detail. In the region $(x/t)^2<1/(27\gamma)$ with $\gamma>0$, there are three real saddle points
due to which the asymptotic behaviors have
a more complicated error term. We prove that the asymptotic solution constructed by the leading and error terms
depends on the values of $\operatorname{Im}v(-\lambda_j)$, $j=1,2,3$, where $v(\lambda_j) =-(1/(2\pi))\ln|1+r_1(\lambda_j)r_2(\lambda_j)|-(i/(2\pi))\Delta(\lambda_j)$, $\Delta(\lambda_j)=\int_{-\infty}^{\lambda_j}d \arg(1+r_1(\zeta)r_2(\zeta))$, $r_i(\xi)$, $i=1,2$, are the reflection coefficients and $\lambda_j$ are the saddle points of the
phase function $\theta(\xi,\mu)$. Besides, the leading term is characterized by parabolic cylinder functions and satisfies boundary conditions. In the region $(x/t)^2>1/(27\gamma)$ with $\gamma>0$, there are one real and two conjugate complex saddle points. Based on the positions of these points, we improve the extension forms of the jump contours and successfully obtain the large-time asymptotic results of
the solution in this case.
Fundamental Research Funds for the Central Universities of China
2024ZDPYJQ1003
This work was supported by the National Natural Science Foundation of China under
Grant No. 12371255, Xuzhou Basic Research Program Project under Grant No. KC23048, the Six Talent Peaks Project in Jiangsu Province under Grant No. JY-059, the 333 Project in Jiangsu Province, the Fundamental Research Funds for the Central Universities under the Grant No. 2024ZDPYJQ1003.
All the authors contributed equally to this work.
As we know, the research of non-linear partial differential equation is a significant part of non-linear science. Since these equations can describe special physical phenomena, many non-linear integrable models have attracted widespread attention of experts and scholars. For example, the propagation of envelope solitons and optical solitons can be controlled by the non-linear Schrödinger (NLS) equation [1]
In optical fibers, the NLS equation can be used to characterize the propagation of picosecond soliton pulses and slow modulation of weakly non-linear wave packet amplitudes in moving medium. However, the NLS equation with only lower-order dispersion term is insufficient to describe some complex phenomena. So, it is necessary to further study the effects of higher-order perturbations. Many modified and generalized NLS equations have been proposed [2]–[5]. One of these equations with higher-order dispersion is the Lakshmanan–Porsezian–Daniel (LPD) equation
where $\gamma$ is an arbitrary positive real parameter and the subscripts represent partial differentiations.
The LPD equation was first proposed by Lakshmanan, Porsezian and Daniel [6], who considered the one-dimensional classical Heisenberg ferromagnetic spin system and applied a multiple-scaling method to find the perturbed soliton solution in the non-integrable case. The Lax pair and an infinite number of conservation laws have been given [7], [8]. Besides, the breathers, rogue wave and localized wave solutions and other multi-soliton solutions for the LPD equation have been constructed [9]–[11]. The soliton solution has been obtained by inverse scattering transform (IST) method and the initial-boundary value problem of LPD equation on the half-line has been analyzed [12], [13]. The LPD equation, which has many applications in non-linear optics and physics, can be used as a model for describing the propagation and interaction of the ultrashort pulses in high-speed optical fiber transmission system and has many other extensive applications, and so it has great research value and significance.
In this work, to explore the long-time asymptotics different from the local LPD equation, we further study the non-local LPD equation
where A is a positive arbitrary constant. In addition, we have $r(x,t)=\sigma \overline{q}(-x,t)$, $\sigma=\pm1$. The value $\sigma=1$ corresponds to the defocusing case and $\sigma=-1$ corresponds to the focusing case. We mainly pay close attention to the latter case. The solution $q(x,t)$ satisfies the following boundary conditions:
for any positive value of $t$. The potential of non-local equations induced by the non-linear term of the non-local equation is the Parity-Time (PT) symmetry, which was first introduced by Ablowitz and Musslimani to study the non-local NLS equation
which possesses a Lax pair and conservation laws [14]; $\overline{q}(-x,t)$ denotes the complex conjugation of $q(-x,t)$. The PT symmetry is a special reduction from the famous AKNS system as $r(x,t)=\overline{q}(-x,t)$ (see [15]). Compared with local equations, the solutions of non-local equations may exhibit some different properties and phenomena such as non-local NLS equation [16], non-local modified Korteweg–de Vries (mKdV) equation [17], non-local Camassa–Holm (CH) equation [18], and so on.
The study of asymptotic solutions to non-linear dispersion equations is a hot topic. It was first brought into forcing with the IST method by Manakov [19]. Later, Deift and Zhou, inspired by this work, developed the non-linear steepest descent method [20]. Subsequently, this method became a powerful tool to studying the long-time asymptotic behavior of integrable systems [21]–[24]. Especially, different from the decaying initial condition, the equations with step-like initial data can generate many new properties and phenomena. They have attracted widespread attention of many experts and scholars. For example, the long-time asymptotics of focusing NLS equation with step-like initial data have been studied [25]–[27]. The long time/zero-dispersion limit of the solution of defocusing NLS equation has been studied for a family of step-like initial data by the steepest descent techniques [28]. Moreover, as different from the long-time asymptotics of the solution $q(x, t)$ for the non-local NLS equation along the rays $x/t = C$, where $C$ is a non-zero constant, Rybalko and Shepelsky [23], [29]–[32] have significantly extended these asymptotic results. In particularly, they found the asymptotics within a one-parameter family of curved wedges that is asymptotically closer to the ray $x = 0$ than any of these rays. In addition, the long-time asymptotics of mKdV equation [33]–[35], the CH equation [36]–[38], and the DNLS equation [39] with step-like initial data were also investigated.
Since the LPD equation is a special case of the fifth-order NLS equation, especially for the non-local LPD equation, it has a far-reaching mathematical and physical significance. So far, many experts and scholars have obtained several noteworthy results that can promote a further development of integrable systems. The integrability property, periodic wave, modulation instability, rational soliton solutions and nonsingular solutions have been given by the Darboux transform method or the Bäcklund transformation approach in [40]–[42]. The RH problem based on IST was studied for constructing soliton solutions of non-local LPD equation [12], [43]. On the basis of these integrable properties, we can further study the soliton solutions of this equation, including soliton solutions, rational solutions, breathing solutions and soliton interaction. In addition, these non-linear wave solutions can be used in experiments of physical fields and optical fibers fields. The rich optical solitons and the generated soliton dynamics behaviors contribute to further exploration in the field of non-linear optics. In addition, some new achievements have been made in the long-time asymptotic analysis of the solution to non-local LPD equation. In [44], Wang, Guo, and Liu found the long-time asymptotic behavior of the LPD equation by employing the non-linear steepest descent analysis in the Schwartz space. Besides, in [45], Peng and Chen derived the explicit long-time asymptotic formula of the non-local LPD equation.
It is worth noting that the above works study the LPD equation under the condition that the initial data belongs to the Schwartz space. Here, inspired by the above two works and the work on non-local NLS equation [29], we extend these results to derive the asymptotic solutions of non-local LPD equation (1.3) with step-like initial data, and in the asymptotic analysis we will consider the following complex problems.
(I) The LPD equation with step-like initial value conditions is investigated. There produces the new singularity point $\xi=0$, and the asymptotic analysis of it needs to be carried out.
(II) We make two assumptions (Case 1 and Case 2) about the discrete spectrum. To facilitate subsequent analysis, during a series of deformations of the RH problem, a BP factor is introduced to transform the original RH problem into a regular RH problem without residue conditions.
(III) Due to the influence of non-local symmetries $x\to-x$ and $t\to t$, comparing to the solution with rapidly decaying initial data, the results of the long-time asymptotic behaviors for the solution with step-like initial data are more abundant when the value ranges of $x$ are different.
(IV) For the space-time region $\mu^2:=(x/t)^2<1/(27\gamma)$, there exist three real saddle points. The asymptotics here have a more complicated error term, which is different from the classical NLS equation. The parabolic cylinder functions are used to solve the leading term. The solution is also compatible with the step-like boundary conditions.
(V) For the space-time region $\mu^2:=(x/t)^2>1/(27\gamma)$, there are one real and two conjugate complex saddle points. In this situation, the processing method at the real phase point is same as before. At the complex phase points, we deform the jump contour on the real axis to other contours away from the real axis. Finally, based on the analysis of the two parts, an asymptotic solution is constructed.
1.1. Main results
The different space-time regions of the whole plane are decomposed to several parts (see Fig. 1). To find the long-time asymptotic behavior of the solution, we make specific analyses for these space-time regions.
In the asymptotic regions $\mathcal{M}_1$ $(\mathcal{M}_2)$ and $\mathcal{N}_1$ $(\mathcal{N}_2)$, which correspond to the case $0<\mu<\sqrt{1/(27\gamma)}$ $(-\sqrt{1/(27\gamma)}<\mu<0)$, the LPD equation has three saddle points. That is to say, in the four regions $\{\mathcal{M}_1, \mathcal{M}_2, \mathcal{N}_1, \mathcal{N}_2\}$, we can construct the same asymptotic solution except the following differences. For the asymptotic formula of solutions, the difference is that the variables $x$ and $t$ have the same signs in the regions $\{\mathcal{M}_1, \mathcal{N}_1\}$ and the opposite signs in the regions $\{\mathcal{M}_2, \mathcal{N}_2\}$. Besides, the signs of the three saddle points are opposite to those in the two parts regions. The main results of this case are as follows.
Theorem 1.1. Let the initial data $q_0(x)\in L^1(\mathbb{R}^-)$ and $q_0(x)-A\in L^1(\mathbb{R}^+)$, which is a compact perturbation of the pure step initial data (2.31): $q_0(x)-q_{0A}(x)\,{=}\,0$ for $|x|>\varepsilon$ with some $\varepsilon>0$ in the Cauchy problem (1.3)–(1.5). Moreover, let the scattering data $a_1(\xi)$, $a_2(\xi)$, and $b(\xi)$ determined in (2.19) satisfy the following assumptions:
(I) $a_1(\xi)$ has a single simple zero point in $\overline{\mathbb{C}^+}$ at $\xi=i\xi_1$ and $a_2(\xi)$ either has no zero points or has a single simple zero point in $\overline{\mathbb{C}^-}$ at $\xi=0$;
(II) $\operatorname{Im} v(\lambda_j)\in(-1/2,1/2)$ for $j=1,2,3$, where $\operatorname{Im} v(\lambda_j)=\frac{1}{2\pi}\int_{-\infty}^{\lambda_j} d \arg(1+r_1(s)r_2(s))$, $r_1(\xi)=\overline{b(-\overline{\xi})}/a_1(\xi)$ and $r_2(\xi)= b(\xi)/a_2(\xi)$.
Let $q(x,t)$ be a sufficiently smooth solution of the Cauchy problem (1.3)–(1.5). Then the long-time asymptotics of $q(x,t)$ along any line $\mu^2:=(x/t)^2<1/(27\gamma)$ can be obtained as follows:
(ii) for $x>0$: based on the values of $\operatorname{Im} v(\lambda_j)$, $j=1,2,3$, and assuming that they are in the same interval for all $j=1,2,3$, the three possible types of asymptotics are as follows:
where $v(\lambda_j)$, $j=1,2,3$, are as in (3.6). Moreover, $\chi_j(\xi)$ are given by (3.5); $\phi_j(\mu,\tau(\xi))$ are shown in (3.44), (3.47) and (3.50); $\Gamma(\,{\cdot}\,)$ is the Euler gamma function. The error estimates related by $R_3(\mu,t)=R_1(\mu,t)+R_2(\mu,t)$ and $R_l(\mu,t)$, $l=1,2$, are defined as follows:
Remark 1.2. For case $x>0$, we only consider all $\operatorname{Im} v(\lambda_j)$ for $j=1,2,3$ that are located in the same interval, otherwise, for instance, $\operatorname{Im} v(\lambda_j)\in I_1(I_3)$, then the solution $q(x,t)$ contains the terms owning $N_j(L_j)$. If $\operatorname{Im} v(\lambda_j)\in I_2$, the solution $q(x,t)$ contains the terms owning $N_j$ and the terms owning $L_j$.
Remark 1.3. It can be seen that $A\delta^2(\mu,0)\to A$ as $\lambda_j\to\infty$ for $j=1,2,3$, thus the asymptotic solutions in (1.9)–(1.11) with the boundary condition (1.5b) still hold.
Remark 1.4. For the case of pure-step initial data in (2.31), the two assumptions (I) and (II) of Theorem 1.1 can be all satisfied. Furthermore, in this case, we have $1+r_1(\xi)r_2(\xi)=4\xi^2/(4\xi^2+A^2)$, which means that $\operatorname{Im} v(\,{\cdot}\,)=0$.
Remark 1.5. We can ensure the existence of a solution $q(x,t)$, since we require that the initial function $q_0(x)$ should be sufficiently smooth and satisfy $q_0(x) \to 0$ as $x\to-\infty$ and $q_0(x)\to A$ as $x\to+\infty$. In fact, we can lower the smoothness requirement in the initial data $q_0(x)$ ensuring only that it should belong to a weighted Sobolev space with certain exponent. Moreover, the reconstruction formula can establish a connection between the RH problem and the solution. Through demonstrating the existence and uniqueness of the solution to RH problem, we can prove the existence of the solution to the LPD equation. A rigorous proof depends on studying the well-posed problem for the equation, and there are currently some relevant works [47] and [48].
In the asymptotic regions $\mathcal{M}_4$ $(\mathcal{M}_3)$ and $\mathcal{N}_4$ $(\mathcal{N}_3)$, which correspond to the case $\sqrt{1/(27\gamma)}<\mu$ $(\mu<-\sqrt{1/(27\gamma)})$, the LPD equation has one real saddle point and a pair of conjugate complex saddle points. Thus, in the regions $\{\mathcal{M}_3, \mathcal{M}_4, \mathcal{N}_3, \mathcal{N}_4\}$, we can construct the same asymptotic solution except the following differences. For the asymptotic formula of solutions, the difference is that the variables $x$ and $t$ have the same signs in the regions $\{\mathcal{M}_4, \mathcal{N}_4\}$ and the opposite signs in the regions $\{\mathcal{M}_3, \mathcal{N}_3\}$. Besides, the signs of the saddle point $\lambda_3$ and the real part of the saddle points $\lambda_1$ and $\lambda_2$ are opposite for the two parts regions. The main results of this case are as follows.
Theorem 1.6. Under the conditions of Theorem 1.1, the long-time asymptotics of $q(x,t)$ along any line $\mu^2:=(x/t)^2>1/(27\gamma)$ can be described as follows:
where $\lambda_3$ takes the form in (3.2). $v(\lambda_3)$, $\pi$ and $\phi(\mu,\varsigma)$ are as in (4.5), (4.3) and (4.32); $\Gamma(\,{\cdot}\,)$ is the Euler gamma function, $d_0=A\varpi^2(0,\lambda_3)/(2i)$ is defined by the residue condition (4.18), and $\zeta_{c}$ is given by (4.56).
1.2. Plan of the proof
We give the proofs of Theorem 1.1 and Theorem 1.6 through the non-linear steepest descent method and the RH problem to the long-time asymptotic behavior of the non-local LPD equation.
In § 2, we perform the spectral analysis and construct the RH problem of non-local LPD equation. In addition, we also find an expression of the scattering matrix $S(\xi)$ with pure-step initial data. In this case, we classify the zero points of the scattering data $a(\mu)$ and $b(\mu)$ as Case 1 and Case 2. With the reflectionless condition, the soliton solution in Case 2 is obtained.
In § 3, through the non-linear steepest descent method, we construct the long-time asymptotics of $q(x,t)$ in regions $\{\mathcal{M}_1, \mathcal{M}_2, \mathcal{N}_1, \mathcal{N}_2\}$ by the following steps. In § 3.1, we decompose the jump matrix $J(x,t,\xi)$ into the upper and lower triangle matrices and introduce the $\delta$ function to get rid of the intermediate matrix. In § 3.2, we perform the second RH deformation to make the jump matrices decline to the identity matrix $I$ for large $t$. In § 3.3, we introduce the BP factor to regularize the RH problem. In § 3.4, we give the local models near saddle points and solve them by the parabolic cylinder functions. In § 3.5, by the Beals–Coifman theory, we conduct the error analysis on the regular RH problem. Finally, the asymptotic solutions of non-local LPD equation are attained. These results are shown in Theorem 1.1.
In § 4, we use the technique similar to that of § 3 to obtain the asymptotic solutions in the regions $\{\mathcal{M}_3, \mathcal{M}_4, \mathcal{N}_3, \mathcal{N}_4\}$. In § 4.1, we perform a series of deformations on the RH problem. Here, due to the existence of a pair of conjugate complex saddle points, the symbol table in Fig. 9 indicates that the decomposition forms of jump matrix $\widetilde J_N$ must be treated differently in the left and right half- planes of the complex $\xi$-plane. In § 4.2, the asymptotic solutions of the non-local LPD equation are obtained. The results are shown in Theorem 1.6.
§ 2. Spectral analysis and the RH problem
Our aim here is to conduct a spectral analysis of eigenfunctions and scattering data including their analytic, symmetric and asymptotic properties.
After using the Ablowitz–Kaup–Newell–Segur scheme [7], the Lax pair of local LPD equation (1.2) has been derived in [8]. The non-local version of LPD equation is further derived in a local situation, and so the Lax pair of (1.3) constructed in [40] takes the form
$$
\begin{equation}
\begin{alignedat}{2} \phi_x&=M\phi, &\qquad M &=-i\xi\sigma_3+Q, \\ \phi_t&=N\phi, &\qquad N &=i\xi^2\sigma_3-\xi Q+\frac{1}{2}V+\gamma V_P, \end{alignedat}
\end{equation}
\tag{2.1}
$$
where $\phi(x,t,\xi)$ is a $2\times2$ matrix-valued function, the potential function $q(x,t)$ is a complex function and $\xi\in\mathbb{C}$ is a spectral parameter. We can confirm that the matrices $M$ and $N$ of the Lax pair satisfy the zero curve equation $M_t-N_x+[M,N]=0$, which can further leads to the non-local LPD equation (1.3).
Considering the asymptotic spectral problem of the Lax pair (2.1) as $x\to\pm\infty$, we have
Substituting this into the asymptotic Lax pair (2.2), we derive a system of differential equations. Solving this system directly allows us to determine the asymptotic conditions for the characteristic functions in the Lax pair (2.1). For the convenience to obtain the integral equations along the paths $(-\infty,x)$ and $(x,+\infty)$, we use the notation $\phi_{\pm}$ to define the characteristic functions for each path, which behave asymptotically as
this definition is consistently used throughout the entire text. Due to the existence of exponential oscillation terms $e^{\pm i\theta(\xi)}$ with respect to the variable $\xi$ in the asymptotic relationship (2.6), in order to satisfy the normalization condition for constructing the RH problem, it is necessary to eliminate this exponential function. Consider the new characteristic functions
where $G_{\pm}(x,y,\xi) =L_{\pm}(\xi)e^{-i\xi(x-y)\sigma_3}L_{\pm}^{-1}(\xi)$. Analytic properties of the kernels $G_{\pm}\Delta Q_{\pm}e^{i\xi(x-y)\sigma_3}$ can be obtained via [46]. Since $\phi_{\pm}(x,t,\xi)$ are solutions of the Lax pair (2.1), there exists a matrix $S(\xi)$ independent of $x$ and such that $t$ satisfies
Proof. For (i), using the Lax pair (2.10) and since $\sigma_1\overline{Q(-x,t)}\sigma_1{=}\,-Q(x,t)$, we can easily verify that the matrices $\psi_{\pm}(x,t,\xi)$ satisfy the symmetry relation
Based on (2.18), we have the symmetry relations $s_{11}(\xi)=\overline{s_{11}(-\overline{\xi})}$, $s_{22}(\xi)=\overline{s_{22}(-\overline{\xi})}$, and $s_{21}(\xi)=-\overline{s_{12}(-\overline{\xi})}$. Now the matrix $S(\xi)$ can be written as
Proposition 2.2. Let $q_0(x)\in L^1(\mathbb{R}^-)$, $q_0(x)-A\in L^1(\mathbb{R}^+)$, and let the matrices $\psi_{\pm}(x,t,\xi)$ and the scattering data of $S(\xi)$ satisfy the following analytic relations:
(i) $\psi_-^{(1)}$ and $\psi_+^{(2)}$ are analytic with respect to $\xi\in\mathbb{C}^+$ and continuous in $\overline{\mathbb{C}^+}\setminus \{0\}$; $\psi_-^{(2)}$ and $\psi_+^{(1)}$ are analytic with respect to $\xi\in\mathbb{C}^-$ and continuous in $\overline{\mathbb{C}^-}$;
(ii) $a_1(\xi)$ is analytic with respect to $\xi\in\mathbb{C}^+$ and continuous in $\overline{\mathbb{C}^+}\setminus \{0\}$; $a_2(\xi)$ is analytic with respect to $\xi\in\mathbb{C}^-$ and continuous in $\overline{\mathbb{C}^-}$; $b(\xi)$ is continuous in $\xi\in\mathbb{R}$;
where $\mathbb{C}^+=\{\xi\in\mathbb{C}\mid \operatorname{Im}\xi>0\}$ and $\mathbb{C}^-=\{\xi\in\mathbb{C}\mid \operatorname{Im}\xi<0\}$ stand for the upper and the lower half planes of the complex plane, respectively; $\psi_{\pm}^{(k)}$ is the $k$th column of $\psi_{\pm}$.
Proof. For (i), taking $\psi_-^{(1)}$ as an example to prove, the cases $\psi_+^{(2)}$, $\psi_-^{(2)}$, and $\psi_+^{(1)}$ are similar. We define $(A)^{(1)}$ as the first column of the matrix $A$, where $A$ represents the matrix obtained by multiplying several matrices, $\psi^{(ij)}_-$ represents the elements of the $i$th row and $j$th column of matrix $\psi_-$. Now the first column of the Volterra integral equation (2.11) is given by
since the limit of integration implies that $x-y$ is always positive, and so $\psi^{(1)}_-$ is analytic with respect to $\xi\in\mathbb{C}^+$. The functional class required for the solution $q(x,t)$ in the condition is to ensure the existence and uniqueness of Jost solutions defined by Volterra integral equations. For a proof, see [46].
For (ii), according to the Lax pair (2.1) and the Abel formula, we have $\operatorname{Tr}(M)=\operatorname{Tr}(N)=0$, and now $(\det\psi_{\pm})_x=(\det\psi_{\pm})_t=0$ can be easily verified. Therefore, $\det(\psi_{\pm})$ have nothing to do with the variables $x$ and $t$, which means that $\det(\phi_{\pm})=\det(\psi_{\pm})=1$. From (2.12), we also have $\det S(\xi)=1$.
Due to (2.13), the wronskian representations of the scattering coefficients $a_1(\xi)$, $a_2(\xi)$, and $b(\xi)$ are given by
according to the analytic relations of $\psi_{\pm}(x,t,\xi)$, we get item (ii). $\Box$
Proposition 2.3. Under the conditions in Proposition 2.2, the matrices $\psi_{\pm}(x,t,\xi)$ and the scattering data of $S(\xi)$ satisfy the following asymptotic properties:
Proof. For (i), because the determinant of $\psi_{\pm}$ is 1, we can get the columns of $\psi_{\pm}$ represented as (2.21). Now by substituting (2.21) into (2.20) we have (2.22).
Now the asymptotic properties of (2.23) follow from (2.29) and (2.27). Hence, we can only employ the functions $f_1(x,t)$ and $f_2(x,t)$ to characterize the matrices $\psi_{\pm}(x,t,\xi)$. It is analogous to $(i)$, where we substitute (2.23) into (2.20) to obtain
It is observed that, in this case, $a_1(\xi)$ has a single simple zero $\xi=(A/2)i$ in the upper half-plane, while $a_2(\xi)$ has no zeros in the lower half-plane.
Using the scattering relation (2.13) and Proposition 2.2, we define the piece-wise meromorphic matrices
where $1+r_1(\xi)r_2(\xi)=1/(a_1(\xi)a_2(\xi))$ for $\xi\in\mathbb{R}\setminus\{0\}$. From the symmetry relations of $a_j(\xi)$, $j=1,2$, and $b(\xi)$, we conclude that $\overline{r_1(-\overline{\xi})}=r_1(\xi)$ and $\overline{r_2(-\overline{\xi})}=r_2(\xi)$.
Referring back to (2.24), as $\xi\to0$, the distinct behaviors in the two cases $a_2(0)\,{=}\,0$ and $a_2(0)\neq 0$ result in qualitative differences for $M(x,t,\xi)$. The case $a_2(0)\neq 0$ contains pure-step initial data in Remark 2.4, where $a_1(\xi)$ has a single simple zero located on the imaginary axis in $\mathbb{C}^+$, while $a_2(\xi)$ has no zero in $\mathbb{C}^-$. Since small (in the $L^1$ norm) perturbations of the pure-step initial data preserve these properties, we will concentrate on the following two cases.
Case 1: $a_1(\xi)$ has a simple and pure imaginary zero in $\overline{\mathbb{C}^+}\setminus \{0\}$ at $\xi=i\xi_1$ with $\xi_1>0$ and $a_2(\xi)$ has no zero in $\overline{\mathbb{C}^-}$.
Case 2: $a_1(\xi)$ has a simple and pure imaginary zero in $\overline{\mathbb{C}^+}\setminus \{0\}$ at $\xi=i\xi_1$ with $\xi_1>0$ and $a_2(\xi)$ has a zero in $\overline{\mathbb{C}^-}$ at $\xi=0$. Thus we assume that $\dot{a}_2(0)\neq 0$ and $a_{11}:=\lim_{\xi \to 0}\xi a_1(\xi)\neq 0$.
Proposition 2.5. The zero of $a_1(\xi)$ is equal to $i\xi_1$, where:
The function $1-b(\vartheta)\overline{b(-\vartheta)}$ assumes complex values, and so, to avoid the difficulties caused by this multivalued function, we define
In this case, $T(\vartheta)(1-b(\vartheta)\overline{b(-\vartheta)})$ is single-valued.
Proof. For (i), to construst a scalar RH problem that is analytic and has no zeros in $\overline{\mathbb{C}^+}$ and $\overline{\mathbb{C}^-}$, we perform the following transformations on $a_1(\xi)$ and $a_2(\xi)$:
Given that $\widehat{a}_1(\xi)$ and $\widehat{a}_2(\xi)$ have no zeros in $\overline{\mathbb{C}^+}$ and $\overline{\mathbb{C}^-}$, and this RH problem is regular, we can use the Sokhotski–Plemelj formula to find a unique solution, that is to say,
where $\overline{n_1}(0,0)m_1(0,0)-\overline{n_2}(0,0)m_2(0,0)=0$. The functions $f$, $m$, and $n$ satisfy $|f_2(0,0)|^2-|f_1(0,0)|^2=0$, $|m_2(0,0)|^2-|m_1(0,0)|^2=0$ and $|n_2(0,0)|^2-|n_1(0,0)|^2= 0$. We also have
Considering the singularity conditions of $a_1(\xi)$ and $\psi_j(x,t,\xi)$ for $j=1,2$ at $\xi=0$, we find the asymptotic behavior of $M(x,t,\xi)$ at $\xi=0$ for both cases. We write $\xi\in\mathbb{C}_{\pm}$ to indicate that the allowed path for $\xi$ lies in the upper or lower half of the complex plane. Now we have the asymptotic estimates of $M_\pm$ as $\xi\to 0$.
RH problem 2.6. Find a piecewise meromorphic matrix $M(x,t,\xi)$ such that.
(i) Jump conditions: The non-tangential limits $M_{\pm}(x,t,\xi)=M(x,t,\xi\pm i0)$ exist a.e. for $\xi\in\mathbb{R}$ such that $M(x,t,{\cdot}\,)-I\in L^2(\mathbb{R}\setminus [-\varepsilon,\varepsilon])$ for any $\varepsilon>0$ and $M_{\pm}(x,t,\xi)$ satisfy the condition
where the jump matrix $J(x,t,\xi)$ is given by (2.35) and the jump contour is shown in Fig. 2, with $a_j(\xi)$, $j=1,2$, $b(\xi)$ are given in Case 1 or Case 2.
Assume that the RH problem (i)–(iv) has a solution $M(x,t,\xi)$. Then the solution of the initial value problem can be expressed in terms of $M_{12}$ and $M_{21}$ as follows:
Since $b(\xi)=0$, we see that $M(x,t,\xi)$ is a meromorphic function with the only pole at $\xi=i\xi_1$. Now comparing (2.62a) and (2.62b), we conclude that $f_1(x,t)=-\overline{f_2}(-x,t)$. Therefore, the singularity conditions (2.62) convert into the residue condition
Finally, by (2.67), we get the one-soliton solution (2.69). $\Box$
§ 3. Long-time asymptotics for $\mu^2:=(x/t)^2<1/(27\gamma)$
In this section, we consider the long-time asymptotic behavior of the solution $q(x,t)$ to the non-local LPD equation. The original RH problem 2.6 can be transformed to an explicit problem via the non-linear steepest descent method. To solve the problem of oscillations in exponential functions $e^{\pm i\theta}$ at the large time, we need to identify the exponential decay regions. First, it is necessary to investigate the steady-state phase points of the phase function and give the signature table of $\operatorname{Re}(i\theta(\xi))$.
In view of equations (2.67) and (2.68), it suffices to focus on studying the RH problem for $x>0$. Let $\mu=x/t$, then the phase function can be expressed by
The exponential function takes the form $e^{2it\theta(\xi)}=e^{2t\varphi(\xi)}$. There we have the signature table of $\operatorname{Re}(i\theta(\xi))$ and the distribution of phase points shown in Fig. 3, from which we can determine the decaying regions of the oscillating factor $e^{\pm 2it\theta(\xi)}$. By calculation, it can be concluded that we have the following possibilities for the roots of $\varphi'(\xi)$:
(i) when $\mu^2>1/(27\gamma)$, there exists one real stationary point;
(ii) when $\mu^2=1/(27\gamma)$, there exist three real stationary points, of which two are equal;
(iii) when $\mu^2<1/(27\gamma)$, there exist three different real stationary points.
Let us consider the case $\mu^2<1/(27\gamma)$ with three different real roots
where $w=(-1+\sqrt{3}\, i)/2$. When $\mu\in D_1=(\epsilon,\sqrt{1/(27\gamma)}-\epsilon)$ for any positive constant $\epsilon$, we have $\lambda_1>0$, $\lambda_2>0$ and $\lambda_3<0$.
The signature table for the distribution of $\operatorname{Re}\varphi(\xi)$ in the complex $\xi$-plane is shown in Fig. 2, which corresponds to Fig. 3, (a).
Remark 3.1. For the case $\mu\in D_2=(-\sqrt{1/(27\gamma)}+\epsilon,-\epsilon)$ with arbitrary positive constant $\epsilon$, which corresponds to Fig. 3, (b), a similar discussion can be conduced. The differences are manifested as follows. First, the positive or negative signs of these three real roots are exactly opposite, which will lead to the singularity point zero located to the right of $\lambda_1$. This difference will be reflected in the discussion of singularity conditions at zero points. Besides, in the asymptotic formula, the variables $x$ and $t$ have the opposite signs for the case $\mu\in D_2$ and the same signs for the case $\mu\in D_1$.
3.1. Factorization of the jump matrix
First, there are two types of triangular factorizations of the jump matrix $J(x,t,\xi)$:
To get rid of the intermediate matrix of the second factorization, it is necessary to introduce a function $\delta(\xi,\mu)$ as the solution of the scalar RH problem:
(i) $\delta(\xi,\mu)$ is holomorphic for $\xi\in\mathbb{C}\setminus ((-\infty,\lambda_3]\cup[\lambda_2,\lambda_1])$;
(ii) $\delta_+(\xi,\mu)=\delta_-(\xi,\mu)(1+r_1(\xi)r_2(\xi))$, $\xi\in(-\infty,\lambda_3)\cup(\lambda_2,\lambda_1)$;
(iii) $\delta(\xi,\mu)\to 1$, $\xi\to\infty$.
Using the Plemelj formula, the solution can be formulated as a Cauchy-type integral
Assuming that $\Delta(\xi)\in(-\pi,\pi)$ for $\xi\in\mathbb{R}$, we have $|{\operatorname{Im} v(\xi)}|<1/2$. Under this assumption, $\ln(1+r_1(\xi)r_2(\xi))$ is single-valued and the singularities $\xi=\lambda_l$, $l=1,2,3$, of $\delta(\xi,\mu)$ are square integrable.
Theorem 3.2. Let a $2\times2$ matrix function $\widetilde{M}(x,t,\xi)$ satisfy
where $M(x,t,\xi)$ is defined in (2.33) and $\delta(\xi,\mu)$ is constructed in (3.3). This gets rid of the intermediate matrix of the second factorization in the jump matrix $J(x,t,\xi)$.
Proof. Based on definition (2.34), we decompose the jump matrix $J(x,t,\xi)$ into $J_1(x,t,\xi)$, $J_2(x,t,\xi)$ and $J_3(x,t,\xi)$ for $\xi\in(-\infty,\lambda_3)\cup(\lambda_2,\lambda_1)$. We next transform
for $a=-1$, this relations is equivalent to item (ii) of the scalar RH problem. This completes the proof of (3.7). $\Box$
Now let us formulate the RH problem of the function $\widetilde{M}(x,t,\xi)$.
RH problem 3.3. Find a matrix-valued function $\widetilde{M}(x,t,\xi)$ that id piecewise meromorphic and satisfies the following conditions:
(i) $\widetilde{M}(x,t,\xi)$ is meromorphic for $\xi\in\mathbb{C}\setminus\mathbb{R}$ and has a simple pole located at $\xi=i\xi_1$, $\xi_1>0$;
(ii) the jump conditions: the non-tangential limits $\widetilde{M}(x,t,\xi)=\widetilde{M}(x,t,\xi\pm i0)$ exist a.e. for $\xi\in\mathbb{R}$ such that $\widetilde{M}(x,t,{\cdot}\,)-I\in L^2(\mathbb{R}\setminus [-\varepsilon,\varepsilon])$ for any $\varepsilon>0$ and $\widetilde{M}_{\pm}(x,t,\xi)$ satisfy
It is necessary to carry out the second transformation to transform the contour, which can make the jump matrices decline to the identity matrix $I$ for large $t$. Generally speaking, the new RH transformation $\widetilde{M}(x,t,\xi)$ depends on the reflection coefficients $r_j(\xi)$, $r_j(\xi)/(1+r_1(\xi)r_2(\xi))$, $j=1,2$. Now by the classical Deift–Zhou method, they can be approximated by some rational functions with good error control.
In the following analysis, for clarity, we will assume that the initial data $q_0(x)$ permit a compact perturbation of the pure-step initial data $q_{0A}(x)$ as depicted in (2.31), which makes certain that the eigenfunctions $\psi_{\pm}^{(s)}(x,0,\xi)$, $s=1,2$, and thus $r_j(\xi)$, $j=1,2$, are meromorphic in $\mathbb{C}$. Next, we define the function $\widehat{M}(x,t,\xi)$ as follows (see Fig. 5):
Here, we choose an appropriate angle between the real axis and the rays $\Upsilon_j$, $\Upsilon^*_j$ to ensure that the discrete spectrum $i\xi_1$ is located in the sector $\Omega_0$. We thus arrive at the following RH problem $\widehat{M}(x,t,\xi)$ on the contour $\Upsilon$.
RH problem 3. Find a matrix-valued function $\widehat{M}(x,t,\xi)$ that is piecewise meromorphic and satisfies the following conditions:
(i) $\widehat{M}(x,t,\xi)$ is meromorphic for $\xi\in\mathbb{C}\setminus\Upsilon$ and has a simple pole located at $\xi=i\xi_1$, $\xi_1>0$;
(ii) the jump conditions: the non-tangential limits $\widehat{M}(x,t,\xi)=\widehat{M}(x,t,\xi\pm i0)$ exist a.e. for $\xi\in\mathbb{R}$ such that $\widehat{M}(x,t,{\cdot}\,)-I\in L^2(\mathbb{R}\setminus [-\varepsilon,\varepsilon])$ for any $\varepsilon>0$ and $\widehat{M}_{\pm}(x,t,\xi)$ satisfy
In the discussion of this subsection, we will employ the BP factor to convert the RH problem 3, which includes two residue conditions (3.19) and (3.21) into a regular RH problem devoid of residue conditions.
finding the solution $\widehat{M}(x,t,\xi)$ of RH problem 3 can be reduced that of the solution $\widehat{M}^{\mathrm{reg}}(x,t,\xi)$ of the regular RH problem. Here, the function $B(x,t,\xi)$ takes the form $B(x,t,\xi)=I+(i\xi_1/(\xi-i\xi_1))P(x,t)$; $B(x,t,\xi)$ and $P(x,t)$ are the BP factors. Now we introduce the regular RH problem as follows.
RH problem 3.5. Find a matrix-valued function $\widehat{M}^{\mathrm{reg}}(x,t,\xi)$ that is piecewise meromorphic and satisfies the following conditions:
(i) $\widehat{M}^{\mathrm{reg}}(x,t,\xi)$ is analytic for $\xi\in\mathbb{C}\setminus\Upsilon$;
where $P_{ij}(x,t)$ $(i,j=1,2)$ represent the position of the $i$s row and the $j$s column in the matrix $P(x,t)$. $u(x,t)=(u_1(x,t),u_2(x,t))^\top$ and $v(x,t)=(v_1(x,t),v_2(x,t))^\top$ are given by
Proof. Items (i)–(iii) are easy to check. As for item (iv), by writing the terms of transformation (3.22) in matrix form and recalling the residue conditions (3.19) and (3.21), we can derive (3.28) by a straightforward computation. $\Box$
Remark 3.6. Since $r_1(\xi)=\overline{r_1(-\overline{\xi})}$ and $r_2(\xi)=\overline{r_2(-\overline{\xi})}$, we have
Subsequently, by leveraging symmetry $\delta(\xi,\mu)=\overline{\delta(-\overline{\xi},\mu)}$ and (3.23), we conclude that the regular RH problem exhibits the symmetry
Next, a relation between $q(x,t)$ and $\widehat{M}^{\mathrm{reg}}(x,t,\xi)$ can be established in the following proposition. From the rough approximation $\widehat{M}^{\mathrm{reg}}(x,t,\xi)\approx I$ as $t\to\infty$, we derive the approximate error estimate for the large $t$ asymptotics of $q(x,t)$.
Proposition 3.7. The solution $q(x,t)$ of the Cauchy problem (1.3) and (1.5) can be written as
along any ray $\mu=x/t=\mathrm{const}\in(\epsilon,\sqrt{1/(27\gamma)}+\epsilon)$ or $\mu\in(-\sqrt{1/(27\gamma)}+\epsilon,\epsilon)$.
Proof. Using transformation (3.22) and since $B(x,t,\xi)=I+(i\xi_1/(\xi-i\xi_1))P(x,t)$, we get the asymptotic expansion of $\widehat{M}(x,t,\xi)$ as $\xi\to\infty$:
where $\widehat{M}^{\mathrm{reg}}(x,t,\xi)=I+\widehat{M}^{\mathrm{reg}}_1(x,t)/\xi+O(\xi^{-2})$ as $\xi\to\infty$. Now by combining (2.67), (2.68) and using transformations (3.7) and (3.15), we arrive at equation (3.32).
The rough approximation $\widehat{M}^{\mathrm{reg}}(x,t,\xi)\approx I$ as $t\to\infty$ indicates that, for $x>0$,
It is evident that we can show that the jump matrix $\widehat{J}^{\mathrm{reg}}(x,t,\xi)$ approaches the identity matrix as $t\to\infty$, but the neighborhood of the saddle points $\lambda_1$, $\lambda_2$, and $\lambda_3$ require an additional analysis. The objective of this subsection is to achieve a precise approximation of the function $\widehat{M}^{\mathrm{reg}}(x,t,\xi)$ near these saddle points by parabolic cylinder functions, thereby obtaining the long-time asymptotics of $\widehat{M}^{\mathrm{reg}}(x,t,\xi)$.
In the following discussion, we take $r_j(\xi)\neq0$, $j=1,2$. If as least one of $r_j(\xi)$, $j=1,2$, is zero, then $v(\lambda_j)=0$. It is enough to estimate the long-time asymptotic solution of $\widehat{J}^{\mathrm{reg}}(x,t,\xi)$ at $\xi=0$, $\xi=i\xi_1$, and $\xi=\infty$ using (3.32). Furthermore, we observe that this RH problem is analogous to the case with zero boundary conditions, thus we will adopt the approach of [44] for a subsequent analysis.
The scaling transformations are defined as follows:
where $v(\lambda_j)$ and $\chi_j(\xi)$, $j=1,2,3$, are as in (3.5) and (3.6). We define $D_{\varepsilon}(\lambda_j)$ to express the open disk centered at $\lambda_j$ of radius $\varepsilon$. We also consider the contours
for $j=1,2,3$, and define $\Upsilon=\Upsilon_1\cup\Upsilon_2\cup\Upsilon^*_1\cup\Upsilon^*_2$.
At the next step, we introduce the $2\times2$ matrices $\widehat{M}^{\mathrm{reg}}_{\lambda_j}(x,t,\xi)$ and $\Lambda_j(\mu,t)$ for $j=1,2,3$. The matrix exponential function is defined by $N^{\sigma_3}=\left(\begin{smallmatrix} N & 0 \\ 0 & N^{-1} \end{smallmatrix}\right)$ for any function $N$:
These RH problems can be explicitly solved by employing the parabolic cylinder functions. The method for solving this problem is well-established; see [23] for a detailed procedure. The jump contours $\Upsilon_{\lambda_s}$, $s=1,3$, and $\Upsilon_{\lambda_2}$ of $\widehat{M}^{\mathrm{reg}}_{\lambda_j}(x,t,\xi)$, $j=1,2,3$, are defined in Figs. 6 and 7:
The function $\widehat{m}^{\mathrm{pc}}_{\lambda_j}(\lambda_j,\tau(\xi))$, $j=1,2,3$, which can be directly solved using parabolic cylindrical function, is defined by
We assume that $G^0_{\lambda_s}=G^{0*}_{\lambda_s}=e^{-\frac{i}{4}\tau^2\sigma_3}\tau^{iv(\lambda_s)\sigma_3}$, $s=1,3$, and $G^0_{\lambda_2}=G^{0*}_{\lambda_2}=e^{\frac{i}{4}\tau^2\sigma_3}\tau^{-iv(\lambda_2)\sigma_3}$,
The purpose of this subsection is to find am explicit long-time asymptotic formula for the non-local LPD equation. After acquiring the local parametrix $\widehat{M}^{\mathrm{reg}}_{\lambda_j}(x,t,\xi)$, $j=1,2,3$, we introduce
here $\varepsilon$ is small enough so that $|\lambda_j|>\varepsilon$ and $|i\xi_1-\lambda_j|>\varepsilon$. Consider the jump contour $\breve{\Upsilon}=\Upsilon\cup\partial D_{\varepsilon}(\lambda_1)\cup\partial D_{\varepsilon}(\lambda_2)\cup\partial D_{\varepsilon}(\lambda_3)$ of $\breve{M}(x,t,\xi)$ (see Fig. 8). We also set $\Upsilon_{\varepsilon}=\Upsilon\cap D_{\varepsilon}(\lambda_j)$, $j=1,2,3$, as the jump contours of $\widehat{M}^{\mathrm{reg}}_{\lambda_j}(x,t,\xi)$. The function $\breve{M}^{\mathrm{reg}}(x,t,\xi)$ satisfies the following RH problem.
RH problem 3.8. Find a matrix-valued function $\breve{M}^{\mathrm{reg}}(x,t,\xi)$ that is piecewise meromorphic and satisfies the following conditions:
(i) $\breve{M}^{\mathrm{reg}}(x,t,\xi)$ is analytic for $\xi\in\mathbb{C}\setminus\breve{\Upsilon}$;
The next step is to obtain the large $t$ estimate of $\breve{M}^{\mathrm{reg}}(x,t,\xi)$. We now set $w(x,t,\xi)=\breve{J}(x,t,\xi)-I$. From the symmetry relations $\widehat{J}^{\mathrm{reg}}(x,t,\xi)=\overline{\widehat{J}^{\mathrm{reg}}(x,t,-\overline{\xi})}$ and $\widehat{M}^{\mathrm{reg}}(x,t,\xi)=\overline{\widehat{M}^{\mathrm{reg}}(x,t,-\overline{\xi})}$, we have
We now consider equations (3.43), (3.46), and (3.49). We assume that the $2\times 1$ column vectors $\Lambda^{(i)}_j(\mu,t)$, $j=1,2,3$, represent the $i$th column of the $2\times2$ matrix-valued functions $\Lambda_j(\mu,t)$. We have the following estimates for each column:
The vectors $\Lambda^{(i)}_j(\mu,t)$ in the $i$th column ($i=1,2$) are evaluated in the $i$th column on the right-hand side of the above equations. We will use this notation to define the estimates for the first and second column vectors of a matrix below. The condition $|{\operatorname{Im} v(\xi)}|< 1/2$ needs to be satisfied, and $\lambda_j$ are as in (3.2). For $\xi\in\partial D_{\varepsilon}(\lambda_1)$, we have
where $\widehat{R}^{1(i)}_1(\lambda_1,t)$, $i=1,2$, is the $i$th column vector of the matrix function $\widehat{R}^1_1(\lambda_1,t)$. Using the same method, it can be shown that, for $\xi\in\partial D_{\varepsilon}(\lambda_2)$,
where $\widehat{R}^{2(i)}_1(\lambda_2,t)$, $i=1,2$, is the $i$th column vector of the matrix function $\widehat{R}^2_1(\lambda_2,t)$. For $\xi\in\partial D_{\varepsilon}(\lambda_3)$, we have
where $\widehat{R}^{3(i)}_1(\lambda_3,t)$, $i=1,2$, is the $i$th column vector of the matrix function $\widehat{R}^3_1(\lambda_3,t)$. Furthermore, we have the following estimates for $w(x,t,\xi)$ as $t\to\infty$:
where $\xi\in\breve{\Upsilon}$ and $w^{(l)}$ is the $l$th column of $w$.
Consider the Cauchy operator $C_w\colon L^2(\breve{\Upsilon})+L^{\infty}(\breve{\Upsilon})\to L^2(\breve{\Upsilon})$, where $C_w(f)=C_-(fw)$ and $C_-$ acts from $L^2(\breve{\Upsilon})$ to $L^2(\breve{\Upsilon})$. Since $(C_- f)(\xi)$, $\xi\in \breve{\Upsilon}$, is the negative (according to the orientation of $\breve{\Upsilon}$) non-tangential boundary value of
where $T$ is a constant. It can be shown that $\| C_w \|$ degenerates to zero as $t\to \infty$, which means that $I-C_w$ is reversible for the large $t$. We now introduce $\breve{v}(x,t,\xi)-I\in L^2(\breve{\Upsilon})$. The function $\breve{v}(x,t,\xi)$ is the solution of the Fredholm-type equation
According to the Beals–Coifman theory [49], the RH problem $\breve{M}^{\mathrm{reg}}(x,t,\xi)$ is solvable if and only if so is the singular integral equation (3.79). From the uniqueness of the solution to the RH problem, it can be inferred that the solution to RH problem 3.8 is independent of the decomposition of the jump matrix $\breve{J}(x; t; \xi)$. After considering the trivial decomposition of $\breve{J}(x; t; \xi)$, the solution to the RH problem 3.8 can be further expressed as
where $\widetilde{\Xi}_j(\mu,t)=-\Xi_j(\mu,t)/\sqrt{t}$. In addition, $\Xi_j(\mu,t)$, $j=1,2,3$, are given by (3.69), (3.72), and (3.75), $\widehat{R}^j_1(\lambda_j,t)$, $j=1,2,3$, are given by (3.70), (3.73), and (3.76). We also have
In equations (3.85)–(3.87), the vectors $\widehat{R}^j_2(\lambda_j,t)$, $j=1,2,3$, for the $i$th $(i=1,2)$ column on the left-hand side are evaluated in the $i$th (i=1,2) column vector of the matrix function after the second equality sign on the right-hand side.
Setting $R(\mu,t)=\sum_{j=1}^3\widehat{R}_j(\mu,t)$ with $\widehat{R}_1(\mu,t)=\sum_{q=1}^3\widehat{R}^q_1(\lambda_q,t)$, $\widehat{R}_2(\mu,t)=\sum_{p=1}^3\widehat{R}^p_2(\lambda_p,t)$, and $\widehat{R}_3(\mu,t)=\widehat{R}_1(\mu,t)+\widehat{R}_2(\mu,t)$, we have
where $\widehat{R}^{(i)}_3(\mu,t)$ is the $i$th column vector of the matrix function $\widehat{R}_3(\mu,t)$. Let $R(\mu,t)=\left( \begin{smallmatrix} R_1(\mu,t) & R_2(\mu,t) \\ R_1(\mu,t) & R_2(\mu,t) \end{smallmatrix} \right)$, where $R_1(\mu,t)$ and $R_2(\mu,t)$ are estimated in (1.14) and (1.15).
Next, we estimate the elements $P_{12}(x,t)$ and $P_{21}(x,t)$ of the matrix-valued factor $P(x,t)$ defined in (3.28). By the definitions of $u(x,t)$ and $v(x,t)$ in (3.29), we have
where $r^{\mathrm{reg}}_l(\lambda_j)$ is substituted for $r_l(\lambda_j)$, $l=1,2$, $j=1,2,3$, in $\widetilde{\Xi}_j$. Hence $\Xi^{\mathrm{reg}}_j$. Consequently, we find that the terms with explicit expressions involving $\xi_1$ have decayed in the main asymptotic terms. Now by substituting (3.95)–(3.97) and (3.90) into (3.32), we find the long-time asymptotic behavior of the solutions of the LPD equation for $x>0$ and $x<0$. The main results are collected in Theorem 1.1 above.
§ 4. Long-time asymptotics for $\mu^2:=(x/t)^2>1/(27\gamma)$
In this section, we find the long-time asymptotics of the solution in the case $\mu^2>1/(27\gamma)$. Three different roots are shown in (3.2), where $\lambda_1$, $\lambda_2$ is a pair of conjugate complex numbers, and $\lambda_3$ is a real number. We next analyze the asymptotic behavior of the solution under the condition $\mu\in D_3=(\sqrt{1/(27\gamma)}+\epsilon,+\infty)$, which corresponds to the case (e) in Fig. 3. The signature table illustrating the distribution of $\operatorname{Re}\varphi(\xi)$ in the complex $\xi$-plane is shown in Fig. 9.
Remark 4.1. For $\mu\in D_3=(\sqrt{1/(27\gamma)}+\epsilon,+\infty)$, the distribution of the phase points corresponds to case (f) in Fig. 3. The asymptotic behavior of the solution obtained in this case is same as in case (e) in Fig. 3, except that $\lambda_3$ is now a positive real number, and the real parts of $\lambda_1$ and $\lambda_2$ are negative.
4.1. The deformations of RH problem
Let $\varpi(\xi,\lambda_3)$ be the solution to the following scalar RH problem:
(i) $\varpi(\xi,\lambda_3)$ is holomorphic for $\xi\in\mathbb{C}\setminus (-\infty,\lambda_3]$,
(ii) $\varpi_+(\xi,\lambda_3)=\varpi_-(\xi,\lambda_3)(1+r_1(\xi)r_2(\xi))$, $\xi\in(-\infty,\lambda_3)$,
Assuming that $\Delta(\xi)\in(-\pi,\pi)$ for $\xi\in\mathbb{R}$, we have $|{\operatorname{Im} v(\xi)}|< 1/2$. Under this assumption, $\ln(1+r_1(\xi)r_2(\xi))$ is single-valued, and the singularities $\xi=\lambda_3$ of $\varpi(\xi,\lambda_3)$ are square integrable. We can now redefine the function $M(x,t,\xi)$ in terms of $\varpi(\xi,\lambda_3)$:
We now present a matrix $\widetilde{N}(x,t,\xi)$ satisfying the following RH problem.
RH problem 4.2. Find a matrix-valued function $\widetilde{N}(x,t,\xi)$ that is piecewise meromorphic and satisfies the following conditions:
(i) $\widetilde{N}(x,t,\xi)$ is meromorphic for $\xi\in\mathbb{C}\setminus\mathbb{R}$ and has a simple pole located at $\xi=i\xi_1$, $\xi_1>0$;
(ii) the jump conditions: the non-tangential limits $\widetilde{N}(x,t,\xi)=\widetilde{N}(x,t,\xi\pm i0)$ exist a.e. for $\xi\in\mathbb{R}$ such that $\widetilde{N}(x,t,{\cdot}\,)-I\in L^2(\mathbb{R}\setminus [-\varepsilon,\varepsilon])$ satisfies
In order to make the jump matrices decay to the identity matrix as $t\to\infty$, we use the standard procedure (see [19]) to make factorizations of the jump matrices along the real axis to deform the contours onto those on which the oscillatory jump on the left half of the real $\xi$-axis is traded for exponential decay, then perform translation transformations to move them to the areas parallelling to the real axis in the right half of the real $\xi$-axis. As shown in Fig. 10, the contours
are parallel to the real axis with $\zeta_b=\operatorname{Im} \lambda_2=-\operatorname{Im} \lambda_1$ and $\zeta_a>0$ for $\zeta_a,\zeta_b\in\mathbb{R}$. Next, we define the new function $\widehat{N}(x,t,\xi)$ as follows:
The above function $\widehat{N}(x,t,\xi)$ satisfies the following RH problem.
RH problem 4.3. Find a matrix-valued function $\widehat{N}(x,t,\xi)$ that is piecewise meromorphic and satisfies the following conditions:
(i) $\widehat{N}(x,t,\xi)$ is meromorphic for $\xi\in\mathbb{C}\setminus\Gamma$ and has a simple pole located at $\xi=i\xi_1$, $\xi_1>0$;
(ii) the jump conditions: the non-tangential limits $\widehat{N}(x,t,\xi)=\widehat{N}(x,t,\xi\pm i0)$ exist a.e. for $\xi\in\mathbb{R}$ such that $\widehat{N}(x,t,\cdot)-I\in L^2(\mathbb{R}\setminus [-\varepsilon,\varepsilon])$ satisfies
where $B(x,t,\xi)=I+(i\xi_1/(\xi-i\xi_1))P(x,t)$, and $B(x,t,\xi)$, $P(x,t)$ are BP factors. Now we introduce the regular RH problem as follows.
RH problem 4.4. Find a matrix-valued function $\widehat{N}^{\mathrm{reg}}(x,t,\xi)$ that is piecewise meromorphic and satisfies the following conditions:
(i) $\widehat{N}^{\mathrm{reg}}(x,t,\xi)$ is analytic for $\xi\in\mathbb{C}\setminus\Gamma$;
where $v(\lambda_3)$ and $\pi(\lambda_3,\xi)$ are as in (4.4). We next introduce the local parametrix $\widehat{N}^{\mathrm{reg}}_{\lambda_3}(x,t,\xi)$ by
Now the parameterized RH problem $\widehat{n}^{\mathrm{pc}}_{\lambda_3}(\lambda_3,\varsigma)$ can be solved by using parabolic cylinder functions, and the following asymptotic behavior takes place:
where $\varepsilon$ is small enough to make $|\lambda_3|>\varepsilon$ and $|i\xi_1-\lambda_3|>\varepsilon$. Let $\Gamma_{\varepsilon}=\Gamma_-\cap D_{\varepsilon}(\lambda_3)$ (see Fig. 11) be the jump contour of the local parametrix $\widehat{N}^{\mathrm{reg}}_{\lambda_3}(x,t,\xi)$ with $\Gamma_-=\Gamma_1\cup\Gamma_2\cup\Gamma^*_1\cup\Gamma^*_2$. Next, $\breve{\Gamma}=\Gamma_-\cup\partial D_{\varepsilon}(\lambda_3)$ (see Fig. 12) is the jump contour of $\breve{N}^{\mathrm{reg}}(x,t,\xi)$, and we redefine $\breve{\Gamma}=\Gamma_{1,\varepsilon}\cup\Gamma_{2,\varepsilon} \cup\Gamma^*_{1,\varepsilon}\cup\Gamma^*_{2,\varepsilon}$. Now the function $\breve{N}^{\mathrm{reg}}(x,t,\xi)$ satisfies the following RH problem.
RH problem 4.6. Find a matrix-valued function $\breve{N}^{\mathrm{reg}}(x,t,\xi)$ that is piecewise meromorphic and satisfies the following conditions:
(i) $\breve{N}^{\mathrm{reg}}(x,t,\xi)$ is analytic for $\xi\in\mathbb{C}\setminus\breve{\Gamma}$;
The next step is to obtain the large $t$ estimate of the solution $q(x,t)$. It can be seen that the processing procedures are different for $\xi\in E$ and $\xi\in \mathbb{C}\setminus E$ with $E=\{\xi\in\mathbb{C}\mid\operatorname{Re}\xi\leqslant0\}$.
For $\xi\in E$, we proceed similarly to the error analysis in § 3.5. We define $w_N(x,t,\xi)=\breve{J}_N(x,t,\xi)-I$ and consider the Fredholm integral function
As $t\to\infty$, $\operatorname{Im}\xi$ remains unchanged on the contour $\xi\in\Gamma_3$, and the maximum value of $e^{-2t\operatorname{Im}\theta}$ is obtained with zero $\operatorname{Re}\xi$. We now have the asymptotic formula
According to the recovery formulas (4.27) of the potential $q(x,t)$ and the error analysis in § 3.5, we have the long-time asymptotic formula for the solution $q(x,t)$
Now the long-time asymptotics of the solution $q(x,t)$, for $\xi\in\mathbb{C}$, as required in Theorem 1.6, follows from the above two parts.
§ 5. Conclusions and discussions
In this work, the non-linear steepest descent method of Deift and Zhou is developed to study the long-time asymptotic behavior of non-local Lakshmanan–Porsezian–Daniel (LPD) equation with step-like initial data $q_0(x)=o(1)$ as $x\to-\infty$ and $q_0(x)=A+o(1)$ as $x\to+\infty$, where $A$ is an arbitrary positive constant. Comparing to the existing results in [44], [45], we consider the non-decaying initial value condition with step-like structure. Additionally, the non-local symmetries $x\to-x$ and $t\to t$ are taken into account, which enrich the analysis of the asymptotic solution $q(x,t)$, especially when the range of $x$ is varied. In addition, we have derived the long-time asymptotics of the solution $q(x,t)$ for the different space-time sectors on the whole $(x,t)$-plane. Due to the presence of multiple phase points, the regions become richer and the asymptotic analysis of the leading-order term and error term will be different from that of the classical NLS equation.
In the direct scattering part, we make spectral analysis of the Lax pair. For the asymptotic properties at the zero singularity point, we make asymptotic expansions of the eigenfunctions as $\xi\to 0$. Here, we set the parts independent of the spectral parameter $\xi$ as undetermined functions, since they do not affect our asymptotic analysis. Then, since the scattering matrix $S (\xi)$ admits a representation in terms of the matrix eigenfunctions $\psi_\pm (x, t, \xi$), the asymptotic properties of the scattering data $\{a_1(\xi), a_2(\xi), b(\xi)\}$ can be obtained based on the Volterra integral equations and the asymptotic behavior of $\psi_\pm (x, t, \xi)$. Given the pure-step initial data condition, which guarantees the absence of zero points in $a_2(\xi)$, we classify our analysis into two distinct cases (Cases 1 and 2) based on the zero point conditions of $a_2(\xi)$. In the inverse scattering part, we construct the RH problem and obtain one soliton solution.
In the part of asymptotic solution construction, for the regions $\mu^2:=(x/t)^2<1/(27\gamma)$, we decompose the jump matrix $J(x,t,\xi)$ into triangular matrices. We next perform the second RH deformation to make the jump matrices decay to the identity matrix $I$ for large $t$. After that, a BP factor is introduced to transform the RH problem into a regular one, which can be solved using parabolic cylinder functions. The Beals–Coifman theory is applied for the error analysis of the regular RH problem. Since the solution $q(x, t)$ can be expressed via the solution to the RH problem, where the oscillations terms $e^{\pm i \theta}$ in the jump matrix significantly influence the asymptotic analysis, we implement the aforementioned sequence of transformations to the original RH problem. These transformations are designed to ensure the exponential decay of $e^{\pm i\theta}$ as $t\to \infty$ and yield a solvable RH problem. Following the methodology outlined in [22], we systematically examine the asymptotic properties of the solvable RH problem at infinity, which ultimately allows us to characterize the long-time behavior of solutions to the nonlocal LPD equation. For the regions $\mu^2:=(x/t)^2>1/(27\gamma)$, the LPD equation has one real saddle point and a pair of conjugate complex saddle points. Similarly to the previous analysis processes, we give the long-time asymptotics of the solution in this case.
Acknowledgements
The authors express their sincere thanks to the editors and the anonymous referees for their careful reading and corrections of this paper, constructive comments, and suggestions for improving the quality of this paper.
Bibliography
1.
M. J. Ablowitz and P. A. Clarkson, Solitons, nonlinear evolution equations and inverse scattering, London Math. Soc. Lecture Note Ser., 149, Cambridge Univ. Press, Cambridge, 1991
2.
P. A. Clarkson and J. A. Tuszynski, “Exact solutions of the multidimensional derivative nonlinear Schrödinger equation for many-body systems of criticality”, J. Phys. A, 23:19 (1990), 4269–4288
3.
L. Brizhik, A. Eremko, B. Piette, and W. J. Zakrzewski, “Static solutions of a $D$-dimensional
modified nonlinear Schrödinger equation”, Nonlinearity, 16:4 (2003), 1481–1497
4.
Shou-Fu Tian, “Initial-boundary value problems for the general coupled nonlinear Schrödinger equation on the interval via the Fokas method”, J. Differential Equations, 262:1 (2017), 506–558
5.
Shou-Fu Tian and Tian-Tian Zhang, “Long-time asymptotic behavior for the Gerdjikov–Ivanov
type of derivative nonlinear Schrödinger equation with time-periodic boundary condition”, Proc. Amer. Math. Soc., 146:4 (2018), 1713–1729
6.
M. Lakshmanan, K. Porsezian, and M. Daniel, “Effect of discreteness on the continuum limit of the Heisenberg spin chain”, Phys. Lett. A, 133:9 (1988), 483–488
7.
M. J. Ablowitz, D. J. Kaup, A. C. Newell, and H. Segur, “Nonlinear-evolution equations of physical significance”, Phys. Rev. Lett., 31:2 (1973), 125–127
8.
Hai-Qiang Zhang, Bo Tian, Xiang-Hua Meng, Xing Lü, and Wen-Jun Liu, “Conservation laws, soliton solutions and modulational instability for the higher-order dispersive nonlinear Schrödinger equation”, Eur. Phys. J. B, 72:2 (2009), 233–239
9.
Rui Guo and Hui-Qin Hao, “Breathers and multi-soliton solutions for the higher-order generalized nonlinear Schrödinger equation”, Commun. Nonlinear Sci. Numer. Simul., 18:9 (2013), 2426–2435
10.
Xiao-Li Wang, Wei-Guo Zhang, Bao-Guo Zhai, and Hai-Qiang Zhai, “Rogue waves of the higher-order dispersive nonlinear Schrödinger equation”, Commun. Theor. Phys. (Beijing), 58:4 (2012), 531–538
11.
Yunqing Yang, T. Suzuki, and Xueping Cheng, “Darboux transformations and exact solutions for the integrable nonlocal Lakshmanan–Porsezian–Daniel equation”, Appl. Math. Lett., 99 (2020), 105998
12.
Wei-Kang Xun, Shou-Fu Tian, and Tian-Tian Zhang, “Inverse scattering transform for the integrable nonlocal Lakshmanan–Porsezian–Daniel equation”, Discrete Contin. Dyn. Syst. Ser. B, 27:9 (2022), 4941–4967
13.
Yu-Feng Wang, Bo-Ling Guo, and Nan Liu, “Riemann–Hilbert problem for a fourth-order dispersive nonlinear Schrödinger equation on the half-line”, J. Math. Anal. Appl., 488:2 (2020), 124078
14.
M. J. Ablowitz and Z. H. Musslimani, “Integrable nonlocal nonlinear Schrödinger equation”, Phys. Rev. Lett., 110:6 (2013), 064105
15.
C. M. Bender and S. Boettcher, “Real spectra in non-Hermitian Hamiltonians having $\mathscr{PT}$ symmetry”, Phys. Rev. Lett., 80:24 (1998), 5243–5246
16.
A. S. Fokas, “Integrable multidimensional versions of the nonlocal nonlinear Schrödinger equation”, Nonlinearity, 29:2 (2016), 319–324
17.
Jia-Liang Ji and Zuo-Nong Zhu, “Soliton solutions of an integrable nonlocal modified Korteweg–de Vries equation through inverse scattering transform”, J. Math. Anal. Appl., 453:2 (2017), 973–984
18.
R. Hernández-Heredero and E. G. Reyes, “Nonlocal symmetries and a Darboux transformation for the Camassa–Holm equation”, J. Phys. A, 42:18 (2009), 182002
19.
S. V. Manakov, “Nonlinear fraunhofer diffraction”, Soviet Physics JETP, 38:4 (1974), 693–696
20.
P. Deift and X. Zhou, “A steepest descent method for oscillatory Riemann–Hilbert problems. Asymptotics for the MKdV equation”, Ann. of Math. (2), 137:2 (1993), 295–368
21.
Jian Xu and Engui Fan, “Long-time asymptotics for the Fokas–Lenells equation with decaying initial value problem: without solitons”, J. Differential Equations, 259:3 (2015), 1098–1148
22.
J. Lenells, “The nonlinear steepest descent method for Riemann–Hilbert problems of low regularity”, Indiana Univ. Math. J., 66:4 (2017), 1287–1332
23.
Y. Rybalko and D. Shepelsky, “Long-time asymptotics for the integrable nonlocal nonlinear Schrödinger equation”, J. Math. Phys., 60:3 (2019), 031504
24.
M. Borghese, R. Jenkins, and K. D. T.-R. McLaughlin, “Long time asymptotic behavior of the focusing nonlinear Schrödinger equation”, Ann. Inst. H. Poincaré C Anal. Non Linéaire, 35:4 (2018), 887–920
25.
A. Boutet de Monvel, V. P. Kotlyarov, and D. Shepelsky, “Focusing NLS equation: long-time dynamics of step-like initial data”, Int. Math. Res. Not. IMRN, 2011:7 (2011), 1613–1653
26.
A. Boutet de Monvel, J. Lenells, and D. Shepelsky, “The focusing NLS equation with step-like
oscillating background: scenarios of long-time asymptotics”, Comm. Math. Phys., 383:2 (2021), 893–952
27.
A. Boutet de Monvel, J. Lenells, and D. Shepelsky, “The focusing NLS equation with step-like
oscillating background: the genus 3 sector”, Comm. Math. Phys., 390:3 (2022), 1081–1148
28.
R. Jenkins, “Regularization of a sharp shock by the defocusing nonlinear Schrödinger equation”, Nonlinearity, 28:7 (2015), 2131–2180
29.
Y. Rybalko and D. Shepelsky, “Long-time asymptotics for the nonlocal nonlinear Schrödinger
equation with step-like initial data”, J. Differential Equations, 270 (2021), 694–724
30.
Y. Rybalko and D. Shepelsky, “Long-time asymptotics for the integrable nonlocal focusing nonlinear Schrödinger equation for a family of step-like initial data”, Comm. Math. Phys., 382:1 (2021), 87–121
31.
Y. Rybalko and D. Shepelsky, “Curved wedges in the long-time asymptotics for the integrable nonlocal nonlinear Schrödinger equation”, Stud. Appl. Math., 147:3 (2021), 872–903
32.
Y. Rybalko and D. Shepelsky, “Defocusing nonlocal nonlinear Schrödinger equation with step-like boundary conditions: long-time behavior for shifted initial data”, J. Math. Phys. Anal. Geom., 16:4 (2020), 418–453
33.
Taiyang Xu and Engui Fan, “Large-time asymptotics to the focusing nonlocal modified Kortweg–de Vries equation with step-like boundary conditions”, Stud. Appl. Math., 150:4 (2023), 1217–1273
34.
Leilei Liu and Weiguo Zhang, “On a Riemann–Hilbert problem for the focusing nonlocal mKdV equation with step-like initial data”, Appl. Math. Lett., 116 (2021), 107009
35.
Taiyang Xu, Zechuan Zhang, and Engui Fan, “On the Cauchy problem of defocusing mKdV equation with finite density initial data: long time asymptotics in soliton-less regions”, J. Differential Equations, 372 (2023), 55–122
36.
A. Minakov, “Riemann–Hilbert problem for Camassa–Holm equation with step-like initial data”, J. Math. Anal. Appl., 429:1 (2015), 81–104
37.
Yiling Yang, Gaozhan Li, and Engui Fan, On the long-time asymptotics of the modified Camassa–Holm equation with step-like initial data, arXiv: 2203.10573
38.
A. Minakov, “Asymptotics of step-like solutions for the Camassa–Holm equation”, J. Differential Equations, 261:11 (2016), 6055–6098
39.
Jian Xu, Engui Fan, and Yong Chen, “Long-time asymptotic for the derivative nonlinear Schrödinger equation with step-like initial value”, Math. Phys. Anal. Geom., 16:3 (2013), 253–288
40.
Wei Liu, De-Qin Qiu, Zhi-Wei Wu, and Jing-Song He, “Dynamical behavior of solution in integrable nonlocal Lakshmanan–Porsezian–Daniel equation”, Commun. Theor. Phys. (Beijing), 65:6 (2016), 671–676
41.
Xi-Hu Wu, Yi-Tian Gao, Xin Yu, Cui-Cui Ding, Lei Hu, and Liu-Qing Li, “Binary Darboux transformation, solitons, periodic waves and modulation instability for a nonlocal Lakshmanan–Porsezian–Daniel equation”, Wave Motion, 114 (2022), 103036
42.
Wei-Kang Xie and Fang-Cheng Fan, “Soliton and breather solutions on the nonconstant background of the local and nonlocal Lakshmanan–Porsezian–Daniel equations by Bäcklund transformation”, Z. Angew. Math. Phys., 74:5 (2023), 182
43.
Minmin Wang and Yong Chen, “General multi-soliton and higher-order soliton solutions for a novel nonlocal Lakshmanan–Porsezian–Daniel equation”, Nonlinear Dynam., 111:1 (2023), 655–669
44.
Yu-Feng Wang, Nan Liu, and Bo-Ling Guo, “Long-time asymptotic behavior for a fourth-order
dispersive nonlinear Schrödinger equation”, J. Math. Anal. Appl., 506:1 (2022), 125560
45.
Wei-Qi Peng and Yong Chen, “Long-time asymptotics for the integrable nonlocal Lakshmanan–Porsezian–Daniel
equation with decaying initial value data”, Appl. Math. Lett., 152 (2024), 109030
46.
G. Biondini and G. Kovac̆ic̆, “Inverse scattering transform for the focusing nonlinear Schrödinger equation with nonzero boundary conditions”, J. Math. Phys., 55:3 (2014), 031506
47.
D. E. Pelinovsky and Y. Shimabukuro, “Existence of global solutions to the derivative NLS equation with the inverse scattering transform method”, Int. Math. Res. Not. IMRN, 2018:18 (2018), 5663–5728
48.
Yi Zhao and Engui Fan, “Existence of global solutions to the nonlocal Schrödinger equation on the line”, Stud. Appl. Math., 152:1 (2024), 111–146
49.
R. Beals and R. R. Coifman, “Scattering and inverse scattering for first order systems”, Comm. Pure. Appl. Math., 37:1 (1984), 39–90
Citation:
Wen-Yu Zhou, Shou-Fu Tian, Xiao-Fan Zhang, “On long-time asymptotics of solution to the non-local Lakshmanan–Porsezian–Daniel equation with step-like initial data”, Izv. Math., 89:4 (2025), 701–757