看完不会?让 AI 一步步解给你看
Calculus · real student question

证明无穷乘积 ∏(1 + x/n²)(n 从 1 到 ∞)对每个 x > 0 都收敛,并求当 x → ∞ 时该乘积的对数除以 √x 的极限。

Question

证明 ∏n=1∞(1+xn2)\prod_{n=1}^{\infty}\left(1+\frac{x}{n^2}\right) 对每个 x>0x>0 都收敛,并求 lim⁡x→+∞ln⁡(∏n=1∞(1+xn2))x.\lim_{x\to+\infty}\frac{\ln\left(\prod_{n=1}^{\infty}\left(1+\frac{x}{n^2}\right)\right)}{\sqrt{x}}.

Step-by-step solution

  1. 先把乘积化成级数。 所有因子都大于 11,所以这个乘积收敛当且仅当 ln⁡P(x)=∑n=1∞ln⁡ ⁣(1+xn2)\ln P(x)=\sum_{n=1}^{\infty}\ln\!\left(1+\frac{x}{n^2}\right) 收敛。乘积很难直接估界;取对数之后,比较判别法就能用上了。

  2. 与 pp 级数作比较。 对 u≥0u\ge 0 有初等不等式 ln⁡(1+u)≤u\ln(1+u)\le u,于是 0≤ln⁡ ⁣(1+xn2)≤xn2.0\le\ln\!\left(1+\frac{x}{n^2}\right)\le\frac{x}{n^2}. 由于 ∑1/n2=π2/6\sum 1/n^2=\pi^2/6 收敛,比较判别法迫使 ln⁡P(x)\ln P(x) 对每一个固定的 x>0x>0 都收敛,从而原乘积收敛。

  3. 认出它的闭式表达。 欧拉关于双曲正弦的乘积公式 sinh⁡(πz)πz=∏n=1∞(1+z2n2),\frac{\sinh(\pi z)}{\pi z}=\prod_{n=1}^{\infty}\left(1+\frac{z^2}{n^2}\right), 取 z=xz=\sqrt{x} 即可套用,于是 P(x)=sinh⁡(πx)πx.P(x)=\frac{\sinh(\pi\sqrt{x})}{\pi\sqrt{x}}. 在 x=2x=2 处两边都等于 9.566759.56675,在 x=9x=9 处两边都等于 657.397657.397。

  4. 取对数,把增长的主项分离出来。 利用 sinh⁡w=12(ew−e−w)\sinh w=\tfrac12(e^{w}-e^{-w}), ln⁡P(x)=πx−ln⁡2−ln⁡ ⁣(πx)+ln⁡ ⁣(1−e−2πx).\ln P(x)=\pi\sqrt{x}-\ln 2-\ln\!\left(\pi\sqrt{x}\right)+\ln\!\left(1-e^{-2\pi\sqrt{x}}\right). 主项是 πx\pi\sqrt{x},其余各项都是 O(ln⁡x)O(\ln x) 量级。

  5. 除以 x\sqrt{x} 再取极限。 ln⁡P(x)x=π−ln⁡2+ln⁡(πx)x+o(1)⟶π.\frac{\ln P(x)}{\sqrt{x}}=\pi-\frac{\ln 2+\ln(\pi\sqrt{x})}{\sqrt{x}}+o(1)\longrightarrow\pi. 换个角度看,这个和正是步长为 1/x1/\sqrt{x} 的黎曼和,对应 ∫0∞ln⁡(1+t−2) dt=π\int_0^{\infty}\ln(1+t^{-2})\,dt=\pi。在 x=106x=10^{6} 处直接求和得到 3.132853.13285,正如 ln⁡x/x\ln x/\sqrt{x} 这个修正项所预示的,它向 π\pi 收敛得很慢。

Answer

对一切 x>0 该乘积都收敛,且 lim⁡x→+∞ln⁡P(x)x=π\text{对一切 }x>0\text{ 该乘积都收敛,且 }\lim_{x\to+\infty}\frac{\ln P(x)}{\sqrt{x}}=\pi

Need to solve a different problem like this? Open the solver →