|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval6 ~/ Q' n' h1 d# @
. Assume that for at least one point
- R1 f# v/ v* h& k k in% P$ {; u2 L2 E' y6 f. ~. y, B
the sequence converges. Assume further that there exists a function g such that
# A2 Y" c" n5 j# r( M uniformly on {! w$ }, L) e1 o" _$ u; S' J
. Then:
" W( L* e+ I( D* A+ l* ?9 Z
a) There exists a function f such that" J; v, R; R4 v# c& E
uniformly on
' G2 r: S6 R8 ^. e0 P! d& v' Q2 s . b) For each x in) y2 [" l0 e, z7 m: W
the derivative
! s3 _1 {$ p* x exists and equal
, W$ H# Z! K% m. a . Proof. Assume that
# [! L, i7 N p* O7 p and define a new sequence
& {' @: j# T8 D+ I8 m# b2 E# M as follows:
. a+ \ V- X; c- V# a
~, k3 l- `/ }# [
(8) ; T- ]/ G2 o( Y1 u# }7 a* a' T
The sequence0 H }0 ?( ~% b' V4 l7 |' F
so formed depends on the choice of c. Convergence of follows from the hypothesis, since! f* ]1 p0 i4 j% P
. We will prove next that
" Q2 i9 V7 U6 L1 J; c converges uniformly on
/ C, f) d' D$ x . If , we have
3 `0 k1 b) `1 y/ Y! m" u" Y
,
/ G- f) u0 n+ t (9) ! b$ {. S$ i7 g' y% k8 k
where
. W2 _( ^) d+ i4 @8 q3 E7 v# P, d . Now
& p$ e; W7 {, T- U. ~ exists for each x in
; f; U+ C5 b) f$ E and has the value. r8 c% n: o2 g+ u0 F) N5 b9 \$ i
. Applying the Mean-Value Theorem in (9), we get ,
* h' R* l2 {0 \ v }7 v$ w) A $ g0 [- E' ]4 A
(10) where
/ C# z% y! K' @ lies between x and c. Since& E- [. O8 M0 J8 [3 B7 m% `+ K
converges uniformly on
H' M; U- N& W$ x5 U (by hypothesis), we can use (10), together with the Cauthy condition, to deduce that
/ H8 X" f% A; [( D, r/ V: V converges uniformly on2 Q7 g6 K) g# ~- a" x* N
. Now we can show that
* x) G3 d! y4 D6 h1 B# S. f converges uniformly on
+ h8 {6 ]2 o, l! F0 J . Let us form the particular sequence
( }/ I# D* C1 r corresponding to the special point
; [+ S1 O% j5 E3 v) I for which
( q2 @( E$ R, z is assumed to converge. Form (8) we can write
an equation which holds for every x in
4 m# ^' E2 [$ Q" t [& u . Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on, n! W$ t) I6 z' p2 h3 \! r6 H
. This proves (a). To prove (b), return to the sequence# j; E4 k5 [$ ]2 n, e
defined by (8) for an arbitrary point c in
# h. v% u5 M% ]5 P3 N# k and let# k/ g' e. |8 V: k# X
. The hypothesis that- G& m+ x# [# S9 t7 y
exists means that . In other words, each* E+ R& l+ W( L9 F0 e
is continuous at c. Since. [" V! ^0 m' n) q9 M4 X" O
uniformly on
* X/ i4 B6 e- Q# C; y9 U/ S , the limit function G is also continuous at c. This means that
+ i( Z8 w$ B" o. Z! U+ ? (11) the existence of the limit being part of the conclusion. But for
7 ^7 K( F! _4 w9 b( n4 ~( Z" N , we have
Hence, (11) states that the derivative
$ b* p6 C' `* r- V exists and equals
# m1 A6 X. O! T . But
hence
! }2 A& |5 F5 a% |+ k& K1 h$ O . Since c is an arbitrary point of' V1 C$ z7 B- u# e6 x. O2 a% j
, this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
( U& j# d) E4 G
Theorem 9.14. Assume that each% x/ o; G9 l7 v) h, u7 r5 y
is a real-valued function defined on
0 x9 H: x' Z0 G, c+ }0 q+ U# n7 X such that the derivative7 R! ~3 [& a3 ]1 |5 j2 G9 L
exists for each x in
8 u' {* p& _$ B; P9 {9 o' X7 x . Assume that, for at least one point
8 g: {$ g3 a% j in; z4 O: r* D9 p
, the series
4 e# W3 C! }& q" |3 T converges. Assume further that there exists a function g such that (uniformly on
; M. C% ~# w9 q+ F# g6 R4 g ). Then: a)
5 b( m) a- E5 B/ B There exists a function f such that
}* \+ q2 x$ b8 A (uniformly on; G5 g: A& A( G/ Q. A
). b); D+ I$ g# p% e% P" |' @& l9 x \
If , the derivative' n [7 F D: z* M! x
exists and equals
# U R9 c' [- v. [- a+ ~ . |