stringtranslate.com

Интеграл

Пример определенного интеграла
Определенный интеграл функции можно представить как знаковую площадь области, ограниченной ее графиком и горизонтальной осью; на приведенном выше графике в качестве примера интеграл представляет собой желтую (−) область, вычтенную из синей (+) области.

В математике интеграл это непрерывный аналог суммы , который используется для вычисления площадей , объёмов и их обобщений. Интеграция, процесс вычисления интеграла, является одной из двух основных операций исчисления , [a] другая — дифференциация . Интеграция изначально использовалась для решения задач в математике и физике , таких как нахождение площади под кривой или определение смещения по скорости. Впоследствии использование интегрирования распространилось на широкий спектр научных областей.

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

Хотя методы вычисления площадей и объемов восходят к древнегреческой математике , принципы интегрирования были сформулированы независимо Исааком Ньютоном и Готфридом Вильгельмом Лейбницем в конце 17-го века, которые считали площадь под кривой бесконечной суммой прямоугольников бесконечно малой ширины. Бернхард Риман позже дал строгое определение интегралов, которое основано на предельной процедуре, которая аппроксимирует площадь криволинейной области , разбивая область на бесконечно тонкие вертикальные пластины. В начале 20-го века Анри Лебег обобщил формулировку Римана, введя то, что сейчас называется интегралом Лебега ; он более общий, чем римановский, в том смысле, что более широкий класс функций интегрируем по Лебегу.

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

История

Интеграция перед исчислением

Первым задокументированным систематическим методом, способным определять интегралы, является метод исчерпывания древнегреческого астронома Евдокса и философа Демокрита ( ок. 370 г. до н. э.), который стремился найти площади и объемы, разбив их на бесконечное число частей, для которых площадь или объем были известны. [ 1] Этот метод был далее развит и использован Архимедом в 3 веке до н. э. и использовался для вычисления площади круга , площади поверхности и объема сферы , площади эллипса , площади под параболой , объема сегмента параболоида вращения, объема сегмента гиперболоида вращения и площади спирали . [ 2]

Похожий метод был независимо разработан в Китае около 3-го века нашей эры Лю Хуэем , который использовал его для нахождения площади круга. Этот метод позже был использован в 5-м веке китайскими математиками отцом и сыном Цзу Чунчжи и Цзу Гэном для нахождения объема сферы. [3]

На Ближнем Востоке Хасан ибн аль-Хайтам, латинизированный как Альхазен ( ок.  965  – ок.  1040  н. э.), вывел формулу для суммы четвертых степеней . [4] Альхазен определил уравнения для вычисления площади, заключенной в кривой, представленной (что в современной записи соответствует интегралу ), для любого заданного неотрицательного целого значения . [5] Он использовал результаты для выполнения того, что сейчас называется интегрированием этой функции, где формулы для сумм квадратов интегралов и четвертых степеней позволили ему вычислить объем параболоида . [ 6]

Следующие значительные достижения в интегральном исчислении не появлялись до 17 века. В это время работа Кавальери с его методом неделимых и работа Ферма начали закладывать основы современного исчисления, [7] при этом Кавальери вычислил интегралы x n до степени n = 9 в квадратурной формуле Кавальери . [8] Случай n = −1 потребовал изобретения функции , гиперболического логарифма , достигнутого путем квадратуры гиперболы в 1647 году.

Дальнейшие шаги были сделаны в начале 17 века Барроу и Торричелли , которые дали первые намеки на связь между интегрированием и дифференцированием . Барроу предоставил первое доказательство фундаментальной теоремы исчисления . [9] Уоллис обобщил метод Кавальери, вычислив интегралы x до общей степени, включая отрицательные степени и дробные степени. [10]

Лейбниц и Ньютон

Основной прогресс в интегрировании произошел в 17 веке с независимым открытием Лейбницем и Ньютоном основной теоремы исчисления . [11] Теорема демонстрирует связь между интегрированием и дифференцированием. Эта связь, в сочетании со сравнительной простотой дифференцирования, может быть использована для вычисления интегралов. В частности , основная теорема исчисления позволяет решать гораздо более широкий класс задач. Одинаково важна и всеобъемлющая математическая структура, которую разработали и Лейбниц, и Ньютон. Получив название исчисление бесконечно малых, оно позволило проводить точный анализ функций с непрерывными областями. Эта структура в конечном итоге стала современным исчислением , чьи обозначения для интегралов взяты непосредственно из работы Лейбница.

