Why is the Cauchy Riemann relation important for complex differentiability?

Click For Summary

Discussion Overview

The discussion revolves around the importance of the Cauchy-Riemann relations in the context of complex differentiability. Participants explore the implications of these relations, their definitions, and their connections to the concept of analytic functions, as well as the nature of the variables involved.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • Some participants state that the Cauchy-Riemann relations can be expressed as \(\frac{\partial f}{\partial \bar{z}}=0\) and question why a function should not depend on \(\bar{z}\) to be differentiable.
  • One participant suggests that the Cauchy-Riemann equations imply that if two holomorphic functions have the same real part, their difference is constant.
  • Another participant argues that the Cauchy-Riemann equations should be viewed as a necessary condition for differentiability rather than a definition, raising questions about the relationship between the limit definition of differentiability and the Cauchy-Riemann equations.
  • Some participants express differing views on whether \(z\) and \(\bar{z}\) can be treated as independent variables, with one asserting they are not independent and another claiming they can be treated as such.
  • Examples are provided to illustrate the complexities of functions that appear independent of \(\bar{z}\) but may still be dependent on it, such as \(f(z) = |z|^2\) and \(\sin(z^*)^*\).
  • One participant discusses the concept of complex linearity in relation to the coefficients of \(z\) and \(\bar{z}\) in the context of differentiability.

Areas of Agreement / Disagreement

Participants express differing opinions on the interpretation of the Cauchy-Riemann relations and the nature of \(z\) and \(\bar{z}\). There is no consensus on whether they should be treated as independent variables or the implications of the Cauchy-Riemann equations as definitions versus necessary conditions for differentiability.

Contextual Notes

Some arguments rely on specific interpretations of complex differentiability and the definitions of analytic functions, which may vary among different texts. The discussion also highlights the complexity of functions that may not appear to depend on \(\bar{z}\) but are still influenced by it.

Wiemster
Messages
70
Reaction score
0
The cauchy Riemann relations can be written:

\frac{\partial f}{\partial \bar{z}}=0

Is there an 'easy to see reason' why a function should not depend on the independent variable \bar{z}[/tex] to be differentiable?
 
Physics news on Phys.org
Wiemster said:
The cauchy Riemann relations can be written:

\frac{\partial f}{\partial \bar{z}}=0

Is there an 'easy to see reason' why a function should not depend on the independent variable \bar{z}[/tex] to be differentiable?
<br /> <br /> What exactly do you mean? Do you want to take the derivative of the complex part?<br /> <br /> The Cauch-Riemann equations can be used to see the following: A holomorphic function f:\mathbb{C}\rightarrow\mathbb{C} is defined by its real part, plus some constant function.<br /> <br /> <u>Proof:</u> Let&#039;s look at two holomorphic functions f,g. Let Re(f)=Re(g), then look at the new function h defined by h:=f-g. From the properties of complex differentiation we know that this function h also is complex differentiable and because of Re(f)=Re(g), we know that Re(h)=0. Let h=u+iv for some real functions u,v (You should know that this can be done, otherwise consult a complex analysis book like Rudin). In our special case we know that u=0, and therefore any derivative of u is also equal to 0. The Cauchy-Riemann equations now state that 0=\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y} and 0=\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}. That&#039;s it. Both partial derivatives of v are equal to 0, so the imaginary part of h is constant, and thus the difference of f and g is constant.<br /> <br /> Is it clear?
 
Last edited:
It is a definition, Weimster. I'm not sure what you're asking. It is the definition of analytic.
 
matt grime said:
It is a definition, Weimster. I'm not sure what you're asking. It is the definition of analytic.

Is it? I thought from the text that a function is called differentiable in z_0 if the limit

lim _{\Delta z \rightarrow 0} \frac{f(z_0+\Delta z)-f(z_0)}{\Delta z}

exists and is independent of how you approach z_0

So I considered the CR equations not as the definition of , but as a necessary condition for differentiablility. In that sense, if a function satisfies CR for a certain z_0 this imples that the above limit exists and is independent of how z-) is approached.

Now my question was how this is related to the given formulation of CR.

Why is the limit independent of approach when the function is independent of \bar{z}[/itex]?
 
cliowa said:
What exactly do you mean? Do you want to take the derivative of the complex part?

The Cauch-Riemann equations can be used to see the following: A holomorphic function f:\mathbb{C}\rightarrow\mathbb{C} is defined by its real part, plus some constant function.

Proof: Let's look at two holomorphic functions f,g. Let Re(f)=Re(g), then look at the new function h defined by h:=f-g. From the properties of complex differentiation we know that this function h also is complex differentiable and because of Re(f)=Re(g), we know that Re(h)=0. Let h=u+iv for some real functions u,v (You should know that this can be done, otherwise consult a complex analysis book like Rudin). In our special case we know that u=0, and therefore any derivative of u is also equal to 0. The Cauchy-Riemann equations now state that 0=\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y} and 0=\frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}. That's it. Both partial derivatives of v are equal to 0, so the imaginary part of h is constant, and thus the difference of f and g is constant.

Is it clear?

It is clear, but can you also use this argumentation to show that an analytic function is a function of z plus some constant, to show that

\frac{\partial f}{\partial \bar{z}}=0
 
I wish you wouldn't say 'indepedent of z bar'. That isn't how to think of it. z and z bar are not independent variables - if I give you z you know what z bar is. Intuition from real analysis isn't much help in complex analysis. If a function is once complex differentiable it is infinitely complex differentiable, for instance, which is definitely not true in real analysis. Analytic functions correspond to the subset of harmonic functions.

In any case, it is normally proved, when the book decides to use the limit definition above, that this is if and only if the CR equations are satisfied. Doesn't it do so in your book? I imagine a google search will produce the link.
 
Last edited:
matt grime said:
I wish you wouldn't say 'indepedent of z bar'. That isn't how to think of it. z and z bar are not independent variables - if I give you z you know what z bar is.

It says in my book that they can be treated as independent variables!
 
Here's an example of why you shouldn't think like that, or indeed several examples.

consider f(z) = |z|^2, is that analytic? There's not z bar in there is there? It is 'independent of z bar'... oh, wait, |z|^2=zz* (again, star for conjugate), so actually, it is 'dependent on z bar'...

Now consider sin(z*)*. That depends on z bar right? But it's actually complex differentiable, so it can't be... Go figure.
 
Last edited:
  • #10
the zbar part of the derivative is the conjugate lienar part of the real lienar approximation,a nd the zm part is the compklex linear part. by definition, a conplex function is compklex differentiqble if it has a compelx linear approximation, hence the compelx conjugate part of the linear approximation should be zero.

riemann himself gavea slightly more intuitive explantion which i forget at the moment. (what does he know?)
 
  • #11
i.e. zbar and z are both real linear functions from C to C. and they span the vector space of such real linear functions as a complex vector space.

A differentiable function f from C to C has a real linear derivative, which is a real linear map C-->C, and hence can be expressed as a linear combination of zbar and z. The coefficient of zbar is called df/dzbar, while the coefficient of z is called df/dz.

Hence if df/dzbar = 0 then the derivative is complex linear.

the point is that df/dzbar is not defined as a limit wrt some "variable" zbar, but as a coefficient of a basis vector in a linear space.
 

Similar threads

  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K