1 引言
该文研究了如下具有非零边界条件的混合 Chen-Lee-Liu 导数非线性薛定谔方程的单极解和双极解,
(1.1) $\begin{matrix}\label{1.1} \left\{ \begin{array}{lll} {\rm i}r_t+r_{xx}+|r|^2r-{\rm i}|r|^2r_x=0,\ (t,x)\in\Bbb R\times\Bbb R,\\ \lim\limits_{x\rightarrow \pm\infty}|r(t,x)|=r_0=c>0,\ t\in\Bbb R. \end{array} \right. \end{matrix}$
方程(1.1)是 Kundu 在研究非线性薛定谔型方程的规范变换时首次得到的[1 ] . 在光学领域, $|r|^2r$ 表示由光强引起的折射率的变化 [2 ] , $|r|^2r_x$ 表示自陡峭效应. 在流体力学中,方程(1.1)可以从 Dysthe 方程中通过忽略平均流量项获得 [3 ] . 模型(1.1)用于描述非线性光纤和水波水槽中的实验现象 [4 ] .
Hu 等[5 ] 研究了半直线上(1.1)的初始边值问题. Zhang 等[6 ] 通过 Darboux 变换得到了(1.1)的高阶解. 然后, Fang 等 [7 ] 得到了具有零边界条件的(1.1)的孤子解. 最近, Zhao 和 Fan [8 ] 通过 Riemann-Hilbert 方法研究了具有非零边界条件的(1.1)的多孤子解.
最近, 研究可积系统的孤子解已成为一个热门话题 [9 ⇓ -11 ] . Zhang 和 Fan 通过 Riemann-Hilbert 方法获得了具有非零边界条件的薛定谔型方程的多孤子 [12 ] . Zhang 和 Yan 获得了具有零边界条件和非零边界条件的导数非线性薛定谔方程的孤子解 [13 ] . Zhang 和 Yan 研究了具有非零边界条件的聚焦和散焦 Hirota 方程的孤子解 [14 ] .
据我们所知, 目前对于具有非零边界条件的方程(1.1)还没有人研究. 本文根据 Zhang 和 Yan [15 ] 的思想, 利用 Riemann-Hilbert 方法构造了方程(1.1)的单极解和双极解. 为了便于计算, 设非零边界条件如下
(1.2) $\begin{equation}\label{1.2} \lim\limits_{x\rightarrow \pm\infty}r(t,x)=r_\pm {\rm e}^{\left(-\frac{\rm i}{2}r_0^2-{\rm i}\right)x -\left(\frac{3{\rm i}}{4}r_0^4+{\rm i}r_0^2+{\rm i}\right)t}. \end{equation}$
研究方程(1.1)在非零边界条件下的难点如下: 一方面, 在构造一个合适的黎曼曲面时, 为了避免特征值的多值情况, 需要引入了一个合适的均匀化变量; 另一方面, 在引入黎曼曲面后,方程(1.1)的逆散射将由原来的谱 $k$ -平面转化为新的变量 $z$ -平面, 难点在于建立两个平面之间的关系.
本文的其余部分组织如下. 在第 2 节中, 通过求解单极点的直散射问题, 得到了 Jost 解和散射矩阵的解析性、对称性、渐近性和离散谱性质. 在第 3 节中, 利用矩阵 Riemann-Hilbert 问题构造并解决了具有单极点的逆散射问题. 此外, 还得到了(1.1)的单极解. 在第 4 节中, 解决了具有双极点的直散射问题, 得到了相应的离散谱性质. 在第 5 节中, 研究了具有双极点的逆散射问题. 然后, 得到了(1.1)的双极解. 在第 6 节中, 给出了一些结论.
2 单极解的直散射问题
在直散射过程中, 为了避免特征值的多值性, 需要引入变量 $z=\lambda+k$ . 通过求解直散射问题, 得到 Jost 解和散射矩阵, 并给出它们的解析性、对称性、渐近性和离散谱性质.
2.1 黎曼面与单值化坐标
(2.1) $\begin{equation} \phi_{x}=X\phi,\quad \phi_{t}=T\phi, \end{equation}$
$\begin{eqnarray*} X&=&{\rm i}k^2\sigma_{3}+kQ-\frac{\rm i}{2}\sigma_{3}+\frac{\rm i}{4}Q^2\sigma_{3},\\ T&=&-2{\rm i}k^4\sigma_{3}-2k^3Q+k^2(2{\rm i}\sigma_{3}-{\rm i}Q^2\sigma_{3})+k(Q+{\rm i}\sigma_{3}Q_x-\frac{1}{2}Q^3)\\ &&-\frac{\rm i}{2}\sigma_{3}-\frac{\rm i}{8}Q^4\sigma_{3}+\frac{1}{4}(QQ_x-Q_xQ), \end{eqnarray*} $
$ {Q = \left( {\begin{array}{*{20}{c}} 0~~&r\\ -r^*~~&0 \end{array}} \right),\quad \sigma_{3} = \left( {\begin{array}{*{20}{c}} 1~~&0\\ 0~~&{ - 1} \end{array}} \right)}. $
(2.2) $\begin{matrix} \left\{ \begin{array}{lll} r \rightarrow r{\rm e}^{\left(-\frac{\rm i}{2}r_0^2-{\rm i}\right)x-\left(\frac{3{\rm i}}{4}r_0^4+{\rm i}r_0^2+{\rm i}\right)t},\\ \phi \rightarrow {\rm e}^{\left[\left(-\frac{\rm i}{4}r_0^2-\frac{\rm i}{2}\right)x-\left(\frac{3{\rm i}}{8}r_0^4 +\frac{\rm i}{2}r_0^2+\frac{\rm i}{2}\right)t\right]\sigma_{3}}\phi. \end{array} \right. \end{matrix}$
(2.3) $\begin{matrix}\label{2.3} \left\{ \begin{array}{lll} {\rm i}r_t+r_{xx}+\frac{1}{2}r_0^4r-{\rm i}r_0^2r_x-2{\rm i}r_x-{\rm i}|r|^2r_x-\frac{1}{2}r|r|^2r_0^2=0,\\ \lim\limits_{x\to\pm\infty}r(x,t)=r_\pm,\ |r_\pm|=r_0. \end{array} \right. \end{matrix}$
(2.4) $\begin{equation}\label{2.5} \phi_{x}=X\phi,\quad \phi_{t}=T\phi, \end{equation}$
$\begin{eqnarray*} X&=&{\rm i}k^2\sigma_{3}-\frac{\rm i}{4}(|r|^2-r_0^2)\sigma_{3}+kQ,\\ T&=&-2{\rm i}k^4\sigma_{3}-2k^3Q+k^2(2{\rm i}\sigma_{3}-{\rm i}Q^2\sigma_{3})+k \left(\frac{1}{2}r_0^2Q+2Q+{\rm i}\sigma_{3} Q_x-\frac{1}{2}Q^3\right)\\ &&+\frac{1}{4}(QQ_x-Q_xQ) +\left(-\frac{\rm i}{4}|r|^2r_0^2-\frac{\rm i}{2}|r|^2+\frac{3{\rm i}}{8}r_0^4+\frac{\rm i}{2}r_0^2 -\frac{\rm i}{8}|r|^4\right)\sigma_3. \end{eqnarray*}$
当 $x\rightarrow\pm\infty$ 时, 考虑(2.4)的渐近散射问题
(2.5) $\begin{matrix}\label{2.6} \psi_{x}=X_\pm\psi,\quad \psi_{t}=T_\pm\psi, \end{matrix}$
$ X_{\pm}={\rm i}k^2\sigma_{3}+kQ_{\pm},\quad T_{\pm}=(-2k^2+2+r_0^2)X_{\pm}, $
$ Q_{\pm}= \left( \begin{array}{*{20}{c}} 0~~&r_{\pm}\\ -r_{\pm}^*~~&0 \end{array} \right). $
矩阵 $X_{\pm}$ 的特征值为 $\pm {\rm i}k\lambda$ , $\lambda$ 满足 $\lambda^2=k^2+r_0^2$ , 其分支点为 $k=\pm {\rm i}r_0$ .
$ k+{\rm i}r_0=r_1{\rm e}^{{\rm i} \theta_{1}},\quad k-{\rm i}r_0=r_2{\rm e}^{{\rm i} \theta_{2}},\quad -\frac{\pi}{2}<\theta_{j}<\frac{3\pi}{2},\quad j=1,2, $
因此, 在 Riemann 曲面上得到两个单值解析函数
$\begin{eqnarray*} \lambda(k)=\left\{ \begin{array}{lll} (r_1r_2)^{\frac{1}{2}}{\rm e}^{{\rm i}\left(\frac{\theta_1+\theta_2}{2}\right)},\quad & \ k\in S_1,\\ -(r_1r_2)^{\frac{1}{2}}{\rm e}^{{\rm i}\left(\frac{\theta_1+\theta_2}{2}\right)},\quad & \ k\in S_2. \end{array} \right. \end{eqnarray*}$
为了避免特征值 $\lambda$ 的多值情况, 现在定义一个均匀化变量 [17 ]
$ z=k+\lambda, $
$ k(z)=\frac{1}{2}(z-\frac{r_0^2}{z}),\quad \lambda(z)=\frac{1}{2}(z+\frac{r_0^2}{z}). $
因此, 可以用逆映射来讨论标准 $z$ 平面上的散射问题, 而不是在两张黎曼面上. 为了方便起见, 将 $z$ 平面上的 $D^+$ 、$D^-$ 和 $\Sigma$ 定义为
$\begin{eqnarray*} D^+=\left \{z:{\rm RezImz}>0\right \},\quad D^-=\left \{z:{\rm RezImz}<0\right \},\quad \Sigma=\Bbb R \cup {\rm i}\Bbb R\setminus\{0\}. \end{eqnarray*}$
2.2 Jost 解的解析性
根据特征值 $\pm {\rm i}k\lambda$ , 得到如下渐近特征向量矩阵
(2.6) $\begin{matrix}\label{3.1} Y_{\pm}= \left( {\begin{array}{*{30}{c}} 1~~&\displaystyle{\frac{{\rm i}r_{\pm}}{z}}\\ \displaystyle{\frac{{\rm i}r_{\pm}^*}{z}}~~&1 \end{array}} \right)=I+\frac{\rm i}{z}\sigma_3Q_\pm. \end{matrix}$
因此, $X_\pm$ 和 $T_\pm$ 可对角化为
(2.7) $\begin{matrix}\label{2.13} X_\pm=Y_\pm({\rm i}k\lambda\sigma_3)Y_\pm^{-1},\quad T_\pm=Y_\pm\left[(-2k^2+2+r_0^2){\rm i}k\lambda\sigma_3\right]Y_\pm^{-1}. \end{matrix}$
$ \det(Y_\pm)=1+\frac{r_0^2}{z^2}\triangleq\gamma, Y_{\pm}^{-1}= \frac{1}{\gamma}\left( {\begin{array}{*{20}{c}} 1~~&-\displaystyle{\frac{{\rm i}r_{\pm}}{z}}\\ -\displaystyle{\frac{{\rm i}r_{\pm}^*}{z}}~~&1 \end{array}} \right)=\frac{1}{\gamma}(I-\frac{\rm i}{z}\sigma_3Q_\pm). $
$ (Y_\pm^{-1}\psi)_x={\rm i}k\lambda\sigma_3(Y_\pm^{-1}\psi),\quad (T_\pm^{-1}\psi)_t=(-2k^2+2+r^2_0){\rm i}k\lambda\sigma_3(Y_\pm^{-1}\psi), $
$\begin{eqnarray*} \psi_\pm(x,t,z)=\left\{ \begin{array}{lll} Y_\pm {\rm e}^{{\rm i}\theta(z)\sigma_3},\quad &z\neq \pm {\rm i}r_0,\\ I+\left[x+(3r^2_0+2)t\right]X_\pm(z),\quad &z= \pm {\rm i}r_0, \end{array} \right. \end{eqnarray*}$
其中 $\theta(x,t,z)=k(z)\lambda(z)\left[x+(-2k^2(z)+2+r_0^2)t\right]$ .
Jost 解 $\phi_\pm(x,t,z)$ 有如下形式
(2.8) $\begin{equation}\label{3.8} \phi_\pm(x,t,z)=Y_\pm(z) {\rm e}^{{\rm i}\theta(z)\sigma_3}+o(1),\quad x\rightarrow\pm\infty. \end{equation}$
(2.9) $\begin{equation}\label{3.9} \mu_\pm(x,t,z)=\phi_\pm(x,t,z) {\rm e}^{-{\rm i}\theta(z)\sigma_3}, \end{equation}$
(2.10) $\begin{equation}\label{3.10} \mu_\pm(x,t,z)\sim Y_\pm(z),\ x\rightarrow\pm \infty. \end{equation}$
(2.11) $(Y_\pm^{-1}\mu_\pm)_x+{\rm i}k\lambda[Y_\pm^{-1}\mu_\pm,\sigma_3]=Y_\pm^{-1}\Delta X_\pm\mu_\pm,$
(2.12) $(Y_\pm^{-1}\mu_\pm)_t+{\rm i}k\lambda(-2k^2+2+r_0^2)[Y_\pm^{-1}\mu_\pm,\sigma_3]=Y_\pm^{-1}\Delta T_\pm\mu_\pm,$
其中 $\Delta X_\pm=k(Q-Q_\pm)-\frac{\rm i}{4}(|r|^2-r_0^2)\sigma_3$ , $\Delta T_\pm=T-T_\pm$ . 上述方程可表示为
$\begin{eqnarray*} d({\rm e}^{-{\rm i}\theta(z)\hat{\sigma}_3}Y_\pm^{-1}\mu_\pm)={\rm e}^{-{\rm i}\theta(z)\hat{\sigma}_3}[Y_\pm^{-1}(\Delta X_\pm {\rm d}x+\Delta T_\pm {\rm d}t)\mu_\pm], \end{eqnarray*}$
(2.13) $\begin{matrix}\label{3.14} \mu_{\pm}(x,t,z)=\left\{ \begin{array}{lll} Y_{\pm}+\int_{\pm\infty}^{x}Y_\pm {\rm e}^{{\rm i}k\lambda(x-y)\hat{\sigma}_3}[Y_\pm^{-1}\Delta X_\pm\mu_\pm(y,t,z)]{\rm d}y, \ & z\neq \pm {\rm i}r_0, \\ Y_{\pm}+\int_{\pm\infty}^{x}[I+(x-y)X_\pm(z)][\Delta X_\pm\mu_\pm(y,t,z)]{\rm d}y, \ &z=\pm {\rm i}r_0. \\ \end{array} \right. \end{matrix}$
命题2.1 设 $r(x,t)-r_\pm\in L^1({\Bbb R^\pm})$ , Volterra 积分方程(2.13)有唯一解 $\mu_\pm(x,t,z)$ , 它被(2.9)式定义在 $\Sigma_0:=\Sigma\backslash\{\pm {\rm i}r_0\}$ 上, 则 $\mu_\pm(x,t,z)$ 有如下性质
$\bullet$ $\mu_{-,1}$ 和 $\mu_{+,2}$ 解析延伸到 $D^-$ 且连续延伸到 $D^-\cup \Sigma_0$ .
$\bullet$ $\mu_{+,1}$ 和 $\mu_{-,2}$ 解析延伸到 $D^+$ 且连续延伸到 $D^+\cup \Sigma_0$ .
证 定义 $\mu_\pm= (\mu_{\pm,1}, \mu_{\pm,2})$ , $W(x,z)=Y^{-1}_-\mu_-$ , 则 $W$ 的第一列 $w$ 为
$ w(x,z)=\left( {\begin{array}{*{20}{c}} 1\\ 0 \end{array}} \right)+\int_{-\infty}^xG(x-y,z)\Delta X_-(y)Y_-(y)w(y,z){\rm d}y, $
$ G(x-y,z)={\rm diag}(1,{\rm e}^{-2{\rm i}k\lambda(x-y)})Y^{-1}_-(z)=\frac{1}{\gamma}\left( {\begin{array}{*{20}{c}} 1 &-\displaystyle{\frac{{\rm i}r_-}{z}}\\ -\displaystyle{\frac{{\rm i}r_-^*}{z}}{\rm e}^{-2{\rm i}k\lambda(x-y)} &{\rm e}^{-2{\rm i}k\lambda(x-y)} \end{array}} \right). $
因 ${\rm e}^{-2{\rm i}k\lambda(x-y)}={\rm e}^{-2{\rm i}(x-y){\rm Re}(k\lambda)}{\rm e}^{2(x-y){\rm Im}(k\lambda)}$ , 而 $x-y>0$ 且 ${\rm Im}[k(z)\lambda(z)]<0$ , 则 $\mu_{-,1}$ 解析延伸到 $D^-$ . 类似地, 可以证明 $\mu_{-,2}$ 解析延伸到 $D^+$ , $\mu_{+,1}$ 解析延伸到 $D^+$ , $\mu_{+,2}$ 解析延伸到 $D^-$ . 证毕.
推论2.1 设 $r(x,t)-r_\pm\in L^1({\Bbb R^\pm})$ ,(2.4)式有唯一解 $\phi_\pm(x,t,z)$ , 它被(2.8)式定义在 $\Sigma_0$ 上, 则 $\phi_\pm(x,t,z)$ 有如下性质
$\bullet$ $\phi_{-,1}$ , $\phi_{+,2}$ 解析延伸到 $D^-$ 且连续延伸到 $D^-\cup \Sigma_0$ .
$\bullet$ $\phi_{+,1}$ , $\phi_{-,2}$ 解析延伸到 $D^+$ 且连续延伸到 $D^+\cup \Sigma_0$ .
2.3 散射矩阵的解析性
由 Liouville 公式知 $\phi_\pm$ 是 Lax 对(2.5)的基解. 当 $z\in\Sigma_0$ 时, 定义常数散射矩阵 $S(z)=(s_{ij}(z))_{2\times2}$ 使得
(2.14) $\begin{equation}\label{4.3} \phi_+(x,t,z)=\phi_-(x,t,z)S(z),\quad z\in\Sigma_0, \end{equation}$
其中 $s_{ij}(z)$ 为散射系数, 可表示为
(2.15) $s_{11}(z)=\frac{{\rm Wr} (\phi_{+,1},\phi_{-,2})}{\gamma},\quad s_{12}(z)=\frac{{\rm Wr}(\phi_{+,2},\phi_{-,2})}{\gamma},$
(2.16) $s_{21}(z)=\frac{{\rm Wr}(\phi_{-,1},\phi_{+,1})}{\gamma},\quad s_{22}(z)=\frac{{\rm Wr}(\phi_{-,1},\phi_{+,2})}{\gamma},$
其中 ${\rm Wr}(\cdot,\cdot)$ 表示 Wronskian 行列式.
命题2.2 设 $r(x,t)-r_\pm\in L^1({\Bbb R^\pm})$ , 散射系数 $s_{ij}(i,j=1,2)$ 有如下性质
$\bullet$ $s_{11}(z)$ 解析延拓到 $D^+$ 且连续延拓到 $D^+\cup \Sigma_0$ .
$\bullet$ $s_{22}(z)$ 解析延拓到 $D^-$ 且连续延拓到 $D^-\cup \Sigma_0$ .
$\bullet$ $s_{12}(z)$ , $s_{21}(z)$ 在 $z\in\Sigma_{0}$ 中连续.
为了解决逆散射问题中的矩阵 Riemann-Hilbert 问题, 需要势没有谱奇点. 假定 $s_{ij}(z)(i,j = 1,2)$ 在分支点 $\{\pm {\rm i}r_0\}$ 连续, 则反射系数定义为
(2.17) $\begin{equation} \rho(z)=\frac{s_{21}(z)}{s_{11}(z)},\quad \tilde{\rho}(z)=\frac{s_{12}(z)}{s_{22}(z)}. \end{equation}$
2.4 Jost 解和散射矩阵的对称性
为了研究逆散射问题中的离散谱和留数条件, 需要分析 Jost 解和散射矩阵 $S(z)$ 的对称性. 在 $z$ 平面中有两个对合:$z\rightarrow z^* $ 和 $z \rightarrow - \frac{r^2_0}{z}$ , 它们在 $k$ 平面生成两个对合:$(k, \lambda) \rightarrow (k^*, \lambda^*)$ 和 $(k, \lambda) \rightarrow (k, -\lambda)$ .
命题2.3 Jost 解、 散射矩阵和反射系数在 $z$ 平面有如下三种对称性质
(2.18) $\begin{matrix}\label{5.1} \phi_\pm(x,t,z)=\sigma_2\phi_\pm^*(x,t,z^*)\sigma_2,\quad S(z)=\sigma_2S^*(z^*)\sigma_2,\quad \rho(z)=-\tilde{\rho}^*(z^*), \end{matrix}$
其中 $ \sigma_{2}= \left( {\begin{array}{*{20}{c}} 0~&-{\rm i}\\ {\rm i}~&0 \end{array}} \right)$ .
(2.19) $\begin{matrix}\label{5.2} \phi_\pm(x,t,z)=\sigma_1\phi_\pm^*(x,t,-z^*)\sigma_1,\quad S(z)=\sigma_1S^*(-z^*)\sigma_1,\quad \rho(z)=\tilde{\rho}^*(-z^*), \end{matrix}$
其中 $ \sigma_{1}= \left( {\begin{array}{*{20}{c}} 0~&1\\ 1~&0 \end{array}} \right). $
(2.20) $\begin{equation}\label{5.3} \phi_\pm(x,t,z)=\frac{\rm i}{z}\phi_\pm(x,t,-\frac{r_0^2}{z})\sigma_3Q_\pm,\ \ S(z)=(\sigma_3Q_-)^{-1}S(-\frac{r_0^2}{z})\sigma_3Q_+, \ \ \rho(z)=\frac{r_-^*}{r_-}\tilde{\rho}(-\frac{r^2_0}{z}). \end{equation}$
证 令 $\phi(x,t,z)$ 是散射问题(2.4)的一个解, 即
$ \phi_x=\left({\rm i}k^2\sigma_3-\frac{\rm i}{4}(|r|^2-r_0^2)\sigma_3+kQ\right)\phi, $
$ [\sigma_2\phi^*(z^*)\sigma_2]_x=\sigma_2\left[\left(-{\rm i}(k^2(z^*))^*\sigma_3+\frac{\rm i}{4}(|r|^2-r_0^2)\sigma_3 +k^*(z^*)Q^*\right)\right]\phi^*(z^*)\sigma_2. $
$ \sigma_2\sigma_3\sigma_2=-\sigma_3,\quad \sigma_2Q^*\sigma_2=Q,\quad k^*(z^*)=k(z),\quad \sigma_2^2=I, $
$ [\sigma_2\phi^*(z^*)\sigma_2]_x=\left[{\rm i}k^2(z)\sigma_3-\frac{\rm i}{4}(|r|^2-r_0^2)\sigma_3+k(z)Q\right] [\sigma_2\phi^*(z^*)\sigma_2]. $
因此, $\sigma_2\phi^*(z^*)\sigma_2$ 也是散射问题(2.4)的一个解.
$ \sigma_2Y_\pm^*(z^*)\sigma_2=Y_\pm(z),\quad \sigma_2{\rm e}^{-{\rm i}\theta^*(z^*)\sigma_3}\sigma_2={\rm e}^{{\rm i}\theta(z)\sigma_3}, $
$ \sigma_2\phi^*(z^*)\sigma_2=Y_\pm(x,t,z){\rm e}^{{\rm i}\theta(z)\sigma_3}+O(1),\quad x \rightarrow \pm\infty. $
$ \phi_\pm(x,t,z)=\sigma_2\phi_\pm^*(x,t,z^*)\sigma_2, $
(2.21) $\begin{equation}\label{5.9} \phi_{\pm,1}(z)={\rm i}\sigma_2\phi_{\pm,2}^*(z^*),\quad \phi_{\pm,2}(z)=-{\rm i}\sigma_2\phi_{\pm,1}^*(z^*). \end{equation}$
$\begin{eqnarray*} &&\sigma_1\sigma_3\sigma_1=-\sigma_3,\quad \sigma_1Q^*\sigma_1=-Q,\quad k^*(-z^*)=-k(z),\quad \\ &&\sigma_1Y_\pm^*(-z^*)\sigma_1=Y_\pm(z),\quad \sigma_1{\rm e}^{-{\rm i}\theta^*(-z^*)\sigma_3}\sigma_1={\rm e}^{{\rm i}\theta(z)\sigma_3}. \end{eqnarray*}$
可得 $\phi_{\pm}(x,t,z)$ 的第二对称性, 即
$ \phi_\pm(x,t,z)=\sigma_1\phi_\pm^*(x,t,-z^*)\sigma_1, $
$ \phi_{\pm,1}(z)=\sigma_1\phi_{\pm,2}^*(-z^*),\quad \phi_{\pm,2}(z)=\sigma_1\phi_{\pm,1}^*(-z^*). $
接下来, 证明 $\phi_{\pm}(x,t,z)$ 的第三对称性. 若 $\phi_{\pm}(x,t,z)$ 是散射问题(2.4)的一个解, 利用如下关系
$ k(-\frac{r_0^2}{z})=k(z),\quad \lambda(-\frac{r_0^2}{z})=-\lambda(z),\quad \theta(-\frac{r_0^2}{z})=-\theta(z), $
则对于任意与 $x$ 和 $t$ 无关的 $2\times2$ 矩阵 $C$ , $\phi(x,t,-\frac{r_0^2}{z})C$ 也是散射问题(2.4)的一个解.
$ \phi_\pm(x,t,-\frac{r_0^2}{z})C\sim Y_\pm(-\frac{r_0^2}{z}){\rm e}^{-{\rm i}\theta(z)\sigma_3}C,\quad x\rightarrow \pm\infty. $
$ \frac{\rm i}{z}Y_\pm(-\frac{r_0^2}{z}){\rm e}^{-{\rm i}\theta(z)\sigma_3}\sigma_{3}Q_\pm=Y_\pm(z){\rm e}^{{\rm i}\theta\sigma_3}, $
则 $C={\frac{\rm i}{z}}\sigma_3Q_\pm$ , 于是
$\phi_\pm(x,t,z)=\frac{\rm i}{z}\phi_\pm(x,t,-\frac{r_0^2}{z})\sigma_3Q_\pm, $
(2.22) $\begin{equation}\label{5.20} \phi_{\pm,1}(z)=\frac{\rm i}{z}r_\pm^*\phi_{\pm,2}(-\frac{r_0^2}{z}),\quad \phi_{\pm,2}(z)=\frac{\rm i}{z}r_\pm\phi_{\pm,1}(-\frac{r_0^2}{z}). \end{equation}$
接下来证明散射矩阵的对称性. 将(2.18)式的第一个式子带入(2.14)式, 可得
$S(z)=\sigma_2S^*(z^*)\sigma_2, $
(2.23) $\begin{equation}\label{5.17} s_{11}(z)=s_{22}^*(z^*),\quad s_{12}(z)=-s_{21}^*(z^*), \end{equation}$
$\rho(z)=-\tilde{\rho}^*(z^*). $
类似地, 可得 $S(z)=\sigma_1S^*(-z^*)\sigma_1$ , 由此可知
$s_{11}(z)=s_{22}^*(-z^*),\quad s_{12}(z)=s_{21}^*(-z^*), $
$\rho(z)=\tilde{\rho}^*(-z^*). $
将(2.20)式的第一个式子带入(2.14)式, 可得
$\begin{eqnarray*} S(z)=(\sigma_3Q_-)^{-1}S(-\frac{r_0^2}{z})\sigma_3Q_+, \end{eqnarray*}$
(2.24) $s_{11}(z)=\frac{r_+^*}{r_-^*}s_{22}(-\frac{r_0^2}{z}),\quad s_{12}(z)=\frac{r_+}{r_-^*}s_{21}(-\frac{r_0^2}{z}),$
(2.25) $s_{21}(z)=\frac{r_+^*}{r_-}s_{12}(-\frac{r_0^2}{z}),\quad s_{22}(z)=\frac{r_+}{r_-}s_{11}(-\frac{r_0^2}{z}).$
$ \rho(z)=\frac{r_-^*}{r_-}\tilde{\rho}(-\frac{r^2_0}{z}) =-\frac{r_-^*}{r_-}\tilde{\rho}^*(-\frac{r^2_0}{z^*}). $
2.5 离散谱和留数条件
散射问题的离散谱是所有 $z\in {\Bbb C}\backslash\Sigma$ 使得特征函数存在于 $L^2(\Bbb R)$ 上的值的集合. 设 $s_{11}(z)$ 在 $Z_0=\{z\in{\Bbb C}:{\rm Re}z>0,{\rm Im}z>0,|z|>r_0\}$ 中有 $N_{1}$ 个单极点 $z_{1},\cdots,z_{N_1}$ , 在圆 $W_0=\{z=r_0{\rm e}^{{\rm i}\varphi}:0<\varphi<\frac{\pi}{2}\}$ 上有 $N_{2}$ 个单极点 $w_{1},\cdots,w_{m}$ , 即 $s_{11}(z_n)=0$ 且 $s^\prime_{11}(z_n)\neq0$ . 由散射矩阵的对称性知
$s_{11}(\pm z_n)=0\Leftrightarrow s^*_{22}(\pm z^*_n)=0\Leftrightarrow s_{22}\left(\pm \frac{r^2_0}{z_n}\right)=0 \Leftrightarrow s_{11}\left(\pm \frac{r^2_0}{z_n^*}\right)=0,\quad n=1,\cdots N_{1}, $
$ s_{11}(\pm w_m)=0\Leftrightarrow s^*_{22}(\pm w^*_m)=0,\quad m=1,\cdots N_{2}. $
$ Z=\left\{\pm z_{n},\pm z^*_{n},\pm \frac{r^2_0}{z_{n}},\pm \frac{r^2_0}{z^*_{n}}\right\}_{n=1}^{N_1}\bigcup \ \{\pm w_{m},\pm w^*_{m}\}_{m=1}^{N_2}. $
由于 $s_{11}(z_0)=0$ , $z_{0}\in D^+$ , 则存在一个常数 $b_+(z_0)$ 使得
$\phi_{+,1}(x,t,z_0)=b_+(z_0)\phi_{-,2}(x,t,z_0), $
(2.26) $\begin{equation}\label{7.5} \mu_{+,1}(x,t,z_0)=b_+(z_0){\rm e}^{-2{\rm i}\theta(z_0)}\mu_{-,2}(x,t,z_0). \end{equation}$
$\mathop{{\rm Res}}\limits_{z=z_0}\left[\frac{\mu_{+,1}(x,t,z)}{s_{11}(z)}\right] =A_+[z_0]{\rm e}^{-2{\rm i}\theta(z_0)}\mu_{-,2}(x,t,z_0), $
其中 $A_+[z_0]={\frac{b_+(z_0)}{s^{'}_{11}(z_0)}}$ .
由于 $s_{22}(z^*_0)=0$ , $z^*_0\in D^-$ , 则存在一个常数 $b_-(z^*_0)$ 使得
$\phi_{+,2}(x,t,z^*_0)=b_-(z^*_0)\phi_{-,1}(x,t,z^*_0), $
(2.27) $\begin{equation}\label{2.57} \mu_{+,2}(x,t,z^*_0)=b_-(z^*_0){\rm e}^{2{\rm i}\theta(z^*_0)}\mu_{-,1}(x,t,z^*_0). \end{equation}$
$\mathop{{\rm Res}}\limits_{z=z^*_0}\left[\frac{\mu_{+,2}(x,t,z)}{s_{22}(z)}\right] = A_-[z^*_0]{\rm e}^{2{\rm i}\theta(z^*_0)}\mu_{-,1}(x,t,z^*_0), $
其中 $A_-[z^*_0]={\frac{b_-(z^*_0)}{s^{'}_{22}(z^*_0)}}$ .
根据 $b_{\pm}[z_0]$ 和 $A_\pm[z_0]$ 的定义以及 Jost 解和散射矩阵的对称性, 有如下命题成立.
命题2.4 在 $Z$ 中, 留数条件系数之间有如下关系成立
$\begin{eqnarray*} A_+[z_n]&=&A_+[-z_n]=-\frac{r^*_-}{r_-}\frac{z^{2}_n}{r^2_0}A^*_+\left[-\frac{r^2_0}{z^*_n}\right]= -\frac{r^*_-}{r_-}\frac{z^{2}_n}{r^2_0}A^*_+\left[\frac{r^2_0}{z^*_n}\right]\\ &=&-A^*_-[z^*_n]=-A^*_-[-z^*_n]=\frac{r^*_-}{r_-}\frac{z^2_n}{r^2_0}A_- \left[-\frac{r^2_0}{z_n}\right]= \frac{r^*_-}{r_-}\frac{z^2_n}{r^2_0}A_-\left[\frac{r^2_0}{z_n}\right],\\ A_+[\omega_m]&=&A_+[-\omega_m]=- A^*_-[\omega^*_m]=-A^*_-[-\omega^*_m]. \end{eqnarray*}$
证 将 $z=-z_n$ 带入(2.26)式, 由 Jost 解的对称性可得
$\begin{eqnarray*} \mu_{+,1}(x,t,-z_n)=-b_+(z_n){\rm e}^{-2{\rm i}\theta(-z_n)}\mu_{-,2}(x,t,-z_n). \end{eqnarray*}$
因 $s_{11}(z)$ 是一个偶函数, 即 $s^{\prime}_{11}(-z_n)=-s_{11}^{\prime}(z_n)$ , 则
$\begin{eqnarray*} A_+[z_n]=A_+[-z_n]. \end{eqnarray*}$
$\begin{eqnarray*} &&A_+\left[-\frac{r^2_0}{z^*_n}\right]=A_+\left[\frac{r^2_0}{z^*_n}\right], \ A_+\left[\omega_m\right]=A_+\left[-\omega_m\right], \\ && A_-\left[-\frac{r^2_0}{z_n}\right]=A_-\left[\frac{r^2_0}{z_n}\right],\ A_-\left[z^*_n\right]=A_-\left[-z^*_n\right],\ A_-\left[\omega^*_m\right]=A_-\left[-\omega^*_m\right]. \end{eqnarray*}$
$ \sigma_2\mu^*_{+,2}(x,t,z^*_n)=b^*_-(z^*_n){\rm e}^{-2{\rm i}\theta^*(z^*_n)}\sigma_2\mu^*_{-,1}(x,t,z^*_n). $
$\mu_{+,1}(x,t,z_n)=-b^*_-(z^*_n){\rm e}^{-2{\rm i}\theta(z_n)}\mu_{-,2}(x,t,z_n). $
比较(2.26)式, 可得 $b_+(z_n)=-b^*_-(z^*_n).$ 由(2.23)式可得 $ [s^{*}_{22}(z^*)]^{\prime}=s^{\prime}_{11}(z),$ 由此可知 $ A_+[z_n]=-A^*_-[z^*_n]. $ 类似地, 重复上述过程, 有 $ A_+[\omega_m]=-A^*_-[\omega^*_m]. $
将 $z=-{\frac{r^2_0}{z^*_n}}$ 带入(2.27)式, 根据 Jost 解的第三对称性知
$\begin{eqnarray*} \mu_{+,1}\left(x,t,-\frac{r^2_0}{z^*_n}\right)=\frac{r^*_-}{r_+}b_-(z^*_n){\rm e}^{-2{\rm i}\theta \left(-\frac{r^2_0}{z^*_n}\right)} \mu_{-,2}\left(x,t,-\frac{r^2_0}{z^*_n}\right). \end{eqnarray*}$
$\mu_{+,2}\left(x,t,-\frac{r^2_0}{z_n}\right)=\frac{r_-}{r^*_+}b_+(z_n){\rm e}^{2{\rm i} \theta\left(-\frac{r^2_0}{z_n}\right)} \mu_{-,1}\left(x,t,-\frac{r^2_0}{z_n}\right). $
(2.28) $\begin{matrix}\label{2.68} s_{11}\left(-\frac{r^2_0}{z^*_n}\right)=\frac{r_-}{r_+}s^*_{11}(z_n), \end{matrix}$
$s^{\prime}_{11}\left(-\frac{r^2_0}{z^*_n}\right)=\left(\frac{z^*_n}{r_0}\right)^2 \frac{r_-}{r_+}(s^*_{11}(z_n))^{\prime}. $
$ s^{\prime}_{22}\left(-\frac{r^2_0}{z_n}\right)=\left(\frac{z_n}{r_0}\right)^2\frac{r_-}{r_+} (s^*_{22}(z^*_n))^{\prime}. $
$ A_+[z_n]=-\frac{r^*_-}{r_-}\frac{z^2_n}{r^2_0}A^*_+\left[-\frac{r^2_n}{z^*_n}\right],\ A_+[z_n]=\frac{r^*_-}{r_-}\frac{z^2_n}{r^2_0}A_-\left[-\frac{r^2_n}{z_n}\right]. $
2.6 Jost 解和散射矩阵的渐近性
为了提出和解决逆散射问题中 Riemann-Hilbert 问题, 需要分别讨论 Jost 解和散射矩阵在 $z\rightarrow \infty$ 和 $z\rightarrow0$ 的渐近性质. 利用标准的 Wentzel-Kramers-Brillouin 展式, 可以推导出 Jost 解的渐近性质.
(2.29) $\mu_\pm(x,t,z)={\rm e}^{{\rm i}\nu_\pm(x,t)\sigma_3}+O(z^{-1}), \quad z\rightarrow\infty,$
(2.30) $\mu_\pm(x,t,z)=\frac{\rm i}{z}{\rm e}^{{\rm i}\nu_\pm(x,t)\sigma_3}\sigma_3Q_\pm+O(1),\quad z\rightarrow 0,$
$\nu_\pm(x,t)=\frac{1}{4}\int_{\pm\infty}^{x}(|r|^2-r^2_0){\rm d}y. $
$\mu_\pm(x,t,z)=\mu^{(0)}_\pm(x,t)+\frac{\mu^{(1)}_\pm(x,t)}{z}+\frac{\mu^{(2)}_\pm(x,t)}{z^2}+O(z^{-3}),\quad z\rightarrow\infty. $
$\begin{eqnarray*} &&\left[(I-\frac{\rm i}{z}\sigma_3Q_\pm)(\mu^{(0)}_\pm+\frac{\mu^{(1)}_\pm}{z}+\frac{\mu^{(2)}_\pm}{z^2} +\cdots)\right]_x\\ &= &-\frac{\rm i}{4}(z^2-\frac{r_0^4}{z^2})\left[(I-\frac{\rm i}{z}\sigma_3Q_\pm)(\mu^{(0)}_\pm +\frac{\mu^{(1)}_\pm}{z}+\frac{\mu^{(2)}_\pm}{z^2}+\cdots),\sigma_3\right]\\ &&+(I-\frac{\rm i}{z}\sigma_3Q_\pm)\left[-\frac{\rm i}{4}(|r|^2-r_0^2)\sigma_3+\frac{1}{2}(z-\frac{r_0^2}{z})\Delta Q_\pm\right](\mu^{(0)}_\pm +\frac{\mu^{(1)}_\pm}{z}+\frac{\mu^{(2)}_\pm}{z^2}+\cdots). \end{eqnarray*}$
比较 $O(z^2)$ 项, 有 $ [\mu^{(0)}_\pm,\sigma_3]=0, $ 由此可知 $\mu^{(0)}_\pm$ 是一个对角矩阵. 将其记为
$ \mu^{(0)}_\pm= \left( {\begin{array}{*{20}{c}} a(x)~&0\\ 0~&b(x) \end{array}} \right). $
$ -\frac{\rm i}{4}[\mu^{(1)}_\pm,\sigma_3]-\frac{1}{4}[\sigma_3Q_\pm\mu^{(0)}_\pm,\sigma_3]+ \frac{1}{2}\Delta Q_\pm\mu^{(0)}_\pm=0, $
(2.31) $\begin{matrix}\label{6.9} \mu^{(1)}_{\pm,o}= \left( {\begin{array}{*{20}{c}} 0~&{\rm i}b(x)r\\ {\rm i}a(x)r^*~&0 \end{array}} \right), \end{matrix}$
其中 $\mu^{(1)}_{\pm,o}$ 是 $\mu^{(1)}_\pm$ 的次对角部分. 比较 $O(1)$ 项, 有
$\begin{eqnarray*} \mu^{(0)}_{\pm,x}&=&-\frac{\rm i}{4}[\mu^{(2)}_\pm,\sigma_3]-\frac{\rm i}{4}[\sigma_3Q_\pm\mu^{(1)}_\pm,\sigma_3] -\frac{\rm i}{4}(|r|^2-r_0^2)\sigma_3\mu^{(0)}_\pm\\ &&+\frac{1}{2}\Delta Q_\pm\mu^{(1)}_\pm-\frac{\rm i}{2}\sigma_3Q_\pm\Delta Q_\pm\mu^{(0)}_\pm, \end{eqnarray*}$
(2.32) $\begin{matrix}\label{6.11} \mu^{(0)}_{\pm}={\rm e}^{{\rm i}\nu_\pm(x,t)\sigma_3}, \end{matrix}$
$\nu_\pm(x,t)=\frac{1}{4}\int_{\pm\infty}^{x}(|r|^2-r_0^2){\rm d}y. $
接下来, 考虑 Jost 解 $\mu_{\pm}(x,t,z)$ 在 $z\rightarrow 0$ 的渐近展式
(2.33) $\begin{matrix}\label{6.13} \mu_\pm(x,t,z)=\frac{\tilde{\mu}^{(-1)}_\pm(x,t)}{z}+\tilde{\mu}^{(0)}_\pm(x,t)+\tilde{\mu}^{(1)}_\pm(x,t)z+O(z^2), \quad z\rightarrow0. \end{matrix}$
同样地, 将(2.33)式带入(2.11)式, 有
$\begin{eqnarray*} \tilde{\mu}^{(-1)}_\pm={\rm e}^{{\rm i}\nu_\pm(x,t)\sigma_3}C, \end{eqnarray*}$
其中 $C$ 是一个常数 $2\times2$ 矩阵. 由(2.33)和(2.10)式知
$\begin{eqnarray*} \lim\limits_{x\rightarrow\pm\infty}z\mu_\pm=zY_\pm=z(I+\frac{\rm i}{z}\sigma_3Q_\pm)= \lim\limits_{x\rightarrow\pm\infty}(\tilde{\mu}^{(-1)}_\pm+z\tilde{\mu}^{(0)}_\pm+\cdots). \end{eqnarray*}$
因此 $C={\rm i}\sigma_3Q_\pm$ 且 $\tilde{\mu}^{(-1)}_\pm={\rm i}{\rm e}^{{\rm i}\nu_\pm(x,t)\sigma_3}\sigma_3Q_\pm$ . 证毕.
(2.34) $S(z)={\rm e}^{-{\rm i}\nu_0\sigma_3}+O(z^{-1}),\quad z\rightarrow\infty,$
(2.35) $S(z)={\rm diag}\left(\frac{r_-}{r_+},\frac{r_+}{r_-}\right){\rm e}^{{\rm i}\nu_0\sigma_3}+O(z),\quad z\rightarrow0,$
$\begin{eqnarray*} \nu_0=\frac{1}{4}\int_{-\infty}^{+\infty}(|r|^2-r^2_0){\rm d}y. \end{eqnarray*}$
证 当 $z\rightarrow\infty$ 时, 有
$\begin{eqnarray*} s_{11}&=&\frac{{\rm Wr}(\phi_{+,1},\phi_{-,2})}{\gamma}\\ &=&\det \left( {\begin{array}{*{20}{c}} {\rm e}^{{\rm i}\nu_+}+O(z^{-1})~&O(z^{-1})\\ O(z^{-1})~&{\rm e}^{-{\rm i}\nu_-}+O(z^{-1}) \end{array}} \right)\left(1-\frac{r^2_0}{z^2}+\frac{r^4_0}{z^4}+\cdots\right)\\ &=&{\rm e}^{-{\rm i}\nu_0}+O(z^{-1}), \end{eqnarray*}$
$\nu_0=\frac{1}{4}\int_{-\infty}^{+\infty}(|r|^2-r^2_0){\rm d}y. $
$s_{22}=\frac{{\rm Wr}(\phi_{-,1},\phi_{+,2})}{\gamma}={\rm e}^{{\rm i}\nu_0}+O(z^{-1}),\quad s_{12}=O(z^{-1}),\quad s_{21}=O(z^{-1}). $
$\begin{eqnarray*} s_{11}&=&\frac{{\rm Wr}(\phi_{+,1},\phi_{-,2})}{\gamma}\\ &=&\det \left( {\begin{array}{*{20}{c}} O(1)&\displaystyle{\frac{\rm i}{z}}{\rm e}^{{\rm i}\nu_-}r_-+O(1)\\ \displaystyle{\frac{\rm i}{z}}{\rm e}^{-{\rm i}\nu_+}r^*_++O(1)&O(1) \end{array}} \right)\left(\frac{z^2}{r^2_0}-\frac{z^4}{r^4_0}+\cdots\right)\\ &=&\frac{r_-}{r_+}{\rm e}^{{\rm i}\nu_0}+O(z), \end{eqnarray*}$
$s_{22}=\frac{{\rm Wr}(\phi_{-,1},\phi_{+,2})}{\gamma}=\frac{r_+}{r_-}{\rm e}^{-{\rm i}\nu_0}+O(z),\quad s_{12}=O(z),\quad s_{21}=O(z). $
3 单极解的逆问题
接下来, 借助广义矩阵 Riemann-Hilbert 问题来构造和求解逆问题. 此外, 给出了重构公式、迹公式和 $\theta$ 条件. 最后, 得到方程(1.1)的单极解.
3.1 广义矩阵 Riemann-Hilbert 问题
为了将逆问题转换为广义矩阵 Riemann-Hilbert 问题, 需要对(2.14)式中的项进行重新排列, 沿着 $\Sigma$ 建立一个关系. 利用它们的渐近性质和 Plemelj 公式, 得到 Riemann-Hilbert 问题的解.
(3.1) $\begin{matrix}\label{2.81} M(x,t,z)=\left\{ \begin{array}{lll} M^+(x,t,z)=\left(\frac{\mu_{+,1}(x,t,z)}{s_{11}(z)},\mu_{-,2}(x,t,z)\right),\ & \ z\in D^+, \\ M^-(x,t,z)=\left(\mu_{-,1}(x,t,z),\frac{\mu_{+,2}(x,t,z)}{s_{22}(z)}\right),\ & \ z\in D^-. \end{array} \right. \end{matrix}$
$\bullet$ 解析性: $M(x,t,z)$ 在 ${\Bbb C}\setminus\Sigma$ 解析且有单极点.
(3.2) $\begin{equation}\label{8.2} M^{-}(x,t,z)=M^{+}(x,t,z)(I-G(x,t,z)),\quad z\in\Sigma, \end{equation}$
(3.3) $\begin{equation}\label{8.3} G(x,t,z)= \left( {\begin{array}{*{20}{c}} 0&-{\rm e}^{2{\rm i}\theta(z)}\tilde{\rho}(z)\\ {\rm e}^{-2{\rm i}\theta(z)}\rho(z)&\rho(z)\tilde{\rho}(z) \end{array}} \right). \end{equation}$
$\begin{eqnarray*} &&M(x,t,z)\sim {\rm e}^{{\rm i}\nu_-\sigma_3}+O(z^{-1}), \quad z\rightarrow\infty,\\ &&M(x,t,z)\sim \frac{\rm i}{z}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_-+O(1), \quad z\rightarrow0. \end{eqnarray*}$
证 由 $\mu_\pm$ 和 $s_{ij}(z)$ 的解析性可得 $M(x,t,z)$ 的解析性. 此外, 由(2.14)式知
$\begin{eqnarray*} \mu_{-,1}(x,t,z)&=&\frac{\mu_{+,1}(x,t,z)}{s_{11}(z)}-\rho(z) {\rm e}^{-2{\rm i}\theta(z)}\mu_{-,2}(x,t,z),\\ \frac{\mu_{+,2}(x,t,z)}{s_{22}(z)}&=&\tilde{\rho}(z) {\rm e}^{2{\rm i}\theta(z)}\mu_{-,1}(x,t,z)+\mu_{-,2}(x,t,z)\\ &=&\tilde{\rho}(z) {\rm e}^{2{\rm i}\theta(z)}\frac{\mu_{+,1}(x,t,z)}{s_{11}(z)}+(1-\rho(z)\tilde{\rho}(z))\mu_{-,2}(x,t,z), \end{eqnarray*}$
接下来, 证明 $M(x,t,z)$ 的渐近性质. 根据(3.1)式, 则 $M^+(x,t,z)$ 表示为如下形式, 当 $z\rightarrow\infty$ , 有
$\begin{eqnarray*} M^+(x,t,z)&=&(\mu_{+,1},\mu_{-,2}) \left( {\begin{array}{*{20}{c}} \displaystyle{\frac{1}{s_{11}}}~&0\\ 0~&1 \end{array}} \right)\\ &=&\left( {\begin{array}{*{20}{c}} {\rm e}^{{\rm i}\nu_-}+O(z^{-1})&O(z^{-1})\\ O(z^{-1})&{\rm e}^{-{\rm i}\nu_-}+O(z^{-1}) \end{array}}\right)\\ &=&{\rm e}^{{\rm i}\nu_-\sigma_3}+O(z^{-1}). \end{eqnarray*}$
$\begin{eqnarray*} M^+(x,t,z)&=&(\mu_{+,1},\mu_{-,2}) \left( {\begin{array}{*{20}{c}} \displaystyle{\frac{1}{s_{11}}}~&0\\ 0~&1 \end{array}} \right)\\ &=&\left( {\begin{array}{*{20}{c}} O(1)&\displaystyle{\frac{\rm i}{z}}r_-{\rm e}^{{\rm i}\nu_-}+O(1)\\ \displaystyle{\frac{\rm i}{z}}r^*_-{\rm e}^{-{\rm i}\nu_-}+O(1)&O(1) \end{array}}\right)\\ &=&\frac{\rm i}{z}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_-+O(1). \end{eqnarray*}$
利用类似的方法可得 $M^-(x,t,z)$ 的渐近性质. 证毕.
为了提出并解决 Riemann-Hilbert 问题, 定义
(3.4) $\begin{matrix}\label{8.8} \zeta_n= \left\{\begin{array}{lll} z_n, &n=1,\cdots,N_1, \\ -z_{n-N_1}, & n=N_{1}+1,\cdots,2N_1, \\ \displaystyle{\frac{r^2_0}{z^*_{n-2N_1}}}, & n=2N_{1}+1,\cdots,3N_1, \\ -\displaystyle{\frac{r^2_0}{z^*_{n-3N_1}}}, & n=3N_{1}+1,\cdots,4N_1, \\ w_{n-4N_1},& n=4N_{1}+1,\cdots,4N_1+N_2,\\ -w_{n-4N_1-N_2},& n=4N_{1}+N_2+1,\cdots,4N_{1}+2N_2. \end{array}\right. \end{matrix}$
且 $\hat{\zeta}_n=-{\frac{r^2_0}{\zeta_n}}$ , $n=1,2,\cdots,4N_1+2N_2$ .
解决上述 Riemann-Hilbert 问题需要通过去除渐近行为和极点贡献来对其进行正则化
$\begin{eqnarray*} &&M^{-}-{\rm e}^{{\rm i}\nu_-\sigma_3}-\frac{\rm i}{z}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_- -\sum_{n=1}^{4N_1+2N_2}\frac{\mathop{{\rm Res}} \limits_{z=\hat{\zeta}_n}M^-}{z-\hat{\zeta}_n}-\sum_{n=1}^{4N_1+2N_2}\frac{\mathop{{\rm Res}} \limits_{z=\zeta_n}M^+}{z-\zeta_n}\\ &=&M^{+}-{\rm e}^{{\rm i}\nu_-\sigma_3}-\frac{\rm i}{z}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_- -\sum_{n=1}^{4N_1+2N_2}\frac{\mathop{{\rm Res}} \limits_{z=\hat{\zeta}_n}M^-}{z-\hat{\zeta}_n}-\sum_{n=1}^{4N_1+2N_2}\frac{\mathop{{\rm Res}} \limits_{z=\zeta_n}M^+}{z-\zeta_n}-M^+G. \end{eqnarray*}$
根据柯西算子和 Plemelj 公式, Riemann-Hilbert 问题的解写为如下形式
(3.5) $\begin{matrix}\label{2.90} M(x,t,z)&=&{\rm e}^{{\rm i}\nu_-\sigma_3}+\frac{\rm i}{z}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_- +\sum_{n=1}^{4N_1+2N_2}\frac{\mathop{{\rm Res}} \limits_{z=\hat{\zeta}_n}M^-}{z-\hat{\zeta}_n}+\sum_{n=1}^{4N_1+2N_2}\frac{\mathop{{\rm Res}} \limits_{z=\zeta_n}M^+}{z-\zeta_n} \\ &&+\frac{1}{2{\rm i}\pi}\int_{\Sigma}\frac{M^+(x,t,\xi)}{\xi-z}G(x,t,\xi){\rm d}\xi. \end{matrix}$
3.2 重构公式
为了呈现一个封闭的代数系统, 需要计算在(3.5)式中留数的表达式. 在(3.1)式中 $M(x,t,z)$ 的定义表明, 只有 $M^+$ 的第一列在 $z = \zeta_n$ 处有极点, $M^-$ 的第二列在 $z =\hat{\zeta}_n$ 处有极点, 则在(3.5)式中的留数部分表示为
$\begin{eqnarray*} \frac{\mathop{{\rm Res}}\limits_{z=\zeta_n}M^+(x,t,z)}{z-\zeta_n} +\frac{\mathop{{\rm Res}}\limits_{z=\hat{\zeta}_n}M^-(x,t,z)}{z-\hat{\zeta}_n} =\left[C_n(z)\mu_{-,2}(x,t,\zeta_n),\hat{C}_n(z)\mu_{-,1}(x,t,\hat{\zeta}_n)\right], \end{eqnarray*}$
$ C_n(z)=\frac{A_+[\zeta_n]{\rm e}^{-2{\rm i}\theta(x,t,\zeta_n)}}{z-\zeta_n},\quad \hat{C}_n(z)=\frac{A_-[\hat{\zeta}_n]{\rm e}^{2{\rm i}\theta(x,t,\hat{\zeta}_n)}}{z-\hat{\zeta}_n}. $
对于 $z=\zeta_n \in D^+$ , 计算 $M^+$ 的第二列, 有
(3.6) $\begin{equation}\label{8.15} \mu_{-,2}(x,t,\zeta_n)=\left( {\begin{array}{*{20}{c}} \displaystyle{\frac{\rm i}{\zeta_n}}r_-{\rm e}^{{\rm i}\nu_-}\\ {\rm e}^{-{\rm i}\nu_-} \end{array}} \right)+\sum_{n=1}^{4N_1+2N_2}\hat{C}_n(\zeta_n)\mu_{-,1}(x,t,\hat{\zeta}_n) +\frac{1}{2{\rm i}\pi}\int_{\Sigma}\frac{(M^+G)_2(x,t,\xi)}{\xi-\zeta_n}{\rm d}\xi. \end{equation}$
接下来, 根据 Riemann-Hilbert 问题的解来构造势. 当 $z\rightarrow\infty$ 时,(3.5)式的渐近展式为
(3.7) $\begin{matrix}\label{8.17} &&M(x,t,z) \\ &=&{\rm e}^{{\rm i}\nu_-\sigma_3}+\frac{1}{z} \left( {\rm i}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_- +\sum_{n=1}^{4N_1+2N_2}\left[A_+[\zeta_n]{\rm e}^{-2{\rm i}\theta(\zeta_n)}\mu_{-,2}(\zeta_n),A_-[\hat{\zeta}_n]{\rm e}^{2{\rm i}\theta(\hat{\zeta}_n)}\mu_{-,1}(\hat{\zeta}_n)\right]\right. \\ &&\left.-\frac{1}{2{\rm i}\pi}\int_{\Sigma}(M^+G)(x,t,\xi){\rm d}\xi\right)+O(z^{-2}). \end{matrix}$
取 $M=M^+$ , 比较矩阵(3.7)式在$ (1,2) $ 位置的元素, 则带有单极点势的重构公式为
(3.8) $\begin{equation}\label{8.18} r(x,t)=r_-{\rm e}^{2{\rm i}\nu_-}-{\rm e}^{{\rm i}\nu_-}\left({\rm i}\sum_{n=1}^{4N_1+2N_2} A_-[\hat{\zeta}_n]{\rm e}^{2{\rm i}\theta(x,t,\hat{\zeta}_n)} \mu_{-,11}(\hat{\zeta}_n) +\frac{1}{2\pi}\int_{\Sigma}(M^+G)_{12}(x,t,\xi){\rm d}\xi \right). \end{equation}$
3.3 迹公式和 $\theta$ 条件
回顾 $s_{11}(z)$ 在 $D^+$ 上解析, $s_{22}(z)$ 在 $D^-$ 上解析. 离散谱点 ${\zeta_n}$ 是 $s_{11}(z)$ 的单极点, ${\hat{\zeta}_n}$ 是 $s_{22}(z)$ 的单极点. 定义
$\begin{eqnarray*} &&\beta^+(z)=s_{11}(z)\prod_{n=1}^{4N_1+2N_2}\frac{z-\hat{\zeta}_n}{z-\zeta_n}{\rm e}^{{\rm i}\nu_0},\\ &&\beta^-(z)=s_{22}(z)\prod_{n=1}^{4N_1+2N_2}\frac{z-\zeta_n}{z-\hat{\zeta}_n}{\rm e}^{-{\rm i}\nu_0}. \end{eqnarray*}$
由此可知, $\beta^+(z)$ 和 $\beta^-(z)$ 分别在 $D^+$ 和 $D^-$ 上解析且没有零点.
当 $z\rightarrow\infty$ 时, $\beta^\pm\rightarrow1$ . 因此
$\beta^+(z)\beta^-(z)=\frac{1}{1+\rho(z)\rho^*(z^*)},\quad z\in\Sigma. $
$\log\beta^\pm(z)=\mp\frac{1}{2\pi {\rm i}}\int_\Sigma\frac{\log[1+\rho(\xi)\rho^*(\xi^*)]}{\xi-z}{\rm d}\xi,\quad z\in D^\pm. $
(3.9) $s_{11}(z)=\exp\left[-\frac{1}{2{\rm i}\pi}\int_{\Sigma}\frac{\log[1+\rho(\xi)\rho^*(\xi^*)]}{\xi-z}{\rm d}\xi\right] \prod^{4N_1+2N_2}_{n=1}\frac{z-\zeta_n}{z-\hat{\zeta}_n}{\rm e}^{-{\rm i}\nu_0},\quad z\in D^+,$
(3.10) $s_{22}(z)=\exp\left[\frac{1}{2{\rm i}\pi}\int_{\Sigma}\frac{\log[1+\rho(\xi)\rho^*(\xi^*)]}{\xi-z}{\rm d}\xi\right] \prod^{4N_1+2N_2}_{n=1}\frac{z-\hat{\zeta}_n}{z-\zeta_n}{\rm e}^{{\rm i}\nu_0},\qquad z\in D^-.$
当 $z\rightarrow0$ 时, 由(3.9)和(2.34)式知 $\theta$ 条件为
(3.11) $\begin{matrix}\label{8.25} \arg(\frac{r_-}{r_+})+2\nu_0=\frac{1}{2\pi}\int_\Sigma\frac{\log[1+\rho(\xi)\rho^*(\xi^*)]} {\xi}{\rm d}\xi+8\sum_{n=1}^{N_1}\arg(z_n)+4\sum_{m=1}^{N_2} \arg(w_m). \end{matrix}$
3.4 单极解的无散射势
接下来, 考虑一类特殊的解, 即反散射系数 $\rho(z)=\tilde{\rho}(z)=0$ . 在这种情况下, 有如下命题成立.
命题3.2 方程(1.1)在非零边界条件下的单极解可表示为
(3.12) $\begin{matrix}\label{2.101} r(x,t)=r_-{\rm e}^{2{\rm i}\nu_-}+{\rm i}{\rm e}^{2{\rm i}\nu_-}\frac{\det\left[\begin{array}{*{20}{c}} M~& \beta\\ \alpha^T~&0 \end{array}\right]}{\det M}, \end{matrix}$
其中$M=(m_{kn})_{(4N_1+2N_2)\times(4N_1+2N_2)}$ , $\beta=(\beta_k)_{ (4N_1+2N_2)\times1}$ , $\alpha=(\alpha_n)_{(4N_1+2N_2)\times1}$ ,
$\begin{eqnarray*} m_{kn}=\hat{C}_n(\zeta_k)-\frac{{\rm i}r_-}{\zeta_k}\delta_{k,n}, \ \beta_k=-\frac{{\rm i}r_-}{\zeta_k}, \ \alpha_n=A_-[\hat{\zeta}_n]{\rm e}^{2{\rm i}\theta(x,t,\hat{\zeta}_n)}. \end{eqnarray*}$
(3.13) $\begin{matrix}\label{2.103} \mu_{-,2}(x,t,z)=\frac{{\rm i}r_-}{z}\mu_{-,1}(x,t,-\frac{r^2_0}{z}). \end{matrix}$
$\begin{eqnarray*} \left( {\begin{array}{*{20}{c}} \displaystyle{\frac{\rm i}{\zeta_n}}r_-{\rm e}^{{\rm i}\nu_-}\\ {\rm e}^{-{\rm i}\nu_-} \end{array}} \right)+\sum_{n=1}^{4N_1+2N_2}\left(\hat{C}_n(\zeta_n)-\frac{{\rm i}r_-}{\zeta_n}\delta_{k,n}\right) \mu_{-,1}(x,t,\hat{\zeta}_n)=0, \end{eqnarray*}$
其中 $\delta_{kn}$ 表示 Kronecker delta 函数. 则
$\begin{matrix}\label{2.104} \sum_{n=1}^{4N_1+2N_2}\left(\hat{C}_n(\zeta_n)-\frac{{\rm i}r_-}{\zeta_n}\delta_{kn}\right) \mu_{-,11}(x,t,\hat{\zeta}_n)=-\frac{\rm i}{\zeta_n}r_-{\rm e}^{{\rm i}\nu_-}. \end{matrix}$
将(3.14)式带入(3.8)式, 得到(3.12)式. 证毕.
容易证明, 若 $r(x,t)$ 是方程的解, 对于任意的 $c \in \Bbb R$ , $cr(x, t)$ 也是方程的解. 因此, 不失一般性, 令 $r_0= 1$ . 通过(3.12)式, 可以得到具有非零边界方程(1.1)的单极解精确表达式.
$\bullet$ 令 $N_1=0,\ N_2=1, \ r_-=1, \ r_+={\rm e}^{{\rm i}(2\nu_0-4\beta)}, \ \omega_1={\rm e}^{{\rm i}\beta},\ A_-[\omega^*_1]={\rm e}^{{\rm i}\tau+\kappa}$ , 则
$\begin{eqnarray*} r(x,t)={\rm e}^{2{\rm i}\nu_-}\left(\frac{{\rm e}^{\varphi-2{\rm i}\beta}+\sin(2\beta)} {{\rm e}^{\varphi+2{\rm i}\beta}+\sin(2\beta)}\right), \end{eqnarray*}$
其中 $\nu_-=\frac{1}{4}\int_{-\infty}^x(|r|^2-r^2_0){\rm d}y$ , $\varphi=\frac{(8t+2x)\sin(2\beta)}{2}+{\rm i}\tau-\frac{t\sin(4\beta)}{2}+\kappa$ . 取参数 $\omega_1={\rm e}^{\frac{\pi}{6}{\rm i}}, A_-[\omega^*_1]={\rm i}$ , 得到亮孤子(见图1 (左)), 取参数 $\omega_1={\rm e}^{\frac{\pi}{6}{\rm i}},\ A[\omega^*_1]=-{\rm i}$ , 得到暗孤子 (见图1 (中)).
图1
图1
左: 参数取 $\omega_1={\rm e}^{\frac{\pi}{6}{\rm i}}, A_-[\omega^*_1]={\rm i}$ 时的亮孤子. 中: 参数取 $\omega_1={\rm e}^{\frac{\pi}{6}{\rm i}}, A_-[\omega^*_1]=-{\rm i}$ 时的暗孤子. 右: 参数取 $z_1=2{\rm e}^{\frac{\pi}{3}{\rm i}}, A_-[z^*_1]={\rm i}$ 时的呼吸解.
$\bullet$ 令 $N_1=1,\ N_2=0, \ r_-=1, \ r_+={\rm e}^{{\rm i}(2\nu_0-8\alpha)}, \ z_1=Z{\rm e}^{{\rm i}\alpha},\ Z>1, \ \alpha\in(0,\frac{\pi}{2}),\ A_-[z^*_1]={\rm e}^{\xi+{\rm i}\varphi}$ . 特别地, 取参数 $z_1=2{\rm e}^{\frac{\pi}{3}{\rm i}}, A_-[z^*_1]={\rm i}$ , 得到呼吸解的动力学结构 (见图1 (右)).
事实上, 反射系数 $\rho(z)$ , $\tilde{\rho}(z)$ 可具有多个极点. 接下来, 考虑反射系数允许具有复数共轭离散谱对的双极点情况.
4 双极解的直散射问题
带有双极点的散射问题不同于单极点的情况. 一方面, 它们可以使分段亚纯矩阵函数 $M (x,t;z)$ 表现出不同类型的极点, 进一步使得 $M (x,t;z)$ 生成不同的势. 另一方面, 迹公式和 $\theta$ 条件也与单极点的情况不同.
设离散谱点 $z_0$ 是散射系数 $s_{11}(z)$ 和 $s_{22}(z)$ 的双零点, 即对于 $\forall z_0 \in D^+$ , $s_{11}(z_0) = s^{\prime}_{11}(z_0) = 0$ , $s^{\prime\prime}_{11}(z_0)\neq0$ . 对于 $\forall z_0 \in D^-$ , $s_{22}(z_0) = s^{\prime}_{22}(z_0) = 0$ , $s^{\prime\prime}_{22}(z_0)\neq0$ .
容易证明, 若 $f$ 和 $g$ 在 $\Omega\subset{\Bbb C}$ 区域上解析, $g$ 在 $z_0\in\Omega$ 上有一个双极点且 $f(z_0)\neq0$ , 则当 $z =z_0$ 时, $f/g$ 的 Laurent 展开式的主部分系数为
(4.1) $\begin{matrix}\label{10.2} \mathop{{\rm Res}}\limits_{z=z_0}\left[\frac{f}{g}\right]=\frac{2f^{\prime}(z_0)}{g^{\prime\prime}(z_0)} -\frac{2f(z_0)g^{\prime\prime\prime}(z_0)}{3(g^{\prime\prime}(z_0))^2}, \quad\mathop{P_{-2}}\limits_ {z=z_0}\left[\frac{f}{g}\right]=\frac{2f(z_0)}{g^{\prime\prime}(z_0)}. \end{matrix}$
其中 $\mathop{{\rm Res}}\limits_{z=z_0}\left[f(x,t,z)\right]$ 和 $\mathop{P_{-2}}\limits_ {z=z_0}\left[f(x,t,z)\right]$ 分别表示 $f(x,t,z)$ 在 $z=z_0$ 的 Laurent 级数展开项 $O((z-z_0)^{-1})$ , $O((z-z_0)^{-2})$ 的系数.
由 $z_0$ 为 $s_{11}$ 的双极点, 可得
$\begin{eqnarray*} \det\big(\mu_{+,1}^{\prime}(z_0)-b_+(z_0){\rm e}^{-2{\rm i}\theta(z_0)}\mu^{\prime}_{-,2}(z_0)+2{\rm i}\theta^{\prime}(z_0) b_+(z_0){\rm e}^{-2{\rm i}\theta(z_0)}\mu_{-,2}(z_0), {\rm e}^{-2{\rm i}\theta(z_0)}\mu_{-,2}(z_0)\big)=0, \end{eqnarray*}$
(4.2) $\begin{matrix}\label{10.1} \mu_{+,1}^{\prime}(z_0)={\rm e}^{-2{\rm i}\theta(z_0)}\left[(d_+(z_0)-2{\rm i}b_+(z_0)\theta^{\prime} (z_0))\mu_{-,2}(z_0)+b_+(z_0)\mu^{\prime}_{-,2}(z_0)\right]. \end{matrix}$
(4.3) $\begin{matrix}\label{10.3} &&\mathop{P_{-2}}\limits_ {z=z_0}\left[\frac{\mu_{+,1}}{s_{11}}\right]=A_+[z_0]{\rm e}^{-2{\rm i}\theta(z_0)}\mu_{-,2}(z_0), \\ &&\mathop{{\rm Res}}\limits_{z=z_0}\left[\frac{\mu_{+,1}}{s_{11}}\right]=A_+[z_0]{\rm e}^{-2{\rm i}\theta(z_0)} \left[\mu^\prime_{-,2}(z_0)+\mu_{-,2}(z_0)(B_+[z_0]-2{\rm i}\theta^\prime(z_0))\right], \end{matrix}$
其中 $A_+[z_0]={\frac{2b_+[z_0]}{s^{\prime\prime}_{11}(z_0)}}$ , $B_+[z_0]={\frac{d_+(z_0)}{b_+(z_0)}-\frac{s^{\prime\prime\prime}_{11}(z_0)} {3s^{\prime\prime}_{11}(z_0)}}$ , $ z_0 \in Z \cap D^+$ .
由 $z^*_0$ 为 $s_{22}$ 的双极点, 可得
(4.4) $\begin{matrix}\label{10.4} \mu_{+,2}^{\prime}(z^*_0)={\rm e}^{2{\rm i}\theta(z^*_0)}\left[(d_-(z^*_0)+2{\rm i}b_-(z^*_0)\theta^{\prime} (z^*_0))\mu_{-,1}(z^*_0)+b_-(z^*_0)\mu^{\prime}_{-,1}(z^*_0)\right], \end{matrix}$
(4.5) $\begin{matrix}\label{10.5} &&\mathop{P_{-2}}\limits_ {z=z^*_0}\left[\frac{\mu_{+,2}}{s_{22}}\right]=A_-[z^*_0]{\rm e}^{2{\rm i}\theta(z^*_0)}\mu_{-,1}(z^*_0), \\ &&\mathop{{\rm Res}}\limits_{z=z^*_0}\left[\frac{\mu_{+,2}}{s_{22}}\right]=A_-[z^*_0]{\rm e}^{2{\rm i}\theta(z^*_0)} \left[\mu^\prime_{-,1}(z^*_0)+\mu_{-,1}(z^*_0)(B_-[z^*_0]+2{\rm i}\theta^\prime(z^*_0))\right], \end{matrix}$
其中 $A_-[z_0]={\frac{2b_-[z^*_0]}{s^{\prime\prime}_{22}(z^*_0)}}$ , $B_-[z^*_0]={\frac{d_-(z^*_0)}{b_-(z^*_0)}-\frac{s^{\prime\prime\prime}_{22}(z^*_0)} {3s^{\prime\prime}_{22}(z^*_0)}}$ , $ z^*_0 \in Z \cap D^-$ .
命题4.1 对于 $n=1,2,\cdots,N_1$ , $m=1,2,\cdots,N_2$ , 有
$\begin{eqnarray*} A_+[z_n]&=&-A_+[-z_n]=-\frac{r^*_-}{r_-}\frac{z^4_n}{r^4_0}A^*_+\left[-\frac{r^2_0}{z^*_n}\right]= \frac{r^*_-}{r_-}\frac{z^4_n}{r^4_0}A^*_+\left[\frac{r^2_0}{z^*_n}\right]\\ &=&-A^*_-[z^*_n]=A^*_-[-z^*_n]=\frac{r^*_-}{r_-}\frac{z^4_n}{r^4_0}A_- \left[-\frac{r^2_0}{z_n}\right]=-\frac{r^*_-}{r_-}\frac{z^4_n}{r^4_0}A_-\left[\frac{r^2_0}{z_n}\right],\\ A_+[\omega_m]&=&-A_+[-\omega_m]=-A^*_-[\omega^*_m]=A^*_-[-\omega^*_m], \\ B_+[z_n]&=&-B_+[-z_n]=\frac{r^2_0}{z^2_n}B^*_+\left[-\frac{r^2_0}{z^*_n}\right]+\frac{2}{z_n}= -\frac{r^2_0}{z^2_n}B^*_+\left[\frac{r^2_0}{z^*_n}\right]+\frac{2}{z_n}\\ &=&B^*_-[z^*_n]=-B^*_-[-z^*_n]=\frac{r^2_0}{z^2_n}B_-\left[-\frac{r^2_0}{z_n}\right]+\frac{2}{z_n}= -\frac{r^2_0}{z^2_n}B_-\left[\frac{r^2_0}{z_n}\right]+\frac{2}{z_n},\\ B_+[\omega_m]&=&-B_+[-\omega_m]= B^*_-[\omega^*_m]=-B^*_-[-\omega^*_m]. \end{eqnarray*}$
证 根据命题 2.4, 利用 $A_\pm[z_0]$ 和 $B_\pm[z_0]$ 的定义, 可以证明命题. 详细的证明也可以参考文献[10 ].
5 双极解的逆问题
与单极点类似, 通过求解广义的矩阵 Riemann-Hilbert 问题, 得到了重构公式、迹公式和 $\theta$ 条件. 另外, 给出了方程(1.1)的双极解.
5.1 留数条件和重构公式
命题 3.1 中的 Riemann-Hilbert 问题仍适用于双极情况. 要解决这类 Riemann-Hilbert 问题, 必须消除渐近性质和奇点贡献
$\begin{eqnarray*} &&M^{-}-{\rm e}^{{\rm i}\nu_-\sigma_3}-\frac{\rm i}{z}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_- -\sum_{n=1}^{4N_1+2N_2}\left\{\frac{\mathop{{\rm Res}} \limits_{z=\zeta_n}M^+}{z-\zeta_n} +\frac{\mathop{P_{-2}} \limits_{z=\zeta_n}M^+}{(z-\zeta_n)^2}+\frac{\mathop{{\rm Res}} \limits_{z=\hat{\zeta}_n}M^-}{z-\hat{\zeta}_n}+ \frac{\mathop{P_{-2}}\limits_{z=\hat{\zeta}_n}M^-}{(z-\hat{\zeta}_n)^2} \right\}\\ &=&M^{+}-{\rm e}^{{\rm i}\nu_-\sigma_3}-\frac{\rm i}{z}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_- -\sum_{n=1}^{4N_1+2N_2}\left\{\frac{\mathop{{\rm Res}} \limits_{z=\zeta_n}M^+}{z-\zeta_n} +\frac{\mathop{P_{-2}} \limits_{z=\zeta_n}M^+}{(z-\zeta_n)^2}+\frac{\mathop{{\rm Res}} \limits_{z=\hat{\zeta}_n}M^-}{z-\hat{\zeta}_n}+ \frac{\mathop{P_{-2}}\limits_{z=\hat{\zeta}_n}M^-}{(z-\hat{\zeta}_n)^2} \right\}\\ &&-M^+G. \end{eqnarray*}$
利用柯西算子和 Plemelj 公式, 可以得到带有双极点的 Riemann-Hilbert 问题的解
(5.1) $\begin{matrix}\label{10.9} M(x,t,z)&=&{\rm e}^{{\rm i}\nu_-\sigma_3}+\frac{\rm i}{z}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_- \\ &&+\sum_{n=1}^{4N_1+2N_2}\left\{\frac{\mathop{{\rm Res}} \limits_{z=\zeta_n}M^+}{z-\zeta_n} +\frac{\mathop{P_{-2}} \limits_{z=\zeta_n}M^+}{(z-\zeta_n)^2}+\frac{\mathop{{\rm Res}} \limits_{z=\hat{\zeta}_n}M^-}{z-\hat{\zeta}_n}+ \frac{\mathop{P_{-2}}\limits_{z=\hat{\zeta}_n}M^-}{(z-\hat{\zeta}_n)^2} \right\} \\ &&+\frac{1}{2\pi {\rm i}}\int_\Sigma \frac{M^+(x,t,\xi)G(x,t,\xi)}{\xi-z}{\rm d}\xi,\quad z\in{\Bbb C}\backslash \Sigma. \end{matrix}$
为了进一步表示 Riemann-Hilbert 问题的解, 需要计算 $P_{-2} (\cdot)$ 和 Res $(\cdot)$ . 利用(4.3)和(4.5)式, 有
(5.2) $\begin{matrix}\label{11.3} &&\frac{\mathop{{\rm Res}} \limits_{z=\zeta_n}M^+}{z-\zeta_n} +\frac{\mathop{P_{-2}} \limits_{z=\zeta_n}M^+}{(z-\zeta_n)^2}+\frac{\mathop{{\rm Res}} \limits_{z=\hat{\zeta}_n}M^-}{z-\hat{\zeta}_n}+ \frac{\mathop{P_{-2}}\limits_{z=\hat{\zeta}_n}M^-}{(z-\hat{\zeta}_n)^2} \\ &=&\bigg(C_n(z)\left[\mu^{\prime}_{-,2}(\zeta_n) +\left(D_n+\frac{1}{z-\zeta_n}\right)\mu_{-,2}(\zeta_n)\right], \\ && \hat{C}_n(z)\left[\mu^{\prime}_{-,1}(\hat{\zeta}_n) +\left(\hat{D}_n+\frac{1}{z-\hat{\zeta}_n}\right)\mu_{-,1}(\hat{\zeta}_n)\right]\bigg), \end{matrix}$
$\begin{eqnarray*} &&C_n(z)=\frac{A_+[\zeta_n]}{z-\zeta_n}{\rm e}^{-2{\rm i}\theta(\zeta_n)}, \quad D_n=B_+[\zeta_n] -2{\rm i}\theta^\prime(\zeta_n),\\ &&\hat{C}_n(z)=\frac{A_-[\hat{\zeta}_n]}{z-\hat{\zeta}_n}{\rm e}^{2{\rm i}\theta(\hat{\zeta}_n)}, \quad \hat{D}_n=B_-[\hat{\zeta}_n]+2{\rm i}\theta^\prime(\hat{\zeta}_n). \end{eqnarray*}$
接下来, 需要计算 $\mu^\prime_{-,2}(\zeta_n)$ , $\mu_{-,2}(\zeta_n)$ , $\mu^\prime_{-,1}(\hat{\zeta}_n)$ , 和 $\mu_{-,1}(\hat{\zeta}_n)$ .(5.1) 式的第二列表示为
(5.3) $\begin{matrix}\label{11.5} \mu_{-,2}(z)&=&\left( {\begin{array}{*{20}{c}} \displaystyle{\frac{{\rm i}r_-}{z}}{\rm e}^{{\rm i}\nu_-}\\ {\rm e}^{-{\rm i}\nu_-} \end{array}} \right)+\sum_{n=1}^{4N_1+2N_2}\hat{C}_n(z)\left[\mu^{\prime}_{-,1}(\hat{\zeta}_n) +\left(\hat{D}_n+\frac{1}{z-\hat{\zeta}_n}\right)\mu_{-,1}(\hat{\zeta}_n)\right] \\ &&+\frac{1}{2\pi {\rm i}}\int_\Sigma\frac{(M^+G)_2(\xi)}{\xi-z}{\rm d}\xi. \end{matrix}$
将(2.22)式的第二个方程带入(5.3)式, 令 $z=\zeta_k$ , $k=1,2,\cdots,4N_1+2N_2$ , 则
$\begin{eqnarray*} 0&=&\left( {\begin{array}{*{20}{c}} \displaystyle{\frac{{\rm i}r_-}{\zeta_k}}{\rm e}^{{\rm i}\nu_-}\\ {\rm e}^{-{\rm i}\nu_-} \end{array}} \right)+\frac{1}{2\pi {\rm i}}\int_\Sigma\frac{(M^+G)_2(\xi)}{\xi-\zeta_k}{\rm d}\xi +\sum_{n=1}^{4N_1+2N_2} \bigg\{\hat{C}_n(\zeta_k)\mu^{\prime}_{-,1}(\hat{\zeta}_n)\\ &&+\left[\hat{C}_n(\zeta_k)\left(\hat{D}_n+\frac{1}{\zeta_k-\hat{\zeta}_n}\right) -\frac{{\rm i}r_-}{\zeta_k}\delta_{kn}\right]\mu_{-,1}(\hat{\zeta}_n)\bigg\}. \end{eqnarray*}$
取 $\mu_{-,2}(z)$ 关于 $z$ 的一阶导数, 则
(5.4) $\begin{matrix}\label{11.6} \mu^\prime_{-,2}(x,t,z)&=&-\left( {\begin{array}{*{20}{c}} \displaystyle{\frac{{\rm i}r_-}{z^2}}{\rm e}^{{\rm i}\nu_-}\\ 0 \end{array}} \right)-\sum_{n=1}^{4N_1+2N_2}\frac{\hat{C}_n(z)}{z-\hat{\zeta}_n} \left[\mu^{\prime}_{-,1}(\hat{\zeta}_n) +\left(\hat{D}_n+\frac{2}{z-\hat{\zeta}_n}\right)\mu_{-,1}(\hat{\zeta}_n)\right] \\ &&+\frac{1}{2\pi {\rm i}}\int_\Sigma\frac{(M^+G)_2(\xi)}{(\xi-z)^2}{\rm d}\xi. \end{matrix}$
(5.5) $\begin{matrix}\label{3.15} \mu_{-,2}^\prime(z)=-\frac{{\rm i}r_-}{z^2}\mu_{-,1}(-\frac{r^2_0}{z}) +\frac{{\rm i}r^2_0r_-}{z^3}\mu_{-,1}^\prime(-\frac{r^2_0}{z}). \end{matrix}$
将(5.5)式带入(5.4)式, 令 $z=\zeta_k$ , $k=1,2,\cdots,4N_1+2N_2$ , 则
$\begin{eqnarray*} 0&=&\left( {\begin{array}{*{20}{c}} -\displaystyle{\frac{{\rm i}r_-}{\zeta^2_k}}{\rm e}^{{\rm i}\nu_-}\\ 0 \end{array}} \right)+\frac{1}{2\pi {\rm i}}\int_\Sigma\frac{(M^+G)_2(\xi)}{(\xi-\zeta_k)^2}{\rm d}\xi -\sum_{n=1}^{4N_1+2N_2}\left[\left(\frac{\hat{C}_n(\zeta_k)}{\zeta_k-\hat{\zeta}_n} +\frac{{\rm i}r^2_0r_-}{\zeta^3_k}\delta_{kn}\right)\mu^{\prime}_{-,1}(\hat{\zeta}_n)\right.\\ &&\left.+\left(\frac{\hat{C}_n(\zeta_k)} {\zeta_k-\hat{\zeta}_n}(\hat{D}_n+\frac{2}{\zeta_k-\hat{\zeta}_n}) -\frac{{\rm i}r_-}{\zeta^2_k}\delta_{kn}\right)\mu_{-,1}(\hat{\zeta}_n)\right]. \end{eqnarray*}$
根据 Riemann-Hilbert 的解来构造势. 当 $z\rightarrow\infty$ 时,(5.1)式的渐近展式为
(5.6) $\begin{matrix}\label{11.10} M(x,t,z)&=&{\rm e}^{{\rm i}\nu_-\sigma_3}+\frac{1}{z}\left({\rm i}{\rm e}^{{\rm i}\nu_-\sigma_3}\sigma_3Q_-+\sum_{n=1}^{4N_1+2N_2} \left(A_+(\zeta_n){\rm e}^{-2{\rm i}\theta(\zeta_n)}(\mu^\prime_{-,2}(\zeta_n)+D_n\mu_{-,2}(\zeta_n))\right),\right. \\ &&\left.\left(A_-(\hat{\zeta}_n){\rm e}^{2{\rm i}\theta(\hat{\zeta}_n)}(\mu^\prime_{-,1}(\hat{\zeta}_n) +\hat{D}_n\mu_{-,1}(\hat{\zeta}_n))\right)-\frac{1}{2\pi {\rm i}}\int_\Sigma (M^+G)(\xi){\rm d}\xi\right). \end{matrix}$
取 $M=M^+$ , 比较矩阵(5.6)在 $(1,2)$ 位置的元素, 则带有双极点势的重构公式为
$\begin{eqnarray*} r(x,t)&=&r_-{\rm e}^{2{\rm i}\nu_-}+{\rm e}^{{\rm i}\nu_-}\Bigg(-{\rm i}\sum_{n=1}^{4N_1+2N_2} A_-(\hat{\zeta}_n){\rm e}^{2{\rm i}\theta(\hat{\zeta}_n)}\left(\mu^\prime_{-,11}(\hat{\zeta}_n) +\hat{D}_n\mu_{-,11}(\hat{\zeta}_n)\right) \\ &&+\frac{1}{2\pi}\int_\Sigma (M^+G)_{12}(\zeta){\rm d}\xi \Bigg). \end{eqnarray*}$
5.2 迹公式和 $\theta$ 条件
$\begin{eqnarray*} &&\beta^+(z)=s_{11}(z)\prod_{n=1}^{4N_1+2N_2}\left(\frac{z-\hat{\zeta}_n}{z-\zeta_n}\right)^2{\rm e}^{{\rm i}\nu_0},\\ &&\beta^-(z)=s_{22}(z)\prod_{n=1}^{4N_1+2N_2}\left(\frac{z-\zeta_n}{z-\hat{\zeta}_n}\right)^2{\rm e}^{-{\rm i}\nu_0}. \end{eqnarray*}$
容易证明 $\beta^+(z)$ 和 $\beta^-(z)$ 分别在 $D^+$ 和 $D^-$ 上解析且没有零点. 当 $z \rightarrow\infty$ 时, $\beta^\pm(z)\rightarrow 1$ . 则
$ -\log \beta^+(z)-\log\beta^-(z)=\log[1+\rho(z)\hat{\rho}(z^*)]. $
$\log\beta^{\pm}(z)=\mp\frac{1}{2\pi {\rm i}}\int_\Sigma\frac{\log[1+\rho(\xi)\tilde{\rho}(\xi^*)]}{\xi-z}{\rm d}\xi,\quad z\in D^{\pm}. $
(5.7) $s_{11}(z)=\exp\left[-\frac{1}{2{\rm i}\pi}\int_{\Sigma}\frac{\log[1+\rho(\xi)\rho^*(\xi^*)]}{\xi-z}{\rm d}\xi\right] \prod^{4N_1+2N_2}_{n=1}\left(\frac{z-\zeta_n}{z-\hat{\zeta}_n}\right)^2{\rm e}^{-{\rm i}\nu_0},\quad z\in D^+,$
(5.8) $s_{22}(z)=\exp\left[\frac{1}{2{\rm i}\pi}\int_{\Sigma}\frac{\log[1+\rho(\xi)\rho^*(\xi^*)]}{\xi-z}{\rm d}\xi\right] \prod^{4N_1+2N_2}_{n=1}\left(\frac{z-\hat{\zeta}_n}{z-\zeta_n}\right)^2{\rm e}^{{\rm i}\nu_0},\quad z\in D^-.$
当 $z\rightarrow0$ 时, 考虑(5.7)和(2.34)式, 则 $\theta$ 条件为
$ \arg(\frac{r_-}{r_+})+2\nu_0=\frac{1}{2\pi}\int_\Sigma\frac{\log[1+\rho(z)\rho^*(z^*)]} {\zeta}{\rm d}\zeta+16\sum_{n=1}^{N_1}\arg(z_n)+8\sum_{m=1}^{N_2}\arg(w_m). $
5.3 双极解的无反射势
命题5.1 方程(1.1)在非零边界条件下的双极解可表示为
(5.9) $\begin{matrix}\label{5.9a} r(x,t)=r_-{\rm e}^{2{\rm i}\nu_-}+{\rm i}{\rm e}^{2{\rm i}\nu_-}\frac{\det G}{\det H}, \end{matrix}$
$ G=\left[ {\begin{array}{*{20}{c}} H~&\beta\\ \alpha^T~&0 \end{array}} \right], \quad \beta=\left[ {\begin{array}{*{20}{c}} \beta^{(1)}\\ \beta^{(2)} \end{array}} \right],\quad \ \alpha=\left[ {\begin{array}{*{20}{c}} \alpha^{(1)}\\ \alpha^{(2)} \end{array}} \right], $
$ \beta^{(1)}=\left(-\frac{{\rm i}r_-}{\zeta_j}\right)_{(4N_1+2N_2)\times1},\quad \beta^{(2)}=\left(-\frac{{\rm i}r_-}{\zeta^2_j}\right)_{(4N_1+2N_2)\times1},\\ $
$ \alpha^{(1)}=\left(A_-[\hat{\zeta_j}]{\rm e}^{2{\rm i}\theta(x,t,\hat{\zeta_j})}\hat{D}_n\right)_{1\times(4N_1+2N_2)},\quad \alpha^{(2)}=\left(A_-[\hat{\zeta_j}]{\rm e}^{2{\rm i}\theta(x,t,\hat{\zeta_j})}\right)_{1\times(4N_1+2N_2)}. $
定义 $H$ 为 $(8N_1+4N_2)\times(8N_1+ 4N_2)$ 矩阵
$\begin{eqnarray*} &&H=\left[ {\begin{array}{*{20}{c}} H^{(1,1)}~&H^{(1,2)}\\ H^{(2,1)}~&H^{(2,2)} \end{array}} \right],\quad H^{(m,j)}=(h^{(m,j)}_{s,n})_{(4N_1+2N_2)\times(4N_1+2N_2)}, \ m,j=1,2,\\ &&h^{(1,1)}_{s,n}=\hat{C}_n(\zeta_s)\left(\hat{D}_n+\frac{1}{\zeta_s-\hat{\zeta}_n}\right) -\frac{{\rm i}r_-}{\zeta_s}\delta_{s,n}, \quad h^{(1,2)}_{s,n}=\hat{C}_n(\zeta_s), \ s,n=1,2, \\ &&h^{(2,1)}_{s,n}=\frac{\hat{C}_n(\zeta_s)}{\zeta_s-\hat{\zeta}_n}\left(\hat{D}_n +\frac{2}{\zeta_s-\hat{\zeta}_n}\right)-\frac{{\rm i}r_-}{\zeta^2_s}\delta_{s,n}, \quad h^{(2,2)}_{s,n}=\frac{\hat{C}_n(\zeta_s)}{\zeta_s-\hat{\zeta}_n} +\frac{{\rm i}r_-r^2_0}{\zeta^3_s}\delta_{s,n}. \end{eqnarray*}$
当 $N=1$ 时,(5.9)式中双极解的表达式非常复杂, 因此没有明确给出. 然而, 在软件 Maple 的帮助下, 通过取不同参数, 得到的相应动力学结构.
$\bullet$ 取 $N_1=0,\ N_2=1, \ r_-=1, \ r_+={\rm e}^{{\rm i}(2\nu_0-8\beta)}, \ \omega_1={\rm e}^{ i\beta}, \ A_-[\omega^*_1]={\rm e}^{{\rm i}\tau_1+\kappa_1},\ B_-[\omega^*_1]={\rm e}^{{\rm i}\tau_2+\kappa_2}$ , 图2 (左, 中) 分别展示了双极解的三维图和密度图.
图2
图2
左: 参数取 $ \omega_1={\rm e}^{\frac{\pi}{3}{\rm i}}, A_-[\omega^*_1]={\rm i}, B_-[\omega^*_1]={\rm i}$ 时的双极解. 中: 密度图. 右: 参数取 $ z_1=2{\rm e}^{\frac{\pi}{3}{\rm i}}, A_-[z^*_1]={\rm i}, B_-[z^*_1]={\rm i}$ 时的两个呼吸解.
$\bullet$ 取 $N_1=1,\ N_2=0, \ r_-=1, \ r_+={\rm e}^{{\rm i}(2\nu_0-16\alpha)},\ z_1=Z{\rm e}^{{\rm i}\alpha},\ Z>1,\ \alpha\in(0,\frac{\pi}{2}), \ A_-[z^*_1]={\rm e}^{{\rm i}\xi_1+\varphi_1},\ B_-[z^*_1]={\rm e}^{{\rm i}\xi_2+\varphi_2}$ . 图2 (右) 描述了带有相同速度的两个呼吸解之间的相互作用.
6 结论
该文研究了在无穷远处方程(1.1)在非零边界条件下的单极解和双极解. 通过解决直散射问题, 得到了 Jost 解和散射矩阵的解析性、对称性、渐近性和离散谱. 逆问题是建立在矩阵 Riemann-Hilbert 问题的基础上. 最后, 得到了方程(1.1)的单极解和双极解公式, 并通过图形分别展示了他们的动力学行为. 近年来, 关于方程解的长时间渐近行为的研究已成为一个热门话题. 今后, 将继续研究具有非零边界条件的方程(1.1)的长时间渐近行为.
参考文献
View Option
[1]
Kundu A . Landau-Lifshitz and higherorder nonlinear systems gauge generated from nonlinear Schrödinger type equations
J Math Phys , 1984 , 25 (12 ): 3433 -3438
DOI:10.1063/1.526113
URL
[本文引用: 1]
[2]
Kivshar Y S , Agrawal G P . Optical Solitons:From Fibers to Photonic Crystals . New York : Academic , 2003
[本文引用: 1]
[3]
Dysthe K B . Note on the modification of the nonlinear Schödinger equation for application to deep water waves
Proc R Soc Lond A , 1979 , 369 (1736 ): 105 -114
DOI:10.1098/rspa.1979.0154
URL
[本文引用: 1]
[5]
Hu B B , Zhang L , Zhang N . On the Riemann-Hilbert problem for the mixed Chen-Lee-Liu derivative nonlinear Schrödinger equation
J Comput Appl Math , 2021 , 390 : 113393
DOI:10.1016/j.cam.2021.113393
URL
[本文引用: 1]
[6]
Zhang Y S , Guo L J , Chabchoub A . Higher-order rogue wave dynamics for a derivative nonlinear Schrödinger equation . https://arxiv.org/pdf/1409.7923v2.pdf
URL
[本文引用: 1]
[7]
Fang F , Hu B B , Zhang L . Riemann-Hilbert method and $N$ - soliton solutions for the mixed Chen-Lee-Liu derivative nonlinear Schrödinger equation . https://arxiv.org/pdf/2004.03193.pdf
URL
[本文引用: 1]
[8]
Zhao Y , Fan E G . N-soliton solution for a higher-order Chen-Lee-Liu equation with nonzero boundary conditions
Modern Phys Lett B , 2020 , 34 (4 ): 2050054
DOI:10.1142/S0217984920500542
URL
[本文引用: 1]
[9]
Biondini G , Kovačič G . Inverse scattering transform for the focusing nonlinear Schrödinger equation with nonzero boundary conditions
J Math Phys , 2014 , 55 (3 ): 031506
DOI:10.1063/1.4868483
URL
[本文引用: 1]
[10]
Pichler M , Biondini G . On the focusing non-linear Schrödinger equation with non-zero boundary conditions and double poles
IMA J Appl Math , 2017 , 82 (1 ): 131 -151
DOI:10.1093/imamat/hxw009
URL
[本文引用: 2]
[11]
Wen L L , Zhang N , Fan E G . $N$ - soliton solution of the Kundu-Type equation via Riemann-Hilbert approach
Acta Mathematica Scientia , 2020 , 40B (1 ): 113 -126
[本文引用: 1]
[12]
Zhang B , Fan E G . Riemann-Hilbert approach for a Schrödinger-type equation with nonzero boundary conditions
Modern Phys Lett B , 2021 , 35 (12 ): 2150208
DOI:10.1142/S0217984921502080
URL
[本文引用: 1]
[13]
Zhang G Q , Yan Z Z . The derivative nonlinear Schrödinger equation with zero/nonzero boundary conditions: Inverse scattering transforms and N-double-pole solutions
J Nonlinear Sci , 2020 , 30 (2 ): 3089 -3127
DOI:10.1007/s00332-020-09645-6
URL
[本文引用: 1]
[14]
Zhang G Q , Yan Z Z . Focusing and defocusing Hirota equations with non-zero boundary conditions: Inverse scattering transforms and soliton solutions
Commun Nonlinear Sci Numer Simulat , 2020 , 80 : 104927
DOI:10.1016/j.cnsns.2019.104927
URL
[本文引用: 1]
[15]
Zhang G Q , Yan Z Z . Focusing and defocusing mKdV equations with nonzero boundary conditions: Inverse scattering transforms and soliton interactions
Physica D , 2020 , 410 : 132521
DOI:10.1016/j.physd.2020.132521
URL
[本文引用: 1]
[17]
Faddeev L D , Takhtajan L A . Hamiltonian Methods in the Theory of Solitons
Berlin: Springer , 1987
[本文引用: 1]
Landau-Lifshitz and higherorder nonlinear systems gauge generated from nonlinear Schr?dinger type equations
1
1984
... 方程(1.1)是 Kundu 在研究非线性薛定谔型方程的规范变换时首次得到的[1 ] . 在光学领域, $|r|^2r$ 表示由光强引起的折射率的变化 [2 ] , $|r|^2r_x$ 表示自陡峭效应. 在流体力学中,方程(1.1)可以从 Dysthe 方程中通过忽略平均流量项获得 [3 ] . 模型(1.1)用于描述非线性光纤和水波水槽中的实验现象 [4 ] . ...
1
2003
... 方程(1.1)是 Kundu 在研究非线性薛定谔型方程的规范变换时首次得到的[1 ] . 在光学领域, $|r|^2r$ 表示由光强引起的折射率的变化 [2 ] , $|r|^2r_x$ 表示自陡峭效应. 在流体力学中,方程(1.1)可以从 Dysthe 方程中通过忽略平均流量项获得 [3 ] . 模型(1.1)用于描述非线性光纤和水波水槽中的实验现象 [4 ] . ...
Note on the modification of the nonlinear Sch?dinger equation for application to deep water waves
1
1979
... 方程(1.1)是 Kundu 在研究非线性薛定谔型方程的规范变换时首次得到的[1 ] . 在光学领域, $|r|^2r$ 表示由光强引起的折射率的变化 [2 ] , $|r|^2r_x$ 表示自陡峭效应. 在流体力学中,方程(1.1)可以从 Dysthe 方程中通过忽略平均流量项获得 [3 ] . 模型(1.1)用于描述非线性光纤和水波水槽中的实验现象 [4 ] . ...
Rogue wave modes for a derivative nonlinear Schr?dinger model
1
2014
... 方程(1.1)是 Kundu 在研究非线性薛定谔型方程的规范变换时首次得到的[1 ] . 在光学领域, $|r|^2r$ 表示由光强引起的折射率的变化 [2 ] , $|r|^2r_x$ 表示自陡峭效应. 在流体力学中,方程(1.1)可以从 Dysthe 方程中通过忽略平均流量项获得 [3 ] . 模型(1.1)用于描述非线性光纤和水波水槽中的实验现象 [4 ] . ...
On the Riemann-Hilbert problem for the mixed Chen-Lee-Liu derivative nonlinear Schr?dinger equation
1
2021
... Hu 等[5 ] 研究了半直线上(1.1)的初始边值问题. Zhang 等[6 ] 通过 Darboux 变换得到了(1.1)的高阶解. 然后, Fang 等 [7 ] 得到了具有零边界条件的(1.1)的孤子解. 最近, Zhao 和 Fan [8 ] 通过 Riemann-Hilbert 方法研究了具有非零边界条件的(1.1)的多孤子解. ...
1
... Hu 等[5 ] 研究了半直线上(1.1)的初始边值问题. Zhang 等[6 ] 通过 Darboux 变换得到了(1.1)的高阶解. 然后, Fang 等 [7 ] 得到了具有零边界条件的(1.1)的孤子解. 最近, Zhao 和 Fan [8 ] 通过 Riemann-Hilbert 方法研究了具有非零边界条件的(1.1)的多孤子解. ...
1
... Hu 等[5 ] 研究了半直线上(1.1)的初始边值问题. Zhang 等[6 ] 通过 Darboux 变换得到了(1.1)的高阶解. 然后, Fang 等 [7 ] 得到了具有零边界条件的(1.1)的孤子解. 最近, Zhao 和 Fan [8 ] 通过 Riemann-Hilbert 方法研究了具有非零边界条件的(1.1)的多孤子解. ...
N-soliton solution for a higher-order Chen-Lee-Liu equation with nonzero boundary conditions
1
2020
... Hu 等[5 ] 研究了半直线上(1.1)的初始边值问题. Zhang 等[6 ] 通过 Darboux 变换得到了(1.1)的高阶解. 然后, Fang 等 [7 ] 得到了具有零边界条件的(1.1)的孤子解. 最近, Zhao 和 Fan [8 ] 通过 Riemann-Hilbert 方法研究了具有非零边界条件的(1.1)的多孤子解. ...
Inverse scattering transform for the focusing nonlinear Schr?dinger equation with nonzero boundary conditions
1
2014
... 最近, 研究可积系统的孤子解已成为一个热门话题 [9 ⇓ -11 ] . Zhang 和 Fan 通过 Riemann-Hilbert 方法获得了具有非零边界条件的薛定谔型方程的多孤子 [12 ] . Zhang 和 Yan 获得了具有零边界条件和非零边界条件的导数非线性薛定谔方程的孤子解 [13 ] . Zhang 和 Yan 研究了具有非零边界条件的聚焦和散焦 Hirota 方程的孤子解 [14 ] . ...
On the focusing non-linear Schr?dinger equation with non-zero boundary conditions and double poles
2
2017
... 最近, 研究可积系统的孤子解已成为一个热门话题 [9 ⇓ -11 ] . Zhang 和 Fan 通过 Riemann-Hilbert 方法获得了具有非零边界条件的薛定谔型方程的多孤子 [12 ] . Zhang 和 Yan 获得了具有零边界条件和非零边界条件的导数非线性薛定谔方程的孤子解 [13 ] . Zhang 和 Yan 研究了具有非零边界条件的聚焦和散焦 Hirota 方程的孤子解 [14 ] . ...
... 证 根据命题 2.4, 利用 $A_\pm[z_0]$ 和 $B_\pm[z_0]$ 的定义, 可以证明命题. 详细的证明也可以参考文献[10 ]. ...
$N$ -soliton solution of the Kundu-Type equation via Riemann-Hilbert approach
1
2020
... 最近, 研究可积系统的孤子解已成为一个热门话题 [9 ⇓ -11 ] . Zhang 和 Fan 通过 Riemann-Hilbert 方法获得了具有非零边界条件的薛定谔型方程的多孤子 [12 ] . Zhang 和 Yan 获得了具有零边界条件和非零边界条件的导数非线性薛定谔方程的孤子解 [13 ] . Zhang 和 Yan 研究了具有非零边界条件的聚焦和散焦 Hirota 方程的孤子解 [14 ] . ...
Riemann-Hilbert approach for a Schr?dinger-type equation with nonzero boundary conditions
1
2021
... 最近, 研究可积系统的孤子解已成为一个热门话题 [9 ⇓ -11 ] . Zhang 和 Fan 通过 Riemann-Hilbert 方法获得了具有非零边界条件的薛定谔型方程的多孤子 [12 ] . Zhang 和 Yan 获得了具有零边界条件和非零边界条件的导数非线性薛定谔方程的孤子解 [13 ] . Zhang 和 Yan 研究了具有非零边界条件的聚焦和散焦 Hirota 方程的孤子解 [14 ] . ...
The derivative nonlinear Schr?dinger equation with zero/nonzero boundary conditions: Inverse scattering transforms and N-double-pole solutions
1
2020
... 最近, 研究可积系统的孤子解已成为一个热门话题 [9 ⇓ -11 ] . Zhang 和 Fan 通过 Riemann-Hilbert 方法获得了具有非零边界条件的薛定谔型方程的多孤子 [12 ] . Zhang 和 Yan 获得了具有零边界条件和非零边界条件的导数非线性薛定谔方程的孤子解 [13 ] . Zhang 和 Yan 研究了具有非零边界条件的聚焦和散焦 Hirota 方程的孤子解 [14 ] . ...
Focusing and defocusing Hirota equations with non-zero boundary conditions: Inverse scattering transforms and soliton solutions
1
2020
... 最近, 研究可积系统的孤子解已成为一个热门话题 [9 ⇓ -11 ] . Zhang 和 Fan 通过 Riemann-Hilbert 方法获得了具有非零边界条件的薛定谔型方程的多孤子 [12 ] . Zhang 和 Yan 获得了具有零边界条件和非零边界条件的导数非线性薛定谔方程的孤子解 [13 ] . Zhang 和 Yan 研究了具有非零边界条件的聚焦和散焦 Hirota 方程的孤子解 [14 ] . ...
Focusing and defocusing mKdV equations with nonzero boundary conditions: Inverse scattering transforms and soliton interactions
1
2020
... 据我们所知, 目前对于具有非零边界条件的方程(1.1)还没有人研究. 本文根据 Zhang 和 Yan [15 ] 的思想, 利用 Riemann-Hilbert 方法构造了方程(1.1)的单极解和双极解. 为了便于计算, 设非零边界条件如下 ...
Painlevé analysis of the non-linear Schr?dinger family of equations
1
1987
... 由文献[16 ] 知方程(1.1)的 Lax 对为 ...
Hamiltonian Methods in the Theory of Solitons
1
1987
... 为了避免特征值 $\lambda$ 的多值情况, 现在定义一个均匀化变量 [17 ] ...