一致逼近

一致逼近

一致逼近是無窮級數的基本概念之一,指一類均勻的逼近。插值方法要求插值函數與被插函數在指定的節點處有相同的函數值及若干階相同的導數.為了提高逼近精度,可以增加插值節點,但增加節點構造的高次插值多項式,往往會產生Runge現象而得不到理想的插值效果.“一致逼近”是要求逼近函數與被逼近函數在整個閉區間上都很接近,可以克服插值逼近的缺陷。

定義


定義一
如果用函數列逼近函數Φ,取與Φ之差的模的上確界
作為與Φ的離差測度,就稱這種逼近是一致逼近,上式中Ω為在其內進行逼近的數集.
若和Φ皆連續,而Ω為緊集,則上確界的符號可改為極大值符號。
定義二
① 對於任意的,在范數
的意義下定義兩個函數的距離:
② 若一個函數序列 在如上定義的距離的意義下滿足
則稱在上一致收斂於f(x).
通常也稱在度量 下的逼近問題為一致逼近問題.

最佳一致逼近


最佳一致逼近多項式

定義 設,,稱
為對於的偏差,稱
為對的最小偏差,或稱最佳逼近.
定義 設,若使得
則稱 是在上的最佳一致逼近多項式或最小偏差逼近多項式,簡稱最佳逼近多項式.

最佳一致逼近多項式的存在性和唯一性

定理1 (Borel,1995)對於任何,在中存在多項式,使得
定理2 設,,則為的最佳一致逼近多項式的充分必要條件是,在上存在一個至少由個點組成的交錯點組。
由該定理可知,若,則在以存在唯一的最佳一致逼近多項式,且最佳一致逼近多項式是的一個拉格朗日插值多項式。
實際求出最佳一致逼近多項式往往比較困難。一般利用下述定理求取最佳一致逼近多項式。
定理3 設在上階可導,且 在上不變號,若是的最佳一致逼近多項式,則端點a與b屬於的交錯點組。