|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval
2 T1 h, `5 W* D0 Y: t& d0 K/ x# _ . Assume that for at least one point$ ~0 T+ C- D% H! p! }3 x( Z# h% w
in
! P) ]6 A$ f( [' L the sequence converges. Assume further that there exists a function g such that4 k, |/ [; R" b2 Z8 Q+ R! `# u
uniformly on/ j2 X1 l; p+ x
. Then:
7 b) O: h+ x$ \# |
a) There exists a function f such that; u7 r9 ^/ ^; x2 A: C
uniformly on b- R8 _* \" G6 ^; s
. b) For each x in; G% j1 u* t9 p0 t4 Z" {
the derivative7 G& w* c N$ J! g( N6 D$ ?& y
exists and equal
' C) A. w5 i. m: k . Proof. Assume that4 I: Y8 P5 x+ u' C5 x7 `
and define a new sequence3 t O0 r- h0 b J- c
as follows:
$ v8 T" I7 S: P5 R
$ J$ ?2 G A; Y0 x! H2 ^ (8)
" Q: k1 T9 f; q' u
The sequence% v6 C. C% ^5 f# r \7 Z
so formed depends on the choice of c. Convergence of follows from the hypothesis, since- i6 [/ n/ d' ^, ?8 a! t
. We will prove next that
* G6 Q8 l& i, Y9 ^% U2 x converges uniformly on
" Y) v8 l5 C3 ~0 y; ^7 S, G b . If , we have 3 t+ o3 y; y) S1 P( @! Y B5 {
,
3 q% ?9 g5 d4 ^+ s (9) 5 D! b: j* k, U& J, I; n8 B5 b
where
7 f$ _# r: I( s% [6 K1 C9 N . Now( r! ^3 _" b! ]; {* `% o2 f4 Z
exists for each x in5 L. x/ x3 k5 R1 f, x( y% p- ?
and has the value
9 D, e! W" W( H4 H% z0 |* @ . Applying the Mean-Value Theorem in (9), we get ,$ Y7 N# u# i- S2 j$ z
' \2 f/ X, e- v$ e* G: H* K. ]3 v
(10) where
! |' @5 {3 v% n lies between x and c. Since5 c, O) E+ ]9 E4 o% Z! n
converges uniformly on2 {2 z( P, s! H! T; f2 N1 i. R" @" u
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that/ F7 y4 O8 d$ E
converges uniformly on1 @( g& ^* R, b& R( Y2 F
. Now we can show that
. v! b: O+ {) ?3 v7 v3 w, T) N converges uniformly on
' w: W( x1 X- o3 w . Let us form the particular sequence) o! D5 G4 ~2 z1 g% D7 w
corresponding to the special point
! I j6 ?7 z9 g- j for which3 O/ b* C( x) |$ `" n
is assumed to converge. Form (8) we can write
an equation which holds for every x in/ h' y/ c8 } n: ?1 \, ^
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on& y8 N4 }" T* G* g7 ?
. This proves (a). To prove (b), return to the sequence. I: a7 I8 k5 P0 T
defined by (8) for an arbitrary point c in
# Z) ^" T) ~, v r) N and let
! B2 m6 K; X8 f& k' Z# [$ \6 V3 @; @ . The hypothesis that
1 J% E: H6 Z2 @: h9 ~" ~; [5 d exists means that . In other words, each
9 x4 L# t6 d, g ]9 W' H is continuous at c. Since( N" ]. L) _0 B ?: z
uniformly on
6 O7 i4 u' F) y# A ~ , the limit function G is also continuous at c. This means that
5 O% D% z( ^. p (11) the existence of the limit being part of the conclusion. But for* ?2 D9 i/ m7 j) r6 n
, we have
Hence, (11) states that the derivative
1 c7 D" D* S3 K2 W1 t exists and equals9 a& u7 M: H8 E
. But
hence6 g: }8 b& T5 U! j7 M$ g
. Since c is an arbitrary point of
$ m, D/ S2 n7 _; z4 S+ I , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
7 c7 Q" K. Q' r
Theorem 9.14. Assume that each
( u2 Q( d3 H! @) n" F: Y is a real-valued function defined on
- K. ?% l- T) r such that the derivative
2 b1 I) P2 t0 }6 [ exists for each x in. \3 s! }3 X. A6 k9 w$ A# [! L
. Assume that, for at least one point
5 b3 B- p% X4 a4 o' H in
! g! W) i0 c: p+ Y Y , the series; Z) I7 F) ?3 M2 s
converges. Assume further that there exists a function g such that (uniformly on
; m; O& g9 t, N2 G) _7 a ). Then: a)
. S o" a8 L9 k; c There exists a function f such that/ D* m7 T1 F# Q2 R
(uniformly on
8 l9 _% c0 z$ h0 F9 T4 k ). b)
) d2 U0 U: }4 p+ j If , the derivative
. e! c+ c- Z9 d( P; U exists and equals
2 I' W+ B o. j3 D . |