物理/多変数解析学
提供: Internet Web School
目次 |
「8.1 多変数解析学」
序
本章の冒頭の偏微分の導入部については下記の本も参考にしてください。
それ以降の内容については、ウィキブックスには殆どないため、
このテクストで今後叙述していく予定です。
実数値の多変数関数の微分
UNIQ1446eaf5759fe2b9-MathJax-473-QINU の開区間
UNIQ1446eaf5759fe2b9-MathJax-474-QINU上で定義された実関数 UNIQ1446eaf5759fe2b9-MathJax-475-QINU を考える。
一変数関数の議論から類推するために
以後、UNIQ1446eaf5759fe2b9-MathJax-476-QINUとおき、 UNIQ1446eaf5759fe2b9-MathJax-477-QINU と書くこともある。
UNIQ1446eaf5759fe2b9-MathJax-478-QINU上で定義された実数値関数 UNIQ1446eaf5759fe2b9-MathJax-479-QINU の微分について説明する。
一変数の微分から類推すると
微小なベクトル UNIQ1446eaf5759fe2b9-MathJax-480-QINU を考え、極限
UNIQ1446eaf5759fe2b9-MathJax-481-QINU
が存在するとき、関数ｆは微分可能と定義することが考えられる。
しかし残念ながら、
UNIQ1446eaf5759fe2b9-MathJax-482-QINUはｎ次元ベクトルなので、割り算は不可能でありこの定義は無効である。
偏微分
関数UNIQ1446eaf5759fe2b9-MathJax-483-QINU の変数 UNIQ1446eaf5759fe2b9-MathJax-484-QINU の第i成分 UNIQ1446eaf5759fe2b9-MathJax-485-QINU だけを変数とし、
他の変数は任意の実数に固定UNIQ1446eaf5759fe2b9-MathJax-486-QINUして得られる関数
UNIQ1446eaf5759fe2b9-MathJax-487-QINU
を考える。
この関数は、一変数なので、任意の点UNIQ1446eaf5759fe2b9-MathJax-488-QINU での微分係数
UNIQ1446eaf5759fe2b9-MathJax-489-QINU
UNIQ1446eaf5759fe2b9-MathJax-490-QINU
を考えることができる。
定義１（偏微分）
もし、一変数関数 UNIQ1446eaf5759fe2b9-MathJax-491-QINU が、ある点UNIQ1446eaf5759fe2b9-MathJax-492-QINUで微分可能ならば、
関数UNIQ1446eaf5759fe2b9-MathJax-493-QINUは、点UNIQ1446eaf5759fe2b9-MathJax-494-QINUで,UNIQ1446eaf5759fe2b9-MathJax-495-QINU について偏微分可能であると言い,
UNIQ1446eaf5759fe2b9-MathJax-496-QINU
を、UNIQ1446eaf5759fe2b9-MathJax-497-QINU の 点UNIQ1446eaf5759fe2b9-MathJax-498-QINU での変数 UNIQ1446eaf5759fe2b9-MathJax-499-QINU についての偏微分係数という。
定義２（偏導関数）
UNIQ1446eaf5759fe2b9-MathJax-500-QINU がどの点UNIQ1446eaf5759fe2b9-MathJax-501-QINUでも UNIQ1446eaf5759fe2b9-MathJax-502-QINU に関して偏微分可能であるならば、
任意の点UNIQ1446eaf5759fe2b9-MathJax-503-QINU にその点における UNIQ1446eaf5759fe2b9-MathJax-504-QINU に関する偏微分係数UNIQ1446eaf5759fe2b9-MathJax-505-QINUを対応させると、新しい関数が得られる。
これを、UNIQ1446eaf5759fe2b9-MathJax-506-QINU の UNIQ1446eaf5759fe2b9-MathJax-507-QINU に関する偏導関数といい、記号
UNIQ1446eaf5759fe2b9-MathJax-508-QINU
などで表示する。
以後、簡単のために2変数UNIQ1446eaf5759fe2b9-MathJax-509-QINU の関数に限定して議論する。
定理１ 合成関数の微分（１）
UNIQ1446eaf5759fe2b9-MathJax-510-QINU から UNIQ1446eaf5759fe2b9-MathJax-511-QINU への関数UNIQ1446eaf5759fe2b9-MathJax-512-QINU と
UNIQ1446eaf5759fe2b9-MathJax-513-QINU から UNIQ1446eaf5759fe2b9-MathJax-514-QINU への関数UNIQ1446eaf5759fe2b9-MathJax-515-QINU の合成関数
UNIQ1446eaf5759fe2b9-MathJax-516-QINU
を考える。
もし、UNIQ1446eaf5759fe2b9-MathJax-517-QINU が UNIQ1446eaf5759fe2b9-MathJax-518-QINU で、ｘに関して偏微分可能で,
UNIQ1446eaf5759fe2b9-MathJax-519-QINU が、UNIQ1446eaf5759fe2b9-MathJax-520-QINU において微分可能ならば、
UNIQ1446eaf5759fe2b9-MathJax-521-QINU は UNIQ1446eaf5759fe2b9-MathJax-522-QINU で、ｘに関して偏微分可能であり,
UNIQ1446eaf5759fe2b9-MathJax-523-QINU
証明
ｙを UNIQ1446eaf5759fe2b9-MathJax-524-QINU に固定して考えると、一変数関数の合成関数の微分になるので、合成関数の微分公式を適用すればよい。
定理２
UNIQ1446eaf5759fe2b9-MathJax-525-QINU を
UNIQ1446eaf5759fe2b9-MathJax-526-QINU を中心とするある半径ｒの開球体UNIQ1446eaf5759fe2b9-MathJax-527-QINU上で、UNIQ1446eaf5759fe2b9-MathJax-528-QINUについて偏微分可能とする。
もしUNIQ1446eaf5759fe2b9-MathJax-529-QINU をUNIQ1446eaf5759fe2b9-MathJax-530-QINUの点ならば
UNIQ1446eaf5759fe2b9-MathJax-531-QINU と UNIQ1446eaf5759fe2b9-MathJax-532-QINU の間の UNIQ1446eaf5759fe2b9-MathJax-533-QINU が存在して、
UNIQ1446eaf5759fe2b9-MathJax-534-QINU
(注）２次元の開球体UNIQ1446eaf5759fe2b9-MathJax-535-QINU は、中心が点UNIQ1446eaf5759fe2b9-MathJax-536-QINU で半径ｒの円周で囲まれる内部である。
証明
UNIQ1446eaf5759fe2b9-MathJax-537-QINU とおくと、
式（）の左辺UNIQ1446eaf5759fe2b9-MathJax-538-QINU
UNIQ1446eaf5759fe2b9-MathJax-539-QINU は、UNIQ1446eaf5759fe2b9-MathJax-540-QINU の近傍で微分可能なので、平均値の定理から、
UNIQ1446eaf5759fe2b9-MathJax-541-QINU と UNIQ1446eaf5759fe2b9-MathJax-542-QINU の間の UNIQ1446eaf5759fe2b9-MathJax-543-QINU が存在して、
UNIQ1446eaf5759fe2b9-MathJax-544-QINU
定理３
UNIQ1446eaf5759fe2b9-MathJax-545-QINU を
UNIQ1446eaf5759fe2b9-MathJax-546-QINU を中心とする開球体UNIQ1446eaf5759fe2b9-MathJax-547-QINU上で、ｘについて偏微分可能とする。
もしUNIQ1446eaf5759fe2b9-MathJax-548-QINU ならば
UNIQ1446eaf5759fe2b9-MathJax-549-QINU
を満たす、UNIQ1446eaf5759fe2b9-MathJax-550-QINU が存在する。
証明
UNIQ1446eaf5759fe2b9-MathJax-551-QINU というｔの関数を導入する。
すると、
UNIQ1446eaf5759fe2b9-MathJax-552-QINU
UNIQ1446eaf5759fe2b9-MathJax-553-QINU
関数 UNIQ1446eaf5759fe2b9-MathJax-554-QINU は、閉区間[0,1] を含む開区間上で微分可能なので、
一変数の微分可能関数の平均値の定理から、
ある数 UNIQ1446eaf5759fe2b9-MathJax-555-QINU が存在して、
UNIQ1446eaf5759fe2b9-MathJax-556-QINU
故に、UNIQ1446eaf5759fe2b9-MathJax-557-QINU
UNIQ1446eaf5759fe2b9-MathJax-558-QINU 関数ｇの微分は,一変数関数の合成関数の微分公式から
UNIQ1446eaf5759fe2b9-MathJax-559-QINU
式(a)、(b) から
UNIQ1446eaf5759fe2b9-MathJax-560-QINU
証明終わり
方向微分
UNIQ1446eaf5759fe2b9-MathJax-561-QINU を直交座標系のUNIQ1446eaf5759fe2b9-MathJax-562-QINU座標軸の正方向の方向・向きを持つ単位長さのベクトルとする（第ｉ直交座標ベクトルと呼ぼう）。
多変数関数UNIQ1446eaf5759fe2b9-MathJax-563-QINUの、点UNIQ1446eaf5759fe2b9-MathJax-564-QINUでの偏微分係数 UNIQ1446eaf5759fe2b9-MathJax-565-QINU は、
点UNIQ1446eaf5759fe2b9-MathJax-566-QINU を、第i座標（座標ベクトルUNIQ1446eaf5759fe2b9-MathJax-567-QINU)に平行に無限に小さい距離移動させるときの、関数ｆの変化率とみなせる。
式で書くと
UNIQ1446eaf5759fe2b9-MathJax-568-QINU
このように考えると、点UNIQ1446eaf5759fe2b9-MathJax-569-QINUを、座標ベクトルUNIQ1446eaf5759fe2b9-MathJax-570-QINUに平行ではなく、
任意に指定するベクトルUNIQ1446eaf5759fe2b9-MathJax-571-QINUに平行に微小量動かすときの関数ｆの変化率を考えることもできることが分かるだろう。
定義 方向微分
関数UNIQ1446eaf5759fe2b9-MathJax-572-QINUの、点UNIQ1446eaf5759fe2b9-MathJax-573-QINUでの,UNIQ1446eaf5759fe2b9-MathJax-574-QINU 方向の微分係数とは、
UNIQ1446eaf5759fe2b9-MathJax-575-QINU
のことで、
UNIQ1446eaf5759fe2b9-MathJax-576-QINU
などと書く。
命題１
(1) UNIQ1446eaf5759fe2b9-MathJax-577-QINU 方向の微分は、UNIQ1446eaf5759fe2b9-MathJax-578-QINU 座標軸(UNIQ1446eaf5759fe2b9-MathJax-579-QINU座標軸）に関する偏微分である。
ここで、UNIQ1446eaf5759fe2b9-MathJax-580-QINU はUNIQ1446eaf5759fe2b9-MathJax-581-QINU座標軸の正方向に向いた単位長さのベクトル。
式で書くと、
UNIQ1446eaf5759fe2b9-MathJax-582-QINU
（２）UNIQ1446eaf5759fe2b9-MathJax-583-QINU を任意の実数とすると
UNIQ1446eaf5759fe2b9-MathJax-584-QINU
微分(全微分）
この§も、記述を簡単にするため、2変数関数で説明する。
一般のｎ変数の場合への拡張は、記述は複雑になるが、容易である。
実数値多変数関数の微分可能性
実数に値をとる二変数の関数の微分可能性をどう定義したらよいだろうか？
実数値一変数関数の微分の場合、それと同等の条件はいくつか知られているが、
その中で二変数関数に容易に拡張できるものを採用するのが自然である。
1.4.1.1 微分係数の意味 の命題の条件 ３）の式(5)が、それに該当する。
定義３ 微分可能性(全微分可能性）
関数UNIQ1446eaf5759fe2b9-MathJax-585-QINUが、或る開集合Ｕ(\subset {\bf R^2})上で定義されているとする。
UNIQ1446eaf5759fe2b9-MathJax-586-QINUが 点UNIQ1446eaf5759fe2b9-MathJax-587-QINU で微分可能(あるいは全微分可能）とは、
ある定数UNIQ1446eaf5759fe2b9-MathJax-588-QINUが存在して、
ノルムが微小な任意のベクトルUNIQ1446eaf5759fe2b9-MathJax-589-QINU UNIQ1446eaf5759fe2b9-MathJax-590-QINUに対して
UNIQ1446eaf5759fe2b9-MathJax-591-QINU（注１参照のこと）UNIQ1446eaf5759fe2b9-MathJax-592-QINU
ここで、UNIQ1446eaf5759fe2b9-MathJax-593-QINU
この時、 UNIQ1446eaf5759fe2b9-MathJax-594-QINU を、ｆの点UNIQ1446eaf5759fe2b9-MathJax-595-QINUにおける導値(derivative)または微分係数といい、
UNIQ1446eaf5759fe2b9-MathJax-596-QINU などと書く。
（注１）UNIQ1446eaf5759fe2b9-MathJax-597-QINU で、Ｕが開集合なので、
UNIQ1446eaf5759fe2b9-MathJax-598-QINUがある正数より小さければUNIQ1446eaf5759fe2b9-MathJax-599-QINUとなり、
関数UNIQ1446eaf5759fe2b9-MathJax-600-QINUは、この点で定義されている。
UNIQ1446eaf5759fe2b9-MathJax-601-QINUは、UNIQ1446eaf5759fe2b9-MathJax-602-QINU の関数である。
（注２）ノルムとしては、どのｐ－ノルムを用いても良い。
このテキストの「1.4.3 一般のノルムの定義とノルムの同等性」を参照のこと。
定理４
UNIQ1446eaf5759fe2b9-MathJax-603-QINUが 点UNIQ1446eaf5759fe2b9-MathJax-604-QINU で微分可能ならば、
１）UNIQ1446eaf5759fe2b9-MathJax-605-QINU はUNIQ1446eaf5759fe2b9-MathJax-606-QINU で偏微分可能で、
式(a)のUNIQ1446eaf5759fe2b9-MathJax-607-QINU はそれぞれ、点UNIQ1446eaf5759fe2b9-MathJax-608-QINU でのｘ、ｙに関する偏微分係数である。
すなわち、UNIQ1446eaf5759fe2b9-MathJax-609-QINU
２）UNIQ1446eaf5759fe2b9-MathJax-610-QINU を任意のベクトルとすると、
UNIQ1446eaf5759fe2b9-MathJax-611-QINU は 点UNIQ1446eaf5759fe2b9-MathJax-612-QINU で UNIQ1446eaf5759fe2b9-MathJax-613-QINU方向に微分可能で、
UNIQ1446eaf5759fe2b9-MathJax-614-QINU
証明
１）を示そう。
式(a) で、UNIQ1446eaf5759fe2b9-MathJax-615-QINU とすると
UNIQ1446eaf5759fe2b9-MathJax-616-QINU
ここで、
UNIQ1446eaf5759fe2b9-MathJax-617-QINU
式(c)の両辺を、UNIQ1446eaf5759fe2b9-MathJax-618-QINU で割り、整頓すると、
UNIQ1446eaf5759fe2b9-MathJax-619-QINU
この式の両辺の極限UNIQ1446eaf5759fe2b9-MathJax-620-QINUをとると、式(d)から
UNIQ1446eaf5759fe2b9-MathJax-621-QINU
を得る。
この左辺は、xに関する偏微分UNIQ1446eaf5759fe2b9-MathJax-622-QINUの定義式である。
式(a) で、UNIQ1446eaf5759fe2b9-MathJax-623-QINU と固定すると,同様の議論で、
UNIQ1446eaf5759fe2b9-MathJax-624-QINU を得る。
１）の証明終わり
２）を証明しよう。
UNIQ1446eaf5759fe2b9-MathJax-625-QINU の時は、UNIQ1446eaf5759fe2b9-MathJax-626-QINUであることは、方向微分の定義から直ちにわかるので、２）は成り立つ。
UNIQ1446eaf5759fe2b9-MathJax-627-QINU の時;
方向微分の定義から
UNIQ1446eaf5759fe2b9-MathJax-628-QINU
他方、ｆが 点UNIQ1446eaf5759fe2b9-MathJax-629-QINU で全微分可能なので、
UNIQ1446eaf5759fe2b9-MathJax-630-QINU
ここで、UNIQ1446eaf5759fe2b9-MathJax-631-QINU
式(b)を式(a)の右辺の代入すると、
UNIQ1446eaf5759fe2b9-MathJax-632-QINU
これで２）が示せた。
証明終わり
UNIQ1446eaf5759fe2b9-MathJax-633-QINUが微分可能ならば、
UNIQ1446eaf5759fe2b9-MathJax-634-QINUの点UNIQ1446eaf5759fe2b9-MathJax-635-QINUでの値と、その近くの点UNIQ1446eaf5759fe2b9-MathJax-636-QINUでの値の差UNIQ1446eaf5759fe2b9-MathJax-637-QINU は、
UNIQ1446eaf5759fe2b9-MathJax-638-QINU
で大変精度よく近似できることを意味する。
ここで、ベクトルの右肩についているＴという記号は、転置演算を表す記号である。
本テキストの8.1 平面と空間,ベクトルの行列を参照のこと。
微分可能性の十分条件
定理５
2変数関数関数 UNIQ1446eaf5759fe2b9-MathJax-639-QINU を考える。
もし、偏導関数 UNIQ1446eaf5759fe2b9-MathJax-640-QINU の少なくとも一方が UNIQ1446eaf5759fe2b9-MathJax-641-QINU で存在し、
他方が、UNIQ1446eaf5759fe2b9-MathJax-642-QINU を中心とする半径UNIQ1446eaf5759fe2b9-MathJax-643-QINU の開球体 UNIQ1446eaf5759fe2b9-MathJax-644-QINU上で存在し、UNIQ1446eaf5759fe2b9-MathJax-645-QINU で連続ならば、
UNIQ1446eaf5759fe2b9-MathJax-646-QINU はUNIQ1446eaf5759fe2b9-MathJax-647-QINU において、微分可能である。
(注）UNIQ1446eaf5759fe2b9-MathJax-648-QINUはどんなに小さくてもよい。
証明
UNIQ1446eaf5759fe2b9-MathJax-649-QINUが UNIQ1446eaf5759fe2b9-MathJax-650-QINU上で存在し、UNIQ1446eaf5759fe2b9-MathJax-651-QINU で連続と仮定して、証明すればよい。（他の場合も同様に議論できるから）。
そこで、UNIQ1446eaf5759fe2b9-MathJax-652-QINUがUNIQ1446eaf5759fe2b9-MathJax-653-QINU上で存在し、UNIQ1446eaf5759fe2b9-MathJax-654-QINU で連続としよう。
UNIQ1446eaf5759fe2b9-MathJax-655-QINU を満たす任意の2次元ベクトルUNIQ1446eaf5759fe2b9-MathJax-656-QINUをとる。
UNIQ1446eaf5759fe2b9-MathJax-657-QINU
UNIQ1446eaf5759fe2b9-MathJax-658-QINU
一変数UNIQ1446eaf5759fe2b9-MathJax-659-QINUの関数
UNIQ1446eaf5759fe2b9-MathJax-660-QINU
を考えると、UNIQ1446eaf5759fe2b9-MathJax-661-QINUであり、
UNIQ1446eaf5759fe2b9-MathJax-662-QINUがUNIQ1446eaf5759fe2b9-MathJax-663-QINU上で存在するので、微分可能な関数である。
一変数の微分可能な関数の平均値の定理から、ある正数UNIQ1446eaf5759fe2b9-MathJax-664-QINU が存在して、
UNIQ1446eaf5759fe2b9-MathJax-665-QINU
式(b)を用いて、この式を関数UNIQ1446eaf5759fe2b9-MathJax-666-QINUを用いて表すと
UNIQ1446eaf5759fe2b9-MathJax-667-QINU
式(a)の右辺の第2項UNIQ1446eaf5759fe2b9-MathJax-668-QINU を考える
関数UNIQ1446eaf5759fe2b9-MathJax-669-QINUのUNIQ1446eaf5759fe2b9-MathJax-670-QINUについての偏微分UNIQ1446eaf5759fe2b9-MathJax-671-QINUがUNIQ1446eaf5759fe2b9-MathJax-672-QINUで存在することから、
UNIQ1446eaf5759fe2b9-MathJax-673-QINU
ここでUNIQ1446eaf5759fe2b9-MathJax-674-QINUは、UNIQ1446eaf5759fe2b9-MathJax-675-QINUをみたす関数。
式(a)の右辺に、式 (c),(d)を代入すると、
UNIQ1446eaf5759fe2b9-MathJax-676-QINU
UNIQ1446eaf5759fe2b9-MathJax-677-QINU
UNIQ1446eaf5759fe2b9-MathJax-678-QINU
UNIQ1446eaf5759fe2b9-MathJax-679-QINU
を示せば、微分可能性の定義から、所要の命題が証明できたことになる。
UNIQ1446eaf5759fe2b9-MathJax-680-QINUは明らか。
UNIQ1446eaf5759fe2b9-MathJax-681-QINU
UNIQ1446eaf5759fe2b9-MathJax-682-QINU
UNIQ1446eaf5759fe2b9-MathJax-683-QINU は絶対値が１以下の値で
UNIQ1446eaf5759fe2b9-MathJax-684-QINU は、仮定から UNIQ1446eaf5759fe2b9-MathJax-685-QINU で連続なので
UNIQ1446eaf5759fe2b9-MathJax-686-QINUが成り立つので
UNIQ1446eaf5759fe2b9-MathJax-687-QINU
これで式UNIQ1446eaf5759fe2b9-MathJax-688-QINU が示せた。定理２の証明終わり。
(注）この定理はｎ変数関数の場合にも、次のように拡張できる。
定理５d
n変数関数関数 UNIQ1446eaf5759fe2b9-MathJax-689-QINU を考えるUNIQ1446eaf5759fe2b9-MathJax-690-QINU。
もし、偏導関数 UNIQ1446eaf5759fe2b9-MathJax-691-QINU の少なくとも一つが UNIQ1446eaf5759fe2b9-MathJax-692-QINU で存在し、
残りの全ての偏導関数がUNIQ1446eaf5759fe2b9-MathJax-693-QINU を中心とする半径UNIQ1446eaf5759fe2b9-MathJax-694-QINU の開球体 UNIQ1446eaf5759fe2b9-MathJax-695-QINU上で存在し、UNIQ1446eaf5759fe2b9-MathJax-696-QINU で連続ならば、
UNIQ1446eaf5759fe2b9-MathJax-697-QINU はUNIQ1446eaf5759fe2b9-MathJax-698-QINU において、微分可能である。
証明は、同じようにしてできるので省略する。
定義４
ｎ次元空間UNIQ1446eaf5759fe2b9-MathJax-699-QINU の開集合Ｕで定義される実数値関数
UNIQ1446eaf5759fe2b9-MathJax-700-QINU がUNIQ1446eaf5759fe2b9-MathJax-701-QINU級 とは、
全ての偏導関数UNIQ1446eaf5759fe2b9-MathJax-702-QINUがＵ上で存在し、
かつ、それらがＵ上の連続関数であること。
Ｕ上で定義され実数値をとるUNIQ1446eaf5759fe2b9-MathJax-703-QINU級関数をすべて集めた集合を UNIQ1446eaf5759fe2b9-MathJax-704-QINU と書く。
（注）ｎ次元空間UNIQ1446eaf5759fe2b9-MathJax-705-QINU の集合Ｕが開集合であるとは、
Ｕの任意の要素UNIQ1446eaf5759fe2b9-MathJax-706-QINUに対して、十分小さな半径ｒを選ぶと、
UNIQ1446eaf5759fe2b9-MathJax-707-QINUを中心とし半径ｒの開球体UNIQ1446eaf5759fe2b9-MathJax-708-QINU がＵに含まれること。
定理５d の系
UNIQ1446eaf5759fe2b9-MathJax-709-QINU級の関数は微分可能である。
勾配、グラジエント・ベクトル
ベクトル値の多変数関数の微分可能性
合成関数の微分を論ずるために、微分可能性をベクトル値関数の場合に拡張する。
本§では行列の初歩的知識が必要である。
UNIQ1446eaf5759fe2b9-MathJax-710-QINU をｎ次元空間UNIQ1446eaf5759fe2b9-MathJax-711-QINUの開集合Ｕで定義され、ｍ次元空間UNIQ1446eaf5759fe2b9-MathJax-712-QINUに値をとる関数とする。
ベクトルUNIQ1446eaf5759fe2b9-MathJax-713-QINU とUNIQ1446eaf5759fe2b9-MathJax-714-QINU を座標成分表示した縦ベクトルも同じ記号で表示しておく。
UNIQ1446eaf5759fe2b9-MathJax-715-QINU
UNIQ1446eaf5759fe2b9-MathJax-716-QINU
関数UNIQ1446eaf5759fe2b9-MathJax-717-QINUを座標成分表示すると
UNIQ1446eaf5759fe2b9-MathJax-718-QINU
定義５ ベクトル値関数の微分可能性
n変数でｍ次元空間UNIQ1446eaf5759fe2b9-MathJax-719-QINUに値をとる関数UNIQ1446eaf5759fe2b9-MathJax-720-QINUが点UNIQ1446eaf5759fe2b9-MathJax-721-QINUで
微分可能（全微分可能ともいう）とは、
その関数を座標成分表示した、ｍ個のｎ変数実数値関数
UNIQ1446eaf5759fe2b9-MathJax-722-QINU
が全て、UNIQ1446eaf5759fe2b9-MathJax-723-QINUで微分可能（全微分可能）であること。
定理６
UNIQ1446eaf5759fe2b9-MathJax-724-QINU をｎ次元空間UNIQ1446eaf5759fe2b9-MathJax-725-QINUの開集合Ｕで定義され、ｍ次元空間UNIQ1446eaf5759fe2b9-MathJax-726-QINUに値をとる関数とする。
この関数の座標成分表示を UNIQ1446eaf5759fe2b9-MathJax-727-QINUとする。
１．次の条件１）と ２）は等価である。
１）関数 UNIQ1446eaf5759fe2b9-MathJax-728-QINU が、点 UNIQ1446eaf5759fe2b9-MathJax-729-QINU で微分可能である。
２）あるｍ×ｎ行列Ｃが存在し、
UNIQ1446eaf5759fe2b9-MathJax-730-QINUとなるような正数ｒと、
大きさがｒより小さい任意のn次元縦ベクトル UNIQ1446eaf5759fe2b9-MathJax-731-QINU に対して
UNIQ1446eaf5759fe2b9-MathJax-732-QINU
ここで、UNIQ1446eaf5759fe2b9-MathJax-733-QINU
３）UNIQ1446eaf5759fe2b9-MathJax-734-QINU
UNIQ1446eaf5759fe2b9-MathJax-735-QINU
証明
容易なので省略する。
定義６
UNIQ1446eaf5759fe2b9-MathJax-736-QINUが点UNIQ1446eaf5759fe2b9-MathJax-737-QINUで微分可能のとき
UNIQ1446eaf5759fe2b9-MathJax-738-QINU を、関数UNIQ1446eaf5759fe2b9-MathJax-739-QINUのUNIQ1446eaf5759fe2b9-MathJax-740-QINU での導値(あるいは微分係数)と呼ぶ。
定理７ 合成関数の微分
UNIQ1446eaf5759fe2b9-MathJax-741-QINU をUNIQ1446eaf5759fe2b9-MathJax-742-QINU の開集合UNIQ1446eaf5759fe2b9-MathJax-743-QINU からUNIQ1446eaf5759fe2b9-MathJax-744-QINUへの関数
UNIQ1446eaf5759fe2b9-MathJax-745-QINU をUNIQ1446eaf5759fe2b9-MathJax-746-QINU の開集合UNIQ1446eaf5759fe2b9-MathJax-747-QINU からUNIQ1446eaf5759fe2b9-MathJax-748-QINUへの関数とする。
もし関数UNIQ1446eaf5759fe2b9-MathJax-749-QINUが点UNIQ1446eaf5759fe2b9-MathJax-750-QINUで微分可能で、
UNIQ1446eaf5759fe2b9-MathJax-751-QINUであり
関数UNIQ1446eaf5759fe2b9-MathJax-752-QINUが点UNIQ1446eaf5759fe2b9-MathJax-753-QINUで微分可能であるならば
合成関数
UNIQ1446eaf5759fe2b9-MathJax-754-QINU
は、点UNIQ1446eaf5759fe2b9-MathJax-755-QINUで微分可能で
その点の導値 UNIQ1446eaf5759fe2b9-MathJax-756-QINUは
UNIQ1446eaf5759fe2b9-MathJax-757-QINU
である。
(注）右辺はｎ×ｍ行列UNIQ1446eaf5759fe2b9-MathJax-758-QINU とｍ×ｌ行列UNIQ1446eaf5759fe2b9-MathJax-759-QINUの行列としての積である。
証明
関数UNIQ1446eaf5759fe2b9-MathJax-760-QINUが点UNIQ1446eaf5759fe2b9-MathJax-761-QINUで微分可能なので、微分可能の定義から
ノルムの十分小さい任意のｌ次元ベクトルUNIQ1446eaf5759fe2b9-MathJax-762-QINUに対して、
UNIQ1446eaf5759fe2b9-MathJax-763-QINU
ここで、UNIQ1446eaf5759fe2b9-MathJax-764-QINU
同様に、ノルムの十分小さい任意のｍ次元ベクトルUNIQ1446eaf5759fe2b9-MathJax-765-QINUに対して、
UNIQ1446eaf5759fe2b9-MathJax-766-QINU
ここで、UNIQ1446eaf5759fe2b9-MathJax-767-QINU
UNIQ1446eaf5759fe2b9-MathJax-768-QINU
UNIQ1446eaf5759fe2b9-MathJax-769-QINU 式(a)から、
UNIQ1446eaf5759fe2b9-MathJax-770-QINU
UNIQ1446eaf5759fe2b9-MathJax-771-QINU そこで、UNIQ1446eaf5759fe2b9-MathJax-772-QINU
UNIQ1446eaf5759fe2b9-MathJax-773-QINU とおくと
UNIQ1446eaf5759fe2b9-MathJax-774-QINU
UNIQ1446eaf5759fe2b9-MathJax-775-QINUが零ベクトル近づくときUNIQ1446eaf5759fe2b9-MathJax-776-QINUも零ベクトルに近づくので 式(c)を適用できて
UNIQ1446eaf5759fe2b9-MathJax-777-QINU
UNIQ1446eaf5759fe2b9-MathJax-778-QINU
故に、
UNIQ1446eaf5759fe2b9-MathJax-779-QINU
UNIQ1446eaf5759fe2b9-MathJax-780-QINU
UNIQ1446eaf5759fe2b9-MathJax-781-QINU
UNIQ1446eaf5759fe2b9-MathJax-782-QINU
UNIQ1446eaf5759fe2b9-MathJax-783-QINU ここで、UNIQ1446eaf5759fe2b9-MathJax-784-QINU
UNIQ1446eaf5759fe2b9-MathJax-785-QINU とおくと、
UNIQ1446eaf5759fe2b9-MathJax-786-QINU
故に、
UNIQ1446eaf5759fe2b9-MathJax-787-QINU
もし
UNIQ1446eaf5759fe2b9-MathJax-788-QINU
が成り立てば定理６から、関数UNIQ1446eaf5759fe2b9-MathJax-789-QINUは、点UNIQ1446eaf5759fe2b9-MathJax-790-QINUで微分可能で、その導値はUNIQ1446eaf5759fe2b9-MathJax-791-QINUであることが分かる。
式(g)を示そう。
UNIQ1446eaf5759fe2b9-MathJax-792-QINU (式(f)利用）
UNIQ1446eaf5759fe2b9-MathJax-793-QINU(ベクトルの和のノルムの性質を利用）
UNIQ1446eaf5759fe2b9-MathJax-794-QINU ここで、行列のノルムとして、ベクトルのノルムから誘導されたノルムを用いると、
UNIQ1446eaf5759fe2b9-MathJax-795-QINU なので
UNIQ1446eaf5759fe2b9-MathJax-796-QINU
故に
UNIQ1446eaf5759fe2b9-MathJax-797-QINU
この式の右辺の第１項は、極限UNIQ1446eaf5759fe2b9-MathJax-798-QINUをとると０になる（式(b)より）。
第２項は、
1) もしUNIQ1446eaf5759fe2b9-MathJax-799-QINUならば、
UNIQ1446eaf5759fe2b9-MathJax-800-QINU
UNIQ1446eaf5759fe2b9-MathJax-801-QINU
UNIQ1446eaf5759fe2b9-MathJax-802-QINU であり
UNIQ1446eaf5759fe2b9-MathJax-803-QINU
UNIQ1446eaf5759fe2b9-MathJax-804-QINU
UNIQ1446eaf5759fe2b9-MathJax-805-QINU なので、
UNIQ1446eaf5759fe2b9-MathJax-806-QINUが小さいとき、 UNIQ1446eaf5759fe2b9-MathJax-807-QINU は有界(ある正数Ｍ以下）である。
故に、
UNIQ1446eaf5759fe2b9-MathJax-808-QINU
UNIQ1446eaf5759fe2b9-MathJax-809-QINU(式(d)より)
故に
UNIQ1446eaf5759fe2b9-MathJax-810-QINU
2) もしUNIQ1446eaf5759fe2b9-MathJax-811-QINUならば、
UNIQ1446eaf5759fe2b9-MathJax-812-QINUなので、
UNIQ1446eaf5759fe2b9-MathJax-813-QINU
この２つを合わせると、
UNIQ1446eaf5759fe2b9-MathJax-814-QINU
故に、式(h)から、
UNIQ1446eaf5759fe2b9-MathJax-815-QINU
式(g)が示せた。
証明終わり。
UNIQ1446eaf5759fe2b9-MathJax-816-QINUの開集合UNIQ1446eaf5759fe2b9-MathJax-817-QINUで定義された一階偏微分可能な実数値関数ｆに対し、
点UNIQ1446eaf5759fe2b9-MathJax-818-QINU の近傍Ｗ(UNIQ1446eaf5759fe2b9-MathJax-819-QINU)上で２階偏導関数UNIQ1446eaf5759fe2b9-MathJax-820-QINU が存在し、
かつ、点UNIQ1446eaf5759fe2b9-MathJax-821-QINU で連続ならば、
１）導関数UNIQ1446eaf5759fe2b9-MathJax-822-QINUは、点UNIQ1446eaf5759fe2b9-MathJax-823-QINU で変数UNIQ1446eaf5759fe2b9-MathJax-824-QINU に関して偏微分可能で、
２）UNIQ1446eaf5759fe2b9-MathJax-825-QINU
実数値の多変数関数の高階偏微分
（１）二階偏微分
定義 一階偏微分可能
UNIQ1446eaf5759fe2b9-MathJax-826-QINU を、ｎ次元空間 UNIQ1446eaf5759fe2b9-MathJax-827-QINUの開集合UNIQ1446eaf5759fe2b9-MathJax-828-QINU上で定義され、
実数に値をとる関数とする。
この関数がUNIQ1446eaf5759fe2b9-MathJax-829-QINU上で、全ての変数に関する偏導関数
UNIQ1446eaf5759fe2b9-MathJax-830-QINU
を持つと仮定する。
この時 この関数を,U 上で一階偏微分可能であるという。
定義 二階偏微分係数
もし、点UNIQ1446eaf5759fe2b9-MathJax-831-QINU で、偏導関数UNIQ1446eaf5759fe2b9-MathJax-832-QINUが、変数UNIQ1446eaf5759fe2b9-MathJax-833-QINUに関して偏微分可能の時、その偏微分係数をUNIQ1446eaf5759fe2b9-MathJax-834-QINUと表わす（UNIQ1446eaf5759fe2b9-MathJax-835-QINU )。
物理学や他の数理的分野で、
２つの変数 UNIQ1446eaf5759fe2b9-MathJax-836-QINU に関する偏微分の順番を交換したとき、
偏微分係数が変わるか、否かが問題になることが起こる。
定理８
UNIQ1446eaf5759fe2b9-MathJax-837-QINUの開集合Ｕで定義された一階偏微分可能な実数値関数ｆに対し、
点UNIQ1446eaf5759fe2b9-MathJax-838-QINU の開近傍Ｗ（注参照）で
UNIQ1446eaf5759fe2b9-MathJax-839-QINU
が共に存在し、UNIQ1446eaf5759fe2b9-MathJax-840-QINUにおいて共に連続ならば、
UNIQ1446eaf5759fe2b9-MathJax-841-QINU
(注）Wは点UNIQ1446eaf5759fe2b9-MathJax-842-QINUを含む開集合で、UNIQ1446eaf5759fe2b9-MathJax-843-QINU であること。
この定理は次の定理の特殊な場合なので証明は略す。
定理９
UNIQ1446eaf5759fe2b9-MathJax-844-QINUの開集合UNIQ1446eaf5759fe2b9-MathJax-845-QINUで定義された一階偏微分可能な実数値関数ｆに対し、
点UNIQ1446eaf5759fe2b9-MathJax-846-QINU の近傍Ｗ(UNIQ1446eaf5759fe2b9-MathJax-847-QINU)上で２階偏導関数UNIQ1446eaf5759fe2b9-MathJax-848-QINU が存在し、
かつ、点UNIQ1446eaf5759fe2b9-MathJax-849-QINU で連続ならば、
１）偏導関数UNIQ1446eaf5759fe2b9-MathJax-850-QINUは、点UNIQ1446eaf5759fe2b9-MathJax-851-QINU で変数UNIQ1446eaf5759fe2b9-MathJax-852-QINU に関して偏微分可能で、
２）UNIQ1446eaf5759fe2b9-MathJax-853-QINU
証明の記述を簡単にするために、次の２変数関数バージョンの証明をする。
定理９は、２つの変数UNIQ1446eaf5759fe2b9-MathJax-854-QINU以外の (n-2)個の変数は固定して考えるので、
実質的には２変数関数にかんする命題であり、
簡略バージョンの証明はそのまま定理９の証明になっている（ただし、記述が複雑になる）。
定理９d（定理９の２変数関数バージョン）
UNIQ1446eaf5759fe2b9-MathJax-855-QINUの開集合UNIQ1446eaf5759fe2b9-MathJax-856-QINUで定義された一階偏微分可能な実数値関数ｆに対し、
点UNIQ1446eaf5759fe2b9-MathJax-857-QINU の近傍Ｗ(UNIQ1446eaf5759fe2b9-MathJax-858-QINU)上で２階偏導関数UNIQ1446eaf5759fe2b9-MathJax-859-QINU が存在し、
かつ、点UNIQ1446eaf5759fe2b9-MathJax-860-QINU で連続ならば、
１）導関数UNIQ1446eaf5759fe2b9-MathJax-861-QINUは、点UNIQ1446eaf5759fe2b9-MathJax-862-QINU で変数UNIQ1446eaf5759fe2b9-MathJax-863-QINU に関して偏微分可能で、
２）UNIQ1446eaf5759fe2b9-MathJax-864-QINU
証明；
点UNIQ1446eaf5759fe2b9-MathJax-865-QINUを含む集合Ｗが開集合なので、充分小さな正数UNIQ1446eaf5759fe2b9-MathJax-866-QINUを選べば、
点UNIQ1446eaf5759fe2b9-MathJax-867-QINUを中心とする半径UNIQ1446eaf5759fe2b9-MathJax-868-QINUの開球体UNIQ1446eaf5759fe2b9-MathJax-869-QINU はＷに含まれる。
UNIQ1446eaf5759fe2b9-MathJax-870-QINU
今後はこの開球体の上で議論する。
UNIQ1446eaf5759fe2b9-MathJax-871-QINU が存在し、
UNIQ1446eaf5759fe2b9-MathJax-872-QINU であることを示せばよい。
（１）UNIQ1446eaf5759fe2b9-MathJax-873-QINU が成立する。
これは偏微分の定義から明白。
そこで、
UNIQ1446eaf5759fe2b9-MathJax-874-QINU と置くと、
UNIQ1446eaf5759fe2b9-MathJax-875-QINU
が存在し、UNIQ1446eaf5759fe2b9-MathJax-876-QINU に等しいことを示せば定理は証明される。
（２）UNIQ1446eaf5759fe2b9-MathJax-877-QINU
である。
この部分が、この定理の証明の核心であり、多少の技巧を要する。
UNIQ1446eaf5759fe2b9-MathJax-878-QINUを生成するため次のような関数を導入する。
UNIQ1446eaf5759fe2b9-MathJax-879-QINU
すると関数UNIQ1446eaf5759fe2b9-MathJax-880-QINUは
UNIQ1446eaf5759fe2b9-MathJax-881-QINUをみたす微分可能な関数であることが容易に確かめられる。
すると、微分可能な関数に関する中間値の定理が適用出来るので、
ある正数UNIQ1446eaf5759fe2b9-MathJax-882-QINU が存在して、
UNIQ1446eaf5759fe2b9-MathJax-883-QINU
ところが、UNIQ1446eaf5759fe2b9-MathJax-884-QINUの定義から、
UNIQ1446eaf5759fe2b9-MathJax-885-QINU
なので、式(d),(e)から
UNIQ1446eaf5759fe2b9-MathJax-886-QINU
UNIQ1446eaf5759fe2b9-MathJax-887-QINU
ここで、定理の仮定により偏導関数 UNIQ1446eaf5759fe2b9-MathJax-888-QINU は開球体UNIQ1446eaf5759fe2b9-MathJax-889-QINU上で,
変数 UNIQ1446eaf5759fe2b9-MathJax-890-QINU に関して偏微分可能なので、中間値の定理が適用できるため、
UNIQ1446eaf5759fe2b9-MathJax-891-QINU
を満たす、正数 UNIQ1446eaf5759fe2b9-MathJax-892-QINU が存在することが分かる。
式(g)を式(f)の右辺に代入すると
UNIQ1446eaf5759fe2b9-MathJax-893-QINU
故に UNIQ1446eaf5759fe2b9-MathJax-894-QINU の時、
UNIQ1446eaf5759fe2b9-MathJax-895-QINU
2階偏導関数 UNIQ1446eaf5759fe2b9-MathJax-896-QINU は、点UNIQ1446eaf5759fe2b9-MathJax-897-QINUで連続なので、
UNIQ1446eaf5759fe2b9-MathJax-898-QINU
が示せた。
（３）最後に
UNIQ1446eaf5759fe2b9-MathJax-899-QINU
を示そう。
1) UNIQ1446eaf5759fe2b9-MathJax-900-QINUである。
何故ならば、
UNIQ1446eaf5759fe2b9-MathJax-901-QINU
UNIQ1446eaf5759fe2b9-MathJax-902-QINU
UNIQ1446eaf5759fe2b9-MathJax-903-QINU
であり、
UNIQ1446eaf5759fe2b9-MathJax-904-QINUと
UNIQ1446eaf5759fe2b9-MathJax-905-QINUは存在するので、
UNIQ1446eaf5759fe2b9-MathJax-906-QINUの極限（UNIQ1446eaf5759fe2b9-MathJax-907-QINU が存在し、
UNIQ1446eaf5759fe2b9-MathJax-908-QINU
UNIQ1446eaf5759fe2b9-MathJax-909-QINU
が得られる。
２）次の補題が示されれば、
UNIQ1446eaf5759fe2b9-MathJax-910-QINU と置くことにより
式(a)が得られる。
補題
2変数関数 UNIQ1446eaf5759fe2b9-MathJax-911-QINU が、UNIQ1446eaf5759fe2b9-MathJax-912-QINU上で定義されているとする。
もし、
UNIQ1446eaf5759fe2b9-MathJax-913-QINU
と
UNIQ1446eaf5759fe2b9-MathJax-914-QINU
が同時に成り立つならば、
UNIQ1446eaf5759fe2b9-MathJax-915-QINU
である。
証明
収束の定義から、
任意の(小さな)正数 UNIQ1446eaf5759fe2b9-MathJax-916-QINU に対して、或る正数 UNIQ1446eaf5759fe2b9-MathJax-917-QINU が存在して
UNIQ1446eaf5759fe2b9-MathJax-918-QINU を満たす任意の実数 UNIQ1446eaf5759fe2b9-MathJax-919-QINU では
UNIQ1446eaf5759fe2b9-MathJax-920-QINU が成り立つことを示せばよい。
仮定した式(h)から、
任意の正数UNIQ1446eaf5759fe2b9-MathJax-921-QINU に対して、これに依存して決まるある正数UNIQ1446eaf5759fe2b9-MathJax-922-QINU が存在して
UNIQ1446eaf5759fe2b9-MathJax-923-QINU が
UNIQ1446eaf5759fe2b9-MathJax-924-QINU を満たすならば、
UNIQ1446eaf5759fe2b9-MathJax-925-QINU
他方、仮定した式(i)から、
任意の非零のUNIQ1446eaf5759fe2b9-MathJax-926-QINUに対して、ある正数UNIQ1446eaf5759fe2b9-MathJax-927-QINUが定まって、
UNIQ1446eaf5759fe2b9-MathJax-928-QINU ならば
UNIQ1446eaf5759fe2b9-MathJax-929-QINU
非零で絶対値が UNIQ1446eaf5759fe2b9-MathJax-930-QINU より小さい任意の実数UNIQ1446eaf5759fe2b9-MathJax-931-QINUをとれば、
UNIQ1446eaf5759fe2b9-MathJax-932-QINUを満たす
任意の実数UNIQ1446eaf5759fe2b9-MathJax-933-QINUに対して、
式(j)、(k) が同時に成り立つ（注参照）。
故に、
UNIQ1446eaf5759fe2b9-MathJax-934-QINU
これで、
任意の正数UNIQ1446eaf5759fe2b9-MathJax-935-QINU に対して、これに依存して決まるある正数UNIQ1446eaf5759fe2b9-MathJax-936-QINU が存在して
UNIQ1446eaf5759fe2b9-MathJax-937-QINU を満たす任意の非零数 UNIQ1446eaf5759fe2b9-MathJax-938-QINU に関して
UNIQ1446eaf5759fe2b9-MathJax-939-QINU
が証明できた。
証明終わり。
（注）
UNIQ1446eaf5759fe2b9-MathJax-940-QINU なので、
UNIQ1446eaf5759fe2b9-MathJax-941-QINU
が成り立ち、式(j)が成り立つ。
UNIQ1446eaf5759fe2b9-MathJax-942-QINU級の関数
定義
定理１０
