- 追加された行はこの色です。
- 削除された行はこの色です。
/ 偏微分
#freeze
/偏微分（編集中）
%indent
- 2013.0101.0329 暫定原稿
////////////////////////////////////////////////////////////////
* $$ F $$をベクトル$$ x $$で編微分 [#m9f119d2]
;;一般に、１変数関数$$ F(x) $$の微分と言えば$$ \ddd{F}{x} $$である。
;:対して、多変数関数$$ G(x,y) $$になると、偏微分$$ \ppd{G}{x} $$と$$ \ppd{G}{y} $$、そして全微分$$ dG $$が登場する
((ベクトル解析では勾配$$ \:\nabla G $$も登場するが、実質上偏微分の拡張のため、偏微分と全微分ほど紛らわしくないため、ここでは考えない。))。
;:多変数関数の各種微分に対し、１変数の微分を特に常微分と呼ぶ。
;:問題は、この$$ d $$と$$ \partial $$の使い分けが微分を難しくする原因の一つである。
////////////////////////////////////////////////////////////////////////////////
* 導入 [#lb1a48f4]
;;教科書的に纏めると、次のようになる：
| | | | |l:c
|名称 |被微分関数 |微分表記 |定義例 |
|常微分|１変数：$$ F(x) $$|$$ \ddd{F}{x} $$|$$ \lim_{\varDelta x \to 0} \ffd{F(x + \varDelta x) - F(x)}{\varDelta x} $$|
|偏微分|２変数：$$ F(x,y) $$|$$ \ppd{F}{x} $$|$$ \lim_{\varDelta x \to 0} \ffd{F(x + \varDelta x, y) - F(x, y)}{\varDelta x} $$|
|全微分|任意変数：$$ F $$|$$ dF $$|$$ \ppd{F}{x} dx + \ppd{F}{y} dy $$|
;:定義からも、偏微分が常微分の拡張で、全微分は別の概念ということが分かる。
;:また、１変数を２変数の特殊例と見なした場合、１変数のときに$$ \ddd{F}{x} $ = $ \ppd{F}{x} $$が成り立つ。
;:このため、常微分を$$ \partial $$で書くと恐らく注意される程度で済むだろう。
;:しかし、偏微分に$$ d $$、全微分に$$ \partial $$を使うのは問答無用のバツになる。
;;１変数関数$$ 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)
;;自分の経験上、偏微分を始めたばかりでは「多変数は$$ \partial $$を使え」と覚えば済むから特に問題ない。
;:大抵は全微分を学び、次の$$ F(x(t), y(t)) $$の連鎖則で混乱が始まる。
;:２変数関数$$ f(x,y) $$に対し、同様に微分したものは偏微分と言って$$ \ppd{f}{x} $$と表記され、次のように定義される。
#ceq(e)
$$ \ddd{F}{t} $ = $ \ppd{F}{x} $ \ddd{x}{t} $ + $ \ppd{F}{y} $ \ddd{y}{t} $$
$$ \ppd{f}{x} $ = $ \lim_{\Dl x \to 0} \ffd{f(x + \Dl x, y) - f(x, y)}{\Dl x} $$
#ceq(end)
;:この式がエグい所は２つ。
;:一つは、$$ dF $$と$$ \partial F $$、$$ dx $$と$$ \partial x $$、$$ dy $$と$$ \partial y $$が出揃うところである。
;:もう一つは、$$ \ddd{F}{t} $$、$$ \ddd{x}{t} $$、$$ \ddd{y}{t} $$は全微分ではなく常微分にしか見えないところである
((実際、$$ \ddd{x}{t} $$、$$ \ddd{y}{t} $$は正真正銘の１変数関数の常微分ではあるが。))。
;:このため、「多変数は$$ \partial $$を使え」が一気に通用しなくなって、混乱が起きる。
$$ \pr $$を使った偏微分と区別して、$$ d $$を使った微分を特に常微分と言う。
これだけの定義だが、偏微分と常微分の違いを正しく説明できる人は意外に少ない。
勿論、「偏微分では$$ y $$を固定している」だけでは矛盾が生じる。
実際、学ぶ方にとっては$$ \pr $$と$$ d $$の使い分けが非常に紛らわしく、微分が難しく感じる要因の一つである。
結論を言うと、偏微分と常微分は同じ微分演算であるため、微分としては共通の記号を通して使うべき。
しかし、偏微分と言うだけで、積分は勿論、既にベクトルまで含まれるのが現状である。
このため、表記を統合するためには、記号の意味から変える必要がある。
以下では、まず同一関数$$ f $$に対し、偏微分$$ \ppd{f}{x} $$と常微分$$ \ddd{f}{x} $$が同時に存在し、異なる値を持つ場合について考える。
次ぎに、$$ \ppd{f}{x} $$で欠けてる情報を補った偏微分のフル表記とその意味について考える。
最後に、偏微分の意味毎の分離表記について考え、偏微分と常微分を統合する。
この話しの目標は、関数$$ f $$があって、どんな関数だろうと$$ x $$で微分する限り$$ \ddd{f}{x} $$と表記することである。
* 目次 [#oae47e71]
- [[''偏''微分と''常''微分の違い>./偏微分と常微分の違い]]
- [[''偏''微分と''偏''微分の違い>./偏微分と偏微分の違い]]
- [[代入微分>./代入微分]]
- 偏微分のフル表記
- 偏微分の意味
- 偏微分の分離表記
- 偏微分と常微分の統合表記
- 微分公式の記述例
以下は予定。内容も含め、偏微分の話しに組み込むか、別の話にするかを検討中。
- 方向微分
- 物質微分
- 不完全微分
- 偏積分と常積分
////////////////////////////////////////////////////////////////////////////////
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
