В следующем рассуждении утверждается, что можно менять предел и бесконечную сумму: пусть f_n(x)=n x / (1+n^2 x^2) и S(x)=sum_{n=1}^\infty f_n(x); автор вычисляет lim_{x->0} S(x) = sum_{n=1}^\infty lim_{x->0} f_n(x) = 0, затем утверждает, что это равняется lim_{x->0} S(x) при любом порядке действий; проанализируйте корректность такого обмена предела и суммы, приведите условия, когда обмен возможен, и укажите контрпример, если обмен запрещен

7 Ноя в 07:03
6 +6
0
Ответы
1
Коротко: утверждение автора некорректно. Обмен предела и бесконечной суммы возможен при дополнительных условиях (главные из них — равномерная сходимость или наличие суммируемой мажоранты), но в данном примере эти условия не выполняются, и обмен даёт неверный результат.
Разбор примера.
- fn(x)=nx1+n2x2f_n(x)=\dfrac{n x}{1+n^2 x^2}fn (x)=1+n2x2nx . Для любого фиксированного nnn имеем lim⁡x→0fn(x)=0\lim_{x\to0} f_n(x)=0limx0 fn (x)=0, поэтому формально ∑n=1∞lim⁡x→0fn(x)=∑n=1∞0=0\sum_{n=1}^\infty \lim_{x\to0} f_n(x)=\sum_{n=1}^\infty 0=0n=1 limx0 fn (x)=n=1 0=0.
- Но для любого фиксированного x≠0x\neq0x=0 при больших nnn справедливо n2x2≥1n^2 x^2\ge1n2x21 (т.е. при n≥1/∣x∣n\ge 1/|x|n1/∣x), и тогда
1+n2x2≤2n2x2⇒n∣x∣1+n2x2≥n∣x∣2n2x2=12n∣x∣. 1+n^2 x^2 \le 2 n^2 x^2 \quad\Rightarrow\quad
\frac{n|x|}{1+n^2 x^2} \ge \frac{n|x|}{2 n^2 x^2}=\frac{1}{2n|x|}.
1+n2x22n2x21+n2x2nx 2n2x2nx =2nx1 .
Отсюда при x≠0x\neq0x=0 ∑n=1∞∣nx1+n2x2∣≥∑n≥⌈1/∣x∣⌉12n∣x∣=+∞, \sum_{n=1}^\infty \left|\frac{n x}{1+n^2 x^2}\right|
\ge \sum_{n\ge \lceil 1/|x|\rceil} \frac{1}{2n|x|} = +\infty,
n=1 1+n2x2nx n1/∣x 2nx1 =+,
т.е. ряд расходится (в абсолютном и обычном смысле). Следовательно S(x)S(x)S(x) не является конечной для любых x≠0x\neq0x=0, и lim⁡x→0S(x)\lim_{x\to0} S(x)limx0 S(x) не существует (не равен 0). Обмен предела и суммы здесь неверен.
Условия, при которых обмен допустим:
- Равномерная сходимость: если ряд функций ∑n=1∞fn(x)\sum_{n=1}^\infty f_n(x)n=1 fn (x) сходится равномерно на некоторой окрестности точки aaa, то сумма будет непрерывна в aaa и
lim⁡x→a∑n=1∞fn(x)=∑n=1∞lim⁡x→afn(x). \lim_{x\to a}\sum_{n=1}^\infty f_n(x)=\sum_{n=1}^\infty \lim_{x\to a} f_n(x).
xalim n=1 fn (x)=n=1 xalim fn (x).
- Критерий Вейерштрасса: если существуют числа Mn≥0M_n\ge0Mn 0 с ∣fn(x)∣≤Mn|f_n(x)|\le M_nfn (x)Mn для всех xxx в окрестности aaa и ∑Mn<∞\sum M_n<\inftyMn <, то ряд сходится равномерно и обмен возможен.
- Для рядов неотрицательных функций: монотонная сходимость и теоремы интеграции/пределов (в контексте меры) дают аналоги — в частности, теорема о доминированной сходимости (если существует суммируемая функция-мажоранта).
Итог: в вашем примере условия не выполнены, поэтому обмен неверен; общая достаточная условие — равномерная/абсолютная сходимость на окрестности точки (Weierstrass M-test или аналогичные критерии).
7 Ноя в 08:08
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир