[논문 리뷰] Stieltjes, Poisson and other integral representations for functions of Lambert $W$

G. A. Kalugin, David J. Jeffrey외 1명|arXiv (Cornell University)|2011. 03. 27.

Sports Dynamics and Biomechanics참고 문헌 33인용 수 4

한 줄 요약

이 논문은 라마르트 W 함수의 주분지와 관련된 여러 함수가 스틸체스 함수임을 입증하며, $1/W(z)$, $W(z)/z$, 및 관련 함수에 대한 명시적 스틸체스 적분 표현을 제공한다. 잭슨, 프로카치 및 콜의 일반화된 추측을 증명하고, 파면, 부리스턴–시에르트, 피크/버니스타인 함수 이론 기반의 적분 표현을 유도함으로써 스펙트르 수렴성 있는 구분법과 계산상의 이점을 가능하게 한다.

ABSTRACT

We show that many functions containing $W$ are Stieltjes functions. Explicit Stieltjes integrals are given for functions $1/W(z)$, $W(z)/z$, and others. We also prove a generalization of a conjecture of Jackson, Procacci & Sokal. Integral representations of $W$ and related functions are also given which are associated with the properties of their being Pick or Bernstein functions. Representations based on Poisson and Burniston--Siewert integrals are given as well.

연구 동기 및 목표

• 라마르트 W 함수의 다양한 함수들이 스틸체스 함수의 범주에 속한다는 것을 입증하는 것.
• 예를 들어 $1/W(z)$ 및 $W(z)/z$와 같은 핵심 함수에 대한 명시적 스틸체스 적분 표현을 유도하는 것.
• W 기반 함수의 완전 단조성에 관한 잭슨, 프로카치 및 콜의 추측을 일반화하는 것.
• W(z) 및 관련 함수에 대한 파면 및 부리스턴–시에르트 적분 기반의 적분 표현을 개발하는 것.
• 스펙트르 수렴성 있는 구분법과 등가 적분의 단순화를 통해 계산적 유용성을 보여주는 것.

제안 방법

• 양의 측도 $\mu$ 를 사용한 정의 $ f(x) = a + \int_0^\infty \frac{d\mu(t)}{x+t} $ 를 통해 스틸체스 적분 표현을 유도한다.
• 스틸체스 함수의 성질, 특히 복합, 역함수, 거듭제곱 평균에 대한 닫힘 성질을 적용한다.
• 복소해석학과 경로적분을 활용하여 로그적 및 아 tangent 적분을 포함하는 표현들, 예를 들어 (91) 및 (92)를 유도한다.
• 부리스턴–시에르트 적분 방법을 적용하여 복소 로그 적분을 통한 $W(z)$ 의 표현을 도출한다.
• 피크 및 버니스타인 함수 이론을 활용하여 완전 단조성과 정의 양성과 관련된 적분 표현을 도출한다.
• 분할 적분과 점근 분석을 활용하여 적분을 단순화하며, 예를 들어 (93)을 (94)로 변환한다.

실험 결과

연구 질문

• RQ1 라마르트 $W$ 함수의 어떤 함수들이 스틸체스 함수인가?
• RQ2 명시적 스틸체스 적분 표현을 $1/W(z)$ 와 $W(z)/z$ 에 대해 도출할 수 있는가?
• RQ3 잭슨, 프로카치 및 콜이 제기한 W 기반 함수의 완전 단조성에 관한 일반화된 추측은 참인가?
• RQ4 파면 및 부리스턴–시에르트 적분은 어떻게 $W(z)$ 를 표현하는 데 적용될 수 있는가?
• RQ5 이러한 적분 표현으로부터 어떤 계산상의 이점이 발생하는가, 특히 구분법과 단순화 측면에서?

주요 결과

• 함수 $W(z)/z$ 는 스틸체스 함수임을 입증하며, 이는 패드 근사에서 교차하는 극점과 구분법에서 스펙트르 수렴성을 암시한다.
• 측도 이론 및 복소해석학적 방법을 활용하여 $1/W(z)$, $W(z)/z$, 및 관련 함수에 대한 명시적 스틸체스 적분 표현을 도출한다.
• 잭슨, 프로카치 및 콜이 제기한 W 기반 함수의 완전 단조성에 관한 일반화된 추측은 참으로 증명된다.
• 복소 로그 적분을 통한 $W(z)$ 의 새로운 적분 표현이 유도되며, $z \notin [-1/e, 0]$ 에 대해 유효하며 식 (92)로 기술된다.
• 적분 표현 (94) 는 $x > 1/e$ 에서 $W(x)$ 에 대한 단순화된 실수 형태를 제공하며, 아 tangent 와 로그 가중치를 포함한다.
• 다양한 적분 형태, 예를 들어 (69)와 (35)를 동치로 취급함으로써 등가 표현을 밝혀내고 복잡한 적분을 단순화할 수 있다.