3
$\begingroup$

Let $f:\mathbb{C}\to \mathbb{C}$ a holomorphic function so that $|f(\cos z)|\leq A |z|^n$ for all $z$ with $|z|>1$ and positive numbers $A$ and $n$. Show that $f$ is constant.

I want to apply Liouville's theorem on $f$. So we have to show that $f$ is bounded. But from that inequality how we can say that $f$ is bounded ?

$\endgroup$

closed as off-topic by Did, Daniel W. Farlow, colormegone, Michael Albanese, Leucippus Aug 2 '16 at 2:51

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Did, Daniel W. Farlow, colormegone, Michael Albanese, Leucippus
If this question can be reworded to fit the rules in the help center, please edit the question.

  • 1
    $\begingroup$ Hint: Try invoking Liouville's Theorem... $\endgroup$ – LordVader007 Jul 27 '16 at 23:05
4
$\begingroup$

An entire function that grows like a polynomial is a polynomial. Let's take this as known. From the given inequality we then see $f(\cos z)$ is a polynomial; let's call it $P(z).$ It follows that $P(2\pi n) = f(\cos (2\pi n)) = f(1)$ for all $n\in \mathbb N.$ Because $P$ is a polynomial, we have $P\equiv f(1).$ So $f(\cos z) = f(1)$ everywhere, which implies $f\equiv f(1)$ as desired.

$\endgroup$
3
$\begingroup$

$$g(z) = \dfrac{f(\cos(z)) - f(1)}{z^n}$$ is analytic on $\mathbb C \backslash \{0\}$, bounded at $\infty$, and has at most a pole of order $n-1$ at $0$. Therefore its Laurent series can contain only terms in $z^j$, $1-n \le j \le 0$, which says $z^n g(z)$ is a polynomial. But this polynomial is $0$ at $2\pi n$, so...

$\endgroup$

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