函式逼近論
正文
函式論的一個重要組成部分，涉及的基本問題是函式的近似表示問題。在數學的理論研究和實際套用中經常遇到下類問題:在選定的一類函式中尋找某個函式g，使它是已知函式ƒ在一定意義下的近似表示，並求出用g近似表示 ƒ而產生的誤差。這就是函式逼近問題。在函式逼近問題中,用來逼近已知函式ƒ的函式類可以有不同的選擇；即使函式類選定了,在該類函式中用作ƒ的近似表示的函式g的確定方式仍然是各式各樣的;g對ƒ的近似程度（誤差）也可以有各種不同的含義。所以函式逼近問題的提法具有多樣的形式，其內容十分豐富。逼近函式類 給定函式ƒ(x)，用來逼近ƒ(x)的函式一般要在某個較簡單的函式類中找，這種函式類叫做逼近函式類。逼近函式類可以有多種選擇。n次代數多項式，亦即一切形如
（其中α0,α1,…,αn是實數，k＝0，1，…）的函式的集合；n階三角多項式，亦即一切形如
(其中α0,α1,…,αn,b1,b2,…,bn是實數，k=1,2,…）的函式的集合，這些是最常用的逼近函式類。其他如由代數多項式的比構成的有理分式集，由正交函式系的線性組合構成的（維數固定的）線性集，按照一定條件定義的樣條函式集等也都是很有用的逼近函式類。在一個逼近問題中選擇什麼樣的函式類作逼近函式類，這要取決於被逼近函式本身的特點，也和逼近問題的條件、要求等因素有關。 逼近方法 給定ƒ並且選定了逼近函式類之後,如何在逼近函式類中確定作為ƒ的近似表示函式g的方法是多種多樣的。例如插值就是用以確定逼近函式的一種常見方法。所謂插值就是要在逼近函式類中找一個g(x)，使它在一些預先指定的點上和ƒ(x)有相同的值，或者更一般地要求g(x)和ƒ(x)在這些指定點上某階導數都有相同的值。利用插值方法來構造逼近多項式的做法在數學中已有相當久的歷史。微積分中著名的泰勒多項式便是一種插值多項式。此外，在各種逼近問題中，線性運算元也是廣泛套用的一大類逼近工具。所謂線性運算元是指某種逼近方法l，對於被逼近函式 ƒ、g，在逼近函式類中有l(ƒ)、l(g)近似表示它們，並且對於任意實數α、β都有l(αƒ+βg)=αl(ƒ)+βl(g)。線性運算元逼近方法構造方便。一個典型的例子是2π周期的連續函式ƒ(x)的n 階傅立葉部分和Sn(ƒ,x),它定義了一個由2π周期的連續函式集到n階三角多項式集內的線性運算元Sn。Sn(ƒ,x)可以用來近似表示ƒ(x)。除了線性運算元，在逼近問題中還發展了非線性的逼近方法。這方面最基本的工作是上世紀中葉由俄國數學家∏.Л.切比雪夫提出的最佳逼近。1859年切比雪夫結合機械設計問題的研究提出並討論了下述類型的極值問題：已知【α，b】區間上的連續函式ƒ(x),P(x,α0,α1,…,αn)是依賴於參數α0，α1,…,αn的初等函式(如多項式，有理分式)，用P(x, α0，α1，…,αn)來近似表示ƒ(x)，如果產生的誤差用
給出最小誤差時，就把
叫做ƒ(x)在P(x,α0,α1,…,αn)所構成的函式類中的一個最佳逼近元；數值 
叫做ƒ(x)藉助於函式P(x, α0,α1,…,αn)來逼近時的最佳逼近值。切比雪夫研究了P(x, α0,α1,…,αn)是n次多項式（n 是固定整數, α0,α1,…,αn是係數，它們是可以任意取值的參數）的情形。這裡的最佳逼近元
依賴於ƒ，但不是線性依賴關係。所以說切比雪夫的最佳逼近是一種非線性的逼近。 誤差 又稱逼近度。為了衡量函式g對ƒ的近似程度（逼近度），在逼近論中廣泛套用抽象度量空間內的度量概念。對於在逼近問題中經常遇到的一些函式類，常用到的度量有以下幾種：①定義在【α，b】上的全體連續函式C【α,b】中任何兩個函式ƒ(x),g(x)的接近程度可以按公式
作為度量，由它產生的逼近度叫做p次冪逼近度。 函式逼近論的產生和發展概貌 從18世紀到19世紀初期，在L.歐拉、P.-S.拉普拉斯、J.-B.-J.傅立葉、J.-V.彭賽列等數學家的研究工作中已涉及一些個別的具體函式的最佳逼近問題。這些問題是從諸如繪圖學、測地學、機械設計等方面的實際需要中提出的。在當時沒有可能形成深刻的概念和統一的方法。切比雪夫提出了最佳逼近概念,研究了逼近函式類是n次多項式時最佳逼近元的性質，建立了能夠據以判斷多項式為最佳逼近元的特徵定理。他和他的學生們研究了與零的偏差最小的多項式的問題,得到了許多重要結果。已知【α,b】區間上的連續函式ƒ(x),假定
,(n≥0),量
叫做ƒ(x)的n階最佳一致逼近值,也簡稱為最佳逼近值，簡記為En(ƒ)。能使極小值實現的多項式
叫做 ƒ(x)的n階最佳逼近多項式。切比雪夫證明了,在區間【-1,1】上函式xn+1的n階最佳逼近多項式 
必滿足關係式：
。多項式
就是著名的切比雪夫多項式。切比雪夫還證明了,
…＋
是ƒ(x)在【α,b】上的n 階最佳逼近多項式的充分必要條件是：在【α，b】上存在著n+2個點:α≤x1＜x2＜…＜
≤b,在這些點上①
依照i=1,2,…,n+2的次序交錯變號，② 
。點組{x1,x2,…,xn+2} 便是著名的切比雪夫交錯組。 1885年德國數學家K.（T.W.）外爾斯特拉斯在研究用多項式來一致逼近連續函式的問題時證明了一條定理，這條定理在原則上肯定了任何連續函式都可以用多項式以任何預先指定的精確度在函式的定義區間上一致地近似表示，但是沒有指出應該如何選擇多項式才能逼近得最好。如果考慮後一個問題，那么自然就需要考慮在次數不超過某個固定整數 n的一切多項式中如何來選擇一個與ƒ(x)的一致誤差最小的多項式的問題，而這正好是切比雪夫逼近的基本思想。所以可以說切比雪夫和外爾斯特拉斯是逼近論的現代發展的奠基者。
20世紀初在一批傑出的數學家，包括С.Η.伯恩斯坦、D．傑克森、C.de la瓦萊－普桑、H.L.勒貝格等人的積極參加下，開創了最佳逼近理論蓬勃發展的階段。這一理論主要在以下幾個方面取得了很大進展：
①最佳逼近的定量理論 在逼近論中系統地闡明函式的最佳逼近值En(ƒ)（藉助於代數多項式來逼近,或者對2π周期函式藉助於三角多項式來逼近，或藉助於有理函式來逼近等等）的數列當n→∞時的性態和函式ƒ（x）的構造性質（可微性、光滑性、解析性等等）之間內在聯繫的理論統稱為定量理論。下面敘述的定理比較典型地反映出函式的構造性質與其最佳逼近值之間的深刻聯繫。傑克森、伯恩斯坦、A.贊格蒙證明:2π周期函式ƒ(x)具有滿足條件
（簡稱最佳逼近，簡記為
）滿足條件 
,
傑克森、伯恩斯坦等人的工作對逼近論的發展所產生的影響是深遠的。沿著他們開闢的方向繼續深入，到20世紀30年代中期出現了J.A.法瓦爾、Α.Η.柯爾莫哥洛夫關於周期可微函式類藉助於三角多項式的最佳逼近的精確估計以及藉助於傅立葉級數部分和的一致逼近的漸近精確估計的工作。這兩個工作把從傑克森開始的逼近論的定量研究提高到一個新的水平。從那時起，直到60年代,以С.М.尼科利斯基、Α.И.阿希耶澤爾等人為代表的很多逼近論學者在定量研究方面繼續有許多精深的研究工作。
②逼近論的定性理論 切比雪夫發現了連續函式的最佳逼近多項式的特徵，提出了以切比雪夫交錯點組著稱的特徵定理。最佳逼近多項式是惟一存在的。最佳逼近多項式的存在性、惟一性及其特徵定理都是定性的結果，對這些問題的深入研究構成了逼近論定性研究的基本內容。匈牙利數學家A.哈爾在1918年首先研究了用廣義多項式在【α,b】上對任意連續函式ƒ的最佳逼近多項式的惟一性問題。在【α,b】上給定n+1個線性無關的連續函式
。作為逼近函式類可取
，式中α0,α1,…,αn是任意參數。這樣的P(x)稱為廣義多項式。記 
是存在的。哈爾證明,為了對每一連續函式ƒ,惟一,必須而且只須任一不恆等於零的廣義多項式P(x,α0,α1,…,αn)在【α, b】內至多有n個不同的根。在20世紀20～30年代,伯恩斯坦、М.Γ.克列因等人對滿足哈爾條件的函式系
做過很多深入的研究。它在逼近論、插值論、樣條分析、矩量論、數理統計中有著比較廣泛的套用。 關於最佳逼近多項式的切比雪夫特徵定理也有很多進一步的研究和推廣。其中最重要的一個推廣是柯爾莫哥洛夫在1948年做出的，它涉及複平面的閉集上的復值連續函式藉助於復值廣義多項式的一致逼近問題（見複變函數逼近）。
對於lp【α，b】（1≤p<+∞）內的函式ƒ藉助於廣義多項式在p 次冪尺度下的逼近問題也建立了類似的一套定性理論。到50～60年代，經過一些學者的努力，抽象逼近的定性理論建立起來。
③線性運算元的逼近理論 最佳逼近多項式和被逼近函式間的關係除了平方逼近的情形外一般都不是線性關係。線性關係比較簡單，線性運算元比較容易構造。所以在逼近論發展中人們一直非常重視對線性逼近方法的研究，形成了逼近論中一個很重要的分支──線性運算元的逼近理論。針對特定的函式類、特定的逼近問題設計出構造簡便、逼近性能良好的線性逼近方法與研究各種類型的線性逼近方法（運算元）的逼近性能，一直是線性運算元逼近理論的中心研究課題。在這一方面，幾十年來取得了十分豐富的成果。比較著名的經典結果有E.B.沃羅諾夫斯卡婭、G.G.洛倫茨等對經典的伯恩斯坦多項式
的研究；柯爾莫哥洛夫、尼科利斯基等對周期可微函式的傅立葉級數部分和的逼近階的漸近精確估計；40～60年代許多逼近論學者對作為逼近方法的傅立葉級數的線性求和過程逼近性能的研究（包括對傅立葉級數的費耶爾平均、泊松平均、瓦萊·普桑平均等經典的線性平均方法的研究）。50年代初期∏.∏.科羅夫金深入研究了線性正運算元作為逼近方法的特徵，開闢了單調運算元逼近理論的新方向（見線性正運算元逼近）。40年代中期法瓦爾在概括前人對線性運算元逼近的研究成果的基礎上，提出了線性運算元的飽和性概念做為刻畫運算元的逼近性能的一個基本概念，開闢了運算元飽和理論研究的新方向。 ④函式逼近的數值方法 從實際套用的角度來看，要解決一個函式的最佳逼近問題，需要構造出最佳逼近元和算出最佳逼近值。一般說要精確解決這兩個問題十分困難。這種情況促使人們為尋求最佳逼近元的近似表示和最佳逼近值的近似估計而設計出各種數值方法。一個數值方法中包含著有限個確定的步驟，藉助它對每一個函式ƒ可以在它的逼近函式類P(x，α0,α1,…,αn)中求出一個函式作為最佳逼近元的近似解，並且可以估計出誤差。數值方法自然不限於函式的最佳逼近問題。在插值、求積（計算積分的近似值）、函式的展開理論中也都建立了相應的數值方法。近20年來由於快速電子計算機的廣泛套用,數值逼近理論和方法的研究發展很快,成為計算數學和套用數學的重要分支。
除了以上列舉的幾個方向外,還發展了插值逼近、藉助於非線性集（如有理函式）的逼近、聯合逼近、在抽象空間內的逼近等等。
⑤多元函式的逼近 多元函式的逼近問題具有很重要的理論和實踐意義。由於在多元函式的逼近問題中包含了很多為單變元情形所沒有的新的困難，所以多元函式的逼近論比單變元情形的發展要慢得多和晚得多。在多元逼近的情形下已經研究得比較充分的一個基本問題是函式藉助於三角多項式或指數型整函式的最佳逼近階和函式（在一定意義下的）光滑性之間的關係。這一工作主要是由蘇聯學者尼柯利斯基和他的學生們於50～60年代完成的。它除了對函式逼近論本身有重要意義之外，還有很多重要套用。例如，對研究多元函式在低維子流形上的性質，多元函式在一定要求下的開拓問題等都有重要作用。後一類問題的研究屬於泛函分析中的嵌入定理。近年來，在多元函式的線性運算元逼近、插值逼近、樣條逼近和用單變元函式的複合近似表示多元函式等方面都有所進展。
現在函式逼近論已成為函式理論中最活躍的分支之一。科學技術的蓬勃發展和快速電子計算機的廣泛使用給它的發展以強大的刺激。現代數學的許多分支，包括基礎數學中象拓撲、泛函分析、代數這樣的抽象學科以及計算數學、數理方程、機率統計、套用數學中的一些分支都和逼近論有著這樣那樣的聯繫。函式逼近論正在從過去基本上屬於古典分析的一個分支發展成為同許多數學分支相互交叉的、密切聯繫實際的、帶有一定綜合特色的分支學科。
