|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval
" c/ O7 G( D/ n8 s( _% F$ p . Assume that for at least one point
6 p; A/ w8 {1 n: z. H in
" Y8 l' J3 ?- e9 j" x a7 B the sequence converges. Assume further that there exists a function g such that
; r' J" d9 M% H7 H uniformly on5 d- }' ]$ R7 ?
. Then: ! k+ g7 }! \- y8 `: y8 r/ }4 }/ z
a) There exists a function f such that* G, a4 j2 x4 q0 Z! _9 G2 ~
uniformly on
3 T5 s* k ?8 z# M5 W; B# P: A; V . b) For each x in
4 w8 A8 V( ]5 h Y4 M" J, b) ]! P& c the derivative
6 D4 V1 s4 S0 A! L exists and equal4 _7 i; \0 A& \
. Proof. Assume that
1 Z7 H4 ?: N% l! S7 p and define a new sequence1 d9 s0 `9 Q% y6 O) H2 |; y; ~
as follows:
4 F& ]+ H0 x5 t& ~
( I D1 \& w- T F7 x( ^5 Y# ?$ b
(8)
( v4 G$ ?- j0 p- B% J
The sequence
* j1 N, n, [, s$ w$ G# M& ^ so formed depends on the choice of c. Convergence of follows from the hypothesis, since M- }9 \) O ^( h- j+ R& ]9 ^
. We will prove next that
. f+ J% G/ O8 C' V4 t0 w* R converges uniformly on
* X T( h# {8 o1 S! g . If , we have
+ o1 u% u7 R }8 s
,
7 P: r5 f3 r7 `+ N3 ~ (9) 4 ^7 r. g' t1 r6 @. p
where
; g5 r+ G3 F( r+ F+ G) o. R* n. S& s . Now
8 p1 p [6 y& k3 b8 _ exists for each x in) P% s1 X2 d' J& P$ A* g
and has the value
% [. J0 ^* d: G* D9 O5 w6 |% J# u5 T . Applying the Mean-Value Theorem in (9), we get ,0 z0 {# K6 ~3 f5 m" P/ X" w
0 e8 S/ |6 `5 D4 g d9 A; y% a) e
(10) where
5 R2 U0 j& \: e6 a lies between x and c. Since
0 y* w* G$ Q3 o5 U! |2 J* C converges uniformly on" [) s! l( k% Z% Z
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that( m+ J) h1 I- F/ U4 t# N/ V$ Q
converges uniformly on
+ Q! G7 s, T% y$ I1 P- U. R2 }* c . Now we can show that( H0 D1 A$ K, B
converges uniformly on
9 w( u7 q/ R9 b( _; r) Y ~ . Let us form the particular sequence/ j* s- {6 f, s( T+ N8 t8 S) [
corresponding to the special point: I8 A6 ^+ ~5 v
for which9 C' T5 A- }& q- n) @) |
is assumed to converge. Form (8) we can write
an equation which holds for every x in
% B- I; T/ i% l e/ T1 D8 V& O . Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
9 u- u7 e9 g; ] . This proves (a). To prove (b), return to the sequence X4 M) c4 `6 d0 J) _
defined by (8) for an arbitrary point c in! @( i3 @% @4 v; b4 {+ z
and let
+ Y7 X4 W+ L, Y& T . The hypothesis that
' F+ O6 W5 i% W+ f' ?% m exists means that . In other words, each
, o8 C# p0 Y8 X: x3 t) A is continuous at c. Since6 O6 S& L, ?6 v& q
uniformly on- `8 A9 d- }$ X! i* a( O
, the limit function G is also continuous at c. This means that
# ]2 Q, I2 G# Y1 g (11) the existence of the limit being part of the conclusion. But for8 P& o) r5 }; l0 c* s
, we have
Hence, (11) states that the derivative1 m- a8 A' s6 d+ f$ d
exists and equals" q1 y' l) k- v7 W& Y! F7 e5 A9 S/ c
. But
hence
+ ~* a# x) [* [4 I4 R/ m1 O . Since c is an arbitrary point of
7 W2 t6 ?# ?/ C, d: j; x , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
; l3 h8 l4 \9 _
Theorem 9.14. Assume that each# X5 i. W. z. p2 t& y* G& K
is a real-valued function defined on3 O2 y. x5 Q2 i% M* R* `
such that the derivative4 E! |0 X& r6 x o0 ^
exists for each x in
) I0 [7 s- p4 \* P- J2 N . Assume that, for at least one point
& W6 w6 N+ Q5 Z5 Y' O in
( A! {% V: W. T' A: r , the series
Q {# L$ P- c# n# x+ {* \. u% y converges. Assume further that there exists a function g such that (uniformly on1 c' q' }& F. B7 h8 _4 k6 n6 C
). Then: a)7 |0 c" h* Q) Y1 C* v
There exists a function f such that
6 ]9 W* b4 p% U2 T# \ (uniformly on+ X) U, E3 g0 V" g
). b)
8 ?' F' s: N% T4 h% x If , the derivative' k* M$ j0 c$ n
exists and equals, A! v+ x$ K) s( Q
. |