Show $|f(z)|=1$ is constant

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite













Suppose that $Omega$ is a domain that $f:OmegarightarrowmathbbC$ is analytic in $Omega$, and that $|f(z)|=1 forall zinOmega$. By using the CR equations, show that $f$ is constant.




My attempt:
beginalign
|f(z)|&=1 \
u^2(x,y)+v^2(x,y)&=1
endalign
Differentiating w.r.t $x$:
$$2uu_x+2vv_x=0 (1)$$
Differentiating w.r.t $y$:
$$2uu_y+2vv_y=0 (2)$$
From $(1)$, $$2uv_y-2vu_y=0 (3)$$
Now equating $(2)$ and $(3)$:
beginalign
2uu_y+2vv_y-2uv_y+2vu_y&=0 \
u_y(2u+2v)-v_y(2v-2u)&=0
endalign
But I am stuck at this point.







share|cite|improve this question


























    up vote
    1
    down vote

    favorite













    Suppose that $Omega$ is a domain that $f:OmegarightarrowmathbbC$ is analytic in $Omega$, and that $|f(z)|=1 forall zinOmega$. By using the CR equations, show that $f$ is constant.




    My attempt:
    beginalign
    |f(z)|&=1 \
    u^2(x,y)+v^2(x,y)&=1
    endalign
    Differentiating w.r.t $x$:
    $$2uu_x+2vv_x=0 (1)$$
    Differentiating w.r.t $y$:
    $$2uu_y+2vv_y=0 (2)$$
    From $(1)$, $$2uv_y-2vu_y=0 (3)$$
    Now equating $(2)$ and $(3)$:
    beginalign
    2uu_y+2vv_y-2uv_y+2vu_y&=0 \
    u_y(2u+2v)-v_y(2v-2u)&=0
    endalign
    But I am stuck at this point.







    share|cite|improve this question
























      up vote
      1
      down vote

      favorite









      up vote
      1
      down vote

      favorite












      Suppose that $Omega$ is a domain that $f:OmegarightarrowmathbbC$ is analytic in $Omega$, and that $|f(z)|=1 forall zinOmega$. By using the CR equations, show that $f$ is constant.




      My attempt:
      beginalign
      |f(z)|&=1 \
      u^2(x,y)+v^2(x,y)&=1
      endalign
      Differentiating w.r.t $x$:
      $$2uu_x+2vv_x=0 (1)$$
      Differentiating w.r.t $y$:
      $$2uu_y+2vv_y=0 (2)$$
      From $(1)$, $$2uv_y-2vu_y=0 (3)$$
      Now equating $(2)$ and $(3)$:
      beginalign
      2uu_y+2vv_y-2uv_y+2vu_y&=0 \
      u_y(2u+2v)-v_y(2v-2u)&=0
      endalign
      But I am stuck at this point.







      share|cite|improve this question















      Suppose that $Omega$ is a domain that $f:OmegarightarrowmathbbC$ is analytic in $Omega$, and that $|f(z)|=1 forall zinOmega$. By using the CR equations, show that $f$ is constant.




      My attempt:
      beginalign
      |f(z)|&=1 \
      u^2(x,y)+v^2(x,y)&=1
      endalign
      Differentiating w.r.t $x$:
      $$2uu_x+2vv_x=0 (1)$$
      Differentiating w.r.t $y$:
      $$2uu_y+2vv_y=0 (2)$$
      From $(1)$, $$2uv_y-2vu_y=0 (3)$$
      Now equating $(2)$ and $(3)$:
      beginalign
      2uu_y+2vv_y-2uv_y+2vu_y&=0 \
      u_y(2u+2v)-v_y(2v-2u)&=0
      endalign
      But I am stuck at this point.









      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Aug 17 at 7:10









      Arnaud Mortier

      19.6k22159




      19.6k22159










      asked Aug 17 at 6:56









      Bell

      716313




      716313




















          2 Answers
          2






          active

          oldest

          votes

















          up vote
          3
          down vote



          accepted










          From $(1)$ we get



          $u^2u_x+uvv_x=0 (a)$



          and from $(2)$ we get



          $uvu_y+v^2v_y=0 (b)$.



          Since $u_y=-v_x$ it follows from $(b)$ that



          $-uvv_x+v^2v_y=0 (c)$.



          Addition of $(a)$ and $(c)$ gives



          $u^2u_x+v^2v_y=0$.



          Since $v_y=u_x$ it results that



          $0=(u^2+v^2)u_x=u_x$.



          In the same way we derive $0=v_y=u_y=v_x$.



          Can you proceed ?






          share|cite|improve this answer




















          • Yes, I have solved it. Thanks for that! It makes sense now.
            – Bell
            Aug 17 at 7:39


















          up vote
          3
          down vote













          If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.



          In both cases $f$ is constant since a domain is connected.






          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: false,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            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%2f2885476%2fshow-fz-1-is-constant%23new-answer', 'question_page');

            );

            Post as a guest






























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes








            up vote
            3
            down vote



            accepted










            From $(1)$ we get



            $u^2u_x+uvv_x=0 (a)$



            and from $(2)$ we get



            $uvu_y+v^2v_y=0 (b)$.



            Since $u_y=-v_x$ it follows from $(b)$ that



            $-uvv_x+v^2v_y=0 (c)$.



            Addition of $(a)$ and $(c)$ gives



            $u^2u_x+v^2v_y=0$.



            Since $v_y=u_x$ it results that



            $0=(u^2+v^2)u_x=u_x$.



            In the same way we derive $0=v_y=u_y=v_x$.



            Can you proceed ?






            share|cite|improve this answer




















            • Yes, I have solved it. Thanks for that! It makes sense now.
              – Bell
              Aug 17 at 7:39















            up vote
            3
            down vote



            accepted










            From $(1)$ we get



            $u^2u_x+uvv_x=0 (a)$



            and from $(2)$ we get



            $uvu_y+v^2v_y=0 (b)$.



            Since $u_y=-v_x$ it follows from $(b)$ that



            $-uvv_x+v^2v_y=0 (c)$.



            Addition of $(a)$ and $(c)$ gives



            $u^2u_x+v^2v_y=0$.



            Since $v_y=u_x$ it results that



            $0=(u^2+v^2)u_x=u_x$.



            In the same way we derive $0=v_y=u_y=v_x$.



            Can you proceed ?






            share|cite|improve this answer




















            • Yes, I have solved it. Thanks for that! It makes sense now.
              – Bell
              Aug 17 at 7:39













            up vote
            3
            down vote



            accepted







            up vote
            3
            down vote



            accepted






            From $(1)$ we get



            $u^2u_x+uvv_x=0 (a)$



            and from $(2)$ we get



            $uvu_y+v^2v_y=0 (b)$.



            Since $u_y=-v_x$ it follows from $(b)$ that



            $-uvv_x+v^2v_y=0 (c)$.



            Addition of $(a)$ and $(c)$ gives



            $u^2u_x+v^2v_y=0$.



            Since $v_y=u_x$ it results that



            $0=(u^2+v^2)u_x=u_x$.



            In the same way we derive $0=v_y=u_y=v_x$.



            Can you proceed ?






            share|cite|improve this answer












            From $(1)$ we get



            $u^2u_x+uvv_x=0 (a)$



            and from $(2)$ we get



            $uvu_y+v^2v_y=0 (b)$.



            Since $u_y=-v_x$ it follows from $(b)$ that



            $-uvv_x+v^2v_y=0 (c)$.



            Addition of $(a)$ and $(c)$ gives



            $u^2u_x+v^2v_y=0$.



            Since $v_y=u_x$ it results that



            $0=(u^2+v^2)u_x=u_x$.



            In the same way we derive $0=v_y=u_y=v_x$.



            Can you proceed ?







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered Aug 17 at 7:08









            Fred

            38.2k1238




            38.2k1238











            • Yes, I have solved it. Thanks for that! It makes sense now.
              – Bell
              Aug 17 at 7:39

















            • Yes, I have solved it. Thanks for that! It makes sense now.
              – Bell
              Aug 17 at 7:39
















            Yes, I have solved it. Thanks for that! It makes sense now.
            – Bell
            Aug 17 at 7:39





            Yes, I have solved it. Thanks for that! It makes sense now.
            – Bell
            Aug 17 at 7:39











            up vote
            3
            down vote













            If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.



            In both cases $f$ is constant since a domain is connected.






            share|cite|improve this answer


























              up vote
              3
              down vote













              If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.



              In both cases $f$ is constant since a domain is connected.






              share|cite|improve this answer
























                up vote
                3
                down vote










                up vote
                3
                down vote









                If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.



                In both cases $f$ is constant since a domain is connected.






                share|cite|improve this answer














                If you read $(2)$ and $(3)$ as dot products, you see that the vector $pmatrixu\v$ is orthogonal to both $pmatrixu_y\v_y$ and $pmatrixv_y\-u_y$. Now these last two vectors are orthogonal to each other. In dimension $2$, you can't have three non-zero vectors any two of which are orthogonal. Therefore either $pmatrixu\v=0$, or $pmatrixu_y\v_y=0$ and by the CR equations $pmatrixu_x\v_x=0$ as well.



                In both cases $f$ is constant since a domain is connected.







                share|cite|improve this answer














                share|cite|improve this answer



                share|cite|improve this answer








                edited Aug 17 at 7:14

























                answered Aug 17 at 7:08









                Arnaud Mortier

                19.6k22159




                19.6k22159






















                     

                    draft saved


                    draft discarded


























                     


                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function ()
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2885476%2fshow-fz-1-is-constant%23new-answer', 'question_page');

                    );

                    Post as a guest













































































                    這個網誌中的熱門文章

                    Is there any way to eliminate the singular point to solve this integral by hand or by approximations?

                    Why am i infinitely getting the same tweet with the Twitter Search API?

                    Carbon dioxide