7

Кратные интегралы

[9/89%]
Показать
LaTeX
Задача 2.60

Пусть функция f(x,y)f(x, y) представляет собой в прямоугольнике RR

a⩽x⩽b,c⩽y⩽d a \leqslant x \leqslant b, \quad c \leqslant y \leqslant d

вторую «смешанную» производную некоторой функции F(x,y)F(x, y):

∂2F(x,y)∂x∂y=f(x,y). \frac{\partial ^{2} F(x, y)}{\partial x \partial y}=f(x, y) .

Проведем через точки

a=x0<x1<x2<…<xm−1<xm=b,c=y0<y1<y2<…<yn−1<yn=d \begin{aligned} & a=x_{0}<x_{1}<x_{2}<\ldots <x_{m-1}<x_{m}=b, \\ & c=y_{0}<y_{1}<y_{2}<\ldots <y_{n-1}<y_{n}=d \end{aligned}

прямые, параллельные осям координат. Этими прямыми прямоугольник RR разделится на прямоугольные части RμvR_{\mu v}:

xμ−1⩽x⩽xμ,yv−1⩽y⩽yv(μ=1,2,…,m;v=1,2,…,n). x_{\mu -1} \leqslant x \leqslant x_{\mu }, \quad y_{v-1} \leqslant y \leqslant y_{v} \quad (\mu =1,2, \ldots , m ; \quad v=1,2, \ldots , n) .

Обозначим нижнюю и верхнюю грани f(x,y)f(x, y) в RμvR_{\mu v} соответственно через mμvm_{\mu v}, MμvM_{\mu v} и образуем верхнюю сумму

O=∑μ=1m∑v=1nMμv(xμ−xμ−1)(yv−yv−1) O=\sum _{\mu =1}^{m} \sum _{v=1}^{n} M_{\mu v}\left(x_{\mu }-x_{\mu -1}\right)\left(y_{v}-y_{v-1}\right)

и нижнюю сумму

U=∑μ=1m∑v=1nmμv(xμ−xμ−1)(yv−yv−1). U=\sum _{\mu =1}^{m} \sum _{v=1}^{n} m_{\mu v}\left(x_{\mu }-x_{\mu -1}\right)\left(y_{v}-y_{v-1}\right) .

Показать, что всегда

U⩽F(b,d)−F(b,c)−F(a,d)+F(a,c)⩽O. U \leqslant F(b, d)-F(b, c)-F(a, d)+F(a, c) \leqslant O .
?
Задача 2.61

Показать, что

∬0⩽x⩽y⩽πln⁡∣sin⁡(x−y)∣dxdy=−π22ln⁡2. \iint _{0 \leqslant x \leqslant y \leqslant \pi } \ln \left|\sin (x-y)\right| d x d y=-\frac{\pi ^{2}}{2} \ln 2 .
?
Задача 2.62

Пусть f(x,y)f(x, y) собственно интегрируема в квадрате 0⩽x⩽10 \leqslant x \leqslant 1, 0⩽y⩽10 \leqslant y \leqslant 1. Показать, что

lim⁡n→∞∏μ=1n∏v=1n[1+1n2f(μn,vn)]=e∫01∫01f(x,y)dxdy. \lim _{n \rightarrow \infty } \prod _{\mu =1}^{n} \prod _{v=1}^{n}\left[1+\frac{1}{n^{2}} f\left(\frac{\mu }{n}, \frac{v}{n}\right)\right]=e^{\int _{0}^{1} \int _{0}^{1} f(x, y) d x d y} .
?
Задача 2.63

В том же предположении относительно f(x,y)f(x, y) вычислить

lim⁡n→∞∏v=1n{1+1n2[f(1n,vn)+f(2n,vn)+…+f(nn,vn)]}. \lim _{n \rightarrow \infty } \prod _{v=1}^{n}\left\{ 1+\frac{1}{n^{2}}\left[f\left(\frac{1}{n}, \frac{v}{n}\right)+f\left(\frac{2}{n}, \frac{v}{n}\right)+\ldots +f\left(\frac{n}{n}, \frac{v}{n}\right)\right]\right\} .
?
Задача 2.64

