ラックス・ペア

ラックス・ペア （）は、数学の可積分系の理論における用語であり、ある微分方程式 (時刻発展型偏微分方程式) がラックス方程式を用いて書き換え可能な場合に、その中で使われる時刻に依存する作用素の対を指す。このような場合、元の微分方程式は、そのラックス・ペアを持つと表現される。これらはアメリカ合衆国の数学者であるピーター・ラックスによって連続媒体中の解を論ずるために導入された。時刻発展型偏微分方程式をラックス方程式で書き換えることにより、を用いて微分方程式の解を求めることができるようになる。この方法により、従来の方法では解くことができなかった多数の非線形時刻発展型偏微分方程式の厳密解が得られており、それらは、ほとんどの場合ソリトン解を持つことが知られている。

定義
1組のラックス・ペア L(t) 、A(t) は、あるヒルベルト空間 に作用する、時刻 t に依存する作用素で、次のラックス方程式を満たすものである。

ここで  は 交換子である。

ラックス方程式を微分方程式の解法に用いる場合、 は通常は関数空間である。以後その空間方向の独立変数を x で表すことにする。 x は1次元の場合も、もっと多次元の場合も有り得る。 を時刻t の定義域とする場合、 から  への写像を考えて、それを  などと表すことにする。個々のt ごとに は の元であり、変数x の関数でもある。このため  をt、x の関数と考えて  と表すことも有り得ることにする。

L(t) 、A(t) も、実際には x の関数でもあるので、同様に L(t,x) 、A(t,x) と表すことも、あるいは t も x も省略して L 、A と表すことも有り得ることにする。ラックス方程式の左辺で偏微分記号を用いているのは、時刻による微分であることをはっきりさせるためである。

また、 L と A は決定すべき未知関数 u(t,x) を内部に含み、u がある微分方程式を満たすことが、ラックス方程式が成立する条件となる。この場合、u についてのその微分方程式がラックス方程式で書き換えられたと呼ぶのである。

左辺の時刻微分について注意しておく。これは作用素の時刻微分であり、次のように定義される。

u が x のみの関数であれば、時刻と共に変動しないので、当然その時刻微分は 0 である。これと同様に、 あるいは  は時刻と共に変動しない作用素であり、その時刻微分は 0 である。

L(t) 、A(t) は、 のスカラー体の上の任意の時刻関数 (これを とする) と交換する。つまり、

である。これは L(t) 、A(t) が時刻微分作用素  をその内部に含んでいないことを意味する (これが、L(t) 、A(t) は  に作用するという表現の暗黙的な意味である。  は  への作用素ではなく、  への作用素である)。 

ラックス方程式の形式は不変のままで L 、A の形式を変えることにより、未知関数 u が満たすべき微分方程式を様々な形式に変化させることができる。下記の例のように、ラックス方程式から導かれる微分方程式は大抵の場合、非線形偏微分方程式となる。

例
次の微分方程式をKdV方程式 (Korteweg–de Vries equation) と呼ぶ。この方程式は、その数値解析において初めてソリトン解が発見されたことで有名である。KdV方程式を例に、時刻発展型偏微分方程式がラックス方程式で書き換え可能であるとはどういう意味かをもう少し具体的に説明する。

ここで、解 u は 時刻 t および空間方向について1次元の独立変数x の関数である (つまり )。

実は、ラックス・ペアを次のように取ると、ラックス方程式からKdV方程式が導かれる。

ここで、作用素  および  はそれぞれ、、 を表すものとする。

この場合のL は スツルム＝リウヴィル型作用素と呼ばれる形式になっているが、これは量子力学におけるシュレーディンガー方程式のハミルトニアンと同じ形をしていることを注意しておく (実はこの類似性から、量子力学で用いられていた逆散乱法の応用による解法が可能となったのである)。

また、記号上の注意であるが、上の式では、L、A を構成する各作用素は、「作用対象に右側のものから順に作用する」という規則に従う。例えば、上の式の中にある u は、作用対象である の任意の元を  とすると、作用の結果  を生成する作用素である。ここまでは当然のように思えるが、 という作用素を考えると、直観とはやや異なった結果になる。この規則の下に を  に実際に作用させてみると、結果は次のようになる。

 を用いずに作用素間のみの関係として見れば、

