Why are the hypergeometric functions called “hypergeometric”?












4












$begingroup$


I was wondering where the term "hypergeometric" for the hypergeometric function $_2F_1(a, b; c; z)$ comes from. Wikipedia says that the term was coined by J. Wallis, but I couldn't find any (mathematical) reason why these functions are anything like hyper-geometric.



Does anyone know where this comes from?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    mathworld.wolfram.com/HypergeometricFunction.html
    $endgroup$
    – Karn Watcharasupat
    Apr 12 '18 at 8:42






  • 1




    $begingroup$
    see also math.stackexchange.com/q/295258/442
    $endgroup$
    – GEdgar
    Apr 12 '18 at 12:50










  • $begingroup$
    In Graham, Knuth, and Patashnik's Concrete Mathematics they have a comment when introducing the hypergeometric series on the etymology of the name in relation to the geometric series. I do not have the book in front of me right now. Maybe someone else can check.
    $endgroup$
    – KCd
    Apr 12 '18 at 13:21








  • 2




    $begingroup$
    On Page 206 (Second Edition) they write: "... is called hypergeometric series because it includes the geometric series as a very special case."
    $endgroup$
    – p4sch
    Apr 12 '18 at 16:14
















4












$begingroup$


I was wondering where the term "hypergeometric" for the hypergeometric function $_2F_1(a, b; c; z)$ comes from. Wikipedia says that the term was coined by J. Wallis, but I couldn't find any (mathematical) reason why these functions are anything like hyper-geometric.



Does anyone know where this comes from?










share|cite|improve this question











$endgroup$








  • 1




    $begingroup$
    mathworld.wolfram.com/HypergeometricFunction.html
    $endgroup$
    – Karn Watcharasupat
    Apr 12 '18 at 8:42






  • 1




    $begingroup$
    see also math.stackexchange.com/q/295258/442
    $endgroup$
    – GEdgar
    Apr 12 '18 at 12:50










  • $begingroup$
    In Graham, Knuth, and Patashnik's Concrete Mathematics they have a comment when introducing the hypergeometric series on the etymology of the name in relation to the geometric series. I do not have the book in front of me right now. Maybe someone else can check.
    $endgroup$
    – KCd
    Apr 12 '18 at 13:21








  • 2




    $begingroup$
    On Page 206 (Second Edition) they write: "... is called hypergeometric series because it includes the geometric series as a very special case."
    $endgroup$
    – p4sch
    Apr 12 '18 at 16:14














4












4








4


1



$begingroup$


I was wondering where the term "hypergeometric" for the hypergeometric function $_2F_1(a, b; c; z)$ comes from. Wikipedia says that the term was coined by J. Wallis, but I couldn't find any (mathematical) reason why these functions are anything like hyper-geometric.



Does anyone know where this comes from?










share|cite|improve this question











$endgroup$




I was wondering where the term "hypergeometric" for the hypergeometric function $_2F_1(a, b; c; z)$ comes from. Wikipedia says that the term was coined by J. Wallis, but I couldn't find any (mathematical) reason why these functions are anything like hyper-geometric.



Does anyone know where this comes from?







terminology special-functions






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Apr 12 '18 at 12:49









Jack D'Aurizio

291k33284666




291k33284666










asked Apr 12 '18 at 8:24









StevenSteven

2,0081733




2,0081733








  • 1




    $begingroup$
    mathworld.wolfram.com/HypergeometricFunction.html
    $endgroup$
    – Karn Watcharasupat
    Apr 12 '18 at 8:42






  • 1




    $begingroup$
    see also math.stackexchange.com/q/295258/442
    $endgroup$
    – GEdgar
    Apr 12 '18 at 12:50










  • $begingroup$
    In Graham, Knuth, and Patashnik's Concrete Mathematics they have a comment when introducing the hypergeometric series on the etymology of the name in relation to the geometric series. I do not have the book in front of me right now. Maybe someone else can check.
    $endgroup$
    – KCd
    Apr 12 '18 at 13:21








  • 2




    $begingroup$
    On Page 206 (Second Edition) they write: "... is called hypergeometric series because it includes the geometric series as a very special case."
    $endgroup$
    – p4sch
    Apr 12 '18 at 16:14














  • 1




    $begingroup$
    mathworld.wolfram.com/HypergeometricFunction.html
    $endgroup$
    – Karn Watcharasupat
    Apr 12 '18 at 8:42






  • 1




    $begingroup$
    see also math.stackexchange.com/q/295258/442
    $endgroup$
    – GEdgar
    Apr 12 '18 at 12:50










  • $begingroup$
    In Graham, Knuth, and Patashnik's Concrete Mathematics they have a comment when introducing the hypergeometric series on the etymology of the name in relation to the geometric series. I do not have the book in front of me right now. Maybe someone else can check.
    $endgroup$
    – KCd
    Apr 12 '18 at 13:21








  • 2




    $begingroup$
    On Page 206 (Second Edition) they write: "... is called hypergeometric series because it includes the geometric series as a very special case."
    $endgroup$
    – p4sch
    Apr 12 '18 at 16:14








