一階方程式とは? わかりやすく解説

一階方程式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/08/24 19:26 UTC 版)

行列差分方程式」の記事における「一階方程式」の解説

特に非斉次の一階方程式を考え、その定常状態について確認しよう。すなわち、定ベクトル b を持つ方程式 x t = A x t − 1 + b {\displaystyle x_{t}=Ax_{t-1}+b} に関して、それが定める系の定常状態 x* とは、それ以降新たな値を導くことがない状態に到達したベクトル x の値を言う。定義により x* は当該方程式において x t = x t − 1 = x ∗ {\textstyle x_{t}=x_{t-1}=x^{*}} と置いたものを満足するものでなくてはならず、それを x* に関して解いて x ∗ = ( I − A ) − 1 b {\textstyle x^{*}=(I-A)^{-1}b} を得るが、ここで I − A は可逆であるものと仮定している(ただし、I は n-次単位行列)。 定常状態存在するとき、上記の非斉次方程式は、 [ x t − x ∗ ] = A [ x t − 1 − x ∗ ] {\displaystyle [x_{t}-x^{*}]=A[x_{t-1}-x^{*}]} なる形の斉次方程式書き直すことができる。この斉次方程式安定である—すなわち、xt定常状態 x* に漸近収束する—ための必要十分条件は、(実または複素変換行列 A の固有値が 1 より小さ絶対値を持つことである。 方程式を斉次形で y t = A y t − 1 {\textstyle y_{t}=Ay_{t-1}} と書くことにすれば、よく知られ仕方により、初期条件すなわち y の初期値 y0 から反復適用置換から直ちy 1 = A y 0 , y 2 = A y 1 = A A y 0 = A 2 y 0 , y 3 = A y 2 = A A 2 y 0 = A 3 y 0 {\displaystyle {\begin{aligned}y_{1}&=Ay_{0},\\y_{2}&=Ay_{1}=AAy_{0}=A^{2}y_{0},\\y_{3}&=Ay_{2}=AA^{2}y_{0}=A^{3}y_{0}\end{aligned}}} のように各項の値は順次求まり、そして t に関する数学的帰納法によって一般に y t = A t y 0 {\textstyle y_{t}=A^{t}y_{0}} が成立することが証明される。さらに A が対角化可能ならば、A はその固有値と固有ベクトル用いて書けるから、その解は y t = P D t P − 1 y 0 {\displaystyle y_{t}=PD^{t}P^{-1}y_{0}} の形に与えられる。ここに P はその列ベクトルが A の固有ベクトル全体からなる n-次正方行列固有値全て異なると仮定した場合には必ず可逆)であり、D は A の固有値主対角線上に並ぶ対角行列である。 この解の様子上記安定性について得ることを動機づける。すなわち At が十分な時間経過後に零行列となるための必要十分条件は A の任意の固有値絶対値に関して 1 より小さいことである。

※この「一階方程式」の解説は、「行列差分方程式」の解説の一部です。
「一階方程式」を含む「行列差分方程式」の記事については、「行列差分方程式」の概要を参照ください。

ウィキペディア小見出し辞書の「一階方程式」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「一階方程式」の関連用語

一階方程式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



一階方程式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの行列差分方程式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS