- 追加された行はこの色です。
- 削除された行はこの色です。
%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)
通常表記：((通常の厳密表記は$$ \ddd{f}{t} $ = $ \Big(\ppd{f}{x}\Big)_\tau $ \ddd{x}{t} $ + $ \Big(\ppd{f}{\tau}\Big)_x $ \cancelto{1}{\ddd{\tau}{t}}\;\; $$))
#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)
凌宮表記：((凌宮の厳密表記は$$ \Big(\ddd{f}{t}\Big)_{t} $ = $ \Big(\ddd{f}{x}\Big)_{x,\tau} $ \Big(\ddd{x}{t}\Big)_t $ + $ \Big(\ddd{f}{\tau}\Big)_{x,\tau} $ \Big(\cancelto{1}{\ddd{\tau}{t}}\Big)_t $$))
#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} $ = $ \Big( \ppd{f}{t} \Big)_{\:x} $$で定義され、通常は略式の偏微分で表記する。
;,ラグランジュ微分は$$ \ffd{Df}{Dt} $ = $ \ppd{f(\:\xi,t)}{t} $ = $ \Big( \ppd{f}{t} \Big)_{\:\xi} $$で定義され、専用の$$ \ffd{D}{Dt} $$で表記する
((ラグランジュ微分を$$ \ddd{f}{t} $$で表記する流派もあるが、２次元$$ (\xi,t) $$における偏微分であるため、&br; これは常微分ではなく、飽くまでも記号衝突を回避するための簡易表記でしかない。))。
;,ラグランジュ微分をオイラー表現で記述すると次のようになる：
#ceq(e)
$$ \ffd{Df}{Dt} $ = $ \ppd{f}{t} $ + $ \:v $ \sx $ \:\nabla f $$
#ceq(q)
ただし、$$ \:v $ = $ \ppd{\:x(\:\xi,t)}{t} $$、$$ \:\nabla f $ = $ \Big( \ppd{}{x},\ppd{}{y},\ppd{}{z} \Big) f $$
#ceq(d)
;,これに対し、空間座標を$$ (\:x,t) $$、物質座標を$$ (\:\xi,\tau) $$と書き分けると、
;,ラグランジュ微分のオイラー表現は以下のように、座標変換が伴う連鎖則に帰着する。
#ceq(e)
$$ \ffd{Df}{D\tau} $$
#ceq(c)
$$ = $ \ppd{f}{t} $ + $ \:v $ \sx $ \:\nabla f $$
#ceq(e)
$$ \ddd{f}{\tau} $$
#ceq(c)
$$ = $ \ddd{f}{t} $ + $ \ddd{\:x}{\tau} $ \sx $ \ddd{f}{\:x} $$
#ceq(q)
$$ = $ \ddd{f}{\:x} $ \sx $ \ddd{\:x}{\tau} $ + $ \ddd{f}{t} $ \cancelto{1}{\ddd{t}{\tau}}\;\; $$
#ceq(d)
%bodynote
////////////////////////////////////////////////////////////////
** 回転座標系における相対微分 [#r6f2d350]
** 回転座標系における相対微分 [#hd205177]
;,回転系の力学では以下の２つの正規直交座標系が良く用いられる：
- 時間と独立な絶対座標（慣性座標）
- 回転系に着目した時間依存な相対座標（回転座標）
;,回転系では、慣性座標系と回転座標系の２つの座標系が良く用いられる。
;,慣性座標系は、空間の基底$$ \:e $ = $ \langle $ \:e_x $,$ \:e_y $,$ \:e_z $ \rangle $$は時間$$ t $$に対し不変である。
;,回転座標系は、時間進行に伴い慣性座標系に対して角速度$$ \:\omega(t) $$で回転し、
;,空間の基底$$ \:\varepsilon $ = $ \langle $ \:\varepsilon_x $,$ \:\varepsilon_y $,$ \:\varepsilon_z $ \rangle $$と時間$$ t $$の関数となる。
;,各座標系における時間に関する微分は異なり、
;,それぞれ絶対導関数$$ \ddd{}{t} $$と相対導関数$$ \ddd{^\ast}{t} $$と区別される。
;,絶対導関数と相対導関数の間には「回転座標系の公式」という名のついた公式が存在する。
#ceq(e)
$$ \ddd{\:f}{t} $ = $ \ddd{^\ast f}{t} $ + $ \:\omega $ \vx $ \:f $$
#ceq(d)
;,これに対し、慣性座標系の時空間を$$ (\:e,t) $$、慣性座標系の時空間を$$ (\:\varepsilon,\tau) $$と書き分けると、
;,回転座標系の公式は以下のように、連鎖則に帰着する。
#ceq(e)
$$ \Big(\ddd{\:f}{t}\Big)_{\:e,t} $ = $ \Big(\ddd{\:f}{\:\varepsilon}\Big)_{\:\varepsilon,\tau} $ \sx $ \Big(\ddd{\:\varepsilon}{t}\Big)_{\:e,t} $ + $ \Big(\ddd{\:f}{\tau}\Big)_{\:\varepsilon,\:\tau} $ \Big(\cancelto{1}{\ddd{\:\tau}{t}}\Big)_{\:e,\:t} $$
$$ \Big(\ddd{\:f}{t}\Big)_{\:e,t} $$
#ceq(c)
$$ = $ \Big(\ddd{\:f}{\:\varepsilon}\Big)_{\:\varepsilon,\tau} $ \sx $ \Big(\ddd{\:\varepsilon}{t}\Big)_{\:e,t} $ + $ \Big(\ddd{\:f}{\tau}\Big)_{\:\varepsilon,\:\tau} $ \Big(\cancelto{1}{\ddd{\:\tau}{t}}\Big)_{\:e,\:t} $$
#ceq(e)
#ceq(c)
$$ = $ \Big(\ddd{\:f}{\tau}\Big)_{\:\varepsilon,\:\tau} $ + $ \Big(\ddd{\:\varepsilon}{t}\Big)_{\:e,t} $ \sx $ \Big(\ddd{\:f}{\:\varepsilon}\Big)_{\:\varepsilon,\tau} $$
#ceq(d)
;,ここで、$$ \Big(\ddd{\:f}{\tau}\Big)_{\:\varepsilon,\:\tau} $$は回転座標系の基底を定数扱いとした時間微分のため相対導関数となる。
;,また、$$ \Big(\ddd{\:\varepsilon}{t}\Big)_{\:e,t} $$は回転座標系の基底の時間微分である。
;,回転系における速度と変位の絶対時間微分の関係式：$$ \:v $ = $ \ddd{\:r}{t} $ = $ \:\omega $ \vx $ \:r $$より、
;,任意の基底ベクトルについて$$ \ddd{\:\varepsilon_i}{t} $ = $ \:\omega $ \vx $ \:\varepsilon_i $$が成り立つ。
;,さらに、任意のベクトル$$ \:f $$が基底の線形結合で表されるため$$ \Big(\ddd{\:f}{\:\varepsilon_i}\Big)_{\:\varepsilon,\tau} $ = $ [\:f]_i $$の他ならない(($$ [\:f]_i $$はベクトルの$$ \:f $$の$$ i $$成分を表す。))。
;,その結果、$$ \ddd{\:\varepsilon_i}{t} $ \sx $ \Big(\ddd{\:f}{\:\varepsilon_i}\Big)_{\:\varepsilon,\tau} $ = $$
%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]")
