WIIS

多変数関数の微分

偏微分作用素(偏微分演算子)

目次

関連知識

Mailで保存
Xで共有

単純偏微分作用素

多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)および周辺の任意の点において\(C^{r}\)級であるものとします。その上で、\begin{equation*}m_{1}+m_{2}+\cdots +m_{n}\leq r
\end{equation*}を満たす自然数\(m_{1},m_{2},\cdots,m_{n}\)をそれぞれ任意に選びます。関数\(f\)を点\(a\)においてそれぞれの変数\(x_{i}\ \left( i=1,\cdots ,n\right) \)について\(m_{i}\)回ずつ偏微分する場合、どのような順番で合計\(\sum_{i=1}^{n}m_{i}\)回の偏微分を行うかが問題になりますが、\(C^{r}\)級の仮定およびクレローの定理より、偏微分を行う順番とは関係なく、\(f\)の点\(a\)における\(\sum_{i=1}^{n}m_{i}\)階偏微分係数はいずれも一致することが保証されるため、それらの\(\sum_{i=1}^{n}m_{i}\)階偏微分係数を総称して、\begin{equation*}D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}f\left( a\right) ,\quad \left(
\frac{\partial }{\partial x_{1}}\right) ^{m_{1}}\left( \frac{\partial }{\partial x_{n}}\right) ^{m_{2}}\cdots \left( \frac{\partial }{\partial x_{1}}\right) ^{m_{1}}f\left( a\right) ,\quad \frac{\partial ^{m_{1}+m_{2}+\cdots
+m_{n}}f\left( a\right) }{\partial x_{1}^{m_{1}}\partial x_{2}^{m_{2}}\cdots
\partial x_{n}^{m_{n}}}
\end{equation*}などで表記します。また、関数\(f\)が定義域\(X\)上で\(C^{r}\)級である場合、やはりクレローの定理より、偏微分を行う順番とは関係なく\(f\)の\(\sum_{i=1}^{n}m_{i}\)階偏導関数はいずれも一致することが保証されるため、それらの\(\sum_{i=1}^{n}m_{i}\)階偏導関数を総称して、\begin{equation*}D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}f,\quad \left( \frac{\partial
}{\partial x_{1}}\right) ^{m_{1}}\left( \frac{\partial }{\partial x_{n}}\right) ^{m_{2}}\cdots \left( \frac{\partial }{\partial x_{1}}\right)
^{m_{1}}f,\quad \frac{\partial ^{m_{1}+m_{2}+\cdots +m_{n}}f}{\partial
x_{1}^{m_{1}}\partial x_{2}^{m_{2}}\cdots \partial x_{n}^{m_{n}}}
\end{equation*}などで表記します。以上を踏まえた上で、関数\(f\)をそれぞれの変数\(x_{i}\)について\(m_{i}\)回ずつ偏微分するという操作そのものを、\begin{equation*}D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}},\quad \left( \frac{\partial }{\partial x_{1}}\right) ^{m_{1}}\left( \frac{\partial }{\partial x_{n}}\right) ^{m_{2}}\cdots \left( \frac{\partial }{\partial x_{1}}\right)
^{m_{1}},\quad \frac{\partial ^{m_{1}+m_{2}+\cdots +m_{n}}}{\partial
x_{1}^{m_{1}}\partial x_{2}^{m_{2}}\cdots \partial x_{n}^{m_{n}}}
\end{equation*}などで表記し、これを単純偏微分作用素(simple partial differential operator)や単純偏微分演算子などと呼びます。また、\(f\)を偏微分する合計回数\begin{equation*}m_{1}+m_{2}+\cdots +m_{n}
\end{equation*}を単純偏微分作用素の次数(order)と呼びます。

関数\(f\)が\(C^{r}\)級である場合、クレローの定理より、\(f\)に対して\(r\)以下の任意の次数を持つ単純偏微分作用素を作用させることができます。

例(単純偏微分微分作用素)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x^{4}-x^{2}y^{2}+y^{4}
\end{equation*}を定めるものとします。このとき、\begin{eqnarray*}
D_{x}f\left( x,y\right) &=&\frac{\partial }{\partial x}f\left( x,y\right)
\quad \because \text{単純偏微分作用素の定義} \\
&=&\frac{\partial }{\partial x}\left( x^{4}-x^{2}y^{2}+y^{4}\right) \quad
\because f\text{の定義} \\
&=&4x^{3}-2xy^{2}
\end{eqnarray*}となります。また、\begin{eqnarray*}
D_{x}D_{y}f\left( x,y\right) &=&\frac{\partial ^{2}}{\partial x\partial y}f\left( x,y\right) \quad \because \text{単純偏微分作用素の定義} \\
&=&\frac{\partial ^{2}}{\partial x\partial y}\left(
x^{4}-x^{2}y^{2}+y^{4}\right) \quad \because f\text{の定義}
\\
&=&-4xy
\end{eqnarray*}となります。また、\begin{eqnarray*}
D_{y}^{2}f\left( x,y\right) &=&\frac{\partial ^{2}}{\partial y\partial y}f\left( x,y\right) \quad \because \text{単純偏微分作用素の定義} \\
&=&\frac{\partial ^{2}}{\partial y\partial y}\left(
x^{4}-x^{2}y^{2}+y^{4}\right) \quad \because f\text{の定義}
\\
&=&12y^{2}-2x^{2}
\end{eqnarray*}となります。

 

単純偏微分作用素の定数倍

多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)および周辺の任意の点において\(C^{r}\)級であるものとします。さらに、\(r\)次以下の単純偏微分作用素\begin{equation*}D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}\quad \left(
m_{1}+m_{2}+\cdots +m_{n}\leq r\right)
\end{equation*}と実数\(c\in \mathbb{R} \)をそれぞれ任意に選びます。\(f\)に\(D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}\)を作用させれば\(\sum_{i=1}^{n}m_{i}\)階偏微分係数\(D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}f\left( a\right) \)が得られますが、さらにその値を\(c\)倍すれば以下の値\begin{equation*}cD_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}f\left( a\right)
\end{equation*}が得られます。また、関数\(f\)が定義域\(X\)上で\(C^{r}\)級である場合、\(f\)に\(D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}\)を作用させれば\(\sum_{i=1}^{n}m_{i}\)階偏導関数\(D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}f\)が得られますが、さらにその関数を\(c\)倍すれば以下の関数\begin{equation*}cD_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}f
\end{equation*}が得られます。以上を踏まえた上で、関数\(f\)に\(D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}\)を作用させた結果を\(c\)倍するという操作に相当する作用素を、\begin{equation}cD_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}} \quad \cdots (1)
\end{equation}で表記します。つまり、\begin{equation*}
\left( cD_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}\right) f=c\left(
D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}f\right)
\end{equation*}を満たすものとして作用素\(\left( 1\right) \)を定義するということです。

例(単純偏微分作用素の定数倍)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x^{4}-x^{2}y^{2}+y^{4}
\end{equation*}を定めるものとします。このとき、\begin{eqnarray*}
\left( -D_{x}\right) f\left( x,y\right) &=&-\left( D_{x}f\left( x,y\right)
\right) \quad \because \text{単純偏微分作用素の定数倍} \\
&=&-\left[ \frac{\partial }{\partial x}f\left( x,y\right) \right] \quad
\because \text{単純偏微分作用素の定義} \\
&=&-\left[ \frac{\partial }{\partial x}\left( x^{4}-x^{2}y^{2}+y^{4}\right) \right] \quad \because f\text{の定義} \\
&=&-\left( 4x^{3}-2xy^{2}\right)
\end{eqnarray*}となります。また、\begin{eqnarray*}
\left( \frac{1}{2}D_{x}^{2}D_{y}\right) f\left( x,y\right) &=&\frac{1}{2}\left( D_{x}^{2}D_{y}f\left( x,y\right) \right) \quad \because \text{単純偏微分作用素の定数倍} \\
&=&\frac{1}{2}\left[ \frac{\partial ^{3}}{\partial x\partial x\partial y}f\left( x,y\right) \right] \quad \because \text{単純偏微分作用素の定義} \\
&=&\frac{1}{2}\left[ \frac{\partial ^{3}}{\partial x\partial x\partial y}\left( x^{4}-x^{2}y^{2}+y^{4}\right) \right] \quad \because f\text{の定義} \\
&=&\frac{1}{4}\left( -4y\right) \\
&=&-y
\end{eqnarray*}となります。

例(多変数関数の定数倍の偏微分)
関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)と実数\(c\in \mathbb{R} \)から関数\begin{equation*}cf:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を定義します。\(f\)が変数\(x_{k}\)に関して偏微分可能である場合には\(cf\)もまた変数\(x_{k}\)に関して偏微分可能であるとともに、それらの偏導関数の間に、\begin{equation*}\left( cf\right) _{x_{k}}^{\prime }\left( x\right) =cf_{x_{k}}^{\prime
}\left( x\right)
\end{equation*}が成り立つことが保証されますが、偏微分作用素を用いてこれを表現すると、\begin{equation*}
\left( cD_{x_{k}}\right) f=c\left( D_{x_{k}}f\right)
\end{equation*}となります。

 

