7.4

Вычисление интеграла Лебега

[43/21%]
Показать
LaTeX
Задача 7.4.1

Докажите, что характеристическая функция канторовского множества риманово интегрируема на [0,1][0,1].

?
Задача 7.4.2

Пусть FF — замкнутое подмножество [0,1][0,1], лебегова мера которого равна 0. Докажите, что характеристическая функция FF риманово интегрируема на [0,1][0,1].

?
Задача 7.4.3

Приведите пример функций f,g:[0,1]→[0,1]f, g:[0,1] \rightarrow [0,1] таких, что ff непрерывна, gg риманово интегрируема, но g∘fg \circ f не является риманово интегрируемой.

?
Задача 7.4.4

Приведите пример ограниченной, лебегово интегрируемой функции f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R}, для которой не существует риманово интегрируемой функции g:[0,1]→Rg:[0,1] \rightarrow \mathbb {R}, равной ff почти всюду.

?
Задача 7.4.5

Пусть f,gf, g — функции на [a,b][a, b], обе риманово интегрируемые на [a,b][a, b]. Докажите, что их произведение риманово интегрируемо на [a,b][a, b].

?
Задача 7.4.6

Приведите пример возрастающей последовательности риманово интегрируемых функций на [0,1][0,1], сходящейся к функции, которая не является риманово интегрируемой.

?
Задача 7.4.7

Докажите, что интеграл Римана и интеграл Лебега ступенчатой функции равны.

?
Задача 7.4.8

Докажите теорему 7.4.8.

Теорема 7.4.8: Пусть ff — неотрицательная функция на (a,+∞)(a, +\infty ) такая, что ff риманово интегрируема на каждом интервале (a,b)(a,b), и несобственный интеграл Римана от ff по (a,+∞)(a, +\infty ) сходится. Тогда ff лебегово интегрируема на (a,+∞)(a, +\infty ), и её интеграл Лебега равен несобственному интегралу Римана от ff.

?
Задача 7.4.9

Пусть f:[a,b]→Rf:[a, b] \rightarrow \mathbb {R} риманово интегрируема на каждом интервале [a′,b]⊂[a,b]\left[a^{\prime }, b\right] \subset [a, b], и несобственный интеграл Римана от ff по [a,b][a, b] сходится абсолютно. Докажите, что ff лебегово интегрируема на [a,b][a, b].

?
Задача 7.4.10

Пусть f:(a,+∞)→Rf:(a,+\infty ) \rightarrow \mathbb {R} риманово интегрируема на каждом интервале (a,b)(a, b), и несобственный интеграл Римана от ff по ( a,+∞a,+\infty ) сходится абсолютно. Докажите, что ff лебегово интегрируема на ( a,+∞a,+\infty ).

?
Задача 7.4.11

Пусть f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R} непрерывна на (0,1](0,1] и лебегово интегрируема на [0,1][0,1]. Докажите, что несобственный интеграл Римана от ff по [0,1][0,1] сходится абсолютно.

?
Задача 7.4.12

Приведите пример функции f:R2→Rf: \mathbb {R}^{2} \rightarrow \mathbb {R} и двух последовательностей прямоугольников {Rk}k=1∞\left\{ R_{k}\right\}_{k=1}^{\infty } и {Sk}k=1∞\left\{ S_{k}\right\}_{k=1}^{\infty } таких, что

lim⁡n∫Rnf≠lim⁡n∫Snf \lim _{n} \int _{R_{n}} f \neq \lim _{n} \int _{S_{n}} f
?
Задача 7.4.13

Пусть f:(a,+∞)→Rf:(a,+\infty ) \rightarrow \mathbb {R} непрерывна на каждом конечном интервале ( a,ba, b ) и лебегово интегрируема на (a,+∞)(a,+\infty ). Докажите, что несобственный интеграл Римана от ff по ( a,+∞a,+\infty ) сходится абсолютно.

?
Задача 7.4.14

Пусть

f(x)=(−1)⌊x⌋1+⌊x2⌋={1n+1,если 2n≤x<2n+1,−1n+1,если 2n+1≤x<2n+2. f(x) = \frac{(-1)^{\left\lfloor x\right\rfloor }}{1+\left\lfloor \frac{x}{2}\right\rfloor } = \begin{cases} \dfrac {1}{n+1}, & \text{если } 2n \leq x < 2n+1, \\ \dfrac {-1}{n+1}, & \text{если } 2n+1 \leq x < 2n+2. \end{cases}

Докажите, что несобственный интеграл Римана по [0,+∞)[0,+\infty ) существует, но интеграл Лебега — нет.

?
Задача 7.4.15

Пусть f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R} неотрицательна и непрерывна на ( 0,1 ], и предположим, что

