[논문 리뷰] On the degenerate Forbenius-Euler polynomials

Taekyun Kim, Hyuck-In Kwon외 1명|arXiv (Cornell University)|2015. 07. 17.

Advanced Mathematical Identities참고 문헌 5인용 수 4

한 줄 요약

이 논문은 탈중력 지수 함수 $(1 + \lambda t)^{1/\lambda}$ 를 포함하는 생성함수를 통해 탈중력 프레드호른-에이러 폴리노미얼을 도입하며, 고전적 프레드호른-에이러 폴리노미얼을 일반화한다. 명시적 공식, 재귀 관계, 변환 항등식을 유도하며, 스틸링 수와 고차 다항식과의 연결을 포함한다. 주요 결과는 탈중력 매개변수 $\lambda \to 0$ 의 극한에서 고전적 경우가 복원된다는 것이다. 또한 특별한 경우 $u = -1$ 에서 탈중력 제노카르 폴리노미얼과의 연결이 이루어진다. 본 연구는 이 새로운 다항식 계열에 대한 기본 항등식과 운영 성질을 수립한다.

ABSTRACT

In this paper, we consider the degenerate Frobenius-Euler polynomials and investigate some identities of these polynomials.

연구 동기 및 목표

• 고전적 프레드호른-에이러 폴리노미얼의 일반화로서 탈중력 지수 함수를 사용하여 탈중력 프레드호른-에이러 폴리노미얼을 정의하고 연구하는 것.
• 생성함수와 내림 팩토리얼 기저를 사용하여 이 다항식의 명시적 공식과 재귀 관계를 도출하는 것.
• 다른 순서와 매개변수를 가진 탈중력 다항식 간의 변환 항등식을 수립하는 것.
• 탈중력 프레드호른-에이러 폴리노미얼과 다른 특수 다항식, 예를 들어 탈중력 제노카르 폴리노미얼 간의 연결을 탐색하는 것.
• 탈중력 매개변수 $\lambda \to 0$ 의 극한에서 고전적 프레드호른-에이러 폴리노미얼이 복원됨을 보이는 것.

제안 방법

• 탈중력 프레드호른-에이러 폴리노미얼 $h_{n,\lambda}(x|u)$ 는 생성함수 $\frac{1-u}{(1+\lambda t)^{1/\lambda} - u}(1+\lambda t)^{x/\lambda} = \sum_{n=0}^\infty h_{n,\lambda}(x|u)\frac{t^n}{n!}$ 를 통해 정의된다.
• 명시적 공식은 생성함수의 카우치 곱을 사용하여 유도되며, $h_{n,\lambda}(x|u) = \sum_{l=0}^n \binom{n}{l} h_{l,\lambda}(u) (x|\lambda)_{n-l}$ 를 얻는다. 여기서 $(x|\lambda)_n$ 은 탈중력 내림 팩토리얼이다.
• 생성함수에서 계수를 비교함으로써 재귀 관계를 도출하며, $h_{n,\lambda}(1|u) - u h_{n,\lambda}(u) = (1-u)\delta_{0,n}$ 이 된다.
• 함수 방정식을 사용하여 변환 항등식을 수립하며, 예를 들어 $(-1)^n h_{n,-\lambda}(-x|u) = h_{n,\lambda}(x+1|u^{-1})$ 와 같은 식이 존재하여 역수 매개변수 간의 대칭성을 제공한다.
• 고차 탈중력 프레드호른-에이러 폴리노미얼 $h_{n,\lambda}^{(r)}(x|u)$ 는 생성함수의 $r$ 제곱을 통해 정의되며, 이들의 성질은 이항 컨볼루션과 셰퍼 수열의 구조를 사용하여 분석된다.
• 극한 $\lambda \to 0$ 을 취하여 고전적 다항식과의 연결을 도출하며, 고전적 프레드호른-에이러 폴리노미얼 $H_n^{(r)}(x|u)$ 를 복원하고, 스틸링 수의 제1종과 제2종을 통해 탈중력 다항식으로 표현한다.

실험 결과

연구 질문

• RQ1 고전적 프레드호른-에이러 폴리노미얼은 어떻게 탈중력 매개변수 $\lambda$ 를 포함하도록 일반화할 수 있는가?
• RQ2 탈중력 프레드호른-에이러 폴리노미얼이 만족하는 명시적 공식과 재귀 관계는 무엇인가?
• RQ3 탈중력 다항식은 베르누이, 제노카르, 오일러 다항식과 같은 고전적 특수 다항식과 어떻게 관련되어 있는가?
• RQ4 다른 매개변수 또는 순서를 가진 탈중력 프레드호른-에이러 폴리노미얼 간에 어떤 변환 항등식이 존재하는가?
• RQ5 탈중력 다항식은 어떻게 $\lambda \to 0$ 으로 갈수록 고전적 대응체로 수렴하는가?

주요 결과

• 탈중력 프레드호른-에이러 폴리노미얼은 $h_{n,\lambda}(x|u) = \sum_{l=0}^n \binom{n}{l} h_{l,\lambda}(u) (x|\lambda)_{n-l}$ 의 명시적 공식을 만족하며, 이는 탈중력 내림 팩토리얼과 연결된다.
• 재귀 관계 $h_{n,\lambda}(1|u) - u h_{n,\lambda}(u) = (1-u)\delta_{0,n}$ 가 성립하며, 이는 고전적 프레드호른-에이러 수의 성질을 일반화한다.
• 변환 항등식 $(-1)^n h_{n,-\lambda}(-x|u) = h_{n,\lambda}(x+1|u^{-1})$ 는 음수 및 역수 매개변수 간의 대칭성을 제공한다.
• 고차 다항식의 경우 $h_{n,\lambda}^{(r)}(x|u)$ 는 $h_{n,\lambda}^{(r)}(x+y|\lambda) = \sum_{l=0}^n \binom{n}{l} h_{l,\lambda}^{(r)}(x) (x|\lambda)_{n-l}$ 을 만족하며, 이는 셰퍼 수열의 구조를 확인한다.
• 고전적 고차 프레드호른-에이러 폴리노미얼은 $H_n^{(r)}(x|u) = \sum_{k=0}^n h_{k,\lambda}^{(r)}(x|u) \lambda^{n-k} S_2(n,k)$ 를 통해 극한으로 복원되며, 여기서 $S_2(n,k)$ 는 스틸링 수의 제2종이다.
• 특수한 경우 $u = -1$ 에서 탈중력 프레드호른-에이러 폴리노미얼은 $h_{n,\lambda}(x|-1) = \frac{1}{n+1} g_{n+1,\lambda}(x)$ 를 통해 탈중력 제노카르 폴리노미얼과 관련되며, $g_{0,\lambda}(x) = 0$ 이다.