<p>We prove some new results and unify old ones on the complete monotonicity of functions including the gamma and digamma functions and their <i>q</i>-analogues. All of these results lead to new and interesting inequalities. Of particular interest, we obtain the following results:for all <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_84_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(q&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_84_Article_IEq2.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(q\neq 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>≠</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_84_Article_IEq3.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(x&gt;0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>&gt;</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_84_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(n\in \mathbb{N}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>∈</mo> <mi mathvariant="double-struck">N</mi> </mrow> </math></EquationSource> </InlineEquation>, we have<Equation ID="Equa"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_84_Article_Equa.gif" Format="GIF" Height="126" Rendition="HTML" Resolution="72" Type="Linedraw" Width="494" /> </MediaObject> <EquationSource Format="TEX">\(\begin{aligned}\log\big(\frac{1-q^x}{1-q}\big)- \frac14\frac{3q^x+1}{q^x-1}\log q\leq\psi_q(x)\leq\log\big(\frac{1-q^x}{1-q}\big)-\frac{1}2 \frac{q^x}{q^x-1}\log q, \\q^x\big(\frac{\log q}{q^x-1}\big)^nP_{n-2}(q^x)+\frac12q^x\big(\frac{\log q}{q^x-1}\big)^{n+1}P_{n-1}(q^x)\leq(-1)^{n+1}\psi^{(n)}_q(x)\\ \le q^x\big(\frac{\log q}{q^x-1}\big)^nP_{n-2}(q^x)+q^x\big(\frac{\log q}{q^x-1}\big)^{n+1}P_{n-1}(q^x).\end{aligned}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mtable> <mtr> <mtd columnalign="right"> <mrow> <mo>log</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mfrac> <mrow> <mn>1</mn> <mo>-</mo> <msup> <mi>q</mi> <mi>x</mi> </msup> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>q</mi> </mrow> </mfrac> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>4</mn> </mfrac> <mfrac> <mrow> <mn>3</mn> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo>+</mo> <mn>1</mn> </mrow> <mrow> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> <mo>log</mo> <mi>q</mi> <mo>≤</mo> <msub> <mi>ψ</mi> <mi>q</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mo>log</mo> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mfrac> <mrow> <mn>1</mn> <mo>-</mo> <msup> <mi>q</mi> <mi>x</mi> </msup> </mrow> <mrow> <mn>1</mn> <mo>-</mo> <mi>q</mi> </mrow> </mfrac> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mo>-</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <mfrac> <msup> <mi>q</mi> <mi>x</mi> </msup> <mrow> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> <mo>log</mo> <mi>q</mi> <mo>,</mo> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <msup> <mi>q</mi> <mi>x</mi> </msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mfrac> <mrow> <mo>log</mo> <mi>q</mi> </mrow> <mrow> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mi>n</mi> </msup> <msub> <mi>P</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <mfrac> <mn>1</mn> <mn>2</mn> </mfrac> <msup> <mi>q</mi> <mi>x</mi> </msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mfrac> <mrow> <mo>log</mo> <mi>q</mi> </mrow> <mrow> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <msub> <mi>P</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <msubsup> <mi>ψ</mi> <mi>q</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </mtd> </mtr> <mtr> <mtd columnalign="right"> <mrow> <mrow /> <mo>≤</mo> <msup> <mi>q</mi> <mi>x</mi> </msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mfrac> <mrow> <mo>log</mo> <mi>q</mi> </mrow> <mrow> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mi>n</mi> </msup> <msub> <mi>P</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>2</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>+</mo> <msup> <mi>q</mi> <mi>x</mi> </msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">(</mo> </mrow> <mfrac> <mrow> <mo>log</mo> <mi>q</mi> </mrow> <mrow> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo>-</mo> <mn>1</mn> </mrow> </mfrac> <msup> <mrow> <mo maxsize="1.2em" minsize="1.2em" stretchy="true">)</mo> </mrow> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <msub> <mi>P</mi> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msup> <mi>q</mi> <mi>x</mi> </msup> <mo stretchy="false">)</mo> </mrow> <mo>.</mo> </mrow> </mtd> </mtr> </mtable> </mrow> </math></EquationSource> </Equation>where <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_84_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(P_n(x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>P</mi> <mi>n</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is some polynomial of degree <i>n</i> to be defined later.</p><p>These inequalities are the <i>q</i>-analogues of the classical inequalities<Equation ID="Equb"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_84_Article_Equb.gif" Format="GIF" Height="36" Rendition="HTML" Resolution="72" Type="Linedraw" Width="171" /> </MediaObject> <EquationSource Format="TEX">\(\frac1{2x}\leq\log x-\psi(x)\leq\frac1{x},\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mfrac> <mn>1</mn> <mrow> <mn>2</mn> <mi>x</mi> </mrow> </mfrac> <mo>≤</mo> <mo>log</mo> <mi>x</mi> <mo>-</mo> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mfrac> <mn>1</mn> <mi>x</mi> </mfrac> <mo>,</mo> </mrow> </math></EquationSource> </Equation>and<Equation ID="Equc"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="10476_2025_84_Article_Equc.gif" Format="GIF" Height="38" Rendition="HTML" Resolution="72" Type="Linedraw" Width="508" /> </MediaObject> <EquationSource Format="TEX">\(\frac{(n-1)!}{x^{n}}+\frac{n!}{2x^{n+1}}\leq (-1)^{n+1}\psi^{(n)}(x)\leq\frac{(n-1)!}{x^{n}}+\frac{n!}{x^{n+1}},\quad n\geq1, \ x&gt;0.\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mfrac> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>!</mo> </mrow> <msup> <mi>x</mi> <mi>n</mi> </msup> </mfrac> <mo>+</mo> <mfrac> <mrow> <mi>n</mi> <mo>!</mo> </mrow> <mrow> <mn>2</mn> <msup> <mi>x</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mrow> </mfrac> <mo>≤</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> <msup> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mrow> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mo>≤</mo> <mfrac> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo>!</mo> </mrow> <msup> <mi>x</mi> <mi>n</mi> </msup> </mfrac> <mo>+</mo> <mfrac> <mrow> <mi>n</mi> <mo>!</mo> </mrow> <msup> <mi>x</mi> <mrow> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msup> </mfrac> <mo>,</mo> <mspace width="1em" /> <mi>n</mi> <mo>≥</mo> <mn>1</mn> <mo>,</mo> <mspace width="4pt" /> <mi>x</mi> <mo>&gt;</mo> <mn>0</mn> <mo>.</mo> </mrow> </math></EquationSource> </Equation></p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Monotonicity properties of classical functions and their q-analogues

  • M. Bouali

摘要

We prove some new results and unify old ones on the complete monotonicity of functions including the gamma and digamma functions and their q-analogues. All of these results lead to new and interesting inequalities. Of particular interest, we obtain the following results:for all \(q>0\) q > 0 , \(q\neq 1\) q 1 , \(x>0\) x > 0 and \(n\in \mathbb{N}\) n N , we have \(\begin{aligned}\log\big(\frac{1-q^x}{1-q}\big)- \frac14\frac{3q^x+1}{q^x-1}\log q\leq\psi_q(x)\leq\log\big(\frac{1-q^x}{1-q}\big)-\frac{1}2 \frac{q^x}{q^x-1}\log q, \\q^x\big(\frac{\log q}{q^x-1}\big)^nP_{n-2}(q^x)+\frac12q^x\big(\frac{\log q}{q^x-1}\big)^{n+1}P_{n-1}(q^x)\leq(-1)^{n+1}\psi^{(n)}_q(x)\\ \le q^x\big(\frac{\log q}{q^x-1}\big)^nP_{n-2}(q^x)+q^x\big(\frac{\log q}{q^x-1}\big)^{n+1}P_{n-1}(q^x).\end{aligned}\) log ( 1 - q x 1 - q ) - 1 4 3 q x + 1 q x - 1 log q ψ q ( x ) log ( 1 - q x 1 - q ) - 1 2 q x q x - 1 log q , q x ( log q q x - 1 ) n P n - 2 ( q x ) + 1 2 q x ( log q q x - 1 ) n + 1 P n - 1 ( q x ) ( - 1 ) n + 1 ψ q ( n ) ( x ) q x ( log q q x - 1 ) n P n - 2 ( q x ) + q x ( log q q x - 1 ) n + 1 P n - 1 ( q x ) . where \(P_n(x)\) P n ( x ) is some polynomial of degree n to be defined later.

These inequalities are the q-analogues of the classical inequalities \(\frac1{2x}\leq\log x-\psi(x)\leq\frac1{x},\) 1 2 x log x - ψ ( x ) 1 x , and \(\frac{(n-1)!}{x^{n}}+\frac{n!}{2x^{n+1}}\leq (-1)^{n+1}\psi^{(n)}(x)\leq\frac{(n-1)!}{x^{n}}+\frac{n!}{x^{n+1}},\quad n\geq1, \ x>0.\) ( n - 1 ) ! x n + n ! 2 x n + 1 ( - 1 ) n + 1 ψ ( n ) ( x ) ( n - 1 ) ! x n + n ! x n + 1 , n 1 , x > 0 .