2
$\begingroup$

My question concerns the product of the 2 generalized hypergeometric functions $$_1F_2(a-1/2;a,2a-1;-4x)_1F_2(b-1/2;b,2b-1;-4x) $$ under the conditions that all the values are real and >zero, and a not equal to b. I was wondering if this product can be simplified to another generalized hypergeometric function. I tried the double-summation approach using Bailey's transform (Slater's 1966 book, p. 58-) and managed to reduce the inner, n-summation to a terminating, nearly-poised $$_4F_3(1-a-k,2-2a-k,b-1/2,-k;3/2-a-k,b,2b-1;1)$$ but could go no farther than that, assuming my lengthy derivation is correct. Any ideas? Note that the above function has a positive, +1 argument, and is not Saalschutzian, with which most of the recent research seems to be concerned. Slater has a long list of summation results in Appendix III of her book, but i would say all of them have very restrictive relations between the constants involved. Any help would be deeply appreciated

$\endgroup$
0
$\begingroup$

Probably a stupid question.

Why not to use $$\, _1F_2\left(a-\frac{1}{2};a,2 a-1;-4 x\right)=$$ $$-2 a x^{\frac{1}{2}-a} \Gamma (a)^2 J_a\left(2 \sqrt{x}\right) J_{a+1}\left(2 \sqrt{x}\right)+x^{1-a} \Gamma (a)^2 J_{a+1}\left(2 \sqrt{x}\right){}^2+x^{-a} \Gamma (a+1)^2 J_a\left(2 \sqrt{x}\right){}^2$$

or $$\, _1F_2\left(a-\frac{1}{2};a,2 a-1;-4 x\right) \, _1F_2\left(b-\frac{1}{2};b,2 b-1;-4 x\right)=$$ $$\Gamma (a)^2 \Gamma (b)^2 (a \, _0\tilde{F}_1(;a+1;-x)-x \, _0\tilde{F}_1(;a+2;-x)){}^2 (b \, _0\tilde{F}_1(;b+1;-x)-x \, _0\tilde{F}_1(;b+2;-x)){}^2$$

| cite | improve this answer | |
$\endgroup$
0
$\begingroup$

i know...i am not a very smart guy LOL!

i appreciate the quick answer, and i am familiar with the relation between $ _0F_1 $ and the Bessel function of the 1st kind. This means a lot to me.

but tragically, it's not what i am looking for. I am trying to convert the product of 2 hypergeometric functions (as stated in my question) to a single hypergeometric function - not to a polynomial of another hypergeometric function. The answer posted is even less compact than what i already have, and it is in powers of $ _0F_1 $. I know that $ (_0F_1)^2 $ produces a $ _2F _3 $, which can be simplified to a $ _1F _2 $ depending on the similarity of the parameters. This would bring us back to a polynomial in $ _1F _2 $ or Bessel functions, back to square one. The approach i am trying to follow begins by expressing each hypergeometric function in its infinite sum, resulting in a double sum, followed by Bailey's Transform. This reduces the double sum to a single sum of weighted, terminating $ _4F _3 $ sequence, as stated in the original question. I was wondering if there exists a simplification for the terminating $ _4F _3 $ sequence - because if there is, the sum of the weighted $ _4F _3 $ sequence reduces to a single, compact hypergeometric function - maybe i wasnt clear in the original post, apologies. As an example, Slater (p. 245) states that under certain conditions, a terminating $ _4F _3$ reduces as follows: $$ _4F _3 [a/2, 1/2+a/2,b+k,-k; b/2, b/2+1/2,1+a; 1]= (b-a)_k/(b)_k $$

but is not applicable to my case. Slater's book is almost 55 years old, and i am sure much progress has been made since the publication of her book. Mathematica and Maple were of no help either, assuming i used them correctly. Regardless, i still appreciate the time taken to answer the question - many thanks Claude.

| cite | improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.