|
|
Статьи Соросовского Образовательного журнала в текстовом формате
Приводятся основные свойства степенных рядов. На конкретных примерах раскрывается суть метода степенных рядов применительно к решению задач разных типов.
СТЕПЕННЫЕ РЯДЫИ ИХ ПРИЛОЖЕНИЯ
В. В. СИЛЬВЕСТРОВ
Чувашский государственный университет им. И.Н. Ульянова
Степенные ряды благодаря их простоте и замечательным свойствам нашли применение практически во всех разделах математики, физики и других наук. Рассматриваемые как предел многочленов при стремлении их степеней к бесконечности, они обладают почти всеми свойствами многочленов с той разницей, что для многих рядов эти свойства выполняются не для всех значений аргумента, а лишь для некоторого ограниченного множества значений.
В статье приводятся основные свойства степенных рядов и на конкретных примерах раскрываются возможности и особенности использования степенных рядов для решения тех или иных задач.
СТЕПЕННОЙ РЯД И ЕГО СВОЙСТВА
Степенным рядом называется выражение вида
рассматриваемое как предел последовательности многочленов
где a0 , a1 , _ - постоянные числа, называемые коэффициентами ряда. Числа a0 , a1 , _, x0 и переменная x могут быть как действительными, так и комплексными. Заменой x - x0 = y ряд (1) приводится к ряду чисто по степеням y, поэтому без ограничения общности можно считать x0 = 0, что и будем предполагать в дальнейшем. Кроме того, будем рассматривать только действительные ряды, то есть когда коэффициенты и переменная суть действительные числа, хотя все приводимые ниже свойства справедливы и для комплексных рядов.
Если для некоторого значения переменной x числовая последовательность Pn(x), n = 1, 2, _, имеет конечный предел, то значение этого предела называется суммой ряда (1), сам ряд называется сходящимся в точке x, а множество X = {x} всех таких x называется областью сходимости ряда. Пусть
Тогда пишут
Для каждого степенного ряда (3) найдется такое число 0 # R # + ?, что в интервале (- R, R ) ряд сходится; на лучах (- ?, - R ), (R, + ?) ряд расходится (то есть последовательность (2) не имеет конечного предела); в точках x = R, x = - R ряд либо сходится, либо расходится, либо в одной точке сходится, а в другой расходится. При этом в случае R = 0 надо считать (-R, R ) = {0}, а в случае R = + ? считать (- ?, - R) = , (R, + ?) = . Таким образом, область сходимости ряда (3) есть интервал (- R, R ) с присоединенными концами или нет в зависимости от случая. Число R называется радиусом сходимости степенного ряда, а интервал (- R, R ) - интервалом сходимости. Имеются разные формулы, позволяющие находить R через коэффициенты ряда.
Степенные ряды складываются, вычитаются, умножаются, в том числе возводятся в квадрат, куб и другие степени так же, как многочлены, путем приведения подобных членов. При этом, как и многочлены, два степенных ряда совпадают тогда и только тогда, когда совпадают их коэффициенты при одинаковых степенях переменной. Деление степенных рядов друг на друга также можно выполнять уголком, как деление многочленов. Однако удобнее найти частное
методом неопределенных коэффициентов: умножая ряд в знаменателе на ряд в правой части равенства и приравнивая коэффициенты при одинаковых степенях x у полученного ряда и ряда в числителе. В результате получится бесконечное множество уравнений
b0c0 = a0 ,
b0c1 + b1c0 = a1 ,
........................................................
b0cn + b1cn - 1 + _ + bn - 1c1 + bnc0 = an ,
......................................................
откуда при b0 ? 0 неизвестные коэффициенты c0 , c1 , _ находятся последовательно друг за другом. Заметим, что частное двух многочленов является, вообще говоря, уже не многочленом, а рядом. Например,
При решении некоторых задач в один степенной ряд вместо переменной приходится ставить другой степенной ряд. В результате после возведения внутренних рядов в степени и объединения подобных членов получится новый степенной ряд, коэффициенты которого выражаются через коэффициенты исходных рядов.
В области сходимости сумма S(x) степенного ряда (3) является непрерывной функцией и, более того, имеет производные всех порядков, которые можно найти почленным дифференцированием, то есть
и т.д. Также интеграл от S(x) в области сходимости ряда можно найти почленным интегрированием:
Все описанные выше операции над степенными рядами имеют место в некоторой окрестности точки x = 0, размеры которой зависят от коэффициентов исходных рядов. Например, равенство (4) имеет место при | x | < 2.
Рассмотрим комплексный степенной ряд
(Ak = ak + ibk - комплексные числа) на окружности | z | = 1. Точки этой окружности имеют вид z = cos j + + i sin j, 0 # j # 2p. Тогда zk = cos kj + i sin kj, и ряд имеет вид
0 # j # 2p.
Следовательно, действительная и мнимая части комплексного степенного ряда на окружности представляют собой тригонометрические ряды Фурье, с которыми читатель уже познакомился по статье [1]. Данное свойство широко используется для решения с помощью степенных рядов (комплексных) многих задач математической физики, например задач распространения тепла в круге, обтекания кругового цилиндра жидкостью, равновесия упругого кругового цилиндра, изгиба круглой пластинки и др.
ВЫЧИСЛЕНИЯ С ПОМОЩЬЮ
СТЕПЕННЫХ РЯДОВ
Применение степенных рядов для решения различных задач основано на возможности представления многих функций, в частности всех элементарных функций, в виде сумм степенных рядов, называемых рядами Тейлора. Простейшим примером ряда Тейлора служит разложение функции 1/(1 - x) при | x | < 1 в бесконечно убывающий геометрический ряд:
Ряд в правой части равенства (4) также представляет собой ряд Тейлора соответствующей функции. Для многих функций их разложения в ряд Тейлора можно найти в учебниках и справочниках по математике. С помощью этих разложений можно с любой точностью вычислить значения различных функций, интегралов, чисел e, p и др., найти пределы и т.д. Именно на них основаны все вычисления с элементарными и специальными функциями, производимые компьютерами.
В качестве примера, используя разложение
вычислим значение ex при x = 1, то есть число
Невыписанные члены ряда в сумме не превосходят суммы бесконечно убывающей геометрической прогрессии с первым членом и со знаменателем , то есть значения
Используя разложение
вычислим интегральный синус:
В частности, при x = p отсюда находим
Аналогично путем разложения подынтегральной функции в степенной ряд и его почленного интегрирования находятся и другие интегралы.
РЕШЕНИЕ УРАВНЕНИЙ С ПОМОЩЬЮ СТЕПЕННЫХ РЯДОВ
Многие уравнения и системы уравнений с двумя и более переменными, некоторые из которых надо найти через остальные, можно решать с помощью степенных рядов. Для этого заданные функции, через которые записано уравнение, надо разложить в степенные ряды и искать неизвестные в виде рядов. После этого для нахождения неизвестных коэффициентов рядов будут получены новые уравнения, решения которых во многих случаях находятся без особых затруднений. Полученные таким образом решения исходного уравнения вполне пригодны как для вычислений, так и для других операций.
Продемонстрируем описанный метод на примере уравнения Кеплера
y = a + x sin y,
играющего важную роль в астрономии. Здесь y - эксцентрическая аномалия планеты, a - ее средняя аномалия, x - эксцентриситет орбиты планеты. Считая y неизвестной функцией от x, будем искать ее в виде
y = c0 + c1x + c2x2 + _
Разложив sin y по формуле (5) в ряд Тейлора по степеням y и подставив вместо y ряд (6), после возведения этого ряда в степени и приведения подобных членов получим
Из этого равенства, приравняв коэффициенты при одинаковых степенях x слева и справа, найдем последовательно неизвестные
и саму функцию
Доказано, что это разложение верно при | x | < < 0,6627_
Если уравнение Кеплера записать в виде y = x + + b sin y и снова считать y неизвестной функцией от x, то при b ?1, выполнив аналогичные действия, получим
Рекомендуем читателю проделать соответствующие действия.
РЕШЕНИЕ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ С ПОМОЩЬЮ СТЕПЕННЫХ РЯДОВ
Особенно часто и эффективно степенные ряды используются для точного и приближенного решения дифференциальных уравнений, обыкновенных и с частными производными. Не вдаваясь в сложные теоретические обоснования, рассмотрим дифференциальное уравнение Бесселя
x2y" + xy' + (x2 - n2)y = 0,
где n - постоянная (необязательно целая), x - независимая переменная, а y = y(x) - искомая функция. Решения этого уравнения, называемые функциями Бесселя, нашли применение практически во всех областях современного естествознания.
Будем искать y в виде обобщенного степенного ряда
где p, ak - неизвестные постоянные, причем a0 ? 0. Дифференцируя этот ряд дважды под знаком суммы, подставим выражения функции y и ее производных y', y" в уравнение (7). Затем сделаем приведение подобных членов, и коэффициенты полученного ряда приравняем нулю. После этого получим бесконечную систему уравнений
a0(p2 - n2) = 0,
a1[(p + 1)2 - n2] = 0,
ak[(p + k)2 - n2] + ak - 2 = 0, k = 2, 3, 4, _,
откуда находим
p = ? n, a1 = a3 = a5 = _ = 0,
В случае нецелого n функции y1(x) и y2(x), соответствующие значениям p = n и p = - n, являются линейно-независимыми и любое другое решение дифференциального уравнения (7) имеет вид y = c1y1(x) + + c2y2(x), где c1 , c2 - постоянные. В случае целого n эти функции отличаются друг от друга только постоянным множителем, поэтому определяют лишь одно из двух линейно-независимых решений дифференциального уравнения.
Предлагаем читателю найти методом степенных рядов решения дифференциальных уравнений
1) y" = xy,
2) xy" + (3 + x2)y' + 30y = 6x4 + 58x3 - 8x + 30,
удовлетворяющие условиям y(0) = 1, y'(0) = 0.
(Ответы:
1)
2) y = 1 - x2 + 2x3.)
Приведенные в статье примеры отражают лишь малую часть всевозможных типов задач, решения которых выгодно и удобно находить методом степенных рядов. Множество таких задач практически неисчерпаемо.
ЛИТЕРАТУРА
1. Вишик М.И. Тригонометрические ряды // Соросовский Образовательный Журнал. 1997. ╧ 1. C. 122-127.
2. Воробьев Н.Н. Теория рядов. М.: Наука, 1986. 408 с.
3. Маркушевич А.И. Ряды: Элементарный очерк. М.: Наука, 1979. 191 с.
4. Фихтенгольц Г.М. Курс дифференциального и интегрального исчисления. М.: Наука, 1970. Т. 2. 800 с.
5. Эльсгольц Л.И. Дифференциальные уравнения и вариационное исчисление. М.: Наука, 1969. 424 с.
* * *
Василий Васильевич Сильвестров, доктор физико-математических наук, профессор, зав. кафедрой математического анализа и дифференциальных уравнений Чувашского государственного университета им. И.Н. Ульянова. Область научных интересов - приложения теории функций комплексного переменного в механике. Автор и соавтор более 60 научных статей и двух учебных пособий.
