物理を解説 ♪
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン
ツイッター用のシェアボタン フェイスブック用のシェアボタン はてなブックマーク用のシェアボタン ライン用のシェアボタン

偏微分

何をするにもこれが要る。
作成:2013/3/19

一変数関数の復習

高校の微積分では変数が一つだけの関数しか扱わないから,変数が増えた時にどんなことを考えたらいいのかを見ておく必要がある.まずは高校で習う 1 変数関数の微分についての復習から始めよう.

高校ではあまり話さないようなことを話すから復習でもないかも知れない.

関数f(x)というものを考える.f(x)の微分f'(x)は変数xを変化させたときのf(x)の変化の度合いを表しているのだった.グラフで言うと「傾き」である.だから変数xを微小量Δxだけ変化させると,およそf'(x)Δxだけ変化すると言える.式で書くと次のようになる. 数式 この式は,関数の変化量はΔxに比例するという考えで作っているのだが,実際の関数のグラフは直線だとは限らないので,このような近似でしか表せないのである.Δxが大きくなるほどこの近似は悪くなる.

逆に,Δxが無限小に近付くほど,この近似は驚くほど正確になってゆく.無限小の極限を考えれば,イコールで結んでもいいくらいだ.無限小の変化を考えるのだというイメージを表すときにはΔxの代わりにdxという書き方をする.dxについてのそのようなニュアンスが共有されている場合には次のように表してもいいだろう. 数式 ところで,関数f(x)の無限小の変化をdfと表すことにすると,dfの定義は次のように書けるだろう. 数式 この定義を使えば,(1) 式は右辺第 1 項を移項して,次のように書ける. 数式 ところで関数の微分f'(x)df/dxと書くこともあるので,次のように書いてもいいだろう. 数式 まるでただの割り算のような式になった.微分の記号df/dxを割り算のように表記するのは,このような「無限小の変化の極限で成り立つ」内容を率直に表していたのである.微分は無限小の量どうしの割り算である」と言ってもいい.しかし高校で「微分は割り算ではない」と強調され過ぎるせいか,この表現に当惑してしまう学生は多いようだ.

以上の話は微分の定義を見直すとよく分かる. 数式 分母も分子も無限小の変化になっていて,その割り算をしているだけだと分かるだろう.

高校の数学では導かれた公式を高度に使いこなす技術を要求されるが,公式を導き出すことは重視されないのであまり覚えていない人も多いかも知れない.しかし微分に関する各種の公式はこの定義に当てはめることで導かれるのであった.



合成関数の微分の復習

高校では「合成関数の微分」というものを習ったはずだ.ひどく難しく習ったような覚えがあるが,私はそんなややこしい話はしない.

先ほどの関数f(x)の変数xtの関数だったらどうなるだろうtが変化すればxが変化して,その影響でf(x)が変化する.その変化の具合が知りたいのである.

先ほどと同じ理屈で,無限小の変化の時には次の等式が成り立つだろう. 数式 dxというのはtdtだけ無限小の変化をしたときのxの無限小の変化を表している.これを先ほどの (2) 式に当てはめれば,次のように表せる. 数式 ごくごく当たり前のことを述べているだけだ.tを無限小だけ変化させた時の関数fの変化量を知りたければ,もう答は見えているようなものだ.dfdtの変化の比が知りたいのだろうこの式にそのまま書かれているではないか.それはすなわち関数ftによる微分という意味であるから次のように書ける. 数式 高校で習った合成関数の微分の公式の出来上がりだ.(4) 式の両辺を普通の割り算のようにdtで割ってやっただけだとも言える.またもや,割り算的な関係が成り立っているかのようになった.このようなやり方で説明をすることにひどく反発を覚える人がいるようだが,別に間違った理屈ではないだろう.物理ではこういう考え方をするのが普通だ.

近頃の教科書を調べてみたら,無限小を考える前にΔxやΔtなどで割り算的に式を作っておいて,あとで極限を考えるという方式で説明をしているものも多いようで,割り算的な考え方をすることに対してそれほど風当たりが強いわけでもなさそうだ.

このような考え方をしておくと偏微分というものを理解するときに大変分かりやすくなるのである.しかし今のうちに言っておくが,偏微分どうしは割り算の考え方が成り立たないようなものだから気をつける必要がある.


多変数の場合

ではいよいよ今回の本題だ.変数が複数あるような関数f(x,y)について考えてみよう.

この関数f(x,y),変数xが変化しても変数yが変化しても,それに合わせて変化する.その変化の量はどのように表せるだろう答から先に書いてしまうと,これらの変化が「無限小の極限」であるときに次のように表せるのである. 数式 ここで使っている∂f/∂x∂f/∂yというのが「偏微分」である.最初の∂f/∂xというのは変数xだけが微小変化した場合の関数の変化の割合を意味しており,次に出てくる∂f/∂yというのは変数yだけが微小変化した場合の関数の変化の割合である.これら「偏微分」を具体的に計算するのは簡単である.例えば∂f/∂xの場合には,変数x以外の変数をただの定数とみなして今までどおりの微分計算をすればいいだけである.

説明を聞くといかにもその通りだという気はするのだが,本当にこんなにシンプルな足し算でいいのだろうかという気もしてくる.xyのどちらか一方が変化するなら 1 変数の場合と変わらない話なのでこれで納得できるが,同時に変化した場合にはもっと複雑なことが起こったりはしないのだろうかという疑いが残るかも知れない.その辺りをはっきりさせることにしよう.

