[논문 리뷰] Some identities of higher-order Bernoulli, Euler and Hermite polynomials arising from umbral calculus

Taekyun Kim, Dae San Kim외 2명|arXiv (Cornell University)|2013. 02. 21.

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

한 줄 요약

이 논문은 윤각해석학을 이용하여 고차 다항식인 베르누이, 오일러, 에르미트 다항식에 대한 새로운 항등식을 유도하며, 시프 시퀀스와 생성함수를 통해 이들 다항식 계열 간의 새로운 선형 관계를 수립한다. 주요 기여는 스틸링 수와 지수 생성함수를 포함한 계수 공식을 통해 에르미트 다항식을 고차 베르누이 다항식과 프로비니우스-오일러 다항식의 조합으로 체계적으로 변환하는 것이다.

ABSTRACT

In this paper, we study umbral calculus to have alternative ways of obtaining our results. That is, we derive some interesting identities of the higher-order Bernoulli, Euler and Hermite polynomials arising from umbral calculus to have alternative ways.

연구 동기 및 목표

• 윤각해석학의 프레임워크를 이용하여 고차 다항식인 베르누이, 오일러, 에르미트 다항식에 대한 새로운 항등식을 도출한다.
• 에르미트 다항식을 고차 다항식인 베르누이 다항식과 프로비니우스-오일러 다항식의 표현으로 재구성한다.
• 스티링 수와 생성함수와 같은 조합 구조를 이용하여 이러한 다항식 전개의 명시적 계수 공식을 제공한다.
• 윤각해석학의 시프 시퀀스 형식을 통해 고전적 수직다항식의 통합적 접근을 가능하게 한다.

제안 방법

• 형식적 멱급수를 다항식 공간 위의 선형 함수로 간주하는 윤각해석학의 프레임워크를 사용한다.
• 생성함수로 정의된 시프 시퀀스를 적용: $ E_n^{(r)}(x) \tilde{=} \big((e^t+1)/2\big)^r, t $ 와 $ H_n(x) \tilde{=} e^{t^2/4}, t/2 $.
• 다항식 전개의 계수를 계산하기 위해 역행 공식 $ C_{n,k} = \frac{1}{k!} \big\< \frac{h(\bar{f}(t))}{g(\bar{f}(t))} l(\bar{f}(t))^k \big| x^n \big> $ 을 활용한다.
• 생성함수, 지수 이동, 단항식 위에서 선형 함수의 작용을 통해 계수 표현을 유도한다.
• 계수를 도출하기 위해 선형 함수의 작용을 활용하는 항등식 $ \left< f(t) | p(x) \right> = \sum_{k} \frac{\left< f(t) | x^k \right>}{k!} p^{(k)}(0) $ 을 적용한다.
• 생성함수 변환을 통해 $ (e^t - 1)^k $, $ (e^t - \lambda)^r $, $ e^{-t^2/4} $ 를 다루어 계수를 스틸링 수와 에르미트 수의 형태로 표현한다.

실험 결과

연구 질문

• RQ1 고차 다항식인 베르누이 다항식은 윤각해석학을 통해 어떻게 에르미트 다항식의 선형 조합으로 표현될 수 있는가?
• RQ2 r > n 인 경우, 에르미트 다항식을 고차 다항식인 베르누이 다항식으로 표현하는 데 있어 명시적 계수 공식은 무엇인가?
• RQ3 r ≤ n 인 경우 계수는 어떻게 변화하며, 제2종 스틸링 수는 이러한 영역에서 어떤 역할을 하는가?
• RQ4 프로비니우스-오일러 다항식을 이용하여 에르미트 다항식을 표현할 수 있는가? 그 결과로 나타나는 계수의 구조는 어떠한가?
• RQ5 에르미트, 베르누이, 프로비니우스-오일러 다항식의 생성함수 간의 기능적 관계는 윤각해석학적 변환 하에서 어떻게 되는가?

주요 결과

• r > n ≥ 0 인 경우, 에르미트 다항식 $ H_n(x) $ 는 $ n! \sum_{k=0}^n \left\{ \sum_{j=0}^k \sum_{l=0}^n \frac{(r-k)! S_2(l+r-k, r-k) (-1)^{k-j} \binom{k}{j} 2^l H_{n-l}(j) }{(l+r-k)! k! (n-l)!} \right\} B_k^{(r)}(x) $ 로 표현되며, 이는 스틸링 수와 에르미트 수를 포함한다.
• n ≥ r 인 경우, $ H_n(x) $ 의 전개는 두 부분으로 나뉜다: 하나는 $ k < r $ 인 경우 스틸링 수를 사용하고, 다른 하나는 $ k \geq r $ 인 경우 이항계수와 에르미트 수를 포함하는 $ j $ 에 대한 합으로 구성된다.
• 프로비니우스-오일러의 경우, $ H_n(x) = \frac{1}{(1-\lambda)^r} \sum_{k=0}^n \binom{n}{k} 2^k \left[ \sum_{j=0}^r \binom{r}{j} (-\lambda)^{r-j} H_{n-k}(j) \right] H_k^{(r)}(x|\lambda) $ 로 표현되며, 이는 프로비니우스-오일러 다항식으로의 직접적인 변환을 제공한다.
• 다른 계수 표현으로서 $ H_n(x) = \frac{1}{(1-\lambda)^r} \sum_{k=0}^n \left\{ \sum_{j=0}^r \sum_{l=0}^{[\frac{n-k}{2}]} \frac{\binom{n}{k} \binom{r}{j} 2^k (-1)^l (-\lambda)^{r-j} (n-k)! (2j)^{n-k-2l} }{l! (n-k-2l)!} \right\} H_k^{(r)}(x|\lambda) $ 가 도출되었으며, 이는 $ t^{2l} $ 를 통해 짝수 차수 도함수를 포함한다.
• 전개 $ H_n(x) = \sum_{k=0}^n C_{n,k} B_k^{(r)}(x) $ 에서 계수 $ C_{n,k} $ 는 $ j $ 와 $ l $ 에 대한 이중 합으로 명시적으로 계산되었으며, $ r-k $, $ S_2 $, 에르미트 수에 의존한다.
• 결과적으로 윤각해석학은 다양한 다항식 계열 간의 항등식 유도를 체계적이고 통합적으로 가능하게 하며, 특히 함수의 복합과 역시리즈 기법을 통해 이를 실현한다.