[論文レビュー] An Ahmed-like integral

Jean-Christophe Pain|arXiv (Cornell University)|Mar 16, 2026

Mathematical functions and polynomials被引用数 0

ひとこと要約

論文は Pla の確率的方法をガウス積分の5乗へ拡張し、新しい Ahmed 風の積分を pi^2/30 に等しく、元の Ahmed の積分へと結びつける。

ABSTRACT

The so-called Ahmed integral $$ \int_{0}^{1}\frac{\arctan\left(\sqrt{2+x^{2}} ight)}{(1+x^{2})\sqrt{2+x^{2}}}\,\mathrm{d} x=\frac{5π^{2}}{96}, $$ has attracted considerable interest since its appearance in the "American Mathematical Monthly" in 2001. Several proofs and extensions have been proposed, including a probabilistic multivariate approach introduced by Pla based on powers of the Gaussian integral. In this note, we extend Pla's method to the fifth power of the Gaussian integral. By expressing this power as a sequence of iterated integrals and performing successive reductions, we obtain a new integral identity closely related to Ahmed's integral. In particular, we prove that $$ \int_{0}^{1}\frac{\arctan\!\left(\sqrt{\displaystyle\frac{2+x^2}{4+x^2}} ight)}{(1+x^{2})\sqrt{2+x^{2}}}\,\mathrm{d} x=\frac{π^2}{30}. $$ The derivation suggests that Pla's technique can systematically generate a family of Ahmed-type integrals associated with higher powers of the Gaussian integral.

研究の動機と目的

• Pla の確率的フレームワークを用いて Ahmed の積分を動機づけ・一般化する。
• 方法をガウス積分の5乗へ拡張する。
• 元の Ahmed の積分に密接に関連する新しい Ahmed 風の積分を導出する。
• 高次のべき乗に対して Ahmed 型の積分のファミリーを生成できることを示す。

提案手法

• Pla の確率積分形式を再検討し、べき乗を反復積分として表現する。
• ガウス積分の n 回乗展開を適用し、多パラメータ積分として表現する。
• 変数を段階的に排除する連続的な簡略化を行う。
• g(x)=e^{-x^2} を用い、得られた積分を評価して Ahmed 型の項を分離する。
• 最終表式を Ahmed の積分と関連付け、新しい同一性を抽出する。
• より高次のべき乗に対してさらに Ahmed 型の積分を生み出す一般的なパターンを示唆する。

実験結果

リサーチクエスチョン

• RQ1 Pla の技法をガウス積分の4乗から5乗へ拡張できるか。
• RQ2 5乗の拡張からどのような新しい Ahmed 風の積分が出現するか。
• RQ3 新しい積分は古典的 Ahmed の積分とどのように関連し、この方法でこのような積分のより広いファミリーを生成できるか。

主な発見

• 新しい Ahmed 風の積分を導出: ∫_0^1 arctan( sqrt((2+x^2)/(4+x^2)) ) / ((1+x^2) sqrt(2+x^2)) dx = π^2/30。
• 5乗の計算は Ahmed の積分を項として含む分解を導く。
• (∫_0^∞ e^{-x^2} dx)^5 = π^{5/2}/32 となり、最終同一性へつながる。
• Pla の方法が高次の Ahmed 型積分を系統的に生成できることを示す。
• 高次のべき乗に対して n-1 回の逐次積分の帰納的/一般化可能なパターンを示唆する。