多変数の多項式関数の偏微分
多変数関数\(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*}という関係が成り立ちます。
,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*}という関係が成り立つ。
,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変数関数とみなすことで得られる関数です。
\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*}を定めます。
\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*}を定めます。
多変数の多項式関数の勾配ベクトル
先の命題より、勾配ベクトルに関する以下の命題が得られます。
,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*}という関係が成り立つ。
,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*}となります。
\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*}を定めます。
\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*}を定めます。
演習問題
\end{equation*}を定めるものとします。勾配ベクトル場\(\nabla f\)を求めてください。
\end{equation*}を定めるものとします。勾配ベクトル場\(\nabla f\)を求めてください。
\end{equation*}勾配ベクトル場\(\nabla f\)を求めてください。
\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\)について偏微分してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】