复分析中双曲余弦模的上界不等式证明求助

我来给你几个实用的思路，应该能帮你突破这个卡壳的地方～

先把问题再明确下，方便后续讨论：

设 (0<\alpha<1/2)，证明存在常数 (c>0)，使得在水平带形区域 (|\Im(z)|<\alpha) 中，有：
$$\frac{1}{|\cosh(\pi z)|}<\frac{c}{1+\Re(z)^2}$$

你之前用指数定义没走通，大概率是没细化到分情况估计，也没用到复双曲函数模长的一个关键计算技巧，我一步步给你拆解：

首先，记 (z = x + iy)，其中 (x = \Re(z))，(y = \Im(z))，根据条件 (|y| < \alpha < \frac{1}{2})。先回忆双曲余弦的指数表达式：
$$\cosh(\pi z) = \frac{e^{\pi z} + e^{-\pi z}}{2}$$

我们可以分两种情况讨论，分别处理实部绝对值较大和较小的场景：

情况1：(|x| \geq 1) #

这时候实部的绝对值足够大，两个指数项 (e^{\pi z}) 和 (e^{-\pi z}) 会有明显的主导项。用三角不等式的反向形式 (|a + b| \geq ||a| - |b||)，可以得到：
$$|\cosh(\pi z)| = \frac{1}{2}|e^{\pi(x+iy)} + e^{-\pi(x+iy)}| \geq \frac{1}{2}\left|e^{\pi x} - e^{-\pi x}\right|$$
当 (x \geq 1) 时，(e^{\pi x} \gg e^{-\pi x})，所以上式可以简化为：
$$|\cosh(\pi z)| \geq \frac{1}{2}e^{\pi x}(1 - e^{-2\pi})$$
注意到指数函数 (e^{\pi |x|}) 的衰减速度远快于多项式 (1+x^2) 的衰减速度（当 (|x| \to \infty) 时，(e^{-\pi |x|}) 比 (1/(1+x^2)) 小得多），所以必然存在常数 (c_1 > 0)，使得：
$$\frac{1}{|\cosh(\pi z)|} \leq \frac{c_1}{1+x^2}$$
对所有 (|x| \geq 1) 成立。

情况2：(|x| < 1) #

这时候实部在(-1,1)范围内，我们可以用复双曲余弦模长平方的一个关键恒等式：
$$|\cosh(\pi(x+iy))|^2 = \cosh^2(\pi x) - \sin^2(\pi y)$$
这个恒等式是通过展开 (\cosh(\pi(x+iy)) = \cosh(\pi x)\cos(\pi y) + i\sinh(\pi x)\sin(\pi y)) 后计算模长平方得到的，你可以自己验证下，这个公式在这类估计里特别好用。

现在代入条件 (|y| < \alpha < 1/2)，可得 (|\sin(\pi y)| < \sin(\pi \alpha) < 1)；同时 (x \in (-1,1))，所以 (\cosh(\pi x) \geq \cosh(0) = 1)。把这些代入恒等式：
$$|\cosh(\pi z)|^2 \geq 1 - \sin^2(\pi \alpha) = \cos^2(\pi \alpha) > 0$$
这说明在 (|x| < 1) 时，(|\cosh(\pi z)|) 有一个正的下界 (\cos(\pi \alpha))，因此：
$$\frac{1}{|\cosh(\pi z)|} \leq \frac{1}{\cos(\pi \alpha)}$$
而此时 (1+x^2 > 1)，所以只要取 (c_2 = \frac{1}{\cos(\pi \alpha)})，就有：
$$\frac{1}{|\cosh(\pi z)|} \leq \frac{c_2}{1+x^2}$$

合并两种情况 #

最后，取 (c = \max{c_1, c_2})，这个常数 (c>0) 就满足在整个带形区域 (|\Im(z)| < \alpha) 中，原不等式成立。

你可以按照这个思路一步步推导，应该就能顺利完成证明了～

备注：内容来源于stack exchange，提问作者August Bowden