<p>The celebrated Clausen’s identity expresses the square of the Gauss hypergeometric series <InlineEquation ID="IEq1"><EquationSource Format="MATHML"><math><mmultiscripts><mi>F</mi><mn>1</mn><none /><mprescripts /><mn>2</mn><none /></mmultiscripts><mo stretchy="false">(</mo><mi>a</mi><mo>,</mo><mi>b</mi><mo>;</mo><mi>a</mi><mo>+</mo><mi>b</mi><mo>+</mo><mn>1</mn><mo stretchy="false">/</mo><mn>2</mn><mo>;</mo><mi>x</mi><mo stretchy="false">)</mo></math></EquationSource><EquationSource Format="TEX">${}_{2}F_{1}(a,b;a+b+1/2;x)$</EquationSource></InlineEquation> as a single hypergeometric <InlineEquation ID="IEq2"><EquationSource Format="MATHML"><math><mmultiscripts><mi>F</mi><mn>2</mn><none /><mprescripts /><mn>3</mn><none /></mmultiscripts></math></EquationSource><EquationSource Format="TEX">${}_{3}F_{2}$</EquationSource></InlineEquation> series. Goursat showed in 1883 that replacing <InlineEquation ID="IEq3"><EquationSource Format="MATHML"><math><mn>1</mn><mo stretchy="false">/</mo><mn>2</mn></math></EquationSource><EquationSource Format="TEX">$1/2$</EquationSource></InlineEquation> by <InlineEquation ID="IEq4"><EquationSource Format="MATHML"><math><mi>m</mi><mo>+</mo><mn>1</mn><mo stretchy="false">/</mo><mn>2</mn></math></EquationSource><EquationSource Format="TEX">$m+1/2$</EquationSource></InlineEquation> leads to a hypergeometric series for the square whenever <i>m</i> is a positive integer. Askey found this series explicitly for <InlineEquation ID="IEq5"><EquationSource Format="MATHML"><math><mi>m</mi><mo>=</mo><mn>1</mn></math></EquationSource><EquationSource Format="TEX">$m=1$</EquationSource></InlineEquation>. The first goal of this paper is to extend this result by treating the case of any natural <i>m</i>. The <InlineEquation ID="IEq6"><EquationSource Format="MATHML"><math><mmultiscripts><mi>F</mi><mn>2</mn><none /><mprescripts /><mn>3</mn><none /></mmultiscripts></math></EquationSource><EquationSource Format="TEX">${}_{3}F_{2}$</EquationSource></InlineEquation> series on the right-hand side is thereby replaced by its perturbation by an explicit characteristic polynomial of degree 2<i>m</i>, i.e., its coefficients are multiplied by values of this polynomial at nonnegative integers. The second goal of this paper is to make one further step and replace the square of the Gauss function by its product with its perturbation by an arbitrary polynomial of degree <InlineEquation ID="IEq7"><EquationSource Format="MATHML"><math><mi>s</mi><mo>≤</mo><mn>2</mn><mi>m</mi><mo>+</mo><mn>1</mn></math></EquationSource><EquationSource Format="TEX">$s\le {2m+1}$</EquationSource></InlineEquation>. We show that such product remains hypergeometric and find its explicit form in terms of a polynomial perturbation of the <InlineEquation ID="IEq8"><EquationSource Format="MATHML"><math><mmultiscripts><mi>F</mi><mn>2</mn><none /><mprescripts /><mn>3</mn><none /></mmultiscripts></math></EquationSource><EquationSource Format="TEX">${}_{3}F_{2}$</EquationSource></InlineEquation> series. We present an explicit formula for the characteristic polynomial whose degree is shown to be <InlineEquation ID="IEq9"><EquationSource Format="MATHML"><math><mn>2</mn><mi>m</mi><mo>+</mo><mi>s</mi></math></EquationSource><EquationSource Format="TEX">$2m+s$</EquationSource></InlineEquation>.</p>

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

On Askey’s extension of Clausen’s identity and its polynomial perturbation

  • Dmitrii Karp,
  • Vinay Shukla

摘要

The celebrated Clausen’s identity expresses the square of the Gauss hypergeometric series F12(a,b;a+b+1/2;x)${}_{2}F_{1}(a,b;a+b+1/2;x)$ as a single hypergeometric F23${}_{3}F_{2}$ series. Goursat showed in 1883 that replacing 1/2$1/2$ by m+1/2$m+1/2$ leads to a hypergeometric series for the square whenever m is a positive integer. Askey found this series explicitly for m=1$m=1$. The first goal of this paper is to extend this result by treating the case of any natural m. The F23${}_{3}F_{2}$ series on the right-hand side is thereby replaced by its perturbation by an explicit characteristic polynomial of degree 2m, i.e., its coefficients are multiplied by values of this polynomial at nonnegative integers. The second goal of this paper is to make one further step and replace the square of the Gauss function by its product with its perturbation by an arbitrary polynomial of degree s2m+1$s\le {2m+1}$. We show that such product remains hypergeometric and find its explicit form in terms of a polynomial perturbation of the F23${}_{3}F_{2}$ series. We present an explicit formula for the characteristic polynomial whose degree is shown to be 2m+s$2m+s$.