Вклад Л. Эйбера в развитие математического анализа

Фундаментальные результаты принадлежат Леонарду Эйлеру в рациональной механике. Он впервые дал последовательно  аналитическое изложение механики материальной точки, рассмотрев в своей  двухтомной «Механике»(1736) движение свободной и несвободной точки в пустоте и в сопротивляющейся среде. Позже Эйлер заложил основы кинематики и динамики твердого тела, получив соответствующие общие уравнения. Итоги этих исследований Эйлера собраны в его «Теории движения твердых тел» (1765). Совокупность уравнений динамики, представляющих законы количества движения и момента количества движения, крупнейший историк механики Клиффорд Трусделл предложил называть «Эйлеровыми законами механики».

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

Замечательны многочисленные работы Эйлера по небесной механике, среди  которых наиболее известна его «Новая теория движения Луны»(1772), существенно продвинувшая важнейший для мореходства того времени раздел небесной механики.

Наряду с общетеоретическими исследованиями, Эйлеру принадлежит ряд важных работ по прикладным наукам. Среди них первое место занимает теория корабля.Вопросы плавучести, остойчивости корабля и других его мореходных качеств были разработаны Эйлером в его двухтомной«Корабельной науке» (1749), а некоторые вопросы строительной механики корабля– в последующих работах. Более доступное изложение теории корабля он дал в «Полной теории строения и вождения кораблей»(1773), которая использовалась в качестве практического руководства не только в России.

Значительный успех имели  комментарии Эйлера к «Новым началам  артиллерии» Б.Робинса (1745), содержавшие, наряду с другими его сочинениями, важные элементы внешней баллистики, а также разъяснение гидродинамического«парадокса Даламбера».Эйлер заложил теорию гидравлических турбин, толчком для развития которой явилось изобретение реактивного «сегнерова колеса». Ему принадлежит и создание теории устойчивости стержней при продольном нагружении, приобретшей особую важность спустя столетие.

Много работ Эйлера посвящено  различным вопросам физики, главным образом геометрической оптике. Особого упоминания заслуживают изданные Эйлером три тома «Писем к немецкой принцессе о разных предметах физики и философии»(1768–1772), выдержавшие впоследствии около 40 изданий на девяти европейских языках. Эти «Письма» были своего рода учебным руководством по основам науки того времени, хотя собственно философская сторона их и не соответствовала духу эпохи Просвещения.

Современная пятитомная «Математическая энциклопедия» указывает двадцать математических объектов (уравнений, формул, методов),которые носят сейчас имя Эйлера. Его имя носит и ряд фундаментальных уравнений гидродинамики и механики твердого тела.

Наряду с многочисленными  собственно научными результатами, Эйлеру принадлежит историческая заслуга создания современного научного языка. Он является единственным автором середины XVIII в., труды которого читаются даже сегодня без всякого труда.

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

Его научный авторитет  при жизни был безграничен. Он состоял почетным членом всех крупнейших академий и ученых обществ мира. Влияние его трудов было весьма значительным и в XIX в. В 1849 Карл Гаусс писал, что «изучение всех работ Эйлера останется навсегда лучшей, ничем не заменимой, школой в различных областях математики».

Общий объем сочинений  Эйлера громаден. Свыше 800 его опубликованных научных работ составляют около 30 000 печатных страниц и складываются в основном из следующего:600 статей в изданиях Петербургской Академии наук,130 статей, опубликованных в Берлине, 30 статей в разных журналах Европы, 15 мемуаров, удостоенных премий и поощрений Парижской Академии наук,и 40 книг отдельных сочинений. Все это составит72 тома близкого к завершению«Полного собрания трудов» (Opera omnia)Эйлера, издаваемого в Швейцарии с 1911. Все работы печатаются здесь на том языке, на котором они были первоначально опубликованы (т.е. на латинском и французском языках, которые были в середине XVIII в. основными рабочими языками, соответственно, Петербургской и Берлинской академий). К этому добавится еще 10 томов его Научной переписки, к изданию которой приступили в 1975.

