1

Собственные интегралы

[14/100%]
Показать
LaTeX
Задача 2.98

Положим

g(x)=sin⁡2πx+sin⁡2πxcos⁡2πx+sin⁡2πxcos⁡4πx+……+sin⁡2πxcos⁡2kπx+… \begin{aligned} g(x)=\sin ^{2} \pi x+\sin ^{2} \pi x \cos ^{2} \pi x+\sin ^{2} \pi x \cos ^{4} \pi x & +\ldots \\ & \ldots +\sin ^{2} \pi x \cos ^{2 k} \pi x+\ldots \end{aligned}

Интегрируема ли функция

G(x)=lim⁡n→∞g(n!x)? G(x)=\lim _{n \rightarrow \infty } g(n! x)?
?
Задача 2.99

Пусть функция f(x)f(x) (см. также 169, VIII 240) определена следующим образом:

f(x)={0 для иррациональных x,1q для рациональных x=pq,(p,q)=1,q⩾1. f(x)= \begin{cases} 0 & \text{ для иррациональных } x, \\ \frac{1}{q} & \text{ для рациональных } x=\frac{p}{q},(p, q)=1, q \geqslant 1 . \end{cases}

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

?
Задача 2.100

Пусть f(x),φ(x)f(x), \varphi (x) собственно интегрируемы в интервале a⩽x⩽ba \leqslant x \leqslant b; далее,

a=x0<x1<x2<…<xn−1<xn=b,xv−1<yv<xv,xv−1<ηv<xv(v=1,2,…,n). \begin{aligned} a & =x_{0}<x_{1}<x_{2}<\ldots <x_{n-1}<x_{n}=b, \\ x_{v-1}<y_{v}<x_{v}, & \quad x_{v-1}<\eta _{v}<x_{v} \quad (v=1,2, \ldots , n) . \end{aligned}

Показать, что при стремлении максимальной длины интервала разбиения x0,x1,x2,…,xn−1,xnx_{0}, x_{1}, x_{2}, \ldots , x_{n-1}, x_{n} к нулю

lim⁡∑v=1nf(yv)φ(ηv)(xv−xv−1)=∫abf(x)φ(x)dx. \lim \sum _{v=1}^{n} f\left(y_{v}\right) \varphi \left(\eta _{v}\right)\left(x_{v}-x_{v-1}\right)=\int _{a}^{b} f(x) \varphi (x) d x .
?
Задача 2.101

Пусть f(x)f(x) собственно интегрируема в интервале a⩽x⩽ba \leqslant x \leqslant b, φ(x)\varphi (x) собственно интегрируема в интервале [a,b+d][a, b+d] и пусть d>0d>0. Тогда

lim⁡δ→+0∫abf(x)φ(x+δ)dx=∫abf(x)φ(x)dx. \lim _{\delta \rightarrow +0} \int _{a}^{b} f(x) \varphi (x+\delta ) d x=\int _{a}^{b} f(x) \varphi (x) d x .
?
Задача 2.102

Пусть функция f(x)f(x) собственно интегрируема в интервале a⩽x⩽ba \leqslant x \leqslant b. Для любого ε>0\varepsilon >0 можно указать две такие кусочно-постоянные1 функции ψ(x),Ψ(x)\psi (x), \Psi (x), что

ψ(x)⩽f(x)⩽Ψ(x) \psi (x) \leqslant f(x) \leqslant \Psi (x)

во всем интервале [a,b][a, b] и

∫abΨ(x)dx−∫abψ(x)dx<ε. \int _{a}^{b} \Psi (x) d x-\int _{a}^{b} \psi (x) d x<\varepsilon .

В частности, можно добиться того, чтобы точки разрыва функций ψ(x)\psi (x) и Ψ(x)\Psi (x) были равноотстоящими.

Footnotes

  1. *) То есть в каждом конечном интервале имеющие не более чем конечное число точек разрыва, а в промежутках между последними — постоянные. ↩

?
Задача 2.103

(Продолжение.) Если f(x)f(x) имеет ограниченное изменение, то можно ψ(x)\psi (x) и Ψ(x)\Psi (x) определить так, чтобы их полные изменения не превосходили полного изменения функции f(x)f(x).

?
Задача 2.104

Положим

4[x]−2[2x]+1=s(x). 4[x]-2[2 x]+1=s(x) .

Тогда для любой функции f(x)f(x), собственно интегрируемой в интервале 0⩽x⩽10 \leqslant x \leqslant 1, имеет место предельное соотношение

lim⁡n→∞∫01f(x)s(nx)dx=0 \lim _{n \rightarrow \infty } \int _{0}^{1} f(x) s(n x) d x=0

(nn — целое).

?
Задача 2.105

Если f(x)f(x) собственно интегрируема в интервале [a,b][a, b], то

lim⁡n→∞∫abf(x)sin⁡nxdx=0. \lim _{n \rightarrow \infty } \int _{a}^{b} f(x) \sin n x d x=0 .
?
Задача 2.106

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

lim⁡n→∞∫abf(x)∣sin⁡nx∣dx=2π∫abf(x)dx. \lim _{n \rightarrow \infty } \int _{a}^{b} f(x)\left|\sin n x\right| d x=\frac{2}{\pi } \int _{a}^{b} f(x) d x .
?
Задача 2.107

Функция (1x−[1x])xα\left(\frac{1}{x}-\left[\frac{1}{x}\right]\right) x^{\alpha }, где α⩾0\alpha \geqslant 0, собственно интегрируема в интервале (0,1](0,1].

?
Задача 2.108

Если f(x)f(x) собственно интегрируема в интервале [a,b][a, b], то точки непрерывности функции f(x)f(x) в интервале [a,b][a, b] образуют всюду плотное множество.

?
Задача 2.109

Если f(x)f(x) собственно интегрируема в интервале [a,b][a, b], то равенство

∫ab[f(x)]2dx=0 \int _{a}^{b}[f(x)]^{2} d x=0

имеет место тогда и только тогда, когда f(ξ)=0f(\xi )=0 во всех точках ξ\xi непрерывности функции f(x)f(x), лежащих внутри данного интервала.

?
Задача 2.110

Пусть функция y=f(x)y=f(x) собственно интегрируема в интервале a⩽x⩽ba \leqslant x \leqslant b, причем там m⩽f(x)⩽Mm \leqslant f(x) \leqslant M; пусть, далее, φ(y)\varphi (y) непрерывна для m⩽y⩽Mm \leqslant y \leqslant M. Тогда φ[f(x)]\varphi [f(x)] также собственно интегрируема в интервале a⩽x⩽ba \leqslant x \leqslant b.

?
Задача 2.111

Если f(x)f(x) и φ(y)\varphi (y) собственно интегрируемы, то φ[f(x)]\varphi [f(x)], вообще говоря, уже не является собственно интегрируемой [98, 99].

?