|
一些工程问题的求解涉及到常微分方程的求解,如二阶偏微分方程分离变量后出现常微分方程组。我翻了一下一些资料,希望就常微分方程求解的一些结论做下整理。
1、一般的n阶线性常微分方程如下:
$y^{(n)}+a_{1}(x)y^{(n-1)}+\cdot \cdot \cdot +a_{n-1}y{}'+a_{n}(x)y=f(x)$ (1)
其中 $a_{i}(x)(1\leq i\leq n)$ 与f(x)是定义域上的连续函数。
非齐次:f(x)≠0;齐次:f(x)=0
变系数: $a_{i}(x)$ 是关于x的函数;常系数: $a_{i}(x)=a_{i}$ 是常数
非线性:方程中有y的某一阶导数的乘方项;线性:y的任一阶导数均为一次方,如式(1)
常微分 $y^{(n)}=d^{n}y/dx^{n}$ ,无偏微分
(1)存在定理:任给 $x_{0}\in I$ 与一组初值 $y_{0}^{(i)}(0\leq i\leq n-1)$ ,方程(1)在I上存在唯一的解y满足初值条件。
(2)设 $y_{1},y_{2},\cdot \cdot \cdot ,y_{n}$ 是(1)的齐次形式在I上的一组线性无关的解(一个基本解组), $y^{*}$ 是(1)在I上的任一特解,则(1)的通解为:
$y=c_{1}y_{1}+c_{2}y_{2}+\cdot\cdot\cdot +c_{n}y_{n}+y^{*}$
(3)一般的n阶线性常微分方程,当n≥2时无求基本解组的普遍有效方法。
2、齐次常系数线性常微分方程的求解问题完全归于其特征方程的求解,即一元n阶代数方程求解问题,当2≤n≤4时有根式解。阿贝尔、伽罗华证明:对于一般的一元n次代数方程,n≥5时根式不可解,即无精确代数解法。
由此推论,一般的常系数线性常微分方程,5阶及以上无解析解。
[1]华中科大数学系. 微积分学. 上册[M]. 高等教育出版社, 2008:236-266
[2]李莹. 谈一元n次方程的求解[J]. 科技信息, 2009(30):89-89.
P.S.最近解Helmholtz方程解得好痛苦,就是集肤效应和邻近效应的方程,我还没能顺着推导出结果……
170315
上面所说的解析解,是数学上的解析解,是有限次初等函数运算构成的表达式。
而工程上的解析解analytical solution/closed-form expression,是由计算机常见运算(可能是无穷级数、特殊函数、数值积分)构成的表达式。工程上解析解的要求比数学上的定义弱,只要能用计算机直接计算的自变量构成的表达式,都叫做因变量的解析解。
工程上数值解就是使用数值方法得到的数表,这是对应特定自变量取值的因变量实际值。即使有表达式,本质也是数值拟合的,而不是分析方法得到的。
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-9-1 17:10
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社