Формула замены переменной в кратном интеграле

Теорема (формула замены переменной в кратном интеграле)

Пусть отображение F:ΩRn, где ΩRn — открытое множество, заданное при помощи непрерывно дифференцируемых функций xi=ϕi(u1,,un),i=1,,n, является взаимно однозначным и удовлетворяет следующим условиям:

  1. производные ϕiui ограничены в Ω;
  2. производные ϕiui равномерно непрерывны в Ω;
  3. якобиан J(u) отображения удовлетворяет при uΩ условию |J(u)|α>0.

Тогда, если G — измеримый компакт с кусочно-гладкой границей, лежащий во множестве Ω и f(x) — непрерывна на множестве G=F(G), то справедлива следующая формула замены переменных в кратном интеграле:
Gf(x)dx=Gf(ϕ1(u),,ϕn(u))|J(u)|du(),


где x=(x1,,xn),u=(u1,,un).

Доказательство

Для начала рассмотрим еще 2 вспомогательных свойства:

  1. Если LΩ есть непрерывно дифференцируемая кривая, то ее образ L=F(L) есть непрерывно дифференцируемая кривая.
  2. Если G — область и ¯GΩ (где ¯G — замыкание области G), тогда ее образ G=F(G). Образ границы Ω есть граница Ω.

Первое свойство является простым следствием правила нахождения производной сложной функции, а второе — теоремы о неявных функциях.

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

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

Примечание №1: под разбиением множества A далее будем подразумевать совокупность измеримых множеств {A1,,An}, таких что A1An=A и AiAj=,ij. Клеткой назовем множество вида K={(x1,,xn)|aixi<bi,1in}, прямоугольником — клетку в пространстве R2.

Пусть P есть замкнутый квадрат, содержащий компакт G. Если разбить стороны квадрата P на равные части длины h<δ (чтобы отсутствовали квадраты, содержащие одновременно элементы границ G и Ω), то и сам квадрат P окажется разбит на квадратные клетки с площадью h2. Разбиение квадрата P порождает разбиение T компакта G. Если малый квадрат со стороной h целиком лежит внутри компакта G, то он является элементом разбиения T, а если он содержит граничные точки G, то соответствующим элементом разбиения является пересечение этого квадрата с компактом G. Отображение F порождает разбиение T компакта G=F(G), причем элементами разбиения T являются образы элементов разбиения T. При отбрасывании в интегральной сумме слагаемых, которым отвечают квадраты, имеющие непустое пересечение с множеством жордановой меры нуль, характер соответствующего предела при мелкости разбиения, стремящемся к нулю, не изменится (о чем свидетельствует соответствующая лемма, см. примечание №2). А значит, при написании интегральных сумм можно учитывать только слагаемые, соответствующие целым квадратам и их образам при отображении F, остальные квадраты будут иметь непустое пересечение с границей G. Так как отображение F равномерно непрерывно, то мелкость разбиения T стремится к нулю, когда стремится к нулю мелкость разбиения T.

Если малые квадраты P1,,Pn лежат внутри компакта G, то
их образы P1,,Pn лежат внутри G. Пусть (ui,vi) — координаты точки, лежащей в левом нижнем углу квадрата Pi, a (ϕ(ui,vi),ψ(ui,vi)) — образ этой точки при отображении F.

Тогда можем записать интегралы, входящие в формулу () как пределы интегральных сумм:
Gf(x,y)dxdy=limh0ni=1f(xi,yi,)m(Pi),
Gf(ϕ(u,v),ψ(u,v))|J(u,v)|dudv= limh0ni=1f(ϕ(ui,vi),ψ(ui,vi))|J(ui,vi)|m(Pi).

Для доказательства формулы () покажем, что разность этих интегральных сумм стремится к нулю при h0. В силу леммы о геометрическом смысле модуля якобиана отображения,
|m(Pi)|J(ui,vi)|m(Pi)|α(h)m(Pi),limh0α(h)=0.
Принимая во внимание, что ϕ(ui,vi)=xi,ψ(ui,vi)=yi,|f(x,y)|<M (последнее в силу того, что функция f непрерывна на компакте, а значит и ограниченна на нем), получаем оценку для разности интегральных сумм:
|ni=1f(xi,yi)m(Pi)ni=1f(ϕ(ui,vi),ψ(ui,vi))|J(ui,vi)|m(Pi)| ni=1|f(xi,yi)m(Pi)f(xi,yi)|J(ui,vi)|m(Pi)|= ni=1|f(xi,yi)|m(Pi)|J(ui,vi)|m(Pi)|| Mni=1α(h)m(Pi)= Mα(h)ni=1m(Pi) Mα(h)m(G), из которой следует, что эта разность стремится к нулю при h0 (т.к. M и m(G) — константы). Теорема доказана.

