線積分

数学における線積分は、曲線に沿って評価された函数の値についての積分の総称。ベクトル解析や複素解析において重要な役割を演じる。閉曲線に沿う線積分を特に閉路積分あるいは周回積分と呼び、専用の積分記号 ∮}} が使われることもある。周回積分法は複素解析における重要な手法の一つである。 線積分の対象となる函数は、スカラー場やベクトル場などとして与える。線積分の値は場の考えている曲線上での値に曲線上のあるスカラー函数による重み付けをしたものを「足し合わせた」ものとなる。この重み付けが、区間上で定義する積分と線積分とを分ける点である。

物理学における多くの単純な公式が、線積分で書くことによって自然に、連続的に変化させた場合についても一般化することができるようになる。例えば、力学的な仕事を表す式 //W// =}} //⋅//}} から曲線 C}} に沿っての仕事を表す式 //W// =}} intmath を得る。例えば電場や重力場において運動する物体の成す仕事が計算できる。

1. 弧長変数と線素
----------

n}} 次元実多様体 M}} の領域 Ω}} を考える。局所的には Ω ⊂ R//n//}} と考えることができる。Ω}} 内の滑らかな曲線 //γ//: //I// → Ω}} が // =}} //γ// =}} }} が γ}} の弧長変数であるとは、それが線分 γ}} に沿って端点から測った γ}} の弧長を与えるものであることを言う。いま γ}} はなめらかであるから、その弧長は区間 //I// =}} bracket 上の各点 //t//ind に対して

で与えられる。特に s}} は

を満たすが、これはパラメータ t}} の取り方に依らず定まることに注意すべきである高木。記号的には

に // =}} //γ//}} を代入することで得られる。この d//s//}} を γ}} の線素と呼ぶ。曲線が区分的に滑らかなら、微分可能な区間の和にわけて同じく弧長を定義することができる。

2. 場の線積分
--------

定性的には、ベクトル解析における線積分は、与えられた場の与えられた曲線に沿っての全体的な効果を計るものと考えることができる。より厳密に言えば、スカラー場上の線積分は、特定の曲線によって曲げられた場の下にある領域の面積と解釈できる。これは //z// =}} //f//}} で定義する曲面と xy}}-平面上の曲線 C}} を使って視覚的に見ることができて、f}} の線積分は曲線 C}} の真上にある曲面上の点で切り取るときにできる「カーテン」の面積になる。

2.1. スカラー場に対する線積分
-----------------

2.1.1. 偏線積分
-----------

スカラー場 //f// : //U// ⊆ R//n// → R}} の滑らかな曲線 bracket に沿った各軸方向の線積分は

で与えられる高木。

このとき、函数 f}} を被積分函数 }}、曲線 C}} を積分領域 }} あるいは積分路 }} と呼ぶ。

2.1.2. 線素に関する線積分
----------------

スカラー場 //f// : //U// ⊆ R//n// → R}} の滑らかな曲線 //C// ⊂ //U//}} に沿った線素に関する線積分は

と定義する。ただし、//: bracket は、//}} と //}} が与えた曲線 C}} の両端点となるような、C}} の勝手な全単射媒介表示とする。

記号 d//s//}} は直観的には弧長の無限小成分としての線素と解釈できる。スカラー場の曲線 C}} に沿った線積分は、C}} の媒介表示 r}} の取り方に依らない。

2.1.3. 線素に関する線積分の導出
-------------------

上記の如く //f//, //C//}} を定め、C}} の媒介表示 r}} を取れば、スカラー場の線積分はリーマン和として構成することができる。区間 //a//, //b//}} を長さ ∆//t// =}} ///n//}} の n}}-個の小区間 //t//ind に分割し、曲線 C}} 上に各小区間に対応する標本点 //(//tind をとる。標本点の集合 mset に対して、標本点 //(//t//ind と //(//tind を結んでできる線分の集まりによって曲線 C}} を近似することができる。各標本点の間を結ぶ線分の長さを ∆//sind と書くことにすれば、積 //f//   (//(//tind は、高さと幅が //f//(//(//tind と ∆//sind で与えられる矩形の符号付面積に対応する。それらの総和を取って、分割の各小区間の長さを 0}} に近づける極限を

と考えるとき、曲線上の分点間の距離は

と書けるから、これを代入して得る

は、積分

に対応するリーマン和である。基本的にこの積分は、//x// =}} //u//}} および //y// =}} //v//}} となる制約条件下でスカラー函数 //z// =}} //f//}} の下にある領域の面積になっている。

2.2. ベクトル場に対する線積分
-----------------

2.2.1. ベクトル場の線積分の定義
-------------------

ベクトル場 F: //U// ⊆ R//n// → R//n//}} の r}} の向きへの区分的に滑らかな曲線 //C// ⊂ //U//}} に沿った線積分は

と定義される。ただし、“⋅}}” はベクトルの内積であり、//: bracket は、//}} と //}} が曲線 C}} の両端点となる C}} の全単射媒介表示とする。

従ってスカラー場の線積分は、各ベクトルが常に積分路に接するようなベクトル場の線積分に一致する。

ベクトル場の線積分は、絶対値に関しては媒介変数 r}} の取り方に依らないが、向きに関しては依存する。特に、媒介変数の向きを逆にすれば、線積分の符号が変わる。

2.2.2. ベクトル場の線積分の導出
-------------------

ベクトル場の線積分も、スカラー場の線積分の場合とよく似た方法で導ける。ベクトル場 F}}、曲線 C}}、媒介表示 //}} は上記の如くとして、リーマン和を構成しよう。区間 //a//,   //b//}} を長さ ∆//t// =}} ///n//}} の n}}-個の小区間に分割し、i}}-番目の小区間から標本点 tind を取って、曲線上の分点 //(//tind を考える。ここでは分点間の距離を足し合わせるのではなくて、分点間の変位ベクトル ∆//sind を足し合わせる。前と同じく、F}} を放射曲線上の各点で評価して、それと曲線 C}} の各小片での F}} の無限小寄与を与える変位ベクトルとの点乗積をとったもの全て和の、分割のサイズを 0}} にする極限

を考える。曲線上の隣り合う分点の間の変位ベクトルは

と書けるから、代入してリーマン和

を得、これにより上記の線積分が定まる。

2.3. 経路独立な線積分
-------------

ベクトル場 F}} が何らかのスカラー場 G}} の勾配として

と書けるとき、G}} と //}} との合成の導函数

は、F}} の //}} 上の線積分の被積分函数である。従って、積分路 C}} を与えれば

が成り立つ。言い換えれば、F}} の C}} 上の積分は、点 //}} および //}} 上の G}} の値のみに依存し、それらを結ぶ積分路の取り方に依らない。特に積分路 C}} が閉経路であるならば、積分は必ず 0}} になるため、ベクトル場 F}} は保存ベクトル場と呼ばれる。また、物理学において、このような性質を持つ力の場を保存力と呼ぶ。

このことから、保存ベクトル場の線積分は経路独立 en あるいは「積分経路に依らない」と言う。

2.4. 応用
-------

この線積分は物理学でよく用いる。たとえば、ベクトル場 F}} で表す力場の内側で曲線 C}} に沿って運動する粒子の成す仕事を F}} の C}} 上の線積分で表す。

3. 複素線積分
--------

線積分は複素解析における基本的な道具である。U}} を複素数平面 C}} の開集合、//γ//: bracket を有限長曲線とすると、函数 //f//: //U// → C}} の線積分

は、区間 //a//, //b//}} の //a// =}} //t//ind への細分を考えて得るリーマン和

の、小区間の幅を 0}} に近づける極限として定義する。

γ}} が連続的微分可能な曲線ならば、この線積分の値は実変数函数の積分

として評価することができる木村。弧長に関する線積分も同様に

と定義できる木村。これら二種類の線積分について、特に

が成り立つ。

複素函数の線積分を計算する方法はいろいろある。例えば、複素函数を実部と虚部に分けて考えれば、2 つの実数値線積分を計算する問題に帰着できる。コーシーの積分公式を用いて計算する方法もある。後者は複素線積分の被積分函数が、その積分路を含む領域内で解析的かつ特異点を含まないならば、その線積分の値は単に 0}} になるというコーシーの積分定理からの帰結である。留数定理はコーシーの積分定理の一般化である。この定理は複素平面内の周回積分によって実函数の積分を計算するために、しばしば用いる。

3.1. 複素線積分の例
------------

複素函数 //f// =}} 1///z//}} と閉路 C}} として 0}} を中心とする単位円を 1}} から反時計回りに一周するもの考える。C}} は eexp  と媒介変数表示できるから、代入して

を得る。上記の積分はコーシーの積分公式を用いても同じ計算結果が得られる。

3.2. 複素線積分とベクトル場の積分との関係
-----------------------

複素平面 C}} を実 2 次の空間 R2}} と見なせば、二次元ベクトル場の線積分は、対応する複素函数の共軛の線積分の実部に対応する。すなわち、//x//, //y//}} 軸方向の単位ベクトル //, //}} を用いて、// =}} //x//// + //y////}} および //f// =}} //u// + //iv//}} と置くと

なる関係式が、右辺の 2 つの積分がともに存在することから言える。ただし C}} の媒介変数表示 //z//}} は //}} と同じ向きを持つようにとる。同じことだが、微分形式として見れば //f//d//z//}} は

と書くことができて、これと共軛複素積分

をあわせて考えれば、ベクトル場としての線積分と面積分を考えることができる。

複素正則函数がコーシー＝リーマンの方程式を満たすことから、正則函数の共軛に対応するベクトル場の回転は 0}} になる。これはどちらの種類の線積分でもそれが 0}} になるときのストークスの定理と関連がある。すなわち、ガウス＝グリーンの定理を適用すれば複素関数の面積分は、その領域の境界上の線積分に帰着されるため、複素関数の積分では線積分が本質的である。特に正則関数 f}} の単純閉曲線 γ}} 上の閉路積分に関するコーシーの定理

は、γ}} を境界 ∂D}} とする領域 D}} でのグリーンの定理にコーシー・リーマンの関係式を代入することに対応する。

4. 関連項目
-------

弧長
グリーンの定理
ストークスの定理
ケルビン・ストークスの定理
周回積分。
多重積分
面積分
発散定理

5. 脚注
-----

5.1. 注釈
-------

5.2. 出典
-------

6. 参考文献
-------

7. 外部リンク
--------

Khan Academy [1] [2]
[3]
[4]
[5]