Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Учебное пособие 1714

.pdf
Скачиваний:
7
Добавлен:
30.04.2022
Размер:
1.86 Mб
Скачать

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

Понтрягин написал мемуары, в которых дал оценки многим учёным и событиям, свидетелем и участником которых он был.

Понтрягин имеет следующие почётные звания и награды:

почётный член Лондонского математического общества (1953);

почётный член Международной академии «Астронавтика» (1966);

вице-президент Международного математического союза (в 1970-74);

почётный член АН ВНР (1972);

Сталинская премия (1941);

Ленинская премия (1962);

три ордена Ленина;

Герой Социалистического Труда (1969).

Прим, Роберт Клэй (Robert Clay Prim) – американский математик и специалист по компьютерным наукам.

Родился в 1921 в городе Суитуотер, штат Техас. В 1941 Прим получил степень бакалавра по электротехнике в Принстонском Университете. Позже, в 1949, он получил степень доктора наук по математике. С 1948 по 1949 Роберт Прим работал научным сотрудником в Принстоне.

Во время второй мировой войны Прим работал инженером в «General Electric». С 1944 по 1949 его наняли на работу в Американскую лабораторию морской артиллерии в качестве инженера, а затем математика. С 1958 по 1961 Прим служил директором математических исследований в «Bell Laboratories». Там он разработал алгоритм Прима. Во время работы в «Bell Laboratories» одним из сотрудников Роберта Прима был Джозеф Краскал. После «Bell Laboratories» Прим стал вице-президентом по исследованиям в «Sandia National Laboratories».

Эйлер, Леонард (Leonhard Euler; 1707 – 1783) – выдающийся математик, внёсший значительный вклад в развитие математики, а также механики, физики, астрономии и ряда прикладных наук.

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

161

Портрет 1756 года, выполненный Эммануэлем Хандманном

Леонард Эйлер родился в 1707 году в семье базельского пастора, друга семьи Бернулли. Рано обнаружил математические способности. Начальное обучение получил дома под руководством отца, учившегося некогда математике у Якоба Бернулли. Пастор готовил старшего сына к духовной карьере, однако занимался с ним и математикой – как в качестве развлечения, так и для развития логического мышления. Одновременно с обучением в гимназии мальчик увлечённо занимался математикой под руководством Якоба Бернулли, а в последние гимназические годы посещал университетские лекции младшего брата Якоба, Иоганна Бернулли.

В 1720 году 13-летний Леонард Эйлер стал студентом факультета искусств Базельского университета. Но любовь к

математике направила Леонарда по иному пути. Вскоре способный мальчик обратил на себя внимание профессора Иоганна Бернулли. Он передал одарённому студенту математические статьи для изучения и пригласил приходить к нему домой по субботам, чтобы совместно разбирать непонятное. В доме своего учителя Эйлер познакомился и подружился с сыновьями Бернулли – Даниилом и Николаем, также увлечённо занимавшимися математикой.

В1724 году 17-летний Леонард Эйлер произнёс на латыни речь о сравнении философских воззрений Декарта и Ньютона и был удостоен учёной степени магистра.

Впоследующие два года юный Эйлер написал несколько научных работ. Одна из них, «Диссертация по физике о звуке», получившая благоприятный отзыв, была представлена на конкурс для замещения неожиданно освободившейся в Базельском университете должности профессора физики (1725). Но, несмотря на положительный отзыв, 19-летнего Эйлера сочли слишком юным, чтобы включить в число кандидатов на профессорскую кафедру.

Надо отметить, что число научных вакансий в Швейцарии было совсем невелико. Поэтому братья Даниил и Николай Бернулли уехали в далёкую Россию, где как раз шла организация Академии наук; они обещали похлопотать там и о месте для Эйлера. В начале зимы 1726 года по рекомендации братьев Бернулли Эйлер был приглашён работать в Санкт-Петербург. В 1731 – 1741 и начиная с 1766 года был академиком Петербургской Академии Наук (в 1741 – 1766 годах работал в Берлине, оставаясь почётным членом Петербургской Академии). Хорошо знал русский язык, часть своих сочинений (особенно учебни-

162

ки) публиковал на русском. Первые русские академики по математике (С.К. Котельников) и по астрономии (С.Я. Румовский) были учениками Эйлера.

Эйлер активно трудился до последних дней. В сентябре 1783 года 76летний учёный стал ощущать головные боли и слабость. 7 (18) сентября он скончался от кровоизлияния в мозг. Его похоронили на Смоленском лютеранском кладбище в Петербурге. Надпись на памятнике гласила: «Здесь покоятся бренные останки мудрого, справедливого, знаменитого Леонарда Эйлера».

