markdown
線型連立系と行列指数関数――標準演習md 1f868a4
exercise/math/differential-equations/linear-systems-and-matrix-exponentials.exercise.n.md
線型連立系と行列指数関数――標準演習
mathdifferential-equationsexerciselinear-systemsmatrix-exponential
1問題 1:時間発展の合成
E(t)=e^{At} が E(t+s)=E(t)E(s) を満たすことを、初期値問題の一意性から証明せよ。また、E(t) が可逆であることを証明せよ。
1.1解答例
○
t の関数 E(t+s) と E(t)E(s) は、いずれも X'=AX を満たし、t=0 において E(s) に一致する。初期値問題の一意性により、
E(t+s)=E(t)E(s)
が成立する。s=-t とすれば
E(t)E(-t)=E(0)=I
である。したがって、E(t) は可逆であり、
E(t)^{-1}=E(-t)=e^{-At}
である。
Linear Systems and Matrix Exponentials — Standard Exercises
1Problem 1: Composition of Time Evolution
Use uniqueness for initial-value problems to prove that E(t)=e^{At} satisfies E(t+s)=E(t)E(s). Also prove that E(t) is invertible.
1.1Sample Answer
○
As functions of t, both E(t+s) and E(t)E(s) satisfy X'=AX and have the same value E(s) at t=0. Uniqueness for the initial-value problem therefore gives
E(t+s)=E(t)E(s).
Setting s=-t yields
E(t)E(-t)=E(0)=I.
Consequently, E(t) is invertible and
E(t)^{-1}=E(-t)=e^{-At}.