True or False? (Complex Analysis)

Ted123
Messages
428
Reaction score
0
[itex]S[/itex] is a star-shaped open subset of [itex]\mathbb{C}[/itex], [itex]f[/itex] is a holomorphic function from [itex]S[/itex] to [itex]\mathbb{C}[/itex], [itex]z_0[/itex] is an element of [itex]S[/itex].

I've just come out an exam and wondered whether the following 2 statements are true or false:

1 Let [itex]g[/itex] be a holomorphic function on [itex]S \subseteq \mathbb{C}[/itex], with the exception of a pole of order [itex]N[/itex] at [itex]z_0[/itex]. If the Laurent Series of [itex]g[/itex] around [itex]z_0[/itex] is

[itex]\displaystyle \sum_{n=-N}^{\infty} a_n ( z - z_0 )^n[/itex]

for [itex]z \in D'(z_0, R)[/itex] for some [itex]R>0[/itex] (and [itex]D(z_0 , R) \subseteq S[/itex]) and constants [itex]a_n \in \mathbb{C}[/itex], then the residue of [itex]g[/itex] at [itex]z_0[/itex] is given by [itex]a_{-1}[/itex].

2 Suppose [itex]S = D(z_0, R)[/itex] for some [itex]R>0[/itex] and

[itex]\displaystyle f(z) = \sum_{n=0}^{\infty} a_n(z-z_0)^n[/itex]

for all [itex]z \in S[/itex] and some constants [itex]a_n \in \mathbb{C}[/itex]. Then necessarily [itex]a_0 = f(z_0)[/itex] and [itex]a_n = f^{(n)}(z_0)[/itex] for all [itex]n\geq 1[/itex].
 
on Phys.org
1. How are the coefficients of the Laurent Series defined? (hint: it is related to the Cauchy Integral Formula)

2. Your function is holomorphic on S. So it is equal to its Taylor series on any point in its domain. What should the coefficients of a Taylor series centered at z_0 be?
 

Similar threads

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