[논문 리뷰] On the coefficients of the asymptotic expansion of n!

Gergýo Nemes|arXiv (Cornell University)|2010. 03. 15.

Mathematics and Applications참고 문헌 7인용 수 15

한 줄 요약

이 논문은 호워드의 정리와 브라세스코 및 멘데스의 최근 결과를 활용하여 n!의 점근 전개에서 스타링어 계수의 명시적이고 닫힌 형태의 공식을 유도한다. 핵심 기여는 사칙연산과 일반적인 제2종 스타링어 수를 사용하여 계수를 표현하는 공식을 제시함으로써 오랫동안 부재했던 이러한 명시적 표현의 결여 문제를 해결한 것이다.

ABSTRACT

Applying a theorem of Howard for a formula recently proved by Brassesco and Méndez, we derive new simple explicit formulas for the coefficients of the asymptotic expansion to the sequence of factorials. To our knowledge no explicit formula containing only the four basic operations was known until now.

연구 동기 및 목표

• n!의 점근 전개에서 스타링어 계수에 대한 명시적이고 닫힌 형태의 표현을 유도하기 위해.
• 사칙연산만을 사용하는 스타링어 계수에 대한 공식이 없는 장기적인 열린 문제를 해결하기 위해.
• 스타링어 계수와 일반적인 제2종 스타링어 수 사이의 연결 고리를 설정하기 위해.
• 잠재 다항식과 지수 벨 다항식에 관한 호워드의 정리를 사용한 구조적 증명을 제공하기 위해.

제안 방법

• 브라세스코 및 멘데스의 결과에서 유도된 생성함수에 대해 호워드의 잠재 다항식 정리를 적용하기 위해.
• 생성함수 $ G(x) = 2(e^x - x - 1)/x^2 $ 를 정의하며, 이 함수의 역거듭제곱이 도함수를 통해 스타링어 계수를 제공한다.
• 지수 벨 다항식 $ B_{n,i}(0,1,1,\ldots) $ 를 사용하여 계수를 제2종 스타링어 수로 표현하기 위해.
• 잠재 다항식 $ G_n^{(z)} $ 를 이항계수와 계승 항목을 포함한 호워드의 공식을 통해 표현하기 위해.
• 일반 공식에 $ z = k + 1/2 $ 와 $ n = 2k $ 를 대입하여 $ a_k $ 를 분리하기 위해.
• 지수 생성함수, 벨 다항식, 스타링어 수 항등식을 결합하여 최종 공식을 도출하기 위해.

실험 결과

연구 질문

• RQ1 사칙연산만을 사용하여 스타링어 계수 $ a_k $ 에 대한 명시적이고 닫힌 형태의 표현을 도출할 수 있는가?
• RQ2 스타링어 계수와 일반적인 제2종 스타링어 수 사이에 직접적인 연결 고리가 존재하는가?
• RQ3 잠재 다항식에 관한 호워드의 정리를 사용하여 팩토리얼 점근 전개에 대한 새로운 공식을 효과적으로 도출할 수 있는가?
• RQ4 스타링어 계수에 대한 알려진 닫힌 형태의 표현이 없는 것은 그 표현이 존재하지 않기 때문이 아니라 단지 탐색되지 않았기 때문인가?
• RQ5 스타링어 계수 $ a_k $ 의 공식은 연관 스타링어 수나 순열 순환 수와 같은 조합론적 양을 포함하지 않고 표현될 수 있는가?

주요 결과

• 이 논문은 사칙연산과 일반적인 제2종 스타링어 수를 사용하여 스타링어 계수 $ a_k $ 에 대한 첫 번째 알려진 명시적 공식을 확립한다.
• 공식은 $ a_k = \frac{(2k)!}{2^k k!} \sum_{i=0}^{2k} \binom{k+i-1/2}{i} \binom{3k+1/2}{2k-i} 2^i \sum_{j=0}^{i} \binom{i}{j} (-1)^j j! \frac{S(2k+i+j,j)}{(2k+i+j)!} $ 로 주어지며, 이는 정확하고 기본 연산을 통해 계산 가능한 공식이다.
• 유도 과정은 $ a_k $ 가 제2종 스타링어 수 $ S(n,k) $ 로 완전히 표현될 수 있음을 확인함으로써, 그들의 닫힌 형태 표현에 대한 오랫동안 열려 있던 질문을 해결한다.
• 이 결과는 스타링어 계수들이 연관 스타링어 수나 순환 수 계산 함수와 같은 특수 조합론적 함수를 포함하지 않는 표현을 가질 수 있음을 시사한다.
• 이 방법은 호워드의 정리를 새로운 생성함수에 효과적으로 적용하여 새로운 종류의 명시적 공식을 도출하는 데 성공했다.
• 공식은 재귀 관계나 복잡한 조합합을 필요로 하지 않는 구조적이고 계산 가능한 방식으로 $ a_k $ 를 계산할 수 있도록 한다.