Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Градиент, представленный синими стрелками, обозначает направление наибольшего изменения скалярной функции. Значения функции представлены в оттенках серого и увеличиваются по значению от белого (низкий) до темного (высокий).

В векторном исчислении , то градиент из скалярной дифференцируемой функции F от нескольких переменных является векторным полем (или вектор-функции ) , значение которой в точке является вектором [а] , компоненты которого являются частными производными от по . [1] [2] [3] [4] [5] [6] [7] [8] [9] То есть, его градиент определяется в точке , в н-мерное пространство как вектор: [b]

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

Градиент двойственен полной производной : значение градиента в точке - это касательный вектор - вектор в каждой точке; в то время как значение производной в точке является ко касательным вектором - линейной функцией векторов. [c] Они связаны тем, что скалярное произведение градиента f в точке p с другим касательным вектором v равно производной по направлению f в точке p функции вдоль v ; то есть .

Вектор градиента можно интерпретировать как «направление и скорость наиболее быстрого увеличения». Если градиент функции отличен от нуля в точке p , направление градиента - это направление, в котором функция увеличивается наиболее быстро от p , а величина градиента - это скорость увеличения в этом направлении. [10] [11] [12] [13] [14] [15] [16] Кроме того, градиент является нулевым вектором в точке тогда и только тогда, когда это стационарная точка (где производная обращается в нуль). Таким образом, градиент играет фундаментальную роль в теории оптимизации , где он используется для максимизации функции путем подъема градиента..

Градиент допускает множественные обобщения на более общие функции на многообразиях ; см. § Обобщения .

Мотивация [ править ]

Градиент 2D-функции f ( x , y ) = xe - ( x 2 + y 2 ) нанесен синими стрелками на псевдоцветной график функции.

Рассмотрим комнату , где температура задается скалярным полем , Т , так что в каждой точке ( х , у , г ) температура Т ( х , у , г ) , не зависит от времени. В каждой точке комнаты градиент T в этой точке покажет направление, в котором температура повышается быстрее всего, удаляясь от ( x , y , z ) . Величина градиента будет определять, насколько быстро температура повышается в этом направлении.

Рассмотрим поверхность, высота которой над уровнем моря в точке ( x , y ) равна H ( x , y ) . Градиент H в точке представляет собой плоскость , вектор , указывающий в направлении крутого склона или класса в этой точке. Крутизна наклона в этой точке определяется величиной вектора градиента.

Градиент также можно использовать для измерения того, как скалярное поле изменяется в других направлениях, а не только в направлении наибольшего изменения, путем вычисления скалярного произведения . Предположим, что самый крутой уклон холма составляет 40%. Дорога, идущая прямо в гору, имеет уклон 40%, но дорога, огибающая холм под углом, будет иметь более пологий уклон. Например, если дорога находится под углом 60 ° к направлению подъема (когда оба направления проецируются на горизонтальную плоскость), то уклон вдоль дороги будет скалярным произведением между вектором градиента и единичным вектором вдоль дороги. , а именно 40% от косинуса 60 °, или 20%.

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

Обозначение [ править ]

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

  •  : для усиления векторного характера результата.
  • град f
  • : обратите внимание, что это обозначение может противоречить обозначению производной по направлению .
  • и  : обозначения Эйнштейна .

Определение [ править ]

Градиент функции f ( x , y ) = - (cos 2 x + cos 2 y ) 2 изображен как проецируемое векторное поле на нижнюю плоскость.

Градиент (или векторное поле градиента) скалярной функции f ( x 1 , x 2 , x 3 , ..., x n ) обозначается f или f, где ( nabla ) обозначает векторный дифференциальный оператор , del . Обозначение grad f также обычно используется для представления градиента. Градиент f определяется как уникальное векторное поле, скалярное произведение которого с любым вектором v в каждой точкеx - производная функции f по направлению v . То есть,

Формально градиент двойственен производной; увидеть связь с производной .

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

