PROFILPELAJAR.COM

Супераддитивность — свойство числовой последовательности $\{a_{n}\}$ ( $n\geqslant 1$ ), при котором каждый элемент $(n+m)$ -й элемент не меньше суммы $a_{n}$ и $a_{m}$ для любых $m$ и $n$ : $a_{n+m}\geqslant a_{n}+a_{m}$ .

Понятие введено в связи с леммой Фекете^[1]: для любой супераддитивной последовательности $\{a_{n}\}$ предел $\lim a_{n}/n$ существует и равен супремуму $\sup a_{n}/n$ (предел может быть положительной бесконечностью, например, для последовательности $a_{n}=\log n!$ ).

Свойство может быть распространено на функции: $f$ супераддитивна, если $f(x+y)\geqslant f(x)+f(y)$ для любых $x$ и $y$ из области определения. Например, $f(x)=x^{2}$ является супераддитивной функцией для неотрицательных действительных чисел, поскольку квадрат $x+y$ всегда больше или равен сумме квадратов $x$ и $y$ для любых неотрицательных действительных чисел $x$ и $y$ .

Полуаддитивность (субаддитивность) — двойственное понятие, результаты о супераддитивных функциях и последовательностях переносятся и на полуаддитивные объекты, в частности, аналог леммы Фекете верен и для полуаддитивных последовательностей. Существуют расширения леммы Фекете, которые не требуют, чтобы определение супераддитивности выполнялось для всех $m$ и $n$ . Есть также результаты, которые позволяют вывести скорость сходимости к пределу, существование которого утверждается в лемме Фекете, если присутствует какая-либо супераддитивность или субаддитивность^[2]^[3].

Если $f$ — супераддитивная функция и 0 находится в её области определения, то $f(0)\leqslant 0$ (следует из $f(x)\leqslant f(x+y)-f(y)$ ).

Примеры

Определитель супераддитивен для неотрицательной эрмитовой матрицы, то есть если $A,B\in {\text{Mat}}_{n}(\mathbb {C} )$ — неотрицательные эрмитовы матрицы, то $\det(A+B)\geqslant \det(A)+\det(B)$ . Это следует из теоремы Минковского об определителе, которая в общем случае утверждает, что $\det(\cdot )^{1/n}$ является супераддитивной (то есть вогнутой)^[4] для неотрицательных эрмитовых матриц размера $n$ : если $A,B\in {\text{Mat}}_{n}(\mathbb {C} )$ — неотрицательные эрмитовы матрицы, то $\det(A+B)^{1/n}\geqslant \det(A)^{1/n}+\det(B)^{1/n}$ .

Функция взаимной информации супеаддитивна.

В 2009 году доказано^[5], что гамма-функция Адамара^[англ.] $H(x)$ супераддитивна для всех действительных чисел $x,y\geqslant 1{,}5031$ .

Примечания

↑ Fekete, M. (1923). "Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten". Mathematische Zeitschrift. 17 (1): 228—249. doi:10.1007/BF01504345.
↑ Probability theory and combinatorial optimization. — ISBN 0-89871-380-3.
↑ CBMS Lectures on Probability Theory and Combinatorial Optimization. Архивировано из оригинала 28 января 2021. Дата обращения: 15 января 2021.
↑ M. Marcus, H. Minc (1992). A survey in matrix theory and matrix inequalities. Dover. Theorem 4.1.8, page 115.
↑ Horst Alzer. A superadditive property of Hadamard's gamma function. — Springer, 2009. — doi:10.1007/s12188-008-0009-5.

Ссылки

György Polya and Gábor Szegö. Problems and theorems in analysis, volume 1. — Springer-Verlag, New York, 1976. — ISBN 0-387-05672-6.
Эта статья включает в себя текст с сайта PlanetMath, который опубликован под лицензией Creative Commons Attribution/Share-Alike License.