Results 1 to 10 of 10

Math Help - Laurent series of a function

  1. #1
    MHF Contributor arbolis's Avatar
    Joined
    Apr 2008
    From
    Teyateyaneng
    Posts
    1,000
    Awards
    1

    Laurent series of a function

    Calculate the Laurent development of the function f(z)=\frac{1}{(z-a)(z-b)} in the region \Omega: 0<|a|<|z|<|b|<+\infty.
    My attempt: I notice that f has 2 singularities, one in z=a, the other in z=b. By intuition, the radius of convergence of the series should be \frac{|b|-|a|}{2} but it's not asked.
    Ok so my problem is where do I center the Laurent series? There's the possibility that f is analytic in \Omega (and so the Laurent series is worth the Taylor's series) but I'm unsure since it doesn't seem bounded when z\to a^+ and z\to b^- so I'd bet it's not analytic in omega.
    Now \frac{1}{z-a}=\frac{1}{z} \sum _{n=0}^{+\infty} \left ( \frac{a}{z} \right ) ^n with \left |  \frac{a}{z} \right |<1 \Rightarrow |a|<|z| which is ok in the region omega. I could get a similar result for \frac{1}{z-b} but it wouldn't be valid in omega so I don't really know how to go further.
    So I can write f(z)=\frac{1}{z(z-b)} \sum _{n=0}^{+\infty}  \left ( \frac{a}{z} \right ) ^n and I'm stuck.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor chiph588@'s Avatar
    Joined
    Sep 2008
    From
    Champaign, Illinois
    Posts
    1,163
     \displaystyle{\frac{1}{(z-a)(z-b)}=\frac{1}{(b-a)(z-b)}+\frac{1}{(a-b)(z-a)}}
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor arbolis's Avatar
    Joined
    Apr 2008
    From
    Teyateyaneng
    Posts
    1,000
    Awards
    1
    Ok thanks for the help. I still have the same problem. While I can get an expression for \frac{1}{(a-b)(z-a)} (it's worth \frac{1}{z(a-b)} \sum _{n=0}^{+\infty} \left ( \frac{a}{z}  \right ) ^n.), I get stuck to get an infinite series expression for something with \frac{1}{z-b} because in omega, |z|<b.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member
    Joined
    Jul 2010
    From
    Vancouver
    Posts
    432
    Thanks
    17
    Since |z|<|b| in omega and |b|> 0 for all complex numbers b, [LaTeX ERROR: Convert failed] in omega.

    In this case: [LaTeX ERROR: Convert failed]

    In the other case we have |z|>|b| and then [LaTeX ERROR: Convert failed] .

    In this case: [LaTeX ERROR: Convert failed]
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member
    Joined
    Jul 2010
    From
    Vancouver
    Posts
    432
    Thanks
    17
    As for your more general question, here is what I think. Lets talk about your function f(z). It is a quotient of polynomials where the numerator is a constant and the denominator is a product of two linear factors. There is a theorem somewhere saying that such functions are analytic everywhere except at their singularities. In your case z = a or z = b. From this, you can see the f(z) must be analytic in [LaTeX ERROR: Convert failed] , which is an annulus.

    Now, I'm not 100% sure on this, but talking about radius of convergence for a Laurent series can be a bit of a misnomer. We should really be talking about a region in which the series converges. For similar reasons, the whole issue of where you center the series is a bit superfluous as well, because of the following:

    If you center the Laurent series around 0, it'll equal the Taylor series for f(z) since it is analytic on |z| < |a|, and it'll terminate at the nearest singularity, which is a.

    Similarly, in omega, you can choose a point and derive a Taylor series about the point, and it'll terminate at whichever singularity is closer a or b. This will depend on the placement of said point in relation to a and b.

    Now, the point of the Laurent series in this case would be to find a series representation of f(z) which will be analytic in the whole annulus omega. So, in this case we are not really looking at a point at which we want to center the series. Rather, we are looking at a way to manipulate f(z) to look like a the sum of a geometric series. In this example, it should be pretty easy, because the function is already looking ready.

    So you have the first step, which is to split apart f(z). You can actually do without the splitting, but the downside is that you will have to multiply series and this can be messy. So:

    [LaTeX ERROR: Convert failed]

    Now you have the following inequalities: |a| < |z| and |z| < |b|. You can see where this is going. From these we need to find expressions of z that have magnitude < 1 to use converging geometric series. From the first inequality we get |a\z| < 1 and from the second |z\b| < 1. Now you are pretty much ready.

    [LaTeX ERROR: Convert failed] and [LaTeX ERROR: Convert failed]

    So now [LaTeX ERROR: Convert failed] . From here you can just use geometric series and maybe simplify a bit.
    Last edited by Vlasev; July 30th 2010 at 02:33 AM. Reason: Long post, wanted to make sure I don't lose it.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor arbolis's Avatar
    Joined
    Apr 2008
    From
    Teyateyaneng
    Posts
    1,000
    Awards
    1
    Ok thank you very much. I reach f(z)=\left (  \frac{1}{a-b} \right ) \left [ \frac{1}{z} \sum _{n=0}^{+\infty} \left ( \frac{a}{z} \right ) ^n - \frac{1}{b} \sum _{n=0}^{+\infty} \left ( \frac{z}{b} \right ) ^n  \right ] which is still not a Laurent series but I will try to work on it.
    I've a question however: how did you know to split f(z) as {\frac{1}{(z-a)(z-b)}=\frac{1}{(b-a)(z-b)}+\frac{1}{(a-b)(z-a)}} ? I wouldn't be able to do it on my own if I don't understand the reason.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    Senior Member
    Joined
    Jul 2010
    From
    Vancouver
    Posts
    432
    Thanks
    17
    Quote Originally Posted by arbolis View Post
    Ok thank you very much. I reach f(z)=\left (  \frac{1}{a-b} \right ) \left [ \frac{1}{z} \sum _{n=0}^{+\infty} \left ( \frac{a}{z} \right ) ^n - \frac{1}{b} \sum _{n=0}^{+\infty} \left ( \frac{z}{b} \right ) ^n  \right ] which is still not a Laurent series but I will try to work on it.
    I've a question however: how did you know to split f(z) as {\frac{1}{(z-a)(z-b)}=\frac{1}{(b-a)(z-b)}+\frac{1}{(a-b)(z-a)}} ? I wouldn't be able to do it on my own if I don't understand the reason.
    I think there is a + the nor a -, but I'm not 100% sure. Also, it is almost a Laurent series, you just have to do a small transformation on the coefficients in the left sum to make it of the form [LaTeX ERROR: Convert failed]
    Follow Math Help Forum on Facebook and Google+

  8. #8
    MHF Contributor chiph588@'s Avatar
    Joined
    Sep 2008
    From
    Champaign, Illinois
    Posts
    1,163
    I've a question however: how did you know to split f(z) as {\frac{1}{(z-a)(z-b)}=\frac{1}{(b-a)(z-b)}+\frac{1}{(a-b)(z-a)}} ? I wouldn't be able to do it on my own if I don't understand the reason.
    partial fractions.
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor arbolis's Avatar
    Joined
    Apr 2008
    From
    Teyateyaneng
    Posts
    1,000
    Awards
    1
    Quote Originally Posted by Vlasev View Post
    I think there is a + the nor a -, but I'm not 100% sure.[/tex] Hmm I don't really see what you mean.
    [tex]Also, it is almost a Laurent series, you just have to do a small transformation on the coefficients in the left sum to make it of the form [LaTeX ERROR: Convert failed]
    For the left sum, I reach that it's worth \sum _{n=-\infty}^{-1} h^n z^n where h^n=\frac{1}{a^{n+1}}.
    I'm not sure I can easily "glue" both infinite series into a Laurent series.
    Thanks chiph588, I got it.
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Senior Member
    Joined
    Jul 2010
    From
    Vancouver
    Posts
    432
    Thanks
    17
    [LaTeX ERROR: Convert failed]

    [LaTeX ERROR: Convert failed]

    [LaTeX ERROR: Convert failed]

    where [LaTeX ERROR: Convert failed] if n smaller or equal to -1
    and [LaTeX ERROR: Convert failed] if n is greater or equal to 0
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Laurent's series for a function
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: December 16th 2010, 12:05 PM
  2. Laurent Series/ Laurent Series Expansion
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: October 5th 2010, 09:41 PM
  3. [SOLVED] Laurent series of a function
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: July 27th 2010, 10:43 AM
  4. Help with Laurent series
    Posted in the Calculus Forum
    Replies: 2
    Last Post: June 11th 2010, 09:50 AM
  5. laurent series
    Posted in the Calculus Forum
    Replies: 4
    Last Post: November 11th 2008, 06:25 PM

/mathhelpforum @mathhelpforum