多変数函数の場合,微分や積分の定義はどのように一般化されるべきであろうか.
ここでは厳密な議論は他書に委ねて,ラフな議論にとどめる.
独立な 変数函数の微分について考えよう.
変数函数 の 番目の変数 による微分は,
で定義される.
つまり1つの変数で微分するときには他の変数を定数とみなして微分する演算のこととなる.
この演算を による函数 の偏微分 (partial derivative) という.
例として2変数函数 を でそれぞれ偏微分すると
さらに2階微分は4種類存在し,
となる.
3つ目は 偏微分の後 偏微分しており,4つ目は 偏微分の後 偏微分している.
この2つの微分は一致しているので微分の順番は結果に関係ない.
一般に 変数函数 の変数 と についての微分 と が連続ならば,
が成立し, と についての微分は可換という.
よく使われる連続函数の分類を導入しよう.
函数 の 階から 階導函数が存在し全て連続なとき, は 級函数 (class )という.
多項式や三角函数など初等函数のほとんどは任意の導函数が連続である.
このように無限階微分可能で連続な函数は 級函数 (class ) という.
物理で扱う函数もほとんど 級函数である.
熱力学,統計力学の分野では不連続函数を扱うが,不連続点はたかだか有限個(たいてい1つ)でありそれ以外の点においては 級函数となる.
2階微分についての可換性の条件を導函数に繰り返し適用することで次がわかる:
変数函数 が 級函数のとき, 階微分までの微分は可換である.
偏微分は1変数に関する変化率を表すが, 変数全てに関する変化率も考えることができる.
変数函数 について,
かつ
が成り立つような が存在するとき は全微分可能 (totally differentiable) という.
ただし .
証明は省略するが2つの定理を紹介する.
まず が全微分可能ならば は連続かつ偏微分可能であり,
また が 級ならば全微分可能である.
以上のことから の極限では
とかけて, の全微分 (total derivative) という.
全微分は接平面の式と密接な関係にあるがここでは触れない.
多変数の場合のTaylor展開を紹介する.
変数函数 を のまわりでTaylor展開すると,
多変数の場合は全ての冪の組み合わせが現れることに注意せよ.
たとえば2変数函数 の場合では2次の項は と3項存在する.
Maclaurin展開は として,
とかける.
偏微分をすべての変数でそれぞれ行いそれらを数の組としてまとめれば 次元ベクトル,
が得られる.
これを函数 の勾配 (gradient) といい,
などと書く.
本稿では の表記を採用する.
勾配ベクトルは函数 の増加が最大となる方向を向いている.
点 とそこから微小に だけずれた点 での函数値の増加量は全微分により,
の極限では2次以上の項は無視できて,Cauchy–Schwarzの不等式により,
右辺の は の勾配の大きさに等しいので結局,
が成立する.
Cauchy–Schwarzの不等式の等号成立条件は2つのベクトルが平行なときなので,勾配 とずれ が同じ向きのときである.
このとき の大きさ一定のもとでの の増加量は最大となる.
物体の位置はおのおの時間 の函数であった.
もし物体の位置の函数 の時間に関する変化率はどのように求まるだろうか.
時刻が から へ微小に変化したときの函数 の変化は
となる.
1変数のTaylor展開から となるので,全微分により
である.両辺を で割って の極限をとれば,
これを物体の軌道に沿った の方向微分 (directional derivative) という.
スカラー函数をスカラー で微分しているので結果もスカラー量になっていることに注意せよ.
数学的に見れば質点の軌道とは から への写像ととらえることもできる.
を微小に動かしたときに3変数 は軌道の式 で決まっていて,その上で軌道上の函数 の値がどれくらい変化するのかを方向微分は表す.
方向微分を函数 に作用する演算子として とかこう( ).
成分で具体的に書けば,
となる.
これはベクトル をこの座標系の基本ベクトル で展開したときの表式とよく似ていることに気づく.
すなわち各微分演算子をベクトルの基底と解釈することができる.
実際 は独立変数なので微分演算がベクトルの意味で独立となる.
ではここまでの計算について具体例を見てみよう.
は 上のスカラー場である.
による偏微分は,
他の成分についても対称性から同様に, が得られる.
このことから の勾配は,
となる. は大きさ で方向ベクトルという.
の任意の函数 については鎖法則から,
が得られる.
の勾配はその位置ベクトルと同じ方向(負の場合は反対方向)を向いていて,その大きさは距離 のみに依存していることがわかる.
の方向微分は,
次にスカラー場 をみてみよう.
勾配は,
である. は 平面に平行な面内で円周に沿って回転する向きを向いている.
最後に積分について軽く触れておこう.
偏微分が定義されたのでその逆演算としての積分が定義できる.
変数函数 の 番目の変数 による積分は,
と書かれる.
ここで は の原始函数であり 偏微分で に等しくなるような函数である.
また は に依存しない函数で 偏微分で となる不定函数である.
例として を 積分すると
となる.ここで は によらない不定函数.
多変数の場合の積分区間は1変数の場合に比べてはるかに複雑である.
つまりグラフと軸で囲まれる領域は一次元曲線,二次元曲面,三次元領域と様々考えられる.
そうした幾何学的対象の上で多変数に関する積分,多重積分を定義できる.
多重積分については章をあらためて議論することにしよう.