Дан ряд функций f_n(x) = x^n на отрезке [0,1]: исследуйте сходимость почти всюду, равномерную сходимость и предельную функцию, обсудите применение теорем о пределе под знаком интеграла
Ответ: - Точечная и почти везде: для каждого x∈[0,1)x\in[0,1)x∈[0,1) выполняется limn→∞xn=0\lim_{n\to\infty}x^n=0limn→∞xn=0, для x=1x=1x=1 — limn→∞1n=1\lim_{n\to\infty}1^n=1limn→∞1n=1. Предельная функция f(x)=limn→∞xn={0,0≤x<1,1,x=1.
f(x)=\lim_{n\to\infty}x^n=\begin{cases}0,&0\le x<1,\\[4pt]1,&x=1.\end{cases} f(x)=n→∞limxn={0,1,0≤x<1,x=1.
Следовательно, сходимость почти всюду (единственная «плохая» точка x=1x=1x=1 имеет меру ноль). - Равномерная сходимость: на всём отрезке [0,1][0,1][0,1] сходимость неравномерна, так как supx∈[0,1]∣xn−f(x)∣=sup0≤x<1xn=1↛0.
\sup_{x\in[0,1]}|x^n-f(x)|=\sup_{0\le x<1}x^n=1\not\to0. x∈[0,1]sup∣xn−f(x)∣=0≤x<1supxn=1→0.
Однако на любом отрезке [0,a][0,a][0,a] с a<1a<1a<1 сходимость равномерна, так как supx∈[0,a]xn=an→0\sup_{x\in[0,a]}x^n=a^n\to0supx∈[0,a]xn=an→0. - Интегралы и перестановка предела и интеграла: для всех nnn∫01xn dx=1n+1→0.
\int_0^1 x^n\,dx=\frac{1}{n+1}\to0. ∫01xndx=n+11→0.
При этом ∫01f(x) dx=0\int_0^1 f(x)\,dx=0∫01f(x)dx=0 (точка x=1x=1x=1 не влияет на интеграл). Поэтому limn→∞∫01xn=∫01limn→∞xn\lim_{n\to\infty}\int_0^1 x^n=\int_0^1\lim_{n\to\infty}x^nlimn→∞∫01xn=∫01limn→∞xn. Обоснование: можно применить теорему о доминированной сходимости — 0≤xn≤10\le x^n\le 10≤xn≤1 и функция g≡1g\equiv1g≡1 интегрируема на [0,1][0,1][0,1]. (Альтернативно: для последовательности 1−xn1-x^n1−xn можно применить теорему монотонной сходимости.) - Дополнительно: имеет место сходимость в норме L1L^1L1: ∥xn−f∥L1=∫01∣xn−f(x)∣ dx=∫01xn dx=1n+1→0.
\|x^n-f\|_{L^1}=\int_0^1|x^n-f(x)|\,dx=\int_0^1 x^n\,dx=\frac{1}{n+1}\to0. ∥xn−f∥L1=∫01∣xn−f(x)∣dx=∫01xndx=n+11→0.
По теореме Его́рова, из сходимости почти всюду на конечной мере следует почти равномерная сходимость: для любого ε>0\varepsilon>0ε>0 существует множество меры <ε<\varepsilon<ε, вне которого сходимость равномерна.
- Точечная и почти везде: для каждого x∈[0,1)x\in[0,1)x∈[0,1) выполняется limn→∞xn=0\lim_{n\to\infty}x^n=0limn→∞ xn=0, для x=1x=1x=1 — limn→∞1n=1\lim_{n\to\infty}1^n=1limn→∞ 1n=1. Предельная функция
f(x)=limn→∞xn={0,0≤x<1,1,x=1. f(x)=\lim_{n\to\infty}x^n=\begin{cases}0,&0\le x<1,\\[4pt]1,&x=1.\end{cases}
f(x)=n→∞lim xn={0,1, 0≤x<1,x=1. Следовательно, сходимость почти всюду (единственная «плохая» точка x=1x=1x=1 имеет меру ноль).
- Равномерная сходимость: на всём отрезке [0,1][0,1][0,1] сходимость неравномерна, так как
supx∈[0,1]∣xn−f(x)∣=sup0≤x<1xn=1↛0. \sup_{x\in[0,1]}|x^n-f(x)|=\sup_{0\le x<1}x^n=1\not\to0.
x∈[0,1]sup ∣xn−f(x)∣=0≤x<1sup xn=1→0. Однако на любом отрезке [0,a][0,a][0,a] с a<1a<1a<1 сходимость равномерна, так как supx∈[0,a]xn=an→0\sup_{x\in[0,a]}x^n=a^n\to0supx∈[0,a] xn=an→0.
- Интегралы и перестановка предела и интеграла: для всех nnn ∫01xn dx=1n+1→0. \int_0^1 x^n\,dx=\frac{1}{n+1}\to0.
∫01 xndx=n+11 →0. При этом ∫01f(x) dx=0\int_0^1 f(x)\,dx=0∫01 f(x)dx=0 (точка x=1x=1x=1 не влияет на интеграл). Поэтому limn→∞∫01xn=∫01limn→∞xn\lim_{n\to\infty}\int_0^1 x^n=\int_0^1\lim_{n\to\infty}x^nlimn→∞ ∫01 xn=∫01 limn→∞ xn. Обоснование: можно применить теорему о доминированной сходимости — 0≤xn≤10\le x^n\le 10≤xn≤1 и функция g≡1g\equiv1g≡1 интегрируема на [0,1][0,1][0,1]. (Альтернативно: для последовательности 1−xn1-x^n1−xn можно применить теорему монотонной сходимости.)
- Дополнительно: имеет место сходимость в норме L1L^1L1:
∥xn−f∥L1=∫01∣xn−f(x)∣ dx=∫01xn dx=1n+1→0. \|x^n-f\|_{L^1}=\int_0^1|x^n-f(x)|\,dx=\int_0^1 x^n\,dx=\frac{1}{n+1}\to0.
∥xn−f∥L1 =∫01 ∣xn−f(x)∣dx=∫01 xndx=n+11 →0. По теореме Его́рова, из сходимости почти всюду на конечной мере следует почти равномерная сходимость: для любого ε>0\varepsilon>0ε>0 существует множество меры <ε<\varepsilon<ε, вне которого сходимость равномерна.