• 0 Vote(s) - 0 Average
• 1
• 2
• 3
• 4
• 5
 twice a superfunction tommy1729 Ultimate Fellow     Posts: 1,493 Threads: 356 Joined: Feb 2009 08/11/2010, 04:28 PM i have been thinking about the following often : how and when is a function a 'superfunction for two functions' and what degrees of freedom do we have ? for instance assume the following equation f(x+1) = A(f(x)) f(x+i) = B(f(x)) and A and B are somewhat related : they commute of course and satisfy some equation ( e.g. A = sin(log(B)) ) i assume there is no freedom for f(z) apart from choosing f(0). ( once again , riemann mapping theorem and double periodic functions convinced me of that ) but its not so clear when we have a solution and when not. also , could this be a usefull uniqueness criterion ? its seems we need at least 3 criterions for a solution to exist : 1) A and B commute 2) A and B share the same fixpoints 3) its clear the superfunction of A and B is nonparadoxal at complex oo. maybe 4 : 4) the superfunction becomes periodic or semi-periodic near complex oo. ( although that might follow from 3 ) regards tommy1729 MphLee Fellow   Posts: 184 Threads: 19 Joined: May 2013 03/24/2014, 09:12 PM (08/11/2010, 04:28 PM)tommy1729 Wrote: i have been thinking about the following often : how and when is a function a 'superfunction for two functions' and what degrees of freedom do we have ? for instance assume the following equation f(x+1) = A(f(x)) f(x+i) = B(f(x)) and A and B are somewhat related : they commute of course and satisfy some equation ( e.g. A = sin(log(B)) ) i assume there is no freedom for f(z) apart from choosing f(0). ( once again , riemann mapping theorem and double periodic functions convinced me of that ) but its not so clear when we have a solution and when not. also , could this be a usefull uniqueness criterion ? its seems we need at least 3 criterions for a solution to exist : 1) A and B commute 2) A and B share the same fixpoints 3) its clear the superfunction of A and B is nonparadoxal at complex oo. maybe 4 : 4) the superfunction becomes periodic or semi-periodic near complex oo. ( although that might follow from 3 ) regards tommy1729 and but this doesn't mean that should hold always? MathStackExchange account:MphLee Fundamental Law tommy1729 Ultimate Fellow     Posts: 1,493 Threads: 356 Joined: Feb 2009 03/25/2014, 12:34 AM On the same branch I think it does. See it like a vector space on a manifold. The vector +a followed by the vector +b is the same as the vector +b followed by the vector +a. Hence they commute. On the complex field : +1 + i = +i + 1. Or said even in another way : its like a square : start at (0,0) going up and left = going left and up. ( you end in (1,-1) ) regards tommy1729 MphLee Fellow   Posts: 184 Threads: 19 Joined: May 2013 03/25/2014, 08:51 AM (This post was last modified: 03/25/2014, 01:00 PM by MphLee.) (08/11/2010, 04:28 PM)tommy1729 Wrote: i have been thinking about the following often : how and when is a function a 'superfunction for two functions' and what degrees of freedom do we have ? for instance assume the following equation f(x+1) = A(f(x)) f(x+i) = B(f(x))Then the A and B always commute. I think that this is the criterion. But maybe the the fact that they commute is too general maybe. example and the functions commute but their superfunction () should be defined with then we have . But if we don't know such , and and we only know that A and B commute how can we know that exist? By the way I don't think that we can define a new superfunction from two functions A and B when they don't commute... if it is possible is really weird and interesting... Have you found some example where we dont need that they commute and the superfunction exist? PS: I replied to your private message. MathStackExchange account:MphLee Fundamental Law tommy1729 Ultimate Fellow     Posts: 1,493 Threads: 356 Joined: Feb 2009 03/26/2014, 01:23 PM Considering the thread http://math.eretrandre.org/tetrationforu...hp?tid=844 It seems to follow that from the (probably) fact that sexp is not pseudounivalent then a superfunction cannot be twice a superfunction on a half-plane. The proof sketch is as follows : Let f be a nonspeudounivalent superfunction. Lef f(a)= b. Then there must exist for most such a and b : f(a2)=f(a3)=f(a)=b where a2 and a3 are lineair indep. (real lineair indep of course ) then from the 2 functional equations that make up twice the superfunction it follows that f must be double periodic. ( the superfunctions equations are in the directions a-a2 and a-a3 ) Since double periodic functions are not entire , then the superfunction cannot be analytic on a halfplane. regards tommy1729 MphLee Fellow   Posts: 184 Threads: 19 Joined: May 2013 03/26/2014, 03:34 PM (03/26/2014, 01:23 PM)tommy1729 Wrote: Considering the thread http://math.eretrandre.org/tetrationforu...hp?tid=844 It seems to follow that from the (probably) fact that sexp is not pseudounivalent then a superfunction cannot be twice a superfunction on a half-plane. The proof sketch is as follows : Let f be a nonspeudounivalent superfunction. Lef f(a)= b. Then there must exist for most such a and b : f(a2)=f(a3)=f(a)=b where a2 and a3 are lineair indep. (real lineair indep of course ) then from the 2 functional equations that make up twice the superfunction it follows that f must be double periodic. ( the superfunctions equations are in the directions a-a2 and a-a3 ) Since double periodic functions are not entire , then the superfunction cannot be analytic on a halfplane. regards tommy1729Sorry but you dragged me where I can not swim... I don't know what entire, linear independence, analyticity and pseudounivalent functions are... I need alot of time to understand this.. following your post and the definition of univalent function whe have that an u. function is injective (and holomorphic from wiki) thus invertible. Anyways every invertible function it is the superfunction of another functions and then it is twice a superfunction too since it defines in an unique way the iterates of its subfunction. So back to my poor knowledge: I don't know if your weaker assumption (pseudounivalent) for a function is enough to ensure the existences of 2 ("sub")functions that commute (or other) and to prove that f is twice a superfunction of them. MathStackExchange account:MphLee Fundamental Law « Next Oldest | Next Newest »

 Possibly Related Threads... Thread Author Replies Views Last Post Some "Theorem" on the generalized superfunction Leo.W 44 11,081 09/24/2021, 04:37 PM Last Post: Leo.W Generalized Kneser superfunction trick (the iterated limit definition) MphLee 25 9,071 05/26/2021, 11:55 PM Last Post: MphLee Natural cyclic superfunction tommy1729 3 6,411 12/08/2015, 12:09 AM Last Post: tommy1729  Uniqueness of periodic superfunction tommy1729 0 3,574 11/09/2014, 10:20 PM Last Post: tommy1729 The fermat superfunction tommy1729 3 6,772 03/24/2014, 12:58 AM Last Post: tommy1729 Uniqueness of Ansus' extended sum superfunction bo198214 4 11,272 10/25/2013, 11:27 PM Last Post: tommy1729 2*sinh(3^h*asinh(x/2)) is the superfunction of (...) ? Gottfried 5 10,687 09/11/2013, 08:32 PM Last Post: Gottfried superfunction contain fix ? tommy1729 2 6,132 10/07/2010, 12:14 PM Last Post: tommy1729 closed form for regular superfunction expressed as a periodic function sheldonison 31 53,257 09/09/2010, 10:18 PM Last Post: tommy1729 fourier superfunction ? tommy1729 2 6,797 06/23/2010, 10:52 PM Last Post: tommy1729

Users browsing this thread: 1 Guest(s)