[論文レビュー] Asymptotic expansions of several series and their application

В. П. Заставный|arXiv (Cornell University)|Jan 30, 2010

Mathematical Inequalities and Applications参考文献 15被引用数 4

ひとこと要約

本稿では、$ x \to 0^+ $ のもとで、2種類の級数 — 指数型 $ \sum_{k=0}^\infty \varepsilon^k (k+a)^eta e^{-(k+a)^ ho x} $ および有理型 $ \sum_{k=0}^\infty \frac{\varepsilon^k (k+a)^eta}{(x(k+a)^\rho + 1)^\mu} $ — について、$ x $ のべき級数としての完全な漸近展開を導出する。主な貢献は、係数をHurwitzゼータ関数および交項Hurwitzゼータ関数を用いて表現することで、一般化されたMathieu級数に対する精密な不等式を可能にすることにある。

ABSTRACT

Asymptotic expansions of series $\sum_{k=0}^\infty ε^k(k+a)^γe^{-(k+a)^αx}$ and $\sum_{k=0}^\infty ε^k(k+a)^γ/ (x(k+a)^α+1)^μ}$ in powers of $x$ as $x o+0$ are found, where $ε=1$ or $ε=-1$. These expansions are applied to obtain precise inequalities for Mathieu series. Keywords: Asymptotic expansion, residues, generalized Mathieu series, inequalities.

研究の動機と目的

• 指数型および有理型級数について、$ x \to 0^+ $ における $ x $ のべき級数としての漸近展開を導出すること。パラメータは $ a > 0 $, $ \gamma \in \mathbb{R} $, $ \alpha > 0 $, $ \mu > 0 $ とする。
• これらの展開が $ 0 < \alpha < 1 $ や $ \alpha = 1 $ の場合に正確な等式に変わる条件を確立すること。
• 導出した展開を用いて、留数論および積分表現を用いて、一般化されたMathieu級数に対する鋭い不等式を導出すること。
• 関数 $ f(x,a,\gamma,\alpha) $ および $ \widetilde{f}(x,a,\gamma,\alpha) $ に関連する不等式の最良定数を、ラプラス変換の極値を用いて特徴付けること。
• 特殊な場合（例：$ \alpha = 1 $, $ \gamma \in \mathbb{Z}_+ $）における既知の漸近展開結果を、ゼータ関数および解析接続を用いて一般パラメータへと拡張すること。

提案手法

• 留数定理およびHurwitzゼータ関数 $ \zeta(s,a) $ のHermite積分公式を用いて漸近展開を導出し、$ \mathbb{C} \setminus \{1\} $ へ解析接続を可能にする。
• 漸近級数の係数を、$ k \in \mathbb{Z}_+ $ に対して、Hurwitzゼータ関数 $ \zeta(-\alpha k - \gamma, a) $ および交項Hurwitzゼータ関数 $ \widetilde{\zeta}(-\alpha k - \gamma, a) $ の値として表現する。
• Bernstein–Hausdorff–Widderの定理を用いて、完全モーナルおよび完全凸関数を完全に特徴付ける。これにより、不等式と $ f(t,a,\gamma,\alpha) $ および $ \widetilde{f}(t,a,\gamma,\alpha) $ のラプラス変換との関係を結ぶ。
• ガンマ関数およびラプラス変換を含む積分表現：$ \psi(x) = \frac{1}{\Gamma(\mu)} \int_0^\infty e^{-xt} t^{\mu-1} (c e^{-pt} - f(t,a,\gamma,\alpha)) dt $ を用いて、単調性および極値境界を分析する。
• $ \alpha < 1 $ および $ \alpha = 1 $ の場合の正確な等式条件を、$ f(t,a,\gamma,\alpha) $ および $ \widetilde{f}(t,a,\gamma,\alpha) $ の $ t \to \infty $ および $ t \to 0^+ $ における挙動を分析することで確立する。
• 極値定数 $ D_p(a,\gamma,\alpha) $, $ E_q(a,\gamma,\alpha) $, $ C_p(a,\gamma,\alpha) $, および $ F_q(a,\gamma,\alpha) $ を、ラプラス変換比の上界および下界として定義し、正則性および単調性を用いてその有限性および極値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 一般パラメータ $ a > 0 $, $ \gamma \in \mathbb{R} $, $ \alpha > 0 $ に対して、級数 $ \sum_{k=0}^\infty (k+a)^\gamma e^{-(k+a)^\alpha x} $ の $ x \to 0^+ $ における完全な漸近展開は何か？
• RQ2 符号が交互に変わる場合、すなわち $ \sum_{k=0}^\infty (-1)^k (k+a)^\gamma e^{-(k+a)^\alpha x} $ の場合、漸近展開はどのように変化するのか？また、交項Hurwitzゼータ関数はどのような役割を果たすか？
• RQ3 $ \alpha < 1 $ や $ \alpha = 1 $ の場合に、漸近展開が正確な等式に変わる条件は何か？また、ゼータ関数の解析的構造とどのように関係するか？
• RQ4 すべての $ x > 0 $ に対して不等式 $ D(1+x)^{-\mu} \geq \sum_{k=0}^\infty \frac{(k+a)^\gamma}{(x(k+a)^\alpha + 1)^\mu} $ が成り立つような最良の定数 $ D $, $ E $, $ C $, $ F $ は何か？
• RQ5 完全モーナル関数の理論およびBernstein–Hausdorff–Widderの定理を用いて、これらの級数のラプラス変換の極値境界をどのように特徴付けることができるか？