Формализация

Хотя Ньютон и Лейбниц предложили систематический подход к интегрированию, их работам не хватало строгости . Епископ Беркли, как известно, критиковал исчезающие приращения, используемые Ньютоном, называя их « призраками ушедших величин ». [12] Исчисление приобрело более прочную основу с развитием пределов . Интегрирование было впервые строго формализовано с использованием пределов Риманом . [13] Хотя все ограниченные кусочно -непрерывные функции интегрируемы по Риману на ограниченном интервале, впоследствии были рассмотрены более общие функции, особенно в контексте анализа Фурье , к которым определение Римана неприменимо, и Лебег сформулировал другое определение интеграла, основанное на теории меры (подразделе действительного анализа ). Были предложены другие определения интеграла, расширяющие подходы Римана и Лебега. Подходы, основанные на действительной системе чисел, являются наиболее распространенными сегодня, но существуют и альтернативные подходы, такие как определение интеграла как стандартной части бесконечной суммы Римана, основанной на гипердействительной системе чисел .

Историческая запись

Обозначение неопределенного интеграла было введено Готфридом Вильгельмом Лейбницем в 1675 году. [14] Он адаптировал интегральный символ , , из буквы ſ ( длинная s ), обозначающей сумму (пишется как ſumma ; на латыни «сумма» или «итого»). Современное обозначение определенного интеграла с пределами выше и ниже знака интеграла было впервые использовано Жозефом Фурье в «Записках Французской академии» около 1819–1820 годов, перепечатанных в его книге 1822 года. [15]

Исаак Ньютон использовал небольшую вертикальную черту над переменной для обозначения интегрирования или помещал переменную в рамку. Вертикальную черту легко было спутать с.хили x , которые используются для обозначения различий, а обозначение ящика было трудно воспроизводить печатникам, поэтому эти обозначения не получили широкого распространения. [16]

Первое использование термина

Этот термин был впервые напечатан на латыни Якобом Бернулли в 1690 году: «Ergo et horum Integralia aequantur». [17]

Терминология и обозначения

В общем случае интеграл действительной функции f ( x ) по действительной переменной x на интервале [ a , b ] записывается как

Знак интеграла представляет интегрирование. Символ dx , называемый дифференциалом переменной x , указывает, что переменная интегрирования — это x . Функция f ( x ) называется подынтегральным выражением, точки a и b называются пределами (или границами) интегрирования, а интеграл, как говорят, берется на интервале [ a , b ] , называемом интервалом интегрирования. [18] Функция называется интегрируемойесли его интеграл по области определения конечен. Если пределы указаны, интеграл называется определенным интегралом.

Когда пределы опущены, как в

интеграл называется неопределенным интегралом, который представляет класс функций ( первообразная ), производная которых является подынтегральным выражением. [19] Основная теорема исчисления связывает оценку определенных интегралов с неопределенными интегралами. Существует несколько расширений обозначений для интегралов, чтобы охватить интегрирование в неограниченных областях и/или в нескольких измерениях (см. последующие разделы этой статьи).

В расширенных настройках не редкость опустить dx , когда используется только простой интеграл Римана, или точный тип интеграла несущественен. Например, можно написать , чтобы выразить линейность интеграла, свойство, общее для интеграла Римана и всех его обобщений. [20]

Интерпретации

Приближения к интегралу x от 0 до 1 с 5 желтыми правыми конечными точками и 10 зелеными левыми конечными точками

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

В качестве другого примера, чтобы найти площадь области, ограниченной графиком функции f ( x ) = между x = 0 и x = 1 , можно разделить интервал на пять частей ( 0, 1/5, 2/5, ..., 1 ), затем построить прямоугольники, используя высоту правого конца каждой части (таким образом, 0 , 1/5 , 2/5 , ..., 1 ) и суммировать их площади, чтобы получить приближение

