IX.1

Сходимости по мере и почти везде

[16/81%]
Показать
LaTeX
Задача IX.1.1

Сходятся ли указанные ниже функциональные последовательности {fn}\left\{ f_{n}\right\} по мере и почти везде на промежутках Δ\Delta ? Имеют ли они суммируемые мажоранты?

?
(а)

fn(x)=nx1+n2x2f_{n}(x)=\frac{n x}{1+n^{2} x^{2}}, Δ=(0,1);\Delta =(0,1) ;

(б)

fn(x)=nx1+n2x2f_{n}(x)=\frac{n x}{1+n^{2} x^{2}}, Δ=(1,+∞);\Delta =(1,+\infty ) ;

(в)

fn(x)=nxe−nx2f_{n}(x)=n x e^{-n x^{2}}, Δ=(0,1);\Delta =(0,1) ;

(г)

fn(x)=n2xe−nx2f_{n}(x)=n^{2} x e^{-n x^{2}}, Δ=(1,+∞);\Delta =(1,+\infty ) ;

(д)

fn(x)=n2xn4+x2f_{n}(x)=\frac{n^{2} x}{n^{4}+x^{2}}, Δ=(1,+∞);\Delta =(1,+\infty ) ;

(е)

fn(x)=1ln⁡(n+1)⋅nx1+n2x4f_{n}(x)=\frac{1}{\ln (n+1)} \cdot \frac{n x}{1+n^{2} x^{4}}, Δ=(0,1);\Delta =(0,1) ;

(ж)

fn(x)=∣x−1n∣−1/2f_{n}(x)=\left|x-\frac{1}{n}\right|^{-1 / 2}, Δ=(0,1)\Delta =(0,1).

Задача IX.1.2

Пусть a∈R,{a}=a−[a]a \in \mathbb {R},\left\{ a\right\} =a-\left[a\right] — дробная часть числа aa, и пусть fnf_{n} — характеристическая функция промежутка с концами {ln⁡n}\left\{ \ln n\right\}, {ln⁡(n+1)}(n∈N)\left\{ \ln (n+1)\right\} (n \in \mathbb {N}) (если {ln⁡n}>{ln⁡(n+1)}\left\{ \ln n\right\} >\left\{ \ln (n+1)\right\}, то мы считаем fnf_{n} тождественным нулём). Докажите, что

?
(а)

lim‾⁡n→∞fn(x)=1\varlimsup_{n \rightarrow \infty } f_{n}(x)=1 при любом x∈(0,1)x \in (0,1);

(б)

f[Ck](x)⟶k→∞0f_{\left[C^{k}\right]}(x) \underset {k \rightarrow \infty }{\longrightarrow } 0 почти везде на (0,1)(0,1) при любом C>1C>1.

Сравните этот результат с утверждением задачи II.1.28.

Задача IX.1.3

Постройте такую последовательность {gn}\left\{ g_{n}\right\} из L0(0,1)\mathscr {L}^{0}(0,1), что gn→0g_{n} \rightarrow 0 по мере, lim‾⁡n→∞gn(x)=+∞\varlimsup_{n \rightarrow \infty } g_{n}(x)=+\infty почти везде на (0,1)(0,1) и lim⁡n→∞gn(x)=−∞\lim_{n \rightarrow \infty } g_{n}(x)=-\infty почти везде на (0,1)(0,1).

?
Задача IX.1.4

Пусть функции fn(n∈N)f_{n}(n \in \mathbb {N}) монотонны на промежутке (0,1)(0,1) и fn→ff_{n} \rightarrow f по мере. Докажите, что функция ff почти везде совпадает с монотонной функцией f0f_{0} и fn(x)→f0(x)f_{n}(x) \rightarrow f_{0}(x) в точках непрерывности f0f_{0}.

?
Задача IX.1.5

Пусть fn(x)=∣sin⁡(Anx+φn)∣pnf_{n}(x)=\left|\sin \left(A_{n} x+\varphi_{n}\right)\right|^{p_{n}}, где x∈(0,2π)x \in (0,2 \pi ), а {An},{φn}\left\{ A_{n}\right\} ,\left\{ \varphi_{n}\right\}, {pn}\left\{ p_{n}\right\} - вещественные числовые последовательности, удовлетворяющие условиям lim⁡∣An∣>0\lim \left|A_{n}\right|>0 и pn→+∞p_{n} \rightarrow +\infty. Докажите, что fn→0f_{n} \rightarrow 0 по мере на (0,2π)(0,2 \pi ). Обязательно ли fn→0f_{n} \rightarrow 0 почти везде на (0,2π)(0,2 \pi )? Рассмотрите пример: fn(x)=∣cos⁡m(x−kπm)∣mf_{n}(x)=\left|\cos \sqrt{m}\left(x-\frac{k \pi }{m}\right)\right|^{m}, где m=[n],k=n−m2m=\left[\sqrt{n}\right], k=n-m^{2}.

