WikiDer > Скобка Ли векторных полей

Lie bracket of vector fields

В математической области дифференциальная топология, то Скобка Ли векторных полей, также известный как Скобка Якоби – Ли или коммутатор векторных полей, это оператор, который присваивает любые два векторные поля Икс и Y на гладкое многообразие M третье векторное поле, обозначенное [Икс, Y].

Концептуально скобка Ли [Икс, Y] является производной от Y вдоль течь Сгенерированно с помощью Икс, и иногда обозначается («Производная Ли от Y по X»). Это обобщает Производная Ли любой тензорное поле вдоль потока, порожденного Икс.

Скобка Ли - это р-билинейный операции и превращает набор всех гладкий; плавный векторные поля на многообразии M в (бесконечномерный) Алгебра Ли.

Скобка Ли играет важную роль в дифференциальная геометрия и дифференциальная топология, например, в Теорема Фробениуса об интегрируемости, а также является фундаментальным в геометрической теории нелинейные системы управления.[1]

Определения

Существует три концептуально различных, но эквивалентных подхода к определению скобки Ли:

Векторные поля как производные

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

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

Потоки и ограничения

Позволять быть течь связанный с векторным полем Икс, и пусть D обозначает оператор производной касательной карты. Тогда скобка Ли Икс и Y в момент ИксM можно определить как Производная Ли:

Это также позволяет измерить отказ потока в последовательных направлениях. вернуться к делу Икс:

В координатах

Хотя приведенные выше определения скобки Ли внутренний (независимо от выбора координат на многообразии M), на практике часто возникает необходимость вычислить скобку в терминах конкретной системы координат . Мы пишем для ассоциированного локального базиса касательного расслоения, так что общие векторные поля могут быть записаны и для гладких функций . Тогда скобка Ли может быть вычислена как:

Если M есть (открытое подмножество) рп, то векторные поля Икс и Y можно записать в виде гладких отображений вида и , и скобка Ли дан кем-то:

где и находятся п × п Матрицы Якоби умножение п ×1 вектор-столбец Икс и Y.

Свойства

Скобка Ли векторных полей снабжает вещественное векторное пространство всех векторных полей на M (т.е. гладкие сечения касательного расслоения ) со структурой Алгебра Ли, что означает, что [•, •] - отображение с участием:

  • р-билинейность
  • Антисимметрия,
  • Личность Якоби,

Непосредственным следствием второго свойства является то, что для любого .

Кроме того, есть значок "правило продукта"для скобок Ли. Для гладкой (скалярнозначной) функции ж на M и векторное поле Y на M, мы получаем новое векторное поле fY путем умножения вектора YИкс скалярным ж(Икс) в каждой точке ИксM. Потом:

где мы умножаем скалярную функцию Икс(ж) с векторным полем Y, а скалярная функция ж с векторным полем [Икс, Y].Это превращает векторные поля со скобкой Ли в Алгеброид Ли.

Исчезновение скобки Ли Икс и Y означает, что следование течению в этих направлениях определяет поверхность, вложенную в M, с участием Икс и Y как координатные векторные поля:

Теорема: если и только тогда потоки Икс и Y добираться до места, что означает для всех ИксM и достаточно маленький s, т.

Это частный случай Теорема Фробениуса об интегрируемости.

Примеры

Для Группа Ли гсоответствующие Алгебра Ли касательное пространство в единице , которое можно отождествить с векторным пространством левоинвариантных векторных полей на г. Скобка Ли двух левоинвариантных векторных полей также левоинвариантна, что определяет операцию скобки Якоби – Ли .

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

Приложения

Скобка Якоби – Ли необходима для доказательства малая местная управляемость (STLC) для безрискового аффинные системы управления.

Обобщения

Как упоминалось выше, Производная Ли можно рассматривать как обобщение скобки Ли. Другое обобщение скобки Ли (на векторные дифференциальные формы) это Скобка Фрелихера – Нийенхейса.

использованная литература

  • "Лежачий кронштейн", Энциклопедия математики, EMS Press, 2001 [1994]
  • Исайя, Пантелис (2009), «Контролируемая парковка [Спросите экспертов]», Журнал IEEE Control Systems, 29 (3): 17–21, 132, Дои:10.1109 / MCS.2009.932394
  • Халил, Х.К. (2002), Нелинейные системы (3-е изд.), Верхняя Сэдл-Ривер, Нью-Джерси: Prentice Hall, ISBN 0-13-067389-7
  • Коларж, И., Михор, П., и Словак, Дж. (1993), Естественные операции в дифференциальной геометрии, Springer-VerlagCS1 maint: несколько имен: список авторов (ссылка на сайт) Подробное обсуждение скобок Ли и общей теории производных Ли.
  • Ланг, С. (1995), Дифференциальные и римановы многообразия, Springer-Verlag, ISBN 978-0-387-94338-1 Для обобщений на бесконечные измерения.
  • Льюис, Эндрю Д., Примечания к (нелинейной) теории управления (PDF)[постоянная мертвая ссылка]
  • Уорнер, Франк (1983) [1971], Основы дифференцируемых многообразий и групп Ли, Нью-Йорк-Берлин: Springer-Verlag, ISBN 0-387-90894-3