Градиент

Эта статья о векторе; о способе заливки см. Градиент (компьютерная графика).

Операция градиента преобразует холм (слева), если смотреть на него сверху, в поле векторов (справа). Видно, что векторы направлены «в горку» и чем длиннее, тем круче наклон.

Градие́нт (от лат. gradiens, род. п. gradientis «шагающий, растущий») — вектор, своим направлением указывающий направление наибольшего возрастания некоторой величины $\varphi ,$ значение которой меняется от одной точки пространства к другой (скалярного поля), а по величине (модулю) равный скорости роста этой величины в этом направлении.

Например, если взять в качестве $\varphi$ высоту поверхности земли над уровнем моря, то её градиент в каждой точке поверхности будет показывать «направление самого крутого подъёма», и своей величиной характеризовать крутизну склона.

Другими словами, градиент — это производная по пространству, но в отличие от производной по одномерному времени, градиент является не скаляром, а векторной величиной.

С математической точки зрения на градиент можно смотреть как на:

1. Коэффициент линейности изменения значения функции многих переменных от изменения значения аргумента;
2. Вектор в пространстве области определения скалярной функции многих переменных, составленный из частных производных;
3. Строки матрицы Якоби содержат градиенты составных скалярных функций из которых состоит векторная функция многих переменных.

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

Термин впервые появился в метеорологии, а в математику был введён Максвеллом в 1873 г.; обозначение $\mathrm {grad}$ тоже предложил Максвелл.

Стандартные обозначения:

$\mathrm {grad} \,\varphi$

или, с использованием оператора набла,

$\nabla \varphi$

— вместо $\varphi$ может быть любое скалярное поле, обозначенное любой буквой, например $\mathrm {grad} \,V,\nabla V$ — обозначения градиента поля: $V$.

Ознакомление

Градиент 2D функции отображен на графике в виде синих стрелок

Представьте себе комнату, в которой температура задана с помощью скалярного поля T таким образом, что в каждой точке, заданной координатами (x, y, z) температура равняется T(x, y, z). (Предположим, что температура не изменяется с течением времени.) В каждой точке комнаты градиент функции T будет показывать направление, в котором температура возрастает быстрее всего. Величина градиента определяет насколько быстро температура возрастает в данном направлении.

Определение

Для случая трёхмерного пространства градиентом дифференцируемой в некоторой области скалярной функции $\varphi =\varphi (x,y,z)$ координат $x$, $y$, $z$ называется векторная функция с компонентами

${\frac {\partial \varphi }{\partial x}},{\frac {\partial \varphi }{\partial y}},{\frac {\partial \varphi }{\partial z}}.$

Или, использовав для единичных векторов по осям прямоугольных декартовых координат ${\vec {e}}_{x},{\vec {e}}_{y},{\vec {e}}_{z}$:

$\mathrm {grad} \,\varphi =\nabla \varphi ={\frac {\partial \varphi }{\partial x}}{\vec {e}}_{x}+{\frac {\partial \varphi }{\partial y}}{\vec {e}}_{y}+{\frac {\partial \varphi }{\partial z}}{\vec {e}}_{z}.$

Если $\varphi$ — функция $n$ переменных $x_{1},\;\ldots ,\;x_{n}$, то её градиентом называется $n$-мерный вектор

$\left({\frac {\partial \varphi }{\partial x_{1}}},\;\ldots ,\;{\frac {\partial \varphi }{\partial x_{n}}}\right),$

компоненты которого равны частным производным $\varphi$ по всем её аргументам.

• Размерность вектора градиента определяется, таким образом, размерностью пространства (или многообразия), на котором задано скалярное поле, о градиенте которого идёт речь.
• Оператором градиента называется оператор, действие которого на скалярную функцию (поле) даёт её градиент. Этот оператор иногда коротко называют просто «градиентом».

Смысл градиента любой скалярной функции $f$ в том, что его скалярное произведение с бесконечно малым вектором перемещения $d\mathbf {x}$ даёт полный дифференциал этой функции при соответствующем изменении координат в пространстве, на котором определена $f$, то есть линейную (в случае общего положения она же главная) часть изменения $f$ при смещении на $d\mathbf {x}$. Применяя одну и ту же букву для обозначения функции от вектора и соответствующей функции от его координат, можно написать:

$df={\frac {\partial f}{\partial x_{1}}}\,dx_{1}+{\frac {\partial f}{\partial x_{2}}}\,dx_{2}+{\frac {\partial f}{\partial x_{3}}}\,dx_{3}+\ldots =\sum _{i}{\frac {\partial f}{\partial x_{i}}}\,dx_{i}=(\mathrm {grad} \,\mathbf {f} \cdot d\mathbf {x} ).$

Стоит здесь заметить, что поскольку формула полного дифференциала не зависит от вида координат $x_{i}$, то есть от природы параметров x вообще, то полученный дифференциал является инвариантом, то есть скаляром, при любых преобразованиях координат, а поскольку $d\mathbf {x}$ — это вектор, то градиент, вычисленный обычным образом, оказывается ковариантным вектором, то есть вектором, представленным в дуальном базисе, какой только и может дать скаляр при простом суммировании произведений координат обычного (контравариантного), то есть вектором, записанным в обычном базисе. Таким образом, выражение (вообще говоря — для произвольных криволинейных координат) может быть вполне правильно и инвариантно записано как:

$df=\sum _{i}(\partial _{i}f)\,dx^{i}$

или, опуская по правилу Эйнштейна знак суммы,

$df=(\partial _{i}f)\,dx^{i}$

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

Используя интегральную теорему

$\iiint \limits _{V}\nabla \varphi \,dV=\iint \limits _{S}\varphi \,d\mathbf {s}$,

градиент можно выразить в интегральной форме:

$\nabla \varphi =\lim \limits _{V\to 0}{\frac {1}{V}}\left(\iint \limits _{S}\varphi \,d\mathbf {s} \right),$

здесь ${\it {S}}$ — замкнутая поверхность охватывающая объём ${\it {{V},d\mathbf {s} }}$ — нормальный элемент этой поверхности.

Пример

Например, градиент функции $\varphi (x,\;y,\;z)=2x+3y^{2}-\sin z$ будет представлять собой:

$\nabla \varphi =\left({\frac {\partial \varphi }{\partial x}},\;{\frac {\partial \varphi }{\partial y}},\;{\frac {\partial \varphi }{\partial z}}\right)=(2,\;6y,\;-\cos z).$

В физике

В различных отраслях физики используется понятие градиента различных физических полей.

Например, напряжённость электростатического поля есть минус градиент электростатического потенциала, напряжённость гравитационного поля (ускорение свободного падения) в классической теории гравитации есть минус градиент гравитационного потенциала. Консервативная сила в классической механике есть минус градиент потенциальной энергии.

В естественных науках

Понятие градиента находит применение не только в физике, но и в смежных и даже сравнительно далёких от физики науках (иногда это применение носит количественный, а иногда и просто качественный характер).

Например, градиент концентрации — нарастание или уменьшение по какому-либо направлению концентрации растворённого вещества, градиент температуры — увеличение или уменьшение по какому-то направлению температуры среды и т. д.

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

В экономике

В экономической теории понятие градиента используется для обоснования некоторых выводов. В частности, используемые для нахождения оптимума потребителя метод множителей Лагранжа и условия Куна-Таккера (позаимствованные из естественных наук) основаны на сопоставлении градиентов функции полезности и функции бюджетного ограничения.

Геометрический смысл

Рассмотрим семейство линий уровня функции $\varphi$:

$\gamma (h)=\{(x_{1},\;\ldots ,\;x_{n})\mid \varphi (x_{1},\;\ldots ,\;x_{n})=h\}.$

Нетрудно показать, что градиент функции $\varphi$ в точке ${\vec {x}}{\,}^{0}$ перпендикулярен её линии уровня, проходящей через эту точку. Модуль градиента показывает максимальную скорость изменения функции в окрестности ${\vec {x}}{\,}^{0}$, то есть частоту линий уровня. Например, линии уровня высоты изображаются на топографических картах, при этом модуль градиента показывает крутизну спуска или подъёма в данной точке.

Связь с производной по направлению

Используя правило дифференцирования сложной функции, нетрудно показать, что производная функции $\varphi$ по направлению ${\vec {e}}=(e_{1},\;\ldots ,\;e_{n})$ равняется скалярному произведению градиента $\varphi$ на единичный вектор ${\vec {e}}$:

${\frac {\partial \varphi }{\partial {\vec {e}}}}={\frac {\partial \varphi }{\partial x_{1}}}e_{1}+\ldots +{\frac {\partial \varphi }{\partial x_{n}}}e_{n}=(\nabla \varphi ,\;{\vec {e}}).$

Таким образом, для вычисления производной скалярной функции векторного аргумента по любому направлению достаточно знать градиент функции, то есть вектор, компоненты которого являются её частными производными.

Градиент в ортогональных криволинейных координатах

$\operatorname {grad} \,U(q_{1},\;q_{2},\;q_{3})={\frac {1}{H_{1}}}{\frac {\partial U}{\partial q_{1}}}{\vec {e}}_{1}+{\frac {1}{H_{2}}}{\frac {\partial U}{\partial q_{2}}}{\vec {e}}_{2}+{\frac {1}{H_{3}}}{\frac {\partial U}{\partial q_{3}}}{\vec {e}}_{3},$

где $H_{i}$ — коэффициенты Ламе.

Полярные координаты (на плоскости)

Коэффициенты Ламе:

${\begin{matrix}H_{1}=1\\H_{2}=r\end{matrix}}.$

Отсюда:

$\operatorname {grad} \,U(r,\;\theta )={\frac {\partial U}{\partial r}}{\vec {e_{r}}}+{\frac {1}{r}}{\frac {\partial U}{\partial \theta }}{\vec {e_{\theta }}}.$

Цилиндрические координаты

Коэффициенты Ламе:

${\begin{matrix}H_{1}=1\\H_{2}=r\\H_{3}=1\end{matrix}}.$

Отсюда:

$\operatorname {grad} \,U(r,\;\theta ,\;z)={\frac {\partial U}{\partial r}}{\vec {e_{r}}}+{\frac {1}{r}}{\frac {\partial U}{\partial \theta }}{\vec {e_{\theta }}}+{\frac {\partial U}{\partial z}}{\vec {e_{z}}}.$

Сферические координаты

Коэффициенты Ламе:

${\begin{matrix}H_{1}=1\;\;\;\;\;\;\\H_{2}=r\;\;\;\;\;\;\\H_{3}=r\sin {\theta }\end{matrix}}.$

Отсюда:

$\operatorname {grad} \,U(r,\;\theta ,\;\varphi )={\frac {\partial U}{\partial r}}{\vec {e_{r}}}+{\frac {1}{r}}{\frac {\partial U}{\partial \theta }}{\vec {e_{\theta }}}+{\frac {1}{r\sin {\theta }}}{\frac {\partial U}{\partial \varphi }}{\vec {e_{\varphi }}}.$

Вариации и обобщения

• Пусть $u\colon X\to Y$ — отображение между метрическими пространствами. Борелева функция $\rho \colon X\to \mathbb {R}$ называется верхним градиентом $u$ если следующее неравенство

  $|u(p)-u(q))_{Y}\leq \int \limits _{\gamma }\rho$

выполняется для произвольной спрямляемой кривой $\gamma$, соединяющей $p$ и $q$ в $X$.

См. также

• Что такое градиент на YouTube

• Векторный анализ
• Теорема Остроградского — Гаусса
• Формулы векторного анализа
• Оператор набла
• Градиент концентрации
• 4-градиент
• Оператор Кэнни

Литература

• Дубровин Б. А., Новиков С. П., Фоменко А. Т. Современная геометрия методы и приложения: учебное пособие для физико-математических специальностей университетов. — М.: Наука, 1986. — 759 с.

Ссылки

• Броунов П. И. Градиент // Энциклопедический словарь Брокгауза и Ефрона : в 86 т. (82 т. и 4 доп.). — СПб., 1890—1907.