17 Пределы последовательностей
Готовиться с нами - ЛЕГКО!
Ошибка.
Попробуйте повторить позже
Найти:
a)
b)
c)
d)
e)
f)
a) Мы имеем классический пример отношения многочленов. Поведение такой последовательности
определяется старшими степенями числителя и знаменателя. У числителя в нашем случае старшая
степень а у знаменателя
Значит, поскольку знаменатель стремится к бесконечности быстрее числителя, то у нас рождается
гипотеза, что Попробуем её доказать, поделив на этот старший член
:
Последний предельный переход у нас получается в силу теоремы о пределе частного (числитель
стремится очевидно к а знаменатель - к минус
Значит, вся дробь стремится к
b) Немного преобразуем наше выражение, разделив вновь всё на старшую степень среди всех степеней,
встречающихся в дроби. В данном случае делить будем на :
Итак, мы имеем произведение ограниченной последовательности на бесконечно малую
(она бесконечно мала, т.к. подпадает под Пример 4 из раздела Последовательности и
их пределы - это по сути константа, делённая на бесконечно большую последовательность
)
Таким образом, наша последовательность стремится к
т.к. является произведением
бесконечно малой на ограниченную.
c) Здесь нужно просто поделить на выражение с максимальным основанием степени, то есть
на (или на
- это тоже сработало бы). Выполним указанное преобразование и
получим:
Здесь мы воспользовались утверждением о пределе отношения и о том, что любая последовательность
вида где
стремится к
d) Воспользовавшись теоремой о пределе произведения, получим, что первый сомножитель стремится к
второй - к
(достаточно там и числитель и знаменатель поделить на
), а, значит, всё
произведение стремится к
e) Здесь надо сначала воспользоваться теоремой о пределе частного для каждого из трёх отдельных
слагаемых, а затем теоремой о пределе суммы.
Итак, первое слагаемое (это видно, если поделить и числитель и знаменатель на )
стремится к
Второе слагаемое, в свою очередь, стремится к
А третье и вовсе
бесконечно мало, так как там степень числителя на единичку меньше степени знаменателя.
Итого, предел суммы трёх дробей равен
f) Понятно, что должно расти медленнее, чем
поскольку
- это произведение
двоек, а
- это произведение
чисел, которые почти все больше двойки. Попробуем теперь превратить эту
идею в аккуратное доказательство:
Во-первых, идея наша здесь будет в том, чтобы оценить сверху нашу последовательность чем-то,
что заведомо стремится к
И вот как мы это сделаем.
Поясним переход с неравенством: мы заменили все серединные члены в дроби то есть
члены вида
на
от чего произведение, разумеется, увеличилось, потому что все эти члены,
как легко видеть, меньше
(в числителях у нас стоят одни двойки, а в знаменателях - числа от
до
).
Таким образом, мы получили, что, где
Значит, и наша последовательность
стремится к
Ошибка.
Попробуйте повторить позже
a) Пусть - последовательность, которая имеет предел,
-
последовательность, которая не имеет предела. Что можно сказать тогда о
пределе последовательности
? А о пределе последовательности
? ;
b) Пусть и
- последовательности, не имеющие предела. Что можно
сказать тогда о пределе последовательности
? А о пределе
последовательности
? ;
a) Начнём с последовательности . Обозначим её за
. То есть
. Утверждается,
что в таком случае
никогда не будет иметь предела.
А именно, будем рассуждать от противного. Пусть - имеет предел. Но тогда
. Тогда
имеет предел по предположению,
имеет предел по условию, следовательно, по теореме о
пределе суммы,
- тоже должна иметь предел. Но
по условию предела не имеет.
Получили противоречие. Следовательно, наше предположение было ошибочно, и
никак
не может иметь предела.
Далее, пусть . Тут уже не всё так однозначно.
Если предположить, что имеет предел, который не равен нулю, то тогда произведение
совершенно точно не будет иметь предела.
Действительно, если бы он существовал, то тогда существовал бы и предел последовательности по
теореме о пределе частного (здесь мы пользуемся явно тем, что знаменатель не стремится к нулю).
Однакого этого не может быть по предположению, коль скоро
Если же ничего не известно о том, к чему сходится , к нулю или нет, то ничего заранее сказать
нельзя. А именно, такое произведение может как сходиться, так и расходиться (постройте
соответствующие примеры!).
b) В данном случае сумма может как иметь, так и не иметь предел. Например, если
,
, то нетрудно понять, что их сумма
, то
есть сумма - это константная последовательность, равная всё время нулю, следовательно
.
С другой стороны, если взять ,
, то
, и она
предела не имеет, колебаясь всё время между 2 и
.
А что с произведением? То же самое. Произведение тоже может как иметь, так и не иметь
предела.
Например, если ,
, то их произведение
- не имеет предела, поскольку даже
неограничена. В то же время если
, то их произведение равно
- эта
последовательность всегда равна единице, а, значит, сходится.
a) Сумма заведомо не имеет предела, произведение почти никогда не имеет предела;
b) Cумма может как иметь предел, так и не иметь, произведение - тоже может как иметь, так и не
иметь.
Ошибка.
Попробуйте повторить позже
a) Привести пример неограниченной последовательности, у которой есть ограниченная
подпоследовательность.
b) Привести пример последовательности, у которой нет ограниченной подпоследовательности.
a) Возьмём, например, последовательность
Ясное дело, что наша последовательность - неограничена, так как по чётным своим номерам
она равна
то есть неограниченно растёт.
Однако, по нечётным номерам у нас есть ограниченная подпоследовательность
т.к. функция
- ограничена.
b) Возьмём, например, последовательность . Понятно, что у неё нет ограниченной
подпоследовательности, поскольку наша
- это просто занумерованный натуральный ряд, и любая
подпоследователньость
- это тоже какой-то бесконечный кусок натурального ряда, который ничем
не может быть ограничен.
Ошибка.
Попробуйте повторить позже
У нас было утверждение о том, что последовательность стремится к
тогда и только тогда, когда
она по модулю стремится к нулю (т.е.
).
Показать, что это верно только для стремления к т.е. найти такую последовательность
что
однако
Подойдёт, например, излюбленная нами уже последовательность Мы уже доказали, что
сама она предела не имеет. Однако
- константная последовательность, всегда, при любом
равная
То есть она, конечно, сходится к
Ошибка.
Попробуйте повторить позже
Пусть известно, что ,
. Что можно тогда сказать о пределе последовательности
Ясно, что если и
, то и
(нет никакой разницы, начали мы идти с первого
члена или со второго, всё равно если
стремилась к
то и
полученная отбрасыванием
первого члена последовательности
будет тоже стремиться к
).
Ну а теперь, поскольку мы можем применить наше предложение о пределе частного:
т.к. и числитель и знаменатель стремятся к
Таким образом, мы показали, что
Он существует и равен .
Ошибка.
Попробуйте повторить позже
Докажите, что если
и нам дано, что
то есть
пределы у них разные (ясно, что можно считать, что предел у
больше), то
обязательно найдётся такое
что при всех
будет выполнено, что
.
Всё, что здесь нужно сделать - это отделить пределы и
непересекающимися
окрестностями.
И правда, каждая из последовательностей и
попадёт, начиная с какого-то
своего номера в соответствующую окрестность своего предела (это следует из
определения предела), и, раз окрестности не пересекаются, а
по условию, то и
окрестность
будет целиком лежать правее, чем
Осталось лишь понять, каким нужно взять чтобы окрестности чисел
и
не
пересекались.
Ясно, что если за обозначить расстояние (оно положительно, т.к. числа
и
-
разные) между
и
то есть
то в качестве
сгодится, например,
число
(или
можно поделить и на что-нибудь побольше, скажем, для
уверенности взять
).
Тогда понятно, что окрестности такого радиуса точно пересекаться не будут.
Но тогда из определения того, что
следует,
что:
1. такое, что при всех
все члены
2. Аналогично, такое, что при всех
все члены
Значит, при мы получим, что при всех
выполняются оба
условия
и
А, значит, все члены оказываются в более правой окрестности, чем все члены
последовательности
начиная с этого номера
Следовательно, при всех
выполнено, что
Что и требовалось доказать.
Ошибка.
Попробуйте повторить позже
Найти предел последовательности
Мы видим, что наша последовательность представлена в виде произведения:
Рассмотрим сначала последовательность Когда мы сталкиваемся с подобными выражениями,
то есть с выражениями, содержащими корни, мы тут же должны попробовать домножить и поделить
на сопряженное, поскольку очень часто это упрощает дело.
В данном случае, нам нужно сопряженное к кубическим корням, то есть нужно вспомнить школьную
формулу разности кубов: В нашем случае
Таким
образом, нам по идее должно помочь домножение и деление на
Итак, наша тогда преобразуется к виду:
=
Таким образом, нетрудно видеть, что числитель - это константа, а знаменатель стремится к
значит,
обязана стремиться к
В свою очередь, является ограниченной последовательностью, поскольку она пробегает по
некоторым значениям ограниченной функции
умноженной на
То есть, можно сказать, что
заведомо ограничена сверху числом
а снизу
Тем самым, наша исходная последовательность
является произведением бесконечно малой на ограниченную
тем самым, она бесконечно
малая. То есть,
Ошибка.
Попробуйте повторить позже
Найти предел последовательности:
Понятно, что нашу последовательность можно представить в виде где
Нетрудно видеть, что является разностью константы
и бесконечно малой
следовательно,
Последовательность в свою очередь, стремится к
поскольку
И уже видно, что числитель стремится к
а знаменатель стремится к
Значит, по теореме о
пределе дроби, наша дробь
стремится к
Тем самым, исходная последовательность по теореме о пределе произведения стремится к
произведению пределов
и
то есть к
Значит,
Ошибка.
Попробуйте повторить позже
Найти предел последовательности:
Рассмотрим наши три слагаемых по-отдельности:
Понятно, что И, тем самым,
по теореме о пределе
отношения.
По аналогичным причинам, второе слагаемое стремится к
(достаточно там разделить на
).
А третье слагаемое
вообще стремится к
(делим на
). Тем самым, по теореме о пределе
суммы,
Ошибка.
Попробуйте повторить позже
Пусть нам дано, что последовательность сходится к
а последовательность
сходится к
Что можно сказать тогда о сходимости последовательности
Во-первых, сделаем немаловажное замечание, что на последовательность можно, начиная с
какого-то момента, законно делить. То есть,
такое, что при всех
последовательность
отделена от нуля, в данном случае она будет строго больше
Это то, что мы называли свойством
сохранения знака сходящейся последовательности.
Действительно, если сходится к
то начиная с какого-то момента она вся попадает, скажем, в
окрестность числа
то есть в интервал
И уж тем более она тогда будет больше
А теперь перейдём к самому примеру. Итак, раз то
по теореме о пределе
произведения обязана сходиться к
Абсолютно аналогично, по теореме о пределе произведения, если то
Значит, по теореме о пределе дроби,
Ошибка.
Попробуйте повторить позже
Найти предел последовательности или доказать, что конечного предела не существует:
Формально мы имеем дело с неопределённостью вида Нашим ранее излюбленным приёмом всегда
было в таких случаях делить на максимальную степень
числителя и знаменателя, т.е. в данном
случае - на
Но существует ещё один очень красивый способ, который будет играть очень важную роль и при
вычислении пределов функций, поэтому продемонстрируем его и здесь.
Способ этот состоит в том, чтобы слегка преобразовать числитель, разложив его на множители так,
чтобы один из множителей сократился со знаменателем. А именно, нетрудно понять, что
И, таким образом, наш предел преобразуется как:
Хотя и не совсем очевидно, как догадаться до такого разложения числителя (но с опытом этот навык легко прокачивается), зато такой способ решения куда короче и элегантнее.
Ошибка.
Попробуйте повторить позже
Найти и определить номер
такой, что
при всех
если:
a) (
троек в десятичной записи),
;
b) ,
;
c) ,
;
d) ,
a) Представим для удобства нашу последовательность в виде (понятно, что это одно и то
же, что и было в исходном условии). Но тогда
потому что какое бы
нам ни
дали, мы всегда можем найти такое
что при всех
будет
А именно, достаточно в последнем неравенстве просто выразить :
Значит, в нашем случае достаточно взять равный целой части, округлённой вверх, от числа
b) Поделим и числитель и знаменатель на и получим:
А теперь видно, что и
числитель и знаменатель стремятся к
Значит, по теореме о пределе дроби, имеем, что
Чтобы найти такое которое нас просят, достаточно в неравенстве
выразить
Попробуем: Значит, в качестве
возьмём округлённую вверх целую часть от
В нашем случае это будет
c) Видно, что у нас произведение бесконечно малой на ограниченную сверху и снизу единицей
Тогда по теореме о том, что произведение бесконечно малой на ограниченную - бесконечно
малая. Таким образом,
Ну а раз ограничена сверху единицей, а снизу минус единицей, то значит в качестве
мы
берём то, которое годилось и для
то есть целую часть от
округлённую вверх. В нашем случае
это будет
d) Поделим и числитель и знаменатель на и получим, что
(по теореме о
пределе отношения). А поскольку числитель наших дробей (после деления на
) меньше,
скажем,
то:
И если мы хотим вот это последнее выражение сделать меньше
любого
то достаточно опять выразить в неравенстве
нашем случае это будет
Ошибка.
Попробуйте повторить позже
Найти
Преобразуем слегка выражение:
Далее, при показать экспоненты, то есть
очевидно стремится к 0, т.к. это
произведение бесконечно малой
на константу
Значит, раз показатель экспоненты стремится к 0, то вся экспонента стремится к Тем
самым,
Ошибка.
Попробуйте повторить позже
Найти
Преобразуем слегка выражение:
Давайте теперь разделим числитель и знаменатель на :
Нетрудно видеть, что в знаменателе все члены при стремятся к
При этом числитель у нас отрицательный и стремится к
Значит, все дроби стремятся к
(поскольку мы отрицательное
число
делим на всё меньшие и меньшие числа, стремящиеся к 0.)
Итого: предела у не существует, а именно,
Нет предела.
Ошибка.
Попробуйте повторить позже
Вычислить предел
Давайте поделим всё (и числитель и знаменатель дроби) на максимальную
степень входящую и в числитель и знаменатель, в данном случае это будет
- первый член числителя. Итак, получается:
Нетрудно заметить, что числитель стремится к 1, а в знаменателе стоят
одни сплошные бесконечно малые, значит, у нас по сути случай
где
Значит,
при
. Значит, у этой
последовательности предела нет.
Нет предела.
Ошибка.
Попробуйте повторить позже
Найти
Чтобы избавить от не очень приятных корней третьей степени, давайте,
вспомнив школьную формулу разности кубов
домножим и разделим наше выражение на
Тогда будем иметь:
Далее, чтобы понять, к какому выражению стремится наша дробь,
разделим и числитель и знаменатель на максимальную степень которая
входит и в числитель и в знаменатель. В данном случае делить будем на
:
Нетрудно заметить, что в знаменателе стоит сумма трёх слагаемых, каждое из
которых стремится к то есть к 1. Значит, получаем по теореме о пределе частного,
что
Ошибка.
Попробуйте повторить позже
Верны ли следующие утверждения для последовательности
1.
2.
3.
4.
5.
6.
1. Здесь фактически записано то, что последовательность стремится к
числу 2. Но это, очевидно, неверно, поскольку
вообще неограниченно
возрастает. Никакого предела у неё, тем самым, нет. Утверждение ложно.
2. Это хотя и ослабленное относительно пункта 1 утверждение, но оно всё ещё
неверно. Никакой указанной в условии -окрестности у числа 2 не может
найтись. То есть, в условии сказано, что начиная с какого-то момента все члены
последовательности
должны в эту
-окрестность попадать. Однако,
мы для любого фиксированного
всегда можно подобрать такое
что
Это всё потому, что
как видно, неограниченно
возрастает (это сумма бесконечно малой
и неограниченно возрастающей
к
)
3. Когда у нас одни сплошные кванторы существования, то утверждение становится
очевидно верным. Возьмём
(оно явно больше, чем
). Тогда, конечно, всё будет выполнено, поскольку
и тогда
ясно, что истинно утверждение
то есть
4. Это как раз и означает, что наша последовательность условно говоря,
стремится к
Как это показать?
Ну, пускай нам дают какое-то Как найти тот момент (
), начиная с
которого (
) наша последовательность по модулю будет всегда больше
(
)? Давайте попробуем решить неравенство
относительно
:
Таким образом, начиная с ближайшего натурального которое больше, чем
наша последовательность будет заведомо больше любого наперёд
заданного
(Случаи отрицательного
тривиальны, поскольку все члены
нашей последовательности очевидно больше всех отрицательных чисел. Случай когда
тоже решается просто, наша последовательность больше таких
уже начиная со второго члена. А случай
мы только что разобрали).
Тем самым, это утверждение верно.
5. Давайте проверим непосредственно:
Тогда
неравенство из условия
эквивалентно тому, что
Давайте
проанализируем:
Далее, поскольку то знаменатель дроби
то есть выражение
заведомо
Значит, вся дробь, наоборот, меньше
То есть мы из
двойки вычитаем что-то, что меньше по модулю
Конечно, мы всегда
будем получать только положительные числа. Таким образом, мы поняли, что
то есть, иными словами,
Значит, это
утверждение истинно.
6. Это означало бы, что наша последовательность ограничена этим самым числом
Но в пункте 4 мы уже показали, что наша последовательность
неограниченно возрастает, и даже расходится к
Значит, это утверждение точно
ложно.
Ошибка.
Попробуйте повторить позже
Найти
Давайте разделим и числитель и знаменатель на член, растущий быстрее всего,
то есть на Тогда получится
Таким образом, выражение
является суммой двух дробей,
каждая из которых при
стремится к
Следовательно, по теореме
о пределе суммы,
Ошибка.
Попробуйте повторить позже
Найти
Выражение, стоящее в скобках, является суммой арифметической прогрессии с
начальным членом 1, разностью 1 и последним членом Значит, по формуле для
суммы арифметической прогрессии, которую мы доказываем по индукции,
имеем:
И, значит,
Это последнее выражение стремится к поскольку числитель является суммой
бесконечно малой
и 1, а знаменатель - это просто константа 2. И мы просто
пользуемся теоремой о пределе частного. Итого:
Ошибка.
Попробуйте повторить позже
Найти
Разделим и числитель и знаменатель на наибольшую степень В данном случае
будем делить на
Тогда имеем:
Видно, что числитель является разностью бесконечно малых и поэтому стремится к 0. Знаменатель, в свою очередь, является разностью бесконено малой и стремящейся к 1, то есть стремится к -1. Значит, по теореме о пределе частного: