Производная по направлению - Directional derivative
Эта секция нужны дополнительные цитаты для проверка. Соответствующее обсуждение можно найти на страница обсуждения. Пожалуйста помоги улучшить эту статью к добавление цитат в надежные источники. Материал, не полученный от источника, может быть оспорен и удален.(Октябрь 2012 г.) (Узнайте, как и когда удалить этот шаблон сообщения)
В математика, то производная по направлению многомерного дифференцируемая функция по заданному векторv в данный момент Икс интуитивно представляет собой мгновенную скорость изменения функции, проходящей через Икс со скоростью, заданной v. Таким образом, он обобщает понятие частная производная, в котором скорость изменения берется по одному из криволинейныйкоординатные кривые, все остальные координаты постоянны.
Производная по направлению - это частный случай Производная Гато.
Позволять ж - кривая, касательный вектор которой в некоторой выбранной точке равен v. Производная по направлению функции ж относительно v может обозначаться любым из следующего:
Определение
А контурный сюжет из , показывающий вектор градиента черным цветом, а единичный вектор масштабируется производной по направлению в направлении оранжевым. Вектор градиента длиннее, потому что градиент указывает в направлении наибольшей скорости увеличения функции.
Это определение действительно в широком диапазоне контекстов, например, когда норма вектора (и, следовательно, единичного вектора) не определен.[2]
Если функция ж является дифференцируемый в Икс, то производная по направлению существует вдоль любого вектора v, и у одного есть
где справа обозначает градиент и это скалярное произведение.[3] Это следует из определения пути и используя определение производной как предел, который можно вычислить на этом пути, чтобы получить:
Интуитивно понятно, что производная от ж в какой-то момент Икс представляет скорость изменения из ж, в направлении v относительно времени, когда движется мимо Икс.
Использование только направления вектора
Угол α между касательной А и горизонталь будет максимальной, если секущая плоскость содержит направление градиента А.
В Евклидово пространство, некоторые авторы[4] определим производную по направлению относительно произвольного ненулевого вектора v после нормализация, поэтому он не зависит от его величины и зависит только от его направления.[5]
Это определение дает скорость увеличения ж на единицу пройденного расстояния в направлении, заданном v. В этом случае
или в случае ж дифференцируема в Икс,
Ограничение на единичный вектор
В контексте функции на Евклидово пространство, некоторые тексты ограничивают вектор v быть единичный вектор. С этим ограничением оба приведенных выше определения эквивалентны.[6]
Характеристики
Многие из знакомых свойств обычного производная справедливы для производной по направлению. К ним относятся, для любых функций ж и грамм определено в район из, и дифференцируемый в, п:
Это определение можно доказать независимо от выбора γ, при условии γ выбирается в установленном порядке так, чтобы γ′(0) = v.
Производная Ли
В Производная Ли векторного поля вдоль векторного поля дается разностью двух производных по направлению (с нулевым кручением):
В частности, для скалярного поля , производная Ли сводится к стандартной производной по направлению:
Тензор Римана
Направленные производные часто используются во вводных выводах Тензор кривизны Римана. Рассмотрим изогнутый прямоугольник с бесконечно малым вектором δ по одному краю и δ′ По другой. Переводим ковектор S вдоль δ тогда δ′, А затем вычесть перевод по δ' а потом δ. Вместо построения производной по направлению с использованием частных производных мы используем ковариантная производная. Оператор перевода для δ таким образом
и для δ′,
Тогда разница между двумя путями будет
Можно утверждать[7] что некоммутативность ковариантных производных измеряет кривизну многообразия:
Используя приведенное выше определение оператора инфинитезимального переноса, мы видим, что оператор конечного переноса является экспоненциальной производной по направлению:
Это оператор перевода в том смысле, что он действует на функции с несколькими переменными. ж(Икс) в качестве
Доказательство последнего уравнения
В стандартном исчислении с одной переменной производная гладкой функции f (x) определяется (при малых ε)
Это можно изменить, чтобы найти f (x + ε):
Следует, что оператор перевода. Это мгновенно обобщается[9] к функциям многих переменных f (Икс)
Здесь - производная по направлению бесконечно малого смещения ε. Мы нашли бесконечно малую версию оператора перевода:
Очевидно, что закон группового умножения[10] U (g) U (f) = U (gf) принимает вид
Итак, предположим, что мы берем конечное смещение λ и разделим его на N частей (везде подразумевается N → ∞), так что λ/ N =ε. Другими словами,
Затем, применяя U (ε) N раз можно построить U (λ):
Теперь мы можем вставить вышеприведенное выражение для U (ε):
Техническое примечание: эта процедура возможна только потому, что группа перевода формирует Абелевподгруппа (Подалгебра Картана ) в алгебре Пуанкаре. В частности, закон группового умножения U (а) U (б) = U (а+б) не следует воспринимать как должное. Отметим также, что Пуанкаре - связная группа Ли. Это группа преобразований T (ξ), которые описываются непрерывным набором вещественных параметров . Закон группового умножения принимает вид
Принимая = 0 в качестве координат единицы, мы должны иметь
Фактические операторы в гильбертовом пространстве представлены унитарными операторами U (T (ξ)). В приведенных выше обозначениях мы убрали T; теперь пишем U (λ) как U (п(λ)). Для небольшой окрестности идентичности представление степенного ряда
неплохо. Предположим, что U (T (ξ)) образуют непроективное представление, т. Е. Что
Разложение f во вторую степень равно
После расширения уравнения умножения представлений и приравнивания коэффициентов имеем нетривиальное условие
С по определению симметрична по своим индексам, мы имеем стандартный Алгебра Ли коммутатор:
с C структурная постоянная. Генераторами переводов являются операторы с частными производными, которые коммутируют:
Это означает, что структурные константы обращаются в нуль, а значит, равны нулю и квадратичные коэффициенты разложения f. Это означает, что f просто аддитивно:
а значит, для абелевых групп
Q.E.D.
Вращения
В оператор вращения также содержит производную по направлению. Оператор вращения для угла θ, т.е. на величину θ = |θ| вокруг оси, параллельной = θ/ θ является
Здесь L векторный оператор, который порождает ТАК (3):
Геометрически можно показать, что бесконечно малое правое вращение изменяет вектор положения Икс к
Таким образом, при бесконечно малом вращении мы ожидаем:
Следует, что
Следуя той же процедуре возведения в степень, что и выше, мы приходим к оператору вращения в позиционном базисе, который является экспоненциальной производной по направлению:[12]
Нормальная производная
А нормальная производная является производной по направлению, взятой в направлении нормали (т. е. ортогональный ) на некоторую поверхность в космосе или, в более общем смысле, вдоль нормальный вектор поле, ортогональное некоторым гиперповерхность. См. Например Граничное условие Неймана. Если нормальное направление обозначить , то производная по направлению функции ж иногда обозначается как . В других обозначениях
В механике сплошной среды твердого тела
Некоторые важные результаты в механике сплошной среды требуют производных векторов по векторам и тензоры относительно векторов и тензоров.[13] В директива направления обеспечивает систематический способ поиска этих производных.
Ниже приведены определения производных по направлению для различных ситуаций. Предполагается, что функции достаточно гладкие, чтобы можно было брать производные.
Производные скалярных функций векторов
Позволять - вещественная функция вектора . Тогда производная от относительно (или в ) в направлении определяется как
для всех векторов .
Характеристики:
Если тогда
Если тогда
Если тогда
Производные векторных функций векторов
Позволять - вектор-функция вектора . Тогда производная от относительно (или в ) в направлении это тензор второго порядка определяется как
для всех векторов .
Характеристики:
Если тогда
Если тогда
Если тогда
Производные скалярных функций от тензоров второго порядка
Позволять - вещественная функция тензора второго порядка . Тогда производная от относительно (или в ) в направлении это тензор второго порядка определяется как
для всех тензоров второго порядка .
Характеристики:
Если тогда
Если тогда
Если тогда
Производные тензорнозначных функций от тензоров второго порядка
Позволять - тензорная функция второго порядка от тензора второго порядка . Тогда производная от относительно (или в ) в направлении это тензор четвертого порядка определяется как
^Если скалярное произведение не определено, градиент также не определено; однако для дифференцируемых ж, производная по направлению все еще определена, и аналогичная связь существует с внешней производной.
^Томас, Джордж Б. Младший; и Финни, Росс Л. (1979) Исчисление и аналитическая геометрия, Addison-Wesley Publ. Co., пятое издание, стр. 593.
^Обычно это предполагает Евклидово пространство - например, функция нескольких переменных обычно не имеет определения величины вектора и, следовательно, единичного вектора.
^Хьюз-Халлет, Дебора; Маккаллум, Уильям Дж .; Глисон, Эндрю М. (01.01.2012). Исчисление: одно- и многомерное. Джон Вили. п. 780. ISBN9780470888612. OCLC828768012.
^Зи, А. (2013). В двух словах о гравитации Эйнштейна. Принстон: Издательство Принстонского университета. п. 341. ISBN9780691145587.
^Зи, А. (2013). В двух словах о гравитации Эйнштейна. Принстон: Издательство Принстонского университета. ISBN9780691145587.
^Мексика, Кевин Кэхилл, Нью-Йоркский университет (2013). Физическая математика (Ред. Ред.). Кембридж: Издательство Кембриджского университета. ISBN978-1107005211.
^Эдвардс, Рон Ларсон, Роберт, Брюс Х. (2010). Исчисление одной переменной (9-е изд.). Бельмонт: Брукс / Коул. ISBN9780547209982.
^Шанкар Р. (1994). Принципы квантовой механики (2-е изд.). Нью-Йорк: Kluwer Academic / Plenum. п. 318. ISBN9780306447907.
^Дж. Э. Марсден и Т. Дж. Р. Хьюз, 2000 г., Математические основы упругости, Дувр.
Рекомендации
Хильдебранд, Ф. Б. (1976). Расширенный расчет для приложений. Прентис Холл. ISBN0-13-011189-9.