数理解析研究所講究録 1280 巻 2002 年 71-75

71
一般的双線型方程式の B\"acklund 変換方程式
新澤信彦 (早大理), 広田良吾 (早大理)1

一般的双線型方程式
物理や数学には、様々な非線型偏微分方程式が現れる。 これらの方程式を、解の性質を保ったまま差分化することは、 大抵の場合、 難しい。 しかし、 可積分方程式は厳密解を持っていることも幸いして、時間空間共に差分化する事が可能であり、 そうした方が見通しが良い。特に、広田. 三輪方程式は (3) のような簡潔な形をした方程式であるが、知られている多くの可積分方程式を連続極限に含んでおり、可積分方程式に限らない様々な分野で重要な役割を果たすことが知られている。 ここでは、広田. 三輪方程式に更に 1 つ項を加えた以下の様な方程式$(Z_{1}exp(D_{1})+Z_{2}exp(D_{2})+Z_{3}exp(D_{3})+Z_{4}exp(D_{4}))f\cdot f=0$

$Z_{1}+Z_{2}+Z_{3}+Z_{4}=0$$D_{1}+D_{2}+D_{3}+D_{4}=0$(1)を取り上げ、特にこの方程式の Bicklund 変換方程式について調べる。以下ではこの方程式の事を一般的双線型方程式と呼ぶことにする。 [1]B\"acklund 変換方程式に移る前に、 一般的双線型方程式がいろいろな可積分方程式を含んでいることを示す。
・広田. 三輪方程式

広田. 三輪方程式を得るためには、 単に $Z_{4}=0$ を課せば良い。残りの係数と変数を$Z_{1}=a(b-c)$$Z_{2}=b(c-a)$,$Z_{3}=c(a-b)$$D_{1}= \frac{1}{2}(-D_{p}+D_{q}+D_{r})$$D_{2}= \frac{1}{2}(D_{p}-D_{q}+D_{r})$$D_{3}= \frac{1}{2}(D_{p}+D_{q}-D_{r})$(2)の様に撰ぶと、 良く知られた型の広田・三輪方程式が得られる。
$Z_{1}f_{p}f_{qr}+Z_{2}f_{q}f_{pr}+Z_{3}f_{r}f_{pq}=0$(3)・離散 BKP 方程式

係数を特殊化することで、 離散 BKP 方程式を得ることも出来る。
$Z_{1}=(b-c)(a+b)(a+c),$ $Z_{2}=(c-a)(b+c)(b+a)$ ,$Z_{3}=(a-b)(c+a)(c+b),$ $Z_{3}=(a-b)(b-c)(c-a)$

変数変換$D_{1}= \frac{1}{2}(-D_{p}+D_{q}+D_{r})$

(4)

72
$D_{2}= \frac{1}{2}(D_{p}-D_{q}+D_{r})$$D_{3}= \frac{1}{2}(D_{p}+D_{q}-D_{r})$$D_{4}= \frac{1}{2}(-D_{p}-D_{q}-D_{r})$(5)をすると、 離散 BKP 方程式$(b-c)(a+b)(a+c)f_{p}f_{qr}+(c-a)(b+c)(b+a)f_{q}f_{pr}$$+(a-b)(c+a)(c+b)f_{r}f_{pq}+(a-b)(b-c)(c+b)ffpqr=0$(6)が得られる。

