[論文レビュー] Laguerre-Sobolev orthogonal Polynomials and Boundary Value Problems on a semi-infinite domain

Cleonice F. Bracciali, Miguel A. Piñar|arXiv (Cornell University)|Feb 6, 2026

Mathematical functions and polynomials被引用数 0

ひとこと要約

この論文は半線上のSobolev内積に対するLaguerre–Sobolev正正規直交多項式を導入し、それらと古典的Laguerre多項式との関係を導き出し、特異ポテンシャルを有するDirichlet境界値問題に対して完全対角化されたLaguerre–Sobolev スペクトル法を開発し、スペクトル精度を示す数値デモを提示する。

ABSTRACT

We study a family of Laguerre--Sobolev orthogonal polynomials associated with a Sobolev inner product arising from second--order boundary value problems on the semi--infinite interval $(0,+\infty)$. These polynomials generate an orthogonal basis of test functions vanishing at the endpoints and are especially well suited for the spectral approximation of Schrödinger--type problems with singular potentials. Explicit connection formulas with classical Laguerre polynomials are obtained, together with recurrence relations and asymptotic properties of the corresponding coefficients. A generating function involving Bessel functions is also derived. As an application, we develop a fully diagonalized Laguerre--Sobolev spectral method for Dirichlet problems with singular potentials. The method avoids the solution of linear systems and can be implemented recursively. Numerical experiments for a Schrödinger--type equation with inverse--distance potential confirm spectral accuracy and exponential convergence.

研究の動機と目的

• 半線上の二階演算子に関連するSobolev内積に対してSobolev直交多項式族を構成する動機付けと構築。
• 古典的Laguerre多項式との接続公式と漸近特性を開発。
• 生成関数を導出し、特異ポテンシャルを有するDirichlet境界値問題に対して対角化されたスペクトル法を提供。
• Schrödinger型方程式に対する数値実験を通じてスペクトル精度を示す。

提案手法

• BVPに関連するSobolev内積に基づくGram–SchmidtでLaguerre–Sobolev直交多項式S_nを構成し、L_n^{(1)}ベースの関係を得る。
• 接続公式 L_n^{(1)}(x) = S_n(x) + a_{n-1} S_{n-1}(x) を導出し、a_nの再帰と漸近を求める。
• 双曲線展開とBessel関数を含む生成関数（Hardy–Hille型）を得る。
• 基底 S_n(x) x e^{-x/2} を用いた完全対角化スペクトル法を定式化し、Fourier–Sobolev係数を再帰的に計算。
• Sobolevノルム s(n) および係数 f(n) の再帰関係を提供し、線形結合解法を回避する。

Figure 5.1. The solution $u(x)$ and the Fourier-Sobolev partial sums $\mathcal{S}_{n}(u,x)$ for $n=6,9,12,15$ .

実験結果

リサーチクエスチョン

• RQ1 (0, ∞) 上の二階演算子によって誘導されるSobolev内積に対してLaguerre–Sobolev正交多項式族をどのように構築できるか。
• RQ2 Laguerre–Sobolev多項式と古典的Laguerre多項式を結ぶ接続公式・再帰・漸近特性は何か。
• RQ3 特異ポテンシャルを有する半線上のDirichlet問題に対して完全対角化されたスペクトル法を開発できるか、安定性と収束性はどうか。
• RQ4 反距離ポテンシャルを有するSchrödinger型方程式の数値実験はスペクトル精度と指数収束を示すか。

主な発見

• Laguerre–Sobolev族 S_n(x) が構築され、0および∞で一様Dirichlet条件を課すSobolev内積に対して正規化される。
• L_n^{(1)}(x) = S_n(x) + a_{n-1} S_{n-1}(x) という具体的な接続公式を確立し、a_n は再帰で与えられ正の値を取る；a_n = (n+2)/(4λ+2(n+1)−n a_{n-1})。
• a_n の明示的漸近展開を得る：a_n = (n+2)/(n+1) * L_n^{(1)}(−4λ)/L_{n+1}^{(1)}(−4λ) につながり、a_n = 1 − sqrt(4λ)/sqrt(n) + O(1/n) を得る。
• Laguerre–Sobolev多項式の生成関数をBessel関数（Hardy–Hille型）で導出。
• (0, ∞) 上の二階Dirichlet問題に対して完全対角化されたLaguerre–Sobolevスペクトル法を開発し、Fourier–Sobolev係数の再帰計算と線形系解法の回避を実現。
• 距離反転ポテンシャルを持つSchrödinger型方程式の数値実験はスペクトル精度と指数的収束を示す。

Figure 5.2. A logarithmic plot of errors for $n=0,1,\ldots,20$ .