解析学基礎/多変数関数の微積分

出典: フリー教科書『ウィキブックス(Wikibooks)』

偏微分[編集]

偏微分の定義[編集]

  • xでの微分

二変数関数について、いったんx以外の変数を動かさず、変数xのみで微分したものを と書き、これを偏導関数という。 つまり定義は

である。このように、多変数関数において、考えている変数(例の場合は)以外をいったん動かさず、一つの変数だけの関数とみて微分することを偏微分(へんびぶん、英:partial differentiation)という。

(なお、の読みは「ラウンドディー」と読み、は「ラウンドディーエフ・ラウンドディーエックス」などと読む。)

具体例として二変数関数 の微分を考える。この関数を変数について偏微分すると となり、つまり、

偏導関数 も二変数関数であることに注意しよう。


  • yでの微分

同様にy以外の変数を動かさず、二変数関数を変数のみで微分したものを と書く。 つまり

である。

例の の場合、変数yでの偏微分は となる。

もちろん、 は二変数関数である。


高階の偏微分[編集]

さらに、 を偏微分することを考えよう。 を、さらにで偏微分したものは と書くか、あるいは と書く。

の場合、

計算すると、


同様に、 とは、 を 変数 で偏微分したものである。  のことを とも書く。

やはり先ほどの例について計算すると、


いっぽう、偏微分の順序を交換した についても先ほどの例で計算すると、

となり、 よって

となる。このように、応用上重要になるような「まともな」関数の場合、高階の偏微分の順序を交換しても、結果は変わらない。したがって、記号で書くときの変数の順序には無頓着でも構わない。

  • まともでない例

とすると、なので、である。

一方、のとき、

なので、

である。

したがって、

である。


定理

f(x,y)が点(a,b)にてfxy(x,y)とfyx(x,y)がともに連続ならば、

fxy(a,b)=fyx(a,b)


証明の導入

まず、fxy(a,b)とは、定義にしたがうと

であり、同様に、fyx(a,b)とは、定義にしたがうと

なので、結局は、式 における の交換を証明するのが、この定理である。

証明

やや天下り的だが、 F=f(a+h,b+k)ーf(a,b+k)ーf(a+h,b)+f(a,b) と置く。

F=f(a+h,b+k)ーf(a,b+k)ーf(a+h,b)+f(a,b)
={ f(a+h,b+k)-f(a+h,b) } - { f(a,b+k)-f(a,b) } = { f(a+h,b+k)-f(a,b+k) } - { f(a+h,b)-f(a,b) }

である。技巧的だが、上式2段目の2つの式の第2項を参考にそれぞれ、

f(x,b+k)ーf(x,b) = φ(x)
f(a+h,y)ーf(a,y) = ψ(y)

と定義する。

すると、

F = φ(a+h)ーφ(a) = ψ(b+k)ーψ(b)

というふうに、Fを1変数関数に置き換えられるので、1変数における平均値の定理が適用できるようになる。

さて、1変数における平均値の定理を適用すると、

F = φ(a+h)ーφ(a) = h φ(a+θ1h)

なお、 0 < θ1 < 1 である。

と書ける。

φ(x) とは、f(x,b+k)-f(x,b) = φ(x) の定義より意味的に考えて、 φ(x) =fx(x,b+k)ーfx(x,b) である。

なので

F = φ(a+h)ーφ(a) = h φ(a+θ1h) = h { fx(a+θ1h,b+k)ーfx(a+θ1h,b) }

今度は、 fx(a+θ1h,b+k)ーfx(a+θ1h,b) を y(またはb)の関数と考えると、

F = φ(a+h)ーφ(a) = h φ(a+θ1h) = h { fx(a+θ1h,b+k)ーfx(a+θ1h,b) } = hk fxy(a+θ1h,b+θ2k)

いっぽう

F = ψ(b+k)ーψ(b)

と表した場合も、同様の式変形によって、またψ(y)=fy(a+h,y)-fy(a,y) をもちいて、

F = ψ(b+k)ーψ(b) = k ψ(b+θ3k) = k { fy(a+h,b+θ3k)ーfy(a,b+θ3k) } = hk fxy(a+θ4h,b+θ3k)

さて、

F=hk fxy(a+θ1h,b+θ2k) =hk fxy(a+θ4h,b+θ3k)

なので、よって

fxy(a+θ1h,b+θ2k) =fxy(a+θ4h,b+θ3k)

この式について、 の極限をとれば、hとkのどちらを先に0にしようが、

fxy(a,b) =fxy(a,b)

