偏微分のソースを表示

{{出典の明記|date=2015年11月}}
{{calculus}}
[[数学]]([[解析学]])の[[多変数微分積分学]]における'''偏微分'''（へんびぶん、{{lang-en-short|partial differentiation}}）は、[[多変数関数]]に対して一つの変数のみに関する（それ以外の変数は{{仮リンク|Ceteris paribus|en|Ceteris paribus|label=定数として固定する}}）[[微分]]である（[[全微分]]では全ての変数を動かしたままにするのと対照的である）。偏微分によって領域の各点で得られる微分係数と導関数はそれぞれ'''偏微分係数'''（へんびぶんけいすう、{{lang-en-short|partial derivative}}）、'''偏導関数'''（へんどうかんすう）と呼ばれる。[[記号の濫用|用語の濫用]]として、偏微分係数や偏導関数も偏微分と呼ばれる。偏微分は[[ベクトル解析]]や[[微分幾何学]]などで用いられる。

函数 {{math|''f''(''x'', ''y'', …)}} の変数 {{mvar|x}} に関する偏微分は
: <math>f^\prime_x,\quad f_x,\quad \partial_x f,\quad \frac{\partial}{\partial x}f,\quad  \frac{\partial f}{\partial x}</math>
など様々な表し方がある。一般に函数の偏微分はもとの函数と同じ引数を持つ函数であり、このことを
: <math>f_x(x, y, \ldots), \quad \frac{{\partial f}}{{\partial x}} (x, y, \ldots)</math>
のように記法に明示的に含めてしまうこともある。偏微分記号 [[∂]] が数学において用いられた最初の例の一つは、1770年以降[[ニコラ・ド・コンドルセ|マルキ・ド・コンドルセ]]によるものだが、それは偏差分の意味で用いられたものである。現代的な偏微分記法は[[アドリアン＝マリ・ルジャンドル]]<ref>Adrien-Marie Legendre, Sur la mainère de distinguer les maxima des minima dans le calcul des variations, Mém. Acad. Sci.,</ref> が導入しているが、後が続かなかった。これを1841年に再導入するのが[[カール・グスタフ・ヤコブ・ヤコビ]]である<ref name="jeff_earliest">{{cite web|url=http://jeff560.tripod.com/calculus.html|title=Earliest Uses of Symbols of Calculus|first=Jeff|last=Miller|date=2009-06-14|work=Earliest Uses of Various Mathematical Symbols|accessdate=2009-02-20}}</ref>。

偏微分は[[方向微分]]の特別の場合である。また無限次元の場合にこれらは[[ガトー微分]]に一般化される。

== 定義 ==
=== 2変数の場合 ===
簡単のため、2 変数の場合のみを詳しく述べる。''z'' = ''f''(''x'', ''y'') を '''R'''<sup>2</sup> のある領域上で定義された実数値関数で、''x'' と ''y'' とは関数関係を持たずに独立に変化することができるとする。そして ''y'' を任意の値 ''b'' で固定すると、これを ''z'' = ''f''(''x,'' ''b'') = ''f''<sub>1</sub>(''x'') という変数 ''x'' の関数だと思うことができる。このとき、この ''z'' = ''f''<sub>1</sub>(''x'') の ''x'' = ''a'' における微分係数
:<math>\begin{align} \frac{df_1}{dx}(a) 
  &= \lim_{\Delta x\to 0}\frac{f_1(a+\Delta x)-f_1(a)}{\Delta x}\\
  &= \lim_{\Delta x\to 0}\frac{f(a+\Delta x,b)-f(a,b)}{\Delta x}
\end{align}</math>
を ''z'' = ''f''(''x'', ''y'') の、点 (''a'', ''b'') における ''x'' に関する'''偏微分係数'''とよぶ。この極限を
:<math>\left.\frac{\partial z}{\partial x}\right|_{(x,y)=(a,b)} 
  = \frac{\partial z}{\partial x}(a,b) 
  = f_x(a,b) = z_x|_{x=a,y=b}
</math>
などのように記す。''z'' = ''f''(''x'', ''y'') を[[曲面]]と考えると、偏微分係数 ''f''<sub>''x''</sub>(''a'', ''b'') は領域上の点 (''a'', ''b'') における、''z'' の ''x'' 方向の[[傾き (数学)|傾き]]を表している。領域 ''D'' &sub; '''R'''<sup>2</sup> の各点 (''x'', ''y'') で ''x'' に関する偏微分係数が存在するとき、これを ''x'', ''y'' の関数と見た
:<math>\partial_x f(x,y) = f_x(x,y)=\frac{\partial z}{\partial x}
 =\lim_{\Delta x\to 0}\frac{f(x+\Delta x,y)-f(x,y)}{\Delta x}
</math>
を ''z'' = ''f''(''x'', ''y'') の ''x'' に関する'''偏導関数'''と呼ぶ。領域 ''D'' の各点で偏導関数が定義できるとき、''z'' は領域 ''D'' において ''x'' に関して偏微分可能であるという。

同様に、''x'' を任意の値 ''a'' で固定してできる ''z'' = ''f''(''a,'' ''y'') = ''f''<sub>2</sub>(''y'') という ''y'' についての関数が、ある領域 ''D'' に属する ''y'' について微分可能なら
:<math>f_y(x,y) = \frac{\partial z}{\partial y} 
  := \lim_{\Delta y \to 0} \frac{f(x, y+\Delta y)-f(x,y)}{\Delta y}
</math>
を ''z'' の ''y'' についての偏導関数といい、''z'' は ''D'' において ''y'' について偏微分可能であるという。

=== 形式的な定義 ===
一般の場合、''u'' = ''f''(''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>) の変数
''x''<sub>''i''</sub> (1 &le; ''i'' &le; ''n'') に関する偏微分または偏導関数とは、'''R'''<sup>''n''</sup> のある領域 ''D'' の各点において極限
:<math> \lim_{\Delta x_i \to 0}
  \frac{
    f(x_1,\ldots,x_i+\Delta x_i,\ldots,x_n)
    -f(x_1,\ldots,x_i,\ldots,x_n)
  }{
    \Delta x_i 
  }
</math>
が存在するとき、その極限として得られる ''D'' 上の関数のことをいい
:<math>\frac{\partial f}{\partial x} = f_x = \partial_x f = u_x</math>
などであらわす。他に使われている変数を明示するときは
:<math>\left(\frac{\partial f}{\partial x}\right)_{y,z},\quad
 \partial_x f(x,y,z), \quad u_x|_{x_1,x_2,\ldots,x_n}</math>
などの記法が使われる

== 高階偏導関数 ==
偏導関数がさらに偏微分可能ならば、偏微分を繰り返して高階（高次）の偏導関数
:<math>\frac{\partial^2 f}{\partial x^2} = f_{xx} = \partial_{xx} f</math>
:<math>\frac{\partial^2 f}{\partial x\,\partial y} = \frac{\partial}{\partial x}\left(\frac{\partial f}{\partial y}\right) = f_{yx}</math>
などを考えることができる。一般に[[多重指数]] &alpha; = (''a''<sub>1</sub>, ''a''<sub>2</sub>, ..., ''a''<sub>''n''</sub>) に対して |&alpha;| = ''a''<sub>1</sub> + ''a''<sub>2</sub> + ... + ''a''<sub>''n''</sub> として
:<math>\partial_\alpha f = \frac{\partial^{|\alpha|}f}{\partial x_1^{a_1}\,\partial x_2^{a_2}\cdots\partial x_n^{a_n}} = f^{(\alpha)}</math>
を定義することができる。

たとえば 2 変数の関数 ''f''(''x'', ''y'') が偏微分可能で、さらに二つの偏導関数 ''f''<sub>''x'' </sub>, ''f''<sub>''y''</sub> が偏微分可能なとき、''f'' の二階の偏導関数は
: ''f''<sub>''xx'' </sub>, ''f''<sub>''xy'' </sub>, ''f''<sub>''yx'' </sub>, ''f''<sub>''yy'' </sub>
の 4 つが定義できる。ここで、二つの偏導関数 ''f''<sub>''xy'' </sub>, ''f''<sub>''yx''</sub> は一般には異なる関数であるが、これらの偏導関数が[[連続]]、つまり元の関数が ''C''<sup>2</sup> 級であるならば、両者は一致する（[[ヤングの定理]]）。
また、一致しないものとしては、たとえば全平面で定義される関数
:<math>f(x,y) = \begin{cases}
   \cfrac{xy(x^2-y^2)}{x^2+y^2} & (x,y)\ne (0,0), \\[10pt]
   0 & (x,y) = (0,0).
\end{cases}</math>
が挙げられる。実際このときは ''f''<sub>''xy''</sub>(0, 0) &ne; ''f''<sub>''yx''</sub>(0, 0) となる。

== 応用 ==
* [[ベクトル解析]]において、{{mvar|f}} の各一階偏微分をベクトルの形にまとめて {{mvar|f}} の[[勾配 (ベクトル解析)|勾配]] {{math|grad&thinsp;''f''}} が与えられる:
*: <math>
 \operatorname{grad} f = \nabla f:=
 \left(\frac{\partial f}{\partial x_1}, \ldots,
 \frac{\partial f}{\partial x_n} \right)^\top.
</math>
* 同様に二階偏微分を[[行列]]の形にまとめて[[ヘッセ行列]]を得る:
*: <math>
\operatorname{H}_f=
\left(\frac{\partial^2f}{\partial x_i\partial x_j}\right)=
\begin{pmatrix}
\frac{\partial^2 f}{\partial x_1\partial x_1}&\dots&\frac{\partial^2  f}{\partial x_1\partial x_n}\\
\vdots&\ddots&\vdots\\
\frac{\partial^2 f}{\partial x_n\partial x_1}&\dots&\frac{\partial^2  f}{\partial x_n\partial x_n}
\end{pmatrix}.
</math>
* 高次元版の[[テイラーの公式]]: {{mvar|k}}-回連続的微分可能函数 {{math|''f'': ''U'' → '''R'''}} は点 {{math|1= ''a'' = (''a''{{msub|1}}, …, ''a''{{msub|''n''}}) &isin; ''U''}} の近傍でテイラー多項式を用いて<div style="margin: 1ex 1em 1ex 1em"><math>
  f(a + h) = \sum_{s =0}^k\,\sum_{j_1 + \dots + j_n =s} \frac{1}{j_1! \cdots j_n!}\,\frac{\partial^{s}f}{\partial x_1^{j_1} \cdots \partial x_n^{j_n}}(a) \, h_1^{j_1} \cdots h_n^{j_n} + r(a,h)
</math></div>と近似される。ただし、{{math|1= ''h'' = (''h''{{msub|1}}, …, ''h''{{msub|''n''}})}} は {{math|{{abs|''h''}} → 0}} の極限で {{mvar|k}}-次より高次の無限小、即ち<div style="margin: 1ex 1em 1ex 1em"><math>
  \lim_{|h| \to 0} \frac{|r(a,h)|}{|h|^k} = 0
</math></div>を満たす。
* 通常の微分積分学において実函数の[[最大値・最小値]]を求める一変数の極値問題と同様に、多変数函数の極値問題に対しても微分係数の一般化によってその極値を決定することができ、その計算において偏微分が必要となる。
* [[微分幾何学]]では[[函数の全微分|全微分]]を決定するのに必要である。
* 偏微分は[[ベクトル解析]]においても本質的である。[[スカラー場]]や[[ベクトル場]]の勾配、[[発散 (ベクトル解析)|発散]]、[[回転 (ベクトル解析)|回転]]や[[ラプラス作用素]]の成分は偏微分で与えられる。[[ヤコビ行列]]も同様。

== 分数階偏導関数 ==
{{節スタブ}}

== 「偏積分」==
通常の微分に対する[[不定積分]]（原始関数）に対応する概念を、偏微分に対しても考えることができる。すなわち、偏導関数を既知としてもとの関数を復元する操作である。

例として、{{math|{{fraction|∂''z''|∂''x''}} {{=}} 2''x'' + ''y''}} を考える。偏微分するときにそうしたように {{mvar|y}} を定数と見て、{{mvar|x}} に関する「偏」積分として
: <math>z = \int \frac{\partial z}{\partial x} \,dx = x^2 + xy + g(y)</math>
をとることができる。ここに、積分「定数」はもはや定数と仮定することはできず、もとの関数の引数のうち {{mvar|x}} 以外のもの全てを変数とするような函数と考えなければならない。なぜならば、{{mvar|x}} での偏微分に際してその他の変数は全て定数として扱われるから、{{mvar|x}} を含まぬ任意の函数は偏微分によって消えてしまうので、そのことを勘案して不定積分を定式化せねばならない。こういったことを諸々含めた意味で、その他の変数をすべて含む未知函数を「定数」と呼ぶことにするのである。

そうすると、任意の一変数函数 {{mvar|g}} を含む函数 {{math|''x''{{exp|2}} + ''xy'' + ''g''(''y'')}} 全体の成す集合が、{{mvar|x}} に関する偏微分で {{math|2''x'' + ''y''}} となる二変数 {{mvar|x, y}} の函数全体の成す集合を表すことがわかる。

仮に一つの函数の任意の偏微分が（例えば[[勾配 (ベクトル解析)|勾配]]などによって）既知であるならば、上記のやり方で以て全ての偏原始函数を同定すれば、もとの函数は定数の[[違いを除いて]]再構成することができる。

== 注釈 ==
{{脚注ヘルプ}}
{{reflist}}

== 関連項目 ==
* [[微分]]
* [[関数の微分]]
* [[方向微分]]
* [[偏微分方程式]]
* [[多変量解析]]
* [[微分形式]]

== 外部リンク ==
* {{SpringerEOM|title=Partial derivative|urlname=Partial_derivative}}
* {{MathWorld| urlname=PartialDerivative| title= Partial Derivatives}}

{{DEFAULTSORT:へんひふん}}
[[Category:解析学]]
[[Category:数学に関する記事]]