Why $overline{z}$ is not differentiable?












2












$begingroup$



  1. By definition the derivative of $overline{z}$ is:


begin{align}
lim_{Delta hto 0}frac{overline{z+Delta h}-overline{z}}{Delta h}&=lim_{Delta hto 0}frac{overline{z}+overline{Delta h}-overline{z}}{Delta h}
\&=lim_{Delta hto 0}frac{overline{Delta h}}{Delta h}
\&=lim_{Delta hto 0}frac{{Delta x-iDelta y}}{Delta x+iDelta y}
\&=lim_{Delta hto 0}frac{r(cosalpha-isinalpha)}{r(cosalpha+isinalpha)}
\&=lim_{Delta hto 0}frac{cosalpha-isinalpha}{cosalpha+isinalpha}
end{align}



How should it be continue with turning over to $frac{e^{-ialpha}}{e^{ialpha}}$?




  1. Is there an intuitive explanation why the conjugate function is not differentiable? As it is just "reflection" on $x$- axis










share|cite|improve this question











$endgroup$












  • $begingroup$
    Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
    $endgroup$
    – M. Winter
    Jun 7 '17 at 9:20
















2












$begingroup$



  1. By definition the derivative of $overline{z}$ is:


begin{align}
lim_{Delta hto 0}frac{overline{z+Delta h}-overline{z}}{Delta h}&=lim_{Delta hto 0}frac{overline{z}+overline{Delta h}-overline{z}}{Delta h}
\&=lim_{Delta hto 0}frac{overline{Delta h}}{Delta h}
\&=lim_{Delta hto 0}frac{{Delta x-iDelta y}}{Delta x+iDelta y}
\&=lim_{Delta hto 0}frac{r(cosalpha-isinalpha)}{r(cosalpha+isinalpha)}
\&=lim_{Delta hto 0}frac{cosalpha-isinalpha}{cosalpha+isinalpha}
end{align}



How should it be continue with turning over to $frac{e^{-ialpha}}{e^{ialpha}}$?




  1. Is there an intuitive explanation why the conjugate function is not differentiable? As it is just "reflection" on $x$- axis










share|cite|improve this question











$endgroup$












  • $begingroup$
    Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
    $endgroup$
    – M. Winter
    Jun 7 '17 at 9:20














2












2








2


2



$begingroup$



  1. By definition the derivative of $overline{z}$ is:


begin{align}
lim_{Delta hto 0}frac{overline{z+Delta h}-overline{z}}{Delta h}&=lim_{Delta hto 0}frac{overline{z}+overline{Delta h}-overline{z}}{Delta h}
\&=lim_{Delta hto 0}frac{overline{Delta h}}{Delta h}
\&=lim_{Delta hto 0}frac{{Delta x-iDelta y}}{Delta x+iDelta y}
\&=lim_{Delta hto 0}frac{r(cosalpha-isinalpha)}{r(cosalpha+isinalpha)}
\&=lim_{Delta hto 0}frac{cosalpha-isinalpha}{cosalpha+isinalpha}
end{align}



How should it be continue with turning over to $frac{e^{-ialpha}}{e^{ialpha}}$?




  1. Is there an intuitive explanation why the conjugate function is not differentiable? As it is just "reflection" on $x$- axis










share|cite|improve this question











$endgroup$





  1. By definition the derivative of $overline{z}$ is:


begin{align}
lim_{Delta hto 0}frac{overline{z+Delta h}-overline{z}}{Delta h}&=lim_{Delta hto 0}frac{overline{z}+overline{Delta h}-overline{z}}{Delta h}
\&=lim_{Delta hto 0}frac{overline{Delta h}}{Delta h}
\&=lim_{Delta hto 0}frac{{Delta x-iDelta y}}{Delta x+iDelta y}
\&=lim_{Delta hto 0}frac{r(cosalpha-isinalpha)}{r(cosalpha+isinalpha)}
\&=lim_{Delta hto 0}frac{cosalpha-isinalpha}{cosalpha+isinalpha}
end{align}