?
Задача IX.1.6

Пусть {An},{φn}\left\{ A_{n}\right\} ,\left\{ \varphi_{n}\right\} - вещественные числовые последовательности, An→+∞A_{n} \rightarrow +\infty. Докажите, что почти везде на R\mathbb {R}

lim‾⁡n→∞cos⁡(Anx+φn)=1,lim⁡n→∞cos⁡(Anx+φn)=−1. \varlimsup _{n \rightarrow \infty } \cos \left(A_{n} x+\varphi _{n}\right)=1, \quad \lim _{n \rightarrow \infty } \cos \left(A_{n} x+\varphi _{n}\right)=-1 .

Сравните это утверждение с задачсй IV.6.1.

?
Задача IX.1.7

Докажите, что n1/3∫0∞e−xsin⁡n(nx+φn)dx→0n^{1 / 3} \int_{0}^{\infty } e^{-x} \sin^{n}\left(n x+\varphi_{n}\right) d x \rightarrow 0 для любой вещественной последовательности {φn}\left\{ \varphi_{n}\right\}.

?
Задача IX.1.8

Пусть {fn}⊂L0(R),a∈R\left\{ f_{n}\right\} \subset \mathscr {L}^{0}(\mathbb {R}), a \in \mathbb {R}. Докажите, что lim‾⁡n→∞fn(x)⩽a\varlimsup_{n \rightarrow \infty } f_{n}(x) \leqslant a почти везде на R\mathbb {R}, если ∑n⩾1λ{x∈R∣fn(x)>a}<+∞\sum_{n \geqslant 1} \lambda \left\{ x \in \mathbb {R} \mid f_{n}(x)>a\right\} <+\infty.

?
Задача IX.1.9

Пусть {fn}⊂L(R)\quad \left\{ f_{n}\right\} \subset \mathscr {L}(\mathbb {R}) \quad и εn→0\quad \varepsilon_{n} \rightarrow 0. Докажите, что если ∑n⩾1λ{x∈R∣∣fn(x)∣⩾εn}<+∞\sum_{n \geqslant 1} \lambda \left\{ x \in \mathbb {R} \mid \left|f_{n}(x)\right| \geqslant \varepsilon_{n}\right\} <+\infty, то

?
(а)

fn(x)→0f_{n}(x) \rightarrow 0 почти везде на R\mathbb {R};

(б)

для любого числа ε>0\varepsilon >0 найдётся такое множество e⊂Re \subset \mathbb {R}, что λ(e)<ε\lambda (e)<\varepsilon и fn⇉0f_{n} \rightrightarrows 0 на R\e\mathbb {R} \backslash e.

Задача IX.1.10

Докажите, что сходимость почти везде «устойчива» в следующем смысле: если {fn}⊂L0(0,1)\left\{ f_{n}\right\} \subset \mathscr {L}^{0}(0,1) и fn(x)→0f_{n}(x) \rightarrow 0 почти везде на (0,1)(0,1), то существует такая числовая последовательность {An}\left\{ A_{n}\right\}, что An→∞A_{n} \rightarrow \infty и Anfn(x)→0A_{n} f_{n}(x) \rightarrow 0 почти везде на (0,1)(0,1). Останется ли это утверждение верным, если интервал (0,1)(0,1) заменить на R\mathbb {R} ?

?
Задача IX.1.11

Пусть f,fn∈L0(0,1),fn(x)→f(x)f, f_{n} \in \mathscr {L}^{0}(0,1), f_{n}(x) \rightarrow f(x) почти везде на (0,1). Докажите, что существуют функция g∈L0(0,1)g \in \mathscr {L}^{0}(0,1) («регулятор сходимости») и числовая последовательность {εn}\left\{ \varepsilon_{n}\right\}, такие что εn→0\varepsilon_{n} \rightarrow 0 и ∣fn(x)−f(x)∣⩽εng(x)\left|f_{n}(x)-f(x)\right| \leqslant \varepsilon_{n} g(x) почти везде на (0,1)(0,1) при любом n∈Nn \in \mathbb {N}. Останется ли это утверждение верным, если заменить интервал (0,1)(0,1) на R\mathbb {R} ?

