01/31/2011, 04:47 AM
(This post was last modified: 01/31/2011, 06:22 AM by sheldonison.)

(01/31/2011, 04:00 AM)bo198214 Wrote:Henryk, I've run into some gaps (maybe the same gap you mention), with the ideas I was pursuing in this post, so I don't feel like I have a proof, just lots of interesting observations. At some point, I'll post some more, when the ideas are more clear to me. In the meantime, I need to visit the local university library, and read some of these papers (by Walker, and Levy, and Kneser, and a book by Kuczma).(01/30/2011, 06:48 PM)tommy1729 Wrote: in fact even log(exp(z)) is not entire.

Well thats an interpretation question.

If you consider log(exp(z)) in the strictest sense, the logarithm with imaginary part between -pi and pi, then log(exp(z)) is not a holomorphic function, because it is not continuous.

However you know that a holomorphic function is determined globally by just being defined in a small neighborhood of a point, thats the so called analytic continuation.

So on the neighborhood of some point on the positive real axis log(exp(z)) = id. This is the holomorphic function and you continue it just to the whole complex plane.

But I see your point in mentioning that there may be function sequences with singularities getting close to the real axis, whose limit has still non-zero convergence radius. Thats actually why I say that it is not a proof, but it very strongly hints toward non-analyticity. But it seems Sheldon is on a way to a proof, I am also in the phase of proof search.

I look forward to seeing your proof!

Tommy is correct, that one needs to be very careful in taking the logarithm of these functions in the complex plane. In the computations I've posted, there wasn't any problem figuring out which logarithm to take of 2sinh^[z] as long as all of the points between the real axis and z-1, have . Of course the contour where is a problem when , then and is a singularity.

Otherwise, if you stay below the contour where the singularities are, then the unique logarithm seems to always be determined by the requirement that . This also works for the base change function.

- Sheldon