WikiDer > Разнообразие

Diffiety

В математика, а распущенность - геометрический объект, представленный Александр Михайлович Виноградов (видеть Виноградов (1984а)) играет ту же роль в современной теории уравнения в частных производных в качестве алгебраические многообразия играть для алгебраических уравнений.

Определение

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

Jet Spaces

Позволять быть -мерное гладкое многообразие.

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

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

и иметь такую ​​же 1-струю, пока и есть такая же 3-х струйная.

Можно показать, что касаться порядка координатно-инвариантное понятие и отношение эквивалентности (см. Сондерс (1989) например). Следовательно, струя является классом эквивалентности. Мы можем использовать струи для определения струйных пространств.

В Jet Space определяется как множество всех струй порядка из -мерные подмногообразия в во всех точках , т.е.

Можно показать, что пространства струй естественным образом наделены структурой гладкого многообразия (см. Сондерс (1989) опять таки).

Дифференциальные уравнения

А дифференциальное уравнение является подмногообразием Jet Space, .

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

Продление

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

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

В -е продолжение дифференциального уравнения определяется как

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

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

Распределение Картана

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

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

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

Обобщенное решение дифференциального уравнения определяется как -мерное подмногообразие это выполняет для всех .

Можно также посмотреть на распределение Картана подмногообразия без необходимости рассматривать это внутри . Для этого нужно определить ограничение Распределения на подмногообразие следующее.

Если , то его распределение Картана определяется формулой

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

Определение различия

В Алгебраическая геометрия основные объекты исследования: разновидности которые включают все алгебраические следствия системы алгебраических уравнений. Например, если рассматривать нулевое геометрическое место набора многочленов, то применение алгебраических операций к этому набору (например, сложение этих многочленов друг с другом или умножение их на любой другой многочлен) приведет к тому же нулевому пространству, т. Е. Можно фактически рассмотрим геометрическое место нулей алгебраического идеала исходного множества многочленов.

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

Если это -дифференциальное уравнение элементарное различие пара .

Обратите внимание, что при рассмотрении дифференциального уравнения , то можно показать, что распределение Картана точно -мерное отличие от конечного числа продолжений.

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

Предположим, что - вообще бесконечномерное многообразие, снабженное гладкой функциональной алгеброй и конечномерное распределение .A распущенность это тройка это локально имеет форму куда это дифференциальное уравнение, обозначает класс бесконечно дифференцируемых функций на и локально означает подходящую локализацию относительно Топология Зарисского соответствующая алгебре .

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

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

Приложения

Виноградова последовательность

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

Предположить, что это различие. Теперь определим

быть алгеброй дифференциальных форм над Рассмотрим соответствующий комплекс де Рама:

Его группы когомологий содержат некоторую структурную информацию о PDE. Однако по лемме Пуанкаре все они локально обращаются в нуль. Таким образом, чтобы извлечь гораздо больше и даже локальную информацию, необходимо принять во внимание распределение Картана, что облегчит последовательность Виноградова.

быть подмодулем дифференциальных форм над ограничение на распределение исчезает. Это означает

На самом деле это так называемый дифференциальный идеал, поскольку он устойчив относительно к дифференциалу де Рама, т. е. .

Теперь позвольте быть его -й степени, т.е. линейное подпространство создано .Тогда получается фильтрация

и поскольку все идеалы стабильны, эта фильтрация полностью определяет спектральную последовательность. (Подробнее о том, как работают спектральные последовательности, см. спектральная последовательность.) Обозначим эту последовательность через

Приведенная выше фильтрация конечна в каждой степени, что означает

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

  1. соответствует функционалам действия, ограниченным PDE и для , соответствующее уравнение Эйлера-Лагранжа имеет вид .
  2. соответствует законам сохранения для решений .
  3. интерпретируется как характеристические классы бордизмов решений .
  4. Есть еще много терминов, ожидающих своего толкования.

Вторичное исчисление

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

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

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

Другой способ обобщения идей алгебраической геометрии - это дифференциально-алгебраическая геометрия.

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

  • Виноградов А.М. (1978), "Спектральная последовательность, связанная с нелинейным дифференциальным уравнением и алгебро-геометрическими основами лагранжевой теории поля со связями", Советская математика. Докл., 19: 144–148
  • Виноградов, А. М. (1984a), "Локальные симметрии и законы сохранения", Acta Applicandae Mathematicae, 2 (1): 21–78, Дои:10.1007 / BF01405491, МИСТЕР 0736872
  • Виноградов, А. М. (1984b), "C-спектральная последовательность, лагранжев формализм и законы сохранения I, II", J. Math. Анальный. Appl., 100: 1–129, Дои:10.1016 / 0022-247X (84) 90071-4
  • Сондерс, Д. Дж. (1989). Геометрия струйных пучков.. Серия лекций Лондонского математического общества. Издательство Кембриджского университета.
  • Виноградов, А. М. (1998), «Введение во вторичное исчисление», в M. Henneaux; И. С. Красильщик; Виноградов А.М. (ред.), Вторичное исчисление и когомологическая физика, Современная математика, 219, Американское математическое общество, стр. 241–272, ISBN 978-0-8218-0828-3
  • Красильщик, И. С .; Виноградов, А. М .; Бочаров, А. В .; Четвериков, В. Н .; Дужин, С. В .; Хорькова Н.Г .; Самохин, А. В .; Торхов Ю.Н. Вербовецкий, А. М. (1999). Симметрии и законы сохранения для дифференциальных уравнений математической физики. Переводы математических монографий. Американское математическое общество.
  • Виноградов, Александр Михайлович (2001), Когомологический анализ дифференциальных уравнений в частных производных и вторичного исчисления, Книжный магазин AMS, ISBN 978-0-8218-2922-6
  • Витальяно, Лука (2009), "Вторичное исчисление и ковариантное фазовое пространство", Журнал геометрии и физики, 59 (4): 426–447, arXiv:0809.4164, Bibcode:2009JGP .... 59..426V, Дои:10.1016 / j.geomphys.2008.12.001
  • Витальяно, Лука (2014), "О сильной гомотопической алгебре Ли-Райнхарта слоения", Коммуникации в современной математике, 16 (6): 1450007, arXiv:1204.2467, Дои:10.1142 / S0219199714500072

внешняя ссылка