[논문 리뷰] Generalized Stirling Numbers and Generalized Stirling Functions

Tian-Xiao He|arXiv (Cornell University)|2011. 06. 26.

Advanced Combinatorial Mathematics참고 문헌 35인용 수 4

한 줄 요약

이 논문은 일반화된 계승 함수, k-감마 함수, 그리고 분할 차분을 사용하여 일반화된 스틸링 수와 함수를 위한 통합 프레임워크를 제안한다. 고전적 제1종 및 제2종 스틸링 수와 그 수많은 알려진 일반화들을 하나의 매개수 가족 S(n,k,α,β,r)로 확장하며, 재귀 관계, 생성 함수, 그리고 리오르단 행렬 기반 알고리즘 포함 세 가지 알고리즘을 통해 효율적인 계산을 가능하게 한다.

ABSTRACT

Here presented is a unified approach to Stirling numbers and their generalizations as well as generalized Stirling functions by using generalized factorial functions, $k$-Gamma functions, and generalized divided difference. Previous well-known extensions of Stirling numbers due to Riordan, Carlitz, Howard, Charalambides-Koutras, Gould-Hopper, Hsu-Shiue, Tsylova Todorov, Ahuja-Enneking, and Stirling functions introduced by Butzer and Hauss, Butzer, Kilbas, and Trujilloet and others are included as particular cases of our generalization. Some basic properties related to our general pattern such as their recursive relations and generating functions are discussed. Three algorithms for calculating the Stirling numbers based on our generalization are also given, which include a comprehensive algorithm using the characterization of Riordan arrays.

연구 동기 및 목표

• 고전적 제1종 및 제2종 스틸링 수의 포괄적인 일반화를 개발하는 것.
• 리오르단, 칼리츠, 호위트, 굴드-하퍼, 츄로바 등 다양한 기존 확장들을 하나의 매개수 프레임워크로 통합하는 것.
• 일반화된 스틸링 수를 위한 재귀 관계와 지수 생성 함수를 수립하는 것.
• 리오르단 행렬 특성 기반 알고리즘 포함, 일반화된 스틸링 수를 효율적으로 계산할 수 있는 알고리즘을 제공하는 것.

제안 방법

• 증분 α를 갖는 일반화된 계승 함수 ⟨z⟩_{n,α}를 사용하여 뉴턴 형식 전개 ⟨z⟩_{n,−α} = Σ_{k=0}^n S(n,k,α,β,r) ⟨z−r⟩_{k,−β}를 통한 일반화된 스틸링 수 S(n,k,α,β,r) 정의.
• 일반화된 계승 다항식과 k-감마 함수를 활용하여 포흐하머 기호를 확장하고 일반화된 상승/하강 계승을 정의.
• 분할 차분과 생성 함수 기법을 활용하여 일반화된 수의 재귀 및 지수 생성 함수 유도.
• 리오르단 행렬 이론을 적용하여 A-시퀀스 및 d(z), h(z) 형태의 생성 함수를 통해 일반화된 스틸링 수를 특성화.
• 특수한 경우(α=0 또는 β=0)를 처리하기 위해 A-시퀀스 계산을 수정하여 리오르단 행렬 알고리즘을 적응.
• 생성 함수의 복합 역함수를 사용하여 계수의 명시적 공식 유도, 예를 들어 A(z) = z / h⁻¹(z)를 통해 A-시퀀스 계산.

실험 결과

연구 질문

• RQ1 고전적 제1종 및 제2종 스틸링 수는 어떻게 하나의 일반화된 매개수 가족으로 통합될 수 있는가?
• RQ2 일반화된 스틸링 수 S(n,k,α,β,r)의 재귀 및 생성 함수 표현은 무엇인가?
• RQ3 기존의 일반화(예: 호위트의 가중치가 있는 탈선화, 칼리츠의 q-해석, 굴드-하퍼 확장 등)는 이 프레임워크의 특수한 경우로 어떻게 회복될 수 있는가?
• RQ4 특히 리오르단 행렬 기반의 통합 알고리즘 접근법을 통해 이러한 일반화된 스틸링 수를 효율적으로 계산할 수 있는가?
• RQ5 k-감마 함수와 일반화된 계승 다항식은 이러한 일반화를 가능하게 하는 데 어떤 역할을 하는가?

주요 결과

• 일반화된 스틸링 수 S(n,k,α,β,r)는 고전적 스틸링 수를 통합한다: S(n,k,1,0,0) = s(n,k) (제1종), S(n,k,0,1,0) = S(n,k) (제2종), S(n,k,0,0,1) = C(n,k) (이항계수).
• 호위트의 가중치가 있는 탈선화 스틸링 수(α=1,β=1,r=−1)의 경우 리오르단 행렬은 [k!/n! S(n,k)] = [[1,0,0,0,0], [-1,1,0,0,0], [1,-1,1,0,0], [-1,1,-1,1,0], [1,-1,1,-1,1]]로 계산되며, S(4,0)=24, S(4,1)=-24, S(4,2)=12, S(4,3)=-4, S(4,4)=1을 도출한다.
• 제2종 스틸링 수(α=0,β=1,r=0)의 경우 A-시퀀스 생성 함수는 A(z) = z / ln(1+z)이며, 계수 a₀=1, a₁=1/2, a₂=−1/12, a₃=1/24, a₄=−19/720를 얻는다.
• S(n,k,0,1,0)의 리오르단 행렬은 [k!/n! S(n,k)] = [[1,0,0,0,0], [0,1,0,0,0], [0,1/2,1,0,0], [0,1/6,1,1,0], [0,1/24,7/12,3/2,1]]로 주어지며, S(4,1)=1, S(4,2)=7, S(4,3)=6, S(4,4)=1을 이끌어낸다.
• 제1종 스틸링 수(α=1,β=0,r=0)의 경우 A-시퀀스는 A(z) = z / (e^z − 1)이며, a₀=1, a₁=−1/2, a₂=1/12, a₃=0, a₄=−1/720로 주어지고, 리오르단 행렬 [k!/n! s(n,k)]은 s(4,1)=−6, s(4,2)=11, s(4,3)=−6, s(4,4)=1을 생성한다.