<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2024_3245_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>ψ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\psi (x)$</EquationSource> </InlineEquation> denote the digamma function, that is, the logarithmic derivative of the classical Euler gamma function <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2024_3245_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$\Gamma (x)$</EquationSource> </InlineEquation>. In the paper, the authors discover the monotonic properties of the functions <Equation ID="Equa"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2024_3245_Article_Equa.gif" Format="GIF" Height="45" Rendition="HTML" Resolution="72" Type="Linedraw" Width="251" /> </MediaObject> <EquationSource Format="MATHML"><math> <mfrac> <mrow> <msup> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mrow> <mi>x</mi> <msup> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> </msup> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mfrac> <mspace width="1em" /> <mtext>and</mtext> <mspace width="1em" /> <msup> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <msup> <mi>ψ</mi> <mrow> <mo stretchy="false">(</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </msup> <mrow> <mo maxsize="5.2ex" minsize="5.2ex" stretchy="true">(</mo> <mfrac> <mn>1</mn> <mi>x</mi> </mfrac> <mo maxsize="5.2ex" minsize="5.2ex" stretchy="true">)</mo> </mrow> </math></EquationSource> <EquationSource Format="TEX">\( \frac{\psi ^{(n)}(x)}{x\psi ^{(n+1)}(x)} \quad \text{and}\quad \psi ^{(n)}(x) \psi ^{(n)}\biggl(\frac{1}{x}\biggr) \)</EquationSource> </Equation> for <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2024_3245_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="43" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mi>n</mi> <mo>≥</mo> <mn>0</mn> </math></EquationSource> <EquationSource Format="TEX">$n\ge 0$</EquationSource> </InlineEquation> on <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2024_3245_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$(0,\infty )$</EquationSource> </InlineEquation>. With the aid of these monotonic properties, the authors confirm the positivity of the function <Equation ID="Equb"> <MediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2024_3245_Article_Equb.gif" Format="GIF" Height="43" Rendition="HTML" Resolution="72" Type="Linedraw" Width="206" /> </MediaObject> <EquationSource Format="MATHML"><math> <mi>ψ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>x</mi> <msup> <mi>ψ</mi> <mo>′</mo> </msup> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mo>−</mo> <mi>ψ</mi> <mo stretchy="false">(</mo> <mi>x</mi> <mo stretchy="false">)</mo> <mi>ψ</mi> <mrow> <mo maxsize="5.2ex" minsize="5.2ex" stretchy="true">(</mo> <mfrac> <mn>1</mn> <mi>x</mi> </mfrac> <mo maxsize="5.2ex" minsize="5.2ex" stretchy="true">)</mo> </mrow> </math></EquationSource> <EquationSource Format="TEX">\( \psi (x)+x\psi '(x)-\psi (x)\psi \biggl(\frac{1}{x}\biggr) \)</EquationSource> </Equation> on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13660_2024_3245_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="47" /> </InlineMediaObject> <EquationSource Format="MATHML"><math> <mo stretchy="false">(</mo> <mn>0</mn> <mo>,</mo> <mi mathvariant="normal">∞</mi> <mo stretchy="false">)</mo> </math></EquationSource> <EquationSource Format="TEX">$(0,\infty )$</EquationSource> </InlineEquation>. The authors also pose five open problems, generalizing the latter two of the three functions mentioned above and their related conclusions.</p>

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

Monotonicity and positivity of several functions involving ratios and products of polygamma functions

  • Feng Qi,
  • Dongkyu Lim,
  • Kwara Nantomah

摘要

Let ψ ( x ) $\psi (x)$ denote the digamma function, that is, the logarithmic derivative of the classical Euler gamma function Γ ( x ) $\Gamma (x)$ . In the paper, the authors discover the monotonic properties of the functions ψ ( n ) ( x ) x ψ ( n + 1 ) ( x ) and ψ ( n ) ( x ) ψ ( n ) ( 1 x ) \( \frac{\psi ^{(n)}(x)}{x\psi ^{(n+1)}(x)} \quad \text{and}\quad \psi ^{(n)}(x) \psi ^{(n)}\biggl(\frac{1}{x}\biggr) \) for n 0 $n\ge 0$ on ( 0 , ) $(0,\infty )$ . With the aid of these monotonic properties, the authors confirm the positivity of the function ψ ( x ) + x ψ ( x ) ψ ( x ) ψ ( 1 x ) \( \psi (x)+x\psi '(x)-\psi (x)\psi \biggl(\frac{1}{x}\biggr) \) on ( 0 , ) $(0,\infty )$ . The authors also pose five open problems, generalizing the latter two of the three functions mentioned above and their related conclusions.