Элемент объема

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

$d\; V\; =\; \rho \; (u\; 1,\; u\; 2,\; u\; 3)\; du\; 1\; du\; 2\; du\; 3\; \{\backslash \; displaystyle\; dV\; =\; \backslash \; rho\; (u\_\; \{1\},\; u\_\; \{2\},\; u\_\; \{3\})\; \backslash ,\; du\_\; \{1\}\; \backslash ,\; du\_\; \{2\}\; \backslash ,\; du\_\; \{3\}\}$

где $ui\; \{\backslash \; displaystyle\; u\_\; \{i\}\}$- координаты, так что объем любого набора $B\; \{\backslash \; displaystyle\; B\}$может быть вычислен с помощью

$Volume\; \; (B)\; =\; \int \; B\; \rho \; (u\; 1,\; u\; 2,\; u\; 3)\; ду\; 1\; ду\; 2\; ду\; 3.\; \{\backslash \; displaystyle\; \backslash \; operatorname\; \{Volume\}\; (B)\; =\; \backslash \; int\; \_\; \{B\}\; \backslash \; rho\; (u\_\; \{1\},\; u\_\; \{2\},\; u\_\; \{3\})\; \backslash ,\; du\_\; \{1\}\; \backslash ,\; du\_\; \{2\}\; \backslash ,\; du\_\; \{3\}.\}$

Например, в сферических координатах $d\; V\; =\; u\; 1\; 2\; sin\; \; u\; 2\; du\; 1\; du\; 2\; du\; 3\; \{\backslash \; displaystyle\; dV\; =\; u\_\; \{1\}\; ^\; \{2\}\; \backslash \; sin\; u\_\; \{2\}\; \backslash ,\; du\_\; \{1\}\; \backslash ,\; du\_\; \{2\}\; \backslash ,\; du\_\; \{3\}\}$, и поэтому $\rho \; =\; u\; 1\; 2\; sin\; \; u\; 2\; \{\backslash \; displaystyle\; \backslash \; rho\; =\; u\_\; \{1\}\; ^\; \{2\}\; \backslash \; sin\; u\_\; \{2\}\}$.

Понятие элемента объема не ограничивается тремя измерениями: в двух измерениях он часто известен как элемент площади, а в эта настройка полезна для выполнения поверхностных интегралов. При изменении координат элемент объема изменяется на абсолютное значение определителя Якоби преобразования координат (на формулу замены переменных ). Этот факт позволяет определять элементы объема как своего рода меру на коллекторе. На ориентируемом дифференцируемом коллекторе элемент объема обычно возникает из формы объема : дифференциальной формы высшей степени. На неориентируемом коллекторе элемент объема обычно представляет собой абсолютное значение (определенной локально) формы объема: он определяет 1-плотность.

• 1 элемент объема в Евклидово пространство
• 2 Элемент объема линейного подпространства
• 3 Элемент объема многообразий
  • 3.1 Элемент площади поверхности
  • 3.2 Пример: Сфера
• 4 См. Также
• 5 Ссылки

В евклидовом пространстве элемент объема задается как произведение дифференциалов декартовых координат

$d\; V\; =\; dxdydz.\; \{\backslash \; displaystyle\; dV\; =\; dx\; \backslash ,\; dy\; \backslash ,\; dz.\}$

В разных системах координат вида $x\; =\; x\; (u\; 1,\; u\; 2,\; u\; 3),\; y\; =\; y\; (u\; 1,\; u\; 2,\; u\; 3),\; z\; знак\; равно\; Z\; (u\; 1,\; u\; 2,\; u\; 3)\; \{\backslash \; displaystyle\; x\; =\; x\; (u\_\; \{1\},\; u\_\; \{2\},\; u\_\; \{3\}),\; y\; =\; y\; (u\_\; \{1\},\; u\_\; \{2\},\; u\_\; \{3\}),\; z\; =\; z\; (u\_\; \{1\},\; u\_\; \{2\},\; u\_\; \{3\})\}$, элемент объема изменяется на якобиан изменения координаты:

$d\; V\; =\; |\; \partial \; (x,\; y,\; z)\; \partial \; (u\; 1,\; u\; 2,\; u\; 3)\; |\; Д\; У\; 1\; Д\; У\; 2\; Д\; У\; 3.\; \{\backslash \; displaystyle\; dV\; =\; \backslash \; left\; |\; \{\backslash \; frac\; \{\backslash \; partial\; (x,\; y,\; z)\}\; \{\backslash \; partial\; (u\_\; \{1\},\; u\_\; \{2\},\; u\_\; \{3\})\}\}\; \backslash \; right\; |\; \backslash ,\; du\_\; \{\; 1\}\; \backslash ,\; du\_\; \{2\}\; \backslash ,\; du\_\; \{3\}.\}$

Например, в сферических координатах (математическое соглашение)

$x\; =\; \rho \; cos\; \; \theta \; sin\; \; \varphi \; y\; =\; \rho \; sin\; \; \theta \; sin\; \; \varphi \; Z\; знак\; равно\; \rho \; соз\; \; \varphi \; \{\backslash \; Displaystyle\; \{\backslash \; begin\; \{align\}\; x\; =\; \backslash \; rho\; \backslash \; cos\; \backslash \; theta\; \backslash \; sin\; \backslash \; phi\; \backslash \backslash \; y\; =\; \backslash \; rho\; \backslash \; sin\; \backslash \; theta\; \backslash \; sin\; \backslash \; phi\; \backslash \backslash \; z\; =\; \backslash \; rho\; \backslash \; cos\; \backslash \; phi\; \backslash \; end\; \{align\}\}\}$

якобиан равен

$|\; \partial \; (x,\; y,\; z)\; \partial \; (\rho ,\; \theta ,\; \varphi )\; |\; знак\; равно\; \rho \; 2\; грех\; \; \varphi \; \{\backslash \; displaystyle\; \backslash \; left\; |\; \{\backslash \; frac\; \{\backslash \; partial\; (x,\; y,\; z)\}\; \{\backslash \; partial\; (\backslash \; rho,\; \backslash \; theta,\; \backslash \; phi)\}\}\; \backslash \; right\; |\; =\; \backslash \; rho\; ^\; \{2\; \}\; \backslash \; sin\; \backslash \; phi\}$

так, что

$d\; V\; =\; \rho \; 2\; sin\; \; \varphi \; d\; \rho \; d\; \theta \; d\; \varphi .\; \{\backslash \; displaystyle\; dV\; =\; \backslash \; rho\; ^\; \{2\}\; \backslash \; sin\; \backslash \; phi\; \backslash ,\; d\; \backslash \; rho\; \backslash ,\; d\; \backslash \; theta\; \backslash ,\; d\; \backslash \; phi.\}$

Это можно рассматривать как частный случай преобразования дифференциальных форм через откат $F\; \ast \; \{\backslash \; displaystyle\; F\; ^\; \{*\}\}$as

$F\; \ast \; (udy\; 1\; \wedge \; \cdots \; \wedge \; dyn)\; =\; (u\; \circ \; F)\; det\; (\partial \; F\; j\; \partial \; xi)\; dx\; 1\; \wedge \; \cdots \; \wedge \; dxn\; \{\backslash \; displaystyle\; F\; ^\; \{*\}\; (u\; \backslash ;\; dy\; ^\; \{1\}\; \backslash \; wedge\; \backslash \; cdots\; \backslash \; wedge\; dy\; ^\; \{n\})\; =\; (u\; \backslash \; circ\; F)\; \backslash \; det\; \backslash \; left\; (\{\backslash \; frac\; \{\backslash \; partial\; F\; ^\; \{j\}\}\; \{\backslash \; partial\; x\; ^\; \{i\}\}\}\; \backslash \; right)\; dx\; ^\; \{1\}\; \backslash \; wedge\; \backslash \; cdots\; \backslash \; wedge\; dx\; ^\; \{n\}\}$

Рассмотрим линейное подпространство n-мерного евклидова пространства R, которое натянуто на набор линейно независимых векторов

$X\; 1,\; \dots ,\; X\; k.\; \{\backslash \; displaystyle\; X\_\; \{1\},\; \backslash \; dots,\; X\_\; \{k\}.\}$

