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

==はじめに==
===微分の背景===
歴史的には'''微分'''（differentiation）の研究は、曲線の接線の問題から始まりました。曲線と、その上の点が与えられた時、その点での曲線の接線の傾きを調べるにはどうしたらよいでしょうか？

特別な場合だけ、明らかな解答が得られます。例えば、 直線 ''y = m x + c'' は、その上のどんな点でも、それ自身が接線になるので傾きは ''m'' です。放物線 ''y = x<sup>2</sup>''の場合は、原点 (0,0) での接線は y=0 なので、その傾きは 0 です。

しかし、<math>y = \sin  x + x^2</math> の x = 1.5 での接線の傾きはどのように求めたらよいのでしょうか？

それを知るための簡単な方法が微分法です。関数 f(x) を微分して得られた関数に値を入れると、元の関数のその点での接線の傾きが求まります。このように微分して得られた関数を'''導関数'''（derivative）と呼び、<math>f^{\prime}(x)</math>のように書き「えふぷらいむえっくす」、「f(x)の導関数」、「f(x)の微分」などと呼びます。分数のような記法として

:<math>\frac{df}{dx}</math>
:<math>\frac{d}{dx} f </math>

なども用いられます。しかし、分数のように分母と分子というような分け方はできませんので注意してください。問題によってはとても分かりやすい記法です。

微分演算子（微分作用素、differential operator）として扱われる時は
:<math>D_x[f(x)]</math>
:<math>D f(x)</math>
などの記法もよく用いられます。

なお、微分の記号の後に付いたりつかなかったりしている括弧 [ ] は、殆どの場合はいりません。例えば、関数の積の微分 ''D(fg)'' を扱う場合など、  ''D fg'' と表記すると、 ''D(fg)'' なのか、 ''(Df)g''なのか分かりにくいので明示するために括弧を用いたりします。


例えば、 f(x) = 3x + 5 であれば、 f'(x) = 3 になります。　''x''が何かということは気にする必要はありません。
:<math>f(x) = \left|x\right|</math> （絶対値のついた関数）
の場合は
:<math>f'(x) = \left\{ \begin{matrix} -1, & x < 0 \\ \times , & x = 0 \\ 1, & x > 0 \end{matrix} \right. .</math>
となります。

この ''f''(''x'') は、全区間で連続なのですが ''x'' = 0 の所で尖っていて、右極限の<math>\lim_{x \to 0^{+}} f'(x)</math> と左極限の <math>\lim_{x \to 0^{-}} f'(x)</math>が一致しないので f'(0) が定義されません。そして、 f'(x) は ''x''=0 の所で不連続になります。この種類の微分不可能な点の事を、尖点(''cusp'')といいます。 関数は、無限大に発散したり、無限に振動したりすることがあるため、いつも微分可能とは限りません。

===平均変化率===
二点 (x<sub>1</sub>, y<sub>1</sub>)、(x<sub>2</sub>, y<sub>2</sub>)の間の平均変化率とは

:<math>m = \frac{\Delta y}{\Delta x} = \frac{y_2 - y_1}{x_2 - x_1}</math>
のことです。もし、この二点が、関数 f(x) の上の点であれば、 f(x<sub>i</sub>) = y<sub>i</sub> となります。

:<math>\Delta x = x_2 - x_1\ </math>
と書いてみると
:<math>x_2 = x_1 + \Delta x\ </math>
となります。また y の方もみてみると
:<math>y_2 = f(x_2) = f(x_1 + \Delta x\ )</math>
:<math>y_1 = f(x_1)</math>
です。

したがって、平均変化率 ''m'' は、二つの変数（&Delta; x と x<sub>1</sub>）を用いて次のように書き表せます。

:<math>m = \frac{\Delta y}{\Delta x} = \frac{y_2-y_1}{x_2-x_1} = \frac{f(x_1+\Delta x)-f(x_1)}{\Delta x}</math>

そして、ある一点での接線の傾きを調べたいので、x<sub>2</sub> を x<sub>1</sub> に近付けます。これはつまり、&Delta; x を 0 に近付けるということになります。

&Delta; ''x'' と ''x'' を用いて、関数 f(x) の 点 ''x'' での接線の傾き（微分係数、英：differential coefficient）を[[解析学基礎/極限|極限]]のときのように定義すると

