数学物理学报, 2024, 44(3): 575-585

双参数广义 Nielsen 贝塔函数的不等式与渐近逼近

尹枥,*, 黄利国,, 张聚梅,

滨州学院理学院 山东 滨州 256603

Inequality and Asymptotic Approximation Generalized Nielsen Beta Function with Two Parameters

Yin Li,*, Huang Liguo,, Zhang Jumei,

College of Science, Binzhou University, Shandong Binzhou 256603

通讯作者: Email:yinli_79@163.com

收稿日期: 2023-04-24   修回日期: 2023-08-1  

基金资助: 滨州学院重大项目(2020ZD02)

Received: 2023-04-24   Revised: 2023-08-1  

Fund supported: Major Project of Binzhou University(2020ZD02)

作者简介 About authors

黄利国,Email:liguoh123@bzu.edu.cn;

张聚梅,Email:wdzjm02@163.com

摘要

该文介绍了经典 Nielsen 贝塔函数的一种双参数推广, 深入探讨了它的单调性、凹凸性、完全单调性与积分渐近性质, 并在此基础上建立了一些新的不等式.

关键词: Nielsen贝塔函数; 广义伽马函数; 渐近; 完全单调性; 不等式

Abstract

In this paper, we introduces a two parameters generalization of the classical Nielsen beta function, discusses its monotonicity, concavity and convexity, complete monotonicity, and asymptotic properties of integrals, and establishes some new inequalities.

Keywords: Nielsen beta function; Generalized gamma function; Asymptotic property; Complete monotonicity; Inequalities

PDF (711KB) 元数据 多维度评价 相关文章 导出 EndNote| Ris| Bibtex  收藏本文

本文引用格式

尹枥, 黄利国, 张聚梅. 双参数广义 Nielsen 贝塔函数的不等式与渐近逼近[J]. 数学物理学报, 2024, 44(3): 575-585

Yin Li, Huang Liguo, Zhang Jumei. Inequality and Asymptotic Approximation Generalized Nielsen Beta Function with Two Parameters[J]. Acta Mathematica Scientia, 2024, 44(3): 575-585

1 引言

Nielsen[13] 把经典的 Nielsen 贝塔函数定义为

$\begin{align*} \beta(x)&=\int_0^1\frac{t^{x-1}}{1+t}{\rm d}t =\sum\limits_{k=0}^\infty\frac{(-1)^k}{k+x} =\int_0^\infty\frac{{\rm e}^{-xt}}{1+{\rm e}^{-t}}{\rm d}t\\ &=\frac{1}{2}\left[\psi\left(\frac{x+1}{2}\right)-\psi\left(\frac{x}{2}\right)\right],\ x>0,\nonumber \end{align*}$

其中 $\psi(x)=\frac{\rm d}{{\rm d}x}\ln \Gamma(x)$ 为伽马函数的对数导数. Nielsen 贝塔函数与贝塔函数 $B(x,y)$、高斯超几何函数 $F(a,b;c;z)$ 等分析中许多重要的函数有密切的关系. 例如下列等式

$\begin{equation*} \beta(x)+\beta(1-x)=B(x,1-x) \end{equation*}$

$\begin{equation*} \beta(x)=\frac{1}{x^2}F(1,x;x+1;-1). \end{equation*}$

此外, Nielsen 贝塔函数也广泛应用于计算某些特殊积分. 它的某些特殊值与Catalan 数、Riemann 泽塔函数等重要常数或函数有紧密联系. 相关的结果和公式参看文献 [2,9]. 特别地, 满足 $a+b=c$ 的超几何函数 $F(1,x;x+1;-1)$ 称为零支超几何函数, 它在特殊函数理论中有着极其重要的作用, 相关的应用和性质参看文献 [22-27,29].

近几年, Nielsen 贝塔函数被深入研究. 在文献 [8] 中, 它被应用于研究 Wallis 余弦公式. 在文献 [9] 中, Nantomah 证明了它的单调性与凹凸性. 最近, Nantomah 等又给出了双参数广义伽马函数与 digamma 函数的定义及一些基本关系.

$p\in\mathbb{N}, k>0, x>0$, 双参数广义伽马函数定义为

$ \begin{matrix} \Gamma_{p,k}(x)=\int_0^pt^{x-1}\left(1-\frac{t^k}{pk}\right)^p{\rm d}t =\frac{(p+1)!k^{p+1}(pk)^{\frac{x}{k}-1}}{x(x+k)(x+2k)\cdots(x+pk)}, \end{matrix} $

$\Gamma_{p,k}(x)$ 满足

$\begin{align*} &\Gamma_{p,k}(x+k)=\frac{pkx}{x+pk+k}\Gamma_{p,k}(x),\\ &\Gamma_{p,k}(k)=1. \end{align*}$

类似地, 双参数广义 digamma 函数定义为

$ \psi_{p, k}(x)=\frac{\mathrm{d}}{\mathrm{d} x} \ln \Gamma_{p, k}(x)=\frac{1}{k} \ln (p k)-\sum_{n=0}^{p} \frac{1}{n k+x}=\frac{1}{k} \ln (p k)-\int_{0}^{\infty} \frac{1-\mathrm{e}^{-k(p+1) t}}{1-\mathrm{e}^{-k t}} \mathrm{e}^{-x t} \mathrm{~d} t. $

对任意 $m\in\mathbb{N}$, 它的各阶导数为

$ \psi_{p, k}^{(m)}(x)=\frac{\mathrm{d}^{m}}{\mathrm{~d} x^{m}} \psi_{p, k}(x)=\sum_{n=0}^{p} \frac{(-1)^{m+1} m!}{(n k+x)^{m+1}}=(-1)^{m+1} \int_{0}^{\infty} \frac{1-\mathrm{e}^{-k(p+1) t}}{1-\mathrm{e}^{-k t}} t^{m} \mathrm{e}^{-x t} \mathrm{~d} t $

