Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Universal uniqueness criterion?
#4
andydude Wrote:So by "bounded" are you referring to the fact that Kouznetsov's extension requires that the limit towards is finite? Is this the same as saying that this limit exists?

His assumption is that the limit is the fixed point in the upper complex halfplane, not only finite. I mentioned somewhere already that for with regular tetration this is no more true (i.e. has no limit), however it is still bounded. So perhaps this is a good generalization.

Quote:Where are these proven? How are these proven? By whom?

Ok, lets start with the uniqueness of (I dont know whether is somewhere written):

Proposition.Let then is the only holomorphic solution, defined on the right halfplane [this condition is not necessary, I just include it to emphasize on non-entire functions], of the equations , which is bounded on the strip given by .

Proof
We know that every other solution must be of the form where is a 1-periodic holomorphic function (this can roughly be seen by showing periodicity of ).

In this case this means:

where is also a 1-periodic function. As (and ) is bounded on , must be bounded too.
As is periodic it can be continued from to the whole plane and is hence an entire holomorphic function, which is still bounded. By Liouville must be constant:
. And now we apply and see that .

I will describe the proof for the Gamma function in another post, I found it in a German complex analysis book: Reinhold Remmert, "Funktionnentheorie", Springer, 1995. As reference is given: H. Wielandt 1939.

And the proof for the Fibonacci function is given in the sci.math.research thread by Waldek Hebisch (key points), and a bit fleshed out by me.
Reply


Messages In This Thread
Universal uniqueness criterion? - by bo198214 - 05/21/2008, 06:24 PM
RE: Universal uniqueness criterion? - by andydude - 05/22/2008, 05:19 AM
RE: Universal uniqueness criterion? - by andydude - 05/22/2008, 06:42 AM
RE: Universal uniqueness criterion? - by bo198214 - 05/22/2008, 11:25 AM
RE: Universal uniqueness criterion? - by andydude - 05/22/2008, 03:11 PM
RE: Universal uniqueness criterion? - by bo198214 - 05/22/2008, 05:55 PM
RE: Universal uniqueness criterion? - by bo198214 - 05/23/2008, 12:07 PM
Uniqueness of analytic tetration - by Kouznetsov - 09/30/2008, 07:58 AM
RE: Universal uniqueness criterion? - by bo198214 - 10/04/2008, 11:19 PM
RE: Universal uniqueness criterion? - by bo198214 - 06/19/2009, 02:51 PM
RE: miner error found in paper - by bo198214 - 06/19/2009, 04:53 PM
RE: Universal uniqueness criterion? - by bo198214 - 06/19/2009, 06:25 PM
RE: Universal uniqueness criterion? - by bo198214 - 06/19/2009, 07:59 PM
RE: Universal uniqueness criterion? - by bo198214 - 06/20/2009, 02:10 PM
RE: Universal uniqueness criterion? - by bo198214 - 07/05/2009, 06:54 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Semi-exp and the geometric derivative. A criterion. tommy1729 0 1,183 09/19/2017, 09:45 PM
Last Post: tommy1729
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 10,308 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 13,901 01/09/2017, 02:41 AM
Last Post: Gottfried
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 1,440 03/19/2016, 10:44 AM
Last Post: fivexthethird
  [2014] Uniqueness of periodic superfunction tommy1729 0 1,814 11/09/2014, 10:20 PM
Last Post: tommy1729
  Real-analytic tetration uniqueness criterion? mike3 25 19,869 06/15/2014, 10:17 PM
Last Post: tommy1729
  exp^[1/2](x) uniqueness from 2sinh ? tommy1729 1 2,105 06/03/2014, 09:58 PM
Last Post: tommy1729
  Uniqueness Criterion for Tetration jaydfox 9 10,689 05/01/2014, 10:21 PM
Last Post: tommy1729
  Uniqueness of Ansus' extended sum superfunction bo198214 4 6,362 10/25/2013, 11:27 PM
Last Post: tommy1729
  A question concerning uniqueness JmsNxn 3 5,308 10/06/2011, 04:32 AM
Last Post: sheldonison



Users browsing this thread: 1 Guest(s)