05-10-2023
Гессиан функции — симметрическая квадратичная форма, описывающая поведение функции во втором порядке.
Для функции , дважды дифференцируемой в точке
или
где (или ) и функция задана на -мерном вещественном пространстве (или комплексном пространстве ) с координатами (или ). В обоих случаях гессиан — квадратичная форма, заданная на касательном пространстве, не меняющаяся при линейных преобразованиях переменных. Гессианом также часто называют и определитель матрицы см. ниже.
Содержание |
Матрица этой квадратичной формы образована вторыми частными производными функции. Если все производные существуют, то
Определитель этой матрицы называется определителем Гессе, или гессианом.
Матрицы Гессе используются в задачах оптимизации методом Ньютона. Полное вычисление матрицы Гессе может быть затруднительно, поэтому были разработаны квазиньютоновские алгоритмы, основанные на приближённых выражениях для матрицы Гессе. Наиболее известный из них — алгоритм Бройдена — Флетчера — Гольдфарба — Шанно (англ.).
Смешанные производные функции f — это элементы матрицы Гессе, стоящие не на главной диагонали. Если они непрерывны, то порядок дифференцирования не важен:
Это можно также записать как
В этом случае матрица Гессе симметрична.
Если градиент (её векторная производная) равен нулю в некоторой точке , то эта точка называется критической. Достаточным условием существования экстремума в этой точке является знакоопределённость гессиана f (понимаемого в данном случае как квадратичная форма), а именно:
Если f — векторнозначная функция, то есть
то её вторые частные производные образуют не матрицу, а тензор ранга n+1.
Понятие введено Людвигом Отто Гессе (1844), который использовал другое название. Термин «гессиан» был введён Джеймсом Джозефом Сильвестром.
Матрица Гессе.