Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
On to C^\infty--and attempts at C^\infty hyper-operations
#1
As Sheldon has thoroughly convinced me of non-holomorphy of my tetration. I thought I'd provide the proof I have that it is on the line . I sat on this proof and didn't develop it much because I was too fixated on the holomorphy part. But, I thought it'd be nice to have a proof of .

Now, the idea is to apply Banach's fixed point theorem, but it's a bit more symbol heavy now. We will go by induction on the degree of the derivative. So let's assume that,



Where,



And is the sup-norm across some interval . As a forewarning, this is going to be very messy...

Now to begin we can bound,



And that next,



Now,




So, we ask you to put on your thinking cap, and excuse me if I write,



And by the induction hypothesis,



Which is because these terms are made up of finite sums and products of and these are said to be summable.  Now the proof is a walk in the park.



Where, we've continued the iteration and set and for , and for (but we're tossing this away because we know it's differentiable). Therefore,



Of which, I've played a little fast and loose, but filling in the blanks would just require too much tex code.

EDIT: I'll do it properly as I correct my paper and lower my expectations of the result.


***********************

As to the second part of this post--now that we have out of the way, we ask if we can continue this iteration and get pentation.  Now, will certainly be and so it's a well defined bijection of . So, first up to bat is to get another phi function,



This will be (it'll be a bit trickier to prove because we aren't using analytic functions, but just bear with me). And it satisfies the equation,



By now, I think you might know where i'm going with this.



And now I'm going to focus on showing this converges... Wish me luck; after being trampled by this holomorphy I thought I'd stick to where things are nice--no nasty dips to zero and the like...
Reply
#2
So I'm having trouble coming up with a general proof to give us pentation (or any hyper-operators), but certainly getting a continuous one is not that hard. We can start by taking,



So that,



Then the sequence of convergents,



Satisfy,




Because and,



This certainly converges uniformly. So we have a continuous function,



We can continue this for arbitrary order hyper-operators. The trouble comes from proving that this solution is . I haven't had the AHA moment yet to prove this. The way I proved tetration is is not very helpful here because we used properties of the logarithm.

Anyway,



God, I suck at real analysis, getting might take a while...
Reply
#3
(02/08/2021, 12:12 AM)JmsNxn Wrote: As Sheldon has thoroughly convinced me of non-holomorphy of my tetration. I thought I'd provide the proof I have that it is on the line . I sat on this proof and didn't develop it much because I was too fixated on the holomorphy part. But, I thought it'd be nice to have a proof of .

Now, the idea is to apply Banach's fixed point theorem, but it's a bit more symbol heavy now. We will go by induction on the degree of the derivative. So let's assume that,

edit the : didn't work Sad replaced with |


Where,



And is the sup-norm across some interval . As a forewarning, this is going to be very messy...

Now to begin we can bound,



And that next,





Now,




So, we ask you to put on your thinking cap, and excuse me if I write,



And by the induction hypothesis,




Which is because these terms are made up of finite sums and products of and these are said to be summable.  Now the proof is a walk in the park.



Where, we've continued the iteration and set and for , and for (but we're tossing this away because we know it's differentiable). Therefore,



Of which, I've played a little fast and loose, but filling in the blanks would just require too much tex code.

EDIT: I'll do it properly as I correct my paper and lower my expectations of the result.


***********************

As to the second part of this post--now that we have out of the way, we ask if we can continue this iteration and get pentation.  Now, will certainly be and so it's a well defined bijection of . So, first up to bat is to get another phi function...

Hey James, I reposted your post, given the limitation that the forums Tex support has bugs with spaces.  I don't know if it was always this bad Sad I might write a oneline perl script to remove spaces or substiture a ~ and replace new lines with a new tex /tex pair and remove \\ at the end of a line.  Of course if I do all that, then I could also have perl trivially replace $...$ combos with a tex /tex pair too Smile and then I'd automatically convert Latex to math.eretandre Tex .... Anyhow, I'm reading your equations now; are you satisified with proving for the Tetration case?   I've seen Walker's proof of , but I've always been curious about how to do it for other functions.
- Sheldon
Reply
#4
Hey, Sheldon

I had written a page long reply to what you just said; but somehow my computer deleted it and it didn't post (I don't know what happened there). I'm a little upset because I had written a fair amount of math, but in the meantime I'll give you the rundown. I am absolutely certain I can prove that this tetration is (I went on to relay how this is really no different than the construction of using infinite compositions). However, I can't quite prove it for hyper-operations; and I'm trying to abstract how I can do it for tetration, so that it works for pentation and the sort.

So I don't have an essay-like proof for nature of . But trust me; it's not much more than the construction of . Just a whole load of infinite composition stuff. And I'm busy on generalizing the proof so it works for pentation, hexation, etc...

