Prove that [itex]f(z) = |z|[/itex] is not holomorphic.

  • Thread starter Thread starter littleHilbert
  • Start date Start date
Click For Summary
SUMMARY

The function f(z) = |z| is proven to be non-holomorphic due to its lack of complex differentiability. The partial derivatives of the real part u(x, y) = √(x² + y²) yield conditions that cannot be satisfied simultaneously, violating the Riemann conditions necessary for holomorphicity. Specifically, the derivatives ∂u/∂x and ∂u/∂y indicate that f(z) does not meet the criteria for being differentiable at any point in the complex plane. Consequently, f(z) is confirmed as non-holomorphic.

PREREQUISITES
  • Understanding of complex functions and their differentiability
  • Familiarity with the Riemann conditions for holomorphic functions
  • Knowledge of partial derivatives in multivariable calculus
  • Basic concepts of complex analysis, particularly the definition of holomorphic functions
NEXT STEPS
  • Study the Riemann conditions in detail to understand their implications for differentiability
  • Explore complex differentiability and its relationship with holomorphic functions
  • Learn about the implications of the Cauchy-Riemann equations in complex analysis
  • Investigate other non-holomorphic functions and their properties in complex analysis
USEFUL FOR

Students of complex analysis, mathematicians focusing on function theory, and anyone interested in the properties of holomorphic and non-holomorphic functions.

littleHilbert
Messages
55
Reaction score
0
Prove that f(z) = |z| is not holomorphic.

We have f(z) = \sqrt {x^2 + y^2} + i0, so \frac {\partial{u}}{\partial{x}} = x(x^2 + y^2)^{ - \frac {1}{2}},\frac {\partial{u}}{\partial{y}} = y(x^2 + y^2)^{ - \frac {1}{2}}, \frac {\partial{v}}{\partial{x}} = \frac {\partial{v}}{\partial{y}} = 0

One sees that if either x or y, but not both, were zero, either condition would be satisfied and the other not. So there are no such points, for which the Riemann conditions would hold.

Since holomorphic functions are complex-differentiable, and f is not differentiable, it follows that f is not holomorphic.

It strikes me that the equivalent condition \frac {\partial{f}}{\partial{\bar{z}}} = 0 is not trustworthy, because using only this one could say that f is differentiable only in the origin, which is false if we work with Riemann. Why is it so?
 
Physics news on Phys.org
But your other definition is satisfied at the origin too. I'm not sure I see your point.
 

Similar threads

Replies
4
Views
1K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
2
Views
1K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K