【常微分方程】积分因子法 |
您所在的位置:网站首页 › 恰当导数方程的定义 › 【常微分方程】积分因子法 |
一点碎碎念·关于我为啥没更新的小说明 朋友们大家好,我是咕咕练习时长一年的个人练习生——大兮兮,喜欢拖,跑,瞎求导! ODE~ 哔~呃,很抱歉因为个人原因托更了这么长的时间,这其中部分时长用于了一份资料的编著(很抱歉还没写完),除此之外就是在不断积累知识与打数理基础。 由于学校原因,大二开学才能转专业,所以很多事情就拖的比较晚,这一年仍然看到许多仍(xiang)关(bai)心(piao)我的朋友继续鼓(cui)励(geng)我,在此谢谢大家!!! 之后我也不能说立即恢复到之前更新的水准,包括质量与频率。目前仍然很忙,我只能就当下而已尽我所能写出我所会的,以及想分享给大家的东西,所以如有不足希望大家多多包涵,多给我建议与批评,大家一起成长。 最近也同时在学一本很简单的UTM,《 》学完了寒假可以写一点总结小笔记(继续挖坑),本学期最感兴趣的是常微分方程这门课程,之后如果有一些思考也会继续写点小文章。 感谢你看完我的碎碎念,下面进入正文(大部分内容摘自丁同仁《常微分方程教程》第二版)。 恰当微分方程下面只考虑一阶常微分方程 在常微分方程中,大家最先接触到的第一个例子应该是 这样形式的微分方程。 例如:将出发点设为原点的自由落体运动中,有 . 而更一般的情形则是 的情况,再设 ,其中 恒不等于零。 则有: , 下面将方程转化为: ,该式与原式的积分曲线中相差一个 的情形(是指从此处往前面推导的话)。 那么下面只需考虑微分方程: 的求解。 自然此处的函数 与 需满足在单连通区域 上连续可微。 如果存在一个可微函数 ,使得它的全微分是 , 也等价于它的偏导数满足: , 就称微分方程 为恰当方程或全微分方程(因为是正好能凑成全微分的形式)。 那么 就是上述微分方程的通积分曲线。 并且若这里的任意常数 取定后,可以证明:由 所确定的隐函数 (或 )即为原方程的一个解,反之亦成立。 下面来看几个例子: 例1:求解微分方程 . 解:观察这个方程左侧,不难发现恰好是函数 的全微分 , 因此上述方程可以写为: ,因此它对应的解为 . 本文上面利用观察法求解微分方程只是一个简单的特例,在一般情况下,我们需要解决的问题是: 如何判断一个给定的微分方程是或不是恰当方程?当它是恰当方程时,如何求出相应全微分的原函数?当它不是恰当方程时,能否将它的求解问题转化为一个与之相关的恰当方程的求解问题?下面对于这三个问题中的前两个问题可以立即给出答案,对于第三个问题还将在本文后续部分继续探讨。 先来看第一个问题: 由于恰当方程的定义,故有: , 其中: . 然后即可在上面的两个式子中分别对 和 求偏导数,即可得到: . 由 与 的连续性假设可以推导出 与 是连续的,因此 . 故而有: . 该也即式是判断一个给定的微分方程是或不是恰当方程的充分条件。 再来看第二个问题: 在函数 与 满足了条件 后,下一步是构造一个可微函数 , 使得: 成立。 设函数 与 是在区域 上连续,其中 为 上一点。 先满足上式的左侧成立,不妨取: ,其中 是一个待定的函数, 接下来为了使得 满足上式的右侧成立,因此对该方程的两侧对 求偏微分, 得到: . 带入条件 ,有: . 因此对比两式,发现只需满足: . 此时就只需: 即可。 因此通过以上方式,我们就找到了满足恰当方程 的一个函数: . 实际上在构造 时,倘若想先让 成立,则这样构造出的: 也同样是原方程的解。 并且这样的 与 的全微分相同,它们之间唯一的差别便是常数部分,但倘若带入相同的初值条件 ,必会有: . 至此第二个问题也取得了完美的解决。 那么得到了恰当方程的判别方式与求解相应全微分的原函数的方法,自然我们就可以快速的求解一系列恰当微分方程的解了。 例2:求解微分方程 . 解:设 , (一定要注意符号得带着) , ,则 满足,该方程为恰当微分方程。 故将 对 积分,得: . 将该式对 求偏导,有: . 将上式与 比较得: ,故: . 则原方程对应的解为 . 注:提到恰当微分方程时,我个人感觉与我前一段时间所学习到的 @虚调子 虚姐姐的双元积分法, https://zhuanlan.zhihu.com/p/94491466在变形的时候所用到的以下的二元凑积分的式子有点关联:
个人认为凑积分法即更简洁形式的恰当微分方程求局部通解的形式,在最后分部求积分因子法时会更有这种感觉。 下面来解决上面提到的第三个问题。 积分因子有时候,对于微分方程 ,在带入前文所推得的判别条件时, 却会得到: . 例如:方程 ,此时 , ,该方程不为恰当微分方程。 这时我们希望能找到一个在原区间上连续可微的非零函数“补丁包” ,使得: 成为恰当微分方程。 此时则必有: ,这等价于: . 称这样的“补丁包”为微分方程 对应的积分因子,上式为 构成积分因子的充要条件。 不过值得一提的是,一个方程的积分因子并不是唯一被确定的,是可以有多个的。 例如:微分方程 的积分因子,除了 ,还有 , , 等等。 积分因子的结构这一部分内容引用下面老哥的文章,其证明部分大家可以看看他的原文: https://zhuanlan.zhihu.com/p/26661013命题1 设方程 存在积分因子 ,使得存在 , ,则对任意一元连续可微的函数 , 也是该方程的积分因子。 命题2 设方程 存在积分因子 ,使得存在 , ,则对该方程的任意一积分因子 ,均存在不恒为零的一元连续可微的函数 ,使得 . 命题3 设 与 是方程 的两个积分因子,则 是该方程的通积分。 在丁同仁老师的《常微分方程教程》第52页就有涉及到该结构性的证明题。 积分因子的求法就与后续遇到求解非齐次线性微分方程组时所会看到的公式 一样,积分因子 所满足的等式 只是从理论上说其解存在,但对于它的求法却还得又归结于 的求解,因此从上式中求出积分因子的表达式 ,再去求解该类型的微分方程,是一般是不可取的,但对于部分特殊情形下的情况,去找到一个较为简单的积分因子 是可行的。 初等变换法求积分因子很多书上应该都有这个例题: 证明齐次方程 有积分因子 . 不妨假设该齐次方程中,连续可微函数 均为 的 阶齐次函数,即: , . 现取 ,则有: , . 同时,将 代入原微分方程, 得: , 整理有: . 此时方程变为变量可分离的形式,其中积分因子则为: . 例3:求微分方程 的解。 解:可以直接留意到该微分方程是齐次微分方程,次数 . 故该方程有积分因子: . 将原微分方程两侧同时乘以该积分因子,得到新方程: . 则不难求得(实际上分子分母还得再乘以 ,以及方程两边同时乘以 )该微分方程的通积分为: . 注:1. 该题还有积分因子 ,可将原方程化为一阶线性齐次方程;2. 利用积分因子法(乘在分母上的法)解出来的通积分还得考虑分母恰好等于零的情形,本题中只需让常数 可以取到零即可。 直接求积分因子类型一:当原微分方程 具有变量可分离形式: 时,可以取积分因子: , 此时就可以得到一个恰当微分方程: . 类型二:当原微分方程 是一阶线性微分方程(即具有形式): 时,可以取积分因子: , 此时就可以得到一个恰当微分方程: . 例5:求解微分方程 . 答案: ,其中 为任意正常数。 例6:求解微分方程 的通解,并求 时的特解。 答案:原方程通解为: ,其中 为任意常数; 原方程在给定初值条件下的特解为: . 复合函数形式的积分因子上文提到过对于一般情形下想要求得积分因子是不太容易的,但是我们可以抛弃一小点的自由,对原来的积分因子加以束缚,求得特殊复合函数形式下的积分因子。 首先,对于某个已知的函数 ,令我们想要寻找的积分因子具有 的形式,则 的偏导数具有形式: . 将其代入 ,整理即可得: 等式的左端是关于 的函数,则只需让等式的右端同样也满足条件(可以表示为关于 的函数),则 即为原微分方程 的一个积分因子。且可以表示为 的形式。 那么假定已经选取了合理的 使得等式右侧为函数 , 则原微分方程对应的一个积分因子为: . 该式表达式也可以作为微分方程具有形式 的积分因子的充要条件(读者自证不难.jpg)。 下面来举例一些常见的 取具体形式时的积分因子 . 情形一:当 ,有 . 则 式可化为: , 则若微分方程 具有 的积分因子,则其对应的积分因子可表示为: 情形二:当 ,有 . 则 式可化为: , 则若微分方程 具有 的积分因子,则其对应的积分因子可表示为: 丁教授的书上还给了更多的例题,大家不妨试试看: 例7:求解微分方程 . 解:此时有: ,因而该微分方程不是恰当方程。 并且容易发现,它既不是变量可分离类型的方程和齐次方程,也不是一阶线微分方程。 但我们来求出它的积分因子,发现有: ,等式右侧仅依赖于变量 . 因此可以得到此方程的一个积分因子: . 将积分因子 分别乘以原微分方程两侧, 即可得到一个恰当微分方程: . 此时可求得通积分为: . 注:还应补上应用积分因子时丢失的特解 . 例8:求解微分方程 . 答案: ,其中 为任意常数。 分部求积分因子好久没写高中文章了,也不知道大家还有记得我高中写过的导数文章么~ 我高中有写过有关导函数放缩处理的一种方式——凹凸性反转。 https://zhuanlan.zhihu.com/p/64424958里面提到的一种放缩思想即为将函数分拆,然后分别求得各自的最小/大值,进而使得其全部相加得到原函数的一个下/上界,不过能否取等得看是否所有函数取得最值时的自变量是否相同。 在这里也特别介绍这种在常微分方程中特殊的分拆(分部)求积分因子的方法。 我们根据积分因子的结构中所提到的命题1,假设原微分方程 可以分为两组,即: . 其中第一组和第二组各自有积分因子 和 ,使得: . 可以发现,对于任意的可微函数 和 ,函数 是第一组的积分因子,而函数 是第二组的积分因子。因此,若能适当的选取 与 ,使得: ,则 就是原微分方程的一个积分因子了。 例9:求解微分方程 . 解:将等式左侧分为两组: . 前一组有积分因子 和通积分 ;后一组有积分因子 和通积分 . 现在只需要寻找可微函数 和 ,使得: . 这只要取: 即可。 从而可以得到原方程的积分因子为: . 然后用它乘以原方程,得到恰当方程: . 此时可求得通积分为: ,其中 为任意常数。 注:还应补上应用积分因子时丢失的特解 和 . 例10:求解微分方程 . 解:将等式左侧分为两组: . 第一部分可以选取的积分因子有很多,例如前文提到的: , , , . 第二部分基本上可以选取的积分因子就是 , . 此处中间步骤省略... 大家可以自行尝试一下,此外,本题还可以采取凑积分的方式,先除以 或者是 ,凑出一个变元 . 再利用初等还原法,令 ,可以轻松的求出通积分为: ,特解为: . 以上便是这篇文章主要的内容啦~ qwq这篇文章我一共打了5.5h,希望大家能耐心看完,希望您有所收获! 如果觉得本文还不错的话,可以给我一个大大的点赞以及喜欢,或者是长按点赞推荐我的文章么,这将对我很有帮助~(❤ ω ❤)~ 以后如果有时间还可以继续更新常微分方程的内容,最近对它的几何表示很感兴趣呢(继续挖坑)。 最后给大家推荐两本不错的常微分方程学习教材~ 其中这本ODE是Grant(3Brown1Blue)本科的同款哦~ 祝君好运~ |
今日新闻 |
推荐新闻 |
CopyRight 2018-2019 办公设备维修网 版权所有 豫ICP备15022753号-3 |