• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Doubts on the domains of Nixon's method. MphLee Fellow Posts: 131 Threads: 10 Joined: May 2013 02/27/2021, 11:03 AM (This post was last modified: 02/28/2021, 11:16 PM by MphLee. Edit Reason: Fixed many errors and typos. ) [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, $\mathcal{F} = \{f \in \mathcal{C}(\mathbb{R}^+,\mathbb{R}^+),\,f\,\text{is an isomorphism},\,f' \neq 0\}$ So that $f$ is say, a diffeomorphism (I believe that's the word, if not; it's something like that) of $\mathbb{R}^+$. 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: $|f(x)| \le Ae^{Bx}$ For some constants $A,B$. Which will make the exponential convergents behave well.  And it would imply it's inverse at worse grows like $\log$ somethin' somethin'. This would be a perfectly good algebraic space where we could derive, $ \forall f,g \in \mathcal{F} \exists \phi \in \mathcal{F} f\phi=\phi g$ 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 (${\mathbb R}^+$) 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 ${\mathbb R}^+$: I'm very shaky on this, but I don't know if ${\mathbb R}^+=[0,+\infty)$ is a differential manifold. Let's admit it is. It is an object of the category "$\rm Diff$" of differential manifolds and what you are describing is the group of automorphisms of ${\mathbb R}^+$ in that category: $\mathcal F\overset{?}{=}{\rm Diff}({\mathbb R}^+):={\rm Aut}_{\rm Diff}({\mathbb R}^+)\subseteq \mathcal C^1({\mathbb R}^+,{\mathbb R}^+)$ 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. $\rm Top$) means that there exists an inverse that is still in the category (e.g. continuous). In our case let $f:X\to Y$ be a continuous function. Being an isomorphism in $\rm Top$ (cat. of top. spaces) is a stronger condition than just being bijective: $f^{-1}$ MUST be continuous too. If it is, they (the mathematicians) call $f$ an homeomorphism. There are categories $C$ where a homomorphism in $f\in {\rm Ob}_C$ 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 $C$. An example I heard of is the map $[0,1)\to{\mathbb S}^1$ that maps $r\mapsto (\cos r2\pi ,\sin r2\pi)$: it is bijective (iso in $\rm Set$) but not a homeomorphism (not iso) in $\rm Top$. To be a $\mathcal C^k$-Diffeomorphims for a function $f$ means that it is differentiable ($\mathcal C^k$), it is invertible, and its inverse $f^{-1}$ is also differentiable ($\mathcal C^k$): it is an iso in the category $\rm Diff$. What are you doing? You consider the set/monoid $\mathcal C^1({\mathbb R}^+,{\mathbb R}^+)$. It is not a group because it contains non invertible $\mathcal C^1$ functions. Subsequently you take the subset of bijective ones. Not all of them but just the ones that have a $\mathcal C^1$ inverse: briefly, you consider the group of $\mathcal C^1$-diffeomorphisms. You continue by restricting to the subset of diffeomorphisms s.t. $f'\neq 0$. On this point I have four, very ignorant, questions for you. Is ${\mathbb R}^+$ really a manifold? How do we define an atlas of charts on ${\mathbb R}^+$? The problem I see is that $[0, x)$ is open in ${\mathbb R}^+$ with subspace topology... but how we would define a homeomorphims from that open to an open of some Euclidean space ${\mathbb E}^n$ ($n=1$, ${\mathbb E}^1={\mathbb R}$)? Should we consider instead $\rm Diff(0,+\infty)$?    why is the non-zero derivative condition necessary? I mean that if $f:{\mathbb R}^+\to {\mathbb R}^+$ is a diffeomorphism then $f'\neq 0$. I don't know how to prove it but, in my mind, if the derivative $f'(x)$ becomes zero at $x$ then the inverse $f^{-1}$ at the point $y:=f(x)$ should have a vertical slope, making $f^{-1}$... not good (not continuous/differentiable!?);    if $f:{\mathbb R}^+\to {\mathbb R}^+$ is a diffemorphism then is $0$ necessarily a fixed point? If $f\in \mathcal F$ is $\mathcal C^1$ and the derivative is nowhere zero then it has to be strictly increasing or decreasing right? If it is so then all functions in $\mathcal F$ have a fixed point at $0$: let $f(0)=b$ and $f$ increasing, where is the pre-image $f^{-1}[0,b)$ supposed to be located? The function has a zero somewhere, say in the point $z_0$. The function must be increasing in the interval $[z_0,+\infty)$ and bounded by $b$ so it has to have an horizontal asymptote $y=b$ and a vertical asymptote at $x=z_0$. Contradiction: $f$ cannot be $\mathcal C^1$ on ${\mathbb R}^+$. 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 $f\in \mathcal F$ fix $0$ then the successor or $\exp$ are not in our space and we can not consider the superfunction equations $\chi s=\chi f$ in it;    let $\mathcal F_{eb}$ be the subset of $f\in \mathcal F$ that are exponentially bounded. $f\in{\mathcal F}_{eb}:{\Leftrightarrow} \exists A,B\in{\mathbb R}^+, \forall x\in{\mathbb R}^+:f(x)\leq Ae^{Bx}$ Is ${\mathcal F}_{eb}$ 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 $\lambda$ is in our space. By you closure proposition a Schroeder function of $\exp$ is in the space, i. e. a solution to $\phi\exp=\lambda\cdot \phi$ 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 ($\log_\lambda\circ{\rm Schroeder}_\lambda={\rm Abel}$). Contradiction! Its inverse tetration can't. We conclude that ${\mathcal F}_{eb}$ 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 $f\in Q$ will not exist here $F\not\in Q$. 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. $\forall f,g \in \mathcal{F}_{eb}, \exists \phi \in \mathcal{C}^k:f\phi=\phi g$ I don't know if $k=\infty$ (smooth) or $k=\omega$ (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 $\mathcal F$ 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 $\mathcal C^1$-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 Farinelli, Conjugacy classes of diffeomorphisms of the interval in C1-regularity, 2012/18 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. MathStackExchange account:MphLee « Next Oldest | Next Newest »

 Messages In This Thread Doubts on the domains of Nixon's method. - by MphLee - 02/27/2021, 11:03 AM RE: Doubts on the domains of Nixon's method. - by JmsNxn - 03/02/2021, 10:43 PM

 Possibly Related Threads... Thread Author Replies Views Last Post A different approach to the base-change method JmsNxn 0 204 03/17/2021, 11:15 PM Last Post: JmsNxn A support for Andy's (P.Walker's) slog-matrix-method Gottfried 4 3,660 03/08/2021, 07:13 PM Last Post: JmsNxn Nixon-Banach-Lambert-Raes tetration is analytic , simple and “ closed form “ !! tommy1729 11 1,620 02/04/2021, 03:47 AM Last Post: JmsNxn My interpolation method [2020] tommy1729 1 1,923 02/20/2020, 08:40 PM Last Post: tommy1729 Kneser method question tommy1729 9 7,378 02/11/2020, 01:26 AM Last Post: sheldonison Half-iterates and periodic stuff , my mod method [2019] tommy1729 0 1,588 09/09/2019, 10:55 PM Last Post: tommy1729 2 fixpoints , 1 period --> method of iteration series tommy1729 0 2,844 12/21/2016, 01:27 PM Last Post: tommy1729 Tommy's matrix method for superlogarithm. tommy1729 0 2,833 05/07/2016, 12:28 PM Last Post: tommy1729 [split] Understanding Kneser Riemann method andydude 7 13,203 01/13/2016, 10:58 PM Last Post: sheldonison Kouznetsov-Tommy-Cauchy method tommy1729 0 3,134 02/18/2015, 07:05 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)