[論文レビュー] Inequalities related to the error function

Omran Kouba|ArXiv.org|Jul 27, 2006

Probabilistic and Robust Engineering Design参考文献 2被引用数 12

ひとこと要約

本稿では、関数 $\varphi(x) = e^{x^2/2} \int_x^\infty e^{-t^2/2} dt$ に対する新しい不等式を、その導関数から得られる多項式 $P_n(x)$ と $Q_n(x)$ の再帰的関係を用いて提示する。$\varphi(x)$ に対する上界と下界の2つの族を導出し、Komatsu よりもおよび Szarek–Werner よりも既知の結果を一般化するとともに、$x > 0$ の場合の $\varphi(x)$ に対する連分数展開を導出する。主たる貢献は、微分的性質と直交多項式表現に基づく、独創的な解析的枠組みの構築である。

ABSTRACT

In this note we consider inequalities involving the error function $ϕ$. Our methodes give new proofs of some known inequalities of Komatsu, and of Szarek and Werner, and also produce two families of inequalities that give upper and lower bounds for $ϕ$. Moreover the continued fractions expansion of $ϕ$ is obtained.

研究の動機と目的

• 関数 $\varphi(x) = e^{x^2/2} \int_x^\infty e^{-t^2/2} dt$ に対する新しい上界および下界を、微分的および多項式の再帰的技法を用いて導出すること。
• Komatsu よりもおよび Szarek–Werner よりも既知の不等式を一般化し、新たな証明を与えること。
• 導出された多項式列を用いて、$x > 0$ の場合の $\varphi(x)$ の連分数展開を確立すること。
• $\varphi(x)$ を微分することによって生じる多項式 $P_n(x)$ と $Q_n(x)$ を特徴づけ、積分的および組合せ的公式を用いて表現すること。

提案手法

• $\varphi^{(n)}(x) = P_n(x)\varphi(x) - Q_n(x)$ を満たす $P_n(x)$ と $Q_n(x)$ の再帰的関係を導出する。初期条件は $P_0 = 1$, $Q_0 = 0$ であり、$\varphi'(x) = x\varphi(x) - 1$ を用いる。
• $P_n(x)$ が $P_{n+1} = xP_n + nP_{n-1}$ および $Q_{n+1} = xQ_n + nQ_{n-1}$ を満たし、初期条件 $P_1 = x$, $Q_1 = 1$ であることを証明する。
• 積分表現 $P_n(x) = \frac{1}{\sqrt{2\pi}} \int_\mathbb{R} t^n \exp\left(-\frac{(t-x)^2}{2}\right) dt$ を確立し、$P_n(x)$ を正規分布のモーメントと関連付ける。
• 生成関数 $G_x(y) = \sum_{n=0}^\infty \frac{A_n(x)}{n!} y^n$ を用いて正値性と収束性を分析する。ここで $A_n(x) = P_n(x)P_{n+2}(x) - P_{n+1}^2(x)$ である。
• $G_x(y)$ の閉形式表現 $G_x(y) = \frac{1}{(1+y)\sqrt{1-y^2}} \exp\left(\frac{y x^2}{1-y}\right)$ を導出し、級数展開と係数抽出を可能にする。
• 得られた級数を用いて、$A_n(x)$ を二項係数および二重階乗係数を含む有限和として表現し、多項式の明示的公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 関数 $\varphi(x)$ の微分的構造とその多項式導関数を用いて、$\varphi(x)$ に対する新しい上界および下界の族を導出可能か？
• RQ2 $P_n(x)$ と $Q_n(x)$ の再帰的関係は既知の直交多項式とどのように関係するか。また、それらを用いて連分数展開を導出可能か？
• RQ3 関数 $\varphi(x)$ の解析的構造は何か。$x > 0$ の場合に、その連分数展開を明示的に構成可能か？
• RQ4 $A_n(x) = P_n(x)P_{n+2}(x) - P_{n+1}^2(x)$ の正値性および単調性を確立することで、生成関数の収束性を支持できるか？
• RQ5 $P_n(x)$ の明示的組合せ的公式は何か。また、正規分布のモーメントとどのように関連するか？

主な発見

• $\varphi(x)$ は $\varphi^{(n)}(x) = P_n(x)\varphi(x) - Q_n(x)$ を満たし、ここで $P_n(x)$ と $Q_n(x)$ は非負整数係数の多項式であり、それぞれ $x^n$ と $x^{n-1}$ を主項とする。
• $P_n(x)$ は明示的に $P_n(x) = \sum_{k=0}^{\lfloor n/2 \rfloor} \frac{n!}{2^k k! (n-2k)!} x^{n-2k}$ で与えられ、$n$ と同じ偶奇性を持つ。
• すべての実数 $x$ に対して、$P_{2n}(x) \geq \frac{(2n)!}{2^n n!}$ および $\frac{P_{2n+1}(x)}{x} \geq \frac{(2n+1)!}{2^n n!}$ が成り立ち、多項式の下界を与える。
• $x > 0$ の場合の $\varphi(x)$ の連分数展開は、再帰的性質と $A_n(x)$ の正値性に基づき導出され、積分表現により非負性が示される。
• 生成関数 $G_x(y) = \sum_{n=0}^\infty \frac{A_n(x)}{n!} y^n$ は明示的に $G_x(y) = \frac{1}{(1+y)\sqrt{1-y^2}} \exp\left(\frac{y x^2}{1-y}\right)$ として計算され、収束半径は少なくとも 1 である。
• $A_n(x)$ の展開における係数 $a_{n,m}$ は $a_{n,m} = \sum_{k=0}^{\lfloor (n-m)/2 \rfloor} \frac{(2k+1)!}{2^{2k} (k!)^2} \binom{n-2k-2}{m-2}$ （$m \geq 2$）として導出され、$A_n(x)$ の明示的計算を可能にする。