[논문 리뷰] Oresme Polynomials and Their Derivatives

Gamaliel Cerda-Morales|arXiv (Cornell University)|2019. 04. 02.

Advanced Mathematical Theories and Applications참고 문헌 2인용 수 5

한 줄 요약

이 논문은 $k$-Oresme 수의 유리함수 확장으로서 Oresme 다항식을 도입하며, 행렬 방법과 재귀관계를 사용하여 도함수에 대한 폐쇄형 Binet 유형 공식과 컨volution 항등식을 유도한다. 주요 기여는 일반적인 이항 인덱스 압축 공식과 컨volution 합을 포함한 새로운 도함수 항등식이다.

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 다항식의 도함수를 조사하고, 다항식의 곱의 합을 포함한 컨volution 유형 항등식을 증명하기.
• 귀납법과 생성함수 기법을 사용하여 기존의 $k$-Oresme 수에 대한 항등식을 다항식 설정으로 확장하기.

제안 방법

• 두 번째 차수 선형 재귀를 통해 Oresme 다항식 $O_n(x)$를 정의: $O_{n+1}(x) = O_n(x) - \frac{1}{x^2}O_{n-1}(x)$, 초기 조건 $O_0(x) = 0$, $O_1(x) = \frac{1}{x}$.
• 특성 방정식 $x^2 - x + \frac{1}{x^2} = 0$의 근을 사용하여 $O_n(x)$의 Binet 공식 유도: $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)$ 포함.
• 행렬의 거듭제곱과 컨volution 항등식을 통해 이원형 인덱스 압축 공식을 유도하며, $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 다항식의 도함수에 대해 나타나는 컨volution 항등식은 무엇인가?
• RQ4 특성 방정식의 근이 $x = 3$일 때, Oresme 다항식의 Binet 유형 공식이 피보나치 수와 어떻게 관련되는가?
• RQ5 비율 $\frac{O_{n+1}(x)}{O_n(x)}$의 점근적 행동은 $n \to \infty$일 때 어떻게 되는가?

주요 결과

• Oresme 다항식 $O_n(x)$는 $x^2 > 4$일 때 Binet 공식 $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 수의 Cassini 유사 항등식을 일반화한다.
• $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$에서 성립한다.
• 이원형 인덱스 압축 공식이 유도됨: $\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 \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)$는 $n \geq 1$에서 귀납법으로 증명됨.