Give me a couple weeks. I'm going to pull more all nighters than I should, and I'll have this.

Like how every presidential secretary should respond--give me a week and I'll circle back to your question.

Regards, James

We'll circle back.


EDIT: I also had written about how a perl script won't fix your problems. This forum needs to run on MathJax. Which is the javascript version of LaTeX. For god's sakes Henryk.

Lol.
Reply
#5
So I posted a proof of before I started working today--I noticed a small expansion error, which I hastily fixed--so I deleted the post. I figured I'd do a couple more run throughs of the result before I posted. It was a dumb mistake towards the end where I got ahead of myself, but everything still works; there was one download on the file, so whoever downloaded it I apologize in advance. (Unless the one download was my own download, not sure how it works here.)

I am in the process of rewriting my entire paper to focus on hyper-operations; whereby it's a long proof by induction. But the initial step is to prove that this tetration is . Now I can most definitely show this tetration is ; the trouble I'm having is making the proof as general as possible; so that we can create a proof by induction showing is . The proof I'm posting now is intended to be abstract because I intend to use it as a template for the inductive process.

Now, the proof is a little rough around the edges. I haven't fleshed out everything, but honestly it'd only take more words, not more work. Everything definitely works. This isn't much more than what my initial post in this thread was; but it's far better explained. I'm posting this theorem here, without the full paper; essentially to gauge how well explained it is. If anyone has any questions, or any comments or hangups, I'm beyond happy to answer them (and they'll help because they'll teach me how to better write the paper).

Despite my errors at assuming this construction would be analytic; I promise no mistakes were made in this circumstance. Somethings may be unclear though, and if they are, please tell me so I can correct myself.


Attached Files
.pdf   just_c_infty-3.pdf (Size: 154.48 KB / Downloads: 110)
Reply
#6
(02/16/2021, 08:40 AM)JmsNxn Wrote: So I posted a proof of before I started working today...

I am in the process of rewriting my entire paper to focus on hyper-operations; whereby it's a long proof by induction. But the initial step is to prove that this tetration is . Now I can most definitely show this tetration is ; the trouble I'm having is making the proof as general as possible; so that we can create a proof by induction showing is .

Hi James,  
I like your paper.  I would suggest generating an infinite sequence of entire functions, perhaps defined as follows; this is slightly modified from your approach where this = JmsNxn phi(s+1)
we could start with 

this  asymptotically approaches exp(s) as gets arbitrarily negative, 
  also asymptotically approaches exp(s) as gets arbitrarily negative

James has proven that is entire, and I think each of these phi functions is also entire, and each  would probably lead to an  function which is also only defined at the real axis; details tbd...
- Sheldon
Reply
#7
(02/21/2021, 01:38 AM)sheldonison Wrote:
(02/16/2021, 08:40 AM)JmsNxn Wrote: So I posted a proof of before I started working today...

I am in the process of rewriting my entire paper to focus on hyper-operations; whereby it's a long proof by induction. But the initial step is to prove that this tetration is . Now I can most definitely show this tetration is ; the trouble I'm having is making the proof as general as possible; so that we can create a proof by induction showing is .

Hi James,  
I like your paper.  I would suggest generating an infinite sequence of entire functions, perhaps defined as follows; this is slightly modified from your approach where this = JmsNxn phi(s+1)
we could start with 

this  asymptotically approaches exp(s) as gets arbitrarily negative, 
  also asymptotically approaches exp(s) as gets arbitrarily negative

James has proven that is entire, and I think each of these phi functions is also entire, and each  would probably lead to an  function which is also only defined at the real axis; details tbd...

probably grows more like pentation.
Notice the similarity to the superfunctions of the previous function in the list.

So that would probably fail to get another c^oo solution to tetration but rather a c^oo solution to pentation or higher.
Unfortunately probably not analytic either.

Generalizing to fractional index n is then probably similar to the classic ' semi-super ' function type questions.

So sorry but .. I am not convinced of its usefullness.

***

**could** however converge to f(s) = s + 1 ( the successor function !) for appropriately defined f_1(s).

Maybe that could be usefull for some kind of hyperoperator ?
However going to negative index n does not seem to give interesting results ( only linear functions ?).

Ofcourse many variants of the above can be considered and the question is very vague and open.
But it is not certain in what direction we should proceed .. or is it ??

It does not seem simpler than generalizing ackermann , making ackermann analytic etc 

Regards

