0
$\begingroup$

In chapter 2 of "Complex Analysis" by Lars V. Alfors, the author concluded that "a real function of a complex variable either has the derivative 0 or else the derivative does not exist."

$\displaystyle \lim_{h \to 0} \frac{f(x+h+iy)-f(x+iy)}{h}$ is a real.

$\displaystyle \lim_{k \to 0} \frac{f(x+i(y+k))-f(x+iy)}{ik}$ is a pure imaginary number.

If both are the same, it must be 0. I understand this argument, but I came up with a question.

If we write a complex function $f$ of a complex variable $z$ as a sum $f(z)=u(z)+iv(z)$ where $u,v$ are real function of a complex variable, the only possible derivative of $f$ would seem to be only 0 according to the above conclusion. I know that this is ridiculous and there are plenty of counter examples ($f(z)=z, f(z)=z^2,...$), but I cannot find out what's wrong with my argument.

  • 0
    You argument above, showing that the only possible derivative of $f$ is $0$, _assumes_ that $f$ is real.2012-10-25
  • 0
    @bogus $f=u+iv$ and i means an imaginary number and $v$ doesn't necessarily identically vanish. So I don't think I assumed that $f$ is real though.2012-10-26
  • 0
    how do you know your first limit above is real and your second limit above is pure imaginary unless $f$ is real?2012-10-28
  • 0
    @bogus Sorry I don't quite understand what you mean.2012-10-30
  • 0
    @bogus Ah I understood what you meant. Of course, $f$ in the first half of my question is real function. But in the second half, $f$ means a complex function. I wrote "...a complex function $f$..."2012-10-30
  • 0
    @bogus Here is what I think(which must be wrong but which sounds valid to me...) Could you find what's wrong with it? 1)A real function of complex functions has the derivative 0 otherwise it doesn't have the derivative. 2)Every complex function can be decomposed into $u+iv$ where $u,v$ are real functions whose derivative must be 0 or must not exist 3)From my argument below, it seems to me that if a complex function $f$ is differentible, both $u,v$, where $f=u+iv$, are differentiable which in turn means that the derivatives are 0. 4)Then the derivative of $f$ is 0.2012-10-30
  • 0
    I don't see how point 3) is true. $u$ and $v$ are differentiable but unless $v$ is constant you can't conclude $u$ is constant. Are you familiar with the Cauchy-Riemann equations (see my answer below)?2012-11-03
  • 0
    @bogus Thank you for reply. I know Cauchy-Riemann equations, but I'm confused because of this argument. Could you tell me what's wrong with this? I feel like if this argument is valid, the point 3) seems to be true to me.2012-11-04
  • 0
    . Let $z(t)=x(t)+iy(t)$, $z$ differentiable at $t=a$, and $z'(a)=p+iq$. For each $\varepsilon >0$, there exists $\delta >0$ such that $|h|<\delta$ implies $\displaystyle \left | \frac{z(a+h)-z(a)}{h}-z'(a) \right|<\varepsilon$2012-11-04
  • 0
    $\to\displaystyle \left | \left( \frac{x(a+h)-x(a)}{h}-p \right)+i\left( \frac{y(a+h)-y(a)}{h}-q \right) \right |<\varepsilon$ $\to\displaystyle \sqrt{\left ( \frac{x(a+h)-x(a)}{h}-p \right)^2+ \left (\frac{y(a+h)-y(a)}{h}-q \right)^2}<\varepsilon$ Thus $u, v$ have the limits at $t=a$. Since this is true for every t, $z'(t)=x'(t)+iy'(t)$.2012-11-04

2 Answers 2

0

What's wrong is that $f = u + i v$ may have a derivative without $u$ and $v$ having derivatives.

  • 0
    If $f$ has a derivative, $u,v$ must have derivatives?2012-10-25
  • 0
    @Tengu: No, it's the other way around. If $f$ is differentiable, then $u$ and $v$ are either both $0$ (and thus $f=0$) or neither of them is differentiable.2012-10-25
  • 0
    @kahen Oh then could you point out what's wrong with the following? $z(t)=x(t)+iy(t)$, $z$ differentiable at $t=a$, and $z'(a)=p+iq$. For each $\varepsilon >0$, there exists $\delta >0$ such that $|h|<\delta$ implies $\displaystyle \left | \frac{z(a+h)-z(a)}{h}-z'(a) \right|<\varepsilon$ $\to\displaystyle \left | \left( \frac{x(a+h)-x(a)}{h}-p \right)+i\left( \frac{y(a+h)-y(a)}{h}-q \right) \right |<\varepsilon$2012-10-25
  • 0
    $\to\displaystyle \sqrt{\left ( \frac{x(a+h)-x(a)}{h}-p \right)^2+ \left (\frac{y(a+h)-y(a)}{h}-q \right)^2}<\varepsilon$ Thus $u, v$ have the limits at $t=a$. Since this is true for every t, $z'(t)=x'(t)+iy'(t)$.2012-10-25
0

$f$ is differentiable in the complex sense if and only if $u$ and $v$ satisfy the Cauchy-Riemann equations, $u_x = v_y$ and $u_y = -v_x$. If $v \equiv 0$, then $u_x \equiv u_y \equiv =0$ and $u$ is constant, hence $f$ is constant, and its derivative is $0$.