スレイター行列式
上記の formula_13 に時間依存性を持たせることで、スレイター行列式 formula_7 が時間依存性を得る。これを用いて変分方程式を書き換えると、