Uniqueness of Analytic Functions on a Disc

Click For Summary

Homework Help Overview

The problem involves finding all functions f(z) that are analytic in the disc |z-1| < 1 and satisfy a specific condition at points of the form n/(n+1). The discussion centers around the uniqueness of the function f(z) given a proposed solution.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of defining a function h(z) based on the proposed solution g(z). Questions arise regarding the nature of zeros of analytic functions and the concept of cluster points. There is also a discussion about the rigor of definitions used in the context of the problem.

Discussion Status

The discussion is active, with participants providing insights into the properties of analytic functions and questioning the assumptions made about the uniqueness of the solution. Some guidance has been offered regarding the implications of isolated zeros and continuity, but there is no explicit consensus on the uniqueness of f(z).

Contextual Notes

Participants note that the course background may lack rigorous definitions, which could affect the understanding of certain concepts discussed, such as cluster points and the nature of analytic functions.

nicksauce
Science Advisor
Homework Helper
Messages
1,270
Reaction score
7

Homework Statement


Find all functions f(z) satisfying a) f(z) is analytic in the disc |z-1| < 1, and b) f(n/(n+1)) = 1 - 1 / (2n^2 + 2n+1).

Homework Equations


The Attempt at a Solution


One can deduce by algebraic re-arrangement that one solution is f(z) = 2z / (1+z^2). But how can I show that this function is the unique function satisfying this condition? Any hints?
 
Physics news on Phys.org
Let g(z)=2z/(1+z^2). Then let h(z)=f(z)-g(z). The zeros of h(z) have a cluster point at z=1. The zeros of an analytic function which is not zero are isolated. So what is h(z)?
 
Hi Dick, thanks for the reply. A few things: If you let g(z) = 2z/(1+z^2) and you have already f(z) = 2z/(1+z^2), then isn't h(z) identically 0? I don't see what you meant here.

Second, this was from a fairly unrigorous class intended for physicists, so we never defined 'cluster point'. Perhaps you could re-phrase in more intuitive language?
 
Hi nicksauce,

You don't have f(z)=2z/(1+z^2), that's what you are trying to prove, isn't it? And proving h(z)=0 will do that. Sorry to use words without defining them, it didn't look like a physics question. g(1)=1 and by continuity f(1)=1. So h(1)=0. If h(z) is analytic and nonzero, and it IS analytic since f(z) and g(z) are, then the zero at z=1 must be isolated. Which means there is a disk around z=1 where h(z) is nonzero. Since the limit of n/(n+1) is 1 (i.e. 1 is a cluster point) and h(n/(n+1))=0, that contradicts h(z) having an isolated zero at z=1. Hence, h(z)=0.
 
Last edited:
Ok that seems to make sense. Thanks!
 
nicksauce said:
Ok that seems to make sense. Thanks!

'seems to make sense'?? REALLY!?? It does make sense! :). I don't know exactly what field of physics you're in, but there is a surprising amount of info you can get out of complex analysis. Look at the S-matrix. If you assume it's analytic with branch cuts in the complex energy plane you get all kinds of stuff.
 
Allow me to clarify a few things...

Dick said:
it didn't look like a physics question.
I didn't mean it was physics questions. What I meant was that as a physics student, I took the complex variables course that is intended for physics students, thus with more of a focus on calculations and applications and a bit of a lack of rigorous definitions, rather than a course intended for math students.

Dick said:
Look at the S-matrix. If you assume it's analytic with branch cuts in the complex energy plane you get all kinds of stuff.
Well I am just an undergrad and I have no idea what an S-matrix is, but I'll try to keep that in mind. :p
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
2
Views
1K
Replies
8
Views
2K
Replies
6
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
7
Views
3K
Replies
2
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K