線積分のソースを表示

== 概要 ==
高校で学習する積分では、積分範囲が数直線の上に乗っていた。<br>
つまり、1変数の関数f(x)があって、そのf(x)のグラフの曲線とx軸とに挟まれた領域の面積を求めるというのが高校で学習する積分である。<br>
<br>
2変数関数h(x,y)を考える。<br>
この関数は土地の起伏を表しているようなイメージである。地図上の位置を(x,y)で指定すると、h(x,y)がその地点の標高を返すと考えれば理解しやすい。<br>
この関数h(x,y)を積分する。積分範囲は、このxy平面の上を走る自由な曲線コースとする。<br>
自由な曲線コースの上を進みながら積分する、これが線積分である。<br>
もちろん、それを計算するためには、その曲線を具体的に指定しなければならない。<br>
<br>
まずは、イメージを説明する。<br>
積分コースに沿ってうねるように立てられた衝立(ついたて)のようなものを考える。<br>
この衝立の高さはその地点でのh(x,y)を意味している。<br>
線積分で計算したいのはこの衝立の面積である。<br>
[[ファイル:Line Integral.jpg|フレームなし|中央]]
<br><br>

== 線積分の計算方法 ==
xy平面上を走る曲線レールを細かく分割すると、その1つ1つはほぼ直線だとみなせる。<br>
その微小な長さと、その近くでのh(x,y)の値とを掛け合わせたものを考えれば、それは衝立を微小な短冊状に切ったものの面積を表すことになる。<br>
それらを全て加算すれば、望むものが得られる。<br>
<br>
この計算をするには、コースの形がtの関数になったx(t)とy(t)で表されていると都合が良い。<br>
コースのスタート地点が(x(a),y(a))であり、ゴール地点が(x(b),y(b))であり、a≦t≦bであるようなtによって(x(t),y(t))で示されるようにする。<br>
(変数tは時刻であるかのようなイメージである)<br>
<br>
時刻tからt+Δtまでの微小時間Δt内にコース上の点が動く距離を考える。<br>
最初(x(t),y(t))にあった点が(x(t+Δt),y(t+Δt))にまで移動することになる。微小な時間だから、ほぼ直線的に移動したものと考える。<br>
すると移動距離Δlは三平方の定理により、次式のように表せる。<br>
<math>\Delta l=\sqrt{(x(t+ \Delta t)-x(t))^2+(y(t+ \Delta t)-y(t))^2}</math><br>
<br>
また、ほぼ直線的に変化しているので、x(t+Δt)−x(t)は<math>\frac{dx}{dt}\Delta t</math>、y(t+Δt)−y(t)は<math>\frac{dy}{dt}\Delta t</math>と近似できる。<br>
<math>\Delta l=\sqrt{(\frac{dx}{dt}\Delta t)^2+(\frac{dy}{dt}\Delta t)^2}=\sqrt{(\frac{dx}{dt})^2+(\frac{dy}{dt})^2}\Delta t</math><br>
<br>
ここで、Δtが無限に小さいと考えれば、次式のようになる。<br>
<math>dl=\sqrt{(\frac{dx}{dt})^2+(\frac{dy}{dt})^2}dt</math><br>
<br>
このdlが微小時間dtに点がコース上を進む微小距離である。<br>
x(t)とy(t)が具体的に分かっていれば、tのみの関数として表される。(1変数の関数f(x)を積分するときのdxに相当する部分である)<br>
この地点でのh(x,y)の値は、tの時とt+dtの時とでほとんど同じ値なので、h(x(t),y(t))を使用する。<br>
<br>
次のようにすれば、線積分の計算ができる。<br>
<math>\int_{a}^{b}h(x(t),y(t))\sqrt{(\frac{dx}{dt})^2+(\frac{dy}{dt})^2}\, dt</math><br>
<br><br>

== 線積分の制約 ==
上記で説明した線積分の公式の中には、x(t)とy(t)を微分したものが出てくる。<br>
ということは、x(t)とy(t)とはどちらも滑らかでないと微分ができない。<br>
しかし、幾つかの地点で微分ができない場合は、そこでコースを分割して別々に計算して、後で足し合わせればよい。<br>
<br><br>

== 3次元の線積分 ==
上記の線積分を3次元に拡張することは簡単である。<br>
<br>
3変数関数U(x,y,z)を考え、3次元空間を自由に飛び回るコースで積分する。<br>
要するに、3次元を走る微小な長さと、その近くでのU(x,y,z)の値とを掛けせたものを端から端までの和をとる。<br>
<br>
考え方は上記と同様で、次のようにする。<br>
<math>\int_{a}^{b}U(x(t),y(t),z(t))\sqrt{(\frac{dx}{dt})^2+(\frac{dy}{dt})^2+\frac{dz}{dt}^2}\, dt</math><br>
<br><br>