xyとが,どちらも変化したとしよう.とりあえず無限小の変化ではなく,ただの小さめの変化だとしておこう.その結果としてf(x,y)の値も変化する.その変化をΔfと表すと,それは次のように書けるだろう. 数式 これからこの式を変形してゆくことにする. 数式 この変形結果のΔxΔyを無限小に持って行った極限を考えると, 数式 となり,(3) 式で表した微分の定義にとても良く似たものが現れる.これらの意味を読み取ると,多数ある変数のうちの一つだけを変化させるような微分だということになるが,それは偏微分そのものである.(5) 式はこの式の偏微分の定義の部分を簡単な記号で書き直したものであり,この式は (5) 式そのものである.

こうして (5) 式が成り立つ理由がはっきりした.多変数関数fの全ての変数が微小変化する時の関数の微小変化dfは (5) 式のように表せるわけだが,この (5) 式のような形式のことを関数fの「全微分」または「完全微分」と呼ぶ.

変数が増えた場合には,同じような項を増やせばいいだけである.例えば関数がf(x,y,z)であったなら,全微分は次のようになる. 数式 本当だろうか同じような変形で確かめるのはちょっと大変な気もする.しかし出来ないものではないので暇ならやってみるのもいいだろう.

すっかり忘れていたが,前に似たような記事を書いたことがあって,そこでは 3 変数で説明している.つまり答はそこを見れば載っている.言うほど難しいものではなかった.



多変数での合成関数の微分

今の話では関数f(x,y)の変数であるxyがそれぞれ変化するときにf(x,y)がどのような影響を受けるのかを表したのだった.さらに話を進めて,もしxyも共に変数tの関数になっていたらどうなるだろうどうなるだろうというのはつまり,tが変化するときのf(x,y)の変化はどう表されることになるだろう,ということだ.

すでに説明したことを組み合わせればいいだけなので簡単だ.xの微小変化dxyの微小変化dyも次のように表せるのだった. 数式 ならばこれらを (5) 式に代入するだけでいい. 数式 この時のdfdtとの比が,df/dtを意味するのだから,次のようにも表現できる. 数式 あたかも (7) 式の両辺をdtで割ってこの式を導いたように見えるが,どうせやってることはそういう意味である.そう考えても問題ない.


ごちゃまぜ

仕上げにもう少し入り組んだ状況を考えてみよう.関数がf(x,y,t)という形になっているとする.今まではxytによって変化することを通してのみtの影響が関数に出ていたわけだが,今回は関数の中に直接tが見える形で入っているとする.

今までと同じように考えれば全く難しいことはない.まずは次のような式が作れるだろう. 数式 そして右辺の最初の二つの項には先ほども使った (6) 式を代入してやる. 数式 この両辺をdtで割れば次の式が得られる. 数式 これが,変数tが変化した時の関数fの変化率を表す式である.今までのような形式が揃った形ではなくなるが,こんなものである.これを見るとdf/dt∂f/∂tとが全く違った意味で使われていることが実感できるだろう.普通の微分であるdf/dtと偏微分∂f/∂tとを言葉ではっきりと区別したいときのために,普通の微分のことを「常微分」ということがある.常微分df/dtというのはtが変化した時の関数への影響の全てを含めた形での変化率を表しており,偏微分∂f/∂tというのは,関数の中に目に見える形で書いてあるtだけが変化した場合の変化率を表している.



記号を変えて理解を確認

変数の記号が変わるだけで話が分からなくなる人もいるので,簡単な例でもう一度同じことを説明してみよう.f(x,y)という関数があるとする.ところが,このyというのはxの関数であったとする.要するに,f(x,y(x))だということだ.

この時,∂f/∂xを計算しようと思ったら,y(x)に含まれるxの影響については全く気にしなくていい.目に見えているxだけを変数だと考えて微分をすればいいのだ.それがxによる偏微分というものである.

yを通して現れるxの影響まで考えたければ,それは常微分を考えれば良くて,次のように表される. 数式 なぜこう書けるのかがちゃんと分かればここまでの理解は十分だ.念のために説明しておこう.まず,f(x,y)xyの関数だから全微分が次のように書ける. 数式 そして,yxの関数なのだから,dyについてはdy = dy/dx dxと書ける.これを代入する. 数式 この両辺をdxで割ればさっきの形が出来上がるというわけだ.


最後に読み方など

状況によっては「偏微分を使った関係式」は他にも色々と作れるのだが,紹介としてはとりあえずこれくらい知っていれば問題ないだろう.もう少しややこしい状況については,偏微分の使用に慣れた頃にまた話そう.

ところで,この偏微分で使っている∂という記号だが,単独では「デル(der)」または「ラウンドディー(rounded d)」(丸っこい d という意味)などと呼ばれている.英語では偏微分のことを「partial derivative」というから,この記号を「パーシャル・・・」などとつぶやきながら書くこともある.

こういうものは知らなくてもあまり困ることのない知識だが,知っていると役に立つこともあるかも知れない.例えばパソコンなどでこの記号を表示させたいときだ.「でる」と入れて変換してやればこの記号が出てくる機種もある.「へんびぶん」と入れれば変換してくれるものもある.なぜ「デル」と呼ばれるのかという由来については調べても良く分からなかった.後で出てくる\nabla(ナブラ)という記号は「デル演算子(del-operator)」と呼ばれることもあって紛らわしい.しかし英語ではこれらの綴りは違う.「der」と「del」の違いだ.とはいうものの,どちらの呼び方もあまり使うものではないので私は困ったことはない.

英語では偏微分は「部分的な微分」という意味だから,ひょっとして微分(derivative)の綴りを部分的に取って「der」なのかも知れないと思った.



趣味の物理学書店

趣味で量子力学2の広告バナー