Ряд Маклорена

Разложение функций в степенные ряды.
Ряд Тейлора. Ряд Маклорена. Примеры решений

Понятие суммы степенного ряда

Любой числовой ряд может или сходиться, или расходиться. Если числовой ряд  сходится, то это значит, что сумма его членов равна некоторому конечному числу: 

На уроке мы рассматривали уже не числовые, а функциональные и степенные ряды. Возьмём тот самый подопытный степенной ряд, который всем понравился: . В ходе исследования было установлено, что этот ряд сходится при . Если числовые ряды сходятся к ЧИСЛАМ, то к чему же сходятся функциональные и степенные ряды? Правильно подумали. Функциональные ряды сходятся к ФУНКЦИЯМ. В частности, суммой ряда  в его области сходимости  является некоторая функция :

Еще раз подчеркиваю, что данный факт справедлив только для найденной области , вне этого промежутка степенной ряд  будет расходиться.

Чтобы всё стало окончательно понятно, рассмотрим примеры с картинками. Я выпишу простейшее табличное разложение синуса в степенной ряд:

Область сходимости ряда: 

(По какому принципу получены сами элементарные табличные разложения, мы рассмотрим чуть позже).

Теперь вспоминаем школьный график синуса :

Вот такая симпатичная синусоида. Хмм…. Где-то я уже это видел….

Теперь фишка. Если начертить график бесконечного многочлена , то получится… та же самая синусоида! То есть, наш степенной ряд  сходится к функции . Используя признак Даламбера , легко проверить, что ряд  сходится при любом «икс»:  (собственно, поэтому в таблице разложений и появилась такая запись об области сходимости).

А что значит вообще «сходится»?  По смыслу глагола – что-то куда-то идёт. Если я возьму первые три члена ряда  и начерчу график многочлена пятой степени, то он лишь отдаленно будет напоминать синусоиду. А вот если составить многочлен из первых ста членов ряда:  и начертить его график, то он будет с синусоидой практически совпадать (на достаточно длинном промежутке). Чем больше членов ряда – тем лучше приближение. И, как уже отмечалось, график бесконечного многочлена – есть в точности синусоида. Иными словами, ряд  сходится к функции  при любом значении «икс».

Рассмотрим более печальный пример, табличное разложение арктангенса:

Область сходимости ряда: 

Печаль заключается в том факте, что график бесконечного многочлена   совпадает с графиком арктангенса  только на отрезке  (т.е. в области сходимости ряда):

Вне отрезка  разложение арктангенса в ряд  расходится, а график бесконечного многочлена пускается во все тяжкие и уходит на бесконечность.

Исходя из вышесказанного, можно сформулировать две взаимно обратные задачи:

– найти сумму ряда (функцию) по известному разложению;
– разложить функцию в ряд (если это возможно) и найти область сходимости ряда.

Что проще? Конечно же, разложение – с него и начнём.

Разложение функций в степенной ряд.
Ряд Тейлора. Ряд Маклорена

Приступим к увлекательному занятию – разложению различных функций в степенные ряды. Сначала пара формул, затем практические задания.

Если функция  в некотором интервале раскладывается в степенной ряд по степеням , то это разложение единственно и задается формулой:

Примечания: надстрочный индекс  в последнем слагаемом обозначает производную «энного» порядка. Вместо буквы «а» в литературе часто можно встретить букву .

Данная формула носит фамилию англичанина Тейлора (ударение на первый слог).

На практике процентах в 95-ти приходится иметь дело с частным случаем формулы Тейлора, когда :

Этот ряд получил известность благодаря шотландцу Маклорену (ударение на второй слог). Разложение Маклорена также называют разложением Тейлора  по степеням .

Вернемся к таблице разложений элементарных функций и выведем разложение экспоненциальной функции:

Как оно получилось? По формуле Маклорена:

Рассмотрим функцию , тогда:

Теперь начинаем находить производные в точке ноль: первую производную, вторую производную, третью производную и т.д.  Это просто, поскольку при дифференцировании экспонента превращается в саму себя:

И так далее….

Совершенно очевидно, что 

Подставляем единицы в формулу Маклорена и получаем наше табличное разложение!

Аналогично можно вывести некоторые другие табличные разложения (но далеко не все выводятся именно так).

Примеры разложения функций в ряд Маклорена

В данном параграфе мы рассмотрим типовую задачу на разложение функции в ряд Маклорена и определении области сходимости полученного ряда. Нет, мучаться с нахождением производных не придется, мы будем пользоваться таблицей.

Пример 1

Разложить функцию в ряд Маклорена. Найти область сходимости полученного ряда.

! Эквивалентная формулировка: Разложить функцию в ряд по степеням  

Решение незамысловато, главное, быть внимательным.

Конструируем наш ряд. Плясать начинают, как правило, от функции, разложение которой есть в таблице:

.

В данном случае :

Раскрываем наверху скобки:

Теперь умножаем обе части на «икс»:

В итоге искомое разложение функции в ряд:

Как определить область сходимости? Чем постоянно проводить очевидные рассуждения, проще запомнить: разложения синуса, косинуса и экспоненты сходятся при любом действительном значении  (за исключением, конечно, тех случаев, когда, например,  – см. комментарии к табличным разложениям). Домножение  на «икс» не играет никакой роли в плане сходимости, поэтому область сходимости полученного ряда: 

Пример 2

Разложить функцию в ряд по степеням . Найти область сходимости ряда.

Это пример для самостоятельного решения.

Я не стал рассматривать простейшие разложения вроде ,  или , поскольку это фактически задача в одно действие. В нужные табличные разложения вместо «альфы» необходимо подставить , ,  и немного причесать полученные ряды. Единственное предостережение – не теряйте по невнимательности степени и знаки.

А сейчас для разнообразия рассмотрим что-нибудь с минусами.

Пример 3

Разложить функцию в ряд по степеням . Найти область сходимости ряда.

В таблице находим похожее разложение:

Трюк прост – перепишем нашу функцию немного по-другому:

Таким образом,  и:

Окончательно:

Теперь нужно определить область сходимости. Согласно таблице, ряд сходится при . 
В данном случае :

Знак «минус» испаряется, кроме того, квадрат и так неотрицателен, поэтому надобность вмодуле отпадает:

Как исследовать ряд на концах найденного интервала? В данном случае… никак! Значения ,  не входят в область определения функции  и равенство  теряет смысл. А даже если их и подставить в правую часть, то получатся расходящиеся числовые ряды.

Поэтому безо всяких исследований сразу записываем область сходимости ряда:

Но так бывает далеко не всегда:

Простейшее разложение из учебника  сходится ещё в одной точке: . Здесь значение  тоже вне игры, а вот при  сумма получившегося знакочередующегося ряда  в точности равна .

Интересно отметить, что разложение в ряд такого логарифма:

 – сходится уже на обоих концах интервала:  (при подстановках ,  получается тот же самый сходящийся ряд )

Таким образом, с логарифмами нужно работать осмотрительно!

УДАЧИ!!!