Gdtyjr

Using et al. for a last / senior author rather than for a first author

What would be the ideal power source for a cybernetic eye?

How do I mention the quality of my school without bragging

Output the ŋarâþ crîþ alphabet song without using (m)any letters

If 'B is more likely given A', then 'A is more likely given B'

Bonus calculation: Am I making a mountain out of a molehill?

Did Xerox really develop the first LAN?

Does surprise arrest existing movement?

G-Code for resetting to 100% speed

What is a Meta algorithm?

Why is black pepper both grey and black?

Storing hydrofluoric acid before the invention of plastics

"Seemed to had" is it correct?

What does the "x" in "x86" represent?

How widely used is the term Treppenwitz? Is it something that most Germans know?

Why did the IBM 650 use bi-quinary?

How to recreate this effect in Photoshop?

Should I call the interviewer directly, if HR aren't responding?

Why don't the Weasley twins use magic outside of school if the Trace can only find the location of spells cast?

Does accepting a pardon have any bearing on trying that person for the same crime in a sovereign jurisdiction?

When to stop saving and start investing?

Why aren't air breathing engines used as small first stages

When is phishing education going too far?

Is above average number of years spent on PhD considered a red flag in future academia or industry positions?

Proof involving the spectral radius and Jordan Canonical form

1

$begingroup$

Let $A$ be a square matrix. Show that if $lim_n to infty A^n = 0$, then $rho(A) < 1$. Hint: Use the Jordan Canonical form. Here, $rho(A)$ denotes the spectral radius of $A$.

I'm self-studying and have been working through a few linear algebra exercises. I'm struggling a bit in applying the hint to this problem -- I don't know where to start. Any help appreciated.

linear-algebra spectral-radius

share|cite|improve this question

asked 56 mins ago

mXdXmXdX

1018

$endgroup$

add a comment | 

1

$begingroup$

Let $A$ be a square matrix. Show that if $lim_n to infty A^n = 0$, then $rho(A) < 1$. Hint: Use the Jordan Canonical form. Here, $rho(A)$ denotes the spectral radius of $A$.

I'm self-studying and have been working through a few linear algebra exercises. I'm struggling a bit in applying the hint to this problem -- I don't know where to start. Any help appreciated.

linear-algebra spectral-radius

share|cite|improve this question

asked 56 mins ago

mXdXmXdX

1018

$endgroup$

add a comment | 

$begingroup$

Let $A$ be a square matrix. Show that if $lim_n to infty A^n = 0$, then $rho(A) < 1$. Hint: Use the Jordan Canonical form. Here, $rho(A)$ denotes the spectral radius of $A$.

I'm self-studying and have been working through a few linear algebra exercises. I'm struggling a bit in applying the hint to this problem -- I don't know where to start. Any help appreciated.

linear-algebra spectral-radius

share|cite|improve this question

asked 56 mins ago

mXdXmXdX

1018

$endgroup$

share|cite|improve this question

asked 56 mins ago

mXdXmXdX

1018

share|cite|improve this question

asked 56 mins ago

mXdXmXdX

1018

asked 56 mins ago

mXdXmXdX

1018

asked 56 mins ago

mXdXmXdX

1018

2 Answers
2

active

oldest

votes

4

$begingroup$

You don't really need Jordan canonical form. If $rho(A) ge 1$, $A$ has an eigenvalue $lambda$ with $|lambda| ge 1$. That eigenvalue has an eigenvector $v$. Then $A^n v = lambda^n v$, so $|A^n v| = |lambda|^n |v| ge |v|$ does not go to $0$ as $n to infty$, which is impossible if $A^n to 0$.

share|cite|improve this answer

answered 25 mins ago

Robert IsraelRobert Israel

332k23221478

$endgroup$

add a comment | 

1

$begingroup$

Hint

$$A=PJP^-1 \
J=beginbmatrix
lambda_1 & * & 0 & 0 & 0 & ... & 0 \
0& lambda_2 & * & 0 & 0 & ... & 0 \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n \
endbmatrix$$
where each $*$ is either $0$ or $1$.

