1: \documentclass{amsart}

2: %\textwidth 6in

3: \renewcommand{\baselinestretch}{1}

4: 

5: \usepackage{amssymb}

6: \topmargin=-.1in

7: \textheight=8.75in

8: \textwidth=6in

9: \setlength{\oddsidemargin}{.2in}

10: \setlength{\evensidemargin}{.25in}

11: \setlength{\footskip}{.5in}

12: 

13: \usepackage{graphicx}

14: \usepackage{epstopdf}

15: \DeclareGraphicsRule{.tif}{png}{.png}{`convert #1 `basename #1 .tif`.png}

16: 

17: \usepackage{amscd}

18: \usepackage{graphics}

19: \newtheorem{Theorem}{Theorem}[section]

20: \newtheorem{Proposition}{Proposition}[section]

21: \newtheorem{Corollary}{Corollary}[section]

22: \newtheorem{Lemma}{Lemma}[section]

23: \newtheorem{conjecture}[Theorem]{Conjecture}

24: 

25: \def\proof{\par{\it Proof}. \ignorespaces}

26: \def\endproof{{\ \vbox{\hrule\hbox{%

27:      \vrule height1.3ex\hskip0.8ex\vrule}\hrule }}\par}

28: \newenvironment{Proof}{\proof}{\endproof}

29: 

30: \theoremstyle{definition}

31: \newtheorem{Definition}[Theorem]{Definition}

32: \newtheorem{Example}[Theorem]{Example}

33: \newtheorem{Notation}[Theorem]{Notation}

34: \newtheorem{Conjecture}[Theorem]{Conjecture}

35: \newtheorem{xca}[Theorem]{Exercise}

36: 

37: \theoremstyle{remark}

38: \newtheorem{Remark}[Theorem]{Remark}

39: 

40: \numberwithin{equation}{section}

41: 

42: \begin{document}

43: 

44: % \newcommand{\blankbox}[2]{%

45: %    \parbox{\columnwidth}{\centering

46: %    Set fboxsep to 0 so that the actual size of the box will match the

47: %    given measurements more closely.

48: %      \setlength{\fboxsep}{0pt}%

49: %      \fbox{\raisebox{0pt}[#2]{\hspace{#1}}}%

50: %    }%

51: %}

52: % \begin{document}

53: 

54: 

55: \title{$N$-soliton solutions to the DKP equation and

56:  Weyl group actions}

57: 

58: %    Information for first author

59: \author{Yuji Kodama$^*$}

60: %    Address of record for the research reported here

61: \address{Department of Mathematics, Ohio State University, Columbus,

62: OH 43210}

63: \email{kodama@math.ohio-state.edu}

64: %    \thanks will become a 1st page footnote.

65: %    Information for second author

66: \author{Ken-ichi Maruno$^{\dagger}$}

67: \address{Faculty of Mathematics, Kyushu University, Fukuoka, 812-8581, Japan}

68: \thanks{$^*$Partially

69: supported by NSF grant DMS0404931.

70: $^{\dagger}$ Supported by COE program at Faculty of Mathematics, Kyushu University.}

71: 

72: \email{maruno@math.kyushu-u.ac.jp}

73: 

74: 

75: \keywords{}

76: 

77: 

78: 

79: \thispagestyle{empty}

80: %\pagenumbering{roman}%\setcounter{page}{1}

81: %\include{acknowledgement}

82: %\tableofcontents

83: %\clearpage

84: 

85: \pagenumbering{arabic}

86: \setcounter{page}{1}

87: 

88: \begin{abstract}

89: We study soliton solutions to the DKP equation

90: which is defined by the Hirota bilinear form,

91: \[

92: \left\{

93: \begin{array}{llll}

94: (-4D_xD_t+D_x^4+3D_y^2)\,\tau_n\cdot\tau_n=24\tau_{n-1}\tau_{n+1}\,,\\

95: (2D_t+D_x^3\mp 3D_xD_y)\,\tau_{n\pm 1}\cdot\tau_n=0\\

96: \end{array}\right. \quad n=1,2,\ldots.

97: \]

98: where $\tau_0=1$.  The $\tau$-functions $\tau_n$ are given by

99: the pfaffians of certain skew-symmetric matrix.

100: We identify one-soliton solution as an element of the Weyl group of D-type, and

101: discuss a general structure of the interaction patterns among the solitons.

102: Soliton solutions are characterized by $4N\times 4N$ skew-symmetric constant

103: matrix which we call the $B$-matrices. We then find that one can have

104: $M$-soliton solutions with $M$ being any number from $N$ to $2N-1$ for

105: some of the $4N\times 4N$ $B$-matrices having only $2N$ nonzero

106: entries in the upper triangular part (the number of solitons obtained from those $B$-matrices

107: was previously expected to be just $N$).

108: \end{abstract}

109: 

110: \maketitle

111: 

112: %%%%%%%%%%%%%%%  Introduction %%%%%%%%%%%%%

113: \section{Introduction}

114: We study soliton solutions of the DKP equation \cite{adler:99,hirota:91,kac:98},

115: \begin{equation}\label{dkptau}

116: \left\{

117: \begin{array}{llll}

118: (-4D_xD_t+D_x^4+3D_y^2)\,\tau_n\cdot\tau_n=24\tau_{n-1}\tau_{n+1}\,,\\

119: {}\\

120: (2D_t+D_x^3\mp 3D_xD_y)\,\tau_{n\pm 1}\cdot\tau_n=0\\

121: \end{array}\right. \quad n=1,2\ldots,

122: \end{equation}

123: where $\tau_0=1$, and $D_x, D_y$ and $D_t$ are the usual Hirota derivatives.

124: For each $n$,

125: the variables $u=2( \ln\tau_n)_{xx}$ and $v^{\pm}=\tau_{n\pm 1}/\tau_n$

126: define the coupled KP equation (see for example  \cite{hirota:91}),

127: \[\left\{\begin{array}{llll}

128: (-4u_t+u_{xxx}+6uu_x)_x+3u_{yy}=24(v^+v^-)_{xx}\,,\\

129: {}\\

130: 2v^{\pm}_t+v^{\pm}_{xxx}+3uv^{\pm}_x\mp 3(v^{\pm}_{xy}+v^{\pm}\int^xu_y\, dx)=0\,.

131: \end{array}\right.

132: \]

133: This set of equations admits a class of particular solutions, called soliton solutions

134: similar to those of the KP equation (see for example \cite{isojima:02}), and in this paper

135: we describe some properties of those solutions.

136: \begin{Remark}

137: The DKP equation was given as a first member of the DKP hierarchy in \cite{jimbo:83}.

138: In \cite{hirota:91}, the coupled KP equation was introduced as an extension of the KP equation

139: whose solutions are given by the pfaffian form.

140: The DKP equation was rediscovered as the Pfaff lattice describing the partition

141: function of a skew-symmetric matrix model in \cite{adler:99, kakei:99},

142: and was also found as an orbit of some infinite-dimensional Clifford group

143: action in \cite{kac:98}. 

144: \end{Remark}

145: 

146: The $\tau_n$ functions are given by the pfaffians of $2n\times 2n$ skew-symmetric matrices ${\mathcal Q}_n$

147: whose entries are denoted by $Q_{i,j}$ for $1\le i<j\le 2n$ with $Q_{j,i}=-Q_{i,j}$ ,

148: \begin{equation}\label{tau}

149: \tau_n={\rm Pf}({\mathcal Q_n})=\sum_{\smaller{\begin{matrix}1=i_1<\ldots<i_n< 2n\\ i_k<j_k,~k=1,\ldots,n

150: \end{matrix}}} \sigma(i_1,j_1,\ldots,i_{n},j_n)Q_{i_1,j_1}Q_{i_2,j_2}\cdots Q_{i_n,j_n}

151: \end{equation}

152: Each coefficient $\sigma(i_1,j_1,\ldots,i_n,j_n)$ gives a sign corresponding to the parity of the permutation,

153: \[

154: \sigma:={\rm sign}\begin{pmatrix}

155: 1 & 2 & \cdots & 2n-1&2n\\

156: i_1&j_1&\cdots&i_n&j_n

157: \end{pmatrix}

158: \]

159: Here the elements $Q_{i,j}$ satisfy

160: \[

161: \frac{\partial}{\partial t_k}Q_{i,j}=Q_{i+k,j}+Q_{i,j+k}\,,

162: \quad k=1,2,\ldots

163: \]

164: where $t_1=x,t_2=y,t_3=t$ and others are the symmetry parameters.

165: A realization of $Q_{i,j}$ is given by \cite{hirota:91},

166: \[

167: Q_{i,j}=\left|\begin{matrix}\phi^{(i-1)} &\phi^{(j-1)} \\ \psi^{(i-1)} & \psi^{(j-1)}\end{matrix}\right|\,,

168: \quad {\rm for}\quad i<j

169: \]

170: where $\phi^{(k)}=\partial^k\phi/\partial x^k$ (the same for $\psi^{(k)}$) and the functions

171: $\phi$ and $\psi$ satisfy the same equations for $x$ and $t$ evolutions,

172: \[

173: \frac{\partial \phi}{\partial y}=\frac{\partial^2 \phi}{\partial x^2},\quad \quad

174: \frac{\partial\phi}{\partial t}=\frac{\partial^3 \phi}{\partial x^3}\,.

175: \]

176: For an example of finite dimensional solution, we consider

177: \begin{equation}\label{phi}

178: \phi(x,y,t)=\sum_{m=1}^M a_mE_m(x,y,t),\quad \psi(x,y,t)=\sum_{m=1}^Mb_mE_m(x,y,t)\,,

179: \end{equation}

180: with some constants $a_m,b_m$ for $m=1,\ldots,M$. The function $E_m(x,y,t)$ is the exponential

181: function,

182: \[

183: E_m(x,y,t):=e^{\theta_m}\,\quad {\rm with}\quad \theta_m(x,y,t)=p_mx+p_m^2y+p_m^3t+\theta_m^0\,,

184: \]

185: where $p_m$ and $\theta_m^0$ are arbitrary constants, and throughout this paper we assume

186: the parameters ${\bf p}:=(p_1,p_2,\ldots,p_M)$ to be ordered as,

187: \begin{equation}\label{orderp}

188: p_1<p_2<\cdots <p_M\,.

189: \end{equation}

190: With those $\phi$ and $\psi$, the elements $Q_{i,j},~1\le i<j\le 2n$ become

191: \begin{equation}\label{Qij}\begin{array}{llll}

192: Q_{i,j}&=&\displaystyle{\sum_{1\le k<l\le M} }b_{k,l}\left|\begin{matrix}

193: E_k^{(i-1)} & E_k^{(j-1)}\\

194: E_l^{(i-1)} &E_l^{(j-1)}

195: \end{matrix}\right| \\

196: {}\\

197: &=&\displaystyle{\sum_{1\le k<l\le M}}b_{k,l}(p_kp_l)^{i-1}(p_l^{j-i}-p_k^{j-i})E_{k,l}\,,

198: \end{array}

199: \end{equation}

200: where $b_{k,l}=a_kb_l-a_lb_k$, and $E_{k,l}:=E_kE_l=\exp(\theta_k+\theta_l)$.

201: 

202: As a generalization of this form of $Q_{i,j}$, we consider an arbitrary

203:  $M\times M$ skew-symmetric matrix $B=(b_{k,l})_{1\le k,l\le M}$.

204: We then note that

205: the $2n\times 2n$ matrix ${\mathcal Q}_n$ in the $\tau$-function $\tau_n$ can be

206: expressed as

207: \begin{equation}\label{Q}

208: {\mathcal Q}_n(x,y,t)={\mathcal E}_n(x,y,t){B}{\mathcal E}_n(x,y,t)^T\,

209: \end{equation}

210: where ${\mathcal E}_n$ is a $2n\times M$ matrix with its transpose ${\mathcal E}_n^T$, and it is given by

211: \[

212: {\mathcal E}_n=\begin{pmatrix}

213: E_1&E_2&\cdots & E_{M}\\

214: \vdots&\vdots&\ddots&\vdots\\

215: E_1^{(2n-1)}&E_2^{(2n-1)}&\cdots&E_{M}^{(2n-1)}

216: \end{pmatrix}\,.

217: \]

218: In this paper, we discuss a classification problem of several soliton solutions given by (\ref{Q})

219: in terms of the $B$-matrix. Note here that $M>2$ for $n\ge 1$, since the case with $M=2$

220: gives a trivial solution, i.e. $\tau_1=Q_{1,2}=b_{1,2}(p_2-p_1)E_1E_2$ and $u=2(\ln \tau_1)_{xx}=0$.

221: Also note that one needs $M> 2n$ for $u=2(\ln\tau_n)_{xx}\ne 0$.

222: 

223: One should also note that if $\tau_{n+1}=0$ (i.e. $v^+=0$), the corresponding solution 

224: satisfies the KP equation. This condition can be of course obtained from the

225: structure of the $B$-matrix. For example, if we take $M=3$, then $\tau_2$ vanishes

226: identically (the size of the pfaffian is $4\times 4$, but the independent exponentials

227: are three or less). This implies that $\tau_1$ with $M=3$ gives a solution of the KP

228: equation, and it gives either one KP soliton solution or a resonant Y-shape KP soliton: With

229: a $3\times 3$ $B$-matrix, we have

230: \[

231: \tau_1=Q_{1,2}=b_{1,2}(p_2-p_1)E_1E_2+b_{1,3}(p_3-p_1)E_1E_3+b_{2,3}(p_3-p_2)E_2E_3\,.

232: \]

233:  The function $u=2( \ln\tau_1)_{xx}$ gives one KP soliton solution if one of

234:  $b_{i,j}$ is zero (with others being positive), and Y-shape KP soliton if all $b_{i,j}$ are positive.

235:  For example, with $b_{1,2}=0$, we have $\tau_1=(b_{1,3}(p_3-p_1)E_1+b_{2,3}(p_3-p_2)E_2)E_3$

236:  which leads to

237:  \begin{equation}\label{Asoliton}

238:  w(x,y,t):=\frac{\partial }{\partial x}\ln \tau_1=p_3+\frac{1}{2}(p_1+p_2)+\frac{1}{2}(p_2-p_1){\rm tanh}\frac{1}{2}(\theta_2-\theta_1).

239:  \end{equation}

240:  The asymptotic values of $w$ then take

241:  \[

242:  w(x,y,t)\to\left\{\begin{array}{lll}

243:  p_1+p_3, \quad &{\rm for}~~& x\to -\infty\\

244:  p_2+p_3,\quad &{\rm for}~~ & x\to \infty

245:  \end{array}\right.

246:  \]

247:  Note here that the one soliton exchange the asymptotic values of $(1,3):=p_1+p_3$ and $(2,3):=p_2+p_3$,

248:  that is, this one soliton permutes the numbers, $(1)\leftrightarrow (2)$. We then label one soliton of the KP

249:  equation as an element of the permutation group $W$, in this case $W=S_3$, the symmetry

250:  group of order 3.

251:  We denote the one soliton solution (\ref{Asoliton}) by $[1:2]$, and call this type of soliton A-soliton

252:  (``A'' stands for type A Lie algebra which is the underlying symmetry algebra for KP equation).

253:  In general, we denote one A-soliton by $[i:j]$, if the function $w$ exchanges $p_i\leftrightarrow p_j$

254:  with $p_i<p_j$.

255:  We sometime identify $[i:j]$ as an element of the symmetry group.

256:  

257:  

258:  

259:  

260:  A generic solution of the DKP equation is then obtained for $M\ge 4$. In particular,

261:  we obtain one soliton solution in the case $M=4$ with the $B$-matrix having

262:  just two nonzero elements in the upper triangular part. For example, we consider the $B$-matrix having $b_{1,2}=1, b_{3,4}=1$ and all others $b_{i,j}=0$ for $i<j$. Then

263: %\begin{equation}\label{dtau1}

264: \[

265: \tau_1=Q_{1,2}=(p_{2}-p_{1})E_{1}E_{2}+(p_{4}-p_{3})E_{3}E_{4}\,.

266: %\end{equation}

267: \]

268: This gives

269: \begin{equation}\label{oneDsol}

270: w(x,y,t):=\frac{\partial}{\partial x}\ln\tau_1=\frac{1}{2}\sum_{k=1}^4p_{k}+\frac{1}{2}(p_{3}+p_4-p_1-p_2)

271: {\rm tanh}\frac{1}{2}(\theta_{34}-\theta_{12})\,

272: \end{equation}

273: with $\theta_{ij}=\theta_i+\theta_j+\ln|p_i-p_j|$. 

274: For each asymptotic of $x\to\pm\infty$, one of the exponential terms in the $\tau$-function

275: becomes dominant. In the case of (\ref{oneDsol}), we have

276: \[

277: w(x,y,t)\to \left\{\begin{array}{llll}

278: p_{1}+p_{2},\quad {\rm as}~ x\to-\infty\,,\\

279: p_{3}+p_{4},\quad {\rm as}~ x\to\infty\,.

280: \end{array}

281: \right.

282: \]

283: Thus, this one D-soliton exchanges $(1,2) \leftrightarrow (3,4)$ with the values of $w$ where

284: $(i,j):=p_i+p_j$.

285: This indicates a Weyl-action of $D$-type: For example, $\pi_{1,2}\in W^D$

286:  may be expressed as

287: \[

288: \pi_{1,2}\cdot (i_1,i_2:i_{\bar 1},i_{\bar 2})=(i_2,i_1:i_{\bar 2},i_{\bar 1}),\quad i_1=1,i_2=3,i_{\bar 1}=2,i_{\bar 2}=4.

289: \]

290: We denote this D-soliton by $[1,2:3,4]$. Then identifying $[1,2:3,4]$ with the permutation

291: of the pairs, $(1,2)\leftrightarrow (3,4)$, one has the relation $[1,2:3,4]=[1:3]\cdot[2:4]=[1:4]\cdot[2:3]$

292: where $[i:j]$ is the permutation $(i)\leftrightarrow(j)$ of A-soliton. This relation

293: implies a resonant bifurcation of one D-soliton into two A-solitons (see Section \ref{twosoliton}).

294: Since one D-soliton has four $p_i$-parameters, we need to have $M=4N$ parameters

295: to describe $N$ D-soliton solution as a solution given by the $\tau$-function $\tau_N$.

296: However, we show in this paper that $4N$ parameter solution can contain up to $2N-1$ number of

297: D-solitons (this is quite different from the solitons of the KP equation).

298: 

299: 

300: In this paper, we study soliton solution of the DKP equation consisting of those

301: A- and D-type soliton solutions. In Section \ref{structure}, we give a general

302: structure of the $\tau$-functions. Then in Section \ref{onesoliton}, we discuss

303: some details of one D-soliton solutions given by the $B$-matrix of size $4\times 4$.

304: Here we also classify the soliton solutions obtained by $4\times 4$ $B$-matrices.

305: In Section \ref{twosoliton}, we present the soliton solutions for the case of

306: $8\times 8$ $B$-matrices, and classify the soliton solutions consisting of only

307: D-types. It turns out that the case with $8\times 8$ $B$-matrix can have either two or three

308: D-solitons depending on the values of the parameters $\{\,p_i\,:\,i=1\ldots 8\,\}$.

309: The generic solution given by the $B$-matrix having

310: all nonzero entries is then given by four A-solitons.

311: Finally we discuss the general case of $4N\times 4N$ $B$-matrices,

312: i.e. $M=4N$, in Section \ref{multisolitons}. Then we show that the number of D-solitons for

313: those $B$-matrices having $2N$ nonzero entries in the upper triangular part can be any

314: number from $N$ to $2N-1$, contrary to the previous study (see \cite{isojima:02}) where

315: the number of D-soliton is expected to be just $N$.

316: 

317: In \cite{kodama:04}, we showed that the $N$-soliton solutions of the KP equation can be classified

318: by the Schubert decomposition of the Grassmannian Gr$(N,2N)$.

319: We also expect that $N$-soliton solutions of the DKP equation can be classified by the similar

320: decomposition of the orthogonal Grassmannain OGr$(M,2M)$ for some $M$. However, in this paper, we

321: just present elementary feature of the $N$-soliton solutions based on the pfaffian structure

322: of the $\tau$ function, which is already complicated but has several interesting aspects.

323: We plan to discuss a classification problem based on the geometric structure of the

324: orthogonal Grassmannain in a future communication.

325: 

326: 

327: %%%%%%%%%%%%%% Structure of tau-functions %%%%%%%%%%%%%%%%%%%

328: 

329: \section{Structure of the $\tau$-functions}\label{structure}

330: We first note that the $\tau$-function (\ref{tau}) with the ${\mathcal Q}_n$ matrix (\ref{Q})

331: has the following expansion theorem, i.e. the pfaffian version of the Binet-Cauchy theorem

332: (see \cite{ishikawa:95} for the details):

333: \begin{Lemma} \label{dtauBC} 

334: The $\tau$-functions of (\ref{tau}) with (\ref{Q}) can be expressed by

335: \[

336: \tau_n=\sum_{1\le i_1<\cdots<i_{2n}\le 4N} {\rm Pf}({B}(i_1,\ldots,i_{2n})){\rm Det}({E}(i_1,\ldots,i_{2n}))\,.

337: \]

338: where

339: ${E}(i_1,\ldots,i_{2n})$ is $2n\times 2n$ submatrix of the $2n\times 4N$ matrix ${\mathcal E}_n$,

340: \[

341: E(i_1,\ldots,i_{2n}):=\begin{pmatrix}

342: E_{i_1} & \cdots & E_{i_{2n}} \\

343: \vdots  &  \ddots  & \vdots \\

344: E_{i_1}^{(2n-1)} & \cdots & E_{i_{2n}}^{(2n-1)}

345: \end{pmatrix}

346: \]

347: and ${B}(i_1,\ldots,i_{2n})$ is $2n\times 2n$ skewsymmetric submatrix of the $4N\times 4N$ matrix

348: ${ B}$,

349: \[

350: {B}(i_1,\ldots,i_{2n})=\begin{pmatrix}

351: 0 & b_{i_1,i_2} & \cdots & \cdots & b_{i_1,i_{2n}} \\

352:   &   0    & \ddots   &  \cdots &b_{i_2,i_{2n}}  \\

353:   &        &     \ddots            &  \ddots & \vdots \\

354:   &       &     & 0 & b_{i_{2n-1},i_{2n}}  \\

355:   &        &       &           &    0

356:   \end{pmatrix}

357:   \]

358:   The lower triangular part is given by $b_{i_l,i_k}=-b_{i_k,i_l}$, and is left in blank.

359: Also ${\rm Det}(E)$ is given by the Wronskian determinant,

360: \[

361: {\rm Det}(E(i_1,\cdots,i_{2n}))={\rm Wr}(E_{i_1},\ldots,E_{i_{2n}})=\prod_{m<n}(p_{i_n}-p_{i_m})\exp\left(\sum_{j=1}^{2n}\theta_{i_j}\right)\,>0.\]

362: The sign is due to the order (\ref{orderp}), i.e. $p_1<p_2<\cdots<p_{4N}$.

363: \end{Lemma}

364:  From this formula of the $\tau$ function, the soliton solutions are completely determined by the nonzero coefficients of the pfaffians Pf$(B(i_1,\ldots,i_{2n}))$ which are the Pl\"ucker coordinates of the orthogonal Grassmannan Gr$(2n,4N)$. For example, if all the coefficients are positive, then we have

365:  $(2n,4N-2n)$-soliton solution in $u(x,y,t)$, that is, we have $2n$ out-going line solitons in $y\to\infty$ and

366:  $4N-2n$ in-coming line solitons in $y\to-\infty$ (see \cite{biondini:03}). As we can see from

367:  \cite{kodama:04} that in particular, if $n=N$ we have an $2N$-soliton solution similar to the KP equation, i.e. all $2N$ solitons are A-solitons, and all

368:  the interactions are of T-types. Then the main purpose of this paper is to identify soliton solution

369:  of the DKP equation

370:  with a certain combination of nonzero coefficients.

371:  \begin{Example} As the simplest example,

372: the pfaffian Pf$({B}(i_1,\ldots,i_{4}))$ is given by 

373: \[

374: {\rm Pf}(B(1,\ldots,4))=b_{1,2}b_{3,4}-b_{1,3}b_{2,4}+b_{1,4}b_{2,3}\,.

375: \]

376: Note here that if the indices in each term have partial overlap, then the product

377: takes the minus sign, e.g. $(1,3)$ and $(2,4)$. This is a key for the classification

378: of four A-solitons (see Section \ref{twosoliton}).

379: \end{Example}

380: 

381:  From Lemma \ref{dtauBC}, one should note that each term in $\tau_n$ in (\ref{tau}) is given by

382: the product of $2n$ exponentials $E_{k}$, i.e.

383: \[

384: \prod_{j=1}^{2n}E_{i_j}=\prod_{k=1}^nE_{i_k,j_k}\,,

385: \]

386: where $\{\,i_j\,|\,j=1,\ldots,2n\,\}=\{\,i_k,j_k\,|\,

387: i_k<j_k,~k=1,\ldots,n\,\}$, and they are

388: the indices for the elements of the $B$-matrix, i.e. $b_{i_k,j_k}$. 

389: As we will show, 

390: this structure of the $\tau$-functions will be important to identify a soliton solution

391: in the asymptotics $y\to\pm\infty$.

392: 

393: 

394: %%%%%%%%%%%%%%%% B-matrix  %%%%%%%%%%%%%%%%%%%%

395: 

396: \subsection{The $B$-matrix} 

397: Since the coefficients of the $\tau$-function are determined

398: by the $B$-matrix, we give some remarks on the structure of the matrix.

399: For a generic $4N\times 4N$ skew-symmetric matrix $B$, i.e. $B\in {\mathfrak{so}}(4N)$,

400: there is a decomposition called

401: {\it skew-Borel decomposition} \cite{adler:99},

402: \[

403: B=LJ_0L^T\,,

404: \]

405: where $L\in {\mathcal G}$, the group of invertible elements in the set of lower-triangular matrices

406: with nonzero $2\times 2$ blocks proportional to identity along the diagonal, i.e.

407: \[

408: {\mathcal G}:=\left\{\left.\begin{pmatrix}

409: a_1 & 0 & \cdots &\cdots & 0  &  0\\

410: 0 & a_1 &\cdots  &\cdots & 0 & 0 \\

411: *  & *     &\ddots  &  \ddots & \vdots &\vdots\\

412: * & *     &  \ddots &\ddots  & \vdots  &\vdots\\

413: *  &   *  &  *  &* &    a_{2N}   &  0\\

414: *  &   *  &   * & * &  0  &  a_{2N}\\

415: \end{pmatrix}~\right|~\prod_{i=1}^{2N}a_i\ne 0~\right\}

416: \] 

417: The matrix $J_0$ is the $4N\times 4N$ skew-symmetric matrix whose $2\times 2$ diagonal

418: blocks are given by $\begin{pmatrix} 0& 1\\ -1&0\end{pmatrix}$ and all the other entries are zero,

419: i.e.

420: \begin{equation}\label{J0}

421: J_0:=\begin{pmatrix}

422: 0 & 1 &  &  &    &  0 \\

423: -1 & 0 &   &  &   &   \\

424:    &       &\ddots  &  \ddots &   & \\

425:   &       &  \ddots &\ddots  &    & \\

426:    &      &    &  &    0   &  1\\

427:  0  &      &     &   &  -1  &  0

428: \end{pmatrix}

429: \end{equation}

430: A non-generic element of $\mathfrak{so}(4N)$ may be obtained by a permutation

431: matrix $\pi\in S_{4N}$ with $\pi^{-1}=\pi^T$ (i.e. $\pi\in O(4N)$), that is, we have

432: \[

433: B=\pi LJ_0L^T\pi^{-1}=(\pi L)J_0(\pi L)^T\,, 

434: \]

435: where $L$ is not a generic element in ${\mathcal G}$.

436: \begin{Example}\label{B4}

437: Consider the case $N=1$ ($4\times 4$ $B$-matrix). Then the generic element $B$ can be expressed by

438: $B=LJ_0L^T$ with

439: \[

440: L=\begin{pmatrix}

441: a & 0 & 0 & 0\\

442: 0 & a & 0 & 0\\

443: b & d & f & 0\\

444: c&  e & 0 & f

445: \end{pmatrix}\, \in {\mathcal G}\,.

446: \]

447: Then the matrix $B$ is given by

448: \begin{equation}\label{genericB}

449: B=LJ_0L^T=\begin{pmatrix}

450: 0 & a^2 & ad & ae \\

451:    & 0 & -ab & -ac \\

452:   &   &  0  & -cd + be+f^2\\

453:  &   &    &    0 

454:  \end{pmatrix}\,.

455:  \end{equation}

456:  (We leave the lower triangular part in blank for skew symmetric matrix.)

457: If a skew-symmetric matrix has zero at $(1,2)$-entry (i.e. $b_{1,2}=0$) and

458: others are nonzero, such matrix, say $B_1$, cannot be expressed

459: in this form. In this case, one can consider the form $B=(\pi L)J_0(\pi L)^T$ with

460: \[

461: w=s_{2,3}:=\begin{pmatrix}

462: 1  &  0 & 0 & 0 \\

463: 0 &  0  & 1 & 0\\

464: 0  & 1  &  0  &  0\\

465: 0 & 0 & 0 & 1

466: \end{pmatrix}\,, \quad  

467: L=\begin{pmatrix}

468: a & 0 & 0 & 0 \\

469: 0 & a & 0 & 0\\

470: b & d & f & 0 \\

471: 0 & e & 0 & f 

472: \end{pmatrix}\,.

473: \]

474: The matrix $B_1$ is then given by

475: \begin{equation}\label{B1}

476: B_1=(s_{2,3}L)J_0(s_{2,3}L)^{T}=\begin{pmatrix}

477: 0  &  0  &  a^2  &  ae \\

478:  & 0 & ab & be+f^2\\

479:  & & 0 & -ad \\

480:  & & & 0 \\

481:  \end{pmatrix}\,.

482:  \end{equation}

483:  In particular, with $L=Id$, the $4\times 4$ identity matrix, we have $B_1=J_1$ defined by

484:  \begin{equation}\label{J1}

485:  J_1:=\begin{pmatrix}

486:  0 & 0 & 1 & 0 \\

487:   &  0  &  0  & 1\\

488:   &  &  0  & 0 \\

489:   & & & 0

490:   \end{pmatrix}\,.

491:   \end{equation}

492: Other non-generic element of $B$-matrix, say $B_2$, having $b_{1,2}=b_{1,3}=0$ can be

493: expressed by $B_2=(s_{2,4}L)J_0(s_{2,4}L)^{T}$, 

494: \begin{equation}\label{B2}

495: B_2=\begin{pmatrix}

496: 0  &  0  &  0  & a^2 \\

497:    &  0   &  f^2  &  ac  \\

498:    &     &   0   &  -ab  \\

499:    &    &      &    0  \\

500: \end{pmatrix}\,,

501: \end{equation}

502: with

503: \[

504: s_{2,4}=\begin{pmatrix}

505: 1  &  0  & 0 & 0 \\

506: 0 &   0 & 0 & 1 \\

507: 0 & 0 & -1 & 0 \\

508: 0 & 1 & 0 & 0

509: \end{pmatrix}\, \quad {\rm and}\quad 

510: L=\begin{pmatrix}

511: a  &  0  &  0  &  0  \\

512: 0  &  a  &  0  &  0  \\

513: b  &  0  &  f  &  0  \\

514: c  &  0  &  0  &  f 

515: \end{pmatrix}\,.

516: \]

517: In particular, for $L=Id$ we have $B_2=J_2$ defined by

518: \begin{equation}\label{J2}

519:  J_2:=\begin{pmatrix}

520:  0 & 0 & 0 &1 \\

521:   &  0  &  1  & 0\\

522:   &  &  0  & 0 \\

523:   & & & 0

524:   \end{pmatrix}\,.

525: \end{equation}

526: In the next section we show that those skew-symmetric matrices $J_0, J_1$ and $J_2$ 

527: define all the one D-soliton solutions.

528: \end{Example}

529: 

530: In general, one can start with $J_0$ to define the $\tau$-functions, that is,

531: $\tau_n={\rm Pf}({\mathcal Q_n})$ with ${\mathcal Q_n}={\mathcal E}_nJ_0{\mathcal E}_n^T$

532: of (\ref{Q}).

533: Then consider a generalization of the ${\mathcal Q}_n$-matrix by replacing $J_0$ with

534: $J_{\pi}:=\pi J_0 \pi^{-1} $ for some $\pi\in S_{4N}\cap O(4N)$. 

535: The role of $\pi$ can be understood as the change of order of the column vectors in ${\mathcal E}_n$,

536: i.e.

537: \[

538: {\mathcal E}_n\pi:=({\bf E}_1,{\bf E}_2,\ldots,{\bf E}_{4N})\pi=(\pm{\bf E}_{\pi(1)},\pm{\bf E}_{\pi(2)},\ldots,\pm{\bf E}_{\pi(4N)})\,,

539: \]

540: where the column vector ${\bf E}_k:=(E_k,E_k^{(1)},\ldots,E_k^{(2n-1)})^T$, and $\pi(k)$ indicates the permutation

541: $k\to \pi(k)$. The signs in $w$ should be chosen properly so that the new $\tau$-function

542: $\tau_n'=({\mathcal E}_n\pi)J_0({\mathcal E}_n\pi)^T$ is sign-definite, i.e.

543: non-singular (see Section \ref{twosoliton} for more details).

544: 

545: 

546: 

547: 

548: 

549: 

550: 

551: 

552: 

553: %%%%%%%%%%%%% One D-soliton  %%%%%%%%%%%%%%%

554: 

555: \section{One D-soliton and two A-solitons}\label{onesoliton}

556: Here we discuss the cases with $4\times 4$ skew-symmetric matrix $B$, and show that

557: the cases include one D-soliton and two A-solitons.

558: \subsection{D-solitons}

559: In Introduction, we show an example of one D-soliton (\ref{oneDsol}) whose $\tau$-function is given by

560: $\tau_1={\rm Pf}({\mathcal E}_1J_0{\mathcal E}_1^T)$ with $J_0$ in (\ref{J0}) and ${\mathcal E}_1$ in Lemma \ref{dtauBC} for $N=1$.

561: This D-soliton is denoted as $[1,2:3,4]$, since it exchanges the asymptotic values of

562: $w=(\ln\tau_1)_x$ as $(1,2) \leftrightarrow (3,4)$ (recall $(i,j):=p_i+p_j$).

563: A general form of the one D-soliton can be expressed as $[i_1,j_1:i_2,j_2]$ where

564: $i_1<i_2$ and $i_k<j_k$. There are three cases,

565: \[

566: [1,2:3,4],\quad [1,3:2,4],\quad [1,4:2,3]\,,

567: \]

568: which correspond to the D-solitons generated respectively by the skew-symmetric matrices,

569: $J_0, J_1$ and $J_2$ in Example \ref{B4} as the $B$-matrices. Recall here that

570: the soliton label $[i,j:k,l]$ indicates the nonzero elements $b_{i,j}$ and $b_{k,l}$ in

571: the $B$-matrix. Namely

572: for the $J_k$-matrix with nonzero entries with 1 at $(i_1,j_1)$ and $(i_2,j_2)$ in

573: the upper-triangular part, the $\tau$-function is given by

574: \begin{equation}\label{dtau1}

575: \tau_1=Q_{1,2}=(p_{j_1}-p_{i_1})E_{i_1}E_{j_1}+(p_{j_2}-p_{i_2})E_{i_2}E_{j_2}\,.

576: \end{equation}

577: Then the function $w=(\ln\tau_1)_x$ is

578: \begin{equation}\label{1Dsol}

579: w(x,y,t):=\frac{\partial}{\partial x}\ln\tau_1=\frac{1}{2}\sum_{k=1}^4p_{k}+\frac{1}{2}(p_{i_2}+p_{j_2}-p_{i_1}-p_{j_1})

580: {\rm tanh}\frac{1}{2}(\theta_{i_2,j_2}-\theta_{i_1,j_1})\,

581: \end{equation}

582: with $\theta_{i,j}=\theta_i+\theta_j+\ln|p_i-p_j|$.  

583: For each asymptotic of $x\to\pm\infty$, one of the exponential terms in the $\tau$-function (\ref{dtau1})

584: becomes dominant, and we have

585: \[

586: w(x,y,t)\to \left\{\begin{array}{llll}

587: p_{i_1}+p_{j_1},\quad {\rm as}~ x\to-\infty\,,\\

588: p_{i_2}+p_{j_2},\quad {\rm as}~ x\to\infty\,.

589: \end{array}

590: \right.

591: \]

592: Thus one D-soliton exchanges $(i_1,j_1) \leftrightarrow (i_2,j_2)$ with the values of $w$,

593: and is denoted by $[i_1,j_1:i_2,j_2]$, as an element of the Weyl group of D-type.

594: 

595: 

596: One soliton solution $u=2w_x$ is a plane wave having the form,

597: \[

598: u(x,y,t)=\phi(k_xx+k_yy-\omega t),

599: \]

600: Let us denote the wavenumber ${\bf k}=(k_x,k_y)$ and the frequency $\omega$ for (\ref{1Dsol})

601: by ${\bf k}[i_1,j_1:i_2,j_2]$ and $\omega[i_1,j_1:i_2,j_2]$, i.e.

602: \[\left\{

603: \begin{array}{lllll}

604: {\bf k}[i_1,j_1:i_2,j_2]=(p_{i_2}+p_{j_2}-p_{i_1}-p_{j_1},\, p_{i_2}^2+p_{j_2}^2-p_{i_1}^2-p_{j_1}^2),\\

605: {}\\

606: \omega[i_1,j_1:i_2,j_2]=-(p_{i_2}^3+p_{j_2}^3-p_{i_1}^3-p_{j_1}^3)

607: \end{array}\right.

608: \]

609: The slope (or velocity) of the soliton in the $x$-$y$ plane is

610: given by $c:=dx/dy=-k_y/k_x=-(p_{i_2}^2+p_{j_2}^2-p_{i_1}^2-p_{j_1}^2)/(p_{i_2}+p_{j_2}-p_{i_1}-p_{j_1})$. The peak of the soliton then determines the line in the $x$-$y$ plane given by the equation $\theta_{i_1,j_1}(x,y,t)=\theta_{i_2,j_2}(x,y,t)$ for each $t$.

611: 

612: 

613: 

614: 

615: 

616: \begin{figure}[t]

617: %%\epsfig{file=A1.eps,height=4cm,width=12cm}

618: \includegraphics[width=7cm]{1D-uij}

619: \caption{The functions $u_{i,j}(c)$  and the velocities of solitons.

620: The intersection point between $u_{i,j}$ and $u_{k,l}$ gives the velocity

621: of D-soliton $[i,j:k,l]$. The solid dots give the velocities of D-solitons, and the open circles

622: give the velocities of A-solitons, e.g. the velocity of $[1:2]$-soliton is $c=-(p_1+p_2)$ which is

623: given by either $u_{1,4}=u_{2,4}$ or $u_{1,3}=u_{2,3}$.}

624: \label{uij:fig}

625: \end{figure}

626: 

627: We also note that the velocity $c$ of one D-soliton can be obtained as follows: 

628: First note that a D-soliton of $[i,j:k,l]$ gives a line $\theta_{i,j}=\theta_{k,l}$. Then setting $x=cy$ for

629: this equation, we have $\theta_{i,j}=u_{i,j}(c)y+\theta_{i,j}^0$ with 

630: \begin{equation}\label{uijc}

631: u_{i,j}(c):=(p_i+p_j)c+p_i^2+p_j^2\,.

632: \end{equation}

633: Then  taking the limit $|y|\to\infty$ for the equation $\theta_{i,j}=\theta_{k,l}$, 

634: the velocity $c$ of the D-soliton is determined by $u_{i,j}(c)=u_{k,l}(c)$, i.e. the intersection point

635: of $u_{i,j}$ and $u_{k,l}$. In Figure \ref{uij:fig}, we show $u_{i,j}(c)$ of (\ref{uijc}) for the

636: parameter ${\bf p}:=(p_1,\ldots,p_4)=(-2,-1,0,3)$.

637: Each solid dot gives the velocity of one D-soliton, and each open circle gives

638: the velocity of an A-soliton, e.g. the point at $u_{1,2}=u_{1,3}$ gives the velocity

639: of $[2:3]$-soliton. This implies that if $b_{1,2}$ and $b_{1,3}$ are only nonzero

640: elements in the $B$-matrix, then $\tau_1$ gives one A-soliton of $[2:3]$, i.e.

641: $\tau_1=(b_{1,2}(p_2-p_1)E_2+b_{1,3}(p_3-p_1)E_3)E_1$.

642: Figure \ref{uij:fig} can be also used to determine the solitons appearing

643: from the $\tau_1$-function in the asymptotics $|y|\to\infty$. For example,

644: if $b_{i,j}>0$ for all $1\le i<j\le 4$, then $\tau_1$ contains all six terms $E_iE_j$

645: with $i<j$.  Then from Figure \ref{uij:fig}, we have two A-soliton solutions of T-type,

646: $[1:3]$ and $[2:4]$ (see below for the details).

647: 

648: 

649: 

650: 

651: %%%%%%%%%%%%%  Two  A-soliton  %%%%%%%%%%%%%%%%%

652: \subsection{Two A-solitons} One D-soliton can be considered as a {\it degenerate}

653: case of two A-solitons (recall that A-soliton exchanges single letter as $[i:j]$, while D-soliton

654: exchanges two letters as $[i,j:k,l]$). Namely, D-soliton of $[i,j:k,l]$ can be considered

655: as the ``product'' of two A-solitons of $[i:k]$ and $[j:l]$ or $[i:l]$ and $[j:k]$, i.e.

656: $[i,j:k,l]=[i:k]\cdot[j:l]=[i:l]\cdot[j:k]$ as the product of two permutations.

657: Then two A-soliton solutions can be obtained by adding extra exponential terms, i.e.

658: extra nonzero entries to the $B$-matrix. If one adds just one term, then we have 

659: Y-shaped solution satisfying the resonant condition. For example, for the $B$-matrix

660: having two nonzero entries $b_{i_1,j_1}$ and $b_{i_2,j_2}$ in the upper triangular part, if we add

661: a nonzero entry at either $(i_1,j_2)$ or $(i_2,j_2)$, we obtain a resonant Y-shaped soliton with

662: the resonant condition,

663: \[\left\{\begin{array}{cccc}

664: {\bf k}[i_1:i_2]+{\bf k}[j_1:j_2]&=&{\bf k}[i_1,j_1:i_2,j_2],\\

665: \omega[i_1:i_2]+\omega[j_1:j_2]&=& \omega[i_1,j_1:i_2,j_2]\,.

666: \end{array}\right.

667: \]

668: Here the wavenumber ${\bf k}[i:j]$ and the frequency $\omega[i:j]$ are for the one soliton solution of the KP equation, i.e.

669: \[

670: {\bf k}[i_1:i_2]=(p_{i_1}-p_{i_2}, p^2_{i_1}-p^2_{i_2}),\quad \omega[i_1:i_2]=p_{i_1}^3-p_{i_2}^3,

671: \]

672: \begin{figure}[t!]

673: %%\epsfig{file=A1.eps,height=4cm,width=12cm}

674: \includegraphics[width=12cm]{2A-solitons}

675: \caption{Resonant bifurcations of the D-soliton $[1,2:3,4]$. Each region, $(i,j)$, corresponds to a dominant exponential marked by the element $b_{i,j}$. For example, with $b_{2,3}\ne 0$,

676: $[1,2:3,4]$-D-soliton bifurcates into $[1:3]$ and $[2:4]$ A-solitons as $y\to -\infty$ (top figure).

677: Those solitons can be found from Figure \ref{uij:fig}.}

678: \label{A4:fig}

679: \end{figure}

680: In Figure \ref{A4:fig} (see also Example \ref{1234Dsoliton} below), we show the resonant bifurcation of $[1,2:3,4]$-soliton into two

681: A-solitons of $[1:3]$ and $[2:4]$. Those solitons can be found from Figure \ref{uij:fig}.

682: For example, in the left figure of Figure \ref{A4:fig}, we have $u_{1,2}, u_{2,3}$ and $u_{3,4}$

683: from the nonzero entries of the $B$-matrix.

684: Then the three intersection points of the graphs of those $u_{i,j}$ in Figure \ref{uij:fig}

685: give one D-soliton (solid dot) and

686: two A-solitons (open circles). Figure \ref{uij:fig} also shows that the solid dot indicates the pair of

687: dominant exponentials $(E_{1,2},E_{3,4})$ for $[1,2:3,4]$-soliton as $y\to\infty$, while the open circles

688: show the dominant pairs $(E_{1,2}, E_{2,3})$ for $[1:3]$-soliton and $(E_{2,3},E_{3,4})$

689: for $[2:4]$-soliton as $y\to-\infty$.

690: 

691: Since there are at least four disconnected regions in the $x$-$y$ plane divided by two line solitons, one needs to add

692: at least two extra nonzero (positive) entries. Figure \ref{A4:fig} shows the resonant

693: {\it bifurcations} of a D-soliton into two A-solitons. Two soliton solution in this figure

694: is a new T-type (referred to as TD-type) which does not exist in the KP equation (i.e. $v^{\pm}\ne 0$). The T-type of the KP equation can be obtained by a $B$-matrix with Det$(B)=0$, e.g.

695: \[

696: B=\begin{pmatrix}

697: 0 & 1 & 2 & 1\\

698:    & 0 & 1 & 1\\

699:    &   &  0  & 1\\

700:    &   &      & 0

701:    \end{pmatrix}

702: \]

703: Note $\tau_2=0$ with this matrix due to $Pf(B)=0$. One should also note that the generic skew-symmetric $B$-matrix having all nonzero entries gives a two A-soliton solution of T-type

704: (having a resonant hole), but it is not a solution 

705: of the KP equation. In this case, since those solitons are A-solitons, the function $v^+v^-=\tau_2/\tau_1^2$ appears

706: only locally in the $x$-$y$ plane.

707: Both $\tau$-functions for T-type two-soliton solutions of KP and DKP equations

708: have six independent exponentials, i.e. $E_{i,j}$ for $1\le i<j\le 4$, which is the key

709: to produce T-type resonant interaction of two A-solitons (see also \cite{biondini:03, kodama:04}).

710: 

711: 

712: 

713: 

714: 

715: %%%%%%%%%%%%%%%%  Y-shape   solitons  %%%%%%%%%%%%%%%%% 

716: 

717: \noindent

718: \begin{Example}\label{1234Dsoliton}

719: Consider $[1,2:3,4]$-D-soliton which corresponds to the $B$-matrix having nonzero entries at $(1,2)$ and $(3,4)$, i.e. $B=J_0$ in (\ref{J0}):

720: \begin{itemize}

721: \item[(a)]  $[1:3]$- and $[2:4]$-A-solitons (TD-type)  by putting $+1$ at the entries $(1,4)$ and $(2,3)$.

722: \item[(b)]  $[1:4]$- and $[2:3]$-A-solitons (P-type) by putting $+1$ at the entries $(1,3)$ and $(2,4)$.

723: \end{itemize}

724: Note that the TD-type in the case a) is {\it not} the same as the one of the KP-solitons,

725: i.e. there is no resonance in this case. Original T-type of two A-solitons

726: is obtained by the $B$-matrix having all

727: nonzero entries and Det$(B)=0$. Again there are three types of

728: two A-solitons for DKP.  These types play an important role for the classification problem

729: as a building block. Figure \ref{A5:fig} shows the diagrams of the three fundamental

730: types of two A-solitons. The middle diagrams of 8-gon connect the types with the corresponding

731: $B$-matrices as follows: We have nonzero $b_{i,j}$ if the pair $(i,j)$ is connected in the

732: diagram, and a corresponding A-soliton of $[k:l]$ is given by the pair $(k,l)$ having no connection

733: in the diagram. Also note that the corresponding $B$-matrix for O-type is not in the generic one

734: given in (\ref{genericB}), but in (\ref{B1}) (compare this with the O-type of KP solitons 

735: which belong to a Schubert cell of codimension one \cite{kodama:04}).

736: Figure \ref{TPO:fig} shows those types of two A-solitons, which are

737: the same as 2-soliton solutions of the KP equation (note here that we have set 

738: $\tau_2=0$ for all the types, i.e. $\tau_1$ gives a solution of the KP equation). The parameters are chosen as ${\bf p}=(-2,-1,0,3)$,

739: and the velocities of solitons can be found from Figure \ref{uij:fig}.

740: \end{Example}

741: 

742: \begin{figure}[t!]

743: %%\epsfig{file=A1.eps,height=4cm,width=12cm}

744: \includegraphics[width=10.5cm]{D-soliton}

745: \caption{Three fundamental types of two A-solitons obtained from D-soliton. Each diagram provides the relation between $B$-matrix and the corresponding two-soliton solution, i.e.

746: $b_{i,j}\ne 0$ if and only if the pair $(i,j)$ is directly connected in the middle diagram, and

747: $[k:l]$-soliton implies that the pair $(k,l)$ has no direct connection. For example, in O-type,

748: two A-solitons are labeled $[1:2]$ and $[3:4]$, then we have the middle diagram to

749: show the connections between the numbers in the pairs, i.e. (1,2) and (3,4) are not connected. This diagram implies we have nonzero elements $b_{1,3},b_{1,4},b_{2,3}$ and $b_{2,4}$.}

750: \label{A5:fig}

751: \end{figure}

752: 

753: \begin{figure}[t]

754: %%\epsfig{file=A1.eps,height=4cm,width=12cm}

755: \includegraphics[width=11.5cm]{2A-TPOx}

756: \caption{Three fundamental types of two A-solitons.

757: Those solutions have the same topological feature as the two soliton solutions of the KP equation (see also Figure 3 in \cite{kodama:04}). The difference between those solutions appears as the existence

758: of localized solutions $v^{\pm}$ (if $v^{+}v^{-}=0$, then the DKP solution is also the KP solution).

759: However note that the TD-type in Figure \ref{A5:fig} does not have a resonant quadrangle.

760: The figures show the counter plots of the function $w=(\ln\tau)_x$ in the $x$-$y$ plane for

761: a fixed $t$, and the contrast of the shades shows the different values of $w$ which increases in the positive $x$-direction.}

762: \label{TPO:fig}

763: \end{figure}

764: 

765: 

766: 

767: 

768: 

769: %%%%%%%%%%%%%%%%%  Two  D-solitons   %%%%%%%%%%%%%%%%%%%

770: \section{Solitons generated by $8\times 8$ $B$-matrices}\label{twosoliton}

771: Since each D-soliton has four phases, we need eight phases to describe

772: a two D-soliton solution. 

773: The $\tau_2$-function in the case with $8\times 8$ $B$-matrix is given by

774: \[

775: \tau_2=\sum_{1\le i_1<\cdots<i_4\le 8}{\rm Pf}({B}(i_1,\ldots,i_4))\Delta(i_1,\ldots,i_4)\exp\left(\sum_{k=1}^4

776: \theta_{i_k}\right)\,.

777: \]

778: where $\Delta(i_1,\ldots,i_4)=\prod_{1\le j<k\le4}(p_{i_j}-p_{i_k})>0$, and 

779: the pfaffian is calculated as

780: \[

781: {\rm Pf}({B}(i_1,\ldots,i_4))=b_{i_1,i_2}b_{i_3,i_4}-b_{i_1,i_3}b_{i_2,i_4}+b_{i_1,i_4}b_{i_2,i_3}\,.

782: \]

783: 

784: Let us now construct the $B$-matrices for two D-soliton solutions which

785:  consist of only four nonzero entries in the upper triangular parts.

786: We follow the steps:

787:  \begin{itemize}

788: \item[(1)] Take four pairs $(i_k,j_k),~k=1,..,4$ with $i_k<j_k$ from the set $\{1,\ldots,8\}$,  such that

789: \[

790: 1=i_1<i_2<\cdots<i_4,\quad j_k\ne j_l,~~(k\ne l).

791: \]

792: There are $(2\times 4-1)!!=105$ ways to make those pairs (compare this with $({\bf n}^-,{\bf n}^+)$

793: in the case of 4 A-solitons \cite{kodama:04}).

794: Those four pairs give four nonzero elements in the $B$-matrix, i.e. $(i_k,j_k)\equiv b_{i_k,j_k}$

795: for $k=1,\ldots,4$.

796: \item[(2)] Determine the signs of each pairs $(i_k,j_k)$, so that all the pfaffians in the expansion of $\tau_2$ associated with the $B$-matrix have the same sign. Since the pairs $(i_k,j_k)$ are all different, each pfaffian

797: has just one term, denoted by ${\rm Pf}((i,j),(k,l))=\pm b_{i,j}b_{k,l}$. Here the sign depends on the

798:  pairs, for examples,

799: \[

800: {\rm Pf}((1,3),(5,7))=b_{1,3}b_{5,7},\quad {\rm Pf}((2,6),(4,8))=-b_{2,6}b_{4,8}.

801: \]

802: \end{itemize}

803: In order to determine the sign of the pfaffian ${\rm Pf}((i,j),(k,l))=\pm b_{i,j}b_{k,l}$, we define:

804: \begin{Definition} We say

805: that the pairs $(i_j,i_k)$ and $(i_l,i_m)$ with $i_j<i_l$ have a {\it partial} overlap, if $i_j<i_l<i_k<i_m$.

806: Otherwise, we say that the pairs have a {\it non}-partial overlap (i.e. total or no overlap). 

807: Let us introduce the sign of overlap between $(i_k,j_k)$ and $(i_l,j_l)$,

808: \[

809: \sigma_{kl}=\left\{\begin{array}{lllll}

810: - \quad {\rm if}\quad  i_k<i_l<j_k<j_l~~({\rm partial~overlap})\,,\\

811: + \quad {\rm otherwise}\,.

812: \end{array}

813: \right.

814: \]

815: Then we have ${\rm Pf}((i_k,j_k),(i_l,j_l))=\sigma_{kl}b_{i_k,j_k}b_{i_l,j_l}$.

816: \end{Definition}

817: 

818: Now we have:

819: \begin{Lemma}

820: Suppose that the signs $\sigma_{kl}$ satisfiy

821: \[

822: \sigma_{12}\sigma_{13}\sigma_{14}=\sigma_{12}\sigma_{23}\sigma_{24}=\sigma_{13}\sigma_{23}\sigma_{34}=\sigma_{14}\sigma_{24}\sigma_{34}\,.

823: \]

824: Then one can make the $\tau$-function $\tau_2$ to be sign-definite, that is, all ${\rm Pf}({B}(i_1,\ldots,i_4))$ take the same sign.

825: \end{Lemma}

826: \begin{Proof}

827: We denote $\epsilon_k={\rm sgn}(i_k,j_k)$, so that sgn(Pf$((i_k,j_k)(i_l,j_l)))=\sigma_{kl}\epsilon_k\epsilon_l$.

828: The condition that all the terms have the same sign requires

829: \[

830: \sigma_{kl}\epsilon_k\epsilon_l=\sigma_{k'l'}\epsilon_{k'}\epsilon_{l'}\,,

831: \]

832: for any $k,l$ and $k',l'$. This leads to $\sigma_{12}\sigma_{34}=\sigma_{13}\sigma_{24}=\sigma_{14}\sigma_{23}$ which

833: gives the assertion.

834: \end{Proof}

835: Applying the Lemma, one can prove:

836: 

837: \begin{Proposition}\label{2Dsolitons}

838: Let ${\bf i}=(i_1,\ldots,i_4)$ and ${\bf j}=(j_1,\ldots,j_4)$.

839: Then there exist  33 cases of sign-definite $\tau$-functions whose $B$-matrices have nonzero entries only at $(i_k,j_k)$ 

840: and $(j_k,i_k)$ for $k=1,\ldots,4$.  Those cases are given by:

841: \begin{itemize}

842: \item[(a)] For ${\bf i}=(1,2,3,4)$, there are 8 cases with ${\bf j}=(j_1,\ldots,j_4)$;

843: \[

844: \begin{array}{llll}

845: (5,6,7,8),~(5,8,7,6),~(6,5,8,7),~(6,7,8,5),\\

846: (7,8,5,6),~(7,6,5,8),~(8,5,6,7),~(8,7,6,5)\,.

847: \end{array}

848: \]

849: \item[(b)] For ${\bf i}=(1,2,3,5)$, there are 4 cases,

850: \[

851: (4,7,6,8),~(4,7,8,6),~(6,7,4,8),~(8,7,4,6)\,.

852: \]

853: \item[(c)] For ${\bf i}=(1,2,3,6)$, there are 4 cases,

854: \[

855: (4,5,8,7),~(5,4,7,8),~(7,4,5,8),~(8,5,4,7)\,.

856: \]

857: \item[(d)] For ${\bf i}=(1,2,4,5)$, there are 4 cases,

858: \[

859: (3,8,6,7),~(3,6,8,7),~(6,3,7,8),~(8,3,7,6)\,.

860: \]

861: \item[(e)] For ${\bf i}=(1,2,4,6)$, there is one case,

862: $

863: (8,3,5,7)\,.

864: $

865: \item[(f)] For ${\bf i}=(1,2,3,7)$, there are two cases,

866: $ (4,5,6,8),~(6,5,4,8)\,.

867: $

868: \item[(g)] For ${\bf i}=(1,3,4,5)$, there are two cases,

869: $ (2,6,7,8),~(2,8,7,6)\,.

870: $

871: \item[(h)] For ${\bf i}=(1,2,4,7)$, there is one case,

872: $ (6,3,5,8)\,.

873: $

874: \item[(i)] For ${\bf i}=(1,3,4,6)$, there is one case,

875: $ (2,8,5,7)\,.$

876: \item[(j)] For ${\bf i}=(1,2,5,6)$, there are two cases,

877: $ (3,4,7,8),~(4,3,8,7)\,.

878: $

879: \item[(k)] For ${\bf i}=(1,2,5,7)$, there is one case,

880: $ (4,3,6,8)\,.$

881: \item[(l)] For ${\bf i}=(1,3,5,6)$, there is one case,

882: $ (2,4,8,7)\,.$

883: \item[(m)] For ${\bf i}=(1,3,4,7)$, there is one case,

884: $ (2,6,5,8)\,.$

885: \item[(n)] For ${\bf i}=(1,3,5,7)$, there is one case,

886: $ (2,4,6,8)\,.$

887: \end{itemize}

888: \end{Proposition}

889: The case (n) corresponds to the $B$-matrix $B=J_0$ defined in (\ref{J0}),

890: and the $B$-matrices for other cases can be expressed as $B=J_\pi:=\pi J_0\pi^{T}$ for

891: some $\pi\in S_{8}$ with appropriate signs in the entries of $\pi$. Those signs are

892: determined so that the $\tau$-function is non-singular.

893: 

894: \subsection{Two and three D-solitons}

895: We now classify D-solitons given by the $\tau$-functions associated with the $B$-matrices

896: obtained in Proposition \ref{2Dsolitons}.  We obtain:

897: \begin{Theorem}\label{2-3Dsolitons}

898:  Suppose we have the order, $(i_1,j_1)<(i_2,j_2)<(i_3,j_3)<(i_4,j_4)$ with

899: $(i_k,j_k):=p_{i_k}+p_{j_k}$.

900: Then as a generic situation, the D-soliton solutions of the DKP equation turns out to be the following

901: two cases;

902: \begin{itemize}

903: \item[(i)] two D-solitons of $[i_1,j_1:i_3,j_3], [i_2,j_2:i_4,j_4]$ or $[i_1,j_1:i_4,j_4], [i_2,j_2:i_3,j_3]$,

904: \item[(ii)] three D-solitons of $[i_k,j_k:i_{\alpha},j_{\alpha}], [i_l,j_l:i_{\alpha},j_{\alpha}]$ and

905: $[i_m,j_m:i_{\alpha},j_{\alpha}]$ for $\alpha=2$ or $3$ ($\alpha, k, l, m$ are all

906: distinct).

907: \end{itemize}

908: \end{Theorem}

909: \begin{Proof}

910: First we note that each $\tau_2$-function associated with the $B$-matrix given in Proposition \ref{2Dsolitons} has six exponential terms.

911: We denote them as $\hat E_k\hat E_l$ for $1\le k<l\le 4$, where

912: $\hat E_k:=E_{i_k,j_k}=\exp((p_{i_k}+p_{j_k})x+(p_{i_k}^2+p_{j_k}^2)y+\theta_{k}^0)$

913: for a fixed $t$. To identify two

914: dominant exponents which determine an asymptotic D-soliton,

915: we set $x=cy$ and define $u_{i,j}:=(p_{i}+p_{j})c+p_{i}^2+p_{j}^2$ (see Section \ref{onesoliton}).

916: Then for large $|y|$, the velocity $c$ of asymptotic soliton can be given by the intersection point

917: of $u_{i_k,j_k}=u_{i_l,j_l}$,

918: where as a generic situation only two exponential terms become

919: dominant, say $\hat E_k\hat E_m$ and $\hat E_l\hat E_m$ (see also \cite{biondini:03} for the details,

920: and Figure \ref{4768-sol:fig} below). The soliton is then identified as

921: $[i_k,j_k:i_l,j_l]$. Then there are two cases where the number of solitons, i.e. 

922: the number of balancing pairs of dominant exponentials, is either two

923: or three.

924: To show this, we consider, for example,  the case with ${\bf i}=(1,2,3,4),~{\bf j}=(5,6,7,8)$.

925: We set the parameter ${\bf p}$ so that $p^{(1)}_1<p^{(1)}_2<p^{(1)}_3<p^{(1)}_4$ whith

926: $p^{(1)}_k:=p_{i_k}+p_{j_k}$. Keeping this order, one can choose ${\bf p}$, so that

927: we have $p^{(2)}_4<p^{(2)}_3<p^{(2)}_2<p^{(2)}_1$ with $p^{(2)}_k:=p_{i_k}^2+p_{j_k}^2$.

928: (This can be done with a large negative value for $p_1$ and a small positive $p_8$.)

929: Then it is easy to see from the graph of $u_{k}:=u_{i_k,j_k}$ that one can have either

930: two D-soliton of $[i_1,j_1:i_3,j_3]$ and $[i_2,j_2:i_4,j_4]$ or three D-soliton of

931: $[i_1,j_1:i_3,j_3], [i_2,j_2:i_3,j_3]$ and $[i_3,j_3:i_4,j_4]$. The parameters ${\bf p}=(p_1,\ldots,p_8)$

932: can take the same values except $p_8$ for both cases (Figure \ref{4768-sol:fig}

933: gives an example for this, also see below).

934: 

935: One can also make a different order for $p^{(2)}_k$, e.g.

936: $p^{(2)}_3<p^{(2)}_2<p^{(2)}_1<p^{(2)}_4$ (by taking large positive $p_8$).

937: Then one can have three D-soliton of $[i_1,j_1:i_2,j_2],[i_2,j_2:i_3,j_3]$ and $[i_2,j_2:i_4,j_4]$

938: with the velocities $c_{2,4}<c_{1,2}<c_{2,3}$ where $c_{k,l}$ is the velocity of

939: $[i_k,j_k:i_l,j_l]$-soliton (recall that those are given by

940: the intersection $u_{k}=u_{l}$ with $u_k=u_{i_k,j_k}$).

941: 

942: Thus there is a freedom in the ordering of $p^{(2)}_k$, and this is a key to

943: generate three D-solitons (compare with the case for the KP equation \cite{biondini:03, kodama:04}

944: where we have only two A-solitons for six exponential terms in the $\tau$-function).

945: 

946: 

947:  In Figure \ref{4768-sol:fig}, we illustrate the case of ${\bf i}=(1,2,3,5)$ and ${\bf j}=(4,7,6,8)$:

948: Here the ordering is $(1,4)<(2,7)<(3,6)<(5,8)$. Then depending on the parameters $p_k$'s,

949: the number of asymptotic D-solitons is either two or three.

950: The left (right) figure shows the case of two (three) D-solitons, i.e. there are two (three)

951: values of $c$ where two exponential terms become dominant. It is obvious that there is

952: no case other than those two in the general case.

953: \end{Proof}

954: 

955: 

956: 

957: % figure 4768-sol

958: \begin{figure}[t]

959: \includegraphics[width=10cm]{4768-solx}

960: \caption{Two and three D-solitons associated with ${\bf i}=(1,2,3,5)$ and ${\bf j}=(4,7,6,8)$.

961: The left figure shows two D-solitons with ${\bf p}=(-3,-2,1,2,3,4,5,6)$. The right one shows three D-solitons with the same parameters except $p_8=8$. The bottom figures show the graphs of $u_{i,j}(c)=(p_i+p_j)c+p^2_i+p^2_j$. The dots in the graphs show the dominant two exponential terms, which determine the asymptotic D-solitons. The squares

962: correspond to the intermediate D-solitons forming the resonant quadrangle, and the triangles correspond to

963: the resonant intermediate solitons from the pairs of three asymptotic solitons as shown in the top figures.}

964: \label{4768-sol:fig}

965: \end{figure}

966: 

967: We note here that all cases in Proposition \ref{2Dsolitons} have two-D-soliton solutions, but only

968: some cases can have three-D-soliton solution. In particular, we have:

969: \begin{Proposition}\label{case-n}

970: The case (n) in Proposition \ref{2Dsolitons} can have only two-D-soliton solutions

971: of $[1,2:5,6]$ and $[3,4:7,8]$.

972: \end{Proposition}

973: In order to prove the Proposition, we prepare the following Lemma:

974: Let us first denote $u_{i_k,j_k}$ as $u_k$ as before:

975: \[

976: u_k(c):=(p_{i_k}+p_{j_k})c+p_{i_k}^2+p_{j_k}^2\,,\quad k=1,\ldots,4\,,

977: \]

978: where $(i_k,j_k)=(2k-1,2k)$ for the $B$-matrix of the case (n), i.e. $B=J_0$.

979: Then we have:

980: \begin{Lemma}\label{cij}

981: Let $c_{j,k}$ be the point of intersection given by $u_j(c)=u_k(c)$.

982: Then for a fixed index $\alpha\in\{1,\ldots,4\}$, we have

983: \[

984: c_{\alpha, k}<c_{\alpha, j}<c_{\alpha, i}\,,\quad {\rm for}\quad i<j<k\,,~~\alpha\ne i,j,k\,.

985: \]

986: \end{Lemma}

987: \begin{Proof}

988:  From $u_k(c)=u_j(c)$, we have

989:  \[

990:  c_{j,k}=-\frac{(p_{2j-1}^2+p_{2j}^2)-(p_{2k-1}^2+p_{2k}^2)}{(p_{2j-1}+p_{2j})-(p_{2k-1}+p_{2k})}\,.

991:  \]

992:  Let us write $p_{2k-1}$ and $p_{2k}$ as

993:  \[

994:  p_{2k-1}=P_k-\Delta_k,\quad p_{2k}=P_k+\Delta_k\,,

995:  \]

996: that is, $P_k=\frac{1}{2}(p_{2k-1}+p_{2k})$, and we have

997: \[

998: c_{j,k}=-(P_j+P_k)-\frac{\Delta_j^2-\Delta_k^2}{P_j-P_k}\,.

999: \]

1000:  Suppose $\alpha<j<k$ (other cases follow the similar argument). Then we have

1001:  \[

1002:  c_{\alpha, j}-c_{\alpha, k}=P_k-P_j+\frac{\Delta_{\alpha}^2-\Delta_k^2}{P_{\alpha}-P_k}

1003:  -\frac{\Delta_{\alpha}^2-\Delta_j^2}{P_{\alpha}-P_j}\,.

1004:  \]

1005: It is then easy to show $c_{\alpha, j}-c_{\alpha, k}>0$. 

1006:  \end{Proof}

1007:  %%%%%  Figure  %%%%%%%%%%%%%%

1008:  \begin{figure}[t]

1009: \includegraphics[width=6cm]{cij}

1010: \caption{The qualitative graphs of the functions $u_k(c)=(p_{2k-1}+p_{2k})c+p_{2k-1}^2+p_{2k}^2$ for the case (n) in Proposition

1011: \ref{2Dsolitons} which states, e.g. $c_{1,4}<c_{1,3}<c_{1,2}$. The open circles correspond to two D-solitons of

1012: $[1,2:5,6]$ with the velocity $c_{1,3}$ and $[3,4:7,8]$ with $c_{2,4}$.}

1013: \label{c:fig}

1014: \end{figure}

1015: 

1016:  

1017:  \medskip

1018:  \noindent

1019:  Now we give a proof of Proposition \ref{case-n}:

1020:  \begin{Proof}

1021:   From Lemma \ref{cij}, we have the order $c_{1,2}<c_{1,3}<c_{1,4}$. Also note that the slope of $u_k(c)$ is given by $p_{2k-1}+p_{2k}=:p^{(1)}_k$, hence $p^{(1)}_1<p^{(1)}_2<p^{(1)}_3<p^{(1)}_4$. Then we obtain qualitative

1022: graphs of $u_k$ as shown in Figure \ref{c:fig}, and from the graphs, we can find the dominant pairs of the exponential terms in $\tau_2$ for $y\to\pm\infty$. This shows that the dominant pairs are given by

1023: $(\hat E_1\hat E_4, \hat E_3\hat E_4)$ and $(\hat E_1\hat E_4,\hat E_1\hat E_2)$ for $y\to\infty$,

1024: and $(\hat E_1\hat E_2,\hat E_2\hat E_3)$ and $(\hat E_2\hat E_3,\hat E_3\hat E_4)$ for

1025: $y\to-\infty$.  This implies that we have two D-solitons of $[1,2:5,6]$ and $[3,4:7,8]$

1026: (recall $\hat E_k=E_{2k-1,2k}$). This completes the proof.

1027: \end{Proof}

1028: 

1029: We also have:

1030: \begin{Proposition}\label{case-a}

1031: The case with ${\bf i}=(1,2,3,4)$ and ${\bf j}=(8,7,6,5)$ (one of the cases in (a) of Proposition \ref{2Dsolitons}) can have both

1032: two and three D-solitons.

1033: \end{Proposition}

1034: \begin{Proof} Follow the argument in the proof of Theorem \ref{2-3Dsolitons}.

1035: Also see the following examples:

1036: \begin{itemize}

1037: \item[(i)] For two D-solitons, we take 

1038: ${\bf p}:=(p_1,p_2,\ldots,p_8)=(-5,-4,-2,-1,0,3,3.5,7)$.

1039: Then the open circles in the left figure in Figure \ref{case-a:fig} show the dominant exponentials

1040: which correspond to the D-solitons of $[i_1,j_1:i_4,j_4]=[1,8:4,5]$ and $[i_2,j_2:i_3,j_3]=[2,7:3,6]$.

1041: \item[(ii)] For three D-solitons, we take ${\bf p}=(-5,-3.5,-2,-1,0,3,4,7)$. The three open circles in the right figure in Figure \ref{case-a:fig} correspond to the two D-solitons of $[i_1,j_1:i_2,j_2]=[1,8:2,7]$,

1042: $[i_2,j_2:i_3,j_3]=[2,7:3,6]$ and $[i_2,j_2:i_4,j_4]=[2,7:4,5]$. 

1043: \end{itemize}

1044: In Figure \ref{3Dsol:fig}, we show the interaction patterns for those cases shown in Figure \ref{case-a:fig}

1045: (they are topologically the same as in Figure \ref{4768-sol:fig}).

1046: \end{Proof}

1047: 

1048: In Section \ref{multisolitons}, we will extend Propositions \ref{case-n} and \ref{case-a} to the general cases as Propositions \ref{multi-n} and \ref{multi-a}.

1049: 

1050: Recall that a D-soliton can be identified as an element of the Weyl group of D-type, $W^D$. In the case of two D-solitons, we have, for example,

1051: $\pi_{1,3}: (i_1,j_1)\leftrightarrow (i_3,j_3)$ and $\pi_{2,4}: (i_2,j_2)\leftrightarrow (i_4,j_4)$.

1052: The group generated by those elements is an abelian subgroup of $W^D$, and

1053: the orbit of this subgroup of $(i_1,j_1,i_2,j_2)$ represents the asymptotic regions 

1054: divided by the solitons, i.e. $(i_1,j_1,i_2,j_2), (i_1,j_1,i_4,j_4),(i_2,j_2,i_3,j_3)$ and $(i_3,j_3,i_4,j_4)$,

1055: which correspond to the dominant exponentials in the $\tau$-function, that is,

1056: $\hat E_1\hat E_2, \hat E_1\hat E_4, \hat E_2\hat E_3$ and $\hat E_3\hat E_4$, respectively.

1057: In the $\tau$-function, we have two more exponential terms labeled by $(i_1,j_1,i_3,j_3)$ and

1058: $(i_2,j_2,i_4,j_4)$, i.e. $\hat E_1\hat E_3$ and $\hat E_2\hat E_4$. Those terms become dominant at the points of the resonant quadrangle 

1059: as in the case of two A-solitons of T-type. Namely we have a resonant two D-soliton.

1060: The resonant condition is given by, for example,

1061: \[\left\{

1062: \begin{array}{llll}

1063: {\bf k}[i_1,j_1:i_3,j_3]+{\bf k}[i_3,j_3:i_4,j_4]={\bf k}[i_1,j_1:i_4,j_4]\\

1064: {}\\

1065: \omega[i_1,j_1:i_3,j_3]+\omega[i_3,j_3:i_4,j_4]=\omega[i_1,j_1:i_4,j_4]

1066: \end{array}\right.

1067: \]

1068: In the case of three D-soliton, for example $[i_1,j_1:i_2,j_2],[i_2,j_2:i_3,j_3]$ and $[i_2,j_2:i_4,j_4]$,

1069: we have $\pi_{1,2}, \pi_{2,3}$ and $\pi_{2,4}$ as the generating elements of the subgroup.

1070: Then the subgroup contains $\pi_{1,3}, \pi_{1,4}$ and $\pi_{3,4}$, and those are the 

1071: D-solitons generated by the resonances of pairs, i.e.

1072: $\pi_{k,l}$ represents D-soliton of $[i_k,j_k:i_l,j_l]$.  Each resonant relation can be represented by

1073: the product $\pi_{i,2}\cdot \pi_{2,j}=\pi_{i,j}$.

1074: %%%%%%%%  Figure  %%%%%%%%%%%%%%

1075:  \begin{figure}[t]

1076: \includegraphics[width=11.5cm]{case-a}

1077: \caption{The graphs of $u_k(c)=(p_{k}+p_{9-k})c+p_{k}^2+p_{9-k}^2$ for $k=1,\ldots,4$.

1078: The indices are marked by $(i_k,j_k)=(k,9-k)$ for $k=1,\ldots,4$.

1079: The left figure shows two D-soliton solutions of $[1,8:4,5]$ and $[2,7:3,6]$ with 

1080: ${\bf p}=(-5,-4,-2,-1,0,3,3.5,7)$, and the right one shows three D-solitons of $[1,8:2,7],[2,7:3,6]$ and $[2,7:4,5]$ with

1081: ${\bf p}=(-5,-3.5,-2,-1,0,3,4,7)$. Note that only $p_2$ is changed.}

1082: \label{case-a:fig}

1083: \end{figure}

1084: 

1085: 

1086: 

1087: For any two D-soliton solution in Proposition \ref{2Dsolitons}, we have:

1088: \begin{Proposition}

1089: Two D-solitons constructed above are all in resonance, in the sense that there is a resonant quadrangle at the 

1090: intersection point. Namely all the cases are of T-type with one hole.

1091: \end{Proposition}

1092: \begin{Proof}

1093: First note that there are six exponential terms in the $\tau$-function.

1094: Each exponential term becomes dominant in some region in the $x$-$y$ plane.

1095: For example, consider two D-solitons with $[1,2:5,6]$ and $[3,4:7,8]$.

1096: Then the function $w=(\ln \tau_2)_x$ takes $w\to (1,2,3,4)$ for $x\to-\infty$, and $w\to (5,6,7,8)$

1097: for $x\to\infty$.

1098: With those D-solitons, we have the regions marked by $(1,2,7,8)$ and $(3,4,5,6)$.

1099: In addition to those exponentials, we also have $(1,2,5,6)$ and $(3,4,7,8)$.

1100: As in the case of two solitons of the KP equation (see \cite{biondini:03}),

1101: a resonant interaction of Y-shape can occur. For example,

1102: $[1,2:5,6], [1,2:7,8]$ and $[5,6:7,8]$ solitons are in resonant,

1103: and the three regions divided by those solitons are marked by

1104: $(1,2,3,4), (3,4,5,6)$ and $(3,4,7,8)$. Then the six exponentials

1105: in the $\tau$-function form two D-solitons in resonance (see the left figure in Figure \ref{3Dsol:fig}). 

1106: \end{Proof}

1107: 

1108: % figure 3Dsol

1109: \begin{figure}[t]

1110: \includegraphics[width=11.5cm]{3Dsol}

1111: \caption{Interaction patterns for two and three D-solitons in Figure \ref{case-a:fig}.

1112: The function $w=(\ln\tau_2)_x$ takes the values, $w\to (i_1,j_1,i_2,j_2)$

1113: as $x\to-\infty$, and $w\to(i_3,j_3,i_4,j_4)$ as $x\to\infty$. All six D-solitons

1114: in each figure can be identified as the six intersection points of the graphs $u_k:=u_{i_k,j_k}$ in Figure \ref{case-a:fig}.}

1115: \label{3Dsol:fig}

1116: \end{figure}

1117: 

1118: 

1119: \begin{Remark}

1120: In Figure 8 of \cite{isojima:02}, Isojima et al presented an example of (two) D-solitons

1121: which seems to have only one intermediate soliton (no resonant quadrangle). 

1122: However, it turns out that this is {\it not} two D-solitons:

1123: First we note that this

1124:  is the case (k) in Proposition \ref{2Dsolitons}, i.e.

1125: ${\bf i}=(1,2,5,7)$ and ${\bf j}=(4,3,6,8)$. This can be found by ordering

1126: the parameters $(p_1,\ldots,p_4,q_1,\ldots,q_4)$ in Figure 8 of \cite{isojima:02},

1127: i.e. relabel $(p_1,\ldots,q_4)$ in terms of our ordering $(p_1,\ldots,p_8)$

1128: with $p_1\to p_8, p_2\to p_7,p_3\to p_4,p_4\to p_1,q_1\to p_6,q_2\to p_5,q_3\to p_3$ and $q_4\to p_2$.

1129: The parameters chosen in the paper is then given by ${\bf p}=(-\frac{3}{2},-\frac{4}{3},-\frac{2}{3},-\frac{1}{2},\frac{1}{2},\frac{2}{3},\frac{3}{2},3)$.

1130:  With those parameters, we note that $p_1+p_4=:(1,4)=(2,3)=:p_2+p_3$, a {\it degeneracy} in the parameters.

1131: Two D-solitons are given by $[1,4:5,6]$ and $[2,3:7,8]$, and the asymptotic

1132: values of $w$ are $(1,2,3,4)$ and $(5,6,7,8)$ for $x\to\mp\infty$. 

1133: Then the resonant quadrangle consists of the D-solitons of $[1,4:2,3], [1,4:7,8], [2,3:5,6]$ and

1134: $[5,6:7,8]$. However, because of the degeneracy $(1,4)=(2,3)$, the $[1,4:2,3]$-soliton cannot exist,

1135: i.e. the function $w$ cannot change the value across this soliton.

1136: Also notice that the $[2,3:5,6]$- and $[1,4:5,6]$-solitons are almost parallel, and so are

1137: the $[1,4:7,8]$- and $[2,3:7,8]$-solitons: For example, the peak of the soliton $[2,3:5,6]$ is given by

1138: $\theta_{2,3}=\theta_{5,6}$, i.e. for a fixed $t$ and with the values of ${\bf p}$, we have

1139: the line for $[2,3:5,6]$-soliton,

1140: \[

1141: (p_5+p_6-p_2-p_3)x+(p_5^2+p_6^2-p_2^2-p_3^2)y=\frac{57}{18}\left(x-\frac{55}{114}y\right)={\rm const.}

1142: \]

1143: which is almost parallel to the line $\theta_{1,4}=\theta_{5,6}$ for the $[1,4:5,6]$-soliton,

1144: \[

1145: (p_5+p_6-p_1-p_4)x+(p_5^2+p_6^2-p_1^2-p_4^2)y=\frac{57}{18}\left(x-\frac{65}{114}y\right)={\rm const.}

1146: \]

1147: Thus the soliton solution in Figure 8 of

1148: \cite{isojima:02} consists of two D-solitons of $[1,4:5,6]$ and $[2,3:7,8]$ for $y\to\infty$

1149: and two {\it other} D-solitons of $[2,3:5,6]$ and $[1,4:7,8]$ for $y\to -\infty$, and the intermediate

1150: soliton is the $[5,6:7,8]$-soliton. Other intermediate soliton of $[1,4:2,3]$ may be considered to be

1151: located at $y=-\infty$.

1152: \end{Remark}

1153: 

1154: 

1155: 

1156: For any three D-soliton solutions in Proposition \ref{2Dsolitons}, we have:

1157: \begin{Proposition}

1158: Any pair of three D-solitons constructed above is in resonance to form

1159: an Y-shape vertex. This three D-soliton solution has no resonant hole and 

1160: four resonant Y-shape vertices.

1161: \end{Proposition}

1162: \begin{Proof}

1163: Since there are six exponential terms which mark the six

1164: separated regions in the $x$-$y$ plane bounded by those three solitons,

1165: this 3-soliton solution cannot have a resonant hole. 

1166: Three solitons are labeled by, for example, $[i_1,j_1:i_2,j_2], [i_2,j_2:i_3,j_3]$ and $[i_2,j_2:i_4,j_4]$,

1167: and any pair of those solitons is in resonance, i.e. $[i_1,j_1:i_2,j_2]$ and $[i_2,j_2:i_3,j_3]$ have

1168: a resonant interaction to generate $[i_1,j_1;i_3,j_3]$-soliton (see the right figure in Fig.\ref{3Dsol:fig}).

1169: It is easy to see that this resonance appear for any three solitons obtained in Proposition \ref{2Dsolitons}.

1170: \end{Proof}

1171: 

1172: 

1173: 

1174: %\begin{figure}[t]

1175: %\includegraphics[width=7cm]{2-3soliton}

1176: %\caption{Two D-solitons. They are $[1,2:5,6]$ and $[3,4:7,8]$.

1177: %Resonant quadrangle is given by four D-solitons, $[1,2:3,4],[1,2:7,8],[3,4:5,6]$ and

1178: %$[5,6:7,8]$, and the inside of the quadrant is either $(1,2,5,6)$ or $(3,4,7,8)$.}

1179: %\label{A6:fig}

1180: %\end{figure}

1181: 

1182: 

1183: %%%%%%%%%%%%%%%%% 3 (two A and one D) solitons %%%%%%%%%%%%%%

1184: \subsection{Three soliton solutions consisting of two A-solitons and one D-soliton}

1185: Since one D-soliton is a degenerate two A-solitons, one can construct 

1186: 3-soliton solution consisting of two A-solitons and one D-soliton from two D-solitons. 

1187: One should note that resolution of one D-soliton into two A-solitons can work 

1188: only for the case of two D-solitons. In the case of three D-solitons, the resolution

1189: of one D-soliton affects to other D-solitons, and it cannot produce two A-solitons.

1190: This can be checked by the asymptotic analysis using the graphs of $u_{i,j}$.

1191: 

1192: \begin{Example}

1193: Consider two D-solitons

1194: corresponding to the $B$-matrix of the case (n) in Proposition \ref{2Dsolitons}, i.e.

1195: ${\bf i}=(1,3,5,7)$ and ${\bf j}=(2,4,6,8)$.

1196: Two D-solitons are $[1,2:5,6]$ and $[3,4:7,8]$. Then, for example, 

1197: two A-soliton of type $[1:5]$ and $[2:6]$ are obtained by adding two extra nonzero elements 

1198: at $(1,6)$ and $(2,5)$. This fact can be verified easily from the diagram

1199: of T-type (up-side-down staircase with sides labeled by 1,2,5 and 6; see Figure \ref{A5:fig}). The 3-solitons obtained here

1200: has only one hole (see Figure \ref{A7:fig}).

1201: 

1202: One can also get two A-solitons of $[1:6]$ and $[2:5]$

1203: from $[1,2:5,6]$-soliton by adding two nonzero elements at $(1,5)$ and $(2,6)$. Notice that

1204: those two A-solitons form the diagram of P-type (cannon shape with sides by 1,2,5 and 6;

1205: see Figure \ref{A5:fig}).

1206: 

1207: In the same way, one can resolve $[3,4:7,8]$-solitons into either the pair of $[3:7]$ and $[4:8]$ or 

1208: the pair of $[3:8]$ and $[4:7]$, by adding extra nonzero entries to the $B$-matrix of the case (n).

1209: \end{Example}

1210: 

1211: \begin{figure}[t]

1212: %%\epsfig{file=A1.eps,height=4cm,width=12cm}

1213: \includegraphics[width=9cm]{3solitonx}

1214: \caption{Bifurcation of two D-solitons into three solitons with two A-solitons and one D-soliton.

1215: The $[1,2:5,6]$-D-soliton resolves into two A-solitons of $[1:5]$ and $[2:6]$.

1216: D-solitons are expressed as the double lines joined with the double circles.}

1217: \label{A7:fig}

1218: \end{figure}

1219: 

1220: 

1221: %%%%%%%%%%%%%%%%%  4 A-solitons  %%%%%%%%%%%%%%%%%%%

1222: \subsection{Four A-soliton solutions from D-solitons}

1223: 

1224: Those solitons can be constructed in the similar way as the case of three solitons (two A-solitons

1225: and one D-soliton)

1226: from two D-solitons. However,

1227: the compatibility among those A-solitons separated from D-solitons is somewhat complicated.  

1228: For example, one can expect that two D-solitons, $[1,2:5,6]$ and $[3,4:7,8]$,

1229: generate two A-solitons $[1:5], [2:6]$ from $[1,2:5,6]$ and other two A-solitons $[3:7]$ and $[4:8]$

1230: from $[3,4:7,8]$. 

1231: The $B$-matrices for 3-solitons $[1:5], [2:6], [3,4:7,8]$ and $[1,2:5,6], [3:7], [4:8]$ may be respectively given by

1232: \[

1233: \begin{pmatrix}

1234: 0 & 1 & 0 & 0 & 0 & 1 & 0 &0\\

1235:   & 0 & 0 & 0 & 1 & 0 & 0 &0\\

1236:   &   & 0 & 1 & 0 & 0 & 0 & 0\\

1237:   &   &   & 0 & 0 & 0 & 0 & 0\\

1238:   &   &  &   & 0 & 1 & 0 & 0\\

1239:   &   &   &   &   & 0 & 0 & 0\\

1240:   &   &   &   &   &   & 0 & 1\\

1241:   &  &   &   &   &   &  & 0\\

1242: \end{pmatrix} \quad{\rm and} \quad

1243: \begin{pmatrix}

1244: 0 & 1 & 0 & 0 & 0 & 0 & 0 &0\\

1245:   & 0 & 0 & 0 & 0 & 0 & 0 &0\\

1246:   &   & 0 & 1 & 0 & 0 & 0 & 1\\

1247:   &   &   & 0 & 0 & 0 & 1 & 0\\

1248:   &   &  &   & 0 & 1 & 0 & 0\\

1249:   &   &   &   &   & 0 & 0 & 0\\

1250:    &   &   &   &   &   & 0 & 1\\

1251:       &  &   &   &   &   &  & 0\\

1252: 

1253: \end{pmatrix}\,.

1254: \]

1255: Then adding $b_{3,8}, b_{4,7}$ to the $B$-matrix in the left (or $b_{1,6}, b_{2,5}$ to

1256: the right one), the resulting $B$-matrix is expected to give four A-solitons $[1:5],[2:6],[3:7]$ and $[4:8]$.

1257: However this matrix gives a singular solution, and a correct $B$-matrix for this 4-soliton solution

1258: may be given by

1259: \[

1260: \begin{pmatrix}

1261: 0 & 1 & 0 & 0 & 0 & 0 & 0 &1\\

1262:   & 0 & 1 & 0 & 0 & 0 & 0 &0\\

1263:   &   & 0 & 1 & 0 & 0 & 0 & 0\\

1264:   &   &   & 0 & 1 & 0 & 0 & 0\\

1265:   &   &  &   & 0 & 1 & 0 & 0\\

1266:   &   &   &   &   & 0 & 1 & 0\\

1267:    &   &   &   &   &   & 0 & 1\\

1268:       &  &   &   &   &   &  & 0\\

1269: \end{pmatrix}\,.

1270: \]

1271: Thus in this case we do not have a compatibility between the two sets of 3 solitons obtained from the D-solitons (in the sense that the $\tau$-function cannot stay to be sign-definite).

1272:  A general rule to construct a $B$-matrix for

1273:  four A-solitons from two D-solitons seems to be complicated.  Here 

1274: we give  a direct way to construct a $B$-matrix for a given four A-solitons,

1275: based on the $B$-matrices obtained in Proposition \ref{2Dsolitons}:

1276: \begin{itemize}

1277: \item[1)] Give four A-solitons labeled by a pair of four numbers, i.e.

1278: \[

1279: {\bf n}^-=(n_1^-,\ldots,n_4^-),\quad  {\bf n}^+=(n_1^+,\ldots,n_4^+)

1280: \]

1281: where $1=n_1^-<\cdots<n_4^-$ and $n_i^-<n_i^+$. Then each soliton is labeled by

1282: $[n_k^-:n_k^+]$ for $k=1,\ldots,4$ (the same as in the KP solitons \cite{kodama:04}).

1283: This implies that the asymptotic values of $w=( \ln\tau)_x$ are given by

1284: $\sum_{k=1}^4 p_{n_k^{\pm}}$ for $x\to\pm\infty$.

1285: \item[2)]  Take a pair of two solitons, say $[n_i^-:n_i^+]$ and $[n_j^-:n_j^+]$, and

1286: draw the corresponding diagrams shown in Figure \ref{A5:fig}, and do the same for the other pair.

1287: Here the choice of the pair should be consistent with the asymptotic values.

1288: Then adjust the signs for each horizontal edges of the diagrams, so that all

1289: the pfaffians have the same sign. If all are satisfied, then the diagrams give

1290: the $B$-matrix.

1291: \end{itemize}

1292: \noindent

1293: {\bf Example:}

1294: Consider four solitons with $[1:2], [7:8]$ and any other two solitons with the indices from $\{3,4,5,6\}$.   

1295: Then one can construct the $B$-matrix as follows:

1296: 

1297: The diagram corresponding to $[1:2],[7:8]$ is a backward C-shape (P-type shown in Figure \ref{A5:fig}), having

1298: 1,2,7 and 8 on the vertical edge. This implies we have nonzero elements for $b_{1,7},b_{1,8},

1299: b_{2,7},b_{2,8}$. Now if the other pair is $[3:6],[4:5]$, then the diagram associated to this is

1300: a cannon-shape (O-type) having 3,4,5,6 on the vertical edges. This gives the nonzero entries

1301: $b_{3,4},b_{3,5},b_{4,6},b_{5,6}$. In this example, all those entries in the upper triangular

1302: part can take $+1$ for a sign-definite $\tau$-function.  Namely we have

1303: \begin{equation}\label{1235B}

1304: B=\begin{pmatrix}

1305: 0 & 0 & 0 & 0 & 0 & 0 & 1 &1\\

1306:   & 0 & 0 & 0 & 0 & 0 & 1 &1\\

1307:   &   & 0 & 1 & 1 & 0 & 0 & 0\\

1308:   &   &   & 0 & 0 & 1 & 0 & 0\\

1309:   &   &   &   & 0 & 1 & 0 & 0\\

1310:   &   &   &   &   & 0 & 0 & 0\\

1311:   &   &   &   &   &   & 0 & 0\\

1312:   &   &   &   &   &   &  & 0\\

1313: \end{pmatrix}

1314: \end{equation}

1315: In the case of two solitons of T-type, $[3:5],[4:6]$, one can use the $B$-matrix 

1316: having the same entries except $b_{3,5}=2$, and in addition $b_{3,6}=1,b_{4,5}=1$.

1317: 

1318: Notice that the nonzero entries has two groups corresponding to two D-solitons $[1,7:2,8]$ and $[3,4:5,6]$, and

1319: those groups have no partial overlaps. This structure is true for any cases satisfying the nonsigular condition, i.e. all the pfaffians have the same sign. (Recall that the $B$-matrix with $b_{1,8}=b_{2,7}= b_{3,4}=b_{5,6}=1$, i.e. ${\bf i}=(1,2,3,5), {\bf j}=(8,7,4,6)$, also gives three D-solitons of $[1,8:2,7],[2,7:3,4]$ and $[2,7:5,6]$.)

1320: 

1321: For the same 4-solitons as the previous example, i.e. $[1:2],[3:6],[4:5]$ and $[7:8]$, one can also have the following $B$-matrix

1322: which gives the same $\tau_2$ function,

1323: \begin{equation}\label{1236B}

1324: B=\begin{pmatrix}

1325: 0 & 0 & 0 & 1 & 1 & 0 & 0 &0\\

1326:    & 0 & 0 & 1 & 1 & 0 & 0 &0\\

1327:    &   & 0 & 0 & 0 & 0 & -1 & -1\\

1328:    &   &   & 0 & 0 & 0 & 0 & 0\\

1329:   &   &   &   & 0 & 0 & 0 & 0\\

1330:   &   &   &   &   & 0 & 1 & 1\\

1331:   &   &   &   &   &   & 0 & 0\\

1332:   &   &   &   &   &   &  & 0\\

1333: \end{pmatrix}\,.

1334: \end{equation}

1335: This matrix can be constructed from the $B$-matrix for ${\bf i}=(1,2,3,6)$ and ${\bf j}=(5,4,7,8)$,

1336: the case (c) in Proposition \ref{2Dsolitons}, (i.e. this gives two D-solitons with $[1,5:2,4]$ and $[3,7:6,8]$).

1337: In Figure \ref{A8:fig}, we show the example of four A-solitons based on two $B$-matrices:

1338: The case a) corresponds to the $B$-matrix 

1339: for ${\bf i}=(1,2,3,6), {\bf j}=(5,4,7,8)$, and the case b) for ${\bf i}=(1,2,3,5), {\bf j}=(8,7,4,6)$.

1340: We take ${\bf p}=(-4,-3,-2,-1,1,3,4,6)$ for both cases.

1341: 

1342: \begin{figure}[t]

1343: %%\epsfig{file=A1.eps,height=4cm,width=12cm}

1344: \includegraphics[width=13cm]{2-3-4solx}

1345: \caption{Four A-solitons obtained from the $B$-matrix of two D-solitons or three D-solitons.

1346: Two D-solitons in a) is given by the $B$-martrix with ${\bf i}=(1,2,3,6)$ and ${\bf j}=(5,4,7,8)$.

1347: Three D-solitons in b) is given by the $B$-matrix with ${\bf i}=(1,2,3,5)$ and ${\bf j}=(8,7,4,6)$.

1348: Both cases have the same ${\bf p}=(-4,-3,-2,-1,1,3,4,6)$. The four A-soliton solution in c)

1349: is given by the $B$-matrix (\ref{1235B}). Note that the $B$-matrix of (\ref{1236B}) gives the same

1350: solution. }

1351: \label{A8:fig}

1352: \end{figure}

1353: 

1354: As an example of four A-solitons, we consider the case with $[1:7],[2:8],[3:5]$ and $[4:6]$,

1355: i.e. there are two partial overlaps (two solitons of T-type). 

1356: We first note that this set of 4-solitons can be split into two groups of 2-solitons having no partial overlaps,

1357: $\{[1:7],[2:8]\}$ and $\{[3:5],[4:6]\}$. Since they are both TD-type, we have the TD-type diagram

1358: (up-side-down staircase). This implies we have nonzero entries $b_{1,8},b_{1,2},b_{2,7},b_{7,8}$

1359: from the set $\{[1:7],[2:8]\}$, and $b_{3,4},b_{3,6},b_{4,5},b_{5,6}$ from the second set.

1360: However this $B$-matrix does not give the 4-solitons.

1361: In Figure \ref{2-4sol:fig}, the left figure shows the solution given by this $B$-matrix,

1362: two D-solitons, $[1,2:5,6]$ and $[3,4:7,8]$ with some additional resonances at the

1363: intersection region of those solitons. This can be explained as follows:

1364: This $B$-matrix can be considered as a deformation (bifurcation) from

1365: the $B$-matrix of two D-solitons, $[1,2:5,6]$ and $[3,4:7,8]$, and the $\tau$-function with this $B$-matrix gives resonant

1366: D-solitons, $[1,2:3,4],[1,2:7,8],[3,4:5,6]$ and $[5,6:7,8]$. Then TD-type of 2-solitons

1367: $[1:7],[2:8]$ is obtained from the bifurcation of $[1,2:7,8]$-soliton, which is one of

1368: the resonant solitons. Also note that the exponentials associated to $(1,2,7,8)$ and $(3,4,5,6)$

1369:  become dominant for two D-solitons for either $y\to\infty$ or $y\to-\infty$.

1370:  However those exponentials should not appear for this set of four A-solitons, that is,

1371:  those four A-solitons cannot be obtained from this $B$-matrix.

1372:  This can be fixed by taking following $B$-matrix (i.e. change TD-type to T-type),

1373:  \begin{equation}\label{4BB}

1374: B=\begin{pmatrix}

1375: 0 & 1 & 0 & 0 & 0 & 0 & 2 &1\\

1376:    & 0 & 0 & 0 & 0 & 0 & 1 &1\\

1377:    &   & 0 & 1 & 2 & 1 & 0 & 0\\

1378:    &   &   & 0 & 1 & 1 & 0 & 0\\

1379:   &   &   &   & 0 & 1 & 0 & 0\\

1380:   &   &   &   &   & 0 & 0 & 0\\

1381:   &   &   &   &   &   & 0 & 1\\

1382:   &   &   &   &   &   &  & 0\\

1383:   \end{pmatrix}\,.

1384:   \end{equation}

1385:  In Figure \ref{2-4sol:fig}, the right figure shows the 4-solitons generated by this

1386:  $B$-matrix.

1387:  

1388: 

1389: We also mention that the $\tau_2$-function with the generic $8\times 8$ $B$-matrix

1390: having all nonzero entries

1391: gives four A-solitons of T-type, that is, they are the same type of the 4-soliton

1392: solution of the KP equation. Just notice that the number of exponential terms

1393: in $\tau_2$ is $\binom{8}{4}=70$, which is the same as the $\tau$-function

1394: for the KP equation (see \cite{biondini:03}). Then the asymptotic analysis

1395: of the $\tau$-functions shows that four A-solitons are given by

1396: $[1:5], [2:6], [3:7]$ and $[4:8]$, which are of T-type.  An example of the generic $B$-matrix

1397: for nonsingular $\tau$-function is given by the skew-symmetric matrix having

1398: 1's in all the entries in the upper triangular part.

1399: 

1400:  \begin{figure}[t]

1401: %%\epsfig{file=A1.eps,height=4cm,width=12cm}

1402: \includegraphics[width=9cm]{2-4solx}

1403: \caption{The 4-solutions in the right figure is obtained from the $B$-matrices given by (\ref{4BB}).

1404: The left figure shows two D-solitons obtained by the same matrix except $b_{1,7}=0,b_{2,8}=0,b_{3,5}=0$ and $b_{4,6}=0$ (note the extra resonant structure at the intesection region of those D-solitons.}

1405: \label{2-4sol:fig}

1406: \end{figure}

1407: 

1408: 

1409: 

1410: %%%%%%%%%%  Multisoliton solutions %%%%%%%%%%%%%%%

1411: 

1412: \section{Multi-soliton solutions}\label{multisolitons}

1413:  For the general case with arbitrary $M=4N$, we consider the $B$-matrix

1414:  with $2N$ numbers of nozero entries $b_{i_k,j_k}$ for $k=1,\ldots,N$

1415:  and $1=i_1<\cdots<i_N,~i_k<j_k$ in the upper triangular part.

1416:  Although there is a scheme to find the $B$-matrix for sign-definite

1417:  $\tau_N$ (i.e. having all the same sign in the pfaffian coefficients),

1418: the generalization of Proposition \ref{2Dsolitons} seems to be difficult.

1419: However, we can show the following Propositions regarding to

1420:  the number of D-solitons for two special cases:

1421: \begin{Proposition}\label{multi-n}

1422: The $\tau_N$-function (\ref{tau}) with $4N\times 4N$ $B$-matrix given by $J_0$ of (\ref{J0})

1423: can have only $N$ D-solitons in the generic situation.

1424: \end{Proposition}

1425: \begin{Proof}

1426: Apply Lemma \ref{cij}, and find the dominant exponentials by following

1427: the argument of ``level of intersection'' introduced in \cite{biondini:03} (the main idea here is to find the dominant exponents from the graphs of $u_{i,j}(c)$).

1428: \end{Proof}

1429: 

1430: 

1431: 

1432: 

1433: 

1434: 

1435: The other case corresponds to the $B$-matrix, $B=J_\pi$, where 

1436: $J_\pi$ is defined by $J_\pi:=\pi J_0\pi^T$ with $\pi\in S_{4N}$, 

1437: the permutation given by $\pi=[2:4N]\cdot[4:4N-2]\cdots[2N:2N+2]$, i.e.

1438: \begin{equation}\label{Jw}

1439: J_w=\begin{pmatrix}

1440: 0 & 0 & \cdots & 0         & 0         &\cdots  & 0           &1\\

1441:    & 0 & \cdots & 0         & 0          & \cdots & 1          &0\\

1442:    &   & \ddots & \vdots & \vdots & \vdots & \vdots & \vdots \\

1443:    &   &             & 0           & 1         & \cdots  &0         & 0\\

1444:   &   &              &             & 0           & \cdots          & 0          & 0\\

1445:   &   &               &             &           & \ddots & \vdots  &\vdots\\

1446:   &   &               &            &            &             & 0           & 0\\

1447:   &   &               &            &            &             &               & 0\\

1448:   \end{pmatrix}

1449:  \end{equation}

1450:  Then we have:

1451: \begin{Proposition}\label{multi-a}

1452: The number of D-solitons generated by 

1453: the $\tau_N$-function (\ref{tau}) with $4N\times 4N$ $B$-matrix given by $J_w$ of (\ref{Jw})

1454: can be any number from $N$ to $2N-1$, depending on the choice of the parameter ${\bf p}$.

1455: \end{Proposition}

1456: Here instead of giving a precise proof, we demonstrate 

1457: a case with $M=16~(N=4)$: In Figure \ref{M16:fig}, we show the graphs of

1458: $u_k(c)=(p_k+p_{17-k})c+p_k^2+p_{17-k}^2$ for $k=1,\ldots,8$.

1459: With a proper choice of the parameter ${\bf p}=(p_1,\ldots,p_{16})$,

1460: one can find four different cases of intersection patterns of those lines.

1461: Then D-solitons can be found at the intersection points marked by open circles in Figure \ref{M16:fig}, that is, the level of intersection of those points should be four (i.e. there are four

1462: lines above those points). For example, D-soliton $[4,13:5,12]$ is obtained by the

1463: intersection of $u_4$ and $u_5$, and two dominant exponents for this soliton are

1464: $\hat E_1\hat E_2\hat E_3\hat E_4$ and $\hat E_1\hat E_2\hat E_3\hat E_5$ which are

1465: obtained from four lines above the intersection point $u_4=u_5$ (this is the definition of

1466: the level of intersection; see \cite{biondini:03} for more details).

1467: We have the following four cases:

1468: \begin{itemize}

1469: \item[(a)] Four D-solitons (the top left figure) of $[1,16:8,9], [2,15:7,10], [3,14:6,11]$ and $[4,13:5,12]$

1470: with the parameter,

1471: \[{\bf p}=(-16,-14,-12.5,-11,-8.5,-6,-4,-2,2,5,6,9.5,11.2,13.5,14,17)\,.\]

1472: \item[(b)] Five D-solitons (the top right figure) of $[1,16:8,9], [2,15:4,13], [3,14:6,11], [4,13:5,12]$ and $[4,13:7,10]$ with

1473: \[ {\bf p}=(-16,-14,-12.5,-11.6,-8.5,-6,-3,-2,2,4,6,9.5,12,13.5,14,17)\]

1474: Note here that three D-solitons have the common index $(4,13)$. The $[2,15:7,10]$-soliton

1475: in the case (a) causes the resonant interaction with two D-solitons $[2,15:4,13]$ and

1476: $[4,13:7,10]$.

1477: \item[(c)] Six D-solitons (the bottom left figure) of

1478: $[1,16:4:13], [2,15:4,13], [3,14:6,11], [4,13:5,12], [4,13:7,10]$ and $[4,13:8,9]$ with

1479: \[ {\bf p}=(-16,-14,-12.5,-11,-8.5,-6,-4,-2,2,5,6,9.5,11.5,13.5,14,17)\,.\]

1480: \item[(d)] Seven D-solitons (the bottom right figure) of

1481: $[k,17-k:4,13]$ for all $k=1,\ldots,8$, except $k=4$, and

1482: \[ {\bf p}=(-16,-14,-12.5,-11,-8.5,-7.5,-4,-2,2,5,6,9.5,11.5,13.5,14,17)\,.\]

1483: \end{itemize}

1484: One should note that those ${\bf p}$ values do {\it not} give generic cases, since some of the lines $u_k(c)$

1485: are parallel as shown in Figure \ref{M16:fig}. However, one can make those to be generic by changing slightly

1486: the parameters $p_i$'s without breaking the intersection patterns. (We show those non-generic parameters, since those provide a clear evidence of the existence of those solitons.)

1487: 

1488: \begin{figure}[t]

1489: %%\epsfig{file=A1.eps,height=4cm,width=12cm}

1490: \includegraphics[width=12cm]{M16}

1491: \caption{The graphs of $u_k(c)=(p_{k}+p_{17-k})c+p_k^2+p_{17-k}^2$ for $k=1,\ldots,16$.

1492: Each open circle of the intersections of two functions $u_k$ corresponds to a D-soliton

1493: given by $\tau_4$. For eaxmple,

1494:   the point for $u_1=u_8$ corresponds to the D-soliton of $[1,16:8,9]$.

1495:   The number of open circles depends on the choice of the parameter ${\bf p}=(p_1,\ldots,p_{16})$.

1496:   Notice that only $u_4$ and later $u_6$ are changed to increase the number of solitons 

1497:   (see the text for the explicit values of ${\bf p}$). }

1498: \label{M16:fig}

1499: \end{figure}

1500: 

1501: 

1502: We also remark that all the $N$-soliton solutions obtaind by $\tau_N$ with the $B$-matrix 

1503: given in Proposition \ref{multi-n} are fully resonant cases

1504: like the T-type for the KP equation, that is, the $\tau_N$ contains $\binom{2N}{N}$ exponential terms

1505: having the form $\prod_{k=1}^N{\hat E}_{k}=\prod_{k=1}^NE_{i_k,j_k}$ (see \cite{biondini:03}).

1506: 

1507: 

1508: Finally, we note that in the case of generic $B$-matrix having all nonzero entries, the $\tau_N$ function has the maximal number 

1509: of exponential terms $\binom{4N}{2N}$ which has the same structure of the $\tau$-function

1510: for fully resonant $2N$-soliton solutions (i.e. T-type) of the KP equation. Those $2N$ solitons

1511: are all A-type, and the interaction patterns are topologically the same for both KP and DKP equations.

1512: In those cases, the functions $v^{\pm}$ appear only locally at the interaction regions among $2N$-solitons.

1513:  

1514:  

1515:  

1516: \bibliographystyle{amsalpha}

1517: \begin{thebibliography}{A}

1518: 

1519: \bibitem{adler:99}

1520: M. Adler, E. Horozov and P. van Moerbeke,

1521: The Pfaff lattice and skew-orthogonal polynomials,

1522: {\it Intern. Math. Res. Notices}, {\bf 11} (1999) 569-588.

1523: 

1524: \bibitem{biondini:03}

1525: G. Biondini and Y. Kodama,

1526: On a family of solutions of the Kadomtsev-Petviashvili equation which also satisfy the Toda lattice hierarchy,

1527: {\it J. Phys. A: Math. Gen.} {\bf 36} (2003) 10519-36.

1528: 

1529: \bibitem{hirota:91}

1530: R. Hirota and Y. Ohta,

1531: Hierarchies of coupled soliton equations I,

1532: {\it J. Phys. Soc. Japan}, {\bf 60} (1991) 798-809.

1533: 

1534: 

1535: %\bibitem{hirota:88}

1536: %R. Hirota, Y. Ohta and J. Satsuma,

1537: %{Wronskian structures of solitons for soliton equations}

1538: %{\it Prog. Theor. Phys. Suppl.} {\bf 94} (1988) 59-72.

1539: 

1540: \bibitem{ishikawa:95}

1541: M. Ishikawa and M. Wakayama,

1542: Minor summation formula of pfaffians,

1543: {\it Linear and Multilinear Algebra}, {\bf 39} (1995) 285-305.

1544: 

1545: 

1546: \bibitem{isojima:02}

1547: S. Isojima, R. Willox and J. Satsuma,

1548: On various solutions of the coupled KP equation,

1549: {\it J. Phys. A: Math. Gen.}, {\bf 35} (2002) 6893-6909.

1550: 

1551: \bibitem{jimbo:83}

1552: M. Jimbo and T. Miwa,

1553: Solitons and infinite dimensional Lie algebras,

1554: {\it Publ. Res. Inst. Math. Sci. Kyoto University}, {\bf 19} (1983) 943-1001.

1555: 

1556: \bibitem{kakei:99}

1557: S. Kakei,

1558: Orthogonal and symplectic matrix integrals and coupled KP hierarchy,

1559: {\it J. Phys. Soc. of Japan}, {\bf 68} (1999) 2875-2877.

1560: 

1561: 

1562: \bibitem{kodama:04}

1563: Y. Kodama,

1564: {Young diagrams and $N$-soliton solutions of the KP equation},

1565: {\it J. Phys. A: Math. Gen.}, {\bf 37} (2004) 11169-11190.

1566: 

1567: \bibitem{kac:98}

1568: V. G. Kac and J. W. van de Leur,

1569: The geometry of spinors and the multicomponent BKP and DKP

1570: hierarchies. {\it The Bispectral Problem}. CRM Proc. Lecture Notes {\bf 14},

1571: AMS, Providence, (1998) 159-202.

1572: 

1573: 

1574: \end{thebibliography}

1575: 

1576: \end{document}