Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
tetration bending uniqueness ?
#11
(06/07/2011, 10:56 AM)mike3 Wrote: Hmm. This makes me wonder about the following conjecture:

The "principal" analytic fractional iterates , of the natural exponential (and perhaps any with ) are uniquely characterized by

for all , all and all .

You should put that in the open problems section. Really interesting question. And you can even put .
Reply
#12
(06/07/2011, 10:56 AM)mike3 Wrote: Hmm. This makes me wonder about the following conjecture:

The "principal" analytic fractional iterates , of the natural exponential (and perhaps any with ) are uniquely characterized by

for all , all and all .

There is also an associated line of thought of Szekeres, but not with the fractional iterates but with the Abel function. He wonders about the alternating signs in the logarithm and shows that the principal/regular Abel function of is uniquely determined by the "totally monotonic"-criterion.
Reply
#13
im sorry

i do not wish to be annoying.

but this does not seem like a new idea.

in fact , it seems mine :

quoting from my own posts :

thread tid 474 posted on 7/11/10 title : tommy's uniqueness conditions

post nr 1 , thread started by me :

" i partially already mentioned the first uniqueness condition before :

d f^n / d x^n sexp(slog(x) + k) > 0 for all positive integer n and all positive real k.

and probably ( i.e. if im not mistaken because of the local heat wave )this is true if and only if the following is true :

( i.e. i assume " equivalent to " )

d f^n / d k^n sexp(slog(x) + k) > 0 for all positive integer n and all positive real k. "

thread tid 484 posted on 7/29/10 title : final uniqueness condition ... probably

post nr 1 , thread started by me :

" d f^2 / d x^2 sexp(slog(x) + k) > 0 for all real x and all real k with 0 < k < Q where Q is any nonzero positive real.

assuming sexp resp slog to be C^2 of course , i 'believe' this condition implies analytic as well.

is this equivalent to d f^2 / d x^2 sexp(x) > 0 for all positive real x ?

i assume because of the substitution x = sexp(y) "

if you combine those two posts , i find it pretty clear that the idea has occured to me first.

notice that exp^[t](x) is equivalent to sexp(slog(x) + t)

despite one of those threads and this one contains mistakes , that idea is clearly mine. ( i even did a search on this forum too see if anyone else was first and looked on sci.math , mathoverflow , google and some books )

i believe my (tommy's) 2sinh method satisfies these conditions and hence it is conjectured for bases > sqrt(e) [ thus including e like mike ]

( yes these posts were made after i posted the 2sinh method - which is also by me and in fact way older than this forum ( i found it in my teenage notes ) and i mentioned that too )


thus for bases > sqrt(e) =>

d f^n / d x^n sexp(slog(x) + k) > 0 for all positive integer n and all positive real k.

d f^n / d k^n sexp(slog(x) + k) > 0 for all positive integer n and all positive real k.

d f^2 / d x^2 sexp(slog(x) + k) > 0 for all real x and all real k with 0 < k < Q where Q is any nonzero positive real.

are all ideas of me , somewhat sloppy ( i could have written positive real k e.g. ) but mine.

so basicly my opinion is that this conjecture of mike is actually a rewording of some of my conjectures.

regards

tommy1729
Reply
#14
(06/07/2011, 11:19 AM)bo198214 Wrote:
(06/07/2011, 10:56 AM)mike3 Wrote: Hmm. This makes me wonder about the following conjecture:

The "principal" analytic fractional iterates , of the natural exponential (and perhaps any with ) are uniquely characterized by

for all , all and all .

You should put that in the open problems section. Really interesting question. And you can even put .

Um, no. So far, the "best" candidate for shows a zero. So (taking no derivative at all) may not be a good idea.
Reply
#15
Dodgy
Reply
#16
(06/07/2011, 09:02 PM)tommy1729 Wrote: so basicly my opinion is that this conjecture of mike is actually a rewording of some of my conjectures.

Tommy, keep cool.
I dont think Mike did steal that idea from you, but discovered it independently.
And then I never saw people arguing about whom had a *conjecture* first.
I rather think when someone else has the same conjecture then it could attract more investigation and in the end leading to a proof or disproof of the conjecture.

Which is imho is the interesting part: the proof, or the answer to the question.
I mean to ask questions/to utter conjectures is easy.
To ask good (with respect to fertility in the field) questions is a bit more difficult.
And really tough work is finding proofs/solving open problems.

So if you still consider it utmost important who first asked a question/uttered a conjecture, I have no problems attributing it to you (on this forum).
But much more I would like to attribute the first proof of that conjecture to you.
Reply
#17
im not claiming mike stole it.

although i find it offense of members not admitting i was first.

its not a genius idea , but it might be an important one , so my honor matters imho.

right questions are almost as important as proofs.

im happy you give me credit afterall.

regards

tommy1729
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 10,284 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 13,862 01/09/2017, 02:41 AM
Last Post: Gottfried
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 1,439 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,829 06/15/2014, 10:17 PM
Last Post: tommy1729
  exp^[1/2](x) uniqueness from 2sinh ? tommy1729 1 2,102 06/03/2014, 09:58 PM
Last Post: tommy1729
  Uniqueness Criterion for Tetration jaydfox 9 10,665 05/01/2014, 10:21 PM
Last Post: tommy1729
  Uniqueness of Ansus' extended sum superfunction bo198214 4 6,360 10/25/2013, 11:27 PM
Last Post: tommy1729
  A question concerning uniqueness JmsNxn 3 5,295 10/06/2011, 04:32 AM
Last Post: sheldonison
  [Exercise] A deal of Uniqueness-critrion:Gamma-functionas iteration Gottfried 0 2,829 05/19/2011, 05:49 AM
Last Post: Gottfried



Users browsing this thread: 1 Guest(s)