Can we prove these coefficients must be constant?
#1
I have boiled down the recursion of analytic hyper operators into a formula based on their coefficients. If we write these coefficients as follows:

\( s \in \mathbb{C}\,\,s = \sigma + it \)

\( a \Delta_0 b = a + b \)

\( a \Delta_s (a \Delta_{s+1} b) = a \Delta_{s+1} (b+1) \)

\( a \Delta_s b = \sum_{i=0}^{\infty} \chi_i(a,b) s^i \)

We can write the recursive formula; without giving a proof for it (it just requires a few series rearrangement); as:

\( \chi_n(a,b + 1) = \sum_{i=0}^{\infty} \chi_{n+i}(a, a \Delta_{s} b) \frac{(n+i)!}{n! i!}(-1)^i\ \)

As you can see; this appears very off. \( s \) can vary freely and the result on the L.H.S. doesn't change at all. However, it's being summed across an infinite series so that may compensate. But I wonder if declaring, that since \( a \Delta_{s} b \) takes on every value in between \( a + b \) and \( a^b \); at least; we can say over that interval \( c \in [a+b, a^b] \)

\( \chi_{n+i}(a, c) = \text{Constant} \)

Since we can set \( n=0 \) this implies a strict contradiction:

\( \sum_{i=0}^{\infty} \chi_{i}(a,c_0)s^i = \sum_{i=0}^{\infty} \chi_{i}(a,c_1)s^i \)

This is a contradiction because it implies \( a \Delta_s c \) is constant and therefore constant for all b in \( a \Delta_s b \). This would imply there is no analytic continuation of hyper operators! At least, not representable by its Taylor series.

I didn't write out the proof because I'm stuck and I'm curious if it's justifiable to do that last move, or if there is some other routine I can go about to prove the constancy of these coefficients.

If hyper operators aren't analytic; and hopefully I can prove not continuous; I have a separate way of defining them that admit a discrete solution with a more number theoretical algebraic approach.
Reply


Possibly Related Threads…
Thread Author Replies Views Last Post
  [2sinh] exp(x) - exp( - (e-1) x), Low Base Constant (LBC) 1.5056377.. tommy1729 3 5,832 04/30/2023, 01:22 AM
Last Post: tommy1729
  logit coefficients growth pattern bo198214 21 24,198 09/09/2022, 03:00 AM
Last Post: tommy1729
  Half-iterate exp(z)-1: hypothese on growth of coefficients Gottfried 48 53,132 09/09/2022, 12:24 AM
Last Post: tommy1729
  Taylor polynomial. System of equations for the coefficients. marraco 17 52,154 08/23/2016, 11:25 AM
Last Post: Gottfried
  Limit of mean of Iterations of f(x)=(ln(x);x>0,ln(-x) x<0) =-Omega constant for all x Ivars 10 36,562 03/29/2015, 08:02 PM
Last Post: tommy1729
  regular tetration base sqrt(2) : an interesting(?) constant 2.76432104 Gottfried 7 29,229 06/25/2013, 01:37 PM
Last Post: sheldonison
  constant area ? tommy1729 0 5,019 01/09/2011, 08:34 PM
Last Post: tommy1729
  Coefficients of Tetrational Function mike3 3 16,406 04/28/2010, 09:11 PM
Last Post: andydude
  Superlog with exact coefficients andydude 7 24,331 03/13/2009, 06:14 PM
Last Post: bo198214



Users browsing this thread: 1 Guest(s)