Чтобы найти элемент объема подпространства, полезно знать из линейной алгебры тот факт, что объем параллелепипеда, натянутый на $X\; i\; \{\backslash \; displaystyle\; X\_\; \{i\}\}$- квадратный корень из определителя из матрицы Грамиана из $X\; i\; \{\backslash \; displaystyle\; X\_\; \{i\}\}$:

$det\; (X\; i\; \cdot \; X\; j)\; i,\; j\; =\; 1\dots \; k.\; \{\backslash \; displaystyle\; \{\backslash \; sqrt\; \{\backslash \; det\; (X\_\; \{i\}\; \backslash \; cdot\; X\_\; \{j\})\; \_\; \{i,\; j\; =\; 1\; \backslash \; dots\; k\}\}\}.\}$

Любой точке p в подпространстве можно задать координаты $(u\; 1,\; u\; 2,\dots ,\; uk)\; \{\backslash \; displaystyle\; (u\_\; \{1\},\; u\_\; \{2\},\; \backslash \; dots,\; u\_\; \{k\})\}$такой, что

$p\; =\; u\; 1\; Х\; 1\; +\; \cdots \; +\; uk\; X\; k.\; \{\backslash \; displaystyle\; p\; =\; u\_\; \{1\}\; X\_\; \{1\}\; +\; \backslash \; cdots\; +\; u\_\; \{k\}\; X\_\; \{k\}.\}$

В точке p, если мы сформируем небольшой параллелепипед со сторонами $dui\; \{\backslash \; displaystyle\; du\_\; \{i\}\}$, то объем этого параллелепипеда равен квадратному корню из определителя матрицы Грамма

$det\; ((dui\; X\; i)\; \cdot \; (duj\; X\; j))\; i,\; j\; =\; 1\dots \; k\; =\; det\; (X\; i\; \cdot \; X\; j)\; i,\; j\; =\; 1\dots \; kdu\; 1\; du\; 2\; \cdots \; duk.\; \{\backslash \; displaystyle\; \{\backslash \; sqrt\; \{\backslash \; det\; \backslash \; left\; ((du\_\; \{i\}\; X\_\; \{i\})\; \backslash \; cdot\; (du\_\; \{j\}\; X\_\; \{j\})\; \backslash \; right)\; \_\; \{i,\; j\; =\; 1\; \backslash \; dots\; k\}\}\}\; =\; \{\backslash \; sqrt\; \{\backslash \; det\; (X\_\; \{i\}\; \backslash \; cdot\; X\_\; \{j\})\; \_\; \{i,\; j\; =\; 1\; \backslash \; dots\; k\}\}\}\; \backslash ;\; du\_\; \{1\}\; \backslash ,\; du\_\; \{2\}\; \backslash ,\; \backslash \; cdots\; \backslash ,\; du\_\; \{k\}.\}$

Таким образом, это определяет форму объема в линейном подпространстве.

На ориентированном римановом многообразии размерности n элемент объема представляет собой форму объема, равную двойственному по Ходжу функция константы единицы, $f\; (x)\; =\; 1\; \{\backslash \; displaystyle\; f\; (x)\; =\; 1\}$:

$\omega \; =\; \star \; 1\; \{\backslash \; displaystyle\; \backslash \; omega\; =\; \backslash \; star\; 1\}$.

Эквивалентно, элемент объема именно тензор Леви-Чивиты $ϵ\; \{\backslash \; displaystyle\; \backslash \; epsilon\}$. В координатах

$\omega \; =\; ϵ\; =\; |\; det\; g\; |\; dx\; 1\; \wedge \; \cdots \; \wedge \; dxn\; \{\backslash \; displaystyle\; \backslash \; omega\; =\; \backslash \; epsilon\; =\; \{\backslash \; sqrt\; \{|\; \backslash \; det\; g\; |\}\}\; \backslash ,\; dx\; ^\; \{1\}\; \backslash \; wedge\; \backslash \; cdots\; \backslash \; wedge\; dx\; ^\; \{n\}\}$

