Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Weak theorem about an almost identical function: PROOF
bo198214 Wrote:Hi Dmitrii, though I didnt completely follow your proof it triggered coming up with a much more simplified proof. As a prerequisite we only need Picard's big theorem:

Picard's big theorem applied to entire functions. Each entire non-polynomial function takes on every complex number with at most one exception infinitely often.

First it can be shown that (as an entire function) does not even omit one value from . (I give the proof in a next post, though this assertion is not really necessary for the following conclusions.)
We know that for each , but by the above theorem for each there have to be infinitely other with .
Hence .

That means if we have a function , where is a superexponential with singularities only at , then has singularities outside .
Henryk, I like your proof. Indeed, it is shorter.

Now, please, prove that some of singularities are in the right hand side of the complex plane.

Small hint:
From the asymptotic behavior, at 1<b<exp(1/e), tetration is periodic and the period is imaginary. This means, that J(z)=F^(-1)(G(z)), is also periodic.
Can it be, that h(z) is periodic (with period unity) and j(z)=h(z)+z is also periodic (with imaginary period)?

Is it possible to unwrap the periodic function with some arcsin in such a way, that the resulting function is not periodic but still entire?

Messages In This Thread
RE: Weak theorem about an almost identical function: PROOF - by Kouznetsov - 11/14/2008, 01:11 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  New mathematical object - hyperanalytic function arybnikov 4 1,034 01/02/2020, 01:38 AM
Last Post: arybnikov
  Is there a function space for tetration? Chenjesu 0 661 06/23/2019, 08:24 PM
Last Post: Chenjesu
  Where is the proof of a generalized integral for integer heights? Chenjesu 2 1,372 03/03/2019, 08:55 AM
Last Post: Chenjesu
  Degamma function Xorter 0 1,123 10/22/2018, 11:29 AM
Last Post: Xorter
  (almost) proof of TPID 13 fivexthethird 1 2,592 05/06/2016, 04:12 PM
Last Post: JmsNxn
  Should tetration be a multivalued function? marraco 17 18,578 01/14/2016, 04:24 AM
Last Post: marraco
  Introducing new special function : Lambert_t(z,r) tommy1729 2 3,998 01/10/2016, 06:14 PM
Last Post: tommy1729
Sad Tommy-Mandelbrot function tommy1729 0 2,175 04/21/2015, 01:02 PM
Last Post: tommy1729
  Theorem in fractional calculus needed for hyperoperators JmsNxn 5 7,092 07/07/2014, 06:47 PM
Last Post: MphLee
  [2014] tommy's theorem sexp ' (z) =/= 0 ? tommy1729 1 3,096 06/17/2014, 01:25 PM
Last Post: sheldonison

Users browsing this thread: 1 Guest(s)