|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval
; m; f! M3 @" _ a . Assume that for at least one point
9 z! O4 \( b% P% f* b5 }% ?5 v. t in# a) F: }* ~- A+ j/ A
the sequence converges. Assume further that there exists a function g such that
( ]( i, L/ k3 u% j uniformly on
. c6 k L! G0 V& J' Y8 ` . Then: 9 Y+ j: m- k# W$ X
a) There exists a function f such that# Y; w7 E& r: F% u) p4 T# ~7 ^4 @; H! e
uniformly on
; r( V2 n+ A- {, a& p . b) For each x in
$ c3 P, Z* Z1 V0 O' h# V/ Y! o+ @8 s; l2 t the derivative, E, o5 }/ V x! @3 a
exists and equal0 b# a9 J/ |% D+ U6 }- S: ]3 `
. Proof. Assume that. [3 t# s2 `1 [9 a! ^+ v- T
and define a new sequence+ @& t5 }3 L) W. [( h' G0 g4 d
as follows: B6 y; H2 {& m; O
9 p/ Q8 W4 q8 K) v (8)
6 d9 i1 i. z7 r2 t/ w& O
The sequence
2 k8 L5 M7 \" `5 |( D4 ` so formed depends on the choice of c. Convergence of follows from the hypothesis, since
% h2 l0 ]) a9 Q) I . We will prove next that
|& I' z3 H+ v; u- _' x converges uniformly on
9 H8 I, s( V( ]* e . If , we have , z8 z9 m1 g$ t& R
,/ Q. n2 Z# ^: G0 N3 t
(9)
% T4 l5 n N& _/ A- t5 K5 L
where3 P" U% n3 ~$ D; A4 a# T8 k
. Now
) U O8 B( ?" }% R: P5 e exists for each x in( E& \6 f2 ?- S; P
and has the value J* c( C+ ?. ~: T
. Applying the Mean-Value Theorem in (9), we get ,6 |6 W) I9 h( Z1 K5 K. S6 T
7 K: e8 p# g0 x& D/ b& k (10) where
) R& F @" m9 c+ | lies between x and c. Since
& m) F" U5 l2 `0 Q7 \ converges uniformly on
* W) n& f- @) v (by hypothesis), we can use (10), together with the Cauthy condition, to deduce that
0 i- P2 t4 v# r/ d; b converges uniformly on( ~8 y* ~1 J! W$ H5 N" G! W9 v
. Now we can show that
: L; W; k0 I2 [- C5 |5 ` converges uniformly on
a) l" h$ b0 T: i/ o . Let us form the particular sequence. d# x/ \% o! ` e, a; ?
corresponding to the special point
9 W8 O- ^1 E. P( O4 b( y, K! [" p for which' _ ~0 z- r: C1 e$ x
is assumed to converge. Form (8) we can write
an equation which holds for every x in1 t+ f& R/ N+ r! `
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on" `% [! B, C+ ]% ]* k
. This proves (a). To prove (b), return to the sequence [" p9 I# S( a0 E6 `
defined by (8) for an arbitrary point c in- _# \ j [- w7 w# l- t- p3 k
and let3 O" H1 l( p0 r& l
. The hypothesis that! ?; v7 R" Z6 Q9 N6 _) Z% C
exists means that . In other words, each7 s) p7 c0 N4 S4 S, m
is continuous at c. Since
, O! ^: l- o2 d/ J# j5 G uniformly on# l0 h1 W% W' i0 y# Z6 I6 u
, the limit function G is also continuous at c. This means that / z/ |, @' Q" f2 Q) |' G
(11) the existence of the limit being part of the conclusion. But for+ ^- F! H2 ?/ C( M# }" ]
, we have
Hence, (11) states that the derivative
2 A3 o* W2 C; m exists and equals9 h# x- U2 H9 `
. But
hence
4 j& e9 a- d: \1 T6 ?4 ^ . Since c is an arbitrary point of
7 K9 K8 r1 `' s6 s, r) V1 h+ q, r , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain 4 F/ f S' U) g9 ]7 Z
Theorem 9.14. Assume that each
; F" f: d4 {7 V' y5 c is a real-valued function defined on2 @* N1 r4 c7 O- T
such that the derivative! b& [) S! _; S1 c
exists for each x in& m" b R# Q* h- R A
. Assume that, for at least one point% e8 C1 @6 v9 X. G- ^
in
* E# J* e' S* x ^- M3 O , the series, @+ c; b" P0 L9 k" N2 W
converges. Assume further that there exists a function g such that (uniformly on
3 H) Z% m. n0 V# I ). Then: a)
, M. N7 d1 w! Y' i. K; r+ C; M There exists a function f such that
. r. W; f7 A3 J$ m7 [ (uniformly on
: C3 s* o/ |5 s+ c& O- n6 M ). b)
3 s0 r3 V/ @9 v; ^4 s8 F If , the derivative; ?: N) J6 B: h3 ]* `& B/ W9 R
exists and equals
+ V0 n4 Z1 {6 s/ K . |