Pure Mathematics 理论数学, 2012, 2, 45-52 http://dx.doi.org/10.12677/pm.2012.21009 Published Online January 2012 (http://www.hanspub.org/journal/pm) Copyright © 2012 Hanspub 45 Study on Uniform Continuity of Vector Function Weibin Wang1, Jianhua Ma1, Xi ao yuan Yang2 1School of Physics and Nuclear Energy Engineering, Beihang University, Beijing 2School of Mathematics and System Sciences, Beihang University, The LMIB of the Ministry of Education of China, Beijing Email: xiaoyuanyang@vip.163.com Received: Oct. 13th, 2011; revised: Nov. 24th, 2011; accepted: Nov. 27th, 2011 Abstract: This paper studies the uniform continuity of vector function. We expand the application of com- parative method and “relative period” theorem, and find some new methods to judge the uniform continuity of vector function. In the last part, the enlarged application examples are presented to show the effectiveness of the methods and theorem we offer. Keywords: Vector Function; Uniform Continuity; “Relative Period”; Comparative Method 向量函数一致连续的判别方法研究 王玮彬 1,马建华 1,杨小远 2 1北京航空航天大学物理科学与核能工程学院,北京 2北京航空航天大学数学与系统科学学院,数学、信息、行为教育部重点实验室,北京 Email: xiaoyuanyang@vip.163.com 收稿日期:2011 年10月13 日;修回日期:2011 年11月24 日;录用日期:2011 年11月27 日 摘 要:本文研究了向量函数的一致连续问题。提出了向量函数相对周期的概念,在此基础上,给出 了向量函数一致收敛的判别方法,最后给出实际应用的例子,说明本文提出方法的有效性。 关键词:向量函数;一致连续;“相对周期”;比较判别法 1. 向量函数一致连续的基本定义 函数的一致连续是基础数学研 究的一个重要概念 。一元向量函数一致连 续性的探究,对复 变函数及运动 物 理学的研究具有重要意义。在 文献[1-4 ]中,我们研究了一 元函数和多元函数一 致连续判别法。本文 在此基础, 研究了向量函数的一致连续判别方法。本文获得的结论进一步扩宽了这一问题的理论成果,具有理论和应用价值。 下面给出向量函数一致连续和不一致连续的定义。 定义 1.1. (一致连续) 设12 ,, nm DRDR 1 :2 F DD。若任意给定 ,存在 ,对于任意的 ,当 0 1 ,DXY XY 时, FF XY成立,则称 F在 上一致连续。 1 D 定义 1.2. (不一致连续) 设12 ,, nm DRDR 1 :2 F DD。若存在一个 0 ,对任何,在 中可以 找到两个向量列 iN1 D , ii S K,1 ii i SK ,但是 0ii FF SK ,则称 F在上不一致连续,这里 为自 然数集合。 1 D N 王玮彬 等 向量函数一致连续的判别方法研究 2. 向量函数一致连续的相对周期判别法 首先将一元函数周期的概念拓展到向量函数,对于一般向量函数定义周期如下。 定义 2.1. (向量函数的周期)设:,: nm n i F RRfRR。 121 2 ,,,, ,, mm Fff ffffXXXX XTXXTT 对任意 12 ,,,n n x xxRX成立(其中 i x R ),则定义多元函数的周期为 12 ,,, , ni TTTT RT。 例1. 向量函数 sincos 2 π ,cos2 2 sin2cos 2 xy Fxyx y xy π 2π 以 为周期。 2 , x yR 2 定义 2.2. (向量函数的逆映射定义) 设 。若对任意 12 1 ,,: nm DRDRFD D X ,存在映射 , 且满足 21 1:DFD 1 FF X X,则称 1 F X 是向量函数 F X 的逆映射。 定义 2.3. (向量函数广义相对周期定义) 设:,: nm nn F RRGRR。其中 F X 以T为周期。若向量函数 12 ,, n Ggg g X XX X。 :n i g RR。X存在逆映射 1 G X ,则复合向量函数 WFG X X的第 k个相对周期为: 11 12 1,,, kkk GkGkTTTT R TT Tknki 下面通过一个例题来阐释向量函数逆映射及相对周期的求法。 例2. 2 2 2 sin cos π ,cos 2 sin xy Wxyx y xy 2 (, ) x yR ,y 解:分析向量函数Wx 的复合结构: ,,y FGxyWx ,其中 sin cos π ,cos 2 sin xy Fxyx y xy π π ,是以 为周期的周期向量函数; 2 , x Gxy y ,根据逆映射定义 1 GG X X易求得其存在逆映射 1 2 , x Gxy y 。于是由相对周期的定义求得 ,Wxy的第k个相对周期为 11 2222 1ππ1π π 1 π1ππ[1π] k kkk k GkG kkkkk TT T 定理 2.1. (基于广义相对周期的一致连续判别方法) 设:, nm F RR:,: nn n GR RWR R m 。 12 ,,,n n x xxRX。其中 F X 为上连续的周期向量函 数且以 T为周期,则对于复合向量函数 n R WFG X X,若其存在相对周期 ,且 ,,, kkkkn T 12 TTT 46 Copyright © 2012 Hanspub 王玮彬 等 向量函数一致连续的判别方法研究 inf 0 kT,则向量函数 W X 在 上不一致连续。 n R 1 00 , kk p q q kp TTS,且对 1 00 , kk p q pq TTX, X 证明:设k S 是W在上的模最大值点(波峰点),即 k T 1,2, 1 00 kk ip pq , i, qi x TT i n 时,必有 k WW X S成立; k K 是 W X 在 上的模最小值点(波谷点), 即 k T 1 00 , kk p qk p K q T T ,且 对 1 00 , kk p q pq TT X, ,1,2,, iqi 1 00 kk ip pq x TTi n 时,必有 k WWXK 成 立。由广义相对周期定义 2.3.知,若 k T1 00 , kk p q pq TTX,即 11 1,Gk G k TXT ,且 1 GG YY , 所以有: 。 1,k TTGkX 又因为 F X 是周期向量函数,在每个周期T上有固定的波峰点和波谷点,设 F X 在 上的 模最大值为,模最小值为 ,并且 1,kk TT ma FYx min FY max min FAYY ( 1, ,kkkN YTT ,A为常数), F 因此在每个相对周期上也都有 min max , FGFF XYY成立,且 F 在 上连续,即总可以找到这样 的向量列 n R , kk S K,使 max min max min , kk WFGFWFG F SXYKXY 故有 minmax 0 kk SKWWF FAY Y 。 对 由,,iN NNinf 0 kT即li km 0 k TkN知,当时,有 1 ki T,且 必有 1 00 ,, kk pqkk pq SKTT, 1 kkk i TSK,但是 0 kk WW ASK ,所以函数 W X 在 上不一致连续。 n R 3. 向量函数一致连续的比较判别法 这一节我们讨论向量函数在不同类型区域上的一致连续性的比较判别法。 定理 3.1. 设有界开集,函数 n DR ,: m, F GDRXX , F GCXX D。 ,存在DAn R B满 足 lim FaG XA X XB ,FG X X有相同的一致连续性。 (其中 a为非零常实数),则在集合上D 证明:作辅助函数 ,; , . F aG D WD XXX XBX 则 W X 在有界闭集 D上连续,故一致连续,因此 D上 ,FG X X有相同的一致连续。结论得证。 为了下面叙述方便,我们引进下面记号。 Copyright © 2012 Hanspub 47 王玮彬 等 向量函数一致连续的判别方法研究 ,n rrRBO OXXX , ,n r BrR OOXXX , ,n rrR BO OXXX 。 定理 3.2. 设 向量函数 1 , n r EBRD EO, c 12 ,: m F GDDR,且满足 1 , F GCDXX,如果 lim FaG XXX B 成立(其中 a为非零常实数,B为常值向量),则在集合 上 1 D ,FG X X有相同的一致连续性。 证明:首先证明如果 G X 在 上一致连续,则 1 D F X 在 上一致连续。 1 D 由于 g X 在上一致连续,则有定义1.1.得到 1 D 12 11 212 0,0,,, ,3 DGG A XXX XXX (3.1) 又 lim ,FaG X X XB对于 0, 0,Mr 当0MX时,有 3 FaG XXB (3.2) 取12 , M MXX,且 12 XX ,则根据(3.1)和(3.2)得到 12111 222 11122 2 333 FF FaGaGaGaGF FaGaGGFaG XXXXBX XBXX X XBX XXXB 从而得到 F X 在 上是一致连续的。又由于 1\ nM DRBO F X 在有界闭集 cM E B O上连续,因此一 致连续,综合上面证明, F X 在 上一致连续。 1 D 同理可证明 F X 在 上一致连续,则 1 D G X 在 上一致连续,即 1 D ,FG X X具有相同的一致连续性。 结论得证:由定理 3.2可以得到下面推论。 推论 3.1. 向量函数 ,: nm F GR R,且满足 ,n F GCRXX ,如果 lim FaG X X XB. 成立(其中 a为非零常实数,B为常值向量),则在集合 上 n R ,FG X X有相同的一致连续性。 推论 3.2. 设 1,, cr DEE B O向量函数 12 ,: m F GDDR,且满足 1 , F GCDXX,如果 1) lim FaG X X XB, 2) , , m rWR XXBO lim FaGW YX YY X 成立(其中 a为非零常实数,B为常值向量),则在集合 上 1 D ,FG X X有相同的一致连续性。 定理 3.3. 设 ,向量函数 121 21212 ,, ,, nn EE REEEEEEREEE 1 , F GCXX EE1 E。若在 上满足: lim FaG X X xB. 成立(其中 a为非零常实数,B为常值向量),则在集合 上 1 EE ,FG X X有相同的一致连续性。图 1给出了 定理 3.3.中向量函数定义域示意图。 48 Copyright © 2012 Hanspub 王玮彬 等 向量函数一致连续的判别方法研究 Figure 1. Diagram of domain in theorem 3.3 图 1. 定理 3.3.中向量函数定义域示意图 证明:设 G X 在 上一致连续,证明 1 EE F X 在 上一致连续。 1 EE 因为 G X 在 上一致连续,所以 1 EE 12 122 0,, , 0, , 3 EEG G A XXXXX X (3.3) 又 lim , XFaG X xB对于 0, 0,Mr 当0MX时,有 3 FaG XXB (3.4) 取12 , M MXX ,且 12 XX ,则通过(3.3),(3.4)有 12111 222 11122 2 33 3 FF FaGaGaGaGF FaGaGG FaG XXXXBX XBXX X XBX XXXB 所以 F X 在集合 1M EEEB O中一致连续,与 G X 有相同的一致连续性,存在一个正数 使此时 集合 是一个有界闭集,所以 m Mm BO 1 EE F X 在其中必定一致连续,所以函数 F X 与函数 G X 在集 合 上一致连续。 1 E E 同理,可以证明函数 F X 在 上一致连续,则 1 EE G X 在 1 EE上一致连续,因此,结论得证。 推论 3.3. 设 向量函数 121 2 ,, n EER EEE 1 ,, , 1212 ,, n EEEREEE F GXXCE如果 1) ,FG X X在 上任何点的极限都存在; E 2) 在集合 上满足: 1 E lim GFA XXX B 成立(其中 a为非零常实数,为常值向量),则B ,FG X X在上有相同的一致连续性。图 2给出了推论 3.3. 中向量函数定义域示意图。 1 E Copyright © 2012 Hanspub 49 王玮彬 等 向量函数一致连续的判别方法研究 Figure 2. Diagram of domain in corollary 3.3 图2. 推论 3.3.中向量函数定义域示意图 证明:做辅助函数: 1 , ; lim , FE F F E XA XX XXA 1 , lim , GE GGE XA XX XXA 由定理 3.3.可知,函数 ,FG X X在 上有相同的一致连续性,故 1 EE ,FG X X在定义域 上有相 同的一致连续性。 1 E 4. 应用举例 本节举例说明本文提出的判断函数一致连续定理的应用。 例1:定理 2.1. 应用 讨论向量函数 23 2323 π ,sincos,3cos ,5sin 2 Wxyxyx yx y R 2 在 上的一致连续性。 解:因为向量函数 π sincos,3cos, 5sin 2 F xy xyxy 是周期向量函数,令 ,则据向 量函数相对周期定义解得第k个相对周期 23 ,Gxy 11 33 2π21π 1 2π21π k kk GkG kkk TT T 从而有 lim 0, k k T即inf 0 k T,故向量函数 ,Wxy在 上不一致连续 2 R 例2:定理 3.2. 应用 讨论向量函数 23 4 24 4ln,3,2 4 x x F xxxex xx 在 1:0,D 上的一致连续性。 解:因为 2 2 2 4ln lim 1 x xx x x , 12 3 3 43 lim 1 3 x xx x , 4 4 24 lim 1 4 x x ex x ,所以令 , 且 234 ()2,3,4Gxxx x 1 A ,于是有: 50 Copyright © 2012 Hanspub 王玮彬 等 向量函数一致连续的判别方法研究 2 2 33 4 4 22 4ln 4ln 44 limlim 33lim 4 24 2 TT T xx x xx xx x xx x Fx aGxxx xx x ex e O, 所以函数 F x在与函数 有相同的一致连续性。又函数 1:0,D Gx 234 ,3 ,4xx x xGD非一 致连续,所以函数 在 上 1:0, 234 24 4ln 3, 25 x x, F xx xe xx 在x 1 D:0, 上也非一致连续。 例3:定理 3.2. 应用 讨论向量函数: 33,ln6,4sin F xxxx在 1:0,D 上的一致连续性。 解:因为 33 lim 3 x x x , 1 ln 7 lim 3 3ln x x x ,4sin lim 3 4sin 2 x x x ,所以令 14 ,ln, sin 23 Gxxxx 且3A , 于是有: lim()( ) xFx aGx O, 因此,函数 F x与函数 在 Gx 1:0,D 上有相同的一致连续性。而函数 14 ,ln,sin 33 Gxx xx 在 上一致连续,所以函数 1:0,D 33,ln6,4sin F xxxx在 1:0,D 上一致连续。 例4:定理 3.2. 的应用 讨论函数 3 46 3 11co ( ,)sin,sin,ln 22 s x y xyy x F xyxy xxe xyxy y xy 2 在R上的一致连续性。 解:因为 4 3 3 6 23 s 1cos 1ln sin 2 2 lim1, in lim1, lim1; 1 sin xy xy x x y y x y xy xx yx xy e y xy xyxy e xy xy 所以令 23 1 ,sin,, x y Gxyxye xy 1a 且 ,于是有 46 23 3 3 11 sin sin 2 lim ,,limsin 1cos ln 2 TT xx xy xy xy xyxyxy Fxy aGxyxyxxxy e yx e y xy O 因此,函数 , F xy与函数 ,Gxy在 1:0,D 上有相同的一致连续性.而函数 ,Gxy在定义域上不一致连续, 故原函数在定义域上不一致连续。 Copyright © 2012 Hanspub 51 王玮彬 等 向量函数一致连续的判别方法研究 52 Copyright © 2012 Hanspub 5. 结论 本文研究了多种类型区域向量函数一致连续的判别方法,本文的结论丰富了函数一致连续性的理论结果。 参考文献 (References) [1] 杨小远, 马建华, 张立文等. 关于函数一致连续性的判别方法研究[J]. 河南科学, 2010, 28(6): 635-637. [2] 杨小远, 王玮彬, 张立文等. 振荡函数一致连续性研究[J]. 河南科学, 2010, 28(8): 899-900. [3] 杨小远, 王玮彬, 马建华. 多元振荡函数一致连续性研究[J]. 河南科学, 2010, 28(9): 1061-1064. [4] 杨小远, 王玮彬, 马建华. 多元函数一致连续的比较判别方法研究[J]. 河南科学, 2010, 28(12): 1501-1503. |