Generic-parameter extension of the hypergeometrization change-of-variable formula

Let Hca(x)\mathcal{H}_c^a(x) denote the one-parameter group of functions appearing in the change-of-variable formula, and let

y=Fm(x):=1(1x)m,y=F_m(x):=1-(1-x)^m,

with mZm\in\mathbb{Z}. The formula

Hca(x)=(mxy)1c(1y)1+cam(j=1m(1y)ac1mHc+(j1)acmc+jacm(y))(mxy)a1\mathcal{H}_{c}^{a}(x)= \left( \frac{mx}{y} \right)^{1-c}(1-y)^{1+\frac{c-a}{m}}\left( \prod_{j=1}^{m}(1-y)^{\frac{a-c-1}{m}}\mathcal{H}_{c+(j-1)\frac{a-c}{m}}^{c+j\frac{a-c}{m}}(y) \right)\left( \frac{mx}{y} \right)^{a-1}

Generic-parameter extension conjecture. The formula holds for generic values of a,cCa,c\in\mathbb{C} and all nonzero mZm\in\mathbb{Z}.

The theorem in the paper proves the formula when either m{2,1,1,2}m\in\{-2,-1,1,2\} with arbitrary a,cCa,c\in\mathbb{C}, or when mZ{0}m\in\mathbb{Z}\setminus\{0\} and acZa-c\in\mathbb{Z}. The conjectural extension removes the integer-difference restriction on aa and cc; the source explicitly says that the remaining restrictions reflect only the author's inability to prove the full statement.

Sources & referencesView supporting material

Primary source

Petr Blaschke, “Towards a change of variable formula for "hypergeometrization"”, arXiv:2211.02049 (2022).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.