Показать, основываясь на I 30, что объем ∭Bdxdydz\iiint_{\mathfrak {B}} d x d y d z трехмерной области B\mathfrak {B}, определенной неравенствами

−1⩽x,y,z⩽1,−σ⩽x+y+z⩽σ, -1 \leqslant x, y, z \leqslant 1, \quad -\sigma \leqslant x+y+z \leqslant \sigma ,

равен

23π∫−∞∞(sin⁡tt)3sin⁡σttdt. \frac{2^{3}}{\pi } \int _{-\infty }^{\infty }\left(\frac{\sin t}{t}\right)^{3} \frac{\sin \sigma t}{t} d t .
?
Задача 2.65

Пусть α1,α2,…,αp\alpha_{1}, \alpha_{2}, \ldots , \alpha_{p} — произвольные положительные числа. Образуем функции

fv(z)=1αv−1z+2αv−1z2+…+nαv−1zn+…(v=1,2,…,p) f_{v}(z)=1^{\alpha _{v}-1} z+2^{\alpha _{v}-1} z^{2}+\ldots +n^{\alpha _{v}-1} z^{n}+\ldots \quad (v=1,2, \ldots , p)

и произведение их

f1(z)f2(z)…fp(z)=∑n=1∞anzn. f_{1}(z) f_{2}(z) \ldots f_{p}(z)=\sum _{n=1}^{\infty } a_{n} z^{n} .

Показать, что

lim⁡n→∞annα1+α2+…+αp−1==∬…∫x1α1−1…xp−1αp−1−1(1−x1−…−xp−1)αp−1dx1…dxp−1, \begin{aligned} & \lim _{n \rightarrow \infty } \frac{a_{n}}{n^{\alpha _{1}+\alpha _{2}+\ldots +\alpha _{p}-1}}= \\ & \quad =\iint \ldots \int x_{1}^{\alpha _{1}-1} \ldots x_{p-1}^{\alpha _{p-1}-1}\left(1-x_{1}-\ldots -x_{p-1}\right)^{\alpha _{p}-1} d x_{1} \ldots d x_{p-1}, \end{aligned}

где интеграл распространен на (p−1)(p-1)-мерный симплекс, определяемый pp неравенствами

x1⩾0,x2⩾0,…,xp−1⩾0,x1+x2+…+xp−1⩽1. x_{1} \geqslant 0, x_{2} \geqslant 0, \ldots , x_{p-1} \geqslant 0, \quad x_{1}+x_{2}+\ldots +x_{p-1} \leqslant 1 .
?
Задача 2.66

(Продолжение.) Показать, что

∬…∫x1α1−1…xp−1αp−1−1(1−x1−…−xp−1)αp−1dx1…dxp−1==Γ(α1)Γ(α2)…Γ(αp)Γ(α1+α2+…+αp). \begin{aligned} \iint \ldots \int x_{1}^{\alpha _{1}-1} \ldots x_{p-1}^{\alpha _{p-1}-1}\left(1-x_{1}-\ldots -x_{p-1}\right)^{\alpha _{p}-1} & d x_{1} \ldots d x_{p-1}= \\ & =\frac{\Gamma \left(\alpha _{1}\right) \Gamma \left(\alpha _{2}\right) \ldots \Gamma \left(\alpha _{p}\right)}{\Gamma \left(\alpha _{1}+\alpha _{2}+\ldots +\alpha _{p}\right)} . \end{aligned}
?
Задача 2.67

Развернуть выражение, стоящее под знаком предела в 54 и представляющее собой полином nn-й степени относительно δn\delta_{n}, по степеням δn\delta_{n}. Показать, что коэффициент при pp-й степени δn\delta_{n} при pp фиксированном и n→∞n \rightarrow \infty стремится к пределу

\idotsinta⩽x1⩽x2⩽…⩽xp⩽bf(x1)f(x2)…f(xp)dx1dx2…dxp==1p!(∫abf(x)dx)p. \begin{aligned} \idotsint _{a \leqslant x_{1} \leqslant x_{2} \leqslant \ldots \leqslant x_{p} \leqslant b} f\left(x_{1}\right) f\left(x_{2}\right) \ldots f\left(x_{p}\right) d x_{1} d x_{2} \ldots d x_{p} & = \\ & =\frac{1}{p!}\left(\int _{a}^{b} f(x) d x\right)^{p} . \end{aligned}
?
Задача 2.68

Пусть 2m2 m функций

f1(x),f2(x),…,fm(x),φ1(x),φ2(x),…,φm(x) \begin{array}{llll} f_{1}(x), & f_{2}(x), & \ldots , & f_{m}(x), \\ \varphi _{1}(x), & \varphi _{2}(x), & \ldots , & \varphi _{m}(x) \end{array}

собственно интегрируемы в интервале a⩽x⩽ba \leqslant x \leqslant b. Тогда

∣∫abf1(x)φ1(x)dx∫abf1(x)φ2(x)dx…∫abf1(x)φm(x)dx∫abf2(x)φ1(x)dx∫abf2(x)φ2(x)dx…∫abf2(x)φm(x)dx…………∫abfm(x)φ1(x)dx∫abfm(x)φ2(x)dx…∫abfm(x)φm(x)dx∣==1m!∫ab…∫ab∣f1(x1)f1(x2)…f1(xm)f2(x1)f2(x2)…f2(xm)…………fm(x1)fm(x2)…fm(xm)∣××∣φ1(x1)φ1(x2)…φ1(xm)φ2(x1)φ2(x2)…φ2(xm)…………φm(x1)φm(x2)…φm(xm)∣dx1dx2…dxm. \begin{aligned} & \begin{vmatrix} \int _{a}^{b} f_{1}(x) \varphi _{1}(x) d x & \int _{a}^{b} f_{1}(x) \varphi _{2}(x) d x & \ldots & \int _{a}^{b} f_{1}(x) \varphi _{m}(x) d x \\ \int _{a}^{b} f_{2}(x) \varphi _{1}(x) d x & \int _{a}^{b} f_{2}(x) \varphi _{2}(x) d x & \ldots & \int _{a}^{b} f_{2}(x) \varphi _{m}(x) d x \\ \ldots & \ldots & \ldots & \ldots \\ \int _{a}^{b} f_{m}(x) \varphi _{1}(x) d x & \int _{a}^{b} f_{m}(x) \varphi _{2}(x) d x & \ldots & \int _{a}^{b} f_{m}(x) \varphi _{m}(x) d x \end{vmatrix}= \\ & =\frac{1}{m!} \int _{a}^{b} \ldots \int _{a}^{b} \begin{vmatrix} f_{1}\left(x_{1}\right) & f_{1}\left(x_{2}\right) & \ldots & f_{1}\left(x_{m}\right) \\ f_{2}\left(x_{1}\right) & f_{2}\left(x_{2}\right) & \ldots & f_{2}\left(x_{m}\right) \\ \ldots & \ldots & \ldots & \ldots \\ f_{m}\left(x_{1}\right) & f_{m}\left(x_{2}\right) & \ldots & f_{m}\left(x_{m}\right) \end{vmatrix} \times \\ & \times \begin{vmatrix} \varphi _{1}\left(x_{1}\right) & \varphi _{1}\left(x_{2}\right) & \ldots & \varphi _{1}\left(x_{m}\right) \\ \varphi _{2}\left(x_{1}\right) & \varphi _{2}\left(x_{2}\right) & \ldots & \varphi _{2}\left(x_{m}\right) \\ \ldots & \ldots & \ldots & \ldots \\ \varphi _{m}\left(x_{1}\right) & \varphi _{m}\left(x_{2}\right) & \ldots & \varphi _{m}\left(x_{m}\right) \end{vmatrix} d x_{1} d x_{2} \ldots d x_{m} . \end{aligned}
?