単純偏微分作用素の和

多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)および周辺の任意の点において\(C^{r}\)級であるものとします。\(r\)次以下の2つの単純偏微分作用素\begin{eqnarray*}&&D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}\quad \left(
p_{1}+p_{2}+\cdots +p_{n}\leq r\right) \\
&&D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\quad \left(
q_{1}+q_{2}+\cdots +q_{n}\leq r\right)
\end{eqnarray*}をそれぞれ任意に選びます。点\(a\)において\(f\)に\(D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}\)を作用させれば\(\sum_{i=1}^{n}p_{i}\)階偏微分係数\(D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}f\left( a\right) \)が得られ、\(D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\)を作用させれば\(\sum_{i=1}^{n}q_{i}\)階偏微分係数\(D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}f\left( a\right) \)が得られますが、それらの値の和をとれば以下の値\begin{equation*}D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}f\left( a\right)
+D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}f\left( a\right)
\end{equation*}が得られます。また、関数\(f\)が定義域\(X\)上で\(C^{r}\)級である場合、\(f\)に\(D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}\)を作用させれば\(\sum_{i=1}^{n}p_{i}\)階偏導関数\(D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}f\)が得られ、\(D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\)を作用させれば\(\sum_{i=1}^{n}q_{i}\)階偏導関数\(D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}f\)が得られますが、それらの関数の和をとれば以下の関数\begin{equation*}D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots
D_{n}^{p_{n}}f+D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}f
\end{equation*}が得られます。以上を踏まえた上で、関数\(f\)に\(D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}\)を作用させた結果と\(D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\)を作用させた結果の和をとるという操作に相当する作用素を、\begin{equation}D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots
D_{n}^{p_{n}}+D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}} \quad \cdots (1)
\end{equation}で表記します。つまり、\begin{equation*}
\left( D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots
D_{n}^{p_{n}}+D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\right) f=\left(
D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}\right) f+\left(
D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\right) f
\end{equation*}を満たすものとして作用素\(\left( 1\right) \)を定義するということです。

例(単純偏微分作用素の和)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x^{4}-x^{2}y^{2}+y^{4}
\end{equation*}を定めるものとします。このとき、\begin{eqnarray*}
\left( D_{x}+D_{y}\right) f\left( x,y\right) &=&D_{x}f\left( x,y\right)
+D_{y}f\left( x,y\right) \quad \because \text{単純偏微分作用素の和} \\
&=&\frac{\partial }{\partial x}f\left( x,y\right) +\frac{\partial }{\partial
y}f\left( x,y\right) \quad \because \text{単純偏微分作用素の定義} \\
&=&\frac{\partial }{\partial x}\left( x^{4}-x^{2}y^{2}+y^{4}\right) +\frac{\partial }{\partial y}\left( x^{4}-x^{2}y^{2}+y^{4}\right) \quad \because f\text{の定義} \\
&=&\left( 4x^{3}-2x^{2}y\right) +\left( -2xy^{2}+4y^{3}\right)
\end{eqnarray*}となります。また、\begin{eqnarray*}
\left( D_{x}^{2}D_{y}+D_{y}^{3}\right) f\left( x,y\right)
&=&D_{x}^{2}D_{y}f\left( x,y\right) +D_{y}^{3}f\left( x,y\right) \quad
\because \text{単純偏微分作用素の和} \\
&=&\frac{\partial ^{3}}{\partial x\partial x\partial y}f\left( x,y\right) +\frac{\partial ^{3}}{\partial y\partial y\partial y}f\left( x,y\right) \quad
\because \text{単純偏微分作用素の定義} \\
&=&\frac{\partial ^{3}}{\partial x\partial x\partial y}\left(
x^{4}-x^{2}y^{2}+y^{4}\right) +\frac{\partial ^{3}}{\partial y\partial
y\partial y}\left( x^{4}-x^{2}y^{2}+y^{4}\right) \\
&=&-4y+24y \\
&=&20y
\end{eqnarray*}となります。

