Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
just another uniqueness musing
Hi -

I'm not really happy to start a new thread here on a subject, which we had discussed several times and in some depth. But I am not able to follow the discussion of Henryk and Dmitri, that's too elaborate maths currently.
So my *basic* fiddlings/reinventing the wheels(?) may be inappropriate in the recent uniqueness-threads - but well, one moderator may move this post to an appropriate place...
Ok, so much as a foreword.

(I'm reproducing a msg to sci.math here, which I sent today)

I'm still trying to learn more about this uniqueness thing. This time I've considered to look at the problem via the function graphs.

For instance, for the function f(x) = exp(x) the function f°0.5(x) should have a curve somehow between the f°0(x) = x and the f°1(x) = exp(x) lines/curves.

I thought about creating the trajectory for f°0.5(x) depending on one initial setting, say f°0.5(1) = 1 .
The trajectories of iterates of f°(h+0.5)(x) give then more or less smooth curves (when interpolated). From the graphs it is obvious, that there is one initial setting which gives the smoothest result.

Images for various initial settings (-1,-0.7,-0.37,-0.2,0)
To have better graphs I used f(x) = exp(1/2 x)

See images below.

The best "smoothness", on one hand, seems simply that, where the derivatives are monotonuous.
But the "smoothness" can also be expressed by the sum (or integral?) of the area of the rectangles which occur, when the trajectories f°h(x) and f°h(f°0.5(x)) are drawn and the vertical lines at x=h and x=h+1 and the horizontal lines at the according y-values are taken as borders of rectangles (thin green and blue lines)

The worst initial settings give rectangles all of area zero, so I assume, the best guess (smoothest graph) gives the maximal sum of areas, so the "unique best definition of f°0.5(x)" is then that, which gives the highest area/integral (or something related to this)

Seems to be a useful/meaningful uniqueness-criterion?

From this would then also occur the idea to use the maximizing criterion on some integral-formula for that criterion (and possibly for the general case).


[Image: attachment.php?aid=439]





Attached Files Image(s)
Gottfried Helms, Kassel

Messages In This Thread
just another uniqueness musing - by Gottfried - 02/11/2009, 12:23 PM
RE: just another uniqueness musing - by bo198214 - 02/11/2009, 03:14 PM
RE: just another uniqueness musing - by tommy1729 - 02/11/2009, 03:42 PM
RE: just another uniqueness musing - by tommy1729 - 02/11/2009, 03:50 PM
RE: just another uniqueness musing - by Gottfried - 02/11/2009, 03:48 PM
RE: just another uniqueness musing - by bo198214 - 02/12/2009, 12:10 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  [Exercise] A deal of Uniqueness-critrion:Gamma-functionas iteration Gottfried 6 5,144 03/19/2021, 01:25 PM
Last Post: tommy1729
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 21,018 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Uniqueness of half-iterate of exp(x) ? tommy1729 14 26,707 01/09/2017, 02:41 AM
Last Post: Gottfried
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 2,857 03/19/2016, 10:44 AM
Last Post: fivexthethird
  [2014] Uniqueness of periodic superfunction tommy1729 0 3,279 11/09/2014, 10:20 PM
Last Post: tommy1729
  almost periodic musing tommy1729 1 3,776 06/17/2014, 12:24 PM
Last Post: tommy1729
  Real-analytic tetration uniqueness criterion? mike3 25 37,274 06/15/2014, 10:17 PM
Last Post: tommy1729
  exp^[1/2](x) uniqueness from 2sinh ? tommy1729 1 3,983 06/03/2014, 09:58 PM
Last Post: tommy1729
  Uniqueness Criterion for Tetration jaydfox 9 17,387 05/01/2014, 10:21 PM
Last Post: tommy1729
  Uniqueness of Ansus' extended sum superfunction bo198214 4 10,530 10/25/2013, 11:27 PM
Last Post: tommy1729

Users browsing this thread: 1 Guest(s)