[論文レビュー] Some inequalities for Kurepa's function

Branko Malešević|ArXiv.org|Jun 10, 2005

Functional Equations Stability Results参考文献 1被引用数 5

ひとこと要約

本稿は、階乗およびガンマ関数に関連する特殊関数であるクレパ関数 $K(x)$ に対して、積分表現および関数方程式を用いて新たな不等式を確立する。有理近似および再帰関係を用いて鋭い境界を導出し、$x \geq k+2$ に対して $K(x)/\Gamma(x+1) \in (R_k(x), \frac{P_{k-1}(x)+1}{P_{k-1}(x)} R_k(x))$ が成り立ち、$x = k+2$ で等号が成立することを証明する。$x \geq 3$ に対しては、既存の境界を改善する。結果は、関数方程式およびクレパの不等式と多項式近似を用いたガンマ関数の積分推定に基づいている。

ABSTRACT

In this paper we consider Kurepa's function $K(z)$ \cite{Kurepa_71}. We give some recurrent relations for Kurepa's function via appropriate sequences of rational functions and gamma function. Also, we give some inequalities for Kurepa's function $K(x)$ for positive values of $x$.

研究の動機と目的

• 正の実数 $x$ に対してクレパ関数 $K(x)$ のより鋭い解析的境界を導出すること。既存の不等式を改善すること。
• 有理関数 $Q_n(z)$、$R_n(z)$ およびガンマ関数 $\Gamma(z)$ を用いた再帰的表現を $K(x)$ に確立すること。
• 比 $K(x)/\Gamma(x+1)$ の漸近的挙動および収束性を、列 $R_k(x)$ および $P_k(x)$ を用いて分析すること。
• $[k+2, \infty)$ の区間における $K(x)$ の鋭い上界および下界を生成する体系的な方法を提供すること。
• アラン＝デロビッチのものなど、以前の不等式を精緻化・改善すること。$x \geq 3$ のとき $K(x) \leq 2\Gamma(x)$ を満たす。

提案手法

• ガンマ関数の再帰関係から関数方程式 $K(z+1) - (z+1)K(z) + zK(z-1) = 0$ を導出し、$K(z)$ の再帰的表現を可能にする。
• 再帰関係 (3.5) および (3.6) を用いて有理関数列 $Q_n(z)$ および $R_n(z)$ を定義し、(3.7) および (3.8) の明示的表現を得ることで、$K(z-n)$ を $K(z)$ および $K(z+1)$ で表す。
• 正の $x$ に対して $K(x) = \int_0^\infty e^{-t} \frac{t^x - 1}{t - 1} dt$ の積分表現を用いて、正値性および微分の挙動を分析する。
• クレパの不等式 $\frac{\log t}{t-1} \leq \frac{1}{\sqrt{t}}$ を適用し、$K'(x)$ を $\Gamma(x + 1/2)$ で上から抑える。これにより $K(x)$ の積分的境界が得られる。
• 区間 $[0,1]$ における $\Gamma(x+1)$ の多項式近似（誤差 $< 5 \times 10^{-5}$）を用いて初期境界を導出する。
• 区間 $[n, n+1)$ における数学的帰納法を用いて、$K(x) \leq 2\Gamma(x)$（$x \geq 3$）のようなグローバルな不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 $x \geq k+2$ のとき、$K(x)/\Gamma(x+1)$ の最も鋭い境界は何か。また、$k$ に依存する関係はいかなるものか。
• RQ2 関数方程式 $K(z+1) - (z+1)K(z) + zK(z-1) = 0$ を用いて、$K(z)$ の有理関数近似をどのように生成できるか。
• RQ3 既知の不等式 $\log t / (t-1)$ を用いて $K'(x)$ を上から抑えられ、その結果として $K(x)$ の積分的境界がどのように得られるか。
• RQ4 列 $R_k(x)$ および $P_k(x)$ は、$K(x)/\Gamma(x+1)$ の漸近的挙動とどのように関係するか。
• RQ5 不等式 $K(x) \leq 2\Gamma(x)$ は、$x \geq 3$ の範囲でどの程度改善または一般化可能か。

主な発見

• $x \in [0,1]$ のとき、$K(x) \leq \frac{9}{5}x$ が成り立つ。これは $K'(x) \leq \Gamma(x + 1/2)$ を抑え、誤差 $< 5 \times 10^{-5}$ の5次多項式近似を用いた結果である。
• $x \geq 3$ のとき、$K(x) \leq 2\Gamma(x)$ が成り立ち、$x = 3$ で等号が成立する。これはアラン＝デロビッチの境界 $K(x) \leq 1 + 2\Gamma(x)$ よりも改善されている。
• 各 $k \in \mathbb{N}$ および $x \geq k+2$ に対して、$\frac{K(x - k)}{\Gamma(x - k + 1)} \leq 1$ が成り立ち、$x = k+2$ で等号が成立する。
• 二重不等式 $R_k(x) < \frac{K(x)}{\Gamma(x+1)} \leq \frac{P_{k-1}(x) + 1}{P_{k-1}(x)} R_k(x)$ は $x \geq k+2$ で成り立ち、$x = k+2$ で等号が成立する。
• 境界 $A_k(x) = R_k(x)$ および $B_k(x) = \frac{P_{k-1}(x)+1}{P_{k-1}(x)} R_k(x)$ は、$x \geq k+3$ に対して $A_k(x) < A_{k+1}(x) < \frac{K(x)}{\Gamma(x+1)} \leq B_{k+1}(x) < B_k(x)$ を満たし、収束が単調に鋭くなることを示す。
• $x \to \infty$ のとき、$A_k(x), B_k(x) \sim \frac{1}{x}$ および $B_k(x) - A_k(x) \sim \frac{1}{x^k}$ となる。これは境界の収束が急速であることを示している。