Determining the Function with Identities

  • Context: MHB 
  • Thread starter Thread starter evinda
  • Start date Start date
  • Tags Tags
    Function identities
Click For Summary
SUMMARY

The discussion centers on proving that a function \( f(x) \) satisfying specific identities is constant, denoted as \( f(x) = c \). The identities include \( f(0) = f\left(\frac{2}{3}\right) \) and an integral equation involving \( f(t) \) and its transformations. Participants confirm the validity of the proof steps, with a suggestion to include \( dt \) in the integrals. An alternative solution is provided, demonstrating that \( f(x) \) can take on different values unless continuity is assumed, which leads to the conclusion that \( f(x) \) must be constant.

PREREQUISITES
  • Understanding of integral calculus and properties of functions.
  • Familiarity with continuity in mathematical functions.
  • Knowledge of proof techniques, including proof by contradiction.
  • Basic understanding of sequences and limits in real analysis.
NEXT STEPS
  • Study the properties of continuous functions and their implications on constancy.
  • Learn about proof techniques in real analysis, particularly proof by contradiction.
  • Explore the concept of functional equations and their solutions.
  • Investigate the role of integrals in defining properties of functions.
USEFUL FOR

Mathematicians, students of real analysis, and anyone interested in functional equations and proofs of constancy in functions.

evinda
Gold Member
MHB
Messages
3,741
Reaction score
0
Hi guys!I have a question..How can I show that the function that has the following identities:

\bullet f(x)\neq 0 ,x\in\mathbb{R}.
\bullet f(0)=f\left(\dfrac{2}{3}\right).
\int_{0}^{x}\frac{f(t)f(x-t)}{f(\frac{2+t}{3})f(\frac{2+x-t}{3})}=\int_{0}^{x}\frac{f^2{(t)}}{f^2{(\frac{2+t}{3}})}
is f(x)=c..??
That's what I did:

=>\int_{0}^{x}\frac{f(t)f(x-t)}{f(\frac{2+t}{3})f(\frac{2+x-t}{3})}=\int_{0}^{x}\frac{f^2{(t)}}{f^2{(\frac{2+t}{3}})}

\frac{f(x)f(0)}{f(\frac{2+x}{3})f(\frac{2}{3})}=\frac{f^2{(x)}}{f^2(\frac{2+x}{3})} .

Because f(0)=f(\frac{2}{3})

\frac{f(x)}{f(\frac{2+x}{3})}=\frac{f^{2}(x)}{f^2(\frac{2+x}{3}){}}

=> f^2{(\frac{2+x}{3})}f(x)=f^2{(x)}f{(\frac{2+x}{3})}

=>f{(\frac{2+x}{3})}=f(x) , f(x) \neq 0

=>f(x)=c

Is this right? :confused:
 
Physics news on Phys.org
evinda said:
Hi guys!I have a question..How can I show that the function that has the following identities:

\bullet f(x)\neq 0 ,x\in\mathbb{R}.
\bullet f(0)=f\left(\dfrac{2}{3}\right).
\int_{0}^{x}\frac{f(t)f(x-t)}{f(\frac{2+t}{3})f(\frac{2+x-t}{3})}=\int_{0}^{x}\frac{f^2{(t)}}{f^2{(\frac{2+t}{3}})}
is f(x)=c..??
That's what I did:

=>\int_{0}^{x}\frac{f(t)f(x-t)}{f(\frac{2+t}{3})f(\frac{2+x-t}{3})}=\int_{0}^{x}\frac{f^2{(t)}}{f^2{(\frac{2+t}{3}})}

\frac{f(x)f(0)}{f(\frac{2+x}{3})f(\frac{2}{3})}=\frac{f^2{(x)}}{f^2(\frac{2+x}{3})} .

Because f(0)=f(\frac{2}{3})

\frac{f(x)}{f(\frac{2+x}{3})}=\frac{f^{2}(x)}{f^2(\frac{2+x}{3}){}}

=> f^2{(\frac{2+x}{3})}f(x)=f^2{(x)}f{(\frac{2+x}{3})}

=>f{(\frac{2+x}{3})}=f(x) , f(x) \neq 0

=>f(x)=c

Is this right? :confused:

Hi evinda!

It all looks good except for the last step.
(Oh, and you may want to add $dt$ to both integrals. ;))

For instance, since you did not specify that f is continuous, another solution would be:
$$f(x)=\begin{cases}
1 & \text{ if } \exists k \in \mathbb Z \text{ such that } x=1-3^k \\
2 & \text{ otherwise}
\end{cases}$$

With the additional condition that f is continuous, it does follow that $f(x)=C$.
This can be proven by picking a point with a different value and consider what that means for the limit where $x \to 1$ (proof by contradiction).
 
Last edited:
Nice!Thank you veery much! :p
 
Hi,
I can't quite figure out the hint. But here's a direct proof:
Let a and b be any reals with -1<a<1 and f a continuous function with f(ax+b)=f(x) for all x. Then f is a constant function.
Proof.
Let x be any real. Define the sequence xn inductively by x0 = x and for for n>0, xn=axn-1+b. Then an easy induction shows xn=anx+b(an-1)/(a-1). By hypothesis, f(x)=f(xn) for all n. So f(x)=limit as n approaches infinity f(xn)=f(-b/(a-1)); i.e. f is constant.
 
Great..Thank you! :o
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
888
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 16 ·
Replies
16
Views
4K
  • · Replies 3 ·
Replies
3
Views
3K