9. 物理数学(2)多変数の解析学・ベクトル解析

多変数の実数値関数の微分 =

${\bf R^n}=\{(x_1,x_2,,,x_n) \mid x_i\in{\bf R},i=1,2,\cdots n\}$ の開区間 $I^n=\prod_{i=1}^{n}(a_i,b_i)$上で定義された実関数$y=f(x_1,x_2,,,x_n)$ を考える。一変数関数の議論から類推しやすくするため、以後
${\bf x}:=(x_1,x_2,,,x_n)$とおき、$y=f({\bf x})$と書くこともある。
この上で定義された実数値関数$y=f({\bf x})=f(x_1,x_2,,,x_n)$の微分について説明する。
最初に思いつくのは、一変数のときと同じ定義をもちいることであり
$\lim_{{\bf h} \to 0,{\bf h}\neq 0}\frac{f({\bf s}+{\bf h})-f({\bf s})}{{\bf h} }=c$
が存在するときｓで微分可能と定義すること。
しかし、
${\bf h}$はｎ次元ベクトルなので割り算は不可能。