1: \documentclass{jnmp}
2:
3: % Packages that might be useful
4: %
5: \usepackage{amsmath}
6: \usepackage{graphicx}
7: %\usepackage{latexsym}
8:
9: % Sets the page number of the first page
10: \setcounter{page}{1}
11:
12: % Makes the equation numbering subordinate to the section numbers.
13: \JNMPnumberwithin{equation}{section}
14:
15:
16: %%%%% DOCUMENT SPECIFIC DEFINITIONS
17:
18: % Uncomment to allow pagebreaks within groups of equations:
19: %\allowdisplaybreaks
20:
21: % Theorems, Lemmas and the like, should be typeset in italic
22: \newtheorem{theorem}{Theorem}
23: \newtheorem{lemma}{Lemma}
24: \newtheorem{property}{Property}
25: \newtheorem{proposition}{Proposition}
26: \newtheorem{corollary}{Corollary}
27:
28: % Examples, Remarks, Definitions etc. typeset with upshape
29: \theoremstyle{definition}
30: \newtheorem{remark}{Remark}
31: \newtheorem{definition}{Definition}
32: \newtheorem*{example}{Example} % The '*' makes it unnumbered
33:
34:
35: %%%%% END DOCUMENT SPECIFIC DEFINITIONS
36:
37:
38: \begin{document}
39:
40: % Headings
41: %
42: \renewcommand{\evenhead}{Y Tutiya}
43: \renewcommand{\oddhead}{Bright N--solitons for the INLS equation}
44:
45: % Titlepage
46: %
47: \thispagestyle{empty}
48:
49: \FirstPageHead{*}{*}{20**}{\pageref{firstpage}--\pageref{lastpage}}{Article}
50: % Parameters: Volume, number, year, page range, paper type
51: % 'Article' could be changed to 'Letter' or 'Review Article'
52:
53: \copyrightnote{200*}{Y Tutiya}
54:
55: \Name{Bright N--solitons for the intermediate nonlinear Schr\"{o}dinger equation}
56:
57: \label{firstpage}
58:
59: \Author{Yohei TUTIYA~$^\dag$}
60:
61: \Address{$^\dag$ Graduate School of Mathematical Sciences,
62: The University of Tokyo, 3-8-1 Komaba, Tokyo 153-8914, Japan\\
63: ~~E-mail: tutiya@poisson.ms.u-tokyo.ac.jp}
64:
65:
66: \Date{Received Month *, 200*; Revised Month *, 200*;
67: Accepted Month *, 200*}
68:
69:
70:
71: \begin{abstract}
72: \noindent
73: A previously unknown bright N-soliton solution for an intermediate nonlinear Schr\"{o}dinger equation of focusing type is presented.\
74: This equation is constructed as a reduction of an integrable system related to a Sato equation of a 2-component KP hierarchy for certain differential--difference dispersion relations.\
75: Bright soliton solutions are obtained in the form of double Wronskian determinants.\
76: \end{abstract}
77:
78:
79:
80: % The paper
81: %
82: \section{Introduction}
83: \quad {This paper deals with the intermediate nonlinear Schr\"{o}dinger equation of focusing type and its bright soliton solutions.\
84: A general INLS equation can be written as follows.\
85: \begin{gather}
86: iu_t=u_{xx}+\sigma u(i+T)(|u|^2)_x\label{eq:originalINLS}
87: \end{gather}
88: Here, $u(x,t)$ is a complex function of two real variables $x,t$ and $T$ denotes the integral transformation
89: \begin{gather}
90: T[u](x)=\int_{-\infty}^\infty \hspace{-6.8mm}\backslash\hspace{3mm} \frac{1}{2\delta}\coth [\frac{\pi}{2\delta}(y-x)]u(y)dy.\label{eq:Ttransform}
91: \end{gather}
92: The integral sign with a backslash denotes the principal value.\
93: The constant $\sigma$ is taken to be $\pm 1$.\
94:
95: For positive (negative) $\sigma$, the equation is called the defocusing (focusing) INLS equation.\
96: Originally, the defocusing INLS equation was discovered by carrying out a reductive perturbation method for the ILW equation~\cite{a}.\
97: It describes the long--term evolution of quasi--harmonic wave packets whose wavelength is short compared to the fluid depth.\
98:
99: The inverse scattering transform for the defocusing equation and its Hirota bilinear form are known~\cite{g,h,i}.\
100: The dark soliton solutions of this equation have been also investigated intensively.\
101: But as for the focusing type, which is also an integrable system in its own right, as far as the author knows, soliton solutions have never come up in the literature.\
102: }
103:
104: In this paper, it will be shown that bright solitons exist for the focusing INLS equation and that they possess an interesting structure.\
105: An explicit formula for a bright $N$--soliton solution for this INLS equation will be presented.\
106: Our framework is basically a Sato description of the $2$-component KP hierarchy~\cite{b}, starting however from special differential--difference dispersion relations.\
107: Being related to the $2$--component KP hierarchy, the solutions of the resulting equations are automatically written as double Wronskians.\
108: This is one of the merits of this approach because it is generally a hard task to write $N$-soliton solutions in simple forms such as determinants.\
109:
110: { Moreover, it is worth pointing out that the present situation runs parallel to the case of the NLS equation, for which it is known that the focusing NLS equation possesses bright soliton solutions of the double Wronskian type and, in contrast, the defocusing NLS equation possesses dark soliton solutions.\
111: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
112: In fact, when the constant $\delta$ in (\ref{eq:originalINLS}) is regarded
113: as a deformation parameter for the equation,
114: the NLS equation is recovered in the limit $\delta\to0$.\
115:
116: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
117: {
118: In particular, for small $\delta$, the integral operator $T$ can be expanded as $T=-\frac1\delta \partial^{-1}+\frac\delta3\partial+o(\delta^3)$, and hence (\ref{eq:originalINLS}) can be written in the following form.\
119: \begin{gather}
120: iu_t=u_{xx}+\sigma u\left(-\frac1\delta +i\partial+\frac\delta3\partial^2+\cdots\right)|u|^2
121: \end{gather}
122: Thus, by setting $U=u/\sqrt{2\delta}$ and $\sigma=-1$, the focusing nonlinear Schr\"{o}dinger equation
123: \begin{gather}
124: iU_t=U_{xx}+2U|U|^2
125: \end{gather}
126: appears in the limit $\delta=0$.\
127: It will be shown later on that the bright soliton solutions for
128: the INLS equation carry over to those of the
129: NLS equation in this limit.\
130: This, in the author's point of view, justifies the use of the name ``INLS'' for the general equation (\ref{eq:originalINLS}).}
131: }
132:
133: When discussing nonlocal soliton equations, one usually changes them first to differential--difference forms and treats them at that level.\
134: When one obtains a solution for the differential--difference system however, it is always problematic whether it is still a solution of the original nonlocal system.\
135: This problem often requires imposing certain analyticity conditions on the solutions, conditions which are highly nontrivial.\
136: As will be seen, the INLS equation is no exception.\
137:
138: The structure of this paper is as follows.\
139: In section $2$, the INLS equation is decoupled into a certain differential--difference form.\
140: In section $3$, its linear problem is introduced.\
141: Next, it will be shown how to adapt Sato theory to differential--difference dispersion relations and a system of nonlinear evolution equations of Davey--Stewartson type is obtained.\
142: In section $4$, this system is reduced to the INLS equation in decoupled form and its $N$--soliton solutions are presented.\
143: In section $5$, it will be shown that these solutions are proper not only for the decoupled system but also the original nonlocal equation.\
144: %%%%%%%%%%%%%%%%%%%%%%%Decoupling the INLS equation%%%%%%%%%%%%%%%%%%%%%%%%
145: \section{Decoupling the INLS equation}
146: \quad The method that will be used to decouple the equation (\ref{eq:originalINLS}) into a differential--difference form owes largely to the properties of the integral transform (\ref{eq:Ttransform}) presented below~\cite{s,t}.\
147: As these are well-known facts, we shall skip the proofs.\
148: \begin{property}\label{prop1}
149: Let $f(y)$ be a real function, define $F(z)$ as the integral
150: \begin{gather}
151: F(z):=\int_{-\infty}^\infty\frac{1}{2\delta}\coth [\frac{\pi}{2\delta}(y-z)]f(y)dy.
152: \end{gather}
153:
154: {$F(z)$ is a function defined in the entire complex $z$--plane, except for the horizontal lines ${\rm Im }z=2m\delta$, where $m$ runs over all the integers.\
155: Then, if $f(y)$ satisfies the H\"{o}lder condition on the real axis, the boundary values of $F(z)$ on $z=x$ ($x$ real) satisfy
156: \begin{gather}
157: F^\pm(x):=\lim_{\varepsilon\to 0^\pm}F(x+i\varepsilon)=T[f]\pm if(x).
158: \end{gather}
159: In other word, $F^+(x)$ ($F^-(x)$) is the analytic continuation of $F(z)$ toward the real axis from the upper (lower) side}.\
160: In terms of the integral transformation (\ref{eq:Ttransform}), $F^+(x)$ and $F^-(x)$ also satisfy the relation\, $F^+(x+2i\delta)=F^-(x)$.\
161: \end{property}
162: \begin{property}\label{prop2}
163: Suppose that a complex function $G(z)$ is analytic everywhere in the strip $0\leq \textrm{Im }z\leq 2\delta$ and is integrable on the real axis.\
164: (This condition will be referred to as ``{\it the analyticity condition}'' throughout the rest of the paper).\
165: Then, the following equality holds for real $x$
166: \begin{gather}
167: iT[G(x+2i\delta)-G(x)]=G(x+2i\delta)+G(x).
168: \end{gather}
169: \end{property}
170:
171: \vspace{\baselineskip}
172: Now, define $\ds v:=u^\dagger$ (where the dagger denotes complex conjugation) and
173: \begin{gather}
174: w^\pm :=-\frac{1}{2}\lim_{\varepsilon\to 0^\pm}\int_{-\infty}^\infty\frac{1}{2\delta}\coth [\frac{\pi}{2\delta}(y-x\mp \varepsilon i)]|u(y)|^2dy,
175: \end{gather}
176: Then, (\ref{eq:originalINLS}) can be decoupled into the following system by means of {\rmfamily Property \ref{prop1}}.\
177: \begin{gather}
178: \left\{
179: \begin{array}{l}
180: \ds iu_t=u_{xx}-2uw^+_x,\\
181: \ds -iv_t=v_{xx}-2vw^-_x,\\
182: \ds w^--w^+=i\sigma uv.\
183: \end{array}
184: \right.\label{eq:ddform}
185: \end{gather}
186: Note that $w^+$ and $w^-$ satisfy $w^+(x+2i\delta)=w^-(x)$.\
187: In the next section, this system will be shown to be related to a $2$--component hierarchy.\
188: However it should be remembered that a solution for (\ref{eq:ddform}) will only be a solution to (\ref{eq:originalINLS}) if it satisfies {\it the analyticity condition}.\
189: %%%%%%%%%%%%%%%%%%%%%%%Deispersion relation Sato equation%%%%%%%%%%%%%%%%%%
190: \section{Dispersion relations and Sato equations}
191: \quad Let us introduce the pseudo-differential operator,
192: \begin{gather}
193: P=I+W^{(1)}\partial^{-1}+W^{(2)}\partial^{-2}+\cdots+W^{(n)}\partial^{-n},\label{eq:PSD}
194: \end{gather}
195: where the coefficients $W^{(j)}\, (j = 1,2,\cdots )$ are $2\times 2$ matrices and $I$ is the unit matrix.\
196: In general, the $k,l$--elements of each $W^{(j)}$ are denoted as $w_{kl}^{(j)}$.\
197: However, the elements of the first three matrices $W^{(1)},W^{(2)},W^{(3)}$ will be denoted as:
198: \begin{gather}
199: W^{(1)}=\left(\begin{array}{cc}w_{11}&w_{12}\\w_{21}&w_{22}\end{array}\right),\ W^{(2)}=\left(\begin{array}{cc}v_{11}&v_{12}\\v_{21}&v_{22}\end{array}\right),\
200: W^{(3)}=\left(\begin{array}{cc}u_{11}&u_{12}\\u_{21}&u_{22}\end{array}\right).
201: \end{gather}
202: Note that $w_{kl}^{(j)},w_{kl},v_{kl},u_{kl}$ are, apriori, different from $u,v,w$ in (\ref{eq:ddform}).\
203: $\partial^{j}$ denotes $( \partial /\partial\xi)^{j}$ for integer $j$.\
204: Though the theory is developed for the case of $n \to \infty$ in general, in this paper, we confine ourselves to (\ref{eq:PSD}) for simplicity~\cite{c,d} as the essence of the general theory is still kept in this simplification.
205:
206: Let us consider the ordinary differential equation,
207: \begin{gather}
208: P\partial^n\left(\begin{array}{c}f\\g\end{array}\right)=0.\label{eq:linearproblem}
209: \end{gather}
210: The $2n$ linearly independent solutions of (\ref{eq:linearproblem}) we denote $\ds \left(\begin{array}{c}f_1\\g_1\end{array}\right),\left(\begin{array}{c}f_2\\g_2\end{array}\right),\cdots,\left(\begin{array}{c}f_{2n}\\g_{2n}\end{array}\right)$.\
211: Now we assume that $W^{(j)},f_j,g_j$, in addition to $\xi$, depend on infinitely many continuous variables $t_1^{(1)},t_1^{(2)},t_2^{(1)},t_2^{(2)},t_3^{(1)},t_3^{(2)},\cdots$ and on two discrete variables $z_1,z_2$, by requiring $f_j$ and $g_j$ to satisfy the following dispersion relations
212: \begin{gather}
213: \ds \frac{\partial}{\partial t_k^{(1)}}\left(\begin{array}{c}f_j\\g_j\end{array}\right)=E_1\partial^k\left(\begin{array}{c}f_j\\g_j\end{array}\right),\quad
214: \ds\frac{\partial}{\partial t_k^{(2)}}\left(\begin{array}{c}f_j\\g_j\end{array}\right)=E_2\partial^k\left(\begin{array}{c}f_j\\g_j\end{array}\right)
215: ,\label{eq:difdisp}\\[3mm]
216: \begin{array}{l}
217: \ds i\left\{\left(\begin{array}{cc}f_j^{\langle 1\rangle}\\g_j^{\langle 1\rangle}\end{array}\right)-\left(\begin{array}{cc}f_j\\g_j\end{array}\right)\right\}
218: =E_1\partial \left(\begin{array}{cc}f_j\\g_j\end{array}\right)
219: ,\\[7mm]
220: i\left\{\left(\begin{array}{cc}f_j^{\langle 2\rangle}\\g_j^{\langle 2\rangle}\end{array}\right)-\left(\begin{array}{cc}f_j\\g_j\end{array}\right)\right\}
221: =E_2\partial \left(\begin{array}{cc}f_j\\g_j\end{array}\right),
222: \end{array}
223: \label{eq:shiftdisp}
224: \end{gather}
225: for ${}^\forall k,j$, where
226: \begin{gather}
227: E_1=\left(\begin{array}{cc}1&0\\0&0\end{array}\right),\ E_2=\left(\begin{array}{cc}0&0\\0&1\end{array}\right),
228: \end{gather}
229: and $\delta$ is a real and positive parameter.\
230: The symbol $\langle \mu\rangle (\mu=1,2)$ on top of a function means that $z_\mu$ is shifted forward by $2i\delta$.\
231: Note that the dispersion relation (\ref{eq:difdisp}) is the same as for $2$--component KP hierarchy~\cite{b}.\
232:
233: Differentiating (\ref{eq:linearproblem}) with respect to $t_j^{(\mu)}$, we have the Sato equation
234: \begin{gather}
235: \frac{\partial P}{\partial t_j^{(\mu)}}=B_j^{(\mu)}P-PE_\mu\partial^j.\label{eq:Sato1}
236: \end{gather}
237: The operator $B_j^{(\mu)}$ is defined by,
238: \begin{gather}
239: B_j^{(\mu)}:=\left(PE_\mu\partial^jP^{-1}\right)_+,
240: \end{gather}
241: where $(A)_+$ denotes the non--negative differential part of the pseudo differential operator $A$.\
242: The calculations that lead from (\ref{eq:Sato1}) to (\ref{eq:ilns1}) are of course the same as those for the $2$--component KP hierarchy.\
243: (More detail is available in~\cite{e}).\
244: The first few $B_j^{(\mu)}$'s are explicitly written as,
245: \begin{gather}
246: \begin{array}{l}
247: \ds B_1^{(1)}=E_1\partial + [W^{(1)},\ E_1],\quad
248: B_1^{(2)}=E_2\partial + [W^{(1)},\ E_2]\\[3mm]
249: \ds B_2^{(1)}=E_1\partial^2 + [W^{(1)},\ E_1]\partial-W^{(1)}_{t_1^{(1)}}-E_1W^{(1)}_{\xi}\\[3mm]
250: \ds B_2^{(2)}=E_2\partial^2 + [W^{(1)},\ E_2]\partial-W^{(1)}_{t_1^{(2)}}-E_2W^{(1)}_{\xi}.
251: \end{array}
252: \end{gather}
253: %%%%%%%%%%%%%%%Lowest order equation%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
254:
255: The lowest order equations for $W^{(1)},W^{(2)},W^{(3)}$ are written below.\ Following Kac and van de Leur~\cite{e}, we write $W$ for $W^{(1)}$ to simplify the notation.\
256: \begin{gather}
257: \frac{\partial W}{\partial t_1^{(\mu)}}=E_\mu W_\xi+ [W,\ E_\mu]W-[W^{(2)},\ E_\mu]\label{eq:firstSato}\\
258: \frac{\partial W^{(2)}}{\partial t_1^{(\mu)}}=E_\mu W_\xi^{(2)}+ [W,\ E_\mu]W^{(2)}-[W^{(3)},\ E_\mu]\label{eq:discreteSato}\\
259: \begin{array}{l}
260: \ds\frac{\partial W}{\partial t_2^{(\mu)}}=-[W^{(3)},\ E_\mu]+E_\mu(2W^{(2)}_\xi+W_{\xi\xi})+[W,\ E_\mu](W^{(2)}+W_\xi)\\
261: \ds\hspace{6cm}-(W_{t_1^{(\mu)}}+E_\mu W_\xi)W.
262: \end{array}\label{eq:secondSato}
263: \end{gather}
264: In particular, some of the matrix elements of (\ref{eq:firstSato}) can be written explicitly as follows:
265: \begin{gather}
266: \begin{array}{ll}
267: \ds\frac{\partial w_{21}}{\partial t_1^{(1)}}=w_{21}w_{11}-v_{21},
268: &\ds\frac{\partial v_{21}}{\partial t_1^{(1)}}=w_{21}v_{11}-u_{21},\\
269: \ds\frac{\partial w_{12}}{\partial t_1^{(2)}}=w_{12}w_{22}-v_{12},
270: &\ds\frac{\partial v_{12}}{\partial t_1^{(2)}}=w_{12}v_{22}-u_{12},\\
271: \ds\frac{\partial w_{22}}{\partial t_1^{(1)}}=w_{21}w_{12},
272: &\ds\frac{\partial v_{22}}{\partial t_1^{(1)}}=w_{21}v_{12},\\
273: \ds\frac{\partial w_{11}}{\partial t_1^{(2)}}=w_{12}w_{21},
274: &\ds\frac{\partial v_{11}}{\partial t_1^{(2)}}=w_{12}v_{21}.
275: \end{array}\label{eq:firstSato1}
276: \end{gather}
277: Using (\ref{eq:firstSato1}), the (1,2) and (2,1)--components of (\ref{eq:secondSato}) can be written as
278: \begin{gather}
279: \begin{array}{ll}
280: \ds\frac{\partial w_{21}}{\partial t_2^{(1)}}=-\frac{\partial^2w_{21}}{\partial t_1^{(1)^2}}+2w_{21}\frac{\partial w_{11}}{\partial t_1^{(1)}},
281: &\ds\frac{\partial w_{12}}{\partial t_2^{(1)}}=\frac{\partial^2 w_{12}}{\partial t_1^{(1)^2}}-2w_{12}\frac{\partial w_{11}}{\partial t_1^{(1)}},\\
282: \ds\frac{\partial w_{21}}{\partial t_2^{(2)}}=\frac{\partial^2w_{21}}{\partial t_1^{(2)^2}}-2w_{21}\frac{\partial w_{22}}{\partial t_1^{(2)}},
283: &\ds\frac{\partial w_{12}}{\partial t_2^{(2)}}=-\frac{\partial^2 w_{12}}{\partial t_1^{(2)^2}}+2w_{12}\frac{\partial w_{22}}{\partial t_1^{(2)}}.
284: \end{array}\label{eq:ilns1}
285: \end{gather}
286: Extending this construction, let us consider a difference operator with respect to $z_\mu$ acting on (\ref{eq:linearproblem}), which yields the Sato equation
287: \begin{gather}
288: i(P^{\langle \mu\rangle}-P)=C_\mu P-P^{\langle \mu\rangle}E_\mu\partial,\label{eq:Sato2}\\
289: C_\mu=\left(P^{\langle \mu\rangle}E_\mu\partial P^{-1}\right)_+=E_\mu\partial +W^{\langle\mu\rangle}E_\mu-E_\mu W.
290: \end{gather}
291: The coefficient of $\partial^{-1}$ in (\ref{eq:Sato2}) is
292: \begin{gather}
293: i(W^{\langle\mu\rangle}-W)=E_\mu W^{(2)}-(W^{(2)})^{\langle\mu\rangle}E_\mu+E_\mu W_\xi+(W^{\langle\mu\rangle}E_\mu-E_\mu W)W\label{eq:descSato}
294: \end{gather}
295: And in particular, when $\mu=1$, the (2,2)--component of (\ref{eq:descSato}) is
296: \begin{gather}
297: i(w^{\langle 1\rangle}_{22}-w_{22})=w^{\langle 1\rangle}_{21}w_{12}.\label{eq:ilns5}
298: \end{gather}
299: and for $\mu=2$, the (1,1)--component of (\ref{eq:descSato}) is
300: \begin{gather}
301: i(w^{\langle 2\rangle}_{11}-w_{11})=w^{\langle 2\rangle}_{12}w_{21}.\label{eq:ilns6}
302: \end{gather}
303:
304: Thus, from (\ref{eq:ilns1}),(\ref{eq:ilns5}) and (\ref{eq:ilns6}), one obtains two systems of time evolution equations
305: \begin{gather}
306: \left\{
307: \begin{array}{l}
308: \ds\frac{\partial w_{21}}{\partial t_2^{(1)}}=-\frac{\partial^2w_{21}}{\partial t_1^{(1)^2}}+2w_{21}\frac{\partial w_{11}}{\partial t_1^{(1)}}\\[5mm]
309: \ds\frac{\partial w^{\langle2\rangle}_{12}}{\partial t_2^{(1)}}=\frac{\partial^2 w^{\langle2\rangle}_{12}}{\partial t_1^{(1)^2}}-2w^{\langle2\rangle}_{12}\frac{\partial w^{\langle2\rangle}_{11}}{\partial t_1^{(1)}}\\[5mm]
310: \ds i(w^{\langle2\rangle}_{11}-w_{11})=w^{\langle2\rangle}_{12}w_{21}
311: \end{array}
312: \right.\label{eq:mdavy1}
313: \end{gather}
314: and
315: \begin{gather}
316: \left\{
317: \begin{array}{l}
318: \ds\frac{\partial w_{12}}{\partial t_2^{(2)}}=-\frac{\partial^2 w_{12}}{\partial t_1^{(2)^2}}+2w_{12}\frac{\partial w_{22}}{\partial t_1^{(2)}}\\[5mm]
319: \ds\frac{\partial w^{\langle1\rangle}_{21}}{\partial t_2^{(2)}}=\frac{\partial^2w^{\langle1\rangle}_{21}}{\partial t_1^{(2)^2}}-2w^{\langle1\rangle}_{21}\frac{\partial w^{\langle1\rangle}_{22}}{\partial t_1^{(2)}}\\[5mm]
320: \ds i(w^{\langle1\rangle}_{22}-w_{22})=w^{\langle1\rangle}_{21}w_{12}
321: \end{array}
322: \right.\ .\label{eq:mdavy2}
323: \end{gather}
324: Because (\ref{eq:mdavy1}) and (\ref{eq:mdavy2}) are essentially the same system, we shall only deal with (\ref{eq:mdavy1}) hereafter.\
325: Note that (\ref{eq:mdavy1}) still has three independent variables though it looks very much like (\ref{eq:ddform}).\
326: %%%%%%%%%%%%%%%%%%%%%%%%%%The reduction to the INLS%%%%%%%%%%%%%%%%%%%%%
327: \section{The reduction to the INLS equation and its solutions}
328: \quad Introducing the change of variables $t_2^{(1)}=-it$, we impose the reduction condition,
329: \begin{gather}
330: \left(\frac{\partial}{\partial z_2}-\frac{\partial}{\partial t_1^{(1)}}\right)w_{ij}^{(k)}=0,\label{eq:red1}
331: %%%%the reduction condition for z_2=t_1^{(1)}%%%%
332: \end{gather}
333: which restricts the $t_1^{(1)},z_2$ dependence in $P$ to the form $t^{(1)}+z_2$.\
334: Hence, we introduce the new variable $x:=t^{(1)}+z_2$ with which (\ref{eq:mdavy1}) can be written as
335: \begin{gather}
336: \left\{
337: \begin{array}{l}
338: \ds iw_{21,t}=w_{21,xx}-2w_{21}w_{11,x}\\[1mm]
339: \ds -i\bar{w}_{12,t}=\bar{w}_{12,xx}-2\bar{w}_{12}\bar{w}_{11,x}\\[1mm]
340: \ds i(\bar{w}_{11}-w_{11})=\bar{w}_{12}w_{21}
341: \end{array}
342: \right.\label{eq:INLS1}
343: \end{gather}
344: where, $\bar{\cdot}$ denotes a $2i\delta$--shift with respect to $x$.\
345: If, now, $w_{21}$ and $\bar{w}_{12}$ are complex conjugate for real $x$ and $t$ and if $w_{21}$ is analytic everywhere in the strip $0\leq \mbox{Im}\ x\leq 2\delta$,
346: then (\ref{eq:INLS1}) can be represented as a single equation by means of {\rmfamily Property\ref{prop2}}
347: \begin{gather}
348: iw_{21,t}=w_{21,xx}-w_{21}(T+i)(|w_{21}|^2)_x.\label{eq:rINLS}
349: \end{gather}
350: Equation (\ref{eq:rINLS}) is the same as (\ref{eq:originalINLS}) for $\sigma=-1$.\
351: Concerning the last term of (\ref{eq:rINLS}), it also should be noticed that for the class of functions we are dealing with, the integral operator commutes with the $x$--derivative.\
352: Thus, the notations $(T+i)\{(|w_{21}|^2)_x\}$ and $\{(T+i)(|w_{21}|^2)\}_x$ represent the same function, which is denoted by $(T+i)(|w_{21}|^2)_x$.\
353:
354: %%%%%%%%%%%%%%%%%%%%%%%%Double Wronskian%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
355: Now we go on to consider actual solutions.\
356: Expressing equation (\ref{eq:linearproblem}) on the solutions $\left(\begin{array}{c}f_j\\g_j\end{array}\right) (j=1,2,\cdots,2n)$, one can write
357: \begin{gather}
358: \left(\begin{array}{ccc|ccc}
359: f_1&\cdots&\partial^{n-1}f_1&g_1&\cdots&\partial^{n-1}g_1\\
360: f_2&\cdots&\partial^{n-1}f_2&g_2&\cdots&\partial^{n-1}g_2\\
361: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
362: f_{2n}&\cdots&\partial^{n-1}f_{2n}&g_{2n}&\cdots&\partial^{n-1}g_{2n}
363: \end{array}\right)
364: \left(\begin{array}{cc}
365: w_{11}^{(n)}&w_{21}^{(n)}\\
366: \vdots&\vdots\\
367: w_{11}^{(1)}&w_{21}^{(1)}\\\hline
368: w_{12}^{(n)}&w_{22}^{(n)}\\
369: \vdots&\vdots\\
370: w_{12}^{(1)}&w_{22}^{(1)}
371: \end{array}\right)\nonumber\\
372: \quad =
373: -\left(\begin{array}{cc}
374: \partial^nf_1&\partial^ng_1\\
375: \vdots&\vdots\\
376: \partial^nf_{2n}&\partial^ng_{2n}
377: \end{array}\right)
378: \end{gather}
379: Then, by means of Cramer's rule, $w_{21},w_{12},w_{11}$ are expressible as (in other words, a solution of (\ref{eq:mdavy1}) can be expressed as)
380: \begin{subequations}\label{wronskianw}
381: \begin{gather}
382: w_{21}=(-)^{n+1}\frac{\left|
383: \begin{array}{cccccccc}
384: f_1&\partial_\xi f_1&\cdots&\partial_\xi^{n-2} f_1&g_1&\partial_\xi g_1&\cdots&\partial_\xi^{n}g_2\\
385: f_2&\partial_\xi f_2&\cdots&\partial_\xi^{n-2}f_2&g_2&\partial_\xi g_2&\cdots&\partial_\xi^{n}g_2\\
386: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
387: f_{2n}&\partial_\xi f_{2n}&\cdots&\partial_\xi^{n-2}f_{2n}&g_{2n}&\partial_\xi g_{2n}&\cdots&\partial_\xi^{n}g_{2n}
388: \end{array}
389: \right|}{\left|
390: \begin{array}{cccccccc}
391: f_1&\partial_\xi f_1&\cdots&\partial_\xi^{n-1}f_1&g_1&\partial_\xi g_1&\cdots&\partial_\xi^{n-1}g_1\\
392: f_2&\partial_\xi f_2&\cdots&\partial_\xi^{n-1}f_2&g_2&\partial_\xi g_2&\cdots&\partial_\xi^{n-1}g_2\\
393: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
394: f_{2n}&\partial_\xi f_{2n}&\cdots&\partial_\xi^{n-1}f_{2n}&g_{2n}&\partial_\xi g_{2n}&\cdots&\partial_\xi^{n-1}g_{2n}
395: \end{array}
396: \right|}\label{eq:wronskianw21}
397: \end{gather}
398: \begin{gather}
399: w_{12}=(-)^{n}\frac{\left|
400: \begin{array}{cccccccc}
401: f_1&\partial_\xi f_1&\cdots&\partial_\xi^{n} f_1&g_1&\partial_\xi g_1&\cdots&\partial_\xi^{n-2}g_2\\
402: f_2&\partial_\xi f_2&\cdots&\partial_\xi^{n} f_2&g_2&\partial_\xi g_2&\cdots&\partial_\xi^{n-2}g_2\\
403: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
404: f_{2n}&\partial_\xi f_{2n}&\cdots&\partial_\xi^{n} f_{2n}&g_{2n}&\partial_\xi g_{2n}&\cdots&\partial_\xi^{n-2}g_{2n}
405: \end{array}
406: \right|}{\left|
407: \begin{array}{cccccccc}
408: f_1&\partial_\xi f_1&\cdots&\partial_\xi^{n-1}f_1&g_1&\partial_\xi g_1&\cdots&\partial_\xi^{n-1}g_1\\
409: f_2&\partial_\xi f_2&\cdots&\partial_\xi^{n-1}f_2&g_2&\partial_\xi g_2&\cdots&\partial_\xi^{n-1}g_2\\
410: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
411: f_{2n}&\partial_\xi f_{2n}&\cdots&\partial_\xi^{n-1}f_{2n}&g_{2n}&\partial_\xi g_{2n}&\cdots&\partial_\xi^{n-1}g_{2n}
412: \end{array}
413: \right|}\label{eq:wronskianw12}
414: \end{gather}
415: \begin{gather}
416: w_{11}=-\frac{\left|
417: \begin{array}{cccccccc}
418: f_1&\cdots&\partial_\xi^{n-2} f_1&\partial_\xi^{n} f_1&g_1&\partial_\xi g_1&\cdots&\partial_\xi^{n-1}g_2\\
419: f_2&\cdots&\partial_\xi^{n-2}f_2&\partial_\xi^{n} f_2&g_2&\partial_\xi g_2&\cdots&\partial_\xi^{n-1}g_2\\
420: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
421: f_{2n}&\cdots&\partial_\xi^{n-2}f_{2n}&\partial_\xi^{n} f_{2n}&g_{2n}&\partial_\xi g_{2n}&\cdots&\partial_\xi^{n-1}g_{2n}
422: \end{array}
423: \right|}{\left|
424: \begin{array}{cccccccc}
425: f_1&\partial_\xi f_1&\cdots&\partial_\xi^{n-1}f_1&g_1&\partial_\xi g_1&\cdots&\partial_\xi^{n-1}g_1\\
426: f_2&\partial_\xi f_2&\cdots&\partial_\xi^{n-1}f_2&g_2&\partial_\xi g_2&\cdots&\partial_\xi^{n-1}g_2\\
427: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
428: f_{2n}&\partial_\xi f_{2n}&\cdots&\partial_\xi^{n-1}f_{2n}&g_{2n}&\partial_\xi g_{2n}&\cdots&\partial_\xi^{n-1}g_{2n}
429: \end{array}
430: \right|}\label{eq:wronskianw11}
431: \end{gather}
432: \end{subequations}
433: To describe the $n$--soliton solution we set $f_j,g_j$
434: \begin{gather}
435: \left\{
436: \begin{array}{l}
437: \ds f_j=c_j{\rm exp}\left[k_j\xi+k_jt_1^{(1)}+k_j^2t_2^{(1)}+a_j\right]\\[2mm]
438: \ds g_j={\rm exp}\left[-k_jz_2+i\left(e^{-2i\delta k_j}-1\right)\xi\right]
439: \end{array}\right.,\label{eq:solitonfg}
440: \end{gather}
441: where we have omitted independent variables which do not appear in (\ref{eq:INLS1}).\
442: {
443: We choose not to absorb the constant $c_j$
444: in the phase $a_j$ as it will take a specific value
445: in relation to {\it the analiticity condition}
446: (cf. Proposition 4.1), whereas $a_j$ will essentially remain as a free parameter.\
447:
448: }
449: Now, we divide the $j$th row of both the numerator and denominator of (\ref{eq:wronskianw21}) by $g_j$ (and similarly by $f_j$ for (\ref{eq:wronskianw12})).\
450: Then, we see that $w_{21}$, $w_{12}$ and $w_{11}$ contain $f_j$ and $g_j$ only in the form $f_j/g_j$ (or its inverse).\
451: Obviously $f_j/g_j$ contains $t_1^{(1)}$ and $z_2$ only in the form $x=t_1^{(1)}+z_2$.\
452: Thus, by setting
453: \begin{gather}
454: \begin{array}{rl}
455: f_j/g_j=c_je^{\lambda_j}&:=c_j{\rm exp}\left\{\left(k_j-L_j\right)\xi+k_jx-ik_j^2 t+a_j\right\},\\[2mm]
456: L_j&:=i\left(e^{-2i\delta k_j}-1\right),
457: \end{array}
458: \end{gather}
459: $w_{21}$ and $w_{12}$ are expressible as follows.\
460: \begin{subequations}\label{eq:ourw}
461: \begin{gather}
462: w_{21}(x)=(-)^{n+1}\nonumber\\
463: \ \times\frac{
464: \left|
465: \begin{array}{cccccccc}
466: c_1e^{\lambda_1}&k_1 c_1e^{\lambda_1} &\cdots&k_1^{n-2} c_1e^{\lambda_1} &1&L_1&\cdots&L_1^{n}\\
467: c_2e^{\lambda_2}&k_2 c_2e^{\lambda_2} &\cdots&k_2^{n-2} c_2e^{\lambda_2} &1&L_2&\cdots&L_2^{n}\\
468: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
469: c_{2n}e^{\lambda_{2n}}&k_{2n} c_{2n}e^{\lambda_{2n}} &\cdots&k_{2n}^{n-2} c_{2n}e^{\lambda_{2n}} &1&L_{2n}&\cdots&L_{2n}^{n}\\
470: \end{array}
471: \right|}{
472: \left|
473: \begin{array}{cccccccc}
474: c_1e^{\lambda_1}&k_1 c_1e^{\lambda_1} &\cdots&k_1^{n-1} c_1e^{\lambda_1} &1&L_1&\cdots&L_1^{n-1}\\
475: c_2e^{\lambda_2}&k_2 c_2e^{\lambda_2} &\cdots&k_2^{n-1} c_2e^{\lambda_2} &1&L_2&\cdots&L_2^{n-1}\\
476: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
477: c_{2n}e^{\lambda_{2n}}&k_{2n} c_{2n}e^{\lambda_{2n}} &\cdots&k_{2n}^{n-1} c_{2n}e^{\lambda_{2n}} &1&L_{2n}&\cdots&L_{2n}^{n-1}\\
478: \end{array}
479: \right|}\label{eq:ourw21}
480: \end{gather}
481: \begin{gather}
482: w_{12}(x)=(-)^{n}\nonumber\\
483: \ \times\frac{\left|
484: \begin{array}{cccccccc}
485: 1&k_1 &\cdots&k_1^{n} &c_1^{-1}e^{-\lambda_1}&L_1 c_1^{-1}e^{-\lambda_1}&\cdots&L_1^{n-2} c_1^{-1}e^{-\lambda_1}\\
486: 1&k_2 &\cdots&k_2^{n} &c_2^{-1}e^{-\lambda_2}&L_2 c_2^{-1}e^{-\lambda_2}&\cdots&L_2^{n-2} c_2^{-1}e^{-\lambda_2}\\
487: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
488: 1&k_{2n} &\cdots&k_{2n}^{n} &c_{2n}^{-1}e^{-\lambda_{2n}}&L_{2n} c_{2n}^{-1}e^{-\lambda_{2n}}&\cdots&L_{2n}^{n-2} c_{2n}^{-1}e^{-\lambda_{2n}}\\
489: \end{array}
490: \right|}{\left|
491: \begin{array}{cccccccc}
492: 1&k_1 &\cdots&k_1^{n-1} &c_1^{-1}e^{-\lambda_1}&L_1 c_1^{-1}e^{-\lambda_1}&\cdots&L_1^{n-1} c_1^{-1}e^{-\lambda_1}\\
493: 1&k_2 &\cdots&k_2^{n-1} &c_2^{-1}e^{-\lambda_2}&L_2 c_2^{-1}e^{-\lambda_2}&\cdots&L_2^{n-1} c_2^{-1}e^{-\lambda_2}\\
494: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
495: 1&k_{2n} &\cdots&k_{2n}^{n-1} &c_{2n}^{-1}e^{-\lambda_{2n}}&L_{2n} c_{2n}^{-1}e^{-\lambda_{2n}}&\cdots&L_{2n}^{n-1} c_{2n}^{-1}e^{-\lambda_{2n}}\\
496: \end{array}
497: \right|}\label{eq:w12}
498: \end{gather}
499: \begin{gather}
500: w_{11}(x)=(-)\nonumber\\
501: \ \times\frac{\left|
502: \begin{array}{cccccccc}
503: c_1e^{\lambda_1}&\cdots&k_1^{n-2} c_1e^{\lambda_1} &k_1^{n} c_1e^{\lambda_1} &1&L_1&\cdots&L_1^{n-1}\\
504: c_2e^{\lambda_2}&\cdots&k_2^{n-2} c_2e^{\lambda_2} &k_2^{n} c_2e^{\lambda_2} &1&L_2&\cdots&L_2^{n-1}\\
505: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
506: c_{2n}e^{\lambda_{2n}}&\cdots&k_{2n}^{n-2} c_{2n}e^{\lambda_{2n}} &k_{2n}^{n} c_{2n}e^{\lambda_{2n}} &1&L_{2n}&\cdots&L_{2n}^{n-1}\\
507: \end{array}
508: \right|}{\left|
509: \begin{array}{cccccccc}
510: c_1e^{\lambda_1}&k_1 c_1e^{\lambda_1} &\cdots&k_1^{n-1} c_1e^{\lambda_1} &1&L_1&\cdots&L_1^{n-1}\\
511: c_2e^{\lambda_2}&k_2 c_2e^{\lambda_2} &\cdots&k_2^{n-1} c_2e^{\lambda_2} &1&L_2&\cdots&L_2^{n-1}\\
512: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
513: c_{2n}e^{\lambda_{2n}}&k_{2n} c_{2n}e^{\lambda_{2n}} &\cdots&k_{2n}^{n-1} c_{2n}e^{\lambda_{2n}} &1&L_{2n}&\cdots&L_{2n}^{n-1}\\
514: \end{array}
515: \right|}.\label{eq:w11}
516: \end{gather}
517: \end{subequations}
518: Thus, (\ref{eq:ourw}) is a solution to the differential--difference equation (\ref{eq:INLS1}) .\
519: Furthermore, (\ref{eq:ourw21}) will become a solution for (\ref{eq:rINLS}) if we impose certain conditions on $k_j$ and $c_j$.\
520: The following proposition constitutes the main result of this paper.\
521: \begin{proposition}\label{main}
522: {\rm
523: Suppose $k_j,\ a_j$ and $c_j$ satisfy the following conditions.\
524: \begin{itemize}
525: \item[C1]$\quad k_j^\dagger = -k_{j+n},\ a_j^\dagger =-a_{n+j}$ and $\xi$ is real.\
526: \item[C2]$\quad \ds\frac{\pi}{2\delta}>\textrm{Re }k_1>\textrm{Re }k_2>\cdots>\textrm{Re }k_n>0$
527: \item[C3]$\quad c_j,\ (j=1,2,\cdots,n)$ are given by
528: \begin{gather}
529: c_j=\prod_{r=1}^n\frac{L_j-L_{n+r}}{k_j-k_{n+r}},\qquad c_{n+j}=-\prod_{r=1\atop r\neq j}^n\frac{L_{n+j}-L_{n+r}}{k_{n+j}-k_{n+r}}.\nonumber
530: \end{gather}
531: \end{itemize}
532: Then, $w_{21}(x-i\delta)$ as in (\ref{eq:ourw21}) satisfies {\it the analyticity condition} and becomes a solution of (\ref{eq:rINLS}).\
533: }\end{proposition}
534:
535: \vspace{.5\baselineskip}
536: {After imposing the above conditions, there still remain $4n$ real parameters
537: in the determinants that appear in (\ref{eq:ourw}).\
538: The real and imaginary parts of the $k_j\ (j=1,2,\cdots,n)$ will define the amplitude and the velocity of each soliton.\
539: The dependence on the parameter $\xi$ can be absorbed in the real and imaginary parts of the $a_j\ (j=1,2,\cdots,n)$ which correspond to phase shifts.\
540: We show some examples of solitons before proving {\rm Proposition\ref{main}}.\
541: }
542:
543: \vspace{.5\baselineskip}
544: \begin{example}
545: The $1$--soliton solution is presented below.\ The parameters are set as $k_1=p +q i$, $k_2=-k_1^\dagger=-p +q i$ and $0<p <\ds\frac{\pi}{2\delta}$ in order to satisfy the conditions C1 and C2.\
546: $\xi$ is taken to be zero and $a_1=\alpha+\beta i$.\
547: \begin{gather}
548: w_{21}(x-i\delta)= \frac{\ds-\sqrt{p \sin 2\delta p }\ e^{i\{-q x+(p ^2-q ^2)t-\beta\}}}{\cosh\left[p (x-i\delta+2q t)+\delta q +\frac{1}{2}\log \frac{\sin2 \delta p }{p }+\alpha\right]}
549: \end{gather}
550: \end{example}
551:
552: {
553: As for the $2$-soliton solution, the phase shift of the interaction can be explicitly calculated.\
554: Setting $k_j=p_j+iq_j$ and switching from the laboratory reference frame to the moving frame having the same velocity as the faster soliton whose velocity is equal to $-2q_1$ (for convenience we choose $q_1<q_2<0$,) (\ref{eq:ourw21}) is expressed approximately as
555: \begin{gather}
556: |w_{21}(x,t)|\sim
557: \left\{
558: \begin{array}{ll}
559: \ds \cosh(p_1x)&(t\to-\infty)\\
560: \ds \cosh(p_1x+\theta )&(t\to\infty)
561: \end{array}
562: \right. ,
563: \end{gather}
564: where the phase shift $\theta $ is given as follows.\
565: \begin{gather}
566: \ds e^{2\theta }=\frac{(p_1+p_2)^2+(q_1-q_2)^2}{(p_1-p_2)^2+(q_1-q_2)^2}\times \frac{\cosh2\delta (q_1-q_2)-\cos2\delta (p_1+p_2)}{\cosh2\delta (q_1-q_2)-\cos 2\delta (p_1-p_2)}.
567: \end{gather}
568: The phase shift for the slower soliton can be calculated in a similar manner, and one finds it to be exactly equal to $-\theta $.\ }
569: %%%%%%%%%%%%%%%%%%%%%%%prop main%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
570: \section{Proof of proposition \ref{main}}
571: \quad Proposition \ref{main} will be proven in three steps.\
572: The first step is to show that $w_{21}(x-i\delta)$ and $w_{12}(x+i\delta)$ are complex conjugate.\
573: The second is to show that $w_{21}(x-i\delta)$ and $w_{12}(x+i\delta)$ vanish when $x$ goes to $\pm \infty$.\
574: The third and final step is to show that $w_{21}(x-i\delta)$ is analytic everywhere in the strip $0 \leq \textrm{Im }x\leq 2\delta$.\
575: Taken together the latter two statements constitute ``{\it the analyticity condition}'' of section 2.\
576: The proof will be carried out by reducing fractions and products made of differences.\
577: For simplicity some new notations are introduced.\
578:
579: For an arbitrary set of subscripts $\sigma =\{\sigma_1,\sigma_2,\cdots,\sigma_a\}$ with the ordering $\sigma_1<\sigma_2<\cdots <\sigma_a$, we denote the Vandermonde determinant as
580: \begin{gather}
581: k_{\sigma}:=\prod_{1\leq j<j'\leq a}(k_{\sigma_j}-k_{\sigma_{j'}}),\qquad L_{\sigma}:=\prod_{1\leq j<j'\leq a}(L_{\sigma_j}-L_{\sigma_{j'}}).
582: \end{gather}
583: We also define a notation for products of differences between two disjoint sets of variables.\
584: Let $\mu=\{\mu_1,\mu_2,\cdots,\mu_{b}\}$ be a set of subscripts with the ordering $\mu_1<\mu_2<\cdots <\mu_b$, $\sigma$ as above, then we define,
585: \begin{gather}
586: k_{\sigma\to\mu}:=\prod_{j=1}^{a}\prod_{j'=1}^{b}(k_{\sigma_j}-k_{\mu_{j'}})\, ,\qquad L_{\sigma\to\mu}:=\prod_{j=1}^{a}\prod_{j'=1}^{b}(L_{\sigma_j}-L_{\mu_{j'}})\, .
587: \end{gather}
588:
589: The following statements will be used extensively.\
590:
591: \begin{remark}%%%%%REMARK1%%%%%%%%%%%%%%%%%%%%%%%%%%%
592: {
593: According to the condition C1, $k_j^\dagger=-k_{n+j},\ L_j^\dagger=-L_{n+j}$
594: and $\lambda_j^\dagger=-\lambda_{n+j}$ for real $x, t$.\
595: In these equalities, the subscripts should be read modulo $2n$.\
596: }
597: \end{remark}
598: \begin{remark}
599: The real parts of the $L_j$'s are positive for $j=1,2,\cdots,n$ due to condition C2.\
600: \end{remark}
601: \begin{remark}
602: Let $\sigma:=\{\sigma_1,\sigma_2,\cdots,\sigma_a\}$ be a set of subscripts and consider products of differences $k_\sigma$ and $L_\sigma$.\ If we split $\sigma$ into two arbitrary disjoint subsets $\mu:=\{\mu_1,\mu_2,\cdots,\mu_{b}\}$ , $\kappa:=\{\kappa_1,\kappa_2,\cdots,\kappa_{c}\}$ ($b+c=a$), we have the decompositions:
603: \begin{gather}
604: \frac{L_\sigma}{k_\sigma}=\frac{L_\mu L_\kappa L_{\mu\to\kappa}}{k_\mu k_\kappa k_{\mu\to\kappa}},\quad L_\sigma k_\sigma =L_\mu L_\kappa L_{\mu\to\kappa}k_\mu k_\kappa k_{\mu\to\kappa}.\ \label{eq:diffprodeform1}
605: \end{gather}
606: Note that the equalities do not hold for $L_\sigma$ or $k_\sigma$ independently, i.e.,
607: \begin{gather}
608: L_\sigma \neq L_\mu L_\kappa L_{\mu\to\kappa}\ ,\quad
609: k_\sigma \neq k_\mu k_\kappa k_{\mu\to\kappa}\ ,
610: \end{gather}
611: as the signs can differ on both sides of the relations due to the ordering of the subscripts.\
612: Obviously these signs are cancelled when we think of a fraction or product like (\ref{eq:diffprodeform1}).\
613: \end{remark}
614: Now we proceed to the proof of proposition {\ref {main}}.\
615: A first result we need is the following theorem,
616: which shall be proven in the Appendix.\
617: %%%%%%%%%%%%%%%%%%%%%%Conjugation%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
618: \begin{theorem}\label{conjugation}
619: $w_{21}$ and $w_{12}$ are complex conjugate.\
620: \end{theorem}
621: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
622: \vspace{2mm}
623:
624: Secondly we have
625:
626: \begin{property}\label{steepness}
627: $w_{21}(x-i\delta)$ and $w_{12}(x+i\delta)$ go to $0$ when $x$ goes to $\pm \infty$.\
628: \end{property}
629: \begin{proof}
630:
631: Because of condition C2 in Proposition \ref{main}, we see that the first $n-1\ (n)$ rows become dominant in the numerator (denominator) of (\ref{eq:ourw21}) when $x$ goes to $\infty$.\ Thus, we have
632: \begin{gather}
633: \begin{array}{ll}
634: \ds w_{21}(x)\stackrel{x\to\infty}{\longrightarrow}&\ds (-)^{n+1}\frac{\ds k_{\{1,\cdots,n-1\}}L_{\{n,\cdots,2n\}}\prod_{r=1}^{n-1}e^{\lambda_r}}{\ds k_{\{1,\cdots,n\}}L_{\{n+1,\cdots,2n\}}\prod_{r=1}^{n}e^{\lambda_r}}\\
635: &\ds =
636: (-)^{n+1}\frac{\ds L_{\{n\}\to\{n+1,\cdots,2n\}}}{\ds k_{\{1,\cdots,n-1\}\to\{n\}}}e^{-\lambda_n}\to 0
637: \end{array}
638: \label{eq:xbecomslarger}
639: \end{gather}
640: On the contrary, the rows from the $n+1$th to the $2n-1$th (the $2n$th) become dominant when $x$ goes to $-\infty$, which implies,
641: \begin{gather}
642: \begin{array}{ll}
643: \ds w_{21}(x)\stackrel{x\to -\infty}{\longrightarrow}&\ds (-)\frac{\ds k_{\{n+1,\cdots,2n-1\}}L_{\{1,\cdots,n,2n\}}\prod_{r=n+1}^{2n-1}e^{\lambda_r}}{\ds k_{\{n+1,\cdots,2n\}}L_{\{1,\cdots,n\}}\prod_{r=1}^{n}e^{\lambda_r}}\\
644: &\ds =\frac{\ds -L_{\{1,\cdots,n\}\to\{2n\}}}{\ds k_{\{n+1,\cdots,2n-1\}\to\{2n\}}}e^{-\lambda_{2n}}\to 0
645: \end{array}
646: \label{eq:xbecomessmaller}
647: \end{gather}
648: This procedure also applies to $w_{21}(x-i\delta)$ and $w_{12}(x+i\delta)$.\
649: \end{proof}
650:
651: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%Cauchy determinant%%%%%%%%%%%%%%%%%%%%%%%%%%
652: \hspace{3mm}
653:
654: To accomplish the third step of the proof, we first change the denominator of $w_{21}$ to a determinant of the sum of two matrices of half the size.\
655: \begin{theorem}\label{thmanalyticity}%%%%%%%%%%%%thmanalyticity%%%%%%%%%%%
656: \begin{gather}
657: \begin{array}{l}
658: \ds \frac{k_{\{n+1\cdots 2n\}}}{L_{\{n+1\cdots 2n\}}}
659: \times\frac{1}{L_{\{1,\cdots,n\}\to\{n+1,\cdots,2n\}}}
660: \times \tau\\[5mm]
661: \ds \quad =(-)^{\frac{n(n-1)}{2}}{\rm det}\left(\frac{e^{\lambda_{n+j}}}{L_i-L_{n+j}}+\frac{e^{\lambda_i}}{k_i-k_{n+j}}\right)_{1\leq i,j \leq n},
662: \end{array}
663: \label{eq:analyticity1}
664: \end{gather}
665: where $\tau$ denotes the denominator of (\ref{eq:ourw21}).\
666: \end{theorem}
667: \begin{proof}
668:
669: First we express the right hand side of (\ref{eq:analyticity1}) as a sum, each term of which is the product of a minor determinant of the matrix $\ds \left(\frac{e^{\lambda_i}}{k_i-k_{n+j}}\right)_{ij}$ and a minor of the matrix $\ds\left(\frac{e^{\lambda_{n+j}}}{L_i-L_{n+j}}\right)_{ij}$.\
670: Thus, we have
671: \begin{gather}
672: \begin{array}{l}
673: \ds (-)^{\frac{n(n-1)}{2}}{\rm det}\left(\frac{e^{\lambda_{n+j}}}{L_i-L_{n+j}}+\frac{e^{\lambda_i}}{k_i-k_{n+j}}\right)\\
674: \ds \quad =(-)^{\frac{n(n-1)}{2}}\sum_{\{\sigma,\sigma'\}\atop \{\mu,\mu'\}}(-)^{[\sigma]+[\mu]}{\rm det}\left(\frac{1}{k_{\sigma_i}-k_{n+\mu_j}}\right){\rm det}\left(\frac{1}{L_{\sigma'_i}-L_{n+\mu'_j}}\right).
675: \end{array}\label{eq:cauchy1}
676: \end{gather}
677: More precisely, when expanding the left hand side we first choose rows, from which we then choose the elements of matrix $\ds\left(\frac{e^{\lambda_i}}{k_i-k_{n+j}}\right)_{ij}$.\
678: We label these rows $\sigma:=\{\sigma_1,\sigma_2,\cdots,\sigma_r\}$.\
679: The remaining rows are labeled $\sigma':=\{\sigma'_1,\sigma'_2,\cdots,\sigma'_{s}\}$, which yield the the elements of $\ds\left(\frac{e^{\lambda_{n+j}}}{L_i-L_{n+j}}\right)_{ij}$.\
680:
681: We also have to decide on a partition of the columns.\
682: We label the columns belonging to $\ds\left(\frac{e^{\lambda_i}}{k_i-k_{n+j}}\right)_{ij}$ as $\mu:=\{\mu_1,\mu_2,\cdots,\mu_r\}$ (the number of elements in $\sigma$ and $\mu$ must of course be the same).\
683: The remaining columns are denoted as $\mu':=\{\mu'_1,\cdots,\mu'_s\}$.\
684:
685: It should be noted that we keep the internal ordering of these subsets to be ascending.\ The summation that appears in (\ref{eq:cauchy1}) runs over all possible partitions $\{\sigma,\sigma'\}$ and $\{\mu,\mu'\}$.\
686: More detail regarding the decomposition of the determinant of a sum of two matrices into minor determinants can be found in ~\cite{f}.\
687:
688: Since we will use the subscripts $\{n+\mu_1,\cdots,n+\mu_r\}$ and $\{n+\mu'_{1},\cdots,n+\mu'_{s}\}$ more often than $\mu$ and $\mu'$ themselves, we denote them as $n+\mu$ and $n+\mu'$.\
689: Now, each term in (\ref{eq:cauchy1}) can be recognized to be a Cauchy determinant.\
690: So we can express (\ref{eq:cauchy1}) as
691: \begin{gather}
692: \begin{array}{l}
693: \ds (-)^{\frac{n(n-1)}{2}}{\rm det}\left(\frac{e^{\lambda_{n+j}}}{L_i-L_{n+j}}+\frac{e^{\lambda_i}}{k_i-k_{n+j}}\right)\\[4mm]
694: \ds \quad =(-)^{\frac{n(n-1)}{2}}\sum_{\{\sigma,\sigma'\}\atop \{\mu,\mu'\}}(-)^{[\sigma]+[\mu]+\frac{r(r-1)}{2}+\frac{s(s-1)}{2}}\\[4mm]
695: \ds \hspace{3cm}\times\frac{k_\sigma k_{n+\mu}L_{\sigma'}L_{n+\mu'}}{k_{\sigma\to n+\mu}L_{\sigma'\to n+\mu'}}e^{\sum_{j=1}^r\lambda_{\sigma_j}+\sum_{j=1}^{s}\lambda_{n+\mu'_{j}}}\\[4mm]
696: \ds \quad =\sum_{\{\sigma,\sigma'\}\atop \{\mu,\mu'\}}(-)^{[\sigma]+[\mu]+(n+1)r}\frac{k_\sigma k_{n+\mu}L_{\sigma'}L_{n+\mu'}}{k_{\sigma\to n+\mu}L_{\sigma'\to n+\mu'}}e^{\sum_{j=1}^r\lambda_{\sigma_j}+\sum_{j=1}^{s}\lambda_{n+\mu'_{j}}}
697: \end{array}\label{eq:cauchy2}
698: \end{gather}
699: Next we expand the l.h.s. of (\ref{eq:analyticity1}) and verify that the coefficient in $e^{\sum_{j=1}^r\lambda_{\sigma_j}+\sum_{j=1}^{s}\lambda_{n+\mu'_j}}$ is the same as that of (\ref{eq:cauchy2}).\
700: The expansion involves a rather cumbersome parity which we temporarily denote as $(-)^S$.\
701: Due to Remark3 we have the following.\
702: \begin{gather}
703: \ds \textrm{the coefficient of }e^{\sum_{j=1}^r\lambda_{\sigma_j}+\sum_{j=1}^{s}\lambda_{n+\mu'_j}}\textrm{ in the l.h.s. of (\ref{eq:analyticity1})}\notag\\
704: \ds =\frac{k_{\{n+1,\cdots,2n\}}}{L_{\{n+1,\cdots,2n\}}}\frac{1}{L_{\{1,\cdots,n\}\to\{n+1,\cdots,2n\}}}\times\prod_{j=1}^rc_{\sigma_j}\times\prod_{j=1}^sc_{n+\mu'_j}\notag\\
705: \ds \qquad\qquad \times \left|
706: \begin{array}{cccc}
707: 1&k_{\sigma_1}&\cdots&k_{\sigma_1}^{n-1}\\
708: \vdots&\vdots&\vdots&\vdots\\
709: 1&k_{\sigma_r}&\cdots&k_{\sigma_r}^{n-1}\\
710: 1&k_{n+\mu'_1}&\cdots&k_{n+\mu'_1}^{n-1}\\
711: \vdots&\vdots&\vdots&\vdots\\
712: 1&k_{n+\mu'_s}&\cdots&k_{n+\mu'_s}^{n-1}\\
713: \end{array}
714: \right|
715: \left|
716: \begin{array}{cccc}
717: 1&L_{\sigma'_1}&\cdots&L_{\sigma'_1}^{n-1}\\
718: \vdots&\vdots&\vdots&\vdots\\
719: 1&L_{\sigma'_s}&\cdots&L_{\sigma'_s}^{n-1}\\
720: 1&L_{n+\mu_1}&\cdots&L_{n+\mu_1}^{n-1}\\
721: \vdots&\vdots&\vdots&\vdots\\
722: 1&L_{n+\mu_r}&\cdots&L_{n+\mu_r}^{n-1}\\
723: \end{array}
724: \right|\times(-)^{S}\notag
725: \end{gather}%%end of the determinant%%
726: \begin{gather}
727: \ds =(-)^{S}\times\frac{k_{\{n+1,\cdots,2n\}}}{L_{\{n+1,\cdots,2n\}}}\frac{k_{\{\sigma,n+\mu'\}}L_{\{\sigma',n+\mu\}}}{L_{\{1,\cdots,n\}\to\{n+1,\cdots,2n\}}}\prod_{j=1}^rc_{\sigma_j}\times\prod_{j=1}^sc_{n+\mu'_j}\notag\\
728: \ds =(-)^{S}\times\frac{k_{\{n+1,\cdots,2n\}}}{L_{\{n+1,\cdots,2n\}}}\frac{k_\sigma k_{n+\mu'} k_{\sigma\to n+\mu'} L_{\sigma'}L_{n+\mu}L_{\sigma'\to n+\mu}}{L_{\{1,\cdots,n\}\to\{n+1,\cdots, 2n\}}}\notag\\
729: \ds\qquad\qquad \times\prod_{j=1}^r\frac{L_{\sigma_j\to\{n+1,\cdots,2n\}}}{k_{\sigma_j\to \{n+1,\cdots,2n\}}}\times
730: \left(\prod_{j=1}^s-\frac{L_{n+\mu'_j\to \{n+1,\cdots,2n\}\backslash\{n+\mu'_j\}}}{k_{n+\mu'_j\to \{n+1,\cdots,2n\}\backslash\{n+\mu'_j\}}}\right)\notag\\%%
731: \ds =(-)^{S}\times (-)^s\times\frac{k_{\{n+1,\cdots,2n\}}}{L_{\{n+1,\cdots,2n\}}}\frac{k_\sigma k_{n+\mu'} k_{\sigma\to n+\mu'} L_{\sigma'}L_{n+\mu}L_{\sigma'\to n+\mu}}{L_{\{1,\cdots,n\}\to\{n+1,\cdots,2n\}}}\notag\\
732: \ds \qquad\qquad \times\frac{L_{\sigma\to\{n+1,\cdots,2n\}}}{k_{\sigma\to\{n+1,\cdots,2n\}}}\left(\frac{L_{n+\mu'}}{k_{n+\mu'}}\right)^2\frac{L_{n+\mu'\to n+\mu}}{k_{n+\mu'\to n+\mu}}\notag\\
733: \ds =(-)^{S}\times (-)^s\times\frac{k_\sigma k_{n+\mu}L_{\sigma'}L_{n+\mu'}}{k_{\sigma\to n+\mu}L_{\sigma'\to n+\mu'}}
734: \label{eq:cauchy3}
735: \end{gather}
736: Thus, the remaining task is to show that the signs of (\ref{eq:cauchy2}) and (\ref{eq:cauchy3}) are the same.\
737: In (\ref{eq:cauchy3}), $(-)^{S}$ denotes the parity of the permutation needed to rearrange $\{1,2,\cdots,2n\}$ in the order $\{\sigma,n+\mu',\sigma',n+\mu\}$.\ In this rearrangement, we first change $\{1,2,\cdots,2n\}$ to $\{\sigma,\sigma',n+\mu,n+\mu'\}$, which has the parity $(-)^{[\sigma]+[\mu]}$.\
738: Then we change $\{\sigma,\sigma',n+\mu,n+\mu'\}$ to $\{\sigma,n+\mu',\sigma',n+\mu\}$, which has the parity $(-)^{ns}$.\
739: Thus, we have
740: \begin{gather}
741: (-)^S\times (-)^s=(-)^{[\sigma]+[\mu]+(n+1)s}=(-)^{[\sigma]+[\mu]+(n+1)r}.\label{eq:cauchy4}
742: \end{gather}
743: From (\ref{eq:cauchy2}), (\ref{eq:cauchy3}), (\ref{eq:cauchy4}), We see that {\rmfamily Theorem \ref{thmanalyticity}} holds.\
744: \end{proof}
745: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%analyticity%%%%%%%%%%%%%%%%%%%%%%
746:
747: Using Theorem \ref{thmanalyticity}, we can now accomplish the last step in the proof of Proposition\ref{main}
748: \begin{corollary}
749: If the absolute values of $k_j$ are small enough, $w_{21}(x-i\delta)$ becomes analytic everywhere in the strip $0\leq {\rm Im}\; x \leq 2\delta$.\
750: \end{corollary}
751: \begin{proof}
752:
753: We shall prove that $w_{21}(x)$ is analytic everywhere in $\delta\geq |{\rm Im}\; x|$.\
754: We first rewrite {\rmfamily Theorem \ref{thmanalyticity}} as follows.\
755: \begin{gather}
756: \begin{array}{ll}
757: \tau
758: \ds =(-)^{\frac{n(n-1)}{2}}
759: \times \frac{L_{\{n+1\cdots 2n\}}}{k_{\{n+1\cdots 2n\}}}
760: &\ds \times L_{\{1,\cdots,n\}\to\{n+1,\cdots,2n\}}
761: \times e^{\sum_{J=1}^n\lambda_{n+j}}\\
762: &\ds \times{\rm det}\left(\frac{1}{L_i-L_{n+j}}+\frac{e^{\lambda_i-\lambda_{n+j}}}{k_i-k_{n+j}}\right).
763: \end{array}\label{eq:lastcor}
764: \end{gather}
765: So, whether $w_{21}(x)$ is analytic or not depends on the last determinant in (\ref{eq:lastcor}).\
766: Due to Remark 1, the determinant becomes
767: \begin{gather}
768: {\rm det}\left(\frac{1}{L_i+L_{j}^\dagger}+\frac{e^{\lambda_i+\lambda_{j}^\dagger}}{k_i+k_{j}^\dagger}\right). \label{eq:cauchy5}
769: \end{gather}
770: It is easily seen that (\ref{eq:cauchy5}) is positive for real $x$ because, for any nonzero vector $(y_1,y_2,\cdots,y_n)$,
771: \begin{gather}
772: \begin{array}{l}
773: \ds (y_1,\cdots,y_n)
774: \left(
775: \begin{array}{ccc}
776: \frac{1}{L_1+L_{1}^\dagger}+\frac{e^{\lambda_1+\lambda_{1}^\dagger}}{k_1+k_{1}^\dagger}&\cdots&\frac{1}{L_1+L_{n}^\dagger}+\frac{e^{\lambda_1+\lambda_{n}^\dagger}}{k_1+k_{n}^\dagger}\\
777: \vdots&\ddots&\vdots\\
778: \frac{1}{L_n+L_{1}^\dagger}+\frac{e^{\lambda_n+\lambda_{1}^\dagger}}{k_n+k_{1}^\dagger}&\cdots&\frac{1}{L_n+L_{n}^\dagger}+\frac{e^{\lambda_n+\lambda_{n}^\dagger}}{k_i+k_{j}^\dagger}
779: \end{array}
780: \right)
781: \left(
782: \begin{array}{c}
783: y_1^\dagger\\
784: \vdots\\
785: y_n^\dagger
786: \end{array}
787: \right)\\
788: \ds =\int_{-\infty}^0du
789: (y_1,\cdots,y_n)
790: \left(
791: \begin{array}{ccc}
792: e^{(L_1+L_{1}^\dagger)u}&\cdots&e^{(L_1+L_{n}^\dagger)u}\\
793: \vdots&\ddots&\vdots\\
794: e^{(L_n+L_{1}^\dagger)u}&\cdots&e^{(L_n+L_{n}^\dagger)u}
795: \end{array}
796: \right)
797: \left(
798: \begin{array}{c}
799: y_1^\dagger\\
800: \vdots\\
801: y_n^\dagger
802: \end{array}
803: \right)\\
804: \ds \qquad +\int_{-\infty}^xdu
805: (y_1,\cdots,y_n)
806: \left(
807: \begin{array}{ccc}
808: e^{\lambda_1+\lambda_{1}^\dagger}|_{x=u}&\cdots&e^{\lambda_1+\lambda_{n}^\dagger}|_{x=u}\\
809: \vdots&\ddots&\vdots\\
810: e^{\lambda_n+\lambda_{1}^\dagger}|_{x=u}&\cdots&e^{\lambda_n+\lambda_{n}^\dagger}|_{x=u}
811: \end{array}
812: \right)
813: \left(
814: \begin{array}{c}
815: y_1^\dagger\\
816: \vdots\\
817: y_n^\dagger
818: \end{array}
819: \right)\\
820: \ds =\int_{-\infty}^0du\sum_{j=1}^n|y_je^{L_ju}|^2+\int_{-\infty}^xdu\sum_{j=1}^n|(y_je^{\lambda_j}|_{x=u})|^2>0.
821: \end{array}
822: \end{gather}
823: Regarding the integrals aboves, note that $k_j+k_j^\dagger$ and $L_j+L_j^\dagger$ are positive due to condition C1 and Remark2.\
824: Thus, we see (\ref{eq:cauchy5}) is nonzero on the real axis.\
825: As for the whole strip $\delta\leq |{\rm Im}\; x|$, by inspection of (\ref{eq:xbecomslarger}) and (\ref{eq:xbecomessmaller}), we see that $w_{21}$ is analytic in the strip if the real part of $|x|$ is large enough.\
826: More precisely, there exists a real constant $R$ such that $w_{21}$ is analytic in the region $\ds\{x\left|\delta\leq |{\rm Im}\; x| \cap |{\rm Re}\;x|\geq R \right.\}$,
827: which leaves open the possibility that $w_{21}$ might still have singular points in the rectangle $\ds\{x\left|\delta\leq |{\rm Im}\; x| \cap |{\rm Re }x|< R \right.\}$.\
828: However, since $w_{21}$ is real analytic, we have a certain analytic neighbourhood including the line $\{x|-R\leq x\leq R\}$.\
829: Furthermore, since $w_{21}$ contains the variable $x$ only in the form $k_jx$, choosing the absolute values of $k_j$ small enough, one can make sure the analytic neighbourhood gets broad enough until it contains the whole rectangle.\
830: \end{proof}
831: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%Concluding remarks%%%%%%%%%%%%%%%%%
832: \section{Concluding remarks}
833: \quad We presented a double Wronskian solution for the focusing intermediate nonlinear Schr\"{o}dinger equation.\
834: Its construction was based on Sato theory, which also clarified the relation between the $2$--component KP hierarchy and this particular INLS equation.\
835:
836: The solitons exhibit peculiar interactions, i.e.,
837: the $2$--soliton solution exhibits oscillations for the slower soliton in the interaction region.\
838: It is an interesting problem to investigate the properties of these soliton solutions in comparison to those of e.g. the NLS equation, which should shed more light on the characteristic interaction properties of the INLS solitons.\
839: This will be investigated in the future.\
840:
841: {
842: As pointed out in the Introduction, the $\delta\to0$ limit of the INLS equation with $\sigma=-1$ yields the focusing NLS equation.\
843: It is important to remark that the solution (\ref{eq:ourw21}) satisfying $C1\sim C3$ endures this limit, i.e. $U=w_{21}/\sqrt{2\delta}$ corresponds to the $n$-soliton solution of the focusing NLS in double Wronskian form.\
844: }
845: Let us explain the fact briefly.\
846: Since $c_j\to (2\delta)^n, c_{n+j}\to -(2\delta)^{n-1},\ (j=1,2,\cdots,n)$ and $L_j\to 2\delta k_j,\ (j=1,2,\cdots,2n)$ as $\delta\to0$, $w_{21}$ can be approximated as follows.\
847: \begin{gather}
848: w_{21}(x)/\sqrt{2\delta}=(-)^{n+1}\nonumber\\
849: \ \times\frac{
850: \left|
851: \begin{array}{ccccccc}
852: \sqrt{2\delta} e^{\lambda_1}&\cdots&k_1^{n-2} \sqrt{2\delta}e^{\lambda_1} &1&k_1&\cdots&k_1^{n}\\
853: \sqrt{2\delta} e^{\lambda_2}&\cdots&k_2^{n-2} \sqrt{2\delta}e^{\lambda_2} &1&k_2&\cdots&k_2^{n}\\
854: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
855: -(\sqrt{2\delta})^{-1}e^{\lambda_{2n}}&\cdots&-k_{2n}^{n-2} (\sqrt{2\delta})^{-1}e^{\lambda_{2n}} &1&k_{2n}&\cdots&k_{2n}^{n}\\
856: \end{array}
857: \right|}{
858: \left|
859: \begin{array}{ccccccc}
860: \sqrt{2\delta} e^{\lambda_1}&\cdots&k_1^{n-1} \sqrt{2\delta}e^{\lambda_1} &1&k_1&\cdots&k_1^{n-1}\\
861: \sqrt{2\delta} e^{\lambda_2}&\cdots&k_2^{n-1} \sqrt{2\delta}e^{\lambda_2} &1&k_2&\cdots&k_2^{n-1}\\
862: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
863: -(\sqrt{2\delta})^{-1}e^{\lambda_{2n}}&\cdots&-k_{2n}^{n-1} (\sqrt{2\delta})^{-1}e^{\lambda_{2n}} &1&k_{2n}&\cdots&k_{2n}^{n-1}\\
864: \end{array}
865: \right|}
866: \label{eq:NLS}
867: \end{gather}
868: By defining the phase constants $a_j=a'_j-\frac12\ln(2\delta)$, the $\sqrt{2\delta}$'s in the determinants disappear and (\ref{eq:NLS}) becomes nothing else but the bright $n$-soliton solution of the focusing NLS equation.\
869:
870: %%%%%%%%%%%%%%%%%%%%%%%%%
871:
872: \vspace{\baselineskip}
873: \noindent{\bf Acknowledgement}
874:
875: This work was partially supported by a Grant-in-Aid from the Japan foundation for the Promotion of Science (JSPS).\
876: The author is grateful to R. Willox for his pointed remarks and for encouraging the author.\
877: The author also would like to thank S. Kakei, Y. Ohta and J. Nimmo for discussions and advice.\
878: This paper could not have been refined without their help.\
879: %%%%%%%%%%%%%%%%%%Proof of Theorem \ref{conjugation}%%%%%%%%%%%%%%%%%%%%
880: \appendix
881: \section{Proof of Theorem \ref{conjugation}}
882: \begin{proof}
883: By virtue of Remark 1, the complex conjugate of (\ref{eq:ourw21}) is
884: \begin{gather}
885: w_{21}^\dagger=(-)^{n+1}\nonumber\\
886: \times
887: \frac{\left|
888: \begin{array}{cccccc}
889: c_1^\dagger e^{-\lambda_{n+1}}&\cdots&(-k_{n+1})^{n-2} c_1^\dagger e^{-\lambda_{n+1}} &1&\cdots&(-L_{n+1})^{n}\\
890: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
891: c_n^\dagger e^{-\lambda_{2n}}&\cdots&(-k_{2n})^{n-2} c_n^\dagger e^{-\lambda_{2n}} &1&\cdots&(-L_{2n})^{n}\\
892: c_{n+1}^\dagger e^{-\lambda_1}&\cdots&(-k_1)^{n-2} c_{n+1}^\dagger e^{-\lambda_1} &1&\cdots&(-L_1)^{n}\\
893: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
894: c_{2n}^\dagger e^{-\lambda_{n}}&\cdots&(-k_{n})^{n-2} c_{2n}^\dagger e^{-\lambda_{n}} &1&\cdots&(-L_{n})^{n}\\
895: \end{array}
896: \right|\;}
897: {\left|
898: \begin{array}{cccccc}
899: c_1^\dagger e^{-\lambda_{n+1}}&\cdots&(-k_{n+1})^{n-1} c_1^\dagger e^{-\lambda_{n+1}} &1&\cdots&(-L_{n+1})^{n-1}\\
900: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
901: c_n^\dagger e^{-\lambda_{2n}}&\cdots&(-k_{2n})^{n-1} c_n^\dagger e^{-\lambda_{2n}} &1&\cdots&(-L_{2n})^{n-1}\\
902: c_{n+1}^\dagger e^{-\lambda_1}&\cdots&(-k_1)^{n-1} c_{n+1}^\dagger e^{-\lambda_1} &1&\cdots&(-L_1)^{n-1}\\
903: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
904: c_{2n}^\dagger e^{-\lambda_{n}}&\cdots&(-k_{n})^{n-1} c_{2n}^\dagger e^{-\lambda_{n}} &1&\cdots&(-L_{n})^{n-1}\\
905: \end{array}
906: \right|}.\label{eq:conj1}%%%%complex conjugate%%%%%%%%%%
907: \end{gather}
908: We arrange the rows in ascending order for the subscripts of $\lambda$ and gather the negative signs in each row.\ Then we have,
909: \begin{gather}
910: w_{21}^\dagger=
911: \frac{(-)^{n}\left|
912: \begin{array}{cccccc}
913: c_{n+1}^\dagger e^{-\lambda_1}&\cdots&k_1^{n-2} c_{n+1}^\dagger e^{-\lambda_1} &1&\cdots&L_1^{n}\\
914: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
915: c_{2n}^\dagger e^{-\lambda_{n}}&\cdots&k_{n}^{n-2} c_{2n}^\dagger e^{-\lambda_{n}} &1&\cdots&L_{n}^{n}\\
916: c_1^\dagger e^{-\lambda_{n+1}}&\cdots&k_{n+1}^{n-2} c_1^\dagger e^{-\lambda_{n+1}} &1&\cdots&L_{n+1}^{n}\\
917: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
918: c_n^\dagger e^{-\lambda_{2n}}&\cdots&k_{2n}^{n-2} c_n^\dagger e^{-\lambda_{2n}} &1&\cdots&L_{2n}^{n}\\
919: \end{array}
920: \right|\;}
921: {\left|
922: \begin{array}{cccccccc}
923: c_{n+1}^\dagger e^{-\lambda_1}&\cdots&k_1^{n-1} c_{n+1}^\dagger e^{-\lambda_1} &1&\cdots&L_1^{n-1}\\
924: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
925: c_{2n}^\dagger e^{-\lambda_{n}}&\cdots&k_{n}^{n-1} c_{2n}^\dagger e^{-\lambda_{n}} &1&\cdots&L_{n}^{n-1}\\
926: c_1^\dagger e^{-\lambda_{n+1}}&\cdots&k_{n+1}^{n-1} c_1^\dagger e^{-\lambda_{n+1}} &1&\cdots&L_{n+1}^{n-1}\\
927: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
928: c_n^\dagger e^{-\lambda_{2n}}&\cdots&k_{2n}^{n-1} c_n^\dagger e^{-\lambda_{2n}} &1&\cdots&L_{2n}^{n-1}\\
929: \end{array}
930: \right|}.\label{eq:conj2}%%%complex conjugate%%%
931: \end{gather}
932: Now we carry out the Laplace expansions of both the numerator and the denominator in (\ref{eq:conj2}).\
933: \begin{gather}
934: \begin{array}{l}
935: \ds \textrm{The numerator of (\ref{eq:conj2})}\\
936: \ds \quad =(-)^{n}\times
937: \displaystyle\sum(-)^{[\sigma]}\prod_{r=1}^{n-1}c_{n+\sigma_r}^\dagger e^{-\lambda_{\sigma_r}}\\
938: \ds \qquad\qquad \times\left|
939: \begin{array}{cccc}
940: 1&k_{\sigma_1}&\cdots&k_{\sigma_1}^{n-2}\\
941: 1&k_{\sigma_2}&\cdots&k_{\sigma_2}^{n-2}\\
942: \vdots&\vdots&\vdots&\vdots\\
943: 1&k_{\sigma_{n-1}}&\cdots&k_{\sigma_{n-1}}^{n-2}
944: \end{array}
945: \right|
946: \left|
947: \begin{array}{cccc}
948: 1&L_{\sigma'_1}&\cdots&L_{\sigma'_1}^{n}\\
949: 1&L_{\sigma'_2}&\cdots&L_{\sigma'_2}^{n}\\
950: \vdots&\vdots&\vdots&\vdots\\
951: 1&L_{\sigma'_{n+1}}&\cdots&L_{\sigma'_{n+1}}^{n}
952: \end{array}
953: \right|\\
954: \ds \quad =(-)^{n+1}\times
955: \displaystyle\sum(-)^{[\sigma]}k_\sigma L_{\sigma'}\prod_{r=1}^{n-1}c_{n+\sigma_r}^\dagger e^{-\lambda_{\sigma_r}}\end{array}
956: \end{gather}
957: The summation runs over all possible ascending partitions $\sigma,\sigma'$ of $\{1,2,\cdots,2n\}$, where $\sigma:=\{\sigma_1,\sigma_2,\cdots,\sigma_{n-1}\}$ and $\sigma':=\{\sigma'_1,\sigma'_2,\cdots,\sigma'_{n+1}\}$.\
958: $(-)^{[\sigma]}$ denotes the parity of the permutation needed to move the rows of type $\sigma$ to the beginning and of type $\sigma'$ to the end.\
959: We apply the same procedure to the denominator of (\ref{eq:conj2}) (for which the partition is denoted by $\mu:=\{\mu_1,\mu_2,\cdots,\mu_{n}\},\mu':=\{\mu'_1,\mu'_2,\cdots,\mu'_{n}\}$) and have
960: \begin{gather}
961: w_{21}^\dagger=\frac{
962: (-)^{n+1}\displaystyle\sum_{\{\sigma_j\},\{\sigma'_j\}}(-)^{[\sigma]}k_\sigma L_{\sigma'}\prod_{r=1}^{n-1}c_{n+\sigma_r}^\dagger e^{-\lambda_{\sigma_r}}
963: }
964: {
965: \displaystyle\sum_{\mu,\mu'}(-)^{[\mu]}k_\mu L_{\mu'}\prod_{r=1}^{n}c_{n+\mu_r}^\dagger e^{-\lambda_{\mu_r}}
966: }.\label{eq:w21dagger}
967: \end{gather}
968: Next we consider $w_{12}$.\
969: Rearranging the columns in (\ref{eq:w12}), we have,
970: \begin{gather}
971: \begin{array}{ll}
972: \ds w_{12}&=\frac{(-)^{n+1}\left|
973: \begin{array}{cccccc}
974: c_1^{-1}e^{-\lambda_1}&\cdots&L_1^{n-2} c_1^{-1}e^{-\lambda_1}&1&\cdots&k_1^{n}\\
975: c_2^{-1}e^{-\lambda_2}&\cdots&L_2^{n-2} c_2^{-1}e^{-\lambda_2}&1&\cdots&k_2^{n} \\
976: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
977: c_{2n}^{-1}e^{-\lambda_{2n}}&\cdots&L_{2n}^{n-2} c_{2n}^{-1}e^{-\lambda_{2n}}&1&\cdots&k_{2n}^{n}\\
978: \end{array}
979: \right|}{\left|
980: \begin{array}{cccccccc}
981: c_1^{-1}e^{-\lambda_1}&\cdots&L_1^{n-1} c_1^{-1}e^{-\lambda_1}&1&\cdots&k_1^{n-1}\\
982: c_2^{-1}e^{-\lambda_2}&\cdots&L_2^{n-1} c_2^{-1}e^{-\lambda_2}&1&\cdots&k_2^{n-1}\\
983: \vdots&\vdots&\vdots&\vdots&\vdots&\vdots\\
984: c_{2n}^{-1}e^{-\lambda_{2n}}&\cdots&L_{2n}^{n-1} c_{2n}^{-1}e^{-\lambda_{2n}}&1&\cdots&k_{2n}^{n-1}\\
985: \end{array}
986: \right|}\\
987: &\ds =\frac{
988: (-)^{n}\displaystyle\sum_{\sigma,\sigma'}(-)^{[\sigma]}L_\sigma k_{\sigma'}\prod_{r=1}^{n-1}c_{\sigma_r}^{-1} e^{-\lambda_{\sigma_r}}
989: }
990: {
991: \displaystyle\sum_{\mu,\mu'}(-)^{[\mu]}L_\mu k_{\mu'}\prod_{r=1}^{n}c_{\mu_r}^{-1} e^{-\lambda_{\mu_r}}
992: }.
993: \end{array}\label{eq:w12dagger}
994: \end{gather}
995: To prove $w_{21}^\dagger=w_{12}$ all we have to do is to show that
996: \begin{gather}
997: \begin{array}{l}
998: \ds\frac{\textrm{the coefficient of }e^{-\sum_{j=1}^{n-1}\lambda_{\sigma_j}}\textrm{of the numerator of }(\ref{eq:w21dagger})}{\textrm{the coefficient of }e^{-\sum_{j=1}^{n-1}\lambda_{\sigma_j}}\textrm{of the numerator of }(\ref{eq:w12dagger})}\\
999: \ds\qquad =\frac{\textrm{the coefficient of }e^{-\sum_{j=1}^n\lambda_{\mu_j}}\textrm{of the denominator of }(\ref{eq:w21dagger})}{\textrm{the coefficient of }e^{-\sum_{j=1}^n\lambda_{\mu_j}}\textrm{of the denominator of }(\ref{eq:w12dagger})}
1000: \end{array}\label{eq:coefficientconjugation}
1001: \end{gather}
1002: for arbitrary $\sigma$ and $\mu$.\ To accomplish this, we will make repeated use of Remark 3:
1003: \begin{gather}
1004: \textrm{the l.h.s. of }(\ref{eq:coefficientconjugation})=-\frac{\displaystyle
1005: k_\sigma L_{\sigma'}\prod_{r=1}^{n-1}c_{n+\sigma_r}^\dagger
1006: }
1007: {\displaystyle
1008: L_\sigma k_{\sigma'}\prod_{r=1}^{n-1}c_{\sigma_r}^{-1}
1009: }=-\frac{k_\sigma L_{\sigma'}}{L_\sigma k_{\sigma'}}\prod_{r=1}^{n-1}c_{n+\sigma_r}^\dagger c_{\sigma_r} \label{eq:conj3}
1010: \end{gather}
1011: Note that $c_j$ can be rewritten as,
1012: \begin{gather}
1013: c_j=\left\{
1014: \begin{array}{ll}
1015: \ds\frac{L_{\{j\}\to \{n+1\cdots,2n\}}}{k_{\{j\}\to \{n+1\cdots,2n\}}}=\frac{L_{\{j\}\to \{n+1,\cdots,2n\}\backslash\{j\}}}{k_{\{j\}\to \{n+1,\cdots,2n\}\backslash\{j\}}}&(j=1,2,\cdots,n)\\
1016: &\\
1017: \ds -\frac{L_{\{j\}\to \{n+1,\cdots,2n\}\backslash\{j\}}}{k_{\{j\}\to \{n+1,\cdots,2n\}\backslash\{j\}}}&(j=n+1,n+2,\cdots,2n)
1018: \end{array}\right.
1019: \end{gather}
1020: Thus, we have
1021: \begin{gather}
1022: \begin{array}{l}
1023: \ds \prod_{r=1}^{n-1}c_{n+\sigma_r}^\dagger c_{\sigma_r}\\
1024: \ds \ \ =\prod_{r=1}^{n-1}\left\{-\left(\frac{L_{\{n+\sigma_r\}\to \{n+1,\cdots,2n\}\backslash\{n+\sigma_r\}}}{k_{\{n+\sigma_r\}\to \{n+1,\cdots,2n\}\backslash\{n+\sigma_r\}}}\right)^\dagger\frac{L_{\{\sigma_r\}\to \{n+1,\cdots,2n\}\backslash\{\sigma_r\}}}{k_{\{\sigma_r\}\to \{n+1,\cdots,2n\}\backslash\{\sigma_r\}}}\right\}\\
1025: \ds \ =(-)^{n-1}\prod_{r=1}^{n-1}\frac{L_{\{\sigma_r\}\to \{1,\cdots,n\}\backslash\{\sigma_r\}}}{k_{\{\sigma_r\}\to \{1,\cdots,n\}\backslash\{\sigma_r\}}}\, \frac{L_{\{\sigma_r\}\to \{n+1,\cdots,2n\}\backslash\{\sigma_r\}}}{k_{\{\sigma_r\}\to \{n+1,\cdots,2n\}\backslash\{\sigma_r\}}}\\
1026: \ds \ =(-)^{n-1}\prod_{r=1}^{n-1}\frac{L_{\sigma_r\to \{1,\cdots,2n\}\backslash\{\sigma_r\}}}{k_{\sigma_r\to \{1,\cdots,2n\}\backslash\{\sigma_r\}}}=(-)^{n-1}\left(\frac{L_\sigma}{k_\sigma}\right)^2\frac{L_{\sigma\to \sigma'}}{k_{\sigma\to \sigma'}}
1027: \end{array}.\label{eq:conj4}
1028: \end{gather}
1029: Substituting (\ref{eq:conj4}) into the r.h.s. of (\ref{eq:conj3}), we have,
1030: \begin{gather}
1031: \begin{array}{ll}
1032: \displaystyle\textrm{the r.h.s. of (\ref{eq:conj3})}&\ds =-(-)^{n-1}\frac{k_\sigma L_{\sigma'}}{L_\sigma k_{\sigma'}}\left(\frac{L_\sigma}{k_\sigma}\right)^2\frac{L_{\sigma\to \sigma'}}{k_{\sigma\to \sigma'}}\\
1033: &\ds =(-)^n\frac{L_{\{1,\cdots,2n\}}}{k_{\{1,\cdots,2n\}}}
1034: \end{array}.
1035: \label{eq:conj7}
1036: \end{gather}
1037: We also have
1038: \begin{gather}
1039: \begin{array}{ll}
1040: \textrm{the r.h.s. of }(\ref{eq:coefficientconjugation})&=\frac{\displaystyle
1041: k_\mu L_{\mu'}\prod_{r=1}^{n-1}c_{n+\mu_r}^\dagger
1042: }
1043: {\displaystyle
1044: L_\mu k_{\mu'}\prod_{r=1}^{n-1}c_{\mu_r}^{-1}
1045: }\ds =\frac{k_\mu L_{\mu'}}{L_\mu k_{\mu'}}\prod_{r=1}^{n-1}c_{n+\mu_r}^\dagger c_{\mu_r}\\
1046: &\ds =\frac{k_\mu L_{\mu'}}{L_\mu k_{\mu'}}\times (-)^{n}\left(\frac{L_\mu}{k_\mu}\right)^2\frac{L_{\mu\to \mu'}}{k_{\mu\to \mu'}}=(-)^n\frac{L_{\{1,\cdots,2n\}}}{k_{\{1,\cdots,2n\}}}.
1047: \end{array} \label{eq:conj8}
1048: \end{gather}
1049: Hence, from (\ref{eq:conj7}), (\ref{eq:conj8}) we see that $w_{21}^\dagger=w_{12}$.\
1050: \end{proof}
1051:
1052: \begin{thebibliography}{99}
1053: \small
1054:
1055: \bibitem{e}
1056: Kac V G and van de Leur J W, The n-component KP hierarchy and representation theory, {\it J. Math. Phys.} {\bf 44} (2003), 3245-3293.
1057:
1058: \bibitem{t}
1059: Kodama Y, Satsuma J and Ablowitz M J, Nonlinear Intermediate Long-Wave Equation: Analysis and Method of Solution, {\it Phys. Rev. Lett.} {\bf 46} (1981), 687-690.
1060:
1061: \bibitem{f}
1062: Korepin V E, Bogoliubov N M and Izergin A G, Quantum Inverse Scattering Method and Correlation Functions, Cambridge University Press, Cambridge, 1993.
1063:
1064: \bibitem{h}
1065: Matsuno Y, N-soliton formulae for the intermediate nonlinear Schr\"{o}dinger equation, {\it Inverse Problems} {\bf 17} (2001), 501-514.
1066:
1067: \bibitem{i}
1068: Matsuno Y, Exactly solvable eigenvalue problems for a nonlocal nonlinear Schr\"{o}dinger equation, {\it Inverse Problems} {\bf 18} (2002), 1101-1126.
1069:
1070:
1071: \bibitem{c}
1072: Mulase M, {\it Math. Sci.} {\bf 228} (1982), 16-23. (in Japanese)
1073:
1074: \bibitem{d}
1075: Ohta Y, Satsuma J, Takahashi D and Tokihiro T, An elementary introduction to Sato theory, {\it Prog. Theor. Phys. Suppl.} {\bf 94} (1988), 210-241.
1076:
1077: \bibitem{a}
1078: Pelinovsky D, Intermediate nonlinear Schr\"{o}dinger equation for internal waves in a fluid of finite depth, {\it Phys.Lett.} {\bf A197} (1995), 401-406.
1079:
1080: \bibitem{g}
1081: Pelinovsky D and Grimshaw R, A spectral transform for the intermediate nonlinear Schr\"{o}dinger equation, {\it J. Math. Phys.} {\bf 36} (1995), 4203-4219.
1082:
1083:
1084: \bibitem{b}
1085: Sato M, Soliton Equations as Dynamical Systems on a Infinite Dimensional Grassmann Manifolds, {\it RIMS K\^{o}ky\^{u}roku} {\bf 439} (1981), 30-46.
1086:
1087: \bibitem{s}
1088: Satsuma J, Ablowitz M J and Kodama Y, On an internal wave equation describing a stratified fluid with finite depth, {\it Phys. Lett.} {\bf A73} (1979), 283-286.
1089: \end{thebibliography}
1090:
1091: \label{lastpage}
1092:
1093: \end{document}
1094:
1095: