[論文レビュー] Recurrence relations and applications for the Maclaurin coefficients of squared and cubic hypergeometric functions

Zhong-Xuan Mao, Jing-Feng Tian|arXiv (Cornell University)|Jan 14, 2026

Mathematical functions and polynomials被引用数 0

ひとこと要約

この論文は、複素領域におけるGauss二項 hypergeometric 関数 F^2(a,b;c;z) および F^3(a,b;c;z) のMaclaurin係数について、それぞれ二次および三次の再帰関係を導出し、これを楕円積分や古典多項式に適用し、単調性やClausesの公式の新しい証明といった追加結果を得る。

ABSTRACT

In this paper, we present and prove that the coefficients $u_n$ and $v_n$ in the series expansions $F^2(a,b;c;z) = \sum_{n=0}^\infty u_n z^n$ and $F^3(a,b;c;z) = \sum_{n=0}^\infty v_n z^n$ ($a,b,c,z \in \mathbb{C}$ and $-c otin \mathbb{N} \cup \{0\}$) satisfy second- and third-order linear recurrence relations, respectively, where $F(a,b;c;x)$ denotes the Gaussian hypergeometric function and $\mathbb{C}$ is the complex plane. Our results provide recurrence relations for the Maclaurin coefficients of the squares and cubes of several classical special functions in the complex domain, including zero-balanced Gauss hypergeometric functions, elliptic integrals, as well as classical orthogonal polynomials such as Chebyshev, Legendre, Gegenbauer, and Jacobi polynomials. As applications, we first establish the monotonicity of a function involving Gauss hypergeometric functions and then present a new proof of the well-known Clausen's formula.

研究の動機と目的

• 二乗および三乗のハイパージオメトリック関数をそのMaclaurin係数を通じて研究を動機づける。
• 複素領域でこれらの係数に対する明示的な二次および三次再帰関係を導出する。
• これらの再帰を零平衡ハイパージオメトリック関数、楕円積分、古典正交多項式への適用性を示す。
• 単調性の結果やClausesの公式の新しい証明を含む応用を提供する。

提案手法

• F^2およびF^3をCauchy積で表現し、係数の再帰関係を導出する。
• ハイパージオメトリック方程式を用いて係数を同定することで、多項式同一性へ問題を変換する。
• Fの導関数を計算・操作し、u_nとu_{n±1} の間の関係を得る（定理2.1）。
• F^2のu_nについてα_0(n), α_1(n)の明示的再帰係数、F^3のv_nについてβ_0(n), β_1(n), β_2(n)の明示的再帰係数（定理3.1）。
• 楕円積分の平方/立方および古典多項式（Corollaries 2.x, 3.x）への再帰の特化。
• 再帰の枠組みをハイパージオメトリック表現の単調性へ適用し、Clauserの公式の新しい証明を提供する。

実験結果

リサーチクエスチョン

• RQ1 F^2(a,b;c;z) および F^3(a,b;c;z) のMaclaurin係数は複素領域でどのような再帰関係を満たすか？
• RQ2 これらの再帰を用いて楕円積分や古典的な多項式などの特別関数の係数列を得るにはどうすればよいか？
• RQ3 これらの再帰は単調性の性質や古典的ハイパージオメトリック等式（例：Clauserの公式）へ洞察を与え得るか？

主な発見

• F^2(a,b;c;z) の係数 u_n は二次線形再帰を満たし、u_{n+1}=α_0(n)u_n+α_1(n)u_{n-1}、明示的な α_0(n), α_1(n) を有する。
• F^3(a,b;c;z) の係数 v_n は三次線形再帰を満たし、v_{n+1}=β_0(n)v_n+β_1(n)v_{n-1}+β_2(n)v_{n-2}、明示的な β_0(n), β_1(n), β_2(n) を有する。
• 特定の選択により K(z), E(z), Chebyshev, Legendre, Gegenbauer, Jacobi 多項式の平方/立方およびそれらのシフト／関連形の再帰が得られる。
• 適用として F^2 と F を含む関数の単調性を示す応用があり、Clauserの公式の新しい証明を提供する。
• 結果は複素領域への再帰ベースの係数解析を拡張し、いくつかの古典的な特別関数と関連する。