Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
twice a superfunction
#1
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
Reply
#2
(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
Reply
#3
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
Reply
#4
(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
Reply
#5
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
Reply
#6
(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

tommy1729
Sorry 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
Reply


Possibly Related Threads...
Thread Author Replies Views Last Post
  Natural cyclic superfunction tommy1729 3 2,679 12/08/2015, 12:09 AM
Last Post: tommy1729
  [2014] Uniqueness of periodic superfunction tommy1729 0 1,758 11/09/2014, 10:20 PM
Last Post: tommy1729
  The fermat superfunction tommy1729 3 3,429 03/24/2014, 12:58 AM
Last Post: tommy1729
  Uniqueness of Ansus' extended sum superfunction bo198214 4 6,237 10/25/2013, 11:27 PM
Last Post: tommy1729
  2*sinh(3^h*asinh(x/2)) is the superfunction of (...) ? Gottfried 5 5,014 09/11/2013, 08:32 PM
Last Post: Gottfried
  superfunction contain fix ? tommy1729 2 3,230 10/07/2010, 12:14 PM
Last Post: tommy1729
  closed form for regular superfunction expressed as a periodic function sheldonison 31 29,301 09/09/2010, 10:18 PM
Last Post: tommy1729
  fourier superfunction ? tommy1729 2 3,796 06/23/2010, 10:52 PM
Last Post: tommy1729



Users browsing this thread: 1 Guest(s)