1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Expansions of Functions Analytic at Infinity

  1. Mar 20, 2014 #1
    1. The problem statement, all variables and given/known data

    Prove that if f(z) is analytic at infinity, then it has expansion of the form

    [itex]f(z) = \sum_{n=0}^{+\infty} \frac{a_{n}}{z^{n}}[/itex]

    converging outside some disk.

    2. The attempt at a solution

    I know that for f(z) to be analytic at infinity we want to consider the composite function g(w) = f(\frac{1}{w}), then if g is analytic at 0 f will be analytic at infinity.

    I've been attempting to Taylor expand g(w) around the point w=0 and then substituting the appropriate f terms in. However I'm not sure if this is a valid method as I can't see much pattern in the derivatives.

    So far I have

    [itex]g(w) = g(0) + g'(0)w + \frac{g''(0)w^{2}}{2} + \frac{g'''(0)w^{3}}{3!} + ...[/itex]

    as well as

    [itex]g'(w) = \frac{-f'(\frac{1}{w})}{z^{2}}[/itex]
    [itex]g''(w) = \frac{2f'(\frac{1}{w})}{w^{3}} + \frac{f''(\frac{1}{w})}{w^{4}}[/itex]
    [itex]g'''(w) = \frac{-6f'(\frac{1}{w})}{w^{4}} - \frac{6f''(\frac{1}{w})}{w^{5}} - \frac{f'''(\frac{1}{w})}{w^{6}}[/itex]

    meaning i'm just gaining more of each derivative each time and I'm not sure if this is the right way to go about this. Any help or tips would be much appreciated.
    Last edited: Mar 20, 2014
  2. jcsd
  3. Mar 20, 2014 #2


    User Avatar
    Homework Helper

    What you need here is that if [itex]f[/itex] is analytic at infinity then [itex]g[/itex] is analytic at zero.

    You don't need to do that. It is enough to note that if [itex]g[/itex] is analytic at zero then it has a power series expansion
    g(w) = \sum_{n=0}^\infty a_n w^n
    which converges inside some disc.
  4. Mar 20, 2014 #3
    Ok I've really over complicated it then, thanks! So then when I change back to [itex]f[/itex] I get the desired result analytic outside of a disk with radius 1/radius of the [itex]g[/itex] disk.

    The next part of the question is looking for an expansion of this form for for [itex]\frac{z-1}{z+1} \& \frac{z^{2}}{z^{2} - 1}[/itex]. I think for the first of these I can re-express as [itex]1 - \frac{2}{z+1}[/itex] and then expand this?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted