数学、特に力学系において、初期条件とは初期値(多くの場合時刻t)のことである。微分方程式、差分方程式、またはその他の「時間」に依存する方程式で、時間とともに変化するものの初期値。最も基本的なケースである、k階(方程式の導関数の数)の常微分方程式では、一般的に、方程式の時間的変化を追跡するためにk 個の初期条件が必要です。他の文脈では、この用語は、漸化式、離散力学系、双曲型偏微分方程式、または擬似乱数発生器のシード値など、「時間ゼロ」における初期値を指す場合があり、システム全体が「時間」(離散的または連続的)で変化するのに十分な値です。初期条件からシステムの進化を決定する問題は、初期値問題と呼ばれます。
同次(定数項を持たない)形式の線形行列差分方程式閉形式解を持つベクトルに基づくベクトルに組み込まれる個々の変数に対する初期条件。これは初期条件ベクトル、または単に初期条件と呼ばれ、nk個の情報を含んでいます。ここで、nはベクトルXの次元、k = 1はシステムにおける時間遅延の数です。この線形システムにおける初期条件は、状態変数Xの将来の挙動の質的な性質には影響を与えません。その挙動は、行列Aの固有値に基づいて安定または不安定になりますが、初期条件に基づいては安定または不安定になりません。
あるいは、複数の時間遅延を持つ単一変数xの動的プロセスは
ここでは次元はn = 1、次数はkなので、反復法または閉形式解法のいずれを用いても、システムを時間的に追跡するために必要な初期条件の数はnk = kです。ここでも、初期条件は変数の長期的な変化の定性的な性質には影響を与えません。この方程式の解は、その特性方程式を用いて求められます。 後者のk個の解、すなわち特性値を得る解方程式で使用する
定数はこの方程式に基づいてk個の異なる方程式の連立方程式を解くことで求められ、各方程式は特定の初期条件を満たすk個の異なるtの値のうちの1つを使用する。既知である。
n個の変数をベクトルXに積み重ねた1階微分方程式系は次のようになる。
初期条件ベクトルを条件とした閉形式解を用いて、その時間経過に伴う挙動を追跡することができる。必要な初期情報の数は、システムの次元nとシステムの次数k = 1 の積、つまりnです。初期条件は、システムの定性的な挙動(安定または不安定)には影響しません。
単一変数xに関するk次線形方程式は
ここで、閉形式解を得るために必要な初期条件の数は、次元n = 1 に次数kを掛けたもの、つまり単にkです。この場合、k個の初期情報は、通常、異なる時点における変数xの異なる値ではなく、時間ゼロなどのある時点におけるxとその最初のk – 1 個の導関数の値になります。初期条件は、システムの挙動の定性的な性質には影響しません。この動的方程式の特性方程式は次のとおりです。その解は特性値であるこれらは解の方程式で使用されます
この方程式とその最初のk – 1 階微分は、 k 個のパラメータについて解くことができるk個の方程式のシステムを形成します。ある時刻tにおけるxとそのk – 1 階微分値の既知の初期条件が与えられている。
非線形システムは、線形システムよりもはるかに多様な挙動を示すことができます。特に、初期条件によって、システムが無限大に発散するか、システムのいずれかの吸引点に収束するかが決まります。各吸引点とは、(場合によっては互いに分離している)値の領域であり、いくつかの動的経路が近づくものの決して離れることはありません。吸引点には(場合によっては互いに分離している)吸引領域があり、その吸引領域(他の領域にはない)にある初期条件を持つ状態変数は、その吸引点に向かって進化します。たとえ近い初期条件であっても、異なる吸引点の吸引領域にある可能性があります(例えば、ニュートン法#吸引領域を参照)。
さらに、カオス的挙動を示す非線形システムでは、変数の時間発展は初期条件に敏感に依存します。同じストレンジアトラクター上の非常に近い2点の反復値は、それぞれがアトラクター上に留まっている間は、時間とともに互いに乖離していきます。したがって、単一のアトラクター上であっても、初期条件の正確な値は、反復後の将来の位置に大きな影響を与えます。この特性により、将来の値を正確にシミュレーションすることは困難であり、長期にわたるシミュレーションは不可能になります。なぜなら、初期条件を正確な精度で指定することはほとんど不可能であり、正確な初期条件からわずか数回の反復を行っただけでも丸め誤差は避けられないからです。
あらゆる経験法則には、その限界が分からないという不安な性質がある。我々の周りの世界の出来事には、驚くほど正確に数学的概念で定式化できる規則性があることがわかった。一方で、正確な規則性の存在を信じていない世界の側面もある。我々はこれらを初期条件と呼ぶ。[ 1 ]