Solving a nonhomogeneous linear recurrence relationHow to solve this recurrenceQuestion about a recurrenceCan I get a hint on solving this recurrence relation?Solving a linear nonhomogeneous recurrence relation with troublesome $F(n)$Can this recurrence relation be solved with generating functions?Solving a nonhomogeneous recurrence relationWhy does this method for solving recurrence relations work in some cases and not in others?Solving a particular nonhomogeneous recurrence relationSolving a nonhomogeneous recurrence relation?

how to parse json to list?

Exam design: give maximum score per question or not?

Quick Kurodoko Puzzle: Threes and Triples

Delete empty subfolders, keep parent folder

How is underwater propagation of sound possible?

How to count the number of function evaluations in NIntegrate

Is Zack Morris's 'time stop' ability in "Saved By the Bell" a supernatural ability?

SMTP banner mismatch with multiple MX records

Are lay articles good enough to be the main source of information for PhD research?

As a discovery writer, how to complete unfinished novel (which is highly diverted from original plot ) after a time-gap

Manager manipulates my leaves, what's in it for him?

Should the pagination be reset when changing the order?

The relationship of noch nicht and the passive voice

How could artificial intelligence harm us?

Is this quote, "just ten trading days represent 63 per cent of the returns of the past 50 years" true?

Who are the people reviewing far more papers than they're submitting for review?

I was cheated into a job and want to leave ASAP, what do I tell my interviewers?

Should I inform my future product owner that there is a good chance that a team member will leave the company soon?

Get the encrypted payload from an unencrypted wrapper PDF document

How should errors be reported in scientific libraries?

What's the purpose of autocorrelation?

Did slaves have slaves?

Do the villains know Batman has no superpowers?

Escape the labyrinth!



Solving a nonhomogeneous linear recurrence relation


How to solve this recurrenceQuestion about a recurrenceCan I get a hint on solving this recurrence relation?Solving a linear nonhomogeneous recurrence relation with troublesome $F(n)$Can this recurrence relation be solved with generating functions?Solving a nonhomogeneous recurrence relationWhy does this method for solving recurrence relations work in some cases and not in others?Solving a particular nonhomogeneous recurrence relationSolving a nonhomogeneous recurrence relation?






.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;








1












$begingroup$


Let's have a look at this supposedly simple relation:
$$
begincases
f(n)=2cdot f(n-1)+n \
f(1)=1
endcases
$$



After a few expansions, for $n=5$, we get



$$
beginalign
f(5)&=2(2(2(2f(1)+2)+3)+4)+5) \
&=2^4f(1)+sum_i=0^32^icdot (5-i)
endalign
$$



So, we can generalize to
$$
f(n)=2^n-1+sum_i=0^n-22^icdot (n-i)
$$



After that, I still couldn't arrive at the final solution, without any sum terms.



So, using only elementary tools (i.e without generating functions, etc.), how can one solve this relation?










share|cite|improve this question











$endgroup$













  • $begingroup$
    Hint: Compare it to $2^n+1$.
    $endgroup$
    – lulu
    8 hours ago

















1












$begingroup$


Let's have a look at this supposedly simple relation:
$$
begincases
f(n)=2cdot f(n-1)+n \
f(1)=1
endcases
$$



After a few expansions, for $n=5$, we get



$$
beginalign
f(5)&=2(2(2(2f(1)+2)+3)+4)+5) \
&=2^4f(1)+sum_i=0^32^icdot (5-i)
endalign
$$



So, we can generalize to
$$
f(n)=2^n-1+sum_i=0^n-22^icdot (n-i)
$$



After that, I still couldn't arrive at the final solution, without any sum terms.



So, using only elementary tools (i.e without generating functions, etc.), how can one solve this relation?










share|cite|improve this question











$endgroup$













  • $begingroup$
    Hint: Compare it to $2^n+1$.
    $endgroup$
    – lulu
    8 hours ago













1












1








1


1



$begingroup$


Let's have a look at this supposedly simple relation:
$$
begincases
f(n)=2cdot f(n-1)+n \
f(1)=1
endcases
$$



After a few expansions, for $n=5$, we get



$$
beginalign
f(5)&=2(2(2(2f(1)+2)+3)+4)+5) \
&=2^4f(1)+sum_i=0^32^icdot (5-i)
endalign
$$



So, we can generalize to
$$
f(n)=2^n-1+sum_i=0^n-22^icdot (n-i)
$$



After that, I still couldn't arrive at the final solution, without any sum terms.



So, using only elementary tools (i.e without generating functions, etc.), how can one solve this relation?










share|cite|improve this question











$endgroup$




Let's have a look at this supposedly simple relation:
$$
begincases
f(n)=2cdot f(n-1)+n \
f(1)=1
endcases
$$



After a few expansions, for $n=5$, we get



$$
beginalign
f(5)&=2(2(2(2f(1)+2)+3)+4)+5) \
&=2^4f(1)+sum_i=0^32^icdot (5-i)
endalign
$$



So, we can generalize to
$$
f(n)=2^n-1+sum_i=0^n-22^icdot (n-i)
$$



After that, I still couldn't arrive at the final solution, without any sum terms.



So, using only elementary tools (i.e without generating functions, etc.), how can one solve this relation?







recurrence-relations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 8 hours ago







matan129

















asked 8 hours ago









matan129matan129

1348 bronze badges




1348 bronze badges














  • $begingroup$
    Hint: Compare it to $2^n+1$.
    $endgroup$
    – lulu
    8 hours ago
















  • $begingroup$
    Hint: Compare it to $2^n+1$.
    $endgroup$
    – lulu
    8 hours ago















$begingroup$
Hint: Compare it to $2^n+1$.
$endgroup$
– lulu
8 hours ago




