Главная > Трансцендентные числа
НАПИШУ ВСЁ ЧТО ЗАДАЛИ
СЕКРЕТНЫЙ БОТ В ТЕЛЕГЕ
<< Предыдущий параграф Следующий параграф >>
Пред.
След.
Макеты страниц

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

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO

Замечания

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

Впервые основы метода были опубликованы в 1929 г. К. Зигелем в статье [73: 3], а в форме общей теоремы в 1949 г. [73: 4]. В этой теореме рассматриваемые функции составляли решение системы линейных однородных дифференциальных уравнений. Возможности ее применения к конкретным функциям были ограничены. Ее удалось применить к совокупности Е-функций, каждая из которых есть решение линейного однородного дифференциального уравнения первого или второго порядка.

В 1954 г. [28: 1, 9] была установлена теорема, более общая, чем теорема Зигеля. Ее можно было применять к решениям линейных неоднородных дифференциальных уравнений. Она была применима к некоторым совокупностям Е-функций, удовлетворяющих линейным дифференциальным уравнениям 3-го и 4-го порядков. Условия этой теоремы, как и теоремы Зигеля, были только достаточными для выполнения ее утверждения.

Основные теоремы гл. 3 впервые опубликованы в 1955 г. в заметках [28: 2, 3], а их доказательство в 1959 г. в статье [28: 8]. В 1966 г. в работе [28: 19] дано уточнение основных лемм метода. Это позволило в случае IE-функций для их значений в точках из I в основной лемме 17 о ранге чисел получить окончательный результат и поэтому установить теоремы 5—7.

При обобщении метода Зигеля для установления основных теорем гл. 3 важнейшее значение имели леммы 8 и 9, позволяющие построить совокупность линейно независимых функциональных приближающих форм, при условиях основных теорем. Для Доказательства этих лемм устанавливаются вспомогательные леммы 4—7.

Основные результаты гл. 3 содержались в докладах на 3 Всесоюзном математическом съезде в Москве в 1956 г. [28: 7], 4 Всесоюзном математическом съезде в Ленинграде в 1961 г. [28: 151 Международном математическом конгрессе в Москве в 1966 г. [28: 17, 22].

После опубликования монографии К. Зигеля [73: 4] его метод был изложен в книгах А. О. Гельфонда [5: 8] и Т. Шнейдера [70: 6].

Первая и вторая основные теоремы содержатся в книге К. Малера [56: 7]. Эти теоремы вошли и в содержание лекций К. Малера [56: 6]. Вторая основная теорема содержится в книгах С. Ленга [51: 1] и А. Бейкера [32: 5]. Основные результаты гл. 3 содержатся в книге А. Б. Шидловского [28: 35].

Обзоры результатов, связанных с рассмотренным в гл. 3 методом, содержатся в статьях Н. И. Фельдмана и А. Б. Шидловского [25: 1] и А. Б. Шидловского [28: 25, 26].

В работе Т. В. Першиковой [21: 1] доказывается общая теорема об алгебраической независимости значений одного подкласса Е-функций.

1
Оглавление
email@scask.ru