解析学基礎/積分のソースを表示

微分は、グラフで考えればある一点での曲線の傾きを表すものでした。

積分を学ぶと、次のようなことが分かります。
*微分すると与えられた関数になるような関数は何か？
*曲線とx軸の囲む領域の面積

==微分と逆の操作==
微分は、曲線の傾きを探すものだということは既に学びました。代表的な例として、車の位置から速度を計算することができます。

これから、この操作と逆の事をしてみます。
車の速度から、現在位置を割り出します。どうしたらいいでしょうか？

もし、車の速度が一定であれば簡単です。速度 ''v'' と時間 ''t'' の積をとれば走行距離 ''x'' が求まります。
式で書くと
: x = vt
です。

もし、速度が一定ではなく、連続的に変化するとしたらどうなるでしょう？今度はそう簡単にはいきませんので、方法を変える必要があります。
時間幅を短くとって、&delta;<sub>t</sub>とします。速度は連続的に変化するのですから、短い時間ならば、速度も殆ど変化しないと考えられます。したがって、この&delta;<sub>t</sub>ごとに、走行距離を計算して足していきます。すると

:<math>x = v(t_0) \delta_t + v(t_0 + \delta_t) \delta_t + v(t_0 + 2 \delta_t) \delta_t</math>
となります。ここで v(t) というのは、時間 ''t'' における速度です。

この時の時間と走行距離の関係をグラフに描くと、折れ線グラフになります。

そして&delta;<sub>t</sub> を小さくしていくと、この折れ線グラフは滑らかになっていきます。こうして速度を表す関数 v(t) から新しい関数を得る事ができます。
こういった操作を、どのように表現したらよいのか？をこれから学んでいきます。

== 不定積分 ==
つまり積分というのは次の問題を解くことになります。
<table WIDTH="75%"><tr><td style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign=top>
<center>g(x) が与えられた時に、次の式を満たす f(x) を求めなさい。<br/> <math> g(x) =  f^\prime(x) </math></center></td></tr></table>

つまり、 g(x) が与えられた時に、微分して g(x) になるような f(x) という関数を見つけてください。ということです。

例: g(x)=6x<sup>2</sup> の時、　微分すると 6x<sup>2</sup>になるような f(x) は、どのように見つけたらいいでしょうか？

これから学ぶ手法は、不定積分と呼ばれるものです。

=== 直感的な説明 ===
ここでも、6x<sup>2</sup> の例を見てみます。この関数の積分を見つけるには何をしたらいいでしょうか？

: ''D''<sub>x</sub> (''x''<sup>n</sup>) = n x<sup>n-1</sup>
という微分の規則を思い出してください。 ''D''<sub>x</sub>は微分演算子で<math>\frac{d}{dx}</math>と同じ意味です。この式を使って近いものを考えてみると、n=3 として
: ''D''<sub>x</sub> (''x''<sup>3</sup>) = 3 x<sup>2</sup>
という式を思いつくでしょう。ここから、目的のものに近付けていきます。
欲しいのは 6x<sup>2</sup> の積分です。この式の右辺は、3 x<sup>2</sup>ですから、2倍したら目的のものになりますね。
: 2''D''<sub>x</sub> (''x''<sup>3</sup>) = 2( 3 x<sup>2</sup>)
: ''D''<sub>x</sub> (2''x''<sup>3</sup>) = 6 x<sup>2</sup>
したがって、2''x''<sup>3</sup>は、6 x<sup>2</sup>の積分であるといえそうです。
積分を表す記号では<math>\int 6x^2 dx</math>や、微分演算子の逆演算であることを表すように<math>D_x^{-1}(6x^2)</math>と書きます。

しかし、積分をするときには一つとても大事なことを気にしないといけません。
: <math>\int 6x^2 dx = 2x^3</math>
2''x''<sup>3</sup> の微分が 6''x''<sup>2</sup>であることは確かなのですが、これだけではないのです。
たとえば 2''x''<sup>3</sup>+1 や 2''x''<sup>3</sup>+2 や 2''x''<sup>3</sup>-98999 なども同じように解になります。定数項は微分すると 0 になります。「積分」に定数を加えたものも「積分」なのです。つまり定数項はどのようにとっても構いません。

