Integral of an analytic function f over a closed curve which is homotopic to a point in the domain of f.











up vote
0
down vote

favorite












The problem states that if $f$ is nonzero and analytic on a region $A$, and if $gamma$ is closed and homotopic to a point in $A$, then $displaystyleint_{gamma} frac{f'(z)}{f(z)}dz = 0$



My approach is to use the fact that since $f$ is analytic on $A$ then so too is $f'$ on $A$, and since $f$ is nonzero, $g = frac{f'(z)}{f(z)}$ is continuous and analytic on $A$ and so we can use the antiderivate theorem and deduce that the integral of this function on a closed curve is zero. Is this the right approach? Does the fact that $gamma$ is homotopic to a point in $A$ help in any way?










share|cite|improve this question
























  • What is "the antiderivate theorem"?
    – user 170039
    16 hours ago















up vote
0
down vote

favorite












The problem states that if $f$ is nonzero and analytic on a region $A$, and if $gamma$ is closed and homotopic to a point in $A$, then $displaystyleint_{gamma} frac{f'(z)}{f(z)}dz = 0$



My approach is to use the fact that since $f$ is analytic on $A$ then so too is $f'$ on $A$, and since $f$ is nonzero, $g = frac{f'(z)}{f(z)}$ is continuous and analytic on $A$ and so we can use the antiderivate theorem and deduce that the integral of this function on a closed curve is zero. Is this the right approach? Does the fact that $gamma$ is homotopic to a point in $A$ help in any way?










share|cite|improve this question
























  • What is "the antiderivate theorem"?
    – user 170039
    16 hours ago













up vote
0
down vote

favorite









up vote
0
down vote

favorite











The problem states that if $f$ is nonzero and analytic on a region $A$, and if $gamma$ is closed and homotopic to a point in $A$, then $displaystyleint_{gamma} frac{f'(z)}{f(z)}dz = 0$



My approach is to use the fact that since $f$ is analytic on $A$ then so too is $f'$ on $A$, and since $f$ is nonzero, $g = frac{f'(z)}{f(z)}$ is continuous and analytic on $A$ and so we can use the antiderivate theorem and deduce that the integral of this function on a closed curve is zero. Is this the right approach? Does the fact that $gamma$ is homotopic to a point in $A$ help in any way?










share|cite|improve this question















The problem states that if $f$ is nonzero and analytic on a region $A$, and if $gamma$ is closed and homotopic to a point in $A$, then $displaystyleint_{gamma} frac{f'(z)}{f(z)}dz = 0$



My approach is to use the fact that since $f$ is analytic on $A$ then so too is $f'$ on $A$, and since $f$ is nonzero, $g = frac{f'(z)}{f(z)}$ is continuous and analytic on $A$ and so we can use the antiderivate theorem and deduce that the integral of this function on a closed curve is zero. Is this the right approach? Does the fact that $gamma$ is homotopic to a point in $A$ help in any way?







complex-analysis






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 17 hours ago









user 170039

10.4k42462




10.4k42462










asked yesterday









deco

185




185












  • What is "the antiderivate theorem"?
    – user 170039
    16 hours ago


















  • What is "the antiderivate theorem"?
    – user 170039
    16 hours ago
















What is "the antiderivate theorem"?
– user 170039
16 hours ago




What is "the antiderivate theorem"?
– user 170039
16 hours ago










1 Answer
1






active

oldest

votes

















up vote
0
down vote













Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
begin{align}
int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
=& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
end{align}



Suppose $gamma$ is homotopic to a point $p in D$, i.e.
begin{align}
H(t, z) = (1-t)gamma(z)+tp
end{align}

is continuous on $[0, 1]times D$, then we see that
begin{align}
int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
end{align}

for all $t in [0, 1]$. In particular, we see that
begin{align}
left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
end{align}

for $t$ sufficiently close to $1$.






share|cite|improve this answer























    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',
    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%2f2996389%2fintegral-of-an-analytic-function-f-over-a-closed-curve-which-is-homotopic-to-a-p%23new-answer', 'question_page');
    }
    );

    Post as a guest
































    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    0
    down vote













    Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
    begin{align}
    int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
    =& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
    end{align}



    Suppose $gamma$ is homotopic to a point $p in D$, i.e.
    begin{align}
    H(t, z) = (1-t)gamma(z)+tp
    end{align}

    is continuous on $[0, 1]times D$, then we see that
    begin{align}
    int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
    end{align}

    for all $t in [0, 1]$. In particular, we see that
    begin{align}
    left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
    leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
    leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
    end{align}

    for $t$ sufficiently close to $1$.






    share|cite|improve this answer



























      up vote
      0
      down vote













      Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
      begin{align}
      int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
      =& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
      end{align}



      Suppose $gamma$ is homotopic to a point $p in D$, i.e.
      begin{align}
      H(t, z) = (1-t)gamma(z)+tp
      end{align}

      is continuous on $[0, 1]times D$, then we see that
      begin{align}
      int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
      end{align}

      for all $t in [0, 1]$. In particular, we see that
      begin{align}
      left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
      leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
      leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
      end{align}

      for $t$ sufficiently close to $1$.






      share|cite|improve this answer

























        up vote
        0
        down vote










        up vote
        0
        down vote









        Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
        begin{align}
        int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
        =& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
        end{align}



        Suppose $gamma$ is homotopic to a point $p in D$, i.e.
        begin{align}
        H(t, z) = (1-t)gamma(z)+tp
        end{align}

        is continuous on $[0, 1]times D$, then we see that
        begin{align}
        int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
        end{align}

        for all $t in [0, 1]$. In particular, we see that
        begin{align}
        left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
        leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
        leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
        end{align}

        for $t$ sufficiently close to $1$.






        share|cite|improve this answer














        Consider the annulus with inner radius $1/2$ and outer radius $2$, $D=operatorname{Ann}(1/2, 2)$. Consider $f(z)=z^{-1}$ then clearly $f$ is analytic and nonzero on $D$, but
        begin{align}
        int_{|z|=1} frac{f'(z)}{f(z)} dz =& -int_{|z|=1}frac{1}{z} dz \
        =& -int^{2pi}_0 e^{-itheta} ie^{itheta} dtheta = -2pi i.
        end{align}



        Suppose $gamma$ is homotopic to a point $p in D$, i.e.
        begin{align}
        H(t, z) = (1-t)gamma(z)+tp
        end{align}

        is continuous on $[0, 1]times D$, then we see that
        begin{align}
        int_gamma frac{f'(z)}{f(z)} dz = int_{H(t)} frac{f'(z)}{f(z)} dz
        end{align}

        for all $t in [0, 1]$. In particular, we see that
        begin{align}
        left|int_{H(t)} frac{f'(z)}{f(z)} dzright| leq& int_{H(t)} frac{|f'(z)|}{|f(z)|} |dz| \
        leq& left(left|frac{f'(p)}{f(p)}right|+varepsilonright)operatorname{Length}left(H(t) right)\
        leq& C(1-t)left(left|frac{f'(p)}{f(p)}right|+varepsilonright)
        end{align}

        for $t$ sufficiently close to $1$.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited yesterday

























        answered yesterday









        Jacky Chong

        16.7k21027




        16.7k21027






























             

            draft saved


            draft discarded



















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2996389%2fintegral-of-an-analytic-function-f-over-a-closed-curve-which-is-homotopic-to-a-p%23new-answer', 'question_page');
            }
            );

            Post as a guest




















































































            Popular posts from this blog

            How do I know what Microsoft account the skydrive app is syncing to?

            When does type information flow backwards in C++?

            Grease: Live!