Kdtyjb

Right-skewed distribution with mean equals to mode?

How does cp -a work

Is it true that "carbohydrates are of no use for the basal metabolic need"?

Why is "Consequences inflicted." not a sentence?

What happens to sewage if there is no river near by?

What is the musical term for a note that continously plays through a melody?

What LEGO pieces have "real-world" functionality?

G-Code for resetting to 100% speed

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

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

Is there a "higher Segal conjecture"?

The logistics of corpse disposal

Is a manifold-with-boundary with given interior and non-empty boundary essentially unique?

How to motivate offshore teams and trust them to deliver?

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

How does a Death Domain cleric's Touch of Death feature work with Touch-range spells delivered by familiars?

Did Xerox really develop the first LAN?

Is the Standard Deduction better than Itemized when both are the same amount?

How do I keep my slimes from escaping their pens?

If a contract sometimes uses the wrong name, is it still valid?

What do you call a plan that's an alternative plan in case your initial plan fails?

ListPlot join points by nearest neighbor rather than order

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

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

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 58 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 58 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 58 mins ago

mXdXmXdX

1018

$endgroup$

share|cite|improve this question

asked 58 mins ago

mXdXmXdX

1018

share|cite|improve this question

asked 58 mins ago

mXdXmXdX

1018

asked 58 mins ago

mXdXmXdX

1018

asked 58 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 27 mins ago

Robert IsraelRobert Israel

332k23221478

$endgroup$

add a comment | 

1

$begingroup$

Hint

$$A=PJP^{-1} \
J=begin{bmatrix}
lambda_1 & * & 0 & 0 & 0 & ... & 0 \
0& lambda_2 & * & 0 & 0 & ... & 0 \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n \
end{bmatrix}$$
where each $*$ is either $0$ or $1$.

Prove by induction that
$$J^m=begin{bmatrix}
lambda_1^m & star & star & star & star & ... & star \
0& lambda_2^m & star & star & star & ... & star \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n^m \
end{bmatrix}$$
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 43 mins ago

N. S.N. S.

105k7115210

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  So, $A^{m} = PJ^{m}P^{-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
  21 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.
  16 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
  10 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 27 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 27 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 27 mins ago

Robert IsraelRobert Israel

332k23221478

$endgroup$

share|cite|improve this answer

answered 27 mins ago

Robert IsraelRobert Israel

332k23221478

answered 27 mins ago

Robert IsraelRobert Israel

332k23221478

answered 27 mins ago

Robert IsraelRobert Israel

332k23221478

1

$begingroup$

Hint

$$A=PJP^{-1} \
J=begin{bmatrix}
lambda_1 & * & 0 & 0 & 0 & ... & 0 \
0& lambda_2 & * & 0 & 0 & ... & 0 \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n \
end{bmatrix}$$
where each $*$ is either $0$ or $1$.

Prove by induction that
$$J^m=begin{bmatrix}
lambda_1^m & star & star & star & star & ... & star \
0& lambda_2^m & star & star & star & ... & star \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n^m \
end{bmatrix}$$
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 43 mins ago

N. S.N. S.

105k7115210

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  So, $A^{m} = PJ^{m}P^{-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
  21 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.
  16 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
  10 mins ago
  

  
  
  
  

add a comment | 

1

$begingroup$

Hint

$$A=PJP^{-1} \
J=begin{bmatrix}
lambda_1 & * & 0 & 0 & 0 & ... & 0 \
0& lambda_2 & * & 0 & 0 & ... & 0 \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n \
end{bmatrix}$$
where each $*$ is either $0$ or $1$.

Prove by induction that
$$J^m=begin{bmatrix}
lambda_1^m & star & star & star & star & ... & star \
0& lambda_2^m & star & star & star & ... & star \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n^m \
end{bmatrix}$$
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 43 mins ago

N. S.N. S.

105k7115210

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  So, $A^{m} = PJ^{m}P^{-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
  21 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.
  16 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
  10 mins ago
  

  
  
  
  

add a comment | 

$begingroup$

Hint

$$A=PJP^{-1} \
J=begin{bmatrix}
lambda_1 & * & 0 & 0 & 0 & ... & 0 \
0& lambda_2 & * & 0 & 0 & ... & 0 \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n \
end{bmatrix}$$
where each $*$ is either $0$ or $1$.

Prove by induction that
$$J^m=begin{bmatrix}
lambda_1^m & star & star & star & star & ... & star \
0& lambda_2^m & star & star & star & ... & star \
...&...&...&...&....&....&....\
0 & 0 & 0 & 0&0&...&lambda_n^m \
end{bmatrix}$$
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 43 mins ago

N. S.N. S.

105k7115210

$endgroup$

share|cite|improve this answer

answered 43 mins ago

N. S.N. S.

105k7115210

answered 43 mins ago

N. S.N. S.

105k7115210

answered 43 mins ago

N. S.N. S.

105k7115210