[논문 리뷰] Some completely monotonic functions involving the $q$-tri-gamma and $q$-tetra-gamma functions with applications

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

Mathematical Inequalities and Applications인용 수 1

한 줄 요약

이 논문은 $q > 1$ 에서 $(0, \infty)$ 에서 $[\psi_q'(x)]^2 + \psi_q''(x)$ 와 $0 < q < 1$ 에서 $(0, \infty)$ 에서 $[\psi_q'(x) - \ln q]^2 + \psi_q''(x)$ 를 포함하는 두 가지 새로운 함수의 완전 단조성을 확립한다. 이러한 결과를 바탕으로 저자는 $q$-digamma 함수 $\psi_q(x)$ 를 둘러싸는 새로운 단조성 성질과 이중부등식을 유도하며, $q$-해석학에서 알려진 부등식을 확장한다.

ABSTRACT

Let $\psi_q(x)$, $\psi_q'(x)$, and $\psi_q''(x)$ for $q>0$ stand respectively for the $q$-digamma, $q$-trigamma, and $q$-tetragamma functions. In the paper, the author proves along two different approaches that the functions $[\psi'_q(x)]^2+\psi''_q(x)$ for $q>1$ and $[\psi_{q}'(x)-\ln q]^2 +\psi''_{q}(x)$ for $0<q<1$ are completely monotonic on $(0,\infty)$. Applying these results, the author derives monotonic properties of four functions involving the $q$-digamma function $\psi_q(x)$ and two double inequalities for bounding the $q$-digamma function $\psi_q(x)$.

연구 동기 및 목표

• 다른 범위의 $q$ 에 대해 $q$-trigamma 및 $q$-tetragamma 함수를 포함하는 복합 함수의 완전 단조성을 조사하는 것.
• 유도된 단조성 성질을 이용하여 $q$-digamma 함수 $\psi_q(x)$ 를 위한 새로운 부등식을 수립하는 것.
• 고전적 단조성 및 경계 결과를 $q$-특수함수 프레임워크로 확장하여 $q$-digamma 함수에 적용하는 것.
• $\psi_q(x)$ 가 양의 실수선 전반에서 어떻게 행동하는지 분석하고 경계를 설정하기 위한 분석적 도구를 제공하는 것.

제안 방법

• $q$-trigamma 함수 $\psi_q'(x)$ 의 두 번째 도함수의 부호와 단조성을 분석하고, $\psi_q''(x)$ 와의 관계를 조사하는 것.
• 완전 단조성을 증명하기 위해 두 가지 다른 분석적 접근—급수 전개 및 적분 표현 기법—을 적용하는 것.
• $q > 1$ 에 대해 복합 함수 $[\psi_q'(x)]^2 + \psi_q''(x)$ 와 $0 < q < 1$ 에 대해 $[\psi_q'(x) - \ln q]^2 + \psi_q''(x)$ 를 정의하고 연구하는 것.
• 이러한 함수의 완전 단조성을 이용하여 $\psi_q(x)$ 를 포함하는 관련 표현의 단조성을 유도하는 것.
• 단조성 결과를 통합하고 적분 비교 기법을 적용하여 $\psi_q(x)$ 를 위한 이중부등식을 도출하는 것.
• $q$-특수함수, 특히 $q$-digamma, $q$-trigamma, $q$-tetragamma 함수의 성질을 $q$-해석학의 프레임워크 안에서 활용하는 것.

실험 결과

연구 질문

• RQ1 $q > 1$ 에서 $(0, \infty)$ 에서 함수 $[\psi_q'(x)]^2 + \psi_q''(x)$ 는 완전 단조적인가?
• RQ2 $0 < q < 1$ 에서 $(0, \infty)$ 에서 함수 $[\psi_q'(x) - \ln q]^2 + \psi_q''(x)$ 는 완전 단조적인가?
• RQ3 이 복합 함수의 완전 단조성이 $q$-digamma 함수 $\psi_q(x)$ 를 위한 새로운 경계를 도출하는 데 사용될 수 있는가?
• RQ4 유도된 부등식을 바탕으로 $\psi_q(x)$ 를 이용해 구성된 함수들에서 어떤 단조성 성질이 도출되는가?
• RQ5 $\psi_q(x)$ 를 위한 경계는 $q$-해석학에서 기존의 고전적 부등식과 어떻게 비교되는가?

주요 결과

• $q > 1$ 에서 $(0, \infty)$ 에서 함수 $[\psi_q'(x)]^2 + \psi_q''(x)$ 는 완전 단조적이다.
• $0 < q < 1$ 에서 $(0, \infty)$ 에서 함수 $[\psi_q'(x) - \ln q]^2 + \psi_q''(x)$ 는 완전 단조적이다.
• 이러한 완전 단조성 결과는 $q$-digamma 함수 $\psi_q(x)$ 를 상하로 둘러싸는 새로운 이중부등식을 도출한다.
• 유도된 부등식을 바탕으로 $\psi_q(x)$ 를 포함하는 네 가지 함수의 단조성 성질이 확립된다.
• 결과는 고차수 $q$-특수함수를 통합함으로써 고전적 $q$-해석학 부등식을 확장한다.
• 분석은 $q$-2차 도함수 구조를 활용하여 $\psi_q(x)$ 의 경계 설정 및 분석을 체계적으로 수행할 수 있는 프레임워크를 제공한다.