В исчислении многих переменных повторный интеграл — это результат применения интегралов к функции более чем одной переменной (например, или ) таким образом, что каждый из интегралов рассматривает некоторые переменные как заданные константы . Например, функция , если считать заданным параметром , может быть проинтегрирована по , . Результат является функцией , поэтому можно рассматривать его интеграл. Если это сделано, результатом будет повторный интеграл
Ключевым моментом в понятии повторных интегралов является то, что они в принципе отличаются от кратных интегралов.
В общем, хотя эти два понятия могут быть разными, теорема Фубини утверждает, что при определенных условиях они эквивалентны.
Альтернативное обозначение повторных интегралов
также используется.
В обозначениях, в которых используются круглые скобки, повторяющиеся интегралы вычисляются в соответствии с операционным порядком , указанным в скобках, начиная с самого внутреннего интеграла снаружи. В альтернативной записи , сначала вычисляется самый внутренний подынтегральный выражение.
Для повторного интеграла
интеграл
сначала вычисляется, а затем результат используется для вычисления интеграла по y .
В этом примере опущены константы интегрирования. После первого интегрирования по x нам строго необходимо ввести «постоянную» функцию y . То есть, если бы мы продифференцировали эту функцию по x , любые члены, содержащие только y , исчезли бы, оставив исходное подынтегральное выражение. Аналогично для второго интеграла мы бы ввели «постоянную» функцию от x , поскольку мы проинтегрировали по y . Таким образом, неопределенное интегрирование не имеет особого смысла для функций нескольких переменных.
Порядок вычисления интегралов важен для повторяющихся интегралов, особенно когда подынтегральная функция не является непрерывной в области интегрирования. Примеры, в которых разные порядки приводят к разным результатам, обычно относятся к сложным функциям, как показано ниже.
Определите последовательность такую, что . Пусть – последовательность непрерывных функций, не обращающихся в нуль на интервале и нулю в другом месте, такая, что для каждого . Определять
В предыдущей сумме при каждом конкретном не более одного слагаемого отлично от нуля. Для этой функции бывает, что [1]