[논문 리뷰] Some identities for Bernoulli polynomials involving Chebyshev polynomials

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

Advanced Mathematical Identities참고 문헌 13인용 수 20

한 줄 요약

이 논문은 가중 내적 공간에서의 정규직교성 관계와 로드리그 유형 공식을 사용하여, 베르누이, 오일러, 에르미트 다항함수를 체비셰프 다항함수의 제2종으로서의 유한 선형 조합으로 표현하는 새로운 명시적 항등식을 유도한다. 주요 기여는 $ B_n(x) $, $ E_n(x) $, $ H_n(x) $의 닫힌 형식 전개를 $ U_k(x) $ 기반으로, 베르누이, 오일러, 에르미트 수와 조합 계수를 포함한 계수로 제시하는 것이다.

ABSTRACT

In this paper, we derive some new and interesting idebtities for Bernoulli, Euler and Hermite polynomials associated with Chebyshev polynomials.

연구 동기 및 목표

• 클래식한 직교다항함수—베르누이, 오일러, 에르미트—를 체비셰프 제2종 다항함수를 이용해 새로운 명시적 표현을 수립하기 위해.
• 중량 내적 $ \langle f,g \rangle = \int_{-1}^1 \sqrt{1-x^2} f(x)g(x) dx $ 에서 $ U_n(x) $ 의 정규직교성을 활용하여 전개를 도출하기 위해.
• 로드리그 공식과 적분 항등식을 이용해 이러한 전개의 닫힌 형식 계수 표현을 유도하기 위해.
• 체비셰프 다항함수를 기저 함수로 포함시켜 기존의 다항함수 항등식을 일반화하기 위해.

제안 방법

• 중량 $ \sqrt{1-x^2} $ 를 가진 내적 공간 $ \mathbf{P}_n^* $ 를 정의하며, $ \{U_k(x)\} $ 가 정규직교 기저를 이룬다.
• 체비셰프 제2종 다항함수의 로드리그 공식을 사용한다: $ U_n(x) = \frac{(-1)^n 2^n (n+1)!}{(2n+1)!} (1-x^2)^{-1/2} \frac{d^n}{dx^n} (1-x^2)^{n+1/2} $, 이를 통해 부분적분을 이용해 계수를 표현한다.
• $ p(x) = x^n $, $ B_n(x) $, $ E_n(x) $, $ H_n(x) $ 를 $ \{U_k(x)\} $ 기저에 대해 계수 공식 $ C_k = \frac{2}{\pi} \int_{-1}^1 \sqrt{1-x^2} U_k(x) p(x) dx $ 를 사용하여 전개한다.
• 적분을 단순화하기 위해 항등식 $ \int_{-1}^1 (1-x^2)^{k+1/2} x^l dx = 0 $ (만약 $ l $ 가 홀수일 경우) 및 $ l $ 가 짝수일 경우 베타 함수 유형의 표현식을 적용한다.
• 베르누이 다항함수의 이항전개 $ B_n(x) = \sum_{l=0}^n \binom{n}{l} B_{n-l} x^l $ 와 유사하게 오일러 다항함수 $ E_n(x) $, 에르미트 다항함수 $ H_n(x) $ 에도 적용하고, 이를 계수 적분에 대입한다.
• 항을 모아 조합 및 계승 계수를 간단화함으로써 최종 전개를 도출한다.

실험 결과

연구 질문

• RQ1 베르누이 다항함수는 체비셰프 제2종 다항함수의 유한 선형 조합으로 표현될 수 있는가?
• RQ2 이러한 전개의 명시적 계수 공식은 베르누이, 오일러, 에르미트 수를 어떻게 포함하는가?
• RQ3 체비셰프 다항함수 $ U_n(x) $ 의 정규직교성과 로드리그 공식을 어떻게 활용하여 고전적 직교다항함수에 대한 항등식을 도출할 수 있는가?
• RQ4 중량 내적 $ \int_{-1}^1 \sqrt{1-x^2} f(x)g(x) dx $ 는 이러한 전개를 구성하는 데 어떤 역할을 하는가?
• RQ5 오일러 및 에르미트 다항함수에 대해 동일한 기저와 방법을 사용하여 유사한 항등식이 존재하는가?

주요 결과

• 다항함수를 $ U_k(x) $ 로 표현하는 항등식 $ x^n = \frac{n!}{2^n} \sum_{\substack{0 \leq k \leq n \\ k \equiv n \pmod{2}}} \frac{k+1}{\left(\frac{n+k+2}{2}\right)! \left(\frac{n-k}{2}\right)!} U_k(x) $ 가 도출되었다.
• 베르누이 다항함수는 $ B_n(x) = n! \sum_{k=0}^n \left( \frac{k+1}{2^k} \sum_{\substack{0 \leq l \leq n-k \\ l \equiv 0 \pmod{2}}} \frac{B_{n-k-l}}{2^l (n-k-l)! \left(\frac{2k+l+2}{2}\right)! \left(\frac{l}{2}\right)!} \right) U_k(x) $ 를 만족하며, 새로운 기저 전개를 제공한다.
• 오일러 다항함수 역시 유사하게 전개된다: $ E_n(x) = n! \sum_{k=0}^n \left( \frac{k+1}{2^k} \sum_{\substack{0 \leq l \leq n-k \\ l \equiv 0 \pmod{2}}} \frac{E_{n-k-l}}{2^l (n-k-l)! \left(\frac{2k+l+2}{2}\right)! \left(\frac{l}{2}\right)!} \right) U_k(x) $.
• 에르미트 다항함수는 $ H_n(x) = n! \sum_{k=0}^n \left( (k+1) \sum_{\substack{0 \leq l \leq n-k \\ l \equiv 0 \pmod{2}}} \frac{H_{n-k-l}}{(n-k-l)! \left(\frac{2k+l+2}{2}\right)! \left(\frac{l}{2}\right)!} \right) U_k(x) $ 로 표현되며, 계수에 에르미트 수가 포함된다.
• 유도 과정은 $ U_k(x) $ 의 정규직교성과 로드리그 공식에 기반하며, $ [-1,1] $ 에서 $ \sqrt{1-x^2} $ 를 가중함수로 하는 적분을 통해 닫힌 형식의 계수 표현을 도출한다.
• 모든 전개는 $ n \in \mathbb{Z}_+ $ 에 대해 유효하며, 적분의 대칭성으로 인해 $ l $ 가 짝수일 때에만 기여가 발생하므로 합은 짝수 $ l $ 로 제한된다.