WIIS

多変数関数の微分

多変数の多項式関数の偏微分

目次

関連知識

Mailで保存
Xで共有

多変数の多項式関数の偏微分

多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が多項式関数であるものとします。つまり、\(f\)がそれぞれの\(x\in X\)に対して定める値が、非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k_{1},\cdots ,k_{n}}\in \mathbb{R} \ \left( k_{i}=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =\sum_{k_{1}=0}^{n}\cdots \sum_{k_{n}=0}^{n}c_{k_{1},\cdots
,k_{n}}x_{1}^{k_{1}}\cdots x_{n}^{k_{n}}
\end{equation*}という形で表すことができるということです。\(f\)が点\(a\in \mathbb{R} ^{n}\)の周辺の任意の点において定義されているものとします。変数\(x_{l}\ \left( l=1,\cdots ,n\right) \)を任意に選んだ上で、それぞれの\(x_{l}\in X_{l}\)に対して、\begin{equation*}f\left( x_{l},a_{-l}\right) =\sum_{k_{1}=0}^{n}\cdots
\sum_{k_{n}=0}^{n}c_{k_{1},\cdots ,k_{n}}a_{1}^{k_{1}}\cdots
x_{l}^{k_{l}}\cdots a_{n}^{k_{n}}
\end{equation*}を定める変数\(x_{l}\)に関する1変数関数\(f\left(x_{l},a_{-l}\right) :\mathbb{R} \supset X_{l}\rightarrow \mathbb{R} \)を定義します。この関数\(f\left( x_{l},a_{-l}\right) \)は変数\(x_{l}\)に関する1変数の多項式関数であるため点\(a_{l}\)において微分可能であり、したがって偏微分と微分の関係より、もとの多変数関数\(f\)は点\(a=\left( a_{l},a_{-l}\right) \)において変数\(x_{l}\)に関して偏微分可能であるとともに、\begin{equation*}f_{x_{l}}^{\prime }\left( a\right) =\left. \frac{df\left(
x_{l},a_{-l}\right) }{dx_{l}}\right\vert _{x_{l}=a_{l}}
\end{equation*}という関係が成り立ちます。

命題(多変数の多項式関数の偏微分)
関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k_{1},\cdots ,k_{n}}\in \mathbb{R} \ \left( k_{i}=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =\sum_{k_{1}=0}^{n}\cdots \sum_{k_{n}=0}^{n}c_{k_{1},\cdots
,k_{n}}x_{1}^{k_{1}}\cdots x_{n}^{k_{n}}
\end{equation*}と表されるものとする。\(f\)が点\(a\in \mathbb{R} ^{n}\)の周辺の任意の点において定義されているならば、変数\(x_{l}\) \(\left(l=1,\cdots ,n\right) \)を任意に選んだとき、\(f\)は点\(a\)において変数\(x_{l}\)に関して偏微分可能である。さらに、それぞれの\(x_{l}\in X_{l}\)に対して、\begin{equation*}f\left( x_{l},a_{-l}\right) =\sum_{k_{1}=0}^{n}\cdots
\sum_{k_{n}=0}^{n}c_{k_{1},\cdots ,k_{n}}a_{1}^{k_{1}}\cdots
x_{l}^{k_{l}}\cdots a_{n}^{k_{n}}
\end{equation*}を定める1変数関数\(f\left(x_{l},a_{-l}\right) :\mathbb{R} \supset X_{l}\rightarrow \mathbb{R} \)を定義したとき、\begin{equation*}f_{x_{l}}^{\prime }\left( a\right) =\left. \frac{df\left(
x_{l},a_{-l}\right) }{dx_{l}}\right\vert _{x_{l}=a_{l}}
\end{equation*}という関係が成り立つ。

例(多変数の多項式関数の偏微分)
関数\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} \)がそれぞれの\(x\in \mathbb{R} ^{n}\)に対して定める値が、非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k_{1},\cdots ,k_{n}}\in \mathbb{R} \ \left( k_{i}=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =\sum_{k_{1}=0}^{n}\cdots \sum_{k_{n}=0}^{n}c_{k_{1},\cdots
,k_{n}}x_{1}^{k_{1}}\cdots x_{n}^{k_{n}}
\end{equation*}と表されるものとします。定義域\(\mathbb{R} ^{n}\)は開集合であるため、点\(a\in \mathbb{R} ^{n}\)を任意に選んだとき、\(f\)は\(a\)の周辺にある任意の点において定義されています。したがって上の命題より、変数\(x_{l}\) \(\left( l=1,\cdots ,n\right) \)を任意に選んだとき、\(f\)は\(x_{l}\)に関して偏微分可能であり、偏導関数\(f_{x_{l}}^{\prime }:\mathbb{R} ^{n}\rightarrow \mathbb{R} \)がそれぞれの\(x\in \mathbb{R} ^{n}\)に対して定める値は、\begin{equation*}f_{x_{l}}^{\prime }\left( x\right) =\frac{df\left( x_{l},x_{-l}\right) }{dx_{l}}
\end{equation*}となります。ただし、右辺の\(f\left( x_{l},x_{-l}\right) \)は多変数関数\(f\)を変数\(x_{l}\)に関する1変数関数とみなすことで得られる関数です。
例(多変数の多項式関数の偏微分)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x^{4}+y^{4}-4x^{2}y^{2}
\end{equation*}を定めるものとします。\(f\)は多変数の多項式関数であるため、\(f\)は変数\(x\)に関して偏微分可能であり、偏導関数\(f_{x}^{\prime }:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{eqnarray*}f_{x}^{\prime }\left( x,y\right) &=&\frac{df\left( x,y\right) }{dx} \\
&=&4x^{3}-8xy^{2}
\end{eqnarray*}を定めます。また、\(f\)は変数\(y\)に関して偏微分可能であり、偏導関数\(f_{y}^{\prime }:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{eqnarray*}f_{x}^{\prime }\left( x,y\right) &=&\frac{df\left( x,y\right) }{dy} \\
&=&4y^{3}-8x^{2}y
\end{eqnarray*}を定めます。

例(多変数の多項式関数の偏微分)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\sin \left( x^{2}+xy+y^{2}\right)
\end{equation*}を定めるものとします。\(f\)は多変数の多項式関数\(x^{2}+xy+y^{2}\)と1変数の正弦関数\(\sin \left( x\right) \)の合成関数であるため変数\(x\)に関して偏微分可能であり、偏導関数\(f_{x}^{\prime }:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{eqnarray*}f_{x}^{\prime }\left( x,y\right) &=&\left. \frac{d}{dz}\sin \left( z\right)
\right\vert _{z=x^{2}+xy+y^{2}}\cdot \frac{\partial }{\partial x}\left(
x^{2}+xy+y^{2}\right) \quad \because \text{合成関数の偏微分} \\
&=&\left. \cos \left( z\right) \right\vert _{z=x^{2}+xy+y^{2}}\cdot \left(
2x+y\right) \\
&=&\left( 2x+y\right) \cos \left( x^{2}+xy+y^{2}\right)
\end{eqnarray*}を定めます。\(f\)は変数\(y\)に関しても偏微分可能であり、偏導関数\(f_{y}^{\prime }:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{eqnarray*}f_{y}^{\prime }\left( x,y\right) &=&\left. \frac{d}{dz}\sin \left( z\right)
\right\vert _{z=x^{2}+xy+y^{2}}\cdot \frac{\partial }{\partial y}\left(
x^{2}+xy+y^{2}\right) \quad \because \text{合成関数の偏微分} \\
&=&\left. \cos \left( z\right) \right\vert _{z=x^{2}+xy+y^{2}}\cdot \left(
x+2y\right) \\
&=&\left( x+2y\right) \cos \left( x^{2}+xy+y^{2}\right)
\end{eqnarray*}を定めます。

 

多変数の多項式関数の勾配ベクトル

先の命題より、勾配ベクトルに関する以下の命題が得られます。

命題(多変数の多項式関数の勾配ベクトル)
関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k_{1},\cdots ,k_{n}}\in \mathbb{R} \ \left( k_{i}=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =\sum_{k_{1}=0}^{n}\cdots \sum_{k_{n}=0}^{n}c_{k_{1},\cdots
,k_{n}}x_{1}^{k_{1}}\cdots x_{n}^{k_{n}}
\end{equation*}と表されるものとする。\(f\)が点\(a\in \mathbb{R} ^{n}\)の周辺の任意の点において定義されているならば、変数\(x_{l}\) \(\left(l=1,\cdots ,n\right) \)を任意に選んだとき、\(f\)は点\(a\)において偏微分可能である。さらに、それぞれの\(x_{l}\in X_{l}\)に対して、\begin{equation*}f\left( x_{l},a_{-l}\right) =\sum_{k_{1}=0}^{n}\cdots
\sum_{k_{n}=0}^{n}c_{k_{1},\cdots ,k_{n}}a_{1}^{k_{1}}\cdots
x_{l}^{k_{l}}\cdots a_{n}^{k_{n}}
\end{equation*}を定める\(n\)個の1変数関数\(f\left( x_{l},a_{-l}\right) :\mathbb{R} \supset X_{l}\rightarrow \mathbb{R} \)を定義したとき、\begin{equation*}\nabla f\left( a\right) =\left( \left. \frac{df\left( x_{1},a_{-1}\right) }{dx_{1}}\right\vert _{x_{1}=a_{1}},\cdots ,\left. \frac{df\left(
x_{n},a_{-n}\right) }{dx_{n}}\right\vert _{x_{n}=a_{n}}\right)
\end{equation*}という関係が成り立つ。

例(多変数の多項式関数の勾配ベクトル)
関数\(f:\mathbb{R} ^{n}\rightarrow \mathbb{R} \)がそれぞれの\(x\in \mathbb{R} ^{n}\)に対して定める値が、非負の整数\(n\in \mathbb{Z} _{+}\)と実数\(c_{k_{1},\cdots ,k_{n}}\in \mathbb{R} \ \left( k_{i}=0,1,\cdots ,n\right) \)を用いて、\begin{equation*}f\left( x\right) =\sum_{k_{1}=0}^{n}\cdots \sum_{k_{n}=0}^{n}c_{k_{1},\cdots
,k_{n}}x_{1}^{k_{1}}\cdots x_{n}^{k_{n}}
\end{equation*}と表されるものとします。\(f\)は多変数の多項式関数であるため偏微分可能であり、勾配ベクトル場\(\nabla f:\mathbb{R} ^{n}\rightarrow \mathbb{R} ^{n}\)がそれぞれの\(x\in \mathbb{R} ^{n}\)に対して定める値は、\begin{equation*}\nabla f\left( x\right) =\left( \frac{df\left( x_{1},x_{-1}\right) }{dx_{1}},\cdots ,\frac{df\left( x_{n},x_{-n}\right) }{dx_{n}}\right)
\end{equation*}となります。

例(多変数の多項式関数の勾配ベクトル)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x^{4}+y^{4}-4x^{2}y^{2}
\end{equation*}を定めるものとします。\(f\)は多変数の多項式関数であるため偏微分可能であり、勾配ベクトル場\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{eqnarray*}\nabla f\left( x,y\right) &=&\left( \frac{d}{dx}f\left( x,y\right) ,\frac{d}{dy}f\left( x,y\right) \right) \\
&=&\left( 4x^{3}-8xy^{2},4y^{3}-8x^{2}y\right)
\end{eqnarray*}を定めます。

例(多変数の多項式関数の勾配ベクトル)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\sin \left( x^{2}+xy+y^{2}\right)
\end{equation*}を定めるものとします。\(f\)は多変数の多項式関数\(x^{2}+xy+y^{2}\)と1変数の正弦関数\(\sin \left( x\right) \)の合成関数であるため偏微分可能であり、勾配ベクトル場\(\nabla f:\mathbb{R} ^{2}\rightarrow \mathbb{R} ^{2}\)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{eqnarray*}\nabla f\left( x,y\right) &=&\left. \frac{d}{dz}\sin \left( z\right)
\right\vert _{z=x^{2}+xy+y^{2}}\cdot \nabla \left( x^{2}+xy+y^{2}\right)
\quad \because \text{合成関数の偏微分} \\
&=&\left. \cos \left( z\right) \right\vert _{z=x^{2}+xy+y^{2}}\cdot \left(
2x+y,y+2y\right) \\
&=&\cos \left( x^{2}+xy+y^{2}\right) \cdot \left( 2x+y,y+2y\right) \\
&=&\left( \left( 2x+y\right) \cos \left( x^{2}+xy+y^{2}\right) ,\left(
x+2y\right) \cos \left( x^{2}+xy+y^{2}\right) \right)
\end{eqnarray*}を定めます。

 

演習問題

問題(多変数の多項式関数の偏微分)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =-x^{4}-2xy^{3}+y^{5}
\end{equation*}を定めるものとします。勾配ベクトル場\(\nabla f\)を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(多変数の多項式関数の偏微分)
関数\(f:\mathbb{R} ^{3}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y,z\right) \in \mathbb{R} ^{3}\)に対して、\begin{equation*}f\left( x,y,z\right) =3x^{3}+2x^{2}y-xy+xyz+z^{3}
\end{equation*}を定めるものとします。勾配ベクトル場\(\nabla f\)を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(多変数の多項式関数の偏微分)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =\ln \left( x^{2}+y^{2}+1\right)
\end{equation*}勾配ベクトル場\(\nabla f\)を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(多変数の多項式関数の偏微分)
関数\(f:\mathbb{R} ^{2}\supset X\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in X\)に対して、\begin{equation*}f\left( x,y\right) =\sqrt{x^{2}+\ln \left( 5x-3y^{2}\right) }
\end{equation*}を定めるものとします。ただし、\(X\)は\(f\)の定義域であり、\begin{equation*}X=\left\{ \left( x,y\right) \in \mathbb{R} ^{2}\ |\ 5x-3y^{2}>1\right\}
\end{equation*}です。\(f\)をそれぞれの変数\(x,y\)について偏微分してください。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録