|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval4 V) l \2 B; h; o
. Assume that for at least one point
# p3 `; k! c0 x% K/ d2 X7 ^/ V& N in0 ^& e$ P* z' M# e3 y5 X4 }
the sequence converges. Assume further that there exists a function g such that
# x; ?3 E, [& n1 } uniformly on
) u. x8 e5 F% ` T& q . Then: 8 T* d" C+ P0 S3 B
a) There exists a function f such that7 D5 U" F. [4 k% |
uniformly on2 a. k$ W$ l& s' W6 g9 f, w' ]
. b) For each x in
5 @7 l3 d& X9 O6 B3 w1 { the derivative
t8 l* |0 X) {- z exists and equal
4 b4 ~ ^$ f5 s$ R/ o . Proof. Assume that( J5 h" B6 {' F9 J$ r
and define a new sequence; m+ j1 {8 h8 M% `& Y8 a
as follows: 8 a( o, s/ j: W* ~" @- R, B
4 F( L$ y R5 p5 `9 M/ _# F: c/ @ (8)
2 D5 Z4 w" p9 Y1 D3 [
The sequence
. X/ i+ Y* u) ^* k& t2 I so formed depends on the choice of c. Convergence of follows from the hypothesis, since4 _+ o7 w. u9 ~% Z; l; n
. We will prove next that
2 Y9 H1 d) d7 f0 k( X! s: ^; C converges uniformly on0 k7 t* n. B7 Z' l( I: O" B
. If , we have 1 k. ~- e) N h1 H
, `; a1 Y/ |3 n& B! ^% W: S
(9)
|/ m' U6 H( E2 E* r
where+ b3 Y1 U# A- q+ t# a k' ^
. Now& m' H) _9 h. }3 |: v- q7 s
exists for each x in) b$ v8 h R, z% {+ m4 W
and has the value
& U. h& l- F1 `. `: h . Applying the Mean-Value Theorem in (9), we get ,
& l& f: `& L+ [1 w) I
* } z3 \/ t+ D# |2 T+ M3 @+ `# j (10) where9 o5 d9 {3 n/ |; g0 A
lies between x and c. Since
) m: s( G Q1 |. o+ H2 q converges uniformly on% U. l2 W: G8 X5 ]' N( R y; \
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that9 U9 e1 P* J: I" U" n0 h% ~. I
converges uniformly on8 j- H1 q: w5 n; n6 j
. Now we can show that
( ?/ o* B, T+ {& G% I3 |4 g converges uniformly on
; z0 i4 N. w( ]. d5 }' b2 @ . Let us form the particular sequence) m- \) w) [5 m; K( j0 i
corresponding to the special point# G( }4 H8 X2 ]" G! F4 ~1 Y# }
for which
# f2 o9 e$ D7 i/ a% z7 ` is assumed to converge. Form (8) we can write
an equation which holds for every x in1 t% a1 `/ O1 c" G5 T! t" p
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
: F' [: v/ E$ F6 Q . This proves (a). To prove (b), return to the sequence
8 v2 w2 M2 z4 }" }, o( l/ J defined by (8) for an arbitrary point c in9 g4 d" Z& W# \4 v) R- c
and let
& D) V) h3 }) t* @& e2 P . The hypothesis that
6 \, Y( Z3 u5 E u; U exists means that . In other words, each
2 K; l" o! r9 G: c3 K, M9 C is continuous at c. Since2 A: p* g' B' ~5 y; t% ^" W
uniformly on2 r( p M& o; e- M- @& E9 D
, the limit function G is also continuous at c. This means that " t: z+ V1 M0 B" v1 b) A; W$ W
(11) the existence of the limit being part of the conclusion. But for
I" L$ B6 o# W% x# G4 q , we have
Hence, (11) states that the derivative, K" }" Y& {' t, l2 q7 M7 O0 o
exists and equals) O4 \# }$ v+ T W
. But
hence# w: g3 O; g$ ~$ r5 L8 B. n
. Since c is an arbitrary point of' o4 y. `3 Z1 {. f+ ~
, this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain . B1 E' L9 @5 [7 F, u/ M
Theorem 9.14. Assume that each
3 \% s2 ]& t5 a is a real-valued function defined on# R) m7 a" p6 G: K" Z
such that the derivative9 R6 P2 K5 S; U: V* R& {
exists for each x in
/ D. p; z& ?* M1 Z" N) A . Assume that, for at least one point% y* I/ s4 a9 j+ Z6 T9 a
in
% O. |, o1 \$ s; p( J , the series
4 F2 e) s0 n- U4 M converges. Assume further that there exists a function g such that (uniformly on
! z u$ n2 T5 [: W" j0 V ). Then: a)
7 r, f& q; ]! |) L: }1 E) _ There exists a function f such that
' i' I4 q. ~( p: X5 E4 q% f (uniformly on3 S+ B- n3 u( ~& `7 B! Q
). b)
& }2 T2 e2 W8 L( [3 P) M. L If , the derivative Y1 U2 _1 K( p% _8 i
exists and equals
f6 ~+ t. O/ i: F/ ^ . |