|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ 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 H8 Q0 }# Q/ c . Assume that for at least one point
# Z, b7 p# i. _/ Z7 X2 x, O+ m in" ]$ H. r5 t# z. f! c3 s
the sequence converges. Assume further that there exists a function g such that
0 r9 y5 X9 ~* {8 \; u% o# F: L uniformly on2 |7 F+ d) h: e
. Then: ) y7 T, n* h# w
a) There exists a function f such that0 [' w7 @% Y8 |/ p- I. c
uniformly on8 f5 W0 `* v; {% ?
. b) For each x in, S6 x0 e0 J0 L( O
the derivative
/ M$ R+ _4 } ~ exists and equal
4 M' {* o" j$ b . Proof. Assume that
/ D$ Q) y6 h' c7 l' i6 J, [: R and define a new sequence; n0 y7 @$ O! W3 M+ o. |. ?
as follows: $ Z+ K) Z# C4 J! s
1 f) h& w M, \9 e3 S/ A (8)
$ i8 L6 P R w& Y
The sequence2 D/ }' W' {2 H' f5 I
so formed depends on the choice of c. Convergence of follows from the hypothesis, since
3 i! e+ R$ D# B% j8 t5 d6 c . We will prove next that( D8 C4 Z& y5 D% O5 c: ]" E
converges uniformly on
# Y; o/ w. F5 W- N6 k- _ . If , we have
}% X: |/ S/ i: j6 s
,) l9 b" H: G& K! W7 [2 [" W
(9)
! [ S. G! O; V! D" ^
where
8 z6 F0 E2 d6 W6 q- }; r5 u . Now
" I5 [/ v, f$ Q2 E9 _6 Y exists for each x in
* [/ s3 z( f8 J. e and has the value4 W9 {' P% @9 I3 v5 T* p5 Q1 n
. Applying the Mean-Value Theorem in (9), we get ,) C" k- @5 Y2 L* x1 y$ e5 K
2 s5 O- F6 x2 W x2 s' I (10) where
" L$ o) R( g7 q. t" Y0 a$ i lies between x and c. Since( K5 Y! {+ W: }) r) ?% p
converges uniformly on
) o$ h$ ^% @1 ?; T8 K4 C (by hypothesis), we can use (10), together with the Cauthy condition, to deduce that( D9 e# K4 Q$ F: Z" n% Z5 Z* b
converges uniformly on# _+ T, r5 g1 N" w7 I2 c# Y
. Now we can show that
3 a# D) V6 N5 U/ d4 B converges uniformly on
$ V! G* n j% u N: i$ l# `0 u4 A+ @ . Let us form the particular sequence
( n8 X% O q# Z corresponding to the special point; H' H" x( | n& U# ]% k3 J
for which
! q6 u$ E8 L! Z$ Y1 }3 x2 f is assumed to converge. Form (8) we can write
an equation which holds for every x in
# Z) l$ m+ d# X' b8 ` . Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
% \/ l$ t4 ^8 ` . This proves (a). To prove (b), return to the sequence
" J( L1 E% U3 N* T: E2 v/ P" q1 ~* Q defined by (8) for an arbitrary point c in
% P: p# q9 b5 M# v3 C v" } and let: h+ _4 y" }8 s
. The hypothesis that
A& c" A. G0 F4 @* }2 k exists means that . In other words, each9 i J9 b9 [1 ?! q/ ~8 D
is continuous at c. Since" ^. P- k1 i# s$ ~7 J1 Y
uniformly on
" M+ Y5 C" K2 V: X6 L5 s" ~ , the limit function G is also continuous at c. This means that 5 h$ w9 V. l0 z f3 \1 H) h
(11) the existence of the limit being part of the conclusion. But for
; |8 M+ O# b9 t+ W , we have
Hence, (11) states that the derivative+ L3 H( `1 [) C
exists and equals
) `; p& l) i. v7 e . But
hence
9 o5 P) G1 r3 W3 \6 J a# F . Since c is an arbitrary point of9 G: ]( \" n3 I0 ?% X
, this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
! B$ `" E# Q4 G/ D
Theorem 9.14. Assume that each
) q) e$ K; h) c$ e' C* x is a real-valued function defined on
8 E$ v F# v( l7 J- ?4 C5 R- ` such that the derivative/ I5 {3 e0 B$ G( L9 i1 y
exists for each x in F# {2 O! } x: c
. Assume that, for at least one point
@; s; v5 q1 P3 }3 m% d$ B' J! L) z in
2 H {7 c9 v% E , the series3 {1 O' N2 F) F9 G! a4 u
converges. Assume further that there exists a function g such that (uniformly on
7 \! o, E* j/ f0 a+ X) y s ). Then: a)
/ Z6 }* [# n6 V5 _9 x% D There exists a function f such that( y4 M% \$ q0 O9 G, i- I
(uniformly on/ C0 [9 n0 x. ]" x% Q
). b)
\2 Q( C3 a0 E% l9 u. P2 ~. T If , the derivative( ^( [8 T0 S5 A0 t% G+ C6 _
exists and equals% V' `/ v! ?0 Z$ O
. |