Главная
В многовариантном исчислении повторный интеграл является результатом применения интегралов к функциям более чем одной переменной (например, f ( x , y ) {displaystyle f(x,y)} или f ( x , y , z ) {displaystyle f(x,y,z)} ) таким образом, что каждый из интегралов рассматривает некоторые переменные как заданные константы. Например, функция f ( x , y ) {displaystyle f(x,y)} , если y {displaystyle y} считается заданным параметром, может быть интегрирована относительно x {displaystyle x} , ∫ f ( x , y ) d x {displaystyle int f(x,y)dx} . Результат является функцией от y {displaystyle y} , поэтому её интеграл можно рассматривать. Если это будет сделано, результатом будет повторный интеграл
∫ ( ∫ f ( x , y ) d x ) d y . {displaystyle int left(int f(x,y),dx ight),dy.}Ключевым моментом в понятии повторных интегралов является то, что он отличается от кратного интеграла
∬ f ( x , y ) d x d y . {displaystyle iint f(x,y),dx,dy.}В общем, хотя эти два могут быть разными, теорема Фубини утверждает, что при определенных условиях они эквивалентны.
Также используются альтернативное обозначение для повторных интегралов:
∫ d y ∫ d x f ( x , y ) {displaystyle int dyint dx,f(x,y)}В обозначениях, в которых используются круглые скобки, повторные интегралы вычисляются в соответствии с порядком операций, указанным в скобках, начиная с самого внутреннего интеграла за пределами. В альтернативной записи написания ∫ d y ∫ d x f ( x , y ) { extstyle int dy,int dx,f(x,y)} , в первую очередь вычисляется самое вложенное подынтегральное выражение.
Примеры
Простое вычисление
Для повторного интеграла
∫ ( ∫ ( x + y ) d x ) d y {displaystyle int left(int (x+y),dx ight),dy}интеграл
∫ ( x + y ) d x = x 2 2 + y x {displaystyle int (x+y),dx={frac {x^{2}}{2}}+yx}сначала вычисляется, а затем результат используется для вычисления интеграла относительно y.
∫ ( x 2 2 + y x ) d y = y x 2 2 + x y 2 2 {displaystyle int left({frac {x^{2}}{2}}+yx ight),dy={frac {yx^{2}}{2}}+{frac {xy^{2}}{2}}}В этом примере опущены константы интегрирования. После первого интегрирования по x нам необходимо строго ввести "постоянную" функцию от y. То есть, если бы мы дифференцировали эту функцию по x, любые члены, содержащие только y, исчезли бы, оставив исходное подынтегральное выражение. Аналогично для второго интеграла нужно ввести "постоянную" функцию x, потому что мы интегрировали по y. Таким образом, неопределенное интегрирование не имеет большого смысла для функций нескольких переменных.
Порядок важен
Порядок, в котором вычисляются интегралы, важен в повторных интегралах, особенно когда подынтегральное выражение не является непрерывным в области интегрирования. Примеры, в которых разный порядок приводит к разным результатам, обычно относятся к таким сложным функциям, как приведенный ниже.
Пусть последовательность a 0 = 0 < a 1 < a 2 < ⋯ {displaystyle a_{0}=0<a_{1}<a_{2}<cdots } , такая, что a n → 1 {displaystyle a_{n} ightarrow 1} . Пусть g n {displaystyle g_{n}} непрерывная функция, не обращающаяся в ноль на интервале ( a n , a n + 1 ) {displaystyle (a_{n},a_{n+1})} и где-либо еще; такая, что ∫ 0 1 g n = 1 {displaystyle int _{0}^{1}g_{n}=1} для каждого n {displaystyle n} . Обозначим
f ( x , y ) = ∑ n = 0 ∞ ( g n ( x ) − g n + 1 ( x ) ) g n ( y ) . {displaystyle f(x,y)=sum _{n=0}^{infty }(g_{n}(x)-g_{n+1}(x))g_{n}(y).}В предыдущей сумме для каждого конкретного ( x , y ) {displaystyle (x,y)} хотя бы один член отличен от нуля. Для этой функции бывает, что
∫ 0 1 ( ∫ 0 1 f ( x , y ) d y ) d x = ∫ 0 a 1 ( ∫ 0 a 1 g 0 ( x ) g 0 ( y ) d y ) d x = 1 ≠ 0 = ∫ 0 1 0 d y = ∫ 0 1 ( ∫ 0 1 f ( x , y ) d x ) d y {displaystyle int _{0}^{1}left(int _{0}^{1}f(x,y),dy ight),dx=int _{0}^{a_{1}}left(int _{0}^{a_{1}}g_{0}(x)g_{0}(y),dy ight),dx=1 eq 0=int _{0}^{1}0,dy=int _{0}^{1}left(int _{0}^{1}f(x,y),dx ight),dy}