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