लिप्सचिट्ज़ निरंतरता

लिप्सचिट्ज़ सतत फलन के लिए, दोहरा शंकु (सफ़ेद) उपस्तिथ होता है जिसके मूल को आलेख के साथ ले जाया जा सकता है जिससे कि पूरा आलेख सदैव दोहरे शंकु के बाहर रहे

गणितीय विश्लेषण में, लिप्सचिट्ज़ निरंतरता, जिसका नाम जर्मनी के गणितज्ञ रूडोल्फ लिप्सचिट्ज़ के नाम पर रखा गया है, जिससे कि फलन (गणित) के लिए समान निरंतरता का मजबूत रूप होता है। इस प्रकार सहज रूप से, लिप्सचिट्ज़ निरंतर फलन इस बात में सीमित होता है कि यह कितनी तेजी से परिवर्तित हो सकता है। वास्तविक संख्या उपस्तिथ होती है, जैसे कि इस फलन के आलेख पर बिंदुओं की प्रत्येक जोड़ी के लिए, उन्हें जोड़ने वाली रेखा की ढलान का पूर्ण मान इससे अधिक नहीं होता है यह वास्तविक संख्या ऐसी सबसे छोटी सीमा को फलन का लिप्सचिट्ज़ स्थिरांक कहा जाता है (और यह निरंतरता के मापांक से संबंधित होती है)। उदाहरण के लिए, प्रत्येक फलन जो अंतराल पर परिभाषित होता है और यह पहले व्युत्पन्न से घिरा होता है, अतः लिप्सचिट्ज़ निरंतर होता है।

विभेदक समीकरणों के सिद्धांत में, लिप्सचिट्ज़ निरंतरता पिकार्ड-लिंडेलोफ प्रमेय की केंद्रीय स्थिति होती है जो प्रारंभिक मूल्य समस्या के समाधान के अस्तित्व और विशिष्टता की गारंटी देती है। विशेष प्रकार की लिप्सचिट्ज़ निरंतरता, जिसे संकुचन मानचित्रण कहा जाता है, अतः इसका उपयोग बानाच निश्चित-बिंदु प्रमेय में किया जाता है।

हमारे पास वास्तविक रेखा के सघनता गैर-तुच्छ अंतराल पर कार्यों के लिए सख्त समावेशन की निम्नलिखित श्रृंखला होती है:

निरंतर भिन्न ⊂ लिप्सचिट्ज़ निरंतर ⊂ $\alpha$-धारक निरंतर,

जहाँ $0<\alpha \leq 1$. जो हमारे पास भी होता है

लिप्सचिट्ज़ निरंतर ⊂ बिल्कुल निरंतर ⊂ समान रूप से निरंतर।

परिभाषाएँ

सामान्यतः दो मीट्रिक स्थान (X, d_X) और (Y, d_Y), दिए गए हैं, जहां d_X समूह X पर मीट्रिक को दर्शाता है और d_Y समूह Y पर मीट्रिक (गणित) को दर्शाता है, अतः फलन f : X → Y लिप्सचिट्ज़ निरंतर कहा जाता है यदि कोई वास्तविक स्थिरांक K ≥ 0 इस प्रकार कि, X में सभी x₁ और x₂ के लिए,

$d_{Y}(f(x_{1}),f(x_{2}))\leq Kd_{X}(x_{1},x_{2}).$

ऐसे किसी भी K को फलन f के लिए 'लिप्सचिट्ज़ स्थिरांक' के रूप में संदर्भित किया जाता है और f को 'K-लिप्सचिट्ज़' के रूप में भी संदर्भित किया जा सकता है। इस प्रकार सबसे छोटे स्थिरांक को कभी-कभी f का (सर्वोत्तम) 'लिप्सचिट्ज़ स्थिरांक' या 'फैलाव' या 'फैलाव' का कहा जाता है। यदि K = 1 फलन को 'लघु मानचित्र' कहा जाता है, और यदि 0 ≤ K < 1 और f स्वयं के लिए मीट्रिक स्थान मानचित्र करता है, तब फलन को 'संकुचन मानचित्रण' कहा जाता है।

विशेष रूप से, वास्तविक-मूल्यवान फलन f: R → R को लिप्सचिट्ज़ निरंतर कहा जाता है यदि कोई धनात्मक वास्तविक स्थिरांक K उपस्तिथ होता है, जैसे कि सभी वास्तविक x₁ और x₂ के लिए,

