定義
對於在實數集的子集的函式,若存在常數,使得,則稱符合利普希茨條件,對於最小的常數稱為的 利普希茨常數。若,稱為收縮映射。
利普希茨條件也可對任意度量空間的函式定義:
給定兩個度量空間,。若對於函式,存在常數使得
則說它符合利普希茨條件。
若存在使得
則稱為 雙李普希茨(bi-Lipschitz)的。
皮卡-林德洛夫定理
若已知有界,符合利普希茨條件,則微分方程初值問題剛好有一個解。
在套用上,通常屬於一有界閉區間(如)。於是必有界,故有唯一解。
例子
符合利普希茨條件,。
不符合利普希茨條件,當。
定義在所有實數值的符合利普希茨條件,。
符合利普希茨條件,。由此可見符合利普希茨條件的函式未必可微。
不符合利普希茨條件,。不過,它符合赫爾德條件。
若且唯若處處可微函式f的一次導函式有界,f符利普希茨條件。這是中值定理的結果。所有函式都是局部利普希茨的,因為局部緊緻空間的連續函式必定有界。
性質
符合利普希茨條件的函式一致連續,也連續。
bi-Lipschitz函式是單射的。
Rademacher定理:若且為開集,符利普希茨條件,則f幾乎處處可微。
Kirszbraun定理:給定兩個希爾伯特空間,符合利普希茨條件,則存在符合利普希茨條件的,使得的利普希茨常數和的相同,且。