论Lipschitz连续性在各种可微定义下的充要条件.pdfVIP

维普资讯 fl7 第 20誉 锖 2期 东北重型机械学院学报 Vol20 No．2 l996年 6月 JournalofNortheastHeavy M achinery Jun 1996 = =— 一 一 论Lipschitz连续性 在各种可微定义下的充要条件 陈子真 ’ ．—— ·-——— 。。一 (北京电子科技学院 ) 摘 要 讨论在不同的可微性定义下 (通常意义下的．导出值或Dini意义下的和牯性意 fl~j)Li hj住 卫T psc Lip 关关键键词词 schitz连续可微导导出出数数Dini导导数数粘粘趾隆上、、下下导导数数 撤【 ． 分类号 6l74■一 )——， 0 弓1言 由微分学的中值定理可以得到下列Lipschitz连续的充分条件： 如果 f是定义在 [a,b]上的实连续函数．若存在一个常数 ≥0．使得对于任意的 ∈(口、6)．1，‘【)；≤ 那么、对于任意的 ∈ b]．有 。 l )一几1。)l≤Ⅳ {x— l 这个条件绝不可能是必要的 因而 本文试图通过其他类型的可微性来理解Lipschitz 连续性 ． 在本文中．用R表示实直线、 b]和(。、b)分别代表 R的闭、开区间．m和 分 别为 Lebesgue测度和 Lebesgue外测度 [A] =max 、O)． 1 导出数对 Lipschitz连续性的刻划 定义 1 设．，是定义在 [a,b]上的实函数 、对于x∈a【,b】，，在 处的导出集定叉为 Df( u{ ：=4 } 这里．h ≠0 满足 +hk∈a【．b]厦 ^一 0 Df(x)的元素称为厂在 处的导出数 ． 在导出集的定义下．有下面的Lipschitz连续的充要条件： 定理 1 设 ，是定义在 a【．b]上的实函数 ，≥O是一个常数 ．刚对于任意的 ．∈ b]、有 1，I)一代1)f≤M l 一 l · f1) 当且仪 当对任意的 x∈a【,b]时 Dt~x)c 一【 M】 (2) 证明 式 2【)的必要性是显然的 ．下面证咀其充分性 ．假没存在 [a,b]上的函数l厂满 1993年 1月 j3口Z到 维普资讯 求 j点型机械学院 芋掇 1996 足式 ( 但不满足式 ( 刚存在 ．壬意正数 。存在 01’0 f】满足 l 0)一． 1l (l，+c)l0一 0}． 令 j c]+yo)／2．则必有 ，n)一几 】)l(M+ )l0一 Il或 『(】)一九0)i ( +c】 『j一1-0l 因此 ．存在 l1]c ，0]，满足l】一 !l=l0一j ；／2以及 )一 ’1)l(M+￡)l】一 I1．类似地，可得到 [2．2