Proof involving the spectral radius and Jordan Canonical form Announcing the arrival of Valued...

Is there a "higher Segal conjecture"?

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

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

What makes black pepper strong or mild?

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

How does cp -a work

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

Java 8 stream max() function argument type Comparator vs Comparable

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

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

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

How much radiation do nuclear physics experiments expose researchers to nowadays?

Disable hyphenation for an entire paragraph

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

Is 1 ppb equal to 1 μg/kg?

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

What are the pros and cons of Aerospike nosecones?

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

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

Did Xerox really develop the first LAN?

What causes the vertical darker bands in my photo?

Is there a Spanish version of "dot your i's and cross your t's" that includes the letter 'ñ'?

Is there a concise way to say "all of the X, one of each"?

When to stop saving and start investing?



Proof involving the spectral radius and Jordan Canonical form



Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Spectral radius of the Volterra operatorExample that the Jordan canonical form is not “robust.”The unit vector in the direction of uWhat is the purpose of Jordan Canonical Form?Confusion between spectral radius of matrix and spectral radius of the operatorComputing the Jordan Form of a MatrixSpectral radius of perturbed bipartite graphsA proof involving invertible $ntimes n$ matricesProof of Gelfand's formula without using $rho(A) < 1$ iff $lim A^n = 0$Computing Canonical Jordan Form over a field $mathbb{Q}$












2












$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









$endgroup$

















    2












    $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









    $endgroup$















      2












      2








      2





      $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









      $endgroup$




      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




      linear-algebra spectral-radius






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 1 hour ago









      mXdXmXdX

      1068




      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









          $endgroup$





















            2












            $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









            $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
              24 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.
              19 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
              14 mins ago












            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


















            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















            Required, but never shown

























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            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









            $endgroup$


















              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









              $endgroup$
















                5












                5








                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









                $endgroup$



                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












                share|cite|improve this answer



                share|cite|improve this answer










                answered 30 mins ago









                Robert IsraelRobert Israel

                332k23221478




                332k23221478























                    2












                    $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









                    $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
                      24 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.
                      19 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
                      14 mins ago
















                    2












                    $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









                    $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
                      24 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.
                      19 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
                      14 mins ago














                    2












                    2








                    2





                    $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









                    $endgroup$



                    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












                    share|cite|improve this answer



                    share|cite|improve this answer










                    answered 46 mins ago









                    N. S.N. S.

                    105k7115210




                    105k7115210












                    • $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
                      24 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.
                      19 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
                      14 mins ago


















                    • $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
                      24 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.
                      19 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
                      14 mins ago
















                    $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
                    24 mins ago




                    $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
                    24 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.
                    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.
                    19 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
                    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
                    14 mins ago


















                    draft saved

                    draft discarded




















































                    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.




                    draft saved


                    draft discarded














                    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















                    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







                    -

                    Popular posts from this blog

                    Why do type traits not work with types in namespace scope?What are POD types in C++?Why can templates only be...

                    Image
                    What does it mean to express a gate in Dirac notation? A Strange Latex Symbol How can Republicans who favour free markets, consistently express anger when they don't like the outcome of that choice? What happened to Captain America in Endgame? How to solve constants out of the internal energy equation? How can I place the product on a social media post better? Will tsunami waves travel forever if there was no land? Unexpected email from Yorkshire Bank What is the relationship between spectral sequences and obstruction theory? How can I practically buy stocks? Will a top journal at least re...
                    Read more

                    Will tsunami waves travel forever if there was no land?Why do tsunami waves begin with the water flowing away...

                    Image
                    How much cash can I safely carry into the USA and avoid civil forfeiture? Is there really no use for MD5 anymore? Is contacting this expert in the field something acceptable or would it be discourteous? How to pronounce 'C++' in Spanish How to creep the reader out with what seems like a normal person? Critique of timeline aesthetic Sci fi novel series with instant travel between planets through gates. A river runs through the gates How did Captain America manage to do this? Are Boeing 737-800’s grounded? Error message with tabularx How to make a pipeline wait for end-of-file or stop af...
                    Read more

                    Simple Scan not detecting my scanner (Brother DCP-7055W)Brother MFC-L2700DW printer can print, can't...

                    Image
                    Can someone publish a story that happened to you? Will tsunami waves travel forever if there was no land? What is the strongest case that can be made in favour of the UK regaining some control over fishing policy after Brexit? Controversial area of mathematics Packing rectangles: Does rotation ever help? Is there a way to get a compiler for the original B programming language? Using a Lyapunov function to classify stability and sketching a phase portrait Do I have an "anti-research" personality? Reducing vertical space in stackrel What does KSP mean? Pulling the rope with one hand is...
                    Read more