Математик анализда тапҡырлы йәки күп тапҡырлы интеграл тип
d
>
1
{\displaystyle \ d>1}
үҙгәреүсәндәрҙән алынған интегралдар күмәклеге атала. Мәҫәлән:
∫
⋯
∫
⏟
d
f
(
x
1
,
…
,
x
d
)
d
x
1
⋯
d
x
d
{\displaystyle \underbrace {\int \cdots \int } _{d}f(x_{1},\ldots ,x_{d})dx_{1}\cdots dx_{d}}
Иҫкәрмә: тапҡырлы интеграл (рус. Кратный интеграл ) − ул аныҡ интеграл, уны иҫәпләгәндә һәр саҡ һан килеп сыға.
B
⊂
R
n
{\displaystyle B\subset \mathbb {R} ^{n}}
—[ 1] n-үлсәмле матди арауыҡтың үлсәнмәле күмәклеге булһын,
f
:
B
→
R
{\displaystyle f:B\to \mathbb {R} }
—
B
{\displaystyle B}
күмәклегендә бирелгән функция.
B
{\displaystyle B}
күмәклегенең бүленеше
σ
{\displaystyle \sigma }
— ул берекмәлә бөтә
B
{\displaystyle B}
күмәклеген биргән, икешәрләп киҫешмәүсе аҫкүмәклектәре йыйылмаһы
σ
=
{
U
i
⊂
B
}
{\displaystyle \sigma =\left\{{{U}_{i}}\subset B\right\}}
.
Бүленеш ваҡлығы
|
σ
|
{\displaystyle \left|\sigma \right|}
— ул
U
i
∈
σ
{\displaystyle U_{i}\in \sigma }
күмәклектәренең иң ҙур диаметры .
|
σ
|
=
max
{
diam
(
U
i
)
}
{\displaystyle \left|\sigma \right|=\max \left\{\operatorname {diam} \left({{U}_{i}}\right)\right\}}
Бүленеш сикле тип атала, әгәр ул сикле күмәклек булһа, һәм үлсәнмәле тип атала, әгәр уның бөтә элементтары ла — үлсәнмәле (был осраҡта — Жордан буйынса) күмәклектәр булһа.
f
{\displaystyle f}
функцияһының
B
{\displaystyle B}
күмәклегендә тапҡырлы (n-тапҡырлы) интегралы тип шундай
I
{\displaystyle I}
һаны (әгәр ул булһа) атала,
I
{\displaystyle I}
һанының ни тиклем бәләкәй генә
ε
{\displaystyle \varepsilon }
-тирә-яғын алмайыҡ, һәр саҡ
B
{\displaystyle B}
күмәклегенең шундай бүленеше һәм аралағы нөктәләр йыйылмаһы табыла, функцияның аралыҡ нөктәһендәге ҡиммәтенең бүленеш үлсәменә ҡабатландыҡтары суммаһы был тирә-яҡҡа инә. Формаль рәүештә:
∀
ε
>
0
∃
δ
>
0
{\displaystyle \forall \varepsilon >0\;\;\exists \delta >0}
:
σ
=
{
U
i
}
i
=
1
m
{\displaystyle \sigma =\{U_{i}\}_{i=1}^{m}}
:
|
σ
|
<
δ
∀
ξ
i
∈
U
i
|
∑
i
=
1
m
f
(
ξ
i
)
μ
(
U
i
)
−
I
|
<
ε
{\displaystyle \left|\sigma \right|<\delta \;\forall \xi _{i}\in U_{i}\;\;\left|{\sum _{i=1}^{m}f(\xi _{i})\mu (U_{i})-I}\right|<\varepsilon }
Бында
μ
(
U
i
)
{\displaystyle \mu (U_{i})}
—
U
i
{\displaystyle U_{i}}
күмәклегенең үлсәме.
Был билдәләмәне интеграль суммалар ҡулланып икенсе формала әйтеп бирергә мөмкин. Атап әйткәндә, бирелгән
σ
=
{
U
i
}
i
=
1
m
{\displaystyle \sigma =\{U_{i}\}_{i=1}^{m}}
бүленеше һәм
ξ
=
{
ξ
i
∈
U
i
}
{\displaystyle \xi =\{\xi _{i}\in U_{i}\}}
нгөктәләр күмәклеге өсөн
ζ
(
f
,
σ
,
ξ
)
=
∑
i
=
1
m
f
(
ξ
i
)
μ
(
U
i
)
{\displaystyle \zeta (f,\sigma ,\xi )=\sum _{i=1}^{m}f(\xi _{i})\mu (U_{i})}
интеграль суммаһын ҡарайыҡ.
f
:
B
→
R
{\displaystyle f:B\to \mathbb {R} }
функцияһының тапҡырлы интегралы тип
I
=
lim
|
σ
|
→
0
ζ
(
f
,
σ
,
ξ
)
{\displaystyle I=\lim _{\left|\sigma \right|\to 0}\zeta (f,\sigma ,\xi )}
сикләнмәһе атала (әгәр ул булһа).
Сикләнмә 0-гә ынтылған ваҡлыҡ менән бөтә бүленештәр эҙмә-эҙлелеге күмәклеге буйынса алына. Әлбиттә, был билдәләмә алдағыһынан, асылда, ҡулланылған теле менән генә айырыла.
Интеграл түбәндәгесә тамғалана:
∫
G
f
(
X
)
d
X
=
I
{\displaystyle \int \limits _{G}{f\left(X\right)dX}=I}
,
Йәки интеграл тамғаһын
d
{\displaystyle \ d}
тапҡыр ҡуялар, функцияны һәм
d
{\displaystyle \ d}
дифференциалдарын яҙалар:
∫
⋯
∫
⏟
d
f
(
x
1
,
…
,
x
d
)
d
x
1
⋯
d
x
d
=
I
{\displaystyle \underbrace {\int {\cdots }\int } _{d}f({{x}_{1}},\ldots ,{{x}_{d}})d{{x}_{1}}\cdots d{{x}_{d}}=I}
.
Икеләтелгән һәм өсләтелгән интегралдар өсөн шулай уҡ ярашлы рәүештә
∬
{\displaystyle \iint }
и
∭
{\displaystyle \iiint }
тамғаланыштары ҡулланыла.
Хәҙерге математик һәм физик мәҡәләләрҙә интеграл тамғаһын ҡабат-ҡабат яҙыу ҡулланылмай.
Бындай күп тапҡырлы интеграл үҙ мәғәнәлә интеграл тип атала.
n
=
1
{\displaystyle n=1}
осрағында тапҡырлы интеграл Риман интегралы менән тап килә.
Етерлек шарттар
Әгәр функция Жордан буйынса үлсәнмәле компактта өҙлөкһөҙ булһа, ул был компактта интегралланыусы функция.
Күмәклектә сикләнмәгән функция өҙлөкһөҙ булһа ла интегралланыусы булмаҫҡа мөмкин. Мәҫәлән,
y
=
1
/
x
{\displaystyle y=1/x}
функцияһы
(
0
;
1
)
{\displaystyle \left(0;1\right)}
интервалында интегралланыусы түгел.
Әгәр функция Жордан буйынса үлсәнмәле күмәклектә бирелһә, һәм күмәклектең шундай мөмкин тиклем ваҡ бүленештәре булып, бирелгән функция бөтә ыңғай үлсәмле элементтарының берекмәһендә сикһеҙ булһа, ул саҡта функция был күмәклектә интегралланыусы түгел .
Дарбу критерийы
Функцияның
G
{\displaystyle G}
күмәклегендә өҫкө
I
∗
{\displaystyle I^{*}}
һәм түбәнге
I
∗
{\displaystyle I_{*}}
Дарбу интегралдары булһын, ти. Ул саҡта, әгәр өҫкө һәм түбәнге Дарбу интегралдары тигеҙ булһа, бирелгән функция
G
{\displaystyle G}
күмәклегендә интегралланыусы, шуның менән бергә:
I
∗
=
I
∗
=
∫
G
f
(
X
)
d
X
{\displaystyle I^{*}=I_{*}=\int \limits _{G}{f\left(X\right)dX}}
Лебег критерийы
G
{\displaystyle G}
— Жордан буйынса үлсәнмәле күмәклек булһын, ти.
Функция
G
{\displaystyle G}
күмәклегендә интегралланыусы була, әгәр:
Функция
G
{\displaystyle G}
күмәклегендә сикле булһа.
Функция
G
∖
E
{\displaystyle G\setminus E}
күмәклегендә өҙлөкһөҙ булһа, бында
E
{\displaystyle E}
күмәклегенең Лебег үлсәме нуль.
Функция буйынса һыҙыҡлылыҡ .
G
{\displaystyle \ G}
үлсәнмәле,
f
{\displaystyle \ f}
һәм
g
{\displaystyle \ g}
функциялары
G
{\displaystyle \ G}
күмәклегендә интегралланыусы булһын, ти. Ул саҡта
∀
λ
,
μ
∈
R
:
∫
G
(
λ
f
+
μ
g
)
d
X
=
λ
∫
G
f
d
X
+
μ
∫
G
g
d
X
{\displaystyle \forall \lambda ,\mu \in \mathbb {R} :~\int \limits _{G}{\left(\lambda f+\mu g\right)dX}=\lambda \int \limits _{G}{fdX}+\mu \int \limits _{G}{gdX}}
.
Интеграллау күмәклеге буйынса аддитивлыҡ .
G
1
{\displaystyle {G}_{1}}
һәм
G
2
{\displaystyle G_{2}}
үлсәнмәле күмәклектәр булһын, ти.
G
1
∩
G
2
=
∅
{\displaystyle G_{1}\cap G_{2}=\varnothing }
һәм
G
1
∪
G
2
=
G
{\displaystyle G_{1}\cup G_{2}=G}
. Шулай уҡ
f
(
X
)
{\displaystyle f(X)}
функцияһы
G
1
{\displaystyle G_{1}}
һәм
G
2
{\displaystyle G_{2}}
күмәклектәренең һәр береһендә билдәләнгән һәм интегралланыусы булһын. Ул саҡта
G
{\displaystyle G}
буйынса интеграл бар һәм
∫
G
f
(
X
)
d
X
=
∫
G
1
f
(
X
)
d
X
+
∫
G
2
f
(
X
)
d
X
{\displaystyle \int _{G}f(X)dX=\int _{G_{1}}f(X)dX+\int _{G_{2}}f(X)dX}
.
Функция буйынса монотонлыҡ .
G
{\displaystyle G}
үлсәнмәле күмәклек,
f
{\displaystyle f}
һәм
g
{\displaystyle g}
функциялары
G
{\displaystyle G}
күмәклегендә интегралланыусы функциялар булһын, шуның менән бергә
∀
X
∈
G
:
f
(
X
)
⩽
g
(
X
)
{\displaystyle \forall X\in G\colon f\left(X\right)\leqslant g\left(X\right)}
. Ул саҡта
∫
G
f
(
X
)
d
X
⩽
∫
G
g
(
X
)
d
X
{\displaystyle \int _{G}f(X)dX\leqslant \int _{G}g(X)dX}
.
Өсмөйөштөң интеграль тигеҙһеҙлеге . Алдағы үҙсәнлектең эҙемтәһе.
|
∫
G
f
(
X
)
d
X
|
⩽
∫
G
|
f
(
X
)
|
d
X
{\displaystyle \left|\int _{G}f(X)dX\right|\leqslant \int _{G}\left|f(X)\right|dX}
Урта тураһында интеграль теорема .
G
{\displaystyle G}
— компакт,
f
(
X
)
{\displaystyle f(X)}
функцияһы
G
{\displaystyle G}
компактында өҙлөкһөҙ һәм интегралланыусы функция булһын, ти. Ул саҡта
∃
Y
∈
G
:
∫
G
f
(
X
)
d
X
=
f
(
Y
)
μ
(
G
)
{\displaystyle \exists Y\in G\colon \int _{G}f(X)dX=f(Y)\mu (G)}
f
(
X
)
=
c
{\displaystyle f(X)=c}
даими функцияһы теләһә ниндәй
G
{\displaystyle G}
үлсәнмәле күмәклегендә интегралланыусы була, шуның менән бергә
∫
G
f
(
X
)
d
X
=
c
⋅
μ
(
G
)
{\displaystyle \int _{G}f(X)dX=c\cdot \mu (G)}
.
Эҙемтә булараҡ,
∫
G
d
X
=
μ
(
G
)
{\displaystyle \ \int _{G}dX=\mu (G)}
.
D
⊂
R
d
−
1
{\displaystyle D\subset {{\mathbb {R} }^{d-1}}}
— үлсәнмәле күмәклек булһын, ти.
G
=
{
(
x
1
,
…
,
x
d
)
:
(
x
1
,
…
,
x
d
−
1
)
∈
D
;
φ
(
x
1
,
…
,
x
d
−
1
)
≤
x
d
≤
ψ
(
x
1
,
…
,
x
d
−
1
)
}
{\displaystyle G=\left\{\left({{x}_{1}},\ldots ,{{x}_{d}}\right):\left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)\in D;\varphi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)\leq {{x}_{d}}\leq \psi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)\right\}}
— шулай уҡ үлсәнмәле күмәклек,
f
(
X
)
{\displaystyle f\left(X\right)}
G
{\displaystyle \ G}
күмәклегендә өҙлөкһөҙ һәм интегралланыусы функция булһын. Ул саҡта
∫
φ
(
x
1
,
…
,
x
d
−
1
)
ψ
(
x
1
,
…
,
x
d
−
1
)
f
(
x
1
,
…
,
x
d
)
d
x
d
≡
I
(
x
1
,
…
,
x
d
−
1
)
{\displaystyle \int \limits _{\ \varphi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}^{\psi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}{f\left({{x}_{1}},\ldots ,{{x}_{d}}\right)d{{x}_{d}}}\equiv I\left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}
Лебег үлсәме нуль булған
D
0
{\displaystyle D_{0}}
күмәклегенән башҡа,
D
{\displaystyle D}
күмәклегендә бөтә ерҙә бар (
D
0
{\displaystyle D_{0}}
буш булырға мөмкин);
∫
D
I
~
(
x
1
,
…
,
x
d
−
1
)
d
x
1
…
d
x
d
−
1
≡
∫
D
[
∫
φ
(
x
1
,
…
,
x
d
−
1
)
ψ
(
x
1
,
…
,
x
d
−
1
)
f
(
x
1
,
…
,
x
d
)
d
x
d
]
d
x
1
…
d
x
d
−
1
{\displaystyle \int \limits _{D}{\tilde {I}}\left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)d{{x}_{1}}\ldots d{{x}_{d-1}}\equiv \int \limits _{D}{\left[\int \limits _{\,\varphi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}^{\psi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}{f\left({{x}_{1}},\ldots ,{{x}_{d}}\right)d{{x}_{d}}}\right]d{{x}_{1}}\ldots d{{x}_{d-1}}}}
бар, бында
I
~
(
x
1
,
…
,
x
d
−
1
)
≡
{
I
(
x
1
,
…
,
x
d
−
1
)
,
(
x
1
,
…
,
x
d
−
1
)
∈
D
∖
D
0
0
(
x
1
,
…
,
x
d
−
1
)
∈
D
0
,
{\displaystyle {\tilde {I}}\left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)\equiv {\begin{cases}I\left({{x}_{1}},\ldots ,{{x}_{d-1}}\right),&({{x}_{1}},\ldots ,{{x}_{d-1}})\in D\backslash D_{0}\\\qquad \quad 0&({{x}_{1}},\ldots ,{{x}_{d-1}})\in D_{0},\end{cases}}}
f
(
x
1
,
…
,
x
d
−
1
)
{\displaystyle f\left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}
функцияһынан
G
{\displaystyle G}
күмәклеге буйынса ҡабатлы интегралы ;
∫
G
f
(
x
1
,
…
,
x
d
)
d
x
1
…
d
x
d
=
∫
D
[
∫
φ
(
x
1
,
…
,
x
d
−
1
)
ψ
(
x
1
,
…
,
x
d
−
1
)
f
(
x
1
,
…
,
x
d
)
d
x
d
]
d
x
1
…
d
x
d
−
1
{\displaystyle \int \limits _{G}{f\left({{x}_{1}},\ldots ,{{x}_{d}}\right)d{{x}_{1}}\ldots d{{x}_{d}}}=\int \limits _{D}{\left[\int \limits _{\,\varphi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}^{\psi \left({{x}_{1}},\ldots ,{{x}_{d-1}}\right)}{f\left({{x}_{1}},\ldots ,{{x}_{d}}\right)d{{x}_{d}}}\right]d{{x}_{1}}\ldots d{{x}_{d-1}}}}
.
Теләһә ниндәй d-үлсәмле интегралды d бер үлсәмле интегралға ҡайтарып ҡалдырып була.
math>\ {{D}'}</math> өлкәһен
D
{\displaystyle \ D}
-ға күсереүсе
R
d
↔
R
d
{\displaystyle {{\mathbb {R} }^{d}}\leftrightarrow {{\mathbb {R} }^{d}}}
биектив сағылышы бирелһен, ти:
{
t
1
=
ψ
1
(
x
1
,
…
,
x
d
)
t
2
=
ψ
2
(
x
1
,
…
,
x
d
)
…
t
d
=
ψ
d
(
x
1
,
…
,
x
d
)
{\displaystyle \left\{{\begin{aligned}{{t}_{1}}={{\psi }_{1}}\left({{x}_{1}},\ldots ,{{x}_{d}}\right)\\{{t}_{2}}={{\psi }_{2}}\left({{x}_{1}},\ldots ,{{x}_{d}}\right)\\\ldots \\{{t}_{d}}={{\psi }_{d}}\left({{x}_{1}},\ldots ,{{x}_{d}}\right)\\\end{aligned}}\right.}
,
бында
t
{\displaystyle t}
— «иҫке» координаталар, ә
x
{\displaystyle x}
— «яңы» координаталар.
Артабан сағылдырыуҙы биргән функцияларҙың
D
′
{\displaystyle \ {{D}'}}
өлкәһендә беренсе тәртиптәге өҙлөкһөҙ айырым сығарылмалары, шулай уҡ сикләнгән һәм нулдән айырмалы якобианы булһын, ти.
D
(
t
)
D
(
x
)
=
D
(
t
1
,
…
,
t
d
)
D
(
x
1
,
…
,
x
d
)
{\displaystyle {\frac {D\left(t\right)}{D\left(x\right)}}={\frac {D\left({{t}_{1}},\ldots ,{{t}_{d}}\right)}{D\left({{x}_{1}},\ldots ,{{x}_{d}}\right)}}}
.
Ул саҡта интеграл булыу шарты үтәлгәндә
∫
D
f
(
T
)
d
T
=
∫
∫
D
…
∫
f
(
t
1
,
…
,
t
d
)
d
t
1
…
d
t
d
{\displaystyle \int \limits _{D}{f\left(T\right)dT}=\int {\int \limits _{D}{\ldots \int {f\left({{t}_{1}},\ldots ,{{t}_{d}}\right)d{{t}_{1}}\ldots d{{t}_{d}}}}}}
үҙгәреүсәндәрҙе алмаштырып ҡуйыу формулаһы дөрөҫ:
∫
∫
D
…
∫
f
(
t
1
,
…
,
t
d
)
d
t
1
…
d
t
d
=
∫
∫
D
′
…
∫
f
(
ψ
1
(
x
1
,
…
,
x
d
)
,
…
,
ψ
d
(
x
1
,
…
,
x
d
)
)
|
D
(
t
1
,
…
,
t
d
)
D
(
x
1
,
…
,
x
d
)
|
d
x
1
…
d
x
d
{\displaystyle \int {\int \limits _{D}{\ldots \int {f\left({{t}_{1}},\ldots ,{{t}_{d}}\right)d{{t}_{1}}\ldots d{{t}_{d}}}}}=\int {\int \limits _{{D}'}{\ldots \int {f\left({{\psi }_{1}}\left({{x}_{1}},\ldots ,{{x}_{d}}\right),\ldots ,{{\psi }_{d}}\left({{x}_{1}},\ldots ,{{x}_{d}}\right)\right)\left|{\frac {D\left({{t}_{1}},\ldots ,{{t}_{d}}\right)}{D\left({{x}_{1}},\ldots ,{{x}_{d}}\right)}}\right|d{{x}_{1}}\ldots d{{x}_{d}}}}}}
Әгәр интеграллау өлкәһе интеграллау үҙгәреүсәндәренең кәм тигәндә береһе буйынса координаталар башына ҡарата симметрик булһа һәм интеграл аҫты функцияһы был үҙгәреүсән буйынса таҡ булһа, интеграл нулгә тигеҙ, сөнки өлкәнең ике яртыһы буйынса интегралдар бер үк абсолют ҡиммәткә эйә, әммә ҡапма-ҡаршы тамғалы. Әгәр интеграль аҫты функцияһы был үҙгәреүсән буйынса йоп булһа, интеграл интеграллау өлкәһенең бер яртыһы буйынса икеләтелгән интегралға тигеҙ, сөнки һәр ярты өлкә буйынса интегралдар тигеҙ.
Миҫал 1.
f
(
x
,
y
)
=
2
sin
(
x
)
−
3
y
3
+
5
{\displaystyle f(x,y)=2\sin(x)-3y^{3}+5}
функцияһы
T
=
{
(
x
,
y
)
∈
R
2
:
x
2
+
y
2
≤
1
}
{\displaystyle T=\left\{(x,y)\in \mathbf {R} ^{2}\ :\ x^{2}+y^{2}\leq 1\right\}}
өлкәһе,
радиусы 1 һәм үҙәге координаталар башы булған түңәрәк буйынса интегралланһын, ти .
Һыҙыҡлы булыу үҙсәнлеген файҙаланып, интегралды өс өлөшкә тарҡатырға мөмкин:
∬
T
(
2
sin
x
−
3
y
3
+
5
)
d
x
d
y
=
∬
T
2
sin
x
d
x
d
y
−
∬
T
3
y
3
d
x
d
y
+
∬
T
5
d
x
d
y
{\displaystyle \iint _{T}(2\sin x-3y^{3}+5)\,dx\,dy=\iint _{T}2\sin x\,dx\,dy-\iint _{T}3y^{3}\,dx\,dy+\iint _{T}5\,dx\,dy}
2sin(x ) и 3y 3 таҡ функция булып торалар, бынан тыш, T дискы x күсәренә ҡарата ла, шулай уҡ y күсәре буйынса ла симметрик. Шулай итеп, аҙаҡҡы һөҙөмтәгә 5 константаһы ғыны өлөш индерә.
Миҫал 2. f (x , y , z ) = x exp(y 2 + z 2 ) функцияһы радиусы 2 һәм үҙәге координаталар башында булған сфера буйнса интегралланһын, ти,
T
=
{
(
x
,
y
,
z
)
∈
R
3
:
x
2
+
y
2
+
z
2
≤
4
}
.
{\displaystyle T=\left\{(x,y,z)\in \mathbf {R} ^{3}\ :\ x^{2}+y^{2}+z^{2}\leq 4\right\}.}
«Шар» бөтә өс күсәр буйынса симметрик, әммә интеграл 0-гә тигеҙ икәнен күрһәтеү өсөн x күсәре буйынса интеграллау етә, сөнки функция был үҙгәреүсән буйынса таҡ.
Икеләтә интегралдың геометрик мәғәнәһе
Икеләтә интеграл тип
d
=
2
{\displaystyle \ d=2}
булған тапҡырлы интегралды атайҙар.
∬
D
f
(
P
)
d
σ
{\displaystyle \iint \limits _{D}{f\left(P\right)d\sigma }}
. Бында
d
σ
{\displaystyle \ d\sigma }
— ҡаралған координаталарҙа майҙан элементы.
Тура мөйөшлө координаталарҙа:
∬
D
f
(
x
,
y
)
d
x
d
y
{\displaystyle \iint \limits _{D}{f\left(x,y\right)dxdy}}
, бында
d
x
d
y
{\displaystyle \ dxdy}
— тура мөйөшлө координаталарҙа майҙан элементы.
f
(
x
,
y
)
{\displaystyle f\left(x,y\right)}
функцияһы
D
{\displaystyle \ D}
өлкәһендә тик ыңғай ҡиммәттәр генә ҡабул итһен, ти. Ул саҡта
∬
D
f
(
x
,
y
)
d
σ
::
{\displaystyle \iint \limits _{D}{f\left(x,y\right)d\sigma }::}
икеләтә интегралы һан яғынан
D
{\displaystyle \ D}
нигеҙендә төҙөлгән һәм өҫтән
z
=
f
(
x
,
y
)
{\displaystyle z=f\left(x,y\right)}
йөҙөнөң ярашлы киҫәге менән сикләнгән вертикаль цилиндрик есемдең
V
{\displaystyle \ V}
күләменә тигеҙ.
Тура мөйөшлө координаталарҙан поляр координаталарға күсеү.
Тура мөйөшлө координаталарҙан поляр координаталарға күсеү.
Ҡайһы бер осраҡтарҙа икеләтә интегралды тура мөйөшлө координаталарҙа түгел, ә поляр координаталарҙа иҫәпләү ябайыраҡ, сөнки был осраҡта интеграллау өлкәһенең күренешенең һәм дөйөм алғанда бөтә интеграллау процесының һиҙелерлек ябайлашыуы мөмкин.
Үҙгәреүсәндәрҙе алмаштырып ҡуйыу тураһында теореманы ҡулланабыҙ. Күсеүгә ярашлы үҙгәртеү түбәндәге күренештә:
{
x
=
r
cos
φ
y
=
r
sin
φ
{\displaystyle \left\{{\begin{aligned}&x=r\cos \varphi \\&y=r\sin \varphi \end{aligned}}\right.}
Сағылыш якобианы модуле
r
{\displaystyle \ r}
-ға тигеҙ. Шулай итеп табабыҙ
∬
D
f
(
x
,
y
)
d
x
d
y
=
∬
D
′
g
(
r
,
φ
)
r
d
r
d
φ
,
{\displaystyle \iint \limits _{D}{f\left(x,y\right)dxdy}=\iint \limits _{{D}'}{g\left(r,\varphi \right)rdrd\varphi },\quad }
бында
g
(
r
,
φ
)
=
f
(
r
cos
φ
,
r
sin
φ
)
{\displaystyle g\left(r,\varphi \right)=f\left(r\cos \varphi ,r\sin \varphi \right)}
.
Бында
r
d
r
d
φ
{\displaystyle \ rdrd\varphi }
поляр координаталарҙа майҙан элементы була.
D
=
{
(
x
,
y
)
:
x
2
+
y
2
4
≤
1
}
{\displaystyle D=\left\{\left(x,y\right):{{x}^{2}}+{\frac {{y}^{2}}{4}}\leq 1\right\}}
өлкәһенең майҙанын иҫәпләйек.
Поляр координаталар системаһына күсеү өлкәне ябайыраҡ итмәй:
D
′
=
{
(
r
,
φ
)
:
r
2
(
cos
2
φ
+
1
4
sin
2
φ
)
≤
1
}
{\displaystyle {D}'=\left\{\left(r,\varphi \right):{{r}^{2}}\left({{\cos }^{2}}\varphi +{\frac {1}{4}}{{\sin }^{2}}\varphi \right)\leq 1\right\}}
.
Синус алдындағы ҡабатлашыусы «ҡамасаулай». Был осраҡта күсеүҙе бер аҙ көйләргә мөмкин:
{
x
=
r
cos
φ
y
=
2
r
sin
φ
{\displaystyle \left\{{\begin{aligned}&x=r\cos \varphi \\&y=2r\sin \varphi \\\end{aligned}}\right.}
.
Был үҙгәртеү баштағы өлкәне артабанғы өлкәгә күсерә:
D
″
=
{
(
r
,
φ
)
:
r
2
≤
1
}
⇒
{
0
≤
φ
≤
2
π
0
≤
r
≤
1
{\displaystyle {D}''=\left\{\left(r,\varphi \right):{{r}^{2}}\leq 1\right\}\Rightarrow \left\{{\begin{aligned}&0\leq \varphi \leq 2\pi \\&0\leq r\leq 1\\\end{aligned}}\right.}
.
Сағылыш якобианы :
|
x
′
r
y
′
r
x
′
φ
y
′
φ
|
=
|
cos
φ
2
sin
φ
−
r
sin
φ
2
r
cos
φ
|
=
2
r
{\displaystyle \left|{\begin{matrix}{{{x}'}_{r}}&{{{y}'}_{r}}\\{{{x}'}_{\varphi }}&{{{y}'}_{\varphi }}\\\end{matrix}}\right|=\left|{\begin{matrix}\cos \varphi &2\sin \varphi \\-r\sin \varphi &2r\cos \varphi \\\end{matrix}}\right|=2r}
.
Якобиан модуле шулай уҡ
2
r
{\displaystyle 2r}
-ға тигеҙ.
Ошонан сығып
S
(
D
)
=
∬
D
″
2
r
d
r
d
φ
=
2
∫
0
2
π
d
φ
∫
0
1
r
d
r
=
∫
0
2
π
d
φ
=
2
π
{\displaystyle S\left(D\right)=\iint \limits _{{D}''}{2rdrd\varphi }=2\int \limits _{0}^{2\pi }{d\varphi }\int \limits _{0}^{1}{rdr}=\int \limits _{0}^{2\pi }{d\varphi }=2\pi }
.
Һөҙөмтә дөрөҫ, сөнки
D
{\displaystyle \ D}
өлкәһе каноник тигеҙләмә менән бирелгән эллипс менән сикләнә. Майҙанды
S
=
π
a
b
{\displaystyle S=\pi ab}
формулаһы буйынса иҫәпләргә мөмкин. Алмаштырыу юлы менән интегралды иҫәпләүҙең дөрөҫлөгөнә инанабыҙ.
Өсәрле интеграл тип
d
=
3
{\displaystyle \ d=3}
тапҡырлы интеграл атала:
∭
D
f
(
P
)
d
V
{\displaystyle \iiint \limits _{D}{f\left(P\right)dV}}
бында
d
V
{\displaystyle \ dV}
— ҡаралған координаталарҙа күләм элементы.
Тура мөйөшлө координаталарҙа өсләтә интеграл түбәндәге күренештә:
∭
D
f
(
x
,
y
,
z
)
d
x
d
y
d
z
{\displaystyle \iiint \limits _{D}f(x,y,z)\,dx\,dy\,dz}
бында
d
x
d
y
d
z
{\displaystyle \ dxdydz}
— тура мөйөшлө координаталарҙа күләм элементы.
Цилиндрик координаталарҙа күләм
Оҡшаш рәүештә ҡайһы бер осраҡтарҙа өсләтә интегралды тура мөйөшлө координаталарҙа түгел, ә цилиндрик координаталарҙа иҫәпләү ябайыраҡ. Үҙгәреүсәндәрҙе алмаштырып ҡуйыу тураһында теореманы ҡулланабыҙ. Күсеүгә ярашлы үҙгәртеү түбәндәге күренештә:
{
x
=
r
cos
φ
y
=
r
sin
φ
z
=
h
{\displaystyle \left\{{\begin{aligned}&x=r\cos \varphi \\&y=r\sin \varphi \\&z=h\\\end{aligned}}\right.}
Сағылыш якобианы модуле
r
{\displaystyle \ r}
-ға тигеҙ. Шулай итеп табабыҙ
∭
D
f
(
x
,
y
,
z
)
d
x
d
y
d
z
=
∭
D
′
f
(
r
,
φ
,
h
)
r
d
r
d
φ
d
h
{\displaystyle \iiint \limits _{D}{f\left(x,y,z\right)dxdydz}=\iiint \limits _{{D}'}{f\left(r,\varphi ,h\right)rdrd\varphi dh}}
бында
r
d
r
d
φ
d
h
{\displaystyle rdrd\varphi dh}
— цилиндрик координаталарҙа күләм элементы.
Сферик координаталарҙа күләм
Цилиндрик координаталарҙан тыш шулай уҡ сферик координаталарға күсергә мөмкин. Үҙгәреүсәндәрҙе алмаштырып ҡуйыу тураһында теореманы ҡулланабыҙ. Күсеүгә ярашлы үҙгәртеү түбәндәге күренештә:
{
x
=
r
sin
θ
cos
φ
y
=
r
sin
θ
sin
φ
z
=
r
cos
θ
{\displaystyle \left\{{\begin{aligned}&x=r\sin \theta \cos \varphi \\&y=r\sin \theta \sin \varphi \\&z=r\cos \theta \\\end{aligned}}\right.}
Сағылыш якобианы модуле
r
2
sin
θ
{\displaystyle \ {{r}^{2}}\sin \theta }
-гә тигеҙ. Шулай итеп табабыҙ
∭
D
f
(
x
,
y
,
z
)
d
x
d
y
d
z
=
∭
D
″
f
(
r
,
φ
,
θ
)
r
2
sin
θ
d
r
d
φ
d
θ
{\displaystyle \iiint \limits _{D}{f\left(x,y,z\right)dxdydz}=\iiint \limits _{{D}''}{f\left(r,\varphi ,\theta \right){{r}^{2}}\sin \theta drd\varphi d\theta }}
бында
r
2
sin
θ
d
r
d
φ
d
θ
{\displaystyle {{r}^{2}}\sin \theta drd\varphi d\theta }
— сферик координаталарҙа күләм элементы.
Дәүмәлдең исеме
Дөйөм аңлатма
Тура мөйөшлө координаталары
Цилиндрик координаталары
Сферик координаталары
Есемдең күләме
V
=
∭
G
d
V
{\displaystyle V=\iiint \limits _{G}{dV}}
∭
G
d
x
d
y
d
z
{\displaystyle \iiint \limits _{G}{dxdydz}}
∭
G
r
d
r
d
φ
d
h
{\displaystyle \iiint \limits _{G}{rdrd\varphi dh}}
∭
G
ρ
2
sin
θ
d
ρ
d
φ
d
θ
{\displaystyle \iiint \limits _{G}{{{\rho }^{2}}\sin \theta d\rho d\varphi d\theta }}
Геометрик есемдең
O
Z
{\displaystyle OZ}
күсәренә ҡарата инерция моменты
I
z
=
∭
G
r
2
d
V
{\displaystyle {{I}_{z}}=\iiint \limits _{G}{{{r}^{2}}dV}}
∭
G
(
x
2
+
y
2
)
d
x
d
y
d
z
{\displaystyle \iiint \limits _{G}{\left({{x}^{2}}+{{y}^{2}}\right)dxdydz}}
∭
G
r
3
d
r
d
φ
d
h
{\displaystyle \iiint \limits _{G}{{{r}^{3}}drd\varphi dh}}
∭
G
ρ
4
sin
3
θ
d
ρ
d
φ
d
θ
{\displaystyle \iiint \limits _{G}{{{\rho }^{4}}{{\sin }^{3}}\theta d\rho d\varphi d\theta }}
Тығыҙлығы
μ
{\displaystyle \mu }
булған физик есемдең массаһы
m
=
∭
G
μ
d
V
{\displaystyle m=\iiint \limits _{G}{\mu dV}}
∭
G
μ
d
x
d
y
d
z
{\displaystyle \iiint \limits _{G}{\mu dxdydz}}
∭
G
μ
r
d
r
d
φ
d
h
{\displaystyle \iiint \limits _{G}{\mu rdrd\varphi dh}}
∭
G
μ
ρ
2
sin
θ
d
ρ
d
φ
d
θ
{\displaystyle \iiint \limits _{G}{\mu {{\rho }^{2}}\sin \theta d\rho d\varphi d\theta }}
Бер төрлө есемдең масса үҙәге координаталары
x
c
=
1
V
∭
G
x
d
V
y
c
=
1
V
∭
G
y
d
V
z
c
=
1
V
∭
G
z
d
V
{\displaystyle {\begin{aligned}&{{x}_{c}}={\frac {1}{V}}{\iiint \limits _{G}{xdV}}\\&{{y}_{c}}={\frac {1}{V}}{\iiint \limits _{G}{ydV}}\\&{{z}_{c}}={\frac {1}{V}}{\iiint \limits _{G}{zdV}}\\\end{aligned}}}
1
V
∭
G
x
d
x
d
y
d
z
1
V
∭
G
y
d
x
d
y
d
z
1
V
∭
G
z
d
x
d
y
d
z
{\displaystyle {\begin{aligned}&{\frac {1}{V}}{\iiint \limits _{G}{xdxdydz}}\\&{\frac {1}{V}}{\iiint \limits _{G}{ydxdydz}}\\&{\frac {1}{V}}{\iiint \limits _{G}{zdxdydz}}\\\end{aligned}}}
—
—
↑ Здесь и всюду ниже, если не оговорено противное, измеримость множества понимается в Жордановом смысле.
↑ Достаточно типичным в такой записи использовать для элемента (n -мерного) объема интегрирования другой буквы, чем для обозначения векторного аргумента интегрируемой функции, то есть не
∫
G
f
(
X
)
d
X
,
{\displaystyle \int \limits _{G}{f\left(X\right)dX},}
а например
∫
G
f
(
X
)
d
V
X
{\displaystyle \int \limits _{G}{f\left(X\right)dV_{X}}}
или просто
∫
G
f
(
X
)
d
V
{\displaystyle \int \limits _{G}{f\left(X\right)dV}}
или
∫
G
f
(
X
)
d
Ω
{\displaystyle \int \limits _{G}{f\left(X\right)d\Omega }}
итп,
поскольку в координатной записи этот элемент объема представляет собой в простейших случаях произведение дифференциалов координат
d
V
X
=
∏
i
d
X
i
{\displaystyle dV_{X}=\prod _{i}dX_{i}}
, а в более общем случае криволинейных координат X необходимо включает в себя еще и детерминант метрики :
d
V
X
=
|
det
g
|
∏
i
d
X
i
.
{\displaystyle dV_{X}=|\det g|\prod _{i}dX_{i}.}
Выгодский, М. Я. Дифференцирование и интегрирование функций нескольких аргументов // Справочник по высшей математике. — М .: Астрель, АСТ, 2005. — 991 с. — 10 000 экз. — ISBN 5-17-012238-1 , 5-271-03651-0.
Ильин, В. А., Позняк, Э. Г. Глава 2. Двойные и n-кратные интегралы // Основы математического анализа. — 4. — М .: ФИЗМАТЛИТ, 2001. — Т. 2. — 464 с. — (Курс высшей математики и математической физики). — 5000 экз. — ISBN 5-9221-0131-5 .
Кудрявцев, Л. Д. Глава 6. Интегральное исчисление функций многих переменных // Курс математического анализа. — М .: Высшая школа, 1981. — Т. 2. — 584 с.
Будак, Б. М., Фомин С. В. Кратные интегралы и ряды. — М .: Наука , 1967. — 608 с.
Ҡалып:^v
Ҡалып:Интеграль иҫәпләмә