・離散-Kotera equation$\mathrm{K}\mathrm{d}\mathrm{V}+\mathrm{S}\mathrm{a}\mathrm{w}\mathrm{a}\mathrm{d}\mathrm{a}$係数を$Z_{1}=\delta^{-1},$ $Z_{2}=-\delta^{1}-a_{3}$,$Z_{3}=a_{3}-a_{4},$ $Z_{4}=a_{4}$(7)のように撰ひ、$D_{1}= \frac{1}{2}D_{n}+\delta D_{t}$,$D_{2}= \frac{1}{2}D_{n}$$D_{3}= \frac{2}{3}D_{n}+\delta D_{t}$$D_{4}= \frac{5}{2}D_{n}-2\delta D_{t}$(8)と変数変換することで、 次の様な差分方程式が得られる。
$\sinh(\frac{1}{2}(D_{n}+\delta D_{t})$$( \frac{1}{2}\mathrm{s}.\mathrm{n}\mathrm{h}(\frac{1}{2}\delta D_{t})+a_{3}\mathrm{s}.\mathrm{n}\mathrm{h}(\frac{\mathrm{I}}{2}(2D_{n}+\delta D_{t}))+a_{4}\sinh(\frac{1}{2}(4D_{n}+3\delta D_{t})))f\cdot f=0$(9)
これは$\mathrm{K}-\mathrm{d}\mathrm{V}+\mathrm{S}\mathrm{a}\mathrm{w}\mathrm{a}\mathrm{d}\mathrm{a}$-Kotera 方程式の差分化である。

2B\"acklund 変換方程式
さてそこで、 一般的な双線型方程式 (1) の B\"acklund 変換方程式を求めたい。 B\"acklund 変換方程式は、 ある方程式の解を同じ方程式の別の解に移す変換 (auto B\"acklund 変換) を生或す

soliton 解とsoliton 解を結ぶ重要な方程式である。 ここでは更に、行列とベクトルのかけ算の形に方程式を表示出来る、 “Symmetric Biklund 変換方程式” を導く。
Bicklund 変換方程式

る方程式で、$\mathrm{N}$$\mathrm{N}+1$

73
$g$

に対する一般$-\{(Z_{1}e^{D_{1}}+Z_{2}e^{D_{2}}+Z_{3}e^{D_{3}}+Z_{4}e^{D_{4}})g\cdot g\}\{e^{D_{4}}f\cdot f\}=0$(10)まず、 ふたつの従属変数 $f,$$g$を準備し、 $f$ に対する一般化双線型方程式と、化双線型方程式を、 次のように足しあわせる。
$\{(Z_{1}e^{D_{1}}+Z_{2}e^{D_{2}}+Z_{3}e^{D_{3}}+Z_{4}e^{D_{4}})f\cdot f\}\{e^{D_{4}}g\cdot g\}$

明らかに、 $f,$$g$がこの方程式を満たし、 $f$ が一般的双線型方程式を満たすなら、$g$も一般的双線型方程式を満たさなければならない。
$f,$の交換公式$g$$(e^{D_{\lambda}}f\cdot f)(e^{D_{\mu}}g\cdot g)$$= \exp(-\frac{1}{2}(D_{\lambda}+D_{\mu}))(\exp(\frac{1}{2}(D_{\lambda}-D_{\mu}))f\cdot g)\cdot(\exp(-\frac{1}{2}(D_{\lambda}-D_{\mu}))f\cdot g)$(11)を使うと、 (10) 式は、次のように書き変えられる。
$Z_{1}(- \sinh(-\frac{1}{2}(D_{1}+D_{4}))(\exp(\frac{1}{2}(D_{1}-D_{4}))f\cdot g)\cdot(\exp(-\frac{1}{2}(D_{1}-D_{4}))f\cdot g))$$+Z_{2}(- \sinh(-\frac{1}{2}(D_{2}+D_{4}))(\exp(\frac{1}{2}(D_{2}-D_{4}))f\cdot g)\cdot(\exp(-\frac{1}{2}(D_{2}-D_{4}))f\cdot g))$$+Z_{3}(- \sinh(-\frac{1}{2}(D_{3}+D_{4}))(\exp(\frac{1}{2}(D_{3}-D_{4}))f\cdot g)\cdot(\exp(-\frac{1}{2}(D_{3}-D_{4}))f\cdot g))$$=0$(12)

さらに $D$ オペレーターの恒等式を使うと、 この方程式にいくつかの項を付け加えることが可能である。 まず、任意の $F$ に対して $\sinh(D)F\cdot F=0$ が成り立つことを使うと、$D_{4}))f\cdot f(i=1,2,3)$. $-$$\exp(-\frac{1}{2}(D_{1}$の所に $\exp(\frac{1}{2}(D_{i}-D_{4}))$ に比例する項を付け加えることが出来る。 さらに、 交換公式$e^{D_{\lambda}}(e^{D_{\mu}}f\cdot g)\cdot(e^{D_{\nu}}f\cdot g)$$= \exp(\frac{1}{2}(D_{\mu}-D_{\nu}))(\exp(D_{\lambda}+\frac{1}{2}(D_{\mu}+D_{\nu}))f\cdot g)\cdot(\exp(-D_{\lambda}+\frac{1}{2}(D_{\mu}+D_{\nu}))f\cdot g)$(13)を使うと、 同じところに以下の$\alpha,$$\beta,$$\gamma$に比例する 3 組の項をつけ加える事が出来て、 次の式を得る。
$Z_{1} \sinh(\frac{1}{2}(D_{1}+D_{4}))\{\exp(\frac{1}{2}(D_{1}-D_{4})f\cdot g)\}\cdot\{\exp(-\frac{1}{2}(D_{1}-D_{4}))+\lambda_{1}\exp(\frac{1}{2}(D_{1}-D_{4}))$$+Z_{2} \alpha\exp(\frac{1}{2}(D_{1}+2D_{2}+D_{4})-Z_{3}\gamma\exp(\frac{1}{2}(D_{1}+2D_{2}+D_{4}))\}f\cdot g$$+Z_{2} \sinh(\frac{1}{2}(D_{2}+D_{4}))\{\exp(\frac{1}{2}(D_{2}-D_{4}))f\cdot g)\}\cdot\{\exp(-\frac{1}{2}(D_{2}-D_{4}))+\lambda_{2}\exp(\frac{1}{2}(D_{2}-D_{4}))$$-Z_{1} \alpha\exp(\frac{1}{2}(2D_{1}+D_{2}+D_{4})+Z_{3}\beta\exp(\frac{1}{2}(D_{2}+2D_{3}+D_{4}))\}f\cdot g$$+Z_{3} \sinh(\frac{1}{2}(D_{3}+D_{4})\{\exp(\frac{1}{2}(D_{3}-D_{4})f\cdot g)\}\cdot\{\exp(-\frac{1}{2}(D_{3}-D_{4}))+\lambda_{3}\exp(\frac{1}{2}(D_{1}-D_{4}))$$+Z_{1} \alpha\exp(\frac{1}{2}(2D_{1}+D_{3}+D_{4})-Z_{2}\gamma\exp(\frac{1}{2}(D_{2}+2D_{3}+D_{4}))\}f\cdot g=0(14)$74$\exp(-\frac{1}{2}(D_{1}-D_{4}))+\lambda_{1}\exp$($\frac{1}{2}(D_{1}$-D4))$+Z_{2} \alpha\exp(\frac{1}{2}(D_{1}+2D_{2}+D_{4})-Z_{3}\gamma\exp(\frac{1}{2}(D_{1}+2D_{2}+D_{4}))\}f\cdot g=0$$\{\exp(-\frac{1}{2}(D_{2}-D_{4}))+\lambda_{2}\exp(\frac{1}{2}(D_{2}-D_{4}))$$-Z_{1} \alpha\exp(\frac{1}{2}(2D_{1}+D_{2}+D_{4})+Z_{3}\beta\exp(\frac{1}{2}(D_{2}+2D_{3}+D_{4}))\}f\cdot g=0$$\{\exp(-\frac{1}{2}(D_{3}-D_{4}))+\lambda_{3}\exp(\frac{1}{2}(D_{1}-D_{4}))$(15)$+Z_{1} \alpha\exp(\frac{1}{2}(2D_{1}+D_{3}+D_{4})-Z_{2}\gamma\exp(\frac{1}{2}(D_{2}+2D_{3}+D_{4}))\}\cdot f\cdot g=0$が一般的双線型方程式の Biklund 変換方程式になっている事が分かった。変数変換 (5) をすると、 これらの式は次のように書き変えることが出来る。
$fg_{qr}+Z_{1}Z_{4}\alpha\gamma f_{qr}g+Z_{2}\alpha f_{r}g_{q}-Z_{3}\gamma f_{q}g_{r}=0$$f\mathit{5}\text{。}+Z_{2}Z_{4}\alpha\beta f_{\mathrm{p}\mathrm{r}}g-Z_{1}\alpha f_{r}g_{p}+Z_{3}\beta f_{p}g_{r}=0$(16)$fg_{pq}+Z_{3}Z_{4}\gamma\beta f_{\mathrm{p}q}g+Z_{1}\gamma f_{q}g_{p}-Z_{2}\beta f_{p}g_{q}=0$

Biicklund 変換方程式の行列表示
さて、 この B\"acklund 変換方程式は $f$ が一般的双線型方程式を満たしてぃれば、$g$も一般的双線型方程式を満たしていることを保証するが、 が一般的双線型方程式を満たしてぃないと$\mathrm{f}$きには、 そのような事はいえない。 B\"acklund 変換方程式を行列とベクトルだけで表すことが出来ると、 無矛盾条件を見通し良く求めることが出来、 そのような事がいえる。実際、広田.

三輪方程式の場合には、ベクトル $=0$
行列$\cross$と表せる B 肋 klund 変換方程式があり、 無矛盾条件をこの行列の行列式 $=0$ とあらゎす事が出来る。 [2]
今の場合、 (16) 式だけでは、 この様な表示は得られない。 しかし、 $f$ と$g$のいづれかが一般的双線型方程式を満たすと仮定すると新たな補助方程式を得ることが出来る。
実際 ‘ 一般的双線型方程式(17)$Z_{1}f_{p}f_{qr}+Z_{2}f_{q}f_{\mathrm{p}r}+Z_{3}f_{r}f_{pq}+Z_{4}ff\text{、}\mathit{7}=0$に (16) 式の $f_{pr},$ $f_{qr},$ $f_{pq}$を代入すると、$f_{p}( \frac{fg_{qr}+Z_{2}\alpha f_{r}g_{q}-Z_{3}\gamma f_{q}g_{r}}{Z_{4}\alpha\gamma g})+f_{q}(\frac{fg_{pr}-Z_{1}\alpha f_{r}g_{p}+Z_{3}\beta f_{p}g_{r}}{Z_{4}\alpha\beta g})$$f_{r}( \frac{fg_{pq}+Z_{1}\gamma f_{q}g_{p}-Z_{2}\beta f_{p}g_{q}}{Z_{4}\gamma\beta g})+Z_{4}ff_{pqr}$$= \frac{f}{Z_{4}\alpha\beta\gamma}(\beta f_{p}g_{qr}+\gamma fqg_{pr}+f_{r}g_{pq}+Z_{4}^{2}f_{pqr}g)$

$=0$

(18)

75のようになって、 $f,$に対する双線型方程式がもう 1 つ得られる。

$g$同様に、 (16) 式のそれぞれを、$p$

方向、方向、$q$$r$方向に並進すると$f_{p}g_{pqr}+\lambda_{1}f_{pqr}g_{p}+Z_{2}\alpha f_{pr}g_{pq}-Z_{3}\gamma f_{pq}g_{pr}=0$$f_{q}g_{pqr}+\lambda_{2}f_{pqr}g_{q}-Z_{1}\alpha f_{qr}g_{pq}+Z_{3}\beta f_{pq}g_{qr}=0$(19)$f_{r}g_{pqr}+\lambda_{3}f_{pqr}g_{r}+Z_{1}\gamma f_{qr}g_{pr}-Z_{2}\beta f_{pr}g_{qr}=0$が得られるが、 この式の$f_{p},$ $f_{q},$ $f_{r}$を一般的双線型方程式に代入すると、 次の双線型方程式が得られる。

(20)$Z_{1}^{2}\alpha\gamma f_{qr}g_{p}+Z_{2}^{2}\alpha\beta f_{pr}g_{q}+Z_{3}^{2}\gamma\beta f_{pq}g_{r}+fg_{pqr}=0$

これら 8 個の式をまとめると、 以下の様に (すことが出来る。
0$-Z_{1}$a$\gamma f_{qr}$$-Z_{2}\alpha\beta f_{\mathrm{p}r}$$8\cross 8$$\mathrm{z}_{1}\alpha\gamma f_{qr}$$z_{2}\alpha\beta f_{\mathrm{p}r}$$z_{3\gamma\beta f_{\mathrm{p}q}}$0$\alpha fr$$-\gamma f_{q}$$-\alpha fr$0$\gamma f_{q}\mathrm{O}$$-\beta f_{\mathrm{P}}\mathrm{O}$$-\gamma f_{q}$行列) ( 或分ベクトル) $=0$ の形に式を表$\cross$$f$00$-Z_{3}\gamma\beta f_{\mathrm{p}\mathrm{q}}$

$00$

$00$

$-z_{4}\alpha\beta\gamma$$\mathrm{o}\mathrm{o}$

00O
$f$

00$\mathrm{O}$00$f$$-\gamma f_{q}\mathrm{O}$$-\alpha frf$$-Z3\beta\gamma fpq$$-Z2\alpha\beta f\mathrm{p}r$$-\beta f_{p}$$-Z_{4}\alpha\beta\gamma f_{\mathrm{p}qr}$

0$8$

fpqr

00
0

$-Z_{4}\alpha\beta\gamma f_{\mathrm{p}qr}\mathrm{O}$$\mathrm{o}\mathrm{o}$$-Z_{4}\alpha\beta\gamma f_{pqr}$$\beta f_{\mathrm{P}}$0$Z_{3}\beta\gamma f_{pq}$$\alpha fr\gamma f_{q}$$z_{1^{\alpha\gamma f_{qr}}}^{\mathrm{O}}$$-Z_{1}\alpha\gamma f_{qr}\mathrm{O}$$-Z_{2}\alpha\beta f_{\mathrm{p}r}$$z_{1\mathit{9}\mathrm{p}}^{Z_{4}g}$$z_{2\mathit{9}q}$$z_{3\mathit{9}r}$

9$=\mathrm{O}$$\mathrm{p}qr$$g_{qr}$$g_{\mathrm{p}r}$$\mathit{9}\mathrm{p}q$

これらの方程式が 0 でない解を持つためには、 この行列の行列式が 0 でなければならない。
実際に計算してみると、$(Z_{1}f_{p}f_{qr}+Z_{2}f_{q}f_{pr}+Z_{3}f_{r}f_{pq}+Z_{4}ff_{pqr})^{4}=0$(21)となって、 一般的双線型方程式の 4 乗を与える事が分かる。 このようにして、 一般的双線型方

程式の場合にも、行列$\cross$

ベクトル $=0$ と表せるような、 “Symmetric B\"acklund 変換方程式”がある事が分かった。

3結論

広田・三輪方程式に一つ項をくわえた、 一般的な双線型方程式の B\"acklund 変換方程式を調べた。特に、 一般的双線型方程式と B\"acklund 変換方程式を組にして考えると、新たに補助的な双線型式が得られることを示した。 これらの補助的な式ともとの B\"acklund 変換方程式を合わせて、 行列とベクトルの積の形に表せる B\"acklund 変換方程式を得た。

参考文献[1] Hirota$\mathrm{R}$1981 J. Phys. Soc.

$\mathrm{J}\mathrm{p}\mathrm{n}$. $50$ 3787

[2] N. Shinzawa and S. Saito 1998 J. Phys. A314533-4540