$begingroup$
Hint: Compare it to $2^n+1$.
$endgroup$
– lulu
8 hours ago










5 Answers
5






active

oldest

votes


















3














$begingroup$

Looking at homogenous equation $f(n) = 2f(n-1)$, we get $f(n) = A cdot 2^n$ for some constant $A in mathbb R$ is our general solution to that equation.



Now we want to find one solution to equation $f(n) = 2f(n-1) + n$.



Looking at the remaining $n$, we can guess it should be some sort of linear, so let's try $f_*(n) = an+b$, where by $f_*$ I denote special solution.



Then we have $an + b = 2a(n-1) + 2b + n$ which is equivalent to: $n(a+1) + b -2a = 0$



It must holds for any $n in mathbb N$, so we need $(a+1) = 0$, that means $a=-1$ and $b-2a = 0$, so $b = 2a = -2$



So our special solution is $f_*(n) = -n-2$.



Now, any solution to our system of equation is of the form : general solution + special solution.



So plugging it in, we have our solution to be $f(n) = Acdot 2^n -n - 2$.



Plugging $f(1) = 1$, to get the value of $A$, we have:



$1 = 2A - 1 - 2$, so $A=2$



And our solution is $f(n) = 2^n+1 - n - 2$






share|cite|improve this answer









$endgroup$






















    2














    $begingroup$

    $$
    beginalign
    f(n)&=2f(n-1)+ntag1\
    f(n)+(n+2)&=2(f(n-1)+(n+1))tag2\
    g(n)&=2g(n-1)tag3
    endalign
    $$

    Explanation:
    $(1)$: original recursion
    $(2)$: add $n+2$ to both sides
    $(3)$: let $g(n)=f(n)+(n+2)$



    Starting with $g(1)=f(1)+3=4$, we get
    $$
    g(n)=2^n+1tag4
    $$

    and therefore,
    $$
    f(n)=2^n+1-n-2tag5
    $$






    share|cite|improve this answer









    $endgroup$














    • $begingroup$
      Probably, this is the simplest solution. Simpler then mine.
      $endgroup$
      – Alexandre Frias
      7 hours ago






    • 1




      $begingroup$
      @AlexandreFrias: The $sum_n=2^mfracn2^n$ is nice and mechanical, but a bit daunting to encounter. I looked at this by applying the shift operator on sequences, $S$, and got $(S-2)f(n)=n+1$ and so $(S-1)^2(S-2)f(n)=0$ which turns this into a homogeneous third degree linear difference equation whose solution is of the form $f(n)=A2^n+Bn+C$. Commuting the difference equation to $(S-2)(S-1)^2f(n)=0$ gave $(S-2)(f(n)+n+2)=0$, which is where I got $g(n)=f(n)+n+2$.
      $endgroup$
      – robjohn
      7 hours ago



















    2














    $begingroup$

    Divide both parts by $2^n$ and you have a linear recurrence



    $$fracf(n)2^n=fracf(n-1)2^n-1+fracn2^n$$



    $$fracf(n)2^n-fracf(n-1)2^n-1=fracn2^n$$



    This is a telescopic term then you can apply the summation in both parts



    $$sum_n=2^mfracf(n)2^n-fracf(n-1)2^n-1=sum_n=2^mfracn2^n$$



    $$fracf(m)2^m-fracf(1)2=frac32-fracm+22^m$$



    $$f(m)=2^m+1-m-2$$






    share|cite|improve this answer











    $endgroup$






















      1














      $begingroup$

      We try to write $f(n)=g(n)+h(n)$ where$$g(n)-2g(n-1)=n$$$$h(n)-2h(n-1)=0$$



      Now $h(n)$ is easy with $h(n)=2^nh(0)$ - but we don't know what $h(0)$ is yet.



      For forms like this with a polynomial in $n$ on the right-hand side, we try a solution with $g(n)$ being a polynomial of the same degree [there are special cases where a higher degree is necessary].



      So here we want $g(n)=an+b$ to be linear.



      We call $g(n)$ a particular solution, and $h(n)$ a solution of the "homogeneous part".



      That should be enough clue for you to try to finish it yourself.



      Note: Generally the unknowns in the particular solution will be determined direct from the recurrence, while those in the homogeneous part (which represents the degrees of freedom in the solution) will be found by reference to the initial conditions.






      share|cite|improve this answer









      $endgroup$






















        1














        $begingroup$

        Your recurrence relation is linear, but not homogeneous.



        One approach is as follows: begin by solving the homogeneous recurrence relation,
        $$
        f(n) = 2 f(n - 1).
        $$

        We end up with a general solution of $f_H(n) = C2^n$. Now, it suffices to find one "particular solution" to the original non-homogeneous difference equation. Following the method of undetermined coefficients, we take the ansatz
        $$
        f(n) = an + b implies\
        f(n-1) = an + (b-a).
        $$

        Plugging this in to our recurrence relation yields
        $$
        f(n) = 2 f(n - 1) + n implies
        an + b = 2[an + (b-a)] + nimplies\
        an + b = (2a+1)n + 2b-2a implies\
        (a + 1)n + (2a-b)= 0
        $$

        So, $a = -1$, $b = -2$ will work. We can therefore take
        $
        f_P(n) = -n-2.
        $

        Thus, our general solution is
        $$
        f(n) = f_H + f_P = C ,2^n - n - 2.
        $$

        Using the initial conditions, solve for $C$.






        share|cite|improve this answer









        $endgroup$

















          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/4.0/"u003ecc by-sa 4.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%2f3360144%2fsolving-a-nonhomogeneous-linear-recurrence-relation%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          5 Answers
          5






          active

          oldest

          votes








          5 Answers
          5






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          3














          $begingroup$

          Looking at homogenous equation $f(n) = 2f(n-1)$, we get $f(n) = A cdot 2^n$ for some constant $A in mathbb R$ is our general solution to that equation.



          Now we want to find one solution to equation $f(n) = 2f(n-1) + n$.



          Looking at the remaining $n$, we can guess it should be some sort of linear, so let's try $f_*(n) = an+b$, where by $f_*$ I denote special solution.



          Then we have $an + b = 2a(n-1) + 2b + n$ which is equivalent to: $n(a+1) + b -2a = 0$



          It must holds for any $n in mathbb N$, so we need $(a+1) = 0$, that means $a=-1$ and $b-2a = 0$, so $b = 2a = -2$



          So our special solution is $f_*(n) = -n-2$.



          Now, any solution to our system of equation is of the form : general solution + special solution.



          So plugging it in, we have our solution to be $f(n) = Acdot 2^n -n - 2$.



          Plugging $f(1) = 1$, to get the value of $A$, we have:



          $1 = 2A - 1 - 2$, so $A=2$



          And our solution is $f(n) = 2^n+1 - n - 2$






          share|cite|improve this answer









          $endgroup$



















            3














            $begingroup$

            Looking at homogenous equation $f(n) = 2f(n-1)$, we get $f(n) = A cdot 2^n$ for some constant $A in mathbb R$ is our general solution to that equation.



            Now we want to find one solution to equation $f(n) = 2f(n-1) + n$.



            Looking at the remaining $n$, we can guess it should be some sort of linear, so let's try $f_*(n) = an+b$, where by $f_*$ I denote special solution.



            Then we have $an + b = 2a(n-1) + 2b + n$ which is equivalent to: $n(a+1) + b -2a = 0$



            It must holds for any $n in mathbb N$, so we need $(a+1) = 0$, that means $a=-1$ and $b-2a = 0$, so $b = 2a = -2$



            So our special solution is $f_*(n) = -n-2$.



            Now, any solution to our system of equation is of the form : general solution + special solution.



            So plugging it in, we have our solution to be $f(n) = Acdot 2^n -n - 2$.



            Plugging $f(1) = 1$, to get the value of $A$, we have:



            $1 = 2A - 1 - 2$, so $A=2$



            And our solution is $f(n) = 2^n+1 - n - 2$






            share|cite|improve this answer









            $endgroup$

















              3














              3










              3







              $begingroup$

              Looking at homogenous equation $f(n) = 2f(n-1)$, we get $f(n) = A cdot 2^n$ for some constant $A in mathbb R$ is our general solution to that equation.



              Now we want to find one solution to equation $f(n) = 2f(n-1) + n$.



              Looking at the remaining $n$, we can guess it should be some sort of linear, so let's try $f_*(n) = an+b$, where by $f_*$ I denote special solution.



              Then we have $an + b = 2a(n-1) + 2b + n$ which is equivalent to: $n(a+1) + b -2a = 0$



              It must holds for any $n in mathbb N$, so we need $(a+1) = 0$, that means $a=-1$ and $b-2a = 0$, so $b = 2a = -2$



              So our special solution is $f_*(n) = -n-2$.



              Now, any solution to our system of equation is of the form : general solution + special solution.



              So plugging it in, we have our solution to be $f(n) = Acdot 2^n -n - 2$.



              Plugging $f(1) = 1$, to get the value of $A$, we have:



              $1 = 2A - 1 - 2$, so $A=2$



              And our solution is $f(n) = 2^n+1 - n - 2$






              share|cite|improve this answer









              $endgroup$



              Looking at homogenous equation $f(n) = 2f(n-1)$, we get $f(n) = A cdot 2^n$ for some constant $A in mathbb R$ is our general solution to that equation.



              Now we want to find one solution to equation $f(n) = 2f(n-1) + n$.



              Looking at the remaining $n$, we can guess it should be some sort of linear, so let's try $f_*(n) = an+b$, where by $f_*$ I denote special solution.



              Then we have $an + b = 2a(n-1) + 2b + n$ which is equivalent to: $n(a+1) + b -2a = 0$



              It must holds for any $n in mathbb N$, so we need $(a+1) = 0$, that means $a=-1$ and $b-2a = 0$, so $b = 2a = -2$



              So our special solution is $f_*(n) = -n-2$.



              Now, any solution to our system of equation is of the form : general solution + special solution.



              So plugging it in, we have our solution to be $f(n) = Acdot 2^n -n - 2$.



              Plugging $f(1) = 1$, to get the value of $A$, we have:



              $1 = 2A - 1 - 2$, so $A=2$



              And our solution is $f(n) = 2^n+1 - n - 2$







              share|cite|improve this answer












              share|cite|improve this answer



              share|cite|improve this answer










              answered 8 hours ago









              Dominik KutekDominik Kutek

              1,7171 silver badge8 bronze badges




              1,7171 silver badge8 bronze badges


























                  2














                  $begingroup$

                  $$
                  beginalign
                  f(n)&=2f(n-1)+ntag1\
                  f(n)+(n+2)&=2(f(n-1)+(n+1))tag2\
                  g(n)&=2g(n-1)tag3
                  endalign
                  $$

                  Explanation:
                  $(1)$: original recursion
                  $(2)$: add $n+2$ to both sides
                  $(3)$: let $g(n)=f(n)+(n+2)$



                  Starting with $g(1)=f(1)+3=4$, we get
                  $$
                  g(n)=2^n+1tag4
                  $$

                  and therefore,
                  $$
                  f(n)=2^n+1-n-2tag5
                  $$






                  share|cite|improve this answer









                  $endgroup$














                  • $begingroup$
                    Probably, this is the simplest solution. Simpler then mine.
                    $endgroup$
                    – Alexandre Frias
                    7 hours ago






                  • 1




                    $begingroup$
                    @AlexandreFrias: The $sum_n=2^mfracn2^n$ is nice and mechanical, but a bit daunting to encounter. I looked at this by applying the shift operator on sequences, $S$, and got $(S-2)f(n)=n+1$ and so $(S-1)^2(S-2)f(n)=0$ which turns this into a homogeneous third degree linear difference equation whose solution is of the form $f(n)=A2^n+Bn+C$. Commuting the difference equation to $(S-2)(S-1)^2f(n)=0$ gave $(S-2)(f(n)+n+2)=0$, which is where I got $g(n)=f(n)+n+2$.
                    $endgroup$
                    – robjohn
                    7 hours ago
















                  2














                  $begingroup$

                  $$
                  beginalign
                  f(n)&=2f(n-1)+ntag1\
                  f(n)+(n+2)&=2(f(n-1)+(n+1))tag2\
                  g(n)&=2g(n-1)tag3
                  endalign
                  $$

                  Explanation:
                  $(1)$: original recursion
                  $(2)$: add $n+2$ to both sides
                  $(3)$: let $g(n)=f(n)+(n+2)$



                  Starting with $g(1)=f(1)+3=4$, we get
                  $$
                  g(n)=2^n+1tag4
                  $$

                  and therefore,
                  $$
                  f(n)=2^n+1-n-2tag5
                  $$






                  share|cite|improve this answer









                  $endgroup$














                  • $begingroup$
                    Probably, this is the simplest solution. Simpler then mine.
                    $endgroup$
                    – Alexandre Frias
                    7 hours ago






                  • 1




                    $begingroup$
                    @AlexandreFrias: The $sum_n=2^mfracn2^n$ is nice and mechanical, but a bit daunting to encounter. I looked at this by applying the shift operator on sequences, $S$, and got $(S-2)f(n)=n+1$ and so $(S-1)^2(S-2)f(n)=0$ which turns this into a homogeneous third degree linear difference equation whose solution is of the form $f(n)=A2^n+Bn+C$. Commuting the difference equation to $(S-2)(S-1)^2f(n)=0$ gave $(S-2)(f(n)+n+2)=0$, which is where I got $g(n)=f(n)+n+2$.
                    $endgroup$
                    – robjohn
                    7 hours ago














                  2














                  2










                  2







                  $begingroup$

                  $$
                  beginalign
                  f(n)&=2f(n-1)+ntag1\
                  f(n)+(n+2)&=2(f(n-1)+(n+1))tag2\
                  g(n)&=2g(n-1)tag3
                  endalign
                  $$

                  Explanation:
                  $(1)$: original recursion
                  $(2)$: add $n+2$ to both sides
                  $(3)$: let $g(n)=f(n)+(n+2)$



                  Starting with $g(1)=f(1)+3=4$, we get
                  $$
                  g(n)=2^n+1tag4
                  $$

                  and therefore,
                  $$
                  f(n)=2^n+1-n-2tag5
                  $$






                  share|cite|improve this answer









                  $endgroup$



                  $$
                  beginalign
                  f(n)&=2f(n-1)+ntag1\
                  f(n)+(n+2)&=2(f(n-1)+(n+1))tag2\
                  g(n)&=2g(n-1)tag3
                  endalign
                  $$

                  Explanation:
                  $(1)$: original recursion
                  $(2)$: add $n+2$ to both sides
                  $(3)$: let $g(n)=f(n)+(n+2)$



                  Starting with $g(1)=f(1)+3=4$, we get
                  $$
                  g(n)=2^n+1tag4
                  $$

                  and therefore,
                  $$
                  f(n)=2^n+1-n-2tag5
                  $$







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered 7 hours ago









                  robjohnrobjohn

                  279k29 gold badges329 silver badges660 bronze badges




                  279k29 gold badges329 silver badges660 bronze badges














                  • $begingroup$
                    Probably, this is the simplest solution. Simpler then mine.
                    $endgroup$
                    – Alexandre Frias
                    7 hours ago






                  • 1




                    $begingroup$
                    @AlexandreFrias: The $sum_n=2^mfracn2^n$ is nice and mechanical, but a bit daunting to encounter. I looked at this by applying the shift operator on sequences, $S$, and got $(S-2)f(n)=n+1$ and so $(S-1)^2(S-2)f(n)=0$ which turns this into a homogeneous third degree linear difference equation whose solution is of the form $f(n)=A2^n+Bn+C$. Commuting the difference equation to $(S-2)(S-1)^2f(n)=0$ gave $(S-2)(f(n)+n+2)=0$, which is where I got $g(n)=f(n)+n+2$.
                    $endgroup$
                    – robjohn
                    7 hours ago

















                  • $begingroup$
                    Probably, this is the simplest solution. Simpler then mine.
                    $endgroup$
                    – Alexandre Frias
                    7 hours ago






                  • 1




                    $begingroup$
                    @AlexandreFrias: The $sum_n=2^mfracn2^n$ is nice and mechanical, but a bit daunting to encounter. I looked at this by applying the shift operator on sequences, $S$, and got $(S-2)f(n)=n+1$ and so $(S-1)^2(S-2)f(n)=0$ which turns this into a homogeneous third degree linear difference equation whose solution is of the form $f(n)=A2^n+Bn+C$. Commuting the difference equation to $(S-2)(S-1)^2f(n)=0$ gave $(S-2)(f(n)+n+2)=0$, which is where I got $g(n)=f(n)+n+2$.
                    $endgroup$
                    – robjohn
                    7 hours ago
















                  $begingroup$
                  Probably, this is the simplest solution. Simpler then mine.
                  $endgroup$
                  – Alexandre Frias
                  7 hours ago




                  $begingroup$
                  Probably, this is the simplest solution. Simpler then mine.
                  $endgroup$
                  – Alexandre Frias
                  7 hours ago




                  1




                  1




                  $begingroup$
                  @AlexandreFrias: The $sum_n=2^mfracn2^n$ is nice and mechanical, but a bit daunting to encounter. I looked at this by applying the shift operator on sequences, $S$, and got $(S-2)f(n)=n+1$ and so $(S-1)^2(S-2)f(n)=0$ which turns this into a homogeneous third degree linear difference equation whose solution is of the form $f(n)=A2^n+Bn+C$. Commuting the difference equation to $(S-2)(S-1)^2f(n)=0$ gave $(S-2)(f(n)+n+2)=0$, which is where I got $g(n)=f(n)+n+2$.
                  $endgroup$
                  – robjohn
                  7 hours ago





                  $begingroup$
                  @AlexandreFrias: The $sum_n=2^mfracn2^n$ is nice and mechanical, but a bit daunting to encounter. I looked at this by applying the shift operator on sequences, $S$, and got $(S-2)f(n)=n+1$ and so $(S-1)^2(S-2)f(n)=0$ which turns this into a homogeneous third degree linear difference equation whose solution is of the form $f(n)=A2^n+Bn+C$. Commuting the difference equation to $(S-2)(S-1)^2f(n)=0$ gave $(S-2)(f(n)+n+2)=0$, which is where I got $g(n)=f(n)+n+2$.
                  $endgroup$
                  – robjohn
                  7 hours ago












                  2














                  $begingroup$

                  Divide both parts by $2^n$ and you have a linear recurrence



                  $$fracf(n)2^n=fracf(n-1)2^n-1+fracn2^n$$



                  $$fracf(n)2^n-fracf(n-1)2^n-1=fracn2^n$$



                  This is a telescopic term then you can apply the summation in both parts



                  $$sum_n=2^mfracf(n)2^n-fracf(n-1)2^n-1=sum_n=2^mfracn2^n$$



                  $$fracf(m)2^m-fracf(1)2=frac32-fracm+22^m$$



                  $$f(m)=2^m+1-m-2$$






                  share|cite|improve this answer











                  $endgroup$



















                    2














                    $begingroup$

                    Divide both parts by $2^n$ and you have a linear recurrence



                    $$fracf(n)2^n=fracf(n-1)2^n-1+fracn2^n$$



                    $$fracf(n)2^n-fracf(n-1)2^n-1=fracn2^n$$



                    This is a telescopic term then you can apply the summation in both parts



                    $$sum_n=2^mfracf(n)2^n-fracf(n-1)2^n-1=sum_n=2^mfracn2^n$$



                    $$fracf(m)2^m-fracf(1)2=frac32-fracm+22^m$$



                    $$f(m)=2^m+1-m-2$$






                    share|cite|improve this answer











                    $endgroup$

















                      2














                      2










                      2







                      $begingroup$

                      Divide both parts by $2^n$ and you have a linear recurrence



                      $$fracf(n)2^n=fracf(n-1)2^n-1+fracn2^n$$



                      $$fracf(n)2^n-fracf(n-1)2^n-1=fracn2^n$$



                      This is a telescopic term then you can apply the summation in both parts



                      $$sum_n=2^mfracf(n)2^n-fracf(n-1)2^n-1=sum_n=2^mfracn2^n$$



                      $$fracf(m)2^m-fracf(1)2=frac32-fracm+22^m$$



                      $$f(m)=2^m+1-m-2$$






                      share|cite|improve this answer











                      $endgroup$



                      Divide both parts by $2^n$ and you have a linear recurrence



                      $$fracf(n)2^n=fracf(n-1)2^n-1+fracn2^n$$



                      $$fracf(n)2^n-fracf(n-1)2^n-1=fracn2^n$$



                      This is a telescopic term then you can apply the summation in both parts



                      $$sum_n=2^mfracf(n)2^n-fracf(n-1)2^n-1=sum_n=2^mfracn2^n$$



                      $$fracf(m)2^m-fracf(1)2=frac32-fracm+22^m$$



                      $$f(m)=2^m+1-m-2$$







                      share|cite|improve this answer














                      share|cite|improve this answer



                      share|cite|improve this answer








                      edited 1 hour ago

























                      answered 8 hours ago









                      Alexandre FriasAlexandre Frias

                      1654 bronze badges




                      1654 bronze badges
























                          1














                          $begingroup$

                          We try to write $f(n)=g(n)+h(n)$ where$$g(n)-2g(n-1)=n$$$$h(n)-2h(n-1)=0$$



                          Now $h(n)$ is easy with $h(n)=2^nh(0)$ - but we don't know what $h(0)$ is yet.



                          For forms like this with a polynomial in $n$ on the right-hand side, we try a solution with $g(n)$ being a polynomial of the same degree [there are special cases where a higher degree is necessary].



                          So here we want $g(n)=an+b$ to be linear.



                          We call $g(n)$ a particular solution, and $h(n)$ a solution of the "homogeneous part".



                          That should be enough clue for you to try to finish it yourself.



                          Note: Generally the unknowns in the particular solution will be determined direct from the recurrence, while those in the homogeneous part (which represents the degrees of freedom in the solution) will be found by reference to the initial conditions.






                          share|cite|improve this answer









                          $endgroup$



















                            1














                            $begingroup$

                            We try to write $f(n)=g(n)+h(n)$ where$$g(n)-2g(n-1)=n$$$$h(n)-2h(n-1)=0$$



                            Now $h(n)$ is easy with $h(n)=2^nh(0)$ - but we don't know what $h(0)$ is yet.



                            For forms like this with a polynomial in $n$ on the right-hand side, we try a solution with $g(n)$ being a polynomial of the same degree [there are special cases where a higher degree is necessary].



                            So here we want $g(n)=an+b$ to be linear.



                            We call $g(n)$ a particular solution, and $h(n)$ a solution of the "homogeneous part".



                            That should be enough clue for you to try to finish it yourself.



                            Note: Generally the unknowns in the particular solution will be determined direct from the recurrence, while those in the homogeneous part (which represents the degrees of freedom in the solution) will be found by reference to the initial conditions.






                            share|cite|improve this answer









                            $endgroup$

















                              1














                              1










                              1







                              $begingroup$

                              We try to write $f(n)=g(n)+h(n)$ where$$g(n)-2g(n-1)=n$$$$h(n)-2h(n-1)=0$$



                              Now $h(n)$ is easy with $h(n)=2^nh(0)$ - but we don't know what $h(0)$ is yet.



                              For forms like this with a polynomial in $n$ on the right-hand side, we try a solution with $g(n)$ being a polynomial of the same degree [there are special cases where a higher degree is necessary].



                              So here we want $g(n)=an+b$ to be linear.



                              We call $g(n)$ a particular solution, and $h(n)$ a solution of the "homogeneous part".



                              That should be enough clue for you to try to finish it yourself.



                              Note: Generally the unknowns in the particular solution will be determined direct from the recurrence, while those in the homogeneous part (which represents the degrees of freedom in the solution) will be found by reference to the initial conditions.






                              share|cite|improve this answer









                              $endgroup$



                              We try to write $f(n)=g(n)+h(n)$ where$$g(n)-2g(n-1)=n$$$$h(n)-2h(n-1)=0$$



                              Now $h(n)$ is easy with $h(n)=2^nh(0)$ - but we don't know what $h(0)$ is yet.



                              For forms like this with a polynomial in $n$ on the right-hand side, we try a solution with $g(n)$ being a polynomial of the same degree [there are special cases where a higher degree is necessary].



                              So here we want $g(n)=an+b$ to be linear.



                              We call $g(n)$ a particular solution, and $h(n)$ a solution of the "homogeneous part".



                              That should be enough clue for you to try to finish it yourself.



                              Note: Generally the unknowns in the particular solution will be determined direct from the recurrence, while those in the homogeneous part (which represents the degrees of freedom in the solution) will be found by reference to the initial conditions.







                              share|cite|improve this answer












                              share|cite|improve this answer



                              share|cite|improve this answer










                              answered 8 hours ago









                              Mark BennetMark Bennet

                              86.8k9 gold badges92 silver badges197 bronze badges




                              86.8k9 gold badges92 silver badges197 bronze badges
























                                  1














                                  $begingroup$

                                  Your recurrence relation is linear, but not homogeneous.



                                  One approach is as follows: begin by solving the homogeneous recurrence relation,
                                  $$
                                  f(n) = 2 f(n - 1).
                                  $$

                                  We end up with a general solution of $f_H(n) = C2^n$. Now, it suffices to find one "particular solution" to the original non-homogeneous difference equation. Following the method of undetermined coefficients, we take the ansatz
                                  $$
                                  f(n) = an + b implies\
                                  f(n-1) = an + (b-a).
                                  $$

                                  Plugging this in to our recurrence relation yields
                                  $$
                                  f(n) = 2 f(n - 1) + n implies
                                  an + b = 2[an + (b-a)] + nimplies\
                                  an + b = (2a+1)n + 2b-2a implies\
                                  (a + 1)n + (2a-b)= 0
                                  $$

                                  So, $a = -1$, $b = -2$ will work. We can therefore take
                                  $
                                  f_P(n) = -n-2.
                                  $

                                  Thus, our general solution is
                                  $$
                                  f(n) = f_H + f_P = C ,2^n - n - 2.
                                  $$

                                  Using the initial conditions, solve for $C$.






                                  share|cite|improve this answer









                                  $endgroup$



















                                    1














                                    $begingroup$

                                    Your recurrence relation is linear, but not homogeneous.



                                    One approach is as follows: begin by solving the homogeneous recurrence relation,
                                    $$
                                    f(n) = 2 f(n - 1).
                                    $$

                                    We end up with a general solution of $f_H(n) = C2^n$. Now, it suffices to find one "particular solution" to the original non-homogeneous difference equation. Following the method of undetermined coefficients, we take the ansatz
                                    $$
                                    f(n) = an + b implies\
                                    f(n-1) = an + (b-a).
                                    $$

                                    Plugging this in to our recurrence relation yields
                                    $$
                                    f(n) = 2 f(n - 1) + n implies
                                    an + b = 2[an + (b-a)] + nimplies\
                                    an + b = (2a+1)n + 2b-2a implies\
                                    (a + 1)n + (2a-b)= 0
                                    $$

                                    So, $a = -1$, $b = -2$ will work. We can therefore take
                                    $
                                    f_P(n) = -n-2.
                                    $

                                    Thus, our general solution is
                                    $$
                                    f(n) = f_H + f_P = C ,2^n - n - 2.
                                    $$

                                    Using the initial conditions, solve for $C$.






                                    share|cite|improve this answer









                                    $endgroup$

















                                      1














                                      1










                                      1







                                      $begingroup$

                                      Your recurrence relation is linear, but not homogeneous.



                                      One approach is as follows: begin by solving the homogeneous recurrence relation,
                                      $$
                                      f(n) = 2 f(n - 1).
                                      $$

                                      We end up with a general solution of $f_H(n) = C2^n$. Now, it suffices to find one "particular solution" to the original non-homogeneous difference equation. Following the method of undetermined coefficients, we take the ansatz
                                      $$
                                      f(n) = an + b implies\
                                      f(n-1) = an + (b-a).
                                      $$

                                      Plugging this in to our recurrence relation yields
                                      $$
                                      f(n) = 2 f(n - 1) + n implies
                                      an + b = 2[an + (b-a)] + nimplies\
                                      an + b = (2a+1)n + 2b-2a implies\
                                      (a + 1)n + (2a-b)= 0
                                      $$

                                      So, $a = -1$, $b = -2$ will work. We can therefore take
                                      $
                                      f_P(n) = -n-2.
                                      $

                                      Thus, our general solution is
                                      $$
                                      f(n) = f_H + f_P = C ,2^n - n - 2.
                                      $$

                                      Using the initial conditions, solve for $C$.






                                      share|cite|improve this answer









                                      $endgroup$



                                      Your recurrence relation is linear, but not homogeneous.



                                      One approach is as follows: begin by solving the homogeneous recurrence relation,
                                      $$
                                      f(n) = 2 f(n - 1).
                                      $$

                                      We end up with a general solution of $f_H(n) = C2^n$. Now, it suffices to find one "particular solution" to the original non-homogeneous difference equation. Following the method of undetermined coefficients, we take the ansatz
                                      $$
                                      f(n) = an + b implies\
                                      f(n-1) = an + (b-a).
                                      $$

                                      Plugging this in to our recurrence relation yields
                                      $$
                                      f(n) = 2 f(n - 1) + n implies
                                      an + b = 2[an + (b-a)] + nimplies\
                                      an + b = (2a+1)n + 2b-2a implies\
                                      (a + 1)n + (2a-b)= 0
                                      $$

                                      So, $a = -1$, $b = -2$ will work. We can therefore take
                                      $
                                      f_P(n) = -n-2.
                                      $

                                      Thus, our general solution is
                                      $$
                                      f(n) = f_H + f_P = C ,2^n - n - 2.
                                      $$

                                      Using the initial conditions, solve for $C$.







                                      share|cite|improve this answer












                                      share|cite|improve this answer



                                      share|cite|improve this answer










                                      answered 8 hours ago









                                      OmnomnomnomOmnomnomnom

                                      134k7 gold badges99 silver badges199 bronze badges




                                      134k7 gold badges99 silver badges199 bronze badges































                                          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%2f3360144%2fsolving-a-nonhomogeneous-linear-recurrence-relation%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

                                          19. јануар Садржај Догађаји Рођења Смрти Празници и дани сећања Види још Референце Мени за навигацијуу

                                          Israel Cuprins Etimologie | Istorie | Geografie | Politică | Demografie | Educație | Economie | Cultură | Note explicative | Note bibliografice | Bibliografie | Legături externe | Meniu de navigaresite web oficialfacebooktweeterGoogle+Instagramcanal YouTubeInstagramtextmodificaremodificarewww.technion.ac.ilnew.huji.ac.ilwww.weizmann.ac.ilwww1.biu.ac.ilenglish.tau.ac.ilwww.haifa.ac.ilin.bgu.ac.ilwww.openu.ac.ilwww.ariel.ac.ilCIA FactbookHarta Israelului"Negotiating Jerusalem," Palestine–Israel JournalThe Schizoid Nature of Modern Hebrew: A Slavic Language in Search of a Semitic Past„Arabic in Israel: an official language and a cultural bridge”„Latest Population Statistics for Israel”„Israel Population”„Tables”„Report for Selected Countries and Subjects”Human Development Report 2016: Human Development for Everyone„Distribution of family income - Gini index”The World FactbookJerusalem Law„Israel”„Israel”„Zionist Leaders: David Ben-Gurion 1886–1973”„The status of Jerusalem”„Analysis: Kadima's big plans”„Israel's Hard-Learned Lessons”„The Legacy of Undefined Borders, Tel Aviv Notes No. 40, 5 iunie 2002”„Israel Journal: A Land Without Borders”„Population”„Israel closes decade with population of 7.5 million”Time Series-DataBank„Selected Statistics on Jerusalem Day 2007 (Hebrew)”Golan belongs to Syria, Druze protestGlobal Survey 2006: Middle East Progress Amid Global Gains in FreedomWHO: Life expectancy in Israel among highest in the worldInternational Monetary Fund, World Economic Outlook Database, April 2011: Nominal GDP list of countries. Data for the year 2010.„Israel's accession to the OECD”Popular Opinion„On the Move”Hosea 12:5„Walking the Bible Timeline”„Palestine: History”„Return to Zion”An invention called 'the Jewish people' – Haaretz – Israel NewsoriginalJewish and Non-Jewish Population of Palestine-Israel (1517–2004)ImmigrationJewishvirtuallibrary.orgChapter One: The Heralders of Zionism„The birth of modern Israel: A scrap of paper that changed history”„League of Nations: The Mandate for Palestine, 24 iulie 1922”The Population of Palestine Prior to 1948originalBackground Paper No. 47 (ST/DPI/SER.A/47)History: Foreign DominationTwo Hundred and Seventh Plenary Meeting„Israel (Labor Zionism)”Population, by Religion and Population GroupThe Suez CrisisAdolf EichmannJustice Ministry Reply to Amnesty International Report„The Interregnum”Israel Ministry of Foreign Affairs – The Palestinian National Covenant- July 1968Research on terrorism: trends, achievements & failuresThe Routledge Atlas of the Arab–Israeli conflict: The Complete History of the Struggle and the Efforts to Resolve It"George Habash, Palestinian Terrorism Tactician, Dies at 82."„1973: Arab states attack Israeli forces”Agranat Commission„Has Israel Annexed East Jerusalem?”original„After 4 Years, Intifada Still Smolders”From the End of the Cold War to 2001originalThe Oslo Accords, 1993Israel-PLO Recognition – Exchange of Letters between PM Rabin and Chairman Arafat – Sept 9- 1993Foundation for Middle East PeaceSources of Population Growth: Total Israeli Population and Settler Population, 1991–2003original„Israel marks Rabin assassination”The Wye River Memorandumoriginal„West Bank barrier route disputed, Israeli missile kills 2”"Permanent Ceasefire to Be Based on Creation Of Buffer Zone Free of Armed Personnel Other than UN, Lebanese Forces"„Hezbollah kills 8 soldiers, kidnaps two in offensive on northern border”„Olmert confirms peace talks with Syria”„Battleground Gaza: Israeli ground forces invade the strip”„IDF begins Gaza troop withdrawal, hours after ending 3-week offensive”„THE LAND: Geography and Climate”„Area of districts, sub-districts, natural regions and lakes”„Israel - Geography”„Makhteshim Country”Israel and the Palestinian Territories„Makhtesh Ramon”„The Living Dead Sea”„Temperatures reach record high in Pakistan”„Climate Extremes In Israel”Israel in figures„Deuteronom”„JNF: 240 million trees planted since 1901”„Vegetation of Israel and Neighboring Countries”Environmental Law in Israel„Executive branch”„Israel's election process explained”„The Electoral System in Israel”„Constitution for Israel”„All 120 incoming Knesset members”„Statul ISRAEL”„The Judiciary: The Court System”„Israel's high court unique in region”„Israel and the International Criminal Court: A Legal Battlefield”„Localities and population, by population group, district, sub-district and natural region”„Israel: Districts, Major Cities, Urban Localities & Metropolitan Areas”„Israel-Egypt Relations: Background & Overview of Peace Treaty”„Solana to Haaretz: New Rules of War Needed for Age of Terror”„Israel's Announcement Regarding Settlements”„United Nations Security Council Resolution 497”„Security Council resolution 478 (1980) on the status of Jerusalem”„Arabs will ask U.N. to seek razing of Israeli wall”„Olmert: Willing to trade land for peace”„Mapping Peace between Syria and Israel”„Egypt: Israel must accept the land-for-peace formula”„Israel: Age structure from 2005 to 2015”„Global, regional, and national disability-adjusted life years (DALYs) for 306 diseases and injuries and healthy life expectancy (HALE) for 188 countries, 1990–2013: quantifying the epidemiological transition”10.1016/S0140-6736(15)61340-X„World Health Statistics 2014”„Life expectancy for Israeli men world's 4th highest”„Family Structure and Well-Being Across Israel's Diverse Population”„Fertility among Jewish and Muslim Women in Israel, by Level of Religiosity, 1979-2009”„Israel leaders in birth rate, but poverty major challenge”„Ethnic Groups”„Israel's population: Over 8.5 million”„Israel - Ethnic groups”„Jews, by country of origin and age”„Minority Communities in Israel: Background & Overview”„Israel”„Language in Israel”„Selected Data from the 2011 Social Survey on Mastery of the Hebrew Language and Usage of Languages”„Religions”„5 facts about Israeli Druze, a unique religious and ethnic group”„Israël”Israel Country Study Guide„Haredi city in Negev – blessing or curse?”„New town Harish harbors hopes of being more than another Pleasantville”„List of localities, in alphabetical order”„Muncitorii români, doriți în Israel”„Prietenia româno-israeliană la nevoie se cunoaște”„The Higher Education System in Israel”„Middle East”„Academic Ranking of World Universities 2016”„Israel”„Israel”„Jewish Nobel Prize Winners”„All Nobel Prizes in Literature”„All Nobel Peace Prizes”„All Prizes in Economic Sciences”„All Nobel Prizes in Chemistry”„List of Fields Medallists”„Sakharov Prize”„Țara care și-a sfidat "destinul" și se bate umăr la umăr cu Silicon Valley”„Apple's R&D center in Israel grew to about 800 employees”„Tim Cook: Apple's Herzliya R&D center second-largest in world”„Lecții de economie de la Israel”„Land use”Israel Investment and Business GuideA Country Study: IsraelCentral Bureau of StatisticsFlorin Diaconu, „Kadima: Flexibilitate și pragmatism, dar nici un compromis în chestiuni vitale", în Revista Institutului Diplomatic Român, anul I, numărul I, semestrul I, 2006, pp. 71-72Florin Diaconu, „Likud: Dreapta israeliană constant opusă retrocedării teritoriilor cureite prin luptă în 1967", în Revista Institutului Diplomatic Român, anul I, numărul I, semestrul I, 2006, pp. 73-74MassadaIsraelul a crescut in 50 de ani cât alte state intr-un mileniuIsrael Government PortalIsraelIsraelIsraelmmmmmXX451232cb118646298(data)4027808-634110000 0004 0372 0767n7900328503691455-bb46-37e3-91d2-cb064a35ffcc1003570400564274ge1294033523775214929302638955X146498911146498911

                                          Кастелфранко ди Сопра Становништво Референце Спољашње везе Мени за навигацију43°37′18″ СГШ; 11°33′32″ ИГД / 43.62156° СГШ; 11.55885° ИГД / 43.62156; 11.5588543°37′18″ СГШ; 11°33′32″ ИГД / 43.62156° СГШ; 11.55885° ИГД / 43.62156; 11.558853179688„The GeoNames geographical database”„Istituto Nazionale di Statistica”проширитиууWorldCat156923403n850174324558639-1cb14643287r(подаци)