How should it be continue with turning over to $frac{e^{-ialpha}}{e^{ialpha}}$?




  1. Is there an intuitive explanation why the conjugate function is not differentiable? As it is just "reflection" on $x$- axis







complex-analysis






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jun 7 '17 at 9:31









lioness99a

3,7492727




3,7492727










asked Jun 7 '17 at 9:09









gboxgbox

5,40562260




5,40562260












  • $begingroup$
    Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
    $endgroup$
    – M. Winter
    Jun 7 '17 at 9:20


















  • $begingroup$
    Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
    $endgroup$
    – M. Winter
    Jun 7 '17 at 9:20
















$begingroup$
Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
$endgroup$
– M. Winter
Jun 7 '17 at 9:20




$begingroup$
Yes. Continue in exponential form. You will see that the limit depends on $alpha$. This is not okay for computing the derivative, because it should be independent of how exactly you approached the limit.
$endgroup$
– M. Winter
Jun 7 '17 at 9:20










4 Answers
4






active

oldest

votes


















4












$begingroup$

Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
    $endgroup$
    – gbox
    Jun 7 '17 at 9:35










  • $begingroup$
    Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
    $endgroup$
    – M. Winter
    Jun 7 '17 at 9:42












  • $begingroup$
    @gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
    $endgroup$
    – Arthur
    Jun 7 '17 at 10:16












  • $begingroup$
    very very useful comment.
    $endgroup$
    – Newbie
    Oct 14 '17 at 18:24



















3












$begingroup$

This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:




Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.




Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.



This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    How does this theorem called?
    $endgroup$
    – gbox
    Jun 7 '17 at 9:30






  • 1




    $begingroup$
    @gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
    $endgroup$
    – M. Winter
    Jun 7 '17 at 9:32





















2












$begingroup$

You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.






share|cite|improve this answer









