「可積分理論入門」というタイトルではありますが,自分で勉強しつつ,勉強したことをまとめておこうというのが,この記事のモチベーションです.それでは,始まり始まり.
可積分系とは何か
おそらく,可積分は定義がはっきりとは決まっていないと思います.古典的にはLiouville可積分という概念があり,これにははっきりとした定義があります.Liouville可積分とは簡単に言えば,十分な個数の保存量があることです.可積分と呼ばれるものには,Liouville可積分のように多くの保存量を持つものもありますが,そのことが可積分とみなされる十分条件ではなさそうですし,ハミルトン系でないものや微分方程式でないものもあるので,厳密に定義するのは原理的に難しそうです.
私は可積分系の専門化ではないですが,そのぶん気楽に語ることができるので,このブログでは以下のものを可積分系と捉えることにします.
「(一般には解けない問題のクラスの中で,)解の何らかの構造が記述できるもの」
この定義は一般に考えられている可積分系より少し広い定義になっていると思います.面白いのは,異なる可積分系同士で,構造を記述する方法が同じであることが頻繁にあるということです.方法のレベルで全然違う分野,例えば,微分方程式と整数論などが関係したりするのです.
「可積分系の構造を記述する方法」
の研究を「可積分理論」と呼ぶことにしましょう.
本ブログのこの連載では,構造を記述する様々な方法を少しずつ学びながら,具体的な可積分系が理解できることを目指します.微積分や線形代数を前提知識としますが,分からなくても雰囲気は伝わるように書いていこうと思います.
残りでは,可積分系の一つの例としてKdVを扱います.線形微分方程式は一般に解ける方程式なので,本記事の可積分の定義を満たしません.一方,非線形の方程式はほとんどの場合,解の構造が複雑すぎるので,やはり可積分ではありません.KdV方程式は非線形の方程式であるものの,解を得る面白い方法があります.
KdV方程式
可積分な方程式の例としてKdV方程式を考えましょう.KdV方程式は
という式です.ここで,で のによる偏微分,で による偏微分を表します.
この方程式は偏微分方程式なので,一般には解を求めることは難しいはずです.しかし,あるアルゴリズムによりソリトン解と呼ばれる解
を得ることができます.ここで は任意の実数です.
以下では,このアルゴリズムについて少し詳しく説明します.少しだけややこしいので,それほど気にならない方は,KdV方程式が可積分なものの例であるということだけ覚えてもらって,まとめまで飛んでください.
Darboux変換
KdV方程式を解くときに用いられるDarboux変換をまず説明します.Darbouxは"ダルブー"と読みます.
シュレディンガー方程式*1と呼ばれる以下の方程式を考えます.
ここで,は の関数でポテンシャルと呼ばれます.は実数でスペクトルと呼ばれます.つまり,関数 と実数 が与えられたときの に対する方程式が(S)です.
ここで,とに対して,解 が求まったとしましょう.つまり,
が成り立っているとします.このとき,以下の変換をDarboux変換と言います.
が(S)を満たすとき,は
を満たし,やはりシュレディンガー方程式を満たします.(証明は最後にある付録を参照せよ.)つまり,ポテンシャル ,エネルギー に対するシュレディンガー方程式の解 は,別のポテンシャル で同じエネルギーに対する方程式の解 に変換することができます.
KdV方程式とLax pair
シュレディンガー方程式は に関する常微分方程式でしたが,微分に関する方程式も加えた以下の連立偏微分方程式を考えます.
この形でもいいのですが,(L2)にはに関する3回微分が含まれているので,(L1)を用いて簡単にした
を考えてもいいです.( 式番号を(L2)以外に付け替えるべきですが,区別しなくても特に困らないので(L2)をどちらと捉えてもいいです.)
(L1)と(L2)の連立方程式を(L)で表すことにします.連立方程式が解を持つためには,両立条件と呼ばれる条件を満たす必要があります.方程式(L)の場合は
が条件です.この条件を計算すると,なんと,
と同値になります.(証明は最後にある付録を参照せよ.)つまり,(L)の両立条件はKdV方程式になるのです.
(L)は とに対して定まる の方程式で,解を持つのは がKdV方程式を満たすことと同値.
(L)をKdV方程式のLax pairという.
さて,(L)に関してもDarboux変換を考えましょう.つまり,と に対して が(L)を満たしているとします.
この を用いて定義されるDarboux変換を
とします.(上で導入したのと同じですが,が だけでなく の関数となっていることに注意.)すると,当然は(L1)
を満たしますが,さらに,(L2)
も満たすことが計算により分かります.(これは少し大変なのでまだ確かめてません.)つまり,(L)にDarboux変換することで異なるに関する方程式(L)が得られます.
以上を使うと非常に不思議なことが出来ます.
(L)を満たす があったとします.(このとき,はKdV方程式の解になります.)これをDarboux変換すると,(L)を満たす が得られます.(L)が解 を持つということは両立条件を満たすということなので,はKdV方程式の解になります.この に再びDarboux変換をすると新しい(L)が得られますが,これからさらに新たなKdV方程式の解が得られます.これを繰り返すことで,KdV方程式の解をいくらでも生成することが出来ます.
応用例
さて,元の問題に戻って,KdV方程式の解を求めてみましょう.まずKdV方程式は
でした.これは自明な解 を持ちます.すると,この と適当な実数 で定まる式(L)
は両立条件を満たすので,解を持ちます.便宜上 は負の実数とし,を満たす をとる.すると,
が解になっています.特に,としたものを解 としてとります.
をとります.この を用いて をDarboux変換すると
となります.これは両立条件つまりKdVを満たします.このようにKdV方程式の解が得られました.この解をソリトン解と言います.さらにDarboux変換を繰り返すとたくさんのKdV方程式を得ることが出来ます.
以下はソリトン解の 秒での動きをプロットした図です.緑,赤,青の順に としています.が大きいほど,波は大きく速度が速いことが分かります.
まとめ
今回は可積分系の例としてKdV方程式を取り上げました.KdV方程式は非線形な方程式にも関わらず,解を次々に生み出すアルゴリズムがありました.この仕組みはAKNS系と呼ばれる方程式が持つ特徴です.今後,AKNS系を取り上げることもあると思います.KdV方程式は他にも面白い構造が知られています.
この連載では,構造を記述する方法を説明していきます.数の分割,qアナローグ,Lie代数,対称性と作用素などを扱う予定です.
最後に,本稿を書く上で,
Gu et al., "Darboux Transformations in Integrable Systems Theory and their Applications to Geometry"
を参考にしました.AKNS系に興味を持った方はこの本を参考にしてください.AKNS系の微分ガロア群がDarboux変換でどのように変わるかを調べた最近の論文
Morales-ruiz et al, "Differential Galois theory and Darboux transformations for integrable systems"
も参考になるかもしれません.
続き
tetobourbaki.hatenablog.com
付録
が
を満たすとき,
で定まる は
を満たす.
を示す.一つずつ項を計算します.
なので,
ここで,
となるので,
が分かった.
式(L)
の両立条件は
である.
まず,を計算する.
次に,を計算する.
となる.
よって,
この式が任意ので になることは
と同値である.
*1:シュレディンガー方程式と呼ばれる式はいくつかあります.これは次元線形シュレディンガー方程式とも呼ばれます.