Ряд (математика)

Бесконечная сумма

В математике ряд — это, грубо говоря, сложение бесконечного числа величин, одна за другой. ^[1] Изучение рядов — важная часть исчисления и его обобщения, математического анализа . Ряды используются в большинстве областей математики, даже для изучения конечных структур (например, в комбинаторике ) посредством производящих функций . Математические свойства бесконечных рядов делают их широко применимыми в других количественных дисциплинах, таких как физика , информатика , статистика и финансы .

Долгое время идея о том, что потенциально бесконечное суммирование может дать конечный результат, считалась парадоксальной . Этот парадокс был решен с использованием концепции предела в 17 веке. Парадокс Зенона об Ахилле и черепахе иллюстрирует это контринтуитивное свойство бесконечных сумм: Ахилл бежит за черепахой, но когда он достигает положения черепахи в начале гонки, черепаха достигает второго положения; когда он достигает этого второго положения, черепаха оказывается в третьем положении и так далее. Зенон пришел к выводу, что Ахилл никогда не сможет достичь черепахи, и, таким образом, этого движения не существует. Зенон разделил гонку на бесконечное множество подгонок, каждая из которых требует конечного количества времени, так что общее время, необходимое Ахиллу, чтобы поймать черепаху, задается серией. Разрешение парадокса состоит в том, что, хотя ряд имеет бесконечное число членов, он имеет конечную сумму, которая дает время, необходимое Ахиллу, чтобы догнать черепаху.

В современной терминологии любая (упорядоченная) бесконечная последовательность членов (то есть чисел, функций или чего-либо, что можно сложить) определяет ряд, который является операцией сложения a _i одного за другим. Чтобы подчеркнуть, что существует бесконечное количество членов, ряд можно назвать бесконечным рядом . Такой ряд представляется (или обозначается) выражением типа ${\displaystyle (a_{1},a_{2},a_{3},\ldots )}$

$${\displaystyle a_{1}+a_{2}+a_{3}+\cdots ,}$$

или, используя знак суммы ,

$${\displaystyle \sum _{i=1}^{\infty }a_{i}.}$$

Бесконечная последовательность сложений, подразумеваемая рядом, не может быть эффективно продолжена (по крайней мере, за конечное время). Однако, если множество, к которому принадлежат члены и их конечные суммы, имеет понятие предела , иногда можно присвоить ряду значение, называемое суммой ряда. Это значение является пределом, когда n стремится к бесконечности (если предел существует) конечных сумм n первых членов ряда, которые называются n- ными частичными суммами ряда. То есть,

$${\displaystyle \sum _{i=1}^{\infty }a_{i}=\lim _{n\to \infty }\sum _{i=1}^{n}a_{i}.}$$

Когда этот предел существует, говорят, что ряд сходится или суммируем , или что последовательность суммируема . В этом случае предел называется суммой ряда . В противном случае ряд называется расходящимся . ^[2] ${\displaystyle (a_{1},a_{2},a_{3},\ldots )}$

Обозначение обозначает как ряд — то есть неявный процесс сложения членов одного за другим до бесконечности — так и, если ряд сходится, сумму ряда — результат процесса. Это обобщение похожего соглашения обозначать как сложение — процесс сложения — так и его результат — сумму a и b . ${\textstyle \sum _{i=1}^{\infty }a_{i}}$ ${\displaystyle a+b}$

Обычно члены ряда берутся из кольца , часто поля действительных чисел или поля комплексных чисел . В этом случае множество всех рядов само по себе является кольцом (и даже ассоциативной алгеброй ), в котором сложение состоит из почленного сложения ряда, а умножение — произведением Коши . ${\displaystyle \mathbb {R} }$ ${\displaystyle \mathbb {C} }$

Основные свойства

Бесконечный ряд или просто ряд — это бесконечная сумма, представленная бесконечным выражением вида ^[3]

$${\displaystyle a_{0}+a_{1}+a_{2}+\cdots ,}$$

где — любая упорядоченная последовательность членов , например , чисел , функций или чего-либо еще, что можно сложить (например, элементы любой абелевой группы в абстрактной алгебре ). Это выражение, которое получается из списка членов, если расположить их рядом и соединить их символом «+». Ряд также может быть представлен с помощью записи суммирования , например, ${\displaystyle (a_{n})}$ ${\displaystyle a_{0},a_{1},\dots }$

$${\displaystyle \sum _{n=0}^{\infty }a_{n}.}$$

Если абелева группа A термов имеет понятие предела (например, если это метрическое пространство ), то некоторые ряды, сходящиеся ряды , можно интерпретировать как имеющие значение в A , называемое суммой ряда . Это включает в себя общие случаи из исчисления , в которых группа является полем действительных чисел или полем комплексных чисел . Для ряда его k -я частичная сумма равна ^[2] ${\textstyle s=\sum _{n=0}^{\infty }a_{n}}$

$${\displaystyle s_{k}=\sum _{n=0}^{k}a_{n}=a_{0}+a_{1}+\cdots +a_{k}.}$$

По определению, ряд сходится к пределу L (или просто суммируется с L ), если последовательность его частичных сумм имеет предел L . ^[3] В этом случае обычно пишут ${\textstyle \sum _{n=0}^{\infty }a_{n}}$

$${\displaystyle L=\sum _{n=0}^{\infty }a_{n}.}$$

Ряд называется сходящимся , если он сходится к некоторому пределу, или расходящимся, если не сходится. Значение этого предела, если он существует, является значением ряда.

Сходящийся ряд

Иллюстрация 3 геометрических рядов с частичными суммами от 1 до 6 членов. Пунктирная линия представляет предел.

Ряд Σ a _n называется сходящимся или сходящимся , когда последовательность ( s _k ) частичных сумм имеет конечный предел . Если предел s _k бесконечен или не существует, ряд называется расходящимся . ^{[4] [2]} Когда предел частичных сумм существует, он называется значением (или суммой) ряда

$${\displaystyle \sum _{n=0}^{\infty }a_{n}=\lim _{k\to \infty }s_{k}=\lim _{k\to \infty }\sum _{n=0}^{k}a_{n}.}$$

Простой способ, которым бесконечный ряд может сходиться, — это если все a n _равны нулю для достаточно больших n . Такой ряд можно отождествить с конечной суммой, поэтому он бесконечен только в тривиальном смысле.

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

$${\displaystyle 1+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+\cdots +{\frac {1}{2^{n}}}+\cdots .}$$

Можно «визуализировать» его сходимость на числовой прямой : мы можем представить себе прямую длиной 2, с последовательными сегментами, отмеченными длинами 1, 1/2, 1/4 и т. д. Всегда есть место, чтобы отметить следующий сегмент, потому что длина оставшейся линии всегда такая же, как у последнего отмеченного сегмента: Когда мы отметили 1/2, у нас все еще есть неотмеченный кусок длины 1/2, поэтому мы, безусловно, можем отметить следующую 1/4. Этот аргумент не доказывает, что сумма равна 2 (хотя это так), но он доказывает, что она не больше  2. Другими словами, ряд имеет верхнюю границу. Учитывая, что ряд сходится, доказательство того, что он равен 2, требует только элементарной алгебры . Если ряд обозначить S , можно увидеть, что

$${\displaystyle S/2={\frac {1+{\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+\cdots }{2}}={\frac {1}{2}}+{\frac {1}{4}}+{\frac {1}{8}}+{\frac {1}{16}}+\cdots .}$$

Поэтому,

$${\displaystyle S-S/2=1\Rightarrow S=2.}$$

Идиому можно распространить на другие эквивалентные понятия серий. Например, повторяющаяся десятичная дробь , как в

$${\displaystyle x=0.111\dots ,}$$

кодирует серию

$${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{10^{n}}}.}$$

Поскольку эти ряды всегда сходятся к действительным числам (из-за того, что называется свойством полноты действительных чисел), говорить о рядах таким образом — то же самое, что говорить о числах, которые они обозначают. В частности, десятичное разложение 0,111... можно отождествить с 1/9. Это приводит к аргументу, что 9 × 0,111... = 0,999... = 1 , который опирается только на тот факт, что предельные законы для рядов сохраняют арифметические операции ; для получения более подробной информации об этом аргументе см. 0,999... .

Примеры числовых рядов

• Геометрическая прогрессия — это прогрессия, в которой каждый последующий член получается путем умножения предыдущего члена на постоянное число (в данном контексте называемое знаменателем). Например: ^[2] $${\displaystyle 1+{1 \over 2}+{1 \over 4}+{1 \over 8}+{1 \over 16}+\cdots =\sum _{n=0}^{\infty }{1 \over 2^{n}}=2.}$$

В общем случае геометрическая прогрессия с начальным членом и знаменателем , ${\displaystyle a}$ ${\displaystyle r}$

$${\displaystyle \sum _{n=0}^{\infty }ar^{n},}$$

сходится тогда и только тогда , когда , в этом случае он сходится к . ${\textstyle |r|<1}$ ${\textstyle {a \over 1-r}}$

• Гармонический ряд — это ряд ^[5] $${\displaystyle 1+{1 \over 2}+{1 \over 3}+{1 \over 4}+{1 \over 5}+\cdots =\sum _{n=1}^{\infty }{1 \over n}.}$$

Гармонический ряд расходящийся .

• Знакопеременный ряд — это ряд, в котором члены чередуют знаки. Примеры: $${\displaystyle 1-{1 \over 2}+{1 \over 3}-{1 \over 4}+{1 \over 5}-\cdots =\sum _{n=1}^{\infty }{\left(-1\right)^{n-1} \over n}=\ln(2),}$$

знакопеременный гармонический ряд , и

$${\displaystyle -1+{\frac {1}{3}}-{\frac {1}{5}}+{\frac {1}{7}}-{\frac {1}{9}}+\cdots =\sum _{n=1}^{\infty }{\frac {\left(-1\right)^{n}}{2n-1}}=-{\frac {\pi }{4}},}$$

формула Лейбница для ${\displaystyle \pi .}$

• Телескопическая серия $${\displaystyle \sum _{n=1}^{\infty }(b_{n}-b_{n+1})}$$

сходится, если последовательность b _n сходится к пределу L —при n, стремящемся к бесконечности. Значение ряда тогда равно b ₁ − L .

• Арифметико -геометрический ряд — это обобщение геометрического ряда, коэффициенты знаменателя которого равны членам арифметической прогрессии . Пример: $${\displaystyle 3+{5 \over 2}+{7 \over 4}+{9 \over 8}+{11 \over 16}+\cdots =\sum _{n=0}^{\infty }{(3+2n) \over 2^{n}}.}$$
• Ряд Дирихле $${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{p}}}}$$

сходится при p > 1 и расходится при p ≤ 1, что можно показать с помощью интегрального критерия, описанного ниже в тестах сходимости. Как функция p сумма этого ряда является дзета-функцией Римана .

• Гипергеометрический ряд : $${\displaystyle _{r}F_{s}\left[{\begin{matrix}a_{1},a_{2},\dotsc ,a_{r}\\b_{1},b_{2},\dotsc ,b_{s}\end{matrix}};z\right]:=\sum _{n=0}^{\infty }{\frac {(a_{1})_{n}(a_{2})_{n}\dotsb (a_{r})_{n}}{(b_{1})_{n}(b_{2})_{n}\dotsb (b_{s})_{n}\;n!}}z^{n}}$$

и их обобщения (такие как базовые гипергеометрические ряды и эллиптические гипергеометрические ряды ) часто появляются в интегрируемых системах и математической физике . ^[6]

• Есть некоторые элементарные ряды, сходимость которых пока не известна/не доказана. Например, неизвестно, является ли ряд Флинт-Хиллз $${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{3}\sin ^{2}n}}}$$ сходится или нет. Сходимость зависит от того, насколько хорошо может быть аппроксимирована рациональными числами (что пока неизвестно). Более конкретно, значения n с большими числовыми вкладами в сумму являются числителями конвергентов непрерывной дроби , последовательности, начинающейся с 1, 3, 22, 333, 355, 103993, ... (последовательность A046947 в OEIS ). Это целые числа n , которые близки к для некоторого целого числа m , так что близко к , а его обратная величина велика. ${\displaystyle \pi }$ ${\displaystyle \pi }$ ${\displaystyle m\pi }$ ${\displaystyle \sin n}$ ${\displaystyle \sin m\pi =0}$

Пи

$${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}={\frac {1}{1^{2}}}+{\frac {1}{2^{2}}}+{\frac {1}{3^{2}}}+{\frac {1}{4^{2}}}+\cdots ={\frac {\pi ^{2}}{6}}}$$

$${\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}(4)}{2n-1}}={\frac {4}{1}}-{\frac {4}{3}}+{\frac {4}{5}}-{\frac {4}{7}}+{\frac {4}{9}}-{\frac {4}{11}}+{\frac {4}{13}}-\cdots =\pi }$$

Натуральный логарифм числа 2

$${\displaystyle \sum _{n=1}^{\infty }{\frac {(-1)^{n+1}}{n}}=\ln 2}$$^[2]

$${\displaystyle \sum _{n=0}^{\infty }{\frac {1}{(2n+1)(2n+2)}}=\ln 2}$$

$${\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(n+1)(n+2)}}=2\ln(2)-1}$$

$${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n\left(4n^{2}-1\right)}}=2\ln(2)-1}$$

$${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{2^{n}n}}=\ln 2}$$

$${\displaystyle \sum _{n=1}^{\infty }\left({\frac {1}{3^{n}}}+{\frac {1}{4^{n}}}\right){\frac {1}{n}}=\ln 2}$$

$${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{2n(2n-1)}}=\ln 2}$$

Основание натурального логарифмае

$${\displaystyle \sum _{n=0}^{\infty }{\frac {(-1)^{n}}{n!}}=1-{\frac {1}{1!}}+{\frac {1}{2!}}-{\frac {1}{3!}}+\cdots ={\frac {1}{e}}}$$

$${\displaystyle \sum _{n=0}^{\infty }{\frac {1}{n!}}={\frac {1}{0!}}+{\frac {1}{1!}}+{\frac {1}{2!}}+{\frac {1}{3!}}+{\frac {1}{4!}}+\cdots =e}$$

Исчисление и частичное суммирование как операция над последовательностями

