《高等数学》在信息学科中的应用.doc

高等数学在信息专业中的应用介绍 一、高等数学在计算科学中的应用 随着计算机的发展与普及，继理论分析、科学实验之后，在计算机上用数值计算方法（又称数值分析或计算方法）进行科学与工程计算的科学计算已成为科学研究的又一重要手段。在数值计算方法的理论与实践中处处蕴涵着高等数学的思想与方法。因篇幅有限，仅例举如下几个较为典型的实例。 例１：，自变量的近似值，其绝对误差限记为，的近似值，其绝对误差限记为，相对误差限记为。对在近似值附近泰勒展开： 介于之间。移项，取绝对值得： 。 设与相差不大，可忽略的高次项，于是可得到函数运算的绝对误差限和相对误差限：；。 设多元函数，自变量的近似值，的近似值，函数值的运算误差可用函数的泰勒展开式得到：，于是绝对误差限为： ， 相对误差限为： 。 例2：微积分学中的罗尔定理、积分中值定理在数值积分公式余项证明中的应用 定理： 若在[a,b]上连续，则抛物线求积公式的余项为 ] [] 证明：由N-C（牛顿-柯特斯公式）的余项公式（*）可以得到 ] 但此时，因为被积函数在[]上不再保号，故不可能直接应用积分中值导出抛物线求积公式的余项表达式，那么我们就利用带导数的埃尔米特插值多项式。 构造次数不超过三次的埃尔米特插值多项式作为辅助函数，且要求满足条件： ， ， ， 令 ， ，， 根据前三个插值条件我们可以作二次牛顿插值多项式： ， 由给定的3个插值条件，构造不超过3次的埃尔米特插值多项式。又由应满足插值条件，而节点，，上的线性插值函数也满足条件 。 是的三个零点，因此我们可以设辅助函数： （*）并可以由来求出A。 [+] +A[++] +A 则可以求得 A 把A代入（*）式可以得到 + 设 作辅助函数 （0，1，2） 在[]上有四个两点，根据罗尔（Rolle）定理在[]上至少有三个零点， 又，因此，在[]内至少有四个零点，反复运用（Rolle）定理，在（）内至少有一个零点，我们不妨那它记做，使得， 于是可以得到 4 所以 即 （*） 把 ， ， 代入 （*）式可以得到 ， 另一方面，因抛物线求积公式具有三次代数精度，故它对能精确成立。即有 [] [] 故抛物线求积公式的余项为 此时被积函数在[]上不变号，故可当在[]上连续时，由积分中值定理可以得到 []。 例3：线性代数知识在线性代数方程组迭代法收敛性分析定理中的应用 定理：迭代过程对任给初始向量收敛的充分必要条件是迭代矩阵的谱半径。 证明：必要性:　若迭代过程对任给初始向量收敛，设其收敛于则有。两者相减，得 从而　　　　　　　　 由的任意性，可知迭代矩阵的谱半径。 充分性：若迭代矩阵的谱半径。则非奇异，令，即。与迭代过程相减，得 由于迭代矩阵的谱半径，及的任意性，故 ， 所以迭代过程对任给初始向量收敛。 例4：多元微积分学在线性最小二乘法的法方程建立过程中的应用 用线性最小二乘法建立拟合曲线时，是将拟合函数表示成一组已知函数的线性组合：， 其中为待定参数。 线性最小二乘法的目标为选择待定参数，使对应的残差平方和为最小，即达到最小。 为此，令 。 要使s达到极小，有。由此可得方程组： ，。 引入记号：，，可得方程组： ， 即 上述方程组就是线性最小二乘法中的法方程组。 例5：线性代数在多项式插值唯一性定理证明中的应用。 定理：n+1个节点处满足插值条件的n次代数多项式是唯一的。 证明：欲证的唯一性，只须证的唯一性。 由于满足插值条件。故得如下线性方程组： 即证线性方程组的解存在且唯一。 考察其系数矩阵的行列式： ， 所以线性方程组的解存在且唯一。 从而n+1个节点处满足插值条件的n次代数多项式是唯一的。 例6：微积分在样条函数中的应用 三次样条插值函数：已知f(x)在n+1个互异节点x0＜x1＜x2 …＜xn上的函数值分别为y0，y1，y2, …,yn。三次样