Исчисление — это математическое изучение непрерывных изменений, так же как геометрия изучает форму, а алгебра изучает обобщения арифметических операций .
Первоначально названное исчислением бесконечно малых или «исчислением бесконечно малых », оно имеет две основные ветви: дифференциальное исчисление и интегральное исчисление . Первое касается мгновенных скоростей изменения и наклонов кривых , в то время как последнее касается накопления количеств и площадей под или между кривыми. Эти две ветви связаны друг с другом фундаментальной теоремой исчисления . Они используют фундаментальные понятия сходимости бесконечных последовательностей и бесконечных рядов к четко определенному пределу . [ 1]
Исчисление бесконечно малых величин было разработано независимо в конце 17 века Исааком Ньютоном и Готфридом Вильгельмом Лейбницем . [2] [3] Более поздние работы, включая кодификацию идеи пределов , поставили эти разработки на более прочную концептуальную основу. Сегодня исчисление широко используется в науке , технике и социальных науках . [4]
В математическом образовании исчисление — это сокращение от «исчисления бесконечно малых» и «исчисления интегральных величин» , обозначающее курсы элементарного математического анализа .
В латинском языке слово calculus означает «маленький камешек» ( уменьшительное от calx, что означает «камень»), значение, которое все еще сохраняется в медицине . Поскольку такие камешки использовались для подсчета расстояний, [5] подсчета голосов и выполнения арифметических действий на счетах , это слово стало латинским словом для вычисления . В этом смысле оно использовалось в английском языке по крайней мере еще в 1672 году, за несколько лет до публикаций Лейбница и Ньютона, которые писали свои математические тексты на латыни. [6]
В дополнение к дифференциальному исчислению и интегральному исчислению, этот термин также используется для обозначения конкретных методов вычисления или теорий, которые подразумевают какой-либо вид вычисления. Примерами такого использования являются пропозициональное исчисление , исчисление Риччи , исчисление вариаций , лямбда-исчисление , секвенциальное исчисление и исчисление процессов . Кроме того, термин «исчисление» по-разному применялся в этике и философии, для таких систем, как исчисление счастья Бентама и этическое исчисление .
Современное исчисление было разработано в Европе XVII века Исааком Ньютоном и Готфридом Вильгельмом Лейбницем (независимо друг от друга, первые публикации были опубликованы примерно в одно и то же время), но его элементы впервые появились в Древнем Египте, а позднее в Греции, затем в Китае и на Ближнем Востоке, а еще позже — в средневековой Европе и Индии.
Расчеты объема и площади , одна из целей интегрального исчисления, можно найти в египетском папирусе «Московский» ( ок. 1820 г. до н. э. ), но формулы представляют собой простые инструкции, без указания того, как они были получены. [7] [8]
Заложив основы интегрального исчисления и предвосхитив концепцию предела, древнегреческий математик Евдокс Книдский ( ок. 390–337 до н. э. ) разработал метод исчерпывания для доказательства формул объемов конуса и пирамиды.
В эллинистический период этот метод был дополнительно развит Архимедом ( ок. 287 – ок. 212 до н. э.), который объединил его с концепцией неделимых — предшественника бесконечно малых — что позволило ему решить несколько задач, которые сейчас решаются с помощью интегрального исчисления. В «Методе механических теорем» он описывает, например, вычисление центра тяжести сплошной полусферы , центра тяжести усеченного конуса кругового параболоида и площади области, ограниченной параболой и одной из ее секущих . [9]
Метод исчерпания был позже независимо открыт в Китае Лю Хуэем в 3 веке н. э. для нахождения площади круга. [10] [11] В 5 веке н. э. Цзу Гэнчжи , сын Цзу Чунчжи , разработал метод [12] [13] , который позже назовут принципом Кавальери, для нахождения объема сферы .
На Ближнем Востоке Хасан ибн аль-Хайтам , латинизированный как Альхазен ( ок. 965 – ок. 1040 н. э.) вывел формулу для суммы четвертых степеней . Он использовал результаты для выполнения того, что сейчас называется интегрированием этой функции, где формулы для сумм целых квадратов и четвертых степеней позволили ему вычислить объем параболоида . [14]
Бхаскара II ( ок. 1114–1185 ) был знаком с некоторыми идеями дифференциального исчисления и предположил, что «дифференциальный коэффициент» исчезает при экстремальном значении функции. [15] В своей астрономической работе он дал процедуру, которая выглядела как предшественник бесконечно малых методов. А именно, если то Это можно интерпретировать как открытие того, что косинус является производной синуса . [16] В 14 веке индийские математики дали нестрогий метод, напоминающий дифференциацию, применимый к некоторым тригонометрическим функциям. Мадхава из Сангамаграма и Керальская школа астрономии и математики сформулировали компоненты исчисления, но, по словам Виктора Дж. Каца, они не смогли «объединить множество различных идей под двумя объединяющими темами производной и интеграла , показать связь между ними и превратить исчисление в великий инструмент решения проблем, который мы имеем сегодня». [14]
Труд Иоганна Кеплера Stereometria Doliorum (1615) лег в основу интегрального исчисления. [17] Кеплер разработал метод вычисления площади эллипса путем сложения длин многих радиусов, проведенных из фокуса эллипса. [18]
Значительной работой был трактат, источником которого были методы Кеплера [18], написанный Бонавентурой Кавальери , который утверждал, что объемы и площади должны вычисляться как суммы объемов и площадей бесконечно тонких поперечных сечений. Идеи были похожи на идеи Архимеда в « Методе » , но этот трактат, как полагают, был утерян в 13 веке и был заново открыт только в начале 20 века, и поэтому был неизвестен Кавальери. Работа Кавальери не пользовалась большим уважением, поскольку его методы могли приводить к ошибочным результатам, а введенные им бесконечно малые величины поначалу были непопулярны.
Формальное изучение исчисления объединило бесконечно малые числа Кавальери с исчислением конечных разностей, разработанным в Европе примерно в то же время. Пьер де Ферма , утверждая, что он заимствовал это у Диофанта , ввел понятие равенства , которое представляло равенство с точностью до бесконечно малой погрешности. [19] Объединение было достигнуто Джоном Уоллисом , Исааком Барроу и Джеймсом Грегори , причем последние двое доказали предшественников второй фундаментальной теоремы исчисления около 1670 года. [20] [21]
Правило произведения и цепное правило [22], понятия высших производных и рядов Тейлора [23] и аналитических функций [24] были использованы Исааком Ньютоном в своеобразной нотации, которую он применял для решения задач математической физики . В своих работах Ньютон перефразировал свои идеи в соответствии с математическим языком того времени, заменив вычисления с бесконечно малыми эквивалентными геометрическими аргументами, которые считались безупречными. Он использовал методы исчисления для решения проблемы движения планет, формы поверхности вращающейся жидкости, сплющенности Земли, движения груза, скользящего по циклоиде , и многих других проблем, обсуждаемых в его Principia Mathematica (1687). В других работах он разработал разложения в ряды для функций, включая дробные и иррациональные степени, и было ясно, что он понимал принципы рядов Тейлора . Он не опубликовал все эти открытия, и в то время методы бесконечно малых все еще считались сомнительными. [25]
Эти идеи были организованы в истинное исчисление бесконечно малых Готфридом Вильгельмом Лейбницем , которого Ньютон изначально обвинил в плагиате . [26] Теперь он считается независимым изобретателем и участником исчисления. Его вклад состоял в том, чтобы предоставить четкий набор правил для работы с бесконечно малыми величинами, позволяя вычислять вторые и более высокие производные, и предоставляя правило произведения и цепное правило в их дифференциальной и интегральной формах. В отличие от Ньютона, Лейбниц приложил кропотливые усилия к выбору обозначений. [27]
Сегодня Лейбницу и Ньютону обычно приписывают заслуги в независимом изобретении и развитии исчисления. Ньютон был первым, кто применил исчисление к общей физике . Лейбниц разработал большую часть обозначений, используемых в исчислении сегодня. [28] : 51–52 Основные идеи, которые предоставили и Ньютон, и Лейбниц, включали законы дифференциации и интегрирования, подчеркивающие, что дифференциация и интегрирование являются обратными процессами, вторые и более высокие производные, а также понятие аппроксимирующего полиномиального ряда.
Когда Ньютон и Лейбниц впервые опубликовали свои результаты, возникли большие споры о том, какой математик (и, следовательно, какая страна) заслуживает признания. Ньютон первым вывел свои результаты (позже опубликованные в его Методе флюксий ), но Лейбниц первым опубликовал свой « Новый метод про Максимис и Минимис ». Ньютон утверждал, что Лейбниц украл идеи из его неопубликованных заметок, которыми Ньютон поделился с несколькими членами Королевского общества . Этот спор разделил англоязычных математиков от математиков континентальной Европы на многие годы, в ущерб английской математике. [29] Тщательное изучение статей Лейбница и Ньютона показывает, что они пришли к своим результатам независимо, причем Лейбниц первым начал с интегрирования, а Ньютон с дифференцирования. Однако именно Лейбниц дал название новой дисциплине. Ньютон назвал свое исчисление « наукой флюксий », термин, который сохранился в английских школах до 19 века. [30] : 100 Первый полный трактат по исчислению, написанный на английском языке и использующий обозначения Лейбница, был опубликован только в 1815 году. [31]
Со времен Лейбница и Ньютона многие математики внесли свой вклад в непрерывное развитие исчисления. Одна из первых и наиболее полных работ по исчислению бесконечно малых и интегральному исчислению была написана в 1748 году Марией Гаэтаной Аньези . [32] [33]
В исчислении основы относятся к строгому развитию предмета из аксиом и определений. В раннем исчислении использование бесконечно малых величин считалось нестрогим и подвергалось жесткой критике со стороны нескольких авторов, в частности Мишеля Ролля и епископа Беркли . Беркли в своей книге «Аналитик» в 1734 году описал бесконечно малые величины как призраки ушедших величин. Разработка строгой основы для исчисления занимала математиков большую часть столетия после Ньютона и Лейбница и до сих пор в некоторой степени является активной областью исследований. [34]
Несколько математиков, включая Маклорена , пытались доказать обоснованность использования бесконечно малых величин, но только спустя 150 лет, благодаря работам Коши и Вейерштрасса , был наконец найден способ избежать простых «понятий» бесконечно малых величин. [35] Были заложены основы дифференциального и интегрального исчисления. В «Cours d'Analyse» Коши мы находим широкий спектр основополагающих подходов, включая определение непрерывности в терминах бесконечно малых величин и (несколько неточный) прототип (ε, δ)-определения предела в определении дифференциации. [ 36] В своей работе Вейерштрасс формализовал концепцию предела и исключил бесконечно малые величины (хотя его определение может подтвердить бесконечно малые величины, равные нулю квадрату ). После работы Вейерштрасса в конечном итоге стало общепринятым основывать исчисление на пределах, а не на бесконечно малых величинах, хотя этот предмет все еще иногда называют «исчислением бесконечно малых». Бернхард Риман использовал эти идеи, чтобы дать точное определение интеграла. [37] Также в этот период идеи исчисления были обобщены на комплексную плоскость с развитием комплексного анализа . [38]
В современной математике основы исчисления включены в область действительного анализа , которая содержит полные определения и доказательства теорем исчисления. Область применения исчисления также значительно расширилась. Анри Лебег изобрел теорию меры , основанную на более ранних разработках Эмиля Бореля , и использовал ее для определения интегралов всех функций, кроме самых патологических . [39] Лоран Шварц ввел распределения , которые можно использовать для взятия производной любой функции. [40]
Пределы — не единственный строгий подход к основанию исчисления. Другой способ — использовать нестандартный анализ Абрахама Робинсона . Подход Робинсона, разработанный в 1960-х годах, использует технические механизмы из математической логики для дополнения действительной числовой системы бесконечно малыми и бесконечными числами, как в оригинальной концепции Ньютона-Лейбница. Полученные числа называются гиперреальными числами , и их можно использовать для разработки обычных правил исчисления в духе Лейбница. [41] Существует также гладкий бесконечно малый анализ , который отличается от нестандартного анализа тем, что требует пренебрегать бесконечно малыми более высокой степени во время выводов. [34] Основываясь на идеях Ф. В. Ловера и применяя методы теории категорий , гладкий бесконечно малый анализ рассматривает все функции как непрерывные и неспособные быть выраженными в терминах дискретных сущностей. Одним из аспектов этой формулировки является то, что закон исключенного третьего не выполняется. [34] Закон исключенного третьего также отвергается в конструктивной математике , разделе математики, который настаивает на том, что доказательства существования числа, функции или другого математического объекта должны давать конструкцию объекта. Переформулировки исчисления в конструктивной структуре обычно являются частью предмета конструктивного анализа . [34]
Хотя многие идеи исчисления были разработаны ранее в Греции , Китае , Индии , Ираке, Персии и Японии , использование исчисления началось в Европе в 17 веке, когда Ньютон и Лейбниц, основываясь на работах более ранних математиков, представили его основные принципы. [11] [25] [42] Венгерский полимат Джон фон Нейман писал об этой работе:
Исчисление было первым достижением современной математики, и его важность трудно переоценить. Я думаю, что оно определяет более недвусмысленно, чем что-либо другое, начало современной математики, а система математического анализа, которая является ее логическим развитием, по-прежнему представляет собой величайшее техническое достижение в точном мышлении. [43]
Приложения дифференциального исчисления включают вычисления, включающие скорость и ускорение , наклон кривой и оптимизацию . [44] : 341–453 Приложения интегрального исчисления включают вычисления, включающие площадь, объем , длину дуги , центр масс , работу и давление . [44] : 685–700 Более продвинутые приложения включают степенные ряды и ряды Фурье .
Исчисление также используется для получения более точного понимания природы пространства, времени и движения. На протяжении столетий математики и философы боролись с парадоксами, связанными с делением на ноль или суммами бесконечного числа чисел. Эти вопросы возникают при изучении движения и площади. Древнегреческий философ Зенон Элейский привел несколько известных примеров таких парадоксов . Исчисление предоставляет инструменты, особенно предел и бесконечный ряд , которые разрешают парадоксы. [45]
Исчисление обычно развивается путем работы с очень малыми величинами. Исторически первым методом для этого были бесконечно малые . Это объекты, которые можно рассматривать как действительные числа, но которые в некотором смысле «бесконечно малы». Например, бесконечно малое число может быть больше 0, но меньше любого числа в последовательности 1, 1/2, 1/3, ... и, таким образом, меньше любого положительного действительного числа . С этой точки зрения исчисление представляет собой набор методов для манипулирования бесконечно малыми величинами. Символы и считались бесконечно малыми, а производная была их отношением. [34]
Подход бесконечно малых вышел из моды в 19 веке, потому что было трудно сделать понятие бесконечно малых точным. В конце 19 века бесконечно малые были заменены в академических кругах подходом эпсилон, дельта к пределам . Пределы описывают поведение функции при определенном входе с точки зрения ее значений при соседних входах. Они фиксируют поведение малых масштабов, используя внутреннюю структуру системы действительных чисел (как метрического пространства со свойством наименьшей верхней границы ). В этой трактовке исчисление представляет собой набор методов для манипулирования определенными пределами. Бесконечно малые заменяются последовательностями все меньших и меньших чисел, и бесконечно малое поведение функции находится путем взятия предельного поведения для этих последовательностей. Считалось, что пределы обеспечивают более строгую основу для исчисления, и по этой причине они стали стандартным подходом в 20 веке. Однако концепция бесконечно малых величин возродилась в 20 веке с введением нестандартного анализа и гладкого анализа бесконечно малых величин , что обеспечило прочную основу для манипулирования бесконечно малыми величинами. [34]
Дифференциальное исчисление — это изучение определения, свойств и приложений производной функции . Процесс нахождения производной называется дифференциацией . При наличии функции и точки в области определения производная в этой точке является способом кодирования мелкомасштабного поведения функции вблизи этой точки. Находя производную функции в каждой точке в ее области определения, можно получить новую функцию, называемую производной функцией или просто производной исходной функции. Формально производная — это линейный оператор , который принимает функцию в качестве входных данных и производит вторую функцию в качестве выходных данных. Это более абстрактно, чем многие процессы, изучаемые в элементарной алгебре, где функции обычно вводят число и выводят другое число. Например, если функции удвоения дать входные данные три, то она выведет шесть, а если функции возведения в квадрат дать входные данные три, то она выведет девять. Однако производная может принимать функцию возведения в квадрат в качестве входных данных. Это означает, что производная берет всю информацию о функции возведения в квадрат — например, что два отправляется в четыре, три отправляется в девять, четыре отправляется в шестнадцать и т. д. — и использует эту информацию для создания другой функции. Функция, полученная путем дифференцирования функции возведения в квадрат, оказывается функцией удвоения. [28] : 32
В более явных терминах «функция удвоения» может быть обозначена как g ( x ) = 2 x , а «функция возведения в квадрат» как f ( x ) = x 2 . «Производная» теперь принимает функцию f ( x ) , определенную выражением « x 2 », в качестве входных данных, то есть всю информацию — например, что два отправляется в четыре, три отправляется в девять, четыре отправляется в шестнадцать и так далее — и использует эту информацию для вывода другой функции, функции g ( x ) = 2 x , как и получится.
В нотации Лагранжа символом производной является апостроф -подобный знак, называемый штрихом . Таким образом, производная функции с именем f обозначается как f′ , произносится как «f штрих» или «f тире». Например, если f ( x ) = x 2 — функция возведения в квадрат, то f′ ( x ) = 2 x — ее производная (функция удвоения g из вышеприведенной).
Если вход функции представляет время, то производная представляет изменение относительно времени. Например, если f — это функция, которая принимает время в качестве входных данных и выдает положение мяча в это время в качестве выходных данных, то производная f — это то, как положение меняется во времени, то есть это скорость мяча. [28] : 18–20
Если функция линейна (то есть график функции представляет собой прямую линию), то функцию можно записать в виде y = mx + b , где x — независимая переменная, y — зависимая переменная, b — точка пересечения с осью y , и:
Это дает точное значение для наклона прямой линии. [46] : 6 Однако, если график функции не является прямой линией, то изменение y, деленное на изменение x, изменяется. Производные придают точное значение понятию изменения выхода относительно изменения входа. Для конкретности, пусть f будет функцией, и зафиксируем точку a в области f . ( a , f ( a )) является точкой на графике функции. Если h является числом, близким к нулю, то a + h является числом, близким к a . Следовательно, ( a + h , f ( a + h )) близок к ( a , f ( a )) . Наклон между этими двумя точками равен
Это выражение называется разностным отношением . Прямая, проходящая через две точки кривой, называется секущей , поэтому m — это наклон секущей между ( a , f ( a )) и ( a + h , f ( a + h )) . Вторая линия — это лишь приближение к поведению функции в точке a, поскольку она не учитывает то, что происходит между a и a + h . Невозможно обнаружить поведение в точке a , установив h равным нулю, поскольку для этого потребуется деление на ноль , что не определено. Производная определяется взятием предела при стремлении h к нулю, что означает, что она рассматривает поведение f для всех малых значений h и извлекает согласованное значение для случая, когда h равно нулю:
Геометрически производная — это наклон касательной к графику функции f в точке a . Касательная — это предел секущих, так же как производная — это предел разностных отношений. По этой причине производную иногда называют наклоном функции f . [46] : 61–63
Вот частный пример: производная функции возведения в квадрат на входе 3. Пусть f ( x ) = x 2 — функция возведения в квадрат.
Наклон касательной к функции возведения в квадрат в точке (3, 9) равен 6, то есть она идет вверх в шесть раз быстрее, чем идет вправо. Описанный выше предельный процесс может быть выполнен для любой точки в области функции возведения в квадрат. Это определяет производную функцию функции возведения в квадрат или просто производную функции возведения в квадрат для краткости. Вычисление, подобное приведенному выше, показывает, что производная функции возведения в квадрат является функцией удвоения. [46] : 63
Общее обозначение, введенное Лейбницем для производной в приведенном выше примере, следующее:
В подходе, основанном на ограничениях, символ dy/дх следует интерпретировать не как частное двух чисел, а как сокращение для предела, вычисленного выше. [46] : 74 Лейбниц, однако, намеревался представить его как частное двух бесконечно малых чисел, причем dy представляет собой бесконечно малое изменение y, вызванное бесконечно малым изменением dx, примененным к x . Мы также можем думать о г/дх как оператор дифференциации, который принимает функцию в качестве входных данных и дает другую функцию, производную, в качестве выходных данных. Например:
В этом случае dx в знаменателе читается как «относительно x ». [46] : 79 Другим примером правильной записи может быть:
Даже когда исчисление развивается с использованием пределов, а не бесконечно малых величин, общепринято манипулировать такими символами, как dx и dy, как если бы они были действительными числами; хотя можно избежать таких манипуляций, иногда они удобны с точки зрения обозначений при выражении таких операций, как полная производная .
Интегральное исчисление — это изучение определений, свойств и приложений двух связанных понятий: неопределенного интеграла и определенного интеграла . Процесс нахождения значения интеграла называется интегрированием . [44] : 508 Неопределенный интеграл, также известный как первообразная , является обратной операцией к производной. [46] : 163–165 F — неопределенный интеграл от f , когда f — производная от F. (Такое использование строчных и заглавных букв для функции и ее неопределенного интеграла распространено в исчислении.) Определенный интеграл вводит функцию и выводит число, которое дает алгебраическую сумму площадей между графиком ввода и осью x . Техническое определение определенного интеграла включает предел суммы площадей прямоугольников, называемый суммой Римана . [47] : 282
Мотивирующим примером является расстояние, пройденное за определенное время. [46] : 153 Если скорость постоянна, необходимо только умножение:
Но если скорость меняется, необходим более мощный метод нахождения расстояния. Один из таких методов — приблизительное определение пройденного расстояния путем разбиения времени на множество коротких интервалов времени, затем умножения времени, прошедшего в каждом интервале, на одну из скоростей в этом интервале, а затем взятия суммы ( суммы Римана ) приблизительного расстояния, пройденного в каждом интервале. Основная идея заключается в том, что если прошло только короткое время, то скорость останется более или менее той же. Однако сумма Римана дает лишь приблизительное значение пройденного расстояния. Мы должны взять предел всех таких сумм Римана, чтобы найти точное пройденное расстояние.
Когда скорость постоянна, общее расстояние, пройденное за данный интервал времени, можно вычислить, умножив скорость на время. Например, движение со скоростью 50 миль в час в течение 3 часов дает общее расстояние в 150 миль. График скорости как функции времени дает прямоугольник с высотой, равной скорости, и шириной, равной прошедшему времени. Таким образом, произведение скорости на время также вычисляет прямоугольную площадь под кривой (постоянной) скорости. [44] : 535 Эту связь между площадью под кривой и пройденным расстоянием можно распространить на любую область неправильной формы, демонстрирующую флуктуирующую скорость за данный период. Если f ( x ) представляет скорость, изменяющуюся со временем, то расстояние, пройденное между временами, представленными a и b, является площадью области между f ( x ) и осью x , между x = a и x = b .
Чтобы аппроксимировать эту площадь, интуитивный метод будет заключаться в том, чтобы разделить расстояние между a и b на несколько равных сегментов, длина каждого сегмента представлена символом Δ x . Для каждого малого сегмента мы можем выбрать одно значение функции f ( x ) . Назовем это значение h . Тогда площадь прямоугольника с основанием Δ x и высотой h дает расстояние (время Δ x, умноженное на скорость h ), пройденное в этом сегменте. С каждым сегментом связано среднее значение функции над ним, f ( x ) = h . Сумма всех таких прямоугольников дает приближение площади между осью и кривой, что является приближением общего пройденного расстояния. Меньшее значение для Δ x даст больше прямоугольников и в большинстве случаев лучшее приближение, но для точного ответа нам нужно взять предел, когда Δ x приближается к нулю. [44] : 512–522
Символ интегрирования — удлиненная буква S , выбранная для обозначения суммирования. [44] : 529 Определенный интеграл записывается как:
и читается как «интеграл от a до b функции f -от- x относительно x ». Обозначение Лейбница dx призвано предложить разделить область под кривой на бесконечное число прямоугольников так, чтобы их ширина Δ x стала бесконечно малой dx . [28] : 44
Неопределенный интеграл, или первообразная, записывается:
Функции, отличающиеся только константой, имеют одну и ту же производную, и можно показать, что первообразная данной функции представляет собой семейство функций, отличающихся только константой. [47] : 326 Поскольку производная функции y = x 2 + C , где C — любая константа, равна y′ = 2 x , первообразная последней определяется как:
Неопределенная константа C, присутствующая в неопределенном интеграле или первообразной, известна как константа интегрирования . [48] : 135
Основная теорема исчисления утверждает, что дифференциация и интегрирование являются обратными операциями. [47] : 290 Точнее, она связывает значения первообразных с определенными интегралами. Поскольку обычно легче вычислить первообразную, чем применить определение определенного интеграла, основная теорема исчисления предоставляет практический способ вычисления определенных интегралов. Ее также можно интерпретировать как точное утверждение того факта, что дифференциация является обратной интегрированию.
Основная теорема исчисления гласит: если функция f непрерывна на интервале [ a , b ] и если F — функция, производная которой равна f на интервале ( a , b ) , то
Более того, для каждого x в интервале ( a , b ) ,
Это понимание, сделанное как Ньютоном, так и Лейбницем , было ключом к распространению аналитических результатов после того, как их работа стала известна. (Степень, в которой Ньютон и Лейбниц находились под влиянием непосредственных предшественников, и в частности то, что Лейбниц мог узнать из работы Исаака Барроу , трудно определить из-за спора о приоритете между ними. [49] ) Основная теорема предоставляет алгебраический метод вычисления многих определенных интегралов — без выполнения предельных процессов — путем нахождения формул для первообразных . Это также прототип решения дифференциального уравнения . Дифференциальные уравнения связывают неизвестную функцию с ее производными и повсеместно распространены в науках. [50] : 351–352
Исчисление используется в каждой отрасли физических наук, [51] : 1 актуарная наука , компьютерные науки , статистика , инженерия , экономика , бизнес , медицина , демография и в других областях, где проблема может быть математически смоделирована и требуется оптимальное решение. [52] Оно позволяет перейти от (непостоянных) скоростей изменения к общему изменению или наоборот, и много раз при изучении проблемы мы знаем одно и пытаемся найти другое. [53] Исчисление можно использовать в сочетании с другими математическими дисциплинами. Например, его можно использовать с линейной алгеброй , чтобы найти «наилучшее соответствие» линейного приближения для набора точек в области. Или его можно использовать в теории вероятностей для определения ожидаемого значения непрерывной случайной величины, заданной функцией плотности вероятности . [54] : 37 В аналитической геометрии , изучении графиков функций, исчисление используется для нахождения высоких и низких точек (максимумов и минимумов), наклонов, вогнутостей и точек перегиба . Исчисление также используется для нахождения приближенных решений уравнений; на практике это стандартный способ решения дифференциальных уравнений и поиска корней в большинстве приложений. Примерами являются такие методы, как метод Ньютона , итерация неподвижной точки и линейная аппроксимация . Например, космические аппараты используют вариацию метода Эйлера для аппроксимации криволинейных курсов в условиях невесомости.
Физика особенно использует исчисление; все концепции классической механики и электромагнетизма связаны через исчисление. Масса объекта известной плотности , момент инерции объектов и потенциальная энергия, обусловленная гравитационными и электромагнитными силами, могут быть найдены с помощью исчисления. Примером использования исчисления в механике является второй закон движения Ньютона , который гласит, что производная импульса объекта относительно времени равна чистой силе, действующей на него. В качестве альтернативы второй закон Ньютона можно выразить, сказав, что чистая сила равна массе объекта, умноженной на его ускорение , которое является производной по времени скорости и, таким образом, второй производной по времени пространственного положения. Начиная со знания того, как объект ускоряется, мы используем исчисление, чтобы вывести его траекторию. [55]
Теория электромагнетизма Максвелла и общая теория относительности Эйнштейна также выражены на языке дифференциального исчисления. [56] [57] : 52–55 Химия также использует исчисление для определения скоростей реакций [58] : 599 и при изучении радиоактивного распада. [58] : 814 В биологии динамика популяций начинается с показателей воспроизводства и смертности для моделирования изменений популяции. [59] [60] : 631
Теорема Грина , которая устанавливает связь между линейным интегралом по простой замкнутой кривой C и двойным интегралом по плоской области D, ограниченной кривой C, применяется в приборе, известном как планиметр , который используется для вычисления площади плоской поверхности на чертеже. [61] Например, ее можно использовать для вычисления площади, занимаемой цветочной клумбой неправильной формы или бассейном при проектировании планировки участка недвижимости.
В области медицины исчисление можно использовать для нахождения оптимального угла разветвления кровеносного сосуда , чтобы максимизировать поток. [62] Исчисление можно применять для понимания того, как быстро лекарство выводится из организма или как быстро растет раковая опухоль. [63]
В экономике исчисление позволяет определить максимальную прибыль, предоставляя способ легкого расчета как предельных издержек , так и предельного дохода . [64] : 387
Наиболее интересными для нас являются Лекции X–XII, в которых Барроу приближается к предоставлению геометрической демонстрации фундаментальной теоремы исчисления... Однако он не осознавал всей значимости своих результатов, и его отказ от алгебры означает, что его работа должна оставаться частью геометрического анализа середины XVII века, представляющей в основном исторический интерес.
[Ньютон] сразу понял, что квадратурные задачи (обратные задачи) можно решать с помощью бесконечных рядов: как мы бы сказали сейчас, разлагая подынтегральное выражение в степенной ряд и интегрируя почленно.
Лейбниц понимал символы, их концептуальные возможности, а также их ограничения. Он провел годы, экспериментируя с некоторыми из них — корректируя, отвергая и переписываясь со всеми, кого знал, консультируясь с как можно большим количеством ведущих математиков того времени, которые симпатизировали его привередливости.
Великие математики семнадцатого века были оптимистичны и стремились к быстрым результатам; следовательно, они оставили основы аналитической геометрии и исчисления бесконечно малых ненадежными. Лейбниц верил в реальные бесконечно малые, но хотя эта вера соответствовала его метафизике, она не имела прочной основы в математике. Вейерштрасс вскоре после середины девятнадцатого века показал, как установить исчисление без бесконечно малых, и таким образом, наконец, сделал его логически надежным. Затем появился Георг Кантор, который разработал теорию непрерывности и бесконечного числа. «Непрерывность», пока он не определил ее, была неопределенным словом, удобным для философов, таких как Гегель, которые хотели ввести метафизическую путаницу в математику. Кантор придал точное значение этому слову и показал, что непрерывность, как он ее определил, была концепцией, необходимой математикам и физикам. Таким образом, значительная часть мистицизма, например, бергсоновского, была сделана устаревшей.