Помощь - Поиск - Пользователи - Календарь
Полная версия: Исследовать сходимость ряда > Ряды
Образовательный студенческий форум > Высшая математика > Ряды
Yurij
Здравствуйте!
Помогите пожалуйста хотябы с началом хода решения. Пробывал по-разному подходить но постоянно в тупик попадаю...
Изображение
Нужно определить сходится ли ряд и если да, то абсолютно ли.
Заранее огромное спасибо!!!
tig81
Начнте с проверки необходимого признака сходимости.
Тролль
Этот ряд сходится, так как общий член ряда ведет себя как O(1/n^2), а ряд 1/n^2 сходится.
Yurij
Цитата(tig81 @ 28.1.2009, 20:31) *

Начнте с проверки необходимого признака сходимости.

Да, проверял. Необходимое выполняется...
Yurij
Спасибо огромное! Если Вас не затруднит, поясните пожалуйста вот этот момент хотябы в 2-ух словах:
Цитата(Тролль @ 28.1.2009, 21:05) *

...общий член ряда ведет себя как O(1/n^2)...

Интересует как это можно доказать...
Inspektor
Цитата(Тролль)
Этот ряд сходится, так как общий член ряда ведет себя как O(1/n^2), а ряд 1/n^2 сходится.

Во-первых, О-больше- это оценка сверху, к тому же грубая(иначе пишут o-малое), а во вторых тут с первым же членом загвоздка, т.к. там деление на нуль получается.
Тролль
Цитата(Inspektor @ 29.1.2009, 0:43) *

Во-первых, О-больше- это оценка сверху, к тому же грубая(иначе пишут o-малое), а во вторых тут с первым же членом загвоздка, т.к. там деление на нуль получается.


Да? У нас О определялось по другому, не через оценку сверху, а через предел отношения функции и выражения, стоящего в скобках у О.
Здесь наверное суммирование просто с 1 ведется, вот и всё.
Inspektor
О(а) обозначает число, абсолютная величина которого не превосходит константу, умноженную на |a|. Т.е. мы можем написать, что 1+2+3+..+n=O(n^10) и это будет верно.
Но почему его можно сравнить с 1/n^2 я не понимаю, по-моему первый ряд всё-таки больше. Хотя я тоже получил, что он сходится, только как знакопеременный.
Тролль
Ну хорошо, пусть будет такое определение.
Если рассмотреть ряд |a_n|, то общий член ведет себя как
3 * sin 45/(2 * n^2)
Inspektor
Цитата(Тролль @ 29.1.2009, 13:55) *

Ну хорошо, пусть будет такое определение.
Если рассмотреть ряд |a_n|, то общий член ведет себя как
3 * sin 45/(2 * n^2)

Почему вы так решили? Если вы сразу модули проверяете, то можно выкинуть первый синус.
Тролль
Что именно решил? Тут можно применить признак сравнения, вот я его и применил. А первый синус особой роли не играет, можно отбрасывать, можно и не отбрасывать.
Inspektor
Кажется понял, вы предельный признак использовали, а не первый признак сравнения.
Тролль
Ну да. Можно и через первый признак тоже сделать.
Yurij
Спасибо всем огромное!
Основное понял. Хочу только уточнить имею ли я право по такому алгоритму исследовать сходимость в данном случае:
- ряд знакопеременный
- рассматриваем ряд из модулей слагаемых
- 1-ый множитель (синус) всегда равен (корень из 2)/2
- 3-ий множитель sin(1/n) заменяем на эквивалентную бесконечно малую величину 1/n
- получаем ряд из (3n+1)/(2n^3+5n)
- полученный ряд монотонно убывающий, значит исследуем его находя его придел
- придел равен нулю, значит ряд абсолютно сходится
- ряд абсолютно сходящийся значит он собственно и сходящийся

Это справедливо?
Inspektor
Цитата
- полученный ряд монотонно убывающий, значит исследуем его находя его придел

Если под пределом ряда понимается предел общего члена при n->бесконечность, то этого недостаточно.
Yurij
Цитата(Inspektor @ 30.1.2009, 17:23) *

