Let $x>1$ and $0<\varphi<\frac{\pi}{2}$ be fixed. I would like to show that for any $s>0$, the following inequality holds: $$ \left H_{\frac{is}{e^{i\varphi } \cos \varphi}}^{\left( 1 \right)} \left( {\frac{is}{e^{i\varphi } \cos \varphi }x} \right) \right \le \left H_{is}^{\left( 1 \right)} \left( isx \right) \right = iH_{is}^{\left( 1 \right)} \left( isx \right), $$ where $H_\nu^{(1)}(z)$ is the Hankel function. It would be enough to show that for any fixed $v>0$, $x>1$, $$ [0,+\infty) \ni u \mapsto \left {H_{u + iv}^{\left( 1 \right)} \left( {\left( {u + iv} \right)x} \right)} \right $$ is a decreasing function. From Debye's asymptotic formula, we have $$ \mathop {\lim }\limits_{s \to + \infty } \left \frac{H_{\frac{is}{e^{i\varphi } \cos \varphi }}^{\left( 1 \right)} \left( {\frac{is}{e^{i\varphi } \cos \varphi}x} \right)}{H_{is}^{\left( 1 \right)} \left( isx \right)} \right = \sqrt {\cos \varphi } < 1. $$ So for large $s$ the inequality is valid. However, I could not find any suitable representation of the (absolute value of the) Hankel function to show the inequality for every $s>0$.
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
