|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ 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( u% [! I! {! K . Assume that for at least one point
# J1 n4 f: m' t) z in" N; N2 k0 F1 m# G; C1 @1 K
the sequence converges. Assume further that there exists a function g such that
0 o9 q3 z$ u0 @# y' Y* K uniformly on' }, J J7 Z5 A: _) p
. Then: ( [* j2 I) w" i" R8 q
a) There exists a function f such that
4 B- t/ m4 D6 q0 m- f/ G uniformly on
2 ~+ G4 h' w( D! X . b) For each x in( {# M& b3 p0 n, T, T# W/ M
the derivative! p/ J6 J1 V" N/ d
exists and equal; ^8 B; D5 r+ M( J. i
. Proof. Assume that; E7 P6 q3 ~* O3 m$ y& K) M
and define a new sequence
3 V% Q( j4 m" e& C1 F! S as follows: ; I2 L0 s, H5 M% K8 @) M3 o: w+ E
& N! \9 R+ W, _3 ?/ D
(8) 4 |7 r' `/ G5 j' f& F0 ]5 V
The sequence, F2 `( ]6 e$ l' F; H# z
so formed depends on the choice of c. Convergence of follows from the hypothesis, since, Q- J! N# h: I+ c. `
. We will prove next that6 `/ F# p h* |' c
converges uniformly on
8 |$ W% b5 H: J4 B5 U3 }' O4 t: v . If , we have
& Z. t0 o5 I3 h5 n8 S p6 [1 z
,; y$ ^! m* q0 k: _5 D8 `
(9) - u6 z5 V" d' y0 u- X
where
( V: o! n$ m( z . Now
$ S# h+ ], M8 u5 ^ exists for each x in
% a3 T4 F/ |6 Q+ o1 m# B2 Q and has the value+ J( W: P6 {( w3 K- z2 _
. Applying the Mean-Value Theorem in (9), we get ,4 T0 R, i$ R8 ^9 A6 b" d A
2 b+ o/ Z) k' p) ?1 A
(10) where0 }, l" d( |1 E3 c) A9 P2 [
lies between x and c. Since
/ t! E& v E4 j S" w1 I! t0 j converges uniformly on
9 |' t9 |0 `, A (by hypothesis), we can use (10), together with the Cauthy condition, to deduce that
' z' D0 }. _* b9 A4 J converges uniformly on
% p4 I. `/ X$ p . Now we can show that
- s& s& T3 @3 M: D converges uniformly on
0 w0 b" X( \ Y9 v- f3 J . Let us form the particular sequence
7 B$ ^, N; ^: Y: l# \6 p corresponding to the special point6 n8 W+ t4 p8 m f
for which
. M3 M$ c; y+ D6 d is assumed to converge. Form (8) we can write
an equation which holds for every x in
/ T8 `' k" f- c- w: \+ n! T4 p# o Z. g . Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
: G U3 p; P; ?' c' E . This proves (a). To prove (b), return to the sequence& D% Z3 r$ ~2 d# ^6 B
defined by (8) for an arbitrary point c in! ~8 y* P/ @8 c, _& k/ R! S
and let
! g; A/ [1 {, D: m' w . The hypothesis that3 H: H [' F9 ~( x$ w
exists means that . In other words, each, r' e) }5 I% M0 [. l
is continuous at c. Since
- N! m! z% |7 ] m7 v4 z% n! Q uniformly on+ j+ x. ~% ?4 y$ C" [8 I2 Q* x) r: J
, the limit function G is also continuous at c. This means that 5 x( \3 Y# ^) R7 w- v" O1 R4 ~
(11) the existence of the limit being part of the conclusion. But for9 b. e8 r2 {7 I# F. C% O1 [
, we have
Hence, (11) states that the derivative
" t3 H5 g6 Q/ w8 B1 Z ^0 ?4 V exists and equals0 r$ [+ y+ s( K: E
. But
hence
0 R. S4 p5 p4 Z- y4 Z . Since c is an arbitrary point of% B) Z/ K+ b8 f+ q6 Y9 ~5 Y
, this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain + y7 o% i, t$ i8 e+ q* ]
Theorem 9.14. Assume that each- ~7 @6 ~9 V- S& ~( ]2 H! H% z
is a real-valued function defined on6 i* L0 Q. K" u) E1 f+ T
such that the derivative/ C7 ^$ ?" E& F# c
exists for each x in
! O2 X* O" [; M" Z2 T4 ]- f( p4 G . Assume that, for at least one point, T j# ]' E0 e( F$ E2 b+ ^. n- o
in2 N" `) N6 _: l: x; C( a
, the series
7 b O: E) S% P; a6 _2 D3 z converges. Assume further that there exists a function g such that (uniformly on
) `9 y, s. n5 I9 ? ). Then: a)
+ ^1 M& H; V: v$ r* Z5 _4 Y6 V5 E4 P There exists a function f such that
& h( P- d, h7 F% i (uniformly on
8 |! [6 h2 l; h+ U ). b)
. J. [: ]' {' ~; N1 ~+ c If , the derivative
) J& f3 n- O3 k" K, u9 ~+ l exists and equals6 U$ x) s( l3 G: B$ C
. |