[論文レビュー] On Bivariate s-Fibopolynomials

Claudio Pita-Ruiz|arXiv (Cornell University)|Mar 27, 2012

Advanced Mathematical Theories and Applications参考文献 8被引用数 4

ひとこと要約

本稿では、二変数s-Fibonacci多項式を用いて定義される、s-Fibonomial係数の一般化としての二変数s-Fibopolynomialsを導入する。Z変換と再帰的恒等式を用いて、xおよびyに関する偏微分の閉形式表現を導出し、既知のFibonacci多項式に関する結果を拡張し、微分計算の明示的公式を提供する。

ABSTRACT

In this article we study a generalization of Fibonomials, replacing the Fibonacci sequences by bivariate s-Fibonacci polynomial sequences. We call the obtained objects "Bivariate s-Fibopolynomials".

研究の動機と目的

• s-Fibonomial係数の一般化としての二変数s-Fibopolynomialsの定義とその研究。
• 二変数s-Fibonacci多項式の積を含む数列のZ変換の確立。
• 二変数s-Fibopolynomialsのxおよびyに関する偏微分の明示的公式の導出。
• Fibonacci多項式に関する既知の恒等式を二変数s-Fibonacci設定に一般化すること。
• 代数的および変換に基づく手法を用いて、二変数s-Fibopolynomialsの構造とその微分行動の関係を明らかにすること。

提案手法

• 本稿では、二変数s-Fibopolynomialsを二変数s-Fibonacci多項式の積の比として定義し、それが多項式であることを証明する。
• 数列 ∏_{i=1}^l F_{st_i n + m_i}^{k_i}(x,y) のZ変換を適用し、生成関数フレームワークを確立する。
• Binetの公式および根 α(x,y) と β(x,y) の性質を用いて、再帰的および可除性の恒等式を確立する。
• その構成多項式積のZ変換を活用することで、二変数s-Fibopolynomial数列のZ変換を導出する。
• 二変数s-Fibopolynomialの偏微分 ∂/∂x および ∂/∂y は、再帰的畳み込み恒等式と係数抽出を用いて計算される。
• floor関数、交互の符号、および F_{s(p-2k)n}(x,y) や関連式を含む多項式項を用いて、微分の明示的閉形式表現が導出される。

実験結果

リサーチクエスチョン

• RQ1 二変数Fibonacci多項式の文脈において、二変数s-Fibopolynomialsはどのようにs-Fibonomial係数の一般化として定義できるか？
• RQ2 二変数s-Fibonacci多項式の積を含む数列のZ変換とは何か？また、二変数s-Fibopolynomial数列とどのように関係するか？
• RQ3 二変数s-Fibopolynomialsのxおよびyに関する偏微分の閉形式表現は何か？
• RQ4 s=1 または x=y=1 の特別な場合に、微分の公式は既知の恒等式にどのように還元されるか？
• RQ5 代数的および構造的性質は、二変数s-Fibopolynomialsとその微分行動の間をどのように結びつけるか？

主な発見

• 二変数s-Fibopolynomialがxおよびyの多項式であることが証明され、x=y=1のときには既知のs-Fibonomial係数に一般化される。
• 数列 ∏_{i=1}^l F_{st_i n + m_i}^{k_i}(x,y) のZ変換が導出され、二変数s-Fibopolynomial数列のZ変換の計算が可能になる。
• xに関する偏微分の閉形式表現が確立された： ∂/∂x ⌊n choose p⌋_{F_s(x,y)} = s ⌊n choose p⌋_{F_s(x,y)} * ∑_{k=0}^{⌊(p+1)/2⌋-1} (p-2k)(-y)^{skn} F_{s(p-2k)n}(x,y)。
• yに関する偏微分の閉形式表現が導出された： ∂/∂y ⌊n+1 choose p⌋_{F_s(x,y)} = sp ⌊n choose p⌋_{F_s(x,y)} * [∑_{k=0}^{⌊(p+1)/2⌋-1} (-y)^{sk(n+1)} (F_{s(p-2k)(n+1)-1}(x,y) + (kx)/(py) F_{s(p-2k)(n+1)}(x,y)) - (1+(-1)^p)/4 * (-y)^{sp(n+1)/2 - 1}]。
• s=1 の場合に、公式は既知の恒等式に還元され、∂/∂x F_n(x,y) = ∂/∂y F_{n+1}(x,y) = (nL_n(x,y) - xF_n(x,y))/(x^2 + 4y) が得られ、既存の結果と整合性を確認する。
• p=2,3,4 の明示的例が提供され、低次のケースにおける微分公式の妥当性が検証され、一般構造が裏付けられる。