Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

For which $a \in \mathbb{C} -\ \{0,1\}$ does the equation $f(z) = f(az) $ has a non constant solution $f$ with $f$ being analytical in a neighborhood of $0$.

My attempt:

First, we can see that any such solution must satisfy:

$f(z)=f(a^kz)$ for all $k \in \mathbb{N} $.

If $|a|<1$:

The series $z_{k} = a^k$ converges to 0 which is an accumulation point, and $f(z_i)=f(z_j)$ for all $i, j\in \mathbb{N} $. Thus $f$ must be constant.

If $|a|=1$:

For all $a \neq 1$ , $f$ must be constant on any circle around $0$, so again $f$ must be constant.

My quesions are:

Am I correct with my consclusions?

Also, I'm stuck in the case where $|a|>1$. Any ideas?

Thanks

share|improve this question
2  
I think you'll find the non-constant, analytic function $f(z)=z^2$ satisfies $f(z)=f(az)$ with $a=-1$. –  Gerry Myerson Jan 31 '13 at 11:13
2  
$|a|<1$ correct; $|a|=1$ wrong, eg. $f(z)=z^2$; Hint for $|a|>1: f(z) = f(az) \Leftrightarrow f(z) = f(z/a)$ –  achille hui Jan 31 '13 at 11:14

2 Answers 2

up vote 1 down vote accepted

You have treated the case $0<|a|<1$. The case $|a|>1$ reduces to the case $|a|<1$ because $f(z)=f(az)$ for all $z$ implies $f(a^{-1}z)=f(z)$ for all $z$. The case $|a|=1, a\ne1$ splits into two subcases:

  • $a^k=1$ for some $k\in\mathbb N$. Then $f(z)=z^k$ is a nonconstant function satisfying the equation
  • otherwise, the sequence $a^k$ is dense on $S^1$, which implies that $f$ is constant on $S^1$ and ultimately constant on $\mathbb C$

(Of course the exceptional cases $a=0, a=1$ directly imply $f$ constant and $f$ arbitrary, respectively).

share|improve this answer
    
could you tell me the first case $a^k=1$ Then $f=z^k$ –  El Angel Exterminador May 3 '13 at 7:04

Thank you all very much. For completeness, I will write here a sctach of the soultion:

For $|a|=1$ we can take $f(z)=z^k$ with $k = 2\pi/Arg(a) $.

For $|a|>1$, we can notice that actually $f(z)=f(a^kz)$ for all $k \in \mathbb{Z}$, so the solution is similar to the case $|a|<1$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.