Encuentra todas las funciones enteras que satisfacen: $$|f(z)| \le C^{Im(z)}$$ para un $C$ positivo
Mi solución:
Dije que si $f(z)$ es entera, entonces $e^{-if}$ también es entera, y además: $h(z)=\frac{f}{e^{-if}}$ es entera. ($|e^{-if}|>0$) entonces: $$|h(z)|=\frac{|f|}{|e^{-if}|}=\frac{|f|}{e^{Im(z)}}
así que de acuerdo a Liouville h(z) está acotada y es entera. entonces es constante. si tomamos la derivada de $h(z)$:
$$h'(z)=\frac{f'e^{-if}+ie^{-if}f}{(e^{-if})^2}=0$$
y de aquí obtenemos que $f'(z)=0$ y $f(z)=0$.
¿Algunos comentarios?
3 votos
Tienes $|\exp(-if(z))|=\exp(Im(f(z))$, no $\exp(Im(z))$
3 votos
Pista: Pon $m=\log(C)$, $h(z)=\exp(-imz)$ y muestra que $|f(z)|\leq |h(z)|$ para todo $z$.
0 votos
@Kelenner gracias. Probé lo que escribiste. El resto supongo que es como lo hice al final, ¿verdad? $\frac{f(z)}{h(z)}$ es entera y acotada por 1.
0 votos
Correacto, ahora puedes aplicar el Teorema de Liouville.