:<math>\lim_{\Delta x \to 0}\left[\frac{f(x+\Delta x)-f(x)}{\Delta x}\right]</math>
となります。

==導関数の定義==

<table WIDTH="75%"><tr><td style="background-color: #FFFFFF; border: solid 1px #D6D6FF; padding: 1em;" valign=top>
<center><math>f'(x) = \lim_{\Delta x \to 0}\left[\frac{f(x+\Delta x)-f(x)}{\Delta x}\right]</math></center></td></tr></table>
これが導関数の定義です。右辺の極限が存在するならば、 f(x) は ''x'' で微分可能（differentiable）といい  ''x'' での f(x) の微分係数を、<math>f'(x)</math>と書きます。感覚的な説明をしますと、二点間の差 &Delta; x が 0 に近付いていくとき、接線の傾きの極限がこの式の右辺になります。

===導関数の例===
簡単な関数の導関数を求めてみます。

{|
|<math>f(x)\,</math>
| = <math>2 x + 1</math>
|-
|<math>f'(x)\,</math>
| = <math>\lim_{\Delta x \to 0}\left( \frac{ (2(x+\Delta x)+1) - (2x+1)}{\Delta x} \right)</math>
|-
|
| = <math>\lim_{\Delta x \to 0} 2 </math>
|-
|
| = 2
|}

これは、元の関数 f(x) が直線の式ですから、それ自身の傾きになりました。定義から期待される結果です。この例では、''x'' によらない定数になりましたが、当然ながら一般の曲線では接線の傾きが ''x'' によって変わります。これを次の例で見てみます。

{|
|-
|<math>f(x)\,</math>
| = <math>x^2\,</math>
|-
|<math>f'(x)\,</math>
| = <math>\lim_{\Delta x \to 0}\left[\frac{(x+\Delta x)^2-x^2}{\Delta x}\right]</math>
|-
|
| = <math>\lim_{\Delta x \to 0}\left(\frac{x^2+2x\Delta x+\Delta x^2-x^2}{\Delta x}\right)</math>
|-
|
| = <math>\lim_{\Delta x \to 0}\left(\frac{2x\Delta x+\Delta x^2}{\Delta x}\right)</math>
|-
|
| = <math>\lim_{\Delta x \to 0}\left(2x+\Delta x\right)</math>
|-
|
| = <math>2x</math>
|}

放物線 ''y=x<sup>2</sup>'' の導関数は 直線 ''y=mx+c'' の形になりました。しかし、この導関数の示しているものは接線の傾きであって、接線そのものではないということに注意してください。接線の傾きは、 ''x'' によって変わっていきます。 
''x=a''での接線の傾きは <math>f'(a) = 2a</math> となりますから、 ''x=a'' での接線の式は ''y = 2ax&minus;a<sup>2</sup>'' となります。この接線が、(a, a<sup>2</sup>) を通ることに注意してください。そして、接線の変数 ''x'' と、導関数の変数 ''x'' を混同しないでください。 

:ちなみに後で出てくる、積の微分法則を使っても f(x)=x<sup>2</sup> の微分は 
::<math>f(x)=x^2 = x x </math>
::<math>f'(x) = x + x = 2x </math>
:となり上の結果と一致します。

===導関数の記法について===
導関数の記法は、数学の中でも、結構、特徴的なものです。最もよく使われる記法は、
:<math> \frac{dy}{dx}</math> 
です。この記法は、 ''x'' の変化量に対して、 ''y'' の変化量はどのくらいなのか？という意味を表すと考えられます。或いは、''y'' の微少量を ''x'' の微少量 で割る という意味を表す記法と見る事もできます。いずれにせよ導関数の定義を率直に表した記法です。
:<math>\frac{d}{dx}</math>
という記号もよく見かけます。これは、 ''x'' に関して微分するという意味です。<math> \frac{dy}{dx}</math> の 類型と思ってください。 ''y'' の部分の表現が長くなったりする場合に便利です。

微分を学んでいく内に、''dy'' や ''dx'' は分数の分子や分母のように切りはなして考えることができるかもしれないと思うかもしれません。
:<math>\frac {dx}{dy}</math>
のように、まるで分数の逆数でも取ったかのような記号も見かけるでしょう。

或いは、極座標（polar coordinates system）を用いた微分で
:<math>\frac{d\theta}{dr}</math>
のようなものにも出会うでしょう。

