Classical exponential bounds for p-generalized circular and hyperbolic functions

技術要約：p-一般化円形および双曲線関数に対する古典的な指数境界

問題提起
本論文は、パラメータ $p$ （ただし $1 < p < \infty$）に依存する一般化された円形および双曲線関数に対する、鋭い指数境界を確立するという問題に取り組んでいる。標準的な三角関数および双曲線関数（$p=2$ の場合）に関する指数境界を含む既存の不等式は、既存の文献において十分に文書化されているが、これらを $p$-一般化の文脈へと拡張する必要がある。著者らは、$\sin_p x$、$\cos_p x$、$\tan_p x$、およびそれらの双曲型の関数に対して $e^{\alpha x^p} < f_p(x) < e^{\beta x^p}$ という形式の不等式を導出し、最良の定数 $\alpha$ および $\beta$ を決定することを目的としている。

手法
著者らは、特定の商関数の単調性を中心とした厳密な解析的手法を採用している。主要なツールとして、関数の比の単調性と、その導関数の比の単調性を関連付けるロピタルの単調性規則（補題 2.1）を用いている。

手法のプロセスは以下の通りである：

1. 関数の定義： 論文では、積分 $\int_0^x (1 \mp t^p)^{-1/p} dt$ の逆関数に基づき、$p$-一般化関数（$\sin_p, \cos_p, \tan_p, \sec_p$ およびそれらの双曲型アナログ）を定義する。
2. 補助的補題： 主な証明を支えるために、2つの重要な補題を確立する：
   • 補題 2.2： $\xi(x) = x / \tan_p x$ が $p > 1$ のとき $(0, \pi_p/2)$ 上で厳密に減少することを示す。
   • 補題 2.3： $p > 1$ のとき $\varsigma(x) = x / \tanh_p x$ が $x \ge 0$ で厳密に増加することを示す。
3. 比関数の構成： 各対象となる不等式に対して、関数 $F(x) = \ln(f_p(x)/g_p(x)) / x^p$ を構成する。
4. 微分および単調性解析： 微分を繰り返し適用し、補助的補題を利用することで、分子と分母の導関数の比が（厳密に増加または減少のいずれかとして）単調であることを示す。
5. 補題 2.1 の適用： この単調性は、元の関数 $F(x)$ が厳密に単調であることを意味する。したがって、境界は $F(x)$ の $x \to 0^+$ における極限、および区間の上限における極限を評価することによって導出される。

主要な貢献および結果
本論文は、様々な $p$-一般化関数に対する指数境界を提供する6つの主要な定理を確立している。結果は、最良の定数を持つ二重不等式として提示されている。

• 一般化正弦関数（定理 3.1）： $p \ge 2$ かつ $x \in (0, \pi_p/2)$ のとき、論文は以下を証明する：
  $$e^{\alpha x^p} < \frac{\sin_p x}{x} < e^{\beta x^p}$$
  ここで $\alpha = \frac{2^p \ln(2/\pi_p)}{\pi_p^p}$ および $\beta = -\frac{1}{p(p+1)}$ である。

• 一般化余弦関数（定理 3.2）： $p \ge 1$ かつ $x \in (0, a)$ （ただし $a < \pi_p/2$）のとき：
  $$e^{\alpha_1 x^p} < \cos_p x < e^{\beta_1 x^p}$$
  ここで $\alpha_1 = \frac{\ln(\cos_p a)}{a^p}$ および $\beta_1 = -\frac{1}{p}$ である。

• 一般化正接関数（定理 3.3）： $p \ge 2$ かつ $x \in (0, b)$ （ただし $b < \pi_p/2$）のとき：
  $$e^{\alpha_2 x^p} < \frac{x}{\tan_p x} < e^{\beta_2 x^p}$$
  ここで $\alpha_2 = \frac{\ln(b/\tan_p b)}{b^p}$ および $\beta_2 = -\frac{1}{p+1}$ である。

• 一般化双曲線正弦関数（定理 3.4）： $p \ge 2$ かつ $x \in (0, c)$ のとき：
  $$e^{\lambda x^p} < \frac{x}{\sinh_p x} < e^{\eta x^p}$$
  ここで $\lambda = -\frac{1}{p(p+1)}$ および $\eta = \frac{\ln(c/\sinh_p c)}{c^p}$ である。

• 一般化双曲線余弦関数（定理 3.5）： $p \ge 1$ かつ $x \in (0, d)$ のとき：
  $$e^{\lambda_1 x^p} < \cosh_p x < e^{\eta_1 x^p}$$
  ここで $\lambda_1 = \frac{\ln(\cosh_p d)}{d^p}$ および $\eta_1 = \frac{1}{p}$ である。

• 一般化双曲線正接関数（定理 3.6）： $p \ge 2$ かつ $x \in (0, m)$ のとき：
  $$e^{\lambda_2 x^p} < \frac{\tanh_p x}{x} < e^{\eta_2 x^p}$$
  ここで $\lambda_2 = -\frac{1}{p+1}$ および $\eta_2 = \frac{\ln((\tanh_p m)/m)}{m^p}$ である。

さらに、系 3.7 は、$x \in (0, \pi_p/2)$ かつ $p \ge 2$ のとき $\frac{x}{\tan_p x} < \frac{\tanh_p x}{x}$ という不等式を確立している。

意義および主張
著者らは、これらの結果が古典的な円形および双曲線関数に対する既存の不等式の自然な一般化であると主張している。$p=2$ と設定することで、導出された不等式は、参考文献 [2, 3, 4, 5, 10] に見られる既知の古典的な結果に正確に帰着する。本論文は、新しい応用や実験的な提案を提示するものではなく、その意義は、これらの一般化された不等式に対して「最良の」定数を提供することにより、より広いクラスの $p$-一般化関数への指数境界の理論的な拡張にある。本研究は、$p$-ラプラシアンの固有関数の文脈で広く研究されてきた、一般化関数を含む不等式の文献に寄与するものである。