Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Rational sums of inverse powers of fixed points of e
#1
This post doesn't have much if anything to do with tetration, but I discovered it while analyzing logarithms at the fixed points. I had mentioned this previously:
http://math.eretrandre.org/tetrationforu...php?tid=59

The fixed points of e are irrational. However, the sums of the inverse n-th powers are rational.

For example, the sum of the inverse third powers of all the fixed points of e is -1/2:



Note: Here, is the fixed point in the kth branch of the natural logarithm, i.e., . If there were a single fixed point in the 0th branch of the natural logarithm, we could use and run our sum from negative infinity to positive. Alas, with two fixed points in the 0th branch, I thought it clearer to use complex conjugates, but perhaps we could still run the sum from negative to positive infinity if we had a way to account for both points in the 0th branch.

Continuing with a couple more examples, the sum of the inverse fifth powers is 3/8. The sum of the inverse eighth powers is -29/630.

Well, as it turns out, the denominators roughly increase as factorials. For example, the denominator of the 7th sum (i.e., the sum of the inverse 8th powers) is 630. This is 7!/8. The denominator of the 10th sum is 10!/3.

So, here's a list of the numerators for the first 26 sums (inverse 2nd to 27th powers), when using the factorials as the denominators (starting with 1!, not 0!):

Code:
-1
-1
2
9
-6
-155
-232
3969
20870
-118779
-1655028
1610257
1436977220
522358005
-13332842416
-138189937791
1128293525646
29219838555781
-17274118159180
-5993074252801839
-38541972209299966
1179892974640047669
19460524014823618872
-187430579164971912575
-7757827302592891768426
-3443729183055238386555

I've currently got a program running to calculate the first 100,000 fixed points to 5120 bits of precision, to allow me to calculate the first few hundred sums. I'll then use continued fraction expansion, and look for the first "very large" number, which indicates that the previous fraction would most likely be exact.

Using only the first 5,000 fixed points, I had typically seen situations where the subsequent convergent fraction would have a denominator with three to four times as many digits, e.g., 14 digits versus 50. I can't provide a specific example at the moment because SAGE is still crunching numbers (takes a good fraction of a second to calculate a fixed point to the desired precision, so 100,000 of them will take a good fraction of a day [Edit: It took 47200 seconds!]). With 100,000 digits, I'm hoping to make the difference something like 14 digits versus 60 or 70.

Anyway, in the meantime, I wanted to try to figure out how to calculate the numerators. It seems to me that they deserve their own Sloane sequence, considering how surprising it was (to me) to get rational sums.
~ Jay Daniel Fox
Reply


Messages In This Thread
Rational sums of inverse powers of fixed points of e - by jaydfox - 11/20/2007, 07:55 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 298 09/09/2019, 10:38 PM
Last Post: tommy1729
  Inverse Iteration Xorter 3 2,107 02/05/2019, 09:58 AM
Last Post: MrFrety
  Inverse super-composition Xorter 11 11,873 05/26/2018, 12:00 AM
Last Post: Xorter
  Are tetrations fixed points analytic? JmsNxn 2 2,674 12/14/2016, 08:50 PM
Last Post: JmsNxn
  the inverse ackerman functions JmsNxn 3 5,600 09/18/2016, 11:02 AM
Last Post: Xorter
  Rational operators (a {t} b); a,b > e solved JmsNxn 30 36,436 09/02/2016, 02:11 AM
Last Post: tommy1729
  Removing the branch points in the base: a uniqueness condition? fivexthethird 0 1,440 03/19/2016, 10:44 AM
Last Post: fivexthethird
  Inverse power tower functions tommy1729 0 1,768 01/04/2016, 12:03 PM
Last Post: tommy1729
  Derivative of exp^[1/2] at the fixed point? sheldonison 10 9,469 01/01/2016, 03:58 PM
Last Post: sheldonison
  [MSE] Fixed point and fractional iteration of a map MphLee 0 1,994 01/08/2015, 03:02 PM
Last Post: MphLee



Users browsing this thread: 2 Guest(s)