<math>f(x) = y = x^{2}</math>の微分を表す記法として、次のようなものがありますが、全て同じ意味です。

* <math>\frac{dy}{dx} = 2x</math>
* <math>\frac{d}{dx} x^{2} = 2x</math>
* <math>dy = 2x dx</math>
* <math>f'(x) = 2x</math>
* <math>D(f(x)) = 2x</math>

===演習===
導関数の定義を用いて、次の関数の導関数を求めてみましょう。
#<math>f(x)=2x+3</math>
#<math>f(x)=x^3</math>
#<math>f(x)=x^4</math>

==== 解答 ====

#<math>f'(x)=\lim_{\Delta x \to 0}\frac{(2(x+\Delta x)+3)-(2x+3)}{\Delta x} 
=\lim_{\Delta x \to 0}\frac{2 \Delta x}{\Delta x} =\lim_{\Delta x \to 0} 2 =2</math>
#<math>f'(x)=\lim_{\Delta x \to 0}\frac{(x+\Delta x)^3-x^3}{\Delta x} 
= \lim_{\Delta x \to 0}\frac{3x^2 \Delta x+3x(\Delta x)^2+(\Delta x)^3}{\Delta x}
= \lim_{\Delta x \to 0}(3x^2 +3x\Delta x +(\Delta x)^2)=3x^2</math>
#<math>f'(x)=\lim_{\Delta x \to 0}\frac{(x+\Delta x)^4-x^4}{\Delta x}
= \lim_{\Delta x \to 0}\frac{4x^3 \Delta x+6x^2(\Delta x)^2+4x(\Delta x)^3+(\Delta x)^4}{\Delta x}
= \lim_{\Delta x \to 0}(4x^3+6x^2\Delta x+4x(\Delta x)^2+(\Delta x)^3) =4x^3</math>

何かパターンのようなものがわかりましたか？ x<sup>n</sup> の形の微分は、べき乗関数の微分の項目で扱います。

==微分の演算規則==
毎回、微分を定義通り導くのは関数が大変です。したがって、一般の関数を微分しやすいように、微分の性質をいくらか調べておき、それを用いて微分を行えば、楽に計算できるようになります。微分の演算規則を知ることで、かなり多くの関数を微分できるようになります。最も簡単な規則のいくつかは一次関数の微分に関するものですので、一次関数の微分はその傾きになるという性質と併せて考えると分かりやすいかと思います。

===定数関数の微分===

<center><math>\frac{d}{dx}\left[c\right]=0</math></center>

====例====
:<math>\frac{d}{dx}\left[3\right]=0</math>

===一次関数の微分===
<div align="center" style="padding: 1em 10em;"><math>\frac{d}{dx}\left[mx+c\right]=m</math></div>

この特別な場合として ''x'' を ''x'' で微分すると<math>\frac{dx}{dx} = 1</math>となります。分数だと思って約分したときと同じに見えますが、分数とは違い導関数の定義から求められた結果ですので、誤解しないように理解してください。<math>\frac{d}{dx}</math>で一つの記号なのです。

これからもまるで分数を扱う時のような計算規則を目にすることになると思いますが、分数と誤解してしまうと、そのうち、''dx''や ''dy''が実際には何なのかと考えはじめたときに躓く原因にもなります。混乱した場合は定義に戻ってみてください。

=== 定数倍と和の微分 ===
基本的な関数についての微分の規則をいくつか学びました。ここからもっと複雑な関数について微分するための規則を学びます。複雑な関数は、簡単な関数に分解して考えると分かりやすくなりますので、そのための手段として、ここでは定数倍の微分と和の微分について学びます。

===定数倍の微分===
<div align="center" style="padding: 1em 10em;"><math>\frac{d}{dx}\left[cf(x)\right] = c \frac{d}{dx}\left[f(x)\right]</math></div>

このように、定数 ''c'' は、微分記号の外に出せます。微分の定義に戻れば、分子を定数 ''c'' でくくり、その ''c'' を極限操作の外に出すことができるということから成り立ちます。

====例====
x<sup>2</sup>の微分が

:<math>\frac{d}{dx}\left[x^2\right]=2x</math>.

となることは既に学んだ通りです。

そこで今度は 3x<sup>2</sup>の微分を考えます。

