|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval2 }/ N* d M1 }/ B( Q$ I
. Assume that for at least one point" W( @1 y. ^- O9 J0 ^# O; e
in
" v! d7 z; G0 R& D9 m the sequence converges. Assume further that there exists a function g such that
2 j; u4 J. U7 t7 e. j uniformly on
5 \$ M) ~) c' G1 X4 z& n . Then:
% e) N2 T* V o# y0 W, i
a) There exists a function f such that4 R5 K6 a! B, y
uniformly on
! }7 `; v+ Y2 K& p6 n: J . b) For each x in- t' f$ C+ ?& F9 B2 e
the derivative
9 G: y; C) N/ Q, F1 ~' n$ } exists and equal, ~+ @- V Z7 {1 T! @4 t
. Proof. Assume that; ] }: N8 X7 D r e$ ~! u! |
and define a new sequence
2 v( J$ f! L W! v as follows: ~" C/ D0 B* X; w# h" d
1 K3 H4 Z/ K8 V7 C7 V0 Q3 h3 H9 K (8) / |7 f6 g( O* i+ y# T6 [* M
The sequence, {9 H: X y5 o: J9 ]; Z8 A
so formed depends on the choice of c. Convergence of follows from the hypothesis, since
& k2 A( d0 y2 h, [" k& ~ . We will prove next that, C1 a& p) X6 D6 y2 \8 @5 E
converges uniformly on
2 {' G$ V, X$ r3 p . If , we have 3 W# V0 O W7 I$ y
, k _* r( K! e( t
(9)
+ V* l6 ~9 ?1 O9 P
where
, I& w- y9 J9 a! D! p: P . Now
9 \% A: }- Y# @6 _# { exists for each x in# i' _6 w. e( D/ F$ V4 W
and has the value
, F, {- u& H! b6 s7 Z! v . Applying the Mean-Value Theorem in (9), we get ,/ |6 p+ ]3 n: o: b
: \, R- ]0 z, p! z' ^6 K (10) where
$ {3 Q5 U# s8 A6 { lies between x and c. Since/ z6 I. z* r5 t3 j
converges uniformly on3 q8 G1 p( t% i
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that) @( s7 h0 e$ c
converges uniformly on
2 |8 a9 T" ]5 t W+ S . Now we can show that4 j9 b7 l4 N( S- l# ?5 v
converges uniformly on/ f' D) m2 K( z. L& ~0 m0 D1 O: e
. Let us form the particular sequence+ t- f9 [ z; m( S
corresponding to the special point
' x/ W [( e: k: Y) t6 I for which/ r7 P0 j* T, b4 y
is assumed to converge. Form (8) we can write
an equation which holds for every x in
. p0 o. j# r% H J# C$ M . Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
% n4 Y( ~9 L) i . This proves (a). To prove (b), return to the sequence
# B2 d' z- m( @ defined by (8) for an arbitrary point c in
1 U7 U) o4 O6 { and let
4 i' W4 ^0 I0 T/ e . The hypothesis that
" V7 g7 N# B ^1 b. x- X exists means that . In other words, each
7 S) h' j% v5 u; \ f( X/ d) j2 M; W) Z' \ is continuous at c. Since
w/ [5 T: d; l+ T uniformly on1 j9 g) ?/ `5 T9 M$ K9 x0 r& A$ n
, the limit function G is also continuous at c. This means that 2 P; o! i2 O1 X* c
(11) the existence of the limit being part of the conclusion. But for
6 X q( C3 C1 D, V+ G7 T) _! C , we have
Hence, (11) states that the derivative6 Y- M5 E; N# [4 S* O3 D9 }0 o
exists and equals, t7 Q. U1 Z, S
. But
hence
P/ p! a( u0 J7 t, w . Since c is an arbitrary point of
4 T- f; H' Y# f. V- s3 c , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain R0 W% K; U9 q
Theorem 9.14. Assume that each
9 U7 C' j+ c J! _2 v) X is a real-valued function defined on4 J; s9 `2 g* n0 \* O
such that the derivative
! i' B- ?$ H7 k9 ^9 z# I exists for each x in
) F. y+ w6 @, |8 T f) W* z . Assume that, for at least one point: r4 |; E' {% U* B0 S, H/ H) F
in0 F; u F3 Y1 Z* k6 z+ ~. ?
, the series7 w- G; Z, A" A, {6 q' p1 W
converges. Assume further that there exists a function g such that (uniformly on! c0 ^& [6 A% r9 f4 h6 v
). Then: a)) b% X. |! m1 {3 ?0 }2 ?
There exists a function f such that. q; [/ p9 G( @( [% \9 s9 M
(uniformly on
+ \1 L4 i( m' l: c- v9 B% ~; k ). b). G2 A" q# o$ c& [4 Q5 [
If , the derivative
8 |, [ Q7 \6 b9 u6 a" A: a exists and equals' E: r6 m% `! ]3 w( f6 @
. |