|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval. w. ?' v& q; g) Q
. Assume that for at least one point
" k6 ~/ p. b; k. L0 i9 `* V in
; O& B, {$ z, L1 I. e the sequence converges. Assume further that there exists a function g such that/ \7 k- f7 b0 f( t o/ j, D% a
uniformly on* [/ D4 B: p; I5 N2 E6 a8 ]. Z, Q
. Then:
/ q1 ~5 Q0 x5 Y! x+ `2 G
a) There exists a function f such that
* N+ p. L. _& M M3 Q uniformly on
/ b6 K" Z6 ` E" `0 Y5 \ . b) For each x in
1 h2 o# } G. t the derivative8 S2 f1 n B; ?4 L5 \
exists and equal4 X' s1 B2 |% i# L5 Q. b
. Proof. Assume that
" F/ p/ z! a0 O and define a new sequence
' \3 ]# E# r$ x! _ H8 z' U( } as follows:
. I _/ g: Q1 b" o6 r7 [
: S% J& g# d# p# k) q (8)
5 Y1 [5 U: | c* T
The sequence) J3 K/ g F7 E! ~2 m" h" h
so formed depends on the choice of c. Convergence of follows from the hypothesis, since3 R: ^, Z+ q9 k2 q- l
. We will prove next that5 Y! k4 s4 I$ l; C! y
converges uniformly on8 ]+ O' R+ S, H0 o, Y' |* C
. If , we have
4 v' W/ u& D% t3 e
,' b" W, p3 z- B7 M/ I: d- p
(9) * \ \4 c' y9 y" ^
where
9 |) v: w2 Q$ C2 f$ x# f . Now
% ]" u0 `" R, e$ T# ~ exists for each x in- c0 |7 G; q. d# t
and has the value7 {7 k. e/ W. w. k; u6 A+ V
. Applying the Mean-Value Theorem in (9), we get ,
* W, _( P1 e T2 t" t. C, r( m# w4 a$ C * `' O$ E% E* n; ~
(10) where
4 X5 ]5 M8 C! A/ H lies between x and c. Since% ^2 K& X( F8 O t
converges uniformly on* ?. B5 I0 {" j# m9 e2 j( A8 N# v
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that
. r/ u3 H1 W' E D1 b converges uniformly on' y' @0 j8 G7 U2 v! J
. Now we can show that
" X; i5 y- k6 o3 _/ T2 @6 ]! K converges uniformly on
: L. R7 V7 P' B& Y$ W4 m . Let us form the particular sequence
/ r) a9 g: |/ X% G corresponding to the special point b. x6 J$ V* f5 Q" _" Z
for which$ K) V- @" ?. g' Z
is assumed to converge. Form (8) we can write
an equation which holds for every x in' n1 M1 b# _9 k$ U9 v8 x, Z* k
. Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on; p/ h' B- ?. _# B5 F' a9 o b
. This proves (a). To prove (b), return to the sequence
: W6 m/ {& H% s+ }4 s; H7 O defined by (8) for an arbitrary point c in
0 o4 f! \% {0 i$ _3 E and let6 U* L$ L+ z! ]6 n
. The hypothesis that# h5 d; X0 J8 L; ?% H1 i
exists means that . In other words, each
- E8 t( e; k+ O& h is continuous at c. Since
2 p( ^( ^! v0 m+ l3 N uniformly on
: h6 p- C3 w" J% @8 e+ G , the limit function G is also continuous at c. This means that
/ g# r/ P1 n" e" j (11) the existence of the limit being part of the conclusion. But for: @$ G# O$ O! w; d$ K+ I
, we have
Hence, (11) states that the derivative1 s4 E& u- G* I7 _& @
exists and equals
+ g( n) Y; y; a& s" W . But
hence
9 M6 y: E1 ^, y6 I, M; } . Since c is an arbitrary point of
/ }5 q& \( T$ k , this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain
8 d! Q- n8 v4 i& q
Theorem 9.14. Assume that each5 I9 c1 Y r8 d* K$ S9 O+ l0 O
is a real-valued function defined on
6 F# u! r* C5 [8 T. Y3 E# v such that the derivative
4 ^1 U# c4 c1 G: S8 k exists for each x in; z- R" d: M; w" V: d
. Assume that, for at least one point
& Y6 f% y' M. _2 d in& o0 N! K t3 ]6 ]# h& Y8 n
, the series1 P8 R6 a2 a9 f! q4 _' M8 C
converges. Assume further that there exists a function g such that (uniformly on
9 l2 w" I+ a) s7 o) Q6 N% Z) C ). Then: a)
- a! |1 p7 B" H. t0 ^9 U3 K There exists a function f such that8 [7 p; z% P8 s# }4 e; _
(uniformly on9 U7 C3 g: F( z
). b)
' C% W- }1 }- l7 F If , the derivative
* D# }. ]+ F% O' {. x, S exists and equals
, O0 P" n" M' O; l! W) f . |