构造法在微积分中的应用探讨.docVIP

构造法在微积分中的应用探讨 摘要：本文构造了一种带有两个参量的有理三次样条插值，在合理的基础功能 可以由几个相邻的节点在给定的信息结构來实现。然后，构建合理的样条函数的 误差分析模型。最后，我们证明了数据误差对样条数值微分和数值积分的影响。 关键词：构造；有理样条插值；数值微分；数值积分 近些年來，微分学的发展越来越广泛，而作为非线性数学的重要分支之一的 有理逼近，也在数值微分学方面起到了重要的作用。有理插值是非线性逼近的一 个最经典的方法，通常的话，在插值节点的个数比较多的情况下，有理插值的逼 近效果往往会表现的更好一些。虽然呢，众所周知，有理插值有众多的优点，比 如说吧，它在逼近函数时比多项式插值更灵活有效、收敛速度也更快、逼近的效 果也要好许多，而且能保持函数本身的一?些性质，如单调性等等，但是呢，它比 多项式插值也更为复杂，而且还存在着一些难以避免的问题，像存在极点、不可 到达的点等。 本文就是在前人研究的成果丄面，进一步来地讨论和研究有理三次样条函数 的构造问题，并且在此基础上还尝试性地研究有理插值保单调性，通过相关的定 理和推论给出了三次样条函数的数据误差对数值微分和积分的影响。 1有理三次样条函数的构造 设f (x)在区间［a,b］上有定义，构造A: a = Xj x2 - xn = 〃是区间［a,b］的一个 剖分〃对于一组给定的数据｛』)｝；?；,记子区间为勺=和-兀，对于xw ［%和］令 = 当= 1,2,…’-1时,我们构造如下的有理样条 的基函数： 其屮―O,0(m， 其屮―O,0(m，O)=/；(1 -)+(0。 02(1)+/炉 /。(皿,砒 ￡02(1 — 0)+ r，—1— + t. + 斤 0(1-)2 + 斤(1一 0)3 / Q(7； ,* ,)； h /； (1 — ) + 1 i —-—F tj + /*■ 由卩帥 =1,2,3,4的线性组合构成的有理样条函数R,(x),xw 和］,即 氏(尤)=￡皿］()+ 血,20)+ 几1%3(0)+ ￡+2%4() 可以直接验证所构造的样条满足插值条件：R?)*,(和)=扁. 且为C1连续，有理基函数%(O\j = 1,2,3,4满足端点关系〃 构造的三次样条有理插值跟传统的多项式插值等方法相比，有它的丰富的特 有的优点，譬如它的计算量较小，数值的稳定性也比较好，这个是其他方法无法 替代的。同时，我们能够通过选取一组较为合适的最优权就可以使得有理插值达 到我们想要的效果，希望它能够不表现岀来有极点和不可达点的情况。此外加入 保单调的条件，以使得插值保持能够保持有原有的被插值函数的单调性，从而获 得更理想、更好一?些的逼近效果。换一句话说就是，在我们的这个优化模型里面 增添插值函数的一阶导数的符号符号正负这样子的一个限制条件。 同样地呢，我们记心,坷,???,￡ (勺 石???￡ )为A = ［a.b］上的川+ 1个等 距的节点，/?=/(￡), 2 0,1,...,〃呢是它们这些个节点分别对应着的一些函数值。 有理插值公式如下所列： 也就是在此基础上保证R(jc) 0( 0)，其屮 ［无,兀］ ，兀工兀,￡ = ［无,兀］ ，兀工兀,￡ = 0,???儿 L—r 匸0 X-兀 R3 =￡ Wj R3 = n -(E “％ 插值问题屮构造函数有着悠久的历史，插值是指根据给定的-些离散点去构 造一个连续的较为简单的函数，使它与被逼近的函数在给定的点处函数值完全相 同。多项式插值应用较为广泛，但是高次的多项式插值可能会产牛Runge现象这 就使得多项式插值的逼近效果大打折扣。有理插值在插值节点较多时，构造三次 样条插值与多项式插值和有理插值等传统的插值方法比起来，计算量小，而且通 过插值权的选取可以避免极点和不可达点。 2数据误差对样条数值微分的影响 利用三次样条插值函数/?(x)可构造被插值函数，/(兀)的数值微分公式 /r(x)? /r(Q厂(兀卜 叫)?记在节点处有 广(兀)U (i = 0,l,…,司 (2. 1) f\xi)^Mi (z = 1,???,/?) (2. 2) 当函数值数据和边界条件数据分别带有误差刍(心0,1,???,/7)和口(心0‘)吋，则有 近似的三次样条插值函数凤x),其对应和的近似值为 冋=尺匕)皿=/?(易)0=0,1,---, n) 因此，由数据误差引起数值微分公式(2.1) (2.2)的误差为 m. -mi = ^r(xy) Q = 0,1,???,〃) (2. 3)陆一昭=?(兀)(j = 0,l,???,“) (2. 4) 式屮:d(x)为满足条件5(兀J = , = 0,1,???,?)及相应边界条件的三次样条插值函 数。 对I型三次样条情形有如下类似的结论。 可见数据误差对节点处二阶导数的影响是