[论文解读] Inequalities related to the error function

Omran Kouba|ArXiv.org|Jul 27, 2006

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

一句话总结

本文通过从导数中导出的多项式 $P_n(x)$ 和 $Q_n(x)$ 的递推关系，为函数 $\varphi(x) = e^{x^2/2} \int_x^\infty e^{-t^2/2} dt$ 提供了新的不等式。它给出了 $\varphi(x)$ 的两组上下界，推广了 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)$，并以积分和组合公式表达它们。

提出的方法

• 推导 $P_n(x)$ 和 $Q_n(x)$ 的递推关系，使得 $\varphi^{(n)}(x) = P_n(x)\varphi(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) = \frac{1}{(1+y)\sqrt{1-y^2}} \exp\left(\frac{y x^2}{1-y}\right)$，实现级数展开与 $A_n(x)$ 的系数提取。
• 利用所得级数，将 $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!}$，为多项式提供了下界。
• 通过递推关系与序列 $A_n(x)$ 的正定性，推导出 $x > 0$ 时 $\varphi(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)$。