|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval8 X3 Z% o+ E. s M
. Assume that for at least one point
1 Z& p+ Z; u: y in
3 ], Z% [4 N" r7 b4 Z# D H+ l. a: a( C the sequence converges. Assume further that there exists a function g such that
' g9 R: Z9 B* |; _. w uniformly on. k% R; |! {0 j0 K) y
. Then: / p/ d- d: X/ X& E2 I$ |4 \
a) There exists a function f such that5 r c( m+ g: m! A: Y
uniformly on" ^4 v# q5 r m9 d
. b) For each x in
- c9 @4 [% v( v5 m: E the derivative8 \- K, ]' D/ M( E
exists and equal
. G, j1 N, W Y1 P . Proof. Assume that
2 ?/ E$ d) X3 ?; b2 x' J* _ and define a new sequence7 e1 r3 P$ U- s. W/ Z
as follows:
9 C* H1 A, _9 P
8 y# {# g) w% @0 T/ r# k
(8)
0 r8 B k- W& A
The sequence
' s$ m/ F; N& X so formed depends on the choice of c. Convergence of follows from the hypothesis, since
& C' p& @3 o" u: l* M. ^' R . We will prove next that3 d+ Q0 n7 c u
converges uniformly on
) n4 o9 U% }6 }3 B5 U . If , we have 0 W" J. k# U) \2 o* K. u$ b) x
,( U( y, i c' ?' |6 I
(9)
8 }5 \4 u' G- r5 R
where4 r" D4 ]- _% d0 e
. Now( N- V6 U% M4 Q
exists for each x in
( i; U5 M* ~; j and has the value Q% l% W+ x' _/ n( p% R7 }
. Applying the Mean-Value Theorem in (9), we get ,+ m- ~# ^; N/ G5 X/ L
+ s W i" v% }* k: f (10) where
/ @0 U, ^' ~- R2 o: g1 R lies between x and c. Since
* e0 K) M) m( o converges uniformly on `1 w- U9 G" S4 i9 c
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that
; G7 T4 `3 Q' {% T. z" P, J converges uniformly on
! E% V/ b1 m4 P8 z3 e . Now we can show that
2 `( p) e* u* h3 d converges uniformly on
- q7 R7 m. S: F/ t: W& N- | . Let us form the particular sequence% U5 J/ L. [4 P& G4 W, x
corresponding to the special point( C5 c4 \" W. |7 e
for which e& r" Y( w& V/ d, m
is assumed to converge. Form (8) we can write
an equation which holds for every x in( p; x q$ j# e1 D f: O
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
) x8 ?# a L1 C6 K . This proves (a). To prove (b), return to the sequence. A. l1 ^) Z- t* m( _
defined by (8) for an arbitrary point c in
; @0 s0 x. I! X+ S, _ and let Q$ j' ]0 x7 M/ v
. The hypothesis that
7 _% y0 } ]1 H1 A2 _$ z4 t exists means that . In other words, each/ ?! ~# y, |* r9 s; B
is continuous at c. Since* j7 G- g; Z0 o
uniformly on
- T1 f0 B$ t: v p; e; M , the limit function G is also continuous at c. This means that
# e. V- K$ l; s (11) the existence of the limit being part of the conclusion. But for9 v. @! e) s) u, z
, we have
Hence, (11) states that the derivative
6 y' U' K* O' p1 A4 O' W) G exists and equals
1 p+ z: U3 T; f1 ^. d) H . But
hence
; H4 _6 ]: i. [7 Q . Since c is an arbitrary point of
- Y' f) Y, I( U: R , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
" u, H9 a" k& I8 i# w3 C) ~/ n+ R
Theorem 9.14. Assume that each
' I. {$ `) R1 k% B* \" ~( j is a real-valued function defined on
' i1 ?$ F, f! f7 Y A4 o+ X such that the derivative, U! N( i1 g; d* @, Y8 X n
exists for each x in
4 J4 S/ `0 L/ Q" Q. F+ K- B; r . Assume that, for at least one point5 i' X8 E% n8 B+ z! n' n
in; A+ x' J' W% t" I9 V4 l- E
, the series3 O5 C9 f$ d! a4 B0 H$ Y+ K
converges. Assume further that there exists a function g such that (uniformly on
. \' P# t/ |3 Y* S x ). Then: a)) {9 G$ o. A% w; @: s/ ?
There exists a function f such that0 ]2 z) w& K4 N$ d
(uniformly on
/ O" k( Y0 @# F9 A ). b)" i) H& M1 B9 ^" I, o; K3 d/ s
If , the derivative
- G0 U% ]9 M' V exists and equals. w# n- ?2 D$ M7 V
. |