В 1671 г. он создал более обширный труд, «Метод флюксий и бесконечных рядов». Первая книга, посвященная исчислению, так и не была опубликована вплоть до 1711 г., вторая увидела свет в 1736 г. Однако несомненно, что уже к 1671 г. Ньютон оперировал всеми основополагающими идеями исчисления.
Сановный противник этого метода епископ Джордж Беркли в 1734 г. в своей книге «Аналитик, или Рассуждение, адресованное неверующему математику» указывал, что это противоречит логике: делить числитель и знаменатель на о, если впоследствии о будет равно 0. В итоге вся процедура сводится к тому, что дробь на самом деле выглядит как 0/0, а это, как всем известно, полная бессмыслица. Ньютон возражал, что он не уменьшает о до нуля, он исследует результаты того, что она сколь угодно близко подходит к 0, не становясь ему равной, и вообще его метод исследует флюксии, а не числа.
Математики пытались найти выход в аналогиях с физикой: Лейбниц прибегал к определениям «дух утонченности» и противоположному ему «дух логики», но по сути Беркли был прав. Ученым потребовался век, чтобы обнаружить убедительные ответы на его возражения, найдя для интуитивно открытого «приближения к пределу» строгое определение. Тогда-то исчисление преобразилось в более искусную науку – математический анализ. Но на протяжении этих 100 лет никого, кроме Беркли, так и не обеспокоили логические изъяны, и исчисление развивалось невзирая на них.
Метод процветал, потому что Ньютон был прав, но лишь через 200 лет его интуитивная концепция флюксий была сформулирована с безупречной логикой, в терминах пределов. К счастью для математиков, задержка с этим открытием не застопорила процесс развития науки в целом. Исчисление оказалось слишком востребованным и важным методом, чтобы отказаться от него из-за нескольких логических софизмов. Беркли в негодовании утверждал, что метод только кажется действенным, поскольку в нем различные ошибки взаимно компенсируют друг друга. Он был прав – однако понятия не имел о том, почему ошибки компенсируют друг друга. Ведь если это правда – то это и не ошибки вовсе!
С дифференцированием неразрывно связан обратный ему процесс – интегрирование. Интеграл от f(x), или ∫ f(x)dx, восстановит значение функции f(x) до ее дифференцирования. Определенный интеграл
это площадь под графиком между значениями x = a и x = b.
Определенный интеграл
Производные и интегралы решили проблемы, из-за которых буксовали исследования предшественников. Скорости, касательные, максимумы и минимумы можно было вычислить при помощи дифференцирования. Длины, площади и объемы поддавались вычислению с помощью интегрирования. Но и это не всё. Как ни удивительно, но оказалось, что и законы природы могут быть изложены на языке исчисления.
Англия в отстающих
По мере того как росла важность исчисления для передовой науки, рос и престиж ученого, стоявшего у ее истоков. Но кто был этим ученым?
Как мы видим, Ньютон стал задумываться над исчислением примерно с 1665 г., хотя ничего не публиковал на эту тему до 1687 г. Лейбниц, чьи идеи развивались примерно тем же путем, что и у Ньютона, начал исследовать исчисление в 1673 г. и первые труды в этой области издал в 1684 г. Оба работали независимо, но Лейбниц мог узнать о трудах Ньютона, когда побывал в Париже в 1672 г. и в Лондоне в 1673 г. В 1669 г. Ньютон отослал копию «Анализа» Барроу, а Лейбниц встречался со многими людьми, также знавшими Барроу и, возможно, имевшими представление об этой работе.
Когда Лейбниц опубликовал свою книгу в 1684 г., кое-кто из окружения Ньютона ужасно возмутился – вероятно, потому, что Ньютона опередили с публикацией прямо перед финишной чертой. Все они с запозданием осознали, что было поставлено на кон, – и дружно обвинили Лейбница в краже идей Ньютона.
ЧТО ИСЧИСЛЕНИЕ ДАЛО ИМ
Примером ранних попыток использовать исчисление для описания явлений природы можно считать вопрос о подвешенной цепи. Ответ всегда оставался спорным: одни ученые утверждали, что это парабола, а другие не соглашались. В 1691 г. Лейбниц, Кристиан Гюйгенс и Иоганн Бернулли опубликовали предполагаемые решения. Самое удовлетворительное принадлежало Бернулли. Для описания положения цепи он использовал дифференциальное уравнение, исходя из ньютоновой механики и законов движения. Как показало это уравнение, решением стала не парабола, а кривая, известная теперь под названием цепная линия, с уравнением:
y = k(ex + e−x),
где k – константа.
Подвешенная цепь является графиком цепной линии
Зато несущие цепи на подвесных мостах имеют форму параболы. Эта разница возникает оттого, что цепи несут на себе и вес моста, и собственный. И снова это можно показать при помощи исчисления.
Клифтонский подвесной мост – парабола
Математики на континенте, особенно братья Бернулли, грудью встали на защиту Лейбница, полагая, что именно Ньютон был замешан в плагиате. На самом деле оба сделали свои открытия почти независимо друг от друга, как показали их неопубликованные рукописи. Добавило туману и то, что оба во многом опирались на предыдущую работу Барроу, который, вероятно, имел больше оснований для жалоб, чем любой из них.
Обвинения могли быть легко сняты, но вместо этого спор стал более ожесточенным; Иоганн Бернулли перенес свою неприязнь к Ньютону на всех англичан. Результатом стала катастрофа английской математики: англичане застряли в ньютоновском геометрическим стиле мышления, который сложно было использовать, а математики с континента использовали более формальный алгебраический метод и продвигали исчисление вперед быстрыми темпами. Поэтому большая часть заслуг в математической физике ушла к французам, немцам, швейцарцам и голландцам, а английская математика томилась в тихой заводи.
Дифференциальное уравнение – что это?
Важнейшей идеей, порожденной изобилием трудов об исчислении, стало существование и использование принципиально нового типа уравнений – дифференциальных уравнений. Алгебраические уравнения описывают неизвестную величину с разными степенями. Дифференциальные же гораздо более изощренны: они описывают различные производные от неизвестной функции.