[論文レビュー] Fine asymptotics for Bergman polynomials over domains with corners

Nikos Stylianopoulos|ArXiv.org|May 26, 2009

Holomorphic and Operator Theory参考文献 25被引用数 5

ひとこと要約

本稿は、角を持つ分岐境界をもつ領域におけるベルグマン多項式の精密漸近展開を確立し、先導係数と多項式ノルムが $1/n$ のオーダーで減少すること、および $p_n(z)$ の漸近公式における誤差項が $O(1/\text{dist}(z,\Gamma)\sqrt{n})$ で有界であることを証明する。これらの結果は、カルレマンとシューティンの古典的業績を滑らかでない領域へと拡張し、数値的予想を裏付け、零点分布および根漸近の精度を高める。

ABSTRACT

We consider the series of the Bergman orthogonal polynomials associated with a bounded simply-connected domain in the complex plane, whose boundary is a Jordan curve. These are the polynomials that are orthonormal with respect to the area measure on the domain. The purpose of this note is to report on recent results regarding the fine asymptotic behaviour of the the leading coefficients and the polynomials in the complement of the domain, in cases when the boundary includes corners. These results complement an investigation started in the 1920's by T. Carleman, who obtained the fine asymptotics for domains with analytic boundaries and carried over by P.K. Suetin in the 1960's, who established them for domains with smooth boundaries.

研究の動機と目的

• 滑らかでない領域、特に角を持つ領域におけるベルグマン多項式の精密漸近解析における長年のギャップを解消すること。
• 先導係数漸近展開における誤差 $\alpha_n \approx C/n$ を示唆する数値的予想を検証すること。
• 従来、解析的・滑らかな境界に限って成り立っていたカルレマンおよびシューティンの結果を、特異点のない分岐解析的境界を持つ領域へと拡張すること。
• 領域 $\Omega$ の外部領域における $p_n(z)$ の漸近展開に対する鋭い誤差評価を確立し、既存の結果を改善すること。

提案手法

• 無限遠点で正規化されたコンフォーマル写像 $\Phi: \Omega \to \{ |w| > 1 \}$ を用い、ベルグマン多項式を $\Phi^n(z)\Phi'(z)$ の形で表現する。
• ポテンシャル論的および複素解析的技法を用いて、角の近くにおける $\lambda_n$ および $p_n(z)$ の挙動を分析する。
• 境界 $\Gamma$ の分岐解析的構造を活用し、$\Phi$ および $\Psi = \Phi^{-1}$ の導関数の推定に基づいて誤差評価を導出する。
• 半円領域からの数値データを用いて、$\alpha_n$ の $1/n$ 減少率に関する予想を動機づけ、検証する。
• $|A_n(z)|$ に対して、$\text{dist}(z,\Gamma)$ および $n$ に依存する一様な評価を確立し、外部領域における収束を保証する。
• ポテンシャル論および直交多項式の既知の結果を応用し、古典的定理の零点位置および根漸近に関する改良を図る。

実験結果

リサーチクエスチョン

• RQ1 角を持つ領域におけるベルグマン多項式の精密漸近的性質は、先導係数公式における誤差項 $\alpha_n$ が $1/n$ のオーダーで減少するか？
• RQ2 外部領域 $\Omega$ における $p_n(z)$ の漸近展開は、$z$ から境界までの距離に依存する $O(1/\sqrt{n})$ の誤差項で一様に有界に保たれるか？
• RQ3 $\Gamma$ に角が存在する場合であっても、$p_n(z)$ の零点は十分大きな $n$ に対して、任意のコンパクト集合 $E \subset \Omega$ を避けるか？
• RQ4 古典的根漸近 $|p_n(z)|^{1/n} \to |\Phi(z)|$ は、分岐解析的境界を持つ領域へと拡張可能か？
• RQ5 $p_n(z)$ の漸近公式における誤差は、$z$ から境界 $\Gamma$ までの距離にどのように依存するか？

主な発見

• 先導係数 $\lambda_n$ は $\frac{n+1}{\pi} \frac{\gamma^{2(n+1)}}{\lambda_n^2} = 1 - \alpha_n$ を満たし、$0 \leq \alpha_n \leq c(\Gamma)/n$ であるため、$1/n$ のオーダーでの減少が確認された。
• 任意の $z \in \Omega$ に対して、ベルグマン多項式は $p_n(z) = \sqrt{\frac{n+1}{\pi}} \Phi^n(z) \Phi'(z) \{1 + A_n(z)\}$ を満たし、$|A_n(z)| \leq \frac{c(\Gamma)}{\text{dist}(z,\Gamma) |\Phi'(z)|} \frac{1}{\sqrt{n}}$ である。これは外部領域における一様収束を示している。
• $p_n(z)$ の零点は、十分大きな $n$ に対して任意のコンパクト集合 $E \subset \Omega$ を避けることが証明され、角を持つ領域であっても、すべての零点は $\overline{G}$ の凸包内に存在することが示された。
• $n$ 次根漸近 $\lim_{n \to \infty} |p_n(z)|^{1/n} = |\Phi(z)|$ は、すべての $z \in \Omega \setminus \{\infty\}$ に対して成り立ち、古典的結果が滑らかでない境界へと拡張された。
• 単位半円領域からの数値的証拠は、$\alpha_n$ が $1/n$ のオーダーで減少することを支持しており、$n = 51$ から $60$ における $s \approx 0.9989$ は $\alpha_n \sim C/n$ を強く示唆している。
• $A_n(z)$ の誤差評価は、$\text{dist}(z,\Gamma)$ に依存する点で鋭く、境界 $\Gamma$ に近づくと収束が遅くなることが示された。