Примечание №2: о геометрическом смысле модуля якобиана отображения можно прочитать, например, в курсе лекций по мат. анализу В.И. Коляда, А.А. Кореновский (т.2, стр. 219) или в Тер-Крикоров А.М. и Шабунин М.И. «Курс математического анализа» (стр. 471). Лемма об отбрасывании слагаемых в интегральной сумме также присутствует и доказана, например, в учебнике Тер-Крикорова, стр. 458.

Замечание

Примеры

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

Тест: формула замены переменной в кратном интеграле

Для закрепления материала, рекомендуется пройти тест по данной теме.


Таблица лучших: Замена переменной в кратных интегралах

максимум из 3 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Использование полярных, цилиндрических и сферических координат для вычисления кратных интегралов

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

Использование полярных координат

Из курса аналитической геометрии известны следующие соотношения между декартовыми и полярными координатами: x=rcosϕ,y=rsinϕ().
При этом, r0,0ϕ<2π. Рассмотрим вспомогательную плоскость ROΦ, где r и ϕ являются декартовыми координатами, и определим на ней множество точек G, такое, что: G={(r,ϕ)|r>0,0ϕ<2π}.

Тогда формулы () определяют непрерывно дифференцируемое отображение F:G~XOY, где ~XOY=XOY{(0,0)}.

По определению полярных координат, в декартовой системе координат XOY r задает радиус окружности с центром в начале координат, а ϕ определяет луч, исходящий из центра координат, такой что угол между лучом и положительным направлением оси OX равен ϕ. С геометрической точки зрения очевидно, что они пересекаются в единственной точке.

Таким образом, любую точку P=(x0,y0) из ~XOY можно однозначно определить пересечением луча, направленного под углом ϕ0 и окружности радиусом r0, и тогда точка P=(r0,ϕ0) будет единственным прообразом P в G. Очевидно, что любой элемент из G служит прообразом, и что двум различным точкам из G будут соответствовать 2 различные точки из ~XOY. Таким образом, отображение F между точками плоскостей G и ~XOY взаимно однозначное:

kursach

Якобиан полученного отображения будет равен:
JF=xrxϕyryϕ=cosϕrsinϕsinϕrcosϕ=r

Теперь рассмотрим множество точек G, полученное добавлением к множеству G отрезка r=0, т.е. G={(r,ϕ)|r0,0ϕ<2π}. G уже является прообразом всей плоскости XOY, но на отрезке r=0,0ϕ<2π не достигается взаимная однозначность, а |JF|=0. Обратим внимание, что его Жорданова мера равна нулю.

Наконец, пусть дана область ΩXOY и функция f, непрерывная на измеримом множестве ¯Ω. Ее прообразом при отображении F, заданного формулами (), будет некоторая область ΩG. Если область Ω не содержит точки O — начала координат, то выполнены все условия теоремы о замене переменной в кратных интегралах, и справедлива формула:
Ωf(x,y)dxdy=Ωf(rcosϕ,rsinϕ)rdrdϕ


Если же точка OΩ, то взаимная однозначность и не обращение якобиана в нуль не выполняются на множестве r=0, что не влияет на справедливость данной формулы (следует из замечания к указанной теореме).

Пример №1

Использование цилиндрических и сферических координат

Рассмотрим теперь пространство R3, в котором задана декартова система координат OXYZ. Цилиндрические координаты связанны с декартовыми следующим образом:
x=rcosϕ,y=rsinϕ,z=t(),
где r0,0ϕ<2π,tR (величины r и ϕ для любой точки A=(x,y,z) определяются таким же образом, как и в полярных координатах для ее проекции P=(x,y,0) на XOY). Теперь, аналогично случаю с полярными координатами, рассмотрим вспомогательное пространство ORΦT, где r,ϕ,t — декартовы координаты, а в нем — множество точек G={(r,ϕ,t)|r0,0ϕ<2π,tR}.

