[論文レビュー] Computing the Inverse Mellin Transform of Holonomic Sequences using Kovacic's Algorithm

Jakob Ablinger|arXiv (Cornell University)|Jan 2, 2018

Numerical methods for differential equations被引用数 12

ひとこと要約

この論文は、d’Alembertian解を超える線形微分方程式の解法に、Kovacicのアルゴリズムを統合することで、ホロノミックな数列の逆ミンコフスキー変換を計算するHarmonicSumsコンピュータ代数パッケージを拡張する。この手法により、代数的および対数関数を含む反復積分で表される逆ミンコフスキー変換の計算が可能となり、記号積分および特殊関数論における解ける問題のクラスが著しく拡大される。

ABSTRACT

We describe how the extension of a solver for linear differential equations by Kovacic's algorithm helps to improve a method to compute the inverse Mellin transform of holonomic sequences. The method is implemented in the computer algebra package HarmonicSums.

研究の動機と目的

• 既存の手法がd’Alembertian解に限られるという制限を克服すること。
• HarmonicSumsの微分方程式ソルバーを、d’Alembertianでない解に対応させるためにKovacicのアルゴリズムを拡張すること。
• Liouvillian解をもつ微分方程式に帰着するホロノミックな数列の逆ミンコフスキー変換の計算を可能にすること。
• 代数的および対数関数を含む反復積分として逆ミンコフスキー変換を体系的に表現する方法を提供すること。
• 一般化された調和和、二項係数、ネストされた和を含む明示的な例を通じて、本手法の有効性を示すこと。

提案手法

• 数列およびその母関数のホロノミック性を活用し、逆ミンコフスキー変換問題を線形微分方程式の解法に還元すること。
• ホロノミック閉包性を用いて、ミンコフスキー変換 $ F(n) $ のホロノミックな漸化式から、未知関数 $ f(x) $ の線形微分方程式を導出すること。
• Kovacicのアルゴリズムを適用し、d’Alembertian解を超えてLiouvillian解を含む解法を拡張すること。
• 一般解を反復積分および代数関数の形で構成すること。
• 数値的または記号的積分により計算されたミンコフスキー変換 $ F(n) $ の初期値に一致させるために、積分定数を特定すること。
• 一般解と初期条件を組み合わせることで、$ f(x) $ の閉形式表現（逆ミンコフスキー変換）を導出すること。

実験結果

リサーチクエスチョン

• RQ1 Kovacicのアルゴリズムをコンピュータ代数システムに効果的に統合することで、解ける逆ミンコフスキー変換問題のクラスを拡張できるか？
• RQ2 どのようなホロノミックな数列が、d’AlembertianではないがLiouvillian解をもつ微分方程式に帰着するか？
• RQ3 d’Alembertian解が不十分な場合、逆ミンコフスキー変換を反復積分でどのように表現できるか？
• RQ4 代数的および対数関数を含む解を含めるようにソルバーを拡張した場合の計算的影響は何か？
• RQ5 一般化された調和和、二項係数、および非d’Alembertian構造を持つネストされた和に対して、本手法を体系的に適用できるか？

主な発見

• KovacicのアルゴリズムをHarmonicSumsに統合することで、関連する微分方程式がLiouvillian解をもつホロノミックな数列の逆ミンコフスキー変換が計算可能となり、d’Alembertianクラスを超えて拡張された。
• 数列 $ F(n) = \frac{4}{9} \frac{(3n)!}{(2n)!n!} $ に対して、逆ミンコフスキー変換は $ f(x) = \frac{\text{定数}}{\text{代数的および根号を含む式}} $ として表現され、モーメントの一致により定数が決定される。
• 逆ミンコフスキー変換 $ \binom{3i}{i} \frac{1}{i} $ は、三重積分と代数関数を含む解として正しく計算され、最終的な式は $ \frac{\text{定数}}{27x - 4} $ およびネストされた積分を含む。
• $ \binom{4n}{2n} $ の逆ミンコフスキー変換は、$ \frac{1}{\text{根号を含む式}} $ を含む積分として表現され、本手法が対称的な二項係数を扱えることを示している。
• $ \frac{1}{n \binom{3n}{n}} $ の逆ミンコフスキー変換は、$ \frac{1}{\text{平方根の和の立方根}} $ を含む積分として与えられ、特異的かつ多項式でない母関数に対しても本手法の能力を示している。
• 本手法により、$ \binom{3i}{i} \frac{1}{i^2} $ を含む数列の逆ミンコフスキー変換が記号的に計算可能となり、三重積分と対数項を含む解が得られ、高次の特異性に対しても本手法の頑健性が確認された。