Величина и направление вектора градиента не зависят от конкретного координатного представления . [17] [18]

Декартовы координаты [ править ]

В трехмерной декартовой системе координат с евклидовой метрикой градиент, если он существует, задается следующим образом:

где i , j , k - стандартные единичные векторы в направлениях координат x , y и z соответственно. Например, градиент функции

является

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

Цилиндрические и сферические координаты [ править ]

В цилиндрических координатах с евклидовой метрикой градиент задается следующим образом: [19]

где ρ - осевое расстояние, φ - азимутальный или азимутальный угол, z - осевая координата, а e ρ , e φ и e z - единичные векторы, указывающие вдоль координатных направлений.

В сферических координатах градиент определяется как: [19]

где r - радиальное расстояние, φ - азимутальный угол, θ - полярный угол, а e r , e θ и e φ снова являются локальными единичными векторами, указывающими в направлениях координат (то есть нормированным ковариантным базисом ).

Для градиента в других ортогональных системах координат см. Ортогональные координаты (Дифференциальные операторы в трех измерениях) .

Общие координаты [ править ]

Мы рассматриваем общие координаты , которые мы записываем как x 1 , ..., x i , ..., x n , где n - количество измерений области. Здесь верхний индекс относится к позиции в списке координаты или компонента, поэтому x 2 относится ко второму компоненту, а не к величине x в квадрате. Индексная переменная i относится к произвольному элементу x i . Используя обозначения Эйнштейна , градиент можно записать как:

(Обратите внимание , что его двойное это ),

где и относятся к ненормализованному локальному ковариантному и контравариантному базисам соответственно, - это обратный метрический тензор , а соглашение Эйнштейна о суммировании подразумевает суммирование по i и j .

Если координаты ортогональны, мы можем легко выразить градиент (и дифференциал ) в терминах нормализованных базисов, которые мы называем и , используя масштабные коэффициенты (также известные как коэффициенты Ламе )  :

(и ),

где нельзя использовать обозначения Эйнштейна, поскольку невозможно избежать повторения более двух индексов. Несмотря на использование верхних и нижних индексов, , и не являются ни контравариантен , ни ковариантны.

Последнее выражение соответствует приведенным выше выражениям для цилиндрических и сферических координат.

Градиент и производная или дифференциал[ редактировать ]

Градиент тесно связан с (полной) производной ( (полным) дифференциалом ) : они транспонированы ( двойственны ) друг другу. Используя соглашение, согласно которому векторы в представлены векторами-столбцами , а ковекторы (линейные карты ) представлены векторами-строками , [a] градиент и производная выражаются как вектор-столбец и вектор-строка, соответственно, с теми же компонентами, но транспонировать друг друга:

;
.

Хотя оба они имеют одинаковые компоненты, они различаются типом математического объекта, который они представляют: в каждой точке производная представляет собой котангенс-вектор , линейную форму ( ковектор ), которая выражает, насколько (скалярный) результат изменяется для данного бесконечно малого изменение входного (вектора), в то время как в каждой точке градиент является касательным вектором , который представляет бесконечно малое изменение входного (векторного). В символах, градиент является элементом касательного пространства в точке, , в то время как производная отображение из касательного пространства к действительным числам, . Касательные пространства в каждой точке можно «естественным образом» отождествить [d] с векторным пространствомсамо по себе, и аналогично котангенсное пространство в каждой точке можно естественным образом отождествить с двойственным векторным пространством ковекторов; таким образом, значение градиента в точке можно рассматривать как вектор в оригинале , а не только как касательный вектор.

С вычислительной точки зрения, учитывая касательный вектор, вектор можно умножить на производную (в виде матриц), что равносильно взятию скалярного произведения с градиентом:

Дифференциальная или (внешняя) производная [ править ]

Наилучшее линейное приближение дифференцируемой функции