$endgroup$





















    0












    $begingroup$

    Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
    $$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
    frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
    These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.



    Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.






    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%2f2313244%2fwhy-overlinez-is-not-differentiable%23new-answer', 'question_page');
      }
      );

      Post as a guest















      Required, but never shown

























      4 Answers
      4






      active

      oldest

      votes








      4 Answers
      4






      active

      oldest

      votes









      active

      oldest

      votes






      active

      oldest

      votes









      4












      $begingroup$

      Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.






      share|cite|improve this answer









      $endgroup$













      • $begingroup$
        in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
        $endgroup$
        – gbox
        Jun 7 '17 at 9:35










      • $begingroup$
        Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
        $endgroup$
        – M. Winter
        Jun 7 '17 at 9:42












      • $begingroup$
        @gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
        $endgroup$
        – Arthur
        Jun 7 '17 at 10:16












      • $begingroup$
        very very useful comment.
        $endgroup$
        – Newbie
        Oct 14 '17 at 18:24
















      4












      $begingroup$

      Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.






      share|cite|improve this answer









      $endgroup$













      • $begingroup$
        in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
        $endgroup$
        – gbox
        Jun 7 '17 at 9:35










      • $begingroup$
        Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
        $endgroup$
        – M. Winter
        Jun 7 '17 at 9:42












      • $begingroup$
        @gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
        $endgroup$
        – Arthur
        Jun 7 '17 at 10:16












      • $begingroup$
        very very useful comment.
        $endgroup$
        – Newbie
        Oct 14 '17 at 18:24














      4












      4








      4





      $begingroup$

      Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.






      share|cite|improve this answer









      $endgroup$



      Intuitively, a function $f$ of one variable is differentiable at a point $p$ if for some tiny region $U$ around $p$, applying $f$ looks like multiplying by some number / scalar (in other words, scaling and rotating), relative to $p$ and $f(p)$. No matter how you scale and rotate, you can never flip. Thus complex conjugation doesn't look like scalar multiplication locally, and therefore is not differentiable.







      share|cite|improve this answer












      share|cite|improve this answer



      share|cite|improve this answer










      answered Jun 7 '17 at 9:30









      ArthurArthur

      114k7115197




      114k7115197












      • $begingroup$
        in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
        $endgroup$
        – gbox
        Jun 7 '17 at 9:35










      • $begingroup$
        Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
        $endgroup$
        – M. Winter
        Jun 7 '17 at 9:42












      • $begingroup$
        @gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
        $endgroup$
        – Arthur
        Jun 7 '17 at 10:16












      • $begingroup$
        very very useful comment.
        $endgroup$
        – Newbie
        Oct 14 '17 at 18:24


















      • $begingroup$
        in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
        $endgroup$
        – gbox
        Jun 7 '17 at 9:35










      • $begingroup$
        Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
        $endgroup$
        – M. Winter
        Jun 7 '17 at 9:42












      • $begingroup$
        @gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
        $endgroup$
        – Arthur
        Jun 7 '17 at 10:16












      • $begingroup$
        very very useful comment.
        $endgroup$
        – Newbie
        Oct 14 '17 at 18:24
















      $begingroup$
      in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
      $endgroup$
      – gbox
      Jun 7 '17 at 9:35




      $begingroup$
      in the one real variable case I know that differentiable means that there is no "point peaks" like in $|x|$ therefore $f(x)=|x|$ is flipping and vice versa?
      $endgroup$
      – gbox
      Jun 7 '17 at 9:35












      $begingroup$
      Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
      $endgroup$
      – M. Winter
      Jun 7 '17 at 9:42






      $begingroup$
      Very nice explanation. @gbox A derivative is a linear approximation, and linear means multiplying by a number. In $Bbb R$ multiplication is just stretching (factor $>1$), shrinking (factor in $(0,1)$) or mirroring (factor $<0$). But looking at this from $Bbb C$, this mirroring is just a $180^°$ rotation instead. Actually multiplication in $Bbb C$ is just rotations and scaling, no mirroring involved. So a derivative here does just not provide this transformation that $bar z$ applies, namely mirroring.
      $endgroup$
      – M. Winter
      Jun 7 '17 at 9:42














      $begingroup$
      @gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
      $endgroup$
      – Arthur
      Jun 7 '17 at 10:16






      $begingroup$
      @gbox For a point peak on a function $Bbb RtoBbb R$, on a small neighbourhood around that peak, the function looks like it's folding the number line in half. No multiplication does that. For a differentiable peak, on the other hand, it looks like multiplication by $0$. This is exactly what allows the graph to change cardinal direction while still being differentiable: It slows down to a stop first.
      $endgroup$
      – Arthur
      Jun 7 '17 at 10:16














      $begingroup$
      very very useful comment.
      $endgroup$
      – Newbie
      Oct 14 '17 at 18:24




      $begingroup$
      very very useful comment.
      $endgroup$
      – Newbie
      Oct 14 '17 at 18:24











      3












      $begingroup$

      This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:




      Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.




      Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.



      This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.






      share|cite|improve this answer











      $endgroup$













      • $begingroup$
        How does this theorem called?
        $endgroup$
        – gbox
        Jun 7 '17 at 9:30






      • 1




        $begingroup$
        @gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
        $endgroup$
        – M. Winter
        Jun 7 '17 at 9:32


















      3












      $begingroup$

      This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:




      Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.




      Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.



      This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.






      share|cite|improve this answer











      $endgroup$













      • $begingroup$
        How does this theorem called?
        $endgroup$
        – gbox
        Jun 7 '17 at 9:30






      • 1




        $begingroup$
        @gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
        $endgroup$
        – M. Winter
        Jun 7 '17 at 9:32
















      3












      3








      3





      $begingroup$

      This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:




      Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.




      Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.



      This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.






      share|cite|improve this answer











      $endgroup$



      This will not expand on your limit proof in your question. But there is this nice theorem in complex analysis, called the identity theorem:




      Theorem. Given two complex differentiable functions $f$ and $g$ and a set $D$ with some limit point (e.g. an open set, a line, ...). If $f(z)=g(z)$ for all $zin D$ then we already have $f=g$.




      Your function $f(z)=z$ and its conjugate $bar f$ agree on the real line, i.e. $Bbb RsubsetBbb C$. The real line is a set with limit point, so when both functions are complex differentiable, then $z=bar z$ for all $zinBbb C$. Obviously wrong. But because we know that $z$ is complex differentiable, $bar z$ can not.



      This works for all non-constant functions $f$ for which the restriction to $Bbb R $ is real, i.e. $f|_Bbb R:Bbb RtoBbb R$. For example, this shows that $overlinesin (z)$ is not complex differentiable.







      share|cite|improve this answer














      share|cite|improve this answer



      share|cite|improve this answer








      edited Dec 12 '18 at 7:40

























      answered Jun 7 '17 at 9:25









      M. WinterM. Winter

      18.9k72766




      18.9k72766












      • $begingroup$
        How does this theorem called?
        $endgroup$
        – gbox
        Jun 7 '17 at 9:30






      • 1




        $begingroup$
        @gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
        $endgroup$
        – M. Winter
        Jun 7 '17 at 9:32




















      • $begingroup$
        How does this theorem called?
        $endgroup$
        – gbox
        Jun 7 '17 at 9:30






      • 1




        $begingroup$
        @gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
        $endgroup$
        – M. Winter
        Jun 7 '17 at 9:32


















      $begingroup$
      How does this theorem called?
      $endgroup$
      – gbox
      Jun 7 '17 at 9:30




      $begingroup$
      How does this theorem called?
      $endgroup$
      – gbox
      Jun 7 '17 at 9:30




      1




      1




      $begingroup$
      @gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
      $endgroup$
      – M. Winter
      Jun 7 '17 at 9:32






      $begingroup$
      @gbox It is called the identity theorem. I will include this in my answer. Note that the statement on wikipedia is a bit weaker as it only allowes $D$ to be an open set.
      $endgroup$
      – M. Winter
      Jun 7 '17 at 9:32













      2












      $begingroup$

      You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.






      share|cite|improve this answer









      $endgroup$


















        2












        $begingroup$

        You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.






        share|cite|improve this answer









        $endgroup$
















          2












          2








          2





          $begingroup$

          You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.






          share|cite|improve this answer









          $endgroup$



          You can see that by approaching to the origin first on the real axis and second on the complex axis, that means: Consider for the first limit $Delta x=0$ and for the second limit consider $Delta y=0$. You get two different limits, and therefore the limit does not exist. Hence $f(z)=overline{z}$ is not differentiable.







          share|cite|improve this answer












          share|cite|improve this answer



          share|cite|improve this answer










          answered Jun 7 '17 at 9:25









          RichardRichard

          19310




          19310























              0












              $begingroup$

              Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
              $$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
              frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
              These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.



              Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.






              share|cite|improve this answer









              $endgroup$


















                0












                $begingroup$

                Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
                $$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
                frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
                These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.



                Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.






                share|cite|improve this answer









                $endgroup$
















                  0












                  0








                  0





                  $begingroup$

                  Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
                  $$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
                  frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
                  These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.



                  Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.






                  share|cite|improve this answer









                  $endgroup$



                  Conjugation is real-differentiable, in the sense that all partial derivatives of it exist everywhere. However, this does not mean it's complex differentiable. A real differentiable function $x+yimapsto u(x,y)+iv(x,y)$ is complex differentiable provided that
                  $$begin{align}frac{partial u}{partial x} &= frac{partial v}{partial y}\
                  frac{partial u}{partial y} &= -frac{partial v}{partial x}end{align}$$
                  These are the Cauhcy-Riemann eComplex conjugation does not satisfy this, since $u(x,y)=x, v(x,y)=-y$.



                  Intuitively, $zmapsto overline z$ is not differentiable since its directional derivatives are different depending on their direction, as opposed to a function like $z^2$.







                  share|cite|improve this answer












                  share|cite|improve this answer



                  share|cite|improve this answer










                  answered Jun 7 '17 at 9:31









                  florenceflorence

                  11.5k12045




                  11.5k12045






























                      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%2f2313244%2fwhy-overlinez-is-not-differentiable%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

                      Wiesbaden

                      Marschland

                      Dieringhausen