?
Задача IX.1.12

Опираясь на результат предыдущей задачи, докажите теорему Егорова: если f,fn∈L0(0,1)f, f_{n} \in \mathscr {L}^{0}(0,1) и fn(x)→f(x)f_{n}(x) \rightarrow f(x) почти везде на (0,1)(0,1), то для любого числа ε>0\varepsilon >0 найдётся такое множество e⊂(0,1)e \subset (0,1), что λ(e)<ε\lambda (e)<\varepsilon и fn⇉ff_{n} \rightrightarrows f на (0,1)\e(0,1) \backslash e. Останется ли это утверждение верным, если интервал (0,1)(0,1) заменить на R\mathbb {R} ?

?
Задача IX.1.13

Пусть {fn}⊂L0(0,1)\left\{ f_{n}\right\} \subset \mathscr {L}^{0}(0,1). Докажите, что fn→0f_{n} \rightarrow 0 по мере тогда и только тогда, когда для любой подпоследовательности {fnk}\left\{ f_{n_{k}}\right\} найдётся, в свою очередь, подпоследовательность {fnkj}\left\{ f_{n_{k_{j}}}\right\}, сходящаяся к нулю почти везде на (0,1).

?
Задача IX.1.14

Пусть {fn}⊂L0(R),g∈L0(R),∣fn(x)∣⩽g(x)\left\{ f_{n}\right\} \subset \mathscr {L}^{0}(\mathbb {R}), g \in \mathscr {L}^{0}(\mathbb {R}),\left|f_{n}(x)\right| \leqslant g(x) почти везде на R\mathbb {R} при любом n∈Nn \in \mathbb {N}. Докажите, что если функция gg удовлетворяет условию

λ{x∈R∣g(x)>ε}<+∞ при любом ε>0,(*) \lambda \left\{ x \in \mathbb {R} \mid g(x)>\varepsilon \right\} <+\infty \quad \text{ при любом } \varepsilon >0, \tag {*}

то из сходимости последовательности {fn}\left\{ f_{n}\right\} к нулю почти везде на R\mathbb {R} следует, что fn→0f_{n} \rightarrow 0 по мере. Верно ли это, если условие (*) нарушено?

?
Задача IX.1.15

Пусть {fn,k}n,k⩾1⊂L0(0,1),{fn}⊂L0(0,1),f0∈L0(0,1)\left\{ f_{n, k}\right\}_{n, k} \geqslant 1 \subset \mathscr {L}^{0}(0,1),\left\{ f_{n}\right\} \subset \mathscr {L}^{0}(0,1), f_{0} \in \mathscr {L}^{0}(0,1), и пусть fn,k→fnf_{n, k} \rightarrow f_{n} по мере, fn→f0f_{n} \rightarrow f_{0} по мере. Докажите, что найдётся такая строго возрастающая последовательность номеров {kn}\left\{ k_{n}\right\}, что fn,kn→f0f_{n, k_{n}} \rightarrow f_{0} по мере (теорема о диагональной последовательности). Верно ли аналогичное утверждение, если сходимость по мсре заменить

?
(а)

сходимостью почти везде на (0,1);

(б)

поточечной сходимостью на (0,1)(0,1) ?

Задача IX.1.16

Пусть an⩾0,∑an<∞,Δ=(0,1)a_{n} \geqslant 0, \sum a_{n}<\infty , \Delta =(0,1). Докажите, что

?
(а)

если ∑anln⁡n<∞\sum a_{n} \ln n<\infty, то ряд

∑an∣x−xn∣ \sum \frac{a_{n}}{\left|x-x_{n}\right|}

сходится почти везде на Δ\Delta (относительно меры Лебега) для любой последовательности {xn}⊂R\left\{ x_{n}\right\} \subset \mathbb {R};

(б)

если ∑anln⁡n=∞\sum a_{n} \ln n=\infty и XX - всюду плютное в Δ\Delta счётное множество, то в зависимости от способа нумерации {xn}\left\{ x_{n}\right\} множества XX ряд (1) может как сходиться почти везде на Δ\Delta, так и расходиться почти везде (и даже везде) на Δ\Delta.