## Partial derivative with respect to complex conjugate

So, my complex analysis professor defined $$\partial f / \partial z^*$$ as
$$\frac {\partial f}{\partial z^*} = \frac {1}{2} \left( \left(\frac {\partial u}{\partial x}-\frac {\partial v}{\partial y}\right) + i\left(\frac {\partial u}{\partial y} + \frac {\partial v}{\partial x}\right)\right)$$
where $$z = x + iy$$ and $$f(z) = u(x,y) + iv(x,y)$$. My prof then showed that $$\partial f / \partial z^* = 0$$ when f is differentiable.

So my question is, where does this definition come from? It behaves exactly as you would expect it to by the notation (ie $$(\partial / \partial z^*) zz^* = z$$), but the definition doesn't make this obvious.
 PhysOrg.com science news on PhysOrg.com >> Leading 3-D printer firms to merge in $403M deal (Update)>> LA to give every student an iPad;$30M order>> CIA faulted for choosing Amazon over IBM on cloud contract
 I know this thread is over half a year old, but I happened to come across it while searching some stuff about Complex Analysis on Google. It's possible that you may have already gotten an answer somewhere else, but for others who would like to know why this is and may end up here after a search on Google, I'll post my reasoning here. Let's look at what makes a function $f(z)$. Well, $z = x + iy$, so we can define it in terms of functions of $x$ and $y$: $$f(z) = f(x + iy) = u(x, y) + iv(x, y)$$ We need to remember what $z^*$ is. It is simply $z$ whose imaginary part's sign is changed, $z^* = x-iy$. Also, remember that we can define $x$ and $y$ in terms of $z$ and $z^*$: $$x = Re(z) = \frac{z + z^*}{2}$$ $$y = Im(z) = \frac{z - z^*}{2i}$$ Now, we can differentiate with respect to $z$ and $z^*$. We will use the multivariable chain rule (go to page 2 for the chain rule used here) for this. $$\frac{\partial f}{\partial z} = \frac{\partial u}{\partial z} + i\frac{\partial v}{\partial z} = \frac{\partial u}{\partial x} \frac{\partial x}{\partial z} + \frac{\partial u}{\partial y} \frac{\partial y}{\partial z} + i \left( \frac{\partial v}{\partial x} \frac{\partial x}{\partial z} + \frac{\partial v}{\partial y} \frac{\partial y}{\partial z} \right)$$ Since $\frac{\partial x}{\partial z}=\frac{1}{2}$ and $\frac{\partial y}{\partial z}=\frac{1}{2i} = -i \frac{1}{2}$, we have that $$\frac{\partial f}{\partial z} = \frac{\partial u}{\partial x} \frac{\partial x}{\partial z} + \frac{\partial u}{\partial y} \frac{\partial y}{\partial z} + i \left( \frac{\partial v}{\partial x} \frac{\partial x}{\partial z} + \frac{\partial v}{\partial y} \frac{\partial y}{\partial z} \right) = \frac{1}{2} \frac{\partial u}{\partial x} - i \frac{1}{2} \frac{\partial u}{\partial y} + i\left( \frac{1}{2} \frac{\partial v}{\partial x} - i \frac{1}{2} \frac{\partial v}{\partial y} \right) = \frac{1}{2}\left[ \left(\frac{\partial u}{\partial x} + \frac{\partial v}{\partial y}\right) + i \left( \frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \right) \right]$$ Now, we can apply the same to $\frac{\partial f}{\partial z^*}$. Having $\frac{\partial x}{\partial z^*}=\frac{1}{2}$ and $\frac{\partial y}{\partial z^*}=-\frac{1}{2i} = i \frac{1}{2}$, we get $$\frac{\partial f}{\partial z^*} = \frac{\partial u}{\partial x} \frac{\partial x}{\partial z^*} + \frac{\partial u}{\partial y} \frac{\partial y}{\partial z^*} + i \left( \frac{\partial v}{\partial x} \frac{\partial x}{\partial z^*} + \frac{\partial v}{\partial y} \frac{\partial y}{\partial z^*} \right) = \frac{1}{2} \frac{\partial u}{\partial x} + i \frac{1}{2} \frac{\partial u}{\partial y} + i\left( \frac{1}{2} \frac{\partial v}{\partial x} + i \frac{1}{2} \frac{\partial v}{\partial y} \right) = \frac{1}{2}\left[ \left(\frac{\partial u}{\partial x} - \frac{\partial v}{\partial y}\right) + i \left( \frac{\partial u}{\partial y} + \frac{\partial v}{\partial x} \right) \right]$$ The reason for why $f(z)$ is differentiable when $\frac{\partial f}{\partial z^*} = 0$ comes from the Cauchy-Riemann Equations. $$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}$$ and $$\frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$ You see, if you plug these into $\frac{\partial f}{\partial z^*}$, you will get 0. If you do not, then $f(z)$ does not satisfy the Cauchy-Riemann Equations, and that means it is not differentiable. So there you have it. Edit: Oh I see that over 600 people have viewed this thread, so I guess it was a good idea to bump it.
 I ended up getting it myself, but thanks for your reply anyways!

 Similar discussions for: Partial derivative with respect to complex conjugate Thread Forum Replies Calculus & Beyond Homework 2 Calculus 5 Calculus & Beyond Homework 5 Calculus & Beyond Homework 1 Calculus 1