<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_768_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="38" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\mathrm{\mathcal {K}}\,}}(r)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mspace width="0.166667em" /> <mi mathvariant="script">K</mi> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mi>r</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> be the complete elliptic integral of the first kind defined on (0,&#xa0;1). This paper deals with the power series of <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_768_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="204" /> </InlineMediaObject> <EquationSource Format="TEX">\(x\mapsto (1-x)^pF(a,b;a+b;x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>↦</mo> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>p</mi> </msup> <mi>F</mi> <mrow> <mo stretchy="false">(</mo> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>;</mo> <mi>a</mi> <mo>+</mo> <mi>b</mi> <mo>;</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> on (0,&#xa0;1), where <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_768_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="111" /> </InlineMediaObject> <EquationSource Format="TEX">\(F(a,b;a+b;x)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo stretchy="false">(</mo> <mi>a</mi> <mo>,</mo> <mi>b</mi> <mo>;</mo> <mi>a</mi> <mo>+</mo> <mi>b</mi> <mo>;</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denotes the zero-balanced hypergeometric function. This result extends the recently obtained absolutely monotonic property of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_768_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="114" /> </InlineMediaObject> <EquationSource Format="TEX">\((1-x)^p{{\,\mathrm{\mathcal {K}}\,}}(\sqrt{x})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo>-</mo> <mi>x</mi> <mo stretchy="false">)</mo> </mrow> <mi>p</mi> </msup> <mrow> <mspace width="0.166667em" /> <mi mathvariant="script">K</mi> <mspace width="0.166667em" /> </mrow> <mrow> <mo stretchy="false">(</mo> <msqrt> <mi>x</mi> </msqrt> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. As a consequence, a rational approximation of zero-balanced hypergeometric function will be established, which is an arbitrary precise approximation near <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13226_2025_768_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="41" /> </InlineMediaObject> <EquationSource Format="TEX">\(x=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On the power series related to zero-balanced hypergeometric function

  • Jiahui Wu,
  • Tiehong Zhao

摘要

Let \({{\,\mathrm{\mathcal {K}}\,}}(r)\) K ( r ) be the complete elliptic integral of the first kind defined on (0, 1). This paper deals with the power series of \(x\mapsto (1-x)^pF(a,b;a+b;x)\) x ( 1 - x ) p F ( a , b ; a + b ; x ) on (0, 1), where \(F(a,b;a+b;x)\) F ( a , b ; a + b ; x ) denotes the zero-balanced hypergeometric function. This result extends the recently obtained absolutely monotonic property of \((1-x)^p{{\,\mathrm{\mathcal {K}}\,}}(\sqrt{x})\) ( 1 - x ) p K ( x ) . As a consequence, a rational approximation of zero-balanced hypergeometric function will be established, which is an arbitrary precise approximation near \(x=0\) x = 0 .