[論文レビュー] On Askey's extension of Clausen's identity and its polynomial perturbation

Dmitrii Karp, Vinay Shukla|arXiv (Cornell University)|Feb 1, 2026

Mathematical functions and polynomials被引用数 0

ひとこと要約

要約: 複 Clausen の恒等式を一般自然数 m に拡張し、シフトされたパラメータを持つ Gauss 超幾何関数の二乗のハイパージオメトリック表現を、2m次数の多項式による摂動で得る。さらに次数 s ≤ 2m+1 の多項式摂動を伴う積へ拡張し、特性多項式を明示的に与える。

ABSTRACT

The celebrated Clausen's identity expresses the square of the Gauss hypergeometric series ${}_2F_{1}(a,b;a+b+1/2;x)$ as a single hypergeometric ${}_3F_2$ series. Goursat showed in 1883 that replacing $1/2$ by $m+1/2$ leads to a hypergeometric series for the square whenever $m$ is a positive integer. Askey found this series explicitly for $m=1$. The first goal of this paper is to extend this result by treating the case of any natural $m$. The ${}_3F_{2}$ series on the right-hand side is thereby replaced by its perturbation by an explicit characteristic polynomial of degree $2m$, i.e., its coefficients are multiplied by values of this polynomial at nonnegative integers. The second goal of this paper is to make one further step and replace the square of the Gauss function by its product with its perturbation by an arbitrary polynomial of degree $s\le{2m+1}$. We show that such product remains hypergeometric and find its explicit form in terms of a polynomial perturbation of the ${}_3F_2$ series. We present an explicit formula for the characteristic polynomial whose degree is shown to be $2m+s$.

研究の動機と目的

• Claussen の恒等式を自然数 m に対する場合の平方根 Gauss 超幾何関数のシフトパラメータに拡張する。
• 右辺の多項式摂動を次数 2m の多項式で導入する。
• 平方関数と摂動の積を、次数 s ≤ 2m+1 の任意の多項式による摂動へ一般化し、明示的な摂動形を得る。
• 摂動を支配する特性多項式の次数を 2m+s とする明示的な多項式を導出する。
• 既知の結果（例：Askey の m=1 の場合）につながる解説的な例を提供する。）

提案手法

• Whipple 型変換と Karlsson の展開から出発し、積を超幾何級数として表現する。
• P(x∂x) を用いて超幾何級数に作用させ、F(a,b|P|x) の多項式摂動を展開する。
• [2F1(a,b;a+b+m+1/2;x)]^2 の摂動を支配する次数 2m の明示的多項式 P_{2m}^{a,b}(t) を導出する。
• F_s 摂動を含む積へ拡張し、次数 2m+s の多項式 P̂_{2m+s}(t) を得、(3.2) および (3.3) を用いた二つの同等表現を提供する。
• 係数を結ぶ補間（ニュートン/ラグランジュ補間）を用いて、有理性・再帰性を確立する。

実験結果

リサーチクエスチョン

• RQ1 Clausen の恒等式を、内側のパラメータのオフセットが任意の m+1/2 の正の整数の場合に拡張できるか？
• RQ2 Clausen 型恒等式における右辺の超幾何関数に対する次数 m の多項式摂動はどう影響するか？
• RQ3 摂動した超幾何積を支配する特性多項式の明示的な形と次数はどうなるか？
• RQ4 平方を s ≤ 2m+1 の任意の次数の多項式で摂動しても超幾何構造を維持できるか？
• RQ5 具体例（例：m=1, m=2）を挙げ、拡張式と高次の超幾何級数を示すことは可能か？

主な発見

• 2F1(a,b;a+b+m+1/2;x) の平方を、次数 2m の多項式摂動 P_{2m}^{a,b}(t) を組み込んだ超幾何級数として表す一般式（定理 2.1）。
• 摂動多項式 P_{2m}^{a,b}(t) の、{}_3F_2 および Pochhammer 記号を含む有限和としての明示的表現（式 2.13）。
• 平方を摂動パラメータを持つ {}_{3+2m}F_{2+2m} として表現できる再構成（Remark 2.2 と関連議論）。
• 次数 s ≤ 2m+1 の多項式摂動 F_s を伴う積への拡張。これにより、帯域幅が広い {}_{2}F_{1}·F_s の積が再度超幾何的になり、次数 2m+s の明示的摂動多項式 ̂P_{2m+s}(t)（定理 3.1）を得る。
• ̂P_{2m+s}(t) の二つの同等表現: (i) (3.2) および (3.3) を介して、(ii) ラグランジュ/ニュートン補間形式（補足 3.6）を介して。
• 特別な場合は既知の結果を回復する：m=0 で Clausen の恒等式、m=1 で Askey の明示的な m=1 の場合（例 1）。
• 未解の問題として、s ≤ 2m+1 の制約は取り除けない；s>2m+1 の場合、右辺の形は高次の摂動を必要とする。