[論文レビュー] Jacobi Type Continued Fractions for the Ordinary Generating Functions of Generalized Factorial Functions

Maxie D. Schmidt|arXiv (Cornell University)|Oct 30, 2016

Advanced Mathematical Theories and Applications被引用数 6

ひとこと要約

本稿では、一般化階乗数列 $ p_n(\alpha,R) = \prod_{0\leq j<n}(R + \alpha j) $ の発散する通常型母関数（OGF）を形式的に列挙するために、ヤコビ型連分数（J-分数）を導入する。これらのJ-分数の有理近似は、正確な形式的べき級数近似をもたらし、スターリング数、調和数、二項係数、および $ m^p - 1 $ に関する新しい恒等式および合同式を可能にする。計算的検証は、関連付けられた Mathematica ノートブックにより実施される。

ABSTRACT

The article studies a class of generalized factorial functions and symbolic product sequences through Jacobi type continued fractions (J-fractions) that formally enumerate the divergent ordinary generating functions of these sequences. The more general definitions of these J-fractions extend the known expansions of the continued fractions originally proved by Flajolet that generate the rising factorial function, or Pochhammer symbol, $(x)_n$, at any fixed non-zero indeterminate $x \\in \\mathbb{C}$. The rational convergents of these generalized J-fractions provide formal power series approximations to the ordinary generating functions that enumerate many specific classes of factorial-related integer product sequences. The article also provides applications to a number of specific identities, new integer congruence relations satisfied by generalized factorial-related product sequences and the $r$-order harmonic numbers, among several other notable motivating examples as immediate applications of the new results. In this sense, the article serves as a semi-comprehensive, detailed survey reference that introduces applications to many established and otherwise well-known combinatorial identities, new cases of generating functions for factorial-function-related product sequences, and other examples of the generalized integer-valued multifactorial, or $\\alpha$-factorial, function sequences. The convergent-based generating function techniques illustrated by the particular examples cited within the article are easily extended to enumerate the factorial-like product sequences arising in the context of many other specific applications.

研究の動機と目的

• 一般化階乗数列の通常型母関数（OGF）が発散する場合でも、ヤコビ型連分数（J-分数）を用いた形式的枠組みを構築し、それらを表現すること。
• J-分数の有理近似を導出し、$ p_n(\alpha,R) $ のOGFに対する形式的べき級数近似として用いること。
• スターリング数の第一種および $ r $-順序調和数を含む、一般化階乗数関連積数列に関する新しい整数合同式関係を確立すること。
• 得られたJ-分数枠組みを用いて、二項係数や $ m^p - 1 $ といった著名な数列の新しい母関数を導出すること。
• 論文に同梱されたオープンソースの Mathematica ノートブック、multifact-cfracs-summary.nb を用いて、結果の計算的検証および拡張を支援すること。

提案手法

• 本稿では、$ p_n(\alpha,R) = \prod_{0\leq j<n}(R + \alpha j) $（$ p_0 = 1 $）により一般化階乗数列を定義し、それらのOGFを形式的べき級数として構築する。
• 発散するOGFに対しても、形式的に近似可能なヤコビ型連分数（J-分数）を用い、$ p_n(\alpha,R) $ のOGFの近似を実現する。
• 記号計算を用いて、補助的近似関数 $ C_{h,n}(\alpha,R) $ および分子関数 $ R_{h,k}(\alpha;z) $ を導出し、これらは近似級数の係数を符号化する。
• アイビーソンブラケット表記およびスターリング数・オイラー数のブラケット表記を用いて、恒等式および合同式の簡略化を図る。
• 恒等式の検証および例の計算（複数の基数における合同式含む）を実施するため、Mathematica ノートブックを用いて枠組みを検証する。
• J-分数近似の係数について、次数5までで閉形式の式を導出し、$ \alpha, R, h, z $ に関する明示的な多項式表現を示す。

実験結果

リサーチクエスチョン

• RQ1 ヤコビ型連分数を用いて、通常発散する一般化階乗数列の通常型母関数（OGF）をどのように形式的に表現できるか？
• RQ2 このJ-分数枠組みを用いることで、第一種スターリング数や $ r $-順序調和数を含む数列に対して、どのような新しい整数合同式関係が導かれるか？
• RQ3 J-分数の有理近似を用いて、二項係数や $ m^p - 1 $ のような数列の新しい母関数を導出できるか？
• RQ4 J-分数の近似における係数多項式の構造は何か？また、パrameter $ \alpha, R, h, z $ にどのように依存するか？
• RQ5 Mathematica などの記号計算ツールをどのように体系的に統合し、導出された恒等式および合同式の検証と拡張を実施できるか？

主な発見

• J-分数の有理近似は、発散する場合でも $ p_n(\alpha,R) $ のOGFに対する正確な形式的べき級数近似を提供する。
• J-分数近似の係数について、次数5までで明示的な多項式表現が得られ、$ \alpha, R, h, z $ を含む項として、例えば $ \alpha^5 h^{10} z^{10} $ や $ R(\alpha+R)(2\alpha+R)(3\alpha+R)(4\alpha+R) $ が含まれる。
• 一般化階乗数関連数列（スターリング数の第一種および $ r $-順序調和数を含む）に関する新しい整数合同式関係が確立された。
• 本手法により、二項係数や $ m^p - 1 $ のような数列に対する新しい母関数が得られ、関連する恒等式は添付の Mathematica ノートブックで検証された。
• 補助的近似関数 $ C_{h,n}(\alpha,R) $ は、形式的べき級数 $ \operatorname{FP}_h(\alpha,R;z) $ における $ z^n $ の係数として定義され、$ h \leq 5 $ に対してその多項式形が明示的に計算された。
• 分子関数 $ R_{h,k}(\alpha;z) $ は $ z $ に関する係数多項式として導出され、$ h=5 $ までで閉形式が得られ、たとえば $ k=4 $ の場合 $ \frac{1}{24}(h-3)(h-2)(h-1) $ となる。