[論文レビュー] Monotonicity of ratios of q-Kummer confluent hypergeometric and q-hypergeometric functions and associated Tur\'an types inequalities

Khaled Mehrez, С. М. Ситник|arXiv (Cornell University)|Dec 4, 2014

Mathematical Inequalities and Applications参考文献 10被引用数 9

ひとこと要約

本稿では、特定のパrameter制約下で、q-Kummer退化超幾何関数およびq-超幾何関数の比の単調性を確立し、これらの比が[0, ∞)または[0, 1[上で厳密に増加することを証明している。主な貢献は、比単調性を用いて、q-超幾何級数および比分析手法を用いて、古典的KummerおよびGauss超幾何関数に関する結果をq設定に拡張した新しいqアナロジーのTurán型不等式を導出したことである。

ABSTRACT

In this paper we prove monotonicity of some ratios of $q$--Kummer confluent hypergeometric and $q$--hypergeometric functions. The results are also closely connected with Tur\'an type inequalities. In order to obtain main results we apply methods developed earlier by the authors for the case of classical Kummer and Gauss hypergeometric functions.

研究の動機と目的

• 古典的Turán型不等式をKummerおよびGauss超幾何関数からそれらのqアナロジーへ拡張すること。
• 変数xに関するq-Kummerおよびq-超幾何関数比の単調性特性を調査すること。
• 比が[0, ∞)または[0, 1[上で単調増加となるためのパrameter a, b, c, q の十分条件を確立すること。
• 単調性結果の結果として、新しいq-Turán型不等式を導出すること。
• q-Pochhammer記号およびq-級数を用いて、古典的超幾何比に関する先行研究をq微積分枠組みへ一般化すること。

提案手法

• q-Pochhammer記号およびq-級数を用いて、q-Kummer退化超幾何関数φ(q^a; q^b; q; x)を定義する。
• q-超幾何関数の積の比h(a, b, c, q, x)を、畳み込みで定義された係数を持つべき級数の比として表現する。
• 補題1（列の部分和の比）を適用し、係数比C_n = v_n / w_n が増加することを示す。
• 補題2（正の係数および増加する係数比を持つべき級数の比の単調性）を用いて、h(a, b, c, q, x) が[0, ∞)上で増加することを証明する。
• q-Pochhammer恒等式を用いて係数比A_n,k / B_n,k を分析し、条件a > b > c > 0、b > 1、0 < q < 1の下でkに関して増加することを示す。
• 多変数係数列を定義し、類似の比分析を用いてその比単調性を証明することにより、一般化されたq-超幾何関数へこの手法を拡張する。

実験結果

リサーチクエスチョン

• RQ1 パrameter a, b, c, q がどのような条件下で、q-Kummer関数比h(a, b, c, q, x) が[0, ∞)上でxに関して単調増加となるか。
• RQ2 比単調性を用いて、q-Kummerおよびq-超幾何関数に対してTurán型不等式を確立できるか。
• RQ3 古典的超幾何関数比の単調性特性は、qアナロジー設定へどのように拡張されるか。
• RQ4 係数比C_n = v_n / w_n が増加するためのパrameter a, b, c, q の十分条件は何か。
• RQ5 係数比単調性の手法を多変数q-超幾何関数へ一般化できるか。

主な発見

• q ∈ (0, 1)、a > b > c > 0、b > 1 の条件下で、q-Kummer関数比h(a, b, c, q, x) は[0, ∞)上で厳密に増加する。
• 同じパrameter条件下で、すべてのx ≥ 0に対して、不等式φ(q^a; q^b; q; x)^2 ≤ φ(q^a; q^{b−c}; q; x)φ(q^a; q^{b+c}; q; x) が成り立つ。
• 一般化されたq-超幾何関数に関しては、bi > ci および bi > 1（i = 1, ..., r）の条件下で、hr(a, b, c, q) は[0, 1[上で厳密に増加する。
• 同じ条件下で、対応するTurán型不等式が成り立つ：[φ(q^a; q^b; q; x)]^2 < φ(q^a; q^{b−c}; q; x)φ(q^a; q^{b+c}; q; x) が[0, 1[上で成り立つ。
• 証明は、補題1を用いて係数比C_n = v_n / w_n が増加することを示し、その後補題2をべき級数比に適用することでなされる。
• 結果は、q-級数および係数比分析を用いて、古典的超幾何関数の単調性およびTurán不等式結果をqアナロジーの場合へ一般化している。