Lax形式という概念。
観測作用素L、時間発展作用素B、がありどの波にも使えるとする。
固有値λが時間保存する時どんな式が成り立つか。
以前のようにtによる微分を右下にtを書くだけで表す。
L φ = λ φ
B φ = φt
λt = 0

Lt φ = λ φt - L φt = λ (B φ) - L (B φ) = B L φ - L (B φ)
最右でλはスカラーなのだからBの内側に入りφとの関係でLに変われる。
φは任意なので Lt = B L - L B という式が状況を特徴付けている。
　
　
KdV方程式 ut + 6u ux + uxxx = 0。
後で解釈や工夫してくれればいいからここではuとφを使う。
L φ = φxx + u φ
B φ = 4 φxxx + 6 u φx + 3 ux φ

B (L φ) = 4 (φxx + u φ)xxx + 6 u (φxx + u φ)x + 3 ux (φxx + u φ)
L (B φ) = (4 φxxx + 6 u φx + 3 ux φ)xx + u (4 φxxx + 6 u φx + 3 ux φ)
引き算なので見え透いている所は始めから落として
上-下 = {4 (u φ)xxx + 6 u (φxx + u φ)x + 3 ux φxx} - {(6 u φx + 3 ux φ)xx + u (4 φxxx + 6 u φx)}

= {4 uxxx φ + 12 uxx φx + 12 ux φxx + 4 u φxxx + 6 u φxxx + 6 u ux φ + 6 u^2 φx + 3 ux φxx}
- {6 uxx φx + 12 ux φxx + 6 u φxxx + 3 uxxx φ + 6 uxx φx + 3 ux φxx + 4 u φxxx + 6 u^2 φx}

= uxxx φ + 6 u ux φ
最後の等号では消えて行って整理されることの確認を。
φの意味はここでは作用素が掛かっていく任意関数のはずだった。
全部φを外してしまい B L - L B = uxxx + 6 u ux。
戻りL = ∂x^2 + u。微分作用素は時不変。Lt = ut。よって上記に定義したLとBでLax形式はKdV方程式。
LとBの中を符号変えたりはあるが463はどの文献も同じでKdV系の時間。