ここでは微分法の基本である ・極限 ・微分係数 ・導関数 を解説し、その応用として ・高次導関数 ・偏微分 と内容を進めていきます。
目標は「接線の傾き」を求める 下図のように、グラフ上の点Aと接する直線ATを点Aにおける接線 といい、その接する点Aを接点 といいます。
ここでの目標は、この接線ATの傾きを求めることです。イングランドの数学者・物理学者、アイザック・ニュートンの発明した微分法 です。高校の微分積分で習います。
Isaac Newton(1642年-1727年) そのために、グラフ上に別の点Bを用意し、2点A、Bを通る直線ABの傾きを求めます。こちらは中学数学の知識で求めることができます。
この直線ABの傾きから、微分法によって接線ATの傾きを求めます。 その前に、y = f ( x ) y=f(x) y = f ( x ) という関数の表記に慣れておきましょう。
y=f(x) という表記法 一般の関数 y = f ( x ) y=f(x) y = f ( x ) を考えます。なお、x x x の範囲は実数(つまり数直線上のすべての数)とします(参考1 で数の分類)。
x x x の値が決まると、y = f ( x ) y=f(x) y = f ( x ) という関数によって y y y の値がただ1つに決まります。これが関数の定義です。
\begin{align*}
x が決まる \xrightarrow[]{ y=f(x) } y の値がただ1つに決まる
\end{align*}
例えは、関数 f f f として f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 という関数を考えると y = f ( x ) = x 2 y=f(x)=x^2 y = f ( x ) = x 2 より x = 1 x=1 x = 1 のとき y = f ( 1 ) = 1 2 = 1 y=f(1)=1^2=1 y = f ( 1 ) = 1 2 = 1 x = 2 x=2 x = 2 のとき y = f ( 2 ) = 2 2 = 4 y=f(2)=2^2=4 y = f ( 2 ) = 2 2 = 4 x = − 3 x=-3 x = − 3 のとき y = f ( − 3 ) = ( − 3 ) 2 = 9 y=f(-3)=(-3)^2=9 y = f ( − 3 ) = ( − 3 ) 2 = 9 x = 9 2 x=\dfrac{9}{2} x = 2 9 のとき y = f ( 9 2 ) = ( 9 2 ) 2 = 81 4 y=f\left(\dfrac{9}{2}\right)={\left(\dfrac{9}{2}\right)}^2=\dfrac{81}{4} y = f ( 2 9 ) = ( 2 9 ) 2 = 4 81 x = 3 x=\sqrt{3} x = 3 のとき y = f ( 3 ) = ( 3 ) 2 = 3 y=f(\sqrt{3})={(\sqrt{3})}^2=3 y = f ( 3 ) = ( 3 ) 2 = 3 ⋮ \hspace{23pt}\vdots ⋮ と、実数 x x x を与えれば、関数 f ( x ) f(x) f ( x ) によって y y y の値がただ一つに決まります。x x x の範囲は実数なので、整数 ⋯ , − 2 , − 1 , 0 , 1 , 2 , ⋯ \cdots, -2, -1, 0, 1, 2, \cdots ⋯ , − 2 , − 1 , 0 , 1 , 2 , ⋯ の他に、有理数 9 2 \dfrac{9}{2} 2 9 や無理数 3 \sqrt{3} 3 でも上のように計算可能です。
y=f(x) のグラフ 関数 y = f ( x ) y=f(x) y = f ( x ) の x x x と y y y の関係を座標で表すことによって、y = f ( x ) y=f(x) y = f ( x ) のグラフを描くことができます。 例えば f ( x ) = 2 x f(x)=2x f ( x ) = 2 x とすると、それは y = 2 x y=2x y = 2 x という1次関数になり、そのグラフは次のような直線になります。
下のようないくつかの点を x y xy x y 座標で結ぶことによって、原点Oオー を通る傾き 2 2 2 の直線になることが確認できます。 x = 2 x=2 x = 2 のとき y = f ( 2 ) = 2 ⋅ 2 = 4 y=f(2)=2\cdot2=4 y = f ( 2 ) = 2 ⋅ 2 = 4 より P( 2 , 4 ) \hspace{-3pt}(2, 4) ( 2 , 4 ) x = 1 x=1 x = 1 のとき y = f ( 1 ) = 2 ⋅ 1 = 2 y=f(1)=2\cdot1=2 y = f ( 1 ) = 2 ⋅ 1 = 2 より Q( 1 , 2 ) \hspace{-3pt}(1, 2) ( 1 , 2 ) x = 0 x=0 x = 0 のとき y = f ( 0 ) = 2 ⋅ 0 = 0 y=f(0)=2\cdot0=0 y = f ( 0 ) = 2 ⋅ 0 = 0 より R( 0 , 0 ) \hspace{-3pt}(0, 0) ( 0 , 0 ) x = − 1 x=-1 x = − 1 のとき y = f ( − 1 ) = 2 ⋅ ( − 1 ) = − 2 y=f(-1)=2\cdot(-1)=-2 y = f ( − 1 ) = 2 ⋅ ( − 1 ) = − 2 より S( − 1 , − 2 ) \hspace{-3pt}(-1, -2) ( − 1 , − 2 ) x = − 2 x=-2 x = − 2 のとき y = f ( − 2 ) = 2 ⋅ ( − 2 ) = − 4 y=f(-2)=2\cdot(-2)=-4 y = f ( − 2 ) = 2 ⋅ ( − 2 ) = − 4 より T( − 2 , − 4 ) \hspace{-3pt}(-2, -4) ( − 2 , − 4 ) なお、"⋅ \cdot ⋅ " はかけ算 "× \times × " の意味です。今後この表記を頻繁に使います。
また、f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 とすると、それは y = x 2 y=x^2 y = x 2 という2次関数になり、そのグラフは次のような放物線になります。
下のようないくつかの点を x y xy x y 座標でなめらかに結ぶことによって、原点Oオー を頂点とする放物線になることが確認できます。 x = 2 x=2 x = 2 のとき y = f ( 2 ) = 2 2 = 4 y=f(2)=2^2=4 y = f ( 2 ) = 2 2 = 4 より P( 2 , 4 ) \hspace{-3pt}(2, 4) ( 2 , 4 ) x = 1 x=1 x = 1 のとき y = f ( 1 ) = 1 2 = 1 y=f(1)=1^2=1 y = f ( 1 ) = 1 2 = 1 より Q( 1 , 1 ) \hspace{-3pt}(1, 1) ( 1 , 1 ) x = 0 x=0 x = 0 のとき y = f ( 0 ) = 0 2 = 0 y=f(0)=0^2=0 y = f ( 0 ) = 0 2 = 0 より R( 0 , 0 ) \hspace{-3pt}(0, 0) ( 0 , 0 ) x = − 1 x=-1 x = − 1 のとき y = f ( − 1 ) = ( − 1 ) 2 = 1 y=f(-1)={(-1)}^2=1 y = f ( − 1 ) = ( − 1 ) 2 = 1 より S( − 1 , 1 ) \hspace{-3pt}(-1, 1) ( − 1 , 1 ) x = − 2 x=-2 x = − 2 のとき y = f ( − 2 ) = ( − 2 ) 2 = 4 y=f(-2)={(-2)}^2=4 y = f ( − 2 ) = ( − 2 ) 2 = 4 より T( − 2 , 4 ) \hspace{-3pt}(-2, 4) ( − 2 , 4 )
ここからは具体的な f ( x ) f(x) f ( x ) は考えず、一般の関数 f ( x ) f(x) f ( x ) で話を進めていきます。後に、一般の場合で得た結論を、具体的な場合に適用していきます。
それでは、y = f ( x ) y=f(x) y = f ( x ) のグラフと、そのグラフ上の点AとBが下図のよう描かれたとして、直線ABの傾きを求めましょう。
直線ABの傾きを求める 上図の点Aの x x x 座標を a a a としたとき、点Aの y y y 座標は f ( a ) f(a) f ( a ) と表せるので、点Aの座標は A( a , f ( a ) ) \hspace{-3pt}(a, f(a)) ( a , f ( a )) となります。
\begin{align*}
x=a \xrightarrow[]{ y=f(x) } y=f(a) \Rightarrow A\hspace{-1pt}(a, f(a))
\end{align*}
同様に、上図の点Bの x x x 座標を b b b としたとき、点Bの y y y 座標は f ( b ) f(b) f ( b ) と表せるので、点Bの座標は B( b , f ( b ) ) \hspace{-3pt}(b, f(b)) ( b , f ( b )) となります。
\begin{align*}
x=b \xrightarrow[]{ y=f(x) } y=f(b) \Rightarrow B\hspace{-1pt}(b, f(b))
\end{align*}
図にすると下図のようになります。
すると、下図のように点Cを打つことによって
直線ABの傾きは
\begin{align*}
\\[-12pt]
直線ABの傾き&=\dfrac{y の増加量}{x の増加量}\\[10pt]
&=\dfrac{線分BCの長さ}{線分ACの長さ}
\end{align*}
で計算できます。この図より 線分ACの長さ = b − a =b-a = b − a 線分BCの長さ = f ( b ) − f ( a ) =f(b)-f(a) = f ( b ) − f ( a ) なので、直線ABの傾きは
直線ABの傾き a m p ; = 線分BCの長さ 線分ACの長さ a m p ; = f ( b ) − f ( a ) b − a ⋯ ( ∗ 1 ) \begin{align*}
\\[-12pt]
直線 AB の傾き&=\dfrac{線分BCの長さ}{線分ACの長さ}\\[10pt]
&=\dfrac{f(b)-f(a)}{b-a} \cdots (*1)
\end{align*} 直線ABの傾き am p ; = 線分ACの長さ 線分BCの長さ am p ; = b − a f ( b ) − f ( a ) ⋯ ( ∗ 1 )
この ( ∗ 1 ) (*1) ( ∗ 1 ) は、中学では変化の割合 、高校では平均変化率 という用語で習います。 ここで、この式を変形していきます。まず
b − a = h \begin{align*}
b-a=h\\
\end{align*} b − a = h
と置きます。つまり、線分ACの長さを h h h とします。
a a a を移項すると
b = a + h \begin{align*}
b=a+h\\
\end{align*} b = a + h
これを、( ∗ 1 ) (*1) ( ∗ 1 ) の a a a に代入(a a a を消去)すると
f ( b ) − f ( a ) b − a = f ( a + h ) − f ( a ) h ⋯ ( ∗ 2 ) \begin{align*}
\dfrac{f(b)-f(a)}{b-a}=\dfrac{f(a+h)-f(a)}{h} \cdots (*2)
\end{align*} b − a f ( b ) − f ( a ) = h f ( a + h ) − f ( a ) ⋯ ( ∗ 2 )
この b = a + h b=a+h b = a + h により、点Bの座標は B( b , f ( b ) ) = \hspace{-3pt}(b, f(b))= ( b , f ( b )) = B( a + h , f ( a + b ) ) \hspace{-3pt}(a+h, f(a+b)) ( a + h , f ( a + b )) となり、2点 A( a , f ( a ) ) \hspace{-3pt}(a, f(a)) ( a , f ( a )) 、B( a + h , f ( a + b ) ) \hspace{-3pt}(a+h, f(a+b)) ( a + h , f ( a + b )) を通る直線ABの傾きは ( ∗ 2 ) (*2) ( ∗ 2 ) 式
f ( a + h ) − f ( a ) h ⋯ ( ∗ 2 ) \begin{align*}
\dfrac{f(a+h)-f(a)}{h} \cdots (*2)
\end{align*} h f ( a + h ) − f ( a ) ⋯ ( ∗ 2 )
と表せます。h h h を用いて直線ABの傾きを表すことができました。
次に、この ( ∗ 2 ) (*2) ( ∗ 2 ) を用いて、点Aにおける接線AT(赤線)の傾きを求めます。
そのためには、新たに「極限」という概念を用います。
極限について 例えば、関数 f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 において、x x x が 2 2 2 と異なる値をとりながら 2 2 2 に限りなく近づくとき、f ( x ) f(x) f ( x ) の値は f ( 2 ) = 2 2 = 4 f(2)=2^2=4 f ( 2 ) = 2 2 = 4 という値に限りなく近づきます。
一般に、関数 f ( x ) f(x) f ( x ) において、x x x が a a a と異なる値をとりながら a a a に限りなく近づくとき、それに応じて f ( x ) f(x) f ( x ) のとる値が一定の値 A A A に限りなく近づくならば、この A A A を極限値 といい、記号 lim \lim lim を用いて次のように表します。
lim x → a f ( x ) = A \begin{align*}
\lim_{x\rightarrow a}f(x)=A
\end{align*} x → a lim f ( x ) = A
***
lim \lim lim は ”リミット” と読み、x → a x\hspace{-1pt}\rightarrow\hspace{-1pt}a x → a は x x x を a a a に近づけることを意味しています。
(例) lim x → 2 x 2 = 2 2 = 4 \underset{x\rightarrow 2}{\lim}\,x^2=2^2=4 x → 2 lim x 2 = 2 2 = 4 lim x → 0 x 2 = 0 2 = 0 \underset{x\rightarrow 0}{\lim}\,x^2=0^2=0 x → 0 lim x 2 = 0 2 = 0 lim x → 3 ( x 3 − 1 ) = 3 3 − 1 = 27 − 1 = 26 \underset{x\rightarrow 3}{\lim}(x^3-1)=3^3-1=27-1=26 x → 3 lim ( x 3 − 1 ) = 3 3 − 1 = 27 − 1 = 26 a a a を定数とするとき lim x → 0 ( x + a ) = 0 + a = a \underset{x\rightarrow 0}{\lim}(x+a)=0+a=a x → 0 lim ( x + a ) = 0 + a = a
簡単な場合は、上記の(例)のように、近づける x x x の値をそのまま x x x に代入すれば極限値は求まります。本記事ではこのような簡単なケースのみを扱います(分母が 0 0 0 になるなど、そのまま代入できないケースは、高校3年の数学Ⅲの微分積分で習います)。
さて、接線の傾きを求めるには、直線ABの傾き
f ( a + h ) − f ( a ) h ⋯ ( ∗ 2 ) \begin{align*}
\dfrac{f(a+h)-f(a)}{h} \cdots (*2)
\end{align*} h f ( a + h ) − f ( a ) ⋯ ( ∗ 2 )
に、この極限の考えを適用させます。
接線の傾きを求める方法 ( ∗ 2 ) (*2) ( ∗ 2 ) 式
f ( a + h ) − f ( a ) h ⋯ ( ∗ 2 ) \begin{align*}
\dfrac{f(a+h)-f(a)}{h} \cdots (*2)
\end{align*} h f ( a + h ) − f ( a ) ⋯ ( ∗ 2 )
は直線ABの傾きです。今から求めるのは、点Aにおける接線AT(赤線)の傾きです。
それには、先ほどの ( ∗ 2 ) (*2) ( ∗ 2 ) について、「h h h を 0 0 0 に限りなく近づけていく」という方法をとります。先ほど解説した極限の考えです。 まずは準備として、点Aを定点(動かない点)、点Bを動点(動く点)とします。点Aはグラフ上に固定された点、点Bはグラフ上を動く点です。
ここで、h h h を 0 0 0 に限りなく近づけていくと、a + h ( = b ) a+h (=b) a + h ( = b ) は a a a に限りなく近づいていきます。つまり
lim h → 0 ( a + h ) a m p ; = a + 0 ( h = 0 n b s p ; を代入) a m p ; = a \begin{align*}
\lim_{h\rightarrow 0}(a+h)&=a+0(h=0 を代入)\\
&=a
\end{align*} h → 0 lim ( a + h ) am p ; = a + 0 ( h = 0 am p ; = a nb s p ; を代入)
すると、それに対応して、動点Bは定点Aに限りなく近づいていきます。
点Aは定点で、点Bが動く点なので、BがAに近づいていくことに注意します。 さらに、動点Bが定点Aに限りなく近づいていくと、直線ABは接線AT(赤線)に限りになく近づいていくことが見て取れます。
つまり、先ほどの直線ABの傾き
f ( a + h ) − f ( a ) h ⋯ ( ∗ 2 ) \begin{align*}
\dfrac{f(a+h)-f(a)}{h} \cdots (*2)
\end{align*} h f ( a + h ) − f ( a ) ⋯ ( ∗ 2 )
について、h h h を 0 0 0 に限りなく近づけることによって、( ∗ 2 ) (*2) ( ∗ 2 ) が限りなく一定の値に近づくならば、その近づく値(極限値)が点Aにおける接戦の傾きとなります。 それを、極限の記号 lim \lim lim を用いると、接線 ATの傾きは
lim h → 0 f ( a + h ) − f ( a ) h ⋯ ( ∗ 3 ) \begin{align*}
\lim_{h\rightarrow0}\dfrac{f(a+h)-f(a)}{h} \cdots (*3)
\end{align*} h → 0 lim h f ( a + h ) − f ( a ) ⋯ ( ∗ 3 )
となります。h → 0 h\hspace{-1pt}\rightarrow\hspace{-1pt}0 h → 0 のときの極限値が点Aにおける接戦の傾きです。 この ( ∗ 3 ) (*3) ( ∗ 3 ) について、改めてきちんとした定義を与えます。
微分係数の定義 関数 f ( x ) f(x) f ( x ) が定義されている(つまり f ( x ) f(x) f ( x ) が計算できる)区間の x x x の値 a a a に対して
lim h → 0 f ( a + h ) − f ( a ) h ⋯ ( ∗ 3 ) \begin{align*}
\lim_{h\rightarrow0}\dfrac{f(a+h)-f(a)}{h} \cdots (*3)
\end{align*} h → 0 lim h f ( a + h ) − f ( a ) ⋯ ( ∗ 3 )
の極限値が存在するならば、これを f ( x ) f(x) f ( x ) の x = a x=a x = a における微分係数 といい、f ′ ( a ) f'(a) f ′ ( a ) と表します。つまり
f ′ ( a ) = lim h → 0 f ( a + h ) − f ( a ) h \begin{align*}
f'(a)=\lim_{h\rightarrow0}\dfrac{f(a+h)-f(a)}{h}
\end{align*} f ′ ( a ) = h → 0 lim h f ( a + h ) − f ( a )
このとき、f ( x ) f(x) f ( x ) は x = a x=a x = a において微分可能 であるといいます。
***
この f ′ ( a ) f'(a) f ′ ( a ) は、”f f f ダッシュ a a a ” や ”f f f プライム a a a ” と読みます。高校ではダッシュ、大学ではプライムが多く使われるようです。
微分係数の図形的意味 一般に、曲線上に定点Aと動点Bがあって、Bが曲線上を移動しながらAに限りなく近づくとき、直線ABが一定の直線ATに限りなく近づくならば、直線ATを点Aにおける曲線の接線 といい、Aをこの接線の接点 といいます。 したがって、x = a x=a x = a における関数 f ( x ) f(x) f ( x ) の微分係数
f ′ ( a ) = lim h → 0 f ( a + h ) − f ( a ) h \begin{align*}
f'(a)=\lim_{h\rightarrow0}\dfrac{f(a+h)-f(a)}{h}
\end{align*} f ′ ( a ) = h → 0 lim h f ( a + h ) − f ( a )
は、y = f ( x ) y=f(x) y = f ( x ) のグラフ上の点 A( a , f ( a ) ) \hspace{-3pt}(a, f(a)) ( a , f ( a )) における接線の傾き を表します。
***
微分係数の具体例 例えば、f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 として、そのときの x = 2 x=2 x = 2 における微分係数 f ′ ( 2 ) f'(2) f ′ ( 2 ) を計算してみます。 中学で習う展開公式 ( a + b ) 2 = a 2 + 2 a b + b 2 (a+b)^2=a^2+2ab+b^2 ( a + b ) 2 = a 2 + 2 ab + b 2 を用いて
f ( 2 + h ) a m p ; = ( 2 + h ) 2 a m p ; = 2 2 + 2 ⋅ 2 ⋅ h + h 2 a m p ; = 4 + 4 h + h 2 f ( 2 ) a m p ; = 2 2 a m p ; = 4 \begin{align*}
f(2+h)&=(2+h)^2\\
&=2^2+2\cdot2\cdot h+h^2\\
&=4+4h+h^2\\
f(2)&=2^2\\
&=4
\end{align*} f ( 2 + h ) f ( 2 ) am p ; = ( 2 + h ) 2 am p ; = 2 2 + 2 ⋅ 2 ⋅ h + h 2 am p ; = 4 + 4 h + h 2 am p ; = 2 2 am p ; = 4
より
f ′ ( 2 ) a m p ; = lim h → 0 f ( 2 + h ) − f ( 2 ) h a m p ; = lim h → 0 4 + 4 h + h 2 − 4 h a m p ; = lim h → 0 4 h + h 2 h a m p ; = lim h → 0 ( 4 + h ) h h a m p ; = lim h → 0 ( 4 + h ) a m p ; = 4 + 0 ( h = 0 n b s p ; を代入) a m p ; = 4 \begin{align*}
f'(2)&=\lim_{h\rightarrow0}\dfrac{f(2+h)-f(2)}{h}\\
&=\lim_{h\rightarrow0}\dfrac{\cancel{4}+4h+h^2-\cancel{4}}{h}\\
&=\lim_{h\rightarrow0}\dfrac{4h+h^2}{h}\\
&=\lim_{h\rightarrow0}\dfrac{(4+h)\cancel{h}}{\cancel{h}}\\
&=\lim_{h\rightarrow0}(4+h)\\
&=4+0(h=0 を代入)\\
&=4
\end{align*} f ′ ( 2 ) am p ; = h → 0 lim h f ( 2 + h ) − f ( 2 ) am p ; = h → 0 lim h 4 + 4 h + h 2 − 4 am p ; = h → 0 lim h 4 h + h 2 am p ; = h → 0 lim h ( 4 + h ) h am p ; = h → 0 lim ( 4 + h ) am p ; = 4 + 0 ( h = 0 am p ; = 4 nb s p ; を代入)
よって、f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 の x = 2 x=2 x = 2 における微分係数は
f ′ ( 2 ) = 4 \begin{align*}
f'(2)=4
\end{align*} f ′ ( 2 ) = 4
となります。そしてそれが、グラフ y = x 2 y=x^2 y = x 2 上の点 ( 2 , f ( 2 ) ) = ( 2 , 4 ) (2, f(2))=(2, 4) ( 2 , f ( 2 )) = ( 2 , 4 ) における接線の傾きになります。
導関数の定義 先ほどの微分係数
f ′ ( a ) = lim h → 0 f ( a + h ) − f ( a ) h \begin{align*}
f'(a)=\lim_{h\rightarrow0}\dfrac{f(a+h)-f(a)}{h}
\end{align*} f ′ ( a ) = h → 0 lim h f ( a + h ) − f ( a )
について、次のように、すべての a a a を x x x に置き換えた関数 f ′ ( x ) f'(x) f ′ ( x ) を導関数 といいます。
f ′ ( x ) = lim h → 0 f ( x + h ) − f ( x ) h \begin{align*}
f'(x)=\lim_{h\rightarrow0}\dfrac{f(x+h)-f(x)}{h}
\end{align*} f ′ ( x ) = h → 0 lim h f ( x + h ) − f ( x )
***
関数 f ( x ) f(x) f ( x ) から導関数 f ′ ( x ) f'(x) f ′ ( x ) を求めることを、f ( x ) f(x) f ( x ) を微分する といいます。肩に付いている記号 ”′ ' ′ ” は微分するという記号です。 この f ′ ( x ) f'(x) f ′ ( x ) は、”f f f ダッシュ x x x ” や ”f f f プライム x x x ” と読みます。f ′ ( a ) f'(a) f ′ ( a ) のときと同様に、高校ではダッシュ、大学ではプライムが多く使われるようです。 微分係数 f ′ ( a ) f'(a) f ′ ( a ) は具体的な値ですが、f ′ ( x ) f'(x) f ′ ( x ) は x x x の関数となります。x x x を決めることで f ′ ( x ) f'(x) f ′ ( x ) の具体的な値が決まります。
\begin{align*}
x=a \xrightarrow[]{ f'(x) } f'(a) と決まる
\end{align*}
そして f ′ ( x ) f'(x) f ′ ( x ) は、グラフ y = f ( x ) y=f(x) y = f ( x ) 上の点 ( x , f ( x ) ) (x, f(x)) ( x , f ( x )) における接線の傾きを表します。
導関数の具体例 それでは、いくつかの簡単な関数について、その導関数を求めてみます。
(例1)f ( x ) = x f(x)=x f ( x ) = x の導関数を求める。
f ( x + h ) = x + h \begin{align*}
f(x+h)=x+h
\end{align*} f ( x + h ) = x + h
より
f ′ ( x ) a m p ; = lim h → 0 f ( x + h ) − f ( x ) h a m p ; = lim h → 0 x + h − x h a m p ; = lim h → 0 h h a m p ; = lim h → 0 1 \begin{align*}
f'(x)&=\lim_{h\rightarrow0}\dfrac{f(x+h)-f(x)}{h}\\
&=\lim_{h\rightarrow0}\dfrac{\cancel{x}+h-\cancel{x}}{h}\\
&=\lim_{h\rightarrow0}\dfrac{\cancel{h}}{\cancel{h}}\\
&=\lim_{h\rightarrow0}1
\end{align*} f ′ ( x ) am p ; = h → 0 lim h f ( x + h ) − f ( x ) am p ; = h → 0 lim h x + h − x am p ; = h → 0 lim h h am p ; = h → 0 lim 1
この場合、h h h に関係なく定数 1 1 1 と定まっているので
f ′ ( x ) a m p ; = lim h → 0 1 a m p ; = 1 \begin{align*}
f'(x)&=\lim_{h\rightarrow0}1\\
&=1
\end{align*} f ′ ( x ) am p ; = h → 0 lim 1 am p ; = 1
よって、f ( x ) = x f(x)=x f ( x ) = x の導関数は
f ′ ( x ) = 1 \begin{align*}
f'(x)=1
\end{align*} f ′ ( x ) = 1
これを
( x ) ′ = 1 \begin{align*}
(x)'=1
\end{align*} ( x ) ′ = 1
と表すこともあります。これは、直線 y = x y=x y = x の傾きと同じになります。
(例2)f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 の導関数を求める。
中学で習う2乗の展開公式 ( a + b ) 2 = a 2 + 2 a b + b 2 (a+b)^2=a^2+2ab+b^2 ( a + b ) 2 = a 2 + 2 ab + b 2 を用いて
f ( x + h ) a m p ; = ( x + h ) 2 a m p ; = x 2 + 2 x h + h 2 \begin{align*}
f(x+h)&=(x+h)^2\\
&=x^2+2xh+h^2\\
\end{align*} f ( x + h ) am p ; = ( x + h ) 2 am p ; = x 2 + 2 x h + h 2
より
f ′ ( x ) a m p ; = lim h → 0 f ( x + h ) − f ( x ) h a m p ; = lim h → 0 x 2 + 2 x h + h 2 − x 2 h a m p ; = lim h → 0 2 x h + h 2 h a m p ; = lim h → 0 ( 2 x + h ) h h a m p ; = lim h → 0 ( 2 x + h ) a m p ; = 2 x + 0 ( h = 0 n b s p ; を代入) a m p ; = 2 x \begin{align*}
f'(x)&=\lim_{h\rightarrow0}\dfrac{f(x+h)-f(x)}{h}\\
&=\lim_{h\rightarrow0}\dfrac{\cancel{x^2}+2xh+h^2-\cancel{x^2}}{h}\\
&=\lim_{h\rightarrow0}\dfrac{2xh+h^2}{h}\\
&=\lim_{h\rightarrow0}\dfrac{(2x+h)\cancel{h}}{\cancel{h}}\\
&=\lim_{h\rightarrow0}(2x+h)\\
&=2x+0(h=0 を代入)\\
&=2x
\end{align*} f ′ ( x ) am p ; = h → 0 lim h f ( x + h ) − f ( x ) am p ; = h → 0 lim h x 2 + 2 x h + h 2 − x 2 am p ; = h → 0 lim h 2 x h + h 2 am p ; = h → 0 lim h ( 2 x + h ) h am p ; = h → 0 lim ( 2 x + h ) am p ; = 2 x + 0 ( h = 0 am p ; = 2 x nb s p ; を代入)
よって、f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 の導関数は
f ′ ( x ) = 2 x \begin{align*}
f'(x)=2x
\end{align*} f ′ ( x ) = 2 x
これを
( x 2 ) ′ = 2 x \begin{align*}
(x^2)'=2x
\end{align*} ( x 2 ) ′ = 2 x
と表すこともあります。 この f ′ ( x ) = 2 x f'(x)=2x f ′ ( x ) = 2 x に x = 1 , 2 , 3 x=1, 2, 3 x = 1 , 2 , 3 を代入してみると f ′ ( 1 ) = 2 ⋅ 1 = 2 f'(1)=2\cdot1=2 f ′ ( 1 ) = 2 ⋅ 1 = 2 f ′ ( 2 ) = 2 ⋅ 2 = 4 f'(2)=2\cdot2=4 f ′ ( 2 ) = 2 ⋅ 2 = 4 f ′ ( 3 ) = 2 ⋅ 3 = 6 f'(3)=2\cdot3=6 f ′ ( 3 ) = 2 ⋅ 3 = 6 と、順に大きくなることが分かります。 このことから、x x x が大きくなるにつれて、放物線 y = x 2 y=x^2 y = x 2 に接する接線の傾きは大きくなることが見て取れます。
このように、導関数を調べることによって、接線の傾きの動向、ひいては曲線の曲がり具合(どんな感じでグラフが増減しているか)を知ることができます。
(例3)f ( x ) = x 3 f(x)=x^3 f ( x ) = x 3 の導関数を求める。
高校で習う3乗の展開公式 ( a + b ) 3 = a 3 + 3 a 2 b + 3 a b 2 + b 3 (a+b)^3=a^3+3a^2b+3ab^2+b^3 ( a + b ) 3 = a 3 + 3 a 2 b + 3 a b 2 + b 3 を用いて
f ( x + h ) a m p ; = ( x + h ) 3 a m p ; = x 3 + 3 x 2 h + 3 x h 2 + h 3 \begin{align*}
f(x+h)&=(x+h)^3\\
&=x^3+3x^2h+3xh^2+h^3
\end{align*} f ( x + h ) am p ; = ( x + h ) 3 am p ; = x 3 + 3 x 2 h + 3 x h 2 + h 3
より
f ′ ( x ) a m p ; = lim h → 0 f ( x + h ) − f ( x ) h a m p ; = lim h → 0 x 3 + 3 x 2 h + 3 x h 2 + h 3 − x 3 h a m p ; = lim h → 0 3 x 2 h + 3 x h 2 + h 3 h a m p ; = lim h → 0 ( 3 x 2 + 3 x h + h 2 ) h h a m p ; = lim h → 0 ( 3 x 2 + 3 x h + h 2 ) a m p ; = 3 x 2 + 3 x ⋅ 0 + 0 2 ( h = 0 n b s p ; を代入) a m p ; = 3 x 2 \begin{align*}
f'(x)&=\lim_{h \rightarrow 0}\dfrac{f(x+h)-f(x)}{h}\\
&=\lim_{h \rightarrow 0}\dfrac{\cancel{x^3}+3x^2h+3xh^2+h^3-\cancel{x^3}}{h}\\
&=\lim_{h \rightarrow 0}\dfrac{3x^2h+3xh^2+h^3}{h}\\
&=\lim_{h \rightarrow 0}\dfrac{(3x^2+3xh+h^2)\cancel{h}}{\cancel{h}}\\
&=\lim_{h \rightarrow 0}(3x^2+3xh+h^2)\\
&=3x^2+3x\cdot0+0^2(h=0 を代入)\\
&=3x^2
\end{align*} f ′ ( x ) am p ; = h → 0 lim h f ( x + h ) − f ( x ) am p ; = h → 0 lim h x 3 + 3 x 2 h + 3 x h 2 + h 3 − x 3 am p ; = h → 0 lim h 3 x 2 h + 3 x h 2 + h 3 am p ; = h → 0 lim h ( 3 x 2 + 3 x h + h 2 ) h am p ; = h → 0 lim ( 3 x 2 + 3 x h + h 2 ) am p ; = 3 x 2 + 3 x ⋅ 0 + 0 2 ( h = 0 am p ; = 3 x 2 nb s p ; を代入)
よって、f ( x ) = x 3 f(x)=x^3 f ( x ) = x 3 の導関数は
f ′ ( x ) = 3 x 2 \begin{align*}
f'(x)=3x^2
\end{align*} f ′ ( x ) = 3 x 2
これを
( x 3 ) ′ = 3 x 2 \begin{align*}
(x^3)'=3x^2
\end{align*} ( x 3 ) ′ = 3 x 2
と表すこともあります。
微分の公式 ここまでの結果をまとめてみましょう。
f ( x ) = x f(x)=x f ( x ) = x を微分すると f ′ ( x ) = 1 f'(x)=1 f ′ ( x ) = 1 f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 を微分すると f ′ ( x ) = 2 x f'(x)=2x f ′ ( x ) = 2 x f ( x ) = x 3 f(x)=x^3 f ( x ) = x 3 を微分すると f ′ ( x ) = 3 x 2 f'(x)=3x^2 f ′ ( x ) = 3 x 2 以上のことを一般化して、次のように公式化することができます。
<微分の公式1> n n n は自然数(n = 1 , 2 , 3 , ⋯ n=1, 2, 3, \cdots n = 1 , 2 , 3 , ⋯ )のとき、 f ( x ) = x n f(x)=x^n f ( x ) = x n を微分すると
f ′ ( x ) = n x n − 1 \begin{align*}
f'(x)=nx^{n-1}
\end{align*} f ′ ( x ) = n x n − 1
これを、次にように表すこともあります。
( x n ) ′ = n x n − 1 \begin{align*}
(x^n)'=nx^{n-1}
\end{align*} ( x n ) ′ = n x n − 1
ただし、n n n は自然数(n = 1 , 2 , 3 , ⋯ n=1, 2, 3, \cdots n = 1 , 2 , 3 , ⋯ )。
***
f ( x ) = x n f(x)=x^n f ( x ) = x n を微分すると、指数(肩にある数)n n n が係数になり、微分後の指数は 1 1 1 だけ減って n − 1 n-1 n − 1 になります。
この公式をそのまま適用すれば
f ( x ) = x 4 f(x)=x^4 f ( x ) = x 4 を微分すると
f ′ ( x ) = 4 x 4 − 1 = 4 x 3 \begin{align*}
f'(x)=4x^{4-1}=4x^3
\end{align*} f ′ ( x ) = 4 x 4 − 1 = 4 x 3
f ( x ) = x 5 f(x)=x^5 f ( x ) = x 5 を微分すると
f ′ ( x ) = 5 x 5 − 1 = 5 x 4 \begin{align*}
f'(x)=5x^{5-1}=5x^4
\end{align*} f ′ ( x ) = 5 x 5 − 1 = 5 x 4
⋮ \hspace{37pt}\vdots ⋮ f ( x ) = x 10 f(x)=x^{10} f ( x ) = x 10 を微分すると
f ′ ( x ) = 10 x 10 − 1 = 10 x 9 \begin{align*}
f'(x)=10x^{10-1}=10x^9
\end{align*} f ′ ( x ) = 10 x 10 − 1 = 10 x 9
以下同様と、形式的に微分できます。導関数の定義
f ′ ( x ) = lim h → 0 f ( x + h ) − f ( x ) h \begin{align*}
f'(x)=\lim_{h\,\rightarrow\,0}\dfrac{f(x+h)-f(x)}{h}
\end{align*} f ′ ( x ) = h → 0 lim h f ( x + h ) − f ( x )
に従って計算することも可能ですが、この微分の公式を使えば簡単に計算することができます。わざわざ導関数の定義に戻る必要はありません。
この公式の延長として、いろいろな関数の微分が次のように計算可能です。
f ( x ) = 4 x 3 f(x)=4x^3 f ( x ) = 4 x 3 を微分すると
f ′ ( x ) = a m p ; 4 ⋅ ( x 3 ) ′ = a m p ; 4 ⋅ 3 x 2 = a m p ; 12 x 2 \begin{align*}
f'(x)=&4\cdot(x^3)'\\
=&4\cdot3x^2\\
=&12x^2
\end{align*} f ′ ( x ) = = = am p ; 4 ⋅ ( x 3 ) ′ am p ; 4 ⋅ 3 x 2 am p ; 12 x 2
係数 4 4 4 は微分 ( ) ′ ( )' ( ) ′ の外に出し、x 3 x^3 x 3 の部分を微分します。
f ( x ) = 2 x 3 + 5 x 2 − 4 x f(x)=2x^3+5x^2-4x f ( x ) = 2 x 3 + 5 x 2 − 4 x を微分すると
f ′ ( x ) a m p ; = 2 ⋅ ( x 3 ) ′ + 5 ⋅ ( x 2 ) ′ − 4 ⋅ ( x ) ′ a m p ; = 2 ⋅ 3 x 2 + 5 ⋅ 2 x − 4 ⋅ 1 a m p ; = 6 x 2 + 10 x − 4 \begin{align*}
f'(x)&=2\cdot(x^3)'+5\cdot(x^2)'-4\cdot(x)'\\
&=2\cdot3x^2+5\cdot2x-4\cdot1\\
&=6x^2+10x-4
\end{align*} f ′ ( x ) am p ; = 2 ⋅ ( x 3 ) ′ + 5 ⋅ ( x 2 ) ′ − 4 ⋅ ( x ) ′ am p ; = 2 ⋅ 3 x 2 + 5 ⋅ 2 x − 4 ⋅ 1 am p ; = 6 x 2 + 10 x − 4
いくつかの関数のたし算ひき算で表されている場合は、それぞれの関数を別々に微分します。 これらは次のように公式化されます。微分するときは、これらの公式を用います。
<微分の公式2> 1. k k k を定数(実数)とするとき y = k f ( x ) y=kf(x) y = k f ( x ) ならば y ′ = k f ′ ( x ) y'=kf'(x) y ′ = k f ′ ( x ) 2. y = f ( x ) + g ( x ) y=f(x)+g(x) y = f ( x ) + g ( x ) ならば y ′ = f ′ ( x ) + g ′ ( x ) y'=f'(x)+g'(x) y ′ = f ′ ( x ) + g ′ ( x ) 3. y = f ( x ) − g ( x ) y=f(x)-g(x) y = f ( x ) − g ( x ) ならば y ′ = f ′ ( x ) − g ′ ( x ) y'=f'(x)-g'(x) y ′ = f ′ ( x ) − g ′ ( x ) 4. k , l k, l k , l を定数(実数)とするとき y = k f ( x ) + l g ( x ) y=kf(x)+lg(x) y = k f ( x ) + l g ( x ) ならば y ′ = k f ′ ( x ) + l g ′ ( x ) y'=kf'(x)+lg'(x) y ′ = k f ′ ( x ) + l g ′ ( x )
***
1. 2. 3. を一般化したのが 4. です。 直感的に理解しやすいので割愛しますが、これらも導関数の定義に従って証明されます。
なお、上記では指数部分 n n n は自然数としていますが、次のように実数まで拡張することが可能です(高校の数学Ⅲの微分積分で習います)。
<微分の公式3> α \alpha α を任意の実数とするとき、f ( x ) = x α f(x)=x^{\alpha} f ( x ) = x α を微分すると
f ′ ( x ) = α x α − 1 \begin{align*}
f'(x)=\alpha x^{\alpha-1}
\end{align*} f ′ ( x ) = α x α − 1
***
(例1)f ( x ) = x 3 2 f(x)=x^{\frac{3}{2}} f ( x ) = x 2 3 を微分すると
f ′ ( x ) = 3 2 x 3 2 − 1 = 3 2 x 3 2 − 2 2 = 3 2 x 1 2 \begin{align*}
f'(x)=\dfrac{3}{2}x^{\frac{3}{2}-1}=\dfrac{3}{2}x^{\frac{3}{2}-\frac{2}{2}}=\dfrac{3}{2}x^{\frac{1}{2}}
\end{align*} f ′ ( x ) = 2 3 x 2 3 − 1 = 2 3 x 2 3 − 2 2 = 2 3 x 2 1
(例2)f ( x ) = x 2 f(x)=x^{\sqrt{2}} f ( x ) = x 2 を微分すると
f ′ ( x ) = 2 x 2 − 1 \begin{align*}
f'(x)=\sqrt{2}x^{\sqrt{2}-1}
\end{align*} f ′ ( x ) = 2 x 2 − 1
定数関数の微分 例えば f ( x ) = 3 f(x)=3 f ( x ) = 3 という関数を考えます。これは f ( 1 ) = 3 f(1)=3 f ( 1 ) = 3 f ( 2 ) = 3 f(2)=3 f ( 2 ) = 3 f ( 3 ) = 3 f(3)=3 f ( 3 ) = 3 ⋮ \hspace{18pt}\vdots ⋮ と、x x x に何を代入しても定数 3 3 3 となる関数です。このような関数を定数関数といいます。定数関数は、微分すると常に 0 0 0 になります。 例えば、先ほどの定数関数 f ( x ) = 3 f(x)=3 f ( x ) = 3 を微分すると f ′ ( x ) = 0 f'(x)=0 f ′ ( x ) = 0 です。確認のため、定数関数の微分が 0 0 0 になることを、導関数の定義に従って証明します。
(証明) f ( x ) = C f(x)=C\hspace{-5pt} f ( x ) = C (定数)とすると f ( x + h ) = C f(x+h)=C f ( x + h ) = C (定数関数なので C C C のまま) より
f ′ ( x ) a m p ; = lim h → 0 f ( x + h ) − f ( x ) h a m p ; = lim h → 0 C − C h a m p ; = lim h → 0 0 h a m p ; = lim h → 0 0 a m p ; = 0 \begin{align*}
f'(x)&=\lim_{h\,\rightarrow\,0}\dfrac{f(x+h)-f(x)}{h}\\
&=\lim_{h\,\rightarrow\,0}\dfrac{C-C}{h}\\
&=\lim_{h\,\rightarrow\,0}\dfrac{0}{h}\\
&=\lim_{h\,\rightarrow\,0}0\\
&=0
\end{align*} f ′ ( x ) am p ; = h → 0 lim h f ( x + h ) − f ( x ) am p ; = h → 0 lim h C − C am p ; = h → 0 lim h 0 am p ; = h → 0 lim 0 am p ; = 0
よって、f ( x ) = C f(x)=C\hspace{-5pt} f ( x ) = C (定数)を微分すると
f ′ ( x ) = 0 \begin{align*}
f'(x)=0
\end{align*} f ′ ( x ) = 0
これを
( c ) ′ = 0 \begin{align*}
(c)'=0
\end{align*} ( c ) ′ = 0
と表すこともあります。
(例)f ( x ) = 7 f(x)=7 f ( x ) = 7 を微分すると f ′ ( x ) = 0 f'(x)=0 f ′ ( x ) = 0 これを、( 7 ) ′ = 0 (7)'=0 ( 7 ) ′ = 0 と表すこともあります。
確認として、練習問題とその解答を与えます。
練習問題 次の式を微分しなさい。 (1) f ( x ) = 6 x 5 f(x)=6x^5 f ( x ) = 6 x 5 (2) f ( x ) = − 3 x 4 + 2 x 3 − 4 x + 5 f(x)=-3x^4+2x^3-4x+5 f ( x ) = − 3 x 4 + 2 x 3 − 4 x + 5
(解答) (1)
f ′ ( x ) a m p ; = 6 ⋅ ( x 5 ) ′ a m p ; = 6 ⋅ 5 x 4 a m p ; = 30 x 4 \begin{align*}
f'(x)&=6\cdot(x^5)'\\
&=6\cdot5x^4\\
&=30x^4
\end{align*} f ′ ( x ) am p ; = 6 ⋅ ( x 5 ) ′ am p ; = 6 ⋅ 5 x 4 am p ; = 30 x 4
(2)
f ′ ( x ) a m p ; = − 3 ⋅ ( x 4 ) ′ + 2 ⋅ ( x 3 ) ′ − 4 ⋅ ( x ) ′ + ( 5 ) ′ a m p ; = − 3 ⋅ 4 x 3 + 2 ⋅ 3 x 2 − 4 ⋅ 1 + 0 a m p ; = − 12 x 3 + 6 x 2 − 4 \begin{align*}
f'(x)&=-3\cdot(x^4)'+2\cdot(x^3)'-4\cdot(x)'+(5)'\\
&=-3\cdot4x^3+2\cdot3x^2-4\cdot1+0\\
&=-12x^3+6x^2-4
\end{align*} f ′ ( x ) am p ; = − 3 ⋅ ( x 4 ) ′ + 2 ⋅ ( x 3 ) ′ − 4 ⋅ ( x ) ′ + ( 5 ) ′ am p ; = − 3 ⋅ 4 x 3 + 2 ⋅ 3 x 2 − 4 ⋅ 1 + 0 am p ; = − 12 x 3 + 6 x 2 − 4
導関数のいろいろな表記方法 関数 y = f ( x ) y=f(x) y = f ( x ) の導関数 f ′ ( x ) f'(x) f ′ ( x ) は、次のように表すこともあります。
d f ( x ) d x , n b s p ; n b s p ; d d x f ( x ) , n b s p ; n b s p ; y ′ , n b s p ; n b s p ; d y d x , n b s p ; n b s p ; d d x y \begin{align*}
\dfrac{df(x)}{dx}, \dfrac{d}{dx}f(x), y', \dfrac{dy}{dx}, \dfrac{d}{dx}y
\end{align*} d x df ( x ) , nb s p ; nb s p ; d x d f ( x ) , nb s p ; nb s p ; y ′ , nb s p ; nb s p ; d x d y , nb s p ; nb s p ; d x d y
例えば、f ( x ) = x 3 f(x)=x^3 f ( x ) = x 3 の導関数は次のように表せます。
d f ( x ) d x a m p ; = 3 x 2 d d x f ( x ) a m p ; = 3 x 2 \begin{align*}
\dfrac{df(x)}{dx}&=3x^2\\
\dfrac{d}{dx}f(x)&=3x^2
\end{align*} d x df ( x ) d x d f ( x ) am p ; = 3 x 2 am p ; = 3 x 2
d f ( x ) d x \dfrac{df(x)}{dx} d x df ( x ) は ”ディー f ( x ) f(x) f ( x ) ディー x x x ” と読みます。 また、d d x f ( x ) \dfrac{d}{dx}f(x) d x d f ( x ) は ”ディー ディー x x x f ( x ) f(x) f ( x ) ” と読みます。 分数の形をしていますが、分数ではないので上から読み上げます。
さらに、y = x 3 y=x^3 y = x 3 と与えられた場合は、その微分は y y y を用いて次のように表せます。
y ′ a m p ; = 3 x 2 d y d x a m p ; = 3 x 2 d d x y a m p ; = 3 x 2 \begin{align*}
y'&=3x^2\\
\dfrac{dy}{dx}&=3x^2\\
\dfrac{d}{dx}y&=3x^2
\end{align*} y ′ d x d y d x d y am p ; = 3 x 2 am p ; = 3 x 2 am p ; = 3 x 2
この d d x \dfrac{d}{dx} d x d という分数表記のメリットは、d d x \dfrac{d}{dx} d x d の分母の x x x を見ることによって、「x x x で微分する」ということがはっきりと分かることです。今の時点では必要性を感じませんが、最後に述べる偏微分でその必要性が分かります。
いろいろな関数の微分 ここでは、いろいろな関数の微分を紹介します。これらは公式として用いられます。いずれも導関数の定義に従えば証明できますが、ここでは結果だけを列挙します(高校の数学Ⅲの微分積分で習います)。
<三角関数の微分> ( sin x ) ′ = cos x (\sin x)'=\cos x ( sin x ) ′ = cos x ( cos x ) ′ = − sin x (\cos x)'=-\sin x ( cos x ) ′ = − sin x ( tan x ) ′ = 1 cos 2 x (\tan x)'=\dfrac{1}{\cos^2x} ( tan x ) ′ = cos 2 x 1
<対数関数の微分> ( log a x ) ′ = 1 x log a (\log_a x)'=\dfrac{1}{x\log a} ( log a x ) ′ = x log a 1 (a a a は 1 1 1 でない正の定数) ( log x ) ′ = 1 x (\log x)'=\dfrac{1}{x} ( log x ) ′ = x 1 なお、log x \log x log x は e e e を底とする対数で log e x = log x \log_e x=\log x log e x = log x と e e e を省略して書くのが普通です。この e e e は e = 2.71828 ⋯ e=2.71828 \cdots e = 2.71828 ⋯ となる無理数の定数で、ネイピア数(Napier's constant)とよばれています。 この e e e を低とする対数 log x \log x log x を、x x x の自然対数 といいます。 また、10 10 10 を低とする対数 log 10 x \log_{10} x log 10 x を、x x x の常用対数 といいます。
<指数関数の微分> ( a x ) ′ = a x log a (a^x)'=a^x\log a ( a x ) ′ = a x log a (a a a は 1 1 1 でない正の定数) ( e x ) ′ = e x (e^x)'=e^x ( e x ) ′ = e x
最後の e x e^x e x は、微分しても変化しない関数です。先に書いたように、e e e は無理数の定数(ネイピア数)です。 数学、物理、工学など、勉強が進めばこの e x e^x e x が重要な役割を演じることになるので、最後の
( e x ) ′ = e x (微分しても変わらない) \begin{align*}
(e^x)'=e^x(微分しても変わらない)
\end{align*} ( e x ) ′ = e x (微分しても変わらない)
は特に押さえておきましょう。
高次導関数 関数 y = f ( x ) y=f(x) y = f ( x ) の導関数 f ′ ( x ) f'(x) f ′ ( x ) のさらに導関数を、f ( x ) f(x) f ( x ) の第2次導関数 といい、次のように表します。
y ′ ′ , n b s p ; n b s p ; d 2 y d x 2 , n b s p ; n b s p ; d 2 d x 2 y , n b s p ; n b s p ; f ′ ′ ( x ) , n b s p ; n b s p ; d 2 f ( x ) d x 2 , n b s p ; n b s p ; d 2 d x 2 f ( x ) \begin{align*}
y'', \dfrac{d^2y}{dx^2}, \dfrac{d^2}{dx^2}y, f''(x), \dfrac{d^2f(x)}{dx^2}, \dfrac{d^2}{dx^2}f(x)
\end{align*} y ′′ , nb s p ; nb s p ; d x 2 d 2 y , nb s p ; nb s p ; d x 2 d 2 y , nb s p ; nb s p ; f ′′ ( x ) , nb s p ; nb s p ; d x 2 d 2 f ( x ) , nb s p ; nb s p ; d x 2 d 2 f ( x )
つまり、関数 f ( x ) f(x) f ( x ) を2回連続して微分すると第2次導関数 f ′ ′ ( x ) f''(x) f ′′ ( x ) が得られます。
f ( x ) → 1回目の微分 f ′ ( x ) → 2回目の微分 f ′ ′ ( x ) \begin{align*}
\\[-14pt]
f(x) \xrightarrow[]{\hspace{-3pt}1回目の微分} f'(x) \xrightarrow[]{\hspace{-3pt}2回目の微分} f''(x)
\end{align*} f ( x ) 1回目の微分 f ′ ( x ) 2回目の微分 f ′′ ( x )
「′ ′ '' ′′ 」は ”ダブルプライム” や ”ツーダッシュ” と読みます。 これに対して、f ′ ( x ) f'(x) f ′ ( x ) を f ( x ) f(x) f ( x ) の第1次導関数 といいます。 関数 f ( x ) f(x) f ( x ) から第2次導関数 f ′ ′ ( x ) f''(x) f ′′ ( x ) を求めることを、f ( x ) f(x) f ( x ) を2階微分する といいます。 例えば、f ( x ) = 2 x 5 + 4 x 3 f(x)=2x^5+4x^3 f ( x ) = 2 x 5 + 4 x 3 の第1次導関数は
f ′ ( x ) a m p ; = 2 ( x 5 ) ′ + 4 ( x 3 ) ′ a m p ; = 2 ⋅ 5 x 4 + 4 ⋅ 3 x 2 a m p ; = 10 x 4 + 12 x 2 \begin{align*}
f'(x)&=2(x^5)'+4(x^3)'\\
&=2\cdot5x^4+4\cdot3x^2\\
&=10x^4+12x^2
\end{align*} f ′ ( x ) am p ; = 2 ( x 5 ) ′ + 4 ( x 3 ) ′ am p ; = 2 ⋅ 5 x 4 + 4 ⋅ 3 x 2 am p ; = 10 x 4 + 12 x 2
なので、f ( x ) = 2 x 5 + 4 x 3 f(x)=2x^5+4x^3 f ( x ) = 2 x 5 + 4 x 3 の第2次導関数は、この f ′ ( x ) f'(x) f ′ ( x ) をもう一度微分して
f ′ ′ ( x ) a m p ; = 10 ( x 4 ) ′ + 12 ( x 2 ) ′ a m p ; = 10 ⋅ 4 x 3 + 12 ⋅ 2 x a m p ; = 40 x 3 + 24 x \begin{align*}
f''(x)&=10(x^4)'+12(x^2)'\\
&=10\cdot4x^3+12\cdot2x\\
&=40x^3+24x
\end{align*} f ′′ ( x ) am p ; = 10 ( x 4 ) ′ + 12 ( x 2 ) ′ am p ; = 10 ⋅ 4 x 3 + 12 ⋅ 2 x am p ; = 40 x 3 + 24 x
さらに、第2次導関数 f ′ ′ ( x ) f''(x) f ′′ ( x ) の導関数を、f ( x ) f(x) f ( x ) の第3次導関数 といい、次のように表します。
y ′ ′ ′ , n b s p ; n b s p ; d 3 y d x 3 , n b s p ; n b s p ; d 3 d x 3 y , n b s p ; n b s p ; f ′ ′ ′ ( x ) , n b s p ; n b s p ; d 3 f ( x ) d x 3 , n b s p ; n b s p ; d 3 d x 3 f ( x ) \begin{align*}
y''', \dfrac{d^3y}{dx^3}, \dfrac{d^3}{dx^3}y, f'''(x), \dfrac{d^3f(x)}{dx^3}, \dfrac{d^3}{dx^3}f(x)
\end{align*} y ′′′ , nb s p ; nb s p ; d x 3 d 3 y , nb s p ; nb s p ; d x 3 d 3 y , nb s p ; nb s p ; f ′′′ ( x ) , nb s p ; nb s p ; d x 3 d 3 f ( x ) , nb s p ; nb s p ; d x 3 d 3 f ( x )
つまり、関数 f ( x ) f(x) f ( x ) を3回連続して微分すると第3次導関数 f ′ ′ ′ ( x ) f'''(x) f ′′′ ( x ) が得られます。
f ( x ) → 1回目の微分 f ′ ( x ) → 2回目の微分 f ′ ′ ( x ) → 3回目の微分 f ′ ′ ′ ( x ) \begin{align*}
\\[-14pt]
f(x) \xrightarrow[]{\hspace{-3pt}1回目の微分} f'(x) \xrightarrow[]{\hspace{-3pt}2回目の微分} f''(x) \xrightarrow[]{\hspace{-3pt}3回目の微分} f'''(x)
\end{align*} f ( x ) 1回目の微分 f ′ ( x ) 2回目の微分 f ′′ ( x ) 3回目の微分 f ′′′ ( x )
「′ ′ ′ ''' ′′′ 」は ”トリプルプライム” や ”スリーダッシュ” と読みます。 関数 f ( x ) f(x) f ( x ) から第3次導関数 f ′ ′ ′ ( x ) f'''(x) f ′′′ ( x ) を求めることを、f ( x ) f(x) f ( x ) を3階微分する といいます。 一般に、関数 y = f ( x ) y=f(x) y = f ( x ) を n n n 回だけ微分して得られる関数を f ( x ) f(x) f ( x ) の第 n \bm{n} n 次導関数 といい、次のように表します。
y ( n ) , n b s p ; n b s p ; d n y d x n , n b s p ; n b s p ; d n d x n y , n b s p ; n b s p ; f ( n ) ( x ) , n b s p ; n b s p ; d n f ( x ) d x n , n b s p ; n b s p ; d n d x n f ( x ) \begin{align*}
y^{(n)}, \dfrac{d^{n}y}{dx^{n}}, \dfrac{d^n}{dx^n}y, f^{(n)}(x), \dfrac{d^nf(x)}{dx^n}, \dfrac{d^n}{dx^n}f(x)
\end{align*} y ( n ) , nb s p ; nb s p ; d x n d n y , nb s p ; nb s p ; d x n d n y , nb s p ; nb s p ; f ( n ) ( x ) , nb s p ; nb s p ; d x n d n f ( x ) , nb s p ; nb s p ; d x n d n f ( x )
関数 f ( x ) f(x) f ( x ) から第 n n n 次導関数 f ( n ) ( x ) f^{(n)}(x) f ( n ) ( x ) を求めることを、f ( x ) f(x) f ( x ) を n \bm{n} n 階微分する といいます。 第2次以上の導関数をまとめて高次導関数 といいます。 高次導関数は微分記号「 ′ 」を用いてもよいですが、長く続くと見にくいので、より高次の場合は y ( 4 ) y^{(4)} y ( 4 ) 、f ( 4 ) ( x ) f^{(4)}(x) f ( 4 ) ( x ) などとカッコ付きの数字を用いて表すと便利です。 例えば、先ほどの y = 2 x 5 + 4 x 3 y=2x^5+4x^3 y = 2 x 5 + 4 x 3 について
f ′ ( x ) a m p ; = 2 ⋅ 5 x 4 + 4 ⋅ 3 x 2 = 10 x 4 + 12 x 2 f ′ ′ ( x ) a m p ; = 10 ⋅ 4 x 3 + 12 ⋅ 2 x = 40 x 3 + 24 x f ′ ′ ′ ( x ) a m p ; = 40 ⋅ 3 x 2 + 24 ⋅ 1 = 120 x 2 + 24 f ( 4 ) ( x ) a m p ; = 120 ⋅ 2 x + 0 = 240 x f ( 5 ) ( x ) a m p ; = 240 ⋅ 1 = 240 f ( 6 ) ( x ) a m p ; = 0 \begin{align*}
f'(x)&=2\cdot5x^4+4\cdot3x^2=10x^4+12x^2\\
f''(x)&=10\cdot4x^3+12\cdot2x=40x^3+24x\\
f'''(x)&=40\cdot3x^2+24\cdot1=120x^2+24\\
f^{(4)}(x)&=120\cdot2x+0=240x\\
f^{(5)}(x)&=240\cdot1=240\\
f^{(6)}(x)&=0\\
\end{align*} f ′ ( x ) f ′′ ( x ) f ′′′ ( x ) f ( 4 ) ( x ) f ( 5 ) ( x ) f ( 6 ) ( x ) am p ; = 2 ⋅ 5 x 4 + 4 ⋅ 3 x 2 = 10 x 4 + 12 x 2 am p ; = 10 ⋅ 4 x 3 + 12 ⋅ 2 x = 40 x 3 + 24 x am p ; = 40 ⋅ 3 x 2 + 24 ⋅ 1 = 120 x 2 + 24 am p ; = 120 ⋅ 2 x + 0 = 240 x am p ; = 240 ⋅ 1 = 240 am p ; = 0
練習問題 次の関数について、第5次導関数 d 5 f ( x ) d x 5 \dfrac{d^5f(x)}{dx^5} d x 5 d 5 f ( x ) を求めなさい。 (1) f ( x ) = x 4 + x 3 + x 2 + x + 1 f(x)=x^4+x^3+x^2+x+1 f ( x ) = x 4 + x 3 + x 2 + x + 1 (2) f ( x ) = e x f(x)=e^x f ( x ) = e x
(解答) (1)
d f ( x ) d x a m p ; = 4 x 3 + 3 x 2 + 2 x + 1 + 0 = 4 x 3 + 3 x 2 + 2 x + 1 d 2 f ( x ) d x 2 a m p ; = 4 ⋅ 3 x 2 + 3 ⋅ 2 x + 2 ⋅ 1 + 0 = 12 x 2 + 6 x + 2 d 3 f ( x ) d x 3 a m p ; = 12 ⋅ 2 x + 6 ⋅ 1 + 0 = 24 x + 6 d 4 f ( x ) d x 4 a m p ; = 24 ⋅ 1 + 0 = 24 d 5 f ( x ) d x 5 a m p ; = 0 \begin{align*}
\dfrac{df(x)}{dx}&=4x^3+3x^2+2x+1+0=4x^3+3x^2+2x+1\\
\dfrac{d^2f(x)}{dx^2}&=4\cdot3x^2+3\cdot2x+2\cdot1+0=12x^2+6x+2\\
\dfrac{d^3f(x)}{dx^3}&=12\cdot2x+6\cdot1+0=24x+6\\
\dfrac{d^4f(x)}{dx^4}&=24\cdot1+0=24\\
\dfrac{d^5f(x)}{dx^5}&=0\\
\end{align*} d x df ( x ) d x 2 d 2 f ( x ) d x 3 d 3 f ( x ) d x 4 d 4 f ( x ) d x 5 d 5 f ( x ) am p ; = 4 x 3 + 3 x 2 + 2 x + 1 + 0 = 4 x 3 + 3 x 2 + 2 x + 1 am p ; = 4 ⋅ 3 x 2 + 3 ⋅ 2 x + 2 ⋅ 1 + 0 = 12 x 2 + 6 x + 2 am p ; = 12 ⋅ 2 x + 6 ⋅ 1 + 0 = 24 x + 6 am p ; = 24 ⋅ 1 + 0 = 24 am p ; = 0
(2) e x e^x e x は微分しても変わらないので
d f ( x ) d x a m p ; = e x d 2 f ( x ) d x 2 a m p ; = e x d 3 f ( x ) d x 3 a m p ; = e x d 4 f ( x ) d x 4 a m p ; = e x d 5 f ( x ) d x 5 a m p ; = e x \begin{align*}
\dfrac{df(x)}{dx}&=e^x\\
\dfrac{d^2f(x)}{dx^2}&=e^x\\
\dfrac{d^3f(x)}{dx^3}&=e^x\\
\dfrac{d^4f(x)}{dx^4}&=e^x\\
\dfrac{d^5f(x)}{dx^5}&=e^x\\
\end{align*} d x df ( x ) d x 2 d 2 f ( x ) d x 3 d 3 f ( x ) d x 4 d 4 f ( x ) d x 5 d 5 f ( x ) am p ; = e x am p ; = e x am p ; = e x am p ; = e x am p ; = e x
偏微分 本文でやった f ( x ) = x 2 f(x)=x^2 f ( x ) = x 2 という関数は、変数が x x x だけの1変数関数です。これを微分すると
f ′ ( x ) = 2 x \begin{align*}
f'(x)=2x
\end{align*} f ′ ( x ) = 2 x
または
( x 2 ) ′ a m p ; = 2 x d f ( x ) d x a m p ; = 2 x d d x f ( x ) a m p ; = 2 x \begin{align*}
(x^2)'&=2x\\
\dfrac{df(x)}{dx}&=2x\\
\dfrac{d}{dx}f(x)&=2x
\end{align*} ( x 2 ) ′ d x df ( x ) d x d f ( x ) am p ; = 2 x am p ; = 2 x am p ; = 2 x
と表せることを先に解説しました。
2変数関数 関数には、次のように変数が 2 2 2 つの関数もあります。これを2変数関数 といいます。
f ( x , n b s p ; y ) = 3 x 2 y 5 \begin{align*}
f(x, y)=3x^2y^5
\end{align*} f ( x , nb s p ; y ) = 3 x 2 y 5
これは、x , y x, y x , y の2つの変数をもつ関数です。x , y x, y x , y の値が決まると、z = f ( x , y ) z=f(x, y) z = f ( x , y ) という関数によって z z z の値がただ1つに決まります。
\begin{align*}
x, y が決まる \xrightarrow[]{ z=f(x, y) } z の値がただ1つに決まる
\end{align*}
(例)f ( x , y ) = 3 x 2 y 5 f(x, y)=3x^2y^5 f ( x , y ) = 3 x 2 y 5 について、z = f ( x , y ) z=f(x, y) z = f ( x , y ) とおくと x = 2 , y = 1 x=2, y=1 x = 2 , y = 1 のとき z = f ( 2 , 1 ) = 3 ⋅ 2 2 ⋅ 1 5 = 3 ⋅ 4 ⋅ 1 = 12 z=f(2, 1)=3\cdot2^2\cdot1^5=3\cdot4\cdot1=12 z = f ( 2 , 1 ) = 3 ⋅ 2 2 ⋅ 1 5 = 3 ⋅ 4 ⋅ 1 = 12
2変数関数の微分 ここで、f ( x , y ) = 3 x 2 y 5 f(x, y)=3x^2y^5 f ( x , y ) = 3 x 2 y 5 の微分を考えます。この場合、x x x で微分するか、y y y で微分するかで2つの微分があります。
➀ y y y を定数とみなして x x x で微分する。 これは、∂ f ( x , y ) ∂ x \dfrac{\partial f(x, y)}{\partial x} ∂ x ∂ f ( x , y ) という記号を用いて
\begin{align*}
\dfrac{\partial f(x, y)}{\partial x}&=\dfrac{\partial}{\partial x}3x^2y^5\\
&=3y^5\dfrac{d}{dx}x^2\\
&=3y^5\cdot2x\\
&=6xy^5
\end{align*}
y y y を定数とみなし、x x x の関数部分を x x x で微分します。
y y y は定数扱いなので、3 y 5 3y^5 3 y 5 をまとめて係数(定数)として扱い、偏微分の外に出します。最後は x x x での微分が残ります。 このように、2変数関数に関して、1つの変数を定数とみなし、もう1つの変数で微分したものを偏微分 といいます。
偏微分の記号 偏微分で使う「∂ \partial ∂ 」という記号は、筆記体の「d d d 」("ディー")が元になっており、”ラウンドディー” や ”デル” と読みます。 偏微分を表すにあたって ∂ f ( x , y ) ∂ x \dfrac{\partial f(x, y)}{\partial x} ∂ x ∂ f ( x , y ) や ∂ ∂ x f ( x , y ) \dfrac{\partial}{\partial x}f(x, y) ∂ x ∂ f ( x , y ) の分母の x x x を見ることによって、x x x で偏微分することがはっきりと明示されます。これを、分母を y y y にして ∂ f ( x , y ) ∂ y \dfrac{\partial f(x, y)}{\partial y} ∂ y ∂ f ( x , y ) や ∂ ∂ y f ( x , y ) \dfrac{\partial}{\partial y}f(x, y) ∂ y ∂ f ( x , y ) と書けば、次に➁で述べる「y y y で偏微分する」という意味になります。
なお d f ( x ) d x \dfrac{df(x)}{dx} d x df ( x ) や d d x f ( x ) \dfrac{d}{dx}f(x) d x d f ( x ) は高校で習う微分で、この微分を常微分 といいます(中学でも分かる①「微分法」)。 x x x での偏微分の場合、x x x 以外の部分を偏微分の外に出すことによって、最後は x x x での常微分 d d x f ( x ) \dfrac{d}{dx}f(x) d x d f ( x ) になります。 ここで、先ほどの計算をもう一度みてみましょう。
(再掲)
\begin{align*}
\dfrac{\partial f(x, y)}{\partial x}&=\dfrac{\partial}{\partial x}3x^2y^5 \leftarrow {\footnotesize x での偏微分}\\
&=3y^5\dfrac{d}{dx}x^2 \,\leftarrow {\footnotesize x での常微分}\\
&=3y^5\cdot2x\\
&=6xy^5
\end{align*}
では次に、y y y での偏微分をみていきます。 f ( x , y ) = 3 x 2 y 5 f(x, y)=3x^2y^5 f ( x , y ) = 3 x 2 y 5 について
➁ x x x を定数とみなして y y y で微分(偏微分)する。
\begin{align*}
\dfrac{\partial f(x, y)}{\partial y}&=\dfrac{\partial}{\partial y}3x^2y^5 \leftarrow {\footnotesize y での偏微分}\\
&=3x^2\dfrac{d}{dy}y^5 \,\leftarrow {\footnotesize y での常微分}\\
&=3x^2\cdot5y^4\\
&=15x^2y^4
\end{align*}
x x x を定数とみなし、y y y の関数部分を y y y で微分(常微分)します。
x x x は定数扱いなので、3 x 2 3x^2 3 x 2 をまとめて係数(定数)として扱い、偏微分の外に出します。最後は y y y での微分(常微分)が残ります。
まとめると、f ( x , y ) = 3 x 2 y 5 f(x, y)=3x^2y^5 f ( x , y ) = 3 x 2 y 5 について ➀ x x x で偏微分すると
\begin{align*}
\dfrac{\partial f(x, y)}{\partial x}=3\cdot2x\cdot y^5=6xy^5
\end{align*}
➁ y y y で偏微分すると
\begin{align*}
\dfrac{\partial f(x, y)}{\partial y}=3x^2\cdot5y^4=15x^2y^4
\end{align*}
と、結果が異なることに注意しましょう。
多変数関数の偏微分 3変数以上の関数についても偏微分を考えることができます。 変数が2つ以上の関数を多変数関数 といいます。多変数関数の偏微分は、ある1つの変数のみに着目し、それ以外の変数は定数とみなして微分します。
(例1)f ( x , y , z ) = 5 x 2 y 3 + z 4 f(x, y, z)=5x^2y^3+z^4 f ( x , y , z ) = 5 x 2 y 3 + z 4 について x x x で偏微分すると
∂ ∂ x f ( x , n b s p ; y , n b s p ; z ) a m p ; = ∂ ∂ x ( 5 x 2 y 3 + z 4 ) a m p ; = ∂ ∂ x 5 x 2 y 3 + ∂ ∂ x z 4 a m p ; = 5 y 3 d d x x 2 + 0 a m p ; = 5 y 3 ⋅ 2 x a m p ; = 10 x y 3 \begin{align*}
\dfrac{\partial}{\partial x}f(x, y, z)&=\dfrac{\partial}{\partial x}(5x^2y^3+z^4)\\
&=\dfrac{\partial}{\partial x}5x^2y^3+\dfrac{\partial}{\partial x}z^4\\
&=5y^3\dfrac{d}{dx}x^2+0\\
&=5y^3\cdot2x\\
&=10xy^3
\end{align*} ∂ x ∂ f ( x , nb s p ; y , am p ; = ∂ x ∂ 5 x 2 y 3 + ∂ x ∂ z 4 am p ; = 5 y 3 d x d x 2 + 0 am p ; = 5 y 3 ⋅ 2 x am p ; = 10 x y 3 nb s p ; z ) am p ; = ∂ x ∂ ( 5 x 2 y 3 + z 4 )
z z z は定数とみなしているので
∂ ∂ x z 4 = 0 \begin{align*}
\dfrac{\partial}{\partial x}z^4=0
\end{align*} ∂ x ∂ z 4 = 0
となります。
(例2)f ( x , y , z ) = 5 x 2 y 3 + z 4 f(x, y, z)=5x^2y^3+z^4 f ( x , y , z ) = 5 x 2 y 3 + z 4 について y y y で偏微分すると
∂ ∂ y f ( x , n b s p ; y , n b s p ; z ) a m p ; = ∂ ∂ y ( 5 x 2 y 3 + z 4 ) a m p ; = ∂ ∂ y 5 x 2 y 3 + ∂ ∂ y z 4 a m p ; = 5 x 2 d d y y 3 + 0 a m p ; = 5 x 2 ⋅ 3 y 2 a m p ; = 15 x 2 y 2 \begin{align*}
\dfrac{\partial}{\partial y}f(x, y, z)&=\dfrac{\partial}{\partial y}(5x^2y^3+z^4)\\
&=\dfrac{\partial}{\partial y}5x^2y^3+\dfrac{\partial}{\partial y}z^4\\
&=5x^2\dfrac{d}{dy}y^3+0\\
&=5x^2\cdot3y^2\\
&=15x^2y^2
\end{align*} ∂ y ∂ f ( x , nb s p ; y , am p ; = ∂ y ∂ 5 x 2 y 3 + ∂ y ∂ z 4 am p ; = 5 x 2 d y d y 3 + 0 am p ; = 5 x 2 ⋅ 3 y 2 am p ; = 15 x 2 y 2 nb s p ; z ) am p ; = ∂ y ∂ ( 5 x 2 y 3 + z 4 )
z z z は定数とみなしているので
∂ ∂ y z 4 = 0 \begin{align*}
\dfrac{\partial}{\partial y}z^4=0
\end{align*} ∂ y ∂ z 4 = 0
となります。
(例3)f ( x , y , z ) = 5 x 2 y 3 + z 4 f(x, y, z)=5x^2y^3+z^4 f ( x , y , z ) = 5 x 2 y 3 + z 4 について z z z で偏微分すると
∂ ∂ x f ( x , n b s p ; y , n b s p ; z ) a m p ; = ∂ ∂ x ( 5 x 2 y 3 + z 4 ) a m p ; = ∂ ∂ x 5 x 2 y 3 + d d z z 4 a m p ; = 0 + 4 z 3 a m p ; = 4 z 3 \begin{align*}
\dfrac{\partial}{\partial x}f(x, y, z)&=\dfrac{\partial}{\partial x}(5x^2y^3+z^4)\\
&=\dfrac{\partial}{\partial x}5x^2y^3+\dfrac{d}{dz}z^4\\
&=0+4z^3\\
&=4z^3
\end{align*} ∂ x ∂ f ( x , nb s p ; y , am p ; = ∂ x ∂ 5 x 2 y 3 + d z d z 4 am p ; = 0 + 4 z 3 am p ; = 4 z 3 nb s p ; z ) am p ; = ∂ x ∂ ( 5 x 2 y 3 + z 4 )
x , y x, y x , y は定数とみなしているので
∂ ∂ x 5 x 2 y 3 = 0 \begin{align*}
\dfrac{\partial}{\partial x}5x^2y^3=0
\end{align*} ∂ x ∂ 5 x 2 y 3 = 0
となります。
(追記)偏微分の意味(引用) 偏微分について、書籍「ブラックホールと時空の方程式(小林晋平著)」(P82~P83)に非常にわかりやすい優れた解説があるので、(本記事に合うように多少文章を変えて)引用します。
(引用始め)
微分とは、何らかの量の微小変化を表すものです。 たとえば、 時刻 t t t での物体の位置(座標) x ( t ) x(t) x ( t ) の時間変化は d x ( t ) d t \dfrac{dx(t)}{dt} d t d x ( t ) であり、これは速度 v ( t ) v(t) v ( t ) を表します。
d x ( t ) d t = v ( t ) \begin{align*}
\dfrac{dx(t)}{dt}=v(t)
\end{align*} d t d x ( t ) = v ( t )
位置は x ( t ) x(t) x ( t ) という書き方からもわかるように時刻のみの関数です。 つまり、時刻 t t t が変化すると、それに応じて位置が変化することを表しています。 時刻 t t t を動かすとそれにつられて x ( t ) x(t) x ( t ) も動くという関係があるので、t t t を独立変数 、x x x を従属変数 といいます。 位置 x x x がそうであるように、1つの独立変数によって決まる 従属変数のことを1変数関数と言いますが、私たちが日常で見かけるいろいろな物理量にはそれほど単純ではないものもたくさんあります。 たとえば世界の気温を考えてみましょう。気温は場所や時間に応じてどんどん変化します。今あなたが赤道直下のどこか暑い国にいるとして、赤道に沿って進めば相変わらず気温は高いままでしょうし、北に向かって進んでいけば少しずつ気温は低くなっていくはずです。 途中に山があり、それを登って高いところに行ってもやはり気温は低くなるでしょう。 赤道方向に沿って x ( t ) x(t) x ( t ) 軸,、北に向かって y y y 軸、空に向かって z z z 軸をとれば、気温 T T T は x , y , z x, y, z x , y , z のそれぞれによって異なる値をとるので
T = T ( t , n b s p ; x , n b s p ; y , n b s p ; z ) \begin{align*}
T=T(t, x, y, z)
\end{align*} T = T ( t , nb s p ; x , nb s p ; y , nb s p ; z )
と書けます。このように、少なくとも気温は時刻 t t t および位置 x , y , z x, y, z x , y , z に依存する 4 変数関数のはずです。このように2つ以上の独立変数に依存して決まる関数を多変数関数 と言いますが、 多変数関数の変化は、微分でどのように表されるのでしょうか。 1変数関数 f ( x ) f(x) f ( x ) の微分の場合、1つの変数 x x x に依存しているので、変化と言えば x x x を変化させたときに関数 f ( x ) f(x) f ( x ) がどう変化するか を指します。これに対し、気温 T ( t , x , y , z ) T(t, x, y, z) T ( t , x , y , z ) の場合は、t , x , y , z t, x, y, z t , x , y , z という要素のどれを変化させるかによって変化の様子は違ってくるはずです。 たとえば赤道方向(x x x 軸方向)に沿って動いても相変わらず気温は高いままでしょうから、x x x 軸方向への 変化はあまりなさそうです。一方、 北上したり(y y y 軸の正方向への移動)、山に登っ たり(z z z 軸の正方向への移動)すると気温は下がるでしょうから、そちら方向への変化は負の値になりそうです。こうした 「変数ごとの変化」を表すのに役立つのが偏微分 です。具体的には、x x x 方向に移動したとき気温 T T T がどう変化するかを
∂ ∂ x T ( t , n b s p ; x , n b s p ; y , n b s p ; z ) \begin{align*}
\dfrac{\partial}{\partial x}\,T(t, x, y, z)
\end{align*} ∂ x ∂ T ( t , nb s p ; x , nb s p ; y , nb s p ; z )
のように書き表して、 通常の微分 (常微分 と言います)と区別します。 偏微分は「特定の量の変化分だけに注目し、それ以外の量の変化は一切無視する」という計算なので、x x x 方向への偏微分であれば x x x 以外の変数 t , y , z t, y, z t , y , z は定数だと思って計算します。 たとえば f ( x , y ) = 3 x + 2 y + 4 x y f(x, y)=3x+2y+4xy f ( x , y ) = 3 x + 2 y + 4 x y という2変数関数があれば、f ( x , y ) = 3 x + 2 y + 4 x y 2 f(x, y)=3x+2y+4xy^2 f ( x , y ) = 3 x + 2 y + 4 x y 2 を x x x で偏微分したものは
∂ ∂ x f ( x , n b s p ; y ) = 3 + 0 + 4 y 2 ⋅ 1 = 3 + 4 y 2 \begin{align*}
\dfrac{\partial}{\partial x}f(x, y)=3+0+4y^2\cdot1=3+4y^2
\end{align*} ∂ x ∂ f ( x , nb s p ; y ) = 3 + 0 + 4 y 2 ⋅ 1 = 3 + 4 y 2
f ( x , y ) = 3 x + 2 y + 4 x y 2 f(x, y)=3x+2y+4xy^2 f ( x , y ) = 3 x + 2 y + 4 x y 2 を y y y で偏微分したものは
∂ ∂ x f ( x , n b s p ; y ) = 0 + 2 + 4 x ⋅ 2 y = 2 + 8 x y \begin{align*}
\dfrac{\partial}{\partial x}f(x, y)=0+2+4x\cdot2y=2+8xy
\end{align*} ∂ x ∂ f ( x , nb s p ; y ) = 0 + 2 + 4 x ⋅ 2 y = 2 + 8 x y
となります。
(引用終わり)
(参考1)数の分類 数の分類は以下の通りです。
\begin{align*}
\boldsymbol{複素数 a+bi}
\begin{cases}
\overset{\small b=0 のとき}{\boldsymbol{実数 a}}
\begin{cases}
\underset{\scriptsize 分数で表せる数}{\boldsymbol{有理数}}
\begin{cases}
\boldsymbol{整数}
\begin{cases}
\boldsymbol{自然数} \scriptsize{(1, 2, 3, \cdots)}\\
\boldsymbol{0}\\
\boldsymbol{負の整数} \scriptsize{(-1, -2, -3, \cdots)}
\end{cases}\\
\boldsymbol{有限小数}\\
{\footnotesize 例 0.17 (=\dfrac{17}{100})}\\
\boldsymbol{循環小数{\scriptsize(循環する無限小数)}}\\
{\footnotesize 例 0.232323\cdots\left(=\dfrac{23}{99}\right)}
\end{cases}\\
\underset{\scriptsize 分数で表せない数}{\boldsymbol{無理数}}\\
{\scriptsize 例 \pi (=3.1415\cdots) のような \boldsymbol{循環しない無限小数}}\\
{\scriptsize e (=2.7182\cdots) のような \boldsymbol{循環しない無限小数}}\\
\end{cases}\\
\overset{\small b\ne0 のとき}{\boldsymbol{虚数 a+bi}} 特に a=0 のとき \boldsymbol{bi} を\boldsymbol{純虚数}という。
\end{cases}
\end{align*}
バックナンバー(創作大賞応募作品) 理数系小説『シュレーディンガーの Φ』