Help with a unit disc property for a holomorphic function

Click For Summary

Homework Help Overview

The discussion revolves around a holomorphic function defined in an open disc U, where the real part of the function is constant. The original poster seeks to demonstrate that the function itself must also be constant and is curious about the essential properties of the disc U that support this conclusion, as well as examples of open sets where this does not hold.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • The original poster attempts to apply the Cauchy–Riemann equations to show that if the real part of the function is constant, then the function must be constant. Some participants question whether the open set could be a union of two disjoint disks and explore the implications of such a configuration.

Discussion Status

Participants are actively engaging with the problem, raising questions about the nature of the open set and its properties. There is a recognition that the connectedness of U is a crucial aspect that influences the behavior of the function. Some guidance has been offered regarding the implications of having disjoint open sets.

Contextual Notes

Participants note that the essential property of the domain U is its connectedness, which is significant in the context of the problem. There is also a discussion about the implications of defining the function differently on disjoint sets, which raises questions about the constancy of the real part of the function.

Stephen88
Messages
60
Reaction score
0

Homework Statement


Suppose that f is holomorphic in an open disc U and that Re(f) is
constant in U. I have to show that f must be constant in U. Also what is the essential
property of the disc U that it used here? Give an example of an open
set U for which the conclusion fails.

Homework Equations


Cauchy–Riemann equations.

The Attempt at a Solution


Let f=u+vi where u is a constant.Since f is holomorphic by the Cauchy–Riemann equations->
u_x=v_y and u_y=-v_x but since u is a constant u_x=u_y=0 => 0=v_y =-v_x...therefore f is constant.
The disc U has to be open,as in:U(a,r)={z:|z-a|<r}.
Is this correct?What should I do for the last part?
Thank you
 
Physics news on Phys.org
will U(0,1) be the special case?
 
Suppose the open set is the union of two disks that don't intersect?
 
I'm sorry but I don't know what to answer to that question.
 
Stephen88 said:
I'm sorry but I don't know what to answer to that question.

Any reason why f can't have one constant value on the first disk and a different constant value on the second disk?
 
To be honest I don't think so...that's like having a large supermarket divided in two...one or more products may be on both sides.
 
Stephen88 said:
To be honest I don't think so...that's like having a large supermarket divided in two...one or more products may be on both sides.

That's a strange analogy. Look. Define f(x)=1 on U(0,1) and f(x)=2 on U(3,1). Let the domain D be the union of the two disks. i) is there any place in the domain where the derivatives of f aren't zero? ii) is f constant on the domain?
 
No there isn't...also I think that if there are 2 or more disjoint open sets that make U=> in a contradiction
 
Stephen88 said:
No there isn't...also I think that if there are 2 or more disjoint open sets that make U=> in a contradiction

I hope that means you get it. So what's the 'essential property' of the domain that would eliminate these cases?
 
  • #10
U is connected
 
  • #11
Stephen88 said:
U is connected

That's it.
 
  • #12
Thank you:)
 
  • #13
Dick said:
Define f(x)=1 on U(0,1) and f(x)=2 on U(3,1). Let the domain D be the union of the two disks.

Doesn't such choice of f(x) contradict the given fact in this problem that "Re(f) is constant in U" ?
 
  • #14
jeniedieu said:
Doesn't such choice of f(x) contradict the given fact in this problem that "Re(f) is constant in U" ?

Good point. I lost track of the problem. Make that f(x)=i and f(x)=2i.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
11K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 11 ·
Replies
11
Views
8K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
2K
Replies
2
Views
6K