Partial derivative with respect to complex conjugate

Click For Summary
SUMMARY

The discussion centers on the definition and implications of the partial derivative with respect to the complex conjugate, denoted as \(\partial f / \partial z^*\). The formula provided by the professor shows that \(\partial f / \partial z^* = 0\) when the function \(f(z)\) is differentiable, which is derived from the Cauchy-Riemann Equations. The relationship between \(z\), \(z^*\), and their real and imaginary components is crucial for understanding this concept. The discussion clarifies the derivation of the partial derivatives and emphasizes the significance of the Cauchy-Riemann conditions in determining differentiability.

PREREQUISITES
  • Complex analysis fundamentals
  • Cauchy-Riemann Equations
  • Partial differentiation techniques
  • Understanding of complex functions and their representations
NEXT STEPS
  • Study the Cauchy-Riemann Equations in detail
  • Explore the implications of differentiability in complex analysis
  • Learn about the geometric interpretation of complex functions
  • Investigate applications of complex derivatives in physics and engineering
USEFUL FOR

Students and professionals in mathematics, particularly those focusing on complex analysis, as well as anyone interested in the theoretical foundations of differentiability in complex functions.

ralqs
Messages
97
Reaction score
1
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.
 
Last edited:
Physics news on Phys.org
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 http://www.math.hmc.edu/calculus/tutorials/multichainrule/multichainrule.pdf" (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. :smile:

Edit: Oh I see that over 600 people have viewed this thread, so I guess it was a good idea to bump it.
 
Last edited by a moderator:
I ended up getting it myself, but thanks for your reply anyways!
 
Relativistic Momentum, Mass, and Energy Momentum and mass (...), the classic equations for conserving momentum and energy are not adequate for the analysis of high-speed collisions. (...) The momentum of a particle moving with velocity ##v## is given by $$p=\cfrac{mv}{\sqrt{1-(v^2/c^2)}}\qquad{R-10}$$ ENERGY In relativistic mechanics, as in classic mechanics, the net force on a particle is equal to the time rate of change of the momentum of the particle. Considering one-dimensional...

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K