Solve the recurrence relation $n(n-1)a_n - (n-2)^2a_{n-2}= 0$, $a_0=0$, $a_1=1$












0















Solve the recurrence relation $$n(n-1)a_n - (n-2)^2a_{n-2}= 0,$$ where $a_0=0$, $a_1=1$.




I think I might need to use generating functions, but I'm still not sure how to get started with this problem. Typing this into software came back as no solution for some reason.










share|cite|improve this question
























  • Are you sure about the definition of the $a_n$'s? With that definition, it is trivial that $a_n=0$ when $n$ is even.
    – José Carlos Santos
    Nov 24 at 21:05










  • @JoséCarlosSantos Yes, that is what I was given.
    – cosmicbrownie
    Nov 24 at 21:16
















0















Solve the recurrence relation $$n(n-1)a_n - (n-2)^2a_{n-2}= 0,$$ where $a_0=0$, $a_1=1$.




I think I might need to use generating functions, but I'm still not sure how to get started with this problem. Typing this into software came back as no solution for some reason.










share|cite|improve this question
























  • Are you sure about the definition of the $a_n$'s? With that definition, it is trivial that $a_n=0$ when $n$ is even.
    – José Carlos Santos
    Nov 24 at 21:05










  • @JoséCarlosSantos Yes, that is what I was given.
    – cosmicbrownie
    Nov 24 at 21:16














0












0








0








Solve the recurrence relation $$n(n-1)a_n - (n-2)^2a_{n-2}= 0,$$ where $a_0=0$, $a_1=1$.




I think I might need to use generating functions, but I'm still not sure how to get started with this problem. Typing this into software came back as no solution for some reason.










share|cite|improve this question
















Solve the recurrence relation $$n(n-1)a_n - (n-2)^2a_{n-2}= 0,$$ where $a_0=0$, $a_1=1$.




I think I might need to use generating functions, but I'm still not sure how to get started with this problem. Typing this into software came back as no solution for some reason.







sequences-and-series combinatorics discrete-mathematics recurrence-relations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 24 at 21:17









greedoid

37.2k114794




37.2k114794










asked Nov 24 at 21:00









cosmicbrownie

1016




1016












  • Are you sure about the definition of the $a_n$'s? With that definition, it is trivial that $a_n=0$ when $n$ is even.
    – José Carlos Santos
    Nov 24 at 21:05










  • @JoséCarlosSantos Yes, that is what I was given.
    – cosmicbrownie
    Nov 24 at 21:16


















  • Are you sure about the definition of the $a_n$'s? With that definition, it is trivial that $a_n=0$ when $n$ is even.
    – José Carlos Santos
    Nov 24 at 21:05










  • @JoséCarlosSantos Yes, that is what I was given.
    – cosmicbrownie
    Nov 24 at 21:16
















Are you sure about the definition of the $a_n$'s? With that definition, it is trivial that $a_n=0$ when $n$ is even.
– José Carlos Santos
Nov 24 at 21:05




Are you sure about the definition of the $a_n$'s? With that definition, it is trivial that $a_n=0$ when $n$ is even.
– José Carlos Santos
Nov 24 at 21:05












@JoséCarlosSantos Yes, that is what I was given.
– cosmicbrownie
Nov 24 at 21:16




@JoséCarlosSantos Yes, that is what I was given.
– cosmicbrownie
Nov 24 at 21:16










2 Answers
2






active

oldest

votes


















2














As José said for $n$ even $a_n=0$. Now for $n$ odd it is easy to show (say with inudction) that $$a_n = {1cdot 3^2cdot 5^2cdot...cdot (n-2)^2over n!}$$ or
$$a_n = {((n-2)!!)^2over n!}$$



You may find this formula by calculating the values of $a_n$ for small $n$ and then prove it (as I said by induction).






