Suppose that $f(z)$ is analytic for $\Re(z)>0$ and it is positive on the real axis. Suppose that for some $y_0$ we have $$ \left| {f\left( {x + iy} \right)} \right| \le f\left( x \right) $$ for any $x>0$ and $y>y_0$. Does it follow that this inequality holds for any $y\geq 0$? This question is related to my earlier question https://mathoverflow.net/questions/138596/inequality-for-complex-hankel-function.


The answer is no. For example, consider $f(z)=1/(z^2+1)$. Then for every $y \geq \sqrt{2}$, we have $$ |f(x+iy)|\leq f(x) $$ for all $x>0$. Indeed, if you write everything out, you get that this inequality is equivalent to $$ (x^2+1)^2 \leq (x^2-y^2+1)^2 + 4x^2y^2, $$ which after simplification is seen to be equivalent to $$ 0 \leq y^2(y^2 -2 + 2x^2), $$ which is true for all $x$ provided that $y \geq \sqrt 2$.

However, the inequality fails for $y=1$. Indeed, $|f(x+i)|\to \infty$ as $x \to 0$, whereas $f(x)\to1$.

  • $\begingroup$ +1, this is very nice! $\endgroup$ Aug 8 '13 at 17:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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