Introduction
ここでは,積分の基礎を簡潔に提示する。
物理の初学者は,『積分と運動方程式の解』と合わせて読んでもらえれば,イメージがよりつかみやすくなると思う。
積分の考え方
『微分の基礎』で説明したように,ある関数を微分することで,導関数という別の関数が得られるのだった。
今度は,導関数から元の関数を復元する操作について考える。
ちなみに,導関数に対するこの元の関数を原始関数(primitive function)という。
関数を平面上に描いたとき,導関数はにおけるグラフの傾きを表すのだった。
傾きというのは,の変化分に対するの変化分であるから,にの変化分をかけたものは,の変化分を与える:
したがって,ある点でのの値に()を加えると,「点での変化率でそのままが変化していった場合の」におけるの値が得られる。
しかし,ある点の傾きが一定に保たれるのは(は定数)という形で表される直線の場合だけであり,との値は一般にずれる(図1)。
このずれを小さくするには,の幅を小さくしてやればよい(図2)。
そのため,幅をとしてやれば,から無限小だけずれた部分のの値が
と得られる。
そこからさらにだけ離れた点でのの値は()に,におけるの傾きにをかけたものを加え
と計算できる。
よって,任意の点からはじめ,別の点までこれを繰り返せばにおけるの値が
と得られる。
ここで
が,からまでの各点でのにをかけたものを足し合わせることを表しており,このような無限小区間ごとの値を足し合わせる操作を積分(integral)と呼ぶ。
特に,積分の始点と終点を定めたこのような操作を定積分(definite integral)という。
この操作は,例えばが物体の位置,が時間,が物体の速度であるとすれば,初期位置から物体の速度をつないで,未来の位置を導き出す操作に対応している。
定積分の式を改めて一般的な形に表せば
となる。
不定積分
定積分に対して,積分の範囲を指定せず,元の関数の形だけを求める操作を不定積分(indefinite integral)という。
微分というのはある点での変化率を求めるものであるため,例えばという関数であれ,という関数であれ,どちらも微分してしまえば同じという導関数が与えられる。
つまり,微分を行うと定数項の情報は失われてしまう。
よって,導関数の原始関数がであるとき,の積分結果には
と,定数項を加えてやらないといけない。
定積分()の場合は,この積分の結果に積分範囲の両端の値を入れたものの差を取るため
とはキャンセルし,考慮する必要がなかった。
こうしたことから,ある関数の原始関数をとしたとき,の不定積分の結果は不定な定数を含むものとして
と表される。
積分計算の例
これまで説明したように,積分は導関数から元の関数を求める操作である。
よって例えば,という形の関数に関しては
より
という公式が得られる。
同様に,三角関数や指数関数,対数関数に関して
などの公式が得られる。
部分積分
関数の積の微分について
という公式が成り立つのだった(忘れた人はコチラで確認)。
これを積分すると
となる。
よって順番を入れ替えることで
という公式が得られる。
このような変形を行うこと,部分積分(integration by parts)を行うという。
部分積分の有用さは,学習を進めるうえで実際に適用してみると直ちに理解できるだろう。