где $det\; g\; \{\backslash \; displaystyle\; \backslash \; det\; g\}$- детерминант метрического тензора g, записанный в системе координат.

Площадь элемента поверхности

Простой пример элемента объема можно изучить, рассмотрев двумерную поверхность, встроенную в n-мерное евклидово пространство. Такой элемент объема иногда называют элементом площади. Рассмотрим подмножество $U\; \subset \; R\; 2\; \{\backslash \; displaystyle\; U\; \backslash \; subset\; \backslash \; mathbf\; \{R\}\; ^\; \{2\}\}$и функцию отображения

$\phi :\; U\; \to \; R\; n\; \{\backslash \; displaystyle\; \backslash \; varphi\; :\; U\; \backslash \; to\; \backslash \; mathbf\; \{R\}\; ^\; \{n\}\}$

, таким образом определяя поверхность, встроенную в $R\; n\; \{\backslash \; displaystyle\; \backslash \; mathbf\; \{R\}\; ^\; \{n\}\}$. В двух измерениях объем - это просто площадь, а элемент объема позволяет определить площадь частей поверхности. Таким образом, элемент объема - это выражение вида

$f\; (u\; 1,\; u\; 2)\; du\; 1\; du\; 2\; \{\backslash \; displaystyle\; f\; (u\_\; \{1\},\; u\_\; \{2\})\; \backslash ,\; du\_\; \{1\}\; \backslash ,\; du\_\; \{\; 2\}\}$

, который позволяет вычислить площадь множества B, лежащего на поверхности, путем вычисления интеграла

$Area\; \; (B)\; =\; \int \; B\; f\; (u\; 1,\; u\; 2)\; du\; 1\; du\; 2.\; \{\backslash \; displaystyle\; \backslash \; operatorname\; \{Area\}\; (B)\; =\; \backslash \; int\; \_\; \{B\}\; f\; (u\_\; \{1\},\; u\_\; \{2\})\; \backslash ,\; du\_\; \{1\}\; \backslash ,\; du\_\; \{2\}.\}$

Здесь мы найти на поверхности элемент объема, определяющий площадь в обычном понимании. Матрица Якоби отображения:

$\lambda \; ij\; =\; \partial \; \phi \; i\; \partial \; uj\; \{\backslash \; displaystyle\; \backslash \; lambda\; \_\; \{ij\}\; =\; \{\backslash \; frac\; \{\backslash \; partial\; \backslash \; varphi\; \_\; \{i\}\}\; \{\backslash \; partial\; u\_\; \{j\}\}\}\}$

с индексом i от 1 до n и j от 1 до 2. Евклидова метрика в n-мерном пространстве индуцирует метрику $g\; =\; \lambda \; T\; \lambda \; \{\backslash \; displaystyle\; g\; =\; \backslash \; lambda\; ^\; \{T\}\; \backslash \; lambda\}$на множестве U с матричными элементами

$gij\; =\; \sum \; k\; =\; 1\; n\; \lambda \; ki\; \lambda \; kj\; =\; \sum \; k\; =\; 1\; n\; \partial \; \phi \; k\; \partial \; ui\; \partial \; \phi \; k\; \partial \; uj.\; \{\backslash \; displaystyle\; g\_\; \{ij\}\; =\; \backslash \; sum\; \_\; \{k\; =\; 1\}\; ^\; \{n\}\; \backslash \; lambda\; \_\; \{ki\}\; \backslash \; lambda\; \_\; \{kj\}\; =\; \backslash \; sum\; \_\; \{k\; =\; 1\}\; ^\; \{n\}\; \{\backslash \; frac\; \{\backslash \; partial\; \backslash \; varphi\; \_\; \{k\}\}\; \{\backslash \; partial\; u\_\; \{i\}\}\}\; \{\backslash \; frac\; \{\backslash \; partial\; \backslash \; varphi\; \_\; \{k\}\}\; \{\backslash \; partial\; u\_\; \{j\}\}\}.\}$

Определитель метрики определяется как

