НОВОСТИ    БИБЛИОТЕКА    ЭНЦИКЛОПЕДИЯ    БИОГРАФИИ    КАРТА САЙТА    ССЫЛКИ    О ПРОЕКТЕ  

ГРАДИЕНТ

ГРАДИЕНТ - одно из основных понятий векторного анализа и теории нелинейных отображений.

Градиентом скалярной функции f(t) векторного аргумента t = (t1, ..., tn) из евклидова пространства Еn наз. производная функции f(t) по векторному аргументу t, то есть n-мерный вектор с компонентами ∂f/∂ti, 1 ≤ i ≤ n. Существуют следующие обозначения Г. функции f(t) в точке t0:

grad f(t0), ∇f(t0). ∂f(t0)/∂t f'(t0).

Г. представляет собой ковариантный вектор: компоненты Г., вычисленные в двух различных координатных системах t = (t1, ..., tn) и τ = (τ1, ..., τn), связаны соотношениями:

Вектор f'(t0), начало к-рого помещено в точку t0, указывает направление наискорейшего роста функции f(t), ортогональное линии или поверхности уровня функции f(t), проходящей через точку t0.

Производная функции в точке t0 в направлении произвольного единичного вектора N = (N1, ..., Nn) равна проекции Г. функции на это направление:

где φ - угол между N и f'(t0). Максимум производной достигается при φ = 0, т. е. в направлении Г., и равен длине Г.

Понятие Г. тесно связано с понятием дифференциала функции. В случае дифференцируемости f(f) в точке t0 вблизи t0

f(t) = f(t0) + (f'(t0)), t - t0) + o(|t - t0|). (2)

то есть df = (f'(t0), dt). Существование в точке t0 Г. функции f(t) не достаточно для справедливости формулы (2).

Точка t0, в к-рой f'(t0) = 0, наз. стационарной (критической или экстремальной) точкой функции f(t). Такой точкой является, напр., точка локального экстремума функции f(t) и система ∂f(t0)/∂t' = 0, 1 ≤ i ≤ n, используется для нахождения экстремальной точки t0.

При вычислении значения Г. справедливы формулы:

grad(λf) = λ grad f, λ = const, grad (f + g) = grad f + grad g, grad (fg) = g grad f + f grad g, grad (f/g) = 1/g2(g grad f - f grad g).

Г. f'(t0) есть производная в точке t0 по объему векторной функции объема

Ф(E) = ∫t∈∂E f(t)Mds,

тде Е - область с границей ∂Е, t0 ∈ E, ds - элемент площади ∂Е, а M - единичный вектор внешней нормали к ∂Е. Другими словами

f'(t0) = lim Ф(E)/объем E при E → t0.

Формулы (1), (2) и перечисленные выше свойства Г. указывают на инвариантный относительно выбора системы координат характер понятия Г.

В криволинейной системе координат х = (x1, ..., xn), в к-рой квадрат длины элемента

компоненты Г. функции f(x), отнесенного к ортам, касающимся координатных линий в точке х, равны

где матрица ||gij|| - обратная к матрице ||gij||.

Понятие Г. для более общих векторных функций векторного аргумента вводится при помощи равенства (2), означающего, что Г. есть линейный оператор, действием к-рого на приращение t - t0 аргумента получается главная линейная часть приращения f(t) - f(t0) вектор-функции f(f). Напр., если f(t) = (f1(t), ..., fm(t)) есть m-мерная вектор-функция аргумента t = (t1, ..., tn), то ее Г. в точке t0 - Якоби матрица J = J(t0) с компонентами ∂fi/∂tj(t0), 1 ≤ j ≤ m, 1 ≤ j ≤ n, причем

f(t) = f(t0) + J(t - t0) + o(t - t0),

где o(t - t0) - m-мерный вектор, длина к-рого есть o(|t - t0|). Матрица J определяется при помощи предельного перехода

(3)

с любым фиксированным n-мерным вектором τ.

В бесконечномерном гильбертовом пространстве определение (3) равносильно определению дифференцируемости по Фреше и Г. при этом совпадает с производной Фреше.

В случае, когда f(t) лежит в бесконечномерном векторном пространстве, возможны различные типы предельного перехода в (3) (см., напр., Гато производная).

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

типа (р, q) есть тензор типа (р, q+1) с компонентами

где ∇k - оператор абсолютного (ковариантного) дифференцирования.

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

Лит.: [1] Кочин Н. Е., Векторное исчисление и начала тензорного исчисления, 9 изд., М., 1965; [2] Рашевский П. К., Риманова геометрия и тензорный анализ, 3 изд., М., 1967.

Л. П. Купцов.


Источники:

  1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.











© MATHEMLIB.RU, 2001-2021
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'Математическая библиотека'
Рейтинг@Mail.ru