С помощью данного онлайн калькулятора можно находить суммы рядов, определять их сходимость, абсолютную и условную. Ряд - это последовательность чисел (либо функций - для функциональных рядов), которые связаны между собой определенным законом. Сумма членов ряда это и есть сумма ряда. Для доказательства того, что такая сумма существует (то есть она не равна бесконечности) можно использовать принципы сходимости числовых рядов - принцип Коши, принцип Доламбера и т.д. После доказательства того, что ряд сходится вычислить сумму числового ряда уже необходимо индивидуально. Для геометрической прогрессии, например, сумма вычисляется по формуле:
Найти сумму ряда онлайн
На нашем сайте вы можете вычислить сумму ряда онлайн . Всегда быстро, надежно, бесплатно. Удобный интерфейс для ввода рядов, задание начального и конечного значения элементов. Возможность находить сумму функционального ряда, использование буквенных констант. На практике студенты имеют дело с числовыми рядами довольно часто. Они широко используются в приближенных вычислениях (вычисление интегралов не имеющих аналитического решения, выполнение математических действий, решение дифференциальных уравнений и т.д.). А про функциональные ряды наподобие ряда Тейлора или ряда Фурье и говорить не приходится. С помощью нашего калькулятора определить сумму ряда теперь не проблема.
Последовательность - высокоупорядоченный числовой набор, образованный по заданному закону. Термин «ряд» обозначает результат сложения членов соответствующей ему последовательности. Для различных числовых последовательностей мы можем найти сумму всех ее членов или общее число элементов до заданного предела.
Последовательность
Под этим термином понимается заданный набор элементов числового пространства. Каждый математический объект задается определенной формулой для определения общего элемента последовательности, а для большинства конечных числовых наборов существуют простые формулы определения их суммы. Наша программа представляет собой сборник из 8 онлайн-калькуляторов, созданных для вычисления сумм наиболее популярных числовых наборов. Начнем с самого простого - натурального ряда, которым мы пользуемся в повседневной жизни для пересчета предметов.
Натуральная последовательность
Когда школьники изучают числа, они первым делом учатся считать предметы, например, яблоки. Натуральные числа естественным образом возникают при счете предметов, и каждый ребенок знает, что 2 яблока - это всегда 2 яблока, не больше и не меньше. Натуральный ряд задается простым законом, который выглядит как n. Формула гласит, что n-ный член числового набора равен n: первый - 1, второй - 2, четыреста пятьдесят первый - 451 и так далее. Результат суммирования n первых натуральных чисел, то есть начинающихся от 1, определяется по простой формуле:
∑ = 0,5 n × (n+1).
Расчет суммы натурального ряда
Для вычислений вам потребуется выбрать в меню калькулятора формулу натурального ряда n и ввести количество членов последовательности. Давайте вычислим сумму натурального ряда от 1 до 15. Указав n = 15, вы получите результат в виде самой последовательности:
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15
и суммы натурального ряда, равной 120.
Легко проверить корректность вычислений при помощи выше приведенной формулы. Для нашего примера результат сложения будет равен 0,5 × 15 × 16 = 0,5 × 240 = 120. Все верно.
Последовательность квадратов
Квадратичная последовательность образуется из натуральной, путем возведения каждого члена в квадрат. Ряд квадратов формируется по закону n 2 , следовательно, n-ный член последовательности будет равняться n 2: первый - 1, второй - 2 2 = 4, третий - 3 2 = 9 и так далее. Результат суммирования начальных n элементов квадратичной последовательности вычисляется по закону:
∑ = (n × (n+1) × (2n+1)) / 6.
При помощи этой формулы вы легко можете высчитать сумму квадратов от 1 до n для сколько угодно большого n. Очевидно, что эта последовательность также бесконечна и с ростом n будет расти и общее значение числового набора.
Расчет суммы квадратного ряда
В этом случае вам потребуется выбрать в меню программы закон квадратной последовательности n 2 , после чего выбрать значение n. Давайте рассчитаем сумму первых десяти членов последовательности (n= 10). Программа выдаст саму последовательность:
1, 4, 9, 16, 25, 36, 49, 64, 81, 100
а также сумму, равную 385.
Кубический ряд
Ряд кубов представляет собой последовательность натуральных чисел, возведенных в куб. Закон образования общего элемента последовательности записывается как n 3 . Таким образом, первый член ряда равен 1 3 = 1, второй - 2 3 = 8, третий - 3 3 = 27 и так далее. Сумма первых n элементов кубического ряда определяется по формуле:
∑ = (0,5 n × (n+1)) 2
Как и в предыдущих случаях, элементы числового пространства стремятся в бесконечность, и чем больше количество слагаемых, тем больше результат суммирования.
Расчет суммы кубического ряда
Для начала выберите в меню калькулятора закон кубического ряда n 3 и задайте любое значение n. Давайте определим сумму ряда из 13 членов. Калькулятор выдаст нам результат в виде последовательности:
1, 8, 27, 64, 125, 216, 343, 512, 729, 1000, 1331, 1728, 2197
и суммы соответствующего ей ряда, равного 8281.
Последовательность нечетных чисел
Множество натуральных чисел содержит подмножество нечетных элементов, то есть тех, которые не делятся на 2 без остатка. Последовательность нечетных чисел определяется выражением 2n - 1. Согласно закону, первый член последовательности будет равен 2×1 − 1 = 1, второй - 2×2 − 1 = 3, третий - 2×3 − 1 = 5 и так далее. Сумма начальных n элементов нечетного ряда вычисляется по простой формуле:
Рассмотрим пример.
Вычисление суммы нечетных чисел
Сначала выберете в меню программы закон образования нечетного ряда 2n−1, после чего введите n. Давайте узнаем первые 12 членов нечетной ряда и его сумму. Калькулятор мгновенно выдаст результат в виде набора чисел:
1, 3, 5, 7, 9, 11, 13, 15, 17, 19, 21, 23,
а также суммы нечетного ряда, который равен 144. И действительно, 12 2 = 144. Все верно.
Прямоугольные числа
Прямоугольные числа относятся к классу фигурных чисел, которые представляют собой класс числовых элементов, необходимых для построения геометрических фигур и тел. К примеру, чтобы построить треугольник необходимо 3, 6 или 10 точек, квадрат - 4, 9 или 16 точек, а для выкладывания тетраэдра потребуется 4, 10 или 20 шаров или кубов. Прямоугольники легко построить при помощи двух последовательных чисел, например, 1 и 2, 7 и 8, 56 и 57. Прямоугольные же числа выражаются в виде произведения двух последовательных натуральных чисел. Формула для общего члена ряда выглядит какn × (n+1). Первые десять элементов такого числового набора выглядят как:
2, 6, 12, 20, 30, 42, 56, 72, 90, 110…
С увеличением n растет и значение прямоугольных чисел, следовательно, сумма такого ряда также будет расти.
Обратная последовательность
Для прямоугольных чисел существует обратная последовательность, определяемая формулой 1 / (n × (n+1)). Числовой набор трансформируется в набор дробей и выглядит как:
1/2 , 1/6, 1/12, 1/20, 1/30, 1/42, 1/56, 1/72, 1/90, 1/110…
Сумма ряда дробей определяется по формуле:
∑ = 1 - 1/(n+1).
Очевидно, что при увеличении количества элементов ряда значение дроби 1/(n+1) стремится к нулю, а результат сложения приближается к единице. Рассмотрим примеры.
Сумма прямоугольного и обратного ему ряда
Давайте рассчитаем значение прямоугольной последовательности для n = 20. Для этого выберете в меню онлайн-калькулятора закон задания общего члена числового набора n × (n+1) и укажите n. Программа выдаст мгновенный результат в виде 3080. Для вычислений обратного ряда измените закон на 1 / (n × (n+1)). Сумма обратных числовых элементов будет равна 0,952.
Ряд произведений трех последовательных чисел
Прямоугольный числовой набор можно изменить, добавив к нему еще один последовательный множитель. Следовательно, формула для вычисления n-ного члена набора преобразится в n × (n+1) × (n+2). Согласно этой формуле элементы ряда образуются в виде произведения трех последовательных чисел, например, 1 × 2 × 3 или 10 × 11 × 12. Первые десять элементов такого ряда выглядят как:
6, 24, 60, 120, 210, 336, 504, 720, 990, 1320
Это быстрорастущий числовой набор, а сумма соответствующего ряда при росте n уходит в бесконечность.
Обратная последовательность
Как и в предыдущем случае, мы можем обратить формулу n-ного члена и получить выражение 1 / (n × (n+1) × (n+2)). Тогда набор целых значений преобразится в ряд дробей, в знаменателе которых будут стоять произведения трех последовательных чисел. Начало такого набора имеет следующий вид:
1/6, 1/24, 1/60, 1/120, 1/210, 1/336…
Сумма соответствующего ряда определяется по формуле:
∑ = 0,5 × (0,5 - 1 / (n+1) × (n+2)).
Очевидно, что при росте количества элементов дробь 1 / ((n+1) × (n+2)) стремится к нулю, а сумма ряда приближается к значению 0,5 × 0,5 = 0,25. Рассмотрим примеры.
Ряд произведений трех последовательных чисел и обратный ему
Для работы с этим набором требуется выбрать закон определения общего элемента n × (n+1) × (n+2) и задать n, к примеру, 100. Калькулятор выдаст вам саму последовательность, а также значение результата сложения сотни чисел, равный 26 527 650. Если выбрать обратный закон 1 / (n × (n+1) × (n+2)), сумма ряда из 100 членов будет равна 0,250.
Заключение
Ответ : ряд расходится.
Пример №3
Найти сумму ряда $\sum\limits_{n=1}^{\infty}\frac{2}{(2n+1)(2n+3)}$.
Так как нижний предел суммирования равен 1, то общий член ряда записан под знаком суммы: $u_n=\frac{2}{(2n+1)(2n+3)}$. Составим n-ю частичную сумму ряда, т.е. просуммируем первые $n$ членов заданного числового ряда:
$$ S_n=u_1+u_2+u_3+u_4+\ldots+u_n=\frac{2}{3\cdot 5}+\frac{2}{5\cdot 7}+\frac{2}{7\cdot 9}+\frac{2}{9\cdot 11}+\ldots+\frac{2}{(2n+1)(2n+3)}. $$
Почему я пишу именно $\frac{2}{3\cdot 5}$, а не $\frac{2}{15}$, будет ясно из дальнейшего повествования. Однако запись частичной суммы ни на йоту не приблизила нас к цели. Нам ведь нужно найти $\lim_{n\to\infty}S_n$, но если мы просто запишем:
$$ \lim_{n\to\infty}S_n=\lim_{n\to\infty}\left(\frac{2}{3\cdot 5}+\frac{2}{5\cdot 7}+\frac{2}{7\cdot 9}+\frac{2}{9\cdot 11}+\ldots+\frac{2}{(2n+1)(2n+3)}\right), $$
то эта запись, совершенно верная по форме, ничего нам не даст по сути. Чтобы найти предел, выражение частичной суммы предварительно нужно упростить.
Для этого есть стандартное преобразование, состоящее в разложении дроби $\frac{2}{(2n+1)(2n+3)}$, которая представляет общий член ряда, на элементарные дроби. Вопросу разложения рациональных дробей на элементарные посвящена отдельная тема (см., например, пример №3 на этой странице). Раскладывая дробь $\frac{2}{(2n+1)(2n+3)}$ на элементарные дроби, будем иметь:
$$ \frac{2}{(2n+1)(2n+3)}=\frac{A}{2n+1}+\frac{B}{2n+3}=\frac{A\cdot(2n+3)+B\cdot(2n+1)}{(2n+1)(2n+3)}. $$
Приравниваем числители дробей в левой и правой частях полученного равенства:
$$ 2=A\cdot(2n+3)+B\cdot(2n+1). $$
Чтобы найти значения $A$ и $B$ есть два пути. Можно раскрыть скобки и перегруппировать слагаемые, а можно просто подставить вместо $n$ некие подходящие значения. Сугубо для разнообразия в этом примере пойдём первым путём, а следующем - будем подставлять частные значения $n$. Раскрывая скобки и перегруппировывая слагаемые, получим:
$$ 2=2An+3A+2Bn+B;\\ 2=(2A+2B)n+3A+B. $$
В левой части равенства перед $n$ стоит ноль. Если угодно, левую часть равенства для наглядности можно представить как $0\cdot n+ 2$. Так как в левой части равенства перед $n$ стоит ноль, а в правой части равества перед $n$ стоит $2A+2B$, то имеем первое уравнение: $2A+2B=0$. Сразу разделим обе части этого уравнения на 2, получив после этого $A+B=0$.
Так как в левой части равенства свободный член равен 2, а в правой части равенства свободный член равен $3A+B$, то $3A+B=2$. Итак, имеем систему:
$$ \left\{\begin{aligned} & A+B=0;\\ & 3A+B=2. \end{aligned}\right. $$
Доказательство будем проводить методом математической индукции. На первом шаге нужно проверить, выполнено ли доказываемое равенство $S_n=\frac{1}{3}-\frac{1}{2n+3}$ при $n=1$. Мы знаем, что $S_1=u_1=\frac{2}{15}$, но даст ли выражение $\frac{1}{3}-\frac{1}{2n+3}$ значение $\frac{2}{15}$, если подставить в него $n=1$? Проверим:
$$ \frac{1}{3}-\frac{1}{2n+3}=\frac{1}{3}-\frac{1}{2\cdot 1+3}=\frac{1}{3}-\frac{1}{5}=\frac{5-3}{15}=\frac{2}{15}. $$
Итак, при $n=1$ равенство $S_n=\frac{1}{3}-\frac{1}{2n+3}$ выполнено. На этом первый шаг метода математической индукции закончен.
Предположим, что при $n=k$ равенство выполнено, т.е. $S_k=\frac{1}{3}-\frac{1}{2k+3}$. Докажем, что это же равенство будет выполнено при $n=k+1$. Для этого рассмотрим $S_{k+1}$:
$$ S_{k+1}=S_k+u_{k+1}. $$
Так как $u_n=\frac{1}{2n+1}-\frac{1}{2n+3}$, то $u_{k+1}=\frac{1}{2(k+1)+1}-\frac{1}{2(k+1)+3}=\frac{1}{2k+3}-\frac{1}{2(k+1)+3}$. Согласно сделанному выше предположению $S_k=\frac{1}{3}-\frac{1}{2k+3}$, поэтому формула $S_{k+1}=S_k+u_{k+1}$ примет вид:
$$ S_{k+1}=S_k+u_{k+1}=\frac{1}{3}-\frac{1}{2k+3}+\frac{1}{2k+3}-\frac{1}{2(k+1)+3}=\frac{1}{3}-\frac{1}{2(k+1)+3}. $$
Вывод: формула $S_n=\frac{1}{3}-\frac{1}{2n+3}$ верна при $n=k+1$. Следовательно, согласно методу математической индукции, формула $S_n=\frac{1}{3}-\frac{1}{2n+3}$ верна при любом $n\in N$. Равенство доказано.
В стандартном курсе высшей математики обычно довольствуются "вычёркиванием" сокращающихся слагаемых, не требуя никаких доказательств. Итак, мы получили выражение для n-й частичной суммы: $S_n=\frac{1}{3}-\frac{1}{2n+3}$. Найдём значение $\lim_{n\to\infty}S_n$:
Вывод: заданный ряд сходится и сумма его $S=\frac{1}{3}$.
Второй способ упрощения формулы для частичной суммы.
Честно говоря, я сам предпочитаю именно этот способ:) Давайте запишем частичную сумму в сокращённом варианте:
$$ S_n=\sum\limits_{k=1}^{n}u_k=\sum\limits_{k=1}^{n}\frac{2}{(2k+1)(2k+3)}. $$
Мы получили ранее, что $u_k=\frac{1}{2k+1}-\frac{1}{2k+3}$, поэтому:
$$ S_n=\sum\limits_{k=1}^{n}\frac{2}{(2k+1)(2k+3)}=\sum\limits_{k=1}^{n}\left(\frac{1}{2k+1}-\frac{1}{2k+3}\right). $$
Сумма $S_n$ содержит конечное количество слагаемых, поэтому мы можем переставлять их так, как нам заблагорассудится. Я хочу сначала сложить все слагаемые вида $\frac{1}{2k+1}$, а уж затем переходить к слагаемым вида $\frac{1}{2k+3}$. Это означает, что частичную сумму мы представим в таком виде:
$$ S_n =\frac{1}{3}-\frac{1}{5}+\frac{1}{5}-\frac{1}{7}+\frac{1}{7}-\frac{1}{9}+\frac{1}{9}-\frac{1}{11}+\ldots+\frac{1}{2n+1}-\frac{1}{2n+3}=\\ =\frac{1}{3}+\frac{1}{5}+\frac{1}{7}+\frac{1}{9}+\ldots+\frac{1}{2n+1}-\left(\frac{1}{5}+\frac{1}{7}+\frac{1}{9}+\ldots+\frac{1}{2n+3}\right). $$
Конечно, развёрнутая запись крайне неудобна, поэтому представленное выше равенство можно оформить более компактно:
$$ S_n=\sum\limits_{k=1}^{n}\left(\frac{1}{2k+1}-\frac{1}{2k+3}\right)=\sum\limits_{k=1}^{n}\frac{1}{2k+1}-\sum\limits_{k=1}^{n}\frac{1}{2k+3}. $$
Теперь преобразуем выражения $\frac{1}{2k+1}$ и $\frac{1}{2k+3}$ к одному виду. Я полагаю удобным приводить к виду большей дроби (хотя можно и к меньшей, это дело вкуса). Так как $\frac{1}{2k+1}>\frac{1}{2k+3}$ (чем больше знаменатель, тем меньше дробь), то будем приводить дробь $\frac{1}{2k+3}$ к виду $\frac{1}{2k+1}$.
Выражение в знаменателе дроби $\frac{1}{2k+3}$ я представлю в таком виде:
$$ \frac{1}{2k+3}=\frac{1}{2k+2+1}=\frac{1}{2(k+1)+1}. $$
И сумму $\sum\limits_{k=1}^{n}\frac{1}{2k+3}$ теперь можно записать так:
$$ \sum\limits_{k=1}^{n}\frac{1}{2k+3}=\sum\limits_{k=1}^{n}\frac{1}{2(k+1)+1}=\sum\limits_{k=2}^{n+1}\frac{1}{2k+1}. $$
Если равенство $\sum\limits_{k=1}^{n}\frac{1}{2k+3}=\sum\limits_{k=2}^{n+1}\frac{1}{2k+1}$ не вызывает вопросов, то пойдём далее. Если же вопросы есть, то прошу развернуть примечание.
Как мы получили преобразованную сумму? показать\скрыть
У нас был ряд $\sum\limits_{k=1}^{n}\frac{1}{2k+3}=\sum\limits_{k=1}^{n}\frac{1}{2(k+1)+1}$. Давайте вместо $k+1$ введём новую переменную, - например, $t$. Итак, $t=k+1$.
Как изменялась старая переменная $k$? А изменялась она от 1 до $n$. Давайте выясним, как же будет изменяться новая переменная $t$. Если $k=1$, то $t=1+1=2$. Если же $k=n$, то $t=n+1$. Итак, выражение $\sum\limits_{k=1}^{n}\frac{1}{2(k+1)+1}$ теперь стало таким: $\sum\limits_{t=2}^{n+1}\frac{1}{2t+1}$.
$$ \sum\limits_{k=1}^{n}\frac{1}{2(k+1)+1}=\sum\limits_{t=2}^{n+1}\frac{1}{2t+1}. $$
У нас есть сумма $\sum\limits_{t=2}^{n+1}\frac{1}{2t+1}$. Вопрос: а не всё ли равно, какую букву использовать в этой сумме? :) Банально записывая букву $k$ вместо $t$, получим следующее:
$$ \sum\limits_{t=2}^{n+1}\frac{1}{2t+1}=\sum\limits_{k=2}^{n+1}\frac{1}{2k+1}. $$
Вот так и получается равенство $\sum\limits_{k=1}^{n}\frac{1}{2(k+1)+1}=\sum\limits_{k=2}^{n+1}\frac{1}{2k+1}$.
Таким образом, частичную сумму можно представить в следующем виде:
$$ S_n=\sum\limits_{k=1}^{n}\frac{1}{2k+1}-\sum\limits_{k=1}^{n}\frac{1}{2k+3}=\sum\limits_{k=1}^{n}\frac{1}{2k+1}-\sum\limits_{k=2}^{n+1}\frac{1}{2k+1}. $$
Заметьте, что суммы $\sum\limits_{k=1}^{n}\frac{1}{2k+1}$ и $\sum\limits_{k=2}^{n+1}\frac{1}{2k+1}$ отличаются лишь пределами суммирования. Сделаем эти пределы одинаковыми. "Забирая" первый элемент из суммы $\sum\limits_{k=1}^{n}\frac{1}{2k+1}$ будем иметь:
$$ \sum\limits_{k=1}^{n}\frac{1}{2k+1}=\frac{1}{2\cdot 1+1}+\sum\limits_{k=2}^{n}\frac{1}{2k+1}=\frac{1}{3}+\sum\limits_{k=2}^{n}\frac{1}{2k+1}. $$
"Забирая" последний элемент из суммы $\sum\limits_{k=2}^{n+1}\frac{1}{2k+1}$, получим:
$$\sum\limits_{k=2}^{n+1}\frac{1}{2k+1}=\sum\limits_{k=2}^{n}\frac{1}{2k+1}+\frac{1}{2(n+1)+1}=\sum\limits_{k=2}^{n}\frac{1}{2k+1}+\frac{1}{2n+3}.$$
Тогда выражение для частичной суммы примет вид:
$$ S_n=\sum\limits_{k=1}^{n}\frac{1}{2k+1}-\sum\limits_{k=2}^{n+1}\frac{1}{2k+1}=\frac{1}{3}+\sum\limits_{k=2}^{n}\frac{1}{2k+1}-\left(\sum\limits_{k=2}^{n}\frac{1}{2k+1}+\frac{1}{2n+3}\right)=\\ =\frac{1}{3}+\sum\limits_{k=2}^{n}\frac{1}{2k+1}-\sum\limits_{k=2}^{n}\frac{1}{2k+1}-\frac{1}{2n+3}=\frac{1}{3}-\frac{1}{2n+3}. $$
Если пропустить все пояснения, то процесс нахождения сокращённой формулы для n-й частичной суммы примет такой вид:
$$ S_n=\sum\limits_{k=1}^{n}u_k =\sum\limits_{k=1}^{n}\frac{2}{(2k+1)(2k+3)} =\sum\limits_{k=1}^{n}\left(\frac{1}{2k+1}-\frac{1}{2k+3}\right)=\\ =\sum\limits_{k=1}^{n}\frac{1}{2k+1}-\sum\limits_{k=1}^{n}\frac{1}{2k+3} =\frac{1}{3}+\sum\limits_{k=2}^{n}\frac{1}{2k+1}-\left(\sum\limits_{k=2}^{n}\frac{1}{2k+1}+\frac{1}{2n+3}\right)=\frac{1}{3}-\frac{1}{2n+3}. $$
Напомню, что мы приводили дробь $\frac{1}{2k+3}$ к виду $\frac{1}{2k+1}$. Разумеется, можно поступить и наоборот, т.е. представить дробь $\frac{1}{2k+1}$ в виде $\frac{1}{2k+3}$. Конечное выражение для частичной суммы не изменится. Процесс нахождения частичной суммы в этом случае я скрою под примечание.
Как найти $S_n$, если приводить к виду иной дроби? показать\скрыть
$$ S_n =\sum\limits_{k=1}^{n}\frac{1}{2k+1}-\sum\limits_{k=1}^{n}\frac{1}{2k+3} =\sum\limits_{k=0}^{n-1}\frac{1}{2k+3}-\sum\limits_{k=1}^{n}\frac{1}{2k+3}=\\ =\frac{1}{3}+\sum\limits_{k=1}^{n-1}\frac{1}{2k+3}-\left(\sum\limits_{k=1}^{n-1}\frac{1}{2k+3}+\frac{1}{2n+3}\right) =\frac{1}{3}-\frac{1}{2n+3}. $$
Итак, $S_n=\frac{1}{3}-\frac{1}{2n+3}$. Находим предел $\lim_{n\to\infty}S_n$:
$$ \lim_{n\to\infty}S_n=\lim_{n\to\infty}\left(\frac{1}{3}-\frac{1}{2n+3}\right)=\frac{1}{3}-0=\frac{1}{3}. $$
Заданный ряд сходится и сумма его $S=\frac{1}{3}$.
Ответ : $S=\frac{1}{3}$.
Продолжение темы нахождения суммы ряда будет рассмотрено во второй и третьей частях.
Сумма всех натуральных чисел может быть записана с использованием следующего числового ряда
Этот, на первый взгляд, совершенно противоречащий интуиции результат, тем не менее может быть строго доказан. Но прежде, чем говорить о доказательстве, нужно сделать отступление и вспомнить основные понятия.
Начнём с того, что «классической» суммой ряда называется предел частичных сумм ряда, если он существует и конечен. Подробности можно найти в википедии и соответствующей литературе. Если конечный предел не существует, то ряд называется расходящимся.
Например, частичная сумма первых k членов числового ряда 1 + 2 + 3 + 4 +… записывается следующим образом
Нетрудно понять, что эта сумма неограниченно растёт при стремлении k к бесконечности. Следовательно, исходный ряд является расходящимся и, строго говоря, не имеет суммы. Существует, однако, множество способов присвоить конечное значение расходящимся рядам.
Ряд 1+2+3+4+… далеко не единственный из расходящихся рядов. Возьмём, например, ряд Гранди
Который тоже расходится, но известно, что метод суммирования Чезаро позволяет присвоить этому ряду конечное значение 1/2. Суммирование по Чезаро заключается в оперировании не частичными суммами ряда, а их арифметическими средними. Позволив себе порассуждать в вольном стиле, можно сказать, что то частичные суммы ряда Гранди осцилируют между 0 и 1, в зависимости от того какой член ряда является последним в сумме (+1 или -1), отсюда и значение 1/2, как арифметическое среднее двух возможных значений частичных сумм.
Другим интересным примером расходящегося ряда является знакопеременный ряд 1 - 2 + 3 - 4 +... , частичные суммы которого также осцилируют. Суммирование методом Абеля позволяет присвоить данному ряду конечное значение 1/4. Отметим, что метод Абеля является, своего рода, развитием метода суммирования по Чезаро, поэтому результат 1/4 несложно осмыслить с точки зрения интуиции.
Здесь важно отметить, что методы суммирования не являются трюками, которые придумали математики, чтобы как-то совладать с расходящимися рядами. Если вы примените суммирование по Чезаро или метод Абеля к сходящемуся ряду, то ответ, который дают эти методы, равен классической сумме сходящегося ряда.
Ни суммирование по Чезаро, ни метод Абеля, однако, не позволяют работать с рядом 1 + 2 + 3 + 4 +..., т. к. средние арифметические частичных сумм, равно как и средние арифметические средних арифметических, расходятся. Кроме того, если значения 1/2 или 1/4 ещё как-то можно принять и соотнести с соответствующими рядами, то -1/12 сложно связать с рядом 1 + 2 + 3 + 4 +..., представляющим собой бесконечную последовательность положительных целых чисел.
Существует несколько способов прийти к результату -1/12. В этой заметке я лишь кратко остановлюсь на одном из них, а именно регуляризации дзета-функцией . Введём дзета-функцию
Подставляя s = -1 , получим исходный числовой ряд 1+2+3+4+…. Проделаем над этой функцией ряд несложных математических действий
Где является эта-функцией Дирихле
При значении s = -1 эта-функция становится уже знакомым нам рядом 1 - 2 + 3 - 4 + 5 -… «сумма» которого равна 1/4. Теперь мы можем легко решить уравнение
Интересно, что этот результат находит своё применение в физике. Например, в теории струн. Обратимся к стр. 22 книги Joseph Polchinski «String Theory»:
Если для кого-то теория струн не является убедительным примером в силу отсутствия доказательств множества следствий этой теории, то можно также упомянуть, что похожие методы фигурируют в квантовой теории поля при попытке рассчитать эффект Казимира .
Чтобы два раза не ходить, ещё пара интересных примеров с дзета-функцией
Для тех, кто захочет получить больше информации по теме отмечу, что написать данную заметку я решил после перевода соответствующей статьи на википедии , где в разделе «Ссылки» вы сможете найти массу дополнительного материала, в основном на английском языке.