主な発見

• $ f(x,a,\gamma,\alpha) $ の $ x \to 0^+ $ における漸近展開は、$ \frac{1}{\alpha} \Gamma\left(\frac{\gamma+1}{\alpha}\right) x^{-(\gamma+1)/\alpha} + \sum_{k=0}^\infty \frac{(-1)^k}{k!} \zeta(-\alpha k - \gamma, a) x^k $ で与えられ、$ -\frac{\gamma+1}{\alpha} \notin \mathbb{Z}_+ $ のとき有効である。
• $ -\frac{\gamma+1}{\alpha} = r \in \mathbb{Z}_+ $ の場合、展開は $ \frac{(-1)^r x^r}{\Gamma(r+1)} \left( -\frac{1}{\alpha} \ln x + \frac{1}{\alpha} \frac{\Gamma'(r+1)}{\Gamma(r+1)} - \frac{\Gamma'(a)}{\Gamma(a)} \right) + \sum_{k \neq r} \frac{(-1)^k}{k!} \zeta(-\alpha k - \gamma, a) x^k $ に変化し、対数特異性を示す。
• $ 0 < \alpha < 1 $ の場合、$ f(x,a,\gamma,\alpha) $ の漸近展開はすべての $ x > 0 $ に対して正確な等式である。これは、以前は $ a=1 $ の場合にのみ証明なしに述べられていた結果を拡張する。
• $ \alpha = 1 $ の場合、展開は $ x \in (0, 2\pi) $ に対して正確な等式である。これは、$ \gamma \in \mathbb{Z}_+ $ の場合に先行して得られた結果を確認・一般化する。
• $ \widetilde{f}(x,a,\gamma,\alpha) $ の漸近展開は $ \sum_{k=0}^\infty \frac{(-1)^k}{k!} \widetilde{\zeta}(-\alpha k - \gamma, a) x^k $ であり、$ 0 < \alpha < 1 $ の場合すべての $ x > 0 $ で等式が成り立ち、$ \alpha = 1 $ の場合 $ x \in (0, \pi) $ で成り立つ。
• 一般化されたMathieu級数の不等式における最良定数は、$ p \leq a^\alpha $ のとき $ D_{\text{max}} = \zeta(-\gamma, a) $、$ q = a^\alpha $ のとき $ E_{\text{min}} = a^\gamma $ として特徴付けられる。厳密な等式は、ラプラス変換が完全に一致する場合にのみ成り立つが、正則性のためそれは不可能である。