[論文レビュー] Pade approximants for functions with branch points - strong asymptotics of Nuttall-Stahl polynomials

Alexander L. Aptekarev, Maxim L. Yattselev|Sep 2, 2011

Mathematical functions and polynomials被引用数 5

ひとこと要約

本稿は、一般の配置下で、代数対数型の分岐点を有限個もつ関数に対する対角パデ近似の分母の強い漸近的性質を確立する。リーマン＝ヒルベルト問題の技法と非エルミート直交多項式を用いて、極の極限分布が関数を単価正則にする最小容量のカット系（ナッタール＝シュタル曲線）に収束することを証明し、ナッタールの予想（パデ近似の収束域が単価正則性の最大領域に一致する）を裏付ける。

ABSTRACT

Let f be a germ of an analytic function at infinity that can be analytically continued along any path in the complex plane deprived of a finite set of points, f \in\mathcal{A}(\bar{\C} \setminus A), \sharp A

研究の動機と目的

• 有限個の分岐点をもつ関数に対する対角パデ近似の分母の強い漸近的性質を確立すること。
• パデ近似の収束域が単価正則性の最大領域に一致するというナッタールの予想を確認すること。
• パデ近似の極の極限分布が、関数を単価正則にする最小容量のカット系をモデル化すること。
• シュタルによるナッタールの予想の証明を、一般の配置下の代数対数型分岐点へと拡張すること。
• リーマン＝ヒルベルト解析を用いて、複素平面上における直交多項式（ナッタール＝シュタル多項式）の明確な漸近的挙動を導出すること。

提案手法

• 行列値関数 $\mathcal{Y}$ に対するリーマン＝ヒルベルト問題（RHP）を定式化し、パデ近似の構造を符号化する。
• RHP を定常問題に還元するための変換列 $\mathcal{Y} \to \mathcal{T} \to \mathcal{S} \to \mathcal{R}$ を適用する。
• デイフト＝ズーの非線形勾配降下法を用いて、$n \to \infty$ のときの解 $\mathcal{Y}$ の漸近的挙動を解析する。
• 特異関数（例：ベッセル型解）を用いて分岐点近傍の局所パラメトリスを構成し、非解析的ジャンプ行列に対処する。
• 分岐点を避ける変形された輪郭 $\widetilde{\Sigma}$ を除く $\overline{\mathbb{C}}$ のコンパクト集合上で、解 $\mathcal{Y}$ の一様収束性を確立する。
• モデルRHP $\mathcal{R}$ の解と変換行列 $\mathcal{N}$, $\mathcal{P}_e$ からの再構成により、直交多項式の漸近的性質を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限個の代数対数型分岐点をもつ関数に対する対角パデ近似の分母の漸近的挙動はどのように振る舞うか？
• RQ2 パデ近似の極の極限分布は、関数を単価正則にする最小容量のカット系と一致するか？
• RQ3 分岐点が一般の配置にある一般の設定下で、ナッタール＝シュタル多項式の強い漸近的性質を導出できるか？
• RQ4 誤差 $f - [n/n]_f$ の明確な漸近的挙動は、直交多項式と関数 $\Phi$ を用いてどのように記述できるか？
• RQ5 リーマン＝ヒルベルトアプローチは、カット系から離れた複素平面上で近似の一様な漸近的制御をどのように可能にするか？

主な発見

• 対角パデ近似の分母は、$q_n(z) \sim S_n(z) / S_n(\infty)$ の形の強い漸近的性質を満たす。ここで $S_n$ はナッタール＝シュタル多項式である。
• パデ近似の誤差は、$\widehat{\rho} - [n/n]_{\widehat{\rho}} = \frac{S_n^*}{S_n} \frac{h}{\Phi^{2n}} \cdot (1 + \mathcal{O}(1/n))$ を満たし、$D^*$ のコンパクト集合上で一様に成り立つ。
• 近似 $[n/n]_f$ の極の極限分布は、関数 $f$ を単価正則にするすべてのカット系の中で最小の対数的容量を持つ $\Delta$ に収束する。
• リーマン＝ヒルベルト問題の解 $\mathcal{Y}$ は、定数ジャンプ行列を持つモデルRHP $\mathcal{R}$ の解と漸近的に等価であり、$\mathcal{Y} \sim \gamma_\Delta^{n\sigma_3} \mathcal{R} \mathcal{N} \Phi^{n\sigma_3}$ と表せる。
• $\mathcal{R}$ は変換列を経て構成され、$|\upsilon_{nk}| \leq c(\varepsilon)/n$ を満たす。これにより漸近展開の一様収束性が保証される。
• カット $\Delta \setminus E$ 上での $\mathcal{Y}$ の漸近的挙動はジャンプ行列 $\Phi$ に支配され、主要項は $\mathcal{Y}_{11} \sim \mathcal{(RN)}_{11}^+ (\gamma_\Delta \Phi^+)^n$ と表される。これは誤差の指数的減少を確認する。