Procedimiento para la evaluación de la hipergeométrica serie $_2F_1\left\{\frac{v+2}{2},\frac{v+3}{2};v+1;z\right\}$

Question

Estoy tratando de averiguar el procedimiento para obtener el siguiente de la serie hipergeométrica en una forma más simple, para todos los modelos positivos entero $v$: $$ _2F_1\left\{\frac{v+2}{2},\frac{v+3}{2};v+1;z\right\}$$

Por ejemplo, conectando en Wolfram Alpha da para $v$ = 1, $$\frac{1}{(1-z)^{3/2}}$$ para $v$ = 2, $$\frac{4 (2 \sqrt{1-z} \,(z-1)-3 z+2)}{3 \sqrt{1-z}\, (z-1) z^2}$$ para $v$ = 3, $$-\frac{2 (3 z^2+4 (2 \sqrt{1-z}-3) z-8 \sqrt{1-z}+8)}{(1-z)^{3/2} z^3}$$ y así sucesivamente.

Supongo que una transformación se aplica repetidamente hasta que una nueva forma de la hipergeométrica de la serie se obtiene. Para $v$ = 1, la aplicación de Euler transformación, $$_2F_1 (a,b;c;z) = (1-z)^{c-a-b}{}_2F_1 (c-a, c-b;c ; z)$$ da la forma correcta; sin embargo, no puedo trabajar de lo que se utiliza para $v$ = 2 y superior.

Answer 1

De acuerdo con Mathematica,

$$ _2F_1\left(\frac{v+2}{2},\frac{v+3}{2};v+1;z\right) = \frac{2^v \left(1+\sqrt{1-z}\right)^{v} \left(1+v \sqrt{1-z}\right)}{(1+v) (1-z)^{3/2}}. $$

I would be surprised if this was not known, especially considering how close it is to the known cases $_2F_1(un,un+1/2;2a+1;z)$ and $_2F_1(un,un+1/2;2a;z)$. Indeed, if $b=(v+2)/2$ and $c = (v-1)/2$ then

$$\begin{align} _2F_1\left(\frac{v+2}{2},\frac{v+3}{2};v+1;z\right) &= {}_2F_1\left(b,b+\frac{1}{2};2b-1;z\right) \\ &= (1-z)^{-3/2} {}_2F_1\left(c,c+\frac{1}{2};2c+2;z\right). \end{align}$$

El DLMF da Prudnikov et al. (1990, pp 468-488) como una referencia para las escuelas primarias de representaciones, que me voy a retirar de la biblioteca de la mañana.

---

Edit.

Con un poco de paciencia, Mathematica parece ser capaz de evaluar $$ _2F_1\left(\frac{v+u}{2},\frac{v+u+1}{2};v+1;z\right) $$

for all nonnegative integer $u$ through the use of the integral representation

$$ _2F_1(a,b;c;z) = \frac{\Gamma(c)}{\Gamma(b)\,\Gamma(c-b)} \int_0^1 \frac{t^{b-1} (1-t)^{c-b-1}}{(1-t z)^a}\,dt. $$

For even $u$ we can evaluate it using the code

u=2 n;
a=(v+u)/2;
b=(v+u+1)/2;
c=v+1;
Expand[Integrate[t^(b-1) (1-t)^(c-b-1)/(1-t z)^a,{t,0,1},
    Assumptions->Re[v]>u-1&&Re[z]<=1] 
  Gamma[c]/(Gamma[b] Gamma[c-b])]//FullSimplify

One such example is

$$\begin{align} &_2F_1\left(\frac{v+4}{2},\frac{v+5}{2};v+1;z\right) \\ &\qquad= \frac{2^v v^2 \left(1+\sqrt{1-z}\right)^{-v} \Gamma(v+1) \left(v (1-z)^{3/2}-6 (z-1)\right)}{(1-z)^{7/2} \Gamma(v+4)} \\ &\hspace{2cm} + \frac{2^v \left(1+\sqrt{1-z}\right)^{-v} \Gamma(v+1) \left(6 + 9 z+v \sqrt{1-z} (11+4 z)\right)}{(1-z)^{7/2} \Gamma(v+4)}. \end{align}$$

