Zrjydtj

How to find all the available tools in macOS terminal?

Is there a service that would inform me whenever a new direct route is scheduled from a given airport?

Do I really need recursive chmod to restrict access to a folder?

How do I mention the quality of my school without bragging

Why are there no cargo aircraft with "flying wing" design?

Letter Boxed validator

G-Code for resetting to 100% speed

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

Is there a documented rationale why the House Ways and Means chairman can demand tax info?

How to deal with a team lead who never gives me credit?

How do I keep my slimes from escaping their pens?

Does surprise arrest existing movement?

Withdrew £2800, but only £2000 shows as withdrawn on online banking; what are my obligations?

Why one of virtual NICs called bond0?

How can players work together to take actions that are otherwise impossible?

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

What is the longest distance a 13th-level monk can jump while attacking on the same turn?

Did Kevin spill real chili?

What is this single-engine low-wing propeller plane?

Should I discuss the type of campaign with my players?

List *all* the tuples!

Did Xerox really develop the first LAN?

Can inflation occur in a positive-sum game currency system such as the Stack Exchange reputation system?

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

Proof involving the spectral radius and the Jordan canonical form

2

$begingroup$

Let $A$ be a square matrix. Show that if $$lim_n to infty A^n = 0$$ then $rho(A) < 1$, where $rho(A)$ denotes the spectral radius of $A$.

Hint: Use the Jordan canonical form.

I am 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 matrices jordan-normal-form spectral-radius

share|cite|improve this question

edited 29 mins ago

Rodrigo de Azevedo

13.2k41961

asked 1 hour ago

mXdXmXdX

1068

$endgroup$

add a comment | 

2

$begingroup$

Let $A$ be a square matrix. Show that if $$lim_n to infty A^n = 0$$ then $rho(A) < 1$, where $rho(A)$ denotes the spectral radius of $A$.

Hint: Use the Jordan canonical form.

I am 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 matrices jordan-normal-form spectral-radius

share|cite|improve this question

edited 29 mins ago

Rodrigo de Azevedo

13.2k41961

asked 1 hour ago

mXdXmXdX

1068

$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$, where $rho(A)$ denotes the spectral radius of $A$.

Hint: Use the Jordan canonical form.

I am 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 matrices jordan-normal-form spectral-radius

share|cite|improve this question

edited 29 mins ago

Rodrigo de Azevedo

13.2k41961

asked 1 hour ago

mXdXmXdX

1068

$endgroup$

share|cite|improve this question

edited 29 mins ago

Rodrigo de Azevedo

13.2k41961

asked 1 hour ago

mXdXmXdX

1068

share|cite|improve this question

edited 29 mins ago

Rodrigo de Azevedo

13.2k41961

asked 1 hour ago

mXdXmXdX

1068

edited 29 mins ago

Rodrigo de Azevedo

13.2k41961

edited 29 mins ago

Rodrigo de Azevedo

13.2k41961

asked 1 hour ago

mXdXmXdX

1068

asked 1 hour ago

mXdXmXdX

1068

2 Answers
2

active

oldest

votes

5

$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 1 hour ago

Robert IsraelRobert Israel

332k23221478

$endgroup$

add a comment | 

2

$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 1 hour 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
  1 hour 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.
  1 hour 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
  1 hour 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-the-jordan-canonical-form%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

5

$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 1 hour ago

Robert IsraelRobert Israel

332k23221478

$endgroup$

add a comment | 

5

$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 1 hour 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 1 hour ago

Robert IsraelRobert Israel

332k23221478

$endgroup$

share|cite|improve this answer

answered 1 hour ago

Robert IsraelRobert Israel

332k23221478

answered 1 hour ago

Robert IsraelRobert Israel

332k23221478

answered 1 hour ago

Robert IsraelRobert Israel

332k23221478

2

$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 1 hour 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
  1 hour 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.
  1 hour 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
  1 hour ago
  

  
  
  
  

add a comment | 

2

$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 1 hour 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
  1 hour 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.
  1 hour 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
  1 hour 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 1 hour ago

N. S.N. S.

105k7115210

$endgroup$

share|cite|improve this answer

answered 1 hour ago

N. S.N. S.

105k7115210

answered 1 hour ago

N. S.N. S.

105k7115210

answered 1 hour ago

N. S.N. S.

105k7115210