[논문 리뷰] On Bivariate s-Fibopolynomials

Claudio Pita-Ruiz|arXiv (Cornell University)|2012. 03. 27.

Advanced Mathematical Theories and Applications참고 문헌 8인용 수 4

한 줄 요약

이 논문은 이변수 s-피보나치 다항식을 통해 정의된 bivariate s-Fibopolynomials를 s-Fibonomial 계수의 일반화로 제안한다. Z-변환과 재귀 항등식을 이용하여 이들의 x와 y에 대한 편미분에 대한 폐쇄형 표현을 유도하며, 기존의 피보나치 다항식에 대한 결과를 확장하고, 도함수 계산을 위한 명시적 공식을 제공한다.

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-Fibopolynomials를 s-Fibonomial 계수의 일반화로 정의하고 연구하는 것.
• 이변수 s-Fibonacci 다항식의 곱을 포함하는 수열의 Z-변환을 수립하는 것.
• 이변수 s-Fibopolynomials의 x와 y에 대한 편미분에 대한 명시적 공식을 도출하는 것.
• 기존의 피보나치 다항식에 대한 항등식을 이변수 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 편미분은 재귀적 콘볼루션 항등식과 계수 추출을 통해 계산된다.
• ⌊n choose p⌋_{F_s(x,y)}의 도함수에 대한 명시적 폐쇄형 표현은 floor 함수, 교대 부호, F_{s(p-2k)n}(x,y) 및 관련 표현을 포함하는 다항식 항을 사용하여 도출된다.

실험 결과

연구 질문

• RQ1 이변수 피보나치 다항식의 맥락에서 이변수 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에 대한 명시적 예시가 제공되어 저차수 사례에서 도함수 공식의 타당성을 검증하고 일반적 구조를 검증한다.