[논문 리뷰] Some Monotonicity Properties of Gamma and $q$-gamma Functions

Peng Gao|arXiv (Cornell University)|2007. 09. 07.

Mathematical Inequalities and Applications참고 문헌 28인용 수 15

한 줄 요약

이 논문은 로그로 완전 단조성 함수를 사용하여 감마 함수와 q-감마 함수의 새로운 단조성 성질을 확립한다. q-디감마 함수의 도함수를 분석하고 기존의 부등식을 적용하여, 특정 q-감마 함수 비율이 로그로 완전 단조적임을 증명함으로써, q-감마 함수에 대한 날카운 부등식과 R^n에서 단위 구의 부피에 대한 향상된 경계를 도출한다.

ABSTRACT

We prove some properties of completely monotonic functions and apply them to obtain results on gamma and $q$-gamma functions.

연구 동기 및 목표

• 로그로 완전 단조성 함수 이론을 활용하여 q-감마 함수의 새로운 단조성 성질을 도출하는 것.
• 로그로 완전 단조성의 특성을 활용하여 기존 감마 함수 부등식을 q-감마 함수로 확장하는 것.
• 감마 함수와 q-감마 함수의 단조성 결과를 활용하여 R^n에서 단위 구의 부피에 대한 기존 경계를 향상시키는 것.
• q-감마 함수 비율 Γ_q(x+1)/Γ_q(x+s)에 대한 이전 결과를 일반화하기 위해, 다이어그램 함수의 q-해석을 통한 날카운 부등식을 증명하는 것.
• q ∈ (0,1)에 대해 함수 x ↦ xψ_q^{(n)}(x)의 단조성에 대한 q-해석을 수립하는 것.

제안 방법

• 로그로 완전 단조성 함수의 정의를 사용하여 q-감마 함수 비율에 적용한다.
• Lemma 2.4를 적용한다. 이는 h'(x)가 완전 단조적이라면 e^{-h(x)}가 로그로 완전 단조적임을 나타낸다.
• 0 < q < 1일 때, q-디감마 함수 ψ_q(x) = -ln(1-q) + ln(q)∑_{n=1}^∞ q^{nx}/(1-q^n)를 사용한다.
• f_n(x;q) = (1-q^x)^n (-1)^{n+1} ψ_q^{(n)}(x)가 (0,∞)에서 감소함을 보여, 다이어그램 함수 도함수 부등식의 q-해석을 유도한다.
• 적분 표현과 급수 전개를 사용하여 유도된 함수 f_n(x;q)의 모든 차수 도함수가 비음수임을 증명한다.
• 감마 함수 비율, 예를 들어 g_q(x;a,b,c)와 같은 함수에 대해 완전 단조성 이론을 적용하여 단조성과 부등식을 유도한다.

실험 결과

연구 질문

• RQ1 비율 g_q(x;a,b,c) = [(1-q^{x+c})/(1-q)]^{a-b} Γ_q(x+b)/Γ_q(x+a)가 어떤 조건에서 (0,∞)에서 로그로 완전 단조적일까?
• RQ2 모든 x > 0 및 0 < s < 1에 대해 부등식 [(1-q^{x+u(q,s)})/(1-q)]^{1-s} < Γ_q(x+1)/Γ_q(x+s) < [(1-q^{x+v(q,s)})/(1-q)]^{1-s}가 성립하기 위한 최적의 상수 u(q,s)와 v(q,s)는 무엇인가?
• RQ3 특히 f_n(x;q) = (1-q^x)^n (-1)^{n+1} ψ_q^{(n)}(x)가 (0,∞)에서 감소함을 보여, 다이어그램 함수 도함수 부등식의 q-해석을 확립할 수 있는가?
• RQ4 감마 함수 비율의 단조성은 R^n에서 단위 구의 부피에 대한 개선된 경계를 도출하는 데 어떻게 활용될 수 있는가?
• RQ5 함수의 로그로 완전 단조성과 그 함수의 이동된 형태와의 비율 사이의 관계는 무엇인가?

주요 결과

• 0 < q < 1일 때, 함수 g_q(x;s,1,u(q,s))는 (0,∞)에서 로그로 완전 단조적이다. 여기서 u(q,s) = ln[(q^s - q)/((1-s)(1-q))]/ln q이며, 이는 알츠어의 결과에서 왼쪽 부등식을 증명한다.
• 모든 n ≥ 1 및 0 < q < 1에 대해 함수 f_n(x;q) = (1-q^x)^n (-1)^{n+1} ψ_q^{(n)}(x)는 (0,∞)에서 감소한다. 이는 다이어그램 함수 단조성의 q-해석을 확립한다.
• 단위 구의 부피 비율 Ω_n^2 / (Ω_{n-1} Ω_{n+1})는 모든 n ≥ 1에 대해 (1 + 1/(n+1))^{1/2} ≤ Ω_n^2 / (Ω_{n-1} Ω_{n+1}) ≤ (1 + 1/(n+1/2))^{1/2}의 개선된 경계를 만족한다.
• 알츠어의 부피 경계식 (6.1)의 왼쪽 부등식은 s = 1/2일 때 부등식 (3.1)의 왼쪽과 ψ(2x)의 배치 공식을 통해 유도된다.
• 인덱스 부분집합에 대한 q-감마 함수의 곱을 통해 정의된 함수 F_n(x,q)는 x > 0 및 0 < q ≤ 1일 때 x에 대해 로그로 완전 단조적이다.
• 비율 a(x)/a(x+1/2)는 로그로 완전 단조적이고 하한이 1이다. 이는 부피 비율에 대한 정리 6.1의 첫 번째 부등식을 이끌어낸다.