• 2013.0101.0329 暫定原稿

    $$ F $$をベクトル$$ x $$で編微分

一般に、１変数関数$$ F(x) $$の微分と言えば$$ \ddd{F}{x} $$である。

対して、２変数関数$$ G(x,y) $$となると、偏微分

 \ppp{G}{x} 
/home/limg/www/LimgMath/eq! Undefined control sequence.
 $\displaystyle \mathstrut { \ppp 
                                            {G}{x} } $
l.34 $}
と
 \ppp{G}{y} 
/home/limg/www/LimgMath/eq! Undefined control sequence.
 $\displaystyle \mathstrut { \ppp 
                                            {G}{y} } $
l.34 $}
、そして全微分$$ dG $$が登場する

*1。

この$$ d $$と$$ \partial $$の使い分けが微分を無駄に難しくする要因の一つである。

導入

教科書的に微分をまとめると、大まか次のようになる：

名称被微分関数微分表記
常微分１変数：$$ F(x) $$$$ \ddd{F}{x} $$
偏微分２変数：$$ F(x,y) $$
 \ppp{F}{x} 
/home/limg/www/LimgMath/eq! Undefined control sequence.
 $\displaystyle \mathstrut { \ppp 
                                            {F}{x} } $
l.34 $}
全微分任意変数：$$ F $$$$ dF $$

１変数関数$$ f(x) $$に対し、$$ x $$による微分を$$ \ddd{f}{x} $$と表記し、次のように定義される。

$$ \ddd{f}{x} $$$$ = $$$$ \lim_{\Dl x \to 0} \ffd{f(x + \Dl x) - f(x)}{\Dl x} $$

２変数関数$$ f(x,y) $$に対し、同様に微分したものは偏微分と言って$$ \ppd{f}{x} $$と表記され、次のように定義される。

$$ \ppd{f}{x} $$$$ = $$$$ \lim_{\Dl x \to 0} \ffd{f(x + \Dl x, y) - f(x, y)}{\Dl x} $$
$$ \pr $$を使った偏微分と区別して、$$ d $$を使った微分を特に常微分と言う。
これだけの定義だが、偏微分と常微分の違いを正しく説明できる人は意外に少ない。勿論、「偏微分では$$ y $$を固定している」だけでは矛盾が生じる。実際、学ぶ方にとっては$$ \pr $$と$$ d $$の使い分けが非常に紛らわしく、微分が難しく感じる要因の一つである。
結論を言うと、偏微分と常微分は同じ微分演算であるため、微分としては共通の記号を通して使うべき。しかし、偏微分と言うだけで、積分は勿論、既にベクトルまで含まれるのが現状である。このため、表記を統合するためには、記号の意味から変える必要がある。
以下では、まず同一関数$$ f $$に対し、偏微分$$ \ppd{f}{x} $$と常微分$$ \ddd{f}{x} $$が同時に存在し、異なる値を持つ場合について考える。次ぎに、$$ \ppd{f}{x} $$で欠けてる情報を補った偏微分のフル表記とその意味について考える。最後に、偏微分の意味毎の分離表記について考え、偏微分と常微分を統合する。
この話しの目標は、関数$$ f $$があって、どんな関数だろうと$$ x $$で微分する限り$$ \ddd{f}{x} $$と表記することである。

目次

以下は予定。内容も含め、偏微分の話しに組み込むか、別の話にするかを検討中。
  • 方向微分
  • 物質微分
  • 不完全微分
  • 偏積分と常積分
*1 ベクトル解析では勾配$$ \:\nabla G $$も登場するが、偏微分と全微分ほど紛らわしくないので省略。
    数学 一覧 検索 最新 バックアップ リンク元   ヘルプ   最終更新のRSS