$|f(x_{1})-f(x_{2})|\leq K|x_{1}-x_{2}|.$

इस स्थिति में, Y मानक मीट्रिक d_Y(y₁, y₂) = |y₁− y₂|, के साथ वास्तविक संख्या 'R' का समूह होता है, और X 'R' का उपसमुच्चय होता है।

सामान्यतः, यदि x₁ = x₂ होता है तब असमानता (तुच्छ रूप से) संतुष्ट होती है। अन्यथा, कोई किसी फलन को लिप्सचिट्ज़ निरंतर के रूप में परिभाषित कर सकता है और केवल तभी जब कोई स्थिरांक K ≥ 0 उपस्तिथ होता है, जैसे कि सभी x₁ ≠ x₂ के लिए,

${\frac {d_{Y}(f(x_{1}),f(x_{2}))}{d_{X}(x_{1},x_{2})}}\leq K.$

अनेक वास्तविक चरों के वास्तविक-मूल्यवान कार्यों के लिए, यह तभी क्रियान्वित होता है जब सभी छेदक रेखाओं के ढलानों का निरपेक्ष मान K से घिरा होता है। इस प्रकार फलन के आलेख पर बिंदु से गुजरने वाली ढलान K की रेखाओं का समूह बनाता है, जिससे कि वृत्ताकार शंकु और फलन लिप्सचिट्ज़ होता है और यदि फलन का आलेख प्रत्येक स्थान इस शंकु के पूर्ण प्रकार से बाहर होता है (आंकड़ा देखें)।

फलन को 'स्थानीय रूप से लिप्सचिट्ज़ निरंतर' कहा जाता है यदि x में प्रत्येक X के लिए x का पड़ोस (गणित) U उपस्तिथ होता है जैसे कि U तक सीमित f लिप्सचिट्ज़ निरंतर होता है। इस प्रकार समान रूप से, यदि

अधिक सामान्यतः, X पर परिभाषित फलन f को 'होल्डर निरंतर' कहा जाता है या X पर ऑर्डर α > 0 की 'होल्डर स्थिति' को संतुष्ट करने के लिए कहा जाता है यदि कोई निरंतर M ≥ 0 उपस्तिथ होता है।

$d_{Y}(f(x),f(y))\leq Md_{X}(x,y)^{\alpha }$

X में सभी X और y के लिए। कभी-कभी ऑर्डर α की धारक स्थिति को 'ऑर्डर की यूनिफ़ॉर्म लिप्सचिट्ज़ स्थिति' α > 0 भी कहा जाता है।

वास्तविक संख्या K ≥ 1 के लिए, यदि

${\frac {1}{K}}d_{X}(x_{1},x_{2})\leq d_{Y}(f(x_{1}),f(x_{2}))\leq Kd_{X}(x_{1},x_{2})\quad {\text{ for all }}x_{1},x_{2}\in X,$

तब f को 'K-बिलिप्सचिट्ज़' (जिसे 'K-बाई-लिप्सचिट्ज़' भी लिखा जाता है) कहा जाता है। हम कह सकते हैं कि f 'बिलिप्सचिट्ज़' या 'बाई-लिप्सचिट्ज़' होता है, इसका तात्पर्य यह होता है कि ऐसा K उपस्तिथ होता है। इस प्रकार बिलिप्सचिट्ज़ मानचित्रण इंजेक्शन फलन होता है, और वास्तव में इसकी छवि पर होमियोमोर्फिज्म होते है। इस प्रकार बिलिप्सचिट्ज़ फलन इंजेक्टिव लिप्सचिट्ज़ फलन के समान होता है जिसका उलटा फलन भी लिप्सचिट्ज़ होता है।

उदाहरण

लिप्सचिट्ज़ निरंतर कार्य जो हर स्थान भिन्न होते हैं

• The function $f(x)={\sqrt {x^{2}+5}}$ defined for all real numbers is Lipschitz continuous with the Lipschitz constant K = 1, because it is everywhere differentiable and the absolute value of the derivative is bounded above by 1. See the first property listed below under "Properties".
• Likewise, the sine function is Lipschitz continuous because its derivative, the cosine function, is bounded above by 1 in absolute value.

लिप्सचिट्ज़ निरंतर कार्य जो हर स्थान भिन्न नहीं होते हैं

