偏微分 のソース

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49

#freeze
/偏微分（編集中）
%indent
////////////////////////////////////////////////////////////////////////////////
* 導入 [#lb1a48f4]
 
;;１変数関数$$ f(x) $$に対し、$$ x $$による微分を$$ \ddd{f}{x} $$と表記し、次のように定義される。
#ceq(e)
    $$ \ddd{f}{x} $ = $ \lim_{\Dl x \to 0} \ffd{f(x + \Dl x) - f(x)}{\Dl x} $$
#ceq(end)
 
;:２変数関数$$ f(x,y) $$に対し、同様に微分したものは偏微分と言って$$ \ppd{f}{x} $$と表記され、次のように定義される。
#ceq(e)
    $$ \ppd{f}{x} $ = $ \lim_{\Dl x \to 0} \ffd{f(x + \Dl x, y) - f(x, y)}{\Dl x} $$
#ceq(end)
 
$$ \pr $$を使った偏微分と区別して、$$ d $$を使った微分を特に常微分と言う。
 
これだけの定義だが、偏微分と常微分の違いを正しく説明できる人は意外に少ない。
勿論、「偏微分では$$ y $$を固定している」だけでは矛盾が生じる。
実際、学ぶ方にとっては$$ \pr $$と$$ d $$の使い分けが非常に紛らわしく、微分が難しく感じる要因の一つである。
 
結論を言うと、偏微分と常微分は同じ微分演算であるため、微分としては共通の記号を通して使うべき。
しかし、偏微分と言うだけで、積分は勿論、既にベクトルまで含まれるのが現状である。
このため、表記を統合するためには、記号の意味から変える必要がある。
 
以下では、まず同一関数$$ f $$に対し、偏微分$$ \ppd{f}{x} $$と常微分$$ \ddd{f}{x} $$が同時に存在し、異なる値を持つ場合について考える。
次ぎに、$$ \ppd{f}{x} $$で欠けてる情報を補った偏微分のフル表記とその意味について考える。
最後に、偏微分の意味毎の分離表記について考え、偏微分と常微分を統合する。
 
この話しの目標は、関数$$ f $$があって、どんな関数だろうと$$ x $$で微分する限り$$ \ddd{f}{x} $$と表記することである。
 
* 目次 [#oae47e71]
- [[''偏''微分と''常''微分の違い>./偏微分と常微分の違い]]
- [[''偏''微分と''偏''微分の違い>./偏微分と偏微分の違い]]
- [[代入微分>./代入微分]]
- 偏微分のフル表記
- 偏微分の意味
- 偏微分の分離表記
- 偏微分と常微分の統合表記
- 微分公式の記述例
 
以下は予定。内容も含め、偏微分の話しに組み込むか、別の話にするかを検討中。
- 方向微分
- 物質微分
- 不完全微分
- 偏積分と常積分
 
////////////////////////////////////////////////////////////////////////////////