|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval
& O' R8 l7 M `; U6 S/ F . Assume that for at least one point+ ~' E% D+ s7 b- a' C" [% M
in
1 }+ r) x0 D! T2 h3 x W- t the sequence converges. Assume further that there exists a function g such that. l- [, m/ q+ c% G* u: j9 a0 K
uniformly on
, V3 f* [6 c/ m* a5 ]1 | . Then: 6 h; B0 ^' `6 [* m- |
a) There exists a function f such that
' o1 d; Z. t' F uniformly on8 a* i5 T3 q0 P4 G V3 B. \
. b) For each x in( m0 w: d% b0 Z. {; R
the derivative
' c9 p, \1 v/ D/ ]: g5 r6 @ exists and equal* i8 i% q; f: k3 [) Y4 s4 r
. Proof. Assume that5 Y g7 R, I/ E$ }
and define a new sequence
8 k2 n% a: O0 ?/ W$ S as follows:
2 ?! C, H- l! K9 z$ |( A! C! _
0 z. V) J! z! ^: j+ O (8)
7 j; w9 } a" N/ r( X
The sequence: K% P0 }+ C. R& e% H
so formed depends on the choice of c. Convergence of follows from the hypothesis, since
# U# }9 d. f+ y( Q$ r- Y+ z7 I . We will prove next that# n n1 X" Y! Z7 n1 n& w
converges uniformly on& U( |; F/ g/ u
. If , we have 1 \5 @& J9 I0 G
,- z) y4 Z5 \- F
(9)
) {/ e: N8 l4 v5 c9 d
where
- g2 u+ K. M7 E! u . Now/ ~" h. j1 z+ v+ F8 X
exists for each x in
2 E5 y8 {0 J7 P- Y# T1 w and has the value5 w" H, z: b6 u+ a+ K9 y
. Applying the Mean-Value Theorem in (9), we get ,8 w1 G! ^2 p9 q7 {7 w- j7 M6 `
& P4 e' U& b @- n/ w: ^- n
(10) where
7 \. Z3 u% M$ w! u6 O# S7 Z. Y lies between x and c. Since
# B X0 J7 J7 W. y0 G9 a! t converges uniformly on4 i. I0 N8 y% i) [0 G2 q, W
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that1 ~2 n. V9 C8 e# H3 |. b
converges uniformly on- A1 d* z" Q$ a5 [2 J7 n" S4 e- |
. Now we can show that
8 s% v, g) t& g; f converges uniformly on
" Q& j! K0 q* V5 m . Let us form the particular sequence
7 E3 z0 X, Y: |8 K. n o7 X, M corresponding to the special point
0 [: r- I; z$ ]( v( z for which/ R+ Y/ H1 ~) j9 F; H
is assumed to converge. Form (8) we can write
an equation which holds for every x in, X& l) V P0 D" |+ p* X, H
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on8 b- F) T8 D2 g0 Q- M
. This proves (a). To prove (b), return to the sequence- q; i2 d+ o( d+ s8 R8 G
defined by (8) for an arbitrary point c in& R6 \& e+ R2 N& |$ {) N: y
and let
$ Z1 n1 K% X9 b( l5 P . The hypothesis that
- P! D- M W" i exists means that . In other words, each. P: A1 `8 L }1 i. J. Y4 M
is continuous at c. Since. \- H6 Z; D/ G; k4 u6 I6 c F
uniformly on! e# ^( ~+ ^8 K2 s) l+ L# ^ Q( P
, the limit function G is also continuous at c. This means that
! _* \# b$ h: \' | a% F( d9 v* T (11) the existence of the limit being part of the conclusion. But for
; {3 H/ q9 y* w6 _2 S5 e , we have
Hence, (11) states that the derivative$ i9 n+ f0 j: r
exists and equals
, L. ?, @, s3 X4 P, G . But
hence8 r# p) S5 o* K' \
. Since c is an arbitrary point of; J( M; z- U9 u) ^/ H# t
, this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
$ O3 k }: O. T
Theorem 9.14. Assume that each& [5 V" q* {4 V5 z& ~
is a real-valued function defined on) X' z6 i# T& d) C- j* s1 @% S4 J
such that the derivative
, ~. `0 `. x1 X5 E exists for each x in
4 Q" b# }, v' Q0 b' b! G . Assume that, for at least one point
; M1 w( F+ v. x/ X4 ] in
7 O$ k& E% w4 {1 y , the series' d; N I6 M$ m+ C9 m2 x1 ~! |
converges. Assume further that there exists a function g such that (uniformly on
' }4 S9 ~) `. X3 |( k ). Then: a)
! T# w) I5 d) ?: v! r There exists a function f such that
. Q' }2 Z" g8 q5 f (uniformly on/ m! _+ k" y7 p8 L: [
). b)* f$ j6 } M, g& O' ^6 Z
If , the derivative
: R+ L+ l6 |/ L# g exists and equals
8 d) f" s7 s' v E( U . |