n阶差分方程重根计算公式的一般证明

设(x-a)^n=0,则它的解的形式为a^n,n*a^n,n^2*a^n...,n^(n-1)*a^n

下面采用数学归纳法证明：

即在(x-a)^(n+1)=0时，它的解形式为：a^(n+1),(n+1)*a^(n+1),(n+1)^2*a^(n+1)...,(n+1)^(n)*a^(n+1)

目前设一般形式为(n+1)^s*a^(n+1) , （其中0<=s<=n,不能取到n+1 )

将(n+1)^s*a^(n+1)代入(x-a)^(n+1)中有：

result=SUM { C(n+1,k)*(n+1+k)^s*a^(n+1+k)*(-a)^(n+1-k) } (其中0=< k <=n+1)

result=a^(2*n+2)* SUM { C(n+1,k)*(n+1+k)^s*(-1)^(n+1-k) }

在这里首先n是固定的，先假定s是不变的，然后假定k是不变的，对于{}中的多项式(n+1+k)^s用newton展开有：

result=a^(2*n+2)* SUM { C(n+1,k)* SUM { C(s,k')*(n+1)^k'*k^(s-k') } *(-1)^(n+1-k) } (其中0=< k' <=s)

k在第二个SUM里面是定的,所以运用前面的技巧C(n+1,k)*(n+1)^k'=C(n+1-1,k-1)*(n+1)^(k'-1):

result=a^(2*n+2)* SUM { C(n+1-1,k-1)* SUM { C(s,k')*(n+1)^(k'-1)*k^(s-k') } *(-1)^(n+1-k) } (其中0=< k' <=s)

对(n+1)^(k'-1) 运用newton展开有:

这里(其中0=< k'-1 <=s-1)

result=a^(2*n+2)* SUM { C(n+1-1,k-1)* SUM { C(s,k')* SUM { C(k'-1,k'')*n^k'' } *k^(s-k') } *(-1)^(n+1-k) }

result=a^(2*n+2)* SUM { C(n,k-1)* SUM { C(s,k')* SUM { C(k'-1,k'')*n^(k'-1-k'') } *k^(s-k') } *(-1)^(n+1-k) }

注意由数学归纳法可以知道：

其中最内层的SUM和为0，这个是(x-a)^n=0时解应该满足的条件。

从而得到证明。

n阶差分方程重根计算公式的一般证明相关推荐

3阶差分方程在有重根下的一般计算公式的推导
3阶差分方程在有重根下的一般计算公式的推导设有(x-2)^3=0 用newton二项式定理展开有: C(3,3)*x^3*(-2)^(3-3)+...+C(3,k)*x^k*(-2)^(3-k)+C ...
java实现的三阶贝塞尔曲线_n 阶贝塞尔曲线计算公式实现
n 阶贝塞尔曲线计算公式实现关于贝塞尔曲线是什么,可以用来做什么,这里就不再介绍,如果你还不了解,可以先去看看下面这篇文章:贝塞尔曲线扫盲 1. 效果参考 2. 思路解析百度百科上给出的一般参数公 ...
n 阶贝塞尔曲线计算公式实现
n 阶贝塞尔曲线计算公式实现关于贝塞尔曲线是什么,可以用来做什么,这里就不再介绍,如果你还不了解,可以先去看看下面这篇文章:贝塞尔曲线扫盲 1. 效果参考 2. 思路解析百度百科上给出的一般参数公 ...
60阶单群同构于A5的证明
设$G$是$60$阶的单群,我们来证明他同构于$A_5$,一个比较直观地思路是考虑群表示$\phi:G\to S(\Sigma)$,由同态基本定理得到$$G/{\rm Ker}\phi \simeq ...
n 阶贝塞尔曲线计算公式——Ts实现
文章目录 1.什么是贝塞尔曲线 2.常见贝塞尔曲线 3.贝塞尔曲线通用公式 3.1.贝塞尔曲线通用公式 3.2.思路解析 3.3.实现方法 3.4.效果展示 3.5.Demo下载 4.结束语 1.什么 ...
js-三阶贝塞尔曲线计算公式
/*** 三阶贝塞尔曲线* B(t) = P0 * (1-t)^3 + 3 * P1 * t * (1-t)^2 + 3 * P2 * t^2 * (1-t) + P3 * t^3, t ∈ [0,1 ...
数学建模理论自制笔记2：差分方程及其模型
1.差分方程基础概念: 差分:这里的差分常指向前差分,即对于数列,差分算子为在处的向前差分:向后差分即是指:: 在处的阶差分::其中在处的2阶差分为,反映的是增量的增量: 差分方程:由以及差分所构成的 ...
matlab由频率响应计算差分方程,现代线性系统：使用MATLAB
中译本出版者的话译者的话出版者的话符号一览表全书内容简介前言第1章信号与序列概述基本概念与解说题信号. 序列和系统 IP1. 1 描述连续时间信号 IP1. 2 序列 ...
matlab求解常系数线性差分方程,用matlab实现线性常系数差分方程的求解
用matlab实现线性常系数差分方程的求解数字信号处理课程设计题目: 试实现线性常系数差分方程的求解学院: 专业: 班级: 学号: 组员: 指导教师: 题目:用Matlab实现线性常系数差分方程 ...

n阶差分方程重根计算公式的一般证明

n阶差分方程重根计算公式的一般证明相关推荐

最新文章

热门文章