- 追加された行はこの色です。
- 削除された行はこの色です。
%indent
////////////////////////////////////////////////////////////////
* 概要 [#lc46cde1]
;,一般に、微分には常微分と偏微分の区別がある。
;,関数$$ f $ = $ f(x,t) $$で、かつ、$$ x $ = $ x(t) $$のとき、
;,$$ \ddd{f}{t} $ = $ \ppd{f}{x} $ \ddd{x}{t} $ + $ \ppd{f}{t} $$の形で常微分$$ \ddd{f}{t} $$と偏微分$$ \ppd{f}{t} $$が同時に登場する。
;,他方、凌宮数学では[[逆基底>逆基底]]を導入し、全微分をベクトルの成分分解に帰着させている。
;,その結果、偏微分も全微分も同一の$$ d $$で表記すべき、という結果が得られた。
;,しかし、$$ \ddd{f}{t} $ = $ \ppd{f}{x} $ \ddd{x}{t} $ + $ \ppd{f}{t} $$の$$ \partial $$と$$ d $$を統一しては常微分と偏微分の混同が生じる。
;,以下、逆基底の観点から常微分と偏微分の表記法を再考する。
%bodynote
////////////////////////////////////////////////////////////////
* 逆基底による微分の意味付け [#g7f475c8]
////////////////////////////////////////////////////////////////
** 微分と座標系の関係 [#baa01c6e]
;,凌宮数学では双対基底に基づき逆基底を導入している。
;,ベクトル除算が唯一の解に決まらないのに対し、逆基底は唯一に決まる。
;,そのため、逆基底にはベクトルよりも座標系という情報が多く含まれている。
;,例えば、偏微分$$ \ppd{f}{x} $$を計算する際は、別途知っている座標系$$ (x,y) $$を使って$$ y $$を固定する。
;,厳密な偏微分表記$$ \Big( \ppd{f}{x} \Big)_y $$では、添字により座標系$$ (x,y) $$を補完していると見なせる。
;,これらに対し、逆基底表記では逆基底自体に座標系の情報を織り込んでいる状態と言える。
;,具体的に、$$ \ffd{1}{dx} $$自体に、正基底$$ dx $$の他に座標系情報$$ (x,y) $$も含まれる。
;,実際、$$ \ffd{1}{dx} $$の値が対応する正基底$$ dx $$のみならず、$$ dy $$も含めた全ての正基底に依存する。
;,その結果、微分は特定の座標系上で定義される演算と言える。
////////////////////////////////////////////////////////////////
** 座標系から見た関数$$ f $ = $ f(x(t),t) $$の微分 [#vf4d490a]
;,関数$$ f $ = $ f(x,t) $$で、かつ、$$ x $ = $ x(t) $$のとき、
;,常微分では関数を$$ f $ = $ f(t) $$と見なして微分する。考えている座標系は１次元の$$(t)$$だけ。
;,偏微分では関数を$$ f $ = $ f(x,t) $$と見なして微分する。考えている座標系は２次元の$$(x,t) $$。
;,すなわち、常微分と偏微分は考えている座標系が異なると言える。
%bodynote
////////////////////////////////////////////////////////////////
* 座標系間での文字衝突 [#b73f587c]
;,座標系$$ (t) $$における逆基底$$ \ffd{1}{dt} $$は１次元のために必ず対応する正基底$$ dt $$と平行である。
;,座標系$$ (x,t) $$における逆基底$$ \ffd{1}{dt} $$は$$ dx $$と直交するため、$$ dt $$と平行する保障は無い(($$ \ffd{1}{dt} $$が$$ dt $$と平行するのは、$$ dt $$が他の全ての基底と直交する場合に限られる。))。
;,このため、２つの座標系で正基底$$ dt $$が同じでも逆基底$$ \ffd{1}{dt} $$が異なりうる((この結論は、双対基底が座標系に依存することからも容易に理解できる。))。
////////////////////////////////////////////////////////////////
** 座標系明記による回避 [#sbb9ff34]
;,回避手段として、まず考えられるのは厳密な偏微分$$ \Big( \ppd{f}{t}\Big )_x $$のように座標系情報を補う表記。
;,凌宮数学では、補うべき情報は固定する変数ではなく、座標系と考えるため、
;,$$ \Big( \ddd{f}{t} \Big)_{(x,t)} $$のように座標系ごと補う。
%bodynote
////////////////////////////////////////////////////////////////
* 文字の区別による回避 [#j4147ca6]
;,座標系に着目する立場を取る場合、
;,異なる座標系に異なる文字を用いれば座標系の明記は不要になる。
;,例えば、$$ f $ = $ f(x(t), t) $$に関しては、$$ f $ = $ f(t) $ = $ f(x,\tau) $$と定義した上で$$ \tau $ = $ t $$とすれば良い。
;,ただし、$$ t $ = $ \tau $$は等値の意味でしかなく、座標系は$$ (t) $$と$$ (x,\tau) $$でしかなく、$$ (x,t) $$は不可。
;,この場合は常微分と偏微分は以下のようになり、簡易表記でも衝突しなくなる。
#ceq(e)
通常表記：
#ceq(q)
$$ \ddd{f}{t} $$
#ceq(c)
$$ = $ \ppd{f}{x} $ \ddd{x}{t} $ + $ \ppd{f}{\tau} $ \cancelto{1}{\ddd{\tau}{t}}\;\; $$
//#ceq(e)
//#ceq(q)
#ceq(c)
$$ = $ \ppd{f}{x} $ \ddd{x}{t} $ + $ \ppd{f}{\tau} $$
#ceq(e)
凌宮表記：
#ceq(q)
$$ \ddd{f}{t} $$
#ceq(c)
$$ = $ \ddd{f}{x} $ \ddd{x}{t} $ + $ \ddd{f}{\tau} $ \cancelto{1}{\ddd{\tau}{t}}\;\; $$
//#ceq(e)
//#ceq(q)
#ceq(c)
$$ = $ \ddd{f}{x} $ \ddd{x}{t} $ + $ \ddd{f}{\tau} $$
#ceq(d)
;,文字による座標系の書き分けでは、両方の表記において$$ \ddd{}{t} $$は座標系$$ t $$における微分、
;,$$ \ppd{}{\tau} $$や$$ \ddd{}{\tau} $$が座標系$$ (x,\tau) $$における微分であることが良く分かる。
;,また、この書き分けは、$$ f $ = $ f(x(t), y(t)) $$について考え、
;,$$ y(t) $ = $ t $$の場合も特別扱いせず$$ y $$と$$ t $$を区別していると理解しても良い。
%bodynote
////////////////////////////////////////////////////////////////
** ラグランジュ微分のオイラー表現 [#t338b875]
;,連続体力学では以下の２つの座標系が良く用いられる：
- 時間と独立な空間座標
- 粒子に着目した時間依存な物質座標
;,空間座標で考える場合、任意の物理量$$ F $$は位置$$ \:x $$と時刻$$ t $$の関数$$ F(\:x,t) $$として記述される。
;,物質座標で考える場合、時刻$$ t=0 $$のときの各粒子を初期位置$$ \:\xi $ = $ \:x|_{t=0} $$で表し、
;,任意の物理量$$ F $$を初期位置$$ \:\xi $$と時刻$$ t $$の関数$$ F(\:\xi,t) $$として記述する
((wikipedia／物質微分>https://ja.wikipedia.org/wiki/%E7%89%A9%E8%B3%AA%E5%BE%AE%E5%88%86))
((地球流体電脳倶楽部／理論ノート／連続体の記述>https://www.gfd-dennou.org/arch/riron/renzoku/kijutu/pub/kijutu.pdf))
。
;,各座標系における時間に関する偏微分は異なり、それぞれオイラー微分（局所微分）とラグランジュ微分（物質微分）で呼び分ける。
;,オイラー微分は$$ \ppd{F}{t} $ = $ \ppd{F(\:x,t)}{t} $$で定義され、通常は座標系を省いてと表記する。
;,ラグランジュ微分は$$ \ffd{DF}{Dt} $ = $ \ppd{F(\:\xi,t)}{t} $$で定義され、通常は専用の$$ \ffd{D}{Dt} $$と表記する。
;,ラグランジュ微分をオイラー表現で記述すると次のようになる：
#ceq(e)
$$ \ffd{DF}{Dt} $ = $ \ppd{}{t} $ + $ \:v $ \sx $ \:\nabla F $$
#ceq(q)
ただし、$$ \:v $ = $ \ppd{\:x(\:xi,t)}{t} $$
ただし、$$ \:v $ = $ \ppd{\:x(\:\xi,t)}{t} $$
#ceq(d)
%bodynote
////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////
//;,独立変数を補うと$$ \ddd{f(x(t),t)}{t} $ = $ \ppd{f(x,t)}{x} $ \ddd{x(t)}{t} $ + $ \ppd{f(x,t)}{t} $ \cancelto{1}{\ddd{t}{t}}\; $$と書けて、
//;,常微分は$$ \ddd{f(x(t),t)}{t} $ = $ \lim_{\Delta t \to 0} $ \ffd{f(x(t + \Delta t), t + \Delta t)}{\Delta t} $$を意味し、
//;,偏微分は$$ \ppd{f(x,t)}{t} $ = $ \lim_{\Delta t \to 0} $ \ffd{f(x, t + \Delta t)}{\Delta t} $ = $ \lim_{\Delta t \to 0} $ \ffd{f(x(t), t + \Delta t)}{\Delta t} $$を意味する。
![[PukiWiki]](image/NekoPunch.png "[PukiWiki]")
