[논문 리뷰] Application of a composition of generating functions for obtaining explicit formulas of polynomials

Vladimir Kruchinin, Dmitry Kruchinin|arXiv (Cornell University)|2012. 11. 01.

Analytic Number Theory Research참고 문헌 3인용 수 4

한 줄 요약

이 논문은 생성함수의 복합화(composita)와 생성함수의 복합화를 사용하여 체비셰프, 레지온드르, 고겐바우어, 라거르, 베르누이, 오일러 등 다양한 고전적 직교다항식 및 특수다항식에 대한 명시적 닫힌형수 공식을 유도하는 새로운 방법을 제시한다. 이 방법은 생성함수의 복합화를 체계적으로 활용하여 스틸링 수와 이항계수를 포함하는 조합합으로 다항식 계수를 표현함으로써, 다양한 다항식 계열 간에 통합되고 명시적인 표현을 제공한다.

ABSTRACT

Using notions of composita and composition of generating functions we obtain explicit formulas for Chebyshev polynomials, Legendre polynomials, Gegenbauer polynomials, Associated Laguerre polynomials, Stirling polynomials, Abel polynomials, Bernoulli Polynomials of the Second Kind, Generalized Bernoulli polynomials, Euler Polynomials, Peters polynomials, Narumi polynomials, Humbert polynomials, Lerch polynomials and Mahler polynomials.

연구 동기 및 목표

• 생성함수 복합화를 기반으로 한 일반적 방법을 개발하여 특수다항식의 명시적 공식을 도출하는 것.
• 일반 생성함수에 대한 복합화 개념을 확장하여 다항식 표현에 더 넓은 적용 가능성을 제공하는 것.
• 직교다항식 및 특수함수를 포함한 다양한 다항식 계열 간의 명시적 공식 유도를 통합하는 것.
• 베르누이, 오일러, 마플러 다항식과 같은 다항식의 계수에 대해 계산적으로 다룰 수 있는 표현을 제공하는 것.
• 14개의 특정 다항식 계열에 대해 닫힌형수 표현을 도출함으로써 이 방법의 효과성을 입증하는 것.

제안 방법

• 이 방법은 상수항이 없는 생성함수 $ F(t) $ 에 대해 $ [F(t)]^k $ 의 계수 함수인 복합화 $ F^{ riangle}(n,k) $ 라는 개념에 기반한다.
• 복합화는 정수의 복합화를 통해 계산되며, $ F^{ riangle}(n,k) = \sum_{\pi_k \in C_n} f(\lambda_1)f(\lambda_2)\cdots f(\lambda_k) $ 로 표현되며, 여기서 $ \pi_k $ 는 $ n $ 을 $ k $ 개의 부분으로 나누는 복합화이다.
• 생성함수의 복합화를 사용하여 새로운 생성함수를 도출하며, 예를 들어 $ \exp(\alpha \cdot \ln(1 + \frac{\ln(1+t)}{t} - 1)) $ 와 같은 식은 다항식 수열의 계수를 제공한다.
• 유리함수 또는 로그함수 생성함수의 경우, 이 방법은 이항전개와 제1종 및 제2종 스틸링 수에 대한 알려진 항등식을 적용한다.
• 지수생성함수의 곱셈 규칙을 사용하여 복합화를 조합하고 결과 다항식 수열의 계수를 도출한다.
• 기존의 생성함수(예: $ \frac{\ln(1+t)}{t} $, $ e^t - 1 $, $ \ln(1+t) $) 에 특정 변환을 적용하여 복잡한 복합화에 대한 복합화를 도출한다.

실험 결과

연구 질문

• RQ1 생성함수 복합화에 기반한 통합적 방법이 다양한 직교다항식 및 특수다항식에 대해 명시적 공식을 도출할 수 있는가?
• RQ2 생성함수의 복합화가 다항식 수열의 계수를 체계적으로 표현하는 데 어떻게 활용될 수 있는가?
• RQ3 로그함수 및 유리함수를 포함하는 생성함수를 복합화할 경우 어떤 닫힌형수 표현이 도출되는가?
• RQ4 베르누이, 오일러, 마플러 다항식과 같은 다항식 계열은 비정상적인 생성함수를 가질 경우 이 방법이 얼마나 잘 작동하는가?
• RQ5 함수 복합화를 통해 투버트 다항식 및 레르히 다항식에 대해 명시적 공식을 도출할 수 있는가?

주요 결과

• 체비셰프, 레지온드르, 고겐바우어, 그리고 관련 라거르 다항식에 대해 복합화 기반 복합화를 사용하여 명시적 공식을 도출하였다.
• 두 번째 종류의 베르누이 다항식에 대한 닫힌형수 표현을 얻었으며, $ B_n^{(2)}(x) = \sum_{k=0}^n \binom{n}{k} B_k^{(2)} x^{n-k} $ 로 표현되며, 계수는 복합화를 통해 유도되었다.
• 오일러 다항식의 경우 공식은 $ E_n(x) = \sum_{k=0}^n \left( \sum_{j=0}^k \binom{k}{j} (-1)^j \frac{j!}{n!} \genfrac{[}{]}{0.0pt}{}{n}{j} \right) x^k $ 로 표현되며, $ \left( \frac{2}{e^t + 1} \right)^n $ 에서 도출되었다.
• 마플러 다항식의 계수는 $ M_n(x) = \sum_{k=0}^n x^k \left( \sum_{j=0}^k (-1)^j \binom{n}{k-j} \genfrac{\{}{\}}{0.0pt}{}{n-k+j}{j} \right) $ 로 주어지며, $ t - (e^t - 1) $ 의 복합화를 사용하였다.
• 투버트 다항식의 경우 공식 $ H_n(x,\lambda) = \sum_{m=0}^{\lfloor n/3 \rfloor} \binom{n-2m}{m} 3^{n-3m} (-1)^m x^{n-3m} \binom{n-2m + \lambda - 1}{n-2m} $ 가 $ 3xt - t^3 $ 의 복합화를 통해 도출되었다.
• 레르히 다항식은 $ L_n(x,\lambda) = \frac{1}{n!} \sum_{k=1}^n k! \genfrac{[}{]}{0.0pt}{}{n}{k} x^k \binom{\lambda + k - 1}{k} $ 로 표현되며, $ \ln(1+t) $ 와 $ (1-t)^{-\lambda} $ 의 복합화를 사용하였다.