例(多変数関数の和の偏微分)
2つの関数\(f,g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)から関数\begin{equation*}f+g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を定義します。\(f,g\)がともに変数\(x_{k}\)に関して偏微分可能である場合には\(f+g\)もまた変数\(x_{k}\)に関して偏微分可能であるとともに、それらの偏導関数の間に、\begin{equation*}\left( f+g\right) _{x_{k}}^{\prime }\left( x\right) =f_{x_{k}}^{\prime
}\left( x\right) +g_{x_{k}}^{\prime }\left( x\right)
\end{equation*}が成り立つことが保証されますが、これを偏微分作用素を用いて表現すると、\begin{equation*}
D_{x_{k}}\left( f+g\right) =D_{x_{k}}f+D_{x_{k}}g
\end{equation*}となります。

例(多変数関数の差の偏微分)
2つの関数\(f,g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)から関数\begin{equation*}f-g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を定義します。\(f,g\)がともに変数\(x_{k}\)に関して偏微分可能である場合には\(f-g\)もまた変数\(x_{k}\)に関して偏微分可能であるとともに、それらの偏導関数の間に、\begin{equation*}\left( f-g\right) _{x_{k}}^{\prime }\left( x\right) =f_{x_{k}}^{\prime
}\left( x\right) -g_{x_{k}}^{\prime }\left( x\right)
\end{equation*}が成り立つことが保証されますが、偏微分作用素を用いてこれを表現すると、\begin{equation*}
D_{x_{k}}\left( f-g\right) =D_{x_{k}}f-D_{x_{k}}g
\end{equation*}となります。

例(多変数関数の積の偏微分)
2つの関数\(f,g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)から関数\begin{equation*}f\cdot g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を定義します。\(f,g\)がともに変数\(x_{k}\)に関して偏微分可能である場合には\(f\cdot g\)もまた変数\(x_{k}\)に関して偏微分可能であるとともに、それらの偏導関数の間に、\begin{equation*}\left( f\cdot g\right) _{x_{k}}^{\prime }\left( x\right) =f_{x_{k}}^{\prime
}\left( x\right) \cdot g\left( x\right) +f\left( x\right) \cdot
g_{x_{k}}^{\prime }\left( x\right)
\end{equation*}が成り立つことが保証されますが、偏微分作用素を用いてこれを表現すると、\begin{equation*}
D_{x_{k}}\left( f\cdot g\right) =\left( D_{x_{k}}f\right) \cdot g+f\cdot
\left( D_{x_{k}}g\right)
\end{equation*}となります。

例(多変数関数の商の偏微分)
関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)と\(g:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \backslash \left\{ 0\right\} \)から関数\begin{equation*}\frac{f}{g}:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \end{equation*}を定義します。\(f,g\)がともに変数\(x_{k}\)に関して偏微分可能である場合には\(\frac{f}{g}\)もまた変数\(x_{k}\)に関して偏微分可能であるとともに、それらの偏導関数の間に、\begin{equation*}\left( \frac{f}{g}\right) _{x_{k}}^{\prime }\left( x\right) =\frac{f_{x_{k}}^{\prime }\left( x\right) \cdot g\left( x\right) -f\left( x\right)
\cdot g_{x_{k}}^{\prime }\left( x\right) }{\left[ g\left( x\right) \right] ^{2}}
\end{equation*}が成り立つことが保証されますが、偏微分作用素を用いてこれを表現すると、\begin{equation*}
D_{x_{k}}\left( \frac{f}{g}\right) =\frac{\left( D_{x_{k}}f\right) \cdot
g-f\cdot \left( D_{x_{k}}g\right) }{g^{2}}
\end{equation*}となります。

 

偏微分作用素