1




1




$begingroup$
mathworld.wolfram.com/HypergeometricFunction.html
$endgroup$
– Karn Watcharasupat
Apr 12 '18 at 8:42




$begingroup$
mathworld.wolfram.com/HypergeometricFunction.html
$endgroup$
– Karn Watcharasupat
Apr 12 '18 at 8:42




1




1




$begingroup$
see also math.stackexchange.com/q/295258/442
$endgroup$
– GEdgar
Apr 12 '18 at 12:50




$begingroup$
see also math.stackexchange.com/q/295258/442
$endgroup$
– GEdgar
Apr 12 '18 at 12:50












$begingroup$
In Graham, Knuth, and Patashnik's Concrete Mathematics they have a comment when introducing the hypergeometric series on the etymology of the name in relation to the geometric series. I do not have the book in front of me right now. Maybe someone else can check.
$endgroup$
– KCd
Apr 12 '18 at 13:21






$begingroup$
In Graham, Knuth, and Patashnik's Concrete Mathematics they have a comment when introducing the hypergeometric series on the etymology of the name in relation to the geometric series. I do not have the book in front of me right now. Maybe someone else can check.
$endgroup$
– KCd
Apr 12 '18 at 13:21






2




2




$begingroup$
On Page 206 (Second Edition) they write: "... is called hypergeometric series because it includes the geometric series as a very special case."
$endgroup$
– p4sch
Apr 12 '18 at 16:14




$begingroup$
On Page 206 (Second Edition) they write: "... is called hypergeometric series because it includes the geometric series as a very special case."
$endgroup$
– p4sch
Apr 12 '18 at 16:14










2 Answers
2






active

oldest

votes


















1












$begingroup$

The probability mass function of the hypergeometric distribution (related to the binomial distribution and the geometric distribution) is given by a ratio of products of binomial coefficients, just like the coefficients of the MacLaurin series of a hypergeometric function. This is my bet on the reason for picking the adjective hypergeometric for describing the $phantom{}_p F_q$ functions.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    It would be nice to know if the downvote is due to the fact that I am wrong, or something else.
    $endgroup$
    – Jack D'Aurizio
    Apr 12 '18 at 12:48










  • $begingroup$
    So the etymology is "geometric sequence" $to$ "geometric distribution" $to$ "hypergeometric distribution" $to$ "hypergeometric function"? I found it slightly disorienting that the answer started in the middle of that chain rather than at one of the ends -- but not so disorienting that I'd downvote.
    $endgroup$
    – Henning Makholm
    Apr 12 '18 at 12:59












  • $begingroup$
    @HenningMakholm: I am not sure that is the historical chain of events, but is sounds likely, doesn't it?
    $endgroup$
    – Jack D'Aurizio
    Apr 12 '18 at 13:16



















1












$begingroup$

This is the reason I believe: a geometric sequence is defined as a sequence where the ratio of two consecutive numbers is a constant
$$
frac{a_{n+1}}{a_n} = x,.
$$

You can generalize this notion by assuming the ratio to be any rational function of $n$ instead
$$
frac{a_{n+1}}{a_n} = frac{P(n)}{Q(n)},.
$$

Any such rational function can be factorized and rewritten as
$$
frac{P(n)}{Q(n)} = frac{(n+a_1)cdots(n+a_p)}{(n+b_1)cdots(n+b_q)(n+1)}x,.
$$

If $Q(n)$ doesn't have an $n+1$ factor we can always say, for example, $a_p=1$, so we don't lose generality. With this parametrization it's easy to check that
$$
sum_{n=0}^infty a_n = {}_pF_q(a_1,ldots, a_p;b_1,ldots, b_q;x),.
$$

Hypergeometric then suggests that this is a generalization of the geometric sequence. More precisely
$$
frac{1}{1-x} = {}_1F_0(1;;x),.
$$



