Проверьте утверждение: если последовательность интегралов I_n = integral from 0 to 1 of x^n dx, то I_n сходится к 0; объясните разные подходы к доказательству и укажите, какие свойства функции и меры используются в доказательстве

3 Дек в 13:57
2 +2
0
Ответы
1
Да — In=∫01xn dx→0I_n=\int_0^1 x^n\,dx\to0In =01 xndx0. Кратко три разных подхода и какие свойства используются.
1) Прямое вычисление (элементарно, Riemann):
In=∫01xn dx=x n+1n+1∣01=1n+1 \displaystyle I_n=\int_0^1 x^n\,dx=\left.\frac{x^{\,n+1}}{n+1}\right|_0^1=\frac{1}{n+1}In =01 xndx=n+1xn+1 01 =n+11 .
Следовательно In→0I_n\to0In 0 при n→∞n\to\inftyn.
Используем: непрерывность x↦xnx\mapsto x^nxxn на [0,1][0,1][0,1] (Riemann-интегрируемая), обычная формула первообразной.
2) Теорема о доминированной сходимости (Lebesgue):
Для каждого x∈[0,1)x\in[0,1)x[0,1) имеем xn→0x^n\to0xn0, при x=1x=1x=1 предел =1=1=1, поэтому точечный предел почти везде (a.e.) равен 000 (так как мера точки {1}\{1\}{1} равна 000). Функции xnx^nxn измеримы и выполняется 0≤xn≤10\le x^n\le10xn1 для всех nnn и xxx. Поскольку функция 111 интегрируема на [0,1][0,1][0,1], по теореме Доминированной сходимости
lim⁡n→∞∫01xn dx=∫010 dx=0.\displaystyle \lim_{n\to\infty}\int_0^1 x^n\,dx=\int_0^1 0\,dx=0.nlim 01 xndx=01 0dx=0. Используем: измеримость функций, конечная мера отрезка [0,1][0,1][0,1], наличие интегрирующего доминатора 111, и то что изменение на множестве меры ноль не влияет на интеграл.
3) Оценка и разбиение (элементарный анализ):
Для любого ε∈(0,1)\varepsilon\in(0,1)ε(0,1) ∫01xn dx=∫01−εxn dx+∫1−ε1xn dx≤(1−ε)n+ε.\displaystyle \int_0^1 x^n\,dx=\int_0^{1-\varepsilon} x^n\,dx+\int_{1-\varepsilon}^1 x^n\,dx\le (1-\varepsilon)^n+\varepsilon.01 xndx=01ε xndx+1ε1 xndx(1ε)n+ε. При n→∞n\to\inftyn первый член →0\to00, остаётся ≤ε\le\varepsilonε. Так как ε\varepsilonε произвольно, предел равен 000.
Используем: монотонность xnx^nxn по xxx на [0,1][0,1][0,1], длина отрезка как мера, базовые оценки интеграла.
Замечание: монотонная теорема о сходимости (Monotone Convergence) прямо не применяется, потому что xnx^nxn убывают по nnn; вместо неё используется доминированная теорема или прямой расчёт.
3 Дек в 14:07
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир