[論文レビュー] Oresme Polynomials and Their Derivatives

Gamaliel Cerda-Morales|arXiv (Cornell University)|Apr 2, 2019

Advanced Mathematical Theories and Applications参考文献 2被引用数 5

ひとこと要約

本稿では、行列法と再帰関係を用いて、$k$-Oresme数の有理関数への拡張としてOresme多項式を導入し、閉形式のバイネット型公式および導関数に関する畳み込み恒等式を導出する。主な貢献は一般化された二重線形インデックス低減公式と、畳み込み和を含む新規の導関数恒等式である。

ABSTRACT

We study the problem of generalization of Oresme numbers with a new sequence of numbers called Oresme polynomials. Moreover, by using the matrix methods for Oresme polynomials, we obtain the identities including the general bilinear index-reduction formula of these numbers. Further, Oresme polynomials that are natural extensions of the $k$-Oresme numbers are introduced and some relations for the derivatives of these polynomials in the form of convolution are proved.

研究の動機と目的

• 整数パラメータ$k$を実変数$x$に置き換えることで、有理関数の列とされるOresme多項式$O_n(x)$に$k$-Oresme数を一般化すること。
• Oresme多項式の行列表現を確立し、行列式に基づく恒等式、特に一般化されたインデックス低減公式を導出すること。
• Oresme多項式の導関数を調査し、多項式の積の和を含む畳み込み型恒等式を証明すること。
• 数学的帰納法および母関数技法を用いて、$k$-Oresme数の既知の恒等式を多項式設定に拡張すること。

提案手法

• 2階線形再帰式 $O_{n+1}(x) = O_n(x) - \frac{1}{x^2}O_{n-1}(x)$ を用いてOresme多項式 $O_n(x)$ を定義し、初期条件 $O_0(x) = 0$、$O_1(x) = \frac{1}{x}$ を設定する。
• 特性方程式 $x^2 - x + \frac{1}{x^2} = 0$ の根を用いて、$O_n(x)$ のバイネット公式を導出する。その結果、$O_n(x) = \frac{1}{\sqrt{x^2 - 4}}\left(\lambda_1^n(x) - \lambda_2^n(x)\right)$ が得られる。
• $O_n(x)$ を生成する $2 \times 2$ 行列 $M_{or}(x) = \begin{bmatrix} 1 & -\frac{1}{x^2} \\ 1 & 0 \end{bmatrix}$ を構築し、そのべき乗から行列式に関する恒等式を導出する。
• 数学的帰納法を用いて導関数の恒等式を証明し、特に $O_n'(x) + \frac{n}{x}O_n(x) = \sum_{j=1}^{n-1} O_j(x)O_{n-j}(x)$ を示す。
• 行列のべき乗と畳み込み恒等式を用いて、$n \geq 2$ かつ $x \neq 0, \pm 2$ の範囲で有効な二重線形インデックス低減公式を確立する。
• 導関数と多項式値の関係を示す新規の恒等式を証明する：$(n-1)O_n(x) - 2nO_{n+1}(x) = xO_{n+1}'(x) - \frac{1}{x}O_{n-1}'(x)$。

実験結果

リサーチクエスチョン

• RQ1 どのようにして$k$-Oresme数を実変数$x$に関する有理関数の列に一般化できるか？
• RQ2 Oresme多項式の閉形式恒等式を導出可能にする行列表現は何か？
• RQ3 Oresme多項式の導関数に関して、どのような畳み込み恒等式が導かれるか？
• RQ4 $x = 3$ のとき、Oresme多項式のバイネット型公式はフィボナッチ数とどのように関係するか？
• RQ5 $n \to \infty$ のとき、比 $\frac{O_{n+1}(x)}{O_n(x)}$ の漸近的挙動はいかなるものか？

主な発見

• Oresme多項式 $O_n(x)$ は、$x^2 > 4$ のとき、バイネット公式 $O_n(x) = \frac{1}{\sqrt{x^2 - 4}}\left(\lambda_1^n(x) - \lambda_2^n(x)\right)$ を満たす。ここで $\lambda_{1,2}(x) = \frac{x \pm \sqrt{x^2 - 4}}{2x}$ である。
• 行列 $M_{or}^n(x)$ は恒等式 $O_{n+1}(x)O_{n-1}(x) - O_n^2(x) = -\frac{1}{x^{2n}}$ を与え、$k$-Oresme数のカッシーニに類似した恒等式を一般化する。
• $x > 2$ のとき、$\lim_{n \to \infty} \frac{O_{n+1}(x)}{O_n(x)} = \lambda_1(x)$ が成り立ち、これは特性方程式の支配的根に一致する。
• 導関数恒等式 $O_n'(x) + \frac{n}{x}O_n(x) = \sum_{j=1}^{n-1} O_j(x)O_{n-j}(x)$ はすべての $n \geq 2$ に対して成立する。
• 二重線形インデックス低減公式が導出され、$n \geq 2$、$x \neq 0, \pm 2$ の範囲で $\sum_{j=1}^{n-1} O_j(x)O_{n-j}(x) = \frac{x^2((n-1)x^2 - 2n)O_n(x) - 2nO_{n-2}(x)}{x^3(x^2 - 4)}$ が成り立つ。
• 恒等式 $(n-1)O_n(x) - 2nO_{n+1}(x) = xO_{n+1}'(x) - \frac{1}{x}O_{n-1}'(x)$ は、$n \geq 1$ に対して帰納法により証明された。