[論文レビュー] Sobolev orthogonal polynomials: how to balance and asymptotics

Manuel Alfaro, Juan J. Moreno–Balcázar+2 more|arXiv (Cornell University)|Jun 23, 2006

Mathematical functions and polynomials被引用数 1

ひとこと要約

本稿は、無限区間上での測度 $\mu_0$ と $\mu_1$ を用いた重み付き $L^2$ ノルムの組み合わせを最小化する extremal Sobolev 正規直交多項式 $S_{n,\theta_n}$ を研究する。両測度が漸近的挙動に寄与するようにするための $\lambda_n$ のバランス条件を確立し、両 $\mu_0$ と $\mu_1$ が Freud 重みである場合の明確な漸近的挙動を導出し、選択された $\lambda_n$ の最適性を確認する。

ABSTRACT

Let $S_{n,\lambda_n}$ be the extremal varying Sobolev polynomials which minimize \begin{equation*} _{\lambda_n}=\int P^2 d\mu_0 + \lambda_n \int P'^2 d\mu_1, \quad \lambda_n >0 \end{equation*} oindent in the class of all monic polynomials of degree $n$, where the measures $\mu_0$ and $\mu_1$ are supported on an unbounded interval. The goal of this paper is twofold. First, we discuss how to balance both terms of this inner product, that is, how to choose sequence $(\lambda_n)$ such that both measures $\mu_0$ and $\mu_1$ play a role in the asymptotics of $(S_{n, \lambda_n}) >.$ Second, these ideas are applied to the case when both $\mu_0$ and $\mu_1$ are Freud weights. Asymptotics of the corresponding $S_{n, \lambda_n}$ is computed, illustrating the accuracy of the choice of $\lambda_n .$

研究の動機と目的

• Sobolev 正規直交多項式の漸近的挙動に、測度 $\mu_0$ と微分測度 $\mu_1$ が意味的に寄与するように、列 $\lambda_n$ をどのように選べばよいかを特定すること。
• 両 $\mu_0$ と $\mu_1$ が Freud 重みである場合の extremal Sobolev 多項式 $S_{n,\lambda_n}$ の漸近的分布を分析すること。
• Sobolev ノルムにおける多項式項と微分項の間のバランスを保証する $\lambda_n$ の条件を確立すること。
• 選択されたバランス条件の下で、$S_{n,\lambda_n}$ の正確な漸近的挙動を計算し、$\lambda_n$ 選択の妥当性を検証すること。

提案手法

• 本稿は、次数 $n$ の首項多項式の族において、$\|P\|_{\mu_0}^2 + \lambda_n \|P'\|_{\mu_1}^2$ を最小化する極値問題を検討し、その最小化子を $S_{n,\lambda_n}$ と定義する。
• 両 $\mu_0$ と $\mu_1$ が $S_{n,\lambda_n}$ の主要漸近的項に等しく寄与するように、$\lambda_n$ にバランス条件を導入する。
• 両 $\mu_0$ と $\mu_1$ が Freud 重みである場合に注目し、これは $\alpha > 0$ に対して密度 $e^{-|x|^\alpha}$ を持つ測度であり、無限区間上に台を持つ。
• 漸近的解析は、変動重みおよび Sobolev 型内積に適応された直交多項式理論の技法を用いて実施する。
• この手法は、$\mu_0$ における直交多項式の成長と、$\mu_1$ における微分の挙動との間の相互作用に依存し、$\lambda_n$ を介して調整される。
• Sobolev ノルムにおける二つの項の比を分析し、$n$ に対して一様にスケーリングされるように寄与を保証することで、$S_{n,\lambda_n}$ の漸近的挙動を導出する。

実験結果

リサーチクエスチョン

• RQ1 列 $\lambda_n$ をどのように選べば、Sobolev 正規直交多項式 $S_{n,\lambda_n}$ の漸近的分布に、測度 $\mu_0$ と微分測度 $\mu_1$ が両方とも寄与するようになるか？
• RQ2 両 $\mu_0$ と $\mu_1$ が Freud 重みであり、$\lambda_n$ が二つの項をバランスさせるように選ばれた場合、$S_{n,\lambda_n}$ の正確な漸近的挙動は何か？
• RQ3 選ばれた $\lambda_n$ は、$S_{n,\lambda_n}$ の漸近的記述を一貫的かつ正確に反映しており、$\mu_0$ と $\mu_1$ の両方の寄与を反映しているか？
• RQ4 $\lambda_n$ に対するバランス条件は、$\mu_0$ における直交多項式の成長率と、$\mu_1$ における微分の $L^2$ ノルムの成長率に基づいて特徴付けられるか？
• RQ5 $\lambda_n$ の選択と、$\mu_0$ と $\mu_1$ を用いて定義される Sobolev 空間における漸近的ノルム同倣の関係は何か？

主な発見

• 本稿は、$S_{n,\lambda_n}$ の主要漸近的項において、$L^2(\mu_0)$ 項と $L^2(\mu_1)$ 項が等しく寄与するようにする特定の $\lambda_n$ の選択を同定する。
• 両 $\mu_0$ と $\mu_1$ が Freud 重みである場合、$S_{n,\lambda_n}$ の漸近的挙動が明示的に計算され、選ばれた $\lambda_n$ が両測度からの寄与をバランスさせることが確認される。
• $S_{n,\lambda_n}$ の漸近的分布は、$\mu_0$ に関連する均衡測度と、$\mu_1$ が定める微分の挙動の組み合わせによって支配され、$\lambda_n$ がそのトレードオフを制御する。
• $\lambda_n$ のバランス条件は、$\mu_0$ における直交多項式の成長率と、$\mu_1$ における微分の $L^2$ ノルムの成長率を一致させることで導出され、これによりいずれの項も漸近的に優位にならない。
• 得られた漸近的挙動は、$n \to \infty$ の極限において、両測度の影響を完全に捉えているという点で、$\lambda_n$ 選択が最適であることを示しており、理論的バランス基準の妥当性が裏付けられる。
• 本稿は、バランスされた $\lambda_n$ の下で、$S_{n,\lambda_n}$ の漸近的挙動が、$\mu_0$ と $\mu_1$ からの期待されるスケーリングと一貫しており、バランスアプローチの正確性が示されていることを確認する。