Showing a removable singularity

**mathshelpee** · August 29th 2011, 02:47 PM

http://i55.tinypic.com/wlf901.jpg

Hey guys,

I need to solve the above problem. I think I need to use Laurent's theorem but I am unsure how to proceed with it.

Thanks

**vincisonfire** · August 29th 2011, 05:02 PM

Hi,
I think your idea is good.
You can use the fact that the function is analytic in the punctured disk to obtain a Laurent series (in (z-a)) that converges in the punctured disk. You can then argue that as $z \rightarrow a$ and $|f(z) \leq {C \over \sqrt{z-a}}|$ all the negative order contribution must vanish, since they would otherwise asymptotically beat ${C \over \sqrt{z-a}}$ .

**Jose27** · August 29th 2011, 05:43 PM

Another way: Since $|(z-a)f(z)|\leq C$ and $|(z-a)f^2(z)|\leq C^2$ we can say that $f,f^2$ have a pole of order at most one at $a$ , this can't happen unless $a$ is a removable singularity for $f$ .

**chisigma** · August 29th 2011, 09:45 PM

Originally Posted by mathshelpee

http://i55.tinypic.com/wlf901.jpg

Hey guys,

I need to solve the above problem. I think I need to use Laurent's theorem but I am unsure how to proceed with it.

Thanks

A simple counterexample...

$f(z)= \ln (z-a)$ (1)

Applying l'Hopital rule You find that...

$\lim_{z \rightarrow a} \ln (z-a)\ \sqrt{z-a} =0$ (2)

... but it is obvious that $\ln (z-a)$ don't have in a a removable singularity. The 'statement' of Your 'theorem' has to be changed... how?...

Kind regards

$\chi$ $\sigma$

**Jose27** · August 29th 2011, 10:48 PM

Originally Posted by chisigma

A simple counterexample...

$f(z)= \ln (z-a)$ (1)

Applying l'Hopital rule You find that...

$\lim_{z \rightarrow a} \ln (z-a)\ \sqrt{z-a} =0$ (2)

... but it is obvious that $\ln (z-a)$ don't have in a a removable singularity. The 'statement' of Your 'theorem' has to be changed... how?...

Kind regards

$\chi$ $\sigma$

That function is not analytic in a neighbourhood of $a$ ...

**chisigma** · August 29th 2011, 11:41 PM

Originally Posted by Jose27

That function is not analytic in a neighbourhood of $a$ ...

Let's suppose [without loss of generality..] that $a=1$ so that we can use the same approach used for the 'Riemann zeta function' in...

http://www.mathhelpforum.com/math-he...on-186544.html

The function $f(s)= \ln (s-1)$ is analytic in $s=2$ and here its Taylor expansion is...

$\ln (s-1)= (s-2) - \frac{(s-2)^{2}}{2} + \frac{(s-2)^{3}}{3} -...$ (1)

The Taylor expansion (1) converges of course inside a circle centered in $s_{0}=1$ with radious r=1. Now , as illustrated in the figure...

... we can proceed as in the post about the Riemann zeta function and extend the region in which $\ln (s-1)$ is analytic 'everywhere around' the point $s=1$ ...

Kind regards

$\chi$ $\sigma$

**FernandoRevilla** · August 30th 2011, 08:53 AM

Originally Posted by chisigma

... we can proceed as in the post about the Riemann zeta function and extend the region in which $\ln (s-1)$ is analytic 'everywhere around' the point $s=1$ ...

Impossible.

**chisigma** · August 30th 2011, 09:18 AM

Originally Posted by FernandoRevilla

Impossible.

I don't think that, for the specific question, the word 'impossible' is written in the Coran

... then a minimum of [possibly convincing...] demonstration is necessary

...

Kind regards

$\chi$ $\sigma$

**chisigma** · August 30th 2011, 09:42 AM

Originally Posted by chisigma

I don't think that, for the specific question, the word 'impossible' is written in the Coran

... then a minimum of [possibly convincing...] demonstration is necessary

...

Kind regards

$\chi$ $\sigma$

By the way, with the precise purpose to avoid waste of time, I suggest to read the following recent post...

http://www.mathhelpforum.com/math-he...es-186754.html

Here for the computation of the integral....

$\int_{0}^{\infty} \frac{\ln x}{(1+2x)\ (1+x+x^{2})}\ dx$ (1)

... has been proposed the integration of the complex function $f(z)= \frac{\ln z}{(1+2z)\ (1+z+z^{2})}$ along the path in the figure...

Now it is evident that if $\ln z$ is not analytic inside the 'circular proximity' of $z=0$ of radious r the method fails and the computation of the integral (1) becomes [really...] 'impossible'... fortunately that is not the case

...

Kind regards

$\chi$ $\sigma$

**Jose27** · August 30th 2011, 12:55 PM

Originally Posted by chisigma

By the way, with the precise purpose to avoid waste of time, I suggest to read the following recent post...

http://www.mathhelpforum.com/math-he...es-186754.html

Here for the computation of the integral....

$\int_{0}^{\infty} \frac{\ln x}{(1+2x)\ (1+x+x^{2})}\ dx$ (1)

... has been proposed the integration of the complex function $f(z)= \frac{\ln z}{(1+2z)\ (1+z+z^{2})}$ along the path in the figure...

Now it is evident that if $\ln z$ is not analytic inside the 'circular proximity' of $z=0$ of radious r the method fails and the computation of the integral (1) becomes [really...] 'impossible'... fortunately that is not the case

...

Kind regards

$\chi$ $\sigma$

I don't know what you're trying to get at with this but your counterexample, as I said, doesn't work because the function is not analytic there: A function is analytic in a neighbourhood of $a$ if and only if it has a Laurent expansion around $a$ , and as you pointed out here such an expansion of the logarithm doesn't exist.

**FernandoRevilla** · August 30th 2011, 02:35 PM

Originally Posted by chisigma

Now it is evident that if $\ln z$ is not analytic inside the 'circular proximity' of $z=0$ of radious r the method fails and the computation of the integral (1) becomes [really...] 'impossible'... fortunately that is not the case

...

Are you assuring that $f(z)=\ln z$ is analytic in $0<|z|<r$ ?

**chisigma** · August 30th 2011, 10:06 PM

Originally Posted by FernandoRevilla

Are you assuring that $f(z)=\ln z$ is analytic in $0<|z|<r$ ?

... the procedure requires f(z) to be analytic on the integration path if $R \rightarrow \infty$ and $r \rightarrow 0$ ... then, non considering the poles with negative real part of f(z), $\ln z$ must be analytic for $|z|=r>0$ ...

The proof that $\ln z$ is analytic in $\mathbb{C}$ with the only exception of the point $z=0$ is given in...

http://www.mathhelpforum.com/math-he...st-167358.html

... thread the reading of which I strongly recommend...

Kind regards

$\chi$ $\sigma$

**FernandoRevilla** · August 30th 2011, 11:16 PM

Originally Posted by chisigma

... thread the reading of which I strongly recommend...

What for?. We are talking about a simple question: is $f(z)=\ln z$ analytic in $0<|z|<r$ ? (of course when the notation $\ln$ appears without any particular logarithm having been specified, it is generally assumed that the principal value is intended). The answer is no and this is related with the objection of Jose27 to your counterexample, so I think that it is useless to continue with this discussion.

Thread: Showing a removable singularity

LinkBack

Thread Tools

Display

Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Re: Showing a removable singularity

Similar Math Help Forum Discussions

Non-removable singularity and radius of Taylor expansion

Removable singularity

Removable Singularity

Removable Singularity

[SOLVED] Turning a Pole into a Removable Singularity

Search Tags