в точке х в R п является линейное отображение из R п к R , который часто обозначается ф.р. х или Df ( х ) и называется дифференциальной или ( общее ) производной от F по х . Функция DF , которая отображает й в ДФ х , называется (всего) дифференциальным или внешняя производной от F и является примеромдифференциальная 1-форма .

Подобно тому , как производная функции одного переменный представляет собой наклон от касательной к графику функции, [20] производная по направлению функции несколько переменных представляет собой наклон касательной гиперплоскости в направлении вектора.

Градиент связан с дифференциалом формулой

для любого vR n , где - скалярное произведение : взятие скалярного произведения вектора с градиентом аналогично взятию производной по направлению вдоль вектора.

Если R n рассматривается как пространство векторов-столбцов (размерности n ) (действительных чисел), то можно рассматривать df как вектор-строку с компонентами

так что df x ( v ) задается умножением матриц . Если принять стандартную евклидову метрику на R n , тогда градиент будет соответствующим вектором-столбцом, то есть

Линейное приближение к функции [ править ]

Наилучшее линейное приближение к функции может быть выражено через градиент, а не через производную. Градиент функции f из евклидова пространства R n в R в любой конкретной точке x 0 в R n характеризует наилучшее линейное приближение к f в точке x 0 . Приближение выглядит следующим образом:

для x, близкого к x 0 , где (∇ f  ) x 0 - градиент f, вычисленный в x 0 , а точка обозначает скалярное произведение на R n . Это уравнение эквивалентно первых двух слагаемых в многофакторном ряд Тейлора расширения F при х 0 .

Градиент как «производная» [ править ]

Пусть U - открытое множество в R n . Если функция F  : UR является дифференцируемой , то дифференциал F является (Фреше) производная F . Таким образом, f - функция из U в пространство R n такая, что

где · - скалярное произведение.

Как следствие, обычные свойства производной сохраняются для градиента, хотя градиент сам по себе не является производной, а скорее двойственен производной:

Линейность [ править ]

Градиент является линейным в том смысле, что если f и g - две действительные функции, дифференцируемые в точке aR n , а α и β - две константы, то αf + βg дифференцируем в точке a , и, более того,

Правило продукта [ править ]

Если f и g - действительные функции, дифференцируемые в точке aR n , то правило произведения утверждает, что произведение fg дифференцируемо в точке a , и

Цепное правило [ править ]

Предположим, что f  : AR - вещественнозначная функция, определенная на подмножестве A в R n , и что f дифференцируема в точке a . Есть две формы цепного правила, применяемого к градиенту. Сначала предположим, что функция g - параметрическая кривая ; то есть функция g  : IR n отображает подмножество IR в R n . Если g дифференцируема в точке cIтакое, что g ( c ) = a , то

где ∘ - оператор композиции : (  f  ∘  g ) ( x ) = f ( g ( x )) .

В более общем смысле, если вместо этого IR k , то имеет место следующее:

где ( Dg ) T обозначает транспонированную матрицу Якоби .

Во второй форме правило цепи, предположим , что час  : ЯR является действительная функция на подмножестве I в R , и что ч дифференцируема в точке F ( ) ∈ I . потом

Другие свойства и приложения [ править ]

Наборы уровней [ править ]

Поверхность уровня или изоповерхность - это набор всех точек, в которых некоторая функция имеет заданное значение.

Если f дифференцируема, то скалярное произведение (∇ f  ) xv градиента в точке x с вектором v дает производную f по направлению в точке x в направлении v . Из этого следует , что в этом случае градиент F является ортогональным к множествам уровня из F . Например, поверхность уровня в трехмерном пространстве определяется уравнением вида F ( x , y , z ) = c. Тогда градиент F нормален к поверхности.

В более общем смысле, любая вложенная гиперповерхность в римановом многообразии может быть вырезана уравнением вида F ( P ) = 0 таким, что dF нигде не равно нулю. Тогда градиент F нормален к гиперповерхности.