что больше точного значения. В качестве альтернативы, при замене этих подынтервалов единицами с высотой левого конца каждой части, приближение, которое получается, слишком низкое: при двенадцати таких подынтервалах приближенная площадь составляет всего 0,6203. Однако, когда количество частей увеличивается до бесконечности, оно достигнет предела, который является точным значением искомой площади (в данном случае 2/3 ). Пишется

что означает, что 2/3 является результатом взвешенной суммы значений функции, x , умноженной на бесконечно малую ширину шага, обозначенную dx , на интервале [0, 1] .

суммы Дарбу

Формальные определения

Существует много способов формального определения интеграла, не все из которых эквивалентны. Различия существуют в основном для рассмотрения различных особых случаев, которые могут быть неинтегрируемыми при других определениях, но иногда и по педагогическим причинам. Наиболее часто используемые определения — это интегралы Римана и интегралы Лебега.

Интеграл Римана

Интеграл Римана определяется в терминах сумм Римана функций относительно помеченных разбиений интервала. [21] Помеченное разбиение замкнутого интервала [ a , b ] на действительной прямой представляет собой конечную последовательность

Это разбивает интервал [ a , b ] на n подинтервалов [ x i −1 , x i ], индексированных i , каждый из которых «помечен» определенной точкой t i ∈ [ x i −1 , x i ] . Риманова сумма функции f относительно такого помеченного разбиения определяется как

Таким образом, каждый член суммы представляет собой площадь прямоугольника с высотой, равной значению функции в выбранной точке заданного подынтервала, и шириной, равной ширине подынтервала, Δ i = x ix i −1 . Сетка такого помеченного разбиения представляет собой ширину наибольшего подынтервала, образованного разбиением, max i =1... n Δ i . Интеграл Римана функции f по интервалу [ a , b ] равен S, если: [22]

Для всех существует такое, что для любого помеченного раздела с сеткой меньше ,

Когда выбранные теги представляют собой максимальное (соответственно минимальное) значение функции в каждом интервале, сумма Римана становится верхней (соответственно нижней) суммой Дарбу , что указывает на тесную связь между интегралом Римана и интегралом Дарбу .

Интеграл Лебега

Сравнение интегралов Римана и Лебега
Интеграция Лебега

Часто бывает интересно, как в теории, так и в приложениях, иметь возможность перейти к пределу под интегралом. Например, часто можно построить последовательность функций, которая аппроксимирует, в подходящем смысле, решение задачи. Тогда интеграл функции решения должен быть пределом интегралов аппроксимаций. Однако многие функции, которые могут быть получены как пределы, не являются интегрируемыми по Риману, и поэтому такие предельные теоремы не выполняются с интегралом Римана. Поэтому очень важно иметь определение интеграла, которое позволяет интегрировать более широкий класс функций. [23]

Таким интегралом является интеграл Лебега, который использует следующий факт для расширения класса интегрируемых функций: если значения функции переставляются по области определения, интеграл функции должен оставаться тем же самым. Таким образом, Анри Лебег ввел интеграл, носящий его имя, объяснив этот интеграл следующим образом в письме к Полю Монтелю : [24]

Я должен заплатить определенную сумму, которую я накопил в своем кармане. Я достаю купюры и монеты из своего кармана и отдаю их кредитору в том порядке, в котором я их нахожу, пока не достигну общей суммы. Это интеграл Римана. Но я могу поступить и по-другому. После того, как я вынул все деньги из своего кармана, я упорядочиваю купюры и монеты в соответствии с одинаковыми номиналами, а затем выплачиваю несколько кучек одну за другой кредитору. Это мой интеграл.

Как говорит Фолланд, «чтобы вычислить интеграл Римана от f , нужно разбить область [ a , b ] на подынтервалы», тогда как в интеграле Лебега «по сути, нужно разбить область значений f ». [25] Таким образом, определение интеграла Лебега начинается с меры μ. В простейшем случае мера Лебега μ ( A ) интервала A = [ a , b ] — это его ширина ba , так что интеграл Лебега согласуется с (собственным) интегралом Римана, когда существуют оба. [26] В более сложных случаях измеряемые множества могут быть сильно фрагментированными, без непрерывности и без сходства с интервалами.

Используя философию «разбиения области значений f », интеграл неотрицательной функции f  : RR должен быть суммой по t площадей между тонкой горизонтальной полосой между y = t и y = t + dt . Эта площадь равна просто μ { x  : f ( x ) > t }  dt . Пусть f ( t ) = μ { x  : f ( x ) > t } . Тогда интеграл Лебега функции f определяется как