For odd $u$ we can reduce it back to the even case (sort of) by using the identity

$$\begin{align} &{}_2F_1\left(\frac{v+u}{2},\frac{v+u+1}{2};v+1;z\right) \\ &\qquad = \frac{2 v {}_2F_1\left(\frac{v+u-1}{2},\frac{v+u}{2},v,z\right)-(v-u+1) {}_2F_1\left(\frac{v+u-1}{2},\frac{v+u}{2},v+1,z\right)}{v+u-1}, \end{align}$$

which is courtesy of Mathematica and is probably some combination of Gauss' relations for the contiguous hypergeometric functions.

The code is thus

u=2 n+1;
a=(v+u-1)/2;
b=(v+u)/2;
c1=v;
c2=v+1;
Expand[
  (2 v Integrate[t^(b-1) (1-t)^(c1-b-1)/(1-t z)^a,{t,0,1},
        Assumptions->Re[v]>u+1&&Re[z]<=1] 
      Gamma[c1]/(Gamma[b] Gamma[c1-b])
   -(v-u+1) Integrate[t^(b-1) (1-t)^(c2-b-1)/(1-t z)^a,{t,0,1},
        Assumptions->Re[v]>u-1&&Re[z]<=1] 
      Gamma[c2]/(Gamma[b] Gamma[c2-b]))/(v+u-1)]//FullSimplify

And an example,

$$\begin{align} &{}_2F_1\left(\frac{v+3}{2},\frac{v+4}{2};v+1;z\right) \\ &\qquad = \frac{2^v v \left(1+\sqrt{1-z}\right)^{-v} \Gamma(v+1) \left(3\sqrt{1-z} + v(1-z)\right)}{(1-z)^{5/2} \Gamma(v+3)} \\ &\hspace{2cm} + \frac{2^v \left(1+\sqrt{1-z}\right)^{-v} \Gamma(v+1) \left(2+z\right)}{(1-z)^{5/2} \Gamma(v+3)}. \end{align}$$

Answer 2

Respondiendo a mi propia pregunta con este post:

Tablas de Funciones Hipergeométricas

Hay un enlace a un documento que describe un método para realizar las transformaciones. El método es bastante complicado y no vale la pena reescribir aquí. Al parecer el paquete de python sympy tiene una función "hyperexpand" que puede trabajar.

Actualización:

Gracias de nuevo a Antonio de la pista para empezar de una forma conocida. He trabajado a cabo el proceso: Sustituyendo $a = v/2$ tenemos $$ _2F_1\left\{\frac{v+2}{2},\frac{v+3}{2};v+1;z\right\} = \,_2F_1\left\{a+1,a+\frac{3}{2};2a+1;z\right\} $$ Desde [1], $$ _2F_1\left\{a,a+\frac{1}{2};2a+1;z\right\} = 2^{2a}(1 + \sqrt{1-z})^{-2a} $$ y [2],

$$ _2F_1\{a_1 + 1,a_2;b;z\} = \left(\frac{z}{a_1}\frac{d}{dz} + 1\right) \,_2F_1\{a_1, a_2;b;z\}, $$ $$ _2F_1\{a_1,a_2+1;b;z\} = \left(\frac{z}{a_2}\frac{d}{dz} + 1\right) \,_2F_1\{a_1, a_2;b;z\}, $$

a continuación, $$ _2F_1\left\{a+1,a+\frac{3}{2};2a+1;z\right\} = \left(\frac{z}{a_1}\frac{d}{dz} + 1\right)\left(\frac{z}{a_2}\frac{d}{dz} + 1\right)\left(2^{2a}(1 + \sqrt{1-z})^{-2a}\right).$$

El resto sigue haciendo la diferenciación y substuting espalda $v/2 = a$, y da el mismo resultado, como se describe en Antonio de la respuesta.