[논문 리뷰] A short proof of monotonicity of a function involving the psi and exponential functions

Feng Qi, Bai‐Ni Guo|arXiv (Cornell University)|2009. 02. 15.

Mathematical Inequalities and Applications참고 문헌 6인용 수 2

한 줄 요약

이 논문은 ψ(x)가 딤펜 함수일 때 함수 φ(x) = ψ(x) + ln(e^{1/x} − 1)가 (0, ∞)에서 엄격하게 증가함을 보여주는 간결한 증명을 제시한다. 증명은 ψ(x+1) = ψ(x) + 1의 함수 방정식과 로그 미분을 활용하여 이전에 거의 두 페이지에 걸쳐 작성된 장시간에 걸친 유도 과정보다 훨씬 짧은 대안을 제공하며, 핵심 결과는 φ(x)의 단조성과 x → ∞일 때의 극한 값 0이다.

ABSTRACT

Abstract. In the short note, a simple proof is provided for the increasing monotonicity of the function ψ(x) + ln ` e 1/x − 1 ´ on (0, ∞), where ψ(x) is the well-known psi function. It is well-known that the classical gamma function Γ(x) = 0 t x−1 e −t dt (1) for x> 0, the psi function ψ(x) = Γ ′ (x) Γ(x) , and the polygamma functions ψ(k) (x) for k ∈ N play central roles in the theory of special functions and have much extensive applications in many branches. In [4, Theorem 2], it was discovered that if a ≤ − ln2 and b ≥ 0, then a − ln ( e 1/x − 1) < ψ(x) < b − ln ( e 1/x − 1) (2) holds for x> 0. In [3, Theorem 2.8], the inequality (2) was sharpened as follows: If a ≤ −γ and b ≥ 0, then the inequality (2) is valid for x> 0, where the constants −γ = −0.577... (the negative of Euler-Mascheroni’s constant) and 0 are the best possible. In [2], the function φ(x) = ψ(x) + ln ( e 1/x − 1) (3) was proved to be strictly increasing on (0, ∞) and lim φ(x) = 0. (4) x→∞ In [9], among other things, the function φ(x) was proved to be not only strictly increasing but also strictly concave on (0, ∞), with the limits limx→0 + φ(x) = −γ and (4). In [2, 9], the proofs of the increasing monotonicity of φ(x) spent respectively almost two printed pages. The aim of this short note is to provide a simple proof for the increasing monotonicity of the function φ(x) as follows. Theorem 1. The function φ(x) is strictly increasing on (0, ∞). Proof. It is well-known that Γ(x + 1) = xΓ(x) (5) for x> 0. Taking the logarithm on both sides of the above equation and differentiating yields ψ(x + 1) = ψ(x) + 1

연구 동기 및 목표

• φ(x) = ψ(x) + ln(e^{1/x} − 1)의 (0, ∞)에서의 증가 단조성에 대한 더 짧고 효율적인 증명을 제공하는 것.
• 이전에 거의 두 페이지에 걸쳐 작성된 φ(x)의 단조성에 대한 장시간 유도 과정을 단순화하는 것.
• пси 함수의 기본 성질과 기본 미적분학만을 사용하여 결과를 확립하는 것.
• x → ∞일 때 φ(x)의 극한이 0임을 확인하고, 이는 이전의 결과와 일치함을 확인하는 것.

제안 방법

• Γ(x+1) = xΓ(x)의 감마 함수 항등식의 로그 미분에서 유도된 함수 방정식 ψ(x+1) = ψ(x) + 1을 활용한다.
• 감마 함수 항등식에 로그 미분을 적용하여 ψ(x)의 재귀식을 도출한다.
• ψ(x)의 알려진 도함수와 로그 항의 연쇄법칙을 사용하여 φ(x) = ψ(x) + ln(e^{1/x} − 1)의 도함수를 분석한다.
• 표준적인 미적분 기법을 사용하여 모든 x > 0에 대해 φ'(x) > 0임을 보여 증가성을 증명한다.
• 복잡한 점근적 또는 적분 추정을 피하고, 기본적인 티피 함수 성질과 기본 미분 기법에만 의존한다.

실험 결과

연구 질문

• RQ1 φ(x) = ψ(x) + ln(e^{1/x} − 1)의 (0, ∞)에서의 단조성은 이전 접근 방식보다 더 간결하게 증명될 수 있는가?
• RQ2 пси 함수의 어떤 기본 성질이 φ(x)의 증가 행동을 단순화하는 데 사용될 수 있는가?
• RQ3 x → ∞일 때 φ(x)의 극한이 0인가? 그리고 이는 단순화된 증명 틀 안에서 확인될 수 있는가?
• RQ4 증명은 ψ(x+1) = ψ(x) + 1의 함수 방정식과 기본 미분 기법만으로 구성될 수 있는가?

주요 결과

• 함수 φ(x) = ψ(x) + ln(e^{1/x} − 1)는 구간 (0, ∞)에서 엄격하게 증가한다.
• 이전의 유도 과정에 비해 단조성 증명이 훨씬 짧으며, 이는 이전에 거의 두 페이지에 걸쳐 작성되었다.
• x가 무한대에 접근할 때 φ(x)의 극한은 0이며, 이는 이전 결과와 일치한다.
• 증명은 오직 함수 방정식 ψ(x+1) = ψ(x) + 1과 기본적인 미분 기법에만 의존한다.
• 고도로 발전된 점근적 또는 적분 추정을 요구하지 않고도 φ(x)의 증가성을 확인할 수 있다.
• 이 방법은 동일한 단조성 성질을 증명하기 위한 이전 증명보다 더 접근하기 쉬우며 효율적인 대안을 제공한다.