lim⁡∫[1/n,1]f \lim \int _{[1 / n, 1]} f

существует. Докажите или опровергните: ff интегрируема на [0,1][0,1]. Что если отбросить предположение о неотрицательности?

?
Задача 7.4.16

Пусть ff — функция на [a,b][a, b] такая, что ff риманово интегрируема на каждом интервале [a′,b]⊂(a,b]\left[a^{\prime }, b\right] \subset (a, b], и несобственный интеграл Римана от ff по [a,b][a, b] сходится. Предположим, что ff также лебегово интегрируема на [a,b][a, b]. Докажите, что несобственный интеграл Римана от ff и интеграл Лебега от ff по [a,b][a, b] равны.

?
Задача 7.4.17

Приведите пример ограниченной функции ff на [0,+∞)[0,+\infty ), несобственный интеграл Римана которой сходится, но ∣f∣p|f|^{p} не является лебегово интегрируемой ни при каком p≥1p \geq 1.

?
Задача 7.4.18

Пусть f,g:[a,b]→Rf, g:[a, b] \rightarrow \mathbb {R} и пусть h=max⁡{f,g}h=\max \left\{ f, g\right\}. Для какого типа интеграла (Римана или Лебега, собственного или несобственного) интегрируемость ff и gg влечёт интегрируемость hh?

?
Задача 7.4.19

Вычислите

lim⁡n→∞∫0n2e−x2nsin⁡xndx \lim _{n \rightarrow \infty } \int _{0}^{n^{2}} e^{-x^{2}} n \sin \frac{x}{n} d x
?
Задача 7.4.20

Найдите

lim⁡n→∞∫Rnsin⁡(x/n)x(x2+1)dx \lim _{n \rightarrow \infty } \int _{\mathbb {R}} \frac{n \sin (x / n)}{x\left(x^{2}+1\right)} d x
?
Задача 7.4.21

Найдите

lim⁡n→∞∫0∞(1+(x/n))−nsin⁡(x/n)dx \lim _{n \rightarrow \infty } \int _{0}^{\infty }(1+(x / n))^{-n} \sin (x / n) d x
?
Задача 7.4.22

Найдите

lim⁡n→∞∫0∞(1+nx2)(1+x2)−ndx \lim _{n \rightarrow \infty } \int _{0}^{\infty }\left(1+n x^{2}\right)\left(1+x^{2}\right)^{-n} d x
?
Задача 7.4.23

Вычислите

lim⁡n→∞∫0∞11+xnln⁡(n+4)dx \lim _{n \rightarrow \infty } \int _{0}^{\infty } \frac{1}{1+x^{\frac{\sqrt{n}}{\ln (n+4)}}} d x
?
Задача 7.4.24

Вычислите

lim⁡n→∞∫0∞sin⁡xnxndx \lim _{n \rightarrow \infty } \int _{0}^{\infty } \frac{\sin x^{n}}{x^{n}} d x
?
Задача 7.4.25

Приведите пример функции f:R→Rf: \mathbb {R} \rightarrow \mathbb {R}, дифференцируемой на R\mathbb {R}, но чья производная не является лебегово интегрируемой на R\mathbb {R}.

?
Задача 7.4.26

Найдите сумму ряда

∑n=0∞∫0π/3(1−sin⁡x)ncos⁡xdx \sum _{n=0}^{\infty } \int _{0}^{\pi / 3}(1-\sqrt{\sin x})^{n} \cos x d x
?
Задача 7.4.27

Найдите

lim⁡n→∞∫01n3x3/41+n4x2dx \lim _{n \rightarrow \infty } \int _{0}^{1} \frac{n^{3} x^{3 / 4}}{1+n^{4} x^{2}} d x

и тщательно докажите, что ваш результат верен.

?
Задача 7.4.28

Пусть {rk}\left\{ r_{k}\right\} обозначает все рациональные числа в [0,1][0,1], и пусть {ak}\left\{ a_{k}\right\} — последовательность вещественных чисел такая, что ∑∣ak∣\sum \left|a_{k}\right| сходится. Докажите, что ∑ak/∣x−rk∣\sum a_{k} / \sqrt{\left|x-r_{k}\right|} сходится абсолютно почти всюду на [0,1][0,1].

?
Задача 7.4.29

Пусть f(x)=1/xf(x)=1 / \sqrt{x}, если 0<x<10<x<1, и f(x)=0f(x)=0 в остальных случаях, пусть {rk}\left\{ r_{k}\right\} обозначает все рациональные числа, и пусть g(x)=∑n=1∞f(x−rn)/2ng(x)=\sum_{n=1}^{\infty } f\left(x-r_{n}\right) / 2^{n}. Докажите, что:

?
(a)

gg интегрируема на R\mathbb {R}.

