函数是变量之间的对应关系,它可以构成各种实际问题的模型.在实际问题中,这种对应关系并不是显而易见的,而是根据所考虑的对象遵从的客观规律,隐含在函数及其导数所满足的等式中,这样的等式就是我们研究的常微分方程(简称微分方程).例如,牛顿最早研究天体的运动规律时,假定行星是各自独立的对象,只受到太阳引力的作用,因此牛顿的分析只涉及两个对象,这类问题统称为“二体问题”.牛顿采用数学方法研究二体问题时,需要求解的运动方程就是微分方程.1864年英国数学家勒维耶由引力定律建立了一个微分方程模型,经严密分析后断定了海王星的存在性,并确定了海王星在天空中的位置.在19世纪早期,柯西给微积分学注入了严密性的要素,同时也为微分方程的理论奠定了一个基石(解的存在惟一性定理).到19世纪末期,庞卡莱和李雅普诺夫分别创建了常微分方程的定性理论和稳定性理论.常微分方程是现代数学的一个重要分支,是人们解决各种实际问题的重要和有效的工具之一,它在几何、力学、物理、自动控制、电子技术,生命科学、航天、军事和经济等领域都有广泛的应用.
1、通解并不一定包含微分方程的所有解.
因此,在做练习时,应该注意求解微分方程与求微分方程通解的差别.一般来说,求解微分方程应该将满足微分方程的所有解求出,而求通解只需要求得一个包含与微分方程阶数相同个数的、相互独立的任意常数的解即可.同时通解也不唯一,如微分方程
2、并不是所有微分方程都有通解
值得注意的是,一般来说微分方程的通解可以包含它的所有解,或者在满足一定的条件下,微分方程的通解会包含微分方程所有解.但是并不是所有微分方程都有通解,有些微分方程只能通过数值方法来求解.
3、初值问题的特解不一定唯一
4、通解中的任意常数“不任意”
在常微分方程通解的定义中强调相互独立的任意常数,意指在通解中取一组给定的常数得到的函数都为对应常微分方程的解.其实,任意常数并非可以任意取值,如是常微分方程的通解,此时取大于2的值就没有意义.所以任意常数并不是一定可以取遍任意实数的,而且也不要求它一定要取遍实数,这个任意性应该在使得通解关系式有意义的范围内体现.
5、包含任意常数的解不一定是通解
包含有个相互独立的任意常数的阶微分方程的解既不是通解,也不是的特解,而是微分方程的一组解.
6、求微分方程的通解时,只需要得到符合通解定义的微分方程解即可
求微分方程的通解的过程中不需要完全等价改写、变换,只需要通过改写,能够求得满足通解定义的微分方程的解即可,也不需要求出微分方程的所有解. 这样也就使得在求解过程中能够将有些过程做特殊化处理来简化计算过程.
【注】课件中例题与练习参考解答请参见对应的后续推文,或者通过公众号底部菜单 高数线代 下的 高等数学概率其他 选项,在打开的导航列表中通过“高等数学”面板查看各章节推送推文列表!