Doubts on the domains of Nixon's method.
[Edited massively to fix MANY errors and typos: I hope it is more readable now. I apologize.]

This follows from the discussion held at: MphLee, Generalized Kneser superfunction trick (the iterated limit definition), (January 21, 2021), Tetration Forum

Quote:Can we write,

So that is say, a diffeomorphism (I believe that's the word, if not; it's something like that) of . Just so my shallow brain can think of a representative of the category; and it's not all up in the air. Let's additionally assume that:

For some constants . Which will make the exponential convergents behave well.  And it would imply it's inverse at worse grows like somethin' somethin'. This would be a perfectly good algebraic space where we could derive,

Now I haven't proven that, not entirely sure how to, but it's manageable--I could probably prove something close enough to continue the discussion.  ( JmsNxn , 28 January 2021)

What you describe is "just" a group, i.e. a very poor category that has only one object () and s.t. every morphism is invertible. [note 1] Working on that we may try to extend the reasoning to the category of differential manifolds... this is good and bad. Bad because it is extremely complex. Good because it is an overdeveloped field of research, old and very relevant physics... ergo if we set up the right starting point/dictionary we might be able to recover everything in the existing literature [note 2].

Observations and doubts:
you are taking the group of diffeomorphisms of : I'm very shaky on this, but I don't know if is a differential manifold. Let's admit it is. It is an object of the category "" of differential manifolds and what you are describing is the group of automorphisms of in that category:

Quick review. An endomorphism is a morphism whose domain and codomain coincide. An automorphism is an endomorphism that is an isomorphism.
By definition, being an isomorphism (e.g. in the cat. ) means that there exists an inverse that is still in the category (e.g. continuous). In our case let be a continuous function. Being an isomorphism in (cat. of top. spaces) is a stronger condition than just being bijective: MUST be continuous too. If it is, they (the mathematicians) call an homeomorphism. There are categories where a homomorphism in can be bijective as a set-theoretic map but its inverse do not respect the structure failing therefore to be an iso in that particular category . An example I heard of is the map that maps : it is bijective (iso in ) but not a homeomorphism (not iso) in .

To be a -Diffeomorphims for a function means that it is differentiable (), it is invertible, and its inverse is also differentiable (): it is an iso in the category .

What are you doing? You consider the set/monoid . It is not a group because it contains non invertible functions. Subsequently you take the subset of bijective ones. Not all of them but just the ones that have a inverse: briefly, you consider the group of -diffeomorphisms. You continue by restricting to the subset of diffeomorphisms s.t. .

On this point I have four, very ignorant, questions for you.

  1. Is really a manifold? How do we define an atlas of charts on ?
    The problem I see is that is open in with subspace topology... but how we would define a homeomorphims from that open to an open of some Euclidean space (, )? Should we consider instead ?   

  2. why is the non-zero derivative condition necessary?
    I mean that if is a diffeomorphism then . I don't know how to prove it but, in my mind, if the derivative becomes zero at then the inverse at the point should have a vertical slope, making ... not good (not continuous/differentiable!?);   

  3. if is a diffemorphism then is necessarily a fixed point?
    If is and the derivative is nowhere zero then it has to be strictly increasing or decreasing right?
    If it is so then all functions in have a fixed point at : let and increasing, where is the pre-image supposed to be located? The function has a zero somewhere, say in the point . The function must be increasing in the interval and bounded by so it has to have an horizontal asymptote and a vertical asymptote at . Contradiction: cannot be on . The same goes for the decreasing case.
    I know this is not a proof. I hope you can make it formal or explain to me where my intuition is off. Anyways this would produce fatal consequences for our needs. If all the fix then the successor or are not in our space and we can not consider the superfunction equations in it;   

  4. let be the subset of that are exponentially bounded.

    Is still closed under composition? It doesn't seem so. Exponentiation is in the space but its iterates seem to be outside. Assume for the sake of argument that it is closed: scaling by is in our space. By you closure proposition a Schroeder function of is in the space, i. e. a solution to

    It could in principle because it grows slowly enough (?). In that case, since the logarithm must be in our space, an Abel function of exp will be in there as well (). Contradiction! Its inverse tetration can't. We conclude that can't be a group.

Sorry for the naive questions. I'm very limited in this field but probably these problems constitute partially the reason that induced you to add that

Quote:    [t]he trouble I see with this space is that the super function of will not exist here . I don't envy you if you're trying to create a general structure to where the superfunction sits. (JmsNxn, 06 February 2021)

Could you try to make more precise your closure statement grounded on the stable knowledge of your papers? For example it seems to me that your statement should be something more like this.

I don't know if (smooth) or (analytic).
Can you confirm or make the details precise?

[note 1]

Even without extending it to categories I believe that we can find a lot of work on those groups. To express this in a very inaccuarate way: the kind of "closure theorem" you propose is equivalent, if we ignore the exp bound condition, to this one

"The group has only one conjugacy class."

I'll explain better this conceptual link in the post I'm prepairing but this is a specific case of "congugacy problem": when we study Real -flows we are indirectly studying the structure of conjugacy class of a group of diffeomorphisms.

[note 2]
To somehow prove that I'm not having hallucinations here two promising references that are taking it from this point of view.

O'Farrell, Roginskaya, Conjugacy of real diffeomorphisms, A suvery, 2010

This last one approaches the problem of approximating the solution by a sequence (or a path) of diffeomorphisms $\phi_n$ ($\phi_x$) converging to the (not exactly) superfunction.