Частичное суммирование принимает в качестве входных данных последовательность ( a _n ) и дает в качестве выходных данных другую последовательность ( S _N ). Таким образом, это унарная операция над последовательностями. Кроме того, эта функция линейна и, таким образом, является линейным оператором в векторном пространстве последовательностей, обозначаемом Σ. Обратный оператор — это оператор конечной разности , обозначаемый Δ. Они ведут себя как дискретные аналоги интегрирования и дифференцирования , только для рядов (функций натурального числа) вместо функций действительной переменной. Например, последовательность (1, 1, 1, ...) имеет ряды (1, 2, 3, 4, ...) в качестве своего частичного суммирования, что аналогично тому факту, что ${\textstyle \int _{0}^{x}1\,dt=x.}$

В информатике это известно как префиксная сумма .

Свойства ряда

Ряды классифицируются не только по тому, сходятся они или расходятся, но и по свойствам членов ряда ₍ абсолютная или условная сходимость), типу сходимости ряда (поточечная, равномерная), классу члена ряда ₍ является ли он действительным числом, арифметической прогрессией, тригонометрической функцией) и т. д.

Неотрицательные термины

Когда a _n — неотрицательное действительное число для каждого n , последовательность S _N частичных сумм не убывает. Отсюда следует, что ряд Σ a _n с неотрицательными членами сходится тогда и только тогда, когда последовательность S _N частичных сумм ограничена.

Например, сериал

$${\displaystyle \sum _{n=1}^{\infty }{\frac {1}{n^{2}}}}$$

сходится, так как неравенство

$${\displaystyle {\frac {1}{n^{2}}}\leq {\frac {1}{n-1}}-{\frac {1}{n}},\quad n\geq 2,}$$

а аргумент телескопической суммы подразумевает, что частичные суммы ограничены 2. Точное значение исходного ряда — это проблема Базеля .

Группировка

При группировке ряда переупорядочивание ряда не происходит, поэтому теорема Римана о ряде не применяется. Новый ряд будет иметь свои частичные суммы как подпоследовательность исходного ряда, что означает, что если исходный ряд сходится, то и новый ряд тоже. Но для расходящихся рядов это неверно, например, 1-1+1-1+... сгруппированные каждые два элемента, создадут ряд 0+0+0+..., который является сходящимся. С другой стороны, расхождение нового ряда означает, что исходный ряд может быть только расходящимся, что иногда полезно, как в доказательстве Орема .

Абсолютная сходимость

Серия

$${\displaystyle \sum _{n=0}^{\infty }a_{n}}$$

сходится абсолютно, если ряд абсолютных значений

$${\displaystyle \sum _{n=0}^{\infty }\left|a_{n}\right|}$$

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

Условная сходимость

Ряд действительных или комплексных чисел называется условно сходящимся (или полусходящимся ), если он сходится, но не абсолютно сходится. Известным примером является знакопеременный ряд

$${\displaystyle \sum \limits _{n=1}^{\infty }{(-1)^{n+1} \over n}=1-{1 \over 2}+{1 \over 3}-{1 \over 4}+{1 \over 5}-\cdots ,}$$

который сходится (и его сумма равна  ), но ряд, образованный взятием абсолютного значения каждого члена, является расходящимся гармоническим рядом . Теорема Римана о рядах гласит, что любой условно сходящийся ряд можно переупорядочить, чтобы получить расходящийся ряд, и, более того, если являются действительными и — любое действительное число, то можно найти переупорядочение так, чтобы переупорядоченный ряд сходился с суммой, равной  . ${\displaystyle \ln 2}$ ${\displaystyle a_{n}}$ ${\displaystyle S}$ ${\displaystyle S}$

Тест Абеля является важным инструментом для обработки полусходящихся рядов. Если ряд имеет вид

$${\displaystyle \sum a_{n}=\sum \lambda _{n}b_{n}}$$

где частичные суммы ограничены, имеют ограниченную вариацию и существуют: ${\displaystyle B_{n}=b_{0}+\cdots +b_{n}}$ ${\displaystyle \lambda _{n}}$ ${\displaystyle \lim \lambda _{n}b_{n}}$

$${\displaystyle \sup _{N}\left|\sum _{n=0}^{N}b_{n}\right|<\infty ,\ \ \sum \left|\lambda _{n+1}-\lambda _{n}\right|<\infty \ {\text{and}}\ \lambda _{n}B_{n}\ {\text{converges,}}}$$

то ряд сходится. Это относится к поточечной сходимости многих тригонометрических рядов, как в ${\textstyle \sum a_{n}}$

$${\displaystyle \sum _{n=2}^{\infty }{\frac {\sin(nx)}{\ln n}}}$$

с . Метод Абеля состоит в записи и выполнении преобразования, аналогичного интегрированию по частям (называемого суммированием по частям ), которое связывает заданный ряд с абсолютно сходящимся рядом ${\displaystyle 0<x<2\pi }$ ${\displaystyle b_{n+1}=B_{n+1}-B_{n}}$ ${\textstyle \sum a_{n}}$

$${\displaystyle \sum (\lambda _{n}-\lambda _{n+1})\,B_{n}.}$$

Оценка ошибок усечения

Оценка ошибок усечения является важной процедурой в численном анализе (особенно в проверенных числах и доказательствах с помощью компьютера ).

Переменный ряд

Когда условия теста чередующегося ряда удовлетворяются , существует точная оценка ошибки. ^[7] Положим в качестве частичной суммы данного чередующегося ряда . Тогда справедливо следующее неравенство: ${\textstyle S:=\sum _{m=0}^{\infty }(-1)^{m}u_{m}}$ ${\displaystyle s_{n}}$ ${\textstyle s_{n}:=\sum _{m=0}^{n}(-1)^{m}u_{m}}$ ${\displaystyle S}$ $${\displaystyle |S-s_{n}|\leq u_{n+1}.}$$

ряд Тейлора

Теорема Тейлора — это утверждение, которое включает оценку погрешности при усечении ряда Тейлора .

Гипергеометрический ряд

Используя отношение , мы можем получить оценку погрешности при усечении гипергеометрического ряда . ^[8]

Матрица экспоненциальная

Для матричной экспоненты :

$${\displaystyle \exp(X):=\sum _{k=0}^{\infty }{\frac {1}{k!}}X^{k},\quad X\in \mathbb {C} ^{n\times n},}$$

выполняется следующая оценка ошибки (метод масштабирования и возведения в квадрат): ^{[9] [10] [11]}

$${\displaystyle T_{r,s}(X):=\left[\sum _{j=0}^{r}{\frac {1}{j!}}(X/s)^{j}\right]^{s},\quad \|\exp(X)-T_{r,s}(X)\|\leq {\frac {\|X\|^{r+1}}{s^{r}(r+1)!}}\exp(\|X\|).}$$

Тесты на сходимость

Существует множество тестов, которые можно использовать для определения сходимости или расходимости конкретных рядов.

• Тест на n-й член : Если, то ряд расходится; если, то тест неубедителен. ${\textstyle \lim _{n\to \infty }a_{n}\neq 0}$ ${\textstyle \lim _{n\to \infty }a_{n}=0}$
• Сравнительный тест 1 (см. Тест прямого сравнения ): Если — абсолютно сходящийся ряд, такой что для некоторого числа и для достаточно большого , то также абсолютно сходится. Если расходится и для всех достаточно больших , то также не сходится абсолютно (хотя он все еще может быть условно сходящимся, например, если знак чередуется). ${\textstyle \sum b_{n}}$ ${\displaystyle \left\vert a_{n}\right\vert \leq C\left\vert b_{n}\right\vert }$ ${\displaystyle C}$ ${\displaystyle n}$ ${\textstyle \sum a_{n}}$ ${\textstyle \sum \left\vert b_{n}\right\vert }$ ${\displaystyle \left\vert a_{n}\right\vert \geq \left\vert b_{n}\right\vert }$ ${\displaystyle n}$ ${\textstyle \sum a_{n}}$ ${\displaystyle a_{n}}$
• Сравнительный тест 2 (см. Предельный сравнительный тест ): Если — абсолютно сходящийся ряд, такой что для достаточно больших , то также абсолютно сходится. Если расходится, и для всех достаточно больших , то также не сходится абсолютно (хотя он все еще может быть условно сходящимся, например, если знак альтернатичен). ${\textstyle \sum b_{n}}$ ${\displaystyle \left\vert {\frac {a_{n+1}}{a_{n}}}\right\vert \leq \left\vert {\frac {b_{n+1}}{b_{n}}}\right\vert }$ ${\displaystyle n}$ ${\textstyle \sum a_{n}}$ ${\textstyle \sum \left|b_{n}\right|}$ ${\displaystyle \left\vert {\frac {a_{n+1}}{a_{n}}}\right\vert \geq \left\vert {\frac {b_{n+1}}{b_{n}}}\right\vert }$ ${\displaystyle n}$ ${\textstyle \sum a_{n}}$ ${\displaystyle a_{n}}$
• Тест отношения : Если существует константа такая, что для всех достаточно больших  , то сходится абсолютно. Когда отношение меньше , но не меньше константы, меньшей , сходимость возможна, но этот тест ее не устанавливает. ${\displaystyle C<1}$ ${\displaystyle \left\vert {\frac {a_{n+1}}{a_{n}}}\right\vert <C}$ ${\displaystyle n}$ ${\textstyle \sum a_{n}}$ ${\displaystyle 1}$ ${\displaystyle 1}$
• Проверка корня : если существует константа такая, что для всех достаточно больших  , то сходится абсолютно. ${\displaystyle C<1}$ ${\displaystyle \left\vert a_{n}\right\vert ^{\frac {1}{n}}\leq C}$ ${\displaystyle n}$ ${\textstyle \sum a_{n}}$
• Интегральный тест : если — положительная монотонно убывающая функция, определенная на интервале с для всех  , то сходится тогда и только тогда, когда интеграл конечен. ${\displaystyle f(x)}$ ${\displaystyle [1,\infty )}$ ${\displaystyle f(n)=a_{n}}$ ${\displaystyle n}$ ${\textstyle \sum a_{n}}$ ${\textstyle \int _{1}^{\infty }f(x)\,dx}$
• Тест на конденсацию Коши : если неотрицательно и не возрастает, то два ряда и имеют одинаковую природу: оба сходящиеся или оба расходящиеся. ${\displaystyle a_{n}}$ ${\textstyle \sum a_{n}}$ ${\textstyle \sum 2^{k}a_{(2^{k})}}$
• Тест на знакопеременный ряд : Ряд вида (с ) называется знакопеременным . Такой ряд сходится, если последовательность монотонно убывает и сходится к  . Обратное в общем случае неверно. ${\textstyle \sum (-1)^{n}a_{n}}$ ${\displaystyle a_{n}>0}$ ${\displaystyle a_{n}}$ ${\displaystyle 0}$
• Для некоторых конкретных типов рядов существуют более специализированные тесты сходимости, например, для рядов Фурье существует тест Дини .

Серия функций

Ряд действительных или комплексных функций

$${\displaystyle \sum _{n=0}^{\infty }f_{n}(x)}$$

сходится поточечно на множестве E , если ряд сходится для каждого x в E как обычный ряд действительных или комплексных чисел. Эквивалентно, частичные суммы

$${\displaystyle s_{N}(x)=\sum _{n=0}^{N}f_{n}(x)}$$

сходятся к ƒ ( x ) при N  → ∞ для каждого x  ∈  E .

Более сильным понятием сходимости ряда функций является равномерная сходимость . Ряд сходится равномерно, если он сходится поточечно к функции ƒ ( x ), а ошибка приближения предела N- й частичной суммой,

$${\displaystyle |s_{N}(x)-f(x)|}$$

можно сделать минимальным независимо от x , выбрав достаточно большое N.

Равномерная сходимость желательна для ряда, поскольку многие свойства членов ряда сохраняются пределом. Например, если ряд непрерывных функций сходится равномерно, то предельная функция также непрерывна. Аналогично, если ƒ _n интегрируемы на замкнутом и ограниченном интервале I и сходятся равномерно, то ряд также интегрируем на I и может быть проинтегрирован почленно. Тесты на равномерную сходимость включают M -тест Вейерштрасса , тест равномерной сходимости Абеля , тест Дини и критерий Коши .

Более сложные типы сходимости ряда функций также могут быть определены. В теории меры , например, ряд функций сходится почти всюду, если он сходится поточечно, за исключением определенного множества меры ноль . Другие режимы сходимости зависят от другой структуры метрического пространства на пространстве рассматриваемых функций. Например, ряд функций сходится в среднем на множестве E к предельной функции ƒ при условии

$${\displaystyle \int _{E}\left|s_{N}(x)-f(x)\right|^{2}\,dx\to 0}$$

при N  → ∞.

Ряд мощности

Степенной ряд — это ряд вида

$${\displaystyle \sum _{n=0}^{\infty }a_{n}(x-c)^{n}.}$$

Ряд Тейлора в точке c функции — это степенной ряд, который во многих случаях сходится к функции в окрестности c . Например, ряд

$${\displaystyle \sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}}$$

представляет собой ряд Тейлора в начале координат и сходится к нему для каждого x . ${\displaystyle e^{x}}$

Если только он не сходится только при x = c , такой ряд сходится на некотором открытом круге сходимости с центром в точке c на комплексной плоскости, а также может сходиться в некоторых точках границы круга. Радиус этого круга известен как радиус сходимости , и в принципе может быть определен из асимптотики коэффициентов a _n . Сходимость равномерна на замкнутых и ограниченных (то есть компактных ) подмножествах внутренней части круга сходимости: а именно, она равномерно сходится на компактных множествах .

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

Формальный степенной ряд

Хотя многие применения степенных рядов относятся к их суммам, также возможно рассматривать степенные ряды как формальные суммы , что означает, что на самом деле не выполняется никаких операций сложения, а символ «+» является абстрактным символом конъюнкции, который не обязательно интерпретируется как соответствующий сложению. В этой обстановке интерес представляет сама последовательность коэффициентов, а не сходимость ряда. Формальные степенные ряды используются в комбинаторике для описания и изучения последовательностей , которые в противном случае трудно обработать, например, с помощью метода порождающих функций . Ряд Гильберта–Пуанкаре является формальным степенным рядом, используемым для изучения градуированных алгебр .

Даже если предел степенного ряда не рассматривается, если члены поддерживают соответствующую структуру, то можно определить такие операции, как сложение , умножение , производная , первообразная для степенных рядов «формально», рассматривая символ «+» так, как если бы он соответствовал сложению. В наиболее общей ситуации члены происходят из коммутативного кольца , так что формальный степенной ряд можно складывать почленно и умножать через произведение Коши . В этом случае алгебра формальных степенных рядов является полной алгеброй моноида натуральных чисел над базовым кольцом терминов. ^[12] Если базовое кольцо терминов является дифференциальной алгеброй , то алгебра формальных степенных рядов также является дифференциальной алгеброй, при этом дифференцирование выполняется почленно.

Серия Лорана

Ряды Лорана обобщают степенные ряды, допуская в ряды члены как с отрицательными, так и с положительными показателями. Ряд Лорана — это, таким образом, любой ряд вида

$${\displaystyle \sum _{n=-\infty }^{\infty }a_{n}x^{n}.}$$

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

ряд Дирихле

Ряд Дирихле — это одна из форм

$${\displaystyle \sum _{n=1}^{\infty }{a_{n} \over n^{s}},}$$

где s — комплексное число . Например, если все a _n равны 1, то ряд Дирихле — это дзета-функция Римана

$${\displaystyle \zeta (s)=\sum _{n=1}^{\infty }{\frac {1}{n^{s}}}.}$$

Как и дзета-функция, ряды Дирихле вообще играют важную роль в аналитической теории чисел . Обычно ряд Дирихле сходится, если действительная часть s больше числа, называемого абсциссой сходимости. Во многих случаях ряд Дирихле можно расширить до аналитической функции вне области сходимости с помощью аналитического продолжения . Например, ряд Дирихле для дзета-функции сходится абсолютно, когда Re( s ) > 1, но дзета-функцию можно расширить до голоморфной функции, определенной на с простым полюсом в 1. ${\displaystyle \mathbb {C} \setminus \{1\}}$

Этот ряд можно непосредственно обобщить до общего ряда Дирихле .

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

Ряд функций, в котором члены являются тригонометрическими функциями, называется тригонометрическим рядом :

$${\displaystyle {\frac {1}{2}}A_{0}+\sum _{n=1}^{\infty }\left(A_{n}\cos nx+B_{n}\sin nx\right).}$$

Наиболее важным примером тригонометрического ряда является ряд Фурье функции.

История теории бесконечных рядов

Развитие бесконечных рядов

Греческий математик Архимед произвел первое известное суммирование бесконечного ряда методом, который до сих пор используется в области исчисления сегодня. Он использовал метод исчерпывания для вычисления площади под дугой параболы с суммированием бесконечного ряда и дал удивительно точное приближение π . ^{[13] [14]}

Математики из школы Кералы изучали бесконечные ряды около  1350 г. н.э. [ ^15]

В 17 веке Джеймс Грегори работал в новой десятичной системе над бесконечными рядами и опубликовал несколько рядов Маклорена . В 1715 году общий метод построения рядов Тейлора для всех функций, для которых они существуют, был предоставлен Бруком Тейлором . Леонард Эйлер в 18 веке разработал теорию гипергеометрических рядов и q-рядов .

Критерии сходимости

Считается, что исследование справедливости бесконечных рядов началось с Гаусса в 19 веке. Эйлер уже рассматривал гипергеометрический ряд

$${\displaystyle 1+{\frac {\alpha \beta }{1\cdot \gamma }}x+{\frac {\alpha (\alpha +1)\beta (\beta +1)}{1\cdot 2\cdot \gamma (\gamma +1)}}x^{2}+\cdots }$$

по этому поводу Гаусс опубликовал мемуар в 1812 году. В нем были установлены более простые критерии сходимости, а также вопросы остатков и области сходимости.

Коши (1821) настаивал на строгих тестах сходимости; он показал, что если два ряда сходятся, то их произведение не обязательно сходится, и с него начинается открытие эффективных критериев. Термины «сходимость» и «расходимость» были введены задолго до этого Грегори (1668). Леонард Эйлер и Гаусс дали различные критерии, а Колин Маклорен предвосхитил некоторые открытия Коши. Коши продвинул теорию степенных рядов , разложив комплексную функцию в такой форме.

Абель (1826) в своих мемуарах о биномиальном ряде

$${\displaystyle 1+{\frac {m}{1!}}x+{\frac {m(m-1)}{2!}}x^{2}+\cdots }$$

исправил некоторые выводы Коши и дал вполне научное суммирование рядов для комплексных значений и . Он показал необходимость рассмотрения вопроса о непрерывности в вопросах сходимости. ${\displaystyle m}$ ${\displaystyle x}$

Методы Коши привели к частным, а не общим критериям, и то же самое можно сказать о Раабе (1832), который провел первое подробное исследование предмета, о Де Моргане (с 1842), чей логарифмический тест Дюбуа-Реймона (1873) и Прингсгейма (1889) показал, что он не работает в определенной области; о Бертране (1842), Бонне (1843), Мальмстене (1846, 1847, последний без интегрирования); Стоксе (1847), Паукере (1852), Чебышеве (1852) и Арндте (1853).

Общие критерии были начаты Куммером (1835) и изучались Эйзенштейном (1847), Вейерштрассом в его различных работах по теории функций, Дини (1867), Дюбуа-Реймоном (1873) и многими другими. Мемуары Прингсгейма (1889) представляют наиболее полную общую теорию.

Равномерная сходимость

Теория равномерной сходимости была рассмотрена Коши (1821), на его ограничения указал Абель, но первыми, кто успешно на нее напал, были Зейдель и Стокс (1847–48). Коши снова занялся этой проблемой (1853), признав критику Абеля и придя к тем же выводам, которые уже сделал Стокс. Томае использовал доктрину (1866), но была большая задержка в признании важности различия между равномерной и неравномерной сходимостью, несмотря на требования теории функций.

Полуконвергенция

Ряд называется полусходящимся (или условно сходящимся), если он сходится, но не абсолютно .

Полусходящиеся ряды изучались Пуассоном (1823), который также дал общую форму для остатка формулы Маклорена. Однако самое важное решение проблемы принадлежит Якоби (1834), который атаковал вопрос об остатке с другой точки зрения и пришел к другой формуле. Это выражение также было разработано и дано другим Мальмстеном ( 1847). Шлемильх ( Zeitschrift , Vol.I, p. 192, 1856) также улучшил остаток Якоби и показал связь между остатком и функцией Бернулли

$${\displaystyle F(x)=1^{n}+2^{n}+\cdots +(x-1)^{n}.}$$

Дженокки (1852) внес дальнейший вклад в эту теорию.

Среди ранних авторов был Вронский , чей «loi suprême» (1815) был едва ли признан, пока Кейли (1873) не вывел его на первый план.

ряд Фурье

Ряды Фурье исследовались как результат физических соображений в то же самое время, когда Гаусс, Абель и Коши разрабатывали теорию бесконечных рядов. Ряды для разложения синусов и косинусов, кратных дуг по степеням синуса и косинуса дуги рассматривались Якобом Бернулли (1702) и его братом Иоганном Бернулли (1701), а еще раньше — Виетой . Эйлер и Лагранж упростили предмет, как и Пуансо , Шретер , Глейшер и Куммер .

Фурье (1807) поставил перед собой другую задачу — разложить заданную функцию x по синусам или косинусам кратных x , — задачу, которую он воплотил в своей работе «Аналитическая теория тепла» (1822). Эйлер уже дал формулы для определения коэффициентов ряда; Фурье был первым, кто утверждал и пытался доказать общую теорему. Пуассон (1820–23) также атаковал проблему с другой точки зрения. Фурье, однако, не решил вопрос о сходимости своего ряда, вопрос, который Коши (1826) должен был попытаться решить, а Дирихле (1829) — полностью научным образом (см. сходимость рядов Фурье ). Обработка Дирихле ( Крелль , 1829) тригонометрических рядов была предметом критики и усовершенствования Риманом (1854), Гейне, Липшицем , Шлефли и дю Буа-Реймоном . Среди других выдающихся авторов теории тригонометрических рядов и рядов Фурье были Дини , Эрмит , Хальфен , Краузе, Байерли и Аппель .

