[論文レビュー] A property of logarithmically absolutely monotonic functions and the logarithmically complete monotonicity of a power-exponential function

Feng Qi, Bai‐Ni Guo|arXiv (Cornell University)|Mar 29, 2009

Mathematical Inequalities and Applications参考文献 38被引用数 73

ひとこと要約

本稿では、対数的絶対単調関数の概念を導入し、完全単調関数および対数的完全単調関数との関係を確立する。特定のパラメータ範囲において、$\left(1 + \frac{\alpha}{x}\right)^{x+\beta}$ の対数的完全単調性を証明し、対数的完全単調関数が完全単調関数であることを示す新しい証明を提示するとともに、このような関数の特徴付けに関する未解決問題を提示する。

ABSTRACT

In the article, a notion "logarithmically absolutely monotonic function" is introduced, an inclusion that a logarithmically absolutely monotonic function is also absolutely monotonic is revealed, the logarithmically complete monotonicity and the logarithmically absolute monotonicity of the function $\bigl(1+\fracαx\bigr) ^{x+β}$ are proved, where $α$ and $β$ are given real parameters, a new proof for the inclusion that a logarithmically completely monotonic function is also completely monotonic is given, and an open problem is posed.

研究の動機と目的

• 対数的絶対単調関数という新しいクラスを導入し定義すること。
• 対数的絶対単調関数と絶対単調関数との包含関係を確立すること。
• $\alpha$ および $\beta$ の実数パラメータに対して、累乗指数関数 $\left(1 + \frac{\alpha}{x}\right)^{x+\beta}$ の対数的完全単調性を証明すること。
• 対数的完全単調関数が完全単調関数であることを示す新しい証明を提供すること。
• 対数的完全単調関数の特徴付けに関する未解決問題を提示すること。

提案手法

• 正の関数の対数の非負の微分を用いて、対数的絶対単調関数の概念を導入する。
• 高階微分をベル多項式を用いて表現するため、Faá di Brunoの公式を用いる。
• $\ln F_{\alpha,\beta}(x) = \ln\left(1 + \frac{\alpha}{x}\right)^{x+\beta}$ の微分の符号を積分表現を用いて分析する。
• $\ln F_{\alpha,\beta}(x)$ の2階および高階微分の積分表現を導出し、$u = \alpha t$ で定義される関数 $p(u)$ を用いる。$p(u)$ は単調で、既知の極限値を持つ。
• $x \to 0^-$、$x \to -\infty$、および $x \to (-\alpha)^-$ における $\theta_\alpha(x)$ の漸近的挙動を用いて、単調性のためのパラメータ条件を特定する。
• $\mathcal{C}_L[I] \subset \mathcal{C}[I]$ の包含関係と、シュティールジェス変換の構造を用いて、完全単調性への帰結を導出する。

実験結果

リサーチクエスチョン

• RQ1 関数 $F_{\alpha,\beta}(x) = \left(1 + \frac{\alpha}{x}\right)^{x+\beta}$ が $(-\infty, -\alpha)$ または $(-\alpha, 0)$ で対数的完全単調であるための条件は何か？
• RQ2 対数的絶対単調関数と絶対単調関数との関係は何か？
• RQ3 $F_{\alpha,\beta}(x)$ の対数的完全単調性は、パラメータ $\alpha$ および $\beta$ に対してどのように特徴付けられるか？
• RQ4 $\mathcal{C}_L[I] \subset \mathcal{C}[I]$ は、$\ln f(x)$ の微分の符号分析を用いて独立に証明可能か？
• RQ5 $F_{\alpha,\beta}(x)$ が $(-\infty, -\alpha)$ で対数的絶対単調関数であるための $\alpha$ および $\beta$ の必要十分条件は何か？

主な発見

• 関数 $F_{\alpha,\beta}(x) = \left(1 + \frac{\alpha}{x}\right)^{x+\beta}$ は、$\alpha > 0$ かつ $\beta \geq \frac{\alpha}{2}$ のとき、$(0, \infty)$ で対数的完全単調である。
• 関数 $F_{\alpha,\beta}(x)$ は、$2\beta \leq \alpha$ かつ $\alpha > 0$ のとき $(-\infty, -\alpha)$ で、$\beta \geq 0$ のとき $(-\alpha, 0)$ で対数的完全単調である。
• 関数 $F_{\alpha,\beta}(x)$ は、$2\beta \leq \alpha$ のとき $(-\infty, -\alpha)$ で、$\beta \geq 0$ のとき $(-\alpha, 0)$ で対数的絶対単調である。このとき、$\ln F_{\alpha,\beta}(x)$ の微分の符号は $p(u)$ の挙動によって決定される。
• $\mathcal{C}_L[I] \subset \mathcal{C}[I]$ の包含関係は、$\ln f(x)$ の微分構造と Faá di Bruno の公式を用いて再証明された。
• $\beta < 0$ のとき、$(-\infty, -\alpha)$ で $F_{\alpha,\beta}(x)$ は対数的完全単調でないことが、1階微分の符号によって示されている。
• 対数的完全単調関数の完全な特徴付け、特にパラメータ依存の挙動に関する未解決問題が提示されている。