где интеграл справа является обычным несобственным интегралом Римана ( f — строго убывающая положительная функция и, следовательно, имеет хорошо определенный несобственный интеграл Римана). [27] Для подходящего класса функций ( измеримых функций ) это определяет интеграл Лебега.

Общая измеримая функция f интегрируема по Лебегу, если сумма абсолютных значений площадей областей между графиком f и осью x конечна: [28]

В этом случае интеграл, как и в римановом случае, равен разности между площадью над осью x и площадью под осью x : [29]

где

Другие интегралы

Хотя интегралы Римана и Лебега являются наиболее широко используемыми определениями интеграла, существует ряд других, в том числе:

Характеристики

Линейность

Совокупность функций, интегрируемых по Риману на замкнутом интервале [ a , b ], образует векторное пространство относительно операций поточечного сложения и умножения на скаляр, а также операции интегрирования

является линейным функционалом на этом векторном пространстве. Таким образом, набор интегрируемых функций замкнут относительно взятия линейных комбинаций , а интеграл линейной комбинации является линейной комбинацией интегралов: [30]

Аналогично, множество вещественных -значных интегрируемых по Лебегу функций на заданном пространстве меры E с мерой μ замкнуто относительно взятия линейных комбинаций и, следовательно, образует векторное пространство, а интеграл Лебега

является линейным функционалом на этом векторном пространстве, так что: [29]

В более общем случае рассмотрим векторное пространство всех измеримых функций на пространстве с мерой ( E , μ ) , принимающих значения в локально компактном полном топологическом векторном пространстве V над локально компактным топологическим полем K , f  : EV. Тогда можно определить абстрактное отображение интегрирования, назначающее каждой функции f элемент V или символ ,

что совместимо с линейными комбинациями. [31] В этой ситуации линейность имеет место для подпространства функций, интеграл которых является элементом V (т.е. «конечным»). Наиболее важные особые случаи возникают, когда K — это R , C или конечное расширение поля Q p p -адических чисел , а V — конечномерное векторное пространство над K , и когда K = C , а V — комплексное гильбертово пространство .

Линейность, вместе с некоторыми естественными свойствами непрерывности и нормализацией для определенного класса «простых» функций, может быть использована для того, чтобы дать альтернативное определение интеграла. Это подход Даниэля для случая вещественнозначных функций на множестве X , обобщенный Николя Бурбаки на функции со значениями в локально компактном топологическом векторном пространстве. См. Hildebrandt 1953 для аксиоматической характеристики интеграла.

Неравенства

Ряд общих неравенств справедлив для функций, интегрируемых по Риману, определенных на замкнутом и ограниченном интервале [ a , b ], и может быть обобщен на другие понятия интеграла (Лебег и Даниэль).

Конвенции

В этом разделе f — это вещественнозначная функция, интегрируемая по Риману . Интеграл

на интервале [ a , b ] определяется, если a < b . Это означает, что верхняя и нижняя суммы функции f вычисляются на разбиении a = x 0x 1 ≤ . . . ≤ x n = b, значения x i которого возрастают. Геометрически это означает, что интегрирование происходит «слева направо», оценивая f в интервалах [ x i  , x i  +1 ] , где интервал с большим индексом лежит справа от интервала с меньшим индексом. Значения a и b , конечные точки интервала , называются пределами интегрирования f . Интегралы также могут быть определены, если a > b : [18 ]

При a = b это означает:

Первое соглашение необходимо при рассмотрении взятия интегралов по подынтервалам [ a , b ] ; второе соглашение гласит, что интеграл, взятый по вырожденному интервалу или точке , должен быть равен нулю . Одной из причин первого соглашения является то, что интегрируемость f на интервале [ a , b ] подразумевает, что f интегрируема на любом подынтервале [ c , d ] , но в частности интегралы обладают свойством, что если c является любым элементом [ a , b ] , то: [30 ]

При первом соглашении результирующее отношение

тогда это хорошо определено для любой циклической перестановки a , b и c .

Основная теорема исчисления

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

Первая теорема

Пусть f — непрерывная вещественная функция, определенная на замкнутом интервале [ a , b ] . Пусть F — функция, определенная для всех x из [ a , b ] по формуле [36]

Тогда F непрерывна на [ a , b ] , дифференцируема на открытом интервале ( a , b ) и

для всех x из ( a , b ) .

Вторая теорема

Пусть f — вещественная функция, определенная на замкнутом интервале [ a , b ], которая допускает первообразную F на [ a , b ] . То есть, f и F — функции, такие, что для всех x в [ a , b ] ,

Если f интегрируема на [ a , b ], то

Расширения

Несобственные интегралы

Несобственный интеграл имеет неограниченные интервалы как для области определения, так и для диапазона.

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

Если интервал неограничен, например, на его верхнем конце, то несобственный интеграл является пределом, поскольку эта конечная точка стремится к бесконечности: [37]

Если подынтегральное выражение определено или конечно только на полуоткрытом интервале, например ( a , b ] , то снова предел может дать конечный результат: [38]

То есть, несобственный интеграл является пределом собственных интегралов, когда одна из конечных точек интервала интегрирования приближается либо к указанному действительному числу , либо к ∞ , либо к −∞ . В более сложных случаях пределы требуются в обеих конечных точках или во внутренних точках.

Множественная интеграция

Двойной интеграл вычисляет объем под поверхностью

Так же, как определенный интеграл положительной функции одной переменной представляет собой площадь области между графиком функции и осью x , двойной интеграл положительной функции двух переменных представляет собой объем области между поверхностью, определяемой функцией, и плоскостью, содержащей ее область определения. [39] Например, функция в двух измерениях зависит от двух действительных переменных x и y , а интеграл функции f по прямоугольнику R, заданному как декартово произведение двух интервалов, можно записать

где дифференциал dA указывает, что интегрирование берется по площади. Этот двойной интеграл может быть определен с использованием сумм Римана и представляет собой (знаковый) объем под графиком z = f ( x , y ) по области R . [40] При подходящих условиях (например, если f непрерывна), теорема Фубини утверждает, что этот интеграл может быть выражен как эквивалентный повторный интеграл [41]

Это сводит проблему вычисления двойного интеграла к вычислению одномерных интегралов. Из-за этого другое обозначение для интеграла по R использует знак двойного интеграла: [40]

Интеграция по более общим областям возможна. Интеграл функции f по объему по n- мерной области D обозначается такими символами, как:

Линейные интегралы и поверхностные интегралы

Линейный интеграл суммирует элементы вдоль кривой.

Понятие интеграла может быть распространено на более общие области интегрирования, такие как кривые линии и поверхности внутри многомерных пространств. Такие интегралы известны как линейные интегралы и поверхностные интегралы соответственно. Они имеют важные приложения в физике, например, при работе с векторными полями .

Линейный интеграл (иногда называемый интегралом по траектории ) — это интеграл, в котором интегрируемая функция вычисляется вдоль кривой . [42] Используются различные линейные интегралы. В случае замкнутой кривой его также называют контурным интегралом .

Интегрируемая функция может быть скалярным полем или векторным полем . Значение линейного интеграла представляет собой сумму значений поля во всех точках кривой, взвешенных некоторой скалярной функцией на кривой (обычно длиной дуги или, для векторного поля, скалярным произведением векторного поля на дифференциальный вектор на кривой). [43] Это взвешивание отличает линейный интеграл от более простых интегралов, определенных на интервалах . Многие простые формулы в физике имеют естественные непрерывные аналоги в терминах линейных интегралов; например, тот факт, что работа равна силе , F , умноженной на смещение, s , может быть выражен (в терминах векторных величин) как: [44]

Для объекта, движущегося по пути C в векторном поле F, таком как электрическое поле или гравитационное поле , общая работа, совершаемая полем над объектом, получается путем суммирования дифференциальной работы, совершаемой при движении от s до s + d s . Это дает линейный интеграл [45]

Определение поверхностного интеграла основано на разбиении поверхности на малые поверхностные элементы.

Поверхностный интеграл обобщает двойные интегралы до интегрирования по поверхности (которая может быть искривленным множеством в пространстве ); его можно рассматривать как двойной интегральный аналог линейного интеграла . Интегрируемая функция может быть скалярным полем или векторным полем . Значение поверхностного интеграла является суммой поля во всех точках поверхности. Этого можно достичь путем разбиения поверхности на поверхностные элементы, которые обеспечивают разбиение для сумм Римана. [46]

В качестве примера применения поверхностных интегралов рассмотрим векторное поле v на поверхности S ; то есть для каждой точки x в S , v ( x ) является вектором. Представьте, что жидкость течет через S , так что v ( x ) определяет скорость жидкости в точке x . Поток определяется как количество жидкости, протекающей через S за единицу времени. Чтобы найти поток, нужно взять скалярное произведение v с единичной нормалью поверхности к S в каждой точке , что даст скалярное поле , которое интегрируется по поверхности: [47]

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

Контурные интегралы

В комплексном анализе подынтегральное выражение представляет собой комплексную функцию комплексной переменной z вместо действительной функции действительной переменной x . Когда комплексная функция интегрируется вдоль кривой в комплексной плоскости, интеграл обозначается следующим образом

Это известно как контурный интеграл .

Интегралы дифференциальных форм

Дифференциальная форма — это математическое понятие в области многомерного исчисления , дифференциальной топологии и тензоров . Дифференциальные формы организованы по степени. Например, однократная форма — это взвешенная сумма дифференциалов координат, например:

где E , F , G — функции в трех измерениях. Дифференциальная однократная форма может быть интегрирована по ориентированному пути, и полученный интеграл — это просто другой способ записи линейного интеграла. Здесь основные дифференциалы dx , dy , dz измеряют бесконечно малые ориентированные длины, параллельные трем осям координат.

Дифференциальная 2-форма представляет собой сумму вида

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

В отличие от векторного произведения и трехмерного векторного исчисления, клиновое произведение и исчисление дифференциальных форм имеют смысл в произвольной размерности и на более общих многообразиях (кривых, поверхностях и их многомерных аналогах). Внешняя производная играет роль градиента и ротора векторного исчисления, а теорема Стокса одновременно обобщает три теоремы векторного исчисления: теорему о дивергенции , теорему Грина и теорему Кельвина-Стокса .

Суммирования

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

Функциональные интегралы

Интегрирование, которое выполняется не по переменной (или, в физике, по пространственному или временному измерению), а по пространству функций , называется функциональным интегралом .

Приложения

Интегралы широко используются во многих областях. Например, в теории вероятностей интегралы используются для определения вероятности попадания некоторой случайной величины в определенный диапазон. [48] Более того, интеграл под всей функцией плотности вероятности должен быть равен 1, что обеспечивает проверку того, может ли функция без отрицательных значений быть функцией плотности или нет. [49]

Интегралы можно использовать для вычисления площади двумерной области с изогнутой границей, а также для вычисления объема трехмерного объекта с изогнутой границей. Площадь двумерной области можно вычислить с помощью вышеупомянутого определенного интеграла. [50] Объем трехмерного объекта, такого как диск или шайба, можно вычислить путем интегрирования диска с использованием уравнения для объема цилиндра, , где — радиус. В случае простого диска, созданного вращением кривой вокруг оси x , радиус задается как f ( x ) , а его высота — дифференциал dx . Используя интеграл с границами a и b , объем диска равен: [51] Интегралы также используются в физике, в таких областях, как кинематика, для нахождения таких величин, как смещение , время и скорость . Например, при прямолинейном движении смещение объекта за интервал времени задается как

где скорость выражена как функция времени. [52] Работа, совершаемая силой (заданной как функция положения) от начального положения до конечного положения, равна: [53]

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

Вычисление

Аналитический

Самый простой метод вычисления определенных интегралов одной действительной переменной основан на фундаментальной теореме исчисления . Пусть f ( x ) — функция x , которую нужно проинтегрировать на заданном интервале [ a , b ] . Затем найдите первообразную f ; то есть функцию F такую, что F ′ = f на интервале. При условии, что подынтегральное выражение и интеграл не имеют особенностей на пути интегрирования, по фундаментальной теореме исчисления,

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

