[論文レビュー] Algorithmic work with orthogonal polynomials and special functions

Wolfram Koepf|arXiv (Cornell University)|Apr 19, 1994

Polynomial and algebraic computation参考文献 18被引用数 7

ひとこと要約

本稿では、数値代数システム（CAS）における直交多項式および特殊関数の実装のためのアルゴリズム的フレームワークを提示する。これにより、微分方程式、超幾何級数表現、ロドリゲス型公式といった恒等式の自動計算および検証が可能になる。この手法は一般化超幾何関数をサポートし、CASが恒等式の検証にとどまらず、アルゴリズム的にも導出できるようにし、従来の実装を著しく上回る。

ABSTRACT

In this article we present a method to implement orthogonal polynomials and many other special functions in Computer Algebra systems enabling the user to work with those functions appropriately, and in particular to verify different types of identities for those functions. Some of these identities like differential equations, power series representations, and hypergeometric representations can even dealt with algorithmically, i.\ e.\ they can be computed by the Computer Algebra system, rather than only verified. The types of functions that can be treated by the given technique cover the generalized hypergeometric functions, and therefore most of the special functions that can be found in mathematical dictionaries. The types of identities for which we present verification algorithms cover differential equations, power series representations, identities of the Rodrigues type, hypergeometric representations, and algorithms containing symbolic sums. The current implementations of special functions in existing Computer Algebra systems do not meet these high standards as we shall show in examples. They should be modified, and we show results of our implementations.

研究の動機と目的

• 数値代数システムへの直交多項式および特殊関数の統合のための体系的でアルゴリズム的な手法を開発すること。
• 特殊関数を含む恒等式（微分方程式や超幾何級数表現など）を処理する際の従来のCASの限界を解決すること。
• 検証にとどまらず、記号的和やべき級数表現を含む恒等式のアルゴリズム的計算を可能にすること。
• 一般化超幾何関数への拡張を図り、数学文献に見られるほとんどの標準的特殊関数をカバーすること。
• 現在のCASシステムがこれらの関数のアルゴリズム的取り扱いに不足していることを実装を通じて示し、改善策を提案すること。

提案手法

• この手法は、微分方程式やロドリゲス型公式を含む、直交多項式および特殊関数に関連する恒等式の計算および検証にアルゴリズム的手法を用いる。
• 手動入力に頼らず、記号計算を用いて超幾何級数表現やべき級数展開をアルゴリズム的に導出する。
• フレームワークは一般化超幾何関数を中心に構築されており、広範な特殊関数クラスを統一的に表現する基盤を提供する。
• 記号的和に関する恒等式を扱うために記号的総和アルゴリズムを統合し、自動的な操作を可能にする。
• ロドリゲスの公式や超幾何級数表現といった既知の数学的構造を活用して、恒等式の自動導出を実現する。
• 具体的な例を通じて実装の妥当性を検証し、現在のCASシステムが必要なアルゴリズム的深さに欠けていること、および本手法がその限界を克服できることを示している。

実験結果

リサーチクエスチョン

• RQ1 数値代数システムは、単なる検証にとどまらず、直交多項式および特殊関数に関連する恒等式をアルゴリズム的に計算できるように拡張可能か？
• RQ2 一般化超幾何関数は、多様な特殊関数を統一的に表現するフレームワークとしてどの程度有効か？
• RQ3 記号的総和およびべき級数表現は、特殊関数のCAS内において体系的にどのように計算可能か？
• RQ4 現在のCAS実装は、微分方程式やロドリゲス型公式のような恒度式を処理する際に、どのような欠陥を示しているか？
• RQ5 提案されたアルゴリズム的フレームワークは、実装可能であり、現在のシステムよりも正しさと自動化の両面で優れていることを示せるか？

主な発見

• 提案手法により、数値代数システムが微分方程式や超幾何級数表現といった重要な恒等式を、単なる検証にとどまらず、アルゴリズム的に導出できるようになった。
• このフレームワークは、一般化超幾何関数としての表現を通じて、広範な特殊関数クラスを効果的に処理できた。
• 実装の結果、既存のCASシステムが特殊関数のアルゴリズム的取り扱いにおいて必要な基準を満たしておらず、特に記号的和の操作や恒等式の導出において不足していることが明らかになった。
• 本手法はべき級数表現やロドリゲス型公式の自動計算をサポートしており、記号計算における実用的有用性を示している。
• 本手法は、特殊関数をCASに統合するための体系的かつ拡張可能な基盤を提供し、完全なアルゴリズム的機能を実現する。
• 論文に示された例は、提案されたアルゴリズムが現在のCAS実装を機能面および自動化面の両方で上回っていることを示している。