[논문 리뷰] A Pick function related to the sequence of volumes of the unit ball in n-space

Christian Berg, H. Pedersen|ArXiv.org|2009. 12. 11.

Mathematics and Applications참고 문헌 16인용 수 5

한 줄 요약

이 논문은 $ a \geq 1 $일 때 함수 $ F_a(x) = \frac{\ln\Gamma(x+1)}{x\ln(ax)} $가 피크 함수임을 증명하며, 복소해석학과 잔여물 이론을 통해 적분 표현을 유도한다. 또한 $ f(x) = \left( \frac{\pi^{x/2}}{\Gamma(1+x/2)} \right)^{1/(x\ln x)} $일 때 $ \ln f(x+1) $가 스틸체스 함수임을 보이며, 이는 $ f(x+1) $가 완전히 단조감소함을 의미하고, $ f(n+2) = \Omega_{n+2}^{1/((n+2)\ln(n+2))} $는 하우스도르프 모멘트 수열을 이룬다.

ABSTRACT

We show that F_a(x)=\frac{\ln Γ(x+1)}{x\ln(ax)} is a Pick function for a\ge 1 and find its integral representation. We also consider the function f(x)=(\frac{π^{x/2}}{Γ(1+x/2)})^{1/(x\ln x)} and show that \ln f(x+1) is a Stieltjes function and that f(x+1) is completely monotonic on (0,\infty). In particular f(n)=Ω_n^{1/(n\ln n)},n\ge 2 is a Hausdorff moment sequence. Here Ω_n is the volume of the unit ball in Euclidean n-space

연구 동기 및 목표

• 주어진 $ a \geq 1 $에 대해 $ F_a(x) = \frac{\ln\Gamma(x+1)}{x\ln(ax)} $가 피크 함수임을 증명하며, $ n $-차원 공간에서 단위 구 부피의 알려진 단조성 결과를 확장한다.
• 복소평면에서의 잔여물 이론과 해석적 계속을 이용하여, 잘린 평면 $ \mathcal{A} = \mathbb{C} \setminus ]-\infty, 0] $ 내에서 $ F_a(z) $에 대한 명시적 적분 표현을 유도한다.
• $ f(x) = \left( \frac{\pi^{x/2}}{\Gamma(1+x/2)} \right)^{1/(x\ln x)} $ 함수를 분석하여, $ \ln f(x+1) $가 스틸체스 함수임을 보이고, $ f(x+1) $가 $ (0, \infty) $에서 완전히 단조감소함을 증명한다.
• $ f(n+2) = \Omega_{n+2}^{1/((n+2)\ln(n+2))} $ 수열이 하우스도르프 모멘트 수열임을 보이며, 기하학적 부피와 고전적 해석학을 연결한다.

제안 방법

• 잘린 평면 $ \mathcal{A} $에서 $ F_a(x) $를 유리형 함수로 확장하고, 극과 특이점을 식별하기 위해 복소해석학을 사용한다.
• 잔여물 정리를 적용하여, $ d_a(t) $가 구간 $ ]k-1, k[ $ 에서 조각적으로 정의된 바탕으로 적분 표현 $ F_a(z) = 1 + \frac{\ln\Gamma(1+1/a)}{z - 1/a} - \int_0^\infty \frac{d_a(t)}{z + t} dt $를 도출한다.
• 기존의 스틸체스 변환과 감마 함수의 로그 도함수 표현을 사용하여 $ \log f(z+1) $에 대한 적분 표현을 유도한다.
• 기존의 $ 1/\operatorname{Log}(z+1) $ 결과와 $ F_2 $의 표현을 결합하여 $ \log f(z+1) $가 스틸체스 함수임을 증명함으로써, $ f(x+1) $의 완전히 단조감소성을 확보한다.
• 잔여물 계산을 통해 $ G_a(z) = 1/F_a(z) $에 대한 적분 표현을 수립하고, $ a \geq 1 $일 때 $ G_a(z) $가 스틸체스 함수임을 보인다.
• 밀도 함수 $ d_a(t) $와 $ \rho_a(t) $의 음이 아닌 성질을 분석하여, 양성 조건이 붕괴되는 임계값 $ a_0 \approx 0.368 $을 규명한다.

실험 결과

연구 질문

• RQ1 $ a \geq 0 $에서 함수 $ F_a(x) = \frac{\ln\Gamma(x+1)}{x\ln(ax)} $가 $ (0, \infty) $에서 피크 함수가 되는 값은 무엇인가?
• RQ2 잘린 평면 $ \mathcal{A} $에서 $ F_a(z) $의 적분 표현은 무엇이며, 그에 관련된 측도의 구조는 어떠한가?
• RQ3 함수 $ f(x) = \left( \frac{\pi^{x/2}}{\Gamma(1+x/2)} \right)^{1/(x\ln x)} $에 대해 $ f(x+1) $이 $ (0, \infty) $에서 완전히 단조감소하는가?
• RQ4 단위 구의 부피 $ \Omega_n $이 주어진 $ \Omega_{n+2}^{1/((n+2)\ln(n+2))} $로 정의되는 수열 $ f(n+2) $가 하우스도르프 모멘트 수열을 이룬다?
• RQ5 $ F_a $의 적분 표현에 등장하는 밀도 $ d_a(t) $가 모든 $ t \geq 0 $에서 음이 아닌 값을 가지는 데 필요한 $ a $의 하한은 무엇인가?

주요 결과

• $ a \geq 1 $일 때 함수 $ F_a(x) $는 피크 함수이며, 적분 표현 $ F_a(z) = 1 + \frac{\ln\Gamma(1+1/a)}{z - 1/a} - \int_0^\infty \frac{d_a(t)}{z + t} dt $를 가지며, $ a \geq 1 $이고 $ t > 0 $일 때 $ d_a(t) \geq 0 $이다.
• $ a \geq 1 $일 때 $ F_a(x) $는 $ ]1/a, \infty[ $에서 엄격히 증가하고 엄격히 오목함을 보이며, 이는 부피 수열의 단조성에 대한 추측을 확인한다.
• $ \ln f(x+1) $는 스틸체스 함수이며, $ f(x+1) $는 $ (0, \infty) $에서 완전히 단조감소함을 보이며, $ \lim_{x \to \infty} f(x+1) = e^{-1/2} $이다.
• $ f(n+2) = \Omega_{n+2}^{1/((n+2)\ln(n+2))} $ 수열은 $ f(x+1) $가 완전히 단조감소하므로 하우스도르프 모멘트 수열이다.
• 임계값 $ a_0 \approx 0.3681154742 $는 $ d_a(t) \geq 0 $이 모든 $ t \geq 0 $에서 성립하는 $ a $의 하한이며, $ t \to k \in \mathbb{N} $일 때 $ d_a(t) \to \infty $이다.
• $ G_a(z) = 1/F_a(z) $는 $ G_a(z) = 1 + \frac{\ln a}{(1 - \gamma)(z - 1)} + \int_0^\infty \frac{\rho_a(t)}{z + t} dt $의 적분 표현을 가지며, $ a \geq a_0 $일 때 $ \rho_a(t) \geq 0 $이다. 또한 $ a \geq 1 $일 때 $ G_a(x+1) $는 스틸체스 함수이다.