tommy1729
Reply
#8
I agree with Tommy. That kind of functional equation is structurally analogous to double recursion. I wonder if it is possible to adapt, at least theoretically disregarding radii of convergence, the classic and Nixon's limit formulas to that cases. The problem that I see, as Tommy does, that thing going back tho the successor as the limits goes to infinity. There has to be a deep reason for this. In superfunctions/subfunctions and non-integer-superfunctions (aka non-integer ranks) successor is a fixed point of the "operator".
The iteration theory of those kinds of (non-linear)operators on functions spaces has to coincide with the rank theory of the underlying function spaces. As different generating laws define different HOF(amilies) and in some cases a generating law is in some cases a kind of operator on functions, ranks theory reduces to a special kind of iteration theory.

MathStackExchange account:MphLee

Fundamental Law
Reply
#9
(02/27/2021, 12:08 AM)tommy1729 Wrote: probably grows more like pentation.
....
So sorry but .. I am not convinced of its usefullness.
...
It does not seem simpler than generalizing ackermann , making ackermann analytic etc 

Regards 

tommy1729
Hey Tommy,

I mostly agree with you with one small caveat. Here is my observation.

Kneser's tetration function is actually beautifully behaved in the complex plane, or at least as reasonably nicely behaved as any tetration superfunction can be.  The same thing can be said for Jame's function, except that it is also entire and 2pi*i periodic.

Now, all of the "analytic" higher order functions like pentation generated from the lower fixed point of Kneser's Tetration are actually pretty poorly behaved in the complex plane.  All those singularities at the negative integers for tetration get reflected in pentation as real(z) grows and they eventually show up arbitrarily close to the real axis.  I have experimented with an analytic hexation generated from a complex conjugate pair of fixed points from such an "analytic" pentation, but it too is really poorly behaved in the complex plane.  So imho, the higher order analytic Ackermann functions after tetration don't seem as interesting to me as tetration.

Contrast this with the family of functions all of which seem to be entire and 2pi*i periodic. 

Since they are 2pi*I periodic with limiting behavior as real(z) grows arbitrarily negative of , then each of these functions has a corresponding Schroeder function whose inverse  is also entire with

there is a formal entire inverse Schroeder function for each phi_n function.
Moreover, each formal Schroeder function's Taylor series can be generated with surprising ease.  For we initialize a function f=x, and we iterate n times to calculate n+1 Taylor series terms as follows, where each iteration gives one additional exact term in the Taylor series of the inverse Schroeder function.
 

Surprisingly, the iteration for are only a little bit more complicated but can also easily be coded in a single lines of pari-gp code or mathematical equations as follows:

this works for Psi_4,5 etc.

So I would assert that this family of iterated entire superfunctions is more well behaved than any other family of iterated superfunctions that I am aware of.  It is also more accessible  and easy to calculate than any other family than I am aware.   In that sense, it is also more accessible than Kneser, which is actually pretty difficult to understand and calculate.
- Sheldon
Reply
#10
(02/27/2021, 09:57 PM)sheldonison Wrote: Since they are 2pi*I periodic with limiting behavior as real(z) grows arbitrarily negative of , then each of these functions has a corresponding Schroeder function whose inverse is also entire with

there is a formal entire inverse Schroeder function for each phi_n function.

I'm probably missing some key piece of the puzzle (terminology). Are you talking about a kind of inverse Schroeder-like function right? A confortable abuse of name similar to how we can call inverse Abel-like function of ?

In a strict sense, I don't see how is a Schroeder function of or of .

For this sequence I see this: define in your notation.




That is "inverse Schroeder-like" in some sense.




ADD: it is possible to express phi_2 (an offset of JmsNxn's phi) as an infinite composition.

at

Is there a similar "closed form" for the other phi_n? Is it too optimistic to declare

at ?

MathStackExchange account:MphLee

Fundamental Law
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  On my old fractional calculus approach to hyper-operations JmsNxn 14 2,653 07/07/2021, 07:35 AM
Last Post: JmsNxn
  hyper 0 dantheman163 2 5,145 03/09/2021, 10:28 PM
Last Post: MphLee
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 3,557 09/09/2019, 10:38 PM
Last Post: tommy1729
  Could there be an "arctic geometry" by raising the rank of all operations? Syzithryx 2 3,959 07/24/2019, 05:59 PM
Last Post: Syzithryx
  Hyper-volume by integration Xorter 0 2,903 04/08/2017, 01:52 PM
Last Post: Xorter
  Hyper operators in computability theory JmsNxn 5 9,264 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 3,137 01/17/2017, 05:10 AM
Last Post: JmsNxn
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 27,589 08/22/2016, 12:19 AM
Last Post: JmsNxn
  Intresting ternary operations ? tommy1729 0 2,974 06/11/2015, 08:18 AM
Last Post: tommy1729
  on constructing hyper operations for bases > eta JmsNxn 1 5,012 04/08/2015, 09:18 PM
Last Post: marraco



Users browsing this thread: 1 Guest(s)