• The function $f(x)=|x|$ defined on the reals is Lipschitz continuous with the Lipschitz constant equal to 1, by the reverse triangle inequality. More generally, a norm on a vector space is Lipschitz continuous with respect to the associated metric, with the Lipschitz constant equal to 1.

लिप्सचिट्ज़ निरंतर कार्य जो हर स्थान भिन्न होते हैं किन्तु निरंतर भिन्न नहीं होते हैं

• The function $f(x)\;=\;{\begin{cases}x^{2}\sin(1/x)&{\text{if }}x\neq 0\\0&{\text{if }}x=0\end{cases}}$, whose derivative exists but has an essential discontinuity at $x=0$.

निरंतर कार्य जो (वैश्विक स्तर पर) लिप्सचिट्ज़ निरंतर नहीं हैं

• The function f(x) = √x defined on [0, 1] is not Lipschitz continuous. This function becomes infinitely steep as x approaches 0 since its derivative becomes infinite. However, it is uniformly continuous, and both Hölder continuous of class C^{0, α} for α ≤ 1/2 and also absolutely continuous on [0, 1] (both of which imply the former).

विभिन्न कार्य जो (स्थानीय रूप से) लिप्सचिट्ज़ निरंतर नहीं हैं

• The function f defined by f(0) = 0 and f(x) = x^3/2sin(1/x) for 0<x≤1 gives an example of a function that is differentiable on a compact set while not locally Lipschitz because its derivative function is not bounded. See also the first property below.

विश्लेषणात्मक कार्य जो (वैश्विक स्तर पर) लिप्सचिट्ज़ निरंतर नहीं हैं

• The exponential function becomes arbitrarily steep as x → ∞, and therefore is not globally Lipschitz continuous, despite being an analytic function.
• The function f(x) = x² with domain all real numbers is not Lipschitz continuous. This function becomes arbitrarily steep as x approaches infinity. It is however locally Lipschitz continuous.

गुण

• हर स्थान भिन्न-भिन्न फलन जी: 'आर' → 'आर' लिप्सचिट्ज़ निरंतर है (के = सुपर | जी ′ (एक्स) | के साथ) यदि और केवल अगर यह पहले व्युत्पन्न से घिरा हुआ है; माध्य मान प्रमेय से दिशा अनुसरण करती है। विशेष रूप से, कोई भी निरंतर भिन्न कार्य स्थानीय रूप से लिप्सचिट्ज़ होता है, क्योंकि निरंतर कार्य स्थानीय रूप से बंधे होते हैं इसलिए इसका ग्रेडिएंट भी स्थानीय रूप से बाध्य होता है।
• लिप्सचिट्ज़ फलन g : 'R' → 'R' बिल्कुल निरंतर है और इसलिए लगभग हर स्थान भिन्न होता है, अर्थात, लेब्सग्यू माप शून्य के समूह के बाहर हर बिंदु पर भिन्न होता है। इसका व्युत्पन्न अनिवार्य रूप से लिप्सचिट्ज़ स्थिरांक द्वारा परिमाण में घिरा हुआ है, और a < b के लिए, अंतर g(b) - g(a) अंतराल [a, b] पर व्युत्पन्न g′ के अभिन्न अंग के सामान्तर है।
  • इसके विपरीत, यदि f : I → 'R' बिल्कुल निरंतर है और इस प्रकार लगभग हर स्थान भिन्न है, और |f′(x)| को संतुष्ट करता है। I में लगभग सभी x के लिए ≤ K, तो अधिकतम K पर लिप्सचिट्ज़ स्थिरांक के साथ f लिप्सचिट्ज़ निरंतर है।
  • अधिक सामान्यतः, रैडेमाकर का प्रमेय यूक्लिडियन स्थानों के मध्य लिप्सचिट्ज़ मानचित्रिंग के लिए भिन्नता परिणाम का विस्तार करता है: लिप्सचिट्ज़ मानचित्र एफ: यू → 'आर'^एम, जहां यू 'आर' में खुला समूह हैⁿ, लगभग हर स्थान व्युत्पन्न है। इसके अतिरिक्त, यदि K, f का सर्वश्रेष्ठ लिप्सचिट्ज़ स्थिरांक है, तो $\|Df(x)\|\leq K$ जब भी कुल व्युत्पन्न Df उपस्तिथ हो।
