Find a matrix $B$ such that $B^3 = A$
$begingroup$
$$A=begin{pmatrix} 1 & -1 \ -2 & 1 end{pmatrix}$$
Find a matrix $B$ such that $B^3$ = A
My attempt:
I found $lambda_1= 1+{sqrt 2}$ and $lambda_2= 1-{sqrt 2}$
I also found their corresponding eigenvectors $vec v_1 =begin{pmatrix} frac{-sqrt 2}{2} \ 1 end{pmatrix}$ and $vec v_2 = begin{pmatrix} frac{sqrt 2}{2} \ 1 end{pmatrix}$
I know the Power function of a matrix formula $A=PDP^{-1}$
Because it's the cubed root I'm looking for I don't know how to get the cubed root of the eigenvaules and keep the maths neat. Is there another way to solve this problem or an I going the wrong way about doing it ?
linear-algebra matrices
$endgroup$
add a comment |
$begingroup$
$$A=begin{pmatrix} 1 & -1 \ -2 & 1 end{pmatrix}$$
Find a matrix $B$ such that $B^3$ = A
My attempt:
I found $lambda_1= 1+{sqrt 2}$ and $lambda_2= 1-{sqrt 2}$
I also found their corresponding eigenvectors $vec v_1 =begin{pmatrix} frac{-sqrt 2}{2} \ 1 end{pmatrix}$ and $vec v_2 = begin{pmatrix} frac{sqrt 2}{2} \ 1 end{pmatrix}$
I know the Power function of a matrix formula $A=PDP^{-1}$
Because it's the cubed root I'm looking for I don't know how to get the cubed root of the eigenvaules and keep the maths neat. Is there another way to solve this problem or an I going the wrong way about doing it ?
linear-algebra matrices
$endgroup$
1
$begingroup$
What's the problem with cube roots? Just write $sqrt[3]{1pm sqrt{2}}$. These numbers are unique if you want them to be real.
$endgroup$
– Peter Franek
Jun 21 '16 at 18:15
$begingroup$
What numbers are the components of $B$ allowed from?
$endgroup$
– mvw
Jun 21 '16 at 18:38
add a comment |
$begingroup$
$$A=begin{pmatrix} 1 & -1 \ -2 & 1 end{pmatrix}$$
Find a matrix $B$ such that $B^3$ = A
My attempt:
I found $lambda_1= 1+{sqrt 2}$ and $lambda_2= 1-{sqrt 2}$
I also found their corresponding eigenvectors $vec v_1 =begin{pmatrix} frac{-sqrt 2}{2} \ 1 end{pmatrix}$ and $vec v_2 = begin{pmatrix} frac{sqrt 2}{2} \ 1 end{pmatrix}$
I know the Power function of a matrix formula $A=PDP^{-1}$
Because it's the cubed root I'm looking for I don't know how to get the cubed root of the eigenvaules and keep the maths neat. Is there another way to solve this problem or an I going the wrong way about doing it ?
linear-algebra matrices
$endgroup$
$$A=begin{pmatrix} 1 & -1 \ -2 & 1 end{pmatrix}$$
Find a matrix $B$ such that $B^3$ = A
My attempt:
I found $lambda_1= 1+{sqrt 2}$ and $lambda_2= 1-{sqrt 2}$
I also found their corresponding eigenvectors $vec v_1 =begin{pmatrix} frac{-sqrt 2}{2} \ 1 end{pmatrix}$ and $vec v_2 = begin{pmatrix} frac{sqrt 2}{2} \ 1 end{pmatrix}$
I know the Power function of a matrix formula $A=PDP^{-1}$
Because it's the cubed root I'm looking for I don't know how to get the cubed root of the eigenvaules and keep the maths neat. Is there another way to solve this problem or an I going the wrong way about doing it ?
linear-algebra matrices
linear-algebra matrices
edited Jun 21 '16 at 20:01
Jennifer
8,44721837
8,44721837
asked Jun 21 '16 at 18:12
Patrick MoloneyPatrick Moloney
312114
312114
1
$begingroup$
What's the problem with cube roots? Just write $sqrt[3]{1pm sqrt{2}}$. These numbers are unique if you want them to be real.
$endgroup$
– Peter Franek
Jun 21 '16 at 18:15
$begingroup$
What numbers are the components of $B$ allowed from?
$endgroup$
– mvw
Jun 21 '16 at 18:38
add a comment |
1
$begingroup$
What's the problem with cube roots? Just write $sqrt[3]{1pm sqrt{2}}$. These numbers are unique if you want them to be real.
$endgroup$
– Peter Franek
Jun 21 '16 at 18:15
$begingroup$
What numbers are the components of $B$ allowed from?
$endgroup$
– mvw
Jun 21 '16 at 18:38
1
1
$begingroup$
What's the problem with cube roots? Just write $sqrt[3]{1pm sqrt{2}}$. These numbers are unique if you want them to be real.
$endgroup$
– Peter Franek
Jun 21 '16 at 18:15
$begingroup$
What's the problem with cube roots? Just write $sqrt[3]{1pm sqrt{2}}$. These numbers are unique if you want them to be real.
$endgroup$
– Peter Franek
Jun 21 '16 at 18:15
$begingroup$
What numbers are the components of $B$ allowed from?
$endgroup$
– mvw
Jun 21 '16 at 18:38
$begingroup$
What numbers are the components of $B$ allowed from?
$endgroup$
– mvw
Jun 21 '16 at 18:38
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
you find a matrix $P=left(
begin{array}{cc}
frac{-sqrt{2}}2 & frac{sqrt{2}}2 \
1 & 1
end{array}
right) $ diagonalizes $ A $ that is
$P^{-1}AP=left(begin{array}{cc}
1+sqrt{2} & 0 \
0 & 1-sqrt{2}
end{array}right) $,
then we look
for a simple matrix $ M =PBP^{-1} $ such that it is diagonal and $
M^3 = D$ an simple solution is $M=left(
begin{array}{cc}
sqrt[3]{left( 1+sqrt{2}right) } & 0 \
0 & -sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $ and so $B=PDP^{-1}$ is a solution. Precisely $$B= left(
begin{array}{cc}
frac 12sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt[3]{left( -1+sqrt{%
2}right) } & -frac 14sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 14%
sqrt{2}sqrt[3]{left( -1+sqrt{2}right) } \
-frac 12sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt{2}sqrt[3%
]{left( -1+sqrt{2}right) } & frac 12sqrt[3]{left( 1+sqrt{2}right) }%
-frac 12sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $$
$endgroup$
add a comment |
$begingroup$
Suppose that there is a matrix $B=begin{pmatrix} b_1 & b_3 \ b_2 & b_4end{pmatrix}$ such that $B^3=A$. Then we obtain two linear equations by applying the Buchberger algorithm to the four equations, namely
$$
b_2=2b_3,; b_4=b_1.
$$
This yields $b_1= - 4b_3^2 - 2b_3 + 1$, and all equations are satisfied if and only if $b_3$ satisfies
$$
8b_3^3 - 3b_3 + 1=0.
$$
We obtain exactly one real solution for $b_3$, and hence for $B$ with $B^3=A$.
$endgroup$
add a comment |
$begingroup$
You're almost done.
Take $B = PD^{1/3}P^{-1}$ where $D^{1/3}=operatorname{diag}(lambda_1^{1/3},lambda_2^{1/3})$ and try to compute $B^3$.
$endgroup$
add a comment |
$begingroup$
By the Cayley-Hamilton theorem, any analytic function $f$ of an $ntimes n$ matrix can be expressed as a polynomial $p(A)$ of degree at most $n-1$. So, a cube root $B$ of $A$ can be expressed in the form $aI+bA$ for some to-be-determined coefficients $a$ and $b$. Now, if $lambda$ is an eigenvalue of $A$, then we also have that $f(lambda)=p(lambda)$. For this problem, this second property generates a system of two linear equations in the unknown coefficients $a$ and $b$. Solve this system.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
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%2f1834826%2ffind-a-matrix-b-such-that-b3-a%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
you find a matrix $P=left(
begin{array}{cc}
frac{-sqrt{2}}2 & frac{sqrt{2}}2 \
1 & 1
end{array}
right) $ diagonalizes $ A $ that is
$P^{-1}AP=left(begin{array}{cc}
1+sqrt{2} & 0 \
0 & 1-sqrt{2}
end{array}right) $,
then we look
for a simple matrix $ M =PBP^{-1} $ such that it is diagonal and $
M^3 = D$ an simple solution is $M=left(
begin{array}{cc}
sqrt[3]{left( 1+sqrt{2}right) } & 0 \
0 & -sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $ and so $B=PDP^{-1}$ is a solution. Precisely $$B= left(
begin{array}{cc}
frac 12sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt[3]{left( -1+sqrt{%
2}right) } & -frac 14sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 14%
sqrt{2}sqrt[3]{left( -1+sqrt{2}right) } \
-frac 12sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt{2}sqrt[3%
]{left( -1+sqrt{2}right) } & frac 12sqrt[3]{left( 1+sqrt{2}right) }%
-frac 12sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $$
$endgroup$
add a comment |
$begingroup$
you find a matrix $P=left(
begin{array}{cc}
frac{-sqrt{2}}2 & frac{sqrt{2}}2 \
1 & 1
end{array}
right) $ diagonalizes $ A $ that is
$P^{-1}AP=left(begin{array}{cc}
1+sqrt{2} & 0 \
0 & 1-sqrt{2}
end{array}right) $,
then we look
for a simple matrix $ M =PBP^{-1} $ such that it is diagonal and $
M^3 = D$ an simple solution is $M=left(
begin{array}{cc}
sqrt[3]{left( 1+sqrt{2}right) } & 0 \
0 & -sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $ and so $B=PDP^{-1}$ is a solution. Precisely $$B= left(
begin{array}{cc}
frac 12sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt[3]{left( -1+sqrt{%
2}right) } & -frac 14sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 14%
sqrt{2}sqrt[3]{left( -1+sqrt{2}right) } \
-frac 12sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt{2}sqrt[3%
]{left( -1+sqrt{2}right) } & frac 12sqrt[3]{left( 1+sqrt{2}right) }%
-frac 12sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $$
$endgroup$
add a comment |
$begingroup$
you find a matrix $P=left(
begin{array}{cc}
frac{-sqrt{2}}2 & frac{sqrt{2}}2 \
1 & 1
end{array}
right) $ diagonalizes $ A $ that is
$P^{-1}AP=left(begin{array}{cc}
1+sqrt{2} & 0 \
0 & 1-sqrt{2}
end{array}right) $,
then we look
for a simple matrix $ M =PBP^{-1} $ such that it is diagonal and $
M^3 = D$ an simple solution is $M=left(
begin{array}{cc}
sqrt[3]{left( 1+sqrt{2}right) } & 0 \
0 & -sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $ and so $B=PDP^{-1}$ is a solution. Precisely $$B= left(
begin{array}{cc}
frac 12sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt[3]{left( -1+sqrt{%
2}right) } & -frac 14sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 14%
sqrt{2}sqrt[3]{left( -1+sqrt{2}right) } \
-frac 12sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt{2}sqrt[3%
]{left( -1+sqrt{2}right) } & frac 12sqrt[3]{left( 1+sqrt{2}right) }%
-frac 12sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $$
$endgroup$
you find a matrix $P=left(
begin{array}{cc}
frac{-sqrt{2}}2 & frac{sqrt{2}}2 \
1 & 1
end{array}
right) $ diagonalizes $ A $ that is
$P^{-1}AP=left(begin{array}{cc}
1+sqrt{2} & 0 \
0 & 1-sqrt{2}
end{array}right) $,
then we look
for a simple matrix $ M =PBP^{-1} $ such that it is diagonal and $
M^3 = D$ an simple solution is $M=left(
begin{array}{cc}
sqrt[3]{left( 1+sqrt{2}right) } & 0 \
0 & -sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $ and so $B=PDP^{-1}$ is a solution. Precisely $$B= left(
begin{array}{cc}
frac 12sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt[3]{left( -1+sqrt{%
2}right) } & -frac 14sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 14%
sqrt{2}sqrt[3]{left( -1+sqrt{2}right) } \
-frac 12sqrt{2}sqrt[3]{left( 1+sqrt{2}right) }-frac 12sqrt{2}sqrt[3%
]{left( -1+sqrt{2}right) } & frac 12sqrt[3]{left( 1+sqrt{2}right) }%
-frac 12sqrt[3]{left( -1+sqrt{2}right) }
end{array}
right) $$
answered Jun 21 '16 at 18:54
m.idayam.idaya
1,381410
1,381410
add a comment |
add a comment |
$begingroup$
Suppose that there is a matrix $B=begin{pmatrix} b_1 & b_3 \ b_2 & b_4end{pmatrix}$ such that $B^3=A$. Then we obtain two linear equations by applying the Buchberger algorithm to the four equations, namely
$$
b_2=2b_3,; b_4=b_1.
$$
This yields $b_1= - 4b_3^2 - 2b_3 + 1$, and all equations are satisfied if and only if $b_3$ satisfies
$$
8b_3^3 - 3b_3 + 1=0.
$$
We obtain exactly one real solution for $b_3$, and hence for $B$ with $B^3=A$.
$endgroup$
add a comment |
$begingroup$
Suppose that there is a matrix $B=begin{pmatrix} b_1 & b_3 \ b_2 & b_4end{pmatrix}$ such that $B^3=A$. Then we obtain two linear equations by applying the Buchberger algorithm to the four equations, namely
$$
b_2=2b_3,; b_4=b_1.
$$
This yields $b_1= - 4b_3^2 - 2b_3 + 1$, and all equations are satisfied if and only if $b_3$ satisfies
$$
8b_3^3 - 3b_3 + 1=0.
$$
We obtain exactly one real solution for $b_3$, and hence for $B$ with $B^3=A$.
$endgroup$
add a comment |
$begingroup$
Suppose that there is a matrix $B=begin{pmatrix} b_1 & b_3 \ b_2 & b_4end{pmatrix}$ such that $B^3=A$. Then we obtain two linear equations by applying the Buchberger algorithm to the four equations, namely
$$
b_2=2b_3,; b_4=b_1.
$$
This yields $b_1= - 4b_3^2 - 2b_3 + 1$, and all equations are satisfied if and only if $b_3$ satisfies
$$
8b_3^3 - 3b_3 + 1=0.
$$
We obtain exactly one real solution for $b_3$, and hence for $B$ with $B^3=A$.
$endgroup$
Suppose that there is a matrix $B=begin{pmatrix} b_1 & b_3 \ b_2 & b_4end{pmatrix}$ such that $B^3=A$. Then we obtain two linear equations by applying the Buchberger algorithm to the four equations, namely
$$
b_2=2b_3,; b_4=b_1.
$$
This yields $b_1= - 4b_3^2 - 2b_3 + 1$, and all equations are satisfied if and only if $b_3$ satisfies
$$
8b_3^3 - 3b_3 + 1=0.
$$
We obtain exactly one real solution for $b_3$, and hence for $B$ with $B^3=A$.
edited Jun 21 '16 at 18:40
answered Jun 21 '16 at 18:34
Dietrich BurdeDietrich Burde
80.3k647104
80.3k647104
add a comment |
add a comment |
$begingroup$
You're almost done.
Take $B = PD^{1/3}P^{-1}$ where $D^{1/3}=operatorname{diag}(lambda_1^{1/3},lambda_2^{1/3})$ and try to compute $B^3$.
$endgroup$
add a comment |
$begingroup$
You're almost done.
Take $B = PD^{1/3}P^{-1}$ where $D^{1/3}=operatorname{diag}(lambda_1^{1/3},lambda_2^{1/3})$ and try to compute $B^3$.
$endgroup$
add a comment |
$begingroup$
You're almost done.
Take $B = PD^{1/3}P^{-1}$ where $D^{1/3}=operatorname{diag}(lambda_1^{1/3},lambda_2^{1/3})$ and try to compute $B^3$.
$endgroup$
You're almost done.
Take $B = PD^{1/3}P^{-1}$ where $D^{1/3}=operatorname{diag}(lambda_1^{1/3},lambda_2^{1/3})$ and try to compute $B^3$.
answered Jun 21 '16 at 18:44
SurbSurb
38.4k94476
38.4k94476
add a comment |
add a comment |
$begingroup$
By the Cayley-Hamilton theorem, any analytic function $f$ of an $ntimes n$ matrix can be expressed as a polynomial $p(A)$ of degree at most $n-1$. So, a cube root $B$ of $A$ can be expressed in the form $aI+bA$ for some to-be-determined coefficients $a$ and $b$. Now, if $lambda$ is an eigenvalue of $A$, then we also have that $f(lambda)=p(lambda)$. For this problem, this second property generates a system of two linear equations in the unknown coefficients $a$ and $b$. Solve this system.
$endgroup$
add a comment |
$begingroup$
By the Cayley-Hamilton theorem, any analytic function $f$ of an $ntimes n$ matrix can be expressed as a polynomial $p(A)$ of degree at most $n-1$. So, a cube root $B$ of $A$ can be expressed in the form $aI+bA$ for some to-be-determined coefficients $a$ and $b$. Now, if $lambda$ is an eigenvalue of $A$, then we also have that $f(lambda)=p(lambda)$. For this problem, this second property generates a system of two linear equations in the unknown coefficients $a$ and $b$. Solve this system.
$endgroup$
add a comment |
$begingroup$
By the Cayley-Hamilton theorem, any analytic function $f$ of an $ntimes n$ matrix can be expressed as a polynomial $p(A)$ of degree at most $n-1$. So, a cube root $B$ of $A$ can be expressed in the form $aI+bA$ for some to-be-determined coefficients $a$ and $b$. Now, if $lambda$ is an eigenvalue of $A$, then we also have that $f(lambda)=p(lambda)$. For this problem, this second property generates a system of two linear equations in the unknown coefficients $a$ and $b$. Solve this system.
$endgroup$
By the Cayley-Hamilton theorem, any analytic function $f$ of an $ntimes n$ matrix can be expressed as a polynomial $p(A)$ of degree at most $n-1$. So, a cube root $B$ of $A$ can be expressed in the form $aI+bA$ for some to-be-determined coefficients $a$ and $b$. Now, if $lambda$ is an eigenvalue of $A$, then we also have that $f(lambda)=p(lambda)$. For this problem, this second property generates a system of two linear equations in the unknown coefficients $a$ and $b$. Solve this system.
answered Dec 5 '18 at 22:10
amdamd
30.7k21050
30.7k21050
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%2f1834826%2ffind-a-matrix-b-such-that-b3-a%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
1
$begingroup$
What's the problem with cube roots? Just write $sqrt[3]{1pm sqrt{2}}$. These numbers are unique if you want them to be real.
$endgroup$
– Peter Franek
Jun 21 '16 at 18:15
$begingroup$
What numbers are the components of $B$ allowed from?
$endgroup$
– mvw
Jun 21 '16 at 18:38