称为双参数广义 polygamma 函数. 更多的结论请读者参看文献 [7,11,12].

非常自然地, 可以定义双参数广义 Nielsen 贝塔函数如下.

定义1.1$p\in \mathbb{N}, k>0$$x>0$ 时, 双参数广义 Nielsen 贝塔函数的表达式为

$ \begin{matrix} \beta_{p,k}(x)=\frac{1}{2}\left[\psi_{p,k}\left(\frac{x+k}{2}\right)-\psi_{p,k}\left(\frac{x}{2}\right)\right]. \end{matrix} $

注1.1 利用公式 (1.2) 和变量变换, 易得

$ \begin{matrix} \beta_{p,k}(x)&=\sum\limits_{n=0}^{p}\left(\frac{1}{2nk+x}-\frac{1}{2nk+k+x}\right)\nonumber\\ &=\int_{0}^{\infty}\frac{1-{\rm e}^{-2k(p+1)t}}{1+{\rm e}^{-kt}}{\rm e}^{-xt}{\rm d}t =\int_0^1\frac{1-u^{2k(p+1)}}{1+u^{k}}u^{x-1}{\rm d}u. \end{matrix} $

特别地, 当 $k=1, p\rightarrow\infty$ 时, $\beta_{p,k}(x)$ 即为经典的 Nielsen 贝塔函数.

定义1.2[3]$x\in I$, 如果函数 $f(x)$ 的各阶导数满足 $(-1)^nf^{(n)}(x)\geqslant0, n\in \mathbb{N}_0$, 则称 $f(x)$ 是区间 $I$ 上的完全单调函数.

注1.2 特别地, Dubourdieu 在文献 []5] 指出: 若一个非常数函数 $f(x)$$I=(a,\infty)$ 是完全单调的, 则定义中的不等式必定是严格的.

注1.3 特别地, Bernstein 定理[3]给出 $f(x)$$(0,\infty)$ 上为完全单调的当且仅当

$f(x)=\int_0^\infty {\rm e}^{-xt}{\rm d}u(t),$

其中 $u(t)$ 为有界单调递增函数, 且积分是收敛的.

关于完全单调函数的更多性质与应用请参看文献[14-18,28].

2 几个引理

引理2.1[1]$f:(a,\infty)\rightarrow \mathbb{R}$$a\geqslant 0$. 定义函数 $g(x)=\frac{1}{x}(f(x)-1)$. 如果函数 $g$$(a,\infty)$ 上的单调递增函数, 则对于函数 $h(x)=f(x^2)$, 有如下的 Grünbaum 型不等式

$ \begin{equation} 1+h(z)\geqslant h(x)+h(y) \end{equation} $

成立, 其中 $x,y\geqslant a$$z^2=x^2+y^2$. 如果函数 $g$ 单调递减, 那么不等式 (2.1) 反向成立.

引理2.2[3]$f(t)$$g(t)$ 分别为定义在 $(0,\infty)$ 上的可积函数, 则下列 Laplace 卷积公式成立.

$ \begin{matrix} \int_0^\infty \left[\int_0^t f(s)g(t-s){\rm d}s\right]{\rm e}^{-xt}{\rm d}t=\int_0^\infty f(t){\rm e}^{-xt}{\rm d}t\int_0^\infty g(t){\rm e}^{-xt}{\rm d}t. \end{matrix} $

引理2.3 (Chebyshev 不等式[19]) 设 $f,g:[a,b]\to \mathbb{R}$ 为同增或者同减的可积函数, 且 $p:[a,b]\to \mathbb{R}$ 为一个正的可积函数, 则

$ \begin{equation} \int_a^b p(x)f(x){\rm d}x \int_a^b {p(x)g(x){\rm d}x} \le \int_a^b {p(x){\rm d}x} \int_a^b {p(x)f(x)g(x){\rm d}x}. \end{equation} $

如果 $f$$g$ 一个单增一个单减, 则上述不等式反向成立.

引理2.4 (Waston 引理[4]) 设 $f(t)$ 的渐近展开式为

$f(t)\sim \sum\limits_{n=0}^{\infty}a_{n}t^{\lambda_{n}}, t\rightarrow 0,$

其中 $-1<{\rm Re}(\lambda_1)<{\rm Re}(\lambda_2)<\cdots.$$F(p)$$f(t)$ 的 Laplace 变换, 即 $F(p)=\int_0^\infty {\rm e}^{-pt}f(t){\rm d}t.$$F(p)$ 有下面的渐近展开式

$ \begin{matrix} F(p)=\sum\limits_{n=1}^{\infty}\frac{a_{n}(\lambda_n)!}{p^{\lambda_{n}+1}},\mid{p}\mid\rightarrow \infty. \end{matrix} $

3 单调性与不等式

定理3.1 广义双参数 Nielsen 贝塔函数满足

$ \begin{matrix} \beta_{p,k}(x+k)=\frac{1}{x}-\frac{1}{x+2k(p+1)}-\beta_{p,k}(x) \end{matrix} $

$ \begin{equation} \beta_{p,k}(x+nk)=\sum\limits_{s=0}^{n-1}\frac{(-1)^{s+n+1}}{x+s}+ \sum\limits_{s=0}^{n-1}\frac{(-1)^{s+n}}{x+sk+2k(p+1)}+(-1)^n\beta_{p,k}(x), \end{equation} $

其中 $n\in \mathbb{N}$.

由展开式 (1.5), 可得

