Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

containing {0}

Replies: 4   Last Post: Oct 13, 2012 12:20 PM

 Messages: [ Previous | Next ]
 Stuart M Newberger Posts: 479 Registered: 1/25/05
containing {0}

Posted: Oct 13, 2012 2:48 AM

On Thursday, October 11, 2012 4:37:37 PM UTC-7, (unknown) wrote:
> Hi, All:
>
>
>
> I'm looking for a proof of the existence of a holomorphic log in
>
>
>
> a region R that are simply-connected but do not wind around the origin.
>
>
>
> My idea is:
>
>
>
> logz is defined as the integral Int_Gamma dz/z , for Gamma a simple-closed
>
>
>
> curve. The log is then well-defined , since, in simply-connected regions,
>
>
>
> the integral is independent of path. In addition, 1/z is holomorphic
>
>
>
> since z=/0 in R . Then the integral is well-defined and holomorphic,
>
>
>
> (integral of holomorphic function is holomorphic ) , so the log exists.
>
>
>
> Is this O.K?
>
>
>
>
>
> that

As George said ,in your region where where the Cauchy theorem holds the function 1/z z|=0 has a primitive f(z) ,that means a function with f'(z)=1/z in the region. If a is in the region, then by adding a constant to f, arrange that exp(f(a)=a Now show that d/dz( (1/z)exp(f(z))) =0 in the region so the indicated function is a constant which is 1 since that is its value at a.
Regards,smn

Date Subject Author
10/11/12 Bacle H
10/12/12 George Cornelius
10/13/12 Stuart M Newberger
10/13/12 Stuart M Newberger
10/13/12 David C. Ullrich