Расходящийся ряд
Расходя́щийся ряд, ряд, у которого последовательность частичных сумм не имеет конечного предела. Например, ряды
расходятся.
Расходящиеся ряды стали появляться в работах математиков 17–18 вв. Л. Эйлер первым пришёл к выводу, что нужно ставить вопрос, не чему равна сумма, а как определить сумму расходящегося ряда, и нашёл подход к решению этого вопроса, близкий к современному. Расходящиеся ряды до конца 19 в. не находили применения и были почти забыты. Накопление к концу 19 в. различных фактов математического анализа вновь пробудило интерес к расходящимся рядам. Стал выдвигаться вопрос о возможности суммирования рядов в некотором смысле, отличном от обычного.
Примеры. 1) Если перемножить два ряда
сходящихся соответственно к и , то полученный в результате перемножения ряд
может оказаться расходящимся. Однако если сумму ряда (1) определить не как предел частичных сумм , а как
то в этом смысле ряд (1) всегда будет сходиться (т. е. предел в (2) будет существовать) и его сумма в этом смысле равна .
2) Ряд Фурье функции , непрерывной в точке (или имеющей в ней разрыв 1-го рода), может расходиться в этой точке. Если же сумму ряда определить по формуле (2), то в этом смысле ряд Фурье такой функции всегда будет сходиться и его сумма в этом смысле равна (или соответственно , если – точка разрыва 1-го рода).
сходится для к сумме и расходится для . Если сумму ряда определить как
где – частичные суммы ряда (3), то в этом смысле ряд (3) будет сходиться для всех , удовлетворяющих условию , причём его суммой будет функция .
Для обобщения понятия суммы ряда в теории расходящихся рядов рассматривают некоторую операцию или правило, в результате которого расходящемуся ряду ставится в соответствие определённое число, называемое его суммой (в этом определении). Такое правило называется методом суммирования. Так, правило, описанное в примере 1), называется методом суммирования средних арифметических. Правило, определяемое в примере 3), называется методом суммирования Бореля.