Новости    Библиотека    Энциклопедия    Биографии    Карта сайта    Ссылки    О проекте




ДИФФЕРЕНЦИАЛЬНАЯ АЛГЕБРА

ДИФФЕРЕНЦИАЛЬНАЯ АЛГЕБРА - раздел алгебры, изучающий объекты, в к-рых, наряду с операциями сложения и умножения, имеются операции дифференцирования: дифференциальные кольца, дифференциальные модули, дифференциальные поля, дифференциальные алгебраич. многообразия.

Один из основных объектов Д. а.- алгебра дифференциальных полиномов ℱ{Y1, ..., Yn}, являющаяся аналогом кольца многочленов в коммутативной алгебре (см. Расширение дифференциального поля). Каждой системе дифференциальных уравнений

F1 = 0, ..., Fk = 0

ставится в соответствие совершенный дифференциальный идеал {F1, ..., Fk}, порожденный этой системой в алгебре дифференциальных полиномов. Теорема Ритта-Рауденбаха о базисе утверждает, что таким образом получаются все совершенные дифференциальные идеалы (дифференциальный идеал I наз. совершенным, если из аm ∈ I для нек-рого компонента неприводимого дифференциального полинома A ∈ ℱ{Y1, ..., Yn} компонентой для {F}. Точнее, пусть F, A ∈ ℱ{Y1, ..., Yn}, порядки F и А относительно Yn равны m и l соответственно, Aj есть j-я производная от А и S - сепаранта для А. Существуют t ≥ 0 и r > 0 такие, что

где pj ≥ 0, ikj ≥ 0, никакие два множества i1j, ..., im-l,j не совпадают, порядок сj относительно Yn не превосходит l и cj не делится на А. Если найдено такое разложение, то теорема о низких степенях гласит: общая компонента многообразия {А} является компонентой многообразия {F} тогда и только тогда, когда выписанное разложение содержит член ckApk, свободный от производных А, и степень к-рого ниже степени любого другого слагаемого в выписанном разложении, рассматриваемом как полином от А, А1, ..., Аm-1 (в ненулевой характеристике это условие не является ни необходимым, ни достаточным).

Другое направление исследований в Д. а. представляет вопрос о расширении специализаций. Пусть (η1, ..., ηn) и (ζ1, ..., ζn) - точки в Un, где U - универсальное расширение дифференциального поля ℱ. Точка (ζ1, ..., ζn) наз. дифференциальной специализацией точки (η1, ..., ηn) над ℱ (что обозначается (η1, ..., ηn) →1, ..., ζn), если любой дифференциальный полином, обращающийся в нуль в (η1, ..., ηn), обращается в нуль и в (ζ1, ..., ζn). Если (η1, ..., ηn) →1, ..., ζn) и 1 ≤ k ≤ n, то очевидно, что (η1, ..., ηt) →1, ..., ζt). Говорят, что первая специализация является расширением второй.

Пусть даны (η1, ..., ηt) и k и пусть B ∈ ℱ{Y1, ..., Yt} таков, что B(η1, ..., ηn) ≠ 0. Доказано, что существует ненулевой дифференциальный полином B0 ∈ ℱ{Y1, ..., Yk}, удовлетворяющий условию B01, ..., ηk) ≠ 0, и такой, что любая дифференциальная специализация (η1, ..., ηk) →1, ..., ζk), для которой B01, ..., ζt) ≠ 0, может быть расширена до дифференциальной специализации (η1, ..., ηn) → (ζ1, ..., ζn), где B(ζ1, ..., ζn) ≠ 0. Однако, в отличие от ситуации в алгебраич. геометрии, дифференциальная специализация (η1, ..., ηk) →1, ..., ζk) не всегда может быть расширена до дифференциальной специализации (η1, ..., ηn) →1, ..., ζn) даже если элементы ζk+1, ..., ζn будут принимать значение ∞. Таким образом возникает задача: найти критерий, когда дифференциальная специализация (η1, ..., ηk) →1, ..., ζk) может быть расширена до дифференциальной специализации (η1, ..., ηn) →1, ..., ζn).

