资源介绍
stems） (英文版电子书）
电子书格式: pdf
外微分系统是在微分流形上由若干外微分形式等于零所定义的方程组，其核心研究对象是满足所有方程组的积分流形（即子流形）。当所有外微分形式均为线性时，该系统被称为普法夫系统（Pfaffian system）。
一个关键特性是：系统中的每个方程通过外微分运算可导出新的方程，因此外微分系统对应的完整方程组构成外代数中的微分理想。这种理论具有内蕴性（不依赖坐标选择），计算过程多呈现代数特征，即便中间步骤使用坐标，外代数的工具也能高效引导计算，使其能灵活适配几何与物理问题。
任意偏微分方程组（无论自变量、因变量数量及导数阶数）均可转化为外微分系统，此时需关注保持特定坐标独立性的积分流形，这一要求通过 “独立性条件”（特定普法夫形式线性无关）来实现。从本质上看，带独立性条件的外微分系统与偏微分方程组是等价对象，但前者具有显著优势：形式本身常蕴含几何意义，对称性质更丰富，且内蕴处理方式能自然揭示偏微分方程组的本质特征。
二、发展历程
外微分系统的研究起源可追溯至普法夫（Pfaff）在 1814-1815 年提出的普法夫问题，他开创了相关研究的先河。1877 年，弗罗贝尼乌斯（Frobenius）引入了普法夫形式的外导数（即双线性协变张量），1882 年达布（Darboux）对其进行了有效运用。
1922 年，埃利・嘉当（Élie Cartan）在著作中引入了高阶外微分形式及其外导数，并在 1904-1908 年通过将李群中的莫雷 - 嘉当形式推广到无穷李伪群，提出了对合普法夫系统的概念。古尔萨（Goursat）认识到该研究中引入的几何概念可推广至一般外微分系统，1934 年凯勒（Kähler）给出了权威阐述，最终形成了著名的嘉当 - 凯勒定理（Cartan–Kähler theorem）。
在偏微分方程领域，柯西 - 科瓦列夫斯卡娅定理（Cauchy–Kowalewski theorem）是基本存在定理，里基耶（Riquier）于 1910 年给出了更一般的存在性结果。1957 年，仓西（Kuranishi）证明了嘉当 - 仓西延拓定理，为系统延拓至对合系统提供了关键工具。
三、核心概念与理论基础
（一）基础代数工具
外代数是外微分系统的核心工具，设 V 为 n 维实向量空间，其对偶空间为 V*，外代数 Λ(V) 是分次代数，分解为不同次数的齐次元素直和。其中，p 次齐次元素称为 p - 向量，外乘法（∧）满足结合律、分配律，且具有反交换性：对于 ξ∈Λᵖ(V)，η∈Λᵠ(V)，有 ξ∧η=(-1)ᵖᵠη∧ξ。
对偶空间 V上的外代数 Λ(V) 中，p 次齐次元素称为 p - 形式。外代数的对偶配对通过行列式定义，为后续外微分形式的运算奠定基础。此外，导子与反导子（如内积运算）的概念在系统分析中发挥重要作用，理想与柯西特征空间等概念则是刻画系统结构的关键代数工具。
（二）关键核心概念
积分流形：满足外微分系统所有方程的子流形，其本质是系统的 “解”，需通过外微分形式在子流形上的限制为零来定义。
对合性（Involution）：若系统的进一步延拓不会产生新的可积性条件，则称其为对合系统。对合系统是 “行为良好” 的系统，嘉当通过特定整数（嘉当检验）刻画对合性，塞尔（Serre）证明对合性等价于某些上同调群的消失，这使得交换代数工具可应用于系统分析。
延拓（Prolongation）：将偏导数本身作为新变量引入，通过微分原方程得到新方程的过程。嘉当 - 仓西延拓定理指出，任何系统经有限次延拓可得到对合系统（或证明无积分流形）。
独立性条件：由可分解的 p - 形式定义，要求积分流形上该形式非零，对应偏微分方程中保持部分变量独立的需求。
（三）核心定理
弗罗贝尼乌斯定理（Frobenius Theorem）：完全可积的普法夫系统（满足弗罗贝尼乌斯条件）在局部可通过坐标变换化为标准形式，其极大积分流形构成流形的叶状结构。
嘉当 - 凯勒定理（Cartan–Kähler Theorem）：在实解析范畴，外微分系统初值问题的适定性完全由积分元素的无穷小（代数）性质决定，是构造积分流形的核心定理，推广了柯西 - 科瓦列夫斯卡娅定理。
嘉当 - 仓西延拓定理（Cartan–Kuranishi Prolongation Theorem）：任何带独立性条件的系统可经有限次延拓化为对合系统，为处理非对合系统提供了基本方法。
达布定理（Darboux's Theorem）：闭 2 - 形式在局部可通过坐标变换化为标准形式，是处理对称形式的重要工具。
四、应用场景
外微分系统的应用广泛覆盖几何、物理及偏微分方程等领域：
黎曼几何：当群 G=O (n) 时，等价问题对应局部黎曼几何，嘉当曾证明广义相对论中基于远平行性的爱因斯坦场方程构成对合系统。
复几何：n=2m 且 G=GL (m,ℂ) 时，等价问题给出近复结构的局部不变量；n=2m-1 时，对应 CR 几何的局部不变量。
等距嵌入：利用嘉当 - 凯勒定理可证明嘉当 - 雅内特等距嵌入定理，解决黎曼流形到欧氏空间的局部等距嵌入问题。
偏微分方程：各类偏微分方程（如柯西 - 黎曼方程、蒙日型方程、波动方程等）均可转化为外微分系统，通过对合性分析与延拓方法研究解的存在性与构造。
理论物理：辛流形与切触流形在理论力学和偏微分方程中具有基础地位，其结构可通过外微分系统刻画，且无局部不变量。
控制理论：卡拉西奥多里（Caratheodory）关于局部可达性的定理基于普法夫方程的对合性分析，是控制理论的重要基础。
五、理论价值与意义
外微分系统将偏微分方程与微分几何、代数工具深度融合，提供了一种内蕴、统一的框架来处理各类微分方程与几何问题。其核心价值在于：
突破了坐标依赖的局限，揭示了微分方程的本质结构与几何意义；
对合性与延拓的概念为判断系统可积性、构造解提供了严格的理论依据；
广泛的应用性使其成为连接几何、物理、控制论等领域的桥梁。
该理论不仅为经典微分方程与几何问题提供了新的解决思路，也为现代数学与物理中的复杂问题（如高维流形分类、规范场论等）提供了强大的工具支持，是现代数学中极具深度与活力的研究方向。Exterior Differential Systems