|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval
* q/ g( I" _4 w0 ?# h* @+ P . Assume that for at least one point$ d2 d( @* `4 ] U4 ^; o) i
in- a; S6 Q2 X( o! I' ~
the sequence converges. Assume further that there exists a function g such that
$ ? d; h) i5 V uniformly on
* B. n" k0 q& v . Then: ) ^+ h- L S7 h+ F7 M
a) There exists a function f such that7 N' h- B1 ~, q6 ]& S
uniformly on6 R6 a3 Y9 H( V/ r, l0 C0 ^) @" a) g
. b) For each x in ]+ e6 _) @6 K' V# j: @/ Z
the derivative' [0 O1 ]2 Q1 Y
exists and equal
0 \$ |8 v. o4 c# W3 E) J . Proof. Assume that
; e0 n7 V+ M9 Y0 g0 e6 U and define a new sequence
' X2 u5 `! u7 r9 y8 h6 w as follows: 1 m5 Q; A$ Q6 }+ d1 g
1 B: Y9 \. P' {& T1 s' F
(8)
& G: J( u* A$ O4 u1 {
The sequence0 R j! b# ?# s
so formed depends on the choice of c. Convergence of follows from the hypothesis, since
+ h# ^2 C. a9 |' U d& t2 w . We will prove next that
0 h1 A2 F, ?3 x) N converges uniformly on" G& Q& }# b% B# G1 O9 q7 l
. If , we have
: Y6 y. W* a+ B8 M9 W) n
,4 `$ T5 x: c7 c$ U" l
(9)
. V; j) S; U4 B8 r2 p$ m
where
$ [8 D0 b9 B4 x2 c0 T6 z5 Z . Now
]/ t3 p. E* d: q3 b+ x1 E exists for each x in! h$ e- K; H+ R l
and has the value, j3 E9 G- v9 i$ ^6 x8 P% \
. Applying the Mean-Value Theorem in (9), we get ,' p" d q9 n' m/ [" E
$ F: ]6 o, T8 i2 p
(10) where
0 @, k$ P i) V& H8 T, N lies between x and c. Since
% H/ m) P8 |% _! p& ? converges uniformly on
8 p& Q' c9 ^+ {5 B# V. e# F (by hypothesis), we can use (10), together with the Cauthy condition, to deduce that# J% a5 o( ?, @& J
converges uniformly on& F# F6 ?9 F/ k- |' q# X
. Now we can show that1 [! |+ n9 {( `0 y+ Y
converges uniformly on
% ` S- X3 B! m' D, ]9 e . Let us form the particular sequence! Q' ?) R) Z2 Y9 S" w. _
corresponding to the special point6 S3 f! ^$ ? p' F- c
for which
4 u- f9 c, U- L, Q$ b4 T" @* b' U/ Q is assumed to converge. Form (8) we can write
an equation which holds for every x in& N o, J5 n# R
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on
2 E) }1 b) t0 w$ m . This proves (a). To prove (b), return to the sequence# V0 i! E2 l& \" S+ N) a+ Q1 `
defined by (8) for an arbitrary point c in
7 j, P$ R, `/ N and let: a M+ U7 W: \0 c
. The hypothesis that4 |! C7 T1 p0 N
exists means that . In other words, each
# L& I$ H1 C# e, ]! {. }, N, N7 k is continuous at c. Since$ D& l, |6 A9 R' R9 a
uniformly on+ ] ]( B( Y' C- K6 o( `$ j5 I5 [
, the limit function G is also continuous at c. This means that . l! V' F+ L/ t2 a2 U( z
(11) the existence of the limit being part of the conclusion. But for
8 D: J& Q0 l; ?& j" J" d# Q" p , we have
Hence, (11) states that the derivative: y" t6 ~) W1 Y! n V, m4 Y
exists and equals
2 D1 ~4 H$ M6 L | . But
hence
8 I0 Z% o2 m C% i5 A, U# |5 w% ^ . Since c is an arbitrary point of
o4 [. ]% `7 l8 r( \ , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain - E$ x( U% ~7 z
Theorem 9.14. Assume that each
/ _7 N* z, a! H- ^% J t: { is a real-valued function defined on
& u7 ^& J# r0 \3 @9 _8 R8 Z such that the derivative: r& C. B' C6 A# I- C' ^
exists for each x in; t1 f7 [) v# S6 r2 _) K% [
. Assume that, for at least one point+ U! ?5 ^' p1 h; _
in
5 V( K) u, Z) Y; ~ , the series8 z4 o; `/ W! T8 V
converges. Assume further that there exists a function g such that (uniformly on
1 }! i' j! m$ p9 v! Y ). Then: a)6 e# i0 K B( H: C- x6 I
There exists a function f such that
, U/ g- U) r- s; r9 p; h (uniformly on
! }- d! q! F- S- p/ _8 J' F: V ). b)
+ ^; d9 g7 O6 ] If , the derivative1 k$ W# a: F1 G
exists and equals
( m) X3 w: b8 ]% s/ ` . |