Functional equation f(x)=f(x^2)

  • Thread starter Thread starter cliowa
  • Start date Start date
  • Tags Tags
    Functional
Click For Summary

Homework Help Overview

The discussion revolves around a functional equation involving a continuous function f defined from the real numbers to the real numbers, specifically the equation f(x) = f(x^2). Participants are exploring the implications of this equation to determine if the function can be proven to be constant.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster attempts to reason through the properties of the function by examining its behavior on the interval [0, 1) and considering the implications of continuity. They raise questions about how to extend their findings to all real numbers. Other participants suggest additional properties, such as the function being even and the relationship between f(x) and f(√x) for positive reals.

Discussion Status

The discussion is active, with participants providing insights and suggestions that build on each other's reasoning. There is recognition of the potential implications of the functional equation, and some participants express a sense of clarity regarding their understanding, though no consensus on a complete proof has been reached.

Contextual Notes

Participants are working under the assumption that the function is continuous and are exploring the implications of the functional equation across different domains of real numbers. There is a focus on the behavior of the function as it relates to both positive and negative values.

cliowa
Messages
190
Reaction score
0
Hello everybody
I'm given a continuous function f (from the real numbers to the real numbers) which I know obeys the following functional equation:
[tex]f(x)=f(x^{2})[/tex]
How can I proof that this function is constant?
I started out like this: Looking at a number x in [tex][0,1[[/tex] I said to myself that:
[tex]f(x)=f(x^{2})=f(x^{4})=f(x^{16})=...\rightarrow f(0).[/tex].
As this relation holds for all x in [0,1[ (looking at [tex]x^{2^{n}} (n \rightarrow \infty[/tex]), it should be true that f(x)=f(-x)=f(0) (the minus because of symmetry, the square). I can also conclude that f(0)=f(1), for f is continuous. But how do I proceed? I would like to show that this function is constant for all x in the real numbers?
Any help will be appreciated.
Regards...Cliowa
 
Last edited:
Physics news on Phys.org
If x is a positive real, you also have [tex]f(x)=f(\sqrt{x})[/tex]. Use this for x>1.
 
shmoe said:
If x is a positive real, you also have [tex]f(x)=f(\sqrt{x})[/tex]. Use this for x>1.
Oh my gosh, I should have gotten that one on my own.
Now it seems clear. Thanks a lot, shmoe.
Best regards
Cliowa
 
If [tex]f:\mathbb{R}\rightarrow\mathbb{R}[/tex] is a continuous function such that [tex]f(x)=f(x^{2}),\forall x\in\mathbb{R}[/tex], then

i. f is an even function since [tex]f(x)=f(x^{2})\Rightarrow f(-x)=f((-x)^{2})=f(x^{2})=f(x)[/tex]

ii. [tex]f(x)=f(x^{2^{n}}),\forall n\in\mathbb{Z}[/tex] which can be proved inductively, or simply reasoned much as you have above:

for positive integer n,

[tex]f(x)=f(x^{2})=f(x^{4})=f(x^{16})=\cdots =f(x^{2^{n}})[/tex]

and for negative integer n=-k,

[tex]f(x)=f(\sqrt{x})=f(\sqrt{\sqrt{x}})=f(\sqrt{\sqrt{\sqrt{x}}})=\cdots =f(x^{2^{-k}})[/tex]
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 34 ·
2
Replies
34
Views
4K
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
Replies
32
Views
4K
  • · Replies 14 ·
Replies
14
Views
2K