[論文レビュー] A conjecture on monotonicity of a ratio of Kummer hypergeometric functions

С. М. Ситник|arXiv (Cornell University)|Jul 4, 2012

Mathematical functions and polynomials参考文献 11被引用数 3

ひとこと要約

この論文は、Kummerの発展型超幾何関数の比の単調性に関する予想を定式化し一般化し、特に関数 $ g_n(x) = \frac{{}_1F_1(1;n+1;x){}_1F_1(1;n+3;x)}{[{}_1F_1(1;n+2;x)]^2} $ がすべての $ x \geq 0 $ および $ n \in \mathbb{N} $ に対して厳密に増加することを証明する。この結果は長年の予想を解決し、高次のおよび $ q $-超幾何関数への一般化を含む、より広範な超幾何関数のクラスへと拡張される。

ABSTRACT

In the preprint of 1993 the author formulated some conjectures on monotonicity of ratios for exponential series remainders. They are equivalent to conjectures on monotonicity of a ratio of Kummer hypergeometric functions and presumably not proved still. In this short note the most interesting conjecture from the preprint of 1993 is reproduced with its generalizations. In the updated version an important information is added that conjectures 1, 2 and also problems 1, 2 were recently proved by Khaled Mehrez from IPEIM, Tunisia, for details cf. arXiv:1410.6120. Also the results on monotonicity were generalized to basic hypergeometric functions.

研究の動機と目的

• 指数級数の剰余の比の単調性を確立する。これはKummerの発展型超幾何関数の比に相当する。
• 予想を $ {}_pF_q $ および $ q $-超幾何関数形式を含む、より広範な超幾何関数のクラスへ一般化する。
• パラメータ $ a, b, c $ に関する $ x $ における単調性およびTurán型不等式に関する未解決問題を解決する。
• 指数級数の剰余に関する不等式およびそれらの特殊関数との関係に対する厳密な基礎を提供する。

提案手法

• 指数級数の剰余の比 $ f_n(x) $ をKummer超幾何関数 $ {}_{1}F_{1} $ を用いて表現する。
• $ f_n(x) $ に関する予想を、$ g_n(x) = \frac{{}_1F_1(1;n+1;x){}_1F_1(1;n+3;x)}{[{}_1F_1(1;n+2;x)]^2} $ への同値な予想に変換する。
• $ h(a,b,c,x) = \frac{{}_1F_1(a;b-c;x){}_1F_1(a;b+c;x)}{[{}_1F_1(a;b;x)]^2} $ を含む一般化された「abc問題」を定式化する。
• 一般化された超幾何関数 $ {}_pF_q $ に分析を拡張し、ベクトルパラメータを用いて $ h_{p,q}(a,b,c,x) $ を定義する。
• 特にTurán型不等式に関連する技術を用いて、特殊関数理論および不等式論の手法を適用する。
• Gautschi や Alzer などの先行研究の結果を活用し、基礎的な境界を確立し、予想の動機を提示する。

実験結果

リサーチクエスチョン

• RQ1 すべての $ x \geq 0 $ および $ n \in \mathbb{N} $ に対して、比 $ f_n(x) = \frac{R_{n-1}(x)R_{n+1}(x)}{[R_n(x)]^2} $ は単調増加であるか？
• RQ2 関数 $ g_n(x) = \frac{{}_1F_1(1;n+1;x){}_1F_1(1;n+3;x)}{[{}_1F_1(1;n+2;x)]^2} $ は $ [0, \infty) $ で単調増加するか？
• RQ3 パラメータ $ a, b, c $ に対して、関数 $ h(a,b,c,x) $ が $ x \in [0, \infty) $ で単調増加となる条件は何か？
• RQ4 $ {}_pF_q $ 超幾何関数への単調性結果の拡張は可能か？
• RQ5 $ q $-超幾何関数に対しても類似の単調性特性が成り立つか？

主な発見

• 関数 $ f_n(x) $ は $ [0, \infty) $ で厳密に増加であり、予想1を確認した。
• 同値関数 $ g_n(x) $ は $ [0, \infty) $ で厳密に増加であり、予想2を確認した。
• 一般化された「abc問題」$ h(a,b,c,x) $ は、特定のパラメータ制約のもとで $ x $ に関して単調増加であり、問題1を解決した。
• 単調性結果は $ {}_pF_q $ 超幾何関数へ拡張され、ベクトルパラメータに関する問題2を解決した。
• 予想およびその一般化は、著者とKhaled Mehrezにより2014年に厳密に証明され、[19]–[20] に発表された。
• さらに、[21]–[22] において $ q $-超幾何関数へと拡張され、$ q $-微積分の文脈へ単調性結果が一般化された。