• भिन्न लिप्सचिट्ज़ मानचित्र के लिए $f:U\to \mathbb {R} ^{m}$ असमानता $\|Df\|_{W^{1,\infty }(U)}\leq K$ सर्वोत्तम लिप्सचिट्ज़ स्थिरांक के लिए धारण करता है $K$ का $f$. यदि डोमेन $U$ वास्तव में उत्तल है $\|Df\|_{W^{1,\infty }(U)}=K$.
• मान लीजिए कि {एफ_n} दो मीट्रिक स्थानों के मध्य लिप्सचिट्ज़ निरंतर मानचित्रिंग का क्रम है, और वह सभी एफ_nलिप्सचिट्ज़ स्थिरांक कुछ K से घिरा है। यदि f_nमानचित्रिंग f एकसमान अभिसरण में अभिसरण करता है, तो f भी लिप्सचिट्ज़ है, लिप्सचिट्ज़ स्थिरांक समान K से घिरा होता है। विशेष रूप से, इसका तात्पर्य यह है कि लिप्सचिट्ज़ स्थिरांक के लिए विशेष सीमा के साथ कॉम्पैक्ट मीट्रिक स्थान पर वास्तविक-मूल्यवान कार्यों का समूह है सतत कार्यों के बानाच स्थान का बंद और उत्तल उपसमुच्चय। हालाँकि, यह परिणाम उन अनुक्रमों के लिए मान्य नहीं है जिनमें फ़ंक्शंस में असीमित लिप्सचिट्ज़ स्थिरांक हो सकते हैं। वास्तव में, कॉम्पैक्ट मीट्रिक स्पेस पर सभी लिप्सचिट्ज़ फ़ंक्शंस का स्थान निरंतर फ़ंक्शंस के बनच स्थान का उपबीजगणित है, और इस प्रकार इसमें सघनता है, जो स्टोन-वीयरस्ट्रैस प्रमेय का प्रारंभिक परिणाम है (या वीयरस्ट्रैस सन्निकटन प्रमेय के परिणामस्वरूप, क्योंकि प्रत्येक बहुपद स्थानीय रूप से लिप्सचिट्ज़ निरंतर है)।
• प्रत्येक लिप्सचिट्ज़ निरंतर मानचित्र समान रूप से निरंतर होता है, और इसलिए फोर्टियोरी निरंतर कार्य होता है। अधिक सामान्यतः, परिबद्ध लिप्सचिट्ज़ स्थिरांक के साथ कार्यों का समूह समविराम समूह बनाता है। अर्ज़ेला-एस्कोली प्रमेय का तात्पर्य है कि यदि {f_n} परिबद्ध लिप्सचिट्ज़ स्थिरांक के साथ कार्यों का समान रूप से परिबद्ध अनुक्रम है, फिर इसमें अभिसरण अनुवर्ती होता है। पिछले पैराआलेख के परिणाम के अनुसार, सीमा फलन भी लिप्सचिट्ज़ है, लिप्सचिट्ज़ स्थिरांक के लिए समान सीमा के साथ। विशेष रूप से लिप्सचिट्ज़ स्थिरांक ≤ K वाले कॉम्पैक्ट मीट्रिक स्पेस
• लिप्सचिट्ज़ के परिवार के लिए निरंतर कार्य एफ_α सामान्य स्थिरांक के साथ, फलन $\sup _{\alpha }f_{\alpha }$ (और $\inf _{\alpha }f_{\alpha }$) लिप्सचिट्ज़ निरंतर भी है, समान लिप्सचिट्ज़ स्थिरांक के साथ, बशर्ते कि यह कम से कम बिंदु पर सीमित मान मानता हो।
• यदि U मीट्रिक स्पेस M और f का उपसमुच्चय है: U → 'R' लिप्सचिट्ज़ निरंतर फलन है, तो सदैव लिप्सचिट्ज़ निरंतर मानचित्र M → 'R' उपस्तिथ होते हैं जो f का विस्तार करते हैं और f के समान लिप्सचिट्ज़ स्थिरांक रखते हैं (यह भी देखें) किर्स्ज़ब्रौन प्रमेय)। द्वारा एक्सटेंशन प्रदान किया जाता है

${\tilde {f}}(x):=\inf _{u\in U}\{f(u)+k\,d(x,u)\},$ :जहाँ k, U पर f के लिए लिप्सचिट्ज़ स्थिरांक है।

