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


Messages In This Thread
On to C^\infty--and attempts at C^\infty hyper-operations - by JmsNxn - 02/08/2021, 12:12 AM

Possibly Related Threads...
Thread Author Replies Views Last Post
  On my old fractional calculus approach to hyper-operations JmsNxn 13 443 05/29/2021, 01:13 AM
Last Post: MphLee
  hyper 0 dantheman163 2 4,622 03/09/2021, 10:28 PM
Last Post: MphLee
  Thoughts on hyper-operations of rational but non-integer orders? VSO 2 3,009 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,378 07/24/2019, 05:59 PM
Last Post: Syzithryx
  Hyper-volume by integration Xorter 0 2,627 04/08/2017, 01:52 PM
Last Post: Xorter
  Hyper operators in computability theory JmsNxn 5 8,255 02/15/2017, 10:07 PM
Last Post: MphLee
  Recursive formula generating bounded hyper-operators JmsNxn 0 2,839 01/17/2017, 05:10 AM
Last Post: JmsNxn
  holomorphic binary operators over naturals; generalized hyper operators JmsNxn 15 25,497 08/22/2016, 12:19 AM
Last Post: JmsNxn
  Intresting ternary operations ? tommy1729 0 2,735 06/11/2015, 08:18 AM
Last Post: tommy1729
  on constructing hyper operations for bases > eta JmsNxn 1 4,605 04/08/2015, 09:18 PM
Last Post: marraco



Users browsing this thread: 1 Guest(s)