Тригонометрические ряды Фурье

Некоторые приложения степенных рядов.

Пример 1. Вычислить суммы рядов (ряд Лейбница) и .

Решение. Если подставить в обе части разложений 6) и 7), то сразу же получим

.

Дополнение. Ряды из примера 1 непригодны для вычислений, они слишком медленно сходятся. Так, остаток ряда убывает со скоростью и для вычисления с точностью необходимо просуммировать 1000 членов ряда. Покажем на том же примере, что метод степенных рядов может давать отличные результаты, если алгоритм вычислений немного усовершенствовать. Снова обратимся к табличному разложению 6). Это даёт

,

.

Следовательно, . Замена приводит к тождеству . Здесь и если , то .

Поэтому . Этот ряд сходится гораздо быстрее.

Сейчас .

В частности, , а потому с точностью будет . Отбрасывая ненадёжные знаки, получаем . Для уменьшения погрешности вычислений нужно увеличить количество учитываемых членов ряда. Так, например, , поэтому с точностью .

Пример 2. Вычислить с точностью интеграл .

Решение. Так как , то .

Поэтому =.

Так как , то . Отбрасывая ненадёжные знаки, получаем с нужной точностью .

Пример 3. Найти приближенное решение уравнения вблизи .

Решение. Ясно, что .

Дифференцируя данное уравнение, получаем новое тождество: .

это даёт или .

Повторим это рассуждение еще несколько раз. Это даёт:

, или .

, или .

При желании можно было бы продолжать эти вычисления.

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

1˚. Для понимания некоторых вопросов анализа целесообразно использование геометрической терминологии. Так, в математическом анализе приходится раскладывать функции по ортогональному базису. Подробнее об этом.

Напомним, что скалярное произведение в абстрактном линейном пространстве вводилось с помощью системы аксиом:

1. функция является билинейной формой, т.е. линейна и ;

2. функция симметрична, т. е. ;

3. функция является положительно определённой, т.е. , если .

Например, в пространстве скалярным произведением является выражение .

Векторы и называются ортогональными, если . Набор ненулевых векторов образует ортогональную систему, если все они попарно ортогональны.

Предположим теперь, что вектор требуется разложить по ортогональной системе, т.е. представить в виде . Спрашивается, чему равны коэффициенты разложения ? Если умножить обе части разложения скалярно на один из векторов системы, например, , получим или . Коэффициенты, вычисляемые по этой формуле, часто называют коэффициентами Фурье. Напомним ещё, что для ортогонального разложения справедлив следующий вариант теоремы Пифагора: .

2˚. В математическом анализе, в отличие от линейной алгебры, обычно приходится иметь дело с бесконечномерными пространствами. Но и здесь можно говорить о скалярном произведении, ортогональных системах, коэффициентах Фурье. Так, в линейном пространстве часто рассматривают интегральное скалярное произведение: (интеграл − вместо суммы). Ясно, что и здесь выполнены все аксиомы скалярного произведения.

Лемма. Классическая тригонометрическая система является ортогональной относительно введенного только что скалярного произведения. Скалярный квадрат функции , очевидно, равен , скалярный квадрат любой другой функции системы равен .

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

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

, где , .

Ряд называется рядом Фурье функции . Символ вместо ожидаемого знака равенства означает только то, что справа от него стоит ряд Фурье , т.е. не предполагается, что этот ряд сходится и, тем более, − что его сумма совпадаёт с .

Приведём без доказательства достаточные условия представимости функции её рядом Фурье.

Теорема 1. Пусть − функция, кусочно-гладкая на периоде. В таком случае ряд Фурье сходится при любом , а его сумма равна . В частности, если − точка непрерывности, то .

Теорема 2. Если в дополнение к условиям теоремы 1. − непрерывна, то её ряд Фурье правильно сходится, то есть мажорируется сходящимся числовым рядом.

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

Теорема Пифагора в этом случае приобретает вид

(равенство Парсеваля - Стеклова).

Если − четная функция, то, очевидно, . Если же − нечетная функция, то .

Дата добавления: 2013-12-13