Рассмотрите последовательность функций f_n(x) = x^n на отрезке [0,1]. Исследуйте сходимость этой последовательности по точкам и равномерную сходимость; можно ли при этом менять предел и интеграл/производную? Проанализируйте типичные ошибки в рассуждениях о предельных переходах
Кратко и по делу. 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,\\[2pt]1,&x=1.\end{cases} f(x)=n→∞limxn={0,1,0≤x<1,x=1.
(разрыв в x=1x=1x=1). 2) Равномерная сходимость на [0,1][0,1][0,1]. - Неравномерна: пусть gn(x)=∣xn−f(x)∣g_n(x)=|x^n-f(x)|gn(x)=∣xn−f(x)∣. Для каждого nnnsupx∈[0,1]gn(x)=supx∈[0,1)xn=1\sup_{x\in[0,1]} g_n(x)=\sup_{x\in[0,1)} x^n=1supx∈[0,1]gn(x)=supx∈[0,1)xn=1 (супремум равен 1, хотя не достигается), значит supgn↛0\sup g_n\not\to0supgn→0. Следовательно сходимость неравномерна на всём [0,1][0,1][0,1]. - На любом отрезке [0,a][0,a][0,a] с a∈[0,1)a\in[0,1)a∈[0,1) сходимость равномерна, так как supx∈[0,a]∣xn−0∣=supx∈[0,a]xn=an→0.
\sup_{x\in[0,a]} |x^n-0|=\sup_{x\in[0,a]} x^n=a^n\to0. x∈[0,a]sup∣xn−0∣=x∈[0,a]supxn=an→0. 3) Предел и интеграл. - ∫01xn dx=1n+1→0\displaystyle\int_0^1 x^n\,dx=\frac{1}{n+1}\to0∫01xndx=n+11→0. Предел функции интегрируемой почти везде равен 0, и ∫01f= 0\int_0^1 f=\!0∫01f=0 (точка x=1x=1x=1 не влияет). По теореме о доминированной сходимости (или прямым вычислением) можно менять предел и интеграл: limn→∞∫01xn dx=∫01limn→∞xn dx=0.
\lim_{n\to\infty}\int_0^1 x^n\,dx=\int_0^1\lim_{n\to\infty} x^n\,dx=0. n→∞lim∫01xndx=∫01n→∞limxndx=0. 4) Предел и производная. - Производные: fn′(x)=nx n−1f_n'(x)=n x^{\,n-1}fn′(x)=nxn−1 для x∈(0,1]x\in(0,1]x∈(0,1]. Для фиксированного x∈(0,1)x\in(0,1)x∈(0,1) имеем limn→∞nxn−1=0\lim_{n\to\infty} n x^{n-1}=0limn→∞nxn−1=0 (экспоненциальный фактор побеждает линейный), и для x=1x=1x=1fn′(1)=n→∞f_n'(1)=n\to\inftyfn′(1)=n→∞. Следовательно производные не сходятся равномерно на (0,1](0,1](0,1] и тем более на [0,1][0,1][0,1]. - Предел функции fff на (0,1)(0,1)(0,1) дифференцируем и f′(x)=0f'(x)=0f′(x)=0 для x∈(0,1)x\in(0,1)x∈(0,1). На любом [0,a][0,a][0,a] с a<1a<1a<1 имеем равномерную сходимость производных к нулю, т.е. supx∈[0,a]nxn−1=nan−1→0\sup_{x\in[0,a]} n x^{n-1}=n a^{n-1}\to0supx∈[0,a]nxn−1=nan−1→0; тогда по стандартной теореме о покомпонентной дифференцировке можно менять предел и производную на таких отрезках и получать limn→∞fn′(x)=f′(x)=0 \lim_{n\to\infty} f_n'(x)=f'(x)=0limn→∞fn′(x)=f′(x)=0 на [0,a][0,a][0,a]. Но на всём [0,1][0,1][0,1] менять предел и производную нельзя (ведь fff разрывна в 1 и fn′f_n'fn′ не сходятся равномерно). 5) Типичные ошибки. - Путать точечную и равномерную сходимость: наличие предельной точки, где все fnf_nfn принимают то же значение, не даёт равномерности (нужен супремум по всему отрезку). - Утверждать, что раз все fnf_nfn непрерывны, то и предел будет непрерывным: это верно только при равномерной сходимости. Здесь пример прямо опровергает. - Полагать, что невозможность менять предел и интеграл следует из отсутствия равномерности на всём отрезке — нет: для интерагрирования достаточно доминирования (или равномерной сходимости в интегральном смысле). - Дифференцирование под знаком предела требует дополнительных условий (обычно: fnf_nfn непрерывны, fn′f_n'fn′ сходятся равномерно на отрезке и fn(x0)f_n(x_0)fn(x0) сходится в одной точке). Отсутствие равномерной сходимости производных или разрыв предела ломают процедуру. Выводы: точечная сходимость к функции с разрывом в 1; неравномерна на [0,1][0,1][0,1], но равномерна на любых [0,a][0,a][0,a], a<1a<1a<1; можно менять предел и интеграл (результат 0), нельзя в общем менять предел и производную на всем [0,1][0,1][0,1], но можно на любых [0,a][0,a][0,a] с a<1a<1a<1.
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,\\[2pt]1,&x=1.\end{cases}
f(x)=n→∞lim xn={0,1, 0≤x<1,x=1. (разрыв в x=1x=1x=1).
2) Равномерная сходимость на [0,1][0,1][0,1].
- Неравномерна: пусть gn(x)=∣xn−f(x)∣g_n(x)=|x^n-f(x)|gn (x)=∣xn−f(x)∣. Для каждого nnn supx∈[0,1]gn(x)=supx∈[0,1)xn=1\sup_{x\in[0,1]} g_n(x)=\sup_{x\in[0,1)} x^n=1supx∈[0,1] gn (x)=supx∈[0,1) xn=1 (супремум равен 1, хотя не достигается), значит supgn↛0\sup g_n\not\to0supgn →0. Следовательно сходимость неравномерна на всём [0,1][0,1][0,1].
- На любом отрезке [0,a][0,a][0,a] с a∈[0,1)a\in[0,1)a∈[0,1) сходимость равномерна, так как
supx∈[0,a]∣xn−0∣=supx∈[0,a]xn=an→0. \sup_{x\in[0,a]} |x^n-0|=\sup_{x\in[0,a]} x^n=a^n\to0.
x∈[0,a]sup ∣xn−0∣=x∈[0,a]sup xn=an→0.
3) Предел и интеграл.
- ∫01xn dx=1n+1→0\displaystyle\int_0^1 x^n\,dx=\frac{1}{n+1}\to0∫01 xndx=n+11 →0. Предел функции интегрируемой почти везде равен 0, и ∫01f= 0\int_0^1 f=\!0∫01 f=0 (точка x=1x=1x=1 не влияет). По теореме о доминированной сходимости (или прямым вычислением) можно менять предел и интеграл:
limn→∞∫01xn dx=∫01limn→∞xn dx=0. \lim_{n\to\infty}\int_0^1 x^n\,dx=\int_0^1\lim_{n\to\infty} x^n\,dx=0.
n→∞lim ∫01 xndx=∫01 n→∞lim xndx=0.
4) Предел и производная.
- Производные: fn′(x)=nx n−1f_n'(x)=n x^{\,n-1}fn′ (x)=nxn−1 для x∈(0,1]x\in(0,1]x∈(0,1]. Для фиксированного x∈(0,1)x\in(0,1)x∈(0,1) имеем limn→∞nxn−1=0\lim_{n\to\infty} n x^{n-1}=0limn→∞ nxn−1=0 (экспоненциальный фактор побеждает линейный), и для x=1x=1x=1 fn′(1)=n→∞f_n'(1)=n\to\inftyfn′ (1)=n→∞. Следовательно производные не сходятся равномерно на (0,1](0,1](0,1] и тем более на [0,1][0,1][0,1].
- Предел функции fff на (0,1)(0,1)(0,1) дифференцируем и f′(x)=0f'(x)=0f′(x)=0 для x∈(0,1)x\in(0,1)x∈(0,1). На любом [0,a][0,a][0,a] с a<1a<1a<1 имеем равномерную сходимость производных к нулю, т.е. supx∈[0,a]nxn−1=nan−1→0\sup_{x\in[0,a]} n x^{n-1}=n a^{n-1}\to0supx∈[0,a] nxn−1=nan−1→0; тогда по стандартной теореме о покомпонентной дифференцировке можно менять предел и производную на таких отрезках и получать limn→∞fn′(x)=f′(x)=0 \lim_{n\to\infty} f_n'(x)=f'(x)=0limn→∞ fn′ (x)=f′(x)=0 на [0,a][0,a][0,a]. Но на всём [0,1][0,1][0,1] менять предел и производную нельзя (ведь fff разрывна в 1 и fn′f_n'fn′ не сходятся равномерно).
5) Типичные ошибки.
- Путать точечную и равномерную сходимость: наличие предельной точки, где все fnf_nfn принимают то же значение, не даёт равномерности (нужен супремум по всему отрезку).
- Утверждать, что раз все fnf_nfn непрерывны, то и предел будет непрерывным: это верно только при равномерной сходимости. Здесь пример прямо опровергает.
- Полагать, что невозможность менять предел и интеграл следует из отсутствия равномерности на всём отрезке — нет: для интерагрирования достаточно доминирования (или равномерной сходимости в интегральном смысле).
- Дифференцирование под знаком предела требует дополнительных условий (обычно: fnf_nfn непрерывны, fn′f_n'fn′ сходятся равномерно на отрезке и fn(x0)f_n(x_0)fn (x0 ) сходится в одной точке). Отсутствие равномерной сходимости производных или разрыв предела ломают процедуру.
Выводы: точечная сходимость к функции с разрывом в 1; неравномерна на [0,1][0,1][0,1], но равномерна на любых [0,a][0,a][0,a], a<1a<1a<1; можно менять предел и интеграл (результат 0), нельзя в общем менять предел и производную на всем [0,1][0,1][0,1], но можно на любых [0,a][0,a][0,a] с a<1a<1a<1.