697. Кратные ряды Фурье.
Можно рассматривать ряды Фурье и для функций нескольких переменных. Чтобы дать об этом представление, достаточно ограничиться случаем функции двух переменных.
Пусть для всех вещественных значений х и у задана функция
. Мы предположим ее имеющей период
как по х, так и по у, и интегрируемой (в собственном или несобственном смысле) в квадрате
Подражая разложению (10), напишем для нее двойной ряд
где коэффициенты
определяются формулами, аналогичными
Это и есть ряд Фурье функции
в комплексной форме. Его коэффициенты могли бы быть получены обычным приемом, если, заменяя знак
в написанном выше соотношении на
умножить обе части «равенства» на
и проинтегрировать по квадрату
выполняя для ряда это интегрирование почленно.
В вещественной форме ряд Фурье выглядит на этот раз довольно громоздко. Если в комплексном ряде объединить сопряженные члены, то получим:
где
и, наконец, при
Впрочем, обычно ряд (24) пишут в виде
разумея под множителем
четверть, если
половину, если из значков
лишь один равен нулю, и единицу, если ни один из них не нуль. Зато коэффициенты
все вычисляются по формулам (25).
Вопрос о сходимости ряда (24) [или
решается путем исследования его частичной суммы
для которой можно получить интегральное выражение вроде интеграла Дирихле:
Мы не будем этим заниматься. Заметим лишь, что функция
заведомо разлагается в точке
в
Фурье, если выполнены условия: 1) частные производные
повсюду существуют и ограничены, 2) в окрестности данной точки существует вторая производная
которая к тому же в данной точке непрерывна.