Convergence criteria for Frullani-type integrals involving differences of cosines

技術的サマリー：余弦の差を含むフラッラニ型積分の収束条件

問題の定義
本論文は、以下で定義される広義積分の族を調査する：
$$I_{p,q}(\alpha, \beta) := \int_0^\infty \frac{(\cos \alpha x - \cos \beta x)^p}{x^q} \, dx$$
ただし、$p, q \in \mathbb{N}$ かつ $\alpha, \beta \in \mathbb{R}$ で $|\alpha| \neq |\beta|$ とする。古典的なフラッラニ積分（$p=1, q=1$）はよく理解されているが、特定のケース（例えば $q$ が偶数で $p \ge q$ の場合）は Laoharenoo と Boonklurb（2022）によって以前に分析されたものの、すべてのパラメータ範囲における一般的な収束挙動と明示的な評価は未分類のまま残されていた。被積分関数は、$x=0$ における潜在的な特異点と、任意のべき乗に上げられた余弦項の振動的性質によって複雑化された無限の上限という、二重の課題を提示する。

手法
著者らは、漸近解析、三角関数のべき展開、および総和手法の組み合わせを用いてこの問題に取り組む：

1. 三角関数展開：分析の核心は、$(\cos \alpha x - \cos \beta x)^p$ を、べきを持たない余弦項（または正弦差のバリエーションの場合は正弦項）の線形結合に展開することにある。本論文は 2 つの異なる展開戦略を利用する：
   • 一つの展開（補題 3.6）は、定数項と周波数の相殺を同定することにより収束を決定するために最適化されている。
   • 2 番目の展開（補題 4.1）は、明示的な評価のために設計されており、二項係数と特定の組み合わせ指標を利用する。
2. 特異点解析：
   • $x \to 0$ の場合、テイラー展開を用いて分子の零点の次数を決定する。これにより、被積分関数は原点付近で $x^{2p-q}$ のように振る舞うことが確立される。
   • $x \to \infty$ の場合、著者らは $x^{-q}$ に対する減衰率と振動的な相殺特性を解析する。
3. アベルの総和：積分を評価するために、著者らは余弦項の級数に対してアベルの総和公式を適用する。この手法は、余弦の和の積分を（$q=1$ の場合）対数項の和に変換するか、または（$q$ が偶数の場合）$\int_0^\infty \frac{\sin kx}{x} dx$ の既知の値を利用する。
4. 組み合わせ恒等式：$\alpha = 0$ という特殊な場合において、展開の係数を解析し、二項係数とヴァンデルモンド型の行列式を含む新しい組み合わせ恒等式を導出する。

主要な貢献と結果

1. 完全な収束分類
本論文は、$p$ の偶奇と $p$ と $q$ の関係に基づいた収束の厳密な分類を提供する：

• ケース $q = 1$：
  • $p$ が偶数の場合、積分はすべての $|\alpha| \neq |\beta|$ に対して発散する。これは、展開に非ゼロの定数項が含まれており、対数的発散を引き起こすことを示すことで証明される。
  • $p$ が奇数の場合、積分は比率 $|\alpha/\beta|$（またはその逆数）が特定の集合 $F_p$ に属する場合に限り発散する。この集合 $F_p$ は、周波数の相殺が定数項を生み出す三角関数展開の指標から導かれる有理数によって構成される。比率が $F_p$ に含まれない場合、積分は収束する。
• ケース $q \ge 2$：
  • $q \ge 2p + 1$ である場合、積分は発散する。$x=0$ における特異性が強すぎて、分子が補うことができないためである。
  • $2 \le q \le 2p$ である場合、積分は収束する。この範囲では、$x=0$ における挙動は積分可能であり、無限遠における減衰は十分である。

2. 明示的な閉形式評価
すべての収束ケースについて、著者らは明示的な公式を導出する：

• $q=1$（$p$ が奇数）の場合：値は、展開成分の周波数を含む対数項の有限和として表され、展開係数の部分和によって重み付けられる。
• $q \ge 2$ の場合：
  • $q$ が偶数の場合、値は周波数のべき乗と二項係数を含む有限和であり、$\pi$ でスケーリングされる。
  • $q$ が奇数の場合、値は $q=1$ の場合と同様の対数項の有限和であるが、被積分関数の微分を通じて導出される。

3. 特殊ケース $\alpha = 0$ と組み合わせ恒等式
$\alpha = 0$ の場合、積分は $(1 - \cos \beta x)^p$ を含むように簡略化される。著者らは余弦展開の係数の明示的な形を導出する。これらの係数を半角公式とオイラーの恒等式から導出された係数と等置することにより、本論文は二項係数の和と特定の有理数との間に関係する新しい組み合わせ恒等式を確立する。

4. 正弦の差への拡張
手法は、$(\sin \alpha x - \sin \beta x)^p$ を含む同様の族 $K_{p,q}(\alpha, \beta)$ に拡張される。

• $q=1$ の場合、収束は $p$ が奇数である場合に限り発生する。
• $q \ge 2$ の場合、収束は $q \le p$ である場合に限り発生する。
  本論文は、正弦差の収束条件が、特に $p$ の偶奇に関して、余弦差のそれとはわずかに異なることを指摘している。

意義と主張
著者らは、この研究が $I_{p,q}(\alpha, \beta)$ の一般族の最初の体系的な分析を提供し、そのような積分が主要な総覧に以前記録されていなかった文献のギャップを埋めたと述べている。本論文は以下のことを主張する：

• 以前の研究で未解決のまま残されたケース（特に $q=1$ における奇数 $p$ のケースと、一般的な $q \ge 2$ のケース）を解決する、収束パラメータの完全な分類を確立する。
• Laoharenoo と Boonklurb（2022）の研究を拡張し、すべての収束シナリオに対する明示的な閉形式評価を導出する。
• 特に $\alpha=0$ のケースにおいて、これらの解析的積分と組み合わせ恒等式の間の自然なつながりを明らかにする。
• 収束挙動が $p$ の偶奇と、$q=1$ のケースにおける $\alpha$ と $\beta$ の間の特定の有理数関係に極めて敏感であることを実証する。

本論文は、余弦族と正弦族の関係は異なる収束条件のため直接的ではないが、統合された手法は正弦と余弦の差の混合積に関する将来の調査のための枠組みを提供することを指摘して結論づけている。