Paradoxica
-insert title here-
I'm doubt the validity of my solution, and I'm certain there are massive logical gaps, but here's what I have:
Extracurricular Elementary Mathematics Marathon (2 Viewers)
- Thread starter Paradoxica
- Start date
seanieg89
Well-Known Member
- Joined
- Aug 8, 2006
- Messages
- 2,662
- Gender
- Male
- HSC
- 2007
Yeah, you have done something fishy in deducing that f=f^{-1}, care to explain your reasoning if you still believe this fact after thinking more?I'm doubt the validity of my solution, and I'm certain there are massive logical gaps, but here's what I have:
))=x \\ $Thus, $f(x) = f^{-1}(x)$, since $f$ is arbitrary, and hence $f(f(x)) = x$. Substituting this back into the original functional equation gives $f(x)=x$, which obviously satisfies the original functional equation.$)
Note also that you have used continuity nowhere. This is essential, as we have a vast array of solutions to the functional equation if continuity is not required:
Partition the reals into an uncountable union of sets, each with either 1 or 3 elements.
Define f to map elements of singleton sets to themselves and to cycle the three elements in each of the other sets.
Any such function f will satisfy the functional equation, but almost all of them will be highly discontinuous.
Paradoxica
-insert title here-
seanieg89
Well-Known Member
- Joined
- Aug 8, 2006
- Messages
- 2,662
- Gender
- Male
- HSC
- 2007
Composition cannot create parity? Why not? Eg f(x)=1-x is not odd or even, but composed with itself is the identity which is odd. = x \\ f^3(-x)=-x \\ $Since composition preserves any existing parity (favouring even over odd) and cannot create parity, $f(x)$ is odd. If $f$ is a polynomial with degree $m$, then we have the following fact: $O(f^3(x)) = O(x^{m^3}) = O(x) \Leftrightarrow m^3 = 1 \Leftrightarrow m=1 \\ $Since $f$ is odd, the polynomial $f$ is $f(x) = kx \\ $Systematically bashing out the linear function yields $f(x)=x \\ $Not sure where to go from here...$)
It is true that the only polynomial function that works is the identity and yes degree considerations give you this quickly as you note.
This isn't too fruitful a way of thinking about what general continuous functions can solve the equation though.
Paradoxica
-insert title here-
No discontinuities allowed, this includes singularities of rational functions? for example, 1/(1-x) is clearly a solution to the functional equation, but has a simple pole at x=1
seanieg89
Well-Known Member
- Joined
- Aug 8, 2006
- Messages
- 2,662
- Gender
- Male
- HSC
- 2007
No, singularities are not allowed, because the function is continuous and has domain R. (We cannot have any domain "holes".)
Paradoxica
-insert title here-
Paradoxica
-insert title here-
Last edited:
Paradoxica
-insert title here-
Paradoxica
-insert title here-