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?
I was cheated into a job and want to leave ASAP, what do I tell my interviewers?
What are the end bytes of *.docx file format
4h 40m delay caused by aircraft inspection, Norwegian refuses EU 261/2004 compensation because it turned out there was nothing wrong with the aircraft
Inquiry answerer
What do solvers like Gurobi and CPLEX do when they run into hard instances of MIP
Which museums have artworks of all four ninja turtles' namesakes?
Do household ovens ventilate heat to the outdoors?
What is the origin of the "being immortal sucks" trope?
Algorithm for competing cells of 0s and 1s
Can one guy with a duplicator initiate a nuclear apocalypse?
EU compensation - fire alarm at the Flight Crew's hotel
Regular Expressions with `<` and `?` strange matches
Madrid to London w/ Expired 90/180 days stay as US citizen
As a discovery writer, how to complete unfinished novel (which is highly diverted from original plot ) after a time-gap
How to influence manager to not schedule team meetings during lunch?
Is it safe to unplug a blinking USB drive after 'safely' ejecting it?
I feel like most of my characters are the same, what can I do?
Does battery condition have anything to do with macbook pro performance?
Why are two-stroke engines nearly unheard of in aviation?
Why would a fighter use the afterburner and air brakes at the same time?
Is this quote, "just ten trading days represent 63 per cent of the returns of the past 50 years" true?
Escape the labyrinth!
Is the name of an interval between two notes unique and absolute?
Temporarily moving a SQL Server 2016 database to SQL Server 2017 and then moving back. Is it possible?
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;
$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?
recurrence-relations
$endgroup$
add a comment
|
$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?
recurrence-relations
$endgroup$
$begingroup$
Hint: Compare it to $2^n+1$.
$endgroup$
– lulu
8 hours ago
add a comment
|
$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?
recurrence-relations
$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
recurrence-relations
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
add a comment
|
$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
add a comment
|
5 Answers
5
active
oldest
votes
$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$
$endgroup$
add a comment
|
$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
$$
$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
add a comment
|
$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$$
$endgroup$
add a comment
|
$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.
$endgroup$
add a comment
|
$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$.
$endgroup$
add a comment
|
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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$
$endgroup$
add a comment
|
$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$
$endgroup$
add a comment
|
$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$
$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$
answered 8 hours ago
Dominik KutekDominik Kutek
1,7171 silver badge8 bronze badges
1,7171 silver badge8 bronze badges
add a comment
|
add a comment
|
$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
$$
$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
add a comment
|
$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
$$
$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
add a comment
|
$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
$$
$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
$$
answered 8 hours ago
robjohn♦robjohn
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
add a comment
|
$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
add a comment
|
$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$$
$endgroup$
add a comment
|
$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$$
$endgroup$
add a comment
|
$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$$
$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$$
edited 1 hour ago
answered 8 hours ago
Alexandre FriasAlexandre Frias
1654 bronze badges
1654 bronze badges
add a comment
|
add a comment
|
$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.
$endgroup$
add a comment
|
$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.
$endgroup$
add a comment
|
$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.
$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.
answered 8 hours ago
Mark BennetMark Bennet
86.8k9 gold badges92 silver badges197 bronze badges
86.8k9 gold badges92 silver badges197 bronze badges
add a comment
|
add a comment
|
$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$.
$endgroup$
add a comment
|
$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$.
$endgroup$
add a comment
|
$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$.
$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$.
answered 8 hours ago
OmnomnomnomOmnomnomnom
134k7 gold badges99 silver badges199 bronze badges
134k7 gold badges99 silver badges199 bronze badges
add a comment
|
add a comment
|
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
$begingroup$
Hint: Compare it to $2^n+1$.
$endgroup$
– lulu
8 hours ago