前のページ 1/3 次のページ

偏微分(へんびぶん、)とは、多変数の関数に対して、その変数を一旦固定して定数と見なし、一つの成分のみを変数として動かして、その成分方向への瞬間の増分を与える微分法である。偏微分法。偏微分によって得られた微分係数や導関数のことを、偏微分係数、偏導関数あるいは単に偏微分 という。

物理学においては、例えば位置と時間を変数として波の形状をある瞬間に観察するときは、時間をある瞬間に固定して考えることにより位置に対する波の波高値を観察するというような形で偏微分が用いられる。

◆ 定義

◇ 2変数の場合

簡単のため、2 変数の場合のみを詳しく述べる。z = f(x, y) を R² のある領域上で定義された実数値関数で、x と y とは関数関係を持たずに独立に変化することができるとする。そして y を任意の値 b で固定すると、これを z = f(x; b) = f₁(x) という変数 x の関数だと思うことができる。このとき、この z = f₁(x) の x = a における微分係数

:$\backslash begin\backslash frac(a)$

&= \lim_\frac\\

&= \lim_\frac

\end

を z = f(x, y) の、点 (a, b) における x に関する偏微分係数とよぶ。この極限を

:$\backslash left.\backslash frac\backslash right|\_$

= \frac(a,b)

= f_x(a,b) = z_x|_

などのように記す。z = f(x, y) を曲面と考えると、偏微分係数 f_x(a, b) は領域上の点 (a, b) における、z の x 方向の傾きを表している。領域 D ⊂ R² の各点 (x, y) で x に関する偏微分係数が存在するとき、これを x, y の関数と見た

:$\backslash partial\_x\; f(x,y)\; =\; f\_x(x,y)=\backslash frac$

=\lim_\frac

を z = f(x, y) の x に関する偏導関数と呼ぶ。領域 D の各点で偏導関数が定義できるとき、z は領域 D において x に関して偏微分可能であるという。

同様に、x を任意の値 a で固定してできる z = f(a; y) = f₂(y) という y についての関数が、ある領域 D に属する y について微分可能なら

:$f\_y(x,y)\; =\; \backslash frac$

:= \lim_ \frac

を z の y についての偏微分といい、z は D において y について偏微分可能であるという。

◇ 形式的な定義

一般の場合、u = f(x₁, x₂, ..., x_n) の変数

x_i (1 ≤ i ≤ n) に関する偏微分または偏導関数とは、Rⁿ のある領域 D の各点において極限

:$\backslash lim\_$

\frac

が存在するとき、その極限として得られる D 上の関数のことをいい

:$\backslash frac=\; f\_x\; =\; \backslash partial\_x\; f\; =\; u\_x$

などであらわす。他に使われている変数を明示するときは

:$\backslash left(\backslash frac\backslash right)\_,\backslash quad$

\partial_x f(x,y,z), \quad u_x|_

などの記法が使われる

◆ 高階偏導関数

偏導関数がさらに偏微分可能ならば、偏微分を繰り返して高階(高次)の偏導関数

:$\backslash frac=\; f\_=\; \backslash partial\_f$

:$\backslash frac=\; f\_=\; f\_=\; \backslash partial\_f\; =\; \backslash partial\_f$

などを考えることができる。一般に多重指数 α = (a₁, a₂, ..., a_n) に対して |α| = a₁ + a₂ + ... + a_n として

:

を定義することができる。

たとえば 2 変数の関数 f(x, y) が偏微分可能で、さらに二つの偏導関数 f_x , f_y が偏微分可能なとき、f の二階の偏導関数は

: f_xx , f_xy , f_yx , f_yy

の 4 つが定義できる。ここで、二つの偏導関数 f_xy , f_yx は一般には異なる関数であるが、これらの偏導関数が連続、つまり元の関数が C²-級であるならば、両者は一致する(クレローの定理)。

また、一致しないものとしては、たとえば全平面で定義される関数

:$f(x,y)\; =\; \backslash begin$

\cfrac & (x,y)\ne (0,0), \\[外部リンク]10pt

0 & (x,y) = (0,0).

\end

が挙げられる。実際このときは f_xy(0, 0) ≠ f_yx(0, 0) となる。

なお、二階の偏導関数は、まとめて行列の形

:$\backslash frac=\; H(f)\_$

で扱うと便利な場合があり、ヘッセ行列という名前で呼ばれる。

◆ 全微分

-->

二次元の領域 D 上定義された実数値関数 z = f(x, y) が x, y に関して偏微分可能であれば、各成分方向への瞬間の増分はその偏微分で与えられるので z の増分 dz は、大抵の場合(たとえば偏導関数が全て連続なとき)には

:$dz\; =\; \backslash fracdx\; +\; \backslash fracdy$

と表せる。そしてこのようにあらわせるとき微分可能であると言う。このように各変数方向への偏微分と無限小の積を全ての変数について加えたものを z の全微分(ぜんびぶん、Total derivative)あるいは単に z の微分という。

: 一変数の関数に対して単にその「微分」というとき、それが導関数(微分係数)を意味するのか全微分を意味するのかは(文脈上明らかであるはずだが)区別を要する。全微分は dy = (dy/dx)dx の形になるが、右辺の最後の dx は x の無限小増分、左辺の dy は x の増分 dx に対する y の増分を表すものであり、同じに見える記号が微分係数 dy/dx に含まれ(ていて、形式上は "約分" が行われているかのように見え)るけれども、それらとは無関係の異なる概念である。

全微分は曲面 z = f(x, y) の点 (x, y) における一次近似を記述するものであり、

:$z-dz\; =$

\left(x-\fracdx\right) +

\left(y-\fracdy\right)

を満たす点の集合という意味で接平面を表す。z が十分滑らかであれば、さらに dz を全微分することを考えることができて、

:$d^2z\; =\; \backslash fracdx^2\; +\; 2\backslash fracdxdy\; +\; \backslash fracdy^2$

となり、以下同様にして一般に高階の全微分は、二項係数を用いて

:$d^m\; z\; =\; \backslash sum\_^\backslash ,$

\frac

-->\,dx^k\,dy^

前のページ 1/3 次のページ

・偏微分 page1

・偏微分 page2

・偏微分 page3