数学建模课件1..doc

第一章 线性差分方程 这一章我们将要研究线性差分方程解的基本性质及常系数线性差分方程的各种解法．往下我们将看出，要研究线性差分方程解的各种性质，可归结为研究一个序列的性质．为此，我们先简单地介绍实数系列的一些基本性质．在这章中，我们仍用表示所有非整数的集合 1.1　序列与线性差分方程 定义1.1 序列称为是有界的，如果可以找到一个正数，使得不等式 对所有的成立．否则就称序列是无界的． 定义1.2 一个序列被称为是一个零序列，如果相应于任何无论怎样小的正数，都可找到一个正整数（依赖于），使得对于所有，有． 实际上一个零序列，就是收敛到零的一个序列． 定义1.3 如果是一个给定的序列，且存在一个数，使得序列是一个零序列，则这个给定的序列被称为有极限（或被称为收敛于）．这个序列的元素被称为收敛于极限．一个序列有极限，可以表示为 或更简单地表示为：当，． 一个序列，如果它有极限，则称这个序列是收敛的；否则就称此序列是发散的． 定义1.4 序列被称为是单调递增的，如果对于所有的，有；类似地序列被称为是单调递减的，如果对于所有的，有． 定义1.5 序列被称为是衰减振荡的（围绕值），首先序列收剑于；并且这个序列的每个小于的元素之后，总有大于的元素（不必须是下一个），反之亦然． 定义1.6 序列被称为发散至，如果相应于每个无论怎样大的正数，总可以找到一个正数（依赖于），使得对于所有的，都有． 对于序列发散至的情形也有类似的定义：即对于每个绝对值无论怎样大的负数，总可以找到一个正整数，使得对于所有的，有 则称序列发散于至． 定义1.7 如果序列是发散的，但不发散到，也不发散到： (i) 如果序列有界，则称序列是有限的振荡； (ii) 如果序列是无界的，则称序列是无限地振荡． 总结上面的定义，序列或者是收剑的；或者是发散的．每一种都有四种情形，如表1.1． 表.1 收敛序列 发散序列 ：常量； ：发散至； ：有界且单调递增； ：发散到至； ：有界且单调递减； ：有限地振荡； ：衰减振荡． ：无限地振荡． 现举例如下：：常量序列（极限是2）; ：有界且单调递增序列，，即 （极限是1）; ：有界且单调递减序列 即 （极限是5）; ：衰减振荡序列 与 与 ． ：发散至序列 与 即 与皆发散至； 2：发散至序列 ，即发散至； ：有限地振荡序列 ，与 ． 即 不收敛，在轴上下振荡；与，此序列在直线上下振荡，振幅不超过1． 在整个这章中，我们讨论的函数都以作为它的定义域． 定义1.8 令表示负整数的集合．考虑其定义域是的所有实值函数的集合，连同通常的函数加法及一个函数与一个实数乘积的定义，组成了一个向量空间，我们用表示． 容易证明是一个实向量空间．实际上是所有实序列的集合（参看§1.2 例2）． 例1 考虑定义在上的函数 ． 显然，的值域元素是可以用，，，，等等来表示．或用下列来表示．这个表示式对于指数函数的一些性质，显然是有用的．在这种情况下我们看出，是定义在上的递增函数列，且此序列是无界的．作为一个序列，它是不收敛的，故其极限不存在． 研究定义在上的函数，它的定义如下： 及 在这种情况下 ，，等等，用序列记号我们有 在这个序列中，每一个新的项都是其前两项相加而的．的值或数是黄金分割数．显然，且是一个递增的无界函数． 例3 考虑定义在上的函数 在这个序列中前几项为 故这个序列既不递增，又不递减，且容易看出 ． 故此序列是衰减振荡的． 如果，则及均为的元． 事实上，容易证明，对于每个正整数，及均为的元．因为及是上的线性算子．我们引进下面的定义 定义1.9 用 定义了一个阶算子这里．且对于每个 容易证明是上的一个线性算子． 例4 三阶算子 当它作用于函数 时，有 我们指出：及都是属于的元． 现在我们借助于线性算子来定义线性差分方程的概念． 定义1.10 令以及均是的元．如果对于所有，，则 是一个阶线性差分方程．如果，则这个差分方程被称为是齐次的；否则称它为大量齐次的． 如果 , 则这个差分方程可以更紧凑地写成 定义1.10规定了阶差分方程的一个标准型．许多差分方程可以用差分方法化到这种标准型． 例5 函数方程 （1.1） 可以用以下步骤化为标准型； 首先令，，则 其次再令 ，对．所以有 或者写成 即 （1.2） 这就是定义2.3中的标准型． 1.2