Thread Rating:
  • 1 Vote(s) - 5 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Iteration exercises: f(x)=x^2 - 0.5 ; Fixpoint-irritation...
#11
(06/04/2011, 01:13 PM)Gottfried Wrote: Sometimes we find easter-eggs even after easter...

For the alternating iteration-series


(definitions as copied and extended from previous post, see below)

we find a rational polynomial for p=4. That means




(maybe this is trivial and a telescoping sum only, didn't check this thorough)
<hr>
Another one:

<hr>

Code:
\\ define function f(x) for forward iteration and g(x) for backward iteration (=negative height)
\\(additional parameter h for positive integer heights is possible)
f(x,h=1) = for(k=1,h,x = x^2 - 0.5 ); return (x) ;
g(x,h=1) = for(k=1,h,x = sqrt(0.5 + x) ); return (x) ;

\\ do analysis at central value for alternating sums x0=1
x = 1.0
sp(x) = sumalt(h=0,(-1)^h * f(x , h))
sn(x) = sumalt(h=0,(-1)^h * g(x , h))
y(x) = sp(x) + sn(x) - x

this is not my expertise ... yet.

but i think i have seen those before in some far past.

for starters , i related your sums to equations of type f(x) = f(g(x)).

also , ergodic theory studies averages of type

F(x) = lim n-> oo 1/n (f^[0](x) + f^[1](x) + ... f^[n](x).)

hidden telescoping can indeed occur.

and sometimes we can rewrite to an integral.

but again , this is not my expertise yet.

you gave me extra question instead of an answer :p

in particular i do not understand your matrix idea in this thread.

my guess is that when you start at 1.0 , you use carleman matrices to compute the sum and one carleman matrix will not converge ( lies outside the radius ) for 1.0 ; so one is wrong and the other is not.

talking about alternating series 1/2 -1/3 + 1/5 -1/7 + 1/11 - ...

i believe this has a closed form/name and if i recall correctly its called the first mertens constant ...

there was something else i wanted to say ... forgot :s

edit : i do not know how to rewrite an average as a sum or superfunction ( do know integral and perhaps infinite product )... i say that because it might be usefull to see the link with the " ergodic average " ( or whatever its called ).

it bothers me , i wanna get rid of this " lim **/n " term for averages. ( might also be of benefit for number theory and statistics )
Reply


Messages In This Thread
RE: Iteration exercises: f(x)=x^2 - 0.5 ; Fixpoint-irritation... - by tommy1729 - 06/04/2011, 09:43 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  (Again) fixpoint outside Period tommy1729 2 2,092 02/05/2017, 09:42 AM
Last Post: tommy1729
  Polygon cyclic fixpoint conjecture tommy1729 1 1,956 05/18/2016, 12:26 PM
Last Post: tommy1729
  The " outside " fixpoint ? tommy1729 0 1,350 03/18/2016, 01:16 PM
Last Post: tommy1729
  2 fixpoint pairs [2015] tommy1729 0 1,612 02/18/2015, 11:29 PM
Last Post: tommy1729
  [2014] The secondary fixpoint issue. tommy1729 2 3,300 06/15/2014, 08:17 PM
Last Post: tommy1729
  Simple method for half iterate NOT based on a fixpoint. tommy1729 2 3,064 04/30/2013, 09:33 PM
Last Post: tommy1729
  Iteration exercises: Lucas-Lehmer-test and Schröder-function Gottfried 0 2,559 04/04/2012, 06:17 AM
Last Post: Gottfried
  Iteration series: Different fixpoints and iteration series (of an example polynomial) Gottfried 0 2,669 09/04/2011, 05:59 AM
Last Post: Gottfried
  Fractional iteration of x^2+1 at infinity and fractional iteration of exp bo198214 10 15,528 06/09/2011, 05:56 AM
Last Post: bo198214
  2 fixpoint failure tommy1729 1 2,668 11/13/2010, 12:25 AM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)