Analytic on open strip

  • Thread starter arnesmeets
  • Start date
  • #1
18
2
Let f be analytic on {z : 0 < Im z < 1} and continuous on the closure of this set.

Suppose that f(z) = 0 if z is real. Show that f is identically zero.

Any help please?
 

Answers and Replies

  • #2
matt grime
Science Advisor
Homework Helper
9,420
4
Well, what (standard?) results do you know that might help? Any that tell you when an analytic function is zero? I can think of 2, one of which gives you the answer.
 
  • #3
18
2
Well, I know the identity theorem, but we can't apply it here :(

[because f is not zero inside the region where f is analytic]
 
  • #4
matt grime
Science Advisor
Homework Helper
9,420
4
Can you think of anyway to extend f to be analytic on the region where it is zero?
 
  • #5
HallsofIvy
Science Advisor
Homework Helper
41,847
966
Of course the fact that f is continuous on the closure of the set is crucial- you will have to use that.
 
  • #6
2,112
18
I once asked about what kind of things can happen that prevent analytic continuation. I think it turned out that there can be boundaries (lines or other one dimensional manifolds) over which analytic continuation cannot be carried out, and was it the reason, that the function approaches zero or infinity at the boundary? If the claim in opening post is correct, I'm probably remembering something wrong then?

Or does the boundary of continuation arise so that the function does not have any limits on it?
 
  • #7
2,112
18
My mistake. I was thinking about this: http://en.wikipedia.org/wiki/Domain_of_holomorphy

When n = 1, then every open set is a domain of holomorphy: we can define a holomorphic function which has zeros which accumulate everywhere on the boundary of the domain

But it doesn't give a counter example to the claim in the opening post.
 
  • #8
matt grime
Science Advisor
Homework Helper
9,420
4
I would hope it doesn't give a counter example: the reflection principle is one of the most elementary results in complex analysis - it's a simple consequence of Morera's theorem.
 
  • #9
gel
533
5
jostpuur - having zeros which accumulate at the boundary is different from saying that it goes to zero at the boundary.
eg, sin(1/z) is defined for z !=0 and has zeros which accumulate at z=0, but it doesn't go to zero as z->0.
 
  • #10
2,112
18
jostpuur - having zeros which accumulate at the boundary is different from saying that it goes to zero at the boundary.
eg, sin(1/z) is defined for z !=0 and has zeros which accumulate at z=0, but it doesn't go to zero as z->0.

I had understood this by the time of my previous post, where I said that the function described by the Wikipedia isn't a counter example.

When writing post #6, I thought I had seen something that could be a counter example, but then I found the Wikipedia page, took a closer look, and noticed that I remembered it wrong, and then wrote the post #7.
 
Last edited:
  • #11
8
0
Define [itex]g_y : \mathbb{R} \rightarrow \mathbb{C}[/itex] so that [itex]g_y(x) = f(x+iy)[/itex]. Cauchy's theorem plus continuity of [itex]f[/itex] at the boundary imply that

[tex]\int_{-a}^a (g_y(x)+g_y(-x))dx = 0[/tex]

(taking a symmetric rectangular contour with base arbitrarily close to the real line). The continuity of [itex]g_y[/itex] gives that

[tex]\frac{1}{2\epsilon} \int_{\epsilon}^{\epsilon} (g_y(x)+g_y(-x))dx \Rightarrow g_y(0)[/tex]

So [itex]f(iy)=0[/itex], and you can apply the identity theorem.
 
Last edited:

Related Threads on Analytic on open strip

  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
4
Views
2K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
7
Views
3K
Replies
1
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
4
Views
11K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
4
Views
5K
Top