Существуют альтернативные методы вычисления более сложных интегралов. Многие неэлементарные интегралы можно разложить в ряд Тейлора и проинтегрировать почленно. Иногда полученный бесконечный ряд можно суммировать аналитически. Также можно использовать метод свертки с использованием G-функций Мейера , предполагая, что подынтегральное выражение можно записать в виде произведения G-функций Мейера. Существует также много менее распространенных способов вычисления определенных интегралов; например, тождество Парсеваля можно использовать для преобразования интеграла по прямоугольной области в бесконечную сумму. Иногда интеграл можно вычислить с помощью трюка; для примера этого см. Гауссовский интеграл .

Вычисления объемов тел вращения обычно можно выполнить с помощью интегрирования по диску или по оболочке .

Конкретные результаты, полученные с помощью различных методов, собраны в списке интегралов .

Символический

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

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

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

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

Системы интегрирования на основе правил облегчают интеграцию. Rubi, интегратор на основе правил компьютерной алгебры, сопоставляет шаблон с обширной системой правил символического интегрирования для интегрирования широкого спектра подынтегральных выражений. Эта система использует более 6600 правил интегрирования для вычисления интегралов. [54] Метод скобок является обобщением основной теоремы Рамануджана, которая может быть применена к широкому диапазону одномерных и многомерных интегралов. Набор правил применяется к коэффициентам и экспоненциальным членам разложения степенного ряда подынтегральной функции для определения интеграла. Этот метод тесно связан с преобразованием Меллина . [55]

Числовой

Методы числовых квадратур: метод прямоугольников, формула трапеций, метод Ромберга, квадратура Гаусса

Определенные интегралы могут быть аппроксимированы с использованием нескольких методов численного интегрирования . Метод прямоугольников основан на делении области под функцией на ряд прямоугольников, соответствующих значениям функции, и умножении на ширину шага для нахождения суммы. Лучший подход, правило трапеций , заменяет прямоугольники, используемые в сумме Римана, трапециями. Правило трапеций взвешивает первое и последнее значения на половину, затем умножает на ширину шага для получения лучшего приближения. [56] Идея, лежащая в основе правила трапеций, что более точные приближения к функции дают лучшие приближения к интегралу, может быть развита дальше: правило Симпсона аппроксимирует подынтегральное выражение кусочно-квадратичной функцией. [57]

Сумма Римана, правило трапеций и правило Симпсона являются примерами семейства квадратурных правил, называемых формулами Ньютона–Котеса . Правило квадратуры Ньютона–Котеса степени n аппроксимирует полином на каждом подынтервале полиномом степени n . Этот полином выбирается для интерполяции значений функции на интервале. [58] Приближения Ньютона–Котеса более высокой степени могут быть более точными, но они требуют большего количества оценок функций и могут страдать от числовой неточности из-за явления Рунге . Одним из решений этой проблемы является квадратура Кленшоу–Кертиса , в которой подынтегральное выражение аппроксимируется путем его разложения по полиномам Чебышёва .

Метод Ромберга уменьшает ширину шага пополам постепенно, давая трапециевидные приближения, обозначаемые как T ( h 0 ) , T ( h 1 ) и т. д., где h k +1 — это половина h k . Для каждого нового размера шага необходимо вычислить только половину новых значений функции; остальные переносятся из предыдущего размера. Затем он интерполирует полином через приближения и экстраполирует к T (0) . Гауссов квадратурный метод оценивает функцию в корнях набора ортогональных полиномов . [59] Гауссовский метод n точек является точным для полиномов степени до 2 n − 1 .

Вычисление многомерных интегралов (например, вычисление объема) делает важным использование таких альтернатив, как интегрирование Монте-Карло . [60]

Механический

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

Геометрический

Площадь иногда можно найти с помощью геометрических построений эквивалентного квадрата с помощью циркуля и линейки .

Интеграция через дифференциацию

Кемпф, Джексон и Моралес продемонстрировали математические соотношения, которые позволяют вычислять интеграл посредством дифференцирования . Их исчисление включает в себя дельта-функцию Дирака и оператор частной производной . Это также может быть применено к функциональным интегралам , позволяя вычислять их посредством функционального дифференцирования . [61]

Примеры

Используя основную теорему исчисления

Основная теорема исчисления позволяет производить простые вычисления основных функций:

Смотрите также