Эйлер оставил важнейшие труды по самым различным отраслям математики, механики, физики, астрономии и по ряду прикладных наук. С точки зрения математики, XVIII век – это век Эйлера. Если до него достижения в области математики были разрозненны и не всегда согласованны, то Эйлер впервые увязал анализ, алгебру, тригонометрию, теорию чисел и др. дисциплины в единую систему и добавил немало собственных открытий. Значительная часть математики преподаётся с тех пор «по Эйлеру».

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

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

Биографы отмечают, что Эйлер был виртуозным алгоритмистом. Он неизменно старался довести свои открытия до уровня конкретных вычислительных методов.

П.Л. Чебышёв писал: «Эйлером было положено начало всех изысканий, составляющих общую теорию чисел». Большинство математиков XVIII века занимались развитием анализа, но Эйлер пронёс увлечение древней арифметикой через всю свою жизнь. Благодаря его трудам интерес к теории чисел к концу века возродился.

Эйлер продолжил исследования Ферма, ранее высказавшего ряд разрозненных гипотез о натуральных числах (под влиянием Диофанта), и строго доказал эти гипотезы, значительно обобщил и объединил их в содержательную теорию чисел. Он ввёл в математику исключительно важную «функцию Эйлера» и сформулировал с её помощью одноименную теорему. Создал теорию сравнений и квадратичных вычетов, для которых указал критерий Эйлера.

Он опроверг гипотезу Ферма о том, что все числа вида Fn = 22n +1 – про-

163

стые; оказалось, что F5 делится на 641.

Доказал утверждение Ферма о представлении нечётного простого числа в виде суммы двух квадратов.

Эйлер доказал Великую теорему Ферма для n =3 и n = 4, создал полную теорию непрерывных дробей, исследовал различные классы диофантовых уравнений, теорию разбиений чисел на слагаемые.

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

Эйлер ввёл понятие первообразного корня и выдвинул гипотезу, что для любого простого числа р существует первообразный корень по модулю р; доказать это он не сумел, позднее теорему доказали Лежандр и Гаусс. Большое значение в теории имела другая гипотеза Эйлера – квадратичный закон взаимности, также доказанный Гауссом.

Одна из главных заслуг Эйлера перед наукой – монография «Введение в анализ бесконечно малых» (1748). В 1755 году выходит дополненное «Дифференциальное исчисление», а в 1768 – 1770 годах – три тома «Интегрального исчисления». В совокупности это фундаментальный, хорошо иллюстрированный примерами курс, с продуманной терминологией и символикой, откуда многое перешло и в современные учебники.

Основание натуральных логарифмов было известно ещё со времён Непера и Якоба Бернулли, однако Эйлер дал настолько глубокое исследование этой важнейшей константы, что с тех пор она носит его имя. Другая исследованная им константа – постоянная Эйлера-Маскерони.

Он делит с Лагранжем честь открытия вариационного исчисления, выписав уравнения Эйлера-Лагранжа для общей вариационной задачи. В 1744 году Эйлер опубликовал первую книгу по вариационному исчислению («Метод нахождения кривых, обладающих свойствами максимума либо минимума»).

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

 

1

 

1

 

1

 

1

 

 

π2

.

lim

 

+

 

+

 

+…+

 

 

=

 

 

22

32

n2

6

n→∞ 12

 

 

 

 

 

 

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

164

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

ценные классы специальных функций, возникающие при интегрировании: бетафункция и гамма-функция Эйлера. Одновременно с Клеро вывел условия интегрируемости линейных дифференциальных форм от двух или трёх переменных (1739).

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

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

Первая книга по вариационному исчислению

Вэлементарной геометрии Эйлер обнаружил несколько фактов, не замеченных Евклидом:

● Три высоты треугольника пересекаются в одной точке (ортоцентре).

● В треугольнике ортоцентр, центр описанной окружности и центр тяжести лежат на одной прямой – «прямой Эйлера».

● Основания трёх высот произвольного треугольника, середины трёх его сторон и середины трёх отрезков, соединяющих его вершины с ортоцентром, лежат все на одной окружности (окружности Эйлера).

● Число вершин (В), граней (Г) и рёбер (Р) у любого выпуклого многогранника связаны простой формулой: B + Г = Р+ 2 .

Второй том «Введения в анализ бесконечно малых» (1748) – это первый в мире учебник по аналитической геометрии и основам дифференциальной геометрии. Термин «аффинные преобразования» впервые введён в этой книге вместе с теорией таких преобразований.

