• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 Non-trivial extension of max(n,1)-1 to the reals and its iteration. MphLee Long Time Fellow    Posts: 321 Threads: 25 Joined: May 2013 05/16/2014, 01:37 PM (This post was last modified: 05/16/2014, 02:40 PM by MphLee.) I was very interested in the problem of extending to the reals (that is actual the "incomplete" predecessor function over the naturals) I've asked the same question on MSE but it was a bit ignored...I hope because it is trivial! http://math.stackexchange.com/questions/...its-fracti The question is about extensions of to the reals with some conditions Quote:A- only if B- is not discontinuous I just noticed that I've made a lot of errors in my MathSE question, I'll fix it in this post (and later on mathSE) From successor and inverse successor we can define the subtraction in this way and with , that is a modified predecessor function we could define its iteration using an "esotic subtraction" that is "incomplete" for naturals and is "complete" for reals (like we are cutting all the negative integers) Quote: In this way we have Quote: and How we can go in order to extend to real ? For example what can we know about ? for example if we put then if if is not a natural number !?? what is going on here? If is natural in this case we should have that . What do you think about this? 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)$$ tommy1729 Ultimate Fellow     Posts: 1,699 Threads: 373 Joined: Feb 2009 05/16/2014, 09:21 PM Your function is equal to (x + abs(x))/2. abs(x) can be written as sgn(x) x. sgn(x) is well approximated by tanh(100x). This gives that your function is very close to (x+tanh(100x) x)/2 The problem with your function is that it has all positive integers as fixpoints. Too many fixpoints to have half-iterates valid everywhere. Im not sure if you want an interpolation or an approximation like I just gave. Also the reason you get little response is probably because your mainly asking " what makes this question more intresting " ? If you know what I mean. Asking what properties to look for or asking what questions to ask is similar. You have to decide what you want to do , want to see solved or what properties you desire. Otherwise it sounds weird. Kinda like asking for " a special integer ". Math is like driving a car without a map. You dont know where you will end up. But if you want to end up somewhere you have too start , stop and drive. I hope my metaphor is understood. I assume you are still young. You dont have to tell me about your age but I suspect it. Hope you dont mind me saying. regards tommy1729 MphLee Long Time Fellow    Posts: 321 Threads: 25 Joined: May 2013 05/16/2014, 10:20 PM (This post was last modified: 05/17/2014, 11:48 AM by MphLee.) (05/16/2014, 09:21 PM)tommy1729 Wrote: Your function is equal to (x + abs(x))/2. abs(x) can be written as sgn(x) x. sgn(x) is well approximated by tanh(100x). This gives that your function is very close to (x+tanh(100x) x)/2 I've plotted this and is the same as or the same as ... I know this but I was loking for a function that coincides with only for the naturals... If I did not understand something of your formula of approximation tell me. Quote:The problem with your function is that it has all positive integers as fixpoints. Too many fixpoints to have half-iterates valid everywhere. Ok..I don't get this (I'm not good with analysis and the iteration theory)... but help to to understand pls. A fixpoint is a x such that in the case of ... is it the only fixpoint of A? Maybe you talk about the fact that and for every . This is really a big problem for the real iteration problem? Quote:Im not sure if you want an interpolation or an approximation like I just gave. Also the reason you get little response is probably because your mainly asking " what makes this question more intresting " ? If you know what I mean. Asking what properties to look for or asking what questions to ask is similar. You have to decide what you want to do , want to see solved or what properties you desire. Otherwise it sounds weird. Kinda like asking for " a special integer ". Math is like driving a car without a map. You dont know where you will end up. But if you want to end up somewhere you have too start , stop and drive. I hope my metaphor is understood. Yea I know, the question is a bit unclear and is because I don't exatly know what to ask..or how to ask it. I'm a bit confused about this problem but it is very interesting for me and I think it can be important for oher things I'm doing. Quote:I assume you are still young. You dont have to tell me about your age but I suspect it. Hope you dont mind me saying. regards tommy1729 Don't worry I'm enough young (but not very very young) Maybe you feel more my lack of knowledge on some really basic topics...I don't study math at school probably thats why. 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)$$ MphLee Long Time Fellow    Posts: 321 Threads: 25 Joined: May 2013 05/17/2014, 07:10 PM Update: I voted for the closure of the question on MSE because it is not clear at all. 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)$$ Catullus Fellow   Posts: 210 Threads: 46 Joined: Jun 2022 06/09/2022, 11:06 PM (This post was last modified: 07/29/2022, 10:28 PM by Catullus.) (05/16/2014, 01:37 PM)MphLee Wrote: Quote:A-        only if B- is not discontinuous. Defining  as  might work. It has a lot of fixed points though. Can someone please tell me a special integer? Like maybe one related to hyper-operations. ฅ(ﾐ⚈ ﻌ ⚈ﾐ)ฅ Please remember to stay hydrated. Sincerely: Catullus MphLee Long Time Fellow    Posts: 321 Threads: 25 Joined: May 2013 06/10/2022, 09:07 AM This will work, but is not really what I was looking for in my question. Back in the days my mind was really foggy on this problem because I wasn't able to phrase the real problem I had in mind. Here indeed your solution  $$(x-1)-\sin(x\pi)$$ is correct. But probably I was looking for somethign like a smooth approximation of $$T(x)\sim \max(x,1)-1$$  and then the family $$T_\theta=T(x)+\theta(x)$$ for $$\theta(x+1)=\theta(x)$$ and $$\theta(n)=0$$ for each $$n\in\mathbb Z$$. So Tommy's solution fits better since $$\max(x,1)-1=\lim_{k\to\infty} \frac{(x-1)+(x-1){\rm tanh}(k(x-1))}{2}$$ Here Tommy's approximation for $$k=6$$ Here then $$T_\theta(x)=\frac{(x-1)+(x-1){\rm tanh}(k(x-1))}{2} + \lambda \sin(x\pi)$$ for $$\lambda=0.2$$ After all this years I have to think more about this and see if those approximations can be useful for my endgame... One day I'll post something about it. 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)$$ Catullus Fellow   Posts: 210 Threads: 46 Joined: Jun 2022 06/10/2022, 10:17 AM (06/10/2022, 09:07 AM)MphLee Wrote: After all this years I have to think more about this and see if those approximations can be useful for my endgame...Your endgame? Endgame of what? ฅ(ﾐ⚈ ﻌ ⚈ﾐ)ฅ Please remember to stay hydrated. Sincerely: Catullus MphLee Long Time Fellow    Posts: 321 Threads: 25 Joined: May 2013 06/10/2022, 11:04 AM Excuse me, I mean that I'm not sure anymore that those approximations are useful for the purpose of my research. I'm, and I was, researching about a far reaching generalization of hyperoperations. I don't know your background so I'll make it self-contained. I'm studying special functions of the kind $${\bf g}:J\to X$$ and maps of kind $$\rho:X\to \mathbb N$$ for $$J$$ a dynamical system. That means that fixing a $$\rho$$ of that kind we can send each $$\bf g$$ to a map $$\rho{\bf g}:J\to \mathbb N$$. Here in this post, 8 years ago, I was initiating the study, with scarce success, of functions $$f:J\to \mathbb N$$ that are of the form $$f=\rho{\bf g}$$. 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)$$ Catullus Fellow   Posts: 210 Threads: 46 Joined: Jun 2022 06/11/2022, 06:22 AM (This post was last modified: 06/19/2022, 09:31 AM by Catullus.) (06/10/2022, 09:07 AM)MphLee Wrote: But probably I was looking for somethign like a smooth approximation of $$T(x)\sim \max(x,1)-1$$  and then the family $$T_\theta=T(x)+\theta(x)$$ for $$\theta(x+1)=\theta(x)$$ and $$\theta(n)=0$$ for each $$n\in\mathbb Z$$.log(sqrt(2),sqrt(2)^x+sqrt(2))-1 is a smooth approximation of max(x,1)-1. ฅ(ﾐ⚈ ﻌ ⚈ﾐ)ฅ Please remember to stay hydrated. Sincerely: Catullus MphLee Long Time Fellow    Posts: 321 Threads: 25 Joined: May 2013 06/15/2022, 10:59 PM Catullus, this option was already pointed back then. It is the common representation of the tropical operation. max, as as the "Litvinov-Maslov dequantization" of the bennet preaddition. 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)$$ « Next Oldest | Next Newest »

 Possibly Related Threads… Thread Author Replies Views Last Post Qs on extension of continuous iterations from analytic functs to non-analytic Leo.W 18 1,265 09/18/2022, 09:37 PM Last Post: tommy1729 On extension to "other" iteration roots Leo.W 34 3,611 08/30/2022, 03:29 AM Last Post: JmsNxn Tetration extension for bases between 1 and eta dantheman163 23 35,934 07/05/2022, 04:10 PM Last Post: Leo.W Fractional iteration of x^2+1 at infinity and fractional iteration of exp bo198214 17 29,717 06/11/2022, 12:24 PM Last Post: tommy1729 Ueda - Extension of tetration to real and complex heights MphLee 4 1,382 05/08/2022, 11:48 PM Last Post: JmsNxn Possible continuous extension of tetration to the reals Dasedes 0 3,186 10/10/2016, 04:57 AM Last Post: Dasedes Andrew Robbins' Tetration Extension bo198214 32 78,599 08/22/2016, 04:19 PM Last Post: Gottfried Iteration series: Different fixpoints and iteration series (of an example polynomial) Gottfried 0 5,002 09/04/2011, 05:59 AM Last Post: Gottfried Tetration Extension to Real Heights chobe 3 10,751 05/15/2010, 01:39 AM Last Post: bo198214 Extension of tetration to other branches mike3 15 36,938 10/28/2009, 07:42 AM Last Post: bo198214

Users browsing this thread: 1 Guest(s) 