Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Nowhere analytic superexponential convergence
(01/31/2011, 04:00 AM)bo198214 Wrote:
(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.
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).

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

Messages In This Thread
RE: Nowhere analytic superexponential convergence - by sheldonison - 01/31/2011, 04:47 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 1,650 03/20/2018, 12:16 AM
Last Post: tommy1729
Question Analytic matrices and the base units Xorter 2 3,164 07/19/2017, 10:34 AM
Last Post: Xorter
  Non-analytic Xorter 0 1,829 04/04/2017, 10:38 PM
Last Post: Xorter
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 14,349 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,799 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Are tetrations fixed points analytic? JmsNxn 2 3,816 12/14/2016, 08:50 PM
Last Post: JmsNxn
  The bounded analytic semiHyper-operators JmsNxn 2 4,444 05/27/2016, 04:03 AM
Last Post: JmsNxn
  Periodic analytic iterations by Riemann mapping tommy1729 1 2,833 03/05/2016, 10:07 PM
Last Post: tommy1729
  Bounded Analytic Hyper operators JmsNxn 25 25,498 04/01/2015, 06:09 PM
Last Post: MphLee
  Real-analytic tetration uniqueness criterion? mike3 25 26,221 06/15/2014, 10:17 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)