Исследуйте сходимость ряда 1 - 1/2 + 1/3 - 1/4 + ... : объясните, является ли он абсолютно или условно сходящимся, какие тесты уместны, и как перестановка членов влияет на сумму
Ряд: 1−12+13−14+⋯=∑n=1∞(−1) n−11n.\displaystyle 1-\tfrac12+\tfrac13-\tfrac14+\cdots=\sum_{n=1}^\infty(-1)^{\,n-1}\frac{1}{n}.1−21+31−41+⋯=n=1∑∞(−1)n−1n1. 1) Сходится (условно). - По признаку Лейбница: положительные члены an=1na_n=\tfrac{1}{n}an=n1 монотонно убывают и стремятся к нулю, то есть an↘0a_n\searrow0an↘0. Тогда ряд ∑(−1)n−1an\sum(-1)^{n-1}a_n∑(−1)n−1an сходится. 2) Не является абсолютно сходящим. - Абсолютный ряд равен гармоническому: ∑n=1∞∣(−1)n−1n∣=∑n=1∞1n\sum_{n=1}^\infty\left|\frac{(-1)^{n-1}}{n}\right|=\sum_{n=1}^\infty\frac{1}{n}∑n=1∞n(−1)n−1=∑n=1∞n1, который расходится (например, по интегральному признаку: ∫1∞dxx=∞\int_1^\infty\frac{dx}{x}=\infty∫1∞xdx=∞). Следовательно, исходный ряд условно сходящ. 3) Сумма ряда. - По ряду Меркатора (ряд Тейлора для ln(1+x)\ln(1+x)ln(1+x)): ln(1+x)=∑n=1∞(−1)n−1xnn\ln(1+x)=\sum_{n=1}^\infty(-1)^{n-1}\frac{x^n}{n}ln(1+x)=∑n=1∞(−1)n−1nxn для ∣x∣<1|x|<1∣x∣<1, и при x=1x=1x=1 ряд сходится условно к ln2\ln2ln2. Значит ∑n=1∞(−1)n−11n=ln2.\sum_{n=1}^\infty(-1)^{n-1}\frac{1}{n}=\ln2.∑n=1∞(−1)n−1n1=ln2. 4) Влияние перестановки членов. - Поскольку ряд условно сходящий, перестановки могут изменить сумму. По теореме Римана о перестановках: для любого заданного числа S∈RS\in\mathbb{R}S∈R существует перестановка членов условно сходящегося ряда, дающая сумму SSS; можно также получить расходимость (в ту или иную сторону). - Противоположно, абсолютно сходящиеся ряды сохраняют сумму при любой перестановке. Краткое итоговое утверждение: ряд ∑n=1∞(−1)n−11n\sum_{n=1}^\infty(-1)^{n-1}\frac{1}{n}∑n=1∞(−1)n−1n1 условно сходится к ln2\ln2ln2; он не абсолютно сходящ; перестановки членов могут менять сумму (теорема Римана).
1) Сходится (условно).
- По признаку Лейбница: положительные члены an=1na_n=\tfrac{1}{n}an =n1 монотонно убывают и стремятся к нулю, то есть an↘0a_n\searrow0an ↘0. Тогда ряд ∑(−1)n−1an\sum(-1)^{n-1}a_n∑(−1)n−1an сходится.
2) Не является абсолютно сходящим.
- Абсолютный ряд равен гармоническому: ∑n=1∞∣(−1)n−1n∣=∑n=1∞1n\sum_{n=1}^\infty\left|\frac{(-1)^{n-1}}{n}\right|=\sum_{n=1}^\infty\frac{1}{n}∑n=1∞ n(−1)n−1 =∑n=1∞ n1 , который расходится (например, по интегральному признаку: ∫1∞dxx=∞\int_1^\infty\frac{dx}{x}=\infty∫1∞ xdx =∞). Следовательно, исходный ряд условно сходящ.
3) Сумма ряда.
- По ряду Меркатора (ряд Тейлора для ln(1+x)\ln(1+x)ln(1+x)): ln(1+x)=∑n=1∞(−1)n−1xnn\ln(1+x)=\sum_{n=1}^\infty(-1)^{n-1}\frac{x^n}{n}ln(1+x)=∑n=1∞ (−1)n−1nxn для ∣x∣<1|x|<1∣x∣<1, и при x=1x=1x=1 ряд сходится условно к ln2\ln2ln2. Значит ∑n=1∞(−1)n−11n=ln2.\sum_{n=1}^\infty(-1)^{n-1}\frac{1}{n}=\ln2.∑n=1∞ (−1)n−1n1 =ln2.
4) Влияние перестановки членов.
- Поскольку ряд условно сходящий, перестановки могут изменить сумму. По теореме Римана о перестановках: для любого заданного числа S∈RS\in\mathbb{R}S∈R существует перестановка членов условно сходящегося ряда, дающая сумму SSS; можно также получить расходимость (в ту или иную сторону).
- Противоположно, абсолютно сходящиеся ряды сохраняют сумму при любой перестановке.
Краткое итоговое утверждение: ряд ∑n=1∞(−1)n−11n\sum_{n=1}^\infty(-1)^{n-1}\frac{1}{n}∑n=1∞ (−1)n−1n1 условно сходится к ln2\ln2ln2; он не абсолютно сходящ; перестановки членов могут менять сумму (теорема Римана).