[논문 리뷰] Convergence in $\C$ of series for the Lambert $W$ Function

G. A. Kalugin, David J. Jeffrey|arXiv (Cornell University)|2012. 08. 02.

Sports Dynamics and Biomechanics참고 문헌 9인용 수 3

한 줄 요약

이 논문은 라메르트 W 함수의 점근적 급수 전개가 실수 및 복소수 영역에서 정확히 수렴하는 영역을 규명한다. 이는 수렴 영역을 확장하는 비용으로 수렴 속도가 감소하는 매개수화된 불변 변환을 도입하고, 전개 계수의 점근적 표현을 유도하며, 스틸링 수, 오일러안 수, 오메가 상수 간의 연결을 통해 새로운 조합 항등식을 밝혀낸다.

ABSTRACT

We study some series expansions for the Lambert $W$ function. We show that known asymptotic series converge in both real and complex domains. We establish the precise domains of convergence and other properties of the series, including asymptotic expressions for the expansion coefficients. We introduce an new invariant transformation of the series. The transformation contains a parameter whose effect on the domain and rate of convergence is studied theoretically and numerically. We also give alternate representations of the expansion coefficients, which imply a number of combinatorial identities.

연구 동기 및 목표

• 복소 평면에서 알려진 라메르트 W 함수의 점근적 급수 전개의 정확한 수렴 영역을 규명하는 것.
• 실수 및 복소수 설정에서 (1.3) 및 (1.5)의 급수 수렴 행동을 분석하고, (1.5)가 더 넓은 수렴 영역을 가지는 이유를 규명하는 것.
• 급수의 구조를 유지하면서 수렴 성질을 수정하는 매개수화된 불변 변환을 도입하고 연구하는 것.
• 급수 (1.5) 및 (1.6)의 전개 계수에 대한 점근적 표현을 유도하고, 스틸링 수 및 오일러안 수와 같은 조합 수와의 관계를 규명하는 것.
• 전개 계수의 등가 표현을 통해 기존의 칼리츠-리오르단 항등식의 일반화를 포함한 새로운 조합 항등식을 밝혀내는 것.

제안 방법

• 복소 σ-평면에서 은폐 함수 정리와 특이점 분석을 사용하여 급수 (1.3)의 수렴 영역을 유도하고, 라메르트 W 함수를 통해 임계점을 규명한다.
• 기본 관계식 (1.4)에 은폐 함수 정리를 적용하여 복소 σ-평면에서 가장 가까운 특이점까지의 거리로 수렴 반경을 표현한다.
• 구조를 유지하면서 수렴 행동을 변화시키는 매개수화된 불변 변환을 도입하고, 매개수의 영향에 대한 이론적 및 수치적 분석을 수행한다.
• 사다리점 방법을 사용하여 급수 (1.5)의 전개 계수에 대한 점근적 추정을 수립하고, 알려진 조합 항등식과 비교한다.
• 급수 (1.6)의 계수를 세 가지 새로운 형태로 재표현한다—제1종 관련 스틸링 수, 2-관련 제2종 스틸링 수, 제2차 오일러안 수를 통해 새로운 조합 항등식을 가능하게 한다.
• 오메가 상수 ω₀ = W(1)를 핵심 매개수로 사용하여 서로 다른 급수 표현을 연결하고, 스틸링 수 및 오일러안 수의 교대 합을 포함하는 항등식을 도출한다.

실험 결과

연구 질문

• RQ1 복소 평면에서 라메르트 W 함수의 점근적 급수 전개의 정확한 수렴 영역은 무엇인가?
• RQ2 불변 변환의 매개수가 급수의 수렴 영역과 수렴 속도에 어떻게 영향을 미치는가?
• RQ3 급수 (1.5) 및 (1.6)의 전개 계수에 대한 점근적 표현은 무엇이며, 기존의 조합 수와 어떻게 관련되는가?
• RQ4 전개 계수의 등가 표현은 칼리츠-리오르단 항등식의 일반화를 포함한 새로운 조합 항등식을 이끌어낼 수 있는가?
• RQ5 왜 급수 (1.5)는 (1.3)보다 상당히 넓은 수렴 영역을 보이며, 그 배경에 있는 수학적 이유는 무엇인가?

주요 결과

• 급수 (1.3)의 수렴 영역은 라메르트 W 함수의 실수부를 포함하는 부등식으로 정확히 정의된다: ln|σ| < 1 − τ/σ + Re W₋₁(−e^{τ/σ−1}).
• 급수 (1.5)는 실수 및 복소수 영역 모두에서 (1.3)보다 상당히 넓은 수렴 영역을 가지며, 이는 계수 전개의 구조와 2-관련 스틸링 수의 사용 때문이다.
• 매개수화된 불변 변환은 매개수 p가 증가함에 따라 수렴 영역을 확장하지만, 수렴 속도를 감소시킨다. 따라서 겹치는 수렴 영역 내에서 최소한의 p 값이 최적의 성능을 낸다.
• 급수 (1.5)의 계수에 대한 점근적 추정은 ∑_{p=1}^{m−1} S₂(p+m−1, p) ∼ (m−1)! / [2√(πm)(2ln2−1)^{m−1/2}] 로 표현되며, 기존 결과와 일치한다.
• 급수 (1.6)의 전개 계수는 제2차 오일러안 수를 포함하는 합으로 표현되며, 새로운 항등식 ∑_{k=0}^{n−1} ⟨⟨n−1|k⟩⟩ (−1)^k ω₀^k / (1+ω₀)^{n−1} = ∑_{k=0}^{n−1} (−1)^{n+k−1} d(n+k−1,k) ω₀^k / (1+ω₀)^k 를 이끌어낸다.
• 논문은 칼리츠-리오르단 항등식을 확인하고, 2-관련 제2종 스틸링 수의 교대 합에 대한 새로운 항등식을 유도한다: ∑_{p=0}^{m−1} (−1)^{p+m−1} S₂(p+m−1,p) = (m−1)! at σ=0.