Какой метод предпочтительнее для доказательства сходимости числовой последовательности: метод мажорирования, метод монотонности и ограниченности или критерий Коши? Приведите критерии выбора и примеры, где один метод простее другого
Кратко — выбор зависит от структуры последовательности и от того, какие свойства легко проверить: Критерии выбора - Метод монотонности + ограниченности: подходит, если легко показать, что an+1≥ana_{n+1}\ge a_nan+1≥an (или ≤\le≤) и существует конечная граница (нижняя/верхняя). Быстро даёт существование предела, но не всегда даёт его значение. - Метод мажорирования (сравнения, squeeze): удобен, когда можно оценить ana_nan сверху/снизу известной сходящейся последовательностью или показать ∣an−bn∣→0|a_n-b_n|\to0∣an−bn∣→0. Часто прост для ослабленных/осциллирующих членов (используется неравенство ∣an∣≤cn|a_n|\le c_n∣an∣≤cn). - Критерий Коши: предпочтителен, когда трудно найти предел явно, но можно показать, что хвосты сходятся к нулю: для любого ε>0\varepsilon>0ε>0 найдётся NNN такое, что для всех m,n≥Nm,n\ge Nm,n≥N выполнено ∣an+m−an∣<ε|a_{n+m}-a_n|<\varepsilon∣an+m−an∣<ε. Особенно полезен для последовательностей, заданных суммами (частичные суммы рядов) или рекуррентно (контракции). Единственный метод, необходимый в абстрактных полных пространствах. Примеры, где один метод проще другого 1) Монотонность проще: - an=1na_n=\dfrac{1}{n}an=n1. Здесь an+1<ana_{n+1}<a_nan+1<an и an>0a_n>0an>0 ⇒ по теореме о монотонной ограниченной последовательности an→0a_n\to0an→0. - bn=nn+1b_n=\dfrac{n}{n+1}bn=n+1n. bnb_nbn возрастает и ограничена сверху 1 ⇒ bn→1b_n\to1bn→1. 2) Мажорирование (сжатие) проще: - an=sinnna_n=\dfrac{\sin n}{n}an=nsinn. Так как ∣sinn∣≤1|\sin n|\le1∣sinn∣≤1, имеем ∣an∣≤1n|a_n|\le\dfrac{1}{n}∣an∣≤n1 и 1n→0\dfrac{1}{n}\to0n1→0 ⇒ an→0a_n\to0an→0 по критерию сжатия. - Частичные суммы Sn=∑k=1n1k2S_n=\sum_{k=1}^n \dfrac{1}{k^2}Sn=∑k=1nk21. Сравнение с ppp-рядом (p=2p=2p=2) сразу даёт сходимость. 3) Критерий Коши удобнее: - Для рекуррентной последовательности при сжимающем отображении, например xn+1=f(xn)x_{n+1}=f(x_n)xn+1=f(xn) с ∣f′(x)∣≤L<1|f'(x)|\le L<1∣f′(x)∣≤L<1 на интервале: доказать, что ∣xn+m−xn∣≤LnC|x_{n+m}-x_n|\le L^n C∣xn+m−xn∣≤LnC и потому последовательность Коши ⇒ сходится (обычно монотонность не выполняется). - Частичные суммы ряда: часто доказывают, что хвост ряда ∑k=n+1n+mak\sum_{k=n+1}^{n+m} a_k∑k=n+1n+mak можно сделать малым независимо от mmm — это именно критерий Коши для последовательности частичных сумм. Когда метод может не подойти - Монотонность+ограниченность неприменима к сильно осциллирующим последовательностям. - Мажорирование бесполезно, если нет простого сравнительного ряда. - Коши технически громоздок, если проще показать монотонность или найти явную верхнюю границу. Вывод в одну строку: сначала попытайтесь показать монотонность и ограниченность (самое простое, если выполняется); если нет — используйте сравнение/сжатие; если и это затруднительно — применяйте критерий Коши (особенно для рекурсий и частичных сумм).
Критерии выбора
- Метод монотонности + ограниченности: подходит, если легко показать, что an+1≥ana_{n+1}\ge a_nan+1 ≥an (или ≤\le≤) и существует конечная граница (нижняя/верхняя). Быстро даёт существование предела, но не всегда даёт его значение.
- Метод мажорирования (сравнения, squeeze): удобен, когда можно оценить ana_nan сверху/снизу известной сходящейся последовательностью или показать ∣an−bn∣→0|a_n-b_n|\to0∣an −bn ∣→0. Часто прост для ослабленных/осциллирующих членов (используется неравенство ∣an∣≤cn|a_n|\le c_n∣an ∣≤cn ).
- Критерий Коши: предпочтителен, когда трудно найти предел явно, но можно показать, что хвосты сходятся к нулю: для любого ε>0\varepsilon>0ε>0 найдётся NNN такое, что для всех m,n≥Nm,n\ge Nm,n≥N выполнено ∣an+m−an∣<ε|a_{n+m}-a_n|<\varepsilon∣an+m −an ∣<ε. Особенно полезен для последовательностей, заданных суммами (частичные суммы рядов) или рекуррентно (контракции). Единственный метод, необходимый в абстрактных полных пространствах.
Примеры, где один метод проще другого
1) Монотонность проще:
- an=1na_n=\dfrac{1}{n}an =n1 . Здесь an+1<ana_{n+1}<a_nan+1 <an и an>0a_n>0an >0 ⇒ по теореме о монотонной ограниченной последовательности an→0a_n\to0an →0.
- bn=nn+1b_n=\dfrac{n}{n+1}bn =n+1n . bnb_nbn возрастает и ограничена сверху 1 ⇒ bn→1b_n\to1bn →1.
2) Мажорирование (сжатие) проще:
- an=sinnna_n=\dfrac{\sin n}{n}an =nsinn . Так как ∣sinn∣≤1|\sin n|\le1∣sinn∣≤1, имеем ∣an∣≤1n|a_n|\le\dfrac{1}{n}∣an ∣≤n1 и 1n→0\dfrac{1}{n}\to0n1 →0 ⇒ an→0a_n\to0an →0 по критерию сжатия.
- Частичные суммы Sn=∑k=1n1k2S_n=\sum_{k=1}^n \dfrac{1}{k^2}Sn =∑k=1n k21 . Сравнение с ppp-рядом (p=2p=2p=2) сразу даёт сходимость.
3) Критерий Коши удобнее:
- Для рекуррентной последовательности при сжимающем отображении, например xn+1=f(xn)x_{n+1}=f(x_n)xn+1 =f(xn ) с ∣f′(x)∣≤L<1|f'(x)|\le L<1∣f′(x)∣≤L<1 на интервале: доказать, что ∣xn+m−xn∣≤LnC|x_{n+m}-x_n|\le L^n C∣xn+m −xn ∣≤LnC и потому последовательность Коши ⇒ сходится (обычно монотонность не выполняется).
- Частичные суммы ряда: часто доказывают, что хвост ряда ∑k=n+1n+mak\sum_{k=n+1}^{n+m} a_k∑k=n+1n+m ak можно сделать малым независимо от mmm — это именно критерий Коши для последовательности частичных сумм.
Когда метод может не подойти
- Монотонность+ограниченность неприменима к сильно осциллирующим последовательностям.
- Мажорирование бесполезно, если нет простого сравнительного ряда.
- Коши технически громоздок, если проще показать монотонность или найти явную верхнюю границу.
Вывод в одну строку: сначала попытайтесь показать монотонность и ограниченность (самое простое, если выполняется); если нет — используйте сравнение/сжатие; если и это затруднительно — применяйте критерий Коши (особенно для рекурсий и частичных сумм).