Исследуйте сходимость ряда sum_{n=2}^\infty 1/(n (ln n)^p) в зависимости от параметра p; объясните применение интегрального теста и приведите полное обоснование критического значения p
Ответ: ряд ∑n=2∞1n(lnn)p\sum_{n=2}^\infty \dfrac{1}{n(\ln n)^p}∑n=2∞n(lnn)p1
сходится тогда и только тогда, когда p>1p>1p>1. Обоснование с использованием интегрального признака: 1) Рассмотрим функцию f(x)=1x(lnx)p,x≥2.
f(x)=\frac{1}{x(\ln x)^p},\qquad x\ge2. f(x)=x(lnx)p1,x≥2.
Она положительна и для достаточно больших xxx монотонно убывает. Действительно, f′(x)=−x−2(lnx)−p−1(lnx+p),
f'(x)=-x^{-2}(\ln x)^{-p-1}(\ln x+p), f′(x)=−x−2(lnx)−p−1(lnx+p),
поэтому для x>e−px>e^{-p}x>e−p имеем f′(x)<0f'(x)<0f′(x)<0 (т.е. убывает вхолостую с некоторого места), что достаточно для применения интегрального признака. 2) Применим замену t=lnxt=\ln xt=lnx (тогда dt=dx/xdt=dx/xdt=dx/x): ∫2∞dxx(lnx)p=∫ln2∞t−p dt.
\int_{2}^{\infty}\frac{dx}{x(\ln x)^p}=\int_{\ln 2}^{\infty}t^{-p}\,dt. ∫2∞x(lnx)pdx=∫ln2∞t−pdt.
- Если p=1p=1p=1, то ∫ln2∞t−1 dt=∞\int_{\ln 2}^{\infty}t^{-1}\,dt=\infty∫ln2∞t−1dt=∞ — расходится. - Если p≠1p\neq1p=1, то ∫ln2∞t−p dt=[t1−p1−p]ln2∞.
\int_{\ln 2}^{\infty}t^{-p}\,dt=\left[\frac{t^{1-p}}{1-p}\right]_{\ln 2}^{\infty}. ∫ln2∞t−pdt=[1−pt1−p]ln2∞.
При p>1p>1p>1 показатель 1−p<01-p<01−p<0, предел при t→∞t\to\inftyt→∞ равен 000, поэтому интеграл конечен и равен (ln2)1−pp−1\dfrac{(\ln 2)^{1-p}}{p-1}p−1(ln2)1−p. При p<1p<1p<1 интеграл расходится (предел стремится к ∞\infty∞). По интегральному признаку поведение интеграла и ряда совпадает, следовательно ряд сходится при p>1p>1p>1 и расходится при p≤1p\le1p≤1. Короткое альтернативное подтверждение (Коши — конденсация): для убывающей последовательности an=1n(lnn)pa_n=\dfrac{1}{n(\ln n)^p}an=n(lnn)p1∑n=2∞anи∑k=1∞2ka2k=(ln2)−p∑k=1∞1kp
\sum_{n=2}^\infty a_n\quad\text{и}\quad\sum_{k=1}^\infty 2^k a_{2^k}=(\ln 2)^{-p}\sum_{k=1}^\infty \frac{1}{k^p} n=2∑∞anиk=1∑∞2ka2k=(ln2)−pk=1∑∞kp1
одновременной сходимости; правая сумма — ряд p-сил (сходится лишь при p>1p>1p>1). Это даёт ту же критическую точку p=1p=1p=1.
∑n=2∞1n(lnn)p\sum_{n=2}^\infty \dfrac{1}{n(\ln n)^p}∑n=2∞ n(lnn)p1 сходится тогда и только тогда, когда p>1p>1p>1.
Обоснование с использованием интегрального признака:
1) Рассмотрим функцию
f(x)=1x(lnx)p,x≥2. f(x)=\frac{1}{x(\ln x)^p},\qquad x\ge2.
f(x)=x(lnx)p1 ,x≥2. Она положительна и для достаточно больших xxx монотонно убывает. Действительно,
f′(x)=−x−2(lnx)−p−1(lnx+p), f'(x)=-x^{-2}(\ln x)^{-p-1}(\ln x+p),
f′(x)=−x−2(lnx)−p−1(lnx+p), поэтому для x>e−px>e^{-p}x>e−p имеем f′(x)<0f'(x)<0f′(x)<0 (т.е. убывает вхолостую с некоторого места), что достаточно для применения интегрального признака.
2) Применим замену t=lnxt=\ln xt=lnx (тогда dt=dx/xdt=dx/xdt=dx/x):
∫2∞dxx(lnx)p=∫ln2∞t−p dt. \int_{2}^{\infty}\frac{dx}{x(\ln x)^p}=\int_{\ln 2}^{\infty}t^{-p}\,dt.
∫2∞ x(lnx)pdx =∫ln2∞ t−pdt. - Если p=1p=1p=1, то ∫ln2∞t−1 dt=∞\int_{\ln 2}^{\infty}t^{-1}\,dt=\infty∫ln2∞ t−1dt=∞ — расходится.
- Если p≠1p\neq1p=1, то
∫ln2∞t−p dt=[t1−p1−p]ln2∞. \int_{\ln 2}^{\infty}t^{-p}\,dt=\left[\frac{t^{1-p}}{1-p}\right]_{\ln 2}^{\infty}.
∫ln2∞ t−pdt=[1−pt1−p ]ln2∞ . При p>1p>1p>1 показатель 1−p<01-p<01−p<0, предел при t→∞t\to\inftyt→∞ равен 000, поэтому интеграл конечен и равен (ln2)1−pp−1\dfrac{(\ln 2)^{1-p}}{p-1}p−1(ln2)1−p . При p<1p<1p<1 интеграл расходится (предел стремится к ∞\infty∞).
По интегральному признаку поведение интеграла и ряда совпадает, следовательно ряд сходится при p>1p>1p>1 и расходится при p≤1p\le1p≤1.
Короткое альтернативное подтверждение (Коши — конденсация): для убывающей последовательности an=1n(lnn)pa_n=\dfrac{1}{n(\ln n)^p}an =n(lnn)p1 ∑n=2∞anи∑k=1∞2ka2k=(ln2)−p∑k=1∞1kp \sum_{n=2}^\infty a_n\quad\text{и}\quad\sum_{k=1}^\infty 2^k a_{2^k}=(\ln 2)^{-p}\sum_{k=1}^\infty \frac{1}{k^p}
n=2∑∞ an иk=1∑∞ 2ka2k =(ln2)−pk=1∑∞ kp1 одновременной сходимости; правая сумма — ряд p-сил (сходится лишь при p>1p>1p>1). Это даёт ту же критическую точку p=1p=1p=1.