|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval
: }' z$ q* u( [3 w0 e . Assume that for at least one point
. y7 w8 e9 b2 u7 h) |% R& F in
1 H7 x" i6 p0 j- L7 Y3 E7 B the sequence converges. Assume further that there exists a function g such that
6 l! Y h j) h- E7 E. h uniformly on
( H6 S, O3 e8 u3 i1 ~* h9 C . Then:
+ e( E z2 F7 Z
a) There exists a function f such that
4 N& B7 M, f- ^, O+ _8 q! f* ^ uniformly on7 M. S/ `* C) z* e: S1 |! A
. b) For each x in
0 b, l. \3 z. I. D8 Q the derivative3 g& o/ \) v% a$ j0 U6 k6 b) r( |/ f
exists and equal0 q2 u; V* E/ u; e) T2 q6 C- b
. Proof. Assume that$ ?2 C& r: i6 y' m
and define a new sequence
1 w1 |2 f$ Q- q as follows: . j3 a( X1 c+ i0 ]: K$ g, q
& U) H/ Q9 q/ f) S y9 q (8)
3 A1 w. R7 k5 h$ m& G
The sequence
9 u* B7 a0 K% t; E9 K9 h" L- X so formed depends on the choice of c. Convergence of follows from the hypothesis, since
& E$ r: N% J( y+ ~0 a0 G . We will prove next that7 f2 u5 E2 i V0 _$ v) F
converges uniformly on
2 s2 e' ^" ?' E7 [3 N! q . If , we have # {2 n1 m! ?! E7 v
,
+ u/ Q2 T/ Q" D/ T (9) 6 ]. X# i. _' X7 C, I X8 Q
where) z* Z3 `% R1 \( v
. Now
& A }$ ^% ?- Q6 G# v8 F( o6 u+ g exists for each x in2 _ W# v, t6 [" {, v: q3 S7 b
and has the value
% ~; m6 x$ a7 ~ N . Applying the Mean-Value Theorem in (9), we get ,* v. _3 P9 s3 s, m3 E: h$ U9 j
X, F% U4 _3 s: e& Z4 U) {
(10) where7 h3 C; c/ p# D9 U; K1 \ o
lies between x and c. Since
. b; E4 p5 J; S4 B converges uniformly on
3 q' W! P9 x9 q6 e2 H (by hypothesis), we can use (10), together with the Cauthy condition, to deduce that2 ^# J& ~2 U: e4 [2 y' y" T
converges uniformly on
: g: }! G* j4 F4 Q . Now we can show that+ W( W, A+ ]. Q; a! M9 W
converges uniformly on
9 V: I2 L4 J, e% P, } . Let us form the particular sequence
; [2 c) N/ R J: L/ I" ~$ b corresponding to the special point
2 K3 m* Q: x4 l5 u' r" d9 f for which0 e3 \$ Q0 k: H; \- u2 y0 G; S- R
is assumed to converge. Form (8) we can write
an equation which holds for every x in2 g" q$ d5 ^1 J$ U) x6 k. l% A4 t1 D
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
( N( v. [6 a, i8 v. w9 t9 } . This proves (a). To prove (b), return to the sequence
" q* p' F6 i Z" ?* S2 K) B defined by (8) for an arbitrary point c in1 `) R+ I+ o* q3 {! `0 z4 W# H
and let2 F& Y/ Y/ ]9 A0 J; }8 q
. The hypothesis that
9 t$ `+ C5 B# Y! t exists means that . In other words, each4 x0 D# Z2 u! `+ I9 Z
is continuous at c. Since, l& y2 d4 e/ ]' H$ e6 \
uniformly on
/ L; Y5 R. Z) q5 e , the limit function G is also continuous at c. This means that
% \( {5 S7 I# ?! ], }" B% o4 A (11) the existence of the limit being part of the conclusion. But for
' e$ g8 i- e; Q0 N8 }, z5 ` , we have
Hence, (11) states that the derivative
9 {8 S* w1 h9 q exists and equals
N1 K# ~6 E/ ~9 F . But
hence
~4 N' W& I% i" `( U4 B' O . Since c is an arbitrary point of
6 N8 F1 g# V# F: h3 y! h6 s, i6 X , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
& D# A+ \9 h+ w' m
Theorem 9.14. Assume that each$ l' \8 `- t, j
is a real-valued function defined on! F2 _. S+ ?! a8 I) L$ \
such that the derivative6 l- |; F. {2 a& z
exists for each x in2 D: e' y$ A, Q; P
. Assume that, for at least one point1 U% S0 z) g$ M ]5 O# S" ~) k# [9 q
in4 }- T2 o& q+ D' L6 y. E5 D8 z5 z
, the series
# ]8 _. u6 a. U3 @) m converges. Assume further that there exists a function g such that (uniformly on
* X/ E( Y: H( z1 N7 N- n ). Then: a)7 S: a7 d: {6 c3 S; f2 H- \
There exists a function f such that& [% {+ @! V/ s" V# i: W" u/ o
(uniformly on
5 V0 c e( h' j ). b)6 |# |8 I! X5 ^/ T9 H
If , the derivative
$ m" K9 `" D7 [2 X& }& A exists and equals
/ e' C% L/ q1 j0 Y . |