|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval) ]% L3 s, D6 G& o9 _5 N
. Assume that for at least one point
: z) C6 g7 [6 y1 {) e9 L7 c in/ l4 _' N* u) L# T( I2 P# x
the sequence converges. Assume further that there exists a function g such that
. |/ c. z: P) g% ?8 ^ uniformly on
& k* C, [7 Q" l! c3 X . Then: . b, \$ T6 L/ r- K0 H; w: A
a) There exists a function f such that
, L% I/ s# l1 e8 q uniformly on
r1 \0 n6 h O' \" {6 r . b) For each x in
K% p0 Z2 Y; C) ?% ~ the derivative5 g1 M, p, E/ u* j& ?7 J/ A& r! M- O! m
exists and equal, h. o6 ]- e5 f. k- @
. Proof. Assume that
9 E; p0 D9 O- `0 _) [; q and define a new sequence3 r, N( W) u9 T ?; `& L
as follows: : U$ P7 H7 j7 x+ N( a
& X5 d) i1 S( {' h- I
(8) % M( b7 C7 G" Q$ O' A- \2 X
The sequence
. q0 q2 O$ U, N so formed depends on the choice of c. Convergence of follows from the hypothesis, since9 k4 s; r* N6 q& J. V! ]. y1 ?
. We will prove next that" D2 A+ ]' w+ V$ T0 q5 d7 Z
converges uniformly on
* c: C N% N; t& i. { . If , we have
6 d% E3 e; m; B8 c8 P" `
,
3 D; W3 p( L7 D, [2 C4 R (9) " M- B" b2 z) ?1 e3 F; Z
where
2 a) j4 V7 _7 [1 X; [ . Now
+ {! k4 t0 Q0 c; _) t7 l# K% } exists for each x in
7 t* J6 r; u" X' Z. F and has the value' j) l, |$ X+ e2 g f* y
. Applying the Mean-Value Theorem in (9), we get ,. ?# j* K4 o9 \. t# J, y
, {1 g0 Q! }1 U0 H (10) where
/ f1 o. d1 l, S' D- q) N lies between x and c. Since
; E( S) y" a+ R2 O" i: ` converges uniformly on
7 z1 r( F% i( Q" M (by hypothesis), we can use (10), together with the Cauthy condition, to deduce that3 r. L; a) @; k/ G3 s% J3 Z) a
converges uniformly on
, V$ y8 H+ W* U" K4 E2 W . Now we can show that5 s$ O W( M* ^, m( ? u
converges uniformly on n; L" I) k7 b5 g: w
. Let us form the particular sequence
R& ^- h& J8 W. ?. r8 o1 d corresponding to the special point
# h& \. Q! g9 p( M3 s for which
# Q# ^6 b3 A5 z( f" ~0 d+ c. C6 L is assumed to converge. Form (8) we can write
an equation which holds for every x in! T$ u6 W& @1 k7 s. n. W
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
# m0 `, p2 Z' b( i+ J. w7 B4 E6 G" G . This proves (a). To prove (b), return to the sequence
7 J% R5 f& Z4 Z' A& ? defined by (8) for an arbitrary point c in
8 o X, e, y: f1 R5 i- Z! { and let
8 \5 P% U' S. d) E+ N; m: t . The hypothesis that
2 `% p9 H2 }) A- M( [5 h2 m2 A exists means that . In other words, each, n4 J* C0 H; i: y6 A" C' c
is continuous at c. Since' V$ h" G* c8 B' k6 G
uniformly on- l4 C v7 V1 @+ b
, the limit function G is also continuous at c. This means that & T$ `0 p' @- D
(11) the existence of the limit being part of the conclusion. But for3 Y. Y3 Z2 B0 H& o( s+ A' H; Q- t8 X( f
, we have
Hence, (11) states that the derivative
! B! D9 @ W" ]1 ^2 N exists and equals8 C! V! V8 ?2 Q( d
. But
hence* @- h3 q7 g7 _ \! Y
. Since c is an arbitrary point of
1 P; \8 u* A* c3 j' L- j , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
# N- M% p9 B# |3 U1 l
Theorem 9.14. Assume that each: E* U" C/ R0 H0 a0 P* _
is a real-valued function defined on1 k' _* t; ]+ _9 F7 V7 f+ g; `
such that the derivative
! \0 x9 _4 M H4 y/ M7 d. D$ M exists for each x in
& A* L y4 O- h& r+ f7 q . Assume that, for at least one point
" _. t/ g5 |: g: n in7 a- ~+ L+ { f
, the series1 s1 n% S) I6 A2 [
converges. Assume further that there exists a function g such that (uniformly on% S, } {( N. ?
). Then: a)
2 y2 @/ o3 |2 O; C There exists a function f such that2 t+ ^. d. l! J; f
(uniformly on
8 n/ y. e3 u. d* [, o ). b)% D: }" D7 ?# {% U
If , the derivative6 c8 u# v* y! Y5 B) U
exists and equals7 s9 U2 k& w) E/ X
. |