7

Let $f : \left[-1,1\right] \to \mathbb R$ be a continuous function. Assume that $$f(2x^2-1)= 2xf(x)$$ for all $x \in \left[-1,1\right]$. Prove that $f(x)=0$ for all $x\in[-1, 1]$.

It is simple for integer numbers. Another fact that I've noticed that $$f(2(-x)^2-1)= (-2x)f(-x)= 2xf(x)$$ $$ x\bigg(f(x)+f(-x)\bigg) =0 $$ Hence, $f(x)$ is odd function for all $x \ne 0$. Help me with the next step, please.

user26857
  • 52,094
Desh
  • 807
  • If we can get $f(x)=0$ for a dense set of numbers, then $f(x)=0$ for all $-1\leq x\leq1$. – Element118 Nov 21 '15 at 07:37
  • And as $f$ is odd,enough to show $f(x)=0$ on $[0,1]$. – Nizar Nov 21 '15 at 07:38
  • 1
    Note that for $x=\frac12$ we get $f\left(\frac{1}{2}\right)=0$ and by considering the sequence $x_{n+1}=\sqrt{\frac{x_n+1}{2}}$ with $x_1=\frac12$ and then considering $y_n=\sqrt{\frac{1-x_n}{2}}$, we get $f(0)=0$ – Redundant Aunt Nov 21 '15 at 08:46

2 Answers2

5

Put $x=\cos(u)$, we get $f(\cos(2u))=2\cos(u)f(\cos(u))$, and by induction $$f(\cos(2^nu))=2^n\prod_{k=0}^{n-1}\cos(2^ku)f(\cos(u)).$$ We multiply by $\sin(u)$, we use $2\sin(u)\cos(u)=\sin(2u)$, and we get that $\sin(u)f(\cos(2^nu))=\sin(2^nu)f(\cos(u))$.

Now let $k$ be an integer, and choose $\displaystyle u=\frac{2k+1}{2^n}\cdot\frac{\pi}{2}$. Then as $f(0)=0$, we get $\displaystyle f(\frac{2k+1}{2^n}\cdot\frac{\pi}{2})=0$. Now if $A=\{\frac{2k+1}{2^n}, k\geq 0, n\geq 0\}$, we know that $A\cap [0,2]$ is dense in $[0,2]$. Hence by continuity we get that $f(\cos(x\frac{\pi}{2}))=0$ for $x\in [0,2]$, and we are done.

user26857
  • 52,094
Kelenner
  • 18,734
  • 26
  • 36
3

Let $g : \Bbb{R} \to \Bbb{R}$ be defined by $g(\theta) = f(\cos\theta)$. Then it suffices to prove that $g \equiv 0$ on $[0, \pi]$.

From the functional equation for $f$, we find that

$$g(2\theta) = 2\cos(\theta)g(\theta) \tag{1}.$$

Now we consider the set $\mathcal{D}$ defined by

$$ \mathcal{D} = \bigg\{ \frac{2\pi k}{2^n + 1} : \text{$n \geq 1$ and $k = 1, \cdots, 2^{n-1}$ are integers} \bigg\}. $$

Notice that $\mathcal{D}$ is dense in $[0, \pi]$. Now for each $\theta = 2\pi k/(2^n + 1) \in \mathcal{D}$, we have $\sin \theta \neq 0$ and

$$ g(2^n\theta) = 2^n \cos(2^{n-1}\theta) \cdots \cos(\theta) g(\theta) = \frac{\sin(2^n \theta)}{\sin(\theta)}g(\theta). \tag{2} $$

Since $2^n \theta = 2\pi k - \theta$, we have $\cos(2^n\theta) = \cos(\theta)$ and $\sin(2^n\theta) = -\sin(\theta)$. Plugging this to $\text{(2)}$ shows that $g(\theta) = 0$ for $\theta \in \mathcal{D}$. Then by the density of $\mathcal{D}$ and the continuity of $g$, we have $g\equiv 0$ as desired.

Sangchul Lee
  • 167,468