== ベクトル場の線積分の計算 ==
==== 計算の基礎 ====
<math>\overrightarrow{F} = F_1(x,y,z) \overrightarrow{i} + F_2(x,y,z) \overrightarrow{j} + F_3(x,y,z) \overrightarrow{k}</math>のベクトル空間内の2点AからBを結ぶ曲線経路Cがある。<br>
<br>
この曲線上で、ベクトル<math>\overrightarrow{F}</math>の接線方向成分の大きさを表すスカラー関数<math>F_t(s)</math>を考える。(sはAからの孤の長さである)<br>
<u>※接線はタンジェントラインと呼ぶため、接線方向成分の意味でtを添字にしている。</u><br>
<br>
<math>F_t(s)</math>の線積分は、次式となる。<br>
<math>\int_C F_t (s) ds</math><br>
<br>
<math>F_t(s)</math>は、曲線経路Cの単位接線ベクトル<math>\overrightarrow{t}(s)</math>とベクトル<math>\overrightarrow{F}</math>の内積として求まるため、以下のように記述できる。<br>
<math>\int_C F_t (s) ds = \int_C \overrightarrow{F} \cdot \overrightarrow{t} ds</math><br>
<br>
この量をベクトル<math>\overrightarrow{F}</math>の線積分(接線線積分)という。<br>
曲線経路Cをsのパラメータ(媒介変数)として、<math>\overrightarrow{r}(s) = x(s) \overrightarrow{i} + y(s)\overrightarrow{j} + z(s)\overrightarrow{k}</math>と表すと、<br>
単位接線ベクトル<math>\overrightarrow{t}</math>は、<math>\overrightarrow{t} = \frac{d\overrightarrow{r}}{ds}</math>となる。<br>
<br>
したがって、ベクトル<math>\overrightarrow{F}</math>の線積分は、以下のようにも記述できる。<br>
<math>
\begin{align}
\int_C \overrightarrow{F} \cdot \overrightarrow{t} ds &= \int_C \overrightarrow{F} \cdot \frac{d\overrightarrow{r}}{ds} ds \\
                                                      &= \int_C \overrightarrow{F} \cdot d\overrightarrow{r}
\end{align}
</math><br>
<br>
記述方法が複数あるが、重要なことは、曲線経路Cにおいてベクトル場の接線成分を積分するということである。<br>
<br>
==== 例題.1 ====
 ベクトル関数<math>\overrightarrow{F}(x,y) = -3x^2 \overrightarrow{i} + 5xy \overrightarrow{j}</math>について、経路Cにおける以下の線積分を求めよ。<br>
 ただし、経路Cは放物線<math>y = 2x^2</math>の(0, 0)から(1, 2)に沿う曲線とする。
 <math>\int_C \overrightarrow{F} \cdot d\overrightarrow{r}</math>
<br>
まず、経路Cをパラメータtで表示する。つまり、xやyをtの関数として記述する。<br>
線積分を行う経路となる経路Cは放物線<math>y = 2x^2</math>の(0, 0)から(1, 2)である。<br>
<math>t = x</math>とすると、<math>0 \le t \le 1</math>で<math>y = 2t^2</math>である。<br>
「経路Cについて考える」ということは、「xとyが経路Cの方程式を満たす」ということである。<br>
<br>
したがって、xとyはtの関数として以下のように記述できる。<br>
<math>
\begin{align}
x(t) &= t \quad (0 \le t \le 1) \\
y(t) &= 2t^2
\end{align}
</math><br>
<br>
よって、xとyをtでそれぞれ微分すると以下のようになる。<br>
<math>
\begin{align}
\frac{dx}{dt} &= 1 \quad \mbox{よ り } \quad dx = dt \\
\frac{dy}{dt} &= 4t \quad \mbox{よ り } \quad dy = 4t dt
\end{align}
</math><br>
<br>
式を変形するときのポイントは、<math>d \overrightarrow{r}</math>の意味から、<math>d \overrightarrow{r} = dx \overrightarrow{i} + dy \overrightarrow{j} + dz \overrightarrow{k}</math>と記述する点である。<br>
この例題では、ベクトル関数はz成分は無いため、<math>d \overrightarrow{r} = dx \overrightarrow{i} + dy \overrightarrow{j}</math>としている。<br>
<br>
上記のポイントを踏まえて、線積分を計算する。<br>
<math>
\begin{align}
\int_C \overrightarrow{F} \cdot d \overrightarrow{r} &= \int_C (-3x^2 \overrightarrow{i} + 5xy \overrightarrow{j}) \cdot (dx \overrightarrow{i} + dy \overrightarrow{j}) \\
                                                    &= \int_C (-3x^2 dx + 5xy dy)
