[論文レビュー] Logarithmic Potential Theory with Applications to Approximation Theory

Edward B. Saff|arXiv (Cornell University)|Oct 19, 2010

Mathematical functions and polynomials参考文献 19被引用数 40

ひとこと要約

本稿は、複素平面における対数的ポテンシャル論の包括的な紹介を提供し、多項式および有理関数近似への応用を強調している。Fekete点、対数的容量、均衡測度といった基礎的道具を確立し、それらを近似速度、直交多項式、重み付き近似と結びつける。重み付き均衡測度の台の特徴付けに関する主要な結果、および不完全多項式およびFreud型重み付き多項式の収束に関する結果を提示する。

ABSTRACT

We provide an introduction to logarithmic potential theory in the complex plane that particularly emphasizes its usefulness in the theory of polynomial and rational approximation. The reader is invited to explore the notions of Fekete points, logarithmic capacity, and Chebyshev constant through a variety of examples and exercises. Many of the fundamental theorems of potential theory, such as Frostman's theorem, the Riesz Decomposition Theorem, the Principle of Domination, etc., are given along with essential ideas for their proofs. Equilibrium measures and potentials and their connections with Green functions and conformal mappings are presented. Moreover, we discuss extensions of the classical potential theoretic results to the case when an external field is present.

研究の動機と目的

• 近似論への応用を伴う対数的ポテンシャル論の基礎的導入を提供すること。
• 複素近似における対数的ポテンシャル、Fekete点、および極限直径の間の関係を明確にすること。
• 古典的ポテンシャル論に外部場（重み）を含めるように拡張し、重み付き多項式および有理関数近似の解析を可能にすること。
• 近似論における長年の未解決問題、特に近似速度および直交多項式の漸近的挙動を解消すること。
• 特に不完全およびFreud型重みに対して、重み付き多項式の一致極限として表せる関数を特徴付けること。

提案手法

• 多項式のゼロ点における離散測度を用いて、逆数の多項式の大きさを対数的ポテンシャルでモデル化する：$ \log(1/|p(z)|) = \int \log(1/|z-t|) \, d\nu(t) $。
• 外部場 $ Q $ を用いた均衡ポテンシャル論を適用し、変分問題 $ \mu_w \in \arg\min \{ I(\mu) + \int Q \, d\mu \} $ を解く。
• 重み付き均衡測度の台 $ S(\mu_w) $ を特定するために、F汎関数 $ F(K) = \log\text{cap}(K) - \int_K Q \, d\mu_K $ を用いる。
• 支配の原理およびFrostmanの定理を用いて、ポテンシャル論的推定におけるサブハーモニックおよびスーパハーモニック関数を分析する。
• 重み付き設定におけるBernstein-Walshの補題を適用する：$ |w^n P_n(x)| \leq \|w^n P_n\|_{S(\mu_w)} \exp(-n(U^{\mu_w}(x) + Q(x) - c_w)) $。
• コンformal写像およびグリーン関数を用いて、均衡ポテンシャルとコンパクト集合の正則性および境界挙動との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 Fekete点および極限直径は、コンパクト集合の対数的容量およびチエビシェフ定数とどのように関係しているか？
• RQ2 区間 $[-1,1]$ 上の連続関数 $ f(x) = |x| $ に対する最良多項式近似のゼロ点の漸近的分布は何か？
• RQ3 関数が重み付き多項式 $ w^n P_n $ によって一様近似可能となる条件は何か？また、台 $ S(\mu_w) $ の役割は何か？
• RQ4 外部場 $ Q $ の存在が均衡測度および近似速度にどのように影響するか？
• RQ5 Freud型重み $ \exp(-|x|^\alpha) $ を持つ直交多項式の再帰係数の漸近的挙動は何か？

主な発見

• 連結な補集合を持つコンパクト集合 $ E $ に対して、$ E $ 上の解析関数に対する最良多項式近似の速度は、$ E $ の対数的容量によって支配される。
• 凸外部場 $ Q $ に対して、重み付き均衡測度の台 $ S(\mu_w) $ は、$ E $ が実区間であるときには区間であり、F汎関数の最大化によって特定される。
• 区間 $[0,1]$ 上の不完全多項式で $ s/n \geq \theta $ を満たす場合、重み付き均衡測度の台は $ S(\mu_w) = [\theta^2, 1] $ である。これはF汎関数の最大化により導出される。
• Freud重み $ w(x) = \exp(-|x|^\alpha) $（$ \alpha > 1 $）に対して、台は $ S(\mu_w) = [-a_\alpha, a_\alpha] $ であり、$ a_\alpha $ はガンマ関数を用いて表現可能である。
• 連続関数 $ f \in C(E) $ が重み付き多項式 $ w^n P_n $ の一様極限であるための必要十分条件は、$ E \setminus S(\mu_w) $ 上で $ f \equiv 0 $ であることである。正則性および凸性の条件下で成り立つ。
• Freud重み付き直交多項式の再帰係数 $ a_n $ は、$ n \to \infty $ のとき $ a_n \sim c n^{1/\alpha} $ を満たす。これはポテンシャル論的解析により導出される。