Труды семинара Бурбаки за 1992 г (947406), страница 12
Текст из файла (страница 12)
Ас!чвлсес! СошЬшасог!ся, Ке!Йе), Оогс!гесЬс, 1974. [11) С'гаЬвгп К., КппСЬ О., РагазЬпйс О. Сопсгеге МаСЬепсаВсз, АсСйеопЪез!еу, Кеайпб, 1989. [Имеется перевод: Грехэм Р., Кнут Дч Паташник О. Конкретная математика. Основание информатики. — Мс Мир, 1998.] [12] КппСЬ В. ТЬе Агг ос СошрпСег Ргобгагпш!пб, 3 чо!., АсЫ!зоп-%ез!еу, Кеайпб, 1968-1973. [Имеется перевод: Кнут Д. Искусство программирования для ЭВМ, т. 1-3. — Мс Мир, 1976, 1977, 1978.] [13] МасшаЬоп Р. СошЬ!ПаСогу Апа1узах 2 чо1., СЬе1зеа, зевс Ногй, 1960 (переизданне). [14] Кюп1зл Л. Ап 1пСгос!псс!оп со СошЬспасопа1 Апа1узкб ЛоЬп 1Ч!!еу, !с!есч Ног1с, 1958.
[Имеется перевод: Риордан Дж. Введение в комбинаторный 'анализ. — Мс ИЛ, 1963.]' 76 Пьер Картье Наконец, несколько обзоров по 9-рипергеометрическим функциям (называемым также базисными): [15] Апйгетчя С. д-Бег!ея: ТЬе!г Ьече!оршепс апй Арр!!сабоп !п. Апа!ув!в, ХпшЪег ТЬеогу, СошЫпасопся, РЬусйсв апй Сошрпсег А!8еЪга, СВМЯ НеЬйопа! СопГегепсе Ъесспге Яепея, 66, Ашег.
МасЬ. Бос., РгочЫепсе, 1986. [16] Вы!еу Ч~. Сепега!явей Нурегбеошеепс Яепев, СатпЪпй8е 17п!четв!Су Ргеяя, СашЪг!йбе, 1935 (переиздание: БСесЬегС-На!пег, )т!ен Ног1с, 1964). [17] Ехсоп Н. с7-Нурегбеошесг!с Рппсс!опя апс1 Арр!касюпя, Е!!!в Ногтевой/ЛоЬп СН!!еу, !с!етч Ног!с 1983. [18] Р!пе Н. Ввяк Нурегбеошеспс Бепев апй Арр1!сабопя, МасЬ. Бшч., чо!. 27, Апгег. МасЬ. Яос., РгочЫепсе, 1988. [19] Свврег С., НаЬшап М. Вая!с Нурег8еошевг!с Бепев, СашЬСЫ8е 17п!четв!Су Ргевя, СагпЪпс18е, 1990. [Имеется перевод; Гаспер Дж., Рахман М. Базисные гииергеометрические рнды.
— Мс Мир, 1993.] [20] Не1пе Е. НапйЬпсЬ йег Кпбе!(пп!СС!опеп, ТЬеопе ппй Аптчепйппб, 2 чо1шпея, Брппбег-Нег1аб, 1898 (= РЬуяса Нег!аб, СНйгяьпгб, 1961). [21] Я!асег 1. Сепега1!яей Нурег8еопсеспс Рапсмопя, СашЬгЫбе 1!п!четв!Су Ргеяя, СапсЬпй8е, 1966. В. Статьи Цайльбергера и соавторов [1] Бе!!Ъегбег Ь.
Б!ясег Се11пе'я СесЬп!сспе епй Вя 8епега1!яаС!опя, Л. МаСЬ. Апа1. Арр1., 85 (1982), 114 — 145. [2] Ее!!Ъег8ег Ь. А Ьо!опонис яуяввгпя арргоасЬ Со ярес!а! !ппсс!опв; Ыепбв!ев, Л. СоспрпС. Арр!. МаСЬ., 32 (1990), 321-368. [3] Ее!!Ъег8ег Ь. А Свес а!8ог!СЬш (ог ргочгпб Сепшпасшб Ьурег8еипеспс ' Ыепс!Вся, Ь!ясгесе МасЬ., 80 (1990), 207-211.
[4] Ее!!Ъегбег Ь., ТЬе шесЬос! о! Стеас!че се!евсор!пб, Л. БугпЬо1!с ~ СошрпваСюп, 11 (1991), 195 — 204. [5] Ее!!Ъегбег Ь. С1ояей согш (рпп !пСепйей!), !п: А СпЬпве Со Епг!! с! СгояятчаЫ: !с!пшЪег ТЬеогу апй Не1асей Апа!ув!я, Сопсешр. МасЬ. чо!. 143, Ашег. МасЬ. Бос., РгочЫепсе, Щ, 1993, 579 — 607. [б] 2е!!Ъег8ег Ь. ТЬгее гесйасюпв оп Ьо!опопис вувгешв апй Ьурегбеошег- ' пс вепев, Ргосеей!п8в о! СЬе Беш!па!ге 1лсЬаппЬйеп йе сошЬспаво!ге,," 24, ЖМА, БСгвяЬопг8, 3. БушЬо1к Сошрпс., 20 (1995), !т!о. 5 — б, 699-.
724. [7] Ее!!Ъег8ег Ь. Р!шп (Ъабгапбе !псегро!ас!оп) ргоо(в о! (апсу (гергеяепСабоп СЬеогу) !огиш1вв, готовится к печати. ]8] Е!сЬай Б. В. Яюгс ргоо(в о! Сне Ьурег8еоспеспс япиипавюп Еогшп!вя о!) Кег!своп, Ргос. Аспег. МасЬ. Яос., 107 (1989), 1143-1144. [9] Е!СЬай Б.
В. А чету яЬогС ргооЕ ос Ьсхоп'я СЬеогесп, Л. СогпЪш. ТЬеогу, Яепев А, 54 (1990), 141-142. [10] Е1сЬай Б. В. А опе-1ше ргоо! оГ СЬе НаЪв!ебег-Ее!!Ъегбег Св сопяСапС Сегш !йенс!Су, 3. Сошрпс Арр!. МасЬ., 34 (1991), 133-134. «АВТОМАТИЧЕСКОЕ» ДОКАЗАТЕЛЬСТВО ТОЖДЕСТВ 77 [1Ц ЕЬЬай Б.В. А яЬогв ргоо! оГ а «яггапбе» сошЫпавог!а! Ыепгцу сои!ее!всей Ьу Соврет, 1Лисгесе МавЬ., 90 (1991), 5!о. 3, 319 — 320. [12] ЕЬЬай Б. В. А вЬогс, е!ешепвагу апй евву, %2 ргоо(оГ ВЬе АяЬеу-Свврег !пег!иа!!ву ВЬав гчав ияей Ъу йе Вгап8ея ги Ыя ргооГ о( вЬе В!еЬегЬасЬ соизесвиге, ТЬеогеа Сопгрип Бс1, 117 (1993), Хо.
1 — 2, 199-202. [13] ЕЬЬай Б.В., Тге Б. А риге1у чепйсацоп ргоо! о! ВЬе бгвс Но8егяЕшпапи]ап Ыепвйу, Л. СошЫп. ТЬеогу Бег. А, 54 (1990), 309-311. [14] ЕЬЬай Б. В., Ее!!Ьег8ег 1Л. А 21в! сепсису ргооГ оГ Вопйа!Гв Ьурег8еошеспс яшп !йенс!Гу, Л. МаВЬ. Апа!. Арр!., 147 (1990)„610-611. [15] ЪЧ!!! Н.
Б., Ее!!Ьегбег П. Тогчвхйя согпригепвей ргооВ оЕ !йепв!в!ея, Ви11. Ашег. МавЬ. Бос., 23 (1990), 77 — 83. [16] ЪЧ!!Г Н.Б., Ее!!Ьег8ег В. Набопа1 Ьгпсв!опя сегГНу сошЬ~пагог!а! !йепв!г!ев, Л. Апшт. МавЬ. Бос., 3 (1990), 147 — 158. [17] ЪЧ!!! Н. Б., Ее!!Ьег8ег В. А Еепега1 ВЬеогу о! спи!11-чапаве Ьурегйеошеь пс ЫепННея, готовится к печати.
[18] %!!! Н. Б. 54 сошрисег-Еепегасей ргооВ оГ Ьгпопг1а1 сое(5с!епв !йепИНея, готовится к печати. Наконец, вот три статьи с детальными программами для МАРЬЕ, реализующие теоретические алгоритмы: [19] 'А!шЬч!вс С., 2е!!Ьегбег В. ТЬе шесЬой о! й!Кегепс!ас!п8 ипйег СЬе !псе8га1 шбп, Лонги. БугпЬ. Сошрисаг!оп, 10 (1990), 571-591. [20] А!шйч!вс С., Ее!!Ьег8ег В. А МАР1 Е рго8гахп сЬаС байя, апй ргочев, гесиггепсев влй й!!7егепв!а! ег!иав!опя вацвйей Ьу Ьурегехропепца1 йеби!Ве ине8гЫв, Б1СБАМ Ви!1ебп, 25 (1991). [2Ц Ее!!Ьег8ег В. А МАРЬЕ рго8гахп !ог ргоч!иб Ьурег8еошесг!с яепея, Б1СБАМ Ви!!ег!и, 25 (1991). С. Алгебра дифференциальных операторов и теория исключения [Ц Бернштейн И. Н. Модули над кольцом дифференциальных операторов.
Изучение фундаментальных решений уравнений с постоянными коэффициентами, — Функц. анализ и прил., т. 5, 1971, вып. 2, с. 1-16. [2] Берншнейн И. Н. Аналитическое продолжение обобщенных функций по параметру. — Функц, анализ и прил., т. 6, 1972, вып. 4, с.26-40 [3] ВЛогЬ Л.-Е. Н!п8я оГ В!(!егепс!и! Орегавогя, ХогВЬ Но!!апг1, Ашвсегйаш, 1979. [4] Воге! А. ес а1. А18еЬгшс В-шойи!ев, Регяресйчея Ы МаВЬ., чо1. 2, Асайеппс Ргеяя, Воя!оп, 1987.
[5] ВисЬЬех8ег В. Ап а18опВЬшЫ шеВЬой !и ро!упегша1 Ыеа1 гЬеогу, Ы. К. Вове ей., Несепс Тгепйв !и Ми!ИгВшепвшпа! Буясепш ТЬеогу, В. Выйе! РиЫВЫп8 Согр., 1985. [6] ЕЫегв Р. ТЬе Игеу! А!ЕеЬга, гл. 1г нз [4], 173 — 205. 78 Пьер Картье [7] Са018о А. Боше а18опСЬш!с,чиеябопв оп !йеа!в оЕ й!)Еегепг!а! орегагогв, ! есг.
Хозе !и Сошр. Бс!., 204 (1985), 413 — 421. [8] Соврет К. Есес!в!оп ргосейиге Еог шйебпие Ьурегбеошегпс вишшаВоп, Ргос. Ьсаз. Асай. Бс!. ЕЕБА, 75 (1978), 40 — 42. [9] КмЬ!свата М. В-Еипсз!опя апй Ьо1опогшс яуясепгв, 1пчепс. МасЬ., 38 (1976), 33-35. [10] КавЬ!нега М. ЧашвЫпб сус!м вЬеачея апй Ьо!опош!с зувзешв оЕ й!ЕЕегепС!ас етсиаС!опя, Ьесг.
Ьсозев !и МаСЬ., чо!. 1016, Ярппбег-Чег1аб, 1983, 134 — 142. [11] Ма18гапбе В. 1 '1пчо1иС!чие йев сатасгег!вг!гСим йея зувСешм й!ЕЕегепВе!в ег ш!стой!ЕЕегепг!е!в, Беш: ВоигЬаЫ, 1977-1978, ехр. 522. Ьесв. Ьсосев ш МасЬ., чо!. 710, Брппбег-Чег!аб, Вег!1п, 1979, 277-289. [12] В!всЬ В. ТЬе во!исюп оЕ сЬе ргоЫеш ш гпсебгайпб гп Егп!се сегшз, Ви1!., Ашег. МаСЬ. Бос., 76 (1970), 605 — 608. [13] Та!гауаша ЬЬ СгоЬпег Ьм!з апй СЬе ргоЫеш оЕ сонг!рюив ге!аС!опв,; Ларап Л. Арр!. МаСЬ., 6 (1989), 147-160. [14] Та)гауагпа 74.
Ап а18оьйСЬш Еог сопввгисг!пб СЬе !пгебта! оЕ а шойи!е —,' ап шбп!Се сбшепяюпа1 апа1об оЕ СгбЬпег Ьзв!з, Ргос. оЕ 1ББАС'90,' А.С.М. Ргеяя. [15] Та1шуаша Ь!. Ап арргоасЬ' Со СЬе вето гесобп!С!оп ргоЫепг, Ьу ВисЬЬегбег 'а!бог!сЬш, Л. Бушбо!к. Сошрис., 14 (1992), Ь!о, 2 — 3, ' 265-282. ] О. Голономные д-разностные системы [1] Аошозо К. А нове оп Ьо!опошк д-й!СЕегепсе вуягептв, ш: А18еЬгак Апа1увгя (ш Ьопог оЕ М.ЯаСо)„' М. КмЬпчяга апй Т.КаиаР (ейв.),: Асайешк Ргевв, 1988, 25 — 28.
[2] Аошово К. д-апз)обие оЕ йе.)1Ьагп соЬошо1обу вявос1аСей иВЬ Лас!своп !пгебта)з, Ргос. Ларап Асай., 66 (1990), 161 — 164. [3] Аошозо К. Р!и!Сепевв оЕ а соЬошо!обу амос!авет1 тчВЬ сегСЫп ЛасЬвоп 4 !псебта)в, ТоЬо1ги Л. МасЬ., 43 (1991), 75 — 101. [4] БаЬЬаЬ С. Буясешм Ьо!опошм й'бгСиаС!опв аих д-й!ЕЕбтепсм, РтбриЫказюп Сел!те йе МаСЬ. Есо!е Ро!угесЬп!тсие, Ра!а1маи, 1991. Е. Различные аспекты О формуле Диксона: [1] Сагбег Р., Роаса 11. РгоЫешм сошЬшасо!гев йе сошшисасюп еС" геаттапбешепсв, Ьесв. !чосм 1п МаСЬ., чо1.
85, Бргшбег-Чег!вб, 1969. ! Об иррациональности с(3): [2] Арбгу 11. !ггасюпа1не йе Е(2) еС Е(3), Авсбт!втсие, 61 (1979), 11-13. [3] чап йез Роогсеп А. А ргооЕ сЬас Еи!ег ш!явей... Арегу'з ргооЕ оЕ сЬе", !ггаиопабсу оЕ Е(3), МасЬ. 1псе!1!бепсег, 1 (1979), 195 — 203. ДИНАМИКА УНИПОТЕНТНЫХ ПОТОКОВ НА ОДНОРОДНЫХ ПРОСТРАНСТВАХ Этьен Гис') ВВЕДЕНИЕ Рассмотрим поток фг на торе Т" = 1е"/Е", определенный формулой г]гг(х пюг1 Е") = (х + гю) тпог1 Е", где ю = (юг,..., ю„) — вектор из В,". Со времен Л.
Кронекера известно, что если юг линейно независимы над ©, то все орбиты потока гбг плотны в торе. Вообще, замыкание орбиты есть подтор тора Т" размерности, равной рангу системы (юг) над Ф Пусть теперь С вЂ” связная группа Лн и à — решетка в С, т. е. дискретная подгруппа, такая, что объем (Хаара) пространства правых смежных классов Г'1С конечен. Произвольная подгруппа Н группы С естественно действует справа на Г'1С. При каких условиях справедлив результат, аналогичный результату Кронекера, гарантирующий однородность замыканий орбит? В серии из четырех статей М. Ратнер получила весьма удовле, творительный ответ на этот вопрос, доказав тем самым гипотезу М.С. Рагунатана [71 — 74].
Чтобы сформулировать его, условимся говорить, что элемент,д группы Ли С является унипотентнылг, если присоединенный автоморфизм Аг((д) алгебры Ли 9 унипотентен, т. е. 1 является его единственным собственным значением. Подгруппа Н группы С унипогентна, если все ее элементы унипотентны. Теорема (Ратнер, 1990). Пусть Н вЂ” унипатентиал подгруппа группы Ли С и à — решетка в С. Длл любого х из Г'1С сущсспгвустп залгкнутал подгруппа Н(х) группы С, такал, что залгыкание орбитам хН точки х относительно'Н в Г1С совпадает с орбитой хН(х) тпачки х отпнвситпельно Н(х). Эта формулировка — не самая лучшая из возможных, далее мы дадим другие варианты, Неудивительно, что этот результат имеет следствия, касающиеся диофантовых приближений.