Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Bounded Analytic Hyper operators
(03/29/2015, 11:25 PM)JmsNxn Wrote: This one is a little more rough but it explains how continuum sums can be created.
Did you mean this link? (I guess you pasted the wrong link)

Quote:I'm currently trying to make this work on half operators, I do believe that

produces a holomorphic function. This will interpolate the hyper operators and satisfy the recursive identity.
That is exatly what I was thinking you were hoping for!
We hope that the sequence for a fixed pair of suitable values and where the uparrow is computed using your method.

The main problem is that if we believe that and ... how can we check the recursive identity for the sequence ? I mean... ackermann function is defined using recursion at the same time on two different variables (rank and exponent) so that the only recurrence that we have should be of this form

Let then

In other words, the sequence doens't occours on the right side of the recurrence... so where is the recurrence if is evaluated whithout using another element of the sequence (rememebr that x is fixed)?

Anyways I see that if we watch the problem from the point of view of creating a new auxiliary functions relative to another Operator (and its natural iterations) the problem seems to disappear: you outlined this at page 4 of your paper. The concept seems really mysterious an at the same time amazing... I'm asking to my self (mhh... asking to you) if there are ... "hidden simmetries" or something like a big picture behind it. In fact I can see alot of analogies:

An interesting pattern appears: For E=D is the Maclaurin series of f at zero. If then is the auxiliary function that you are using in your paper.
So if we define the "Superfunction operator" and then iteration of iteration should be reachable working on this auxiliary function

Since you say
Quote:Sadly it will only work for operators greater than or equal to multiplication. It fails for addition by simple means.

Let for a suitable fixed alpha and for beta=1 then so that

There seems to be some indexes that look weird/wrong (the sequence inside the summation should start with n=one?) but nothing that you can't fix.

Anyways I think we could use the antirecursion/subfunction operator as well:

And that is equivalent to using my tau-sequence or theta-sequence.
Maybe those sequences are more easy to handle... if the the rank of f is finite then after some n the tau sequence becomes t+1 (t-1 if the theta sequence) and also all the information about its tau-sequence is already inside f.

And there exist surely functions with a tau sequence that converges to t+1... because the successor is a fixed point of the subfunction operator.

Quote:Any questions I'll be glad to answer. This is really a simple idea that has been pushed to its extreme. If this works on bases greater than eta Id be blown away. I think we can modify it somehow to produce this, but it would require understanding iteration when the multiplier is complex and sends to complex domains rather than when it is only real. This is something I've been working on for a while and I have a lot more built up knowledge than just what's in this paper.
I really wish you good luck!
MathStackExchange account:MphLee

Messages In This Thread
Bounded Analytic Hyper operators - by JmsNxn - 03/23/2015, 02:12 AM
RE: Bounded Analytic Hyper operators - by MphLee - 03/24/2015, 08:34 PM
RE: Bounded Analytic Hyper operators - by marraco - 03/25/2015, 01:48 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/25/2015, 07:43 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/26/2015, 11:08 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/27/2015, 07:09 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 10:55 AM
RE: Bounded Analytic Hyper operators - by MphLee - 03/29/2015, 07:08 PM
RE: Bounded Analytic Hyper operators - by JmsNxn - 03/29/2015, 11:25 PM
RE: Bounded Analytic Hyper operators - by JmsNxn - 03/31/2015, 08:50 PM
RE: Bounded Analytic Hyper operators - by MphLee - 03/31/2015, 09:16 PM
RE: Bounded Analytic Hyper operators - by JmsNxn - 04/01/2015, 03:20 PM
RE: Bounded Analytic Hyper operators - by MphLee - 04/01/2015, 06:09 PM

Possibly Related Threads...
Thread Author Replies Views Last Post
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 75 09/09/2019, 10:38 PM
Last Post: tommy1729
  [repost] A nowhere analytic infinite sum for tetration. tommy1729 0 926 03/20/2018, 12:16 AM
Last Post: tommy1729
Question Analytic matrices and the base units Xorter 2 2,038 07/19/2017, 10:34 AM
Last Post: Xorter
  Hyper-volume by integration Xorter 0 1,198 04/08/2017, 01:52 PM
Last Post: Xorter
  Non-analytic Xorter 0 1,216 04/04/2017, 10:38 PM
Last Post: Xorter
  A conjectured uniqueness criteria for analytic tetration Vladimir Reshetnikov 13 9,767 02/17/2017, 05:21 AM
Last Post: JmsNxn
  Hyper operators in computability theory JmsNxn 5 3,351 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 1,302 01/17/2017, 05:10 AM
Last Post: JmsNxn
  Is bounded tetration is analytic in the base argument? JmsNxn 0 1,136 01/02/2017, 06:38 AM
Last Post: JmsNxn
  Are tetrations fixed points analytic? JmsNxn 2 2,507 12/14/2016, 08:50 PM
Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)