となる。(証明終わり)


  • 参考文献

証明の導入の参考として、

http://w3e.kanazawa-it.ac.jp/math/category/bibun/henbibun/henkan-tex.cgi?target=/math/category/bibun/henbibun/henbibun-junnjokoukan.html (金沢工業大学 KIT数学ナビゲーション『偏微分の順序交換』) 、サイト確認日:2016年7月23日

証明中の数式の記法の参考として、

サイエンス社『微分積分概論[新訂版]』、高橋泰嗣 加藤幹雄、2013年11月10日発行、新訂第一版、

重積分と線積分[編集]

重積分のイメージ[編集]

ここでは、多変数関数の積分について解説する。厳密な説明は煩雑な数式を要するので後に回して、まずは証明は抜きに定義と定理の大まかなイメージについて説明し、計算例を見る。

まず、1変数関数の積分について復習する。1変数関数の積分は、大まかに言えば次のような概念だった。直線(x軸)の一部である区間Iと、I上で定義された関数fを考える。簡単のためfは正の値を取るとする。このとき、xy平面内の曲線を表し、関数fのグラフと呼ばれる。このグラフx軸で挟まれた部分の面積を求めるのが定積分である。その厳密な定義は、領域を細長い長方形に分割して足し合わせると、長方形の幅を十分小さくしたときその面積の和は分割のしかたによらないことを示し、その和(リーマン和という)の極限値として定めるのだった。

これに対して2変数関数の重積分とは、大まかに言えば次のような概念である。平面(xy平面)の一部である領域Dと、D上で定義された関数fを考える。簡単のためfは正の値を取るとする。このとき、xyz空間内の曲面を表し、関数fのグラフと呼ばれる。このグラフxy平面で挟まれた部分の体積を求めるのが重積分である。その厳密な定義は、立体を細長い直方体に分割して足し合わせると、直方体の底面積を十分小さくしたときその体積の和は分割のしかたによらないことを示し、その和(リーマン和という)の極限値として定めるのである。

リーマン和の極限は分割のしかたによらないことを証明していないことはともかくとして、大まかな概念はつかめたと思う。しかし、この定義だけでは具体的な関数についての計算はできそうにない。具体的な計算には、次の定理が役に立つ。

定理(縦線領域の逐次積分) のとき、

証明の代わりに定理のイメージを説明する。を満たすcについて、領域Dと直線の共通部分をIとする。このとき、立体を平面で切った「断面」の面積はで与えられる。この面積をx軸方向に積分することで立体の体積が得られる。

この定理を使って、球の体積を計算してみよう。は半径1の球面を表す。この球面の「上半分」はなので、半径1の半球の体積Vとすると

で与えられる。逐次積分の公式を使うと、

である。

変数変換公式[編集]

上の節でみた球の体積の計算のような場合には、実は直交座標ではなく極座標を用いた方が便利である。このような座標の変換を行う場合には、1変数関数の積分の場合には置換積分の公式があり、たとえばで定まる変数uを用いると

と計算できるのだった。2変数の場合には、積分の変数変換の公式は次のようになる。

定理(変数変換公式) とするとき、行列 を考える。このとき、

である。ただし、は行列式を表す。

これもまずは証明は抜きにして、極座標の場合の計算をしてみよう。直交座標と極座標の変換はであるから、

である。これを用いて再び半球の体積を計算すると、

である。先ほどよりも簡単な計算になったことが分かる。

線積分とグリーンの定理[編集]

2つの2変数関数の組と、パラメタ表示された滑らかな曲線があるとき、次の(1変数関数の)定積分の値をCに沿った線積分という。

この積分を、

という記号で表す。

かつが半開区間[0,1)上で単射なとき、Cは単純閉曲線であるという。単純閉曲線は平面の一部のある有界領域を囲む境界線となっている。単純閉曲線に沿った線積分とその内部の領域での重積分の間に、次のような関係式が成り立つことが知られている。

定理(グリーンの定理) Cは単純閉曲線で、Cで囲まれる有界の領域をDとするとき、Dで定義される連続微分可能な関数に対して、

である。ただしCDの境界線を反時計回りに進むものとする。

グリーンの定理の適用例と適用できない例をあげる。

(面積) とするとである。 一方、重積分は領域Dの面積を表す。よって、グリーンの定理より

は単純閉曲線Cで囲まれる有界領域の面積を表す。たとえば、(単位円周)とすると

は単位円板Dの面積である。

(領域D内で定義されない点がある) とするとであるから、任意の領域Dについてである。ところが、(単位円周)とすると

である。