|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval& H6 U, E) {- j7 f* \4 J+ }( S% ?. Q
. Assume that for at least one point
8 f( `6 q; P1 T" f( K6 W in
! f$ | S6 v! P) K. y the sequence converges. Assume further that there exists a function g such that" B% l! v, {. I" D, B
uniformly on5 c8 _! m: k! ~2 J. x+ E
. Then:
) [' L) f; `+ q0 m" k3 U
a) There exists a function f such that
! j/ ?: S7 F/ e* e0 ? uniformly on0 k9 q) {: c7 Q, c3 m3 j
. b) For each x in
2 P" M! L: D/ q3 ?5 e the derivative3 E3 M/ e i1 N! W/ O8 b, ], n
exists and equal% j. t, b& x( {- O) H }3 Y) |; m
. Proof. Assume that
! P: w/ f/ Z. R7 m- y and define a new sequence9 P5 K$ {7 `7 U( p
as follows: ; U8 M- s6 u7 ?7 y( q
7 n) m6 g T- D0 f
(8) `: R' J$ z% _* {2 M! b1 J
The sequence
: ]4 }) T" T$ @ so formed depends on the choice of c. Convergence of follows from the hypothesis, since9 x3 w D- c! k# c
. We will prove next that* j) n" ?" k' s6 x/ R
converges uniformly on
8 X6 b: O: X. X& K% f . If , we have / d( p5 m& w; C. g5 K
,: S# }3 t* G t7 H4 U
(9) 7 s8 ^. F' T+ }/ s0 v/ {
where( u1 w4 I |7 L; n( n
. Now' q, H7 v' W& ]% U
exists for each x in
) ?5 d2 o) s6 i& ^% X and has the value
" s a& e, Q! { k . Applying the Mean-Value Theorem in (9), we get ,
4 @# |' J3 p2 n% K, D2 V 8 V/ S' u! Y" x0 U' |
(10) where! a: x9 t# a- B' z; Z8 \
lies between x and c. Since
/ [! K. q) f' G" S% J- U0 e# O( ` converges uniformly on- R a3 l+ S8 R: D# {
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that* R( \/ V' }! a
converges uniformly on
% u6 g$ I" B6 h$ g! n j9 E' [# j . Now we can show that I: Q: a9 O, ?: `. {( f
converges uniformly on+ N+ S) Z; `* F8 l
. Let us form the particular sequence
% ^3 o* Z, N* U+ X. K& ~- j: O corresponding to the special point+ n1 u8 Z' W7 P1 L) i
for which
8 P! f l3 |1 n is assumed to converge. Form (8) we can write
an equation which holds for every x in9 I: j8 w7 h. ^% M4 m- h2 s# A6 C' x
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on% ?4 g# {: n8 y# `3 c" y
. This proves (a). To prove (b), return to the sequence
& {5 J& E% J, a( j7 z1 D0 E defined by (8) for an arbitrary point c in
* z8 L+ @( \% t) I and let
! \8 z8 Y0 c: ~ @; e5 W/ e* o( s . The hypothesis that9 Z* y+ k( x! e# T5 L) @2 G
exists means that . In other words, each4 A# f% z4 e; ^+ W& O7 N9 a _3 t
is continuous at c. Since
( U3 u2 P8 D2 Z. A- |9 n uniformly on
: c4 y3 K' G3 F$ Z , the limit function G is also continuous at c. This means that
5 ?* f# K6 N- j$ ]; h) r (11) the existence of the limit being part of the conclusion. But for
, t6 L) ~! |$ p- A9 D , we have
Hence, (11) states that the derivative
. M7 r) B. ]+ d; J7 ] exists and equals
/ m; V( I4 m1 v . But
hence3 j H+ S9 n3 P- A' Q! J5 G. b
. Since c is an arbitrary point of+ m5 ^4 J' t! e Z$ Z9 |+ \
, this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
0 B, ^. O$ c' y# p
Theorem 9.14. Assume that each
/ L* X9 p& ^' F+ c is a real-valued function defined on
0 I0 d/ g& H" } such that the derivative
! Y' A$ K1 @2 U+ ~3 T0 U* E exists for each x in
" S. e% Q3 P3 W' f" f+ \) ~8 ~ . Assume that, for at least one point
- ]: f4 m9 M/ ^' ~2 _" r. P6 l in1 o6 _/ z2 F" {5 [# a0 z2 a
, the series
1 q. x5 ]' N0 O4 H; U converges. Assume further that there exists a function g such that (uniformly on
4 N! |2 w6 W a/ _8 p# M ). Then: a)% ]% I* m! Z @& s: e7 m
There exists a function f such that
9 C& O5 R( B7 A* T (uniformly on
* t7 w1 j/ k) _# o u% d& x ). b)
0 s: o* r7 y6 Q5 \9 N8 u If , the derivative/ I7 s/ [. k8 _- l) |; `% R& r. c& g' T
exists and equals! B9 C' }7 J5 g# \2 I0 P3 A
. |