stringtranslate.com

Векторное поле

Часть векторного поля (sin  y , sin  x )

В векторном исчислении и физике векторное поле представляет собой присвоение вектора каждой точке пространства , чаще всего евклидова пространства . [1] Векторное поле на плоскости можно представить как набор стрел с заданными величинами и направлениями, каждая из которых прикреплена к точке на плоскости. Векторные поля часто используются для моделирования, например, скорости и направления движущейся жидкости в трехмерном пространстве , например ветра , или силы и направления некоторой силы , например магнитной или гравитационной силы, когда она изменяется от одна точка в другую точку.

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

Векторное поле — это частный случай векторной функции , размерность области определения которой не связана с размерностью ее диапазона; например, вектор положения пространственной кривой определяется только для меньшего подмножества окружающего пространства. Аналогично, n координат , векторное поле в области в n -мерном евклидовом пространстве, можно представить как векторную функцию, которая сопоставляет n - кортеж действительных чисел с каждой точкой области. Такое представление векторного поля зависит от системы координат, и существует четко определенный закон преобразования ( ковариантность и контравариантность векторов ) при переходе из одной системы координат в другую.

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

Определение

Векторные поля на подмножествах евклидова пространства

Два представления одного и того же векторного поля: v ( x , y ) знак равно - r . Стрелками показано поле в дискретных точках, однако поле существует везде.

Учитывая подмножество S R n , векторное поле представляется векторной функцией V : SR n в стандартных декартовых координатах ( x 1 , …, x n ) . Если каждая компонента V непрерывна, то V — непрерывное векторное поле. Обычно основное внимание уделяется гладким векторным полям, что означает, что каждый компонент представляет собой гладкую функцию (дифференцируемую любое количество раз). Векторное поле можно представить как присвоение вектора отдельным точкам в n -мерном пространстве. [1]

Одним из стандартных обозначений является запись единичных векторов в координатных направлениях. В этих терминах каждое гладкое векторное поле на открытом подмножестве можно записать как

для некоторых гладких функций на . [2] Причиной этого обозначения является то, что векторное поле определяет линейное отображение пространства гладких функций в себя, заданное путем дифференцирования по направлению векторного поля.

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

Учитывая векторные поля V , W , определенные на S , и гладкую функцию f, определенную на S , операции скалярного умножения и сложения векторов,

модулькольцом

Закон преобразования координат

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

Таким образом, предположим, что ( x 1 , ..., x n ) представляет собой выбор декартовых координат, в терминах которого компоненты вектора V равны

y 1y nnопределяющими другуюV

Такой закон преобразования называется контравариантным . Подобный закон преобразования характеризует векторные поля в физике: в частности, векторное поле представляет собой спецификацию n функций в каждой системе координат, подчиняющуюся закону преобразования ( 1 ), связывающему различные системы координат.

Таким образом, векторные поля контрастируют со скалярными полями , которые связывают число или скаляр с каждой точкой пространства, а также с простыми списками скалярных полей, которые не трансформируются при изменении координат.

Векторные поля на многообразиях

Векторное поле на сфере

Учитывая дифференцируемое многообразие , векторное поле на является назначением касательного вектора к каждой точке в . [2] Точнее, векторное поле представляет собой отображение из в касательное расслоение , так что это тождественное отображение где обозначает проекцию из в . Другими словами, векторное поле — это сечение касательного расслоения .

Альтернативное определение: Гладкое векторное поле на многообразии — это такое линейное отображение , которое является дифференцированием : для всех . [3]

Если многообразие гладкое или аналитическое , то есть замена координат гладкая (аналитическая), тогда можно понять понятие гладких (аналитических) векторных полей. Совокупность всех гладких векторных полей на гладком многообразии часто обозначается или (особенно если рассматривать векторные поля как сечения ); совокупность всех гладких векторных полей также обозначается ( фракция «X»).

Примеры

Поле потока вокруг самолета представляет собой векторное поле в R3 , которое здесь визуализируется пузырьками, которые следуют за линиями тока , показывая вихрь на законцовках крыла .
Векторные поля обычно используются для создания узоров в компьютерной графике . Здесь: абстрактная композиция кривых, следующих векторному полю, сгенерированному с помощью шума OpenSimple .

Градиентное поле в евклидовых пространствах

Векторное поле, имеющее циркуляцию вокруг точки, нельзя записать как градиент функции.

Векторные поля могут быть построены из скалярных полей с помощью оператора градиента (обозначаемого del : ∇). [4]

Векторное поле V , определенное на открытом множестве S, называется градиентным полем или консервативным полем, если существует вещественная функция (скалярное поле) f на S такая, что

Соответствующий поток называетсяградиентный поток и используется в методеградиентного спуска.

Интеграл по путям вдоль любой замкнутой кривой γ ( γ (0) = γ (1)) в консервативном поле равен нулю:

Центральное поле в евклидовых пространствах

C∞ -векторное поле над Rn \ {0} называется центральным полем , если

O( n , R )ортогональная группаинвариантныортогональных преобразований

Точка 0 называется центром поля.

Поскольку ортогональные преобразования на самом деле представляют собой вращения и отражения, условия инвариантности означают, что векторы центрального поля всегда направлены к 0 или от него; это альтернативное (и более простое) определение. Центральное поле всегда является полем градиента, поскольку определение его на одной полуоси и интегрирование дает антиградиент.

Операции над векторными полями

Линейный интеграл

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

Линейный интеграл строится аналогично интегралу Римана и существует, если кривая спрямляема (имеет конечную длину) и векторное поле непрерывно.

Учитывая векторное поле V и кривую γ , параметризованную t в [ a , b ] (где a и bдействительные числа ) , линейный интеграл определяется как

