Del

редактировать

Векторный дифференциальный оператор

Оператор Del,. представлен. символом набла

Del, или набла, представляет собой оператор, используемый в математике, в частности в векторном исчислении, как векторный дифференциал оператор, обычно обозначаемый символом набла ∇. При применении к функции , определенной в одномерном домене, она обозначает ее стандартную производную, как определено в исчислении. При применении к полю (функции, определенной в многомерной области) он может обозначать градиент (локально самый крутой наклон) скалярного поля (или иногда векторное поле, как в уравнениях Навье – Стокса ), расходимость векторного поля или curl (вращение) вектора поле, в зависимости от способа его нанесения.

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

Градиент: $grad ⁡ f = ∇ f {\ displaystyle \ operatorname {grad} f = \ nabla f}$ ${\ displaystyle \ operatorname {grad} f = \ nabla f}$
Дивергенция: $div ⁡ v → = ∇ ⋅ v → {\ displaystyle \ operatorname {div} {\ vec {v}} = \ nabla \ cdot {\ vec {v}}}$ ${\ displaystyle \ operatorname {div} {\ vec {v}} = \ nabla \ cdot {\ vec {v}}}$
Curl: $curl ⁡ v → = ∇ × v → {\ displaystyle \ operatorname {curl} {\ vec {v}} = \ nabla \ times {\ vec {v}}}$ ${\ displaystyle \ operatorname {curl} {\ vec {v}} = \ nabla \ раз {\ vec {v}}}$

Содержание

1 Определение
2 Использование обозначений
- 2.1 Градиент
- 2.2 Дивергенция
- 2.3 Curl
- 2.4 Производная по направлению
- 2.5 Лапласиан
- 2.6 Матрица Гессе
- 2.7 Тензорная производная
3 Правила продукта
4 Вторые производные
5 Меры предосторожности
6 См. Также
7 Ссылки
8 Внешние ссылки

Определение

В декартовой системе координат Rс координатами $(x 1,…, xn) {\ displaystyle (x_ {1}, \ dots, x_ {n})}$ $(x_ {1}, \ dots, x_ {n})$ и стандартный базис ${e → 1,…, e → n} {\ displaystyle \ {{\ vec {e}} _ {1}, \ dots, {\ vec {e}} _ {n} \}}$ $\ {{\ vec е} _ {1}, \ точки, {\ vec e} _ {n} \}$ , del определяется в терминах частной производной ive операторы как

∇ = ∑ i = 1 ne → i ∂ ∂ xi = (∂ ∂ x 1,…, ∂ ∂ xn) {\ displaystyle \ nabla = \ sum _ {i = 1} ^ { n} {\ vec {e}} _ {i} {\ partial \ over \ partial x_ {i}} = \ left ({\ partial \ over \ partial x_ {1}}, \ ldots, {\ partial \ over \ partial x_ {n}} \ right)}

{\ displaystyle \ nabla = \ sum _ {i = 1} ^ {n} {\ vec {e}} _ {i} {\ partial \ over \ partial x_ {i}} = \ left ({\ partial \ over \ partial x_ {1}}, \ ldots, {\ partial \ over \ partial x_ {n}} \ right)}

В трехмерной декартовой системе координат R с координатами $(x, y, z) {\ displaystyle ( x, y, z)}$ $(Икс, Y, Z)$ и стандартный базис или единичные векторы осей ${e → x, e → y, e → z} {\ displaystyle \ {{\ vec {e}} _ {x}, {\ vec {e}} _ {y}, {\ vec {e}} _ {z} \}}$ $\ {{\ vec e} _ {x}, {\ vec e} _ {y}, {\ vec e} _ {z} \}$ , del записывается как

∇ = e → x ∂ ∂ Икс + е → Y ∂ ∂ Y + E → Z ∂ ∂ Z = (∂ ∂ x, ∂ ∂ Y, ∂ ∂ Z) {\ displaystyle \ nabla = {\ vec {e}} _ {x} {\ partial \ over \ partial x} + {\ vec {e}} _ {y} {\ partial \ over \ partial y} + {\ vec {e}} _ {z} {\ partial \ over \ partial z} = \ left ({\ partial \ over \ partial x}, {\ partial \ over \ partial y}, {\ partial \ over \ partial z} \ right)}

{\ displaystyle \ nabla = {\ vec {e}} _ {x} {\ partial \ over \ partial x} + {\ vec {e}} _ {y} {\ partial \ over \ partial y} + {\ vec {e}} _ {z} {\ partial \ over \ partial z} = \ left ({\ partial \ over \ partial x}, {\ partial \ over \ partial y}, {\ partial \ over \ partial z} \ right)}

Del также может быть выражено в других системах координат, см. пример del в цилиндрической и сферической форме координаты.

Использование в обозначениях

Del используется как сокращенная форма для упрощения многих длинных математических выражений. Чаще всего используется для упрощения выражений для градиента, дивергенции, curl, производной по направлению и лапласиана <349.>Градиент

Производная вектора скалярного поля $f {\ displaystyle f}$ $f$ называется градиентом, и она может быть представленным как:

град ⁡ е = ∂ е ∂ xe → x + ∂ f ∂ ye → y + ∂ f ∂ ze → z = ∇ f {\ displaystyle \ operatorname {grad} f = {\ partial f \ over \ partial x} {\ vec {e}} _ {x} + {\ partial f \ over \ partial y} {\ vec {e}} _ {y} + {\ partial f \ over \ partial z} {\ vec {e}} _ {z} = \ nabla f}

\ operatorname {grad} f = {\ partial f \ over \ partial x} {\ vec e} _ {x} + {\ partial f \ over \ partial y} {\ vec e} _ {y} + {\ partial f \ over \ partial z} {\ vec e} _ {z} = \ nabla f

Он всегда указывает в направлении наибольшего увеличения $f {\ displaystyle f}$ $f$ , и он имеет величину , равную максимальной скорости увеличения в точке - точно так же, как стандартная производная. В частности, если холм определяется как функция высоты над плоскостью $h (x, y) {\ displaystyle h (x, y)}$ $h (x, y)$ , градиент в данном месте будет вектор в плоскости xy (визуализируемый в виде стрелки на карте), указывающий в самом крутом направлении. Величина уклона - это величина самого крутого наклона.

В частности, это обозначение является мощным, потому что правило градиентного произведения очень похоже на случай 1d-производной:

∇ (fg) = f ∇ g + g ∇ f {\ displaystyle \ nabla (fg) = f \ nabla g + g \ nabla f}

\ nabla (fg) = f \ nabla g + g \ nabla f

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

∇ (u → ⋅ v →) знак равно (u → ⋅ ∇) v → + (v → ⋅ ∇) u → + u → × (∇ × v →) + v → × (∇ × u →) {\ displaystyle \ nabla ({\ vec {u }} \ cdot {\ vec {v}}) = ({\ vec {u}} \ cdot \ nabla) {\ vec {v}} + ({\ vec {v}} \ cdot \ nabla) {\ vec {u}} + {\ vec {u}} \ times (\ nabla \ times {\ vec {v}}) + {\ vec {v}} \ times (\ nabla \ times {\ vec {u}}) }

\ nabla (\ vec u \ cdot \ vec v) = (\ vec u \ cdot \ nabla) \ vec v + (\ vec v \ cdot \ nabla) \ vec u + \ vec u \ times (\ nabla \ times \ vec v) + \ vec v \ times (\ nabla \ times \ vec u)

Дивергенция

Дивергенция векторного поля $v → (x, y, z) = vxe → x + vye → y + vze → z {\ displaystyle {\ vec {v}} (x, y, z) = v_ {x} {\ vec {e}} _ {x} + v_ {y} {\ vec {e}} _ { y} + v_ {z} {\ vec {e}} _ {z}}$ ${\ vec v} (x, y, z) = v_ {x } {\ vec e} _ {x} + v_ {y} {\ vec e} _ {y} + v_ {z} {\ vec e} _ {z}$ - это скалярная функция, которая может быть представлена как:

div ⁡ v → = ∂ vx ∂ x + ∂ vy ∂ y + ∂ vz ∂ z знак равно ∇ ⋅ v → {\ displaystyle \ operatorna me {div} {\ vec {v}} = {\ partial v_ {x} \ over \ partial x} + {\ partial v_ {y} \ over \ partial y} + {\ partial v_ {z} \ over \ partial z} = \ nabla \ cdot {\ vec {v}}}

\ operatorname {div} {\ vec v} = {\ partial v_ {x} \ над \ partial x} + {\ parti al v_ {y} \ over \ partial y} + {\ partial v_ {z} \ over \ partial z} = \ nabla \ cdot {\ vec v}

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

Сила обозначения del демонстрируется следующим правилом произведения:

∇ ⋅ (fv →) = (∇ f) ⋅ v → + f (∇ ⋅ v →) {\ displaystyle \ nabla \ cdot (f {\ vec {v}}) = (\ nabla f) \ cdot {\ vec {v}} + f (\ nabla \ cdot {\ vec {v}})}

{\ displaystyle \ nabla \ cdot (е {\ vec {v}}) = (\ nabla f) \ cdot {\ vec {v}} + f (\ nabla \ cdot {\ vec {v}})}

Формула для векторное произведение немного менее интуитивно понятно, поскольку это произведение не коммутативно:

∇ ⋅ (u → × v →) = (∇ × u →) ⋅ v → - u → ⋅ (∇ × v →) {\ displaystyle \ nabla \ cdot ({\ vec {u}} \ times {\ vec {v}}) = (\ nabla \ times {\ vec {u}}) \ cdot {\ vec {v}} - {\ vec {u}} \ cdot (\ nabla \ times {\ vec {v}})}

