ソースを表示

=「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/>
開区間 $I^n=\prod_{i=1}^{n}(a_i,b_i)$は開集合の一例である。<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/><br/>
一変数関数の議論から類推するために<br/>
以後、$\vec{x}:=(x_1,x_2,,,x_n)$とおき、　$y=f(\vec{x})$　と書くこともある。<br/>
$I^n \,$上で定義された実数値関数　$\ y=f(\vec{x})=f(x_1,x_2,,,x_n)\,$　の微分について説明する。<br/>
一変数の微分から類推すると<br/>
微小なベクトル　$\vec h=(h_1,h_2,,,h_n)$　を考え、極限<br/>
$\lim_{\vec h \to 0,\vec h\neq 0}\frac{f(\vec x + \vec h)-f(\vec x)}{{\bf h} }$<br/>
が存在するとき、関数ｆは微分可能と定義することが考えられる。<br/>
しかし残念ながら、<br/>
$\vec h$はｎ次元ベクトルなので、割り算は不可能でありこの定義は無効である。
===偏微分===
関数$f$　の変数　$\vec{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)}{\bf 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)}{\bf 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/>
関数ｆは、点$\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(\vec{x})$　の 点$\vec a$　での変数　$x_i$ 　についての'''偏微分係数'''という。<br/><br/>
'''定義（偏導関数）'''<br/>
$f(\vec{x})$ 　がどの点$\vec{x}$でも　$x_i$　に関して偏微分可能であるならば、<br/>
任意の点$x_i$　にその点の偏微分係数$\frac{d\phi^i}{dx_i}(x_i)$を対応させると、新しい関数が得られる。<br/>
これを、$f(\vec{x})$ 　の　$x_i$　に関する偏導関数といい、記号<br/>
$f_{x_{i}}(\vec{x}),\quad D_{x_i}f(\vec{x}),\quad \frac{\partial f}{\partial x_i} (\vec{x}),\quad \partial f/\partial x_i$<br/>
などで表示する。<br/><br/>
*[[wikipedia_ja:偏微分 |ウィキペディア(偏微分)]]
次に最も簡単な場合に限定して、合成関数の偏微分についての命題を述べる。<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)$の、点$\vec x = (x_1,x_2,,,x_n)$での偏微分係数　$\frac{\partial f}{\partial x_i}(x)$　は、<br/>
点$\vec x $　を、第i座標（座標ベクトル$\vec{e}_i$)に平行に無限に小さい距離移動させるときの、関数ｆの変化率とみなせる。<br/>
式で書くと<br/>
$\frac{\partial f}{\partial x_i}(x) 
= \lim_{h\to 0,h\neq 0}\frac{f(\vec x + h\vec{e}_i)-f(\vec x )}{h}$<br/>

このように考えると、点$\vec x = (x_1,x_2,,,x_n)$を、座標ベクトル$\vec{e}_i$に平行ではなく、<br/>
任意に指定するベクトル$\vec a$に平行に微小量動かすときの関数ｆの変化率を考えることもできることが分かるだろう。<br/><br/>
'''定義　方向微分'''<br/>
関数$y=f(x_1,x_2,,,x_n)$の、点$\vec x = (x_1,x_2,,,x_n)$での,$\vec a$　方向の微分係数とは、<br/>
$\lim_{h\to 0,h\neq 0}\frac{f(\vec x + h\vec a)-f(\vec x )}{h}$<br/>
のことで、<br/>
$\frac{\partial f}{\partial \vec{a}}(x),\quad f_{\vec a}(x),\quad D_{\vec a}(x)$<br/>
などと書く。<br/>
この定義から、ある点ｘの$\vec{a}$方向微分は、<br/>
点ｘがその点から方向$\vec{a}$にそって動くときの関数値の変化率、<br/>
$ \qquad ( \|\vec{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/>