ソースを表示

=「9.1　多変数解析学」　=
== 序 ==
本章の冒頭の偏微分の導入部については下記の本も参考にしてください。<br/>
*[[wikibooks_ja:解析学基礎/多変数関数の微積分|多変数関数の微積分]]
それ以降の内容については、ウィキブックスには殆どないため、<br/>
このテクストで今後叙述していく予定です。<br/>

==多変数の実数値関数の微分   ==
${\bf R^n}=\{(x_1,x_2,,,x_n)  \mid x_i\in{\bf R},i=1,2,\cdots n\}$ の開区間 <br/>
$I^n=\prod_{i=1}^{n}(a_i,b_i)$上で定義された実関数 $y=f(x_1,x_2,,,x_n)$ を考える。<br/>
一変数関数の議論から類推するために<br/>
以後、$\textbf x:=(x_1,x_2,,,x_n)$とおき、　$y=f(\textbf x)$　と書くこともある。<br/>
$I^n \,$上で定義された実数値関数　$\ y=f(\textbf x)=f(x_1,x_2,,,x_n)\,$　の微分について説明する。<br/>
一変数の微分から類推すると<br/>
微小なベクトル　$\textbf h=(h_1,h_2,,,h_n)$　を考え、極限<br/>
$\lim_{\vec h \to 0,\vec h\neq 0}\frac{f(\textbf x + \vec h)-f(\textbf x)}{{\bf h} }$<br/>
が存在するとき、関数ｆは微分可能と定義することが考えられる。<br/>
しかし残念ながら、<br/>
$\vec h$はｎ次元ベクトルなので、割り算は不可能でありこの定義は無効である。
===偏微分===
関数$f$　の変数　$\textbf x$　の第i成分　$x_i$　だけを変数とし、<br/>
他の変数は任意の実数に固定$\Bigl(x_j = a_j \quad (j\neq i)\Bigr)$して得られる関数<br/>
$\phi_{x_j=a_j,j\neq i}(x_i)\triangleq f(a_1,a_2,,,a_{i-1},x_i,a_{i+1},,,a_n) $<br/>
を考える。<br/>
この関数は、一変数なので、任意の点$x_i $　での微分係数　<br/>
$\frac{d\phi_{x_j=a_j,j\neq i}}{dx_i}(x_i)\triangleq \lim_{ h \to 0, h\neq 0}\frac{\phi_{x_j=a_j,j\neq i}(x_i+h)-\phi_{x_j=a_j,j\neq i}(x_i)}{h}$<br/>
$=\lim_{ h \to 0, h\neq 0}\frac{ f(a_1,a_2,,,a_{i-1},x_{i}+h,a_{i+1},,,a_n)-f(a_1,a_2,,,a_{i-1},x_{i},a_{i+1},,,a_n)}{h}$<br/>
を考えることができる。<br/><br/>
定義１（偏微分）<br/>
もし、一変数関数　$\phi_{x_j=a_j,j\neq i}(x_i)=f(a_1,a_2,,,a_{i-1},x_i,a_{i+1},,,a_n)$　が、ある点$x_i=a_i$で微分可能ならば、<br/>
関数$f$は、点$\vec a = (a_1.a_2,,,,a_n)$で,$x_i$　について'''偏微分可能'''であると言い,<br/>
$\frac{\partial f}{\partial x_i}(\vec a) \triangleq \frac{d\phi_{x_j=a_j,j\neq i}}{dx_i}(a_i)$<br/>
を、$f(\textbf x)$　の 点$\vec a$　での変数　$x_i$ 　についての'''偏微分係数'''という。<br/><br/>
'''定義２（偏導関数）'''<br/>
$f(\textbf x)$ 　がどの点$\textbf x$でも　$x_i$　に関して偏微分可能であるならば、<br/>
任意の点$\textbf x$　にその点における　$x_i$　に関する偏微分係数$\frac{\partial f}{\partial x_i}(\textbf x)$を対応させると、新しい関数が得られる。<br/>
これを、$f(\textbf x)$ 　の　$x_i$　に関する偏導関数といい、記号<br/>
$f_{x_{i}}(\textbf x),\quad D_{x_i}f(\textbf x),\quad \frac{\partial f}{\partial x_i} (\textbf x),\quad \partial f/\partial x_i$<br/>
などで表示する。<br/>
*[[wikipedia_ja:偏微分 |ウィキペディア(偏微分)]]
以後、簡単のために2変数$x, y$ の関数に限定して議論する。<br/>
定理１　合成関数の微分（１）<br/>
$R^2$　から　$R$　への関数$f(x,y)$　と<br/>
$R$　から　$R$　への関数$g(t)$　の合成関数　<br/>
$h(x,y)=g(f(x,y))$　<br/>
を考える。<br/>
もし、$f(x,y)$　が　$(x_0,y_0)$　で、ｘに関して偏微分可能で,<br/>
$\qquad g(t)$　が、$t_0=f(x_0,y_0)$　において微分可能ならば、<br/>
$h(x,y)=g(f(x,y))$　は　$(x_0,y_0)$　で、ｘに関して偏微分可能であり,<br/>
$h_{x}(x_0,y_0)=g'(t_0)f_{x}(x_0,y_0)  \qquad \qquad (1)$<br/>
証明<br/>
ｙを $ y_0 $ に固定して考えると、一変数関数の合成関数の微分になるので、合成関数の微分公式を適用すればよい。<br/><br/>

