Эйлер и анализ бесконечно малых
Если Ньютон и Лейбниц считаются создателями дифференциального и интегрального исчисления, то Эйлера можно назвать создателем математического анализа — области математики, куда входят оба эти раздела. В этом смысле его книги «Введение в анализ бесконечно малых» (1748), «Наставление по дифференциальному исчислению» (1755) и «Интегральное исчисление» (1768—1770) сыграли ключевую роль в оформлении структуры этой новой дисциплины.
Трактат «Введение в анализ бесконечно малых» стал для математического анализа тем же, что «Начала» Евклида для геометрии. В этом трактате Эйлер указывает, что функция является основным предметом изучения в анализе, систематизирует работы предшественников об элементарных функциях, изучает их, не прибегая к дифференциальному или интегральному исчислению, однако обильно использует бесконечно большие и бесконечно малые величины (см. приложение). Он также всеми возможными способами старается избежать геометрических рассуждений и чертежей, отдавая предпочтение аналитике и формулам. Структуру дифференциального исчисления он изложил во второй книге трилогии.
Хотя Эйлер был последователем Лейбница, в «Наставлении по дифференциальному исчислению» он понимает дифференциал как разницу, однако вносит изменения в исчисление Лейбница. С учетом поправок Эйлера понятие дифференциала приближается к понятию ньютоновской «исчезающей величины».
Извечные сомнения, касающиеся бесконечно малых, Эйлер развеял так. По его мнению, важнее было не то, что такое бесконечно малые величины, а то, как они себя ведут. В этом смысле для Эйлера бесконечно малые были равны нулю или в итоге приравнивались к нулю; важнее то, что эти величины могут делиться друг на друга. Результат подобного деления, по сути эквивалентного 0/0, может равняться четко определенному конечному числу. Так, дифференциалы dx, dy играют главную роль при определении значения дроби dy/dx.. Исчисление описывает, как вычислить эту дробь, когда приращения «исчезают». В «Наставлении по дифференциальному исчислению» Эйлер описывает «метод определения пропорции исчезающих приращений, которые получают функции, когда аргументы функции получают одно из таких приращений». Иными словами, в анализе Эйлера вводится отношение приращений
определяющее производную функции — понятие, которое заменило дифференциалы dx, dy, занимающие почетное место в исчислении Лейбница. Внесенные Эйлером изменения приблизили понятия дифференциального исчисления Лейбница к понятию предела, которое впоследствии использовал Коши.
В последнем труде трилогии Эйлера, «Интегральное исчисление», интегрирование описывается как операция, обратная дифференцированию. Интегрирование по-прежнему соответствовало понятию площади, но потеряло независимый характер, который отстаивал Лейбниц, что помогло Коши при введении понятия определенного интеграла.
Эйлер был одним из величайших математиков всех времен и, вне всяких сомнений, лучшим математиком XVIII века. Он родился в 1707 году в Базеле, окончил местный университет, брал частные уроки у Иоганна Бернулли, одного из учеников Лейбница.
В 1727 году он переехал в Санкт-Петербург, был членом Петербургской академии наук с 1731 по 1741 год, затем переехал в Пруссию и был избран членом Берлинской академии наук. Несмотря на непростые отношения с прусским королем Фридрихом II, он прожил в Берлине 25 лет, после чего вернулся в Санкт-Петербург, где умер в 1783 году.
Д’Аламбер, Лагранж и Карл Маркс
Шел XVIII век, и Д’Аламбер, который обладал намного большим авторитетом в математике, чем Беркли, критически отнесся к понятию бесконечно малых: «Величина есть нечто или ничто; если она — нечто, то она еще не исчезла, если она ничто, то она исчезла в буквальном смысле. Предположение о том, что существует промежуточное состояние между этими двумя, есть химера».
Д’Аламбер во французской Энциклопедии дает примитивное определение предела, на которое Коши опирался при разработке фундамента математического анализа: «Одна величина называется пределом второй, если вторая может приблизиться к первой настолько, что будет отличаться от нее менее, чем на любую данную величину, но никогда не будет совпадать с ней». В своей статье о дифференциалах для этой же энциклопедии Д’Аламбер указал путь к четкому определению исчисления: «Ньютон использовал другой принцип, и можно сказать, что метафизика этого великого математика об исчислении флюксий очень точна и ясна, несмотря на то что допускает несовершенное толкование его мыслей. Я никогда не рассматривал дифференциальное исчисление как изучение бесконечно малых величин, но как метод первых и последних рассуждений, или, что есть одно и то же, метод нахождения пределов рассуждениям. Кто-то может счесть, что допущение бесконечно малых величин необходимо лишь для сокращения и упрощения рассуждений, но дифференциальное исчисление необязательно предполагает существование подобных величин. Более того, это исчисление заключается лишь в алгебраическом определении пределов рассуждения».
Совершенно иным путем следовал Лагранж, который в своей книге «Теория аналитических функций», опубликованной в 1797 году, определил производную f’(x) функции f(х) в точке x как коэффициент при h в разложении в степенной ряд функции f(x + h). Именно Лагранж ввел термин «производная» и первым стал обозначать производную функции f знаком апострофа — f’. К сожалению, его усилия оказались безуспешными и завершились неудачей, поскольку, как позднее показал Коши, функция f необязательно совпадает со степенным рядом, полученным на ее основе.
Стоит отметить, что работы Лагранжа по построению фундамента математического анализа очень ценил философ Карл Маркс, основатель марксизма. Маркс даже написал несколько трудов о производных и интегралах (1863—1883), однако в этот период уже появились работы Вейерштрасса, в которых была сформирована прочная основа математического анализа. Маркс рассматривал три этапа развития исчисления: мистическое дифференциальное исчисление Лейбница и Ньютона, рациональное дифференциальное исчисление Д’Аламбера и чисто алгебраическое исчисление Лагранжа. О математиках первого этапа он писал: «Они сами определили загадочный характер недавно открытого исчисления, что привело к получению верных результатов с помощью определенно ошибочных математических преобразований». К Д’Аламберу и Лагранжу он относился более снисходительно: «Д’Аламбер, лишив дифференциальное исчисление мистической завесы, совершил огромный шаг вперед. <…> Лагранж взял за основу теорему Тейлора, которая является наиболее общей и широкой, и в то же время описывает рабочую формулу дифференциального исчисления».
Огюстен Коши
В первой половине XIX века был окончательно сформирован четкий фундамент анализа бесконечно малых. Решение этой задачи начал Коши, а завершил Вейерштрасс. Значимый вклад также внес Бернард Больцано своими работами о непрерывных функциях, которые выходят за рамки этой книги.