ソースを表示

=「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\}$ の開集合Ｄ上で定義された実関数 $y=f(x_1,x_2,,,x_n)$ を考える。<br/><br/>
（注）${\bf R^n}$　に含まれる集合Ｕが'''開集合'''とは、<br/>
Ｕの任意の点 a に対して、ある正数ｒが存在し、<br/>
a を中心とする半径ｒの円$S_{r}(a)$ がＵに含まれること。<br/>
第一階述語論理で書くと<br/>
$(\forall a \in U)(\exists r \gt 0)(S_{}(a)\triangleq \{x\in R^n \,|\, \|x-a \|\leq r\}\subset U)$ <br/>
開区間 $I^n=\prod_{i=1}^{n}(a_i,b_i)$は開集合の一例である。<br/><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_{\textbf{h} \to 0,\textbf{h}\neq 0}\frac{f(\textbf{x} + \textbf{h})-f(\textbf{x})}{{\bf h} }$<br/>
が存在するとき、関数ｆは微分可能と定義することが考えられる。<br/>
しかし残念ながら、<br/>
$\textbf{h}$はｎ次元ベクトルなので、割り算は不可能でありこの定義は無効である。
===偏微分===
関数$f$　の変数　$\textbf{x}$　の第i成分　$x_i$　だけを変数とし、<br/>
他の変数は任意の実数に固定$\Bigl(x_j = a_j \quad (j\neq i)\Bigr)$して得られる関数<br/>
$f_{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{df_{x_j=a_j,j\neq i}}{dx_i}(x_i)\triangleq \lim_{ h \to 0, h\neq 0}\frac{f_{x_j=a_j,j\neq i}(x_i+h)-f_{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/>
もし、一変数関数　$f_{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/>
関数ｆは、点$\textbf{a} = (a_1.a_2,,,,a_n)$で,$x_i$　について'''偏微分可能'''であると言い,<br/>
$\frac{\partial f}{\partial x_i}(\textbf{a}) \triangleq \frac{df_{x_j=a_j,j\neq i}}{dx_i}(a_i)$<br/>
を、$f(\textbf{x})$　の 点$\textbf{a}$　での変数　$x_i$ 　についての'''偏微分係数'''という。<br/><br/>
'''定義（偏導関数）'''<br/>
$f(\textbf{x})$ 　が定義域D内のどの点でも　$x_i$　に関して偏微分可能ならば、<br/>
任意の点$\textbf a \in D$　にその点の偏微分係数$\frac{\partial f}{\partial x_i}(\textbf{a}) = \frac{df_{x_j=a_j,j\neq i}}{dx_i}(a_i)$を対応させると、新しい関数が得られる。<br/>
これを、$f(\textbf{x})$ 　の　$x_i$　に関する偏導関数といい、記号<br/>
$f_{x_{i}},\quad D_{x_i}f,\quad \frac{\partial f}{\partial x_i} ,\quad \partial f/\partial x_i$<br/>
などで表示する。<br/><br/>
参考文献；[[wikipedia_ja:偏微分 |ウィキペディア(偏微分)]]<br/><br/>
以後は、議論を簡単にするため、２変数の関数について記述する。<br/>
多変数には容易に拡張できる。<br/>
補題<br/>
${\bf R^2}$　の開区間 ${\bf I^2}=(a_1,b_1)\times (a_2,b_2)$上で定義された、２変数の実数値関数$ y = f(x_1,x_2) $ を考える。<br/>
ｆが$\textbf{I}^2$上で$x_1$　にかんして偏微分可能ならば、次の２つの条件は同等である。<br/>
（１）関数ｆが変数　$x_2$　だけの関数で、　$x_1$　には関係しない。<br/>
（２）関数ｆは,任意の$\textbf{x}\in \textbf{I}^2$で$x_1$に関する偏導関数が零である（$(\forall \textbf{x}\in I^2)(\frac{\partial f}{\partial x_1}(\textbf{x})=0$)<br/>
証明<br/>
（１）ならば（２）；偏微分の定義から、明らか。<br/>
（２）ならば（１）；I^2の任意の点 $\textbf x=(x_1,x_2)$ を考える。<br/>
$x_2$ を固定し、$x_1$ を動かし$\tilde{x_1}$にしても関数値は変化しないことを示そう。<br/>
まず　$x_1 \lt \tilde{x_1}$ の場合を考える。<br/>
$f^{x_2}(x_1)\triangleq f(x_1,x_2)$という一変数 $x_1$の関数　$f^{x_2}$　を考えると、<br/>
$f(\tilde{x_1},x_2) - f(x_1, x_2) = f^{x_2}(\tilde{x_1}) - f^{x_2}(x_1)\qquad \qquad (1)$ <br/>
関数　$f^{x_2}$ は微分可能なので、平均値の定理から、<br/>
或る$c \in [x_1,\tilde{x_1}]$　が存在して、<br/>
$ f^{x_2}(\tilde{x_1}) - f^{x_2}(x_1) = \frac{df^{x_2}}{dx_1}(c)(\tilde{x_1}-x_1)$ <br/>
偏微分の定義から、<br/>
$ = \frac{\partial f}{\partial x_1}(c,x_2)(\tilde{x_1}-x_1)$ <br/>
仮定から、$ \frac{\partial f}{\partial x_1}(c,x_2) = 0$なので、<br/>
$ = 0$<br/>
故に、$ f^{x_2}(\tilde{x_1}) - f^{x_2}(x_1) = 0 \qquad \qquad \qquad (2)$<br/>
式（１）と（２）から、<br/>
$f(\tilde{x_1},x_2) - f(x_1, x_2) = 0 $<br/>
$\tilde{x_1}\lt x_1 $ の場合も同様に証明できる。<br/><br/>
定理（２変数関数の平均値の定理）<br/>
${\bf R^2}$　の開集合Ｄで定義された関数$f(x_1,x_2)$


次に最も簡単な場合に限定して、合成関数の偏微分についての命題を述べる。<br/>
もっと一般的な合成関数の偏微分については、この章の付録で紹介する予定である。<br/>


定理（合成関数の偏微分）<br/>
$R^2$　から　$R$　への関数$f(x,y)$　と<br/>
$R$　から　$R$　への関数$g(x,y)$　の合成関数　<br/>
$h(x,y)=g(f(x,y)$　<br/>
を考える。<br/>
もし、$f(x,y)$　が　$(x_0,y_0)$　で、ｘに関して偏微分可能で,<br/>
$\quad g(x,y)$　が、$z_0=f(x_0,y_0)$　において微分可能ならば、<br/>
$h(x,y)=g(f(x,y)$　は　$(x_0,y_0)$　で、ｘに関して偏微分可能であり,<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/>
任意に指定するベクトル$\textbf{a}$に平行に微小量動かすときの関数ｆの変化率を考えることもできることが分かるだろう。<br/><br/>
'''定義　方向微分'''<br/>
関数$y=f(x_1,x_2,,,x_n)$の、点$\textbf{x} = (x_1,x_2,,,x_n)$での,$\textbf{a}$　方向の微分係数とは、<br/>
$\lim_{h\to 0,h\neq 0}\frac{f(\textbf{x} + h\textbf{a})-f(\textbf{x} )}{h}$<br/>
のことで、<br/>
$\frac{\partial f}{\partial \textbf{a}}(x),\quad f_{\textbf{a}}(x),\quad D_{\textbf{a}}(x)$<br/>
などと書く。<br/>
この定義から、ある点ｘの$\textbf{a}$方向微分は、<br/>
点ｘがその点から方向$\textbf{a}$にそって動くときの関数値の変化率、<br/>
$ \qquad ( \|\textbf{a}\|$　を単位長にした）<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/><br/>

===微分(全微分）　===
定義１；微分可能(全微分可能ともいう）、導値(微分係数）、導関数<br/>
定理１；<br/>
微分可能ならば、偏微分可能<br/><br/>
定理２<br/>
$C^{1}$級の関数は微分可能<br/>