[論文レビュー] Yet Another Characterisation of Classical Orthogonal Polynomials?

K. Castillo, G. Gordillo-Núñez|arXiv (Cornell University)|Mar 9, 2026

Mathematical functions and polynomials被引用数 0

ひとこと要約

要約: 本論文は、Maroni の二重性を局所凸空間上で用い、ボーグナーの古典直交多項式の分類を拡張し、離散的リニア格子を含む統一的な連続・離散ケースを提示し、ベessel 多項式の役割を明確にする。

ABSTRACT

The NIST Handbook of Mathematical Functions (2010) and the NIST Digital Library of Mathematical Functions (2025) classify classical orthogonal polynomials through Bochner's 1929 algebraic-differential characterisation and its discretisation. Yet this classification rests on a narrow reading of Bochner's work and on a restricted notion of orthogonality that becomes inadequate once polynomials are characterised by their algebraic properties. As a result, algebraically equivalent families are treated as distinct, parameter domains are restricted, and families already implicit in Bochner's scheme are excluded. In the mid-1980s, Maroni challenged this view by extending the notion of classical orthogonal polynomials through duality theory on locally convex spaces, thereby reaching the algebraic limits latent in Bochner's framework. Yet when the notion was later enlarged to include further families, Maroni's criteria and rationale were largely set aside. To clarify this history, we revisit a less familiar line of development and use it to obtain a classification of classical orthogonal polynomials on linear lattices within Maroni's functional-analytic setting, beyond the positive-definite case. This classification recovers all known families as special cases, preserves orthogonality and the defining algebraic properties, places supposedly new families in their proper structural context, and shows that algebraically identical polynomials are often treated as distinct. Moreover, through a limit process in the weak topology of the continuous dual, we recover families implicit in Bochner's work and unify the continuous and discrete cases within a dual-topological framework. Thus, neither Bochner's classical characterisation nor its discrete analogue is modified to produce ad hoc families; both are recovered at the level of their intrinsic algebraic structure.

研究の動機と目的

• 正定値計量と OPRL を越えた古典直交多項式のより広い、代数的理解を動機づける。
• Bochner から Maroni、Krall–Geronimus への歴史的発展を、局所凸空間の双対性を通じて明確にする。
• 既知の族を回収し、見かけ上の新しいものを明確化する、標準的でパラメータを含む枠組みを提供する。
• 連続ケースと離散（リニア格子）ケースが統一的な双対・トポロジー設定に適合することを示す。

提案手法

• 多項式のためのトポロジー LF-space（線形誘導極限）フレームワークを採用し、この空間上の連続線形汎関数を研究する。
• 二項式 D(phi a) = psi a の Bochner 型方程式を双対の形で定式化し、phi, psi は次数が有界な多項式とする。
• 同値変換の下での同値類として標準的な族を導入し、多項式族を分類する。
• 代数的特性と関数的性質を結ぶために、演算子の転置（平移・拡大など）と双対性を用いる。
• 4 つの主要な Bochner 家族（Hermite、Laguerre、Jacobi、Bessel）が、正定値制約を越えた Maroni の設定の中に現れることを実証する。

実験結果

リサーチクエスチョン

• RQ1 リニア格子上の古典直交多項式を、正定値測度を超えた汎用的な関数解析・双対フレームワークでどのように特徴づけられるか？
• RQ2 連続ケースと離散ケースはMaroni の二重性理論の同じ代数構造の下でどのように統一されるのか？
• RQ3 正定値の制約を受けない場合、古典族の標準的な同値類はどのようになるのか？
• RQ4 Bochner、Geronimus、Krall の結果は、統一的な関数解析的定式化の中でどのように位置づけられるのか？
• RQ5 代数的に同一の多項式がパラメータ領域によって別物として現れることはあるのか？同値類を通じて明らかにできるか？

主な発見

• 既知の古典族は、標準的な双対-トポロジー枠組みの特別なケースとして回収される。
• 正定値設定を越えても、直交性と定義的代数的性質が保存される。
• 提案手法は、パラメータ領域に起因する冗長性を明確化し、 purportedly 新しい族を適切な構造的文脈に置く。
• 連続的デュアルの弱位相における極限過程は、Bochner の研究に含まれる族を回収する。
• 連続と離散（線形格子）ケースは Bochner の分類や Koekoek–Lesky–Swarttouw の分類を変更することなく統一される。
• 離散と連続の理論は、同じ内在的な代数構造の異なる実例として示される。