При вычислении кратных интегралов часто возникает необходимость перейти к более простой области интегрирования для упрощения их вычисления, возможно даже ценой некоторого усложнения подынтегральной функции.
Использование полярных координат
Из курса аналитической геометрии известны следующие соотношения между декартовыми и полярными координатами: x=rcosϕ,y=rsinϕ(∗).
При этом, r≥0,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 взаимно однозначное:
Якобиан полученного отображения будет равен:
JF=∂x∂r∂x∂ϕ∂y∂r∂y∂ϕ=cosϕ−rsinϕsinϕrcosϕ=r
Теперь рассмотрим множество точек G′, полученное добавлением к множеству G отрезка r=0, т.е. G′={(r,ϕ)|r≥0,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, что не влияет на справедливость данной формулы (следует из замечания к указанной теореме).
Использование цилиндрических и сферических координат
Рассмотрим теперь пространство R3, в котором задана декартова система координат OXYZ. Цилиндрические координаты связанны с декартовыми следующим образом:
x=rcosϕ,y=rsinϕ,z=t(∗∗),
где r≥0,0≤ϕ<2π,t∈R (величины r и ϕ для любой точки A=(x,y,z) определяются таким же образом, как и в полярных координатах для ее проекции P′=(x,y,0) на XOY). Теперь, аналогично случаю с полярными координатами, рассмотрим вспомогательное пространство ORΦT, где r,ϕ,t — декартовы координаты, а в нем — множество точек G={(r,ϕ,t)|r≥0,0≤ϕ<2π,t∈R}.
Отображение F:G→OXYZ, определяемое формулами (∗∗), является непрерывно дифференцируемым.
JF=∂x∂r∂x∂ϕ∂x∂t∂y∂r∂y∂ϕ∂y∂t∂z∂r∂z∂ϕ∂z∂t=cosϕ−rsinϕ0sinϕrcosϕ0001=r
Очевидно, что как и в случае с полярными координатами, отображение F — взаимно однозначное, и его якобиан не равен нулю. Данные условия не выполняются только при r=0, т.е. на множестве L={(r,ϕ,t)|r=0,0≤ϕ<2π,t∈R}. Пересечение такого множества с любым другим ограниченным множеством есть ограниченное линейное множество, и жорданова мера этого пересечения равна нулю.
Тогда, если дана область Ω⊂OXYZ, и функция f непрерывна на измеримом множестве ¯Ω, а Ω′⊂G — прообраз данной области при отображении F, то выполнены все условия теоремы о замене, и справедлива следующая формула:
∭Ωf(x,y,z)dxdydz=∭Ω′f(rcosϕ,rsinϕ,t)rdrdϕdt
Наконец, рассмотрим сферические координаты, связанные с декартовыми следующими соотношениями: x=rcosϕcosψ,y=rsinϕcosψ,z=rsinψ(∗∗∗),
где r≥0,0≤ϕ<2π,−π2≤ψ≤π2. Введем вспомогательное пространство ORΦΨ, где r,ϕ,ψ — декартовы координаты, а в нем рассмотрим множество точек G={(r,ϕ,ψ)|r≥0,0≤ϕ<2π−π2≤ψ≤π2}.
Отображение F:G→OXYZ, определяемое формулами (∗∗∗), непрерывно дифференцируемо.
JF=∂x∂r∂x∂ϕ∂x∂ψ∂y∂r∂y∂ϕ∂y∂ψ∂z∂r∂z∂ϕ∂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=
Литература
Тест: Использование полярных, цилиндрических и сферических координат для вычисления кратных интегралов
Для закрепления материала, рекомендуется пройти тест по данной теме.
Таблица лучших: Переход к полярным, цилиндрическим и сферическим координатам при вычислении кратных интегралов
Место | Имя | Записано | Баллы | Результат |
---|---|---|---|---|
Таблица загружается |