{\ displaystyle \ nabla \ cdot ({\ vec {u}} \ times {\ vec {v}}) = (\ nabla \ times {\ vec {u}}) \ cdot {\ vec {v}} - {\ vec {u}} \ cdot (\ nabla \ times {\ vec {v}})}

Curl

curl векторного поля $v → (Икс, Y, Z) = vxe → x + vye → y + vze → z {\ displaystyle {\ vec {v}} (x, y, z) = v_ {x} {\ vec {e}} _ {x} + v_ {y} {\ vec {e}} _ {y} + v_ {z} {\ vec {e}} _ {z}}$ ${\ vec v} (x, y, z) = v_ {x } {\ vec e} _ {x} + v_ {y} {\ vec e} _ {y} + v_ {z} {\ vec e} _ {z}$ - это вектор функция, которая может быть представлена как:

curl ⁡ v → = (∂ vz ∂ y - ∂ vy ∂ z) e → x + (∂ vx ∂ z - ∂ vz ∂ x) e → y + (∂ vy ∂ Икс - ∂ vx ∂ Y) е → Z = ∇ × v → {\ Displaystyle \ OperatorName {curl} {\ vec { v}} = \ left ({\ partial v_ {z} \ over \ partial y} - {\ partial v_ {y} \ over \ partial z} \ right) {\ vec {e}} _ {x} + \ left ({\ partial v_ {x} \ over \ partial z} - {\ partial v_ {z} \ over \ partial x} \ right) {\ vec {e}} _ {y} + \ left ({\ partial v_ {y} \ over \ partial x} - {\ partial v_ {x} \ over \ partial y} \ right) {\ vec {e}} _ {z} = \ nabla \ times {\ vec {v}} }

{\ displaystyle \ operatorname {curl} {\ vec {v}} = \ left ({\ partial v_ {z} \ over \ partial y} - {\ partial v_ {y} \ over \ partial z} \ right) {\ vec {e}} _ {x} + \ left ({\ partial v_ {x} \ over \ partial z} - {\ partial v_ {z} \ over \ partial x} \ right) {\ vec {e}} _ {y} + \ left ({\ partial v_ {y} \ over \ partial x} - {\ partial v_ {x} \ over \ partial y} \ right) {\ vec {e}} _ {z} = \ nabla \ times {\ vec {v}}}

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

Операция векторного произведения может быть визуализирована как детерминант псевдо- :

∇ × v → = | e → x e → y e → z ∂ ∂ x ∂ ∂ y ∂ ∂ z v x v y v z | {\ displaystyle \ 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 |}

\ 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 |

Снова сила обозначения показана правилом произведения:

∇ × (fv →) = (∇ е) × v → + f (∇ × v →) {\ displaystyle \ nabla \ times (f {\ vec {v}}) = (\ nabla f) \ times {\ vec {v}} + f (\ nabla \ times {\ vec {v}})}

\ nabla \ times (f {\ vec v}) = (\ nabla f) \ times {\ vec v} + f (\ nabla \ раз {\ vec v})

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

∇ × (u → × v →) знак равно u → (∇ ⋅ v →) - v → (∇ ⋅ u →) + (v → ⋅ ∇) u → - (u → ⋅ ∇) v → {\ displaystyle \ nabla \ times ({\ vec {u }} \ times {\ vec {v}}) = {\ vec {u}} \, (\ nabla \ cdot {\ vec {v}}) - {\ vec {v}} \, (\ nabla \ cdot {\ vec {u}}) + ({\ vec {v}} \ cdot \ nabla) \, {\ vec {u}} - ({\ vec {u}} \ cdot \ nabla) \, {\ vec {v}}}

\ nabla \ times (\ vec u \ times \ vec v) = \ vec u \, (\ nabla \ cdot \ vec v) - \ vec v \, (\ nabla \ cdot \ vec u) + (\ vec v \ cdot \ nabla) \, \ vec u - (\ vec u \ cdot \ nabla) \, \ vec v

Производная по направлению

Производная по направлению скалярного поля $f (x, y, z) {\ displaystyle f (x, y, z)}$ $f (x, y, z)$ в направлении $a → (x, y, z) = ax → x + aye → y + aze → z {\ displaystyle {\ vec {a}} (x, y, z) = a_ {x} {\ vec {e}} _ {x} + a_ {y} {\ vec {e}} _ {y} + a_ {z} {\ vec {e}} _ {z}}$ ${ \ vec a} (x, y, z) = a_ {x} {\ vec e} _ {x} + a_ {y} {\ vec e} _ {y} + a_ {z} {\ vec e} _ {z}$ определяется как:

a → ⋅ grad ⁡ f = ax ∂ f ∂ x + ay ∂ f ∂ y + az ∂ f ∂ z = a → ⋅ (∇ f) {\ displaystyle {\ vec { a}} \ cdot \ operatorname {grad} f = a_ {x} {\ partial f \ over \ partial x} + a_ {y} {\ partial f \ over \ partial y} + a_ {z} {\ partial f \ over \ partial z} = {\ vec {a}} \ cdot (\ nabla f)}

{\ displaystyle {\ vec {a}} \ cdot \ operatorname {grad} f = a_ {x} {\ partial f \ over \ partial x} + a_ {y} {\ partial f \ over \ partial y} + a_ {z} {\ partial f \ over \ partial z} = {\ vec {a}} \ cdot (\ nabla f)}

Это дает скорость изменения поля $f {\ displaystyle f}$ $f$ в направление $a → {\ displaystyle {\ vec {a}}}$ ${\ vec {a}}$ . В обозначениях операторов элемент в скобках можно рассматривать как единую связную единицу; гидродинамика широко использует это соглашение, называя его конвективной производной - «движущейся» производной жидкости.

Обратите внимание, что $(a → ⋅ ∇) {\ displaystyle ({\ vec {a}} \ cdot \ nabla)}$ $({\ vec a} \ cdot \ nabla)$ - это оператор, переводящий скаляр в скаляр. Его можно расширить для работы с вектором, отдельно работая с каждым из его компонентов.

Лапласиан

Оператор Лапласа - это скалярный оператор, который может применяться как к векторным, так и к скалярным полям; для декартовых систем координат он определяется как:

Δ = ∂ 2 ∂ x 2 + ∂ 2 ∂ y 2 + ∂ 2 ∂ z 2 = ∇ ⋅ ∇ = ∇ 2 {\ displaystyle \ Delta = {\ partial ^ {2 } \ over \ partial x ^ {2}} + {\ partial ^ {2} \ over \ partial y ^ {2}} + {\ partial ^ {2} \ over \ partial z ^ {2}} = \ nabla \ cdot \ nabla = \ nabla ^ {2}}

\ Delta = {\ partial ^ 2 \ over \ partial x ^ 2} + {\ partial ^ 2 \ over \ partial y ^ 2} + {\ partial ^ 2 \ over \ частичный z ^ 2} = \ nabla \ cdot \ nabla = \ nabla ^ 2

, а определение для более общих систем координат дано в векторном лапласиане.

Лапласиан повсеместно встречается в современной математической физике, появляясь например, в уравнении Лапласа, уравнении Пуассона, уравнении теплопроводности, волновом уравнении и уравнении Шредингера.

Матрица Гессе

Хотя $∇ 2 {\ displaystyle \ nabla ^ {2}}$ $\ nabla ^ {2}$ обычно представляет лапласиан, иногда $∇ 2 {\ displaystyle \ nabla ^ {2}}$ $\ nabla ^ {2}$ также представляет матрицу Гессе. Первый относится к внутреннему продукту $∇ {\ displaystyle \ nabla}$ $\ nabla$ , тогда как последний относится к диадическому продукту $∇ {\ displaystyle \ nabla}$ $\ nabla$ :

∇ 2 = ∇ ⋅ ∇ T {\ displaystyle \ nabla ^ {2} = \ nabla \ cdot \ nabla ^ {T}}

{\ displaystyle \ nabla ^ {2} = \ nabla \ cdot \ nabla ^ {T}}

Так ли $∇ 2 {\ displaystyle \ nabla ^ {2}}$ $\ nabla ^ {2}$ относится к матрице Лапласа или Гессе в зависимости от контекста.

Тензорная производная

Del также может применяться к векторному полю, результатом которого является тензор . тензорная производная векторного поля $v → {\ displaystyle {\ vec {v}}}$ ${\ vec {v}}$ (в трех измерениях) представляет собой 9-членный тензор второго ранга: то есть матрица 3 × 3, но может быть обозначена просто как $∇ ⊗ v → {\ displaystyle \ nabla \ otimes {\ vec {v}}}$ $\ nabla \ otimes \ vec {v}$ , где $⊗ { \ displaystyle \ otimes}$ $\ otimes$ представляет диадический продукт. Эта величина эквивалентна транспонированию матрицы Якоби векторного поля по пространству. Дивергенция векторного поля может быть выражена как след этой матрицы.

Для небольшого смещения $δ r → {\ displaystyle \ delta {\ vec {r}}}$ $\ delta \ vec {r}$ изменение в векторном поле определяется как:

δ v → знак равно (∇ ⊗ v →) T ⋅ δ р → {\ displaystyle \ delta {\ vec {v}} = (\ nabla \ otimes {\ vec {v}}) ^ {T} \ cdot \ delta {\ vec {r}}}

{\ displaystyle \ delta {\ vec {v }} = (\ nabla \ otimes {\ vec {v}}) ^ {T} \ cdot \ delta {\ vec {r}}}

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

Для векторного исчисления :