लिप्सचिट्ज़ मैनिफोल्ड्स

टोपोलॉजिकल मैनिफ़ोल्ड पर लिप्सचिट्ज़ संरचना को एटलस (टोपोलॉजी) का उपयोग करके परिभाषित किया गया है, जिसके संक्रमण मानचित्र बिलिप्सचिट्ज़ हैं; यह संभव है क्योंकि बिलिप्सचिट्ज़ मानचित्र छद्म समूह बनाते हैं। इस तरह की संरचना किसी को ऐसे मैनिफोल्ड्स के मध्य स्थानीय रूप से लिप्सचिट्ज़ मानचित्रों को परिभाषित करने की अनुमति देती है, उसी तरह जैसे कोई चिकनी अनेक गुना ्स के मध्य स्मूथ मानचित्र को परिभाषित करता है: यदि M और N लिप्सचिट्ज़ मैनिफ़ोल्ड हैं, फिर फलन $f:M\to N$ स्थानीय रूप से लिप्सचिट्ज़ है यदि और केवल यदि समन्वय चार्ट की प्रत्येक जोड़ी के लिए $\phi :U\to M$ और $\psi :V\to N$, कहाँ U और V संगत यूक्लिडियन रिक्त स्थान, रचना में खुले समूह हैं

$$\psi ^{-1}\circ f\circ \phi :U\cap (f\circ \phi )^{-1}(\psi (V))\to N$$

स्थानीय रूप से लिप्सचिट्ज़ है। यह परिभाषा किसी मीट्रिक को परिभाषित करने पर निर्भर नहीं करती है M या N. यह संरचना टुकड़े-टुकड़े-रैखिक मैनिफोल्ड और टोपोलॉजिकल मैनिफोल्ड के मध्य मध्यवर्ती है: पीएल संरचना अद्वितीय लिप्सचिट्ज़ संरचना को जन्म देती है। जबकि लिप्सचिट्ज़ मैनिफोल्ड्स टोपोलॉजिकल मैनिफोल्ड्स से निकटता से संबंधित हैं, रेडेमाकर का प्रमेय किसी को विश्लेषण करने की अनुमति देता है, जिससे विभिन्न अनुप्रयोग प्राप्त होते हैं।

एकतरफ़ा लिप्सचिट्ज़

मान लीजिए कि F(x) x का अर्ध-निरंतर|ऊपरी अर्ध-निरंतर फलन है, और F(x) सभी x के लिए बंद, उत्तल समूह है। तब F एकतरफ़ा लिप्सचिट्ज़ है अगर

$(x_{1}-x_{2})^{T}(F(x_{1})-F(x_{2}))\leq C\Vert x_{1}-x_{2}\Vert ^{2}$ कुछ C के लिए और सभी x के लिए₁ और एक्स₂.

यह संभव है कि फलन F में बहुत बड़ा लिप्सचिट्ज़ स्थिरांक हो किन्तु मध्यम आकार का, या यहां तक ​​कि ऋणात्मक, तरफा लिप्सचिट्ज़ स्थिरांक हो। उदाहरण के लिए, फलन

${\begin{cases}F:\mathbf {R} ^{2}\to \mathbf {R} ,\\F(x,y)=-50(y-\cos(x))\end{cases}}$

लिप्सचिट्ज़ स्थिरांक K = 50 है और तरफा लिप्सचिट्ज़ स्थिरांक C = 0 है। उदाहरण जो तरफा लिप्सचिट्ज़ है किन्तु लिप्सचिट्ज़ निरंतर नहीं है वह F(x) = e है^−x, C = 0 के साथ।

यह भी देखें

• Contraction mapping
• दीनी निरंतरता
• निरंतरता का मापांक
• अर्ध-आइसोमेट्री
• जॉनसन-लिंडेनस्ट्रॉस लेम्मा - किसी भी पूर्णांक n≥0 के लिए, कोई भी परिमित उपसमुच्चय X⊆'R'ⁿ, और कोई भी वास्तविक संख्या 0<ε<1, वहां (1+ε)-द्वि-लिप्सचिट्ज़ फलन उपस्तिथ है $f:\mathbb {R} ^{n}\to \mathbb {R} ^{d},$ कहाँ $d=\lceil 15(\ln |X|)/\varepsilon ^{2}\rceil .$