Results 1 to 4 of 4

Math Help - Hypergeometric function

  1. #1
    Newbie
    Joined
    Feb 2010
    Posts
    3

    Hypergeometric function

    Hello everyone, this is my first post and might be trivial.

    After some calculations, i come up with the following equality:

    2F1(1,1/n,1+1/n,a c)==2F1(1,1/n,1+1/n,b c) (1)

    where, 2F1 is Gauss' hypergeometric function, n,c real positive quantities.

    Obviously, the equality holds when a==b (2). My problem is that i want to show that (2) is not only sufficient but also necessary, i.e. (1) holds only when (2) holds.

    Any ideas?
    TIA
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Banned
    Joined
    Oct 2009
    Posts
    769

    A suggestion

    Try to prove it isn't necessary and derive a contradiction.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor Drexel28's Avatar
    Joined
    Nov 2009
    From
    Berkeley, California
    Posts
    4,563
    Thanks
    21
    Quote Originally Posted by Randomas View Post
    Hello everyone, this is my first post and might be trivial.

    After some calculations, i come up with the following equality:

    2F1(1,1/n,1+1/n,a c)==2F1(1,1/n,1+1/n,b c) (1)

    where, 2F1 is Gauss' hypergeometric function, n,c real positive quantities.

    Obviously, the equality holds when a==b (2). My problem is that i want to show that (2) is not only sufficient but also necessary, i.e. (1) holds only when (2) holds.

    Any ideas?
    TIA
    Some members may be able to help you, but since hypergeometric functions are not super common outside of special function theory, some background would be appreciated.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Newbie
    Joined
    Feb 2010
    Posts
    3
    Ok, we define Gauss' hypergeometric function by an infinite sum as follows:

    = =

    Where (.)n is Pochhammer's symbol. Changing the notation in my example:

    2F1(1,1/m,1+1/m,x*d)==2F1(1,1/m,1+1/m,y*d) (1)

    where m,d positive real quantities. The equality holds when x==y (2)

    I want to show that (2) is a necessary condition.

    Assuming that x<>y, (1) can be written in the form:

    (frac1)*((x-y)d)+(frac2)*((x^2-y^2)*d^2)+(frac3)*...==0 (3)

    It is sufficient to show that (3) cannot hold... Obviously, we can show this if each term is positive (negative), thus the LHS is positive (negative) as an infinite sum of positive (negative) values.

    I think that this is true if we assume (additionally) that |x|<=1,|y|<=1. Am I right? Is there an elegant way to present this?

    TIA
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Hypergeometric probabilities sum to one?
    Posted in the Advanced Statistics Forum
    Replies: 1
    Last Post: January 14th 2012, 07:39 PM
  2. Hypergeometric
    Posted in the Advanced Statistics Forum
    Replies: 4
    Last Post: March 22nd 2011, 01:46 PM
  3. write a serie in form of Hypergeometric function?
    Posted in the Advanced Applied Math Forum
    Replies: 0
    Last Post: November 2nd 2009, 07:50 AM
  4. Hypergeometric Probability
    Posted in the Advanced Statistics Forum
    Replies: 3
    Last Post: September 26th 2006, 08:45 PM
  5. I need help about hypergeometric series
    Posted in the Calculus Forum
    Replies: 6
    Last Post: April 16th 2006, 12:15 PM

Search Tags


/mathhelpforum @mathhelpforum