したがって全ての解を表すために
: <math>\int 6x^2 dx = 2x^3+C</math>
と書きます。 ''C'' は任意の定数で、'''積分定数'''と呼ばれます。

=== 基本的な積分 ===
多項式を微分するときは、単項式にわけて計算しました。単項式を微分すると次数が一つ減りました。積分はこの逆ですから次数が一つ増えます。そして、係数にも気を付けてください。単項式を微分すると、定数倍が出てきたりします。微分したときにうまく戻るように、係数を決めないといけません。

<table WIDTH="75%"><tr><td style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign=top>
<center>'''単項式の積分'''<br/><math> \int x^\alpha dx = {x^{\alpha+1} \over {\alpha+1}}+C</math>
<br/>但し&alpha; &ne; -1 </center></td></tr></table>

微分の時のような規則も成り立ちます。
<table WIDTH="75%"><tr><td style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign=top>
<center>'''定数倍の積分'''<br/>
<math> \int a f(x) dx = a \int f(x) dx</math></center></td></tr></table>
<table WIDTH="75%"><tr><td style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign=top>
<center>'''和と差の積分'''<br/>
<math> \int f(x) \pm g(x) dx = \int f(x) dx \pm \int g(x) dx</math></center></td></tr></table>

=== 演習問題１ ===
上の計算規則を使って、次の積分を行ってください。
# <math>\int x^{12} dx</math>
# <math>\int 8x^{3} dx</math>
# <math>\int 4x^{2}+11x^{3} dx</math>
# <math>\int 31x^{32}+4x^3-9x^4 dx</math>
# <math>\int 5x^{-2} dx</math>

==== 演習問題１の解答 ====
#<math>\frac{1}{13} x^{13}+C</math>
#<math>2x^4+C</math>
#<math>\frac{4}{3} x^3+\frac{11}{4} x^4 +C</math>
#<math>\frac{31}{33}x^{33}+x^4 - \frac{9}{5}x^5+ C</math>
#<math>-5 x^{-1}+C</math>

=== まとめ ===
積分というのは、関数 ''g'' が与えられたときに
: <math> D_x f = g\ </math>
を満たす 関数 ''f'' を見つけることです。
基本的に微分の逆の操作で、多項式の場合は上に書いた規則を用いることにより確かめることができます。
: <math> \int 3x^2 dx = x^3 + C </math>
: <math> D_x (x^3 + C) = 3x^2 </math>
このように積分したものは、微分すると元に戻ります。この意味で、積分の記号を微分演算子を用いて <math>D^{-1}</math> と書くこともあります。

:<math>\int g(x) dx = f(x)+C</math>
:<math> D_x f(x) = g(x)</math>
積分すると積分定数 ''C'' が付くことに注意してください。

多項式以外の他の関数の積分も多項式と同じようにできます。それをこれから見ていきます。

===三角関数の積分===
この節では、三角関数の積分を扱います。

三角関数の微分の公式を思い出してください。
*<math>D \sin{x}= \cos{x} \,</math>
*<math>D \cos{x}= -\sin{x} \,</math>
*<math>D \tan{x}=\left(\frac{1}{\cos{x}}\right)^2 </math>

これと積分の式
: <math> D f(x) = g(x), \int g(x) dx = f(x)+C </math>
を組み合わせると、次のような三角関数の積分の公式が得られます。

: <math>\int \cos{x}\ dx= \sin{x} +C</math>
: <math>\int \sin{x}\ dx= -\cos{x} + C</math>
: <math>\int \left(\frac{1}{\cos{x}}\right)^2 dx=\tan{x} + C</math>

=== 指数関数の積分 ===
指数関数の微分の式
: <math> D_x e^x = e^x</math>
と、積分の式
: <math> D_x f = g </math>
を見比べると

指数関数の積分
: <math>\int e^x dx = e^x + C</math>
が得られます。

=== 演習問題２ ===
次の積分を行ってください。
# <math>\int \cos{x}+\sin{x} dx</math>
# <math>\int 3\sin{x} dx </math>
# <math>\int 1+(\tan{x})^2 dx</math>
# <math>\int 3x-(\sec{x})^2 dx</math>
# <math>\int -e^x dx</math>
# <math>\int 8e^x dx</math>