∇ (fg) = f ∇ g + g ∇ f ∇ (u → ⋅ v →) = u → × (∇ × v →) + v → × (∇ × u →) + (u → ⋅ ∇) v → + (v → ⋅ ∇) u → ∇ ⋅ (fv →) = f (∇ ⋅ v →) + v → ⋅ (∇ f) ∇ ⋅ (u → × v →) = v → ⋅ (∇ × u →) - u → ⋅ (∇ × v →) ∇ × (fv →) = (∇ f) × v → + f (∇ × v →) ∇ × (u → × v →) = u → (∇ ⋅ v →) - v → (∇ ⋅ u →) + (v → ⋅ ∇) u → - (u → ⋅ ∇) v → {\ displaystyle {\ begin {align} \ nabla (fg) = f \ nabla g + g \ nabla f \\\ nabla ({\ vec {u}} \ cdot {\ vec {v}}) = {\ vec {u}} \ times (\ nabla \ times {\ vec {v}}) + {\ vec {v}} \ times (\ nabla \ times {\ vec {u}}) + ({\ vec {u}} \ cdot \ nabla) {\ vec {v}} + ({\ vec {v}} \ cdot \ nabla) {\ vec {u}} \\\ nabla \ cdot (f {\ vec { v}}) = f (\ nabla \ cdot {\ vec {v}}) + {\ vec {v} } \ cdot (\ nabla f) \\\ nabla \ cdot ({\ vec {u}} \ times {\ vec {v}}) = {\ vec {v}} \ cdot (\ nabla \ times {\ vec {u}}) - {\ vec {u}} \ cdot (\ nabla \ times {\ vec {v}}) \\\ nabla \ times (f {\ vec {v}}) = (\ nabla е) \ times {\ vec {v}} + f (\ nabla \ times {\ vec {v}}) \\\ nabla \ times ({\ vec {u}} \ times {\ vec {v}}) = {\ vec {u}} \, (\ nabla \ cdot {\ vec {v}}) - {\ vec {v}} \, (\ nabla \ cdot {\ vec {u}}) + ({ \ vec {v}} \ cdot \ nabla) \, {\ vec {u}} - ({\ vec {u}} \ cdot \ nabla) \, {\ vec {v}} \ end {выровнено}}}

{\ Displaystyle {\ begin {align} \ nabla (fg) = f \ nabla g + g \ nabla f \\\ nabla ({\ vec {u}} \ cdot {\ vec {v}}) = { \ vec {u}} \ times (\ nabla \ times {\ vec {v}}) + {\ vec {v}} \ times (\ nabla \ times {\ vec {u}}) + ({\ vec { u}} \ cdot \ nabla) {\ vec {v}} + ({\ vec {v}} \ cdot \ nabla) {\ vec {u}} \\\ nabla \ cdot (f {\ vec {v} }) = f (\ nabla \ cdot {\ vec {v}}) + {\ vec {v}} \ cdot (\ nabla f) \\\ nabla \ cdot ({\ vec {u}} \ times { \ vec {v}}) = {\ vec {v}} \ cdot (\ nabla \ times {\ vec {u}}) - {\ vec {u}} \ cdot (\ nabla \ times {\ vec { v}}) \\\ nabla \ times (f {\ vec {v}}) = (\ nabla f) \ times {\ vec {v}} + f (\ nabla \ times {\ vec {v}}) \\\ nabla \ times ({\ vec {u}} \ times {\ vec {v}}) = {\ vec {u}} \, (\ nabla \ cdot {\ vec {v}}) - {\ vec {v}} \, (\ nabla \ cdot {\ vec {u}}) + ({\ vec {v}} \ cdot \ nabla) \, {\ vec {u}} - ({\ vec {u}} \ cdot \ nabla) \, {\ vec {v}} \ end {align}}}

Для матричного исчисления (для которого $u → ⋅ v → {\ displaystyle {\ vec {u}} \ cdot {\ vec {v}}}$ ${\ displaystyle {\ vec {u}} \ cdot {\ vec {v}}}$ может быть записано $u → T v → {\ displaystyle {\ vec {u}} ^ {\ text {T}} {\ vec {v}}}$ ${\ displaystyle {\ vec {u}} ^ {\ text {T}} {\ vec {v}}}$ ):

(A ∇) T u → знак равно ∇ T (AT u →) - (∇ TAT) u → {\ displaystyle {\ begin {align} \ left (\ mathbf {A} \ nabla \ right) ^ {\ text {T}} { \ vec {u}} = \ nabla ^ {\ text {T}} \ left (\ mathbf {A} ^ {\ text {T}} {\ vec {u}} \ right) - \ left (\ nabla ^ {\ text {T}} \ mathbf {A} ^ {\ text {T}} \ right) {\ vec {u}} \ end {align}}}