Отображение F:GOXYZ, определяемое формулами (), является непрерывно дифференцируемым.
JF=xrxϕxtyryϕytzrzϕzt=cosϕrsinϕ0sinϕrcosϕ0001=r

Очевидно, что как и в случае с полярными координатами, отображение F — взаимно однозначное, и его якобиан не равен нулю. Данные условия не выполняются только при r=0, т.е. на множестве L={(r,ϕ,t)|r=0,0ϕ<2π,tR}. Пересечение такого множества с любым другим ограниченным множеством есть ограниченное линейное множество, и жорданова мера этого пересечения равна нулю.

Тогда, если дана область ΩOXYZ, и функция f непрерывна на измеримом множестве ¯Ω, а ΩG — прообраз данной области при отображении F, то выполнены все условия теоремы о замене, и справедлива следующая формула:
Ωf(x,y,z)dxdydz=Ωf(rcosϕ,rsinϕ,t)rdrdϕdt

Наконец, рассмотрим сферические координаты, связанные с декартовыми следующими соотношениями: x=rcosϕcosψ,y=rsinϕcosψ,z=rsinψ(),
где r0,0ϕ<2π,π2ψπ2. Введем вспомогательное пространство ORΦΨ, где r,ϕ,ψ — декартовы координаты, а в нем рассмотрим множество точек G={(r,ϕ,ψ)|r0,0ϕ<2ππ2ψπ2}.

Отображение F:GOXYZ, определяемое формулами (), непрерывно дифференцируемо.
JF=xrxϕxψyryϕyψzrzϕzψ=cosϕcosψrsinϕcosψrcosϕsinψsinϕcosψrcosϕcosψrsinϕsinψsinψ0rcosψ= r2cosψ.

Взаимная однозначность данного отображения устанавливается по тем же рассуждениям, что и в предыдущих двух случаях, и не выполняется только при r=0,ψ=π2,ψ=π2, когда и якобиан равен нулю. Однако любое подмножество множества, задаваемого такими равенствами, будет представлять собой ограниченную часть плоскости с жордановой мерой нуль в пространстве OXYZ, что не помешает совершить замену.

Тогда, при соответствующих условиях, справедлива формула замены переменной (ΩOXYZ,ΩG):
Ωf(x,y,z)dxdydz=

Ωf(rcosϕcosψ,rsinϕcosψ,rsinψ)r2cosψdrdϕdψ

Пример №2

Тест: Использование полярных, цилиндрических и сферических координат для вычисления кратных интегралов

Для закрепления материала, рекомендуется пройти тест по данной теме.


Таблица лучших: Переход к полярным, цилиндрическим и сферическим координатам при вычислении кратных интегралов

максимум из 7 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Подстановки степени n

 Определение:

Любое взаимно однозначное отображение A множества первых n натуральных чисел на себя называется подстановкой n-й степени. Всякая подстановка A может быть записана при помощи двух перестановок, подписанных одна под другой:

(i1i2inai1ai2ain)
через ai здесь обозначается то число, в которое при подстановке A переходит число i, i=1,2, ,n.

Замечание:

От одной записи подстановки A к другой можно перейти при помощи транспозиций столбиков. Любая подстановка n-й степени может быть записана в виде:

(12na1a2an)
Т.е. с натуральным расположением чисел в верхней строке. При такой записи различные подстановки различаются друг от друга перестановками, стоящими в нижней строке, и поэтому число перестановок из n чисел равно n! .

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

Отсюда следует, что либо при всех записях подстановки A чётности верхней и нижней строк совпадают, либо же при всех записях они противоположны. В первом случае подстановка A называется чётной, а во втором — нечётной. В частности тождественная подстановка(E) будет чётной:

E=(12n12n)Число чётных подстановок равно числу нечётных, равно 12n!

Пример

(4352135214) всегда можно представить в виде (1234541532)

Подстановки степени n

Тест по теме «Подстановки степени n».

Таблица лучших: Подстановки степени n

максимум из 2 баллов
Место Имя Записано Баллы Результат
Таблица загружается
Нет данных

Список литературы: