|
文章是讲一致收敛和微分的~我英语不好看不明白~请大家帮帮忙啊~~~~ Theorem 9.13. Assume that each term of is a real-valued function having a finite derivative at each point of an open interval
6 ]3 f1 l. n4 E, m . Assume that for at least one point
* E( P8 i8 z: R3 {3 W5 u in
# [4 W+ ?* e9 {2 u the sequence converges. Assume further that there exists a function g such that
3 t" M: o) K5 z! M" N0 n uniformly on' c( |2 J+ J; A9 ~! u4 A/ W( z2 u
. Then: 7 \ b$ W; q$ _$ a+ B4 q( Z
a) There exists a function f such that
3 I7 `6 `( z2 z9 P uniformly on
1 @. u8 r* k( S% m . b) For each x in$ \5 M- A0 u; { O: R% L; c% ~+ I7 d8 D
the derivative
9 ?" D+ j" ^4 d/ H exists and equal
6 J& O8 r A! A& H7 j4 W) L( ] . Proof. Assume that
8 _: A. |4 Z8 u4 ] and define a new sequence
) W" @ k3 y; o7 M1 d as follows:
* v% P+ G% K3 v/ ]) H
) A/ T4 V: k. c- q7 E; F
(8) 3 I" {: ^7 y% K' Q0 o' ^" r% k( y; r/ q
The sequence6 o+ G! X3 ~# ]+ U
so formed depends on the choice of c. Convergence of follows from the hypothesis, since4 s* ?2 C: v; \2 \: `
. We will prove next that" r5 H3 ?& m9 N8 \( L
converges uniformly on
+ q& d2 f5 G8 j( S . If , we have
- O# g/ I+ S0 p" N& Z# t
,$ Q- s! {& Y# K& C' u& m
(9) 6 o* w4 J6 V, z/ W6 d
where: B; s. W6 L0 T- j3 u8 R3 r% C
. Now
" M9 c. V; o3 _8 K) ^7 z& E) M9 m exists for each x in
3 p* r2 w! `" _' m and has the value
- }7 u1 W, m' ?: |. b4 _" L . Applying the Mean-Value Theorem in (9), we get ,* I$ T9 b0 m# ?1 b% Z
% [3 u3 s5 T6 V9 V1 ~) N (10) where
% H3 s+ T; d9 j' c' c) i, V lies between x and c. Since: d7 D) r4 m7 p/ e' }
converges uniformly on- X! n$ O; J! ]5 B; p6 p
(by hypothesis), we can use (10), together with the Cauthy condition, to deduce that
5 t! e" \" B& j0 D! R. H7 K converges uniformly on5 R/ ?. c/ L. v$ f, `9 I& c+ R0 J% R
. Now we can show that( T/ ~7 N: \" A6 d0 }3 e
converges uniformly on- S/ P) S& i! K/ m9 c4 y E# t8 N) ^
. Let us form the particular sequence
* Y5 W+ X6 O \9 k) |# L corresponding to the special point
$ M! d, B1 x6 x% R. W for which
, R9 H8 f9 n! q/ q; S is assumed to converge. Form (8) we can write
an equation which holds for every x in
7 T9 ^: g7 q/ V, L . Hence we have
This equation, with the help of the Cauthy condition, establishes the uniform convergence of on b$ m+ p4 Z) ]& `1 V
. This proves (a). To prove (b), return to the sequence1 g9 A( c, `. q' c- t: u4 g
defined by (8) for an arbitrary point c in
: j5 ]8 |) `% f' w% M! V; k and let
+ D! z1 K, x! Y . The hypothesis that
1 Q+ e/ p/ }9 \2 H" E, X exists means that . In other words, each; H/ A$ R( W# |
is continuous at c. Since. G% V# B% a$ \/ y1 H
uniformly on) Y$ q2 z- x/ I# o; D* R w
, the limit function G is also continuous at c. This means that " D x( B! y, A& b8 Q* k
(11) the existence of the limit being part of the conclusion. But for
1 d+ @9 Y& G1 Z4 ? , we have
Hence, (11) states that the derivative
0 S- ~% q" f+ r exists and equals3 W* f* V$ e/ u0 u1 Q3 c' ]( U8 _
. But
hence& N& B* E% B6 I p% t
. Since c is an arbitrary point of2 r1 W& H+ [3 P0 U4 {. o
, this proves (b). When we reformulate Theorem 9.13 in terms of series, we obtain / _: [7 I$ Z# I+ z2 [( X$ X
Theorem 9.14. Assume that each# s- s6 ]0 V& d/ Y- c
is a real-valued function defined on
4 _" E4 Q* g% B6 F v3 g such that the derivative
7 L" B! v- b0 ]. Q* m exists for each x in: K5 a5 ?/ c( |+ v. _2 u
. Assume that, for at least one point8 ?* m3 p0 J W4 `' S
in
1 A4 x, D* T; h7 S8 F' }9 H , the series0 b' ^3 g6 c9 I; X4 ?% @
converges. Assume further that there exists a function g such that (uniformly on: ]) B! f* v+ i4 r% ^: l8 b
). Then: a)' `" a) ] _' O5 z
There exists a function f such that. X1 P& z% A# m
(uniformly on
0 k4 e3 ]# Z" |4 c F$ Z2 F3 A ). b)! N" C: p+ |. d7 g* U$ d
If , the derivative
) H4 ~+ F$ G7 _. H( B+ t exists and equals
; f, y4 T8 Y2 q+ e . |