Simplify recurrence relation made of 3 series












0












$begingroup$


Whats the best way to approach simplifying these three dependent relations:



$a_n = b_n + 2c_n$



$b_n = 2c_{n-1} $



$c_n = 2c_{n-1} + 2b_{n-1}$



(where $a_1=5, a_2=16$)



I tried to plug $b_n$ to $c_n$, and then simplifying $a_n$, but got stuck in the process. I know that the solution should be: $a_n = 2a_{n-1} + 4a_{n-2}$










share|cite|improve this question









$endgroup$

















    0












    $begingroup$


    Whats the best way to approach simplifying these three dependent relations:



    $a_n = b_n + 2c_n$



    $b_n = 2c_{n-1} $



    $c_n = 2c_{n-1} + 2b_{n-1}$



    (where $a_1=5, a_2=16$)



    I tried to plug $b_n$ to $c_n$, and then simplifying $a_n$, but got stuck in the process. I know that the solution should be: $a_n = 2a_{n-1} + 4a_{n-2}$










    share|cite|improve this question









    $endgroup$















      0












      0








      0





      $begingroup$


      Whats the best way to approach simplifying these three dependent relations:



      $a_n = b_n + 2c_n$



      $b_n = 2c_{n-1} $



      $c_n = 2c_{n-1} + 2b_{n-1}$



      (where $a_1=5, a_2=16$)



      I tried to plug $b_n$ to $c_n$, and then simplifying $a_n$, but got stuck in the process. I know that the solution should be: $a_n = 2a_{n-1} + 4a_{n-2}$










      share|cite|improve this question









      $endgroup$




      Whats the best way to approach simplifying these three dependent relations:



      $a_n = b_n + 2c_n$



      $b_n = 2c_{n-1} $



      $c_n = 2c_{n-1} + 2b_{n-1}$



      (where $a_1=5, a_2=16$)



      I tried to plug $b_n$ to $c_n$, and then simplifying $a_n$, but got stuck in the process. I know that the solution should be: $a_n = 2a_{n-1} + 4a_{n-2}$







      recurrence-relations






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked Feb 2 at 20:08









      BBLNBBLN

      1194




      1194






















          2 Answers
          2






          active

          oldest

          votes


















          0












          $begingroup$

          if you take
          $$Y_n =
          left(
          begin{array}{c}
          b_n \
          c_n
          end{array}
          right)
          $$

          then
          $$ Y_n = M Y_{n-1}, $$
          where
          $$M =
          left(
          begin{array}{cc}
          0&2 \
          2&2
          end{array}
          right)
          $$

          I prefer writing
          $$ Y_{n+1} = M Y_{n}. $$
          From the trace $2$ and determinant $-4,$ we find $M^2 - 2M-4I = 0,$ or
          $M^2 = 2M + 4I.$ This is Cayley-Hamilton. We point out that
          $$ Y_{n+2} = M^2 Y_{n}. $$ So
          $$ Y_{n+2} = M^2 Y_{n} = (2M+4I)Y_n = 2MY_n + 4 Y_n = 2 Y_{n+1} + 4 Y_n. $$
          Or
          $$ Y_{n+2} = 2 Y_{n+1} + 4 Y_n. $$
          Therefore
          $$ b_{n+2} = 2 b_{n+1} + 4 b_n $$ and
          $$ c_{n+2} = 2 c_{n+1} + 4 c_n. $$



          What does this say about $a_n ; ?$






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            This is introduction class so I'm afraid I cant understand this solution yet :)
            $endgroup$
            – BBLN
            Feb 2 at 20:40



















          0












          $begingroup$

          The first equation gives
          begin{align}
          a_n & = b_n+2c_n\
          -2a_{n-1} & = -2b_{n-1}-4c_{n-1}\
          -4a_{n-2} & = -4b_{n-2}-8c_{n-2}.
          end{align}

          Now the last two equations give $c_n=2c_{n-1}+4c_{n-2}$, by replacing $b_{n-1}$ in the last equation by using the second equation. Similarly we obtain $b_n=2b_{n-1}+4b_{n-2}$. Now summing up the three equations give the claim.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            I see that this solution is right, but how would you start without knowing/guessing the simplified form? Whats the best way to approach this without knowing how many elements there would be in the final form
            $endgroup$
            – BBLN
            Feb 2 at 20:43










          • $begingroup$
            The best way would be to start with two equations only, say the last two ones: We have $c_n=2c_{n-1}+2b_{n-1}$. Oh, let's get rid of the $2b_{n-1}$. By the second equation we can replace it by $4c_{n-2}$. We get $c_n=2c_{n-1}+4c_{n-2}$. This is already the "simplified" form. Now we just need to see how this also works for the $b$ and $a$ sequence.
            $endgroup$
            – Dietrich Burde
            Feb 2 at 20:45














          Your Answer








          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%2f3097739%2fsimplify-recurrence-relation-made-of-3-series%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









          0












          $begingroup$

          if you take
          $$Y_n =
          left(
          begin{array}{c}
          b_n \
          c_n
          end{array}
          right)
          $$

          then
          $$ Y_n = M Y_{n-1}, $$
          where
          $$M =
          left(
          begin{array}{cc}
          0&2 \
          2&2
          end{array}
          right)
          $$

          I prefer writing
          $$ Y_{n+1} = M Y_{n}. $$
          From the trace $2$ and determinant $-4,$ we find $M^2 - 2M-4I = 0,$ or
          $M^2 = 2M + 4I.$ This is Cayley-Hamilton. We point out that
          $$ Y_{n+2} = M^2 Y_{n}. $$ So
          $$ Y_{n+2} = M^2 Y_{n} = (2M+4I)Y_n = 2MY_n + 4 Y_n = 2 Y_{n+1} + 4 Y_n. $$
          Or
          $$ Y_{n+2} = 2 Y_{n+1} + 4 Y_n. $$
          Therefore
          $$ b_{n+2} = 2 b_{n+1} + 4 b_n $$ and
          $$ c_{n+2} = 2 c_{n+1} + 4 c_n. $$



          What does this say about $a_n ; ?$






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            This is introduction class so I'm afraid I cant understand this solution yet :)
            $endgroup$
            – BBLN
            Feb 2 at 20:40
















          0












          $begingroup$

          if you take
          $$Y_n =
          left(
          begin{array}{c}
          b_n \
          c_n
          end{array}
          right)
          $$

          then
          $$ Y_n = M Y_{n-1}, $$
          where
          $$M =
          left(
          begin{array}{cc}
          0&2 \
          2&2
          end{array}
          right)
          $$

          I prefer writing
          $$ Y_{n+1} = M Y_{n}. $$
          From the trace $2$ and determinant $-4,$ we find $M^2 - 2M-4I = 0,$ or
          $M^2 = 2M + 4I.$ This is Cayley-Hamilton. We point out that
          $$ Y_{n+2} = M^2 Y_{n}. $$ So
          $$ Y_{n+2} = M^2 Y_{n} = (2M+4I)Y_n = 2MY_n + 4 Y_n = 2 Y_{n+1} + 4 Y_n. $$
          Or
          $$ Y_{n+2} = 2 Y_{n+1} + 4 Y_n. $$
          Therefore
          $$ b_{n+2} = 2 b_{n+1} + 4 b_n $$ and
          $$ c_{n+2} = 2 c_{n+1} + 4 c_n. $$



          What does this say about $a_n ; ?$






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            This is introduction class so I'm afraid I cant understand this solution yet :)
            $endgroup$
            – BBLN
            Feb 2 at 20:40














          0












          0








          0





          $begingroup$

          if you take
          $$Y_n =
          left(
          begin{array}{c}
          b_n \
          c_n
          end{array}
          right)
          $$

          then
          $$ Y_n = M Y_{n-1}, $$
          where
          $$M =
          left(
          begin{array}{cc}
          0&2 \
          2&2
          end{array}
          right)
          $$

          I prefer writing
          $$ Y_{n+1} = M Y_{n}. $$
          From the trace $2$ and determinant $-4,$ we find $M^2 - 2M-4I = 0,$ or
          $M^2 = 2M + 4I.$ This is Cayley-Hamilton. We point out that
          $$ Y_{n+2} = M^2 Y_{n}. $$ So
          $$ Y_{n+2} = M^2 Y_{n} = (2M+4I)Y_n = 2MY_n + 4 Y_n = 2 Y_{n+1} + 4 Y_n. $$
          Or
          $$ Y_{n+2} = 2 Y_{n+1} + 4 Y_n. $$
          Therefore
          $$ b_{n+2} = 2 b_{n+1} + 4 b_n $$ and
          $$ c_{n+2} = 2 c_{n+1} + 4 c_n. $$



          What does this say about $a_n ; ?$






          share|cite|improve this answer









          $endgroup$



          if you take
          $$Y_n =
          left(
          begin{array}{c}
          b_n \
          c_n
          end{array}
          right)
          $$

          then
          $$ Y_n = M Y_{n-1}, $$
          where
          $$M =
          left(
          begin{array}{cc}
          0&2 \
          2&2
          end{array}
          right)
          $$

          I prefer writing
          $$ Y_{n+1} = M Y_{n}. $$
          From the trace $2$ and determinant $-4,$ we find $M^2 - 2M-4I = 0,$ or
          $M^2 = 2M + 4I.$ This is Cayley-Hamilton. We point out that
          $$ Y_{n+2} = M^2 Y_{n}. $$ So
          $$ Y_{n+2} = M^2 Y_{n} = (2M+4I)Y_n = 2MY_n + 4 Y_n = 2 Y_{n+1} + 4 Y_n. $$
          Or
          $$ Y_{n+2} = 2 Y_{n+1} + 4 Y_n. $$
          Therefore
          $$ b_{n+2} = 2 b_{n+1} + 4 b_n $$ and
          $$ c_{n+2} = 2 c_{n+1} + 4 c_n. $$



          What does this say about $a_n ; ?$







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Feb 2 at 20:26









          Will JagyWill Jagy

          104k5103202




          104k5103202












          • $begingroup$
            This is introduction class so I'm afraid I cant understand this solution yet :)
            $endgroup$
            – BBLN
            Feb 2 at 20:40


















          • $begingroup$
            This is introduction class so I'm afraid I cant understand this solution yet :)
            $endgroup$
            – BBLN
            Feb 2 at 20:40
















          $begingroup$
          This is introduction class so I'm afraid I cant understand this solution yet :)
          $endgroup$
          – BBLN
          Feb 2 at 20:40




          $begingroup$
          This is introduction class so I'm afraid I cant understand this solution yet :)
          $endgroup$
          – BBLN
          Feb 2 at 20:40











          0












          $begingroup$

          The first equation gives
          begin{align}
          a_n & = b_n+2c_n\
          -2a_{n-1} & = -2b_{n-1}-4c_{n-1}\
          -4a_{n-2} & = -4b_{n-2}-8c_{n-2}.
          end{align}

          Now the last two equations give $c_n=2c_{n-1}+4c_{n-2}$, by replacing $b_{n-1}$ in the last equation by using the second equation. Similarly we obtain $b_n=2b_{n-1}+4b_{n-2}$. Now summing up the three equations give the claim.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            I see that this solution is right, but how would you start without knowing/guessing the simplified form? Whats the best way to approach this without knowing how many elements there would be in the final form
            $endgroup$
            – BBLN
            Feb 2 at 20:43










          • $begingroup$
            The best way would be to start with two equations only, say the last two ones: We have $c_n=2c_{n-1}+2b_{n-1}$. Oh, let's get rid of the $2b_{n-1}$. By the second equation we can replace it by $4c_{n-2}$. We get $c_n=2c_{n-1}+4c_{n-2}$. This is already the "simplified" form. Now we just need to see how this also works for the $b$ and $a$ sequence.
            $endgroup$
            – Dietrich Burde
            Feb 2 at 20:45


















          0












          $begingroup$

          The first equation gives
          begin{align}
          a_n & = b_n+2c_n\
          -2a_{n-1} & = -2b_{n-1}-4c_{n-1}\
          -4a_{n-2} & = -4b_{n-2}-8c_{n-2}.
          end{align}

          Now the last two equations give $c_n=2c_{n-1}+4c_{n-2}$, by replacing $b_{n-1}$ in the last equation by using the second equation. Similarly we obtain $b_n=2b_{n-1}+4b_{n-2}$. Now summing up the three equations give the claim.






          share|cite|improve this answer











          $endgroup$













          • $begingroup$
            I see that this solution is right, but how would you start without knowing/guessing the simplified form? Whats the best way to approach this without knowing how many elements there would be in the final form
            $endgroup$
            – BBLN
            Feb 2 at 20:43










          • $begingroup$
            The best way would be to start with two equations only, say the last two ones: We have $c_n=2c_{n-1}+2b_{n-1}$. Oh, let's get rid of the $2b_{n-1}$. By the second equation we can replace it by $4c_{n-2}$. We get $c_n=2c_{n-1}+4c_{n-2}$. This is already the "simplified" form. Now we just need to see how this also works for the $b$ and $a$ sequence.
            $endgroup$
            – Dietrich Burde
            Feb 2 at 20:45
















          0












          0








          0





          $begingroup$

          The first equation gives
          begin{align}
          a_n & = b_n+2c_n\
          -2a_{n-1} & = -2b_{n-1}-4c_{n-1}\
          -4a_{n-2} & = -4b_{n-2}-8c_{n-2}.
          end{align}

          Now the last two equations give $c_n=2c_{n-1}+4c_{n-2}$, by replacing $b_{n-1}$ in the last equation by using the second equation. Similarly we obtain $b_n=2b_{n-1}+4b_{n-2}$. Now summing up the three equations give the claim.






          share|cite|improve this answer











          $endgroup$



          The first equation gives
          begin{align}
          a_n & = b_n+2c_n\
          -2a_{n-1} & = -2b_{n-1}-4c_{n-1}\
          -4a_{n-2} & = -4b_{n-2}-8c_{n-2}.
          end{align}

          Now the last two equations give $c_n=2c_{n-1}+4c_{n-2}$, by replacing $b_{n-1}$ in the last equation by using the second equation. Similarly we obtain $b_n=2b_{n-1}+4b_{n-2}$. Now summing up the three equations give the claim.







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Feb 2 at 20:43

























          answered Feb 2 at 20:26









          Dietrich BurdeDietrich Burde

          82k649107




          82k649107












          • $begingroup$
            I see that this solution is right, but how would you start without knowing/guessing the simplified form? Whats the best way to approach this without knowing how many elements there would be in the final form
            $endgroup$
            – BBLN
            Feb 2 at 20:43










          • $begingroup$
            The best way would be to start with two equations only, say the last two ones: We have $c_n=2c_{n-1}+2b_{n-1}$. Oh, let's get rid of the $2b_{n-1}$. By the second equation we can replace it by $4c_{n-2}$. We get $c_n=2c_{n-1}+4c_{n-2}$. This is already the "simplified" form. Now we just need to see how this also works for the $b$ and $a$ sequence.
            $endgroup$
            – Dietrich Burde
            Feb 2 at 20:45




















          • $begingroup$
            I see that this solution is right, but how would you start without knowing/guessing the simplified form? Whats the best way to approach this without knowing how many elements there would be in the final form
            $endgroup$
            – BBLN
            Feb 2 at 20:43










          • $begingroup$
            The best way would be to start with two equations only, say the last two ones: We have $c_n=2c_{n-1}+2b_{n-1}$. Oh, let's get rid of the $2b_{n-1}$. By the second equation we can replace it by $4c_{n-2}$. We get $c_n=2c_{n-1}+4c_{n-2}$. This is already the "simplified" form. Now we just need to see how this also works for the $b$ and $a$ sequence.
            $endgroup$
            – Dietrich Burde
            Feb 2 at 20:45


















          $begingroup$
          I see that this solution is right, but how would you start without knowing/guessing the simplified form? Whats the best way to approach this without knowing how many elements there would be in the final form
          $endgroup$
          – BBLN
          Feb 2 at 20:43




          $begingroup$
          I see that this solution is right, but how would you start without knowing/guessing the simplified form? Whats the best way to approach this without knowing how many elements there would be in the final form
          $endgroup$
          – BBLN
          Feb 2 at 20:43












          $begingroup$
          The best way would be to start with two equations only, say the last two ones: We have $c_n=2c_{n-1}+2b_{n-1}$. Oh, let's get rid of the $2b_{n-1}$. By the second equation we can replace it by $4c_{n-2}$. We get $c_n=2c_{n-1}+4c_{n-2}$. This is already the "simplified" form. Now we just need to see how this also works for the $b$ and $a$ sequence.
          $endgroup$
          – Dietrich Burde
          Feb 2 at 20:45






          $begingroup$
          The best way would be to start with two equations only, say the last two ones: We have $c_n=2c_{n-1}+2b_{n-1}$. Oh, let's get rid of the $2b_{n-1}$. By the second equation we can replace it by $4c_{n-2}$. We get $c_n=2c_{n-1}+4c_{n-2}$. This is already the "simplified" form. Now we just need to see how this also works for the $b$ and $a$ sequence.
          $endgroup$
          – Dietrich Burde
          Feb 2 at 20:45




















          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%2f3097739%2fsimplify-recurrence-relation-made-of-3-series%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

          MongoDB - Not Authorized To Execute Command

          in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith

          Npm cannot find a required file even through it is in the searched directory