==== 演習問題２の解答 ====
#<math>\sin(x)-\cos(x)+C</math>
#<math>-3 \cos{x}+C</math>
#<math>\tan(x)+C</math> （問題はtan(x)の微分のもう一つの表現だったことに注意）
#<math>\frac{3}{2}x^2-\tan{x}+C</math>
#<math>-e^x +C </math>
#<math>8e^x+C</math>

<!--置換積分がまだ出てきてないためコメントアウト
Consider the problem

<math>
\int {{1}\over{x^2+a^2}} dx
</math>

with the substitution ''x = a tan &theta;'', we have ''dx = a sec<sup>2</sup>&theta; d&theta;'', so that

<math>
\int {{1}\over{x^2+a^2}} dx = {{\arctan \left({{x}\over{a}}\right)}\over{a}}
</math>
-->
== 不定積分の応用 ==
=== 微分方程式 ===
不定積分を用いる事により微分を含んだ方程式から未知の関数が求められる場合があります。

最も簡単な微分方程式 <math>\frac{dy}{dx}=f(x)g(y)</math> を変数分離形の微分方程式と呼びます。

この方程式の両辺をg(y)で割って変数ｘで積分すれば
<math>\int \frac{1}{g(y)}\frac{dy}{dx} dx=\int f(x) dx+C</math> が成り立ちます。

(ただしg(y)≠０、また、積分定数を右辺にまとめた。)

上式の左辺は置換積分の法則より<math>\int \frac{1}{g(y)} dy</math> と書けます。上式の両辺の原始関数が計算できれば
未知関数 <math>y=f(x)</math> の関数形が導けます。

例: 微分方程式 <math>y'=ay</math> を満たす関数は <math>y=Ce^{ax}</math> である。(ただしCは積分定数を書き換えたものである。)

== 曲線の下側の面積（定積分） ==
=== 和の記号 ===
まず、数列の和を表記するのに 1+2+3+4+...+n などと長々と書かないですませるために用いられる和の記号について説明します。これは、次のような記号です。

:<math>\sum_{k=1}^{n} f(k)</math>

このように書いたとき、これを ''f(k)'' の値を ''k=1'', ''k=2'',...と順番に ''k=n'' まで足した和をあらわすものとして約束します。たとえば、

:<math>\sum_{k=1}^{4} 2k = (2 \cdot 1)+(2 \cdot 2)+(2 \cdot 3)+(2 \cdot 4) = 2+4+6+8 = 20</math>

です。「Σ」というのはギリシャ文字で、日本語では「シグマ」と読みますので、この記号をシグマ記号とも呼びます。

=== 面積の定義 ===
''f(x)'' のグラフと、''x=a'' , ''x=b''、それにx軸で囲まれた領域の面積を、次の記号で表します。

:<math>\int_{a}^{b} f(x)\ dx</math>

これを ''f(x)'' の ''x=a'' から ''x=b'' までの定積分などと言います。この面積は、次で定義されます。

:<math>\int_{a}^{b} f(x)\ dx = \lim_{n \to \infty}\frac{b-a}{n} \cdot \left[\sum_{k=1}^{n} f \left( a+\frac{k(b-a)}{n}\right)\right]</math>

この定義は、直感的には、この領域を覆いつくすように短冊を敷き詰めていき、短冊の面積を求めることと解釈できます。求めたい領域と短冊とでは少し形が異なりますが、短冊をより細かく切り、その数(''n'')を増やすことで、求めたい領域に近づいていきます。

=== 微分積分学の基本定理 ===
微分積分学の基本定理とは、次のような定理です。

:任意の連続関数''f''について、<math>\int_{0}^{x} f(t)\ dt=F(x)</math>とすると、<math>\int f(x)\ dx = F(x)+C</math>であり、<math>\int_{a}^{b} f(x)\ dx=F(b)-F(a)</math>

この定理により、不定積分を用いて定積分を計算することができます。

'''This is incomplete and a draft, additional information is to be added'''

==External links==

*Online&nbsp;[http://wims.unice.fr/wims/wims.cgi?module=home&search_keywords=integral&search_category=X interactive exercises]&nbsp;and&nbsp;[http://wims.unice.fr/wims/wims.cgi?module=tool/analysis/function.en calculator] of integration.

<small>'''back to [[解析学基礎#積分法|解析学基礎]]'''</small>

[[カテゴリ:積分法|*]]

[[en:Calculus/Integration]]