Частный случаи этой проблемы встречается в проблеме неопределенных форм. Пусть полиномы F, G ∈ ℱ{Y1, ..., Yn} взаимно простые, G ≠ 0, и F и G обращаются в нуль в точке (0, ..., 0). Проблема состоит в том, чтобы отношению F/G приписать значение в точке (0, ..., 0). Пусть элементы t1, ..., tn ∈ U дифференциально алгебраически независимы над ℱ и

u = F(t1, ..., tn)/G(t1, ..., tn).

Естественно сказать, что F/G допускает значение α в точке (0, ..., 0), если (t1, ..., tn, u) → (0, ..., 0, α).

Таким образом проблема сводится к нахождению расширений (t1, ..., tn) → (0, ..., 0) до (t1, ..., tn, u). Это эквивалентно определению элементов α ∈ U таких, что (0, ..., 0, α) является нулем общей компоненты дифференциального полинома Yn+1G - F ∈ ℱ{Y1, ..., Yn+1}. Дж. Ритт (J. Ritt) предположил, что а либо определено однозначно (возможно, равно ∞), либо полностью произвольно; он доказал это предположение для обыкновенных дифференциальных полей при n = 1, ord(FG) = 1. Изучаются свойства конкретных дифференциальных идеалов в кольце ℱ{Y1, ..., Yn}. Для бесконечной последовательности Σ1, ..., Σp, ... простых дифференциальных идеалов в ℱ{Y1, ..., Yn}, где каждый Σi - собственный делитель идеала Σi+1, пересечение всех Σi является простым дифференциальным идеалом и размерность соответствующего многообразия больше размерности многообразия i, соответствующего Σi для любого i.

Из других результатов о дифференциально алгебраич. многообразиях следует отметить аналог теоремы Люрота: если расширение дифференциального поля ℱ, к-рое содержится в ℱ<u>, то содержит элемент v такой, что ℱ<v> = .

Однако теория дифференциально алгебраич. кривых (многообразий дифференциальной размерности 1) находится в начальной стадии развития; даже для таких инвариантов, как род кривой в алгебраич. геометрии, дифференциально алгебраич. аналоги не найдены. Значительный интерес представляет теория пересечений дифференциально алгебраич. многообразий. Для них неверно утверждение, что пересечение двух нприводимых многообразий размерности р и q в n-мерном аффинном пространстве имеет размерность не менее p + q - n. Однако дифференциально алгебраич. многообразия, кроме размерности, характеризуются также порядком относительно выбранного базиса дифференциальной трансцендентности. Для порядка пересечения многообразий относительно специальным образом выбираемого базиса получены нек-рые оценки сверху. В аналитическом случае доказана следующая теорема о пересечении компонент одного дифференциального полинома: если F - дифференциальный полином от неизвестных Y1, ..., Yn, то нуль полинома F, содержащийся более яем в одной компоненте F, аннулирует ∂F/∂Yij для i = 1, ..., n и любого j. Понятия дифференциально алгебраич. многообразия можно обобщить (уже не предполагая его аффинным). В частности, можно ввести понятия дифференциально однородных полиномов и проективных дифференциально алгебраич. многообразий.

Для дифференциального поля F не существует дифференциально алгебраич. замыкания, не существует дифференциально алгебраич. замкнутых полей. Заменой их, в нек-ром смысле, являются так наз. «стесненные» расширения.

Одним из направлений в Д. а. является теория Галуа дифференциальных полей. Для дифференциального поля ℱ строится универсальное дифференциальное расширение U и рассматривается множество дифференциальных изоморфизмов конечно порожденного дифференциально алгебраич. расширения поля ℱ в U, тождественных на ℱ. Если является сильно нормальным расширением ℱ, то на множестве G дифференциальных изоморфизмов в U можно ввести структуру алгебраич. группы над полем констант К поля U. Частным случаем сильно нормальных расширений являются расширения Пикара - Вессио, получающиеся присоединением к полю ℱ решений линейного однородного дифференциального уравнения с коэффициентами в поле ℱ. Группа Галуа расширения Пикара - Вессио является алгебраической матричной группой. Связь между промежутонными полями и подгруппами группы G описывается следующей теоремой.

