5
$\begingroup$

Let $f(z)$ be analytic function on $D = \{z\in C : |z-1|<1\}$ such that $f(1) = 1$. If $f(z) = f(z^2)$ for all $z\in D$. Then which of the following statement is not correct.

1-$f(z) = [f(z)]^2$ for all $z\in D$

2- $f(z/2)$ = $\frac{1}{2}[f(z)]$ for all $z\in D$

3- $f(z) = [f(z)]^3$ for all $z\in D$

4- $f'(1) = 0$

I am fully stucked on this problem. I need help. Thanks

1 Answers 1

6

I claim that the hypotheses on $f$ imply that $f\equiv 1$. Indeed, note that $f(2^{-1}) = f(2^{-1/2}) = f(2^{-1/4}) = \cdots = f(2^{-1/2^n}) = \cdots.$ The sequence $2^{-1/2^n}$ converges to $1$ as $n\to \infty$, and thus $f$ takes the same value on a sequence with a limit point in $D$. It follows that $f$ must be constant. Since $f(1) = 1$ by hypothesis, $f\equiv 1$.

Since $f\equiv 1$, option (2) is wrong.

  • 0
    @srijan: Ragib's link says why $f$ is identically 1. As for my choice of sequence, I could have chosen $t^{-1/2^n}$ for any real number t>1. There is nothing special about $2$. What is important is that (a) the sequence converges to $1$, and (b), each term in the sequence is the square root of the previous. We need this condition to ensure that $f$ takes the same value at each point.2012-05-12