[論文レビュー] Tur\'an type inequalities for Tricomi confluent hypergeometric functions

Árpád Baricz, Mourad E. H. Ismail|arXiv (Cornell University)|Oct 21, 2011

Mathematical functions and polynomials参考文献 14被引用数 4

ひとこと要約

本稿では、フィッシャー＝スニーデコアF分布の無限可分性に由来する積分表現を用いて、トリコミ逐次超幾何関数および放物型セイルダー関数に対する鋭い両側のツァラントイプ不等式を確立する。主な貢献は、トリコミ関数のツァランデューモンに完全単調性が成り立つことの証明であり、これはイズマイルとラフォルジャ（2007年）の先行研究を改善するものである。

ABSTRACT

Some sharp two-sided Tur\\'an type inequalities for parabolic cylinder functions and Tricomi confluent hypergeometric functions are deduced. The proofs are based on integral representations for quotients of parabolic cylinder functions and Tricomi confluent hypergeometric functions, which arise in the study of the infinite divisibility of the Fisher-Snedecor F distribution. Moroever, some complete monotonicity results are given concerning Tur\\'an determinants of Tricomi confluent hypergeometric functions. These complement and improve some of the results of Ismail and Laforgia [23].

研究の動機と目的

• 放物型セイルダー関数およびトリコミ逐次超幾何関数に対する鋭い両側ツァランタイプ不等式を導出すること。
• 確率論および数理物理学に現れる特殊関数へのツァラン不等式の既知の結果を拡張すること。
• トリコミ関数のツァランデューモンの完全単調性の性質を確立し、イズマイルとラフォルジャの先行研究を改善すること。
• 積分表現を通じて、フィッシャー＝スニーデコアF分布の無限可分性とこれらの不等式を結びつけること。
• 多変数積分公式を用いて、変更Bessel関数および超幾何関数のデューモンの性質を一般化すること。

提案手法

• パラボリック・シリンダー関数の比に対する積分表現公式 [22] を用いてツァラン不等式を導出する。
• トリコミ逐次超幾何関数に特有の第二の積分表現 [22] を適用し、F分布の無限可分性と関連付ける。
• パラボリック・シリンダー関数の微分再帰関係を用いて、ツァランデューモンを関数とその導関数の形で表現する。
• 立方体 $[-1,1]^{n+1}$ 上での多変数積分を用いた一般デューモン公式を導出する。重み関数には $ (t_j^2 - 1)^{a - 1/2} $ とバーデンモンデ型積が含まれる。
• 積分表現の構造を分析することで、被積分関数の正値性と単調性を評価し、ツァランデューモンの完全単調性を証明する。
• 正のカーネルを持つ積分の絶対的および完全単調性に関する既知の結果を応用し、デューモン式の単調性を確立する。

実験結果

リサーチクエスチョン

• RQ1 パラボリック・シリンダー関数に対するツァランデューモン $ D_{-a}^2(x) - D_{-a-1}(x)D_{-a+1}(x) $ の鋭い境界は何か？
• RQ2 トリコミ逐次超幾何関数の積分表現を用いて、ツァランタイプ不等式をどのように導出できるか？
• RQ3 トリコミ関数のツァランデューモンの完全単調性の状態は何か？また、イズマイルとラフォルジャ（2007年）の研究と比べてどのように改善されるか？
• RQ4 多変数積分公式を用いて、高階のツァランデューモンの単調性性質を証明できるか？
• RQ5 フィッシャー＝スニーデコアF分布の無限可分性と特殊関数のツァラン不等式との間に何の関係があるか？

主な発見

• パラボリック・シリンダー関数に対して鋭いツァランタイプ不等式が証明された：$ 0 < D_{-a}^2(x) - D_{-a-1}(x)D_{-a+1}(x) ≤ \mu_a $、ここで $ \mu_a = \frac{\pi}{2^a}\left[\frac{1}{\Gamma^2\left(\frac{a+1}{2}\right)} - \frac{1}{\Gamma\left(\frac{a}{2}\right)\Gamma\left(\frac{a}{2}+1\right)}\right] $ であり、等号は $ x = 0 $ で成立する。
• トリコミ逐次超幾何関数のツァランデューモンが $ a > 0 $ に対して $ x $ に関して完全単調であることが示され、イズマイルとラフォルジャ（2007年）の結果を拡張した。
• 関数に積分表現が存在する場合の $ (n+1) \times (n+1) $ ツァランデューモンの一般公式が導出され、$ [-1,1]^{n+1} $ 上の多変数積分として表され、正のカーネルを有する。
• 非心チィ分布の密度関数のデューモンが $ a > 1/2 $ に対して完全単調であることが示され、明示的な積分表現が得られた。
• 本稿では、非心チィ密度関数に対して鋭いツァラン不等式が提供された：$ 0 < \chi_{2a+1,\tau}^2(x) - \chi_{2a,\tau}(x)\chi_{2a+2,\tau}(x) < \left[1 - \frac{\Gamma^2\left(a+\frac{1}{2}\right)}{\Gamma(a)\Gamma(a+1)}\right]\chi_{2a+1,\tau}^2(x) $、これはすべての $ a, \tau, x > 0 $ に対して成立する。
• 本手法により、非心チィ分布のような確率密度関数を成分とするデューモンの絶対的および完全単調性が、多変数積分における被積分関数の符号と単調性の分析を通じて確立された。