Если под пределом ряда понимается предел общего члена при n->бесконечность, то этого недостаточно.

Под пределом понимал при n стремящимся к бесконечности:
lim sin(45) * (3n+1)/(2n^2+5) * sin(1/n), т.е. lim sin(45) * (3n+1)/(2n^2+5) * (1/n)
Inspektor
Цитата(Yurij @ 30.1.2009, 17:51) *

Под пределом понимал при n стремящимся к бесконечности:
lim sin(45) * (3n+1)/(2n^2+5) * sin(1/n), т.е. lim sin(45) * (3n+1)/(2n^2+5) * (1/n)

я так и понял, это необходимый признак, но не достаточный.
Yurij
Цитата(Inspektor @ 30.1.2009, 17:59) *

я так и понял, это необходимый признак, но не достаточный.

sad.gif У меня просто почему-то было записано, что для знакопеременных рядов монотонно убывающих (возрастающих) по абсолютной величине этого достаточно... Наверно что-то напутал...

Тогда вопрос по признаку сравнения... Выше советовалось сравнить с
Цитата
3 * sin 45/(2 * n^2)
Но если я не ошибаюсь этот ряд меньше исходного... Или я не прав?
Inspektor
Цитата(Yurij @ 30.1.2009, 18:59) *

sad.gif У меня просто почему-то было записано, что для знакопеременныхзнакочередующихся рядов монотонно убывающих (возрастающих) по абсолютной величине этого достаточно... Наверно что-то напутал...

Вот так верно.
Цитата(Yurij @ 30.1.2009, 18:59) *

Тогда вопрос по признаку сравнения... Выше советовалось сравнить с Но если я не ошибаюсь этот ряд меньше исходного... Или я не прав?

Не прав, если сравнивать с х^(-2), то нужно использовать предельный признак сравнения.
Yurij
Цитата(Inspektor @ 30.1.2009, 20:51) *

Вот так верно.

Спасибо за поправку! Понял...

Проверьте пожалуйста такой ход действий:
- ряд знакопеременный
- рассматриваем ряд из модулей слагаемых
- 1-ый множитель (синус) всегда равен (корень из 2)/2
- 3-ий множитель sin(1/n) заменяем на эквивалентную бесконечно малую величину 1/n
- получаем ряд из (3n+1)/(2n^3+5n)
- иссследуем полученный ряд по предельной теореме сравнения (делим на 1/(n^2) и находим предел)
- придел равен 3/2, 1/(n^2) - сходится, а значит ряд (3n+1)/(2n^3+5n) сходится
- ряд из модулей сходящийся, значит исходный ряд сходится абсолютно
- исходный ряд абсолютно сходящийся значит он собственно и сходящийся

Так можно? Просто смущает, что у меня сумма от нуля, а в предельном признаке от единицы...
Inspektor
Цитата(Yurij @ 31.1.2009, 0:38) *

Спасибо за поправку! Понял...

Проверьте пожалуйста такой ход действий:
- ряд знакопеременный
- рассматриваем ряд из модулей слагаемых
- 1-ый множитель (синус) всегда равен (корень из 2)/2
- 3-ий множитель sin(1/n) заменяем на эквивалентную бесконечно малую величину 1/n
- получаем ряд из (3n+1)/(2n^3+5n)
- иссследуем полученный ряд по предельной теореме сравнения (делим на 1/(n^2) и находим предел)
- придел равен 3/2, 1/(n^2) - сходится, а значит ряд (3n+1)/(2n^3+5n) сходится
- ряд из модулей сходящийся, значит исходный ряд сходится абсолютно
- исходный ряд абсолютно сходящийся значит он собственно и сходящийся

Так можно? Просто смущает, что у меня сумма от нуля, а в предельном признаке от единицы...

Всё верно, от нуля сумма идти не может, посчитайте чему будет равен нулевой член.
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.
Русская версия Invision Power Board © 2001-2024 Invision Power Services, Inc.