В следующем рассуждении утверждается, что можно менять предел и бесконечную сумму: пусть 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) при любом порядке действий; проанализируйте корректность такого обмена предела и суммы, приведите условия, когда обмен возможен, и укажите контрпример, если обмен запрещен
Коротко: утверждение автора некорректно. Обмен предела и бесконечной суммы возможен при дополнительных условиях (главные из них — равномерная сходимость или наличие суммируемой мажоранты), но в данном примере эти условия не выполняются, и обмен даёт неверный результат. Разбор примера. - fn(x)=nx1+n2x2f_n(x)=\dfrac{n x}{1+n^2 x^2}fn(x)=1+n2x2nx. Для любого фиксированного nnn имеем limx→0fn(x)=0\lim_{x\to0} f_n(x)=0limx→0fn(x)=0, поэтому формально ∑n=1∞limx→0fn(x)=∑n=1∞0=0\sum_{n=1}^\infty \lim_{x\to0} f_n(x)=\sum_{n=1}^\infty 0=0∑n=1∞limx→0fn(x)=∑n=1∞0=0. - Но для любого фиксированного x≠0x\neq0x=0 при больших nnn справедливо n2x2≥1n^2 x^2\ge1n2x2≥1 (т.е. при n≥1/∣x∣n\ge 1/|x|n≥1/∣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+n2x2≤2n2x2⇒1+n2x2n∣x∣≥2n2x2n∣x∣=2n∣x∣1.
Отсюда при 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≥n≥⌈1/∣x∣⌉∑2n∣x∣1=+∞,
т.е. ряд расходится (в абсолютном и обычном смысле). Следовательно S(x)S(x)S(x) не является конечной для любых x≠0x\neq0x=0, и limx→0S(x)\lim_{x\to0} S(x)limx→0S(x) не существует (не равен 0). Обмен предела и суммы здесь неверен. Условия, при которых обмен допустим: - Равномерная сходимость: если ряд функций ∑n=1∞fn(x)\sum_{n=1}^\infty f_n(x)∑n=1∞fn(x) сходится равномерно на некоторой окрестности точки aaa, то сумма будет непрерывна в aaa и limx→a∑n=1∞fn(x)=∑n=1∞limx→afn(x).
\lim_{x\to a}\sum_{n=1}^\infty f_n(x)=\sum_{n=1}^\infty \lim_{x\to a} f_n(x). x→alimn=1∑∞fn(x)=n=1∑∞x→alimfn(x).
- Критерий Вейерштрасса: если существуют числа Mn≥0M_n\ge0Mn≥0 с ∣fn(x)∣≤Mn|f_n(x)|\le M_n∣fn(x)∣≤Mn для всех xxx в окрестности aaa и ∑Mn<∞\sum M_n<\infty∑Mn<∞, то ряд сходится равномерно и обмен возможен. - Для рядов неотрицательных функций: монотонная сходимость и теоремы интеграции/пределов (в контексте меры) дают аналоги — в частности, теорема о доминированной сходимости (если существует суммируемая функция-мажоранта). Итог: в вашем примере условия не выполнены, поэтому обмен неверен; общая достаточная условие — равномерная/абсолютная сходимость на окрестности точки (Weierstrass M-test или аналогичные критерии).
Разбор примера.
- fn(x)=nx1+n2x2f_n(x)=\dfrac{n x}{1+n^2 x^2}fn (x)=1+n2x2nx . Для любого фиксированного nnn имеем limx→0fn(x)=0\lim_{x\to0} f_n(x)=0limx→0 fn (x)=0, поэтому формально ∑n=1∞limx→0fn(x)=∑n=1∞0=0\sum_{n=1}^\infty \lim_{x\to0} f_n(x)=\sum_{n=1}^\infty 0=0∑n=1∞ limx→0 fn (x)=∑n=1∞ 0=0.
- Но для любого фиксированного x≠0x\neq0x=0 при больших nnn справедливо n2x2≥1n^2 x^2\ge1n2x2≥1 (т.е. при n≥1/∣x∣n\ge 1/|x|n≥1/∣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+n2x2≤2n2x2⇒1+n2x2n∣x∣ ≥2n2x2n∣x∣ =2n∣x∣1 . Отсюда при 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 ≥n≥⌈1/∣x∣⌉∑ 2n∣x∣1 =+∞, т.е. ряд расходится (в абсолютном и обычном смысле). Следовательно S(x)S(x)S(x) не является конечной для любых x≠0x\neq0x=0, и limx→0S(x)\lim_{x\to0} S(x)limx→0 S(x) не существует (не равен 0). Обмен предела и суммы здесь неверен.
Условия, при которых обмен допустим:
- Равномерная сходимость: если ряд функций ∑n=1∞fn(x)\sum_{n=1}^\infty f_n(x)∑n=1∞ fn (x) сходится равномерно на некоторой окрестности точки aaa, то сумма будет непрерывна в aaa и
limx→a∑n=1∞fn(x)=∑n=1∞limx→afn(x). \lim_{x\to a}\sum_{n=1}^\infty f_n(x)=\sum_{n=1}^\infty \lim_{x\to a} f_n(x).
x→alim n=1∑∞ fn (x)=n=1∑∞ x→alim fn (x). - Критерий Вейерштрасса: если существуют числа Mn≥0M_n\ge0Mn ≥0 с ∣fn(x)∣≤Mn|f_n(x)|\le M_n∣fn (x)∣≤Mn для всех xxx в окрестности aaa и ∑Mn<∞\sum M_n<\infty∑Mn <∞, то ряд сходится равномерно и обмен возможен.
- Для рядов неотрицательных функций: монотонная сходимость и теоремы интеграции/пределов (в контексте меры) дают аналоги — в частности, теорема о доминированной сходимости (если существует суммируемая функция-мажоранта).
Итог: в вашем примере условия не выполнены, поэтому обмен неверен; общая достаточная условие — равномерная/абсолютная сходимость на окрестности точки (Weierstrass M-test или аналогичные критерии).