Точно так же аффинная алгебраическая гиперповерхность может быть определена уравнением F ( x 1 , ..., x n ) = 0 , где F - многочлен. Градиент F равен нулю в особой точке гиперповерхности (это определение особой точки). В неособой точке это ненулевой нормальный вектор.

Консервативные векторные поля и градиентная теорема [ править ]

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

Обобщения [ править ]

Якобиан [ править ]

Матрица Якоби является обобщением градиента для вектора-функций нескольких переменных и дифференцируемых отображений между евклидовыми пространствами или, в более общем плане , многообразие . [21] [22] Дальнейшим обобщением функции между банаховыми пространствами является производная Фреше .

Предположим, что f  : ℝ n → ℝ m - такая функция, что каждая из ее частных производных первого порядка существует на n . Тогда матрица Якоби f определяется как матрица размера m × n , обозначаемая просто или . ( Я , J ) й запись . Явно

Градиент векторного поля [ править ]

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

В прямоугольных координатах градиент векторного поля f = (  f 1 , f 2 , f 3 ) определяется как:

(где используется обозначение суммирования Эйнштейна, а тензорное произведение векторов e i и e k является диадическим тензором типа (2,0)). В целом, это выражение равно транспонированной матрице Якоби:

В криволинейных координатах или, в более общем смысле, на изогнутом многообразии градиент включает символы Кристоффеля :

где g jk - компоненты обратного метрического тензора, а e i - координатные базисные векторы.

Выражаясь более инвариантно, градиент векторного поля f может быть определен связностью Леви-Чивиты и метрическим тензором: [23]

где c - связь.

Римановы многообразия [ править ]

Для любой гладкой функции F на риманова многообразия ( М , г ) , градиент F векторное поле F такое , что для любого векторного поля X ,

то есть,

где g x (,) обозначает скалярное произведение касательных векторов в точке x, определяемое метрикой g, а X f - функция, которая переводит любую точку xM в производную f по направлению в направлении X , вычисленную в x . Другими словами, в координатной карте φ от открытого подмножества M до открытого подмножества R n , (∂ X f  ) ( x ) задается следующим образом:

где X j обозначает j- й компонент X в этой координатной карте.

Итак, локальная форма градиента принимает вид:

Обобщая случай M = R n , градиент функции связан с ее внешней производной, поскольку

Точнее, градиент f - это векторное поле, связанное с дифференциальной 1-формой df с помощью музыкального изоморфизма

(называемые «точными»), определяемые метрикой g . Связь между внешней производной и градиентом функции на R n является частным случаем этого, в котором метрика является плоской метрикой, заданной скалярным произведением.

См. Также [ править ]

  • Завиток
  • Расхождение
  • Четыре градиента
  • Матрица Гессе
  • Наклон градиента

Примечания [ править ]

  1. ^ a b В этой статье используется соглашение о том, что векторы-столбцы представляют векторы, а векторы-строки представляют ковекторы, но противоположное соглашение также распространено.
  2. ^ Строго говоря, градиент является векторным полем , а значение градиента в точке является касательным вектором в касательном пространстве в этой точке, а не вектором в исходном пространстве. Однако все касательные пространства можно естественным образом отождествить с исходным пространством, поэтому нет необходимости их различать; см. § Определение и связь с производной .
  3. ^ Значение градиента в точке можно рассматривать как вектор в исходном пространстве, тогда как значение производной в точке можно рассматривать как ковектор в исходном пространстве: линейную карту.
  4. ^ Неформально «естественно» идентифицировать означает, что это может быть сделано без каких-либо произвольных выборов. Это можно формализовать естественным преобразованием .

Ссылки [ править ]

  1. Бахман (2007 , с. 76)
  2. ^ Борегард & Fraleigh (1973 , стр. 84)
  3. Даунинг (2010 , стр. 316)
  4. Харпер (1976 , стр.15)
  5. ^ Kreyszig (1972 , стр. 307)
  6. McGraw-Hill (2007 , стр. 196)
  7. Moise (1967 , стр. 683)
  8. ^ Проттер & Моррите, младший (1970 , стр. 714)
  9. ^ Своковски и др. (1994 , с. 1038)
  10. Бахман (2007 , с. 77)
  11. ^ Даунинг (2010 , стр. 316–317)
  12. ^ Kreyszig (1972 , стр. 309)
  13. McGraw-Hill (2007 , стр. 196)
  14. Moise (1967 , стр. 684)
  15. ^ Проттер & Моррите, младший (1970 , стр. 715)
  16. ^ Своковски и др. (1994 , стр. 1036,1038–1039)
  17. ^ Kreyszig (1972 , стр. 308-309)
  18. Стокер (1969 , стр. 292)
  19. ^ a b Schey 1992 , стр. 139–142.
  20. ^ Проттер & Моррите, младший (1970 , стр. 21,88)
  21. ^ Борегард & Fraleigh (1973 , стр. 87248)
  22. ^ Kreyszig (1972 , стр. 333353496)
  23. Дубровин, Фоменко и Новиков 1991 , стр. 348–349.
  • Бахман, Дэвид (2007), Advanced Calculus Demystified , New York: McGraw-Hill , ISBN 978-0-07-148121-2
  • Beauregard, Raymond A .; Фрали, Джон Б. (1973), Первый курс линейной алгебры: с дополнительным введением в группы, кольца и поля , Бостон: Houghton Mifflin Company , ISBN 0-395-14017-X
  • Даунинг, Дуглас, доктор философии. (2010), Исчисление EZ Баррона , Нью-Йорк: Barron's , ISBN 978-0-7641-4461-5
  • Дубровин Б.А.; Фоменко АТ; Новиков, СП (1991). Современная геометрия - методы и приложения: Часть I: Геометрия поверхностей, группы преобразований и поля . Тексты для выпускников по математике (2-е изд.). Springer. ISBN 978-0-387-97663-1.
  • Харпер, Чарли (1976), Введение в математическую физику , Нью-Джерси: Прентис-Холл , ISBN 0-13-487538-9
  • Крейсциг, Эрвин (1972), Advanced Engineering Mathematics (3-е изд.), Нью-Йорк: Wiley , ISBN 0-471-50728-8
  • "Энциклопедия науки и технологий Макгроу Хилла". Энциклопедия науки и технологий Макгроу-Хилла (10-е изд.). Нью-Йорк: Макгроу-Хилл . 2007. ISBN 978-0-07-144143-8.
  • Мойс, Эдвин Э. (1967), Исчисление: Полное , Чтение: Аддисон-Уэсли
  • Protter, Murray H .; Морри-младший, Чарльз Б. (1970), Колледж по исчислению с аналитической геометрией (2-е изд.), Чтение: Addison-Wesley , LCCN  76087042
  • Schey, HM (1992). Div, Grad, Curl и все такое (2-е изд.). WW Нортон. ISBN 0-393-96251-2. OCLC  25048561 .CS1 maint: ref=harv (link)
  • Стокер, Дж. Дж. (1969), Дифференциальная геометрия , Нью-Йорк: Wiley , ISBN 0-471-82825-4
  • Своковски, Эрл В .; Олиник, Майкл; Пенс, Деннис; Коул, Джеффри А. (1994), Calculus (6-е изд.), Бостон: PWS Publishing Company, ISBN 0-534-93624-5

Дальнейшее чтение [ править ]

  • Корн, Тереза ​​М .; Корн, Гранино Артур (2000). Математический справочник для ученых и инженеров: определения, теоремы и формулы для справки и обзора . Dover Publications. С. 157–160. ISBN 0-486-41147-8. OCLC  43864234 .

Внешние ссылки [ править ]

  • «Градиент» . Ханская академия .
  • Купцов, Л.П. (2001) [1994], «Градиент» , Энциклопедия математики , EMS Press..
  • Вайсштейн, Эрик В. «Градиент» . MathWorld .