Супераддитивность - Superadditivity
В математика, а последовательность {ап}, п ≥ 1, называется супераддитив если он удовлетворяет неравенство
для всех м и п. Основная причина использования супераддитивных последовательностей заключается в следующем. лемма из-за Майкл Фекете.[1]
- Лемма: (Фекете) Для любой супераддитивной последовательности {ап}, п ≥ 1, предел Lim ап /п существует и равно sup ап /п. (Предел может быть положительной бесконечностью, например, для последовательности ап = журналп!.)
Аналогично функция ж является супераддитив если
для всех Икс и у в домен из ж.
Например, является супераддитивной функцией для неотрицательных действительные числа поскольку квадрат из всегда больше или равно квадрату плюс квадрат , для неотрицательных действительных чисел и .
Аналог леммы Фекете верен для субаддитив Существуют расширения леммы Фекете, которые не требуют, чтобы определение супераддитивности выполнялось для всех м и п. Существуют также результаты, позволяющие вывести скорость сходимости к пределу, существование которого указано в лемме Фекете, если присутствует какая-то супераддитивность и субаддитивность. Хорошее изложение этой темы можно найти в Steele (1997).[2][3]
Термин «супераддитив» также применяется к функциям из логическая алгебра к действительным числам, где , такие как более низкие вероятности.
Если ж является супераддитивной функцией, и если 0 находится в ее области определения, то ж(0) ≤ 0. Чтобы увидеть это, возьмем неравенство вверху: . Следовательно
Отрицательный результат супераддитивной функции равен субаддитив.
Примеры супераддитивных функций
- В детерминант является супераддитивом для неотрицательного Эрмитова матрица, т.е. если неотрицательны эрмитовы, то .
Это следует из теоремы о детерминанте Минковского, которая в более общем плане утверждает, что супераддитивна (эквивалентно вогнутый )[4] для неотрицательных эрмитовых матриц размера п: Если неотрицательны эрмитовы, то .
- Взаимная информация
- Хорст Альцер доказал [5] это Гамма-функция Адамара ЧАС(Икс) супераддитивна для всех действительных чисел Икс, у с участием Икс, у ≥ 1.5031.
Смотрите также
использованная литература
- ^ Фекете, М. (1923). "Über die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten". Mathematische Zeitschrift. 17 (1): 228–249. Дои:10.1007 / BF01504345.
- ^ Майкл Дж. Стил (1997). Теория вероятностей и комбинаторная оптимизация. СИАМ, Филадельфия. ISBN 0-89871-380-3.
- ^ Майкл Дж. Стил (2011). Лекции CBMS по теории вероятностей и комбинаторной оптимизации. Кембриджский университет.
- ^ М. Маркус, Х. Минк (1992). Обзор по теории матриц и матричным неравенствам. Дувр. Теорема 4.1.8, стр. 115.
- ^ Хорст Альцер (2009). Супераддитивное свойство гамма-функции Адамара. Springer. Дои:10.1007 / s12188-008-0009-5.
- Заметки
- Дьёрдь Поля и Габор Сегё. (1976). Проблемы и теоремы анализа, том 1. Спрингер-Верлаг, Нью-Йорк. ISBN 0-387-05672-6.
Эта статья включает в себя материал из Супераддитивности по PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.