Обобщения

Асимптотический ряд

Асимптотические ряды , иначе асимптотические разложения , — это бесконечные ряды, частичные суммы которых становятся хорошими приближениями в пределе некоторой точки области. В общем случае они не сходятся, но полезны как последовательности приближений, каждое из которых дает значение, близкое к желаемому ответу для конечного числа членов. Разница в том, что асимптотический ряд нельзя заставить давать ответ настолько точный, насколько это требуется, как это делают сходящиеся ряды. Фактически, после определенного числа членов типичный асимптотический ряд достигает своего наилучшего приближения; если включить больше членов, большинство таких рядов будут давать худшие ответы.

Расходящиеся ряды

Во многих случаях желательно назначить предел ряду, который не сходится в обычном смысле. Метод суммирования — это такое назначение предела подмножеству множества расходящихся рядов, которое должным образом расширяет классическое понятие сходимости. Методы суммирования включают суммирование Чезаро , суммирование ( C , k ), суммирование Абеля и суммирование Бореля в порядке возрастания общности (и, следовательно, применимое к все более расходящимся рядам).

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

Суммирование по произвольным наборам индексов

Определения могут быть даны для сумм по произвольному набору индексов ^[16] Есть два основных отличия от обычного понятия ряда: во-первых, нет определенного порядка, заданного на наборе ; во-вторых, этот набор может быть несчетным. Понятие сходимости необходимо усилить, поскольку концепция условной сходимости зависит от упорядочения набора индексов. ${\displaystyle I.}$ ${\displaystyle I}$ ${\displaystyle I}$

Если — функция из набора индексов в набор, то «ряд», связанный с — это формальная сумма элементов по элементам индекса, обозначенная как ${\displaystyle a:I\mapsto G}$ ${\displaystyle I}$ ${\displaystyle G,}$ ${\displaystyle a}$ ${\displaystyle a(x)\in G}$ ${\displaystyle x\in I}$

$${\displaystyle \sum _{x\in I}a(x).}$$

Когда набор индексов — это натуральные числа, функция представляет собой последовательность, обозначенную как Ряд, индексированный по натуральным числам, является упорядоченной формальной суммой, и поэтому мы переписываем как , чтобы подчеркнуть порядок, вызванный натуральными числами. Таким образом, мы получаем общее обозначение для ряда, индексированного натуральными числами ${\displaystyle I=\mathbb {N} ,}$ ${\displaystyle a:\mathbb {N} \mapsto G}$ ${\displaystyle a(n)=a_{n}.}$ ${\textstyle \sum _{n\in \mathbb {N} }}$ ${\textstyle \sum _{n=0}^{\infty }}$

$${\displaystyle \sum _{n=0}^{\infty }a_{n}=a_{0}+a_{1}+a_{2}+\cdots .}$$

Семейства неотрицательных чисел

При суммировании семейства неотрицательных действительных чисел определите ${\displaystyle \left\{a_{i}:i\in I\right\}}$

$${\displaystyle \sum _{i\in I}a_{i}=\sup \left\{\sum _{i\in A}a_{i}\,:A\subseteq I,A{\text{ finite}}\right\}\in [0,+\infty ].}$$

Когда супремум конечен, то множество таких, что счетно. Действительно, для каждого мощность множества конечна, поскольку ${\displaystyle i\in I}$ ${\displaystyle a_{i}>0}$ ${\displaystyle n\geq 1,}$ ${\displaystyle \left|A_{n}\right|}$ ${\displaystyle A_{n}=\left\{i\in I:a_{i}>1/n\right\}}$

$${\displaystyle {\frac {1}{n}}\,\left|A_{n}\right|=\sum _{i\in A_{n}}{\frac {1}{n}}\leq \sum _{i\in A_{n}}a_{i}\leq \sum _{i\in I}a_{i}<\infty .}$$

Если счетно бесконечно и занумеровано как , то определенная выше сумма удовлетворяет условию ${\displaystyle I}$ ${\displaystyle I=\left\{i_{0},i_{1},\ldots \right\}}$

$${\displaystyle \sum _{i\in I}a_{i}=\sum _{k=0}^{+\infty }a_{i_{k}},}$$при условии, что значение допускается для суммы ряда. ${\displaystyle \infty }$

Любую сумму по неотрицательным действительным числам можно понимать как интеграл неотрицательной функции относительно меры подсчета , что объясняет многочисленные сходства между двумя конструкциями.

Абелевы топологические группы

Пусть будет отображением, также обозначаемым как из некоторого непустого множества в хаусдорфову абелеву топологическую группу Пусть будет совокупностью всех конечных подмножеств с рассматриваемым как направленное множество , упорядоченное относительно включения с объединением в качестве соединения . Семейство называется безусловно суммируемым, если следующий предел , который обозначается как и называется суммой , существует в ${\displaystyle a:I\to X}$ ${\displaystyle \left(a_{i}\right)_{i\in I},}$ ${\displaystyle I}$ ${\displaystyle X.}$ ${\displaystyle \operatorname {Finite} (I)}$ ${\displaystyle I,}$ ${\displaystyle \operatorname {Finite} (I)}$ ${\displaystyle \,\subseteq \,}$ ${\displaystyle \left(a_{i}\right)_{i\in I},}$ ${\displaystyle \sum _{i\in I}a_{i}}$ ${\displaystyle \left(a_{i}\right)_{i\in I},}$ ${\displaystyle X:}$

$${\displaystyle \sum _{i\in I}a_{i}:=\lim _{A\in \operatorname {Finite} (I)}\ \sum _{i\in A}a_{i}=\lim \left\{\sum _{i\in A}a_{i}\,:A\subseteq I,A{\text{ finite }}\right\}}$$Утверждение, что сумма является пределом конечных частичных сумм, означает, что для каждой окрестности начала координат в существует конечное подмножество такое , что ${\displaystyle S:=\sum _{i\in I}a_{i}}$ ${\displaystyle V}$ ${\displaystyle X,}$ ${\displaystyle A_{0}}$ ${\displaystyle I}$

$${\displaystyle S-\sum _{i\in A}a_{i}\in V\qquad {\text{ for every finite superset}}\;A\supseteq A_{0}.}$$

Поскольку не полностью упорядочен , это не предел последовательности частичных сумм, а скорее предел сети . ^{[17] [18]} ${\displaystyle \operatorname {Finite} (I)}$

Для каждой окрестности начала координат в существует меньшая окрестность такая, что Отсюда следует, что конечные частичные суммы безусловно суммируемого семейства образуют сеть Коши , то есть для каждой окрестности начала координат в существует конечное подмножество такое , что ${\displaystyle W}$ ${\displaystyle X,}$ ${\displaystyle V}$ ${\displaystyle V-V\subseteq W.}$ ${\displaystyle \left(a_{i}\right)_{i\in I},}$ ${\displaystyle W}$ ${\displaystyle X,}$ ${\displaystyle A_{0}}$ ${\displaystyle I}$

