常微分方程第5章.pptVIP

* * 高阶微分方程 线性空间中的微分方程 解对参数(初值)的连续依赖性 解对参数(初值)的连续可微性 例:单摆方程 设 方程两端同乘 得 积分一次得 首次积分 即 分离变量得通积分 椭圆积分！ 单摆在小振动时，方程(1)的线性近似为 充分小时 令 function dx=pendulum(t, x, flags, m, l, b, g) dx=[x(2); -b/m*x(2) - g*l/m*x(1)]; m = 1; l = 1; b = 0; g = 1; % parameters for undamped pendulum figure(1); phaseplot(pendulum, ... [-2*pi 2*pi 20], [-2 2 10], ... boxgrid([-2*pi 2*pi 20], [-2 2 10]), 10, ... m, l, b, g); 有阻尼线性摆情形： 无阻尼非线性摆 进动 设 n 阶微分方程式 这里 x 是自变量， 而 y 是未知函数． 令 则微分方程 (1) 等价于下列 n 阶标准微分方程组： (2) 考虑多个未知函数的高阶微分方程组，如 其中未知函数 的最高微商的阶数分别是2,1,3. 微分方程组(3) 的阶数为n=6. 令 则方程组(3)等价于下面的６阶标准微分方程组： (3) (4) 微分方程组 (2) 和 (4) 的特点是 未知函数的个数等于微分方程本身的阶数． 这类方程组可以写成如下标准形式： （5） 其中 变元 是 在某个区域 D 内的 连续函数． 采用向量的记号，使得微分方程组（5）可以写成更为 简洁的形式． 为此，令 n 维行向量 又令 和 而且规定 则微分方程组（5）的向量形式为 其中 是关于变元 的一个n维向量值函数； (5)的未知函数 在 n 维线性空间 中取值． 即 这里假定 是实数域上的线性空间． 对于上述初值问题Picard定理及Peano定理仍成立！ 在 中任取 , 令 表示 的模(范数), 它可以按不同的方式来定义，如： 第一种定义就是欧氏模；在(2)(3)， 表示向量的模， 等式左边的 而右边的 则是数量的绝对值． 我们可以按上述三种定义中任何一种来理解维向量的模， 他们是等价的． 通常定义在应用上比较方便． 模的基本性质： 对任何 而且 当且仅当 对任何 对任何 线性微分方程组 的向量形式可以写成 其中向量 矩阵 (6) (7) 若采用列向量的写法，即 则微分方程组（6）的向量形式为 这在形式上是与（7）有区别的． (8) 设 和 在区间 上是连续的，则容易证明 线性微分方程组 (8) 满足任何初值条件 的解 在整个区间 上存在而且唯一．