Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In Stein and Shakarchi's book Complex Analysis, Proposition 2.3 states that if $f$ is holomorphic at $z_0$, then $$ f'(z_0)=\frac{\partial f}{\partial z}(z_0)=2\frac{\partial u}{\partial z}(z_0).$$ The first equality is easy to derive (and it is even done in the textbook), but I don't quite see how to establish the second equality. It apparently follows from the Cauchy-Riemann equations, but I haven't been able to make heads or tails of how exactly to verify the identity? Please help me!

share|cite|improve this question
up vote 0 down vote accepted

$2f'(z_0) = \frac{\partial f}{\partial x}(z_0) - i \frac{\partial f}{\partial y}(z_0)$. Since $ f = u + iv$, we have $\frac{\partial f}{\partial x} (z_0) = \frac{\partial u}{\partial x}(z_0) + i \frac{\partial v}{\partial x}(z_0)$, and similarly, $\frac{\partial f}{\partial y} (z_0) = \frac{\partial u}{\partial y}(z_0) + i \frac{\partial v}{\partial y}(z_0)$.

By C-R, $\frac{\partial v}{\partial x}(z_0) = - \frac{\partial u}{\partial y} (z_0)$ and $\frac{\partial v}{\partial y} (z_0) = \frac{\partial u}{\partial x} (z_0)$.

So, $2 f'(z_0) = (u_x - i u_y) - i(u_y + iu_x) = 2(u_x - iu_y) = 4 u_z(z_0)$.

Divide by 2.

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.