Caucy-Riemann equations and differentiability question

  • Thread starter bitrex
  • Start date
  • #1
193
0

Main Question or Discussion Point

I'm doing a little self study on complex analysis, and am having some trouble with a concept.

From Wikipedia:

"In mathematics, the Cauchy–Riemann differential equations in complex analysis, named after Augustin Cauchy and Bernhard Riemann, consist of a system of two partial differential equations that provides a necessary and sufficient condition for a differentiable function to be holomorphic in an open set."

But I have a function here, (z*)^2/z, which appears to satisfy the Cauchy-Riemann equations at z = 0, but the function is not differentiable there. Isn't this a contradiction that the above condition is both necessary and sufficient?
 

Answers and Replies

  • #2
fzero
Science Advisor
Homework Helper
Gold Member
3,119
289
But I have a function here, (z*)^2/z, which appears to satisfy the Cauchy-Riemann equations at z = 0, but the function is not differentiable there. Isn't this a contradiction that the above condition is both necessary and sufficient?
As you say, the derivatives in the CR equation don't exist at z=0, so I'm not sure why you believe that the CR equations are satisfied. A prerequisite to CR is that the real and imaginary parts of the function are differentiable with respect to the real variables.
 
  • #3
193
0
Thanks for your reply, I'm not sure exactly why I thought they were satisfied either! I see now that they are not.

A further question - some exercises in the problem set I'm working on ask me to determine where a complex function is differentiable, and some to determine where the function is analytic. If a complex function is differentiable at point [tex]Z_o[/tex], is that also a sufficient condition to assume that the function is analytic in the neighborhood of [tex]Z_o[/tex]? The text I'm using is not clear on this, so I'm not sure if in the problem set they are essentially asking me the same thing with different terminology.
 
  • #4
fzero
Science Advisor
Homework Helper
Gold Member
3,119
289
We need to differentiate between real differentiability and complex differentiability. Complex differentiability means that

[tex] \lim_{h\rightarrow 0, h\in \mathbb{C}} \frac{f(z_0+h)-f(z_0)}{h} = f'(z_0) ~~~(*)[/tex]

exists. If the CR equations are satisfied, the function is both analytic and complex differentiable. If our function were not analytic, the derivative (*) would not make sense.
 

Related Threads on Caucy-Riemann equations and differentiability question

Replies
2
Views
3K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
4
Views
3K
  • Last Post
Replies
1
Views
1K
Replies
1
Views
485
  • Last Post
Replies
1
Views
2K
Replies
2
Views
1K
Replies
3
Views
2K
Top