この節では3次元空間内の曲線上で定義された線積分を導入する.
1変数函数 の積分は 軸と函数を囲む範囲の面積を表していた.
線積分では任意の曲線とその上の函数で囲まれた面の面積を表す.
物理では任意の曲線は運動の軌道に対応し,軌道上で定義された量の積分を計算することはよくある(たとえば仕事).
3次元空間上で定義された函数 を曲線 に沿って積分することを考える.
力学で使うことを意識して を質点の位置, を時間と思うとわかりやすいだろう.
曲線の特定の区間に という名前をつけて, 上での積分を
スカラー函数の線積分
とかく.ここで は曲線上の微小線要素といい,
とかける.あるいは区間 の始点と終点を として
と書いても良い.
始点と終点が一致する曲線をループといい,ループ 上の積分は特に
と表記する.
曲線の式 を線要素 からパラメータ への変数変換とみなそう.
始点と終点において とすると,
であるから
となる.右辺に現れた因子は速度の大きさ(速さ)である.
この右辺は普通の1変数函数に関する定積分なのでこちらを線積分の定義とすることが多い.
線積分を区分求積法により正当化しよう.
連続な函数 と曲線 に沿った区間 で挟まれる領域を 個の縦長長方形に分割する.その函数と曲線で挟まれる領域の面積 は2つの長方形の和,
によって押さえられる.
は各長方形の端点の座標であり,特に である.
そして は長方形の幅で と与えられる.
この分割では長方形の底辺が直線なので曲線に近いが少しずつずれた折れ線になっている.
分割の数を無限に多くして としたとき,分割の幅 は0に近づき曲線に近づいていく.
すなわち は で微小線要素 である.
で近似の精度が無限に良くなって2つの長方形の和が一致することがある.
このとき積分確定といい函数 の積分値が定義され
を得る.長方形の幅について
と変形する.
の極限において なので曲線 がなめらかならば,
の極限が存在し 積分の形に帰着させられる.
こうして定義される曲線区間 上の函数 の積分を線積分 (line integral) という.
線積分は次の性質を持つ:
ただし は と逆向きの曲線を表す.すなわち が から へ向かう曲線ならば は から へ向かう曲線である.
の場合
は曲線 の長さに等しい.
また微分積分学の基本定理から である.
次に3次元空間上のベクトル値函数 を考える.
は力学での力などを念頭におくと良い.
軌道の接線方向の単位ベクトルを として との内積をとりスカラー量を作る.
これを始点 から終点 へ曲線 に沿って積分することを,
ベクトル値函数の線積分
とかく.ここで は軌道の微小変位ベクトル(そのため文献によっては と表記されることもある).
すなわちRiemann和では
で定義できる.長方形の幅について
と変形する.
の極限において なので曲線 がなめらかならば,
の極限が存在し 積分の形
に帰着させられる.ここで は速度ベクトルであり,
の関係がある.
線積分は軌道に沿った積分なのでパラメータ のとり方には依存しない.
実際 の変数変換を行ったとしても変数変換の因子 と微分の鎖法則からくる因子 がキャンセルする.
したがって軌道のパラメータ は実際の時間である必要もなく,計算に便利なものを選んで使えば良い.
Problems
平面内の軌道 は原点 を出発して まで 軸方向に直進し,次に まで 軸方向に直進し,最後に まで直進するものとする.
このとき次の函数を軌道 上で積分せよ:
線積分の線型性を利用して を3つの区間に分ける.
軌道は 平面に限られるので積分の間は常に である.
1つ目の区間 では 軸方向に直進であり,パラメータとして と選べばその式は と表される.
このとき なのでその大きさは に等しい.
よって線積分を 積分に置き換えると
と求まる.
2つ目の区間 をパラメータとして と選んで式で表すと .
よって線積分は
と求まる.
最後に3つ目の区間 をパラメータとして と選んで式で表すと .
このとき なのでその大きさは に等しい.
よって線積分を 積分に置き換えると
と求まる.
以上の結果を合わせて,
次のベクトル場を 平面内の単位円周 上で線積分せよ:
円周上の点を とパラメータ表示すると
ここで
したがって