[論文レビュー] Some completely monotonic functions involving the $q$-tri-gamma and $q$-tetra-gamma functions with applications

Feng Qi|arXiv (Cornell University)|Jan 2, 2013

Mathematical Inequalities and Applications被引用数 1

ひとこと要約

本稿では、$q > 1$ に対して $(0, \infty)$ 上で $[\psi_q'(x)]^2 + \psi_q''(x)$ および $0 < q < 1$ に対して $[\psi_q'(x) - \ln q]^2 + \psi_q''(x)$ という2つの新しい関数の完全単調性を確立する。これらの結果を用いて、$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)$ の2階微分の符号および単調性と $\psi_q''(x)$ の関係を分析すること。
• 完全単調性を証明するために、2つの異なる解析的手法—級数展開および積分表現技法—を適用すること。
• $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 関数 $[\psi_q'(x)]^2 + \psi_q''(x)$ は $q > 1$ の場合に $(0, \infty)$ 上で完全単調的か？
• RQ2 関数 $[\psi_q'(x) - \ln q]^2 + \psi_q''(x)$ は $0 < q < 1$ の場合に $(0, \infty)$ 上で完全単調的か？
• RQ3 これらの合成関数の完全単調性を用いて、$q$-digamma 関数 $\psi_q(x)$ の新たな境界を導出できるか？
• RQ4 導出された不等式に基づいて、$\psi_q(x)$ を用いて構築された関数の単調性特性は何か？
• RQ5 $\psi_q(x)$ の境界は、$q$-微積分における既存の古典的不等式と比べてどうか？

主な発見

• $q > 1$ の場合に、関数 $[\psi_q'(x)]^2 + \psi_q''(x)$ は $(0, \infty)$ 上で完全単調的である。
• $0 < q < 1$ の場合に、関数 $[\psi_q'(x) - \ln q]^2 + \psi_q''(x)$ は $(0, \infty)$ 上で完全単調的である。
• これらの完全単調性の結果から、$\psi_q(x)$ を上界および下界で囲む新たな二重不等式が導かれる。
• 導出された不等式に基づいて、$\psi_q(x)$ を含む4つの関数の単調性特性が確立される。
• これらの結果により、高階の $q$-特殊関数を組み込んだ古典的不等式が $q$-微積分において拡張される。
• 解析により、2階微分構造を用いた $\psi_q(x)$ のバインドおよび挙動分析の体系的フレームワークが提供される。