[논문 리뷰] Complete monotonicity of a family of functions involving the tri- and tetra-gamma functions

Feng Qi|arXiv (Cornell University)|2013. 01. 02.

Mathematical Inequalities and Applications참고 문헌 17인용 수 8

한 줄 요약

이 논문은 함수 $ f_\lambda(x) = [\psi'(x)]^2 + \psi''(x) - \frac{x^2 + \lambda x + 12}{12x^4(x+1)^2} $ 가 $ (0,\infty) $ 에서 완전 단조성인 필요충분조건을 규명한다. 이 함수가 완전 단조일 조건은 $ \lambda \leq 0 $ 이며, 그 역으로 $ -f_\lambda(x) $ 가 완전 단조일 조건은 $ \lambda \geq 4 $ 이다. 이러한 결과는 삼- 및 사-감마 함수에 대한 기존 부등식을 더욱 정밀하게 다듬고 강화한다.

ABSTRACT

The psi function $ψ(x)$ is defined by $ψ(x)=\frac{Γ'(x)}{Γ(x)}$ and $ψ^{(i)}(x)$ for $i\in\mathbb{N}$ denote polygamma functions, where $Γ(x)$ is the gamma function. In this paper, we prove that the function $$ [ψ'(x)]^2+ψ"(x)-\frac{x^2+λx+12}{12x^4(x+1)^2} $$ is completely monotonic on $(0,\infty)$ if and only if $λ\le0$, and so is its negative if and only if $λ\ge4$. From this, some inequalities are refined and sharpened.

연구 동기 및 목표

• 함수 $ f_\lambda(x) = [\psi'(x)]^2 + \psi''(x) - \frac{x^2 + \lambda x + 12}{12x^4(x+1)^2} $ 가 $ (0,\infty) $ 에서 완전 단조성이 성립하는 실수 매개변수 $ \lambda $ 의 정확한 범위를 규명하는 것.
• $ f_\lambda(x) $ 의 음수 형태가 $ (0,\infty) $ 에서 완전 단조성이 성립하는 조건을 필요충분조건으로 설정하는 것.
• $ [\psi'(x)]^2 + \psi''(x) $ 에 대한 기존 부등식을 개선하고, 형태 $ \frac{x^2 + \lambda x + 12}{12x^4(x+1)^2} $ 의 최적 유리함수 경계를 도출함으로써 이를 강화하는 것.
• 적분 표현과 점근 전개를 활용한 대체 증명을 제공하고, psi 및 다이감마 함수를 포함하는 새로운 완전 단조 함수와 부등식을 유도하는 것.

제안 방법

• 다중감마 함수의 재귀 공식 $ \psi^{(n-1)}(x+1) = \psi^{(n-1)}(x) + \frac{(-1)^{n-1}(n-1)!}{x^n} $ 을 활용하여 $ f_\lambda(x) - f_\lambda(x+1) $ 의 차이를 분석하는 것.
• 적분 표현: $ \psi^{(n)}(x) = (-1)^{n+1} \int_0^\infty \frac{t^n}{1 - e^{-t}} e^{-xt} dt $ 와 $ \frac{1}{x^r} = \frac{1}{\Gamma(r)} \int_0^\infty t^{r-1} e^{-xt} dt $ 을 적용하여 함수를 라플라스 변환 형태로 표현하는 것.
• 데카르트의 부호 법칙과 $ \psi'(x) $, $ \psi''(x) $ 의 점근 전개를 활용하여 $ x \to 0^+ $ 및 $ x \to \infty $ 일 때 $ f_\lambda(x) $ 의 부호 행동을 분석하는 것.
• 유리함수와 로그 항을 포함한 $ \psi'(x) $ 와의 조합을 통해 새로운 완전 단조 함수를 유도하고, 계수 분석을 통한 단조성 증명을 수행하는 것.
• 완전 단조 함수를 비롯한 라플라스 변환의 비감소 측도로의 특성화를 제공하는 베르슈타인-위더 정리를 적용하여 유도된 함수의 단조성을 검증하는 것.
• 유도된 완전 단조 함수를 통합하여 로그항과 유리함수항을 포함하는 $ \psi(x) $ 에 대한 새로운 이중부등식을 도출하는 것.

실험 결과

연구 질문

• RQ1 실수 $ \lambda \in \mathbb{R} $ 에 대해 함수 $ f_\lambda(x) = [\psi'(x)]^2 + \psi''(x) - \frac{x^2 + \lambda x + 12}{12x^4(x+1)^2} $ 가 $ (0,\infty) $ 에서 완전 단조성이 성립하는 값은 무엇인가?
• RQ2 실수 $ \lambda \in \mathbb{R} $ 에 대해 $ f_\lambda(x) $ 의 음수 형태가 $ (0,\infty) $ 에서 완전 단조성이 성립하는 값은 무엇인가?
• RQ3 형태 $ \frac{x^2 + \lambda x + 12}{12x^4(x+1)^2} $ 의 최적 유리함수 경계 중에서 $ [\psi'(x)]^2 + \psi''(x) $ 를 $ (0,\infty) $ 에서 아래와 위로 엄밀하게 둘러싸는 경계는 무엇인가?
• RQ4 다양한 조합을 통해 $ \psi'(x) $, 유리함수, 로그항을 포함하는 새로운 완전 단조 함수를 구성할 수 있으며, 그 매개변수 조건은 무엇인가?
• RQ5 $ f_\lambda(x) $ 가 $ x \to 0^+ $ 와 $ x \to \infty $ 일 때의 날카운 점근 행동은 무엇이며, 이는 매개변수 $ \lambda $ 를 어떻게 제약하는가?

주요 결과

• 함수 $ f_\lambda(x) = [\psi'(x)]^2 + \psi''(x) - \frac{x^2 + \lambda x + 12}{12x^4(x+1)^2} $ 는 $ (0,\infty) $ 에서 완전 단조일 조건이 $ \lambda \leq 0 $ 인 것과 필요충분이다.
• $ f_\lambda(x) $ 의 음수 형태인 $ -f_\lambda(x) $ 는 $ (0,\infty) $ 에서 완전 단조일 조건이 $ \lambda \geq 4 $ 인 것과 필요충분이다.
• 이중부등식 $ \frac{x^2 + \mu x + 12}{12x^4(x+1)^2} < [\psi'(x)]^2 + \psi''(x) < \frac{x^2 + \nu x + 12}{12x^4(x+1)^2} $ 가 $ (0,\infty) $ 에서 성립하는 것은 $ \mu \leq 0 $ 이고 $ \nu \geq 4 $ 인 것과 필요충분이다.
• 함수 $ \psi'(x) - \frac{\lambda(4 + 8x + 5x^2)}{24x(1+x)^3(2+x)^2} - \frac{24 + 120x + 283x^2 + 399x^3 + 345x^4 + 181x^5 + 51x^6 + 6x^7}{6x^2(1+x)^4(2+x)^2} $ 는 $ (0,\infty) $ 에서 완전 단조일 조건이 $ \lambda \leq 0 $ 인 것과 필요충분이다.
• 위 함수를 통합하면 로그항을 포함하는 $ \psi(x) $ 에 대한 이중부등식을 도출할 수 있으며, 이는 $ \xi \geq 4 $ 이고 $ \eta \leq 0 $ 인 경우에만 성립한다.
• 함수 $ G_\lambda(x) = \ln\Gamma(x) + x + \frac{1}{12(1+x)^2} + \frac{\lambda - 48}{48(1+x)} + \frac{H_\lambda(x)}{24} $ 는 $ (0,\infty) $ 에서 완전 단조일 조건이 $ \lambda \leq 0 $ 인 것과 필요충분이며, 모든 $ k \in \mathbb{N} $ 에 대해 $ (-1)^{k+1}[G_\lambda(x)]^{(k)} > 0 $ 이 성립하는 것은 $ \lambda \geq 4 $ 인 것과 필요충분이다.