Векторный дифференциальный оператор
Эта статья об использовании del в математике. Для получения информации о самом символе см.
набла символ.
Del, или набла, является оператор используется в математике, в частности в векторное исчисление, как вектор дифференциальный оператор, обычно представленные набла символ ∇. Применительно к функция определено на одномерный домен, он обозначает его стандарт производная как определено в исчисление. Применительно к полю (функции, определенной в многомерной области), он может обозначать градиент (местами самый крутой склон) скалярное поле (или иногда векторное поле, как в Уравнения Навье – Стокса ), расхождение векторного поля или завиток (вращение) векторного поля в зависимости от способа его применения.
Строго говоря, del - это не конкретный оператор, а удобный математическая запись для этих трех операторов, что делает многие уравнения легче писать и запоминать. Символ del можно интерпретировать как вектор частная производная операторов, и его три возможных значения - градиент, дивергенция и завиток - можно формально рассматривать как товар со скаляром, a скалярное произведение, а перекрестное произведение соответственно дель "оператор" с полем. Эти официальные продукты не обязательно ездить с другими операторами или продуктами. Эти три использования, подробно описанные ниже, резюмируются как:
- Градиент:

- Расхождение:

- Завиток:

Определение
в Декартова система координат рп с координатами
и стандартная основа
, del определяется в терминах частная производная операторы как

В трехмерный Декартова система координат р3 с координатами
и стандартный базис или единичные векторы осей
, del записывается как

Del также может быть выражено в других системах координат, см. Например del в цилиндрических и сферических координатах.
Обозначения использования
Del используется как сокращенная форма для упрощения многих длинных математических выражений. Чаще всего используется для упрощения выражений для градиент, расхождение, завиток, производная по направлению, и Лапласиан.
Градиент
Векторная производная от a скалярное поле
называется градиент, и его можно представить как:

Он всегда указывает на направление наибольшего увеличения
, и у него есть величина равняется максимальной скорости роста в данной точке - точно так же, как стандартная производная. В частности, если холм определяется как функция высоты над плоскостью
, градиент в заданном месте будет вектором в плоскости xy (визуализируемой в виде стрелки на карте), указывающим в самом крутом направлении. Величина уклона - это величина самого крутого наклона.
В частности, это обозначение является мощным, потому что правило градиентного произведения очень похоже на случай 1d-производной:

Однако правила для точечные продукты не оказываются простыми, о чем свидетельствуют:

Расхождение
В расхождение из векторное поле
это скаляр функция, которая может быть представлена как:

Расхождение - это примерно мера увеличения векторного поля в направлении, которое оно указывает; но точнее, это мера тенденции поля сходиться к точке или отталкиваться от нее.
Сила обозначения del демонстрируется следующим правилом произведения:

Формула для векторный продукт немного менее интуитивно понятен, потому что этот продукт не коммутативен:

Завиток
В завиток векторного поля
это вектор функция, которая может быть представлена как:

Изгиб в точке пропорционален крутящему моменту на оси, которому подверглась бы крошечная вертушка, если бы она была отцентрирована в этой точке.
Операцию векторного произведения можно представить как псевдо-детерминант:
![nabla times { vec v} = left | { begin {matrix} { vec e} _ {x} & { vec e} _ {y} & { vec e} _ {z} [2pt] {{ frac { partial} { partial x}}} и {{ frac { partial} { partial y}}} и {{ frac { partial} { partial z}}} [2pt] v_ {x} & v_ {y} & v_ {z} end {matrix}} right |](https://wikimedia.org/api/rest_v1/media/math/render/svg/0186df28e644672e3db241adda2d7b137a91e994)
Снова сила обозначений демонстрируется правилом произведения:

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

Производная по направлению
В производная по направлению скалярного поля
в направлении
определяется как:

Это дает скорость изменения поля
в направлении
. В обозначениях операторов элемент в скобках можно рассматривать как единую связную единицу; динамика жидкостей широко использует это соглашение, называя его конвективная производная - «движущаяся» производная жидкости.
Обратите внимание, что
- оператор, переводящий скаляр в скаляр. Его можно расширить для работы с вектором, отдельно работая с каждым из его компонентов.
Лапласиан
В Оператор Лапласа является скалярным оператором, который может применяться как к векторным, так и к скалярным полям; для декартовых систем координат он определяется как:

а определение более общих систем координат дано в векторный лапласиан.
Лапласианство присутствует повсюду в современном мире. математическая физика, появляясь, например, в Уравнение Лапласа, Уравнение Пуассона, то уравнение теплопроводности, то волновое уравнение, а Уравнение Шредингера.
Матрица Гессе
В то время как
обычно представляет собой Лапласиан иногда
также представляет Матрица Гессе. Первый относится к внутреннему продукту
, в то время как последний относится к диадическому продукту
:
.
Так ли
относится к матрице лапласа или гессе, в зависимости от контекста.
Тензорная производная
Del также может применяться к векторному полю, в результате чего тензор. В тензорная производная векторного поля
(в трех измерениях) представляет собой 9-членный тензор второго ранга, то есть матрицу 3 × 3, но может быть обозначен просто как
, где
представляет диадический продукт. Эта величина эквивалентна транспонированию Матрица якобиана векторного поля относительно пространства. Тогда дивергенцию векторного поля можно выразить как след этой матрицы.
Для небольшого смещения
, изменение векторного поля определяется выражением:

Правила продукта
Для векторное исчисление:

Для матричное исчисление (для которого
можно написать
):

Другое интересное отношение (см., Например, Уравнения Эйлера ) следующее, где
это внешний продукт тензор:

Вторые производные
Диаграмма DCG: простая диаграмма, отображающая все правила, относящиеся ко вторым производным. D, C, G, L и CC обозначают дивергенцию, локон, градиент, лапласиан и локон локона соответственно. Стрелки указывают на наличие вторых производных. Синий кружок посередине представляет завиток завитка, тогда как два других красных круга (пунктир) означают, что DD и GG не существуют.
Когда del работает со скаляром или вектором, возвращается либо скаляр, либо вектор. Из-за разнообразия векторных произведений (скаляр, точка, крест) одно применение del уже приводит к трем основным производным: градиент (скалярное произведение), дивергенция (скалярное произведение) и curl (перекрестное произведение). Применение этих трех видов производных снова друг к другу дает пять возможных вторых производных для скалярного поля ж или векторное поле v; использование скаляра Лапласиан и векторный лапласиан дает еще два:

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

Два из них всегда равны:

Остальные 3 производные вектора связаны уравнением:

И один из них может быть даже выражен тензорным произведением, если функции выполнены правильно:

Меры предосторожности
Большинство вышеперечисленных векторных свойств (за исключением тех, которые явно зависят от дифференциальных свойств del - например, правила произведения) полагаются только на перестановку символов и обязательно должны выполняться, если символ del заменяется любым другим вектором. Это часть значения, которое необходимо получить при обозначении этого оператора в виде вектора.
Хотя часто можно заменить del вектором и получить векторную идентичность, сделав эти идентичности мнемоническими, обратное не обязательно надежно, потому что дель вообще не ездит на работу.
Контрпример, основанный на том, что Дель не смог поехать на работу:

Контрпример, основанный на дифференциальных свойствах Дела:

Центральным в этих различиях является тот факт, что del - это не просто вектор; это векторный оператор. В то время как вектор - это объект, имеющий как величину, так и направление, del не имеет ни величины, ни направления, пока не будет работать с функцией.
По этой причине тождества с участием del должны быть получены с осторожностью, используя как векторные тождества, так и дифференциация идентичности, такие как правило продукта.
Смотрите также
использованная литература
внешние ссылки