偏微分 偏微分の概要

偏微分

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/06/23 14:27 UTC 版)

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

定義

2変数の場合

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

\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}

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

\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}

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

\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}

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

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

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}

zy についての偏微分といい、zD において y について偏微分可能であるという。

形式的な定義

一般の場合、u = f(x1, x2, ..., xn) の変数 xi (1 ≤ in) に関する偏微分または偏導関数とは、Rn のある領域 D の各点において極限

 \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 
  }

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

\frac{\partial f}{\partial x} = f_x = \partial_x f = u_x

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

\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}

などの記法が使われる

高階偏導関数

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

\frac{\partial^2 f}{\partial x^2} = f_{xx} = \partial_{xx} f
\frac{\partial^2 f}{\partial x\,\partial y} = f_{xy} = f_{yx} = \partial_{xy} f = \partial_{yx} f

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

\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)}

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

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

fxx , fxy , fyx , fyy

の 4 つが定義できる。ここで、二つの偏導関数 fxy , fyx は一般には異なる関数であるが、これらの偏導関数が連続、つまり元の関数が C2-級であるならば、両者は一致する(ヤングの定理)。 また、一致しないものとしては、たとえば全平面で定義される関数

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}

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

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

\frac{\partial^2 f}{\partial x_i\,\partial x_j} = H(f)_{ij}

で扱うと便利な場合があり、ヘッセ行列という名前で呼ばれる。関数fC2-級であれば、ヘッセ行列は対称行列となる。ヘッセ行列は二次形式の理論の基に多変数関数の極大値(極大点)や極小値(極小点)を調べることに役立つ。

全微分

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

dz = \frac{\partial z}{\partial x}dx + \frac{\partial z}{\partial y}dy

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

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

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

z-dz = 
 \left(x-\frac{\partial z}{\partial x}dx\right) + 
 \left(y-\frac{\partial z}{\partial y}dy\right)

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

d^2z = \frac{\partial^2 z}{\partial x^2}dx^2 + 2\frac{\partial^2 z}{\partial x \partial y}dxdy + \frac{\partial^2 z}{\partial y^2}dy^2

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

d^m z = \sum_{k=0}^{m} {m \choose k}\,
  \frac{
    \partial^m z
  }{
    \partial x^k\, \partial y^{m-k}
  }\,dx^k\,dy^{m-k}

となることがわかる。これを以下のように略記する。

d^m z = \left(
  \frac{\partial}{\partial x}dx + 
  \frac{\partial}{\partial y}dy 
\right)^m z.

変数の数が増えても同様で、n 変数のとき十分滑らかな関数 u = f(x1, x2, ..., xn) の全微分は

du = 
  \frac{\partial u}{\partial x_1}dx_1 + 
  \frac{\partial u}{\partial x_2}dx_2 + \cdots + 
  \frac{\partial u}{\partial x_n}dx_n

であり、高階の全微分は

d^m u = \left(
  \frac{\partial}{\partial x_1}dx_1 + 
  \frac{\partial}{\partial x_2}dx_2 + \cdots + 
  \frac{\partial}{\partial x_n}dx_n
\right)^m u

と書くことができる。




「偏微分」の続きの解説一覧





偏微分と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

偏微分に関連した本

偏微分に関係した商品

辞書ショートカット

カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

「偏微分」の関連用語

偏微分のお隣キーワード

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

画像から探す

ソーマス石

羅臼岳

富士田 明彦

シャンボール城

裏筋

飛騨高山の朝市と古い町並

ブラーニイ

インディゴ





偏微分のページの著作権
Weblio 辞書情報提供元は参加元一覧にて確認できます。

  
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの偏微分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2015 Weblio RSS