Производная по направлению — это концепция исчисления многих переменных , которая измеряет скорость, с которой функция изменяется в определенном направлении в данной точке. [ нужна цитата ]
Производная по направлению дифференцируемой (скалярной) функции многих переменных вдоль заданного вектора v в данной точке x интуитивно представляет мгновенную скорость изменения функции, движущейся через x со скоростью, заданной v .
Производная по направлению скалярной функции f относительно вектора v в точке (например, положении) x может быть обозначена любым из следующих способов:
Это определение действительно в широком диапазоне контекстов, например, когда норма вектора (и, следовательно, единичный вектор) не определена. [2]
Для дифференцируемых функций
Если функция f дифференцируема в точке x , то производная по направлению существует вдоль любого единичного вектора v в точке x, и она имеет
где справа обозначает градиент , — скалярное произведение , а v — единичный вектор. [3] Это следует из определения пути и использования определения производной как предела, который можно вычислить вдоль этого пути, чтобы получить:
Интуитивно понятно, что производная f по направлению в точке x представляет скорость изменения f в направлении v относительно времени при движении мимо x .
Использование только направления вектора
В евклидовом пространстве некоторые авторы [4] определяют производную по направлению как произвольный ненулевой вектор v после нормализации , таким образом, она не зависит от его величины и зависит только от его направления. [5]
Это определение дает скорость увеличения f на единицу расстояния, пройденного в направлении, заданном v . В этом случае имеется
fx
Ограничение на единичный вектор
В контексте функции в евклидовом пространстве некоторые тексты ограничивают вектор v единичным вектором . С учетом этого ограничения оба приведенных выше определения эквивалентны. [6]
Характеристики
Многие из знакомых свойств обычной производной справедливы и для производной по направлению. К ним относятся, для любых функций f и g, определенных в окрестности и дифференцируемых в точке p :
Производная Ли векторного поля вдоль векторного поля определяется разностью двух производных по направлению (с нулевым кручением):
Тензор Римана
Производные по направлению часто используются во вводных выводах тензора кривизны Римана . Рассмотрим изогнутый прямоугольник с бесконечно малым вектором вдоль одного края и вдоль другого. Мы переносим ковектор вдоль then , а затем вычитаем сдвиг вдоль и then . Вместо построения производной по направлению с использованием частных производных мы используем ковариантную производную . Таким образом, оператор перевода for
В стандартном исчислении с одной переменной производная гладкой функции f ( x ) определяется как (для малого ε )
Это можно переставить, чтобы найти f ( x + ε ):
Отсюда следует, что это оператор перевода. Это мгновенно обобщается [9] на функции многих переменных f ( x )
Вот производная по направлению вдоль бесконечно малого смещения ε . Мы нашли бесконечно малую версию оператора перевода:
Очевидно, что групповой закон умножения [10] U ( g ) U ( f ) = U ( gf ) принимает вид
Итак, предположим, что мы берем конечное смещение λ и делим его на N частей ( всюду подразумевается N → ∞), так что λ / N = ε . Другими словами,
Тогда, применив U ( ε ) N раз, мы можем построить U ( λ ):
Теперь мы можем подставить приведенное выше выражение для U( ε ):
Используя тождество [11]
у нас есть
А поскольку U ( ε ) f ( x ) = f ( x + ε ), мы имеем
КЭД
Техническое примечание: эта процедура возможна только потому, что группа сдвигов образует абелеву подгруппу ( подалгебру Картана ) в алгебре Пуанкаре. В частности, не следует принимать на веру групповой закон умножения U ( a ) U ( b ) = U ( a + b ). Заметим также, что Пуанкаре — связная группа Ли . Это группа преобразований T ( ξ ), описываемых непрерывным набором вещественных параметров . Закон группового умножения принимает вид
Принимая в качестве координат тождества, мы должны иметь
Реальные операторы в гильбертовом пространстве представляются унитарными операторами U ( T ( ξ )). В приведенных выше обозначениях мы подавили T ; теперь мы пишем U ( λ ) как U ( P ( λ )). Для небольшой окрестности единицы представление степенного ряда
это довольно хорошо. Предположим, что U(T(ξ)) образует непроективное представление, т. е.
Разложение f во вторую степень есть
После расширения уравнения умножения представления и приравнивания коэффициентов имеем нетривиальное условие
Поскольку он по определению симметричен по своим индексам, мы имеем стандартный коммутатор алгебры Ли :
где C — структурная константа . Генераторы переводов представляют собой операторы частных производных, которые коммутируют:
Это означает, что структурные константы обращаются в нуль и, следовательно, исчезают и квадратичные коэффициенты в разложении f. Это означает, что f просто аддитивна:
и, следовательно, для абелевых групп
КЭД
Ротации
Оператор вращения также содержит производную по направлению. Оператор поворота на угол θ , т.е. на величину θ = | θ | вокруг оси , параллельной
Нормальная производная — это производная по направлению, взятая в направлении, нормальном (то есть ортогональном ) к некоторой поверхности в пространстве или, в более общем смысле, вдоль нормального векторного поля, ортогонального некоторой гиперповерхности . См., например , граничное условие Неймана . Если нормальное направление обозначается , то нормальную производную функции f иногда обозначают как . В других обозначениях
В механике сплошных сред твердого тела
Некоторые важные результаты в механике сплошной среды требуют производных векторов по векторам и тензоров по векторам и тензорам. [13] Направленная директива обеспечивает систематический способ поиска этих производных.
Ниже приведены определения производных по направлению для различных ситуаций. Предполагается, что функции достаточно гладкие, чтобы можно было брать производные.
Производные скалярнозначных функций векторов
Пусть f (v) — вещественная функция вектора v. Тогда производная f (v) по v (или в точке v) — это вектор, определенный через скалярное произведение , где любой вектор u равен
для всех векторов u. Вышеупомянутое скалярное произведение дает скаляр, а если u - единичный вектор, дает производную от f по направлению в точке v в направлении u.
Характеристики:
Если тогда
Если тогда
Если тогда
Производные векторных функций векторов
Пусть f(v) — вектор-функция вектора v. Тогда производная f(v) по v (или в точке v) — это тензор второго порядка, определенный через его скалярное произведение, причем любой вектор u равен
для всех векторов u. Вышеупомянутое скалярное произведение дает вектор, а если u является единичным вектором, дает производную направления f в точке v в направлении u.
Характеристики:
Если тогда
Если тогда
Если тогда
Производные скалярнозначных функций тензоров второго порядка
Пусть – вещественная функция тензора второго порядка . Тогда производная по (или при ) по направлению представляет собой тензор второго порядка, определяемый как
для всех тензоров второго порядка .
Характеристики:
Если тогда
Если тогда
Если тогда
Производные тензорнозначных функций тензоров второго порядка
Пусть – тензорная функция второго порядка от тензора второго порядка . Тогда производная по (или по ) по направлению представляет собой тензор четвертого порядка, определяемый как
^ Если скалярное произведение не определено, градиент также не определен; однако для дифференцируемого f производная по направлению все еще определена, и аналогичное соотношение существует с внешней производной.
^ Томас, Джордж Б. младший; и Финни, Росс Л. (1979) Исчисление и аналитическая геометрия , Addison-Wesley Publ. Co., пятое издание, с. 593.
^ Обычно это предполагает евклидово пространство - например, функция нескольких переменных обычно не имеет определения величины вектора и, следовательно, единичного вектора.
^ Зи, А. (2013). Коротко о гравитации Эйнштейна . Принстон: Издательство Принстонского университета. п. 341. ИСБН9780691145587.
^ Вайнберг, Стивен (1999). Квантовая теория полей (Перепечатано (с корр.). Ред.). Кембридж [ua]: Cambridge Univ. Нажимать. ISBN9780521550017.
^ Зи, А. (2013). Коротко о гравитации Эйнштейна . Принстон: Издательство Принстонского университета. ISBN9780691145587.
^ Кэхилл, Кевин Кэхилл (2013). Физическая математика (Отв. ред.). Кембридж: Издательство Кембриджского университета. ISBN978-1107005211.
^ Ларсон, Рон; Эдвардс, Брюс Х. (2010). Исчисление одной переменной (9-е изд.). Бельмонт: Брукс/Коул. ISBN9780547209982.
^ Шанкар, Р. (1994). Принципы квантовой механики (2-е изд.). Нью-Йорк: Kluwer Academic / Пленум. п. 318. ИСБН9780306447907.
^ Дж. Э. Марсден и Т. Дж. Р. Хьюз, 2000, Математические основы эластичности , Дувр.
Рекомендации
Хильдебранд, ФБ (1976). Расширенное исчисление для приложений . Прентис Холл. ISBN 0-13-011189-9.
К. Ф. Райли; член парламента Хобсон; С. Дж. Бенс (2010). Математические методы в физике и технике . Издательство Кембриджского университета. ISBN 978-0-521-86153-3.
Шапиро, А. (1990). «О понятиях направленной дифференцируемости». Журнал теории оптимизации и приложений . 66 (3): 477–487. дои : 10.1007/BF00940933. S2CID 120253580.
Внешние ссылки
СМИ, связанные с направленной производной, на Викискладе?