share|cite|improve this answer































    0














    $a_n=frac{(n-2)^2a_{n-2}}{n(n-1)}, ngeq2; a_0=0, a_1=1$



    Clearly, all the even-index terms of the recurrence are $0$.
    For the odd-index terms, you could do this:



    $a_3=frac{1^2a_1}{2cdot3}\
    a_5=frac{3^2a_3}{4cdot5}\
    a_7=frac{5^2a_5}{6cdot7}\
    cdot\
    cdot\
    cdot\
    a_{2n+1}=frac{(2n-1)^2a_{2n-1}}{(2n)cdot(2n+1)}, ngeq1\
    $



    Multiplying all the terms
    $thinspacethinspace
    implies a_3cdot a_5cdot a_7 cdot cdot cdot a_{2n+1}=frac{1^2cdot3^2cdot5^2cdotcdotcdot(2n-1)^2}{(2n+1)!}a_1cdot a_3cdot a_5cdotcdotcdot a_{2n-1}\
    implies a_{2n+1}=frac{(1cdot3cdot5cdotcdotcdot(2n-1))^2}{(2n+1)!}a_1\
    implies a_{2n+1}=frac{(2n-1)!^2}{2^{2n-2} (n-1)!^2 (2n+1)!}\
    implies a_{2n+1}=frac{(2n)!}{2^{2n} (2n+1) n!^2}; ngeq1
    $






    share|cite|improve this answer























      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%2f3012073%2fsolve-the-recurrence-relation-nn-1a-n-n-22a-n-2-0-a-0-0-a-1-1%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









      2














      As José said for $n$ even $a_n=0$. Now for $n$ odd it is easy to show (say with inudction) that $$a_n = {1cdot 3^2cdot 5^2cdot...cdot (n-2)^2over n!}$$ or
      $$a_n = {((n-2)!!)^2over n!}$$



      You may find this formula by calculating the values of $a_n$ for small $n$ and then prove it (as I said by induction).






      share|cite|improve this answer




























        2














        As José said for $n$ even $a_n=0$. Now for $n$ odd it is easy to show (say with inudction) that $$a_n = {1cdot 3^2cdot 5^2cdot...cdot (n-2)^2over n!}$$ or
        $$a_n = {((n-2)!!)^2over n!}$$



        You may find this formula by calculating the values of $a_n$ for small $n$ and then prove it (as I said by induction).






        share|cite|improve this answer


























          2












          2








          2






          As José said for $n$ even $a_n=0$. Now for $n$ odd it is easy to show (say with inudction) that $$a_n = {1cdot 3^2cdot 5^2cdot...cdot (n-2)^2over n!}$$ or
          $$a_n = {((n-2)!!)^2over n!}$$



          You may find this formula by calculating the values of $a_n$ for small $n$ and then prove it (as I said by induction).






          share|cite|improve this answer














          As José said for $n$ even $a_n=0$. Now for $n$ odd it is easy to show (say with inudction) that $$a_n = {1cdot 3^2cdot 5^2cdot...cdot (n-2)^2over n!}$$ or
          $$a_n = {((n-2)!!)^2over n!}$$



          You may find this formula by calculating the values of $a_n$ for small $n$ and then prove it (as I said by induction).







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Nov 24 at 21:19

























          answered Nov 24 at 21:12









          greedoid

          37.2k114794




          37.2k114794























              0














              $a_n=frac{(n-2)^2a_{n-2}}{n(n-1)}, ngeq2; a_0=0, a_1=1$



              Clearly, all the even-index terms of the recurrence are $0$.
              For the odd-index terms, you could do this:



              $a_3=frac{1^2a_1}{2cdot3}\
              a_5=frac{3^2a_3}{4cdot5}\
              a_7=frac{5^2a_5}{6cdot7}\
              cdot\
              cdot\
              cdot\
              a_{2n+1}=frac{(2n-1)^2a_{2n-1}}{(2n)cdot(2n+1)}, ngeq1\
              $



              Multiplying all the terms
              $thinspacethinspace
              implies a_3cdot a_5cdot a_7 cdot cdot cdot a_{2n+1}=frac{1^2cdot3^2cdot5^2cdotcdotcdot(2n-1)^2}{(2n+1)!}a_1cdot a_3cdot a_5cdotcdotcdot a_{2n-1}\
              implies a_{2n+1}=frac{(1cdot3cdot5cdotcdotcdot(2n-1))^2}{(2n+1)!}a_1\
              implies a_{2n+1}=frac{(2n-1)!^2}{2^{2n-2} (n-1)!^2 (2n+1)!}\
              implies a_{2n+1}=frac{(2n)!}{2^{2n} (2n+1) n!^2}; ngeq1
              $






              share|cite|improve this answer




























                0














                $a_n=frac{(n-2)^2a_{n-2}}{n(n-1)}, ngeq2; a_0=0, a_1=1$



                Clearly, all the even-index terms of the recurrence are $0$.
                For the odd-index terms, you could do this:



                $a_3=frac{1^2a_1}{2cdot3}\
                a_5=frac{3^2a_3}{4cdot5}\
                a_7=frac{5^2a_5}{6cdot7}\
                cdot\
                cdot\
                cdot\
                a_{2n+1}=frac{(2n-1)^2a_{2n-1}}{(2n)cdot(2n+1)}, ngeq1\
                $



                Multiplying all the terms
                $thinspacethinspace
                implies a_3cdot a_5cdot a_7 cdot cdot cdot a_{2n+1}=frac{1^2cdot3^2cdot5^2cdotcdotcdot(2n-1)^2}{(2n+1)!}a_1cdot a_3cdot a_5cdotcdotcdot a_{2n-1}\
                implies a_{2n+1}=frac{(1cdot3cdot5cdotcdotcdot(2n-1))^2}{(2n+1)!}a_1\
                implies a_{2n+1}=frac{(2n-1)!^2}{2^{2n-2} (n-1)!^2 (2n+1)!}\
                implies a_{2n+1}=frac{(2n)!}{2^{2n} (2n+1) n!^2}; ngeq1
                $






                share|cite|improve this answer


























                  0












                  0








                  0






                  $a_n=frac{(n-2)^2a_{n-2}}{n(n-1)}, ngeq2; a_0=0, a_1=1$



                  Clearly, all the even-index terms of the recurrence are $0$.
                  For the odd-index terms, you could do this:



                  $a_3=frac{1^2a_1}{2cdot3}\
                  a_5=frac{3^2a_3}{4cdot5}\
                  a_7=frac{5^2a_5}{6cdot7}\
                  cdot\
                  cdot\
                  cdot\
                  a_{2n+1}=frac{(2n-1)^2a_{2n-1}}{(2n)cdot(2n+1)}, ngeq1\
                  $



                  Multiplying all the terms
                  $thinspacethinspace
                  implies a_3cdot a_5cdot a_7 cdot cdot cdot a_{2n+1}=frac{1^2cdot3^2cdot5^2cdotcdotcdot(2n-1)^2}{(2n+1)!}a_1cdot a_3cdot a_5cdotcdotcdot a_{2n-1}\
                  implies a_{2n+1}=frac{(1cdot3cdot5cdotcdotcdot(2n-1))^2}{(2n+1)!}a_1\
                  implies a_{2n+1}=frac{(2n-1)!^2}{2^{2n-2} (n-1)!^2 (2n+1)!}\
                  implies a_{2n+1}=frac{(2n)!}{2^{2n} (2n+1) n!^2}; ngeq1
                  $






                  share|cite|improve this answer














                  $a_n=frac{(n-2)^2a_{n-2}}{n(n-1)}, ngeq2; a_0=0, a_1=1$



                  Clearly, all the even-index terms of the recurrence are $0$.
                  For the odd-index terms, you could do this:



                  $a_3=frac{1^2a_1}{2cdot3}\
                  a_5=frac{3^2a_3}{4cdot5}\
                  a_7=frac{5^2a_5}{6cdot7}\
                  cdot\
                  cdot\
                  cdot\
                  a_{2n+1}=frac{(2n-1)^2a_{2n-1}}{(2n)cdot(2n+1)}, ngeq1\
                  $



                  Multiplying all the terms
                  $thinspacethinspace
                  implies a_3cdot a_5cdot a_7 cdot cdot cdot a_{2n+1}=frac{1^2cdot3^2cdot5^2cdotcdotcdot(2n-1)^2}{(2n+1)!}a_1cdot a_3cdot a_5cdotcdotcdot a_{2n-1}\
                  implies a_{2n+1}=frac{(1cdot3cdot5cdotcdotcdot(2n-1))^2}{(2n+1)!}a_1\
                  implies a_{2n+1}=frac{(2n-1)!^2}{2^{2n-2} (n-1)!^2 (2n+1)!}\
                  implies a_{2n+1}=frac{(2n)!}{2^{2n} (2n+1) n!^2}; ngeq1
                  $







                  share|cite|improve this answer














                  share|cite|improve this answer



                  share|cite|improve this answer








                  edited Nov 24 at 21:44

























                  answered Nov 24 at 21:31









                  Shubham Johri

                  3,273615




                  3,273615






























                      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.





                      Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


                      Please pay close attention to the following guidance:


                      • 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.


                      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%2f3012073%2fsolve-the-recurrence-relation-nn-1a-n-n-22a-n-2-0-a-0-0-a-1-1%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

                      How do I know what Microsoft account the skydrive app is syncing to?

                      When does type information flow backwards in C++?

                      Grease: Live!