MSE MphLee
Mother Law \((\sigma+1)0=\sigma (\sigma+1)\)
S Law \(\bigcirc_f^{\lambda}\square_f^{\lambda^+}(g)=\square_g^{\lambda}\bigcirc_g^{\lambda^+}(f)\)
Hey MPHlee,

Honestly I was just probing what might happen. I wasn't standing by what I wrote absolutely. I suggest reading the construction of hyper-operations, which I just posted. I was trying to visualize how we might generalize this to more exotic scenarios, and I was largely hypothesizing (guessing?) what might happen. That is, guessing what type of structure we may be able to develop--I think you're right though. What I wrote is definitely not correct, but it was more of an exercise in thought. After working through hyper-operators, I think I can more clearly say what I can say. But still, I honestly do not know.  I chose the space rather arbitrarily as, let's say, "I think it might look something like this."

Perhaps a better way to say it is, to list the requirements of what we need in the process of the proof.

The first thing we need is good control over our function such that,

Converges.  This will be if is. Further, this should be pretty simple to derive convergence. All we really need from this is that is defined. So that the infinite composition converges.

Second thing we need is for to be well behaved, which is why I said diffeomorphism. I said that loosely, and you are correct. diffeomorphism is probably too strong, I simply meant it as a differentiable isomorphism. I chose because it's convenient (and yes that would require it fixes zero). This is by no means necessary. However, is needed, or at least, where is easily controlled, not too sure. I'd just stick to non-zero derivative tbh.

All we really need is for iterates to be defined well enough, and for to be a meaningful thing. Again, this is very malleable. In the construction of the hyper-operators I use either a function bijectively, or bijectively. So we have a good amount of freedom here. If I were being honest, we just want to be a meaningful thing.

The next thing we need is good control as a lipschitz condition of . We want,

Where as the value . This allows us to apply Banach's fixed point theorem very cleanly and efficiently. Again, this may not be necessary, but for a quick simple proof, yes this is good. This is why I said that exponential growth, or something like it, would be good. It would mean that looks something like the logarithm. Again, I did this in the construction of the hyper-operators, where and its higher order equivalents, have a lipschitz condition AT LEAST as good as the logarithm. Which is when . Which makes things pretty quick and not very messy. But again, not really necessary. As long as is decently behaved and has some kind of lipschitz condition, we are all green.

Now all of this is enough for us to show that,

Converges to a CONTINUOUS function such that . We will know that is if is, but deriving that is is something I am not sure how to do yet. I managed to do it for hyper-operations, but it required a lot of nice things to happen. Mainly that,

Had some pretty convenient differential properties. Namely that looks like for large values of . This is a very very crucial step in the proof to derive , and I'm not sure how to guarantee this as  a condition on . It happened conveniently with and and its converging sequence ; which look like for large and similarly its derivatives looked like for large . Luckily, something similar happens with hyper-operators.

Although I am not certain, I do believe that the missing ingredient will be something of the form . Or that, the lipschitz constant of the inverse function looks like the logarithmic lipschitz constant. This would mean, we want to grow faster, or like the exponential and that its inverse is slow like the logarithm.  Again though, there's probably more to it. I think something like for all may come into play at some point. I cannot say for certain. But this isn't necessary, because I never showed satisfied this--but for large this will be true (again though, I don't use this.)

Again, don't take everything I'm saying to heart. I'm still trying to get a feel for the general case. I also have to clean up the hyper-operators a bit--and in doing so, hopefully be better at identifying what actually allowed for them to be . The proof seems to be pretty hardwired to the super-fast growth of hyper-operators, and the excessively slow growth of their inverses. When I get the time, I might run through a more elementary example, and see if we can construct a super function to something simple like,

My suspicions are the method should still work in this case, but I may have to modify the approach; or at least fine-tune it. Especially when it comes to trying to make the super-function . I don't foresee any problems with constructing a continuous super-function--it's the part that has me scratching my head.

Regards, James.


I'll leave the spaces and category; or what sets these things live in, and how the conjugacy classes are structured to you, lol. I'll just focus on trying to create a reasonable set of criteria on such that we can get a super function which is as differentiable as . My guess is that it's going to be really tricky to nail down a single criteria. However, what I just laid out above is the gist of how the hyper-operators were constructed.

Possibly Related Threads…
Thread Author Replies Views Last Post
  greedy method for tetration ? tommy1729 0 71 02/11/2023, 12:13 AM
Last Post: tommy1729
  tommy's "linear" summability method tommy1729 15 500 02/10/2023, 03:55 AM
Last Post: JmsNxn
  another infinite composition gaussian method clone tommy1729 2 145 01/24/2023, 12:53 AM
Last Post: tommy1729
  Semi-group iso , tommy's limit fix method and alternative limit for 2sinh method tommy1729 1 235 12/30/2022, 11:27 PM
Last Post: tommy1729
  [MSE] short review/implem. of Andy's method and a next step Gottfried 4 575 11/03/2022, 11:51 AM
Last Post: Gottfried
  Is this the beta method? bo198214 3 625 08/18/2022, 04:18 AM
Last Post: JmsNxn
  Describing the beta method using fractional linear transformations JmsNxn 5 816 08/07/2022, 12:15 PM
Last Post: JmsNxn
Question The Etas and Euler Numbers of the 2Sinh Method Catullus 2 555 07/18/2022, 10:01 AM
Last Post: Catullus
  Tommy's Gaussian method. tommy1729 34 11,987 06/28/2022, 02:23 PM
Last Post: tommy1729
  The beta method thesis JmsNxn 9 2,192 04/20/2022, 05:32 AM
Last Post: Ember Edison

Users browsing this thread: 1 Guest(s)