$${\displaystyle \sum _{i\in A_{1}}a_{i}-\sum _{i\in A_{2}}a_{i}\in W\qquad {\text{ for all finite supersets }}\;A_{1},A_{2}\supseteq A_{0},}$$что подразумевает, что для каждого (взяв и ). ${\displaystyle a_{i}\in W}$ ${\displaystyle i\in I\setminus A_{0}}$ ${\displaystyle A_{1}:=A_{0}\cup \{i\}}$ ${\displaystyle A_{2}:=A_{0}}$

Когда является полным , семейство безусловно суммируемо в тогда и только тогда, когда конечные суммы удовлетворяют последнему условию сети Коши. Когда является полным и безусловно суммируемо в тогда для каждого подмножества соответствующее подсемейство также безусловно суммируемо в ${\displaystyle X}$ ${\displaystyle \left(a_{i}\right)_{i\in I}}$ ${\displaystyle X}$ ${\displaystyle X}$ ${\displaystyle \left(a_{i}\right)_{i\in I},}$ ${\displaystyle X,}$ ${\displaystyle J\subseteq I,}$ ${\displaystyle \left(a_{j}\right)_{j\in J},}$ ${\displaystyle X.}$

Когда сумма семейства неотрицательных чисел, в расширенном смысле, определенном ранее, конечна, то она совпадает с суммой в топологической группе ${\displaystyle X=\mathbb {R} .}$

Если семейство в безусловно суммируемо, то для любой окрестности начала отсчета в существует конечное подмножество такое, что для любого индекса, не в Если — пространство с первой абелевой счетностью , то из этого следует, что множество таких, что счетно. Это не обязательно должно быть верно в общей абелевой топологической группе (см. примеры ниже). ${\displaystyle \left(a_{i}\right)_{i\in I}}$ ${\displaystyle X}$ ${\displaystyle W}$ ${\displaystyle X,}$ ${\displaystyle A_{0}\subseteq I}$ ${\displaystyle a_{i}\in W}$ ${\displaystyle i}$ ${\displaystyle A_{0}.}$ ${\displaystyle X}$ ${\displaystyle i\in I}$ ${\displaystyle a_{i}\neq 0}$

Безусловно сходящийся ряд

Предположим, что если семейство безусловно суммируемо в хаусдорфовой абелевой топологической группе, то ряд в обычном смысле сходится и имеет ту же сумму, ${\displaystyle I=\mathbb {N} .}$ ${\displaystyle a_{n},n\in \mathbb {N} ,}$ ${\displaystyle X,}$

$${\displaystyle \sum _{n=0}^{\infty }a_{n}=\sum _{n\in \mathbb {N} }a_{n}.}$$

По своей природе определение безусловной суммируемости нечувствительно к порядку суммирования. Когда является безусловно суммируемой, то ряд остается сходящимся после любой перестановки набора индексов, с той же суммой, ${\displaystyle \sum a_{n}}$ ${\displaystyle \sigma :\mathbb {N} \to \mathbb {N} }$ ${\displaystyle \mathbb {N} }$

$${\displaystyle \sum _{n=0}^{\infty }a_{\sigma (n)}=\sum _{n=0}^{\infty }a_{n}.}$$

Наоборот, если каждая перестановка ряда сходится, то ряд безусловно сходится. Когда является полным, то безусловная сходимость также эквивалентна тому факту, что все подряды сходятся; если является банаховым пространством , это эквивалентно тому, что для каждой последовательности знаков ряд ${\displaystyle \sum a_{n}}$ ${\displaystyle X}$ ${\displaystyle X}$ ${\displaystyle \varepsilon _{n}=\pm 1}$

$${\displaystyle \sum _{n=0}^{\infty }\varepsilon _{n}a_{n}}$$

сходится в ${\displaystyle X.}$

Ряды в топологических векторных пространствах

Если — топологическое векторное пространство (TVS) и — (возможно, несчетное ) семейство в , то это семейство суммируемо ^[19], если предел сети существует в , где — направленное множество всех конечных подмножеств направленного по включению и ${\displaystyle X}$ ${\displaystyle \left(x_{i}\right)_{i\in I}}$ ${\displaystyle X}$ ${\displaystyle \lim _{A\in \operatorname {Finite} (I)}x_{A}}$ ${\displaystyle \left(x_{A}\right)_{A\in \operatorname {Finite} (I)}}$ ${\displaystyle X,}$ ${\displaystyle \operatorname {Finite} (I)}$ ${\displaystyle I}$ ${\displaystyle \,\subseteq \,}$ ${\textstyle x_{A}:=\sum _{i\in A}x_{i}.}$

Он называется абсолютно суммируемым, если, кроме того, для всякая непрерывная полунорма на семействе суммируема. Если — нормируемое пространство и если — абсолютно суммируемое семейство в , то обязательно все , кроме счетного набора , равны нулю. Следовательно, в нормированных пространствах обычно всегда необходимо рассматривать только ряды со счетным числом членов. ${\displaystyle p}$ ${\displaystyle X,}$ ${\displaystyle \left(p\left(x_{i}\right)\right)_{i\in I}}$ ${\displaystyle X}$ ${\displaystyle \left(x_{i}\right)_{i\in I}}$ ${\displaystyle X,}$ ${\displaystyle x_{i}}$

Суммируемые семейства играют важную роль в теории ядерных пространств .

Ряды в банаховых и полунормированных пространствах

Понятие ряда легко можно распространить на случай полунормированного пространства . Если — последовательность элементов нормированного пространства и если то ряд сходится к в , если последовательность частичных сумм ряда сходится к в ; а именно, ${\displaystyle x_{n}}$ ${\displaystyle X}$ ${\displaystyle x\in X}$ ${\displaystyle \sum x_{n}}$ ${\displaystyle x}$ ${\displaystyle X}$ ${\textstyle \left(\sum _{n=0}^{N}x_{n}\right)_{N=1}^{\infty }}$ ${\displaystyle x}$ ${\displaystyle X}$

$${\displaystyle \left\|x-\sum _{n=0}^{N}x_{n}\right\|\to 0\quad {\text{ as }}N\to \infty .}$$

В более общем смысле сходимость рядов может быть определена в любой абелевой хаусдорфовой топологической группе . В частности, в этом случае сходится к , если последовательность частичных сумм сходится к ${\displaystyle \sum x_{n}}$ ${\displaystyle x}$ ${\displaystyle x.}$

Если — полунормированное пространство , то понятие абсолютной сходимости принимает вид: ряд векторов в сходится абсолютно, если ${\displaystyle (X,|\cdot |)}$ ${\textstyle \sum _{i\in I}x_{i}}$ ${\displaystyle X}$

$${\displaystyle \sum _{i\in I}\left|x_{i}\right|<+\infty }$$

в этом случае все значения, за исключением, самое большее, счетного числа, обязательно равны нулю. ${\displaystyle \left|x_{i}\right|}$

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

Хорошо упорядоченные суммы

Условно сходящийся ряд можно считать, если — вполне упорядоченное множество, например, порядковое число. В этом случае определим с помощью трансфинитной рекурсии : ${\displaystyle I}$ ${\displaystyle \alpha _{0}.}$

$${\displaystyle \sum _{\beta <\alpha +1}a_{\beta }=a_{\alpha }+\sum _{\beta <\alpha }a_{\beta }}$$

и для предельного ординала ${\displaystyle \alpha ,}$

$${\displaystyle \sum _{\beta <\alpha }a_{\beta }=\lim _{\gamma \to \alpha }\sum _{\beta <\gamma }a_{\beta }}$$

