markdown
線型連立系と行列指数関数――標準演習md 1f868a4
exercise/math/differential-equations/linear-systems-and-matrix-exponentials.exercise.n.md

線型連立系せんけいれんりつけい行列指数関数ぎょうれつしすうかんすう――標準演習ひょうじゅんえんしゅう

date2026-07-16document_iddoc_2cdc4ad4fe7dad21bb2857a4065d4038description行列指数の時間発展、非対角行列の対角化、回転、一般高階方程式の一階化、非同次系の定数変化公式を確認する演習。prerequisites一階連立系と行列指数関数type問題演習content_typeexercisestatusactiverelateddata/lecture/math/differential-equations/first-order-systems-and-matrix-exponentials.lecture.n.md / data/lecture/math/differential-equations/diagonalization-jordan-form-and-systems.lecture.n.md
mathdifferential-equationsexerciselinear-systemsmatrix-exponential

1問題もんだい 1:時間発展じかんはってん合成ごうせい

E(t)=eAtE(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)=eAt 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.
raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
copy encoded share link
path をコピー
copy share link
copy encoded share link
copy share link
copy encoded share link
タブを全て閉じる