Find number of roots of a polynomial inside $ |z| < 2 $












2












$begingroup$


The question asks me to find the number of roots of $ z^6 - 5z^4 + 8z - 1 $ in the domain $ |z| < 2 $. This looks like a Rouché's theorem question, however $ |z^6 + 8z - 1| leq 81 $ while $ |-5z^4| = 80 $. How do I solve this question?










share|cite|improve this question











$endgroup$












  • $begingroup$
    A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.
    $endgroup$
    – LutzL
    Jan 6 at 11:59










  • $begingroup$
    So maybe this is not Rouché's theorem?
    $endgroup$
    – lifeishard911
    Jan 6 at 12:02
















2












$begingroup$


The question asks me to find the number of roots of $ z^6 - 5z^4 + 8z - 1 $ in the domain $ |z| < 2 $. This looks like a Rouché's theorem question, however $ |z^6 + 8z - 1| leq 81 $ while $ |-5z^4| = 80 $. How do I solve this question?










share|cite|improve this question











$endgroup$












  • $begingroup$
    A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.
    $endgroup$
    – LutzL
    Jan 6 at 11:59










  • $begingroup$
    So maybe this is not Rouché's theorem?
    $endgroup$
    – lifeishard911
    Jan 6 at 12:02














2












2








2


1



$begingroup$


The question asks me to find the number of roots of $ z^6 - 5z^4 + 8z - 1 $ in the domain $ |z| < 2 $. This looks like a Rouché's theorem question, however $ |z^6 + 8z - 1| leq 81 $ while $ |-5z^4| = 80 $. How do I solve this question?










share|cite|improve this question











$endgroup$




The question asks me to find the number of roots of $ z^6 - 5z^4 + 8z - 1 $ in the domain $ |z| < 2 $. This looks like a Rouché's theorem question, however $ |z^6 + 8z - 1| leq 81 $ while $ |-5z^4| = 80 $. How do I solve this question?







complex-analysis






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 6 at 12:01







lifeishard911

















asked Jan 6 at 9:29









lifeishard911lifeishard911

1166




1166












  • $begingroup$
    A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.
    $endgroup$
    – LutzL
    Jan 6 at 11:59










  • $begingroup$
    So maybe this is not Rouché's theorem?
    $endgroup$
    – lifeishard911
    Jan 6 at 12:02


















  • $begingroup$
    A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.
    $endgroup$
    – LutzL
    Jan 6 at 11:59










  • $begingroup$
    So maybe this is not Rouché's theorem?
    $endgroup$
    – lifeishard911
    Jan 6 at 12:02
















$begingroup$
A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.
$endgroup$
– LutzL
Jan 6 at 11:59




$begingroup$
A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.
$endgroup$
– LutzL
Jan 6 at 11:59












$begingroup$
So maybe this is not Rouché's theorem?
$endgroup$
– lifeishard911
Jan 6 at 12:02




$begingroup$
So maybe this is not Rouché's theorem?
$endgroup$
– lifeishard911
Jan 6 at 12:02










1 Answer
1






active

oldest

votes


















2












$begingroup$

A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.



winding plot



plot of the function values on the circle of radius $2$





Graphically, I find that with $g(z)=-4z^4+8z-1$ the inequality $$|f(z)|+|g(z)|ge 2+|f(z)-g(z)|tag{*}label{ineq:rouche}$$ holds for $|z|=2$. $g$ has all its 4 roots inside $|z|<2$. This allows to apply a version of Rouché where $f$ and $g$ have the same number of roots if $|f|+|g|>|f-g|$. Of course, only after closing the hole in the argumentation by strictly proving the claimed inequality eqref{ineq:rouche}.



enter image description here





The roots of $g$ are actually quite close to the roots of $f$, as the plot of the roots of $tf(z)+(1-t)g(z)=tz^6-(4+t)z^4+8z-1$ shows:



enter image description here






share|cite|improve this answer