多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)および周辺の任意の点において\(C^{r}\)級であるものとします。\(r\)次以下の2つの単純偏微分作用素\begin{eqnarray*}&&D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}\quad \left(
p_{1}+p_{2}+\cdots +p_{n}\leq r\right) \\
&&D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\quad \left(
q_{1}+q_{2}+\cdots +q_{n}\leq r\right)
\end{eqnarray*}と2つの実数\begin{eqnarray*}
c_{p_{1}p_{2}\cdots p_{n}} &\in &\mathbb{R} \\
c_{q_{1}q_{2}\cdots q_{n}} &\in &\mathbb{R} \end{eqnarray*}をそれぞれ任意に選んだとき、これまでの議論より、新たな作用素\begin{equation*}
D=c_{p_{1}p_{2}\cdots p_{n}}D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots
D_{n}^{p_{n}}+c_{q_{1}q_{2}\cdots q_{n}}D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots
D_{n}^{q_{n}}
\end{equation*}が定義可能です。これを偏微分作用素(partial differential operator)や偏微分演算子などと呼びます。点\(a\)において偏微分作用素\(D\)を\(f\)に対して作用させれば以下の値\begin{eqnarray*}Df\left( a\right) &=&\left( c_{p_{1}p_{2}\cdots
p_{n}}D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots D_{n}^{p_{n}}+c_{q_{1}q_{2}\cdots
q_{n}}D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\right) f\left( a\right)
\\
&=&\left( c_{p_{1}p_{2}\cdots p_{n}}D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots
D_{n}^{p_{n}}\right) f\left( a\right) +\left( c_{q_{1}q_{2}\cdots
q_{n}}D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\right) f\left( a\right)
\\
&=&c_{p_{1}p_{2}\cdots p_{n}}\left( D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots
D_{n}^{p_{n}}\right) f\left( a\right) +c_{q_{1}q_{2}\cdots q_{n}}\left(
D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\right) f\left( a\right)
\end{eqnarray*}を得ます。また、関数\(f\)が定義域\(X\)上で\(C^{r}\)級である場合、偏微分作用素\(D\)を\(f\)に対して作用させれば以下の関数\begin{eqnarray*}Df &=&\left( c_{p_{1}p_{2}\cdots p_{n}}D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots
D_{n}^{p_{n}}+c_{q_{1}q_{2}\cdots q_{n}}D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots
D_{n}^{q_{n}}\right) f \\
&=&\left( c_{p_{1}p_{2}\cdots p_{n}}D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots
D_{n}^{p_{n}}\right) f+\left( c_{q_{1}q_{2}\cdots
q_{n}}D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\right) f \\
&=&c_{p_{1}p_{2}\cdots p_{n}}\left( D_{1}^{p_{1}}D_{2}^{p_{2}}\cdots
D_{n}^{p_{n}}\right) f+c_{q_{1}q_{2}\cdots q_{n}}\left(
D_{1}^{q_{1}}D_{2}^{q_{2}}\cdots D_{n}^{q_{n}}\right) f
\end{eqnarray*}を得ます。

3個以上の単純偏微分作用素の定数倍の和から偏微分作用素を生成することもできます。つまり、関数\(f\)が\(C^{r}\)級である場合、偏微分作用素とは\(r\)次以下の単純偏微分作用素\(D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots D_{n}^{m_{n}}\)の定数\(c_{m_{1}m_{2}\cdots m_{n}}\)倍どうしの和\begin{equation*}D=\sum c_{m_{1}m_{2}\cdots m_{n}}D_{1}^{m_{1}}D_{2}^{m_{2}}\cdots
D_{n}^{m_{n}}
\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}-x^{2}y^{2}+y^{4}
\end{equation*}を定めるものとします。このとき、\begin{eqnarray*}
&&\left( 3D_{x}-D_{x}D_{y}+\frac{1}{2}D_{y}^{2}\right) f\left( x,y\right) \\
&=&3D_{x}f\left( x,y\right) -D_{x}D_{y}f\left( x,y\right) +\frac{1}{2}D_{y}^{2}f\left( x,y\right) \quad \because \text{偏微分作用素の定義} \\
&=&3\frac{\partial }{\partial x}f\left( x,y\right) -\frac{\partial ^{2}}{\partial x\partial y}f\left( x,y\right) +\frac{1}{2}\frac{\partial ^{2}}{\partial y\partial y}f\left( x,y\right) \quad \because \text{単純偏微分作用素の定義} \\
&=&3\frac{\partial }{\partial x}\left( x^{4}-x^{2}y^{2}+y^{4}\right) -\frac{\partial ^{2}}{\partial x\partial y}\left( x^{4}-x^{2}y^{2}+y^{4}\right) +\frac{1}{2}\frac{\partial ^{2}}{\partial y\partial y}\left(
x^{4}-x^{2}y^{2}+y^{4}\right) \quad \because f\text{の定義}
\\
&=&3\left( 4x^{3}-2xy^{2}\right) -\left( -4xy\right) +\frac{1}{2}\left(
12y^{2}-2x^{2}\right) \\
&=&12x^{3}-x^{2}-6xy^{2}+4xy+6y^{2}
\end{eqnarray*}となります。

