[論文レビュー] The logarithmic fibbinomial formula

A. K. Kwaśniewski|ArXiv.org|Jun 13, 2004

Mathematics and Applications参考文献 6被引用数 6

ひとこと要約

本稿では、Fib-harmonic対数と非可換 $\nabla_F$-積を定義することで、スティーブン・ローマンの対数的二項係数公式を、フィボナッチ係数に拡張する対数的フィボナッチ二項係数公式を導入する。主な貢献は、Fib-harmonic関数の $\mathbb{R}$-線形包上で微分積分学の基本定理が成り立つ関数計算の枠組みを提供することであり、これによりフィボナッチ二項係数列に対する一般化されたアンブレル計算が可能になる。

ABSTRACT

Roman logarithmic binomial formula analogue has been found . It is presented here also for the case of fibonomial coefficients which recently have been given a combinatorial interpretation by the present author.

研究の動機と目的

• スティーブン・ローマンの対数的二項係数公式をフィボナッチ二項係数の文脈へ拡張し、フィボナッチに基づく組合せ論へ二項型恒等式を一般化すること。
• フィボナッチ二項係数構造を保存し、一般化された有限作用素計算を支援する非可換 $\nabla_F$-積を定義すること。
• Fib-harmonic対数の線形包上で微分積分学の基本定理が成り立つ関数計算の枠組みを確立すること。
• 無限のポセット（「コブウェブ」ポセットと呼ばれる）の部分順序集合としての「自己相似的誕生」型部分ポセットを用いて、フィボナッチ二項係数の組合せ的解釈を提供すること。
• フィボナッチ二項係数への一般化として、$t$-二項性条件を満たす一意的な解としてFib-harmonic対数を定義すること。

提案手法

• $\nabla_F$-積の形式的体系を採用し、$x^{n^{ abla_F}} = \frac{n!}{n_F!}x^n$ を定義することで、$\partial_F x^{n^{ abla_F}} = n x^{(n-1)^{ abla_F}}$ を保証する。
• $\nabla_F$-代数を基盤とする $F$-指数級数 $\exp_F\{x\} = \sum_{k=0}^\infty \frac{x^k}{k_F!}$ を定義する。
• 微分作用素 $\partial_F$ に対して $\partial_F \phi_n^{(t)} = [n_F] \phi_{n-1}^{(t)}$ を満たす解としてフィボナッチ調和対数 $\phi_n^{(t)}$ を導入し、$t=0,1$ が積分の境界を区別する。
• 反差分化作用素 $\partial_F^{-1}$ を、$t=0$ の場合は $\int_0^x d_F$、$t=1$ の場合は $\int_1^x d_F$ として定義し、$\partial_F^{-1} \partial_F = \text{id}_{L_F}$ を満たすようにする。
• フィボナッチ二項係数 $\binom{n}{k}_F = \frac{n_F^\underline{k}}{k_F!}$ を用い、$n_F = F_n$、$n_F! = \prod_{i=1}^n F_i$ とすることで、二項恒等式を一般化する。
• ローマンのハイブリッド二項係数をフィボナッチ係数の文脈へ一般化したフィボナッチ・ローマン係数 $\left[{n \atop k}\right]_F$ を定義する。

実験結果

リサーチクエスチョン

• RQ1 スティーブン・ローマンの対数的二項係数公式を、フィボナッチ二項係数の文脈へどのように一般化できるか。
• RQ2 フィボナッチ二項係数列の背後にある関数計算の構造は何か。また、それにより一般化されたアンブレル計算がどのように支えられるか。
• RQ3 微分積分学の基本定理が Fib-harmonic 対数の線形包上で成り立つような非可換 $\nabla_F$-積を定義できるか。
• RQ4 フィボナッチ二項係数の組合せ的解釈は、無限の「コブウェブ」ポセットの部分順序集合としてどのように表現できるか。
• RQ5 Fib-harmonic 対数は古典的調和対数をどのように一般化するのか。また、それらの定義に必要な $t$-二項性条件は何か。

主な発見

• 対数的フィボナッチ二項係数公式は、$\lambda_n^{(t)}(x+a) = \sum_{k \geq 0} \left[{n \atop k}\right]_F \lambda_{n-k}^{(t)}(a) x^k$ として確立され、ローマンの公式がフィボナッチ二項係数へ拡張される。
• Fib-harmonic 対数 $\phi_n^{(t)}$ は $\partial_F \phi_n^{(t)} = [n_F] \phi_{n-1}^{(t)}$ を満たす一意的な解として定義され、$\phi_n^{(0)}(x) = x^n$（$n \geq 0$）であり、$\phi_n^{(1)}(x) = x^n(\ln x - f_n)$（$n \geq 0$）である。ここで $f_n = \sum_{i=1}^n \frac{1}{i_F}$ である。
• 反差分化作用素 $\partial_F^{-1}$ は $\partial_F^{-1} \partial_F = \text{id}_{L_F}$ を満たし、これにより空間 $L_F = \text{span}\{\phi_n^{(t)}\}_{n \in \mathbb{Z}, t=0,1}$ 上で微分積分学の基本定理が成立する。
• フィボナッチ・ローマン係数 $\left[{n \atop k}\right]_F$ はローマンのハイブリッド二項係数を一般化し、$n,k \geq 0$ のとき $\left[{n \atop k}\right]_F = \binom{n}{k}_F$ を満たし、$\left[{n \atop k}\right]_F = \left[{n-1 \atop k-1}\right]_F + \left[{n-1 \atop k}\right]_F$ を満たす。
• フィボナッチ二項係数 $\binom{n}{k}_F = \frac{n_F^\underline{k}}{k_F!}$ は、「コブウェブ」ポセットにおけるレベル $F_k$ からレベル $F_n$ への最大鎖の数を数える。これは組合せ的解釈を提供する。
• $\nabla_F$-積は非可換である：$n \neq k$ のとき、$x^{n^{ abla_F}} \ast_F x^{k^{ abla_F}} = \frac{n!}{n_F!} x^{(n+k)^{ abla_F}} \neq \frac{k!}{k_F!} x^{(n+k)^{ abla_F}} = x^{k^{ abla_F}} \ast_F x^{n^{ abla_F}}$ である。