リー微分のソースを表示
←
リー微分
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
{{参照方法|date=2018年12月26日}} [[数学]]において'''リー微分'''（リーびぶん、{{lang-en-short|Lie derivative}}）は、[[多様体]] ''M'' 上の[[テンソル場]]全体の成す[[多元環]]上に定義される[[微分]]（導分とも）の一種である。[[ソフス・リー]]にちなんで名づけられた。''M'' 上のリー微分全体の成す[[ベクトル空間]]は次で定義されるリー括弧積 : <math> [\mathcal{L}_A,\mathcal{L}_B] = \mathcal{L}_A \mathcal{L}_B - \mathcal{L}_B \mathcal{L}_A</math> について無限次元の[[リー環]]を成す。リー微分は ''M'' 上の流れ（flow; フロー、{{ill2|active transformation|en|active transformation|label=active}} な[[微分同相]]写像）の[[無限小生成作用素]]として[[ベクトル場]]によって表される。もう少し別な言い方をすれば、リー群論の方法の直接の類似物ではあるが、''M'' 上の微分同相写像全体の成す群は付随するリー環構造（もちろんそれはリー微分全体のなすリー環のことだが）を持つということができる。 == 定義 == 微分はいくつかの等価な方法で定義することができる。簡単のため、本節ではまずスカラー関数とベクトル場に作用するリー微分から定義する。リー微分は後述するように一般のテンソル空間への作用として定義されるものである。 === 関数のリー微分 === まず初めに、関数の[[微分|微分法]]の言葉でリー微分を定義する。多様体 ''M'' 上で与えられた可微分関数 ''f'': ''M'' → '''R''' および ''M'' 上の[[ベクトル場]] ''X'' に対して、点 ''p'' ∈ ''M'' における ''f'' のリー微分を {{Indent|<math>\mathcal{L}_Xf(p)=X_p(f)=\nabla_Xf(p)</math>}} によって定義する。これは通常の意味での微分の言葉で言えば、関数 ''f'' のベクトル場 ''X'' に沿った微分を改めて ''X'' の定めるリー微分と呼んでいるということにすぎない。もうすこし装飾的な言葉を使えば、多様体 ''M''の[[接束]]と[[余接束]]の間の自然な双対性内積として {{Indent|<math>\mathcal{L}_Xf(p)=df(p)[X(p)]=\langle df,X \rangle(p)</math>}} と言い直すことができる。ここに ''df'': ''M'' → ''T''<sup>*</sup>''M'' は ''f'' の全微分、すなわち {{Indent|<math>df = \frac{\partial f} {\partial x^a} dx^a.</math>}} で与えられる[[微分形式|1次微分形式]]（右辺は ''a'' に関する和であるが[[アインシュタインの縮約記法]]を用いた）であり、''dx''<sup>''a''</sup> は[[余接束]] ''T''<sup>*</sup>''M'' の[[基底ベクトル]]である。したがって ''df''(''p'')[''X''(''p'')] は ''M'' 上の点 ''p'' における ''f'' の微分 ''df'' とベクトル場 ''X'' との自然な双対性を表す内積であると理解できる。実際、''X'' を''x''<sup>''a''</sup> [[座標系]] において {{Indent|<math>X=X^a\frac{\partial}{\partial x^a}</math>}} と表せば、 {{Indent|<math>\mathcal{L}_Xf(p)=df(p)[X(p)]=X^a\frac{\partial f}{\partial x^a}(p)</math>}} を得る。これは初めに示した関数のリー微分の定義と一致している。 別のやり方として、''M'' 上の滑らかなベクトル場 ''X'' が ''M'' 上の曲線族を定義することを示すことから出発することもできる。すなわち、''M'' 上の任意の点 ''p'' に対して、''M'' 上の [[曲線]] γ(''t'') が存在して、''p'' = γ(0), {{Indent|<math>\frac{d\gamma}{dt}(t)=X(\gamma(t))</math>}} が成立する。この 1 階[[常微分方程式]]の解の存在は、[[ピカール・リンデレフの定理]]によって保証されている（もっと一般に微分幾何における[[フロベニウスの定理 (微分トポロジー)|フロベニウスの定理]]によって与えられる）。これに対してリー微分を {{Indent|<math>\mathcal{L}_Xf(p)=\frac{d}{dt} f(\gamma(t)) \vert_{t=0}</math>.}} と定義するのである。 === ベクトル場のリー微分 === 関数のリー微分をいくつかの方法で以って定義したが、いずれにせよ関数のリー微分は[[多変数微積分学]]におけるベクトル場に沿った微分という通常の概念に倣ったものである。2つのベクトル場 ''X'' と ''Y'' のリー括弧積 [''X'',''Y''] を定義することでベクトル場に対するリー微分も定義することができる。リー括弧積の定義の仕方はいくつか方法があるがいずれも等価であり、リー括弧積をどう定義するにせよ、ベクトル場 ''Y'' の ''X'' に関するリー微分は、リー括弧積 [''X'',''Y''] に等しいものとして {{Indent|<math>\mathcal{L}_X Y = [X,Y]</math>}} と定義するのである。 リー括弧積の定義をいくつか挙げれば、まずひとつに、ベクトル場 ''X'' と ''Y'' の局所座標表示を用いたものがある。''x''<sup>''a''</sup> を ''M'' 上の[[座標]]とするとき、[[接束]]の基底ベクトルは通常、∂/∂''x''<sup>''a''</sup> と記される。ゆえに ''M'' 上のベクトル場はこの基底に関する座標を与えて {{Indent|<math>X=X^a \frac{\partial}{\partial x^a}</math>}} のように表示される。そして、二つのベクトル場の組 ''X'', ''Y'' に対して、そのリー括弧積 <math>[X,Y]</math> は {{Indent|<math>[X,Y] := (X(Y^a) - Y(X^a)) \frac{\partial}{\partial x^a} = \left(X^b \frac{\partial Y^a}{\partial x^b} - Y^b \frac{\partial X^a}{\partial x^b}\right) \frac{\partial}{\partial x^a} </math>}} によって与えられるベクトル場と定義するものである。 次の定義は座標に因らないという意味で内在的なものである。ベクトル場を関数に対する 1 階の微分作用素と同一視することにより、二つのベクトル場のリー括弧積は以下のように定義できる。二つのベクトル場 ''X'', ''Y'' に対して {{Indent|<math>[X,Y](f)=X(Y(f))-Y(X(f)).</math>}} によって定義される ''X'' と ''Y'' のリー括弧積 [''X'', ''Y''] は再びベクトル場となる。これが前の定義と等価であることは、''X'' と ''Y'' の局所座標表示を与えれば直ちに確かめられる。 他の等価な定義には以下のようなものがある。 {{Indent|<math>(\mathcal{L}_X Y)_x := \lim_{t \to 0} (\mathrm{T}(\mathrm{Fl}^X_{-t}) Y_{\mathrm{Fl}^X_t(x)} - Y_x)/t = \left.\frac{d}{dt}\right|_{t=0} \mathrm{T}(\mathrm{Fl}^X_{-t}) Y_{\mathrm{Fl}^X_t(x)}</math><br /> <math>\mathcal{L}_X Y := \left.\frac{d^2}{2dt^2}\right|_{t=0} \mathrm{Fl}^Y_{-t} \circ \mathrm{Fl}^X_{-t} \circ \mathrm{Fl}^Y_{t} \circ \mathrm{Fl}^X_{t} = \left.\frac{d}{dt}\right|_{t=0} \mathrm{Fl}^Y_{-\sqrt{t}} \circ \mathrm{Fl}^X_{-\sqrt{t}} \circ \mathrm{Fl}^Y_{\sqrt{t}} \circ \mathrm{Fl}^X_{\sqrt{t}}</math>}} == 微分形式のリー微分 == リー微分は、[[微分形式]]に対しても定義することができる。この文脈でのリー微分は[[微分形式#外微分|外微分]]と近い関係にあり、リー微分と外微分はともに異なる方法で一つの同じ微分概念を捉える試みであると考えられる。この違いは'''反微分''' (antiderivation) あるいは同じことだが[[内部積]] (interior product) の概念を導入することで埋めることができ、いくつかの恒等式の組としてこれらの関係を抽出することができる。 ''M'' を多様体、''X'' を ''M'' 上のベクトル場とする。ω ∈ ∧<sup>''k''+1</sup>(''M'') を ''M'' 上の ''k'' + 1 次微分形式とする。ω に対し、''X'' による内部積 ''i''<sub>''X''</sub>ω は {{Indent|<math>(i_X\omega) (X_1, \ldots, X_k) = (k+1)\omega (X,X_1, \ldots, X_k)</math>}} によって定義される。このとき、''i''<sub>''X''</sub> は {{Indent|<math>i_X\colon \bigwedge\nolimits^{k+1}(M) \to \bigwedge\nolimits^k(M)</math>}} なる、∧-反微分になる。つまり ''i''<sub>''X''</sub> は線型かつウェッジ積 ∧ に対して {{Indent|<math>i_X (\omega \wedge \eta) = (i_X \omega) \wedge \eta + (-1)^k \omega \wedge (i_X \eta)</math>}} を満たす。ここで、ω ∈ ∧<sup>''k''</sup>(''M'') および微分形式 η は任意。もちろん、''M'' 上の任意の実または複素数値の関数を 0 次微分形式 ''f'' ∈ ∧<sup>0</sup>(''M'') と見なして {{Indent|<math>i_{fX} \omega = fi_X\omega</math>}} が従う。外微分とリー微分の関係は以下のようにまとめられる。まず通常の関数 ''f'' に対しては、そのリー微分はベクトル場 ''X'' に関する外微分の縮約 {{Indent|<math>\mathcal{L}_Xf = i_X df</math>}} である。一般の微分形式 ω に対しても、同様にそのリー微分は ''X'' の変分を考慮にいれた縮約 {{Indent|<math>\mathcal{L}_X\omega = i_Xd\omega + d(i_X \omega)</math>.}} である。また、積の微分法則は {{Indent|<math>\mathcal{L}_{fX}\omega = f\mathcal{L}_X\omega + df \wedge i_X \omega</math>}} によって与えられる。 == 性質 == リー微分が持つ性質は多い。''K'' を実数または複素数全体の成す体とし、''K''(''M'') を多様体 ''M'' 上の ''K''-値関数全体の成す[[多元環]]とするとリー微分 {{Indent|<math>\mathcal{L}_X\colon K(M) \to K(M)</math>}} は関数環 ''K''(''M'') 上の導分（微分作用素）、つまり積の微分法則 {{Indent|<math>\mathcal{L}_X(fg)=(\mathcal{L}_Xf) g + f\mathcal{L}_Xg</math>.}} を満たす ''K''-線型写像である。また同様に '''X'''(''M'') を ''M'' 上のベクトル場全体の成す集合とすれば、リー微分は {{Indent|<math>\mathcal{L}_X(fY)=(\mathcal{L}_Xf) Y + f\mathcal{L}_X Y</math>}} を満たすから、''K''(''M'') × '''X'''(''M'') 上の微分とも見なせる。同じことだがこれを {{Indent|<math>\mathcal{L}_X(f\otimes Y)= (\mathcal{L}_Xf) \otimes Y + f\otimes \mathcal{L}_X Y</math>}} と記すこともある。ここで[[テンソル積]]の記号 <math>\otimes</math> は関数とベクトル場の積が多様体全体に渡って取られていることを強調するために用いられるのである。 加えてリー微分は[[リー括弧積]]の対応する性質も持っている。例えば、ベクトル場のリー括弧積の微分 {{Indent|<math>\mathcal{L}_X [Y,Z] = [\mathcal{L}_X Y,Z] + [Y,\mathcal{L}_X Z]</math>}} を考えると、これは[[ヤコビの恒等式]]に他ならない。ゆえに重要な結果として、''M'' 上のベクトル場全体がつくるベクトル空間は、リー括弧積を与えることにより、[[リー環]]を成すのである。 微分形式に作用するリー微分も重要な性質を持っている。α, β を ''M'' 上の微分形式とし、''X'', ''Y'' を ''M'' 上のベクトル場とすると、 * <math>\mathcal{L}_X(\alpha\wedge\beta) = (\mathcal{L}_X\alpha)\wedge\beta + \alpha\wedge(\mathcal{L}_X\beta) </math> * <math>[\mathcal{L}_X,\mathcal{L}_Y]\alpha := \mathcal{L}_X\mathcal{L}_Y\alpha - \mathcal{L}_Y\mathcal{L}_X\alpha = \mathcal{L}_{[X,Y]}\alpha </math> * <math>[\mathcal{L}_X,i_Y]\alpha = [i_X,\mathcal{L}_Y]\alpha = i_{[X,Y]}\alpha</math> が成り立つ。ここで、''i'' はベクトル場と微分形式との内部積である。 == テンソル場のリー微分 == もっと一般に、多様体 ''M'' 上の (''p'', ''q'')-階可微分テンソル場 ''T'' と可微分ベクトル場（つまり[[接ベクトル束|接束]] ''TM'' の可微分切断）''Y'' が与えられたとき、[[テンソル場]] ''T'' のベクトル場 ''Y'' に沿った微分が定義される。 φ: ''M'' × '''R''' → ''M'' をベクトル場 ''Y'' のベクトルフローが誘導する ''M'' 上の局所微分同相全体のなす 1-径数部分半群とし、φ<sub>''t''</sub>(''p'') := φ(''p'', ''t'') と記す。つまり十分小さな ''t'' に対する φ<sub>''t''</sub> はいずれも ''M'' のある近傍から別のある近傍への微分同相になっており、またとくに φ<sub>0</sub> は恒等写像（これは微分同相写像のひとつ）である。このとき、テンソル場 ''T'' のリー微分は、各点 ''p'' において {{Indent|<math>(\mathcal{L}_Y T)_p=\left.\frac{d}{dt}\right|_{t=0}\left((\phi_t)_*T_{\phi_{-t}(p)}\right)</math>.}} と置くことによって定義される。ここで (φ<sub>''t''</sub>)<sub>*</sub> は微分同相 φ<sub>''t''</sub> に沿った押し出し <span lang="en">(pushforward)</span> である。別な言葉で言えば、テンソル場 ''T'' とベクトル場 ''Y'' によって与えられる微分同相の無限小生成作用素が与えられたとき、テンソル場 ''T'' のベクトル場 ''Y'' に沿うリー微分というのは、''Y'' が与える無限小微分同相下における ''T'' の無限小変化のことに他ならない。 これは解析的な定義であるが代数的な定義を与えることもできる。テンソル場のリー微分の代数的な定義は以下の 4 つの公理に従って与えられる： ;'''公理 1.''' 関数のリー微分は関数の方向微分である。つまり ''f'' が ''M'' 上の実数値関数ならば次が成り立つ； :<math>\mathcal{L}_Yf=Y(f)=\nabla_Y f.</math> ;'''公理 2.''' ベクトル場のリー微分はリー括弧積である。つまり ''X'' がベクトル場ならば次が成り立つ； :<math>\mathcal{L}_{Y}X=[Y,X].</math> ;'''公理 3.''' 微分形式のリー微分は内部積と外微分との反交換子である。つまり α が微分形式ならば次が成り立つ； :<math>\mathcal{L}_Y\alpha=i_Yd\alpha+di_Y\alpha.</math> ;'''公理 4.''' リー微分はライプニッツ則に従う。つまり ''S'', ''T'' がテンソル場ならば次が成り立つ； :<math>\mathcal{L}_Y(S\otimes T)=(\mathcal{L}_YS)\otimes T+S\otimes (\mathcal{L}_YT).</math> ここから明示的な形でテンソル場のリー微分の定義を述べるならば、(''p'', ''q'') 型のテンソル場 ''T'' を余接束 ''T*M'' の[[滑らかな関数|滑らかな]]切断 α<sup>1</sup>, α<sup>2</sup>, ..., α<sup>q</sup> および接束 ''TM'' の滑らかな切断 ''X''<sub>1</sub>, ''X''<sub>2</sub>, ..., ''X''<sub>p</sub> たちを変数とする実数値の可微分[[重線型写像]] ''T''(α<sup>1</sup>, α<sup>2</sup>, ..., ''X''<sub>1</sub>, ''X''<sub>2</sub>, ...) と見なして、次の式 {{Indent| <math>(\mathcal{L}_Y T)(\alpha^1, \alpha^2, \ldots, X_1, X_2, \ldots) =Y(T(\alpha^1,\alpha^2,\ldots,X_1,X_2,\ldots))</math> {{Indent|<math>{}- T(\mathcal{L}_Y\alpha^1, \alpha^2, \ldots, X_1, X_1, \ldots) - T(\alpha^1, \mathcal{L}_Y\alpha^2, \ldots, X_1, X_1, \ldots) -\cdots</math><br /> <math>{}- T(\alpha^1, \alpha^2, \ldots, \mathcal{L}_YX_1, X_2, \ldots) - T(\alpha^1, \alpha^2, \ldots, X_1, \mathcal{L}_YX_2, \ldots) - \cdots</math> }}}} によって ''T'' の ''Y'' に沿うリー微分を定義するということになる。 さて、ここで述べた解析的および代数的な二つの定義は互いに等価である。このことは、押し出しと微分法に対するライプニッツ則の性質を用いることで証明することができる。 == 座標表示 == ''x''<sup>''a''</sup> を[[座標系]]とする。(''r'', ''s'')-型のテンソル場 <math>T</math> に対して、<math>X</math> に沿ったリー微分は {{Indent|<math>\begin{align} (\mathcal L_X T) ^{a_1 \ldots a_r}{}_{b_1 \ldots b_s} =& X^c (\nabla_c T^{a_1 \ldots a_r}{}_{b_1 \ldots b_s})\\ &- (\nabla_c X^{a_1}) T^{c \ldots a_r}{}_{b_1 \ldots b_s} - \ldots - (\nabla_c X^{a_r}) T^{a_1 \ldots c}{}_{b_1 \ldots b_s}\\ &+ (\nabla_{b_1} X^c) T^{a_1 \ldots a_r}{}_{c \ldots b_s} + \ldots + (\nabla_{b_s} X^c) T^{a_1 \ldots a_r}{}_{b_1 \ldots c} \end{align}</math>}} ここで、∇ は ''x'' 座標での[[勾配]]であり、<math>\nabla_{a}=\partial/\partial x^a</math> である。代わりに[[捩率]]ゼロの接続を用いれば、∇ は[[クリストッフェル記号#概要|共変微分]]でもある。捩率ゼロの接続に対しては、両定義は同値である。 == 一般化 == リー微分のさまざまな一般化は微分幾何学において重要な役割を果たす。 === ナイエンハイス-リー微分 === 本項ではベクトル場に沿う微分形式の微分として通常のリー微分を定義した。その一般化の一つとして、ナイエンハイス <span lang="en">(Albert Nijenhuis)</span> によるものだが、反変テンソル場に沿った微分形式のリー微分を許すというものがある。もう少し詳しく言えば、反変テンソル場 ''K'' と ''p''-次微分形式 α に対して、これらの内部積 ''i''<sub>''K''</sub>α が定義できることを用い、ナイエンハイス-リー微分は内部積と外微分の反交換子 {{Indent|<math>\mathcal{L}_K\alpha=di_K\alpha+i_Kd\alpha</math>}} として定義される。ナイエンハイス-リー微分は、「通常の意味ではもはや微分ではない」という注意すべき例外事項のあることを除いて、通常のリー微分におけるそれと同様のさまざまな代数的性質を満足する。 == 関連項目 == * [[キリングベクトル場]] * [[リー群]] * [[測地線]] * [[共変微分]] * [[接続 (幾何学)|接続]] * {{ill2|フレーリフ–ナイヘンハイス括弧|en|Frölicher–Nijenhuis bracket}} == 参考文献 == * Jurgen Jost, ''Riemannian Geometry and Geometric Analysis'', (2002) Springer-Verlag, Berlin ISBN 3-540-42627-2 ''See section 1.6''. * [[Ralph Abraham]] and Jarrold E. Marsden, ''Foundations of Mechanics'', (1978) Benjamin-Cummings, London ISBN 0-8053-0102-X ''See section 2.2''. * David Bleecker, ''Gauge Theory and Variational Principles'', (1981), Addison-Wesley Publishing, ISBN 0-201-10096-7. ''See Chapter 0''. {{Tensors}} {{DEFAULTSORT:りいひふん}} [[Category:微分法]] [[Category:微分幾何学]] [[Category:微分位相幾何学]] [[Category:微分作用素]] [[Category:微分の一般化]] [[Category:数学に関する記事]] [[Category:数学のエポニム]]
このページで使用されているテンプレート:
テンプレート:Ill2
(
ソースを閲覧
)
テンプレート:Indent
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Tensors
(
ソースを閲覧
)
テンプレート:参照方法
(
ソースを閲覧
)
リー微分
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報