693. Суммирование тригонометрических рядов с помощью аналитических функций комплексной переменной.

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

как найти суммы этих рядов или — точнее — как выразить их в конечном виде через элементарные функции, если они, вообще, в таком виде выражаются. Еще Эйлер (а также Лагранж) с успехом применял для суммирования тригонометрических рядов в конечном виде аналитические функции комплексной переменной. Идея метода Эйлера состоит в следующем.

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

На окружности единичного круга т. е. при этот ряд по предположению сходится, исключая отдельные точки:

В таком случае, по известному свойству степенных рядов ряд (5) заведомо сходится при т. е. внутри единичного круга, определяя там некоторую функцию комплексной переменной. Используя известные нам [см. § 5 главы XII] разложения элементарных функций комплексной переменной, часто удается свести к ним и функцию Тогда для имеем:

и по теореме Абеля [456], лишь только ряд (6) сходится, его сумма получается как предел

Обычно этот предел равен попросту что и позволяет вычислить в конечном виде функции

Пусть, например, предложены ряды

Доказанные в предыдущем п° утверждения приводят к заключению, что оба эти ряда сходятся (первый — исключая точки 0 и

служат рядами Фурье для определяемых ими функций Но что это за функции? Для ответа на этот вопрос составим ряд

По сходству с логарифмическим рядом [458] легко устанавливается его сумма:

следовательно,

Теперь легкое вычисление дает:

так что модуль этого выражения есть , а аргумент .

Поэтому

и, таким образом, окончательно

Результаты эти нам знакомы [690, 14) и 2)] и даже были однажды получены с помощью «комплексных» соображений [461, 6) (б)]; но в первом случае мы исходили из функций и , а во втором — из аналитической функции Здесь же впервые нам отправной точкой послужили сами ряды. Дальнейшие примеры подобного рода читатель найдет в следующем п°.

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

заведомо расходящиеся для Между тем, если составить соответствующий им ряд

то при стремлении точки вдоль по радиусу единичного круга к точке на окружности, его сумма будет иметь вполне определенный предел

Если сходимость рядов (С) и наперед не установлена, то равенство (7) можно рассматривать только как наведение: получив с его помощью функции следует затем вычислить их коэффициенты Фурье и лишь в случае совпадения с коэффициентами данных рядов прибегнуть к известным признакам сходимости рядов Фурье.