5. Разложение некоторых элементарных функций в ряды Тейлора и Маклорена
Приведем примеры на разложение в степенные ряды некоторых элементарных функций.
1. Разложение в степенной ряд функции . Находим производные: . При имеем:
Напишем ряд Маклорена для функции воспользовавшись формулой (82):
Определим область сходимости этого ряда, применяя признак Даламбера:
Следовательно, для любого , т. е. ряд (91) сходится абсолютно на всей числовой оси.
Для того чтобы установить, что этот ряд имеет своей суммой функцию , покажем, что для любого стремится к нулю при . Напишем остаточный член ряда Маклорена.
Так как то по формуле имеет вид
где с заключено между 0 и Функция монотонно возрастает, поэтому так как Таким образом,
Мы только что видели, что ряд с общим членом сходится на всей числовой оси. Поэтому в силу необходимого признака сходимости при любом Но тогда и также стремится к нулю при Следовательно, на основании неравенства Для любого значения и сумма ряда (91) совпадает с функцией е.
Итак, на всей числовой оси имеет место разложение
2. Разложение в степенной ряд функции . Находим производные:
§ 2, п. 1, формула
При имеем:
Принимая во внимание формулу (82), получим для функции следующий ряд Маклорена:
Как легко проверить, полученный ряд сходится на всей числовой оси. Исследуем его остаточный член где с содержится между 0 и . Так как , то Принимая во внимание, что (см. предыдущий пример), заключаем, что
Поэтому для функции на всей числовой прямой имеет место разложение
3. Разложение в степенной ряд функции Разложение функции можно было бы получить приемом, аналогичным тому, с помощью которого было получено разложение в ряд функции . Однако проще получить разложение функции , если почленно продифференцировать разложение :
Следовательно,
Это разложение справедливо на всей числовой оси.
4. Биномиальный ряд. Разложим по степеням функцию где — любое действительное число, отличное от нуля.
Дифференцируя, имеем:
При
Подставляя в формулу (82), получим ряд Маклорена для функции
Этот ряд называется биномиальным. Найдем его интервал сходимости. Применяя признак Даламбера, получим
Мы видим, что ряд сходится при т. е. в интервале — Можно показать, что и в данном случае остаточный член для при стремится к нулю. Однако в связи со сложностью этого доказательства мы его опускаем.
Итак, в интервале имеет место разложение
При если только не является натуральным числом, ряд расходится. На границах интервала сходимости ряд будет сходиться или расходиться в зависимости от конкретных значений . Если — натуральное число, то начиная с все коэффициенты обращаются в нуль, и получаем многочлен, называемый биномом Ньютона (см. в сноске на стр. 184 формулу бинома Ньютона, в которой следует положить
Приведем несколько примеров биномиальных рядов для различных значений
а) . Здесь Применяя формулу (96), получим
или, после упрощений,
Это разложение имеет место во всяком случае для Более подробные исследования показывают, что оно справедливо и при и при (см. сноску.)
б) . Здесь . По формуле (96) получим разложение
справедливое для . Можно показать, что разложение (98) справедливо и для (см. сноску.)
в) . Здесь Применяя формулу (96), получим после упрощений
5. Разложение в степенной ряд функции При функция не определена, поэтому ее нельзя разложить по степеням т. е. в ряд Маклорена. Разложим функцию например, по степеням
Находим производные:
При получим
Применяя формулу (81), получим ряд Тейлора для функции
или, после сокращений,
Применяя признак Даламбера и исследуя ряд на концах, найдем, что он сходится для всех значений удовлетворяющих неравенствам . Можно показать, что для всех значений принадлежащих области сходимости, . Поэтому для имеет место следующее разложение:
Разложение функций в степенной ряд по формулам (81) и (82) часто связано с громоздкими вычислениями при нахождении производных и исследовании остаточного члена. Покажем некоторые приемы, позволяющие при разложении функции в степенной ряд, избежать этих трудностей. С одним из таких приемов, основанным на возможности почленного дифференцирования степенного ряда в интервале его сходимости, мы познакомились при разложении функции .
Применение формулы суммы геометрической прогрессии. Рассмотрим функцию Легко видеть, что эта функция является суммой геометрической прогрессии с первым членом, равным единице, и со знаменателем Поэтому
Это разложение имеет место для Заметим, что функцию можно записать в виде и, следовательно, ряд (99) является биномиальным и его можно было бы получить по формуле (96) при
Разложим подынтегральную функцию по формуле (99) в степенной ряд
который сходится для всех значений t из интервала Так как в интервале сходимости степенной ряд можно почленно интегрировать, то для имеем
Таким образом, если то
Можно показать, что это равенство справедливо и для Пример 5. Разложить по степеням функцию .
Решение. Рассмотрим тождество
Разложим подынтегральную функцию в степенной ряд, воспользовавшись формулой (102):
Этот ряд сходится для всех значений t, удовлетворяющих неравенствам — Следовательно,
Это разложение справедливо для всех значений из интервала . Однако можно показать, что оно остается в силе и на концах интервала.
Итак, для всех принадлежащих сегменту , имеет место равенство