[論文レビュー] Strong asymptotics for Christoffel functions of planar measures

Tom Bloom, N. Levenberg|ArXiv.org|Sep 13, 2007

Mathematical functions and polynomials参考文献 13被引用数 4

ひとこと要約

本稿は、複素平面におけるコンパクト集合上での変動重み付きクリスティオフェル関数の強漸近的性質を、重み付きポテンシャル論および複素多変数ポテンシャル論の道具を用いて確立する。正規化されたクリスティオフェル関数が弱-*収束して重み付き平衡測度に至ることを証明し、実直線上での既知の結果を一般化するとともに、変動重み付き平面測度へと拡張する。

ABSTRACT

We prove a version of strong asymptotics of Christoffel functions with varying weights for a general class of sets E and measures in the complex plane. This class includes all regular measures in the sense of Stahl-Totik on regular compact sets E in the plane and even allows varying weights. Our main theorems cover some known results for subsets E of the real line R; in particular, we recover information in the case of E=R with Lebesgue measure dx and weight w(x) = exp(-Q(x)) where Q(x) is a nonnegative, even degree polynomial having positive leading coefficient.

研究の動機と目的

• 実直線から複素平面におけるコンパクト集合へのクリスティオフェル関数の強漸近的性質の拡張を目的とする。
• 一般の平面測度クラスに対して、正規化されたクリスティオフェル関数が重み付き平衡測度に収束することを確立すること。
• 実直線上での既知の結果、特に $ E = \mathbb{R} $ で $ w(x) = \exp(-Q(x)) $ の場合を含め、$ \mathbb{C} $ 内の非極的コンパクト集合へと一般化すること。
• 複素平面における変動重み付き直交多項式を解析するための、$ \mathbb{C}^2 $ における複素多変数ポテンシャル論を用いた統一的枠組みを提供すること。
• 重み付きベルンシュタイン＝マークフ不等式を用いて、『自由エネルギー』の存在および大偏差推定の証明を行うこと。

提案手法

• 文献[3]で開発された $ \mathbb{C} $ 上の重み付きポテンシャル論と $ \mathbb{C}^2 $ 上の複素多変数ポテンシャル論との対応関係を利用する。
• 自由エネルギーの極限の存在を保証するため、重み付きベルンシュタイン＝マークフ不等式を適用し、定理2.1を証明する。
• クリスティオフェル関数の対数のラプラシアンを用いて、測度列 $ \mu_n = \Delta(\frac{1}{2n}\log K_n) $ を定義する。
• $ \mathbb{C} $ 内のコンパクト集合 $ E \subset \mathbb{C} $ において、$ \mu_n $ が重み付き平衡測度 $ \mu_{eq}^w $ に弱-*収束することを証明する。
• 自由エネルギーの極限の存在に依存する大偏差推定（命題4.2）を、標準的ポテンシャル論に基づいて導出する。
• デイフトの本[6]およびバーマンの研究[1,2]の結果の修正を適用し、複素平面におけるユニバーサルティ型結果への拡張を実現する。

実験結果

リサーチクエスチョン

• RQ1 実直線から一般の複素平面におけるコンパクト集合への、変動重み付きクリスティオフェル関数の強漸近的性質の拡張は可能か？
• RQ2 コンパクト集合 $ E \subset \mathbb{C} $、重み $ w $、測度 $ \mu $ に対して、正規化されたクリスティオフェル関数が重み付き平衡測度に収束するための条件は何か？
• RQ3 $ \mathbb{C}^2 $ における複素多変数ポテンシャル論の使用が、複素平面における変動重み付き直交多項式の解析をどのように支援するか？
• RQ4 自由エネルギーが存在する条件は何か？ また、それは直交多項式の大偏差原理とどのように関係するか？
• RQ5 実直線 $ E = \mathbb{R} $、$ w(x) = \exp(-Q(x)) $、$ \mu = dx $ の場合の結果が、非コンパクトまたは非実数の集合へとどの程度一般化可能か？

主な発見

• $ \frac{1}{2n}\log K_n(z) $ は $ \mathbb{C} $ 上で一様収束する。これは、$ \Delta(\frac{1}{2n}\log K_n) $ が重み付き平衡測度 $ \mu_{eq}^w $ に弱-*収束することを意味する。
• 任意のコンパクト集合 $ E \subset \mathbb{C} $ に対して、適切な重み $ w $ と、重み付きベルンシュタイン＝マークフ不等式を満たす測度 $ \mu $ が存在する場合、クリスティオフェル関数は強漸近的性質を満たす：$ \frac{1}{n+1}K_n(x)w(x)^{2n}dx \to d\mu_{eq}^w(x) $ が弱-*収束する。
• トティクの実直線上での強漸近的性質の結果を複素平面へ一般化し、特に $ E = \mathbb{R} $、$ w(x) = \exp(-Q(x)) $、$ Q $ が正の先頭係数を持つ偶数次多項式である場合を含む。
• ベルンシュタイン＝マークフ不等式のポテンシャル論的帰結により、自由エネルギーの存在（定理2.1）が確立される。
• 一般化された $ m $-点相関関数 $ R_m^{(n)} $ は弱-*収束して、$ \mu_{eq}^w $ の $ m $ 個の積に至る。これは、ユニバーサルティ結果を複素平面へ拡張する。
• $ E = \mathbb{R} $、$ w(x) = \exp(-Q(x)) $ の場合、$ \lim_{n\to\infty} \mathcal{Z}_n^{1/n^2} $ の極限が存在し、$ \delta^w(\mathbb{R}) $ に等しい。大規模なコンパクト区間 $ \tilde{E} $ における正規化は、$ w $ の指数的減衰のおかげで極限を保存する。