(b)

gg неограничена на каждом невырожденном интервале.

(c)

gg разрывна в каждой точке.

(d)

Если hh — функция такая, что h=gh=g почти всюду, то hh также обладает свойствами из (b) и (c).

(e)

g2g^{2} не интегрируема ни на одном интервале.

Задача 7.4.30

Найдите

lim⁡n→∞∫a∞n(1+n2x2)−1dx \lim _{n \rightarrow \infty } \int _{a}^{\infty } n\left(1+n^{2} x^{2}\right)^{-1} d x
?
Задача 7.4.31

Покажите, что f(x)=sin⁡x/xf(x)=\sin x / x не является лебегово интегрируемой на (0,+∞)(0,+\infty ), хотя несобственный интеграл Римана существует.

?
Задача 7.4.32

Пусть ff — функция на [a,b][a, b] такая, что ff риманово интегрируема на каждом интервале [a′,b]⊂(a,b]\left[a^{\prime }, b\right] \subset (a, b], и несобственный интеграл Римана от ff по [a,b][a, b] не сходится. Докажите, что ff не является лебегово интегрируемой на [a,b][a, b].

?
Задача 7.4.33

Пусть ff — функция на ( a,+∞a,+\infty ) такая, что ff риманово интегрируема на каждом интервале ( a,ba, b ), и несобственный интеграл Римана от ff по ( a,+∞a,+\infty ) не сходится. Докажите, что ff не является лебегово интегрируемой на ( a,+∞a,+\infty ).

?
Задача 7.4.34

Докажите, что

∫01ln⁡x1+x3dx=∑n=0∞(−1)n+1(3n+1)2 \int _{0}^{1} \frac{\ln x}{1+x^{3}} d x=\sum _{n=0}^{\infty } \frac{(-1)^{n+1}}{(3 n+1)^{2}}
?
Задача 7.4.35

Найдите

lim⁡n→∞∫0n(1+xn)ne−2xdx \lim _{n \rightarrow \infty } \int _{0}^{n}\left(1+\frac{x}{n}\right)^{n} e^{-2 x} d x

и тщательно докажите, что ваш результат верен.

?
Задача 7.4.36

Пусть f(x)=xαsin⁡(xβ)f(x)=x^{\alpha } \sin \left(x^{\beta }\right).

?
(a)

При каких значениях α,β\alpha , \beta функция ff лебегово интегрируема на (0,1](0,1]?

(b)

При каких значениях α,β\alpha , \beta несобственный интеграл Римана от ff по (0,1](0,1] сходится?

Задача 7.4.37

Чему равен интеграл Лебега функции f(x)=x2f(x)=x^{2} по [0,1]\C[0,1] \backslash C, где CC — канторовское множество?

?
Задача 7.4.38

В упражнениях 7.4.38–7.4.39 найдите интеграл Лебега ∫0π/2f\int_{0}^{\pi / 2} f:

f(x)={sin⁡xесли x∈Q,cos⁡xесли x∉Q. f(x) = \begin{cases} \sin x & \text{если } x \in \mathbb {Q}, \\ \cos x & \text{если } x \notin \mathbb {Q}. \end{cases}
?
Задача 7.4.39

В упражнениях 7.4.38–7.4.39 найдите интеграл Лебега ∫0π/2f\int_{0}^{\pi / 2} f:

f(x)={sin⁡xесли cos⁡x∈Q,sin⁡2xесли cos⁡x∉Q. f(x) = \begin{cases} \sin x & \text{если } \cos x \in \mathbb {Q}, \\ \sin ^{2} x & \text{если } \cos x \notin \mathbb {Q}. \end{cases}
?
Задача 7.4.40

Найдите интеграл Лебега

f(x,y)={1если xy∉Q,0если xy∈Q. f(x, y) = \begin{cases} 1 & \text{если } xy \notin \mathbb {Q}, \\ 0 & \text{если } xy \in \mathbb {Q}. \end{cases}

по единичному квадрату [0,1]×[0,1][0,1] \times [0,1].

?
Задача 7.4.41

Найдите интеграл Лебега

∫R11+x2 \int _{\mathbb {R}} \frac{1}{1+x^{2}}
?
Задача 7.4.42

Пусть ff — функция, определённая на [0,1][0,1], интегрируемая на [0,1][0,1], дифференцируемая в точке x=0x=0, и f(0)=0f(0)=0. Пусть

g(x)={x−3/2f(x),если 0<x≤1,0,если x=0. g(x) = \begin{cases} x^{-3/2} f(x), & \text{если } 0<x \leq 1, \\ 0, & \text{если } x=0. \end{cases}

Докажите, что gg интегрируема на [0,1][0,1].

?
Задача 7.4.43

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

?