微分方程式系の可積分条件
数学において、ある種の偏微分方程式系は、内在する幾何学的ないし代数的構造の観点から微分形式の言葉で定式化される。動機は、微分形式を用いて部分多様体を制限する手法を適用し、この制限手法と外微分が整合する事実を活用することにある。この定式化は、例えばある種の過剰決定系(英語版)(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)は部分多様体
i : N ⊂ M {\displaystyle i:N\subset M}