Надо отметить особое значение Эйлера для Петербургской Академии наук,с которой он был тесно связан на протяжении свыше полувека.«Вместе с ПетромI и Ломоносовым,– писал академик С.И.Вавилов, –Эйлер стал добрым гением нашей Академии, определившим ее славу, ее крепость, ее продуктивность».Можно добавить еще, что дела Петербургской академии велись в течение почти целого века под руководством потомков и учеников Эйлера: непременными секретарями Академии с 1769до 1855 были последовательно его сын, зять сына и правнук.

Он вырастил трех сыновей. Старший из них был петербургским  академиком по кафедре физики, второй–  придворным врачом, а младший– артиллерист дослужился до чина генерал-лейтенанта. Почти все потомки Эйлера приняли в XIX в. российское подданство. Среди них были высшие офицеры российской армии и флота, а также государственные деятели и ученые. Лишь в смутное время начала XX в. многие из них вынуждены были эмигрировать. Сегодня прямые потомки Эйлера, носящие его фамилию, все еще живут в России и Швейцарии.

Перемены в математическом анализе отражены в обширном трактате Эйлера. Изложение анализа открывает двухтомное«Введение»,где собраны изыскания о различных представлениях элементарных функций. Термин«функция»впервые появляется лишь в 1692у Лейбница, однако на первые роли его выдвинул именно Эйлер. Изначальная трактовка понятия функции состояла в том,что функция —это выражение для счёта (нем.Rechnungsausdrϋck) или аналитическое выражение.

Функция переменного количества есть аналитическое выражение, составленное каким-либо образом из этой переменного количества и чисел или постоянных количеств.

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

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

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

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

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

а отсюда

Полагая иz = nx, он получает

,

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

.

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

Изложение дифференциального  исчисления Эйлер начинает с теории конечных разностей, за ним в третьей  главе следует философское разъяснение  о том, что «бесконечно малое  количество есть точно нуль», более  всего не устроившее современников  Эйлера. Затем из конечных разностей  при бесконечно малом приращении образуются дифференциалы, а из интерполяционной формулу Ньютона - формула Тейлора. Этот метод в существенном восходит к работам Тейлора(1715 г.). При этом у Эйлера появляется устойчивое отношение ,которое, однако, рассматривается как отношение двух бесконечно малых. Последние главы посвящены приближенному вычислению при помощи рядов.

В трёхтомном интегральном исчислении Эйлер трактует понятие  интеграла так:

«Та функция, дифференциал которой = Xdx, называется его интегралом и обозначается знаком S, поставленным спереди».

В целом же эта часть  трактата Эйлера посвящена более  общей с современной точки  зрения задаче об интегрировании дифференциальных уравнений. При этом Эйлер находит  ряд интегралов и дифференциальных уравнений, которые приводят к новым функциям, напр., Γ-функции,эллиптические функции и т. д.Строгое доказательство их неэлементарности было дано в1830-х годах Якоби для эллиптических функций и Лиувиллем.

 

 

 

2.3 Дальнейшее развитие математического анализа

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

Желая избавиться от бесконечно малого вовсе, Лагранж обратил связь между производными и рядом Тейлора. Под аналитической функцией Лагранж понимал произвольную функцию, исследуемую методами анализа. Саму функцию он обозначил как f(x), дав графический способ записи зависимости -ранее же Эйлер обходился одними переменными. Для применения методов анализа по мнению Лагранжа необходимо, чтобы функция разлагалась в ряд

,

коэффициенты которого будут  новыми функциямиx. Остаётся назватьp производной(дифференциальным коэффициентом)и обозначить его как f'(x). Таким образом, понятие производной вводится на второй странице трактата и без помощи бесконечно малых. Остаётся заметить, что

,

поэтому коэффициент q является удвоенной производной производной f(x), то есть

и т. д.[24]

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

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

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

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

доопределённую нулём в нуле. Эта функция всюду гладкая на вещественной оси и в нуле имеет нулевой ряд Маклорена, который, следовательно, не сходится к значению f(x). Против этого примера Пуассон возразил, что Лагранж определял функцию как единое аналитическое выражение, в примере Коши же функция задана по разному в нуле, и при .Лишь в конце XIX века Прингсхейм доказал, что существует бесконечно дифференцируемая функция, заданная единым выражением, ряд Маклорена для которой расходится. Пример такой функцией доставляет выражение

.

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