MHB Convergence of iteration method - Relation between norm and eigenvalue

mathmari
Gold Member
MHB
Messages
4,984
Reaction score
7
Hey! :o

Let $G$ be the iteration matrix of an iteration method. So that the iteration method converges is the only condition that the spectral radius id less than $1$, $\rho (G)<1$, no matter what holds for the norms of $G$ ?
I mean if it holds that $\|G\|_{\infty}=3$ and $\rho (G)=0.3<1$ or $\|G\|_{1}=1$ and $\rho (G)=0.1<1$ in these both cases the iteration method converges, or not? (Wondering)

I have also an other question. Let $A$ be a symmetric matrix. If $\|A\|=0.01$ then there is an eigenvalue $\lambda$ with $|\lambda|\leq 0.01$, isn't it? We get that using the spectral radius: $\rho (A)=\max |\lambda_i|\leq \|A\|_1$, right? (Wondering)
 
Mathematics news on Phys.org
mathmari said:
Let $G$ be the iteration matrix of an iteration method. So that the iteration method converges is the only condition that the spectral radius id less than $1$, $\rho (G)<1$, no matter what holds for the norms of $G$ ?
I mean if it holds that $\|G\|_{\infty}=3$ and $\rho (G)=0.3<1$ or $\|G\|_{1}=1$ and $\rho (G)=0.1<1$ in these both cases the iteration method converges, or not? (Wondering)
For an iteration procedure, you are going to be interested in powers of $G$. So what matters is that $\|G^n\| < 1$ when $n$ is large. It doesn't matter whether $G$ itself has norm larger than $1$, so long as the powers of $G$ have smaller norms.

The spectral radius has the property that $$\rho(G) = \lim_{n\to\infty}\|G^n\|^{1/n}.$$ So if $\rho(G)<1$ then $\|G^n\|<1$ whenever $n$ is large enough, and that is sufficient to ensure that the iteration method converges.

mathmari said:
I have also an other question. Let $A$ be a symmetric matrix. If $\|A\|=0.01$ then there is an eigenvalue $\lambda$ with $|\lambda|\leq 0.01$, isn't it? We get that using the spectral radius: $\rho (A)=\max |\lambda_i|\leq \|A\|_1$, right? (Wondering)
For a symmetric matrix, the spectral radius is equal to the norm. So if $\|A\|=0.01$ then there is actually an eigenvalue $\lambda$ with $|\lambda| = 0.01$.
 
Opalg said:
For an iteration procedure, you are going to be interested in powers of $G$. So what matters is that $\|G^n\| < 1$ when $n$ is large. It doesn't matter whether $G$ itself has norm larger than $1$, so long as the powers of $G$ have smaller norms.

The spectral radius has the property that $$\rho(G) = \lim_{n\to\infty}\|G^n\|^{1/n}.$$ So if $\rho(G)<1$ then $\|G^n\|<1$ whenever $n$ is large enough, and that is sufficient to ensure that the iteration method converges.For a symmetric matrix, the spectral radius is equal to the norm. So if $\|A\|=0.01$ then there is actually an eigenvalue $\lambda$ with $|\lambda| = 0.01$.
I see! Thank you very much! (Smile)
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...

Similar threads

Replies
9
Views
3K
Replies
1
Views
2K
Replies
3
Views
2K
Replies
17
Views
3K
Replies
5
Views
2K
Replies
21
Views
4K
Replies
3
Views
2K
Replies
2
Views
2K
Back
Top