Высшая математика (стр. 4 из 5)

То есть по критерию Коши из сходимости ряда (2) следует сходимость ряда (1).

Определение. Ряд

называется абсолютно сходящимся, если сходится ряд

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

Определение. Ряд

называется условно сходящимся, если он сходится, а ряд

расходится.

Свойства абсолютно сходящихся рядов.

1) Теорема. Для абсолютной сходимости ряда

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

Следствие. Условно сходящийся ряд является разностью двух расходящихся рядов с неотрицательными стремящимися к нулю членами.

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

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

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

4) Теорема. При любой группировке членов абсолютно сходящегося ряда (при этом число групп может быть как конечным, так и бесконечным и число членов в группе может быть как конечным, так и бесконечным) получается сходящийся ряд, сумма которого равна сумме исходного ряда.

5) Если ряды

сходятся абсолютно и их суммы равны соответственно S и s, то ряд, составленный из всех произведений вида

взятых в каком угодно порядке, также сходится абсолютно и его сумма равна S×s - произведению сумм перемножаемых рядов.

Если же производить перемножение условно сходящихся рядов, то в результате можно получить расходящийся ряд.

Тригонометрический ряд.

Определение. Тригонометрическим рядом называется ряд вида:

или, короче,

Действительные числа a_i, b_i называются коэффициентами тригонометрического ряда.

Если ряд представленного выше типа сходится, то его сумма представляет собой периодическую функцию с периодом 2p, т.к. функции sinnx и cosnx также периодические функции с периодом 2p.

Пусть тригонометрический ряд равномерно сходится на отрезке [-p; p], а следовательно, и на любом отрезке в силу периодичности, и его сумма равна f(x).

Определим коэффициенты этого ряда.

Для решения этой задачи воспользуемся следующими равенствами:

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

Т.к. функция f(x) непрерывна на отрезке [-p; p], то существует интеграл

Такой результат получается в результате того, что

Получаем:

Далее умножаем выражение разложения функции в ряд на cosnx и интегрируем в пределах от -p до p.

Отсюда получаем:

Аналогично умножаем выражение разложения функции в ряд на sinnx и интегрируем в пределах от -p до p.

Получаем:

Выражение для коэффициента а₀ является частным случаем для выражения коэффициентов a_n.

Таким образом, если функция f(x) – любая периодическая функция периода 2p, непрерывная на отрезке [-p; p] или имеющая на этом отрезке конечное число точек разрыва первого рода, то коэффициенты

существуют и называются коэффициентами Фурье для функции f(x).

Определение. Рядом Фурье для функции f(x) называется тригонометрический ряд, коэффициенты которого являются коэффициентами Фурье. Если ряд Фурье функции f(x) сходится к ней во всех ее точках непрерывности, то говорят, что функция f(x) разлагается в ряд Фурье.

Функциональные ряды.

Определение. Частными (частичными) суммами функционального ряда

называются функции

Определение. Функциональный ряд

называется сходящимся в точке (х=х₀), если в этой точке сходится последовательность его частных сумм. Предел последовательности

называется суммой ряда

в точке х₀.

Определение. Совокупность всех значений х, для которых сходится ряд

называется областью сходимости ряда.

Определение. Ряд

называется равномерно сходящимся на отрезке [a,b], если равномерно сходится на этом отрезке последовательность частных сумм этого ряда.

Теорема. (Критерий Коши равномерной сходимости ряда)

Для равномерной сходимости ряда

необходимо и достаточно, чтобы для любого числа e>0 существовал такой номер N(e), что при n>N и любом целом p>0 неравенство

выполнялось бы для всех х на отрезке [a,b].

Достаточные признаки разложимости в ряд Фурье.

Теорема. (Теорема Дирихле) Если функция f(x) имеет период 2p и на отрезке

[-p;p] непрерывна или имеет конечное число точек разрыва первого рода, и отрезок

[-p;p] можно разбить на конечное число отрезков так, что внутри каждого из них функция f(x) монотонна, то ряд Фурье для функции f(x) сходится при всех значениях х, причем в точках непрерывности функции f(x) его сумма равна f(x), а в точках разрыва его сумма равна

, т.е. среднему арифметическому предельных значений слева и справа. При этом ряд Фурье функции f(x) сходится равномерно на любом отрезке, который принадлежит интервалу непрерывности функции f(x).

Функция f(x), для которой выполняются условия теоремы Дирихле называется кусочно – монотонной на отрезке [-p;p].

Теорема. Если функция f(x) имеет период 2p, кроме того, f(x) и ее производная f’(x) – непрерывные функции на отрезке [-p;p] или имеют конечное число точек разрыва первого рода на этом отрезке, то ряд Фурье функции f(x) сходится при всех значениях х, причем в точках непрерывности его сумма равна f(x), а в точках разрыва она равна

. При этом ряд Фурье функции f(x) сходится равномерно на любом отрезке, который принадлежит интервалу непрерывности функции f(x).

Функция, удовлетворяющая условиям этой теоремы, называется кусочно – гладкой на отрезке [-p;p].

Разложение в ряд Фурье непериодической функции.

Задача разложения непериодической функции в ряд Фурье в принципе не отличается от разложения в ряд Фурье периодической функции.

Допустим, функция f(x) задана на отрезке [a, b] и является на этом отрезке кусочно – монотонной. Рассмотрим произвольную периодическую кусочно – монотонную функцию f₁(x) c периодом 2Т ³ïb-aï, совпадающую с функцией f(x) на отрезке [a, b].

f(x)

a - 2T a a b a+2T a + 4T x

Таким образом, функция f(x) была дополнена. Теперь функция f₁(x) разлагается в ряд Фурье. Сумма этого ряда во всех точках отрезка [a, b] совпадает с функцией f(x), т.е. можно считать, что функция f(x) разложена в ряд Фурье на отрезке [a, b].

Таким образом, если функция f(x) задана на отрезке, равном 2p ничем не отличается от разложения в ряд периодической функции. Если же отрезок, на котором задана функция, меньше, чем 2p, то функция продолжается на интервал (b, a + 2p) так, что условия разложимости в ряд Фурье сохранялись.