$det\; g\; =\; |\; \partial \; \phi \; \partial \; u\; 1\; \wedge \; \partial \; \phi \; \partial \; u\; 2\; |\; 2\; знак\; равно\; Det\; (\lambda \; T\; \lambda )\; \{\backslash \; Displaystyle\; \backslash \; Det\; g\; =\; \backslash \; left\; |\; \{\backslash \; frac\; \{\backslash \; partial\; \backslash \; varphi\}\; \{\backslash \; partial\; u\_\; \{1\}\}\}\; \backslash \; клин\; \{\backslash \; frac\; \{\backslash \; partial\; \backslash \; varphi\}\; \{\backslash \; partial\; u\_\; \{2\}\}\}\; \backslash \; right\; |\; ^\; \{2\}\; =\; \backslash \; det\; (\backslash \; lambda\; ^\; \{T\}\; \backslash \; lambda)\}$

Для регулярной поверхности этот определитель не равен нулю; эквивалентно, матрица Якоби имеет ранг 2.

Теперь рассмотрим изменение координат на U, заданное диффеоморфизмом

$f:\; U\; \to \; U,\; \{\backslash \; displaystyle\; f\; \backslash \; двоеточие\; U\; \backslash \; to\; U,\; \backslash ,\; \backslash !\}$

так, чтобы координаты $(u\; 1,\; u\; 2)\; \{\backslash \; displaystyle\; (u\_\; \{1\},\; u\_\; \{2\})\}$были заданы в виде $(v\; 1,\; v\; 2)\; \{\backslash \; displaystyle\; (v\_\; \{1\},\; v\_\; \{2\})\}$на $(u\; 1,\; u\; 2)\; =\; f\; (v\; 1,\; v\; 2)\; \{\backslash \; displaystyle\; (u\_\; \{1\},\; u\_\; \{2\})\; =\; f\; (v\_\; \{1\},\; v\_\; \{2\})\}$. Матрица Якоби этого преобразования задается как

$F\; i\; j\; =\; \partial \; f\; i\; \partial \; v\; j.\; \{\backslash \; displaystyle\; F\_\; \{ij\}\; =\; \{\backslash \; frac\; \{\backslash \; partial\; f\_\; \{i\}\}\; \{\backslash \; partial\; v\_\; \{j\}\}\}.\}$

В новых координатах мы имеем

$\partial \; \phi \; i\; \partial \; vj\; =\; \sum \; к\; знак\; равно\; 1\; 2\; \partial \; \phi \; я\; \partial \; uk\; \partial \; fk\; \partial \; vj\; \{\backslash \; displaystyle\; \{\backslash \; frac\; \{\backslash \; partial\; \backslash \; varphi\; \_\; \{i\}\}\; \{\backslash \; partial\; v\_\; \{j\}\}\}\; =\; \backslash \; sum\; \_\; \{k\; =\; 1\}\; ^\; \{2\; \}\; \{\backslash \; frac\; \{\backslash \; partial\; \backslash \; varphi\; \_\; \{i\}\}\; \{\backslash \; partial\; u\_\; \{k\}\}\}\; \{\backslash \; frac\; \{\backslash \; partial\; f\_\; \{k\}\}\; \{\backslash \; partial\; v\_\; \{j\}\}\}\}$

и поэтому метрика преобразуется как

$g\; ~\; =\; FT\; g\; F\; \{\backslash \; displaystyle\; \{\backslash \; tilde\; \{g\}\}\; =\; F\; ^\; \{T\}\; gF\}$

где $g\; ~\; \{\backslash \; displaystyle\; \{\backslash \; tilde\; \{g\}\}\}$- показатель отката в системе координат v. Определитель равен

$det\; g\; ~\; =\; det\; g\; (det\; F)\; 2.\; \{\backslash \; displaystyle\; \backslash \; det\; \{\backslash \; tilde\; \{g\}\}\; =\; \backslash \; det\; g\; (\backslash \; det\; F)\; ^\; \{2\}.\}$

Учитывая приведенную выше конструкцию, теперь должно быть несложно понять, как элемент объема инвариантен относительно изменение координат с сохранением ориентации.

В двух измерениях объем - это просто площадь. Площадь подмножества $B\; \subset \; U\; \{\backslash \; displaystyle\; B\; \backslash \; subset\; U\}$задается интегралом