Чтобы показать топологию векторного поля, можно использовать свертку линейного интеграла .

Дивергенция

Дивергенция векторного поля в евклидовом пространстве — это функция (или скалярное поле) . В трехмерном измерении расхождение определяется выражением

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

Дивергенцию также можно определить на римановом многообразии , то есть на многообразии с римановой метрикой , измеряющей длину векторов.

Завиток в трех измерениях

Скручивание — это операция, которая принимает векторное поле и создает другое векторное поле. Ротор определяется только в трех измерениях, но некоторые свойства ротора можно отразить в более высоких измерениях с помощью внешней производной . В трех измерениях он определяется формулой

Вихрь измеряет плотность углового момента векторного потока в точке, то есть величину, с которой поток циркулирует вокруг неподвижной оси. Это интуитивное описание уточняется теоремой Стокса .

Индекс векторного поля

Индекс векторного поля — это целое число, которое помогает описать его поведение вокруг изолированного нуля (т. е. изолированной особенности поля). На плоскости индекс принимает значение −1 в седловой особенности и +1 в истоковой или стоковой особенности.

Пусть n — размерность многообразия, на котором определено векторное поле. Возьмем замкнутую поверхность (гомеоморфную (n-1)-сфере) S вокруг нуля так, чтобы никакие другие нули не лежали внутри S.  Можно построить отображение этой сферы в единичную сферу размерности n - 1. разделив каждый вектор на этой сфере на его длину, чтобы сформировать вектор единичной длины, который является точкой на единичной сфере S n -1 . Это определяет непрерывное отображение из S в Sn 1 . Индекс векторного поля в точке является степенью этого отображения. Можно показать, что это целое число не зависит от выбора S и, следовательно, зависит только от самого векторного поля.

Индекс не определен ни в одной неособой точке (т. е. в точке, где вектор отличен от нуля). Он равен +1 вокруг источника и, в более общем смысле, равен (-1) k вокруг седла, которое имеет k сжимающихся размеров и n - k расширяющихся размеров.

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

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

Для векторного поля на компактном многообразии с конечным числом нулей теорема Пуанкаре-Хопфа утверждает, что индекс векторного поля является эйлеровой характеристикой многообразия .

Физическая интуиция

Линии магнитного поля железного стержня ( магнитного диполя )

Майкл Фарадей в своей концепции силовых линий подчеркивал , что само поле должно быть объектом изучения, каким оно и стало во всей физике в форме теории поля .

Помимо магнитного поля, другие явления, смоделированные Фарадеем, включают электрическое поле и световое поле .

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

Кривые потока

Рассмотрим течение жидкости через область пространства. В любой момент времени с любой точкой жидкости связана определенная скорость; таким образом, любому потоку соответствует векторное поле. Верно и обратное: можно связать поток с векторным полем, имеющим это векторное поле в качестве скорости.

Учитывая векторное поле , определенное на , можно определить кривые на таких, что для каждого в интервале ,

По теореме Пикара–Линделефа , если липшицева непрерывна, то для каждой точки существует уникальная -кривая, так что для некоторого ,

Кривые называются интегральными кривыми или траекториями (или реже линиями тока) векторного поля и разбиваются на классы эквивалентности . Не всегда возможно расширить интервал на всю линию действительных чисел . Поток может, например, достичь границы за конечное время. В двух или трех измерениях можно представить векторное поле как порождающее поток на . Если мы бросим частицу в этот поток в какой-то точке, она будет двигаться по кривой потока в зависимости от начальной точки . Если – стационарная точка (т.е. векторное поле равно нулевому вектору в точке ), то частица останется в точке .

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

Полные векторные поля

По определению векторное поле на называется полным , если каждая его кривая течения существует всегда. [6] В частности, векторные поля с компактным носителем на многообразии полны. Если – полное векторное поле на , то однопараметрическая группа диффеоморфизмов, порожденная потоком вдоль, существует всегда; оно описывается гладким отображением

На компактном многообразии без края каждое гладкое векторное поле полно. Пример неполного векторного поля на действительной прямой имеет вид . Ибо дифференциальное уравнение с начальным условием имеет единственное решение if (и для всех if ). Следовательно , для не определено в и поэтому не может быть определено для всех значений .

Скобка Лжи

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

f -родственность

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

Если -относится к , , то скобка Ли -относится к .

Обобщения

Замена векторов на p -векторы ( p -я внешняя степень векторов) дает p -векторные поля; взятие двойственного пространства и внешних степеней дает дифференциальные k -формы , а их объединение дает общие тензорные поля .

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

Смотрите также

Рекомендации

  1. ^ аб Гальбис, Антонио; Маэстре, Мануэль (2012). Векторный анализ против векторного исчисления. Спрингер. п. 12. ISBN 978-1-4614-2199-3.
  2. ^ аб Ту, Лоринг В. (2010). «Векторные поля». Введение в многообразия . Спрингер. п. 149. ИСБН 978-1-4419-7399-3.
  3. Лерман, Евгений (19 августа 2011 г.). «Введение в дифференциальную геометрию» (PDF) . Определение 3.23.
  4. ^ Доубер, PG (1987). Векторы и векторные операторы. ЦРК Пресс. п. 29. ISBN 978-0-85274-585-4.
  5. ^ Беретта, Джан Паоло (01.05.2020). «Четвертый закон термодинамики: крутейший подъем энтропии». Философские труды Королевского общества А. 378 (2170): 20190168.arXiv : 1908.05768 . Бибкод : 2020RSPTA.37890168B. дои : 10.1098/rsta.2019.0168. ISSN  1471-2962. S2CID  201058607.
  6. ^ Шарп, Р. (1997). Дифференциальная геометрия . Спрингер-Верлаг. ISBN 0-387-94732-9.

Библиография

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