Разложение решения уравнения в степенной ряд
Этот прием является особенно удобным в применении к линейным дифференциальным уравнениям. Проиллюстрируем его применение на примере уравнения второго порядка. Пусть дано дифференциальное уравнение второго порядка
Предположим, что коэффициенты и представляются в виде рядов, расположенных по целым положительным степеням , так что уравнение (1) можно переписать в виде
Решение этого уравнения будем искать также в виде степенного ряда
Подставляя это выражение и его производных в (2), получаем
Перемножая степенные ряды, собирая подобные члены и приравнивая нулю коэффициенты при всех степенях в левой части (4), получаем ряд уравнений:
Каждое последующее из уравнений (5) содержит одним искомым коэффициентом больше, чем предыдущее. Коэффициенты и остаются произвольными и играют роль произвольных постоянных. Первое из уравнений (5) дает , второе дает , третье — , и т.д. Вообще из (к + 1)-го уравнения можно определить , зная .
Практически удобно поступать следующим образом. Определим по описанной выше схеме два решения и , причем для выберем и , а для выберем и , что равносильно следующим начальными условиям:
Всякое решение уравнения (1) будет линейной комбинацией решений и .
Если начальные условия имеют вид , то очевидно,
Имеет место следующая теорема.
Теорема. Если ряды и сходятся при , то построенный указанным выше способом степенной ряд (3) будет также сходящимся при этих значениях и явится решением уравнения (1).
В частности, если и — многочлены от , то ряд (3) будет сходиться при любом значении .
Пример 1. Найти решения уравнения в виде степенного ряда.
Решение. Ищем в виде ряда , тогда
Подставляя и в (6), получаем
Приводя в (7) подобные члены и приравнивая нулю коэффициенты при всех степенях , получаем соотношения, из которых найдем коэффициенты
Положим для определенности, что . Тогда легко находим, что
52. Решение дифференциальных уравнений с помощью сТепенных рядов
С помощью степенных рядов возможно интегрировать дифференциальные уравнения.
Рассмотрим линейное дифференциальное уравнение вида:
Если все коэффициенты и правая часть этого уравнения разлагаются в сходящиеся в некотором интервале степенные ряды, то существует решение этого уравнения в некоторой малой окрестности нулевой точки, удовлетворяющее начальным условиям.
Это решение можно представить степенным рядом:
Для нахождения решения остается определить неизвестные постоянные Ci.
Эта задача решается Методом сравнения неопределенных коэффициентов. Записанное выражение для искомой функции подставляем в исходное дифференциальное уравнение, выполняя при этом все необходимые действия со степенными рядами (дифференцирование, сложение, вычитание, умножение и пр.)
Затем приравниваем коэффициенты при одинаковых степенях Х в левой и правой частях уравнения. В результате с учетом начальных условий получим систему уравнений, из которой последовательно определяем коэффициенты Ci.
Отметим, что этот метод применим и к нелинейным дифференциальным уравнениям.
Пример. Найти решение уравнения C начальными условиями Y(0)=1, Y’(0)=0.
Решение уравнения будем искать в виде
Подставляем полученные выражения в исходное уравнение:
Отсюда получаем:
Получаем, подставив начальные условия в выражения для искомой функции и ее первой производной:
Окончательно получим:
Итого:
Существует и другой метод решения дифференциальных уравнений с помощью рядов. Он носит название Метод последовательного дифференцирования.
Рассмотрим тот же пример. Решение дифференциального уравнения будем искать в виде разложения неизвестной функции в ряд Маклорена.
Если заданные начальные условия Y(0)=1, Y’(0)=0 подставить в исходное дифференциальное уравнение, получим, что
Далее запишем дифференциальное уравнение в виде и будем последовательно дифференцировать его по Х.
После подстановки полученных значений получаем:
Решение пределов, используя ряд Тейлора
Метод решения
Одним из самых мощных методов раскрытия неопределенностей и вычисления пределов является разложение функций в степенной ряд Тейлора. Применение этого метода состоит из следующих шагов.
1) Приводим неопределенность к виду 0/0 при переменной x , стремящейся к нулю. Для этого, если требуется, выполняем преобразования и делаем замену переменной.
2) Раскладываем числитель и знаменатель в ряд Тейлора в окрестности точки x = 0 . При этом выполняем разложение до такой степени x n , которая необходима для устранения неопределенности. Остальные члены включаем в o ( x n ) .
Этот метод применим, если после выполнения пункта 1), функции в числителе и знаменателе можно разложить в степенной ряд.
Выполнять разложение сложных функций и произведения функций удобно по следующей схеме. А) Задаемся показателем степени n , до которого мы будем проводить разложение.
Б) Применяем приведенные ниже формулы разложения функций в ряд Тейлора, сохраняя в них члены до включительно, и отбрасывая члены с при , или заменяя их на .
В) В сложных функциях делаем замены переменных так, чтобы аргумент каждой ее части стремился к нулю при . Например,
.
Здесь при . Тогда можно использовать разложение функции в окрестности точки .
Примечание. Разложение функции в ряд Тейлора, в окрестности точки , называется рядом Маклорена. Поэтому для применяемых в наших целях рядов уместны оба названия.
Применяемые свойства о малого
Определение и доказательство свойств о малого приводится на странице: «О большое и о малое. Сравнение функций». Здесь мы приводим свойства, используемые при решении пределов разложением в ряд Маклорена (то есть при ).
Далее m и n – натуральные числа, .
;
;
, если ;
;
;
;
, где ;
, где c ≠ 0 – постоянная;
.
Для доказательства этих свойств нужно выразить о малое через бесконечно малую функцию:
, где .
Разложение элементарных функций в ряд Тейлора (Маклорена)
Далее приводятся разложения элементарных функций в степенной ряд при . Как мы упоминали ранее, ряд Тейлора в окрестности точки называется рядом Маклорена.
Примеры
Все примеры Далее мы приводим подробные решения следующих пределов с помощью ряда Тейлора.
⇓, ⇓, ⇓, ⇓, ⇓.
Пример 1
Все примеры ⇑ Вычислить предел последовательности, используя разложение в ряд Тейлора.
.
Это неопределенность вида бесконечность минус бесконечность. Приводим ее к неопределенности вида 0/0 . Для этого выполняем преобразования.
.
Здесь мы учли, что номер элемента последовательности n может принимать только положительные значения. Поэтому . Делаем замену переменной . При . Будем искать предел считая, что x – действительное число. Если предел существует, то он существует и для любой последовательности , сходящейся к нулю. В том числе и для последовательности .
.
Раскладываем функцию в числителе в ряд Тейлора. Применяем формулу:
.
Оставляем только линейный член.
.
.
Здесь мы учли, что поскольку существует двусторонний предел , то существуют равные ему односторонние пределы. Поэтому .
Пример 2
Все примеры ⇑ Показать, что значение второго замечательного предела можно получить, используя разложение в ряд Тейлора.
Делаем замену переменной . Тогда . При . Подставляем.
.
Для вычисления предела можно считать, что значения переменной t принадлежат любой, наперед выбранной, проколотой окрестности точки . Мы полагаем, что . Используем то, что экспонента и натуральный логарифм являются обратными функциями по отношению друг к другу. Тогда
.
Вычисляем предел в показателе, используя следующее разложение в ряд Тейлора:
.
.
Поскольку экспонента является непрерывной функцией для всех значений аргумента, то по теореме о пределе непрерывной функции от функции имеем:
.
Пример 3
Все примеры ⇑ Вычислить предел, используя разложение в ряд Тейлора.
.
Это неопределенность вида 0/0 . Используем следующие разложения функций в окрестности точки :
;
;
.
Раскладываем с точностью до квадратичных членов:
;
.
Делим числитель и знаменатель на и находим предел:
.
Пример 4
Все примеры ⇑ Решить предел с помощью ряда Тейлора.
.
Легко видеть, что это неопределенность вида 0/0 . Раскрываем ее, применяя разложения функций в ряд Тейлора. Используем приведенное выше разложение для гиперболического синуса ⇑:
(П4.1) .
В разложении экспоненты, заменим x на –x :
(П4.2) .
Далее, – сложная функция. Сделаем замену переменной . При . Поэтому мы можем используем разложение натурального логарифма в окрестности точки . Используем приведенное выше разложение, в котором переименуем переменную x в t :
(П4.3) .
Заметим, что если бы у нас была функция , то при . Поэтому подставить в предыдущее разложение нельзя, поскольку оно применимо в окрестности точки . В этом случае нам потребовалось бы выполнить следующее преобразование:
.
Тогда при и мы могли бы применить разложение (П4.3).
Попробуем решить предел, выполняя разложение до первой степени переменной x : . То есть оставляем только постоянные члены, не зависящие от x : , и линейные . Остальные будем отбрасывать. Точнее переносить в .
;
;
.
Поскольку , то в разложении логарифма мы отбрасываем члены, начиная со степени 2. Применяя, приведенные выше свойства о малого имеем:
.
Подставляем в предел:
.
Мы снова получили неопределенность вида 0/0 . Значит разложения до степени не достаточно.
Если мы выполним разложение до степени , то опять получим неопределенность:
.
Выполним разложение до степени . То есть будем оставлять только постоянные члены и члены с множителями . Остальные включаем в .
;
;
;
.
Далее замечаем, что . Поэтому в разложении логарифма нужно отбросить члены, начиная со степени , включив их в . Используем разложение (П4.3), заменив t на :
.
Подставляем в исходную функцию.
.
Находим предел.
.
Пример 5
Все примеры ⇑ Найти предел с помощью ряда Тейлора.
.
Будем проводить разложение числителя и знаменателя в ряд Маклорена до четвертой степени включительно.
Теперь переходим к числителю. При . Поэтому сделать подстановку и применить разложение для нельзя, поскольку это разложение применимо при , а у нас . Заметим, что . Поэтому выполним преобразование.
.
Теперь можно сделать подстановку , поскольку при .
Разложим функцию и ее степени в ряд Тейлора в окрестности точки . Применяем приведенное выше разложение ⇑.
;
;
;
;
;
;
Далее заметим, что . Поэтому, чтобы получить разложение сложной функции с точностью до , нам нужно разложить с точностью до .
Разложим второй логарифм. Приводим его к виду , где при .
,
где .
Разложим z в ряд Тейлора в окрестности точки с точностью до .
Применим разложение синуса ⇑:
.
Заменим x на :
. Тогда
;
;
Заметим, что . Поэтому, чтобы получить разложение сложной функции с точностью до , нам нужно разложить с точностью до .
Раскладываем с точностью до и учитываем, что .
;
.
Подставляем разложение числителя и знаменателя и находим предел.
;
.
Использованная литература:
Л.Д. Кудрявцев, А.Д. Кутасов, В.И. Чехлов, М.И. Шабунин. Сборник задач по математическому анализу. Том 1. Москва, 2003.
Автор: Олег Одинцов . Опубликовано: 29-04-2019
http://matica.org.ua/metodichki-i-knigi-po-matematike/kurs-vysshei-matematiki-3/52-reshenie-differentcialnykh-uravnenii-s-pomoshchiu-stepennykh-riadov
http://1cov-edu.ru/mat-analiz/reshenie-predelov/ryad-tejlora/