関数\(f\)が\(C^{\infty }\)級である場合など、\(r\)が十分大きい場合には、関数\(f\)に対して同一の偏微分作用素\(D\)を繰り返し作用させることができます。微分作用素\(D\)を\(r\)回作用させることを、\begin{equation*}D^{r}
\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}-x^{2}y^{2}+y^{4}
\end{equation*}を定めるものとします。以下の偏微分作用素\begin{equation*}
D=2D_{x}+D_{y}
\end{equation*}に注目したとき、\begin{eqnarray*}
D^{2}f\left( x,y\right) &=&D\left[ D\left( x^{4}-x^{2}y^{2}+y^{4}\right) \right] \quad \because D^{2}\text{の定義} \\
&=&D\left[ \left( 2D_{x}+D_{y}\right) \left( x^{4}-x^{2}y^{2}+y^{4}\right) \right] \quad \because D\text{の定義} \\
&=&D\left[ 2\frac{\partial }{\partial x}\left( x^{4}-x^{2}y^{2}+y^{4}\right)
+\frac{\partial }{\partial y}\left( x^{4}-x^{2}y^{2}+y^{4}\right) \right] \quad \because D_{x},D_{y}\text{の定義} \\
&=&D\left[ 2\left( 4x^{3}-2xy^{2}\right) +\left( -2x^{2}y+4y^{3}\right) \right] \\
&=&D\left( 8x^{3}-4xy^{2}-2x^{2}y+4y^{3}\right) \\
&=&\left( 2D_{x}+D_{y}\right) \left( 8x^{3}-4xy^{2}-2x^{2}y+4y^{3}\right)
\quad \because D\text{の定義} \\
&=&2\frac{\partial }{\partial x}\left( 8x^{3}-4xy^{2}-2x^{2}y+4y^{3}\right) +\frac{\partial }{\partial y}\left( 8x^{3}-4xy^{2}-2x^{2}y+4y^{3}\right) \\
&=&2\left( 24x^{2}-8y^{2}-4xy\right) +\left( -8xy-2x^{2}+12y^{2}\right) \\
&=&46x^{2}-16xy-4y^{2}
\end{eqnarray*}となります。

 

ナブラ作用素

多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)において偏微分可能である場合、そこでの勾配ベクトル\begin{equation*}\nabla f\left( a\right) =\left( \frac{\partial f\left( a\right) }{\partial
x_{1}},\cdots ,\frac{\partial f\left( a\right) }{\partial x_{n}}\right)
\end{equation*}が存在することが保証されます。また、関数\(f\)が定義域\(X\)上で偏微分可能である場合、勾配ベクトル場\begin{equation*}\nabla f\left( x\right) =\left( \frac{\partial f\left( x\right) }{\partial
x_{1}},\cdots ,\frac{\partial f\left( x\right) }{\partial x_{n}}\right)
\end{equation*}が存在することが保証されます。以上を踏まえた上で、関数\(f\)を偏微分するという操作そのものを、\begin{equation*}\nabla
\end{equation*}で表記し、これをナブラ作用素(nabla differential operator)やナブラ演算子などと呼びます。

勾配ベクトルに関しては、\begin{eqnarray*}
\nabla f\left( x\right) &=&\left( \frac{\partial f\left( x\right) }{\partial x_{1}},\cdots ,\frac{\partial f\left( x\right) }{\partial x_{n}}\right) \quad \because \text{勾配ベクトルの定義} \\
&=&\left( \frac{\partial f\left( x\right) }{\partial x_{1}},\cdots ,0\right)
+\cdots +\left( 0,\cdots ,\frac{\partial f\left( x\right) }{\partial x_{n}}\right) \quad \because \text{ベクトル和の定義} \\
&=&\frac{\partial f\left( x\right) }{\partial x_{1}}\left( 1,\cdots
,0\right) +\cdots +\frac{\partial f\left( x\right) }{\partial x_{n}}\left(
0,\cdots ,1\right) \quad \because \text{ベクトルのスカラー倍の定義} \\
&=&\frac{\partial f\left( x\right) }{\partial x_{1}}e_{1}+\cdots +\frac{\partial f\left( x\right) }{\partial x_{n}}e_{n}\quad \because e_{k}=\left(
0,\cdots ,1,\cdots ,0\right) \\
&=&\left( D_{x_{1}}f\right) \left( x\right) e_{1}+\cdots \left(
D_{x_{n}}f\right) \left( x\right) e_{n}\quad \because \text{偏微分作用素の定義} \\
&=&\sum_{k=1}^{n}\left( D_{x_{k}}f\right) \left( x\right) e_{k}
\end{eqnarray*}という変形が可能であることを踏まえた上で、ナブラ作用素を、\begin{eqnarray*}
\nabla &=&\sum_{k=1}^{n}D_{x_{k}}e_{k} \\
&=&D_{x_{1}}e_{1}+\cdots +D_{x_{n}}e_{n}
\end{eqnarray*}と表現できるものと定めます。ただし、\(e_{k}\)は第\(k\)成分が\(1\)で他の任意の成分が\(0\)であるような\(n\)次元ベクトルです。

例(ナブラ作用素)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =x^{4}-x^{2}y^{2}+y^{4}
\end{equation*}を定めるものとします。このとき、\begin{eqnarray*}
\nabla f\left( x,y\right) &=&\left[ D_{x}e_{1}+D_{y}e_{2}\right] f\left(
x,y\right) \quad \because \text{ナブラ作用素の定義} \\
&=&\left[ \frac{\partial }{\partial x}\left( x^{4}-x^{2}y^{2}+y^{4}\right) \right] \left( 1,0\right) +\left[ \frac{\partial }{\partial y}\left(
x^{4}-x^{2}y^{2}+y^{4}\right) \right] \left( 0,1\right) \\
&=&\left( 4x^{3}-2xy^{2}\right) \left( 1,0\right) +\left(
-2x^{2}y+4y^{3}\right) \left( 0,1\right) \\
&=&\left( 4x^{3}-2xy^{2},0\right) +\left( 0,-2x^{2}y+4y^{3}\right) \\
&=&\left( 4x^{3}-2xy^{2},-2x^{2}y+4y^{3}\right)
\end{eqnarray*}となります。

 

ナブラ作用素との内積

多変数関数\(f:\mathbb{R} ^{n}\supset X\rightarrow \mathbb{R} \)が定義域の内点\(a\in X^{i}\)において偏微分可能であるものとします。さらに、ベクトル\(v\in \mathbb{R} ^{n}\)を任意に選びます。\(f\)に\(\nabla \)を作用させればベクトル\(\nabla f\left( a\right) \in \mathbb{R} ^{n}\)が得られますが、これと\(v\)の内積をとれば以下の実数\begin{eqnarray*}v\cdot \nabla f\left( a\right) &=&\left( v_{1},\cdots ,v_{n}\right) \cdot
\left( \frac{\partial f\left( a\right) }{\partial x_{1}},\cdots ,\frac{\partial f\left( a\right) }{\partial x_{n}}\right) \\
&=&\sum_{k=1}^{n}v_{k}\frac{\partial f\left( a\right) }{\partial x_{k}}
\end{eqnarray*}が得られます。また、関数\(f\)が定義域\(X\)上で偏微分可能である場合、\(f\)に\(\nabla \)を作用させればベクトル値関数\(\nabla f\left( x\right) \)が得られますが、これと\(v\)の内積をとれば以下のベクトル値関数\begin{eqnarray*}v\cdot \nabla f\left( x\right) &=&\left( v_{1},\cdots ,v_{n}\right) \cdot
\left( \frac{\partial f\left( x\right) }{\partial x_{1}},\cdots ,\frac{\partial f\left( x\right) }{\partial x_{n}}\right) \\
&=&\sum_{k=1}^{n}v_{k}\frac{\partial f\left( x\right) }{\partial x_{k}}
\end{eqnarray*}が得られます。以上を踏まえた上で、関数\(f\)に\(\nabla \)を作用させた結果とベクトル\(v\)の内積をとるという操作に相当する作用素を、\begin{equation*}v\cdot \nabla
\end{equation*}で表記します。つまり、\begin{equation*}
\left( v\cdot \nabla \right) f=v\cdot \nabla f
\end{equation*}を満たすものとして作用素\(v\cdot \nabla \)を定義するということです。

例(ナブラ作用素との内積)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)が偏微分可能であるものとします。ベクトル\(v=\left( v_{1},v_{2}\right) \in \mathbb{R} ^{2}\)を任意に選んだとき、\begin{eqnarray*}\left( v\cdot \nabla \right) f\left( x,y\right) &=&\left(
v_{1},v_{2}\right) \cdot \nabla f\left( x,y\right) \quad \because \nabla
\cdot v\text{の定義} \\
&=&\left( v_{1},v_{2}\right) \cdot \left( \frac{\partial f\left( x,y\right)
}{\partial x},\frac{\partial f\left( x,y\right) }{\partial y}\right) \\
&=&v_{1}\frac{\partial f\left( x,y\right) }{\partial x}+v_{2}\frac{\partial
f\left( x,y\right) }{\partial y}
\end{eqnarray*}となります。