{\ displaystyle {\ begin {align} \ left (\ mathbf {A} \ nabla \ right) ^ {\ text {T} } {\ vec {u}} = \ nabla ^ {\ text {T}} \ left (\ mathbf {A} ^ {\ text {T}} {\ vec {u}} \ right) - \ left (\ nabla ^ {\ text {T}} \ mathbf {A} ^ {\ text {T}} \ right) {\ vec {u}} \ end {align}}}

Еще одно интересное отношение (см., например, уравнение Эйлера ) следующее, где $u → ⊗ v → {\ displaystyle {\ vec {u}} \ otimes {\ vec {v}}}$ ${\ displaystyle {\ vec {u}} \ otimes {\ vec {v}}}$ - это внешнее произведение тензор:

∇ ⋅ (u → ⊗ v →) = (∇ ⋅ u →) v → + (u → ⋅ ∇) v → {\ displaystyle {\ begin {align} \ набла \ cdot ({\ vec {u}} \ otimes {\ vec {v}}) = (\ nabla \ cdot {\ vec {u}}) {\ vec {v}} + ({\ vec {u} } \ cdot \ nabla) {\ vec {v}} \ end {align}}}

{\ Displaystyle {\ begin {align} \ nabla \ cdot ({\ vec {u}} \ otimes {\ vec {v}}) = (\ nabla \ cdot {\ vec {u}}) {\ vec {v }} + ({\ vec {u}} \ cdot \ nabla) {\ vec {v}} \ end {align}}}

Вторая производная

Диаграмма DCG: простая диаграмма, отображающая все правила, относящиеся ко вторым производным. D, C, G, L и CC означают дивергенцию, ротор, градиент, лапласиан и ротор ротации соответственно. Стрелки указывают на наличие вторых производных. Синий кружок посередине представляет собой локон из локона, тогда как два других красных кружка (пунктирные) означают, что DD и GG не существуют.

Когда del работает со скаляром или вектором, возвращается либо скаляр, либо вектор. Из-за разнообразия векторных произведений (скаляр, точка, крест) одно применение del уже приводит к трем основным производным: градиент (скалярное произведение), дивергенция (скалярное произведение) и curl (перекрестное произведение). Применение этих трех видов производных снова друг к другу дает пять возможных вторых производных для скалярного поля f или векторного поля v ; использование скаляра лапласиана и векторного лапласиана дает еще два:

div ⁡ (grad ⁡ f) = ∇ ⋅ (∇ f) curl ⁡ (grad ⁡ f) = ∇ × (∇ f) Δ f = ∇ 2 f grad ⁡ (div ⁡ v →) = ∇ (∇ ⋅ v →) div ⁡ (curl ⁡ v →) = ∇ ⋅ (∇ × v →) curl ⁡ (curl ⁡ v →) знак равно ∇ × (∇ × v →) Δ v → знак равно ∇ 2 v → {\ displaystyle {\ begin {align} \ operatorname {div} (\ operatorname {grad} f) = \ nabla \ cdot (\ nabla f) \\\ operatorname {curl} (\ operatorname {grad} f) = \ nabla \ times (\ nabla f) \\\ Delta f = \ nabla ^ {2} f \\\ operatorname {grad} ( \ operatorname {div} {\ vec {v}}) = \ nabla (\ nabla \ cdot {\ vec {v}}) \\\ operatorname {div} (\ operatorname {curl} {\ vec {v}}) = \ nabla \ cdot (\ nabla \ times {\ vec {v}}) \\\ operatorname {curl} (\ operatorname {curl} {\ vec {v}}) = \ nabla \ times (\ nabla \ times {\ vec {v}}) \\\ Delta {\ vec {v}} = \ nabla ^ {2} {\ vec {v}} \ end {align}}}

{\ displaystyle {\ begin {align} \ operatorname {div} (\ operatorname {grad} f) = \ nabla \ cdot (\ nabla f) \\\ operatorname {curl} (\ operatorname {grad} f) = \ nabla \ times (\ nabla f) \\\ Delta f = \ nabla ^ {2} f \\\ operatorname {grad} ( \ operatorname {div} {\ vec {v}}) = \ nabla (\ nabla \ cdot {\ vec {v}}) \\\ operatorname {div} (\ operatorname {curl} {\ vec {v}}) = \ nabla \ cdot (\ nabla \ times {\ vec {v}}) \\\ operatorname {curl} (\ operatorname {curl} {\ vec {v}}) = \ nabla \ times (\ nabla \ times {\ vec {v}}) \\\ Delta {\ vec {v}} = \ nabla ^ {2} {\ vec {v}} \ end {align}}}

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

curl grad (grad ⁡ f) = ∇ × (∇ f) = 0 div ⁡ (curl ⁡ v →) Знак равно ∇ ⋅ ∇ × v → знак равно 0 {\ displaystyle {\ begin {align} \ operatorname {curl} (\ operatorname {grad} f) = \ nabla \ times (\ nabla f) = 0 \\\ operatorname {div } (\ operatorname {curl} {\ vec {v}}) = \ nabla \ cdot \ nabla \ times {\ vec {v}} = 0 \ end {align}}}

