[논문 리뷰] Some identities of polynomials arising from umbral calculus

Dae San Kim, Taekyun Kim외 1명|arXiv (Cornell University)|2012. 11. 15.

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

한 줄 요약

이 논문은 윤버드 해석학 기법을 활용하여 특수 다항식—베르누이, 오일러, 일반화된 애플 유형의 다항식—에 대한 새로운 항등식을 유도한다. 관련 수열과 생성함수를 활용하여 스틸링 수, 고차 베르누이 수, 이항 계수를 포함하는 명시적 공식을 수립함으로써, 형식적 멱급수 위에서의 운영 해석학을 통해 다항식 수열에 대한 닫힌 표현식을 도출한다.

ABSTRACT

In this paper, we study some properties of associated sequaences in umbral calculus. From these properties, we derive new and interesting identities of several kinds of polynomials.

연구 동기 및 목표

• 윤버드 해석학에서 관련 수열의 구조적 성질을 조사하여 새로운 다항식 항등식을 도출한다.
• 선형 함수형과 생성함수를 통해 다항식 수열과 형식적 멱급수 사이의 관계를 수립한다.
• 윤버드 대수에서의 운영 방법을 활용하여 일반화된 베르누이 및 오일러 다항식에 대한 명시적 공식을 유도한다.
• 스틸링 수와 이항 계수를 통해 다항식을 표현하여 기존 항등식을 통합하고 확장한다.
• 윤버드 연산을 통해 $ A_n(x;a) $, $ S_n(x) $, $ E_n^{(n)}(x) $ 등의 수열에 대한 닫힌 표현식을 제공한다.

제안 방법

• 형식적 멱급수를 다항식 위의 선형 함수형으로 간주하는 윤버드 대수 프레임워크를 활용한다.
• 관련 수열 $ p_n(x) \sim (1,f(t)) $ 과 $ q_n(x) \sim (1,g(t)) $ 를 연결하기 위해 운영 항등식 $ x \to x \frac{f(t)}{g(t)} x^{-1} $ 를 적용한다.
• 베르누이 생성함수 $ \left(\frac{t}{e^t-1}\right)^r $, 오일러 생성함수 $ \left(\frac{2}{e^t+1}\right)^r $, 그리고 하강 계승계수 다항식을 활용한다.
• 스틸링 수의 제2종 $ S_2(l+n,n) $ 를 포함하는 $ t^l $ 의 급수로 $ \left(\frac{e^t-1}{t}\right)^n $ 을 표현한다.
• 다항식을 모노미얼 기저에 전개하기 위해 관계식 $ (x)_{n-1} = \sum_{l=0}^{n-1} S_1(n-1,l) x^l $ 을 사용한다.
• 다항식 수열을 조작하기 위해 운영 해석학 항등식 $ t^k p(x) = \frac{d^k}{dx^k} p(x) $ 와 $ e^{yt} p(x) = p(x+y) $ 를 적용한다.

실험 결과

연구 질문

• RQ1 윤버드 해석학에서 관련 수열을 어떻게 활용하여 일반화된 베르누이 및 오일러 다항식에 대한 새로운 항등식을 도출할 수 있는가?
• RQ2 윤버드 연산을 $ x(x-an)^{n-1} $ 과 $ E_n^{(n)}(x) $ 등의 수열에 적용했을 때 도출되는 닫힌 표현식은 무엇인가?
• RQ3 제1종 및 제2종 스틸링 수는 윤버드 연산 하에서 다항식 수열 전개에 어떻게 나타나는가?
• RQ4 $ S_n(x) \sim (1, t(1+t)^a) $ 과 모노미얼 $ x^n $ 사이의 운영적 관계는 무엇이며, 이를 대수적으로 어떻게 표현할 수 있는가?
• RQ5 고차 베르누이 수 $ B_k^{(k-n+1)}(an+1) $ 는 윤버드 프레임워크 내에서 생성함수를 통해 다항식 수열과 연결될 수 있는가?

주요 결과

• 논문은 $ A_n(x;a) = x(x - an)^{n-1} $ 에 대해 스틸링 수와 이항 계수를 포함하는 하강 계승계수의 합으로 이루어진 닫힌 표현식을 도출한다.
• 논문은 $ S_n(x) \sim (1, t(1+t)^a) $ 가 $ S_n(x) = \sum_{k=1}^n \binom{-an}{n-k} (n-1)_{n-k} x^k $ 를 만족함을 증명하며, 이는 일반화된 이항 계수와 연결된다.
• 다음 항등식이 확립된다: $ xE_{n-1}^{(n)}(x) = \sum_{k=0}^{n-1} \binom{n-1}{k} E_k^{(n)}(an) A_{n-k}(x - ak; a) $, 이는 오일러 다항식과 일반화된 애플 다항식을 연결한다.
• 새로운 항등식이 발견된다: $ S_2(n,m) = \sum_{l=m}^n \binom{-an}{n-l} (n-1)_{n-l} \binom{l-1}{m-1} B_{l-m}^{(l-m-n+1)}(an+1) $, 이는 스틸링 수와 고차 베르누이 수를 연결한다.
• 생성함수 $ \left(\frac{t(1+t)^a}{\log(1+t)}\right)^n = \sum_{k=0}^\infty B_k^{(k-n+1)}(an+1) \frac{t^k}{k!} $ 가 유도되며, 이는 다항식 수열을 표현하는 데 사용된다.
• b=1 로 설정할 경우, $ A_n(x;a) $ 의 항등식은 $ (-an)^{k-j} $, $ S_2(j+n,n) $, $ S_1(n-1,l) $, 이항 계수를 포함하는 합으로 단순화된다.