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
    Dear sir one option must be wrong.2012-05-12
  • 0
    @srijan: Are you sure you wrote down (1)-(4) correctly?2012-05-12
  • 0
    Oh i am extremely sorry sir. You were right . I edited option 2.2012-05-12
  • 0
    @srijan: No problem, edited my answer to reflect that.2012-05-12
  • 0
    How can you say that $f$ is identically one? Can you please explain. I would be really thankful to you.2012-05-12
  • 0
    How you have chosen that particular sequence converging to 1?2012-05-12
  • 0
    @srijan See [this](http://en.wikipedia.org/wiki/Identity_theorem).2012-05-12
  • 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