- #1

BruceW

Homework Helper

- 3,611

- 119

Hey everyone,

I've got a question that might be interesting to those of you that enjoy maths. Note: I only did a physics degree, so I have never really done analysis in the proper way a mathematician has. But I am eager to learn about more rigorous maths.

Right, so for a Laurent series about a point c, we have:

[tex]f_{(c)} = \sum_{n=-\infty}^{\infty} \ \frac{(z-c)^n}{2\pi i} \ \oint \frac{f_{(z)}}{(z-c)^{n+1}} \ dz[/tex]

And from looking at wikipedia, they say that f(z) only needs to be holomorphic in an annulus centred on c, which contains the curve I integrate over. So in other words, this is very useful, because even if there is a singularity at c, we can still get the Laurent series about point c.

Also, we have the Cauchy integral formula:

[tex]f_{(c)}^{(n)} = \frac{n!}{2\pi i} \oint \ \frac{f_{(z)}}{(z-c)^{n+1}} \ dz[/tex]

And wikipedia seems to say that in this case, f(z) needs to be holomorphic for the equation to work. (i.e. can't be a singularity at c). Interestingly, the equation for the Laurent series seems to contain the Cauchy integral formula, and if we make the substitution, then the Laurent series now looks like this:

[tex]f_{(c)} = \sum_{n=-\infty}^{\infty} \ \frac{(z-c)^n}{n!} \ f_{(c)}^{(n)} [/tex]

Which makes sense to me, since it looks a bit like the Taylor series, but with negative coefficients also included. But now comes my problem. The Cauchy integral formula needs f(z) holomorphic at c, but the Laurent series does not need f(z) holomorphic at c. So for my final equation (the one that looks like a Taylor series with negative coefficients), does this require f(z) to be holomorphic at c ? (since I have made use of the Cauchy integral formula, which does require f(z) holomorphic at c).

I hope I have made it clear what my question is. Please ask me if I have not explained what I mean clearly enough. Also, if the answer to my question is yes, then I guess this means that the Laurent series is 'more general' than the final equation which I wrote? Thank-you in advance!

edit: I guess that if f(z) is not holomorphic at c, then we can't define the n'th differential at c. Therefore, the Cauchy integral formula clearly cannot work if there is a singularity at c. Is this basically the right way to think about it? I feel like there might be a deeper reason.

second edit: really, I was hoping that the 1st equation can be derived from the 3rd equation. But now I am starting to think that it is actually the other way around?

I've got a question that might be interesting to those of you that enjoy maths. Note: I only did a physics degree, so I have never really done analysis in the proper way a mathematician has. But I am eager to learn about more rigorous maths.

Right, so for a Laurent series about a point c, we have:

[tex]f_{(c)} = \sum_{n=-\infty}^{\infty} \ \frac{(z-c)^n}{2\pi i} \ \oint \frac{f_{(z)}}{(z-c)^{n+1}} \ dz[/tex]

And from looking at wikipedia, they say that f(z) only needs to be holomorphic in an annulus centred on c, which contains the curve I integrate over. So in other words, this is very useful, because even if there is a singularity at c, we can still get the Laurent series about point c.

Also, we have the Cauchy integral formula:

[tex]f_{(c)}^{(n)} = \frac{n!}{2\pi i} \oint \ \frac{f_{(z)}}{(z-c)^{n+1}} \ dz[/tex]

And wikipedia seems to say that in this case, f(z) needs to be holomorphic for the equation to work. (i.e. can't be a singularity at c). Interestingly, the equation for the Laurent series seems to contain the Cauchy integral formula, and if we make the substitution, then the Laurent series now looks like this:

[tex]f_{(c)} = \sum_{n=-\infty}^{\infty} \ \frac{(z-c)^n}{n!} \ f_{(c)}^{(n)} [/tex]

Which makes sense to me, since it looks a bit like the Taylor series, but with negative coefficients also included. But now comes my problem. The Cauchy integral formula needs f(z) holomorphic at c, but the Laurent series does not need f(z) holomorphic at c. So for my final equation (the one that looks like a Taylor series with negative coefficients), does this require f(z) to be holomorphic at c ? (since I have made use of the Cauchy integral formula, which does require f(z) holomorphic at c).

I hope I have made it clear what my question is. Please ask me if I have not explained what I mean clearly enough. Also, if the answer to my question is yes, then I guess this means that the Laurent series is 'more general' than the final equation which I wrote? Thank-you in advance!

edit: I guess that if f(z) is not holomorphic at c, then we can't define the n'th differential at c. Therefore, the Cauchy integral formula clearly cannot work if there is a singularity at c. Is this basically the right way to think about it? I feel like there might be a deeper reason.

second edit: really, I was hoping that the 1st equation can be derived from the 3rd equation. But now I am starting to think that it is actually the other way around?

Last edited: