数学において,積分曲線(せきぶんきょくせん,)は常微分方程式あるいは方程式系の特定の解を表すパラメトリック曲線である.微分方程式がベクトル場あるいは として表されているとき,対応する積分曲線は各点で場に接する.

積分曲線は,微分方程式やベクトル場の性質や解釈に応じて,様々な他の名前で呼ばれる.物理学では,電場や磁場に対する積分曲線は と呼ばれ,流体のに対する積分曲線は流線と呼ばれる.では,系を記述する微分方程式の積分曲線は軌道と呼ばれる.

定義 をベクトル場とする,つまり,デカルト座標のベクトル値関数 とする. をデカルト座標 のパラメトリック曲線とする.このとき が の積分曲線 (integral curve) であるとは,それが次の常微分方程式の自励系の解であることをいう:

そのような系は1つのベクトルの方程式として書ける:

この方程式は曲線に沿った任意の点 において曲線に接するベクトルはちょうどベクトル であり,したがって曲線 はベクトル場 に各点で接するということを言っている.

与えられたベクトル場がリプシッツ連続ならば,により,小さい時間に対して一意的なフローが存在する.

可微分多様体への一般化 定義

を 級, のとする.通常通り, で の接束を表す.自然な射影を は

で与えられる. 上のベクトル場は接束 の切断,すなわち,多様体 の各点にその点での の接ベクトルを割り当てる写像である. を 級の 上のベクトル場とし, とする.時間 で を通る の積分曲線とは,次のような 級曲線 である: を含む実数直線 の開区間 上で定義されていて,

を満たす.

常微分方程式との関係 時間 で を通るベクトル場 の積分曲線 の上記の定義は, が次の常微分方程式の初期値問題の局所的な解であるということと同じである:

それは 内の時間に対してのみ定義されていて,すべての (もちろん も)に対して定義されている必要はないという意味で局所的である.したがって,積分曲線の存在と一意性を証明する問題は常微分方程式・初期値問題の解を見つけそれが一意であることを示す問題と同じである.

時間微分についての注意 上で は時刻 での の微分,時刻 で「 が指している方向」を表す.より抽象的な視点からは,これはフレシェ微分である:

が の開部分集合という特別な場合には,これはよく知っている微分

である,ただし は通常の座標方向についての の座標である.

同じことはのことばでさらに抽象的に述べることができる. の接束 は自明束 であり,すべての に対して (より正確には )なるこの束の自然な切断 が存在する.曲線 は次の図式が可換になるような束写像 を誘導する:

このとき時間微分 は合成 であり, は点 におけるその値である.

参考文献