である。以降、上式で用いたように、u の x または t についての偏微分(偏導関数)を表すには、u に  などのように偏微分した変数を添えることにする。

上式の表現によれば 、 については次のようになる。

以上の関係を交換子を用いて表すと次のようになる。

以上で準備ができたので、実際にラックス方程式  からKdV方程式を導いてみる。ラックス方程式 の左辺が  となることはすぐ分かる。 [A,L] の計算は以下の通りである。

従って、

となって、確かに KdV 方程式と一致する。上のラックス方程式においては 、  を最も右側に持つ項はお互いに打ち消しあって最終的には式に現れない。このような場合 L と A は準可換 (semicommutative) であると呼ぶ。

等スペクトル性
、 をそれぞれ時刻 t における L(t) の1つの固有値、およびその固有値を持つ固有ベクトルの1つとすれば  である。少々天下り的ではあるが、この  が時刻と共に変動しない条件を考えてみる。まずこの式の両辺を時刻 t で偏微分すれば、



である。 をラックス方程式を用いて書き換え、さらに  とすれば、



λ(t) と A(t) が交換可能なことを利用して、さらに整理すれば、



従って、

であれば、 は時刻と共に変動しないことが分かる (ただしこれは十分条件であって必要条件ではないことを注意しておく)。 このような場合、行列 (または作用素) である L(t) は t の変動に関してであると表現される。

一方、ラックス方程式は、実は量子力学におけるハイゼンベルクの運動方程式の特別な場合(観測可能量を表す作用素が時刻t を陽に含まない場合) と全く同じ形式をしている。ハイゼンベルク方程式においては、 系のハミルトニアンを H(t) とすると、A(t) に相当するのは、 である。また位置や運動量についてのハイゼンベルク形式の観測可能量(オブザーバブル)が L(t) に相当する。ハイゼンベルク方程式との類推から、ラックス方程式の解は、

と表される。ここで t、 は任意の時刻を表し、 は次の方程式の解であり、時間推進作用素(time evolution operator)と呼ばれる。

I は単位行列を表す。このような は常に存在することが証明でき、特に任意の時刻 、 で、 と  が可換であれば、

である。また  を任意の時刻として、

という関係が常に成り立つ。従って、

である。なお、もし A(t) が歪エルミートであれば、 はユニタリとなることを注意しておく。

さて、  を用いれば、 は、

と表現される。実際これに L(t) を作用させれば、

となって、確かに L(t) の固有値  は時刻と共に変動しないことが分かる。

以上をまとめると、あるラックス・ペアにおいて、時刻  で  、 についての初期条件が与えられ、その時刻における固有値問題  の解が得られれば、任意の時刻 t における固有値問題  の解は、次の式で与えられるということである。

 (固有値またはスペクトルは不変)

 逆散乱法とのリンク 
上記の性質は逆散乱法のための基礎となる。この方法においては、時刻  で  は初期条件として与えられており、  は  で  を満たすものと仮定する (以降、 が十分小さい x についての領域を散乱領域と呼ぶことにする)。

この方法は、次のような概略にて進められる：
  のスペクトルを計算し、  と  を得る。
 散乱領域においては は既知と見なせるので、初期条件  の下で、  を  を用いて時間発展させる。
 散乱領域における  が分かったので、これから  を逆散乱法で計算する。

ラックス・ペアを持つ方程式
KdV方程式以外にラックス方程式を用いて書き換え可能な方程式には次のようなものがある。これらはほとんどソリトン解を持っている。


 1次元、3次の 非線形シュレディンガー方程式

 KP方程式
接ラックス・ペア可積分系 (Integrable systems with contact Lax pairsA. Sergyeyev (2018). New integrable (3+1)-dimensional systems and contact geometry, Lett. Math. Phys. 108, no. 2, 359-376,  )

 変形KdV方程式



 脚注 

 参考文献 

 P. Lax and R.S. Phillips, Scattering Theory for Automorphic Functions, (1976) Princeton University Press.
 特集 「ソリトン 非線型波動の不思議」『数理科学』5月号、サイエンス社、1980年

 関連項目 
ソリトン
可積分アルゴリズム

Category:微分方程式
Category:物理数学
Category:量子力学
Category:可積分系
Category:数学に関する記事
Category:数学のエポニム