В1760 году вышли фундаментальные «Исследования о кривизне поверхностей». Эйлер обнаружил, что в каждой точке гладкой поверхности имеются два нормальных сечения с минимальным и максимальным радиусами кривизны

иплоскости их взаимно перпендикулярны. Вывел формулу связи кривизны сечения поверхности с главными кривизнами.

1771 год: опубликовано сочинение «О телах, поверхность которых можно развернуть на плоскость». В этой работе введено понятие развёртывающейся

165

поверхности, то есть поверхности, которая может быть наложена на плоскость без складок и разрывов. Эйлер, однако, даёт здесь вполне общую теорию метрики, от которой зависит вся внутренняя геометрия поверхности. Позже исследование метрики становится у него основным инструментом теории поверхностей.

Эйлер

много

внимания

уделял

1

48

31

50

33

16

63

18

представлению натуральных

чисел в

виде суммы специального вида и

30

51

46

3

62

19

14

35

сформулировал ряд теорем для под-

 

 

 

 

 

 

 

 

47

2

49

32

15

34

17

64

счёта числа разбиений.

 

Он исследовал алгоритмы по-

 

 

 

 

 

 

 

 

52

29

4

45

20

61

36

13

строения магических квадратов мето-

дом непрерывного хода шахматного

 

 

 

 

 

 

 

 

5

44

25

56

9

40

21

60

коня (т.е. квадратов, у которых сумма

чисел в каждой строке и в каждом

28

53

8

41

24

57

12

37

столбце одинаковы и равны друг дру-

 

 

 

 

 

 

 

 

43

6

55

26

39

10

59

22

гу). Первые пять ходов на рис. 104

заштрихованы.

 

 

 

 

 

 

 

 

 

 

 

 

54

27

42

7

58

23

38

11

При

решении

комбинаторных

задач он глубоко изучил свойства со-

 

 

 

 

 

 

 

 

Рис. 104. Магический квадрат Эйлера

четаний и

перестановок, см. числа

Эйлера I рода.

Теория графов началась с решения Эйлером задачи о семи мостах Кенигсберга.

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

Множество работ Эйлера посвящено математической физике: механике, гидродинамике, акустике и др. В 1736 году вышел трактат «Механика, или наука о движении, в аналитическом изложении», знаменующий новый этап в развитии этой древней науки. 29-летний Эйлер отказался от традиционного геометрического подхода к механике и подвёл под неё строгий аналитический фундамент. По существу с этого момента механика становится прикладной математической дисциплиной.

В1755 году публикуются «Общие принципы движения жидкостей», в которых положено начало теоретической гидродинамике. Выведены основные уравнения гидродинамики (уравнение Эйлера) для жидкости без вязкости. Разобраны решения системы для разных частных случаев.

В1765 году в книге «Теория движения твёрдых тел» Эйлер математически описал кинематику твёрдого тела конечных размеров (до него исследовалось в основном движение точки). Его имя также носят кинематическая формула распределения скоростей в твёрдом теле, уравнения (Эйлера-Пуассона) динамики твёрдого тела, важный случай интегрируемости в динамике твёрдого тела. Эйлер обобщил принцип наименьшего действия, довольно путано изло-

166

женный Мопертюи, и указал на его основополагающее значение в механике К сожалению, он не раскрыл вариационный характер этого принципа, но

всё же привлёк к нему внимание физиков, которые позднее выяснили его фундаментальную роль в природе.

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

Эйлер исследовал поле тяготения не только сферических, но и эллипсоидальных тел, что представляло собой существенный шаг вперёд.

В 1757 году Эйлер впервые в истории нашёл формулы для определения критической нагрузки при сжатии упругого стержня. Однако в те годы эти формулы не могли найти практического применения.

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

Полное собрание сочинений Эйлера, издаваемое с 1909 года Швейцарским обществом естествоиспытателей, до сих пор не завершено; планируется выпуск 75 томов, из них вышло 72. Восемь дополнительных томов будут посвящены научной переписке Эйлера (свыше 3000 писем).

В 1907 году российские и многие другие учёные отметили 200-летие великого математика. В канун его 300-летия (2007) в Петербурге состоялся Международный юбилейный форум и был снят кинофильм о жизни Эйлера. Центробанк РФ выпустил памятную монету в ознаменование этого события. Портрет Эйлера помещался на швейцарскую 10-франковую банкноту (6-я серия) и на почтовые марки Швейцарии, России и Германии.

167

Предметный указатель

А

Алгоритм

ближайшего соседа, 85, 88, 90

Дейкстры, 46

Краскала, 85

нахождения кратчайшего пути, 45

правильной нумерации вершин, 96

Прима, 85, 88

Флери, 69

Б

Булева сумма, 28

В

Вершина, 7

висячая, 14

внутренняя, 39

изолированная, 14

источник, 56

конечная, 9

концевая, 10

начальная, 9

периферийная, 63

промежуточная, 39

типа K , 75

центральная, 64 Вершины

достижимые, 56

смежные, 10

Вес

вершины, 33

ребра, 32

Ветвь дерева, 76, 77

Г

Граф, 8

абстрактный, 12

бесконечный, 8

взвешенный, 33

гамильтонов, 71

геометрический, 12

Давида, 24

двудольный, 36

додекаэдра, 71

конечный, 8

кубический, 35

неориентированный, 9

неразделимый, 62

однородный, 34

ориентированный, 9

перенумерованный, 33

Петерсена, 35

планарный, 37

плоский, 37

полный, 31

двудольный, 36

помеченный, 33

Понтрягина-Куратовского, 37, 38

простой, 11

пустой, 11

регулярный, 34

сепарабельный, 62

смешанный, 11

тривиальный, 11

эйлеров, 68

Графы

гомеоморфные, 38

изоморфные, 17

Гуйя-Ури теорема, 72

Д

Дерево, 73

звёздное, 73

корневое, 75

– ориентированное, 76

– неориентированное, 75, 76

покрывающее, 78

последовательное, 73

экстремальное, 85

Диаметр графа, 63

168

Дирака теорема, 72 Длина пути, 46 Додекаэдр, 35, 70 Дополнение графа, 23 Дуга, 9

заходящая в вершину, 9

исходящая из вершины, 9

З

Задача

о кенигсбергских мостах, 7, 13

о коммивояжере, 72, 90

о кратчайшем пути, 45

об остове наименьшего веса, 85 Звено, 9

И

Изображение абстрактного графа, 13 Изоморфизм, 17 Икосаэдр, 35 Инцидентность, 10

отрицательная, 10

положительная, 10 Исток, 16

К

Кирхгофа теорема, 78

Компонента

связности, 55

орграфа сильная, 57 Контур, 40

простой, 41

Корень дерева, 75 Кратность вершин, 14 Кратчайший путь, 45 Кэли теорема, 73

Л

Лес, 73 Лист, 76

М

Маршрут, 39

заданной длины, 41

замкнутый, 39

незамкнутый, 39

нетривиальный, 40

остовный, 40 Матрица

весов, 33

достижимости, 57

инцидентности, 18

Кирхгофа, 78

контрдостижимости, 57

расстояний, 65

связности, 57

смежности, 20

Метка

временная, 47

постоянная, 47 Множество

вершин, 8

ребер, 8

Мост, 62 Мультиграф, 11

Н

Надграф, 23 Неорграф, 9 Носитель графа, 8 Нуль-граф, 11 Нуль-маршрут, 40

Нумерация вершин правильная, 94

О

Объединение графов, 24 Обходы

вершин, 70

рёбер, 68 Октаэдр, 35

169

Орграф, 9

несвязный, 56

односторонне связный, 56

односторонний, 56

полугамильтоновый, 72

сильно связный, 56

сильный, 56

слабо связный, 56

слабый, 56

Оре теорема, 72 Основание орграфа, 10 Остов

несвязного графа, 82

орграфа, 79

П

Пара вершин

неупорядоченная, 8, 9

упорядоченная, 8 Паросочетание, 34 Пересечение графов, 26 Петля, 9 Планарность графов, 37 Подграф, 23

остовный, 23 Полупуть, 56 Полустепень

захода вершины, 16

исхода вершины, 15

Понтрягина-Куратовского теорема, 38

Порядок графа, 8 Прадерево, 76 Простая кривая, 12 Псевдограф, 11 Путь, 39

критический, 98

полный, 96

простой, 39

составной, 39

Р

Работа, 93

– критическая, 98

фиктивная, 96 Радиус графа, 63 Разборка графа, 23 Расстояние в графе, 63

Реализация геометрическая графа, 17 Ребра, 8

кратные, 9

параллельные, 9

смежные, 10

Резерв времени

работы

– полный, 100

– свободный, 100, 101

события, 99

С

Свершение события, 99 Связность графов

неориентированных, 55

ориентированных, 55 Сетевое планирование, 93 Сетевой график, 93 Сеть, 33

сборки, 77

Сигнатура графа, 8 Симметрическая разность графов, 25 Смежность, 10 Событие, 93

завершающее, 93

исходное, 93

критическое, 98 Список ребер, 10 Срок

критический, 98

поздний

– начала работ, 100

– окончания работ, 100

– свершения события, 99

ранний

– начала работ, 100

– окончания работ, 100

– свершения события, 99

170