Source: http://mathworld.wolfram.com/HypergeometricFunction.html






share|cite|improve this answer









$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    StackExchange.ready(function() {
    var channelOptions = {
    tags: "".split(" "),
    id: "69"
    };
    initTagRenderer("".split(" "), "".split(" "), channelOptions);

    StackExchange.using("externalEditor", function() {
    // Have to fire editor after snippets, if snippets enabled
    if (StackExchange.settings.snippets.snippetsEnabled) {
    StackExchange.using("snippets", function() {
    createEditor();
    });
    }
    else {
    createEditor();
    }
    });

    function createEditor() {
    StackExchange.prepareEditor({
    heartbeatType: 'answer',
    autoActivateHeartbeat: false,
    convertImagesToLinks: true,
    noModals: true,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    imageUploader: {
    brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
    contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
    allowUrls: true
    },
    noCode: true, onDemand: true,
    discardSelector: ".discard-answer"
    ,immediatelyShowMarkdownHelp:true
    });


    }
    });














    draft saved

    draft discarded


















    StackExchange.ready(
    function () {
    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2733600%2fwhy-are-the-hypergeometric-functions-called-hypergeometric%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    2 Answers
    2






    active

    oldest

    votes








    2 Answers
    2






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    1












    $begingroup$

    The probability mass function of the hypergeometric distribution (related to the binomial distribution and the geometric distribution) is given by a ratio of products of binomial coefficients, just like the coefficients of the MacLaurin series of a hypergeometric function. This is my bet on the reason for picking the adjective hypergeometric for describing the $phantom{}_p F_q$ functions.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      It would be nice to know if the downvote is due to the fact that I am wrong, or something else.
      $endgroup$
      – Jack D'Aurizio
      Apr 12 '18 at 12:48










    • $begingroup$
      So the etymology is "geometric sequence" $to$ "geometric distribution" $to$ "hypergeometric distribution" $to$ "hypergeometric function"? I found it slightly disorienting that the answer started in the middle of that chain rather than at one of the ends -- but not so disorienting that I'd downvote.
      $endgroup$
      – Henning Makholm
      Apr 12 '18 at 12:59












    • $begingroup$
      @HenningMakholm: I am not sure that is the historical chain of events, but is sounds likely, doesn't it?
      $endgroup$
      – Jack D'Aurizio
      Apr 12 '18 at 13:16
















    1












    $begingroup$

    The probability mass function of the hypergeometric distribution (related to the binomial distribution and the geometric distribution) is given by a ratio of products of binomial coefficients, just like the coefficients of the MacLaurin series of a hypergeometric function. This is my bet on the reason for picking the adjective hypergeometric for describing the $phantom{}_p F_q$ functions.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      It would be nice to know if the downvote is due to the fact that I am wrong, or something else.
      $endgroup$
      – Jack D'Aurizio
      Apr 12 '18 at 12:48










    • $begingroup$
      So the etymology is "geometric sequence" $to$ "geometric distribution" $to$ "hypergeometric distribution" $to$ "hypergeometric function"? I found it slightly disorienting that the answer started in the middle of that chain rather than at one of the ends -- but not so disorienting that I'd downvote.
      $endgroup$
      – Henning Makholm
      Apr 12 '18 at 12:59












    • $begingroup$
      @HenningMakholm: I am not sure that is the historical chain of events, but is sounds likely, doesn't it?
      $endgroup$
      – Jack D'Aurizio
      Apr 12 '18 at 13:16














    1












    1








    1





    $begingroup$

    The probability mass function of the hypergeometric distribution (related to the binomial distribution and the geometric distribution) is given by a ratio of products of binomial coefficients, just like the coefficients of the MacLaurin series of a hypergeometric function. This is my bet on the reason for picking the adjective hypergeometric for describing the $phantom{}_p F_q$ functions.






    share|cite|improve this answer









    $endgroup$



    The probability mass function of the hypergeometric distribution (related to the binomial distribution and the geometric distribution) is given by a ratio of products of binomial coefficients, just like the coefficients of the MacLaurin series of a hypergeometric function. This is my bet on the reason for picking the adjective hypergeometric for describing the $phantom{}_p F_q$ functions.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Apr 12 '18 at 10:25









    Jack D'AurizioJack D'Aurizio

    291k33284666




    291k33284666












    • $begingroup$
      It would be nice to know if the downvote is due to the fact that I am wrong, or something else.
      $endgroup$
      – Jack D'Aurizio
      Apr 12 '18 at 12:48










    • $begingroup$
      So the etymology is "geometric sequence" $to$ "geometric distribution" $to$ "hypergeometric distribution" $to$ "hypergeometric function"? I found it slightly disorienting that the answer started in the middle of that chain rather than at one of the ends -- but not so disorienting that I'd downvote.
      $endgroup$
      – Henning Makholm
      Apr 12 '18 at 12:59












    • $begingroup$
      @HenningMakholm: I am not sure that is the historical chain of events, but is sounds likely, doesn't it?
      $endgroup$
      – Jack D'Aurizio
      Apr 12 '18 at 13:16


















    • $begingroup$
      It would be nice to know if the downvote is due to the fact that I am wrong, or something else.
      $endgroup$
      – Jack D'Aurizio
      Apr 12 '18 at 12:48










    • $begingroup$
      So the etymology is "geometric sequence" $to$ "geometric distribution" $to$ "hypergeometric distribution" $to$ "hypergeometric function"? I found it slightly disorienting that the answer started in the middle of that chain rather than at one of the ends -- but not so disorienting that I'd downvote.
      $endgroup$
      – Henning Makholm
      Apr 12 '18 at 12:59












    • $begingroup$
      @HenningMakholm: I am not sure that is the historical chain of events, but is sounds likely, doesn't it?
      $endgroup$
      – Jack D'Aurizio
      Apr 12 '18 at 13:16
















    $begingroup$
    It would be nice to know if the downvote is due to the fact that I am wrong, or something else.
    $endgroup$
    – Jack D'Aurizio
    Apr 12 '18 at 12:48




    $begingroup$
    It would be nice to know if the downvote is due to the fact that I am wrong, or something else.
    $endgroup$
    – Jack D'Aurizio
    Apr 12 '18 at 12:48












    $begingroup$
    So the etymology is "geometric sequence" $to$ "geometric distribution" $to$ "hypergeometric distribution" $to$ "hypergeometric function"? I found it slightly disorienting that the answer started in the middle of that chain rather than at one of the ends -- but not so disorienting that I'd downvote.
    $endgroup$
    – Henning Makholm
    Apr 12 '18 at 12:59






    $begingroup$
    So the etymology is "geometric sequence" $to$ "geometric distribution" $to$ "hypergeometric distribution" $to$ "hypergeometric function"? I found it slightly disorienting that the answer started in the middle of that chain rather than at one of the ends -- but not so disorienting that I'd downvote.
    $endgroup$
    – Henning Makholm
    Apr 12 '18 at 12:59














    $begingroup$
    @HenningMakholm: I am not sure that is the historical chain of events, but is sounds likely, doesn't it?
    $endgroup$
    – Jack D'Aurizio
    Apr 12 '18 at 13:16




    $begingroup$
    @HenningMakholm: I am not sure that is the historical chain of events, but is sounds likely, doesn't it?
    $endgroup$
    – Jack D'Aurizio
    Apr 12 '18 at 13:16











    1












    $begingroup$

    This is the reason I believe: a geometric sequence is defined as a sequence where the ratio of two consecutive numbers is a constant
    $$
    frac{a_{n+1}}{a_n} = x,.
    $$

    You can generalize this notion by assuming the ratio to be any rational function of $n$ instead
    $$
    frac{a_{n+1}}{a_n} = frac{P(n)}{Q(n)},.
    $$

    Any such rational function can be factorized and rewritten as
    $$
    frac{P(n)}{Q(n)} = frac{(n+a_1)cdots(n+a_p)}{(n+b_1)cdots(n+b_q)(n+1)}x,.
    $$

    If $Q(n)$ doesn't have an $n+1$ factor we can always say, for example, $a_p=1$, so we don't lose generality. With this parametrization it's easy to check that
    $$
    sum_{n=0}^infty a_n = {}_pF_q(a_1,ldots, a_p;b_1,ldots, b_q;x),.
    $$

    Hypergeometric then suggests that this is a generalization of the geometric sequence. More precisely
    $$
    frac{1}{1-x} = {}_1F_0(1;;x),.
    $$



    Source: http://mathworld.wolfram.com/HypergeometricFunction.html






    share|cite|improve this answer









    $endgroup$


















      1












      $begingroup$

      This is the reason I believe: a geometric sequence is defined as a sequence where the ratio of two consecutive numbers is a constant
      $$
      frac{a_{n+1}}{a_n} = x,.
      $$

      You can generalize this notion by assuming the ratio to be any rational function of $n$ instead
      $$
      frac{a_{n+1}}{a_n} = frac{P(n)}{Q(n)},.
      $$

      Any such rational function can be factorized and rewritten as
      $$
      frac{P(n)}{Q(n)} = frac{(n+a_1)cdots(n+a_p)}{(n+b_1)cdots(n+b_q)(n+1)}x,.
      $$

      If $Q(n)$ doesn't have an $n+1$ factor we can always say, for example, $a_p=1$, so we don't lose generality. With this parametrization it's easy to check that
      $$
      sum_{n=0}^infty a_n = {}_pF_q(a_1,ldots, a_p;b_1,ldots, b_q;x),.
      $$

      Hypergeometric then suggests that this is a generalization of the geometric sequence. More precisely
      $$
      frac{1}{1-x} = {}_1F_0(1;;x),.
      $$



      Source: http://mathworld.wolfram.com/HypergeometricFunction.html






      share|cite|improve this answer









      $endgroup$
















        1












        1








        1





        $begingroup$

        This is the reason I believe: a geometric sequence is defined as a sequence where the ratio of two consecutive numbers is a constant
        $$
        frac{a_{n+1}}{a_n} = x,.
        $$

        You can generalize this notion by assuming the ratio to be any rational function of $n$ instead
        $$
        frac{a_{n+1}}{a_n} = frac{P(n)}{Q(n)},.
        $$

        Any such rational function can be factorized and rewritten as
        $$
        frac{P(n)}{Q(n)} = frac{(n+a_1)cdots(n+a_p)}{(n+b_1)cdots(n+b_q)(n+1)}x,.
        $$

        If $Q(n)$ doesn't have an $n+1$ factor we can always say, for example, $a_p=1$, so we don't lose generality. With this parametrization it's easy to check that
        $$
        sum_{n=0}^infty a_n = {}_pF_q(a_1,ldots, a_p;b_1,ldots, b_q;x),.
        $$

        Hypergeometric then suggests that this is a generalization of the geometric sequence. More precisely
        $$
        frac{1}{1-x} = {}_1F_0(1;;x),.
        $$



        Source: http://mathworld.wolfram.com/HypergeometricFunction.html






        share|cite|improve this answer









        $endgroup$



        This is the reason I believe: a geometric sequence is defined as a sequence where the ratio of two consecutive numbers is a constant
        $$
        frac{a_{n+1}}{a_n} = x,.
        $$

        You can generalize this notion by assuming the ratio to be any rational function of $n$ instead
        $$
        frac{a_{n+1}}{a_n} = frac{P(n)}{Q(n)},.
        $$

        Any such rational function can be factorized and rewritten as
        $$
        frac{P(n)}{Q(n)} = frac{(n+a_1)cdots(n+a_p)}{(n+b_1)cdots(n+b_q)(n+1)}x,.
        $$

        If $Q(n)$ doesn't have an $n+1$ factor we can always say, for example, $a_p=1$, so we don't lose generality. With this parametrization it's easy to check that
        $$
        sum_{n=0}^infty a_n = {}_pF_q(a_1,ldots, a_p;b_1,ldots, b_q;x),.
        $$

        Hypergeometric then suggests that this is a generalization of the geometric sequence. More precisely
        $$
        frac{1}{1-x} = {}_1F_0(1;;x),.
        $$



        Source: http://mathworld.wolfram.com/HypergeometricFunction.html







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 15 '18 at 22:31









        Mane.andreaMane.andrea

        1265




        1265






























            draft saved

            draft discarded




















































            Thanks for contributing an answer to Mathematics Stack Exchange!


            • Please be sure to answer the question. Provide details and share your research!

            But avoid



            • Asking for help, clarification, or responding to other answers.

            • Making statements based on opinion; back them up with references or personal experience.


            Use MathJax to format equations. MathJax reference.


            To learn more, see our tips on writing great answers.




            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2733600%2fwhy-are-the-hypergeometric-functions-called-hypergeometric%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown





















































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown

































            Required, but never shown














            Required, but never shown












            Required, but never shown







            Required, but never shown







            Popular posts from this blog

            Plaza Victoria

            In PowerPoint, is there a keyboard shortcut for bulleted / numbered list?

            How to put 3 figures in Latex with 2 figures side by side and 1 below these side by side images but in...