5
$\begingroup$

Let $ f $ a complex entire function such that:

$$ |f(z)| \leq \sqrt{2|z|} + \frac{1}{\sqrt{2|z|}} \quad \forall z \neq 0 $$

Prove that $ f$ is constant.

Thank's in advance!

2 Answers 2

7

Let $g(z)=\frac{f(z)-f(0)}{z}$. Then $g(z)$ is entire and for all $z$ with $|z| \geq 1$ you have

$$ \left| g(z) \right| \leq \left|\frac{f(z)}{z} \right| + \left|\frac{f(0)}{z} \right| \leq \left|\frac{\sqrt{2|z|} + \frac{1}{\sqrt{2|z|}}}{z} \right| + \left|f(0) \right| $$

Now from here it is easily to prove that $g$ is bounded (note that by continuity $g$ is bounded on $|z| \leq 1$), thus, since entire is constant.

This proves that $f(z)=az+b $ for some $a,b$. Plug this in your equation and see that $a =0$.

  • 0
    Nice solution N.S ! Thank you very much! ( You are too fast!)2012-07-05
  • 0
    I have one small question. $g$ is not defined in $ z=0$ so why is entire? Isn't in holomorphic in $ \mathbb C - \{0\} $ ?2012-07-05
  • 0
    You can give the value $f'(0)$ at $0$, and check that it's indeed a holomorphic function.2012-07-05
  • 0
    Or alternately, you can use the Taylor series of $f$ at $z=0$ to show that $g$ has a Taylor series at $z=0$....2012-07-05
  • 0
    O.K. Thank you!2012-07-05
6

Since $f(z)$ is entire, from Cauchy integral formula, we have $$f^{(n)}(0) = \dfrac{n!}{2 \pi i}\oint_{C_r} \dfrac{f(z)}{z^{n+1}} dz$$ Now argue out why $f^{(n)}(0) = 0$ for $n > 0$ by letting $r \to \infty$ and looking at what happens to the integral.

  • 0
    Where do you use the relation in hypothesis?2012-07-05
  • 0
    @passenger $$\left \vert f^{(n)}(0)\right \vert \leq \dfrac{n!}{2 \pi i} \oint_{C_r} \dfrac{\sqrt{2} \vert \sqrt{z} \vert + \dfrac1{\sqrt{2} \vert \sqrt{z} \vert}}{\vert z \vert^{n+1}}$$ and let $r \to \infty$ for $n \in \mathbb{Z}^+$2012-07-05
  • 0
    O.K Now is clear! Thank you very much for your time!2012-07-05