Prove by induction that
$$J^m=beginbmatrix
lambda_1^m & star & star & star & star & ... & star \
0& lambda_2^m & star & star & star & ... & star \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n^m \
endbmatrix$$
where the $star$s represent numbers, that is $J^m$ is an upper triangular matrix
with the $m$^th powers of the eigenvalues on the diagonal.

Note The above claim for $J^m$ is not fully using that $J$ is a Jordan cannonical form. It only uses that $J$ is upper triangular.

share|cite|improve this answer

answered 40 mins ago

N. S.N. S.

105k7115210

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  So, $A^m = PJ^mP^-1$. If I can show what you're asking by induction, would the limit of $J^m = 0$? I'm sure it is because the diagonal entries are less than one, right?
  $endgroup$
  – mXdX
  19 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @mXdX Well, that is the point. First $$lim_m J^m= lim_m P^-1 A^m P =0$$ Now, since $lim J^m=0$ you can deduce that the diagonal entries converge to zero, meaning $lambda_j^m to 0$. This implies that $|lambda_j |<1$
  $endgroup$
  – N. S.
  14 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I understand now. Thanks. So I would have to show, like you said, that the diagonal entries of $J^m$ are the $m$th powers of the eigenvalues.
  $endgroup$
  – mXdX
  8 mins ago
  

  
  
  
  

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
);



);

draft saved

draft discarded

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

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3189376%2fproof-involving-the-spectral-radius-and-jordan-canonical-form%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

4

$begingroup$

You don't really need Jordan canonical form. If $rho(A) ge 1$, $A$ has an eigenvalue $lambda$ with $|lambda| ge 1$. That eigenvalue has an eigenvector $v$. Then $A^n v = lambda^n v$, so $|A^n v| = |lambda|^n |v| ge |v|$ does not go to $0$ as $n to infty$, which is impossible if $A^n to 0$.

share|cite|improve this answer

answered 25 mins ago

Robert IsraelRobert Israel

332k23221478

$endgroup$

add a comment | 

4

$begingroup$

You don't really need Jordan canonical form. If $rho(A) ge 1$, $A$ has an eigenvalue $lambda$ with $|lambda| ge 1$. That eigenvalue has an eigenvector $v$. Then $A^n v = lambda^n v$, so $|A^n v| = |lambda|^n |v| ge |v|$ does not go to $0$ as $n to infty$, which is impossible if $A^n to 0$.

share|cite|improve this answer

answered 25 mins ago

Robert IsraelRobert Israel

332k23221478

$endgroup$

add a comment | 

$begingroup$

You don't really need Jordan canonical form. If $rho(A) ge 1$, $A$ has an eigenvalue $lambda$ with $|lambda| ge 1$. That eigenvalue has an eigenvector $v$. Then $A^n v = lambda^n v$, so $|A^n v| = |lambda|^n |v| ge |v|$ does not go to $0$ as $n to infty$, which is impossible if $A^n to 0$.

share|cite|improve this answer

answered 25 mins ago

Robert IsraelRobert Israel

332k23221478

$endgroup$

share|cite|improve this answer

answered 25 mins ago

Robert IsraelRobert Israel

332k23221478

answered 25 mins ago

Robert IsraelRobert Israel

332k23221478

answered 25 mins ago

Robert IsraelRobert Israel

332k23221478

1

$begingroup$

Hint

$$A=PJP^-1 \
J=beginbmatrix
lambda_1 & * & 0 & 0 & 0 & ... & 0 \
0& lambda_2 & * & 0 & 0 & ... & 0 \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n \
endbmatrix$$
where each $*$ is either $0$ or $1$.

Prove by induction that
$$J^m=beginbmatrix
lambda_1^m & star & star & star & star & ... & star \
0& lambda_2^m & star & star & star & ... & star \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n^m \
endbmatrix$$
where the $star$s represent numbers, that is $J^m$ is an upper triangular matrix
with the $m$^th powers of the eigenvalues on the diagonal.

