ラックス・ペア
ラックス・ペア ()は、数学の可積分系の理論における用語であり、ある微分方程式 (時刻発展型偏微分方程式) がラックス方程式を用いて書き換え可能な場合に、その中で使われる時刻に依存する作用素の対を指す。このような場合、元の微分方程式は、そのラックス・ペアを持つと表現される。これらはアメリカ合衆国の数学者であるピーター・ラックスによって連続媒体中の解を論ずるために導入された。時刻発展型偏微分方程式をラックス方程式で書き換えることにより、を用いて微分方程式の解を求めることができるようになる。この方法により、従来の方法では解くことができなかった多数の非線形時刻発展型偏微分方程式の厳密解が得られており、それらは、ほとんどの場合ソリトン解を持つことが知られている。
1組のラックス・ペア "L(t)" 、"A(t)" は、あるヒルベルト空間 formula_1に作用する、時刻 "t" に依存する作用素で、次のラックス方程式を満たすものである。
ここで formula_3 は 交換子である。
ラックス方程式を微分方程式の解法に用いる場合、formula_1 は通常は関数空間である。以後その空間方向の独立変数を "x" で表すことにする。 "x" は1次元の場合も、もっと多次元の場合も有り得る。formula_5 を時刻"t" の定義域とする場合、formula_5 から formula_1 への写像を考えて、それを formula_8 などと表すことにする。個々の"t" ごとにformula_8 はformula_1 の元であり、変数"x" の関数でもある。このため formula_11 を"t"、"x" の関数と考えて formula_12 と表すことも有り得ることにする。
"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 である。これと同様に、formula_14 あるいは formula_15 は時刻と共に変動しない作用素であり、その時刻微分は 0 である。
"L(t)" 、"A(t)" は、formula_1 のスカラー体の上の任意の時刻関数 (これをformula_17 とする) と交換する。つまり、
である。これは "L(t)" 、"A(t)" が時刻微分作用素 formula_19 をその内部に含んでいないことを意味する (これが、"L(t)" 、"A(t)" は formula_1 に作用するという表現の暗黙的な意味である。 formula_19 は formula_1 への作用素ではなく、 formula_23 への作用素である)。
ラックス方程式の形式は不変のままで "L" 、"A" の形式を変えることにより、未知関数 "u" が満たすべき微分方程式を様々な形式に変化させることができる。下記の例のように、ラックス方程式から導かれる微分方程式は大抵の場合、非線形偏微分方程式となる。
次の微分方程式をKdV方程式(Korteweg–de Vries equation)と呼ぶ。この方程式は、その数値解析において初めてソリトン解が発見されたことで有名である。KdV方程式を例に、時刻発展型偏微分方程式がラックス方程式で書き換え可能であるとはどういう意味かをもう少し具体的に説明する。
ここで、解 "u" は 時刻 "t" および空間方向について1次元の独立変数"x" の関数である (つまりformula_25 )。
実は、ラックス・ペアを次のように取ると、ラックス方程式からKdV方程式が導かれる。
ここで、作用素 formula_28 および formula_29 はそれぞれ、formula_19、formula_14 を表すものとする。
この場合の"L" は スツルム＝リウヴィル型作用素と呼ばれる形式になっているが、これは量子力学におけるシュレーディンガー方程式のハミルトニアンと同じ形をしていることを注意しておく (実はこの類似性から、量子力学で用いられていた逆散乱法の応用による解法が可能となったのである)。
また、記号上の注意であるが、上の式では、"L"、"A" を構成する各作用素は、「作用対象に右側のものから順に作用する」という規則に従う。例えば、上の式の中にある "u" は、作用対象であるformula_1 の任意の元を formula_11 とすると、作用の結果 formula_34 を生成する作用素である。ここまでは当然のように思えるが、formula_35 という作用素を考えると、直観とはやや異なった結果になる。この規則の下にformula_35 を formula_11 に実際に作用させてみると、結果は次のようになる。
formula_11 を用いずに作用素間のみの関係として見れば、
である。以降、上式で用いたように、"u" の "x" または "t" についての偏微分(偏導関数)を表すには、"u" に formula_41 などのように偏微分した変数を添えることにする。
上式の表現によれば formula_42、formula_43 については次のようになる。
以上の関係を交換子を用いて表すと次のようになる。
以上で準備ができたので、実際にラックス方程式 formula_49 からKdV方程式を導いてみる。ラックス方程式 の左辺が formula_50 となることはすぐ分かる。" [A,L]" の計算は以下の通りである。
従って、
となって、確かに KdV 方程式と一致する。上のラックス方程式においては formula_29、 formula_28 を最も右側に持つ項はお互いに打ち消しあって最終的には式に現れない。このような場合 "L" と "A" は準可換 (semicommutative) であると呼ぶ。
formula_17、formula_8 をそれぞれ時刻 "t" における "L(t)" の1つの固有値、およびその固有値を持つ固有ベクトルの1つとすれば formula_61 である。少々天下り的ではあるが、この formula_17 が時刻と共に変動しない条件を考えてみる。まずこの式の両辺を時刻 "t" で偏微分すれば、
である。formula_64 をラックス方程式を用いて書き換え、さらに formula_65 とすれば、
"λ(t)" と "A(t)" が交換可能なことを利用して、さらに整理すれば、
従って、
であれば、formula_17 は時刻と共に変動しないことが分かる (ただしこれは十分条件であって必要条件ではないことを注意しておく)。 このような場合、行列 (または作用素) である "L(t)" は "t" の変動に関してであると表現される。
一方、ラックス方程式は、実は量子力学におけるハイゼンベルクの運動方程式の特別な場合(観測可能量を表す作用素が時刻"t" を陽に含まない場合) と全く同じ形式をしている。ハイゼンベルク方程式においては、 系のハミルトニアンを "H(t)" とすると、"A(t)" に相当するのは、formula_70 である。また位置や運動量についてのハイゼンベルク形式の観測可能量(オブザーバブル)が "L(t)" に相当する。ハイゼンベルク方程式との類推から、ラックス方程式の解は、
と表される。ここで "t"、formula_72 は任意の時刻を表し、formula_73 は次の方程式の解であり、時間推進作用素(time evolution operator)と呼ばれる。
"I" は単位行列を表す。このようなformula_73 は常に存在することが証明でき、特に任意の時刻 formula_76、formula_77 で、formula_78 と formula_79 が可換であれば、
である。また formula_76 を任意の時刻として、
という関係が常に成り立つ。従って、
である。なお、もし "A(t)" が歪エルミートであれば、formula_73 はユニタリとなることを注意しておく。
さて、 formula_73 を用いれば、formula_8 は、
と表現される。実際これに "L(t)" を作用させれば、
となって、確かに "L(t)" の固有値 formula_91 は時刻と共に変動しないことが分かる。
以上をまとめると、あるラックス・ペアにおいて、時刻 formula_72 で formula_93 、formula_94 についての初期条件が与えられ、その時刻における固有値問題 formula_95 の解が得られれば、任意の時刻 "t" における固有値問題 formula_61 の解は、次の式で与えられるということである。
上記の性質は逆散乱法のための基礎となる。この方法においては、時刻 formula_72 で formula_100 は初期条件として与えられており、 formula_101 は formula_102 で formula_103 を満たすものと仮定する (以降、formula_104 が十分小さい "x" についての領域を散乱領域と呼ぶことにする)。
この方法は、次のような概略にて進められる：
KdV方程式以外にラックス方程式を用いて書き換え可能な方程式には次のようなものがある。これらはほとんどソリトン解を持っている。