ソースを表示
提供: Internet Web School
物理/多変数解析学
のソース
移動:
ナビゲーション
,
検索
以下に示された理由により、このページの編集を行うことができません:
この操作は、
登録利用者
のグループに属する利用者のみが実行できます。
このページのソースを閲覧し、コピーすることができます:
=「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/> が存在するとき、関数fは微分可能と定義することが考えられる。<br/> しかし残念ながら、<br/> $\vec h$はn次元ベクトルなので、割り算は不可能でありこの定義は無効である。 ===偏微分=== 関数$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/> 定義1(偏微分)<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/> '''定義2(偏導関数)'''<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/> 定理1 合成関数の微分(1)<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)$ で、xに関して偏微分可能で,<br/> $\qquad g(t)$ が、$t_0=f(x_0,y_0)$ において微分可能ならば、<br/> $h(x,y)=g(f(x,y))$ は $(x_0,y_0)$ で、xに関して偏微分可能であり,<br/> $h_{x}(x_0,y_0)=g'(t_0)f_{x}(x_0,y_0) \qquad \qquad (1)$<br/> 証明<br/> yを $ y_0 $ に固定して考えると、一変数関数の合成関数の微分になるので、合成関数の微分公式を適用すればよい。<br/><br/> 定理2<br/> $f(x,y)$ を <br/> $(x_0,y_0)$ を中心とするある半径rの[[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/> (注)2次元の開球体$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)$ で半径rの円周で囲まれる内部である。<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/> 定理3 <br/> $f(x.y)$ を <br/> $(x_0,y_0)$ を中心とする開球体$B_{r}(x_0,y_0)$上で、xについて偏微分可能とする。<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) $ というtの関数を導入する。<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 $ 関数gの微分は,一変数関数の合成関数の微分公式から<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$座標軸の正方向の方向・向きを持つ単位長さのベクトルとする(第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$)に平行に無限に小さい距離移動させるときの、関数fの変化率とみなせる。<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$に平行に微小量動かすときの関数fの変化率を考えることもできることが分かるだろう。<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/> 命題1<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/> (2)$\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)実数の性質、連続関数、導関数と微分#実数値関数の微分|1.4.1.1 微分係数の意味]] の命題の条件 3)の式(5)が、それに該当する。<br/><br/> '''定義3 微分可能性'''(全微分可能性)<br/> 関数$f(x,y)$が、或る開集合U上で定義されているとする。<br/> $f$が 点$(x_0,y_0)\in U$ で'''微分可能'''(あるいは全微分可能)とは、<br/> ある定数$c_1,\ c_2$が存在して、<br/> $f(x,y) = f(x_0,y_0) + c_{1}(x-x_0) + c_{2}(y-y_0) + \delta(x,y;x_o,y_0)\qquad ( a)$<br/> ここで、$\lim_{(x,y)\to (x_0,y_0)}\delta(x,y;x_o,y_0)/\|(x,y)-(x_0,y_0) \| = 0 \qquad (b)$ <br/> この時、 $\textbf{c} \triangleq (c_1, c_2)$ を、fの点$(x_0,y_0)$における'''導値'''(derivative)または'''微分係数'''といい、<br/> $f'(x_0,y_0), \ Df(x_0,y_0)$ などと書く。<br/><br/> (注)このテキストの[[物理/平面と空間,ベクトルの性質#内積とノルム|「1.4.3 一般のノルムの定義とノルムの同等性」]]から、<br/> ノルムとしては、どのp-ノルムを用いても同等である。<br/><br/> 定理4<br/> $f$が 点$(x_0,y_0)\in U$ で微分可能ならば、<br/><br/> 1)$f$ は$(x_0,y_0)$ で偏微分可能で、<br/> 式(a)の$ c_{1}, c_{2} $ はそれぞれ、$(x_0,y_0)$ でのx、yに関する偏微分係数である。<br/> すなわち、$f'(x_0,y_0)=(f_{x}(x_0,y_0),f_{y}(x_0,y_0))$<br/> 2)$\textbf{e}$ を任意のベクトルとすると、<br/> $f$ は $(x_0,y_0)$ で $\textbf{e}$方向に微分可能で、<br/> $ D_{\textbf{e}}f(x_0,y_0)=Df(x_0,y_0)\textbf{e}$<br/> 証明<br/> 1)を示そう。<br/> 式(a) で、$y=y_0$ と固定すると<br/> $f(x,y_0) = f(x_0,y_0) + c_{1}(x-x_0) + \delta(x,y_0;x_o,y_0)\qquad (c)$<br/> ここで、<br/> $\lim_{(x,y_0) \to (x_0,y_0)}\delta(x,y_0;x_o,y_0)/\|(x,y_0)-(x_0,y_0) \| = 0 \qquad (d) $<br/> $(x,y_0) \to (x_0,y_0) \Leftrightarrow x \to x_0$、$\|(x,y_0)-(x_0,y_0) \|=|x - x_0| $ なので<br/> 式(d)から、$\lim_{x \to x_0}\delta(x,y_0;x_o,y_0)/|x - x_0| = 0 \qquad (e) $<br/> 式(c)の両辺を、$x-x_0(\neq 0)$ で割り、整頓すると、<br/> $ \frac{f(x,y_0) - f(x_0,y_0)}{x-x_0} = c_{1}+\frac{\delta(x,y_0;x_o,y_0)}{x-x_0}$<br/> この式の両辺の極限$x\to x_0$をとると、式(e)から<br/> $\lim_{x\to x_0,x\neq x_0}\frac{f(x,y_0) - f(x_0,y_0) }{x-x_0} = 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/> 1)の証明終わり<br/> 2)を証明しよう。<br/> $\textbf{e} = \textbf{0}$ の時は、$D_{\textbf{e}}f(x_0,y_0)=0$であることは、方向微分の定義から直ちにわかるので、2)は成り立つ。<br/> $\textbf{e} \neq \textbf{0}$ の時;<br/> 方向微分の定義から<br/> $ D_{\textbf{e}}f(x_0,y_0)=\lim_{t\to 0,t\neq 0}\frac{f\Bigl((x_0,y_0)^{T} + t\textbf{e}\Bigr)-f\Bigl( (x_0,y_0)^{T} \Bigr)}{t} \qquad (a)$<br/> 他方、fが $(x_0,y_0)$ で全微分可能なので、<br/> $ f\Bigl( (x_0,y_0)^{T} + t\textbf{e}\Bigr)-f( (x_0,y_0)^{T} )=Df(x_0,y_0)t\textbf{e}+o(\|t\textbf{e}\|) \qquad \qquad (b)$<br/> 式(b)を式(a)の右辺の代入すると、<br/> $D_{\textbf{e}}f(x_0,y_0)=\lim_{t\to 0,t\neq 0}\Bigl(Df(x_0,y_0)\textbf{e}+\frac{o(\|t\textbf{e}\|)}{t}\Bigr)=Df(x_0,y_0)\textbf{e}$<br/> これで2)が示せた。<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/> ここで、ベクトルの右肩についているTという記号は、転置演算を表す記号である。<br/> 本テキストの[[物理/平面と空間,ベクトル#行列|8.1 平面と空間,ベクトルの行列]]を参照のこと。<br/><br/> 定理5;<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,y_0)+\textbf{h})-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)を用いて、この式を関数$f$を用いて表すと<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/> ここで$0(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}\|}$ は絶対値が1以下の値で<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)$ が示せた。定理2の証明終わり。<br/> (注)この定理はn変数関数の場合にも、次のように拡張できる。<br/> 定理5’<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/> 定義4<br/> n次元空間$\bf{R^{n}}$ の開集合Uで定義される実数値関数<br/> $f(\bf{x})$ が'''$C^{1}$級 '''とは、<br/> 全ての偏導関数$\{f_{x_i}\}_{i=1}^{n}$がU上で存在し、<br/> かつ、それらがU上の連続関数であること。<br/> U上で定義され実数値をとる$C^{1}$級関数をすべて集めた集合を '''$C^{1}(U,\bf{R})$''' と書く。 <br/> (注)n次元空間$\bf{R^{n}}$ の集合Uが開集合であるとは、<br/> Uの任意の要素$\bf{x}$に対して、十分小さな半径rを選ぶと、<br/> $\bf{x}$を中心とし半径rの開球体$B_{r}(\bf{x})$ がUに含まれること。<br/><br/> 定理5'の系<br/> $C^{1}$級の関数は微分可能である。<br/><br/> ====ベクトル値の多変数関数の微分可能性 ==== 合成関数の微分を論ずるために、微分可能性をベクトル値関数の場合に拡張する。<br/> 本§では[[wikibooks_ja: 高等学校数学C/行列|行列の初歩的知識]]が必要である。<br/><br/> $\bf{y} = f(\bf{x})$ をn次元空間$\bf{R^n}$の開集合Uで定義され、m次元空間$\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/> 定義5 ベクトル値関数の微分可能性<br/> n変数でm次元空間$\bf{R^m}$に値をとる関数$\bf{y} = f(\bf{x})$が点$\bf{x}$で 微分可能(全微分可能ともいう)とは、<br/> その関数を座標成分表示した、m個のn変数実数値関数<br/> $y_i = f^{i}(\bf{x}) \qquad (i=1,2,3,\cdots m)$<br/> が全て、$\bf{x}$で微分可能(全微分可能)であること。<br/> 定義6<br/> $\bf{y} = f(\bf{x})$が点$\bf{x}$で微分可能のとき<br/> 各$ f^{i}$の$\bf{x}$での導値(微分係数)$Df^{i}(\bf{x})$は、n次元横ベクトルであり、<br/> このm個の横ベクトルを縦に並べたm×n行列を$Df(\bf{x})$ と書き、<br/> $\bf{y} = f(\bf{x})$の点$\bf{x}$での導値(微分係数)と呼ぶ。<br/> $Df(\bf{x})= \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/> 定理6<br/> $\bf{y} = f(\bf{x})$ をn次元空間$\bf{R^n}$の開集合Uで定義され、m次元空間$\bf{R^m}$に値をとる関数とする。<br/> 次の2条件は等価である。<br/> 1)関数 $f$ が、点 $\bf{x^{0}(\in U)}$ で微分可能<br/> 2)あるm×n行列Cが存在し、<br/> $B_{r}(\bf{x^{0}})\subset U$となるようなrと、<br/> 大きさがrより小さい任意のベクトル $\bf{h}$ に対して<br/> $f(\bf{x^{0}}+\bf{h})-f(\bf{x^{0}})= C\bf{h} + \delta(\bf{h}) \qquad (a)$<br/> ここで、$\lim_{\bf{h}\to bf{0},\bf{h}\neq \bf{0}}\frac{\delta(\bf{h})}{\|\bf{h}\|} = 0 $<br/> 定理 (合成関数の微分)<br/> 2つの2変数の実関数$x_{1}=x_{1}(\xi_{1},\xi_{2}),\ x_{2}=x_{2}(\xi_{1},\xi_{2})$を、<br/> 共に、点$(\xi_{1}^{0},\xi_{2}^{0})$ において微分可能、<br/> 2変数の実関数 $f(x_1,x_2)$ が、<br/> 点 $(x_{1}^{0},x_{2}^0)=\Bigl( x_{1}(\xi_{1}^{0},\xi_{2}^{0}),x_{2}(\xi_{1}^{0},\xi_{2}^{0})\Bigr) $ において微分可能とする。<br/> すると、合成関数<br/> $\qquad \qquad g(\xi_{1},\xi_{2})\triangleq f\Bigl( x_{1}(\xi_{1},\xi_{2}),x_{2}(\xi_{1},\xi_{2})\Bigr) $<br/> は、$(\xi_{1}^{0},\xi_{2}^{0})$ で微分可能であり、<br/> $g_{\xi_{1}}(\xi_{1}^{0},\xi_{2}^{0})$<br/> $=\frac{\partial f}{\partial x_1}(x_{1}^{0},x_{2}^0)\frac{\partial x_{1}}{\partial \xi_{1}}(\xi_{1}^{0},\xi_{2}^{0}) + \frac{\partial f}{\partial x_2}(x_{1}^{0},x_{2}^0)\frac{\partial x_{2}}{\partial \xi_{1}}(\xi_{1}^{0},\xi_{2}^{0}) $<br/> $g_{\xi_{2}}(\xi_{1}^{0},\xi_{2}^{0})$<br/> $=\frac{\partial f}{\partial x_1}(x_{1}^{0},x_{2}^0)\frac{\partial x_{1}}{\partial \xi_{2}}(\xi_{1}^{0},\xi_{2}^{0}) + \frac{\partial f}{\partial x_2}(x_{1}^{0},x_{2}^0)\frac{\partial x_{2}}{\partial \xi_{2}}(\xi_{1}^{0},\xi_{2}^{0}) $<br/><br/> $\vec{\xi}^{0}=(\xi_{1}^{0},\xi_{2}^{0}),\ \textbf x^{0}=(x_{1}^{0},x_{2}^{0})$ とおけば、上式は<br/> $g_{\xi_{j}}(\vec{\xi}^{0}) = \sum_{i=1}^{2}f_{x_i}(\textbf x^{0})(x_i)_{\xi_{j}}(\vec{\xi}^{0}) \quad (j=1,2)$<br/> あるいは、<br/> $g_{\xi_{j}}(\vec{\xi}^{0}) = \sum_{i=1}^{2}\frac{\partial f}{\partial x_i}(\textbf x^{0})\frac{\partial x_i}{\partial \xi_{j}}(\vec{\xi}^{0}) \quad (j=1,2)$<br/> と書ける。<br/> これは、さらに容易にわかる、どの点の関数値かを省略すれば<br/> $g_{\xi_{j}} = \sum_{i=1}^{2}f_{x_i}\cdot (x_i)_{\xi_{j}} \quad (j=1,2)$<br/> あるいは<br/> $g_{\xi_{j}} = \sum_{i=1}^{2}\frac{\partial f}{\partial x_i}\frac{\partial x_i}{\partial \xi_{j}} \quad (j=1,2)$<br/> と略記できる。<br/> 証明<br/> === 高階偏微分 === (1)二階偏微分<br/> 定義 二階偏微分<br/> 次は、大変有用な定理である。<br/> 定理<br/> ${\bf R^n}$の開集合Uで定義された実数値関数fに対し、<br/> 点$\textbf{a} \in U$ の近傍W(注参照)で<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}$級の関数 ====
物理/多変数解析学
に戻る。
表示
本文
トーク
ソースを表示
履歴
個人用ツール
ログイン
案内
メインページ
コミュニティ・ポータル
最近の出来事
最近の更新
おまかせ表示
ヘルプ
検索
ツールボックス
リンク元
関連ページの更新状況
特別ページ一覧