Integrability conditions for differential systems

ウィキペディア

微分方程式系の可積分条件

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2015/12/05 03:56 UTC 版)

数学において、ある種の偏微分方程式系は、内在する幾何学的ないし代数的構造の観点から微分形式の言葉で定式化される。動機は、微分形式を用いて部分多様体を制限する手法を適用し、この制限手法と外微分が整合する事実を活用することにある。この定式化は、例えばある種の過剰決定系(over-determined system)に対するアプローチの候補となる。パフィアン系(Pfaffian system)は 1-形式によって指定される一方で、この理論は他のタイプの微分方程式系(differential system)も対象として含む。

n-次元多様体 M 上で微分可能な 1-形式 α_i (i=1,2, ..., k) が与えられた時、積分可能多様体(integral manifold)とは、部分多様体 N であって、全ての点 p ∈ N における接空間が各々の α_i により消去されるものをいう。

最大積分可能多様体(maximal integral manifold)は部分多様体

であり、形式

上への制限写像の核(kernel)が N の全ての点 p で α_i ではられるような部分多様体である。加えて、 α_i が線型独立であれば、N は (n − k)-次元である。i: N ⊂ M は埋め込まれた多様体である必要はないことに注意する。

パフィアン系は、N が最大積分可能多様体により葉層構造(foliation)を持つときに、完全可積分(completely integrable)と言われる。（葉層構造は、必ずしも正規(regular)である必要はない、つまり、葉層構造の葉は部分多様体に埋め込まれていなくともよい。）

可積分条件(integrability condition)は、α_i 上の条件で十分に大きな次元で積分可能な部分多様体が存在することを保証する条件を言う。

必要十分条件

パフィアン系が完全可積分(complete integrability)であるための必要十分条件は、フロベニウスの定理(Frobenius theorem)により与えられる。フロベニウスの定理の一つのバージョンは、イデアル が代数的に環 Ω(M) 内の α_i により生成されるとすると、言い換えると

とすると、系は最大積分可能多様体により葉層構造(foliation)を持つ。（逆は定義より明らかである。）

非可積分系の例

すべてのパフィアン系がフロベニウスの意味で完全可積分であるわけではない。例えば、R³ - (0,0,0) 上の次の 1-形式を考えると、

もし dθ が上記の θ で生成されたイデアルの中にあるとすると、ウェッジ積の歪性(skewness)により

となる。しかし、直接計算すると、

は、R³ 上の標準体積形式に非零の数をかけたものとなる。従って、2次元の葉は存在せず、系は完全可積分ではない。

他方、

で定義される曲線は、上記の任意の定数 c のパフィアン系の解（すなわち、積分曲線(integral curve)）となることが容易にわかる。

応用例

リーマン幾何学において、正規直交するコフレーム(coframe) θⁱ を求める問題を考える。つまり、各点で余接空間の基底を与える 1-形式の組 θⁱ で、 を満たし、かつ閉である (dθⁱ = 0, i=1,2, ..., n) ものを求めたい。ポアンカレの補題により、θⁱ は局所的に多様体上のある関数 xⁱ を以て完全形式 dxⁱ となり、M の開部分集合と Rⁿ の開部分集合の間の等長写像(isometry)を与える。このような多様体を局所平坦(locally flat)という。

この問題は、M のコフレームバンドル(coframe bundle)に関する問題に帰着する。そのような閉コフレームがあったとする。

別のコフレーム があったとすると、2つのコフレームは直交変換

によって、代わり合う。接続 1-形式を ω とすると、

を得る。

他方、

である。しかし、 は直交群(orthogonal group)のモーレー・カルタンの微分形式である。従って、構造方程式 に従い、これはまさに M の曲率 である。フロベニウスの定理の応用により、多様体 M が局所平坦ということと、曲率がゼロであるということとは同値であると結論できる。

一般化

必ずしも 1-形式から生成されるものだけではない微分方程式系の可積分条件には多くの一般化が存在する。これらの中で最も有名なものは、カルタン・ケーラーの定理(Cartan-Kähler theorem)である。この定理は、実解析的微分方程式系に対して機能するのみならず、カルタン・倉西の延長定理(Cartan–Kuranishi prolongation theorem)でも機能する。詳細は、参考文献を参照。

参考文献

• Bryant, Chern, Gardner, Goldschmidt, Griffiths, Exterior Differential Systems, Mathematical Sciences Research Institute Publications, Springer-Verlag, ISBN 0-387-97411-3
• Olver, P., Equivalence, Invariants, and Symmetry, Cambridge, ISBN 0-521-47811-1
• Ivey, T., Landsberg, J.M., Cartan for Beginners: Differential Geometry via Moving Frames and Exterior Differential Systems, American Mathematical Society, ISBN 0-8218-3375-8

Weblio日本語例文用例辞書

「Integrability conditions for differential systems」の例文・使い方・用例・文例

• 5 月15 日の午前8 時30 分から午後3 時まで、Oceanview公園で開催される、毎年恒例のWalk for Petsについてのお知らせです。
• イベントによる収益金の半分は、捨てられたペットのための保護施設であるHome for Petsに使われ、残りはさまざまな動物福祉団体に分配されます。
• 年次監査を行うために、Bradford and Partnersの会計士たちが10 月10 日の午前10 時に当社を訪ねてくる予定です。
• Bradfordの新人会計士2 名が今年の監査を担当すると連絡がありました。
• こんにちは、Bradfordさん。
• 昨日Bradfordさんが受け取られたデスクランプについてお電話を差し上げています。
• 取り違えてしまって申し訳ありませんが、あのランプは別のお客様に送られるはずのもので、誤ってBradfordさんに配送されました。
• Bradfordさんが受け取るはずだった商品は、Anne Keeganさんからの贈り物のご注文でした。
• タックマンモデルとは、チームビルディングにおける5段階、すなわち形成(Forming)、混乱(Storming)、統一(Norming)、機能(Performing)、散会(Adjourning)を示すモデルである。
• 着手する; 〔…の〕端緒を開く 〔for〕.
• 紺 《Oxford 大学およびその選手の色標》.
• 〔音楽会などへの〕優待券, 招待券 〔to, for〕.
• 等位接続詞 《and, but, or, for など; ⇔subordinate conjunction》.
• 【文法】 相関語 《either と or, the former と the latter など》.
• [for a] holiday to [in] France last year. 昨年は休暇をとってフランスへ旅行した.
• (最も奥の), foremost (真っ先の).
• 新大学, 1960 年以降に創設された大学, 板ガラス大学 《Oxford, Cambridge のような石造りの ancient universities, 19 世紀に創設された London 大学のような赤れんが造りの redbrick universities に対して言う; 建築様式がふんだんに plate glass を使ってモダンなことから》.
• コンセプション岬 《California 州にある》.
• être for this policy? この政策はどんな存在理由があるのか.
• から Oxford へ通ずる)オックスフォード街道.