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

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

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


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

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


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

परिभाषाएँ
दो मीट्रिक स्थान (X, d) दिए गए हैंX) और (वाई, डीY), जहां घX समूह X और d पर मीट्रिक (गणित) को दर्शाता हैY समूह Y पर मीट्रिक है, फलन f:1 और एक्स2 एक्स में,
 * $$ d_Y(f(x_1), f(x_2)) \le K d_X(x_1, x_2).$$

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

विशेष रूप से, वास्तविक-मूल्यवान फलन f: R → R को लिप्सचिट्ज़ निरंतर कहा जाता है यदि कोई धनात्मक वास्तविक स्थिरांक K उपस्तिथ हो, जैसे कि सभी वास्तविक x के लिए1 और एक्स2,
 * $$ |f(x_1) - f(x_2)| \le K |x_1 - x_2|.$$

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

सामान्यतः, असमानता (तुच्छ रूप से) संतुष्ट होती है यदि x1 = एक्स2. अन्यथा, कोई किसी फलन को लिप्सचिट्ज़ निरंतर के रूप में परिभाषित कर सकता है यदि और केवल तभी जब कोई स्थिरांक K ≥ 0 उपस्तिथ हो, जैसे कि सभी x के लिए1 ≠ एक्स2,
 * $$\frac{d_Y(f(x_1),f(x_2))}{d_X(x_1,x_2)}\le K.$$

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

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

अधिक सामान्यतः, एक्स पर परिभाषित फलन एफ को 'होल्डर निरंतर' कहा जाता है या एक्स पर ऑर्डर α > 0 की 'होल्डर स्थिति' को संतुष्ट करने के लिए कहा जाता है यदि कोई निरंतर एम ≥ 0 उपस्तिथ है
 * $$d_Y(f(x), f(y)) \leq M d_X(x, y)^{\alpha}$$ एक्स में सभी एक्स और वाई के लिए। कभी-कभी ऑर्डर α की धारक स्थिति को 'ऑर्डर की यूनिफ़ॉर्म लिप्सचिट्ज़ स्थिति' α > 0 भी कहा जाता है।

वास्तविक संख्या K ≥ 1 के लिए, यदि
 * $$\frac{1}{K}d_X(x_1,x_2) \le d_Y(f(x_1), f(x_2)) \le K d_X(x_1, x_2)\quad\text{ for all }x_1,x_2\in X,$$

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

उदाहरण

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

गुण

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

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

एकतरफ़ा लिप्सचिट्ज़
मान लीजिए कि 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 के लिए1 और एक्स2.

यह संभव है कि फलन 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 के साथ।

यह भी देखें

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