[論文レビュー] Remarks on hypergeometric Cauchy numbers

Miho Aoki, Takao Komatsu|arXiv (Cornell University)|Feb 15, 2018

Advanced Mathematical Identities参考文献 29被引用数 10

ひとこと要約

本稿は、超幾何関数を用いて古典的カウチ数を一般化する、超幾何的カウチ数 $c_{N,n}$ の行列式表現を導入する。ヘッセンベルグ行列を用いて明示的な公式を導出し、$c_{N,n}/n!$ と $N/(N+n)$ の間の逆関係を確立する。これは、ベルヌーイ数やオイラー数に対する既知の行列式恒等式をカウチ数の場合に拡張するものである。

ABSTRACT

Hypergeometric numbers can be recognized as one of the most natural extensions of the classical Cauchy numbers in terms of determinants, though many kinds of generalizations of the Cauchy numbers have been considered by many authors. In addition, there are some relations between the hypergeometric Cauchy numbers and the classical Cauchy numbers. In this paper, we give the determinant expressions of hypergeometric Cauchy numbers and their generalizations, and show some interesting expressions of hypergeometric Cauchy numbers.

研究の動機と目的

• 古典的カウチ数を超幾何関数を用いて一般化し、超幾何的カウチ数 $c_{N,n}$ を定義すること。
• 超幾何的カウチ数 $c_{N,n}$ 及びその一般化 $c_{N,n}^{(r)}$ の明示的行列式表現を導出すること。
• ヘッセンベルグ行列を用いて、$c_{N,n}/n!$ と有理数列 $N/(N+n)$ の間の逆関係を確立すること。
• ベルヌーイ数やオイラー数に対する既知の行列式恒等式を、カウチ数の枠組みへ一般化すること。

提案手法

• 生成関数 $1 / {}_2F_1(1,N;N+1;-x)$ を用いて超幾何的カウチ数を定義し、対数級数と関連付ける。
• トゥルーデの公式およびブリオシュの恒等式を用いて、ヘッセンベルグ行列の行列式を多項係数の形に表現する。
• 補題7を適用し、列 $\alpha_n$ と $R(n)$ の間の逆公式を導出し、$c_{N,n}/n!$ と $N/(N+n)$ を結びつける。
• 再帰的行列式構造を用いて、一般化された超幾何的カウチ数 $c_{N,n}^{(r)}$ の一般式を導出する。
• 行列の逆行列関係 $A^{-1} = D_r$-行列を用いる。ここで $A$ は $c_{N,k}^{(r)}/k!$ から構成される下三角ヘッセンベルグ行列である。
• 組合せ恒等式を用いて、$c_{N,n}$ を整数分割の和として、多項係数と有理数係数を伴って表現する。

実験結果

リサーチクエスチョン

• RQ1 超幾何的カウチ数は、どのようにヘッセンベルグ行列の行列式として表現できるか？
• RQ2 $c_{N,n}/n!$ と $N/(N+n)$ の間の逆関係は、行列形式でどのように表されるか？
• RQ3 一般化された超幾何的カウチ数 $c_{N,n}^{(r)}$ は、古典的ケースをどのように拡張するか？
• RQ4 古典的数列（例：ベルヌーイ数、オイラー数）の行列式構造が、この超幾何的枠組みで統一可能か？
• RQ5 $c_{N,n}$ の行列式恒等式の背後にある組合せ的解釈または生成関数の構造は何か？

主な発見

• 超幾何的カウチ数は、$c_{N,n} = n! \sum_{t_1+2t_2+\cdots+nt_n=n} \binom{t_1+\cdots+t_n}{t_1,\dots,t_n} (-1)^{n-t_1-\cdots-t_n} \left(\frac{N}{N+1}\right)^{t_1} \cdots \left(\frac{N}{N+n}\right)^{t_n}$ を満たす。
• 有理数 $\frac{N}{N+n}$ は、対角線およびその下に $\frac{c_{N,k}}{k!}$ を持つ $n \times n$ ヘッセンベルグ行列の行列式に等しい。
• $r=1$ の場合、古典的カウチ数は $c_n = n! \sum_{t_1+\cdots+nt_n=n} \binom{t_1+\cdots+t_n}{t_1,\dots,t_n} (-1)^{n-t_1-\cdots-t_n} \left(\frac{1}{2}\right)^{t_1} \cdots \left(\frac{1}{n+1}\right)^{t_n}$ により回復される。
• 行列 $A = \left( \frac{c_{N,k}^{(r)}}{k!} \right)$ の逆行列は行列 $D_r$ に等しく、$D_r(n)$ は $c_{N,k}^{(r)}/k!$ からなるヘッセンベルグ行列の行列式として定義される。
• 関係式 $\alpha_n = \sum_{t_1+\cdots+nt_n=n} \binom{t_1+\cdots+t_n}{t_1,\dots,t_n} (-1)^{n-t_1-\cdots-t_n} R(1)^{t_1} \cdots R(n)^{t_n}$ が成り立ち、ここで $\alpha_n$ と $R(n)$ は互いに逆列である。
• 生成関数 $\frac{1}{{}_2F_1(1,N;N+1;-x)}$ は $c_{N,n}$ を生成し、その構造はカミロンの作用素理論が示すように、数列に対する組合せ的演算を反映している。