MATH1851 Ordinary differential equations
课程内容笔记,自用,不涉及任何 assignment,exam 答案
Notes for self-use, do not include any assignments or exams
MATH1851 的第二节:主要学习 常微分方程 ODE: Ordinary differential equation
常见 ODEs 的求解方法
-
常微分方程 Ordinary differential equation
微分方程 (Differential equation) 顾名思义,是含有函数微分的方程:即,其描述的是某一类函数与其导数之间的关系、
微分方程的解是一个函数
对于牛顿第二定律 ,可以用微分方程进行表示 ,未知数是 :一个关于 的函数,用来描述力
常 (ordinary) 微分方程是最简单的微分方程:即未知函数只含一个自变量 -
常微分方程的 Order
常微分方程的 order 是指方程中导数的最高次数
如对于 ,这是一个 second order equation -
线性常微分方程 linear ODEs
微分方程可以分为线性常微分方程 (linear) 与非线性常微分方程 (non-linear)
一般来说,若因变量 (其他无关的变量可以是非线性的)都是线性的,则微分方程是线性的 ( 这些都是非线性的因变量算子)
叠加原理 (Superposition Principle):
若 ODE 的任意两个解相加仍然是 ODE 的解,则该 ODE 是 linear ODE
(判断 Order 与 linear 的一些例子)
-
微分方程的解的情况
ODE 的 order 越大,就越难得到确切解
非线性 ODE 求解很困难,甚至 impossible
First-Order linear ODE (一阶线性 ODE) 一定可解,通过 Integration Factor (积分因子) 解方程
具体方法是 some functions of alone
将微分方程整理成这种方式后,再对两边积分 -
积分因子法 Integration Factor
积分因子法适合解决 First order linear ODE
(1) 的系数 (coefficient) 是
(2) 仅出现一次,且与 在方程的同一侧
在方程两边乘上积分因子 即可将左边化成 的形式
最后对方程两边求积分,整理后即可解出这里我们给出积分因子的推导:
两边同时乘上积分因子 :
左边的形式很像导数的乘法,于是:
然而 ,对比可知 ,即
这是个质数形式的微分方程:最后可得出 -
伯努利方程 Bernoulli's equations (-> to linear ODE)
伯努利方程是一种特殊的 First order nonlinear equation:然而,我们可以将其转化为 first order linear equation 进行求解
伯努利方程的形式如下:
可以看出,除了 后有一个 外其余都与 First order linear ODE 没有区别
转化伯努利方程的方法是,将 换元为
伯努利方程又可写为 ,此时我们再将 与 代入进行替换
得到 -
Riccati's equations
Riccati 方程也是一种特殊的 First order nonlinear equation
Riccati 方程的形式如下:
若已知某特解 (particular solution) ,我们令
可以列出以下两方程:
将两方程代入原式 经过变换得到 first order linear equation:
-
Separable equations
Separable equations 指的是形如 的 first order equations
Separable 的含义是,可以将方程整理成这样的形式
再对两边进行积分 ,这样就可以解出微分方程 -
Homogeneous equations 齐次方程 (-> to separable equations)
若方程可以化为这样一种形式:除 外,所有项都能化成 的形式,那么该微分方程是一个 homogenous equation
(常数, ,这些都可以用 进行表示)
齐次方程的解法:令 并将用 对方程进行换元 (substitute by ),最后能得到一个 separable equation
按 separable 方程的方法求解之后代回 即可上面对 homogeneous equations 的定义是非正式的实用形式,下面补充以下 homogeneous equations 的正式定义
对于一个度数为 的 homogeneous function ,我们有 (例, 就是一个 homogeneous function)
homogeneous equation 表现为该形式 , 其中 是一个 homogeneous function
求解 Exact ODEs
-
Partial Derivatives 偏导数
对于一个含有两个以上 independent variables 的函数
求 对变量 的偏导时,将除了 以外的变量视为常数
例:对于 ,,而
的 total differential 全微分等于分别对所有变量分别求偏导的和,即:
(很好理解,总 的微小变化量 在各个方向上的微小变化量之和)
注意, 先对 求偏导再对 求偏导的结果与先对 求偏导再对 求偏导的结果是一样的 (mixed partial derivatives 与顺序无关) -
Exact ODEs 全微分方程式
我们说一个 ODE 是 exact 的,代表其能写成 exact differential 的形式:
对于
若存在一个 scalar function 使得 且
则 ODE 可以写成这种形式: 即 ,
这样的 ODEs 被称为 exact ODEs(注意,在解 ODEs 时,我们将 视为 的 implicit function;而在判断 exact ODEs 时,我们又将 与 视为 independent variable)
-
全微分方程式的判断
对于 ODE
若 ODE 是 exact 的,则存在
由于交换偏导顺序不影响求偏导结果,则有 ,即
(重要!!!)
对于不 exact 的方程 ,有可能找到一个 multiplicative factor 使得 是全微分方程
这个 multiplicative factor 可通过计算式子 得出
-
求解 Exact ODEs
当题目要求解一个形如 的 ODE 时,我们猜测其为 Exact ODEs 并按照以下方式求解
(1) 判断方程是否满足 ,若满足,证明其为 exact ODE
(2) 计算 ,其中 代表任意与 相关的函数
(3) 计算 ,其中 代表任意与 相关的函数
(4) 对比两式,得到一个同时满足该两个式子的结果 ( 中不应再含有 与 )
(5) 此时我们将 Exact ODE 的解转化为了隐函数 在 时的结果,将 整理后即可得到原 exact ODE 的解
高阶齐次 ODE 的解: Homogeneous Higher-Order ODEs
-
Linear Independence 线性无关
对于二阶 ODE ,我们有解 与 与
然而,这两个解很明显是等价的,我们只需要留下其中一个
而 与 则是不等价的解
我们将 "等价" 定义为 线性相关 (linearly dependent),"不等价" 定义为 线性无关 (linearly independent)
若两个解 是线性相关的,则 存在非平凡解 ( 不是全 );若其是线性无关的,则 仅有在 时成立 -
Wronskian determinant 朗斯基行列式
引入 Weonskian determinant 来快速判断 个函数 的线性相关性- 对于 ,即对于
若对于所有 ,都有 (这是 阶朗斯基行列式的展开)
则 是 linearly dependent 的 (这是充要条件 sufficient condition) - 对于 ,我们计算朗斯基行列式
若对于所有 ,,则 是 linearly dependent 的
- 对于 ,即对于
-
常数系数的二阶齐次线性 ODEs (Homogeneous second-order linear equations with constant coefficients)
注意,这里的 homogeneous 含义与之前的 homogeneous function 有不同!!!
对于形如 且 均为常数的微分方程,我们称其为 homogeneous second-order linear ODE with constant coefficient- Linear 线性: 项的系数是
- Homogeneous 齐次:等式右边是 ;除了 之外的项数均是
- With constant coefficients: 均为常数
对于这一类微分方程,我们采用解特征方程 (characteristic equation)的方法进行求解
-
特征方程 characteristic equations
令 ,可求出方程 的特征方程 (characteristic/polynomial)
解得 之后,我们求 的通解 (显然,若 存在, 有无数个解:对于任意 , 都是一个解)- 特征方程有两实根 (distinct real roots)
的通解为 - 特征方程有重根 (repeated roots)
的通解为 (这个结果有点反直觉,我们用 reduction of order 进行证明,见下例证 )
Reduction of Order (降次法):若已知 ODE 的一个解,则其 order 能 reduce 1
具体来说,求出一个已知解后,我们令 且定义 ,即可得到一个关于 的降 次 ODE - 复数根 (complex roots)
一元二次方程若 ,则会产生一对共轭虚根 (conjugate pair) . 这是公式 这里的 指的是特征方程中的系数)
的通解为
或写成这种形式 ,其中 (利用欧拉公式 ,见下证明 )
证明 (重根时的通解):
关于 Reduction of Order (这是一个拟设 (ansatz)):
对于二阶 ODE,在已知一个解 的情况下,通过 Reduction of Order 能够生成另一个线性无关的解 . 对于 阶 ODE,在已知一个解的情况下,通过 Reduction of Order 能够得到一个 关于 的 阶的 ODE 实现降阶
这建立在方程的通解 一定能表示成某特解 与某个函数 之积的形式
证明 (虚根通解的三角函数写法):
注意, 是复数,而 是实数 - 特征方程有两实根 (distinct real roots)
-
Expansion to homogeneous higher-order equations & repeated complex roots
高阶齐次 ODE 的特征方程解基本上是以上三种情况的复合;对于每一种情况采用对应的解法即可,较为直接
但是,这一种情况比较特殊,那就是重复数根 (repeated complex roots),这种情况是不可能在二阶特征方程里出现的 (二阶特征方程涉及复数根一定是一对共轭复数)
对于解 ,我们有 的通解为
即
或 -
Application to the simple harmonic oscillator: Free oscillation
自由震荡 (free oscillation) 指的是这样一个物理模型:质量为 的物体连接着系数为 的弹簧
阻尼 (damping) 与速度成比例 ; 根据牛顿运动定律有
可以发现这是一个二阶 ODE:
其特征方程为 ,根可以表示为- 若
此时的 free oscillation 被称为 underdamped vibration (小于,所以是 underdamped)
ODE 有两复数解 - 若
此时的 free oscillation 被称为 critically damped vibration (等于,所以是 critically damped)
ODE 有重根 - 若
此时的 free oscillation 被称为 overdamped vibration (大于,所以是 overdamped)
ODE 有 distinct 的两实根
- 若
-
Cauchy-Euler Equations
Cauchy-Euler Equations 是一种特殊的微分方程,同样使用特征方程法求解
与二阶齐次线性 ODE 的特征方程不同,我们使用 而不是 来进行转换
Cauchy-Euler 方程的形式如下:
- 的指数与 的导数阶数相同
- 是常数,但是第一项 的系数是
对于 ,我们代入 得到的特征方程项是 ("compensate" for the loss of exponent)
接下来我们研究二阶的 Cauchy-Euler Equation 的特征方程
代入 ,可得到特征方程
此时特征方程有两 distinct 实根 与
方程的通解为
此时特征方程有重根 与
方程的通解为 (联想二阶 ODE 特征方程重根解情况 )
此时特征方程有复数根
方程的通解为
利用欧拉公式,我们化简
方程的通解也可写成
多重根(例 个): ,
Inhomogeneous equations with constant coefficients
之前我们讨论的 homogeneous 指的是:除与 有关的项 (例,) 之外都是
这里我们来解 inhomogeneous equations:是更 general 的状况
(简单判断的方法:homogeneous 等式右边为 ,inhomogeneous 等式右边非 )
以二阶 inhomogeneous equations 为例:
-
解 Inhomogeneous 的基本原则 (重要!!!)
inhomogeneous equations 的通解:
General Solution Complementary Function (CF) Particular Solution/Integral (PS/PI)
补充方程 (CF) 指的是对应的 homogeneous equation 的解;本质上是任意两解间的差
下面,我们以一个例子来进行说明:
对于 inhomogeneous equation ,有两个解 ,因此
两式相减有
补充函数 Complementary Function ,因此 (所以可以看出 是两解之间的差且是对应 homogeneous 的解)
因此该方程的任何一个解都能这样表达 (例: y_2=y_c+y_1) -
找特解: 待定系数法 undetermined coefficient
实际上是进行一个 educated guess,可以用来获得简单的特解
对于等式右边的 inhomogeneous terms,每一项所对应的特解可以这样猜测
注意,我们猜测的特解的项中若与补充函数有重合,则那些项可舍弃
(解释一下 项:若该方程为 阶 ODE,则特解可猜测为 )
若等式的右边十分复杂,无法看出特解,我们将采用 variation of parameter 方法 (下面会介绍) -
Special case: Resonance 共振
解 inhomogeneous equation 时,当我们发现 inhomogeneous term (非齐次项,即方程的右边) 与补充函数 CF 产生了重合 (overlapping) 时,需要采取其他方法来找特解
(即,对于 ,等式右边的 是 homogeneous equation 的解)
例:对于 inhomogeneous equation ,我们尝试采用传统的找特解方法
令 ,代入得 ,化简后有 ,这明显不成立
出现这种情况的原因是 本身就是 的一个解,产生了 resonance- Try another guess
我们对传统的猜特解进行修改:当 不能作为等式右边为 的特解时,我们尝试 - D operator method
对于存在共振的 inhomogeneous equation,我们可以采用 D operator method 寻找特解
D operator 指的是令 并将 视作一个数
任意一个 homogeneous term ,都可以用 来表达:
我们也可以通过 D operator 来快速找到一个 homogeneous equation 的特征方程:例,对于 ,可以写成 ,从而得到特征方程
接下来,我们通过例子 来说明如何用 D operator 找到 inhomogeneous equation 的特解
重要:找到一个仅含有 与 inhomogeneous term 的式子来摧毁 (destroy) 等式的右侧: 所以
又
我们利用之前得到的式子"摧毁" ,将等式右边变为 :
由此,我们得到了一个关于 的新的 homogeneous equation,并且其特征方程就是 的系数
该方程有根 ,对应解 其中新 (NEW!!,即非 CF 的部分) 的解可以作为原 inhomogeneous equation 的特解 (这里是 ) - Variation of Parameter 参数变换法
这是解 inhomogeneous ODE 最 general 的方法,本质上也是一种 Reduction of Order!
对于 inhomogeneous ODE ,我们先求出其 homogeneous form 的两个解 (即, 是补充函数 CF)
Variation of Parameter 建立在方程的某个特解 一定能表示成 的假设上
我们求 的一阶导 与二阶导 并代入
在求导过程中,为了不让情况变得更加复杂,我们令 (不然最后的式子里会出现 与 )
最后我们会得到两个关于 与 的方程,分别是:
,解出 积分后即可得到
Tutorial Examples:
下面是一个用 D operator method 与 variation of parameter 解 inhomogeneous equations 的例子 (btw, tutorial 真的比 lecture 有用一万倍)
- Try another guess
【推荐】国内首个AI IDE,深度理解中文开发场景,立即下载体验Trae
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 分享一个免费、快速、无限量使用的满血 DeepSeek R1 模型,支持深度思考和联网搜索!
· 使用C#创建一个MCP客户端
· 基于 Docker 搭建 FRP 内网穿透开源项目(很简单哒)
· ollama系列1:轻松3步本地部署deepseek,普通电脑可用
· 按钮权限的设计及实现