$\begin{align*} \beta_{p,k}(x+k)+\beta_{p,k}(x)&=\int_{0}^{1}\frac{1-u^{2k(p+1)}}{1+u^k}(u^{x+k-1}+u^{x-1}){\rm d}u\nonumber\\ &=\int_{0}^{1}(1-u^{2k(p+1)})u^{x-1}{\rm d}u\\ &=\frac{1}{x}-\frac{1}{x+2k(p+1)}.\nonumber \end{align*}$

之后利用归纳法可得到公式 (3.2).

注3.1 在 (3.1) 式中令 $k=1,p\rightarrow\infty$ 时, (3.1) 式变为 $\beta(x+1)=\frac{1}{x}-\beta(x),$ 此式可见文献 [7,13].

推论3.1$p\in \mathbb{N}, k>0$$x>0$ 时, 有

$ \begin{matrix} 0<\beta_{p,k}(x)\leqslant\frac{1}{x}-\frac{1}{x+2k(p+1)}. \end{matrix} $

利用 (1.5) 式和定理 3.1 容易证得.

定理3.2$n\in \mathbb{N}_0=\mathbb{N}\cup \{0\}$ 时,

(1) $\beta_{p,k}^{(n)}(x)$ 为正的单调递减函数当且仅当 $n$ 为偶数;

(2) $\beta_{p,k}^{(n)}(x)$ 为负的单调递增函数当且仅当 $n$ 为奇数.

(1.5)式两边求导, 可得

$ \begin{matrix} \beta_{p,k}^{(n)}(x)=(-1)^n\int_0^\infty\frac{1-{\rm e}^{-2k(p+1)t}}{1+{\rm e}^{-kt}}t^n{\rm e}^{-xt}{\rm d}t. \end{matrix} $

证毕.

注3.2$k=1,p\rightarrow\infty$ 时, 定理 3.2 即为文献 [10,引理 2.3].

推论3.2 对于给定的 $x,y,z\in (0,\infty)$$x^2+y^2=z^2$, 则有

$ \begin{matrix} z^2 \beta_{p,k} \left( {z^2 } \right) \leq x^2 \beta_{p,k} \left( {x^2 } \right) + y^2 \beta_{p,k}\left( {y^2 } \right). \end{matrix} $

$f(x)=x\beta_{p,k}(x)+1$, 由定理 3.2 可知 $g(x)=\frac{f(x)-1}{x}=\beta_{p,k}(x)$

$(0,\infty)$ 上单调递减. 应用引理 2.1 不难完成证明.

更一般地, 可以得到下面的结论.

推论3.3 对于给定的 $x,y,z\in (0,\infty)$$n\in \mathbb{N}$ 以及 $x^2+y^2=z^2$, 则有

$ \begin{matrix} z^2 \beta^{(2n)}_{p,k} \left( {z^2 } \right) \leq x^2 \beta^{(2n)}_{p,k} \left( {x^2 } \right) + y^2 \beta^{(2n)}_{p,k}\left( {y^2 } \right) \end{matrix} $

$ \begin{equation} z^2 \beta^{(2n+1)}_{p,k} \left( {z^2 } \right) \geq x^2 \beta^{(2n+1)}_{p,k} \left( {x^2 } \right) + y^2 \beta^{(2n+1)}_{p,k}\left( {y^2 } \right). \end{equation} $

定理3.3$\lambda>1, \mu>1$ 且满足 $\frac{1}{\lambda}+\frac{1}{\mu}=1$ 时, 下列不等式成立

$ \begin{matrix} \beta_{p,k}\left(\frac{x}{\lambda}+\frac{y}{\mu}\right)\leqslant(\beta_{p,k}(x))^{\frac{1}{\lambda}}(\beta_{p,k}(y))^{\frac{1}{\mu}}, \ \ x,y>0, \end{matrix} $

$\beta_{p,k}(x)$$(0,\infty)$ 上为对数凸函数.

利用 Hölder 不等式, 可得

$\begin{align*} \beta_{p,k}\left(\frac{x}{\lambda}+\frac{y}{\mu}\right)&= \int_0^1\frac{1-u^{2k(p+1)}}{1+u^{k}}u^{\frac{x}{\lambda}+\frac{y}{\mu}-1}{\rm d}u\nonumber\\ &=\int_0^1\left(\frac{1-u^{2k(p+1)}}{1+u^{k}}u^{x-1}\right)^{\frac{1}{\lambda}}\left(\frac{1-u^{2k(p+1)}}{1+u^{k}}u^{y-1}\right)^{\frac{1}{\mu}}{\rm d}u\nonumber\\ &\leqslant\left(\int_0^1\frac{1-u^{2k(p+1)}}{1+u^{k}}u^{x-1}{\rm d}u\right)^{\frac{1}{\lambda}}\left(\int_0^1\frac{1-u^{2k(p+1)}}{1+u^{k}}u^{y-1}{\rm d}u\right)^{\frac{1}{\mu}}\nonumber\\ &=(\beta_{p,k}(x))^{\frac{1}{\lambda}}(\beta_{p,k}(y))^{\frac{1}{\mu}}\nonumber. \end{align*}$

证毕.

注3.3$k=1,p\rightarrow\infty$ 时, 定理 3.3 即为文献 [10,(2.4) 式].

应用定理3.3 易得下列推论.

