What is the difference between geometric series and laurent series?

[Mappe]

I don't quite understand a few details here. First, What is the difference between geometric series and laurent series? Than, how do I multiply/divide 2 series with each other? Finally, I have this problem, and I'm really clueless as of what to do.

Turn 1/(1-cos(z)) into a laurent series.

 

[Dick]

I really don't want to do this one. It's perfectly straightforward, it's just a pain in the neck to get the coefficients. Power expand cos(x) and cancel the 1. Factor the z^2 out of the numerator. Now you have (2/z^2)*(1/1-f(z)) where f(z) is a power series in z. Use a geometric expansion of (1/(1-f(z))=1+f(z)+f(z)^2+... Now to get a certain number of positive powers of z in the expansion you have to judiciously pick how many terms in the powers of f(z) you need to get to coefficients of the powers of z right.

 

[vela]

I don't quite understand a few details here. First, What is the difference between geometric series and laurent series?

A Laurent series has both positive and negative powers of the variable while the geometric series has just positive powers.

 

[HallsofIvy]

Vela may have thought you were comparing a Laurent series to a Taylor's series (which you probably intended).

A "geometric series" is not even a series of functions, but a numerical series:
A geometric series is always of the form
\sum_{n=0}^\infty a r^n
where a and r are given numbers.

A "power series" is a series of functions, each of the form [math]a_nx^n[/math] for each "a_n" a number and x a variable. A "Taylor's series", for a specific function, is a power series with specific coefficients, f^{(n)}(x_0)/n!. Even if we take the "r" in the geometric series to be a variable, we get a power series specifically of the form \sum_{n=0}^\infty ax^n which is the Taylor's series for a/(1- x) around 0.

A "Laurent" series is like a Taylor's series with negative as well as positive exponents.

 

[vela]

Vela may have thought you were comparing a Laurent series to a Taylor's series (which you probably intended).

Yes, indeed. I should be more careful with the terminology. Thanks for clarifying.

 

[Mappe]

Thanks. I tried this way of solving above, and now I get a sum in a sum. And its from 0 -> inf. This isn't a proper laurentseries, is it? Also, I didn't understand the coefficient for powers of z stuff. And choosing number of terms? Can I not just expand it as it is right now, a geometric series of 1/(1-(series:cos(z)))?

 

[vela]

Now you know why Dick didn't want to do it. :) It does sound like you're doing it correctly so far. Now you have to multiply everything out and collect terms. It's not really feasible to do it in general, so in practice, you decide that you want, say, the first 4 terms, which for your problem are the z^{-2}, z^{-1}, z^0, and z^1 terms. You have to figure out where all the contributions for those powers of z will come from.

 

[Mappe]

OK, but the series I come up with doesn't give any ^{z^-1} terms, as it's one taylor expansion of cos, goes from 0 -> inf, and one geometric series of 1/(1-f(x)), goes from 0 -> inf. That is, no -inf. And the cos series only produces even number powered z:s. And is there any easy rules for finding coefficients for sum in sum?

 

[HallsofIvy]

OK, but the series I come up with doesn't give any ^{z^-1} terms, as it's one taylor expansion of cos, goes from 0 -> inf, and one geometric series of 1/(1-f(x)), goes from 0 -> inf. That is, no -inf. And the cos series only produces even number powered z:s. And is there any easy rules for finding coefficients for sum in sum?

I have no idea what you are doing here. If your series has no negative powers in it, then its value at z= 0 is just its constant term (or 0 if there is no constant term). But 1/(1- cos(z)) is not defined at z= 0.

How, exactly, did you use the Taylor's series for cos(x) and 1/(1-x)?

 

[Mappe]

Here is how:
\sum 1/(1-cos(x)) = \sum 1/(1-(\sum(-1)^n(x)^{2n}/(2n!))) = \sum(\sum(-1)^n(x)^{2n-2}/((2n-2)!))^m

hope it doesn't look like a mess :)

 

[Mappe]

ohh. it did

 

[Mappe]

with ordinary letters:

1/(1-cos(x)) = 1/(1-E(-1)^n*x^(2n)/(2n!)) = 2*E(E((-1)^n*x^(2n-2))/((2n+2)!))^m

where both E's (sums) goes from 0 -> inf, and m is for the outer sum.