$Area\; (B)\; =\; \iint \; B\; det\; gdu\; 1\; du\; 2\; =\; \iint \; B\; det\; g\; |\; det\; F\; |\; d\; v\; 1\; d\; v\; 2\; знак\; равно\; \iint \; B\; det\; g\; ~\; d\; v\; 1\; d\; v\; 2.\; \{\backslash \; displaystyle\; \{\backslash \; begin\; \{align\}\; \{\backslash \; t\_dv\; \{Area\}\}\; (B)\; =\; \backslash \; iint\; \_\; \{B\}\; \{\backslash \; sqrt\; \{\backslash \; det\; g\}\}\; \backslash ;\; du\_\; \{1\}\; \backslash ;\; du\_\; \{2\}\; \backslash \backslash \; =\; \backslash \; iint\; \_\; \{B\}\; \{\backslash \; sqrt\; \{\backslash \; det\; g\}\}\; \backslash ;\; |\; \backslash \; det\; F\; |\; \backslash ;\; dv\_\; \{1\}\; \backslash ;\; dv\_\; \{2\}\; \backslash \backslash \; =\; \backslash \; iint\; \_\; \{B\}\; \{\backslash \; sqrt\; \{\; \backslash \; det\; \{\backslash \; tilde\; \{g\}\}\}\}\; \backslash ;\; dv\_\; \{1\}\; \backslash ;\; dv\_\; \{2\}.\; \backslash \; end\; \{align\}\}\}$

Таким образом, в любой системе координат элемент объема принимает одно и то же выражение: Выражение элемента объема инвариантно при изменении координат.

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

Пример: сфера

Например, рассмотрим сферу с радиусом r с центром в начале координат в R . Это можно параметризовать, используя сферические координаты с картой

$\varphi \; (u\; 1,\; u\; 2)\; =\; (r\; cos\; \; u\; 1\; sin\; \; u\; 2,\; r\; sin\; \; u\; 1\; sin\; \; u\; 2,\; r\; cos\; \; u\; 2).\; \{\backslash \; displaystyle\; \backslash \; phi\; (u\_\; \{1\},\; u\_\; \{2\})\; =\; (r\; \backslash \; cos\; u\_\; \{1\}\; \backslash \; sin\; u\_\; \{2\},\; r\; \backslash \; sin\; u\_\; \{1\}\; \backslash \; sin\; u\_\; \{2\},\; r\; \backslash \; cos\; u\_\; \{2\}).\}$

Тогда

$g\; =\; (r\; 2\; sin\; 2\; \; u\; 2\; 0\; 0\; r\; 2),\; \{\backslash \; displaystyle\; g\; =\; \{\backslash \; begin\; \{pmatrix\}\; r\; ^\; \{2\}\; \backslash \; sin\; ^\; \{2\; \}\; u\_\; \{2\}\; 0\; \backslash \backslash \; 0\; r\; ^\; \{2\}\; \backslash \; end\; \{pmatrix\}\},\}$

и элемент площади равен

$\omega \; =\; det\; gdu\; 1\; du\; 2\; =\; r\; 2\; sin\; \; u\; 2\; du\; 1\; du\; 2.\; \{\backslash \; displaystyle\; \backslash \; omega\; =\; \{\backslash \; sqrt\; \{\backslash \; det\; g\}\}\; \backslash ;\; du\_\; \{1\}\; du\_\; \{2\}\; =\; r\; ^\; \{2\}\; \backslash \; sin\; u\_\; \{2\}\; \backslash ,\; du\_\; \{1\}\; du\_\; \{2\}.\}$

• Цилиндрическая система координат # Линейные и объемные элементы
• Сферическая система координат # Интегрирование и дифференцирование в сферических координатах
• Поверхностный интеграл
• Объемный интеграл

• Besse, Arthur L. (1987), Многообразия Эйнштейна, Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Результаты в математике и смежных областях (3)], т. 10, Берлин, Нью-Йорк: Springer-Verlag, pp. Xii + 510, ISBN 978-3-540-15279-8