Градиент
Материал из MachineLearning.
Градиент (от лат. gradiens, род. падеж gradientis — шагающий, растущий) — векторная величина, определяющая направление наискорейшего возрастания некоторой скалярной функции общего вида, а также ее модуль (скорость этого возрастания).
В анализе данных и машинном обучении градиент играет ключевую роль, являясь основой для численных методов оптимизации (таких как градиентный спуск и его модификации).
Содержание |
Определение
Пусть в некоторой области евклидова пространства задана скалярная функция
, дифференцируемая в точке
.
Градиентом функции в точке
называется
-мерный вектор, компонентами которого являются частные производные функции
по всем пространственным переменным.
Для обозначения градиента используются оператор набла () или явная запись
.
В строгом геометрическом смысле градиент представляет собой ковектор, однако в прикладных задачах оптимизации его традиционно отождествляют с вектором-столбцом или вектором-строкой посредством стандартного скалярного произведения.
Геометрический и физический смысл
Градиент обладает двумя фундаментальными геометрическими свойствами в любой точке, где он не равен нулю:
- Направление наискорейшего роста: Градиент функции в точке
ортогонален гиперповерхности уровня (линии уровня для
), проходящей через эту точку, и направлен в сторону максимального увеличения значений функции. Соответственно, антиградиент (
) указывает направление наискорейшего убывания функции.
- Скорость роста: Длина вектора
в евклидовой метрике численно равна максимальной скорости изменения функции в данной точке по направлению.
Связь с производной по направлению
Пусть — единичный вектор направления в
, удовлетворяющий условию
. Производная функции по направлению
вычисляется как скалярное произведение градиента на этот вектор:
где — угол между вектором градиента и вектором направления. Очевидно, что производная по направлению принимает максимальное значение, когда
, то есть при
.
Основные свойства
Для любых дифференцируемых функций многих переменных и константы
справедливы следующие свойства:
- Линейность:
- Дифференцирование произведения (правило Лейбница):
- Дифференцирование частного:
- Градиент сложной функции (Chain rule):
- Если
— дифференцируемая функция одной переменной, а
, то:
- Если
Важные матричные градиенты
Пусть заданы векторы , а также матрица оператора
. В матричном исчислении часто используются следующие аналитические выражения:
- Градиент линейной формы:
- Градиент квадратичной формы:
Если матрица симметрична (
), то:
Применение в машинном обучении
В задачах обучения с учителем (Supervised Learning) качество алгоритма оценивается гладкой (или кусочно-гладкой) функцией потерь , зависящей от вектора настраиваемых параметров (весов)
.
Для минимизации функционала потерь применяется семейство методов первого порядка, использующих градиент:
- Градиентный спуск (Gradient Descent): Итерационный процесс обновления весов по правилу:
- Стохастический градиентный спуск (SGD): Оценка истинного градиента
по одному объекту или подвыборке (mini-batch), что критически важно при работе со сверхбольшими массивами данных.
- Оптимизаторы высших порядков: Использование градиента совместно с матрицей вторых частных производных (Гессианом
) в методе Ньютона-Рафсона, либо его квазиньютоновских аппроксимациях (BFGS, L-BFGS).
См. также
Литература
- Кудрявцев Л. Д. Курс математического анализа. — М.: Высшая школа, 2003. — Т. 2.
- Борис Т. Поляк. Введение в оптимизацию. — М.: Наука, 1983.
- Goodfellow I., Bengio Y., Courville A. Deep Learning. — MIT Press, 2016.

