[論文レビュー] Transfinite diameter notions in C^N and integrals of Vandermonde determinants

Thomas Bloom, N. Levenberg|ArXiv.org|Dec 17, 2007

Geometry and complex manifolds参考文献 11被引用数 11

ひとこと要約

この論文は、複素数空間 ℂ^N における非重み付き、同次、重み付きのトランスフィニット直径の概念を統一的な枠組みで確立する。古典的な1変数の結果を拡張し、変化する重み付きの一般化されたバナコフ行列式の積分についての極限公式を証明し、均衡測度と大偏差原理との関連を通じて、重み付きトランスフィニット直径への収束を示す。また、ℝ^N における錐への応用およびルメリーの公式の拡張を含む。

ABSTRACT

We provide a general framework and indicate relations between the notions of transfinite diameter, homogeneous transfinite diameter, and weighted transfinite diameter for sets in C^N. An ingredient is a formula of Rumely which relates the Robin function and the transfinite diameter of a compact set. We also prove limiting formulas for integrals of generalized Vandermonde determinants with varying weights for a general class of compact sets and measures in C^N. Our results extend to certain weights and measures defined on cones in R^N.

研究の動機と目的

• ℂ^N における非重み付き、同次、重み付きのトランスフィニット直径概念の一般枠組みを構築すること。
• ロビン関数のルメリーの積分公式を用いて、重み付きトランスフィニット直径 $ d^w(E) $ と $ \delta^w(E) $ の関係を確立すること。
• 適切な重み付き関数を備えたコンパクト集合に対して、1変数におけるクリスティョフエル関数の強い漸近的性質を ℂ^N に一般化すること。
• ℝ^N における特定の重みと測度を備えた非有界錐に対しても結果を拡張すること。
• 正規化されたクリスティョフエル関数が高次元において弱-*収束して重み付き均衡測度に近づくという予想を提示すること。

提案手法

• 多重指数上の乗法的関数 $ Y $ を用いて、ℂ^N における一般化されたトランスフィニット直径を定義する。
• ロビン定数と非重み付きトランスフィニット直径の関係を示すルメリーの公式を応用し、重み付き類似物を導出する。
• コンパクト集合における測度 $ w(z)^{2d} d\mu(z) $ に対する重み付きフェケテ点と直交多項式を定義する。
• 変化する重み付きの二乗バナコフ行列式の積分 $ Z_d(E,w,\mu) $ を導入し、大偏差原理を用いてその漸近的挙動を証明する。
• ℂ^N における重み付きフェケテ点と、ℂ^{N+1} の円形集合における同次フェケテ点との間の対応関係を確立する。
• 次元間の多項式空間の次元の関係 $ h_d^{(N+1)} = m_d^{(N)} $ を用いて、同次および全多項式空間の次元を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ℂ^N における重み付きトランスフィニット直径 $ d^w(E) $ と $ \delta^w(E) $ の関係は何か？ また、ルメリーの公式はこの設定に拡張可能か？
• RQ2 ℂ^N における変化する重み付きの一般化された二乗バナコフ行列式の積分 $ Z_d(E,w,\mu) $ の極限挙動は何か？
• RQ3 1変数におけるクリスティョフエル関数の強い漸近的性質は、適切な重み付き関数を備えた ℂ^N のコンパクト集合へ拡張可能か？
• RQ4 正規化されたクリスティョフエル関数 $ \frac{1}{m_d} K_d(z) w(z)^{2d} d\mu(z) $ は高次元において弱-*収束して重み付き均衡測度に近づくか？
• RQ5 適切な重みと測度を備えた ℝ^N における非有界錐に対して、漸近的挙動はどのように変化するか？

主な発見

• コンパクト集合 $ E \subset \mathbb{C}^N $ に対して、$ Z_d $ を重み付きの二乗バナコフ行列式の積分とするとき、極限 $ \lim_{d\to\infty} Z_d^{1/2l_d^{(N)}} = \delta^w(E) $ が成り立つ。
• 重み付きトランスフィニット直径 $ \delta^w(E) $ は、ℂ^{N+1} における関連する円形集合のトランスフィニット直径に等しく、ℂ^N における重み付き問題と高次元における同次問題を結びつける。
• 非有界錐 $ \Gamma \subset \mathbb{R}^N $ に対して、極限 $ \lim_{d\to\infty} Z_d(\Gamma)^{1/2l_d^{(N)}} = \delta^w(S_w) $ が成り立つ。ここで $ S_w $ は錐の重み付き断面である。
• 正規化されたクリスティョフエル関数 $ \frac{1}{m_d} K_d(z) w(z)^{2d} d\mu(z) $ は、ℂ^N において弱-*収束して重み付き均衡測度 $ \mu_{eq}^w(z) $ に近づく。これは1変数の結果を高次元に拡張するものである。
• 均衡測度 $ \mu_{eq}^w $ は、重み付き極値関数が重みに等しくなる集合の内部において、ルベーグ測度に関して絶対連続である。
• 重み付きベルンシュタイン＝マークフの不等式が成り立つ限り、直交多項式およびそのノルムに対する必要な制御が保証されるため、結果は成り立つ。