Note The above claim for $J^m$ is not fully using that $J$ is a Jordan cannonical form. It only uses that $J$ is upper triangular.

share|cite|improve this answer

answered 40 mins ago

N. S.N. S.

105k7115210

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  So, $A^m = PJ^mP^-1$. If I can show what you're asking by induction, would the limit of $J^m = 0$? I'm sure it is because the diagonal entries are less than one, right?
  $endgroup$
  – mXdX
  19 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @mXdX Well, that is the point. First $$lim_m J^m= lim_m P^-1 A^m P =0$$ Now, since $lim J^m=0$ you can deduce that the diagonal entries converge to zero, meaning $lambda_j^m to 0$. This implies that $|lambda_j |<1$
  $endgroup$
  – N. S.
  14 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I understand now. Thanks. So I would have to show, like you said, that the diagonal entries of $J^m$ are the $m$th powers of the eigenvalues.
  $endgroup$
  – mXdX
  8 mins ago
  

  
  
  
  

add a comment | 

1

$begingroup$

Hint

$$A=PJP^-1 \
J=beginbmatrix
lambda_1 & * & 0 & 0 & 0 & ... & 0 \
0& lambda_2 & * & 0 & 0 & ... & 0 \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n \
endbmatrix$$
where each $*$ is either $0$ or $1$.

Prove by induction that
$$J^m=beginbmatrix
lambda_1^m & star & star & star & star & ... & star \
0& lambda_2^m & star & star & star & ... & star \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n^m \
endbmatrix$$
where the $star$s represent numbers, that is $J^m$ is an upper triangular matrix
with the $m$^th powers of the eigenvalues on the diagonal.

Note The above claim for $J^m$ is not fully using that $J$ is a Jordan cannonical form. It only uses that $J$ is upper triangular.

share|cite|improve this answer

answered 40 mins ago

N. S.N. S.

105k7115210

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  So, $A^m = PJ^mP^-1$. If I can show what you're asking by induction, would the limit of $J^m = 0$? I'm sure it is because the diagonal entries are less than one, right?
  $endgroup$
  – mXdX
  19 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  @mXdX Well, that is the point. First $$lim_m J^m= lim_m P^-1 A^m P =0$$ Now, since $lim J^m=0$ you can deduce that the diagonal entries converge to zero, meaning $lambda_j^m to 0$. This implies that $|lambda_j |<1$
  $endgroup$
  – N. S.
  14 mins ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I understand now. Thanks. So I would have to show, like you said, that the diagonal entries of $J^m$ are the $m$th powers of the eigenvalues.
  $endgroup$
  – mXdX
  8 mins ago
  

  
  
  
  

add a comment | 

$begingroup$

Hint

$$A=PJP^-1 \
J=beginbmatrix
lambda_1 & * & 0 & 0 & 0 & ... & 0 \
0& lambda_2 & * & 0 & 0 & ... & 0 \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n \
endbmatrix$$
where each $*$ is either $0$ or $1$.

Prove by induction that
$$J^m=beginbmatrix
lambda_1^m & star & star & star & star & ... & star \
0& lambda_2^m & star & star & star & ... & star \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n^m \
endbmatrix$$
where the $star$s represent numbers, that is $J^m$ is an upper triangular matrix
with the $m$^th powers of the eigenvalues on the diagonal.

Note The above claim for $J^m$ is not fully using that $J$ is a Jordan cannonical form. It only uses that $J$ is upper triangular.

share|cite|improve this answer

answered 40 mins ago

N. S.N. S.

105k7115210

$endgroup$

share|cite|improve this answer

answered 40 mins ago

N. S.N. S.

105k7115210

answered 40 mins ago

N. S.N. S.

105k7115210

answered 40 mins ago

N. S.N. S.

105k7115210