[論文レビュー] Directional convexity and characterizations of Beta and Gamma functions

Martin Himmel, Janu sz Matkowski|arXiv (Cornell University)|Apr 22, 2015

Mathematical Inequalities and Applications参考文献 6被引用数 3

ひとこと要約

本稿では、(x,y)-平面上の主対角線に平行な線に沿った方向の凸性——具体的には対数凸性——を用いて、ベータ関数およびガンマ関数の新しい特徴付けを提示する。ベータ関数を含む関数方程式と方向の凸性、および初期条件を組み合わせることで、ベータ関数が一意に特定されることを証明し、一般化されたベータ型関数を通じてガンマ関数の新たな特徴付けが得られる。

ABSTRACT

The logarithmic convexity of restrictions of the Beta functions to rays parallel to the main diagonal and the functional equation \[ ϕ\left( x+1 ight) =\frac{x\left( x+k ight) }{\left( 2x+k+1 ight) \left( 2x+k ight) }ϕ\left( x ight) ,\ \ \ \ \ \ x>0, \] for $k>0$ allow to get a characterizations of the Beta function. This fact and a notion of the beta-type function lead to a new characterization of the Gamma function.

研究の動機と目的

• 主対角線の方向における対数凸性を用いて、ベータ関数の新しい特徴付けを確立すること。
• 主対角線に平行な線に沿ったベータ関数が満たす関数方程式を導出すること。
• これらの結果を一般化されたベータ型関数を通じてガンマ関数の特徴付けへと拡張すること。
• 多変数関数方程式における方向の凸性の意味を検討すること。
• ベータ型関数が標準的なベータ関数に還元される条件を提示し、それによってガンマ関数を特徴付けること。

提案手法

• 生成関数 $ \nu $ を用いて、ベータ型関数 $ B_{\nu}(x,y) = \frac{\nu(x)\nu(y)}{\nu(x+y)} $ を定義し、その性質を確立する。
• ベータ関数がベクトル $ (1,1) $ の方向、すなわち $ x > 0 $、$ k > 0 $ のときの線 $ (x, x+k) $ に沿って対数凸であることを証明する。
• ベータ関数のそのような線への制限に対して、関数方程式 $ \phi(x+1) = \frac{x(x+k)}{(2x+k+1)(2x+k)} \phi(x) $ を導出する。
• クラルクの定理を適用して、関数方程式、方向の対数凸性、および初期条件 $ B(1,1+y) = \mathcal{B}(1,1+y) $ がベータ関数を一意に特定することを示す。
• グロナウ＝マツコフスキー法を用いて、$ (1,1) $ 方向における幾何的凸性と同一の関数方程式が、ベータ関数を特徴付けることも示す。
• 生成関数 $ \nu $ に対して、$ B_{\nu} = \mathcal{B} $ が成り立つのは、$ \nu(x) = e^{cx} \Gamma(x) $ のときに限る、という条件を、$ \nu $ の弱い正則性（例えば可測性または一点での連続性）の下で確立し、ガンマ関数の新たな特徴付けに繋げる。

実験結果

リサーチクエスチョン

• RQ1 ベータ関数は、主対角線に平行な線に沿った関数方程式と方向の対数凸性によって一意に特徴付けられるか。
• RQ2 生成関数 $ \nu $ にどのような条件を課えると、誘導されるベータ型関数 $ B_{\nu} $ が標準的なベータ関数と一致するか。
• RQ3 特に $ (1,1) $ 方向における方向の凸性は、ベータ関数のような多変数関数の構造にどのような制約を課えるか。
• RQ4 一般化されたベータ型関数の関数方程式および凸性の性質を用いて、ガンマ関数を特徴付けられるか。
• RQ5 関数方程式 $ \phi(x+1) = \frac{x(x+k)}{(2x+k+1)(2x+k)} \phi(x) $ とベータ関数の構造の間にはどのような関係があるか。

主な発見

• ベータ関数は、ベクトル $ (1,1) $ の方向、すなわち $ x > 0 $、$ k > 0 $ のときの線 $ (x, x+k) $ に沿って対数凸である。
• ベータ関数のそのような線への制限は、関数方程式 $ \phi(x+1) = \frac{x(x+k)}{(2x+k+1)(2x+k)} \phi(x) $ を満たす。
• 関数方程式、方向の対数凸性、および初期条件 $ B(1,1+y) = \mathcal{B}(1,1+y) $ が、ベータ関数を一意に特徴付ける。
• 同一の関数方程式に加え、$ (1,1) $ 方向における幾何的凸性も、ベータ関数を特徴付ける。
• ベータ型関数 $ B_{\nu} $ が標準的なベータ関数 $ \mathcal{B} $ と等しいのは、$ \nu(x) = e^{cx} \Gamma(x) $ のときに限る。このとき、$ \nu $ に対して弱い正則性（例えば可測性または一点での連続性）が仮定される。
• この結果により、ガンマ関数の新たな特徴付けが得られる：$ \Gamma $ は、$ \nu(x) = e^{cx} \Gamma(x) $ のとき $ B_{\nu} = \mathcal{B} $ となるような唯一の関数である。