【２】ワイエルシュトラスの近似定理

　任意の周期関数は三角級数近似できるというのがフーリエの定理であるのに対し，任意の関数は多項式で近似できるというのがワイエルシュトラスの近似定理である．

　ここではランダウによる証明の概要を紹介する．はじめにξ＝λｘ＋μの形の変換を行って，区間［ａ，ｂ］を区間［０，１］に変換しておく．ランダウ核

　　Ｄn（ｕ）＝（１−ｕ^2）^n／２∫（１−ｕ^2）^nｄｕ

として，証明の目標は「閉区間ａ≦ｘ≦ｂで連続な関数ｆ（ｘ）は多項式によって一様に近似することができる」＝「任意のεに対し，常に｜ｆ（ｘ）−Ｐ（ｘ）｜＜εとなる多項式Ｐ（ｘ）が存在する」を示すことにある．

　証明は解析的で，かなり長くなるが

　　Ｐn（ｘ）＝∫ｆ（ｕ）Ｄn（ｘ−ｕ）ｄｕ→ｆ（ｘ）

が示されＱＥＤ．Ｐn（ｘ）はｘに関して２ｎ次多項式になっている．

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