|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval
, `6 p5 L, Y6 j4 \8 A# } . Assume that for at least one point; B9 @) n% j5 g2 v. `
in: E7 ?' t1 F) k1 t1 o; |
the sequence converges. Assume further that there exists a function g such that
P) B: S% u7 R; |: o- j* i- ~ uniformly on
% t( ^7 b+ Q6 K9 q3 Z' [0 B' G# G. j8 Q . Then:
9 e6 z* c T0 g5 y' X
a) There exists a function f such that
}/ K" b% z; {% ^( |$ d# S! T; ^ uniformly on5 K4 i& Q0 h. \& h8 F
. b) For each x in
! f3 }* m9 C) W, N- H! @ the derivative
1 O+ ]8 Z# m0 Q1 I0 d5 V1 a exists and equal4 V! D8 _8 [$ y$ U
. Proof. Assume that
1 r1 @9 O" j8 W; t4 Z$ t7 Y and define a new sequence, b( C- t9 x5 n% k c3 \% {2 Q
as follows:
x& b8 a& x0 M7 o& P) z2 x( |
+ V# G& Q8 Q/ E% `
(8)
# q9 q) @: ?3 Q! \+ @
The sequence
7 `) J5 {; w3 w6 y2 V1 @ so formed depends on the choice of c. Convergence of follows from the hypothesis, since5 m" X$ j* S* D& `
. We will prove next that
; x& `4 B/ [* f. J5 X0 \1 E converges uniformly on
5 J; l1 S( ?+ z8 l/ ^. ` . If , we have % \. s# ^) [3 P. W3 k& H \0 Q
,1 R( j+ c& q( E8 q$ A; G, h' @
(9)
4 [% \. B8 i! s; h$ ]- e
where
2 H. W* T5 n. t . Now2 K; I3 G' n- B; I' Z3 A, h
exists for each x in
0 x0 \# |$ y& R0 Q3 d; ~$ f% b3 K b and has the value! p1 D3 e& B$ q7 A& J% u3 W
. Applying the Mean-Value Theorem in (9), we get ,0 A, m4 Y6 l; l8 ]
5 |; N7 k& e8 r
(10) where
' h2 b6 k6 B( q1 j7 L/ w lies between x and c. Since5 g9 [5 M9 _8 P, D# \
converges uniformly on) V# z& `' h; v8 ~. j% Z0 X: \- o
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that; _# j" i E0 P9 p* I& Z3 i" H
converges uniformly on& n$ x$ F8 n# Q; \* S& j2 t$ o6 M
. Now we can show that
) n6 E* b3 D3 C; u2 Y$ U converges uniformly on
; M3 H& E9 e9 W2 ] . Let us form the particular sequence
4 S% E! y1 S4 k. X) \" Z$ j3 N corresponding to the special point
x3 ?' h" A: D" F* O6 [) I for which
5 P6 e8 B+ H5 F/ O is assumed to converge. Form (8) we can write
an equation which holds for every x in
4 x; D$ N6 E5 w6 b& e( F! i . Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
. Q5 T }9 S# _1 \ . This proves (a). To prove (b), return to the sequence
& ^' V5 p; j" D7 y0 ~* `$ b defined by (8) for an arbitrary point c in
2 d" |- m( g$ Z6 R7 y1 y$ F' M and let
/ g; E. v& ~% i" m$ x4 m' }5 H . The hypothesis that
. s7 Q6 g1 Y' w. e( x exists means that . In other words, each' k! e* Z5 e4 V, d
is continuous at c. Since& O% l) s0 p+ Y- M& C5 Z& U
uniformly on
% i$ }! A- @) D , the limit function G is also continuous at c. This means that
# M# z1 g* i# Q' w( n" s; @ (11) the existence of the limit being part of the conclusion. But for. e5 _/ m6 |8 {5 X3 a1 w9 s' K
, we have
Hence, (11) states that the derivative
5 i$ U/ `! [9 b! B5 q exists and equals
4 P2 G* T! E( v, H . But
hence
' M! w. v- x( Z9 k8 O: N . Since c is an arbitrary point of
. v5 g# S- _4 i1 S , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
( Y4 F! n7 D6 h5 z4 o1 i
Theorem 9.14. Assume that each
7 F+ j" `& M+ ~) v* { is a real-valued function defined on
. d! K8 \4 k& I7 b, H9 o2 h such that the derivative& ~/ t4 {* T2 R+ k. y' J) k" g& t
exists for each x in& t+ s) K% o7 y0 q9 B: u* t
. Assume that, for at least one point- g& N1 H5 T' ]5 z0 _7 K& I) q
in
: G& _: Q6 q6 I+ v6 h( u , the series
/ C P0 X7 h. A6 o2 B converges. Assume further that there exists a function g such that (uniformly on- C* l; x- B4 I* V# U# w, e+ D
). Then: a)
3 ^% w% X+ L5 ]* v. \! O+ ] There exists a function f such that& l% y0 J T& `
(uniformly on
+ R0 U+ f8 B6 R& q! z. ~ ). b)" c0 J* r/ n; `$ O7 f! ^+ R K& }
If , the derivative1 k$ W1 B1 F2 r, k! D" X
exists and equals
" a2 Y& j; M4 k! U7 g . |