What Are the Radii of Convergence for a Laurent Series Around a Singular Point?

[naggy]

I'm puzzled by one thing concerning Laurent series.

If I have a series, for example f(z) =(z*sinz)/(2z-1) and I'm supposed to make a laurent series of f about the point z=1/2.

Now, what would the inner and outer radius of convergence be?

I would say that since z=1/2 is a pole, the inner radius is zero and the outer radius infinite?

If not, then how can I see the radius of convergence of a Laurent series?

 

[jostpuur]

I would say that since z=1/2 is a pole, the inner radius is zero and the outer radius infinite?

Result is correct, and the first conclusion too. Inner radius can be greater than zero only if Laurent series don't terminate at negative direction. Now the smallest order term in the Laurent series is of order -1, so inner radius is zero.

The outer radius is infinite, but you cannot conclude it from the fact that z=1/2 is a pole. Instead it is seen most easily from the fact, that the series of sine have the factorials 1/n! which make series convergent everywhere.

If not, then how can I see the radius of convergence of a Laurent series?

Most of the time it is best to try to see them by using previous knowledge of already known functions, but when all else fails, the outer and inner radius, \rh<img src="https://cdn.jsdelivr.net/joypixels/assets/8.0/png/unicode/64/1f635.png" class="smilie smilie--emoji" loading="lazy" width="64" height="64" alt="o_O" title="Er... what? o_O" data-smilie="12"data-shortname="o_O" /> and \rho_I, of a Laurent series

<br /> \sum_{n=-\infty}^{\infty} a_n (z-z_0)^n<br />

are given by the formulas

<br /> \rh<img src="https://cdn.jsdelivr.net/joypixels/assets/8.0/png/unicode/64/1f635.png" class="smilie smilie--emoji" loading="lazy" width="64" height="64" alt="o_O" title="Er... what? o_O" data-smilie="12"data-shortname="o_O" /> = \frac{1}{\underset{n\to\infty}{\textrm{lim sup}}\; \sqrt[n]{|a_n|}}<br />

<br /> \rho_I = \underset{n\to\infty}{\textrm{lim sup}}\; \sqrt[n]{|a_{-n}|}<br />

 

[naggy]

Result is correct, and the first conclusion too. Inner radius can be greater than zero only if Laurent series don't terminate at negative direction. Now the smallest order term in the Laurent series is of order -1, so inner radius is zero.

The outer radius is infinite, but you cannot conclude it from the fact that z=1/2 is a pole. Instead it is seen most easily from the fact, that the series of sine have the factorials 1/n! which make series convergent everywhere.
[/tex]

Then for example exp(1/z) has infinite negative terms and so has an inner radius higher than zero?


Another thing. If I wanted to find the residue of the pole(z=1/2) by writing the function as an infinite series, how would I do that? I would have to write it in terms of (z-1/2) right?

I tried doing it for sine about z=1/2 but the the denominator canceled and I did not gera a -1 order term in the series.

 

[jostpuur]

Then for example exp(1/z) has infinite negative terms and so has an inner radius higher than zero?

No.

This claim is right: If Laurent series has only finite amount of non-zero terms with negative exponent, then the inner radius is zero.

This claim is wrong: If Laurent series has infinite amount of non-zero terms with negative exponent, then the inner radius is greater than zero.

These first claim does not imply the second.

(edit: and my original comment

Inner radius can be greater than zero only if Laurent series don't terminate at negative direction.

is equivalent with the first claim)

Another thing. If I wanted to find the residue of the pole(z=1/2) by writing the function as an infinite series, how would I do that? I would have to write it in terms of (z-1/2) right?

Yes. You need to solve the coefficient a_{-1} from the series

<br /> \frac{z\sin(z)}{2z-1} \;=\; \frac{a_{-1}}{z-\frac{1}{2}} \;+\; a_0 \;+\; a_1(z-\frac{1}{2}) \;+\; a_2(z-\frac{1}{2})^2 \;+\; \cdots<br />

I tried doing it for sine about z=1/2 but the the denominator canceled and I did not gera a -1 order term in the series.

I believe you made a mistake. \frac{1}{2}\sin(\frac{1}{2})\neq 0, so the -1 order term should be there.

 

[naggy]

I believe you made a mistake. \frac{1}{2}\sin(\frac{1}{2})\neq 0, so the -1 order term should be there.

I don´t understand how that leads to the a-1 term. Is it because then the function would have a rectifiable singularity, that is the limit would exist as z goes to 1/2?

These things are confusing me a bit. For example I don´t get a a-1 term in a function like f(z) = 1/(z-i) if I expand it as a geometric series. Well, I get an a-1 term but an infinite number of negative powers, and that, by definition, should not give me a pole, but something called an essential singularity.

But I KNOW that z=i is a pole, since the function goes to infinity as z->i

 

[jostpuur]

I don´t understand how that leads to the a-1 term. Is it because then the function would have a rectifiable singularity, that is the limit would exist as z goes to 1/2?

I'm not sure what rectifiable singularity means. If f(z_0)=0, then \frac{f(z)}{z-z_0} has a removable singularity at z_0, at least. It sounds like you understood this already, but merely weren't sure?

These things are confusing me a bit. For example I don´t get a a-1 term in a function like f(z) = 1/(z-i) if I expand it as a geometric series.

This function already is in the form of Laurent series. It is

<br /> \frac{1}{z-i} = \sum_{n=-\infty}^{\infty} a_n (z-i)^n<br />

with coefficients a_{-1} = 1 and a_n = 0 for n\neq -1.

If you did this:

<br /> \frac{1}{z-i} = \frac{i}{1 + iz} = i\sum_{n=0}^{\infty} (-iz)^n = \sum_{n=0}^{\infty} (-1)^n i^{n+1} z^n<br />

then you have expanded the function as Laurent series around the point z=0, and not around the point z=i. In this case the inner radius of convergence is 0, and outer radius is 1. There does not exist z^{-1} term with non-zero coefficient, because the original function doesn't have singularity at z=0. The singularity is at z=i, and it has the effect that the (open) domain of convergence cannot be larger than \{z\in\mathbb{C}\;|\; |z|&lt;1\}, because a larger ball would contain the z=i. The singularity prevents the domain of convergence from being larger.

Well, I get an a-1 term but an infinite number of negative powers, and that, by definition, should not give me a pole, but something called an essential singularity.

Now I'm guessing, but do you mean series like this?

<br /> \frac{1}{z-i} = \frac{1}{z} \frac{1}{1 - \frac{i}{z}} = \frac{1}{z} \sum_{n=0}^{\infty} \Big(\frac{i}{z}\Big)^n = \sum_{n=-\infty}^{-1} (-i)^{n+1} z^n<br />

Here the function is written as Laurent series around the point z=0 so that the (open) domain of convergence is \{z\in\mathbb{C}\;|\; |z|&gt;1\}. That means the inner radius of convergence is 1, and the outer radius is \infty. The original function doesn't have essential singularity at z=0 despite these negative powers in this expansion, because now z=0 is outside (and not even on the boundary) the domain of convergence. To see what happens at the z=0, you need to use the Laurent series which converge for |z|&lt;1.