Register to reply 
Hypergeometric function 
Share this thread: 
#1
Jan113, 10:50 AM

P: 192

Hypergeometric function is defined by:
[tex]_2F_1(a,b,c,x)=\sum^{\infty}_{n=0}\frac{(a)_n(b)_n}{n!(c)_n}x^n[/tex] where ##(a)_n=a(a+1)...(a+n1)##... I'm confused about this notation in case, for example, ##_2F_1(n,b,b,1x)##. Is that [tex]_2F_1(n,b,b,1x)=\sum^{\infty}_{n=0}\frac{(n)_n}{n!}(1x)^n[/tex] or [tex]_2F_1(n,b,b,1x)=\sum^{\infty}_{k=0}\frac{(n)_k}{k!}(1x)^k[/tex] and how to summate ##_2F_1(n,b,b,1x)##? And one more question. Are the generalised hypergeometric function and confluent hypergeometric function same function? 


#2
Jan213, 03:11 AM

P: 759

Hi !
One must not use the same symbol for two different parameter, index or variable. [tex]_2F_1(a,b,c,x)=\sum^{\infty}_{k=0}\frac{(a)_k(b)_k}{k!(c)_k}x^k[/tex] where ##(a)_k=a(a+1)...(a+k1)## [tex]_2F_1(n,b,b,1x)=\sum^{\infty}_{k=0}\frac{(n)_k}{k!}(1x)^k[/tex] In case of negative parameter (n), the Hypergeometric2F1 function reduces to a Jacobi polynomial. Moreover, with the two other equal parameters (b), it reduces to an even simpler function : [tex]_2F_1(n,b,b,1x)=x^n[/tex] The confluent hypergeometric functions are degenerate hypergeometric functions. Also known as Kummer and Tricomi functions. See Table 9, page 36 in the paper "Safari in the contry of special functions" : http://www.scribd.com/JJacquelin/documents 


#3
Jan313, 01:50 PM

P: 192

Thanks a lot for your answer. One more short question.
"The confluent hypergeometric functions are degenerate hypergeometric functions." Why? I don't see that. Confluent hypergeometric function is ##F(a;b;x)## and hypergeometric function is ##F(a,b;c,x)##. Why ##F(a;b;x)## is called degenerate hypergeometric function? 


#4
Jan313, 03:06 PM

Sci Advisor
HW Helper
P: 11,927

Hypergeometric function
Check out the connection between the two. It involves a limit on one of the parameters.



#5
Jan313, 03:33 PM

P: 759

By the way, the correct name of F(a,b;c,x) is not "hypergeometric function", but is the "Gauss Hypergeometric function" or the "Hypergeometric2F1 function". A name for F(a;b;x) is "Hypergeometric1F1" or a "confluent hypergeometric function". Hypergeometric functions is a more general name for a very large family of functions, including Hypergeometric1F1, Hypergeometric2F1 and many others. This is explained in the paper "Safari in the contry of the special functions", pages 26, 27, 28 with a large number of examples of various hypergeometric functions : http://www.scribd.com/JJacquelin/documents 


#6
Jan613, 03:10 PM

P: 192

Tnx a lot for usefull answer. All hypergeometric function converge for ##x<1##. Right? So for example
[tex]\ln (1+x)=x_2F_1(1,1;2;x)[/tex] This is correct for which ##x##? Only for ##x<1##. Right? I don't understand jet why those functions are so important. Ok for example I want to know Legendre polynomials in term of hypergeometric series. I know that [tex]\frac{1}{\sqrt{12xt+t^2}}=\sum^{\infty}_{k=0}P_k(x)t^k[/tex] What is easiest way to get relationship beetween ##P_n## and some of the family of hypergeometric functions. 


#7
Jan613, 03:57 PM

P: 759

The expression of Legendre Polynomial in term of Hypergeometric function is given p.27 in the paper referenced in my preceeding post.
I don't know if there is an easier way to get relationship between a given function and a particular hypergeometric function than expending the given function into various forms of series and check if the pattern of one of them corresponds to the general pattern of the hypergeometric series. I don't think that a systematic method exists. 


#8
Jan813, 10:37 AM

P: 316




#9
Jan813, 01:43 PM

P: 192

???
I don't understand why. J. Jacquelin I didn't get the answer from reading your text. How you get connection between Legendre polynomial and #_2F_1#? 


#10
Jan813, 04:07 PM

P: 192

#_2F_1(a,b;c;x)# converge for #x<1#. Ok so I know that from this hypergeometric function I could define Legendre polynomials because they are defined for #x<1#. From Safari file
[tex]P_n(x)=_2F_1(n,n+1;1;\frac{1x}{2})[/tex] From this table I see that [tex]T_n(x)=_2F_1(n,n;\frac{1}{2};\frac{1x}{2})[/tex] Laquerre polynomials are defined on the interval #[0,\infty)# so [tex]L_n(x)=_1F_1(1;n;x)[/tex] What that means? That degenerate hypergeometric function converge in the interval #[0,\infty)#? Hermitte polynomials are defined in the interval #(\infty,\infty)#. [tex]H_n(x)=(2x)^n_2F_0(\frac{1n}{2},\frac{n}{2};\_;\frac{1}{x^2})[/tex] Is there some easy way to see in what interval [tex]_p F_q[/tex] converge? 


#11
Jan913, 05:34 AM

P: 759




Register to reply 
Related Discussions  
Hypergeometric function  Introductory Physics Homework  1  
Hypergeometric function  Calculus & Beyond Homework  1  
Hypergeometric Function around z=1/2  Calculus  2  
Hypergeometric function  Calculus & Beyond Homework  0  
Hypergeometric Function  Calculus  5 