Resolution of an isolated case of Pfaff hypergeometric transformation and new application of integer sequences

A case of a Pfaff transformation is given by the following: $ \ _2F_1\left(\begin{array}{c} l, m \ 2m \end{array};x\right) = (1-x)^{-l}\ _2F_1\left(\begin{array}{c} l, m \ 2m \end{array}; \frac{x}{x-1}\right) . $ In this paper, when $ m $ is a negative integer, we define the Gaussian hypergeometric series as follows: $ \ _2F_1^*\left(\begin{array}{c} l, m \ 2m \end{array};x\right) = \sum\limits_{k = 0}^{-m}\frac{(l)_k(m)_k}{k!(2m)_k}x^k, $ which is well-defined, as it is a terminating hypergeometric series since the summation is only for $ k = 0, .., -m $; additionally, the fact that $ 2m $ is a negative integer does not make any harm. With this definition, if we take $ m = -1 $ and $ l = 1 $, then the left-hand side is a terminating hypergeometric series equal to $ 1+ \frac{x}{2} $, while the right-hand side is also a terminating hypergeometric series, but has $ 1 $ as the pole of multiplicity $ 2 $ given by $ - \frac{3x-2}{2(x-1)^2} $. More generally, with the definition above, we prove that this case of the Pfaff transformation does not hold for any positive integer $ l $ and for any negative integer $ m $. Additionally, an analysis aims to solve this situation. In fact, we give a new expression $ V^{(l, m)}(x) $ depending on $ l, m $, and $ x $ such that$ (1-x)^{-l}\ _2F_1^*\left(\begin{array}{c} l, m \ 2m \end{array}; \frac{x}{x-1}\right) = \ _2F_1^*\left(\begin{array}{c} l, m \ 2m \end{array};x\right)+V^{(l, m)}(x), $for any positive integer $ l $ and for any negative integer $ m $. As a very interesting consequence we present a corollary from the boundary conditions, thereby providing the following:(1) an expansion of $ x^{2n+1} $ as a sum of two terminating hypergeometric series (with symmetric values) with the coefficients given in the integer sequence $ A046899 $ (these coefficients can be found in Pascal's triangle as an inclined column);(2) an expansion of $ x^{2n+1}(x-2) $ as a sum of two terminating hypergeometric series (with symmetric values) with the coefficients given in the integer sequence $ A033184 $.

Authors

Institutions

Publication Details

Journal
AIMS Mathematics
Published
2025-01-01
DOI
https://doi.org/10.3934/math.2025900
Primary Topic
Polynomial and algebraic computation
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Resolution of an isolated case of Pfaff hypergeometric transformation and new application of integer sequences

Mohamed Jalel ATTIA
AIMS Mathematics
Polynomial and algebraic computation
article

Resolution of an isolated case of Pfaff hypergeometric transformation and new application of integer sequences

Mohamed Jalel ATTIA
article en

Abstract

A case of a Pfaff transformation is given by the following: $ \ _2F_1\left(\begin{array}{c} l, m \ 2m \end{array};x\right) = (1-x)^{-l}\ _2F_1\left(\begin{array}{c} l, m \ 2m \end{array}; \frac{x}{x-1}\right) . $ In this paper, when $ m $ is a negative integer, we define the Gaussian hypergeometric series as follows: $ \ _2F_1^*\left(\begin{array}{c} l, m \ 2m \end{array};x\right) = \sum\limits_{k = 0}^{-m}\frac{(l)_k(m)_k}{k!(2m)_k}x^k, $ which is well-defined, as it is a terminating hypergeometric series since the summation is only for $ k = 0, .., -m $; additionally, the fact that $ 2m $ is a negative integer does not make any harm. With this definition, if we take $ m = -1 $ and $ l = 1 $, then the left-hand side is a terminating hypergeometric series equal to $ 1+ \frac{x}{2} $, while the right-hand side is also a terminating hypergeometric series, but has $ 1 $ as the pole of multiplicity $ 2 $ given by $ - \frac{3x-2}{2(x-1)^2} $. More generally, with the definition above, we prove that this case of the Pfaff transformation does not hold for any positive integer $ l $ and for any negative integer $ m $. Additionally, an analysis aims to solve this situation. In fact, we give a new expression $ V^{(l, m)}(x) $ depending on $ l, m $, and $ x $ such that$ (1-x)^{-l}\ _2F_1^*\left(\begin{array}{c} l, m \ 2m \end{array}; \frac{x}{x-1}\right) = \ _2F_1^*\left(\begin{array}{c} l, m \ 2m \end{array};x\right)+V^{(l, m)}(x), $for any positive integer $ l $ and for any negative integer $ m $. As a very interesting consequence we present a corollary from the boundary conditions, thereby providing the following:(1) an expansion of $ x^{2n+1} $ as a sum of two terminating hypergeometric series (with symmetric values) with the coefficients given in the integer sequence $ A046899 $ (these coefficients can be found in Pascal's triangle as an inclined column);(2) an expansion of $ x^{2n+1}(x-2) $ as a sum of two terminating hypergeometric series (with symmetric values) with the coefficients given in the integer sequence $ A033184 $.

AIMS MathematicsVol. 10(9)
Qassim University (SA)
Openalex Percentile: Top 75%
Polynomial and algebraic computation
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.