:{|
|-
|<math>\frac{d}{dx}\left[3x^2\right]</math>
| = <math>3\frac{d}{dx}\left[x^2\right]</math>
|-
|
| = <math>3\times2x\,</math>
|-
|
| = <math>6x\,</math>
|-
|}

これは、
:3x<sup>2</sup> = x<sup>2</sup> + x<sup>2</sup> + x<sup>2</sup>
と考えれば、次の和の微分を使っても確かめることができます。

===和と差の微分===
<div align="center" style="padding: 1em 10em;"><math>\frac{d}{dx}\left[f(x)\pm g(x)\right]= \frac{d}{dx}\left[f(x)\right]\pm\frac{d}{dx}\left[g(x)\right]</math></div>

この式は複号同順です。左辺が + なら右辺も+ 左辺が&minus;なら右辺も&minus;です。

====例====

:{|
|-
|<math>\frac{d}{dx}\left[3x^2+5x\right]</math>
| = <math>\frac{d}{dx}\left[3x^2+5x\right]</math>
|-
|
| = <math>\frac{d}{dx}\left[3x^2\right]+\frac{d}{dx}\left[5x\right]</math>
|-
|
| = <math>6x+\frac{d}{dx}\left[5x\right]</math>
|-
|
| = <math>6x+5\,</math>
|-
|}

この、定数倍や、和の微分の法則は、数学的にとても重要な性質で、微分が'''線形性'''（linearity）を持つことを意味します。
足し算を行ってから微分をしても、一つ一つの項について微分を行ってから足し算を行っても結果は変わりません。線形性は複雑な計算をとても簡単にするのです。

===べき乗関数の微分===
和の微分の法則や、定数倍の微分の法則を使うことを考えて、多項式を分解していくと x<sup>n</sup>の微分という問題に帰着されます。その部分を解決するのがこの公式です。

<div align="center" style="padding: 1em 10em;"><math>\frac{d}{dx}\left[x^n\right]=nx^{n-1}</math></div>

例えば、既に確認したように x<sup>2</sup> の微分は、2x<sup>1</sup> = 2x になります。

この規則は、指数が 分数や 負の数の時（一般に実数の時）も成り立ちます。

:{|
|-
|<math>\frac{d}{dx}\left[\sqrt x \right]</math>
| = <math>\frac{d}{dx}\left[ x^{1/2}\right]</math>
|-
|
| = <math>\frac 1 2 x^{-1/2}</math>
|-
|
| = <math>\frac 1 {2\sqrt x}</math>
|-
|
| = <math>\frac {\sqrt x} {2x}</math>
|}

多項式は単項式の和なので、この規則と、定数倍の微分、和の微分の規則を使うことで、どんな微分もできるようになります。

===多項式の微分===
以上の規則により、多項式の微分ができるようになりました。これらの公式を眺めているだけでは計算力は身に付かないので、いろいろな多項式を実際に微分してみることが大切です。ここでは、その手順を詳しく説明します。

例として
:<math>\frac{d}{dx}\left[6x^5+3x^2+3x+1\right]</math>
を計算してみます。

最初に、和の微分の法則を用いて単項式に分けます。

:<math>\frac{d}{dx}\left[6x^5\right]+\frac{d}{dx}\left[3x^2\right]+\frac{d}{dx}\left[3x\right]+\frac{d}{dx}\left[1\right]</math>

一次の項と定数項は
:<math>\frac{d}{dx}\left[6x^5\right]+\frac{d}{dx}\left[3x^2\right]+3+0</math>
となります。

高次の項は定数倍の微分の規則を用いて、微分の外に出します。
:<math>6\frac{d}{dx}\left[x^5\right]+3\frac{d}{dx}\left[x^2\right]+3</math>

ここでべき乗の微分法則により、それぞれの単項式の微分が求まります。
:<math>6\left(5x^4\right)+3\left(2x\right)+3</math>

あとは、代数計算をして式を簡単をまとめて、最終的に
:30x<sup>4</sup>+6x+3
という解答が得られます。

微分を使う時の便利な規則はもっと沢山あります。もう少し高度な手法に関しては、この後の「[[解析学基礎/微分２|微分の公式]]」という項目で学びます。

===演習===
導関数の定義から、定数関数や一次関数の微分、定数倍や和の微分の法則を導いてみてください。

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

[[Category:解析学|ひふんいち]]