[論文レビュー] A package on formal power series

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

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

ひとこと要約

この論文では、有理関数、指数関数、および超幾何関数をその同等の形式的ローラン＝プンケーゼル級数に自動変換する Mathematica パッケージである PowerSeries を提示する。微分方程式および漸化式の生成アルゴリズムを実装しており、高精度かつ高効率にハンセンの古典的級数表の結果を再現できる。

ABSTRACT

Formal Laurent-Puiseux series are important in many branches of mathematics. This paper presents a {\it Mathematica} implementation of algorithms developed by the author for converting between certain classes of functions and their equivalent representing series. The package { t PowerSeries} handles functions of rational, exponential, and hypergeometric type, and enables the user to reproduce most of the results of Hansen's extensive table of series. Subalgorithms of independent significance generate differential equations satisfied by a given function and recurrence equations satisfied by a given sequence.

研究の動機と目的

• 特殊関数の形式的べき級数表現を体系的に生成する計算ツールを開発すること。
• 閉形式関数とその同等の級数展開との間を変換するアルゴリズムを実装すること。
• 与えられた関数が満たす微分方程式の自動導出を支援すること。
• 与えられた関数が満たす線形漸化式を生成すること。
• ハンゼンの有名な級数表に掲載された広範な結果を再現可能にすること。
• 古典的解析および常微分方程式の分野における再利用可能で、アルゴリズム的に整合性のあるパッケージを提供すること。

提案手法

• パッケージは Mathematica を用いた記号計算により、関数をその形式的べき級数表現に変換する。
• 有理関数、指数関数、および超幾何関数の専用アルゴリズムを適用し、級数展開を計算する。
• 記号操作のアルゴリズム的手法を用いて、入力関数が満たす線形微分方程式を生成するサブルーチンを実装する。
• 級数の係数から得られる数列の線形漸化式を導出する追加のサブルーチンを提供する。
• モジュラーな構造を採用しており、他の記号計算タスクへの独立した再利用が可能である。
• ローラン＝プンケーゼル級数をサポートしており、展開における分数乗および特異点を扱える。

実験結果

リサーチクエスチョン

• RQ1 記号計算を用いて、有理関数、指数関数、および超幾何関数の形式的べき級数を体系的に計算する方法は何か？
• RQ2 与えられた関数から微分方程式を自動生成するためのアルゴリズム的アプローチは何か？
• RQ3 級数係数のための漸化式をアルゴリズム的に導出し、級数展開を再構築するために使用できるか？
• RQ4 このパッケージは、ハンゼンの包括的な級数表に掲載された結果をどの程度再現できるか？
• RQ5 形式的ローラン＝プンケーゼル級数は記号計算における役割を果たし、実装においてどのような実用的意義を持つのか？

主な発見

• PowerSeries パッケージは、広範な関数クラスをその形式的べき級数表現に自動変換することに成功した。
• 入力関数が満たす微分方程式をアルゴリズム的に正確に生成し、関数の挙動のより深い分析を可能にした。
• 級数係数のための漸化式を生成し、効率的な級数計算および検証に不可欠な要素を提供した。
• 実装により、ハンゼンの広範な級数表のほとんどすべての結果を再現可能であり、その正確性と実用性を検証した。
• 微分方程式および漸化式生成のためのサブアルゴリズムは、独立した重要性を有し、他の記号計算の文脈でも再利用可能である。
• このパッケージは、高度な記号計算アルゴリズムをユーザーがアクセス可能な Mathematica 環境に統合する可能性を示した。