偏微分法

出典: 謎の百科事典もどき『エンペディア(Enpedia)』
ナビゲーションに移動 検索に移動

数学微積分学分野に於ける偏微分法とはニ変数以上の所謂多変数関数の微分を考察する学問である。

概要[編集]

記述を簡潔にするために主として2、3変数関数に関して述べる。(それ以上の多変数関数についても考え方は大体同じなんでそこんとこ世露死苦☆)

2変数関数に対し或るxy平面上の領域において極限

が存在する時その極限値を変数xに関する偏導関数といい

といった記号で表わす。偏導関数を求める事を「偏微分する」と言う。

大雑把に言ったら偏導関数を求める事とは多変数関数において(他の変数を定数と考えて)特定の変数(上述の場合はx)に関して微分する事である。

変数yに関する偏微分もxの場合と同様に定義され

っちゅー記号で表される。まぁ要するに基本的に(1変数関数の)微分&導関数と似たような概念であり、微分係数に相当する偏微分係数も1変数の時と同様に定義される。

偏微分の公式[編集]

偏微分は他の変数を定数と考えるだけでそれ以外は普通の微分とそんなには変わらんので線形性が成り立つのは勿論各種公式も1変数関数の微分法と類似の公式が成り立つ事が多い(証明もほぼ同様)。

例えば「変数yに関する商の偏微分法」は

とゆー風に表される(f,gはx,yの2変数関数)。証明も商の微分法と殆んどおんなじ。

以下に述べる所謂合成関数の偏微分法合成関数の微分法とほぼ同様なんだが復習がてら導出しておこう。

合成関数を考えて、fのy座標方向の微小変化をと書く事にすると

を得る。ここでであり移項したらだから

が成り立つ。(※である事に注意!)変数xに関する偏微分も同様の事が言えるので以下の公式が導かれた事になる。//;

全微分[編集]

関数を点でxに関して偏微分する(即ち偏微分係数を求める)事は曲面をx軸に平行な平面で切った時に出来る切り口の曲線の接線の傾きを求めるよーなもんであり上記曲面を近似してるとは言えない。(曲面を近似するのは接線じゃなくて接平面!)

以下では関数のxとy両方動かした時のfの無限小変化である全微分を求める事にする。この全微分こそが本来の意味に於ける「多変数関数の微分」である。

上記2変数関数の微小変化をと書く事にすると

が成り立つ(数学的にあんまり厳密な議論じゃないけど悪しからず)。

ここでの極限をとると

が導かれる。//

3変数関数の全微分の導出法も同様であり

とおいて

を引いて足して等を掛けて割るっちゅー計算したら以下の極限が導ける。//

※n変数関数に関しても上記と同様に偏微分の定義式を作っていったら

が得られる。

更にdxの添え字を右上に書いてディラックの記法及びアインシュタインの規約を使えば

と表わせる。(表現大袈裟過ぎwww)

連鎖法則[編集]

全微分の公式

に於いて形式的に「両辺」やったら2変数関数の合成関数の微分法の1つ

が得られる。この等式は変数tに関する微分を「・」で表わして略記すれば

とも書ける。この公式は連鎖法則と呼ばれる。

上述の公式は合成関数の微分公式であるが、2変数関数fが

っちゅー合成関数の場合これの偏微分は上記連鎖法則より以下の如き公式で表される。;

これらの公式も連鎖法則と呼ばれている。略記は以下の通り。;

以上で述べた事柄と同じ要領で3変数以上の多変数関数に対しても対応する連鎖法則が導けるんだが記述が煩雑になるんで割愛させてもらう。

次に

及び

なる合成関数を考える。上述の連鎖法則より

が成り立つが、これは行列を用いて

と表わせる。ここでとおけば

が得られる。上記の右辺の2行列は互いに逆行列の関係であるから

が言える。(※(行列式))

※突然だがここで関数に対して正方行列

を(2次の)ヤコビ行列といい、この行列の行列式をヤコビアンまたはヤコビ行列式と呼ぶ。

上記の関数f、gのヤコビアンはといった記号で表わされる。

さて、上述の(行列の)等式(1)の両辺に行列式を取るとヤコビアンの記号を用いる事により

が得られる。これを合成写像の微分法と呼ぶ。

また、(2)の両辺に行列式を取れば

が求まる。これは逆写像の微分法と呼ばれる。

※上記中の式変形に於いて行列式の以下の性質を用いた。

ここでA、Bは二次正方行列、Eは二次単位行列を表わす。

高階偏導関数[編集]

普通の微分法と同様に偏微分を繰り返す事によって所謂2階以上の偏導関数を考える事ができる。

例えばを変数xでもう1回偏微分したら

とゆー風に、変数yでもう一度偏微分したら

とゆー風に「2階偏導関数」を求める事ができる。以下同様の事を行えば「n階導関数」を求める事もできるのだが偏微分の順番には注意。例えばの場合などは同じ3階偏導関数でも(一般的には)形が異なる。

しかし関数が2回連続偏微分可能である場合以下の定理が成り立つ事が知られている。

証明 天下りであるが以下の如き関数値の式

を考えれば(変数xの)1変数関数

を考える事により

が言える。で、φ(x)を微分したら

が成り立つ。すると平均値の定理より

が求まる。次に、今度は変数yの1変数関数ψ(y)とその微分

を考える事により

が得られる。

(※ただし。)

で、この2つのΔの式は仮定により連続であるから の割り算した後に極限

をとれば

が導かれる。そして2つの定数を変数に置き換えれば定理の等式が得られる。(証明終)