$endgroup$













    Your Answer





    StackExchange.ifUsing("editor", function () {
    return StackExchange.using("mathjaxEditing", function () {
    StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
    StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
    });
    });
    }, "mathjax-editing");

    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%2f3063643%2ffind-number-of-roots-of-a-polynomial-inside-z-2%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    2












    $begingroup$

    A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.



    winding plot



    plot of the function values on the circle of radius $2$





    Graphically, I find that with $g(z)=-4z^4+8z-1$ the inequality $$|f(z)|+|g(z)|ge 2+|f(z)-g(z)|tag{*}label{ineq:rouche}$$ holds for $|z|=2$. $g$ has all its 4 roots inside $|z|<2$. This allows to apply a version of Rouché where $f$ and $g$ have the same number of roots if $|f|+|g|>|f-g|$. Of course, only after closing the hole in the argumentation by strictly proving the claimed inequality eqref{ineq:rouche}.



    enter image description here





    The roots of $g$ are actually quite close to the roots of $f$, as the plot of the roots of $tf(z)+(1-t)g(z)=tz^6-(4+t)z^4+8z-1$ shows:



    enter image description here






    share|cite|improve this answer









    $endgroup$


















      2












      $begingroup$

      A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.



      winding plot



      plot of the function values on the circle of radius $2$





      Graphically, I find that with $g(z)=-4z^4+8z-1$ the inequality $$|f(z)|+|g(z)|ge 2+|f(z)-g(z)|tag{*}label{ineq:rouche}$$ holds for $|z|=2$. $g$ has all its 4 roots inside $|z|<2$. This allows to apply a version of Rouché where $f$ and $g$ have the same number of roots if $|f|+|g|>|f-g|$. Of course, only after closing the hole in the argumentation by strictly proving the claimed inequality eqref{ineq:rouche}.



      enter image description here





      The roots of $g$ are actually quite close to the roots of $f$, as the plot of the roots of $tf(z)+(1-t)g(z)=tz^6-(4+t)z^4+8z-1$ shows:



      enter image description here






      share|cite|improve this answer









      $endgroup$
















        2












        2








        2





        $begingroup$

        A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.



        winding plot



        plot of the function values on the circle of radius $2$





        Graphically, I find that with $g(z)=-4z^4+8z-1$ the inequality $$|f(z)|+|g(z)|ge 2+|f(z)-g(z)|tag{*}label{ineq:rouche}$$ holds for $|z|=2$. $g$ has all its 4 roots inside $|z|<2$. This allows to apply a version of Rouché where $f$ and $g$ have the same number of roots if $|f|+|g|>|f-g|$. Of course, only after closing the hole in the argumentation by strictly proving the claimed inequality eqref{ineq:rouche}.



        enter image description here





        The roots of $g$ are actually quite close to the roots of $f$, as the plot of the roots of $tf(z)+(1-t)g(z)=tz^6-(4+t)z^4+8z-1$ shows:



        enter image description here






        share|cite|improve this answer









        $endgroup$



        A naive Newton-polygon-type analysis finds 2 roots close to $z=pmsqrt5$, 3 roots at about $z=q^ksqrt[3]{frac85}$ and one root close to $z=frac18$, thus $4$ roots inside $|z|<2$. Numerics moves the root guessed at $sqrt5$ to $z=2.02332..$, making the application of Rouché for the circle $|z|=2$ non-trivial.



        winding plot



        plot of the function values on the circle of radius $2$





        Graphically, I find that with $g(z)=-4z^4+8z-1$ the inequality $$|f(z)|+|g(z)|ge 2+|f(z)-g(z)|tag{*}label{ineq:rouche}$$ holds for $|z|=2$. $g$ has all its 4 roots inside $|z|<2$. This allows to apply a version of Rouché where $f$ and $g$ have the same number of roots if $|f|+|g|>|f-g|$. Of course, only after closing the hole in the argumentation by strictly proving the claimed inequality eqref{ineq:rouche}.



        enter image description here





        The roots of $g$ are actually quite close to the roots of $f$, as the plot of the roots of $tf(z)+(1-t)g(z)=tz^6-(4+t)z^4+8z-1$ shows:



        enter image description here







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Jan 6 at 13:38









        LutzLLutzL

        57.4k42054




        57.4k42054






























            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%2f3063643%2ffind-number-of-roots-of-a-polynomial-inside-z-2%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

            Can a sorcerer learn a 5th-level spell early by creating spell slots using the Font of Magic feature?

            ts Property 'filter' does not exist on type '{}'

            mat-slide-toggle shouldn't change it's state when I click cancel in confirmation window