関数\(f\)が\(r\)階微分可能である場合には、関数\(f\)に対して同一の作用素\(v\cdot \nabla \)を\(r\)回繰り返し作用させることができます。作用素\(v\cdot\nabla \)を\(r\)回作用させることを、\begin{equation*}\left( v\cdot \nabla \right) ^{r}
\end{equation*}で表記します。

例(ナブラ作用素との内積)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)が2階偏微分可能であるものとします。ベクトル\(v=\left( v_{1},v_{2}\right) \in \mathbb{R} ^{2}\)を任意に選んだとき、\begin{eqnarray*}\left( v\cdot \nabla \right) ^{2}f\left( x,y\right) &=&\left( v\cdot \nabla
\right) \left[ \left( v\cdot \nabla \right) f\left( x,y\right) \right] \quad
\because \left( \nabla \cdot v\right) ^{2}\text{の定義} \\
&=&\left( v\cdot \nabla \right) \left[ \left( v_{1},v_{2}\right) \cdot
\left( \frac{\partial f\left( x,y\right) }{\partial x},\frac{\partial
f\left( x,y\right) }{\partial y}\right) \right] \quad \because v\cdot \nabla
\text{の定義} \\
&=&\left( v\cdot \nabla \right) \left[ v_{1}\frac{\partial f\left(
x,y\right) }{\partial x}+v_{2}\frac{\partial f\left( x,y\right) }{\partial y}\right] \\
&=&\left( v_{1},v_{2}\right) \cdot \left( \frac{\partial }{\partial x}\left[
v_{1}\frac{\partial f\left( x,y\right) }{\partial x}+v_{2}\frac{\partial
f\left( x,y\right) }{\partial y}\right] ,\frac{\partial }{\partial y}\left[
v_{1}\frac{\partial f\left( x,y\right) }{\partial x}+v_{2}\frac{\partial
f\left( x,y\right) }{\partial y}\right] \right) \quad \because v\cdot \nabla
\text{の定義} \\
&=&\left( v_{1},v_{2}\right) \cdot \left( v_{1}\frac{\partial ^{2}f\left(
x,y\right) }{\partial x\partial x}+v_{2}\frac{\partial ^{2}f\left(
x,y\right) }{\partial x\partial y},v_{1}\frac{\partial ^{2}f\left(
x,y\right) }{\partial y\partial x}+v_{2}\frac{\partial ^{2}f\left(
x,y\right) }{\partial y\partial y}\right) \\
&=&\left( v_{1},v_{2}\right) \cdot
\begin{pmatrix}
\frac{\partial ^{2}f\left( x,y\right) }{\partial x\partial x} & \frac{\partial ^{2}f\left( x,y\right) }{\partial x\partial y} \\
\frac{\partial ^{2}f\left( x,y\right) }{\partial y\partial x} & \frac{\partial ^{2}f\left( x,y\right) }{\partial y\partial y}\end{pmatrix}\left(
\begin{array}{c}
v_{1} \\
v_{2}\end{array}\right) \\
&=&\left( v_{1},v_{2}\right) \cdot H_{f}\left( x,y\right) \left(
\begin{array}{c}
v_{1} \\
v_{2}\end{array}\right) \quad \because H_{f}\left( x,y\right) \text{はヘッセ行列}
\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}y^{4}
\end{equation*}を定めるものとします。この関数\(f\)に以下の偏微分作用素\begin{equation*}D=D_{x}^{2}+D_{y}^{2}
\end{equation*}を作用させてください。つまり、\begin{equation*}
Df
\end{equation*}を求めてください。

解答を見る

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

問題(偏微分作用素)
関数\(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}+y^{2}\right)
\end{equation*}を定めるものとします。この関数\(f\)に以下の偏微分作用素\begin{equation*}D=2D_{x}-D_{y}
\end{equation*}を作用させてください。つまり、\begin{equation*}
Df
\end{equation*}を求めてください。

解答を見る

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

問題(偏微分作用素)
関数\(f:\mathbb{R} ^{2}\rightarrow \mathbb{R} \)はそれぞれの\(\left( x,y\right) \in \mathbb{R} ^{2}\)に対して、\begin{equation*}f\left( x,y\right) =e^{x+y}
\end{equation*}を定めるものとします。以下の偏微分作用素\begin{equation*}
D=D_{x}+D_{y}
\end{equation*}に注目した上で、\begin{equation*}
D^{3}f
\end{equation*}を求めてください。

解答を見る

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

関連知識

Mailで保存
Xで共有

質問とコメント

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

会員登録

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

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

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

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