Simplify recurrence relation made of 3 series
$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}$
recurrence-relations
$endgroup$
add a comment |
$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}$
recurrence-relations
$endgroup$
add a comment |
$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}$
recurrence-relations
$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
recurrence-relations
asked Feb 2 at 20:08
BBLNBBLN
1194
1194
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$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 ; ?$
$endgroup$
$begingroup$
This is introduction class so I'm afraid I cant understand this solution yet :)
$endgroup$
– BBLN
Feb 2 at 20:40
add a comment |
$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.
$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
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/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
});
}
});
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%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
$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 ; ?$
$endgroup$
$begingroup$
This is introduction class so I'm afraid I cant understand this solution yet :)
$endgroup$
– BBLN
Feb 2 at 20:40
add a comment |
$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 ; ?$
$endgroup$
$begingroup$
This is introduction class so I'm afraid I cant understand this solution yet :)
$endgroup$
– BBLN
Feb 2 at 20:40
add a comment |
$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 ; ?$
$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 ; ?$
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
add a comment |
$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
add a comment |
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
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
add a comment |
$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
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%2f3097739%2fsimplify-recurrence-relation-made-of-3-series%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