Complex Analysis: Open Mapping Theorem, Argument Principle

Click For Summary
SUMMARY

The discussion centers on the Open Mapping Theorem and the Argument Principle in complex analysis, specifically evaluating the truth of three assertions regarding holomorphic and entire functions. Assertion (a) is confirmed as true, demonstrating that if two sequences converge to a point where a holomorphic function is defined, the derivative at that point is zero. Assertion (b) is deemed false, as an entire function can be non-constant while still satisfying the integral condition given. Assertion (c) raises confusion regarding the definition of harmonic functions, with participants clarifying that harmonic functions satisfy Laplace's equation.

PREREQUISITES
  • Understanding of holomorphic functions and their properties
  • Familiarity with the Identity Theorem in complex analysis
  • Knowledge of harmonic functions and Laplace's equation
  • Basic concepts of complex integration and entire functions
NEXT STEPS
  • Study the Identity Theorem in detail to understand its implications in complex analysis
  • Explore the properties of entire functions and their relationship with zeros and poles
  • Learn about harmonic functions and their applications in potential theory
  • Investigate the Open Mapping Theorem and its significance in complex function theory
USEFUL FOR

Students and professionals in mathematics, particularly those focusing on complex analysis, as well as educators looking to clarify concepts related to holomorphic and harmonic functions.

nateHI
Messages
145
Reaction score
4

Homework Statement


In each case, state whether the assertion is true or false, and justify your answer with a proof or counterexample.

(a) Let ##f## be holomorphic on an open connected set ##O\subseteq \mathcal{C}##. Let ##a\in O##. Let ##\{z_k\}## and ##\{\zeta_k\}## be two sequences contained in ##O\setminus \{a\}## and converging to ##a##, such that for every ##k=1,2,\dots##, ##f(z_k)=f(\zeta_k)## and ##z_k\neq \zeta_k##. Then ##f^{\prime}(a)=0##.
ANS
This is true. By hypothesis, there exists ##D^{\prime}(a,\frac{1}{n})## such that ##f(z_n)=f(\zeta_n)=a##. Let ##g=f(z)-a##. By the Identity Theorem, ##g=0\implies f(z)=a##, which is a constant function and indeed, ##f^{\prime}(a)=0##.

(b) Let g be an entire function such that ##\frac{1}{2\pi i}\int_{|z|=R}\frac{g^{\prime}}{g}=0## for all ##R>1000##. Then ##g## is constant.
ANS
This statement is false since ##g## can also be an exponential. Why? Since ##g## is entire it has no poles, and ##\frac{1}{2\pi i}\int_{|z|=R}\frac{g^{\prime}}{g}=0## implies ##g## has no zeroes either. An exponential would be an example of a non-constant entire function that has no zeros.
(c) Let ##u## be a real-valued harmonic function on ##D(0,1)##, and let ##\gamma## be a closed curve in that disk. Then ##\int_{\gamma}u=0##.
ANS
I'm not sure how to do this. By harmonic does the problem mean analytic or that the 2nd derivative is 0? The book uses it both ways throughout the text hence my confusion.

Homework Equations

The Attempt at a Solution


I included my attempt in the problem statement. Although for part (a), I didn't use the hypothesis that ##f## isn't one to one. I believe my answer works though.[/B]
 
Physics news on Phys.org
I didn't see any issues in (a) or (b) that would lead me to question their validity. In part (C), harmonic normally implies that they satisfy Laplace's equation.
##\Delta f - \frac{\partial^2}{\partial t^2} = 0. ## Where ##\Delta## is the second spatial derivative. For a function that doesn't vary in time, this equates to the second derivative being zero.
I think it is implicit in the definition of a harmonic function that it be twice differentiable.
 
RUber said:
I didn't see any issues in (a) or (b) that would lead me to question their validity. In part (C), harmonic normally implies that they satisfy Laplace's equation.
##\Delta f - \frac{\partial^2}{\partial t^2} = 0. ## Where ##\Delta## is the second spatial derivative. For a function that doesn't vary in time, this equates to the second derivative being zero.
I think it is implicit in the definition of a harmonic function that it be twice differentiable.

OK thanks, just to be clear, are you saying I did parts (a) and (b) correct?
EDIT:
Actually, I clean my answer part (a) up a little bit below. It's not a significant change but it should make my reasoning more clear.
---------------
This is true. By hypothesis, there exists ##z_n\in D^{\prime}(a,\frac{1}{n})## such that ##f(z_n)=f(\zeta_n)=a##. Let ##g=f(z)-a##. By the Identity Theorem, ##g=0\implies f(z)=a##, which is a constant function and indeed, ##f^{\prime}(a)=0##.
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 15 ·
Replies
15
Views
2K
Replies
7
Views
3K
Replies
6
Views
3K
  • · Replies 7 ·
Replies
7
Views
3K