定理２<br/>
$f(x,y)$　を <br/>
$(x_0,y_0)$ を中心とするある半径ｒの[[wikipedia_ja:球体#ユークリッド空間における球体|開球体]]$B_{r}(x_0,y_0)$上で、$x$について偏微分可能とする。<br/>
もし$(x,y)$ を$B_{r}(x_0,y_0)$の点ならば<br/>
$x_0$ と $x$ の間の $\xi$　が存在して、<br/>
$f(x,y) - f(x,y_0)-\bigl(f(x_0,y) - f(x_0,y_0) \bigr)= (x-x_0)\bigl(f_{x}(\xi,y)-f_{x}(\xi,y_0)\bigr)  \qquad  (2)$ <br/>
(注）２次元の開球体$B_{r}(x_0,y_0)\triangleq \{(x,y)\in R^2 | \|(x,y) - (x_0,y_0) \|_{2} \lt r\} $　は、中心が点$(x_0,y_0)$ で半径ｒの円周で囲まれる内部である。<br/> 
証明 <br/>
$ \phi(x)\triangleq f(x,y) - f(x,y_0)$ とおくと、<br/>
式（）の左辺$ = \phi(x) - \phi(x_0)$<br/>
$\quad \phi(x) $　は、$x_0$　の近傍で微分可能なので、[[wikipedia_ja:平均値の定理|平均値の定理]]から、<br/>
$\quad x_0$ と $x$ の間の $\xi$　が存在して、<br/>
$= (x-x_0){\phi}'(\xi) = (x-x_0)\bigl(f_{x}(\xi,y)-f_{x}(\xi,y_0)\bigr) $<br/><br/>
定理３　<br/>
$f(x.y)$　を <br/>
$(x_0,y_0)$ を中心とする開球体$B_{r}(x_0,y_0)$上で、ｘについて偏微分可能とする。<br/>
もし$(x,y)=(x_0+h,y_0+k)\in B_{r}(x_0,y_0)$ ならば<br/>
$f(x,y) = f(x_0,y_0) + hf_{x}(x_0 + h\theta,y) + kf_{y}(x_0,y_0+ k\theta)$<br/>を満たす、$\theta=\theta(h,k) \in (0,1)$　が存在する。<br/>
証明<br/>
$ g(t) \triangleq f(x_0+ht,y) + f(x_0,y_0+kt) $ というｔの関数を導入する。<br/>
すると、<br/>
$g(1)-g(0) = f(x,y)+f(x_0,y)-\bigl(f(x_0,y)+f(x_0,y_0) \bigr)$ <br/>
$\qquad \qquad =f(x,y) - f(x_0,y_0)$ <br/>
関数　$g(t)$　は、閉区間[0,1]　を含む開区間上で微分可能なので、<br/>
一変数の微分可能関数の平均値の定理から、<br/>
ある数　$\theta \in (0,1)$　が存在して、<br/>
$g(1)-g(0) =　g'(\theta)(1-0) = g'(\theta)　\qquad \qquad (a)$<br/>
故に、$ f(x,y) - f(x_0,y_0) = g(1)-g(0) = g'(\theta)$<br/>
$\qquad $ 関数ｇの微分は,一変数関数の合成関数の微分公式から<br/>
$\qquad　g'(t) = f_{x}(x_0+ht,y)h + f_{y}(x_0,y_0+kt)k  \qquad (b)$<br/>
式(a)、(b) から<br/>
$ f(x,y) - f(x_0,y_0) = f_{x}(x_0+h\theta,y)h + f_{y}(x_0,y_0+k\theta)k  \qquad (b)$<br/>
証明終わり<br/><br/>
===方向微分===
$\vec{e_i}$　を直交座標系の$x_i$座標軸の正方向の方向・向きを持つ単位長さのベクトルとする（第ｉ直交座標ベクトルと呼ぼう）。<br/>
多変数関数$y=f(x_1,x_2,,,x_n)$の、点$\textbf x = (x_1,x_2,,,x_n)$での偏微分係数　$\frac{\partial f}{\partial x_i}(x)$　は、<br/>
点$\textbf x $　を、第i座標（座標ベクトル$\vec{e}_i$)に平行に無限に小さい距離移動させるときの、関数ｆの変化率とみなせる。<br/>
式で書くと<br/>
$\frac{\partial f}{\partial x_i}(x) 
= \lim_{h\to 0,h\neq 0}\frac{f(\textbf x + h\vec{e}_i)-f(\textbf x )}{h}$<br/>

このように考えると、点$\textbf x = (x_1,x_2,,,x_n)$を、座標ベクトル$\vec{e}_i$に平行ではなく、<br/>
任意に指定するベクトル$\vec a$に平行に微小量動かすときの関数ｆの変化率を考えることもできることが分かるだろう。<br/><br/>
'''定義　方向微分'''<br/>
関数$y=f(x_1,x_2,,,x_n)$の、点$\textbf x = (x_1,x_2,,,x_n)$での,$\vec a$　方向の微分係数とは、<br/>
$\lim_{h\to 0,h\neq 0}\frac{f(\textbf x + h\vec a)-f(\textbf x )}{h}$<br/>
のことで、<br/>
$\frac{\partial f}{\partial \vec{a}}(x),\quad f_{\vec a}(x),\quad D_{\vec a}f(x)$<br/>
などと書く。<br/><br/>
命題１<br/>
(1)　$\vec{e_i}$　方向の微分は、$\vec{e_i}$　座標軸($x_i$座標軸）に関する偏微分である。<br/>
ここで、$\vec{e_i}$　は$x_i$座標軸の正方向向きの単位長さのベクトル。<br/>
式で書くと、<br/>
$\frac{\partial f}{\partial \vec{e_i}}(x) = \frac{\partial f}{\partial x_i}(x) $<br/>
（２）$\alpha$　を任意の実数とすると<br/>
$\frac{\partial f}{\partial \alpha \vec{e_i}}(x) = \alpha \frac{\partial f}{\partial x_i}(x) $<br/>

===微分(全微分）　===
この§も、記述を簡単にするため、2変数関数で説明する。<br/>
一般のｎ変数の場合への拡張は、記述は複雑になるが、容易である。
==== 多変数実数値関数の微分可能性 ====
二変数関数の微分可能性をどう定義したらよいだろうか？<br/>
一変数関数の微分の場合、それと同等の条件はいくつか知られているが、<br/>
その中で二変数関数に容易に拡張できるものを採用するのが自然である。<br/>
[[物理/解析入門（１）実数の性質、連続関数、導関数と微分#実数値関数の微分|1.4.1.1 微分係数の意味]]　の命題の条件　３）の式(5)が、それに該当する。<br/><br/>

'''定義３　微分可能性'''(全微分可能性）<br/>
関数$f(x,y)$が、或る開集合Ｕ(\subset {\bf R^2})上で定義されているとする。<br/>
$f$が 点$(x_0,y_0)\in U$ で'''微分可能'''(あるいは'''全微分可能'''）とは、<br/>
ある定数$c_1,\ c_2$が存在して、<br/>
ノルムが微小な任意のベクトル$\textbf{h}$ $= (h_1,h_2)$に対して
$f(x_0+h_1,y_0+h_2) = f(x_0,y_0) + c_{1}h_1 + c_{2}h_2 + \delta(h_1,h_2)$（注１参照のこと）$\qquad (a)$<br/>
ここで、$\lim_{\bf{h}\to \bf{0}}\delta(h_1,h_2)/\|{\bf h} \| = 0 （注２参照のこと）\qquad (b)$ <br/>
この時、　$\textbf{c} \triangleq (c_1, c_2)$　を、ｆの点$(x_0,y_0)$における'''導値'''(derivative)または'''微分係数'''といい、<br/>
$f'(x_0,y_0), \ Df(x_0,y_0)$ などと書く。<br/><br/>
（注１）$(x_0,y_0)\in U$　で、Ｕが開集合なので、<br/>
$\|\textbf{h}\|$がある正数より小さければ$(x_0+h_1,y_0+h_2)\in U$となり、<br/>
関数$f$は、この点で定義されている。<br/>
$\delta(h_1,h_2)$は、$h_1,h_2$ の関数である。<br/>
（注２）ノルムとしては、どのｐ－ノルムを用いても良い。<br/>
このテキストの[[物理/平面と空間,ベクトルの性質#内積とノルム|「1.4.3 　一般のノルムの定義とノルムの同等性」]]を参照のこと。<br/><br/>

'''定理４'''<br/>
$f$が 点$(x_0,y_0)\in U$ で微分可能ならば、<br/><br/>
１）$f$ は$(x_0,y_0)$ で偏微分可能で、<br/>
式(a)の$ c_{1}, c_{2} $　はそれぞれ、点$(x_0,y_0)$ でのｘ、ｙに関する偏微分係数である。<br/>
すなわち、$f'(x_0,y_0)=(f_{x}(x_0,y_0),f_{y}(x_0,y_0))$<br/>
２）${\bf e}=(e_1,e_2)^{T}$　を任意のベクトルとすると、<br/>
$f$ は 点$(x_0,y_0)$ で ${\bf e}$方向に微分可能で、<br/>
$ D_{\textbf{e}}f(x_0,y_0)=Df(x_0,y_0){\bf e}$<br/>
証明<br/>
１）を示そう。<br/>
式(a)　で、$h_2=0$　とすると<br/>
$f(x_0+h_1,y_0) = f(x_0,y_0) + c_{1}h_1 + \delta(h_1,0)\qquad (c)$<br/>
ここで、<br/>
$\lim_{h_1 \to 0,h_1 \neq 0}\frac{\delta(h_1,0)}{|h_1|} = 0\qquad (d) $<br/>
式(c)の両辺を、$h_1 (\neq 0)$ で割り、整頓すると、<br/>
$ \frac{f(x_0+h_1,y_0) - f(x_0,y_0)}{h_1}= c_{1}+\frac{\delta(h_1,0)}{h_1}$<br/>
この式の両辺の極限$h_1\to 0$をとると、式(d)から<br/>
$\lim_{h_1 \to 0,h_1 \neq 0}\frac{f(x_0+h_1,y_0) - f(x_0,y_0) }{h_1}= c_{1} $<br/>
を得る。<br/>
この左辺は、xに関する偏微分$\frac{\partial f}{\partial x}(x_0,y_0)$の定義式である。<br/>
式(a)　で、$x=x_0$　と固定すると,同様の議論で、<br/>
$c_2=\frac{\partial f}{\partial y}(x_0,y_0)$　を得る。<br/>
１）の証明終わり<br/>
２）を証明しよう。<br/>
${\bf e} = {\bf 0}$　の時は、$D_{\textbf{e}}f(x_0,y_0)=0$であることは、方向微分の定義から直ちにわかるので、２）は成り立つ。<br/>
${\bf e} \neq \textbf{0}$　の時;<br/>
方向微分の定義から<br/>
$ D_{\textbf{e}}f(x_0,y_0)=\lim_{t\to 0,t\neq 0}\frac{f(x_0+te_1,y_0+te_2)-f(x_0,y_0)}{t}  \qquad (a)$<br/>
他方、ｆが　点$(x_0,y_0)$　で全微分可能なので、<br/>
$ f(x_0 + te_1,y_0 + te_2)-f(x_0,y_0)=Df(x_0,y_0)t\textbf{e}+\delta(te_1,te_2)) 
\qquad (b)$<br/>
ここで、$\frac{\delta(te_1,te_2)}{\|t{\bf e}\|} \to 0 \quad (\|t{\bf e}\| \to 0　のとき)$<br/>
式(b)を式(a)の右辺の代入すると、<br/>
$D_{\bf {e}}f(x_0,y_0)=\lim_{t\to 0,t\neq 0}\Bigl(Df(x_0,y_0){\bf e}+\frac{\delta(te_1,te_2)}{t}\Bigr)=Df(x_0,y_0){\bf e}$<br/>
これで２）が示せた。<br/>
証明終わり<br/><br/>
$f$が微分可能ならば、<br/>
$f$の点$(x_0,y_0)$での値と、その近くの点$(x_0+h,y_0+k)$での値の差$f(x_0+h,y_0+k)-f(x_0,y_0)$　は、<br/>
$ c_1 h + c_2 k = (c_1,c_2)(h,k)^{T}=\Bigl(f_{x}(x_0,y_0),f_{y}(x_0,y_0)\Bigr)(h,k)^{T}$<br/>
で大変精度よく近似できることを意味する。<br/>
ここで、ベクトルの右肩についているＴという記号は、転置演算を表す記号である。<br/>
本テキストの[[物理/平面と空間,ベクトル#行列|8.1 平面と空間,ベクトルの行列]]を参照のこと。<br/><br/>
'''定理５'''<br/>
2変数関数関数 $f(x,y)$ を考える。<br/>
もし、偏導関数　$f_{x},f_{y}$ の少なくとも一方が　$(x_0,y_0)$　で存在し、
他方が、$(x_0,y_0)$　を中心とする半径$\delta$　の開球体　$B_{\delta}(x_0,y_0)$上で存在し、$(x_0,y_0)$　で連続ならば、<br/>
$f(x,y)$ は$(x_0,y_0)$ において、微分可能である。<br/>
(注）$\delta$はどんなに小さくてもよい。<br/>
証明<br/>
$f_{x}$が　$B_{\delta}(x_0,y_0)$上で存在し、$(x_0,y_0)$　で連続と仮定して、証明すればよい。（他の場合も同様に議論できるから）。<br/>
そこで、$f_{x}$が$B_{\delta}(x_0,y_0)$上で存在し、$(x_0,y_0)$　で連続としよう。<br/>
$\|\textbf{h}\|_{2}\lt \delta $ を満たす任意の2次元ベクトル${\textbf h}=(h_{1},h_{2})$をとる。<br/>
$f(x_0 + h_1,y_0 + h_2)-f(x_0,y_0) $<br/>
$= \Bigl(f(x_0+h_1,y_0+h_2)-f(x_0,y_0+h_2)\Bigr)+\Bigl(f(x_0,y_0+h_2)-f(x_0,y_0)\Bigr)  \qquad \qquad (a)$<br/>
一変数$h_1$の関数<br/>
$\phi(h_1)\triangleq f(x_0+h_1,y_0+h_2) \qquad (b)$<br/>
を考えると、$\phi(0)=f(x_0,y_0+h_2)$であり、<br/>
$f_{x}$が$U_{\delta}(x_0,y_0)$上で存在するので、微分可能な関数である。<br/>
一変数の微分可能な関数の平均値の定理から、ある正数$\theta \in (0,1)$ が存在して、<br/>
$\phi(h_1)-\phi(0)=h_1{\phi}'(\theta h_1)$<br/>
式(b)を用いて、この式を関数$ｆ$を用いて表すと<br/>
$f(x_0+h_1,y_0+h_2)-f(x_0,y_0+h_2)=h_{1}D_{x_1}f(x_0+\theta h_1,y_0+h_2)  \qquad (c)$<br/>
式(a)の右辺の第2項$f(x_0,y_0+h_2)-f(x_0,y_0)$ を考える<br/>
関数$f$の$y$についての偏微分$D_{y}f$が$(x_0,y_0)$で存在することから、<br/>
$f(x_0,y_0+h_2)-f(x_0,y_0) = h_2 D_{y}f(x_0,y_0)+\delta(h_2)
\qquad (d)$<br/>
ここで$\delta(h_2)$は、$\lim_{h_2\to 0,h_2\neq 0}\frac{\delta(h_2)}{|h_2|}=0$をみたす関数。<br/>
式(a)の右辺に、式 (c),(d)を代入すると、<br/>
$f(x_0+h_1,y_0+h_2)-f(x_0,y_0) $<br/>
$=h_{1}D_{x}f(x_0+\theta h_1,y_0+h_2)+h_2D_{y}f(x_0,y_0)+\delta(h_2)$<br/>
$=h_{1}D_{x}f(x_0,y_0)+h_2D_{y}f(x_0,y_0)+ h_{1}\Bigl(D_{x}f(x_0+\theta h_1,y_0+h_2))- D_{x}f(x_0,y_0)\Bigr) + \delta(h_2)  \qquad (e)$<br/>

$\lim_{\bf{h}\to 0,\bf{h}\neq 0}\frac{h_{1}\Bigl(D_{x}f(x_0+\theta h_1,y_0+h_2))- D_{x}f(x_0,y_0)\Bigr) + \delta(h_2) }{\|\bf{h}\|} = 0\qquad (f)$<br/>
を示せば、微分可能性の定義から、所要の命題が証明できたことになる。<br/>
$\lim_{\bf{h}\to 0,\bf{h}\neq 0}\frac{\delta(h_2)}{\|\bf{h}\|}=0$は明らか。<br/>$\lim_{\bf{h}\to 0,\bf{h}\neq 0}\frac{h_{1}\Bigl(D_{x}f(x_0+\theta h_1,y_0+h_2))- D_{x}f(x_0,y_0)\Bigr)}{\|\bf{h}\|} $<br/>
$=\lim_{\bf{h}\to 0,\bf{h}\neq 0}\frac{h_{1}}{\|\bf{h}\|}\Bigl(D_{x}f(x_0+\theta h_1,y_0+h_2))- D_{x}f(x_0,y_0)\Bigr)$<br/>
$\qquad \frac{h_{1}}{\|\bf{h}\|}$ は絶対値が１以下の値で<br/>
$\qquad D_{x}f$ は、仮定から　$(x_0,y_0)$　で連続なので<br/>
$\qquad \lim_{\bf{h}\to 0,\bf{h}\neq 0}\Bigl(D_{x}f(x_0+\theta h_1,y_0+h_2))- D_{x}f(x_0,y_0)\Bigr) = 0$が成り立つので<br/>
$= 0$<br/>
これで式$(f)$　が示せた。定理２の証明終わり。<br/>
(注）この定理はｎ変数関数の場合にも、次のように拡張できる。<br/>
'''定理５d '''<br/>
n変数関数関数 $f(\bf{x})$ を考える$\Bigl(\bf{x}=(x_1,x_2,\cdots x_{n-1},x_n)\Bigr)$。<br/>
もし、偏導関数　$\{f_{x_i}\}_{i=1}^{n}$ の少なくとも一つが　$\bf{x}=\bf{x^{0}}$　で存在し、<br/>
残りの全ての偏導関数が$x^{0}$　を中心とする半径$\delta$　の開球体　$B_{\delta}(\bf{x^{0}})$上で存在し、$\bf{x^{0}}$　で連続ならば、<br/>
$f$ は$\bf{x^{0}}$ において、微分可能である。<br/>
証明は、同じようにしてできるので省略する。<br/><br/>
'''定義４'''<br/>
ｎ次元空間$\bf{R^{n}}$　の開集合Ｕで定義される実数値関数<br/>
$f(\bf{x})$　が'''$C^{1}$級 '''とは、<br/>
全ての偏導関数$\{f_{x_i}\}_{i=1}^{n}$がＵ上で存在し、<br/>
かつ、それらがＵ上の連続関数であること。<br/>
Ｕ上で定義され実数値をとる$C^{1}$級関数をすべて集めた集合を　'''$C^{1}(U,\bf{R})$'''　と書く。　<br/>
（注）ｎ次元空間$\bf{R^{n}}$　の集合Ｕが開集合であるとは、<br/>
Ｕの任意の要素$\bf{x}$に対して、十分小さな半径ｒを選ぶと、<br/>
$\bf{x}$を中心とし半径ｒの開球体$B_{r}(\bf{x})$　がＵに含まれること。<br/><br/>
'''定理５d の系'''<br/>
$C^{1}$級の関数は微分可能である。<br/><br/>
====ベクトル値の多変数関数の微分可能性  ====
合成関数の微分を論ずるために、微分可能性をベクトル値関数の場合に拡張する。<br/>
本§では[[wikibooks_ja: 高等学校数学C/行列|行列の初歩的知識]]が必要である。<br/><br/>
$\bf{y} = f(\bf{x})$ をｎ次元空間$\bf{R^n}$の開集合Ｕで定義され、ｍ次元空間$\bf{R^m}$に値をとる関数とする。<br/>
ベクトル$\bf{y}$　と$\bf{x}$　を座標成分表示した縦ベクトルも同じ記号で表示しておく。<br/>
$\bf{y}=\begin{pmatrix} y_1 \\ y_{2} \\  \vdots \\ y_{m} \end{pmatrix}\qquad $
$\bf{x}=\begin{pmatrix} x_1 \\ x_{2} \\ x_{3} \\  \vdots \\ x_{n} \end{pmatrix}\qquad $<br/>
関数$\bf{y} = f(\bf{x})$を座標成分表示すると<br/>
$y_i = f^{i}({\bf x}) \qquad (i=1,2,3,\cdots m)$<br/><br/>
'''定義５　ベクトル値関数の微分可能性'''<br/>
n変数でｍ次元空間$\bf{R^m}$に値をとる関数$\bf{y} = f(\bf{x})$が点$\bf{x}$で
微分可能（全微分可能ともいう）とは、<br/>
その関数を座標成分表示した、ｍ個のｎ変数実数値関数<br/>
$y_i = f^{i}({\bf x}) \qquad (i=1,2,3,\cdots m)$<br/>
が全て、${\bf x}$で微分可能（全微分可能）であること。<br/>

'''定理６'''<br/>
$\bf{y} = f({\bf x})$ をｎ次元空間$\bf{R^n}$の開集合Ｕで定義され、ｍ次元空間${\bf R^m}$に値をとる関数とする。<br/>
この関数の座標成分表示を　$y^{i} = f^{i}({\bf x}) \quad (i=1,2,3,\cdots, n)\qquad \qquad (a)$とする。<br/>
１．次の条件１）と　２）は等価である。<br/>
１）関数　$f$　が、点　$\bf{x^{0}}(\in U)}$　で微分可能である。<br/>
２）あるｍ×ｎ行列Ｃが存在し、<br/>
$B_{r}({\bf x^{0}})\subset U$となるような正数ｒと、<br/>
大きさがｒより小さい任意のn次元縦ベクトル　${\bf h}$　に対して<br/>
$f({\bf x^{0}}+{\bf h})-f({\bf x^{0}})= C{\bf h} + \delta(h_1,h_2,\cdots,h_n) \qquad (a)$<br/>
ここで、$\lim_{{\bf h}\to {bf 0},{\bf h}\neq {\bf 0}}\frac{\delta(h_1,h_2,\cdots,h_n)}{\|\bf{h}\|} = 0 $<br/>
３）$C = Df({\bf x^{0}})\triangleq 
\begin{pmatrix} Df^{1}({\bf x^{0}}) \\
  Df^{2}({\bf x^{0}}) \\
  \vdots\\
  Df^{m}({\bf x^{0}})\\
\end{pmatrix}$　<br/>　
$=\begin{pmatrix}
  \frac{\partial f^{1}}{\partial x_1}(\bf x) & \frac{\partial f^{1}}{\partial x_2}(\bf x) & \frac{\partial f^{1}}{\partial x_3}(\bf x) & \dots & \frac{\partial f^{1}}{\partial x_n}(\bf x)\\
  \frac{\partial f^{2}}{\partial x_1}(\bf x) & \frac{\partial f^{1}}{\partial x_2}(\bf x) & \frac{\partial f^{2}}{\partial x_3}(\bf x) & \dots & \frac{\partial f^{2}}{\partial x_n}(\bf x)\\
   \frac{\partial f^{3}}{\partial x_1}(\bf x) & \frac{\partial f^{3}}{\partial x_2}(\bf x) & \frac{\partial f^{3}}{\partial x_3}(\bf x) & \dots & \frac{\partial f^{3}}{\partial x_n}(\bf x)\\
  \vdots  & \vdots  & \vdots  & \ddots& \vdots\\
  \frac{\partial f^{m}}{\partial x_1}(\bf x) & \frac{\partial f^{m}}{\partial x_2}(\bf x) & \frac{\partial f^{m}}{\partial x_3}(\bf x) & \dots & \frac{\partial f^{m}}{\partial x_n}(\bf x)\\
\end{pmatrix}$<br/><br/>
証明<br/>
容易なので省略する。<br/><br/>
'''定義６'''<br/>
$\bf{y} = f({\bf x})$が点${\bf x}$で微分可能のとき<br/>
$C = Df({\bf x^{0}})$　を、関数$f$の${\bf x^{0}}$　での導値(あるいは微分係数)と呼ぶ。<br/><br/>

'''定理７　合成関数の微分'''<br/>
${\bf y} = f({\bf x})$　を${\bf R^l}$ の開集合$U$ から$\bf{R^m}$への関数<br/>　
${\bf z} = g(\bf{y})$　を$\bf{R^m}$ の開集合$V$ から${\bf R^n}$への関数とする。<br/>　
もし関数$f$が点$\bf{x^0}(\in U)$で微分可能で、<br/>　
$\bf{y^0}\triangleq f(\bf{x^0}) \in V$であり<br/>
関数$g$が点$\bf{y^0}$で微分可能であるならば<br/>
合成関数<br/>
$\bf{z} = g\circ f(\bf{x})\triangleq g(f(\bf{x}))$<br/>
は、点$\bf{x^0}$で微分可能で<br/>
その点の導値 $D(g\circ f)(\bf{x^0})$は<br/>
$D(g\circ f)(\bf{x^0}) = Dg(\bf{y^0})Df(\bf{x^0})　\quad (注参照のこと)\qquad (a)$<br/>
である。<br/>
(注）右辺はｎ×ｍ行列$Dg(\bf{y^0})$ とｍ×ｌ行列$Df(\bf{x^0})$の行列としての積である。<br/>
証明<br/>
関数$f$が点$\bf{x^0}$で微分可能なので、微分可能の定義から<br/>
ノルムの十分小さい任意のｌ次元ベクトル$\bf{h}$に対して、<br/>
$f(\bf{x^0}+\bf{h}) = f(\bf{x^0}) + Df(\bf{x^0})\bf{h} + \delta(\bf{h})\qquad (a)$<br/>
ここで、$\lim_{\bf{h}\to \bf{0}}\frac{\delta(\bf{h})}{\|\bf{h} \|}= 0\qquad (b)$<br/>
同様に、ノルムの十分小さい任意のｍ次元ベクトル$\bf{k}$に対して、<br/>
$g(\bf{y^0}+\bf{k}) = g(\bf{y^0}) + Dg(\bf{y^0})\bf{k} + \delta'(\bf{k})\qquad (c)$<br/>
ここで、$\lim_{\bf{k}\to \bf{0}}\frac{\delta'(\bf{k})}{\|\bf{k} \|}= 0\qquad (d)$<br/>
従って,式(a)から、<br/>
$g\circ f(\bf{x^0}+\bf{h}) = g\Bigl(f(\bf{x^0}+\bf{h})\Bigr)=g\Bigl(\bf{y^0}) + Df(\bf{x^0})\bf{h} + \delta(\bf{h})\Bigr)$<br/>
$=g\Bigl(f(\bf{x^0}) + Df(\bf{x^0})\bf{h} + \delta(\bf{h})\Bigr)$
そこで、$\bf{k}=Df(\bf{x^0})\bf{h} + \delta(\bf{h}) $ と置くと 、<br/>
$\bf{h}$が零ベクトル近づくとき$\bf{k}$も零ベクトルに近づくので、<br/>
式(c),(d)を適用できて<br/>
$g\circ f(\bf{x^0}+\bf{h}) =g(\bf{y^0}) + Dg(\bf{y^0})\Bigl(Df(\bf{x^0})\bf{h} + \delta(\bf{h}\Bigr)  + \delta'\Bigl(Df(\bf{x^0})\bf{h} + \delta(\bf{h}) \Bigr)\qquad (e)$<br/>
$\lim_{\bf{k}\to \bf{0}}\frac{\delta'(\bf{k})}{\|\bf{k} \|}= 0$<br/>





g(\bf{y^0}+\bf{k}) = g(\bf{y^0}) + Dg(\bf{y^0})\bf{k} + \delta(\bf{k})\qquad (c)$<br/>
ここで、$\lim_{\bf{k}\to \bf{0}}\frac{\delta(\bf{k})}{\|\bf{k} \|}= 0\qquad (d)$<br/>

===　高階偏微分 ===
（１）二階偏微分<br/>
定義　二階偏微分<br/>

次は、大変有用な定理である。<br/>
定理<br/>
${\bf R^n}$の開集合Ｕで定義された実数値関数ｆに対し、<br/>
点$\textbf{a} \in U$ の近傍Ｗ（注参照）で<br/>
$ \qquad \qquad f_{x_i,x_j} \ f_{x_j,x_i}$<br/>
が共に存在し、$\textbf{a}$において共に連続ならば、<br/>
$ \qquad \qquad f_{x_i,x_j}(\textbf{a}) = f_{x_j,x_i}(\textbf{a})$<br/>

=== 二階偏微分可能な関数 ===
議論を簡単にするため、この§でも2変数関数$f(\textbf{x})$ で考える。<br/>
ここで$\textbf{x}=(x_1,x_2)^{T}$<br/>

==== $C^{2}$級の関数 ====