{\ displaystyle {\ begin {align} \ operatorname {curl} (\ operatorname {grad} f) = \ nabla \ times (\ nabla f) = 0 \\\ operatorname {div} (\ operatorname {curl} {\ vec {v}}) = \ nabla \ cdot \ nabla \ раз {\ vec {v}} = 0 \ конец {выровнено}}}

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

div ⁡ (град ⁡ е) знак равно ∇ ⋅ (∇ е) = ∇ 2 е = Δ е {\ displaystyle \ OperatorName {div} (\ OperatorName {grad} f) = \ nabla \ cdot (\ nabla f) = \ nabla ^ {2} f = \ Delta f}

{\ Displaystyle \ OperatorName {div} (\ OperatorName {grad} f) = \ nabla \ cdot (\ nabla f) = \ nabla ^ {2} f = \ Delta f}

Три оставшиеся векторные производные связаны уравнением:

∇ × (∇ × v →) = ∇ (∇ ⋅ v →) - ∇ 2 v → {\ displaystyle \ nabla \ times \ left (\ nabla \ times {\ vec {v}} \ right) = \ nabla (\ nabla \ cdot {\ vec {v}}) - \ nabla ^ {2} { \ vec {v}}}

{\ displaystyle \ nabla \ times \ left (\ nabla \ times {\ vec {v}} \ right) = \ nabla (\ nabla \ cdot {\ vec {v}}) - \ nabla ^ {2} {\ vec {v}}}

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

∇ (∇ ⋅ v →) = ∇ ⋅ (∇ ⊗ v →) {\ Displaystyle \ набла (\ набла \ cdot {\ vec {v}}) = \ nabla \ cdot (\ nabla \ otimes {\ vec {v}})}

{\ displaystyle \ nabla (\ nabla \ cdot {\ vec {v}}) = \ nabla \ cdot (\ nabla \ otimes {\ vec {v}})}

Меры предосторожности

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

Хотя часто можно заменить del вектором и получить векторную идентичность, сделав эти идентичности мнемоническими, обратное не обязательно надежно, потому что del, как правило, не коммутирует.

Контрпример, основанный на том, что del не смог коммутировать:

(u → ⋅ v →) f ≡ (v → ⋅ u →) f (∇ ⋅ v →) f = (∂ vx ∂ x + ∂ vy ∂ y + ∂ vz ∂ z) f = ∂ vx ∂ xf + ∂ vy ∂ yf + ∂ vz ∂ zf (v → ⋅ ∇) f = (vx ∂ ∂ x + vy ∂ ∂ y + vz ∂ ∂ z) е знак равно vx ∂ е ∂ x + vy ∂ f ∂ y + vz ∂ f ∂ z ⇒ (∇ ⋅ v →) f ≠ (v → ⋅ ∇) f {\ displaystyle {\ begin {align} ({\ vec {u }} \ cdot {\ vec {v}}) f \ Equiv ({\ vec {v}} \ cdot {\ vec {u}}) f \\ (\ nabla \ cdot {\ vec {v}}) f = \ left ({\ frac {\ partial v_ {x}} {\ partial x}} + {\ frac {\ partial v_ {y}} {\ partial y}} + {\ frac {\ partial v_ {z}) } {\ partial z}} \ right) f = {\ frac {\ partial v_ {x}} {\ partial x}} f + {\ frac {\ partial v_ {y}} {\ partial y}} f + {\ frac {\ partial v_ {z}} {\ partial z}} f \\ ({\ vec {v}} \ cdot \ nabla) f = \ left (v_ {x} {\ frac {\ partial} {\ partial x}} + v_ {y} {\ frac {\ partial} {\ partial y}} + v_ {z} {\ frac {\ partial} {\ partial z}} \ right) f = v_ {x} {\ frac {\ partial f} {\ partial x}} + v_ {y} {\ frac {\ partial f} {\ partial y}} + v_ {z} {\ frac {\ partial f} {\ partial z}} \\\ Rightarrow (\ nabla \ cdot {\ vec {v}}) f \ neq ({\ vec {v}} \ cdot \ nabla) f \\\ end {align}}}

{\ displaystyle {\ begin {align} ({\ vec {u}} \ cdot {\ vec {v}}) f \ Equiv ({\ vec {v}} \ cdot {\ vec {u}}) f \\ (\ nabla \ cdot {\ vec {v}}) f = \ left ({\ frac {\ partial v_ {x}) } {\ partial x}} + {\ frac {\ partial v_ {y}} {\ partial y}} + {\ frac {\ partial v_ {z}} {\ partial z}} \ right) f = {\ frac {\ partial v_ {x}} {\ partial x}} f + {\ frac {\ partial v_ {y}} {\ partial y}} f + {\ frac {\ partial v_ {z}} {\ partial z }} f \\ ({\ vec {v}} \ cdot \ nabla) f = \ left (v_ {x} {\ frac {\ partial} {\ partial x}} + v_ {y} {\ frac {\ partial} {\ partial y}} + v_ {z} {\ frac {\ partial} {\ partial z}} \ right) f = v_ {x} {\ frac {\ partial f} {\ partial x}} + v_ {y} {\ frac {\ partial f} {\ partial y}} + v_ {z} {\ frac {\ partial f} {\ partial z}} \\\ Rightarrow (\ nabla \ cdot {\ vec { v}}) f \ neq ({\ vec {v}} \ cdot \ nabla) f \\\ конец {выровнено}}}

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

(∇ x) × (∇ y) = (e → x ∂ x ∂ x + e → y ∂ x ∂ y + e → z ∂ x ∂ z) × (e → x ∂ y ∂ x + e → y ∂ y ∂ y + e → z ∂ y ∂ z) = (e → x ⋅ 1 + e → y ⋅ 0 + e → z ⋅ 0) × (e → x ⋅ 0 + e → y ⋅ 1 + e → z ⋅ 0) = e → x × e → y = e → z (u → x) × (u → y) = xy (u → × u →) = xy 0 → = 0 → {\ displaystyle {\ begin {align} (\ nabla x) \ times (\ nabla y) = \ left ({\ vec {e}} _ {x} {\ frac {\ partial x} {\ partial x}} + {\ vec {e}} _ {y} { \ frac {\ partial x} {\ partial y}} + {\ vec {e}} _ {z} {\ frac {\ partial x} {\ partial z}} \ right) \ times \ left ({\ vec {e}} _ {x} {\ frac {\ partial y} {\ partial x}} + {\ vec {e}} _ {y} {\ frac {\ partial y} {\ partial y}} + { \ vec {e}} _ {z} {\ frac {\ partial y} {\ partial z}} \ right) \\ = ({\ vec {e}} _ {x} \ cdot 1 + {\ vec {e}} _ {y} \ cdot 0 + {\ vec {e}} _ {z} \ cdot 0) \ times ({\ vec {e}} _ {x} \ cdot 0 + {\ vec {e }} _ {y} \ cdot 1 + {\ vec {e}} _ {z} \ cdot 0) \\ = {\ vec {e}} _ {x} \ times {\ vec {e}} _ {y} \\ = {\ vec {e}} _ {z} \\ ({\ vec {u }} x) \ times ({\ vec {u}} y) = xy ({\ vec {u}} \ times {\ vec {u}}) \\ = xy {\ vec {0}} \ \ = {\ vec {0}} \ end {align}}}

{\ displaystyle {\ begin {align} (\ nabla x) \ times (\ nabla y) = \ left ( {\ vec {e}} _ {x} {\ frac {\ partial x} {\ partial x}} + {\ vec {e}} _ {y} {\ frac {\ partial x} {\ partial y} } + {\ vec {e}} _ {z} {\ frac {\ pa rtial x} {\ partial z}} \ right) \ times \ left ({\ vec {e}} _ {x} {\ frac {\ partial y} {\ partial x}} + {\ vec {e}} _ {y} {\ frac {\ partial y} {\ partial y}} + {\ vec {e}} _ {z} {\ frac {\ partial y} {\ partial z}} \ right) \\ = ({\ vec {e}} _ {x} \ cdot 1 + {\ vec {e}} _ {y} \ cdot 0 + {\ vec {e}} _ {z} \ cdot 0) \ times ( {\ vec {e}} _ {x} \ cdot 0 + {\ vec {e}} _ {y} \ cdot 1 + {\ vec {e}} _ {z} \ cdot 0) \\ = { \ vec {e}} _ {x} \ times {\ vec {e}} _ {y} \\ = {\ vec {e}} _ {z} \\ ({\ vec {u}} x) \ times ({\ vec {u}} y) = xy ({\ vec {u}} \ times {\ vec {u}}) \\ = xy {\ vec {0}} \\ = { \ vec {0}} \ end {align}}}

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

По этой причине идентификаторы, включающие del, должны быть получены с осторожностью, используя как векторные идентификаторы, так и идентификаторы дифференциации, такие как правило продукта.

См. Также

Ссылки

Уиллард Гиббс Эдвин Бидвелл Уилсон (1901) Векторный анализ, Yale University Press, 1960: Dover Publications.
Schey, HM (1997). Div, Grad, Curl и все такое: неформальный текст о векторном исчислении. Нью-Йорк: Нортон. ISBN 0-393-96997-5.
Миллер, Джефф. «Раннее использование символов исчисления».
Арнольд Ноймайер (26 января 1998 г.). Клив Молер (ред.). «История Наблы». Дайджест NA, том 98, выпуск 03. netlib.org.

Внешние ссылки

Обзор неправильного использования ∇ в векторном анализе (1994) Tai, Chen