если этот предел существует. Если все пределы существуют до , то ряд сходится. ${\displaystyle \alpha _{0},}$

Примеры

1. Дана функция в абелевой топологической группе, определяемая для каждого ${\displaystyle f:X\to Y}$ ${\displaystyle Y,}$ ${\displaystyle a\in X,}$ $${\displaystyle f_{a}(x)={\begin{cases}0&x\neq a,\\f(a)&x=a,\\\end{cases}}}$$

функция, поддержка которой является синглтоном Тогда ${\displaystyle \{a\}.}$

$${\displaystyle f=\sum _{a\in X}f_{a}}$$

в топологии поточечной сходимости (то есть сумма берется в бесконечной группе произведений ). ${\displaystyle Y^{X}}$

1. В определении разбиений единицы строятся суммы функций по произвольному набору индексов ${\displaystyle I,}$ $${\displaystyle \sum _{i\in I}\varphi _{i}(x)=1.}$$

Хотя формально это требует понятия сумм несчетных рядов, по построению для каждого данного существует только конечное число ненулевых членов в сумме, поэтому вопросы относительно сходимости таких сумм не возникают. На самом деле, обычно предполагается больше: семейство функций локально конечно , то есть для каждого существует окрестность , в которой все, кроме конечного числа функций, обращаются в нуль. Любое свойство регулярности , такое как непрерывность, дифференцируемость, которое сохраняется при конечных суммах, сохранится и для суммы любого подмножества этого семейства функций. ${\displaystyle x,}$ ${\displaystyle x}$ ${\displaystyle x}$ ${\displaystyle \varphi _{i},}$

1. На первом несчетном ординале, рассматриваемом как топологическое пространство в топологии порядка , постоянная функция, заданная уравнением , удовлетворяет условию ${\displaystyle \omega _{1}}$ ${\displaystyle f:\left[0,\omega _{1}\right)\to \left[0,\omega _{1}\right]}$ ${\displaystyle f(\alpha )=1}$ $${\displaystyle \sum _{\alpha \in [0,\omega _{1})}f(\alpha )=\omega _{1}}$$

(другими словами, копии 1 есть ) только если взять предел по всем счетным частичным суммам, а не по конечным частям. Это пространство не является сепарабельным. ${\displaystyle \omega _{1}}$ ${\displaystyle \omega _{1}}$

Смотрите также

• Продолженная дробь
• Тесты на сходимость
• Сходящийся ряд
• Расходящиеся ряды
• Бесконечные композиции аналитических функций
• Бесконечное выражение
• Бесконечное произведение
• Итерированная бинарная операция
• Список математических рядов
• Префиксная сумма
• Трансформация последовательности
• Расширение серии

Ссылки

1. Томпсон, Сильванус ; Гарднер, Мартин (1998). Calculus Made Easy. Macmillan. ISBN 978-0-312-18548-0.
2. Weisstein, Eric W. "Series". mathworld.wolfram.com . Получено 2020-08-30 .
3. Swokowski 1983, стр. 501
4. Майкл Спивак, Исчисление
5. "Бесконечный ряд". www.mathsisfun.com . Получено 2020-08-30 .
6. Гаспер, Г., Рахман, М. (2004). Основные гипергеометрические ряды. Cambridge University Press .
7. Положительные и отрицательные члены: чередующиеся ряды
8. Йоханссон, Ф. (2016). Строгое вычисление гипергеометрических функций. Препринт arXiv arXiv:1606.06977.
9. Хайэм, Нью-Джерси (2008). Функции матриц: теория и вычисления. Общество промышленной и прикладной математики .
10. Хайэм, Нью-Джерси (2009). Метод масштабирования и возведения в квадрат для матричной экспоненты пересмотрен. Обзор SIAM, 51(4), 747-764.
11. Как и как не следует вычислять экспоненту матрицы
12. Николя Бурбаки (1989), Алгебра , Спрингер: §III.2.11.
13. O'Connor, JJ & Robertson, EF (февраль 1996). "История исчисления". Университет Сент-Эндрюс . Получено 2007-08-07 .
14. К., Бидвелл, Джеймс (30 ноября 1993 г.). «Архимед и Пи-еще раз». Школьные науки и математика . 94 (3).{{cite journal}}: CS1 maint: multiple names: authors list (link)
15. "Индейцы появились на 250 лет раньше "открытия" Ньютона". manchester.ac.uk .
16. Жан Дьедонне, Основы математического анализа , Academic Press
17. Бурбаки, Николас (1998). Общая топология: Главы 1–4 . Springer. С. 261–270. ISBN 978-3-540-64241-1.
18. Шоке, Гюстав (1966). Топология . Academic Press. С. 216–231. ISBN 978-0-12-173450-3.
19. Шефер и Вольф 1999, стр. 179–180.

Библиография

• Бромвич, Т. Дж. Введение в теорию бесконечных рядов MacMillan & Co. 1908, пересмотрено в 1926, переиздано в 1939, 1942, 1949, 1955, 1959, 1965.
• Дворецкий, Арье; Роджерс, К. Эмброуз (1950). «Абсолютная и безусловная сходимость в нормированных линейных пространствах». Proc. Natl. Acad. Sci. USA . 36 (3): 192–197. Bibcode :1950PNAS...36..192D. doi : 10.1073/pnas.36.3.192 . PMC  1063182 . PMID  16588972.
• Наричи, Лоуренс; Бекенштейн, Эдвард (2011). Топологические векторные пространства . Чистая и прикладная математика (Второе изд.). Бока-Ратон, Флорида: CRC Press. ISBN 978-1584888666. OCLC  144216834.
• Своковски, Эрл В. (1983), Исчисление с аналитической геометрией (Альтернативное издание), Бостон: Prindle, Weber & Schmidt, ISBN 978-0-87150-341-1
• Уолтер Рудин, Принципы математического анализа (McGraw-Hill: Нью-Йорк, 1964).
• Питч, Альбрехт (1972). Ядерные локально-выпуклые пространства . Берлин, Нью-Йорк: Springer-Verlag. ISBN 0-387-05644-0. OCLC  539541.
• Робертсон, А. П. (1973). Топологические векторные пространства . Cambridge England: University Press. ISBN 0-521-29882-2. OCLC  589250.
• Райан, Рэймонд (2002). Введение в тензорные произведения банаховых пространств . Лондон Нью-Йорк: Springer. ISBN 1-85233-437-1. OCLC  48092184.
• Шефер, Хельмут Х.; Вольф, Манфред П. (1999). Топологические векторные пространства . GTM . Том 8 (Второе издание). Нью-Йорк, Нью-Йорк: Springer New York Imprint Springer. ISBN 978-1-4612-7155-0. OCLC  840278135.
• Трев, Франсуа (2006) [1967]. Топологические векторные пространства, распределения и ядра . Минеола, Нью-Йорк: Dover Publications. ISBN 978-0-486-45352-1. OCLC  853623322.
• Вонг (1979). Пространства Шварца, ядерные пространства и тензорные произведения . Берлин Нью-Йорк: Springer-Verlag. ISBN 3-540-09513-6. OCLC  5126158.

МР 0033975

Внешние ссылки

• «Серия», Энциклопедия математики , EMS Press , 2001 [1994]
• Учебник по бесконечным рядам
• «Series-TheBasics». Онлайн-математические заметки Пола.
• «Show-Me Collection of Series» (PDF) . Лесли Грин.