Simple Holomorphic Functions Question

  • Thread starter Thread starter gauss mouse
  • Start date Start date
  • Tags Tags
    Functions
Click For Summary
SUMMARY

The discussion centers on the properties of holomorphic functions defined on an open subset A of the complex plane, specifically regarding the representation of such functions using power series. The user encounters a contradiction when evaluating the function at a point z_0, leading to the conclusion that f(z_0) must equal zero for all z_0 in A. However, the resolution lies in recognizing that the summation starts from k=0, thus f(z_0) equals a_0, which is not necessarily zero. This clarification resolves the apparent paradox.

PREREQUISITES
  • Understanding of holomorphic functions in complex analysis
  • Familiarity with power series and their convergence
  • Knowledge of contour integration in complex analysis
  • Basic concepts of open sets in topology
NEXT STEPS
  • Study the properties of holomorphic functions and their power series representations
  • Explore the concept of contour integration and its applications in complex analysis
  • Learn about the implications of the identity theorem for holomorphic functions
  • Investigate the convergence criteria for power series in complex analysis
USEFUL FOR

Students and professionals in mathematics, particularly those focusing on complex analysis, as well as anyone interested in the theoretical foundations of holomorphic functions and their applications.

gauss mouse
Messages
24
Reaction score
0
I have the following statement:
Let A\subseteq \mathbb{C} be open and let f\colon A \to \mathbb{C} be holomorphicic (in A). Suppose that D(z_0,R)\subseteq A. Then
f(z)=\sum_{k=0}^\infty a_k(z-z_0)^k\ \forall z\in D(z_0,R), where
a_k=\displaystyle\frac{1}{2\pi i}\int_{|\zeta-z_0|=r}\frac{f(\zeta)}{(\zeta-z_0)^{k+1}}d\zeta and 0<r<R.

My problem is that it now seems, plugging in z_0, that f(z_0)=0 and since this can be done for all z_0\in A, we have f(z_0)=0 for all z_0 \in A, which is absurd. Can anybody tell me what's going on here?

Sorry I haven't formatted this in the usual coursework question way but I don't think it would suit it.
 
Physics news on Phys.org
gauss mouse said:
I have the following statement:
Let A\subseteq \mathbb{C} be open and let f\colon A \to \mathbb{C} be holomorphicic (in A). Suppose that D(z_0,R)\subseteq A. Then
f(z)=\sum_{k=0}^\infty a_k(z-z_0)^k\ \forall z\in D(z_0,R), where
a_k=\displaystyle\frac{1}{2\pi i}\int_{|\zeta-z_0|=r}\frac{f(\zeta)}{(\zeta-z_0)^{k+1}}d\zeta and 0<r<R.

My problem is that it now seems, plugging in z_0, that f(z_0)=0 and since this can be done for all z_0\in A, we have f(z_0)=0 for all z_0 \in A, which is absurd. Can anybody tell me what's going on here?

Sorry I haven't formatted this in the usual coursework question way but I don't think it would suit it.

The summation starts from k=0. So f(z_0)=a_0 (z-z_0)^0=a_0.
 
0^0=1. Of course. Thanks.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 22 ·
Replies
22
Views
5K
  • · Replies 14 ·
Replies
14
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
Replies
7
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
6
Views
3K