\end{align}
</math><br>
ドット(⋅)は内積を表している。<br>
ここで、<math>\overrightarrow{F}(x, y) = -3x^2 \overrightarrow{i} + 5xy \overrightarrow{j}</math>を成分表示すると、<math>\begin{pmatrix} -3x^2 \\ 5xy \end{pmatrix}</math>である。<br>
同様に、 <math>dx \overrightarrow{i} + dy \overrightarrow{j}</math>の成分表示は、<math>\begin{pmatrix} dx \\ dy \end{pmatrix}</math>である。<br>
<br>
次に、xとyをパラメータt(ここでは、<math>x = t, \ y = 4t dt</math>を代入する)で記述する。これが、経路Cを満たすように式変形するということである。<br>
<math>
\begin{align}
\int_C (-3x^2 dx + 5xy dy) &= \int_{0}^{1} -3t^2 dt + 5t(2t^2) 4t dt \\
&= \int_{0}^{1} -3t^2 dt + 40 t^4 dt \\
&= \int_{0}^{1} (-3t^2 + 40t^4) dt \\
&= \Big [ -t^3 + 8t^5 \Big]_{0}^{1} \\
&= -1 + 8 \\
&= 7
\end{align}
</math><br>
<br>
==== 例題. 2 ====
 ベクトル場<math>\overrightarrow{F} = a(\sin t \overrightarrow{i} + \cos t \overrightarrow{j})</math>(aは正の定数)において、
 経路Cを<math>C: \overrightarrow{r} = \cos t \overrightarrow{i} + \sin t \overrightarrow{j} + bt \overrightarrow{k} \quad \Big(0 \le t \le \frac{\pi}{4} \Big)</math>)とする時、
 線積分<math>\int_C \overrightarrow{F} \cdot d \overrightarrow{r}</math>を求めよ。
<br>
<math>\overrightarrow{r} = \cos t \overrightarrow{i} + \sin t \overrightarrow{j} + bt \overrightarrow{k}</math>をtで微分すると、<br>
<math>\frac{d \overrightarrow{r}}{dt} = - \sin t \overrightarrow{i} + \cos t \overrightarrow{j} + b \overrightarrow{k}</math>となり、<br>
<math>d \overrightarrow{r} = (-\sin t \overrightarrow{i} + \cos t \overrightarrow{j} + b \overrightarrow{k}) dt</math>である。<br>
<br>
<math>d \overrightarrow{r}</math>を成分表示すると、<math>d\overrightarrow{r} = \begin{pmatrix} -\sin t \\ \cos t \\ b \end{pmatrix} dt</math>となる。<br>
また、<math>\overrightarrow{F}</math>を成分表示すると、<math>\overrightarrow{F} = \begin{pmatrix} a \cos t \\ a \cos t \\ 0 \end{pmatrix}</math>である。<br>
<br>
内積はx成分、y成分、z成分それぞれ乗算した後に加算して求めるため、以下のように計算できる。<br>
<math>
\begin{align}
\overrightarrow{F} \cdot d \overrightarrow{r} &= \begin{pmatrix} a \sin t \\ a \cos t \\ 0 \end{pmatrix} \cdot \begin{pmatrix} - \sin t \\ \cos t \\ b \end{pmatrix} dt \\
&= a (- \sin^2 t + \cos^2 t) dt \\
&= a \cos 2t \qquad \because \cos{2 \theta} = \cos^2{\theta} - \sin^2{\theta}
\end{align}
</math><br>
<br>
<math>
\begin{align}
\int_C \overrightarrow{F} \cdot d \overrightarrow{r} &= \int_{0}^{\frac{\pi}{4}} a \cos 2t dt \\
&= \Big[ \frac{a \sin2t}{2}\Big]_0^{\frac{\pi}{4}} \\
&= \frac{a}{2} \Big\{ \sin(2 \times \frac{\pi}{4}) - \sin 0 \Big\} \\
&= \frac{a}{2} (1 - 0) \\
&= \frac{a}{2}
\end{align}
</math><br>
<br><br>

== ベクトル量の線積分 ==
物理学では、ベクトルの概念と組み合わさった形の別の線積分が出てくるので、これだけで線積分が完全に理解できない。<br>
それについては、別のページで記載する。<br>
<br><br>

__FORCETOC__
[[カテゴリ:解析学]]