[論文レビュー] Generalizations of Some Inequalities for the $p$-Gamma, $q$-Gamma and $k$-Gamma Functions

Kwara Nantomah, Edward Prempeh|arXiv (Cornell University)|Jan 13, 2015

Mathematical Inequalities and Applications参考文献 7被引用数 4

ひとこと要約

本稿では、関連するディガマ関数の級数表現を用いた統一的枠組みを導入することで、$p$-ガンマ、$q$-ガンマ、$k$-ガンマ関数に関する既知の不等式を一般化する。これらの特殊関数を含む指数関数的比関数が厳密に増加であることを証明し、クルスニッチ、シャバーニ、ナントマの結果を$t \in (0,1)$においてより精密に拡張する。パラメータを1に設定した場合、元の不等式が特別な場合として回復される。

ABSTRACT

In this paper, we present and prove some generalizations of some inequalities for the $p$-Gamma, $q$-Gamma and $k$-Gamma functions. Our approach makes use of the series representations of the psi, $p$-psi, $q$-psi and $k$-psi functions.

研究の動機と目的

• 文献[4]、[2]、[7]で確立された元の境界を越えて、$p$-、$q$-、$k$-ガンマ関数に関する既存の不等式を一般化すること。
• それらの一般化ガンマ関数の取り扱いを、それぞれのディガマ関数の級数表現に基づく共通の解析的枠組みで統一すること。
• ガンマ関数の累乗比が厳密に増加するための十分条件を確立し、より厳密かつ一般的な不等式を可能にすること。
• パラメータを1に設定した場合、クルスニッチらおよびナントマの元の不等式が特別な場合として回復されること。

提案手法

• 既知の積分および積の定義を用いて、$p$-、$q$-、$k$-ディガマ関数の級数表現を導出する。
• パrameters $a$, $b$, $\alpha$, $\beta$, $k$, $p$, $q$ を含む、古典的ディガマ関数と一般化ディガマ関数の重み付き組み合わせを含む関数的枠組みを導入する。
• ガンマ関数および一般化ガンマ関数の指数関数的比変換として、補助関数 $\Omega(t)$、$\phi(t)$、$\theta(t)$ を定義する。
• 級数収束性および正値性の議論を用いて、$a\gamma + b\ln p + a\psi(t) - b\psi_p(t)$ および $q$-および $k$-ケースの類似形の重要な式の正値性を証明する。
• 対数微分の符号解析と微分を用いて、$\Omega(t)$、$\phi(t)$、$\theta(t)$ の単調性を確立する。
• 対数微分の単調性を応用して、$t \in (0,1)$ に対して両側不等式を導出する。

実験結果

リサーチクエスチョン

• RQ1 文献[4]における $p$-ガンマ関数の不等式は、$a = b = \beta = 1$ の場合を越えて一般化可能か？
• RQ2 パrameters $a$, $b$, $\alpha$, $\beta$ が任意の正の値である場合に、$q$-ガンマ関数および $k$-ガンマ関数に対しても同様の一般化が成立するか？
• RQ3 古典的および一般化ガンマ関数を含む比関数の単調性挙動を捉える統一的解析的枠組みは存在するか？
• RQ4 文献[4]、[2]、[7]における元の不等式は、新しい一般化の特別な場合として回復可能か？
• RQ5 構築された比関数の単調性を満たすために必要なおよび十分なパラメータ条件は何か？

主な発見

• 関数 $\Omega(t) = \frac{p^{b\beta t}e^{a\beta\gamma t}\Gamma(\alpha+\beta t)^a}{\Gamma_p(\alpha+\beta t)^b}$ は、$a, b, \alpha, \beta > 0$ および $\alpha + \beta t > 1$ の下で $t \in (0, \infty)$ で厳密に増加であり、(17)に示される一般化不等式を導く。
• 関数 $\phi(t) = \frac{(1-q)^{-b\beta t}e^{a\beta\gamma t}\Gamma(\alpha+\beta t)^a}{\Gamma_q(\alpha+\beta t)^b}$ は、$a, b, \alpha, \beta > 0$、$q \in (0,1)$、および $\alpha + \beta t > 1$ の下で $t \in (0, \infty)$ で厳密に増加であり、(19)に示される一般化不等式を導く。
• 関数 $\theta(t) = \frac{(\alpha+\beta t)^{a-b}e^{t(\frac{ka\beta\gamma - b\beta\gamma}{k})}\Gamma(\alpha+\beta t)^a}{k^{-\frac{b\beta t}{k}}\Gamma_k(\alpha+\beta t)^b}$ は、$a \geq b > 0$、$k \geq 1$、および $\alpha + \beta t > 0$ の下で $t \in (0, \infty)$ で非減少であり、(21)に示される一般化不等式を導く。
• パrameters $a = b = \beta = 1$ の場合、(17)、(19)、(21)における不等式は、それぞれ文献[4]、[2]、[7]の元の不等式に正確に還元され、一貫性および一般化の妥当性が確認される。
• ディガマ関数の級数表現を用いて、$\Omega$、$\phi$、$\theta$ の対数微分の正値性が確立され、比関数の単調性が保証される。