Пусть - сильно нормальное расширение дифференциального поля ℱ с полем констант С. а) Если ℱ1 -дифференциальное поле такое, что ℱ ⊂ ℱ1, то сильно нормально над группа Галуа G(/ℱ1) является С-подгруппой в G(/ℱ1) и поле инвариантов группы C(/ℱ1) в совпадает с б) Если G1 является С-подгруппой группы G(/ℱ) и ℱ1 обозначает множество инвариантов группы G1 в , то ℱ1 - дифференциальное поле, ℱ ⊂ ℱ1 и G(/ℱ1) = G1.

Нормальным делителям С1 группы G(/ℱ1) соответствуют при этом сильно нормальные расширения ℱ1 поля ℱ, и наоборот. Для связных разрешимых групп решена обратная задача Галуа, т. е. вопрос о существовании у поля ℱ сильно нормального расширения , группа Галуа к-рого G(/ℱ) изоморфна заданной группе. Эта задача сведена к оценке размерности нек-рого векторного пространства над полем констант С поля ℱ и ранга некоторой абелевой группы. Имеются результаты по теории Галуа бесконечных расширений. Смежными с теорией Галуа вопросами занимается теория интегрирования в конечном виде.

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

Среди результатов о приближении дифференциально алгебраич. функций рациональными может быть отмечен аналог теоремы Лиувилля о приближении алгебраич. чисел рациональными. Однако доказательство аналога теоремы Туэ - Зигеля - Рота остается (1978) проблемой.

Развивается теория колец с высшими дифференцированиями. При изучении объектов ненулевой характеристики высшие дифференцирования представляют более сильное средство. Если характеристика дифференциального кольца А равна р, то р-я степень любого элемента является константой, в то время как для колец с высшими дифференцированиями это не так. Для колец с высшими дифференцированиями получены аналоги многих перечисленных выше результатов, касающихся как теории пересечения идеалов, так и теории Галуа.

Лит.: [1] Капланский И., Введение в дифференциальную алгебру, пер. с англ., М., 1959; [2] Ritt J. F., Differential algebra, N. Y., 1950; [3] Kolchin E. R., Differential algebra and algebraic groups, N. Y.-L., 1973; [4] его жe, Some problems in differential algebra, в сб.: Тр. международного конгресса математиков. Москва 1966, М., 1968.

А. В. Михалев, Е. В. Панкратьев.


Источники:

  1. Математическая энциклопедия: Гл. ред. И. М. Виноградов, т. 2 Д - Коо.-М.: «Советская Энциклопедия», 1979.-1104 стб., ил.




ИНТЕРЕСНО:

Петер Шольц - самый молодым лауреат Филдсовской премии

Кашер Биркар - беженец из Ирана - стал лауреатом Филдсовской премии

Эмми Нётер — была великой женщиной и при этом величайшей женщиной-математиком

Зачем математики ищут простые числа с миллионами знаков?

Задача построения новых оснований математики - унивалентные основания

Многомерный математический мир… в вашей голове

В школах Великобритании введут китайские учебники математики

Найдено самое длинное простое число Мерсенна, состоящее из 22 миллионов цифр

Как математик помог биологам совершить важное открытие

Математические модели помогут хирургам

Почему в математике чаще преуспевают юноши

Физики-практики откровенно не любят математику

В индийской рукописи нашли первое в истории упоминание ноля

Вавилонская глиняная табличка оказалась древнейшей «тригонометрической таблицей» в мире

Ученые рассказали о важной роли игр с пальцами в обучении детей математике
Пользовательского поиска

© Злыгостев Алексей Сергеевич, статьи, подборка материалов, оформление, разработка ПО 2001-2018
При копировании материалов проекта обязательно ставить ссылку на страницу источник:
http://mathemlib.ru/ 'MathemLib.ru: Математическая библиотека'
Рейтинг@Mail.ru