1 基本概念
微分方程是用来描述未知函数与其导数之间关系的方程。它的研究对象通常不是单个数值，而是随变量变化的函数，因此能够刻画连续变化现象。许多自然过程和工程过程都可以借助微分方程建立模型，例如运动、扩散、振动和增长过程。
1.1 微分方程的定义
若一个方程中包含未知函数及其一个或多个导数，并要求这些量满足某种关系，则称该方程为微分方程。独立变量可以是时间、空间坐标或其他参数，未知函数则可表示位移、温度、浓度、电压等物理量。微分方程的本质，是把“变化率”与“状态”联系起来。
1.2 微分方程的阶与次
微分方程的“阶”由方程中出现的最高阶导数决定。例如，含一阶导数的方程是一阶微分方程，含二阶导数的方程是二阶微分方程。所谓“次”通常指方程中导数项的幂次，若导数只以一次幂出现，则称为一次方程。阶反映方程中变化关系的复杂程度，次则反映非线性程度的一种刻画。
1.3 解的概念
微分方程的解是能够使方程成立的函数。由于方程往往不止一个解，因而需要进一步区分不同类型的解及其集合形式。解的概念是理解微分方程理论与应用的基础。
1.3.1 显式解与隐式解
若未知函数能直接表示为自变量的函数形式，如 \(y=f(x)\)，则称为显式解。若解只能以等式关系给出，例如 \(F(x,y)=0\)，则称为隐式解。隐式解在某些情况下更容易获得，也常为显式解提供基础。
1.3.2 通解与特解
通解是包含任意常数的解族，通常表示某类方程的一般解形式。特解则是满足特定初始条件或边界条件的具体解。通解提供整体结构，特解对应实际问题中的唯一结果。
1.3.3 积分曲线与解族
在平面上，满足某个微分方程的曲线称为积分曲线。对于一阶方程，一个通解常对应一族互不相交的曲线，这些曲线构成解族。解族体现了同一方程下不同初始条件所对应的多种演化路径。
1.4 微分方程的分类
微分方程可按照未知量个数、导数阶数、线性性质以及是否含偏导数等标准分类。不同类别对应不同的求解方法与理论框架。
1.4.1 常微分方程
常微分方程只含一个自变量及关于该自变量的常导数，例如 \(y'=f(x,y)\)。这类方程常用于描述单变量随时间的演化，因而在动力系统、力学与电路理论中应用广泛。
1.4.2 偏微分方程
偏微分方程含有两个或更多自变量，并涉及偏导数。它常用于描述空间与时间共同作用下的现象，如热传导、波传播和流体运动。与常微分方程相比，偏微分方程通常更复杂，解法也更丰富。
1.4.3 线性与非线性微分方程
若未知函数及其导数仅以一次幂出现，且彼此之间不相乘，则称为线性微分方程。若出现平方、乘积、复合函数等情形，则为非线性微分方程。线性方程具有较强的结构性，非线性方程则更接近真实系统，但分析难度更高。
1.4.4 齐次与非齐次微分方程
当方程可写成各项在某种意义下“无外源项”的形式时，称为齐次方程；若含有独立于未知函数的附加项，则为非齐次方程。在线性情形中，齐次与非齐次的区分尤为重要，因为它直接影响解的组成方式。
2 一阶微分方程
一阶微分方程只涉及一阶导数，是微分方程中最基础的一类。许多常见模型都可以化为一阶方程，因此其求解技巧具有重要地位。
2.1 可分离变量方程
可分离变量方程能够整理为变量分离的形式，使含 \(x\) 的项与含 \(y\) 的项分别位于等式两侧，再通过积分求解。这类方程通常具有较直接的求解步骤，是初学微分方程时最常接触的类型之一。
2.2 齐次方程
一阶齐次方程通常可通过代换 \(y=vx\) 或类似形式化为可分离变量方程。其特点是方程右端只与变量比值有关，因而具有一定的缩放不变性。适当变换后，许多此类方程可转化为可积分的形式。
2.3 线性方程
一阶线性方程的一般形式为 \(y'+p(x)y=q(x)\)。这类方程可以利用积分因子法求解，解的结构清晰，既有对应齐次方程的通解，也有由非齐次项引入的特解。它在建模中非常常见。
2.4 恰当方程
若一阶方程能写成 \(M(x,y)\,dx+N(x,y)\,dy=0\)，并满足某种偏导数相等条件，则称为恰当方程。其几何意义是存在一个势函数，使方程对应于某个全微分等式。求解时可直接构造原函数。
2.4.1 积分因子法
当方程本身不是恰当方程时，可尝试寻找积分因子，使原方程乘上该因子后转化为恰当方程。积分因子有时只依赖于一个变量，有时更复杂。该方法在处理难以直接积分的方程时很有效。
2.5 伯努利方程
伯努利方程是一类非线性一阶方程，典型形式为 \(y'+p(x)y=q(x)y^n\)。通过适当代换，它可以化为线性方程，因此是“非线性可化线性”的经典例子。它在增长模型和某些物理过程里经常出现。
2.6 黎卡提方程
黎卡提方程通常写作 \(y'=a(x)y^2+b(x)y+c(x)\)。它的非线性特征明显，但若已知一个特解，便可进一步降低阶次并求得通解。由于结构特殊，它在理论分析和构造其他方程的解法中都很重要。
3 高阶常微分方程
高阶常微分方程涉及二阶及以上导数，常用于描述具有惯性、振动或更复杂反馈机制的系统。与一阶方程相比，它们更能反映真实过程中的动态特征。
3.1 n阶线性微分方程
n阶线性微分方程的一般形式为最高阶导数线性出现，并且系数可以是自变量的函数。其解的结构与线性代数密切相关，尤其依赖于线性无关解的概念。对于这类方程，叠加原理往往能够发挥作用。
3.2 常系数线性方程
系数为常数的线性方程是最经典、最容易系统处理的一类高阶方程。它们常出现在振动系统、控制系统和电路分析中。由于系数固定，解法通常较为规范。
3.2.1 特征方程法
对常系数齐次线性方程，可以设解为指数形式并导出特征方程，再根据特征根的类型构造通解。实根、重根与共轭复根分别对应不同形式的解。该方法简洁而高效。
3.2.2 待定系数法
对于特定类型的非齐次项，如多项式、指数函数、三角函数及其组合，可设定与右端同型的特解形式，再代入求出未知系数。此法计算直接，但适用范围有限。
3.2.3 变参数法
变参数法通过将齐次方程的常数“变”为函数来构造非齐次方程的特解。它适用于更一般的右端项，虽然步骤较长，但具有较强的普适性。在线性理论中，这是一种重要的通用方法。
3.3 欧拉-柯西方程
欧拉-柯西方程的系数与自变量的幂次相关，常写成 \(x^n y^{(n)}+\cdots=0\) 的形式。通过设解为幂函数并进行变量代换，常可将其化为常系数方程。该类方程反映了尺度变化下的特殊结构。
3.4 线性方程组
微分方程组是多个未知函数之间通过导数联系起来的系统，在线性情形下可用矩阵和向量形式统一表示。它们适合描述多变量耦合过程，如多自由度机械系统和多种电学状态变量。
3.4.1 矩阵表示
线性方程组可写成向量微分方程 \(X'=AX+F(t)\) 的形式，其中矩阵 \(A\) 描述系统内部耦合关系。矩阵表示使问题能够借助线性代数工具进行分析，例如特征值分解与矩阵指数。
3.4.2 基本解矩阵
基本解矩阵由一组线性无关的解向量组成，其列向量构成系统齐次部分的解基。它不仅能完整描述齐次系统，还能在非齐次问题中帮助构造通解。基本解矩阵是线性系统理论的核心对象之一。
4 解的理论
解的理论关注微分方程解是否存在、是否唯一、是否会随初值变化而改变，以及解在长期演化中是否稳定。这些问题决定了模型是否可靠，也影响数值计算的可信度。
4.1 存在与唯一性定理
存在与唯一性定理说明，在一定条件下，初值问题的解不仅存在，而且是唯一的。对一阶方程而言，常见条件包括函数及其对未知函数的连续性或局部Lipschitz条件。该定理为“模型是否有确定预测”提供了基础保障。
4.2 延拓与最大解
局部解有时可以继续延伸到更大的区间，直到遇到奇异性、发散或条件失效为止。能够在其自然定义范围内无法再延拓的解称为最大解。研究最大解有助于判断系统演化的终止方式。
4.3 解的连续依赖性
解的连续依赖性指解对初始条件和参数的变化不会出现剧烈跳变。换言之，输入略有变化，输出也只发生相应的小变化。该性质在物理建模和数值模拟中尤为重要，因为实际数据往往带有误差。
4.4 稳定性理论
稳定性理论研究平衡态或特定解在扰动下是否保持接近原状态。它是动力系统分析的核心内容之一，也是判断模型长期行为的重要工具。
4.4.1 李雅普诺夫稳定性
若系统受到足够小的扰动后，轨道仍始终停留在原解附近，则称该解是李雅普诺夫稳定的。这一定义强调“不会偏离太远”，并不要求回到原点。
4.4.2 渐近稳定性
若一个解不仅稳定，而且在时间趋于无穷时逐渐收敛到该解，则称为渐近稳定。它比单纯稳定更强，表示系统最终会回到平衡状态。
4.4.3 不稳定性判别
当微小扰动会导致解偏离原状态并远离平衡点时，系统表现为不稳定。判别方法通常借助线性化、特征值分析或李雅普诺夫函数。对实际系统而言，不稳定性常意味着敏感响应或失控趋势。
5 定性分析
定性分析关注微分方程解的形态、演化方向和整体结构，而不总是追求精确表达式。对于难以显式求解的系统，这种方法尤其有价值。
5.1 相平面与方向场
相平面是研究二维动力系统轨道分布的几何工具，方向场则通过短线段展示各点的切向方向。二者结合，可直观观察解曲线的走向、弯曲与汇聚情况。它们是理解系统行为的重要图像方法。
5.2 平衡点与临界点
平衡点是系统状态不再变化的点，临界点则通常指方向场中导数为零或不可定义的位置。对这些点的分析有助于判断系统附近的局部性质，例如稳定、鞍形或中心型行为。它们往往是相图结构的关键。
5.3 轨线分析
轨线分析研究系统解曲线在相空间中的整体运动方式，包括进入、离开或围绕某些区域运行的模式。通过轨线可以把抽象方程转化为几何图景，进而理解长期行为。此法在非线性系统中非常实用。
5.4 极限环
极限环是孤立的闭轨道，周围轨线可能向其靠近或远离。它表示系统存在周期性运动，并且这种周期轨道具有孤立性。极限环在振荡系统和自激振动中经常出现。
5.5 分岔理论
分岔理论研究参数变化如何引起系统定性结构的突变。当控制参数跨越某个临界值时，平衡点个数、稳定性或周期轨道结构可能发生改变。
5.5.1 鞍结分岔
鞍结分岔中，一对平衡点会在参数变化下生成或湮灭，通常表现为一个稳定点和一个不稳定点相互接近并消失。这是最基本的分岔类型之一。
5.5.2 铎叉分岔
铎叉分岔是指系统原有对称结构被打破或重新排列的一类分岔现象，常与两个对称分支的出现或消失有关。它在具有对称性的模型中较常见。
5.5.3 霍普夫分岔
当平衡点失稳并产生周期解时，常称为霍普夫分岔。它是从静态状态过渡到振荡状态的重要机制，在生物节律、控制系统与电子振荡器中意义突出。
6 边值问题与初值问题
微分方程问题常按附加条件的给定方式分为初值问题和边值问题。不同条件会显著改变解的性质与求解策略。
6.1 初值问题
初值问题是在某一点给出函数值及若干阶导数值，从而确定微分方程的解。它强调“从已知状态出发”的演化过程，在时间发展问题中尤为自然。大多数动力系统模型都可归入这一范畴。
6.2 边值问题
边值问题是在区间两端或多个位置处给定条件，要求求出满足这些边界限制的解。与初值问题相比，它更强调空间上的整体协调，因此在弹性力学、热传导和结构振动中十分常见。
6.3 Sturm-Liouville问题
Sturm-Liouville问题是一类特殊的线性边值问题，通常可写成自伴算子形式。它具有良好的谱性质，解可以按照特征值与特征函数组织起来。许多经典正交展开都建立在这一理论基础之上。
6.4 特征值与特征函数
在边值问题中，满足方程和边界条件的非零解通常只在特定参数取值下存在，这些参数称为特征值，相应的解称为特征函数。它们揭示了系统可允许的固有模式，如振动频率或能量 स्तर。
6.5 正交展开与本征模态
特征函数常具有正交性，因此可用来展开一般函数。通过正交展开，复杂问题可分解为多个相互独立的模态分量。本征模态则表示系统在特定特征值下的基本振动或变化方式。
7 偏微分方程基础
偏微分方程研究多变量函数及其偏导数之间的关系，是描述时空连续系统的核心工具。其理论与应用覆盖物理、工程、几何和概率等多个领域。
7.1 偏导数与高阶偏导
偏导数表示多元函数对其中一个变量的变化率，而将其他变量视为常数。高阶偏导则是偏导数再求偏导所得。偏导概念是建立偏微分方程的基本语言。
7.2 一阶偏微分方程
一阶偏微分方程只含一阶偏导数，常见于几何和传播问题。其求解方法通常依赖特征线法，使偏微分方程沿某些曲线化为常微分方程。对于一些方程，这种转化可以显著简化分析。
7.3 二阶偏微分方程分类
二阶偏微分方程通常按主部系数的符号与判别式分类，不同类型对应不同的传播特征和解的性质。分类结果对选择求解方法具有指导意义。
7.3.1 椭圆型方程
椭圆型方程常用于描述稳态问题，如静电势、稳态温度分布等。其解通常较平滑，边界条件在解的确定中起主导作用。拉普拉斯方程便是典型代表。
7.3.2 抛物型方程
抛物型方程常刻画扩散和耗散过程，典型如热方程。它体现随时间推进的平滑化特征，初始条件和边界条件共同决定解的演化。该类方程常伴随不可逆性。
7.3.3 双曲型方程
双曲型方程常用于描述波传播与振动，具有明显的有限传播速度特征。波动方程是其代表，解可表现为波前、反射和叠加等现象。其物理意义通常较直观。
7.4 经典方程
偏微分方程中有几类最具代表性的经典方程，它们不仅是理论研究对象，也是大量应用模型的基础。
7.4.1 热方程
热方程描述温度随时间在介质中的扩散过程。它体现了热量从高温区向低温区传递的趋势，数学上具有抛物型特征。
7.4.2 波动方程
波动方程用于刻画振动和波的传播，如弦振动、声波和电磁波的某些理想化模型。它属于双曲型方程，能够反映波动的传播速度与初始激发之间的关系。
7.4.3 拉普拉斯方程
拉普拉斯方程是典型的椭圆型方程，常用于描述稳态场。它在势理论、流体静力学和静电学中都占有基础地位。
8 求解方法
微分方程的求解方法很多，可分为解析方法、级数方法与数值方法。不同方法各有适用范围，通常根据方程类型、边界条件和精度需求选取。
8.1 解析解法
解析解法力求给出明确的函数表达式或可计算的积分表达式。虽然并非所有方程都能得到闭式解，但这类方法在理论上最能揭示结构。
8.1.1 分离变量法
分离变量法假设解可写成若干单变量函数乘积的形式，从而将偏微分方程拆分为若干常微分方程。它适用于具有适当边界条件和几何对称性的模型。
8.1.2 积分变换法
积分变换法通过傅里叶变换、拉普拉斯变换等工具，将微分方程转化为代数方程或更易处理的形式。求得变换域中的解后，再通过逆变换回到原变量。
8.1.3 格林函数法
格林函数法将线性微分方程的解表示为源项与响应核的积分关系。格林函数相当于系统对单位激励的响应，因此在边值问题和线性系统分析中非常重要。
8.2 级数解法
级数解法通过把未知函数展开为幂级数、傅里叶级数或其他函数级数来求解方程。即使无法得到初等函数形式的解，也常能获得收敛级数表示。该方法对奇点附近的局部分析尤其有用。
8.3 数值解法
当解析解难以获得时，数值方法成为实际计算的主要手段。它通过离散化连续问题，在有限步内近似求出解。
8.3.1 欧拉法
欧拉法是最基础的常微分方程数值方法，利用切线近似逐步推进解。它实现简单，但精度有限，步长选择对结果影响较大。
8.3.2 龙格-库塔法
龙格-库塔法通过在一步内多次采样斜率来提高精度，是常用的高阶数值积分方法。其经典形式在稳定性和计算效率之间取得了较好平衡。
8.3.3 有限差分法
有限差分法用差分代替导数，把微分方程离散化为代数方程组。它结构直观，适合规则网格上的问题，广泛用于一维和二维偏微分方程。
8.3.4 有限元法
有限元法通过将区域划分为许多小单元，并在每个单元内用简单函数近似解。它对复杂几何和不规则边界具有较强适应性，是工程计算中的重要工具。
9 应用
微分方程几乎贯穿所有需要描述连续变化的学科。它既用于建立理论模型，也用于解释实验现象和预测系统行为。
9.1 力学中的应用
在经典力学中，微分方程用于描述质点、刚体和弹性体的运动。牛顿第二定律可直接写成微分方程形式，振动系统、摆运动和弹簧模型都属于常见实例。
9.2 物理学中的应用
物理学中大量现象都依赖微分方程刻画，如热传导、波传播、流体流动和电磁场变化。通过建立方程，复杂现象可以转化为可分析的数学问题。
9.3 工程中的应用
工程领域利用微分方程研究结构响应、控制系统、信号处理和电路行为。设计者通常先建立模型，再通过求解方程评估系统性能。微分方程因此成为工程分析的基础工具之一。
9.4 生物与生态模型
在生物学和生态学中，微分方程可描述种群增长、捕食关系、流行传播和生理节律等过程。它们帮助研究数量变化和相互作用机制，也常用于预测长期趋势。
9.5 经济与金融模型
经济学中常用微分方程描述资本积累、市场调整和动态优化过程。金融领域则可借助随机微分方程刻画价格变动和风险演化。此类模型强调随时间连续变化的决策与反馈。
9.6 化学与材料科学中的模型
化学反应速率、扩散过程以及材料内部的传热传质，都常用微分方程来建模。它们能够反映浓度分布、相变过程和结构演化，为实验和设计提供定量依据。
10 历史与发展
微分方程的发展与微积分的建立密切相关。随着数学分析、物理学和工程技术的进步，微分方程逐渐形成了从解析解法到现代数值计算的完整体系。
10.1 早期发展
微分方程的早期研究来源于天体力学、几何和物理问题。随着微积分方法的出现，数学家开始系统研究导数关系，并逐步形成求解一阶和高阶方程的基本技巧。
10.2 重要数学家的贡献
许多数学家对微分方程理论作出了奠基性贡献，包括建立求解方法、发展稳定性理论和推动边值问题研究等。不同阶段的工作共同塑造了现代微分方程学科的框架。
10.3 现代微分方程理论
现代理论不仅关注求解公式，还重视解的存在性、唯一性、正则性与长期行为。动力系统、泛函分析和偏微分方程理论的结合，使微分方程研究进入更加抽象而统一的阶段。
10.4 计算机辅助求解的发展
计算机的普及极大推动了微分方程的数值计算与模拟分析。复杂模型可借助软件进行离散化、迭代与可视化，从而处理过去难以直接求解的问题。现代科研与工程实践中，计算机辅助求解已成为标准手段。