关于紧集上局部Lipschitz条件的讨论.pdfVIP

第26卷第 1期 大 学 数 学 V01．26，№．1 2010年 2月 COLLEGE MATHEM ATICS Feb．2Ol0 关于紧集上局部 Lipschitz条件的讨论 何志蓉， 杜正东， 张伟年 (四川大学 数学学院，四川 成都 610064) [摘 要]许多常微分方程教材关于解 的整体连续依赖性的讨论都用到了一个 “紧性”事实：欧 氏空间中 的紧集上一个局部 Lipschitz函数一定在该紧集上是全局 Lipschitz的．然而这一事实在教学 中并非显然，不 少学生在试图给出证明时都走入了一个误区．本文对这一 问题从正反两方面进行 了讨论 ． [关键词]局部 Lipschitz条件 ；全局 Lipschitz条件；紧集；管形邻域 [中图分类号]O175．1 [文献标识码]C [文章编号]1672—1454(2010)01一O166—03 1 问题的提 出 许多常微分方程教材，如[1—5]都在解对初值和参数的连续依赖性部分介绍 了一个整体连续依赖 性的结果，如f1]的定理 1(194页)、[2]的定理 (95页和 145页)、[3]的定理 5．2(145页)、I-4-i的定 理 6．1(125页)、Is]的定理 5．10(145页)等等．该结果的证明主要是在方程主一厂(t，z)中厂(t，z)对 z 局部 Lipschitz条件下利用一段解的管形闭邻域的紧性来给出f(t，z)对z在该管形闭邻域 中的(整体) Lipschitz性．这就要用到一个重要而且看似 “显然”的事实 ：设 GC 是紧子集，：G一 是局部 Lipschitz的，则 ：G一 是Lipschitz的．事实上在教材[1]第 84页附注 1中已经明确指出：当G是有 界闭区域时，是局部 Lipschitz的即意味着 是全局 Lipschitz的．这个 “显然”的事实很少有教科书给 出证明． 通常人们会这样理解：在 G上每一个点 。都有一个开邻域U。及常数L。O，使得 lI ()一 ()Jl≤L。lI—YJl，，YEU。． (1) {U }构成G的一个开覆盖 ，由G的紧性 ，存在一个有限子覆盖 ：一 {u ，U ，… ，L，)．因而，在G上具 有 Lipschitz常数 L：一max{L1，L2，…，L)． (2) 许多学生出于对证明的好奇，在试图给出证 明细节的时候走入了一个误区：任取两点 z，EG，必有两 个邻域u， ∈n使得 EU，yEV．进而选择邻域 W ∈n，使得 w ≠u且 w n 【，≠ ，并任取一点 zEUNW 且 z≠z．同理再从w 出发类似地选择 w 和 zz．如此下去只需要有限步就可以取到 上的某邻域w ，它 与 相交．同理 ，我们 任取一 点 ∈W NV．如果 简记 zo—z，5g^+l— ．显然 ，我们有 II (z汁 )一 ()Il≤Lll—yl_， i：0，1，…，k． 从而，如图 1我们 自然想到用三角不等式做如下 “推导”： ll ¨ II(z)一()II≤Illi∑((一(“1)) i— o ¨ k ≤LE 1iXi— l1． (3) 图 1 ＼ [收稿 日期]2007—06—19 第 1期