Примечания

  1. ^ Интегральное исчисление — очень хорошо устоявшаяся математическая дисциплина, для которой существует множество источников. См., например, Apostol 1967 и Anton, Bivens & Davis 2016.

Ссылки

  1. ^ Бертон 2011, стр. 117.
  2. ^ Хит 2002.
  3. ^ Кац 2009, стр. 201–204.
  4. ^ Кац 2009, стр. 284–285.
  5. ^ Деннис, Дэвид; Крейнович, Владик; Рамп, Зигфрид М. (1998-05-01). «Интервалы и истоки исчисления». Reliable Computing . 4 (2): 191–197. doi :10.1023/A:1009989211143. ISSN  1573-1340.
  6. ^ Кац 2009, стр. 305–306.
  7. ^ Кац 2009, стр. 516–517.
  8. Струик 1986, стр. 215–216.
  9. ^ Кац 2009, стр. 536–537.
  10. ^ Бертон 2011, стр. 385–386.
  11. ^ Стиллвелл 1989, стр. 131.
  12. ^ Кац 2009, стр. 628–629.
  13. ^ Кац 2009, стр. 785.
  14. ^ Бертон 2011, с. 414; Лейбниц 1899, с. 154.
  15. Cajori 1929, стр. 249–250; Fourier 1822, §231.
  16. Каджори 1929, стр. 246.
  17. ^ Каджори 1929, стр. 182.
  18. ^ ab Apostol 1967, стр. 74.
  19. ^ Антон, Бивенс и Дэвис 2016, стр. 259.
  20. Апостол 1967, стр. 69.
  21. ^ Антон, Бивенс и Дэвис 2016, стр. 286−287.
  22. ^ Кранц 1991, стр. 173.
  23. ^ Рудин 1987, стр. 5.
  24. ^ Зигмунд-Шульце 2008, с. 796.
  25. ^ Фолланд 1999, стр. 57–58.
  26. ^ Бурбаки 2004, стр. IV.43.
  27. ^ Либ и Лосс 2001, стр. 14.
  28. ^ Фолланд 1999, стр. 53.
  29. ^ ab Rudin 1987, стр. 25.
  30. ^ ab Apostol 1967, стр. 80.
  31. ^ Рудин 1987, стр. 54.
  32. Апостол 1967, стр. 81.
  33. ^ ab Rudin 1987, стр. 63.
  34. Апостол 1967, стр. 202.
  35. Апостол 1967, стр. 205.
  36. ^ Монтесинос, Зизлер и Зизлер 2015, с. 355.
  37. Апостол 1967, стр. 416.
  38. Апостол 1967, стр. 418.
  39. ^ Антон, Бивенс и Дэвис 2016, стр. 895.
  40. ^ аб Антон, Бивенс и Дэвис 2016, с. 896.
  41. ^ Антон, Бивенс и Дэвис 2016, стр. 897.
  42. ^ Антон, Бивенс и Дэвис 2016, стр. 980.
  43. ^ Антон, Бивенс и Дэвис 2016, стр. 981.
  44. ^ Антон, Бивенс и Дэвис 2016, стр. 697.
  45. ^ Антон, Бивенс и Дэвис 2016, стр. 991.
  46. ^ Антон, Бивенс и Дэвис 2016, стр. 1014.
  47. ^ Антон, Бивенс и Дэвис 2016, стр. 1024.
  48. Феллер 1966, стр. 1.
  49. Феллер 1966, стр. 3.
  50. Апостол 1967, стр. 88–89.
  51. Апостол 1967, стр. 111–114.
  52. ^ Антон, Бивенс и Дэвис 2016, стр. 306.
  53. Апостол 1967, стр. 116.
  54. ^ Рич, Шайбе и Аббаси 2018.
  55. ^ Гонсалес, Джиу и Молл 2020.
  56. ^ Далквист и Бьорк 2008, стр. 519–520.
  57. ^ Далквист и Бьорк 2008, стр. 522–524.
  58. ^ Каханер, Молер и Нэш 1989, стр. 144.
  59. ^ Каханер, Молер и Нэш 1989, стр. 147.
  60. ^ Каханер, Молер и Нэш 1989, стр. 139–140.
  61. ^ Кемпф, Джексон и Моралес 2015.

Библиография

Внешние ссылки

Онлайн книги