[論文レビュー] The monotonicity rules for the ratio of two Laplace transforms with applications

Zhen-Hang Yang, Jing-Feng Tian|arXiv (Cornell University)|Mar 7, 2018

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

ひとこと要約

本稿では、2つのラプラス変換の比に関する単調性則を確立する。もし被積分関数の比 $ f/g $ が増加してから減少する（またはその逆）パターンを取るならば、そのラプラス変換の比 $ F/G $ は、$ H_{F,G}(0^+) $ の符号に応じて単調減少（または一峰性）である。主な貢献は、ラプラス変換比の単調性を判定する基準を提示し、それを用いて psi 関数および第二種変形ベッセル関数に関する新たな境界と性質を導出することにある。

ABSTRACT

Let $f$ and $g$ be both continuous functions on $\left( 0,\infty ight) $ with $g\left( t ight) >0$ for $t\in \left( 0,\infty ight) $ and let $ F\left( x ight) =\mathcal{L}\left( f ight) $, $G\left( x ight) =\mathcal{L }\left( g ight) $ be respectively the Laplace transforms of $f$ and $g$ converging for $x>0$. We prove that if there is a $t^{\ast }\in \left( 0,\infty ight) $ such that $f/g$ is strictly increasing on $\left( 0,t^{\ast } ight) $ and strictly decreasing on $\left( t^{\ast },\infty ight) $, then the ratio $F/G$ is decreasing on $\left( 0,\infty ight) $ if and only if \begin{equation*} H_{F,G}\left( 0^{+} ight) =\lim_{x ightarrow 0^{+}}\left( \frac{F^{\prime }\left( x ight) }{G^{\prime }\left( x ight) }G\left( x ight) -F\left( x ight) ight) \geq 0, \end{equation*} with \begin{equation*} \lim_{x ightarrow 0^{+}}\frac{F\left( x ight) }{G\left( x ight) } =\lim_{t ightarrow \infty }\frac{f\left( t ight) }{g\left( t ight) } ext{ \ and \ }\lim_{x ightarrow \infty }\frac{F\left( x ight) }{G\left( x ight) }=\lim_{t ightarrow 0^{+}}\frac{f\left( t ight) }{g\left( t ight) } \end{equation*} provide the indicated limits exist. While $H_{F,G}\left( 0^{+} ight) <0$, there is at leas one $x^{\ast }>0$ such that $F/G$ is increasing on $\left( 0,x^{\ast } ight) $ and decreasing on $\left( x^{\ast },\infty ight) $. As applications of this monotonicity rule, a unified treatment for certain bounds of psi function is presented, and some properties of the modified Bessel functions of the second are established. These show that the monotonicity rules in this paper may contribute to study for certain special functions because many special functions can be expressed as corresponding Laplace transforms.

研究の動機と目的

• 被積分関数の比 $ f/g $ が一峰性（増加後減少）を示す場合の、2つのラプラス変換の比に関する単調性則の確立。
• ラプラス変換比 $ F/G $ が単調減少または一峰性であるかどうかを判定する基準を、極限 $ H_{F,G}(0^+) $ に基づいて提示すること。
• 単調性則を用いて、特に psi 関数および第二種変形ベッセル関数に関する新たな不等式と境界を導出すること。
• 特殊関数の積分表現をラプラス変換として扱うことで、既存の結果を統合・拡張すること。

提案手法

• 連続的かつ正値である $ g $ および $ f $ を用いて、$ F(x) = \mathcal{L}(f) $、$ G(x) = \mathcal{L}(g) $ を $ (0,\infty) $ 上のラプラス変換として定義する。
• 補助関数 $ H_{F,G}(x) = \frac{F'(x)}{G'(x)}G(x) - F(x) $ を導入し、$ x \to 0^+ $ における極限を分析する。
• 被積分関数の比 $ f/g $ が一峰性を示す条件下で、$ F/G $ が $ (0,\infty) $ 上で単調減少であるための必要十分条件として、$ \lim_{x \to 0^+} H_{F,G}(x) \geq 0 $ を証明する。
• $ F/G $ の漸近的挙動を用いる：$ \lim_{x \to 0^+} F/G = \lim_{t \to \infty} f(t)/g(t) $ および $ \lim_{x \to \infty} F/G = \lim_{t \to 0^+} f(t)/g(t) $。
• 特殊関数の積分表現（例：psi 関数、第二種変形ベッセル関数）に単調性則を適用する。
• 再帰関係と単調性基準を用いて、$ xK_v'(x)/K_v(x) $ に関する Turán 型不等式および改良された境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 被積分関数の比 $ f/g $ が一峰性を示す場合、2つのラプラス変換の比 $ F/G $ が単調減少であるための条件は何か？
• RQ2 $ H_{F,G}(0^+) $ の符号が $ F/G $ の単調性挙動にどのように影響するか？
• RQ3 単調性則を用いて、psi 関数および第二種変形ベッセル関数に関する新たな境界を導出できるか？
• RQ4 この法則は、ラプラス変換として表現される特殊関数の研究にどのような意味を持つのか？

主な発見

• 被積分関数の比 $ f/g $ が増加してから減少する場合、$ F/G $ が $ (0,\infty) $ 上で単調減少であるための必要十分条件は、$ \lim_{x \to 0^+} H_{F,G}(x) \geq 0 $ である。
• $ H_{F,G}(0^+) < 0 $ であれば、$ F/G $ は一峰性である：ある $ x^* > 0 $ に対して $ (0,x^*) $ で増加し、$ (x^*,\infty) $ で減少する。
• 本法則により、新たな Turán 型不等式が得られる：$ |v| > 1/2 $ のとき $ \frac{K_{v-1}(x)K_{v+1}(x)}{K_v(x)^2} < 1 + \frac{1}{x} $、$ |v| < 1/2 $ のときは逆不等式が成り立つ。
• 改良された二重不等式が確立された：$ x > 0 $ に対して $ -\sqrt{x^2 + x + \max(|v|,1/2)^2} < \frac{xK_v'(x)}{K_v(x)} < -\sqrt{x^2 + x + \min(|v|,1/2)^2} $。
• $ |v| > 1/2 $ のとき、$ xK_v'(x)/K_v(x) $ の境界 $ -\sqrt{x^2 + x + v^2} $ は既知の境界よりも厳しく、有効である。
• 本手法により、多くの特殊関数が既知の被積分関数のラプラス変換として表現されることを活かし、特殊関数の性質を統一的に導出するアプローチが可能となる。