A system of functional equations for slog(x) ? tommy1729 Ultimate Fellow Posts: 1,859 Threads: 402 Joined: Feb 2009 07/18/2014, 12:23 PM Let x be a real number. Im looking for a real-analytic solution slog that satisfies : slog(1) = 0. slog(exp(x))= slog(x)+1. ??slog(??) = ??slog(??) And by those "??" I mean another functional equation on the real line such that slog is indeed real-analytic. I tried a few cases but it seems hard. A suggestion is limiting the range and domain by using slog(sin(x)^2) = ??? Actually I do not know any system of functional equations that gives a real-analytic nontrivial abel function. One easily gets contradictions with naive try-outs. It somewhat reminds of those attempts of making ackermann analogues analytic , and other similar hyperoperator ideas. slog(sin(x)^2) = slog(f(x)) - 1 however leads to f(x) = exp(sin(x)^2). Just to show how tricky it is. Nevertheless Im optimistic although that may be a bit crazy. regards tommy1729 tommy1729 Ultimate Fellow Posts: 1,859 Threads: 402 Joined: Feb 2009 07/18/2014, 09:58 PM A candidate functional equation is already given here : http://math.eretrandre.org/tetrationforu...hp?tid=852 although I prefer a simpler one if possible. I believe in a solution. regards tommy1729 jaydfox Long Time Fellow Posts: 440 Threads: 31 Joined: Aug 2007 07/28/2014, 05:06 PM Remind me why the functional equation for superexponentiation (or the superlogarithm) isn't adequate? I seem to recall that there was an issue with apparent inconsistencies? sexp(x+1) = exp(sexp(x)) slog(exp(x)) = slog(x)+1 Was it just an issue with branches? If so, is that really a problem? ~ Jay Daniel Fox tommy1729 Ultimate Fellow Posts: 1,859 Threads: 402 Joined: Feb 2009 07/28/2014, 09:16 PM (07/28/2014, 05:06 PM)jaydfox Wrote: Remind me why the functional equation for superexponentiation (or the superlogarithm) isn't adequate? I seem to recall that there was an issue with apparent inconsistencies? sexp(x+1) = exp(sexp(x)) slog(exp(x)) = slog(x)+1 Was it just an issue with branches? If so, is that really a problem? There are many subtle issues , but it relates to our ignorance. For instance if exp(exp(v)) = v and v is not the first order fixpoint of exp then equation slog(exp(exp(x))) = slog(x)+2 cannot be both analytic and valid near the point Q with slog(Q) = v. Despite many posts and progress here , A full understanding of these kind of things is not reached yet. Functional equations are tricky for complex numbers when functions G are involved such that iterations of G are chaotic. One simple solution seems to say that Q must lie on another branch with another functional equation. But it seems not to be solved that easy and intuitive. Why ? Well because for instance the functional equations on the branches do " not care " about the positions of higher order fixpoints. And no matter how you choose your branches , this cannot be solved trivially and perfectly due to chaos. That is just one example. HOWEVER the point (of the OP) is not an inconsistancy but the fact that EVEN FOR THE REALS these functional equations ALONE do not give uniqueness. Adding an additional functional equation might be a nice road to another solution for tetration. That was the intention. In particular with focus on the real line. regards tommy1729 « Next Oldest | Next Newest »

 Possibly Related Threads… Thread Author Replies Views Last Post double functional equation , continuum sum and analytic continuation tommy1729 6 184 03/05/2023, 12:36 AM Last Post: tommy1729 E^^.5 and Slog(e,.5) Catullus 7 1,091 07/22/2022, 02:20 AM Last Post: MphLee Slog(Exponential Factorial(x)) Catullus 19 2,997 07/13/2022, 02:38 AM Last Post: Catullus Functional power Xorter 3 3,974 07/11/2022, 06:03 AM Last Post: Catullus Slog(x^^^2) Catullus 1 478 07/10/2022, 04:40 AM Last Post: JmsNxn Functional Square Root Catullus 24 2,706 07/01/2022, 09:17 PM Last Post: tommy1729 Slog(e4) Catullus 0 455 06/16/2022, 03:27 AM Last Post: Catullus Modding out functional relationships; An introduction to congruent integration. JmsNxn 3 1,894 06/23/2021, 07:07 AM Last Post: JmsNxn [MSE] Help on a special kind of functional equation. MphLee 4 2,220 06/14/2021, 09:52 PM Last Post: JmsNxn Arbitrary Order Transfer Equations JmsNxn 0 1,219 03/16/2021, 08:45 PM Last Post: JmsNxn

Users browsing this thread: 1 Guest(s)