本文是《微分方程完全入门》系列的第一篇,覆盖一阶常微分方程(ODE)的基本概念和求解方法。阅读本文仅需掌握一元微积分(导数、基本积分)。
第一部分:什么是微分方程
一、概念引入——一个数值计算问题的启示
1.1 问题
假设你有一架四旋翼无人机在悬停,关掉油门让它自由下落。忽略空气阻力,只受重力g=9.8 m/s2的作用。
它的速度 v(t) 随时间变化吗?当然。每一秒它都加速 9.8 m/s。用微积分的语言:
dtdv=g
这个方程中包含了未知函数 v(t) 及其导数 dtdv。它描述的不是某个特定的速度值,而是速度如何随时间变化。
这就是微分方程。
1.2 定义
微分方程(Differential Equation) 是包含未知函数及其导数的方程。
根据自变量的个数分为两类:
- 常微分方程(ODE):未知函数只有一个自变量(通常为时间 t 或空间 x)
- 偏微分方程(PDE):未知函数有多个自变量(如温度 T(x,y,z,t))
阶数(Order):方程中最高阶导数的阶数
dtdv=g——一阶 ODE
dt2d2x+ω2x=0——二阶 ODE
∂t∂T=α∂x2∂2T——二阶 PDE(热方程)
1.3 性质的表格
| 性质 |
含义 |
举例 |
| 阶数 |
最高导数的阶 |
dtdv=g 一阶;dt2d2x+x=0 二阶 |
| 线性 |
未知函数及其导数以一次方形式出现 |
dtdy+2y=0 线性;dtdy+y2=0 非线性 |
| 齐次性 |
所有项都含未知函数或其导数 |
y′+y=0 齐次;y′+y=1 非齐次 |
| 通解 |
含有任意常数的解族 |
v=gt+C |
| 特解 |
给定初始条件后确定的唯一解 |
v(0)=0⟹v=gt |
1.4 历史的5分钟
| 时间 |
人物 |
贡献 |
| 1671 |
牛顿(Newton) |
在《流数法》中首次系统研究了含”流数”(即导数)的方程——微分方程的起点 |
| 1684 |
莱布尼茨(Leibniz) |
发明了现代的导数符号 dxdy,使得方程更易操作 |
| 1693 |
约翰·伯努利(Johann Bernoulli) |
首次使用”微分方程”(differential equation)这个术语 |
| 1743 |
欧拉(Euler) |
引入积分因子法,建立线性ODE的一般理论 |
| 1824 |
阿贝尔(Abel) |
证明五次方程无根式解——这推动了从”求解析解”到”定性分析”的转变 |
关键转折:早期数学家认为所有微分方程都应该能用初等函数表达。19世纪中叶李雅普诺夫和李群的工作展示了另一种可能——不求出解的表达式,而是通过分析方程的对称性和稳定性来理解解的行为。这种”定性分析”的思路在当代控制理论和飞行动力学中至关重要。
1.5 在已发表文章中的出现
| 文章 |
微分方程类型 |
使用方式 |
| 无人机飞行物理学(6-DOF推导) |
12个一阶ODE系统 |
平动+转动方程、四元数微分方程 |
| 数值分析完全入门 |
ODE数值解法 |
欧拉法、RK4求解 |
| PID调参原理与方法 |
PID控制器方程 |
误差的积分/微分方程 |
| 势流理论 |
PDE(拉普拉斯方程) |
∇2ϕ=0 |
二、一阶 ODE 的几何含义——方向场
2.1 概念引入
一个一阶 ODE 可以写成一般形式:
dxdy=f(x,y)
它的几何含义非常直观:在平面上的每一点 (x,y),我们都可以计算出一个斜率 dxdy。如果把每个点关联一个短线段(箭头),就形成了方向场(slope field / direction field)。
微分方程的解就是一条处处与该方向场相切的曲线。
2.2 手算例子
考虑最简单的 ODE:
dxdy=−y
方向场:
- 在 y=1 处,斜率为 −1(下坡)
- 在 y=2 处,斜率为 −2(更陡的下坡)
- 在 y=−1 处,斜率为 1(上坡)
- 在 y=0 处,斜率为 0(水平)
通解:y=Ce−x(指数衰减)
无论从哪个点出发,解曲线都趋向于 y=0。这就是平衡点的概念——稍后在第四篇中讲相平面时会详细讨论。
三、一阶 ODE 的三种基本解法
3.1 可分离变量法——最简单的类型
形式:
dxdy=g(x)h(y)
即等号右边是 x 的函数乘以 y 的函数(可因子分解)。
解法:
h(y)dy=g(x)dx
两边分别积分:
∫h(y)dy=∫g(x)dx+C
手算例子 1:RC 电路放电
一个 RC 电路中的电压满足:
dtdV=−RC1V
其中 R 是电阻,C 是电容,RC 是时间常数。
给定初始电压 V(0)=V0。
解:
这是可分离变量的:
VdV=−RC1dt
两边积分:
∫VdV=∫−RC1dt
ln∣V∣=−RCt+C1
V=e−t/RC+C1=Ce−t/RC
代入初始条件 V(0)=V0:
V0=C⋅e0=C
特解:
V(t)=V0e−t/RC
物理意义:电压按指数衰减到 0。RC 越大,衰减越慢。在飞控电路中,电容滤波的原理正是这个方程——时间常数决定了滤波器的截止频率。
手算例子 2:自由落体(带空气阻力)
更真实的情况是考虑空气阻力——阻力与速度成正比:
mdtdv=mg−kv
即:
dtdv=g−mkv
解:
分离变量:
g−(k/m)vdv=dt
令 a=g,b=k/m:
∫a−bvdv=∫dt
−b1ln∣a−bv∣=t+C
代入初始条件 v(0)=0,得到 C=−b1lna,整理:
v(t)=kmg(1−e−(k/m)t)
物理意义:速度不会无限增大,而是趋向于终端速度(terminal velocity) vT=mg/k。这在四旋翼的下降速率限制、或者截击机的速度边界中都有体现。
3.2 一阶线性 ODE——积分因子法
标准形式:
dxdy+P(x)y=Q(x)
如果 Q(x)=0,是齐次方程;Q(x)=0,是非齐次方程。
解法——积分因子法:
- 计算积分因子 μ(x)=e∫P(x)dx
- 两边乘以 μ(x):μ(x)dxdy+μ(x)P(x)y=μ(x)Q(x)
- 左边变成 (μy)′:dxd(μy)=μQ
- 两边积分:μy=∫μQdx+C
- 解出 y。
手算例子:RL 电路
一个 RL 电路(电阻+电感串联,施加电压 E):
Ldtdi+Ri=E
标准形式:
dtdi+LRi=LE
解:
P(t)=R/L,μ(t)=e∫R/Ldt=eRt/L
两边乘 μ:
eRt/Ldtdi+LReRt/Li=LEeRt/L
即:
dtd(ieRt/L)=LEeRt/L
积分:
ieRt/L=LE∫eRt/Ldt=LE⋅RLeRt/L+C=REeRt/L+C
所以:
i(t)=RE+Ce−Rt/L
代入初始条件 i(0)=0 得 C=−E/R:
i(t)=RE(1−e−(R/L)t)
物理意义:电流以时间常数 τ=L/R 趋近稳态值 E/R。在无人机电机驱动器中,电机的电学模型正是 RL 电路——这和 BLDC 电机的电流响应直接相关。
3.3 恰当微分方程
形式:
M(x,y)dx+N(x,y)dy=0
恰条件:
∂y∂M=∂x∂N
如果条件满足,存在一个函数 ψ(x,y) 使得 dψ=Mdx+Ndy,通解为 ψ(x,y)=C。
找 ψ 的方法:从 ∂x∂ψ=M 积分得到 ψ=∫Mdx+g(y),再用 ∂y∂ψ=N 确定 g(y)。
手算例子
检验并求解:
(2xy+3)dx+(x2−1)dy=0
检验恰条件:
∂y∂M=2x,∂x∂N=2x
相等,恰当!
求 ψ:
ψ=∫(2xy+3)dx=x2y+3x+g(y)
∂y∂ψ=x2+g′(y)=x2−1
所以 g′(y)=−1,g(y)=−y+C1
因此:
ψ(x,y)=x2y+3x−y=C
这就是通解。
四、三种解法的对比
| 方法 |
适用形式 |
核心步骤 |
难度 |
工程出场率 |
| 可分离变量 |
y′=g(x)h(y) |
分离+积分 |
⭐ |
最高(RC充放电、指数增长/衰减、重力+阻力) |
| 积分因子法 |
y′+P(x)y=Q(x) |
乘μ+积分 |
⭐⭐ |
高(RL电路、混合器模型、一阶控制系统) |
| 恰当方程 |
Mdx+Ndy=0 |
检验+找ψ |
⭐⭐⭐ |
低(热力学中的恰当微分) |
五、一阶 ODE 在飞控与仿真中的应用
5.1 一阶控制系统
PID 控制器中的 PI 环节本质上是一阶 ODE。一个比例-积分控制器:
u(t)=Kpe(t)+Ki∫0te(τ)dτ
写成微分方程形式:
dtdu=Kpdtde+Kie(t)
5.2 气压计高度滤波
无人机气压计测量高度时使用了低通滤波——本质上就是求解一阶ODE:
dtdhfiltered=τ1(hraw−hfiltered)
这是一个一阶线性ODE,解就是指数趋近真实高度。τ 越大,滤波越平滑但延迟越大。
5.3 电机响应
四旋翼电机的转速响应近似为一阶系统:
dtdω=−τ1ω+τKu
其中 u 是 PWM 输入,τ 是电机时间常数(通常 50-200 ms)。这个模型直接决定了飞控的响应速度。
六、完整概念地图
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
| 微分方程 ├── 常微分方程 (ODE) — 单自变量 │ ├── 一阶 │ │ ├── 可分离变量: dy/dx = g(x)h(y) │ │ ├── 一阶线性: y'+P(x)y=Q(x) → 积分因子 │ │ └── 恰当方程: Mdx+Ndy=0 │ ├── 二阶 (本篇预告) │ │ ├── 齐次 ← 特征根法 │ │ └── 非齐次 ← 待定系数法 │ └── 高阶/方程组 (第四篇) │ └── 相平面分析、稳定性 └── 偏微分方程 (PDE) — 多自变量 (第六篇) └── 拉普拉斯方程、热方程、波动方程
工程应用树: 一阶 ODE ─→ RC/RL 电路、电机响应、低通滤波、自由落体 二阶 ODE ─→ 弹簧-阻尼系统、飞行器模态、PID 方程组 ──→ 六自由度无人机方程、卡尔曼滤波 PDE ────→ 势流、热传导、声波传播
|
七、核心公式速查卡
| 公式 |
方法 |
适用条件 |
| dxdy=g(x)h(y)⇒∫h(y)dy=∫g(x)dx |
分离变量 |
y′=g(x)h(y) |
| y′+P(x)y=Q(x)⇒y=μ1∫μQdx,μ=e∫Pdx |
积分因子 |
一阶线性 |
| Mdx+Ndy=0,∂M/∂y=∂N/∂x⇒ψ(x,y)=C |
恰当方程 |
恰当条件满足 |
| v˙=g−(k/m)v⇒v(t)=kmg(1−e−(k/m)t) |
分离变量 |
重力+线性阻力 |
| i˙=(E−Ri)/L⇒i(t)=RE(1−e−(R/L)t) |
积分因子 |
RL电路 |
| V˙=−V/RC⇒V(t)=V0e−t/RC |
分离变量 |
RC电路放电 |
参考文献
- Perko, L. (2001). Differential Equations and Dynamical Systems (3rd ed., Chapter 1). Springer. ISBN: 978-0-387-95116-4.
- Boyce, W. E., & DiPrima, R. C. (2017). Elementary Differential Equations and Boundary Value Problems (11th ed., Chapter 2). Wiley.
- Newton, I. (1671). De Methodis Serierum et Fluxionum (On the Methods of Series and Fluxions). — 微分方程的起点
- Euler, L. (1743). “De integratione aequationum differentialium”. Opera Omnia.
- Strogatz, S. H. (2018). Nonlinear Dynamics and Chaos (2nd ed., Chapter 1-2). CRC Press. — 一阶ODE的定性分析入门
下一节:二阶线性方程:弹簧、阻尼与共振
从RLC电路和弹簧-质量-阻尼系统切入,系统讲解二阶线性齐次/非齐次ODE。特征根法、阻尼比与自然频率→这正是四旋翼飞行动力学和PID控制器设计的数学基础。