उपव्युत्पन्न
गणित में, सबयौगिक , सबग्रेडिएंट और सबडिफरेंशियल व्युत्पन्न को उत्तल फलन के लिए सामान्यीकृत करते हैं जो आवश्यक रूप से भिन्न कार्य नहीं होते हैं। उत्तल विश्लेषण में उप-व्युत्पन्न उत्पन्न होते हैं, उत्तल फलन का अध्ययन, अक्सर उत्तल अनुकूलन के संबंध में उपयोग किया जाता है।
माना वास्तविक रेखा के संवृत अंतराल पर परिभाषित वास्तविक संख्या-मूल्यवान उत्तल फलन बनें थे। ऐसे फलन को सभी बिंदुओं पर भिन्न होने की आवश्यकता नहीं है: उदाहरण के लिए, निरपेक्ष मान फलन जब यह गैर-विभेदित होता है चूँकि, जैसा कि दाईं ओर के ग्राफ़ में देखा गया है (जहाँ नीले रंग में निरपेक्ष मान फलन के समान गैर-विभेदित किंक हैं), किसी के लिए फलन के डोमेन में कोई रेखा खींच सकता है जो बिंदु से होकर जाती है और जो प्रत्येक समिष्ट या तो एफ के ग्राफ को छू रहा है या नीचे है। ऐसी रेखा की स्लोप को उप-व्युत्पन्न कहा जाता है।
परिभाषा
कठोरता से, उत्तल फलन का उपव्युत्पन्न बिंदु पर संवृत अंतराल में वास्तविक संख्या है ऐसा है कि
उदाहरण
फलन पर विचार करें जो उत्तल है. फिर मूल पर उपविभेदक अंतराल है . किसी भी बिंदु पर उपविभेदक सिंगलटन समुच्चय है , जबकि किसी भी बिंदु पर उपविभेदक सिंगलटन समुच्चय है यह साइन फलन के समान है, किन्तु एकल-मूल्यवान नहीं है , इसके अतिरिक्त सभी संभावित उप-व्युत्पन्न सम्मिलित हैं।
गुण
- एक उत्तल कार्य पर भिन्न है यदि और केवल यदि उपविभेदक सिंगलटन समुच्चय है, जो है .
- एक बिंदु उत्तल फलन का वैश्विक न्यूनतम है यदि और केवल यदि शून्य उपविभेदक में निहित है। उदाहरण के लिए, उपरोक्त चित्र में, कोई ग्राफ़ के लिए क्षैतिज उपस्पर्शरेखा पर रेखा खींच सकता है यह अंतिम गुण इस तथ्य का सामान्यीकरण है कि समिष्टीय न्यूनतम पर अवकलनीय फलन का व्युत्पन्न शून्य है।
- यदि और उपविभेदकों के साथ उत्तल फलन हैं इस प्रकार और साथ कार्यों में से किसी का आंतरिक बिंदु होते है, फिर उपविभेदक है (जहां अतिरिक्त ऑपरेटर मिन्कोव्स्की योग को दर्शाता है)। इसे इस प्रकार पढ़ा जाता है कि किसी योग का उपअंतर, उपविभेदकों का योग होता है।[2]
उपग्रेडिएंट
उप-व्युत्पन्न और उप-अंतर की अवधारणाओं को कई चर के कार्यों के लिए सामान्यीकृत किया जा सकता है। यदि यूक्लिडियन समिष्ट में उत्तल समुच्चय खुला समुच्चय पर परिभाषित वास्तविक-मूल्यवान उत्तल फलन है , वेक्टर उस समिष्ट को उपग्रेडिएंट कहा जाता है यदि किसी के लिए के पास वह है
जहां डॉट डॉट उत्पाद को दर्शाता है। सभी उपग्रेडिएंट्स का समुच्चय x0 पर उपविभेदक कहा जाता है और द्वारा दर्शाया गया है . उपविभेदक सदैव गैर-रिक्त उत्तल कॉम्पैक्ट समुच्चय होता है।
ये अवधारणाएँ उत्तल कार्यों को और अधिक सामान्यीकृत करती हैं समिष्टीय रूप से उत्तल समिष्ट में उत्तल समुच्चय पर . कार्यात्मक दोहरे समिष्ट में को उपग्रेडिएंट कहा जाता है यदि सभी के लिए ,
सभी उपग्रेडिएंट्स का समुच्चय पर उपविभेदक कहा जाता है और फिर से दर्शाया गया है . उपविभेदक सदैव उत्तल विवृत समुच्चय होता है। यह खाली समुच्चय हो सकता है; उदाहरण के लिए अनबाउंड ऑपरेटर पर विचार करें, जो उत्तल है, किन्तु उसका कोई सबग्रेडिएंट नहीं है। यदि सतत है, उपविभेदक अरिक्त है।
इतिहास
उत्तल कार्यों पर उपविभेदक की प्रारंभ 1960 के दशक की प्रारंभ में जीन-जैक्स मोरो और आर. टायरेल रॉकफेलर द्वारा की गई थी। गैर-उत्तल कार्यों के लिए सामान्यीकृत उपविभेदक एफ.एच. क्लार्क और आर.टी. द्वारा प्रस्तुत किया गया था। 1980 के दशक की प्रारंभ में रॉकफेलर आया था।[3]
यह भी देखें
संदर्भ
- ↑ Rockafellar, R. T. (1970). उत्तल विश्लेषण. Princeton University Press. p. 242 [Theorem 25.1]. ISBN 0-691-08069-0.
- ↑ Lemaréchal, Claude; Hiriart-Urruty, Jean-Baptiste (2001). उत्तल विश्लेषण के मूल सिद्धांत. Springer-Verlag Berlin Heidelberg. p. 183. ISBN 978-3-642-56468-0.
- ↑ Clarke, Frank H. (1983). Optimization and nonsmooth analysis. New York: John Wiley & Sons. pp. xiii+308. ISBN 0-471-87504-X. MR 0709590.
- Borwein, Jonathan; Lewis, Adrian S. (2010). Convex Analysis and Nonlinear Optimization : Theory and Examples (2nd ed.). New York: Springer. ISBN 978-0-387-31256-9.
- Hiriart-Urruty, Jean-Baptiste; Lemaréchal, Claude (2001). Fundamentals of Convex Analysis. Springer. ISBN 3-540-42205-6.
- Zălinescu, C. (2002). Convex analysis in general vector spaces. World Scientific Publishing Co., Inc. pp. xx+367. ISBN 981-238-067-1. MR 1921556.
बाहरी संबंध
- "Uses of ". Stack Exchange. September 18, 2011.