题目:研究函数 f ( x ) = ∑ n = 0 ∞ 1 2 n + x f(x)=\sum_{n=0}^{\infty}\frac{1}{2^n+x} f(x)=∑n=0∞2n+x1在 [ 0 , + ∞ ) [0,+\infty) [0,+∞)上的连续性,一致连续性与可微性.
(1)由 1 2 n + x ≤ 1 2 n \frac{1}{2^n+x}\le\frac{1}{2^n} 2n+x1≤2n1及Weierstrass判别法得到 ∑ n = 0 ∞ 1 2 n + x \sum_{n=0}^{\infty}\frac{1}{2^n+x} ∑n=0∞2n+x1在 [ 0 , + ∞ ) [0,+\infty) [0,+∞)上一致收敛,因为 1 2 n + x \frac{1}{2^n+x} 2n+x1连续,所以 ∑ n = 0 ∞ 1 2 n + x \sum_{n=0}^{\infty}\frac{1}{2^n+x} ∑n=0∞2n+x1连续.
(2)由
∣
f
(
x
1
)
−
f
(
x
2
)
∣
=
∣
∑
n
=
0
∞
(
1
2
n
+
x
1
−
1
2
n
+
x
2
)
=
∣
x
−
y
∣
∑
n
=
0
∞
1
(
2
n
+
x
1
)
(
2
n
+
x
2
)
≤
∣
x
−
y
∣
∑
n
=
0
∞
1
2
2
n
=
3
4
∣
x
−
y
∣
\begin{aligned} |f(x_1)-f(x_2)| &= |\sum_{n=0}^{\infty}\left( \frac{1}{2^n+x_1}-\frac{1}{2^n+x_2} \right)\\ &=|x-y|\sum_{n=0}^{\infty}\frac{1}{(2^n+x_1)(2^n+x_2)}\\ &\le|x-y|\sum_{n=0}^{\infty}\frac{1}{2^{2n}}=\frac{3}{4}|x-y| \end{aligned}
∣f(x1)−f(x2)∣=∣n=0∑∞(2n+x11−2n+x21)=∣x−y∣n=0∑∞(2n+x1)(2n+x2)1≤∣x−y∣n=0∑∞22n1=43∣x−y∣
所以可以得到
∀
ε
>
0
,
∃
δ
=
3
ε
4
>
0
,
s
.
t
.
∀
x
,
y
≥
0
,
∣
x
−
y
∣
<
δ
,
∣
f
(
x
)
−
f
(
y
)
∣
<
ε
\forall \varepsilon>0,\exist \delta=\frac{3\varepsilon}{4}>0,s.t. \forall x,y \ge 0,|x-y| < \delta , |f(x)-f(y)|<\varepsilon
∀ε>0,∃δ=43ε>0,s.t.∀x,y≥0,∣x−y∣<δ,∣f(x)−f(y)∣<ε
所以
f
f
f在
[
0
,
+
∞
)
[0,+\infty)
[0,+∞)上一致连续.
(3)由
∣
(
1
2
n
+
x
)
′
∣
=
1
(
2
n
+
x
)
2
≤
1
4
n
\left|\left( \frac{1}{2^n+x} \right)^{\prime}\right|=\frac{1}{(2^n+x)^2}\le\frac{1}{4^n}
∣∣∣∣∣(2n+x1)′∣∣∣∣∣=(2n+x)21≤4n1
所以
∑
n
=
0
∞
(
1
2
n
+
x
)
′
\sum_{n=0}^{\infty}\left( \frac{1}{2^n+x} \right)^{\prime}
∑n=0∞(2n+x1)′在
[
0
,
+
∞
)
[0,+\infty)
[0,+∞)上一致收敛,而
f
f
f在
[
0
,
+
∞
)
[0,+\infty)
[0,+∞)上可微,且可逐项可导.
此题用到了判断函数列一致收敛的Weierstrass判别法,函数列极限函数的连续性、一致连续性、可微性的判断.
魏尔斯特拉斯判别法 社函数项级数
∑
u
n
(
x
)
\sum{u_n}(x)
∑un(x)定义在数集
D
D
D上,
Σ
M
n
\Sigma M_n
ΣMn为收敛的正项级数,若对一切
x
∈
D
x\in D
x∈D,有
∣
u
n
(
x
)
∣
≤
M
n
,
n
=
1
,
2
,
⋯
|u_n(x)|\le M_n , n=1,2,\cdots
∣un(x)∣≤Mn,n=1,2,⋯
则函数项级数
∑
u
n
(
x
)
\sum{u_n(x)}
∑un(x)在
D
D
D上一致收敛.
函数列的连续性 若函数列 { f n } \{f_n\} {fn}在区间 I I I上一致收敛,且每一项都连续,则其极限函数 f f f在 I I I上也连续.
可微性 设
{
f
n
}
\{f_n\}
{fn}为定义在
[
a
,
b
]
[a,b]
[a,b]上的函数列,若
x
0
∈
[
a
,
b
]
x_0\in[a,b]
x0∈[a,b]为
{
f
n
}
\{f_n\}
{fn}的收敛点,
{
f
n
}
\{f_n\}
{fn}的每一项在
[
a
,
b
]
[a,b]
[a,b]上有连续的导数,且
{
f
n
′
}
\{f^{\prime}_n\}
{fn′}在
[
a
,
b
]
[a,b]
[a,b]上一致收敛,则
d
d
x
(
lim
n
→
∞
f
n
(
x
)
)
=
lim
n
→
∞
d
d
x
f
n
(
x
)
\frac{\mathrm{d}}{\mathrm dx}\left( \lim_{n\to \infty}f_n(x) \right)=\lim_{n \to \infty} \frac{\mathrm d}{\mathrm dx}f_n(x)
dxd(n→∞limfn(x))=n→∞limdxdfn(x)