# Can one represent a generalized hypergeometric function 1F2 as a product of two confluent hypergeometric functions?

I am trying to somewhat simplify a series, whose coefficients feature generalised hypergeometric functions ${}_1F_2(1;a,a+1;z)$. I was unable to find useful functional relations for this specific combination of parameters (I tried the new NIST Handbook, third volume of A.P. Prudnikov, Brychkov & Marychev's "Integrals and Series" and all online sources I could get my hands on).

Interestingly, L.J. Slater mentions on p.47 of her book "Generalized Hypergeometric Functions" that

${}_1F_2(a;b,c;z)$ is the product of two confluent hypergeometric functions

and gives a reference to the paper of F.J.W. Whipple (1927) in J. Lond. Math. Soc., 2, p. 85, which is focussed on relationships between functions ${}_3F_2$ and ${}_4F_3$. I must be missing something here, but I cannot figure out how Whipple's paper supports the Slater's statement. Therefore, my question is

1. Is it really possible to represent generalized hypergeometric functions ${}_1F_2(a;b,c;z)$ with arbitrary (within reason) parameters $a$, $b$ and $c$ as a product of two confluent hypergeometric functions?
2. If yes, could you please point me in a direction of the relevant book/paper/formula/derivation?
• This is a proper link to the mentioned paper: F.J.W. Whipple (1927) "", J. Lond. Math. Soc., **2**(2), pp. 85-90. Commented Jun 3, 2012 at 0:26
• Maple expresses your function in terms of a Lommel S1 function: $${\mbox{_1F_2}(1;\,a,a+1;\,z)}=4\,{\frac {{\it LommelS1} \left( -2+ 2\,a,1,2\,\sqrt {-z} \right) \left( a-1 \right) a}{ \left( 2\,\sqrt { -z} \right) ^{2\,a-1}}}$$ Commented Jun 3, 2012 at 6:26
• @Robert Israel: This is very interesting. Could you please explain how you obtained this identity? I use Maple 13 and have not been able to obtain something this compact directly. Commented Jun 3, 2012 at 8:12
• Just found a formula underlying Robert Israel's result in Watson's "Treatise on the Theory of Bessel functions" (1966), Section 10.7, Equation (10): \begin{align} & s_{\mu,\nu}(z)=\frac{z^{\mu+1}}{(\mu-\nu+1)(\mu+\nu+1)} \\ &\qquad\qquad \times{}_1F_2\left( {\textstyle 1;\frac{1}{2}\mu-\frac{1}{2}\nu+\frac{3}{2},\frac{1}{2}\mu+\frac{1}{2}\nu+\frac{3}{2};-\frac{1}{4}z^2} \right)\,. \end{align} Commented Jun 3, 2012 at 8:47
• In Maple 16: > FunctionAdvisor(specialize, hypergeom([1],[a,a+1],z)); Commented Jun 4, 2012 at 5:42

$\left\{ {}_1\mathcal{F}_1\left(a;2a;x\right)\right\}^2 = e^x {}_1\mathcal{F}_2(a;2a,a+1/2;x^2/4)$