[논문 리뷰] Bounds for the ratio of two gamma functions--From Wendel's and related inequalities to logarithmically completely monotonic functions

Feng Qi|arXiv (Cornell University)|2009. 04. 07.

Mathematical Inequalities and Applications참고 문헌 40인용 수 4

한 줄 요약

이 종합 논문은 감마 함수 및 q-감마 함수 비율에 대한 경계를 체계적으로 검토하며, 이러한 비율이 로그로 완전 단조일 조건을 필수적이고 충분한 조건으로 설정한다. 월던의, 고츠키의, 커샤프의 고전적 부등식들을 완전 단조성의 프레임워크 안에서 통합하여, 특정한 감마 함수의 곱 비율이 명시적인 매개변수 조건 하에서 로그로 완전 단조임을 증명한다.

ABSTRACT

In this expository and survey paper, along one of main lines of bounding the ratio of two gamma functions, we look back and analyse some inequalities, several complete monotonicity of functions involving ratios of two gamma or $q$-gamma functions, and necessary and sufficient conditions for functions involving ratios of two gamma or $q$-gamma functions to be logarithmically completely monotonic.

연구 동기 및 목표

• 감마 함수 비율을 둘러싼 수십 년에 걸친 연구를 통합하고 분석함으로써, 특히 부등식과 단조성 성질에 초점을 맞춘다.
• 감마 함수 또는 q-감마 함수 비율이 로그로 완전 단조일 조건을 명확히 하여, 분석학 및 특수함수 이론에서 핵심적인 성질인 로그로 완전 단조성의 조건을 명시한다.
• 클래식한 부등식들(예: 월던의, 고츠키의)의 결과를 완전 단조성과 로그로 완전 단조성의 더 넓은 프레임워크 안에서 통합하고 확장한다.
• 다중 매개변수를 포함한 감마 함수 또는 q-감마 함수의 곱 비율에 대해 로그로 완전 단조성의 새로운 충분 조건을 제시한다.
• 분석학, 특수함수, 응용수학 분야의 연구자들이 엄밀한 경계와 단조성 기준을 찾기 위한 종합적인 참고자료를 제공한다.

제안 방법

• 기초적인 부등식들인 월던의 이중 부등식, 카자린호프의 개선, 워터슨의 단조성, 고츠키의 경계, 커샤프의 첫 번째 이중 부등식을 조사하고 통합한다.
• 적분 표현과 도함수의 부호 조건을 이용하여 감마 함수 및 q-감마 함수 비율을 포함하는 함수의 완전 단조성을 분석한다.
• 로그로 완전 단조 함수의 개념(로그의 교대 도함수가 음이 아닌 함수)을 적용하여 필수적이고 충분한 조건을 유도한다.
• 완전 단조 함수의 적분 표현(정리 1.1을 이용)을 통해 이러한 함수의 구조를 특성화한다.
• 특수한 측도 표현(1.6)과 고전적 항등식의 q-해석을 활용하여 q-감마 함수로 결과를 확장한다.
• 특정 대칭적 곱 비율의 감마 함수(예: (5.9) 및 (5.11))가 명시적인 매개변수 제약 조건 하에서 로그로 완전 단조임을 증명한다.

실험 결과

연구 질문

• RQ1 두 감마 함수 비율이 로그로 완전 단조일 조건은 무엇인가?
• RQ2 클래식한 부등식들인 월던의 부등식과 고츠키의 부등식은 완전 단조성의 더 넓은 프레임워크와 어떻게 관련이 있는가?
• RQ3 감마 함수 또는 q-감마 함수 비율의 곱이 로그로 완전 단조일 조건은 무엇인가?
• RQ4 클래식한 결과의 q-감마 함수 해석은 단조성 성질을 어떻게 유지하거나 일반화하는가?
• RQ5 함수 $ q_{\alpha,\beta}(t) $ 의 단조성이 더 복잡한 비율의 로그로 완전 단조성에 대한 충분 조건을 도출하는 데 사용될 수 있는가?

주요 결과

• 적절한 이동 후 함수 $ F(x) = \frac{\prod_{\sigma \in E_n} \Gamma(x + a_{\sigma(2)} + 2a_{\sigma(3)} + \cdots + (n-1)a_{\sigma(n)})}{\prod_{\sigma \in O_n} \Gamma(x + a_{\sigma(2)} + 2a_{\sigma(3)} + \cdots + (n-1)a_{\sigma(n)})} $ 는 $ (0, \infty) $ 에서 로그로 완전 단조이다.
• 함수 $ F_n(x) = \frac{\Gamma(x) \prod_{k=1}^{[n/2]} \left[ \prod_{m \in P_{n,2k}} \Gamma\left(x + \sum_{j=1}^{2k} a_{m_j} \right) \right]}{\prod_{k=1}^{[(n+1)/2]} \left[ \prod_{m \in P_{n,2k-1}} \Gamma\left(x + \sum_{j=1}^{2k-1} a_{m_j} \right) \right]} $ 는 임의의 $ a_k > 0 $ 에 대해 $ (0, \infty) $ 에서 로그로 완전 단조이다.
• 만약 $ 0 < q < 1 $ 이면, $ F_n(x) $ 와 유사하게 정의된 q-해석 $ F_{n,q}(x) $ 도 $ (0, \infty) $ 에서 로그로 완전 단조이며, $ F_q(x) $ 에 대해서도 유사한 결과가 성립한다.
• 정리 5.1은 $ (b_i - a_i)(1 - a_i - b_i) \geq 0 $, $ (b_i - a_i)(|a_i - b_i| - a_i - b_i) \geq 0 $, 그리고 $ \sum b_i \geq \sum a_i $ 라면, $ h_{\boldsymbol{a},\boldsymbol{b};n}(x) $ 는 $ (-\rho_n, \infty) $ 에서 로그로 완전 단조임을 보여준다.
• q-해석(정리 5.2)은 $ h_{q;\boldsymbol{a},\boldsymbol{b};n}(x) = \prod_{i=1}^n \frac{\Gamma_q(x + a_i)}{\Gamma_q(x + b_i)} $ 가 동일한 조건 하에서 $ (-\rho_n, \infty) $ 에서 로그로 완전 단조임을 확인한다.
• 이 논문은 로그로 완전 단조 함수가 완전 단조 함수의 엄밀한 부분집합임을 확인하였으며, Berg와 Horn이 지적한 linfinitely divisible completely monotonic functions와 대응됨을 밝혔다.