推论3.4 (1) 当 $x>0$ 时, $\beta_{p,k}(x)\beta_{p,k}''(x)\geqslant[\beta_{p,k}'(x)]^2$ 成立;

(2) 函数 $\frac{\beta_{p,k}'(x)}{\beta_{p,k}(x)}$$(0,\infty)$ 上为单调递增函数.

推论3.5$x,y>0$ 时, 下列不等式成立

(1) $[\beta_{p,k}(x+y)]^2<\beta_{p,k}(x)\cdot\beta_{p,k}(y)$;

(2) $\beta_{p,k}(x+y)<\beta_{p,k}(x)+\beta_{p,k}(y)$.

(1) 在定理 3.3 中令 $\lambda=\mu=2$, 由 $\beta_{p,k}(x)$ 的递减性质, 可得

$ \begin{matrix} \beta_{p,k}(x+y)<\beta_{p,k}\left(\frac{x+y}{2}\right)\leqslant\sqrt{\beta_{p,k}(x)\beta_{p,k}(y)}; \end{matrix} $

(2) 应用均值不等式有

$ \begin{matrix} \beta_{p,k}(x+y)<\sqrt{\beta_{p,k}(x)\beta_{p,k}(y)}\leqslant\frac{\beta_{p,k}(x)+\beta_{p,k}(y)}{2}\leqslant\beta_{p,k}(x)+\beta_{p,k}(y). \end{matrix} $

证毕.

推论3.6$x>1$ 时, 有

$ \begin{matrix} \frac{\beta_{p,k}(x)}{\beta_{p,k}(x+k)}<\frac{\beta_{p,k}(x-k)}{\beta_{p,k}(x)}. \end{matrix} $

$x>0$ 时, 令 $f_{p,k}(x)=\frac{\beta_{p,k}(x)}{\beta_{p,k}(x+k)}$, 求导得

$\begin{align*} f_{p,k}'(x)=f_{p,k}(x)\left[\frac{\beta_{p,k}'(x)}{\beta_{p,k}(x)}-\frac{\beta_{p,k}'(x+k)}{\beta_{p,k}(x+k)}\right]<0. \end{align*}$

从而 $f_{p,k}(x)$$(0,\infty)$ 上是严格单调递减的, 故 $f_{p,k}(x)<f_{p,k}(x-k)$.

证毕.

定理3.4$C$ 为任意正常数, 则 $\phi_{p,k}(x)=C^x\beta_{p,k}(x)$$(0,\infty)$ 上的凸函数.

利用 $\beta_{p,k}(x)$ 的对数凸性与 Young 不等式, 有

$\begin{align*} \phi_{p,k}\left(\frac{x}{\lambda}+\frac{y}{\mu}\right)&= C^{\frac{x}{\lambda}+\frac{y}{\mu}}\beta_{p,k}\left(\frac{x}{\lambda}+\frac{y}{\mu}\right)\\ &\leqslant(C^x\beta_{p,k}(x))^{\frac{1}{\lambda}}(C^y\beta_{p,k}(y))^{\frac{1}{\mu}}\\ &\leqslant\frac{\phi_{p,k}(x)}{\lambda}+\frac{\phi_{p,k}(y)}{\mu}\nonumber. \end{align*}$

证毕.

注3.4$C$ 为任意正常数, 令 $k=1,p\rightarrow\infty$ 时, 则函数 $C^x\beta(x)$$(0,\infty)$ 上的凸函数.

定理3.5$x>0$ 时, 下列不等式成立

$ \begin{matrix} \beta_{p,k}\Big(x+\frac{k}{2}\Big)\leqslant \ln \frac{\Gamma_{p,k}(\frac{x+2k}{2})\Gamma_{p,k}(\frac{x}{2})}{\Gamma_{p,k}^2(\frac{x+k}{2})} \leqslant \frac{1}{2}\left(\frac{1}{x}-\frac{1}{x+2k(p+1)}\right). \end{matrix} $

因为 $\beta_{p,k}(x)=\frac{1}{2}\left[\psi_{p,k}(\frac{x+k}{2})-\psi_{p,k}(\frac{x}{2})\right]$$(0,\infty)$ 上为凸函数, 由 Hermite-Hadamard 不等式, 当 $f(x)$$[a,b]$ 上为凸函数时, 有

$ \begin{matrix} f\Big(\frac{a+b}{2}\Big)\leqslant \frac{1}{b-a}\int_a^bf(t){\rm d}t\leqslant\frac{f(a)+f(b)}{2}. \end{matrix} $

在公式 (3.13) 中, 令 $f(t)=\beta_{p,k}(t), a=x>0, b=x+k$, 则有

$\begin{align*} \beta_{p,k}\Big(x+\frac{k}{2}\Big)&\leqslant \Big[\ln \Gamma_{p,k}\Big(\frac{x+k}{2}\Big)-\ln \Gamma_{p,k}\Big(\frac{x}{2}\Big)\Big]_x^{x+k}\\ &\leqslant\frac{\beta_{p,k}(x+k)+\beta_{p,k}(x)}{2}. \end{align*}$

化简可得结论.

证毕.

注3.5 表达式 $\frac{\Gamma_{p,k}(\frac{x+2k}{2})\Gamma_{p,k}(\frac{x}{2})}{\Gamma_{p,k}^2(\frac{x+k}{2})}$ 是经典 Gurland 比 $G(x,y)=\frac{\Gamma(x)\Gamma(y)}{\Gamma(\frac{x+y}{2})}$ 的一个特殊形式的双参数推广. Gurland 比有广泛的应用, 例如 $G(\frac{1}{\lambda},\frac{3}{\lambda})$ 应用于带参数 $\lambda$ 的广义 gamma 分布的方差与平方绝对期望的参数比中. 此外, 它在图像识别领域中起到了重要作用. 具体可参看文献 [20,21]. 实际上, 定理 3.5 利用广义 Nielsen 贝塔函数得到了广义 Gurland 比的一个下界估计.

定理3.6$p\in \mathbb{N}_0$$k>0$ 时, 函数 $\delta_{p,k}(x)=x\beta_{p,k}(x)$$(0,\infty)$ 上为完全单调的.

由函数乘积导数的 Leibniz 公式, 得

$ \begin{matrix} \delta_{p,k}^{(n)}(x)=n\beta_{p,k}^{(n-1)}(x)+x\beta_{p,k}^{(n)}(x). \end{matrix} $

由公式 $\frac{m!}{x^{m+1}}=\int_0^\infty t^m{\rm e}^{-xt}{\rm d}t$ (见文献 [6]), 可知

$\begin{align*} \frac{(-1)^n\delta_{p,k}^{(n)}(x)}{x}&=(-1)^n\Big[\frac{n}{x}\beta_{p,k}^{(n-1)}(x)+\beta_{p,k}^{(n)}(x)\Big]\\ &=-n\int_0^\infty {\rm e}^{-xt}{\rm d}t\int_0^\infty \frac{1-{\rm e}^{-2k(p+1)t}}{1+{\rm e}^{-kt}}t^{n-1}{\rm e}^{-xt}{\rm d}t+\int_0^\infty \frac{1-{\rm e}^{-2k(p+1)t}}{1+{\rm e}^{-kt}}t^{n}{\rm e}^{-xt}{\rm d}t. \end{align*}$

由引理 2.2, 则有

$\begin{align*} \frac{(-1)^n\delta_{p,k}^{(n)}(x)}{x}&=-n\int_0^\infty \left[\int_0^t \frac{s^{n-1}(1-{\rm e}^{-2k(p+1)s})}{1+{\rm e}^{-ks}}{\rm d}s\right]{\rm e}^{-xt}{\rm d}t+\int_0^\infty \frac{1-{\rm e}^{-2k(p+1)t}}{1+{\rm e}^{-kt}}t^{n}{\rm e}^{-xt}{\rm d}t\\ &=\int_0^\infty\sigma_{p,k}(t){\rm e}^{-xt}{\rm d}t, \end{align*}$

其中

$ \begin{equation} \sigma_{p,k}(t)=-n\int_0^t \frac{s^{n-1}(1-{\rm e}^{-2k(p+1)s})}{1+{\rm e}^{-ks}}{\rm d}s+\frac{t^{n}(1-{\rm e}^{-2k(p+1)t})}{1+{\rm e}^{-kt}}. \end{equation} $

$\sigma_{p,k}(t)$ 求导得

$\begin{align*} \sigma_{p,k}'(t)= \frac{t^{n}[2k(p+1){\rm e}^{-2k(p+1)t}(1+{\rm e}^{-kt})+k{\rm e}^{-kt}(1-{\rm e}^{-2k(p+1)t})]}{(1+{\rm e}^{-kt})^2}>0, \end{align*}$

$\sigma_{p,k}(t)$$(0,\infty)$ 上为单调递增函数. 又因为

$\sigma_{p,k}(0)=\lim_{t\rightarrow 0}\sigma_{p,k}(t)=0, $

所以 $\sigma_{p,k}(t)>\sigma_{p,k}(0)=0$. 即有 $(-1)^n\delta_{p,k}^{(n)}(x)\geqslant0.$

证毕.

注3.6 定理 3.6 说明函数 $x\beta_{p,k}(x)$$(0,\infty)$ 上为单调递减的凸函数, 即有

$ \begin{equation} \beta_{p,k}(x)+x\beta_{p,k}'(x)\leqslant 0 \end{equation} $

$ \begin{equation} 2\beta_{p,k}'(x)+x\beta_{p,k}''(x)\geqslant 0. \end{equation} $

如果令 $k=1,p\rightarrow\infty$, 则可以得到经典 Nielson 贝塔函数类似的结论.

应用注 3.6的结论以及引理 2.1 易得

推论3.7 对于给定的 $x,y,z\in (0,\infty)$ 以及 $x^2+y^2=z^2$, 则有

$ \begin{matrix} z^4 \beta_{p,k} \left( {z^2 } \right) \leq x^4 \beta_{p,k} \left( {x^2 } \right) + y^4 \beta_{p,k}\left( {y^2 } \right). \end{matrix} $

定理3.7$x>0$$y\geqslant 1$ 时, 成立不等式

$ \begin{equation} \beta_{p,k}(xy)\leqslant \beta_{p,k}(x)+\beta_{p,k}(y). \end{equation} $

由 (3.17) 式得

$\begin{align*} (x\beta_{p,k}'(x))'=\beta_{p,k}'(x)+x\beta_{p,k}''(x)>2\beta_{p,k}'(x)+x\beta_{p,k}''(x)\geqslant 0, \end{align*}$

所以函数 $x\beta_{p,k}'(x)$$(0,\infty)$ 上为严格单调递增函数.

$M_{p,k}(xy)=\beta_{p,k}(xy)-\beta_{p,k}(x)-\beta_{p,k}(y)$, 求对 $x$ 的偏导数, 得

$\begin{align*} \frac{\partial}{\partial x}M_{p,k}(xy)=\frac{1}{x}[xy\beta_{p,k}'(xy)-x\beta_{p,k}'(y)]\geqslant0. \end{align*}$

这说明 $M_{p,k}(xy)$$x\in(0,\infty)$ 时为单调递增的. 从而有

$\begin{align*} M_{p,k}(xy)\leqslant\lim_{x\rightarrow\infty} M_{p,k}(xy)=-\beta_{p,k}(y)<0. \end{align*}$

证毕.

注3.7 如果令 $k=1,p\rightarrow\infty$, 则当 $x>0$$y\geqslant 1$ 时, (3.19) 式变为 $\beta(xy)\leqslant \beta(x)+\beta(y).$

定理3.8 对任意 $k>0$ 以及 $n\in\mathbb{N}_0$, 函数

$ \begin{matrix} \xi_n(x)=\frac{(-1)^nx^{n+1}}{n!}\beta_{p,k}^{(n)}(x) \end{matrix} $

$(0,\infty)$ 上为单调递减的.

(3.20) 式两边求导, 得

$\begin{align*} \xi_n'(x)=\frac{(n+1)x^{n}}{n!}(-1)^n\beta_{p,k}^{(n)}(x)+\frac{x^{n+1}}{n!}(-1)^n\beta_{p,k}^{(n+1)}(x), \end{align*}$

由 (3.4) 式和引理 2.2, 则有

$\begin{align*} \frac{n!}{x^{n+1}}\xi_n'(x)&=(n+1)\int_0^\infty {\rm e}^{-xt}{\rm d}t\int_0^\infty\frac{1-{\rm e}^{-2k(p+1)t}}{1+{\rm e}^{-kt}}t^n{\rm e}^{-xt}{\rm d}t -\int_0^\infty\frac{1-{\rm e}^{-2k(p+1)t}}{1+{\rm e}^{-kt}}t^{n+1}{\rm e}^{-xt}{\rm d}t\\ &=(n+1)\int_0^\infty \left[\int_0^t \frac{s^n(1-{\rm e}^{-2k(p+1)s})}{1+{\rm e}^{-ks}}{\rm d}s\right]{\rm e}^{-xt}{\rm d}t -\int_0^\infty\frac{1-{\rm e}^{-2k(p+1)t}}{1+{\rm e}^{-kt}}t^{n+1}{\rm e}^{-xt}{\rm d}t\\ &=\int_0^\infty \eta_{p,k}(t){\rm e}^{-xt}{\rm d}t, \end{align*}$

其中

$ \eta_{p,k}(t)=(n+1)\int_0^t \frac{s^n(1-{\rm e}^{-2k(p+1)s})}{1+{\rm e}^{-ks}}{\rm d}s-\frac{t^{n+1}(1-{\rm e}^{-2k(p+1)t})}{1+{\rm e}^{-kt}}. $

直接计算, 得

$ \eta_{p,k}(0)=\lim_{x\rightarrow 0}\eta_{p,k}(x)=0 $

$ \eta_{p,k}'(t)=-\frac{t^{n+1}}{(1+{\rm e}^{-kt})^2}[2k(p+1){\rm e}^{-2k(p+1)t}(1+{\rm e}^{-kt}) +k{\rm e}^{-kt}(1-{\rm e}^{-2k(p+1)t})]\leqslant 0, $

所以 $\eta_{p,k}(t)\leqslant\eta_{p,k}(0)=0$, 从而 $\xi_n'(x)\leqslant 0$.

证毕.

注3.8 如果令 $k=1,p\rightarrow\infty$, 则定理 3.8 等价于文献 [定理 6] 的一部分.

4 两个平均不等式

任意两个不同的正数 $x,y$, 它们的算术平均、几何平均、对数平均、指数平均分别定义为

$A(x,y)=\frac{x+y}{2},\quad G(x,y)=\sqrt{xy},$
$L(x,y)=\frac{x-y}{\ln(x)-\ln(y)},\quad x\neq y,$
$I(x,y)= \frac{1}{\rm e}\left( {\frac{{x^x }}{{y^y }}} \right)^{1/(x - y)},\quad x\neq y.$

定理4.1$p\in \mathbb{N},k>0$ 以及 $x,y \in(0,\infty)$, 则

$ \begin{equation} L\left( {\beta_{p,k} (x),\beta_{p,k} (y)} \right)\leq\frac{{\int_{y}^x {\beta_{p,k} (u){\rm d}u} }}{{x-y}}. \end{equation} $

不妨设 $y\leq x$, 令 $t=\beta_{p,k}(u)$ 则有

$\begin{align*} L\left( {\beta_{p,k} (x),\beta_{p,k} (y)} \right) &= \frac{{\beta_{p,k} (x) - \beta_{p,k} (y)}}{{\ln \beta_{p,k} (x) - \ln \beta_{p,k} (y)}} \\ &= \frac{{\int_{\beta_{p,k} (y)}^{\beta_{p,k} (x)} {1{\rm d}t} }}{{\int_{\beta_{p,k} (y)}^{\beta_{p,k} (x)} {\frac{1}{t}{\rm d}t} }} = \frac{{\int_{y}^x {\left( {\beta_{p,k} (u)} \right)^\prime {\rm d}u} }}{{\int_{y}^x {\frac{{\left( {\beta_{p,k} (u)} \right)^\prime }}{{\beta_{p,k} (u)}}{\rm d}u} }}. \end{align*}$

由于函数 $\beta_{p,k} (x)$$(0,\infty)$ 上是单调递减的对数凸函数, 所以 $\frac{(\beta_{p,k} (u))'}{\beta_{p,k} (u)}$ 为单调递增函数, 在引理 2.3 (Chebyshev 不等式) 中取 $p(u)=1, f(u)=\beta_{p,k} (u), g(u)=\frac{(\beta_{p,k} (u))'}{\beta_{p,k} (u)}$, 可得

$\int_{y}^x {\beta_{p,k} (u){\rm d}u} \int_{y}^x {\frac{{\left( {\beta_{p,k} (u)} \right)^\prime }}{{\beta_{p,k} (u)}}{\rm d}u} \geq \int_{y}^x {1{\rm d}u} \int_{y}^x {\left( {\beta_{p,k} (u)} \right)^\prime {\rm d}u}. $

它等价于不等式

$\frac{{\int_{y}^x {\left( {\beta_{p,k} (u)} \right)^\prime {\rm d}u} }}{{\int_{y}^x {\frac{{\left( {\beta_{p,k} (u)} \right)^\prime }}{{\beta_{p,k} (u)}}{\rm d}u} }} \leq \frac{{\int_{y}^x {\beta_{p,k} (u){\rm d}u} }}{{x-y}}.$

定理得证.

定理4.2$p\in \mathbb{N},k>0$$x,y \in(0,\infty)$, 则

$ \begin{equation} I\left( {\beta_{p,k} (x),\beta_{p,k} (y)} \right)\leq {\rm e}^{\frac{{\int_{y}^x {\ln\beta_{p,k} (u){\rm d}u} }}{{x-y}}}. \end{equation} $

类似于定理 4.1 的证明, 得

$\begin{align*} \ln I\left( {\beta_{p,k} (x),\beta_{p,k} (y)} \right) &= \frac{{\beta_{p,k} (y)\ln\beta_{p,k} (y) - \beta_{p,k} (x)\ln \beta_{p,k} (x) }}{{\beta_{p,k} (y) - \beta_{p,k} (x)}}-1 \\ & = \frac{{\int_{\beta_{p,k} (y)}^{\beta_{p,k} (x)} {\ln t{\rm d}t} }}{{\int_{\beta_{p,k} (y)}^{\beta_{p,k} (x)} {1{\rm d}t} }} = \frac{{\int_{y}^x {\ln \beta_{p,k} (u)\left( {\beta_{p,k} (u)} \right)^\prime {\rm d}u} }}{{\int_{y}^x {\left( {\beta_{p,k} (u)} \right)^\prime {\rm d}u} }}. \end{align*}$

由于 $(\beta_{p,k} (u))'$ 为单调递增函数, $\ln(\beta_{p,k} (x))$ 为减函数. 由引理 2.3, 得到

$\ln I\left( {\beta_{p,k} (x),\beta_{p,k} (y)} \right) \leq\frac{{\int_{y}^x {\ln \beta_{p,k} (u){\rm d}u} }}{{x-y}}. $

证毕.

注4.1 即使令 $k=1,p\rightarrow\infty$, 定理 4.1 和定理 4.2 也是新结果.

5 渐近性质

定理5.1$x\rightarrow \infty$ 时, 函数 $\beta_{p,k}(x)$ 满足如下的渐近展开式

$\begin{align*} \beta_{p,k}(x)\sim\ & \frac{1}{2x}+\frac{1}{2[x+2k(p+1)]}+\sum\limits_{m=1}^{\infty}\frac{(2^{2m}-1)B_{2m}k^{2m-1}}{mx^{2m}}\\ &+\sum\limits_{m=1}^{\infty}\frac{(2^{2m}-1)B_{2m}k^{2m-1}}{m[x+2k(p+1)]^{2m}},\ x\rightarrow \infty, \end{align*}$

其中 $B_s$$s$ 阶 Bernoulli 数.

对于充分大的 $x$, $\beta_{p,k}(x)=\int_{0}^{\infty}\frac{1-{\rm e}^{-2k(p+1)t}}{1+{\rm e}^{-kt}}{\rm e}^{-xt}{\rm d}t$ 都收敛, 且在原点的任意邻域内函数 $q(t)=\frac{1}{1+{\rm e}^{-kt}}$ 无穷次可导. 利用 $q(t)$ 的级数渐近展开式

$q(t)=\frac{1}{2}+\frac{1}{2}\tanh\left(\frac{kt}{2}\right)= \frac{1}{2}+\sum\limits_{m=1}^{\infty}\frac{(2^{2m}-1)B_{2m}k^{2m-1}t^{2m-1}}{(2m)!},\ \mid t\mid<\pi$

和 Waston 引理 (引理 2.4)

$\int_{0}^{\infty}\frac{1}{1+{\rm e}^{-kt}}{\rm e}^{-xt}{\rm d}t\sim \sum\limits_{m=0}^{\infty}\frac{q^{(m)}(0)}{x^{m+1}}, \ x\rightarrow \infty,$

其中 $q^{(0)}(0)=\frac{1}{2},q^{(2m)}(0)=0, q^{(2m+1)}(0)=\frac{(2^{2m}-1)B_{2m}k^{2m-1}}{m}.$ 整理得积分 $\int_{0}^{\infty}\frac{1}{1+{\rm e}^{-kt}}{\rm e}^{-xt}{\rm d}t$ 的渐近展开式为

$\int_{0}^{\infty}\frac{1}{1+{\rm e}^{-kt}}{\rm e}^{-xt}{\rm d}t\sim \frac{1}{2x}+\sum\limits_{m=1}^{\infty}\frac{(2^{2m}-1)B_{2m}k^{2m-1}}{mx^{2m}},\ x\rightarrow \infty.$

类似地, 有渐近展开式

$\int_{0}^{\infty}\frac{1}{1+{\rm e}^{-kt}}{\rm e}^{-[2k(p+1)+x]t}{\rm d}t\sim\frac{1}{2[x+2k(p+1)]}+\sum\limits_{m=1}^{\infty}\frac{(2^{2m}-1)B_{2m}k^{2m-1}}{m[x+2k(p+1)]^{2m}},\ x\rightarrow \infty.$

综合上述两式, 定理得证.

注5.1$k=1,p\rightarrow\infty$, 且当 $x\rightarrow \infty$ 时, 函数 $\beta(x)$ 有如下的渐近展开式

$\beta(x)\sim \frac{1}{2x}+\sum\limits_{m=1}^{\infty}\frac{(2^{2m}-1)B_{2m}k^{2m-1}}{mx^{2m}},\ x\rightarrow \infty.$

6 一个公开问题

由定理 3.8 可知, $\xi_n(x)=\frac{(-1)^nx^{n+1}}{n!}\beta_{p,k}^{(n)}(x) $$(0,\infty)$ 上的单调递减函数. 此外, $\xi_n(x)$$(0,\infty)$ 上显然为正的. 因此, 给出如下猜测.

公开问题$k>0$$n\in\mathbb{N}_0=\{0\}\cup\mathbb{N}$ 时, 函数 $\xi_n(x)$$(0,\infty)$ 上为完全单调的.

参考文献

Baricz Á, Bhayo B A, Pogány T K.

Convexity properties of generalized trigonometric and hyperbolic functions

J Math Anal Appl, 2014, 417: 244-259

[本文引用: 1]

Boyadzhiev K N, Medina L A, Moll V H.

The integral in Gradshteyr and Ryzhik, Part 11: The incomplete beta function

Scientia Ser A: Math Sci, 2009, 18(1): 61-75

[本文引用: 1]

Chen C P, Choi J S.

Completely monotonic functions related to Gurland’s ratio for the gamma function

Math Inequal Appl, 2017, 20(3): 651-659

[本文引用: 3]

Copson E T. Asymptotic Expansions, Cambridge Tracts in Math Math Phys 55. New York:Cambridge University Press, 1965

[本文引用: 1]

Dubourdieu J, Sur un théorème de M S.

Bernstein relatifàla transformation de Laplace-Stieltjes

Comp Math, 1939, 7: 96-111

Krasniqi V, Qi F.

Complete monotonicity of a function involving the $p$-psi function and alternative proofs

Global Journal of Mathematical Analysis, 2014, 2(3): 204-208

[本文引用: 1]

Nantomah K.

Convexity properties and inequalities concerning the $(p,k)$-gamma function

Commun Fac Sci Univ Ank Series A1, 2017, 66(2): 130-140

[本文引用: 2]

Nantomah K.

Monotonicity and convexity properties and some inequalities involving a generalized form of the Wallis’ cosine formula

Research Journal of Math, 2017, 6(3): 1-10

[本文引用: 1]

Nantomah K.

Monotonicity and convexity properties of the Nielsen’s $\beta$-function

Probl Anal Issues Anal, 2017, 24(2): 81-93

[本文引用: 2]

Nantomah K.

On some properties and inequalities for the Nielsen’s $\beta$-function

Scientia Series A: Mathematical Sciences, 2017- 2018, 28: 43-54

[本文引用: 2]

Nantomah K, Merovci F, Nasiru S.

Some inequalities and monotonicity properties for the $(p,k)$-gamma function

Kragujevac Journal of Math, 2018, 42(2): 287-297

[本文引用: 1]

Nantomah K, Prempeh E, Twum S B.

On a $(p,k)$-analogue of the gamma function and some associated inequalities

Moroccan Journal of Pure and Applied Analysis, 2016, 2(2): 79-90

[本文引用: 1]

Nielsen N.

Handbuch der Theorie der Gamma Function (First edition)

Leipzig: B G Teubner, 1906

[本文引用: 2]

Qi F, Chen C P.

Some completely monotonic and polygamma functions

J Aust Math Soc, 2006, 80: 81-88

[本文引用: 1]

Qi F, Guo B N.

A class of completely monotonic functions involving divided differences of the psi and tri-gamma functions and some applications

J Korean Math Soc, 2011, 48(3): 655-667

[本文引用: 1]

Qi F, Guo B N.

Completely monotonic functions involving divided differences of the di- and tri-gamma functions and some applications

Commun Pure Appl Anal, 2009, 8(6): 1975-1989

[本文引用: 1]

Qi F, Guo B N.

Necessary and sufficient conditons for functions involving the tri- and tetra-gamma functions to be completely monotonic

Adv Appl Math, 2010, 44(1): 71-83

[本文引用: 1]

Qi F, Guo S L, Guo B N.

Completely monotonicity of some functions involving polygamma functions

J Comput Appl Math, 2010, 233: 2149-2160

[本文引用: 1]

Qi F, Huang Z.

Inequalities of the complete elliptic integrals

Tamkang J Math, 1998, 29(3): 165-169

[本文引用: 1]

Shrafi K, Leon-Garcia A.

Estimation of shape parameter for generalized Gaussian distribution in subband decomposition of video

IEEE Trans Circ Syst Video Techn, 1995, 5: 52-56

[本文引用: 1]

Stacy E W.

A generalization of gamma distribution

Ann Math Statistics, 1962, 28: 1187-1192

[本文引用: 1]

Wang M K, Chu Y M.

Refinements of transformation inequalities for zero-balanced hypergeometric functions

Acta Math Sci, 2017, 37B(3): 607-622

[本文引用: 1]

Wang M K, Chu Y M, Jiang Y P.

Ramanujan’s cubic transformation inequalities for zero-balanced hypergeometric functions

Rocky Mountain J Math, 2016, 46(2): 679-691

[本文引用: 1]

王淼坤, 褚玉明, 蒋月评, 闫丹丹.

零平衡超几何函数的一类二次变换不等式

数学物理学报, 2014, 34A(4):999-1007

[本文引用: 1]

Wang M K, Chu Y M, Jiang Y P, Yan D D.

A class of quadratic transformation inequalities for zero-balanced hypergeometric functions

Acta Math Sci, 2014, 34A(4):999-1007

[本文引用: 1]

Wang M K, Chu Y M, Zhang W.

Monotonicity and inequalities involving zero-balanced hypergeometric function

Math Inequal Appl, 2019, 22(2): 601-617

[本文引用: 1]

王淼坤, 宋迎清, 褚玉明.

零平衡超几何函数的不等式

数学学报, 2014, 57(4):719-726

[本文引用: 1]

Wang M K, Song Y Q, Chu Y M.

A class of quadratic transformation inequalities for zero-balanced hypergeometric functions

Acta Math Sinica, 2014, 57(4):719-726

[本文引用: 1]

Wang M K, Zhang W, Chu Y M.

Monotonicity, convexity and inequalities involving the generalized elliptic integrals

Acta Math Sci, 2019, 39B(5): 1440-1450

[本文引用: 1]

Widder D V. The Laplace Transform. Princeton: Princeton University Press, 1941

[本文引用: 1]

Zhao T H, Wang M K, Zhang W, Chu Y M.

Quadratic transformation inequalities for Gaussian hypergeometric function

J Inequal Appl, 2018, 2018: 1-15

[本文引用: 1]

/