Интеграл - Integral

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

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

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

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

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

История

Интегрирование до исчисления

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

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

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

Следующие значительные достижения в области интегрального исчисления появились только в 17 веке. В это время работа Кавальери с его методом Неделимых и работа Ферма начали закладывать основы современного исчисления, при этом Кавальери вычислял интегралы от x n до степени n = 9 в квадратурной формуле Кавальери . Дальнейшие шаги были предприняты в начале 17 века Барроу и Торричелли , которые дали первые намеки на связь между интеграцией и дифференциацией . Барроу предоставил первое доказательство основной теоремы исчисления . Уоллис обобщил метод Кавальери, вычисляя интегралы от x до общей степени, включая отрицательные степени и дробные степени.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Например, чтобы найти площадь области, ограниченной графиком функции f ( x ) = 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] .

Суммы Дарбу
Пример верхней суммы Дарбу
Верхние суммы Дарбу функции y = x 2
Пример нижней суммы Дарбу
Нижние суммы Дарбу функции y = x 2

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

Сходимость суммы Римана
Суммы Римана сходятся

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

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

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

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

таким образом, каждый член суммы представляет собой площадь прямоугольника с высотой, равной значению функции в выделенной точке данного подинтервала, и шириной, такой же, как ширина подинтервала, Δ i = x i - x i −1 . Сетка такого помечено перегородка ширина по величине суб-интервал , образованный перегородкой, макс I = 1 ... п А я . Интеграл Римана от функции F на интервале [ , Ь ] равна S , если:

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

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

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

Сравнение интегралов Римана и Лебега
Интегрирование Римана – Дарбу (вверху) и интегрирование Лебега (внизу)

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

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

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

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

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

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

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

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

куда

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

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

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

Линейность

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

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

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

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

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

что совместимо с линейными комбинациями. В этой ситуации линейность сохраняется для подпространства функций, интеграл которых является элементом V (т.е. «конечным»). Наиболее важные частные случаи возникают , когда К является Р , С , или конечное расширение поля Q р о р-адических чисел , и V представляет собой конечно-мерное векторное пространство над K , и когда К = С , и V представляет собой комплекс Гильбертово пространство .

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

Неравенства

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

  • Верхняя и нижняя границы. Интегрируемая функция f на [ a , b ] обязательно ограничена на этом интервале. Таким образом, существуют действительные числа m и M, так что mf  ( x ) ≤ M для всех x в [ a , b ] . Так как нижняя и верхняя суммы f по [ a , b ] ограничены соответственно m ( b - a ) и M ( b - a ) , то отсюда следует, что
  • Неравенства между функциями. Если f ( x ) ≤ g ( x ) для каждого x в [ a , b ], то каждая из верхней и нижней суммы f ограничена сверху верхней и нижней суммами, соответственно, g . Таким образом
    Это обобщение приведенных выше неравенств, поскольку M ( b - a ) является интегралом постоянной функции со значением M по [ a , b ] . Кроме того, если неравенство между функциями строгое, то и неравенство между интегралами также строгое. То есть, если f ( x ) < g ( x ) для каждого x в [ a , b ] , то
  • Подынтервалы. Если [ c , d ] является подинтервалом [ a , b ] и f  ( x ) неотрицательно для всех x , то
  • Произведения и абсолютные значения функций. Если f и g - две функции, то мы можем рассматривать их поточечные произведения и мощности, а также абсолютные значения :
    Если f интегрируема по Риману на [ a , b ], то то же самое верно и для | f | , а также
    Более того, если f и g интегрируемы по Риману, то fg также интегрируем по Риману и
    Это неравенство, известное как неравенство Коши – Шварца , играет важную роль в теории гильбертова пространства , где левая часть интерпретируется как скалярное произведение двух интегрируемых с квадратом функций f и g на интервале [ a , b ] .
  • Неравенство Гёльдера . Предположим, что p и q - два действительных числа, 1 ≤ p , q ≤ ∞, причем 1/п + 1/q= 1 , а f и g - две интегрируемые по Риману функции. Тогда функции | f | р и | г | q также интегрируемы и выполняется неравенство Гёльдера :
    При p = q = 2 неравенство Гёльдера переходит в неравенство Коши – Шварца.
  • Неравенство Минковского . Предположим, что p ≥ 1 - действительное число, а f и g - функции, интегрируемые по Риману. Тогда | f | р , | г | р и | f + g | p также интегрируемы по Риману и выполняется неравенство Минковского :
    Аналог этого неравенства для интеграла Лебега используется при построении L p пространств .

Условные обозначения

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Расширения

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Итоги

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

Приложения

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

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

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

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

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

Вычисление

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

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

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

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

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

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

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

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

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

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

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

Числовой

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

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

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

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

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

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

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

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

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

Примеры

Использование основной теоремы исчисления

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

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

Примечания

использованная литература

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

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

Интернет-книги