Evaluación de $\lim_{\epsilon\to 0^{+}}\ \frac{ _2F_1\left( \tfrac{1}{2} - \nu, \tfrac{1}{2} + \nu; \epsilon; y \right) }{\Gamma(\epsilon)}$

Question

Para $\nu \in \mathbb{C}$ y negativo $y<0$ ¿hay una manera de calcular el límite $$ f(\nu,y) \equiv \lim_{\epsilon \to 0^{+}} \ \frac{ _2F_1\left( \tfrac{1}{2} - \nu, \tfrac{1}{2} + \nu; \epsilon; y \right) }{\Gamma(\epsilon)} $$ en términos de funciones especiales más simples (idealmente no hipergeométricas...)? Hasta ahora, pensé en escribir esto en términos de la serie $$ f(\nu,y) \ = \ \sum_{n=0}^\infty \frac{\Gamma(\frac{1}{2} - \nu + n )\Gamma(\frac{1}{2} + \nu + n )}{(n-1)! n!} \ y^n $$ Creo que esta serie converge al menos para $-1 < y < 0$ pero también me interesan los valores de $y \leq -1$ .

(EDIT: Sé que $_2F_1(a,b;c;z)$ tiene polos en $c=0,-1,-2,\ldots$ Esto hace que sea difícil aprender algo sobre este límite usando Mathematica)

Answer 1

Podemos expresar \begin{equation} _2F_1\left( \tfrac{1}{2} - \nu, \tfrac{1}{2} + \nu; \epsilon; y \right) =\frac{\Gamma\left(\epsilon\right)}{\Gamma\left(\tfrac{1}{2} - \nu\right)\Gamma% \left(\tfrac{1}{2} + \nu\right)}\sum_{s=0}^{\infty}\frac{\Gamma\left(\tfrac{1}{2} - \nu+s\right)\Gamma\left(\tfrac{1}{2} + \nu+s% \right)}{\Gamma\left(\epsilon+s\right)s!}y^{s} \end{equation} y así, \begin{align} \lim_{\epsilon \to 0^{+}} \ \frac{ _2F_1\left( \tfrac{1}{2} - \nu, \tfrac{1}{2} + \nu; \epsilon; y \right) }{\Gamma(\epsilon)}&=\frac{1}{\Gamma\left(\tfrac{1}{2} - \nu\right)\Gamma% \left(\tfrac{1}{2} + \nu\right)}\sum_{s=1}^{\infty}\frac{\Gamma\left(\tfrac{1}{2} - \nu+s\right)\Gamma\left(\tfrac{1}{2} + \nu+s% \right)}{\Gamma\left(s\right)s!}y^{s}\\ &=\frac{y}{\Gamma\left(\tfrac{1}{2} - \nu\right)\Gamma% \left(\tfrac{1}{2} + \nu\right)}\sum_{t=0}^{\infty}\frac{\Gamma\left(\tfrac{3}{2} - \nu+t\right)\Gamma\left(\tfrac{3}{2} + \nu+s% \right)}{\Gamma\left(t+2\right)t!}y^{t}\\ &=\frac{y\Gamma\left(\tfrac{3}{2} - \nu\right)\Gamma% \left(\tfrac{3}{2} + \nu\right)}{\Gamma(2)\Gamma\left(\tfrac{1}{2} - \nu\right)\Gamma% \left(\tfrac{1}{2} + \nu\right)} \,_2F_1\left(\tfrac{3}{2} - \nu,\tfrac{3}{2} +\nu;2;y \right)\\ &=y\left( \frac{1}{4}-\nu^2 \right)\,_2F_1\left(\tfrac{3}{2} - \nu,\tfrac{3}{2} +\nu;2;y \right) \end{align} Desde esta representación de la función de Legendre asociada \begin{equation} _2F_1\left(a,b;\tfrac{1}{2}(a+b+1);z\right)=\left(-z(1-z)\right)^{% \frac{(1-a-b)}{4}}\,P^{(1-a-b)/2}_{(a-b-1)/2}\left(1-2z\right) \end{equation} con $a=3/2+\nu,b=3/2-\nu$ podemos expresar \begin{equation} f(\nu,y)=\left( \frac{1}{4}-\nu^2 \right)\sqrt{\frac{-y}{1-y}}P^{-1}_{\nu-1/2}\left( 1-2y \right) \end{equation} donde $1-2y>0$ .