One way is to note that the Laurent series around a=-1 wll be the functions Taylor expansion, so try to derive that one instead.
I must find the Laurent series of at the point and find the radius of convergence of the series.
My attempt: I guess they mean when they say ?
First I realize that has a singularity at and so the radius of convergence of the Laurent series centered at should be equal to .
I'm not sure if I should make a change of variable in order to get the Laurent series centered at or if I should make any other algebra.
What I've done so far is to write as for . But I'm still far from a series of the form .
Any tip would be good for me.
Ok but how did you notice this? I thought that the function had to be analytic everywhere in its domain for both series to be the same. But since there's a singularity in z=i/2, can you tell me why the Laurent series and Taylor's series will be the same?
And ok, I will find the Taylor series.
Edit: I found .
Edit 2: And so the radius of convergence of the series is , so it converges for all z in so I certainly made at least 1 error...
for .
I don't know how you got logs in there!
The Taylor series of a function around a point of analyticity is a specific case of a Laurent series : the Taylor series is the Laurent series there. However, around a singularity, there is no Taylor series, but there may be a Laurent series. In this case, since the function is analytic at , the Laurent series you are being asked to find is nothing else than the Taylor series there.
Ok thanks a lot. So in fact they are asking the Laurent series of f at a single point where f is analytic (and f is analytic in its neighborhood) and that's why it coincides with the Taylor series. Is that right?
I also don't know how I got logs, it seems I've integrated something but now I don't understand what I've done. (I just hope it won't happen in the exam!).
Now I get the Taylor series which seems also wrong compared to yours. And I reach a radius of convergence of which also makes no sense.
Am I right to say that ?
From your condition I get a condition on z: it's a circle centered at (-1,0) and with radius which makes sense to me! See my first post for the radius of convergence.
Another question: how did you know that writing 2z-i as something with "2+i" as factor was a good idea? I don't think it might occur to me to do what you did.
Yes, the Taylor series and the Laurent series coincide where the function if they are around a point where f is analytic. The way you would derive the Taylor series is to find an expression of the n-th derivative of f(z), evaluate it at the point of expansion (z = -1 in this case) and then do some simplification.
[LaTeX ERROR: Convert failed]
1st derivative[LaTeX ERROR: Convert failed]
2nd derivative [LaTeX ERROR: Convert failed]
and in general we get [LaTeX ERROR: Convert failed]
Those factorials tend to creep up in derivations like this, and looking at the expression you got, the only difference is that you are missing said factorial.
Now the Taylor series is:
[LaTeX ERROR: Convert failed] [LaTeX ERROR: Convert failed]
after canceling out the n powers of -1, the n!, bringing out a 1/(2+i) and collecting the remaining terms under a power of n.
The condition [LaTeX ERROR: Convert failed] is due to the fact that we have a geometric sum and it only converges if the thing's magnitude under the power of n is smaller than 1.
If you look at Bruno's derivation, he is doing the complex variables derivation, which in this case is easier. You are trying to get an expression that looks as much as a geometric sum as possible. Here is the prototypical example:
[LaTeX ERROR: Convert failed] where we need x < 1
In your case you only have 1/(2z-i). We want to get something of the form 1/(1-x) where x is some expression containing z and is smaller than 1. You can start off by thinking of x = 2z, but the magnitude of 2z > 1, so we cannot do that. So here is how it goes.
First we need to have z+1 and not just z in the expression, since we want the series to be expanded around z = -1. So you add and subtract 1 to get:
[LaTeX ERROR: Convert failed]
And then you do the rest.