अवमुख फलन



गणित में, एक वास्तविक-मूल्य वाले फ़ंक्शन को उत्तल कहा जाता है यदि किसी फ़ंक्शन के ग्राफ़ पर किन्हीं दो अलग-अलग बिंदुओं के बीच का रेखा खंड दो बिंदुओं के बीच ग्राफ़ के ऊपर स्थित होता है। समान रूप से एक फ़ंक्शन उत्तल होता है यदि उसका एपिग्राफ (गणित) (फ़ंक्शन के ग्राफ़ पर या उसके ऊपर बिंदुओं का सेट) एक उत्तल सेट है। एक एकल चर का दो बार विभेदित फलन उत्तल होता है केवल तभी जब इसका दूसरा व्युत्पन्न इसके संपूर्ण डोमेन पर गैर-ऋणात्मक हो। एकल चर के उत्तल कार्यों के प्रसिद्ध उदाहरणों में एक रैखिक फलन सम्मिलित है $$f(x) = cx$$ (जहाँ $$c$$ एक वास्तविक संख्या है) एक द्विघात फलन $$cx^2$$ ($$c$$ एक गैरऋणात्मक वास्तविक संख्या के रूप में) और एक घातांकीय फलन $$ce^x$$ ($$c$$ एक गैरऋणात्मक वास्तविक संख्या के रूप में)। सरल शब्दों में उत्तल फलन एक ऐसे फलन को संदर्भित करता है जिसका ग्राफ एक कप के आकार का होता है $$\cup$$ (या एक रैखिक फ़ंक्शन की तरह एक सीधी रेखा) जबकि एक अवतल फ़ंक्शन का ग्राफ़ एक टोपी के आकार का होता है $$\cap$$.

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

परिभाषा
होने देना $$X$$ एक वास्तविक सदिश समष्टि का उत्तल समुच्चय बनें और चलो $$f: X \to \R$$ एक समारोह हो.

तब $$f$$ कहा जाता है यदि और केवल यदि निम्नलिखित समकक्ष शर्तों में से कोई भी लागू हो:

 सभी के लिए $$0 \leq t \leq 1$$ और सभी $$x_1, x_2 \in X$$: $$f\left(t x_1 + (1-t) x_2\right) \leq t f\left(x_1\right) + (1-t) f\left(x_2\right)$$ दाहिना हाथ बीच की सीधी रेखा को दर्शाता है $$\left(x_1, f\left(x_1\right)\right)$$ और $$\left(x_2, f\left(x_2\right)\right)$$ के ग्राफ में $$f$$ के एक समारोह के रूप में $$t;$$ की बढ़ती $$t$$ से $$0$$ को $$1$$ या घट रहा है $$t$$ से $$1$$ को $$0$$ इस लाइन को साफ़ करता है. इसी प्रकार, फ़ंक्शन का तर्क $$f$$ बाएँ हाथ की ओर बीच की सीधी रेखा को दर्शाता है $$x_1$$ और $$x_2$$ में $$X$$ या $$x$$-के ग्राफ का अक्ष $$f.$$ तो, इस शर्त के लिए आवश्यक है कि वक्र पर बिंदुओं के किसी भी जोड़े के बीच सीधी रेखा हो $$f$$ ऊपर होना या बस ग्राफ़ से मिलना।  सभी के लिए $$0 < t < 1$$ और सभी $$x_1, x_2 \in X$$ ऐसा है कि $$x_1 \neq x_2$$: $$f\left(t x_1 + (1-t) x_2\right) \leq t f\left(x_1\right) + (1-t) f\left(x_2\right)$$ उपरोक्त पहली स्थिति के संबंध में इस दूसरी स्थिति का अंतर यह है कि इस स्थिति में प्रतिच्छेदन बिंदु शामिल नहीं हैं (उदाहरण के लिए, $$\left(x_1, f\left(x_1\right)\right)$$ और $$\left(x_2, f\left(x_2\right)\right)$$) के वक्र पर बिंदुओं की एक जोड़ी से गुजरने वाली सीधी रेखा के बीच $$f$$ (सीधी रेखा को इस स्थिति के दाहिनी ओर दर्शाया गया है) और वक्र $$f;$$ पहली शर्त में प्रतिच्छेदन बिंदु शामिल होते हैं $$f\left(x_1\right) \leq f\left(x_1\right)$$ या $$f\left(x_2\right) \leq f\left(x_2\right)$$ पर $$t = 0$$ या $$1,$$ या $$x_1 = x_2.$$ वास्तव में, उत्तल उपयोग की स्थिति में प्रतिच्छेदन बिंदुओं पर विचार करने की आवश्यकता नहीं है $$f\left(t x_1 + (1-t) x_2\right) \leq t f\left(x_1\right) + (1-t) f\left(x_2\right)$$ क्योंकि $$f\left(x_1\right) \leq f\left(x_1\right)$$ और $$f\left(x_2\right) \leq f\left(x_2\right)$$ हमेशा सत्य होते हैं (इसलिए किसी शर्त का हिस्सा बनने के लिए उपयोगी नहीं हैं)।  

दूसरा कथन उत्तल कार्यों को दर्शाता है जो वास्तविक रेखा में मूल्यवान हैं $$\R$$ परिभाषित करने के लिए भी प्रयोग किया जाने वाला कथन है जिनका मान विस्तारित वास्तविक संख्या रेखा में है $$[-\infty, \infty] = \R \cup \{\pm\infty\},$$ जहां ऐसा समारोह $$f$$ लेने की अनुमति है $$\pm\infty$$ एक मूल्य के रूप में. पहले कथन का उपयोग नहीं किया गया है क्योंकि यह अनुमति देता है $$t$$ लेने के $$0$$ या $$1$$ एक मान के रूप में, किस स्थिति में, यदि $$f\left(x_1\right) = \pm\infty$$ या $$f\left(x_2\right) = \pm\infty,$$ क्रमशः, फिर $$t f\left(x_1\right) + (1 - t) f\left(x_2\right)$$ अपरिभाषित होगा (क्योंकि गुणन $$0 \cdot \infty$$ और $$0 \cdot (-\infty)$$ अपरिभाषित हैं)। योग $$-\infty + \infty$$ यह भी अपरिभाषित है इसलिए एक उत्तल विस्तारित वास्तविक-मूल्यवान फ़ंक्शन को आम तौर पर केवल एक को लेने की अनुमति दी जाती है $$-\infty$$ और $$+\infty$$ एक मूल्य के रूप में.

की परिभाषा प्राप्त करने के लिए दूसरे कथन को भी संशोधित किया जा सकता है, जहां बाद वाले को प्रतिस्थापित करके प्राप्त किया जाता है $$\,\leq\,$$ सख्त असमानता के साथ $$\,<.$$ स्पष्ट रूप से, नक्शा $$f$$ कहा जाता है यदि और केवल यदि सभी वास्तविक के लिए $$0 < t < 1$$ और सभी $$x_1, x_2 \in X$$ ऐसा है कि $$x_1 \neq x_2$$: $$f\left(t x_1 + (1-t) x_2\right) < t f\left(x_1\right) + (1-t) f\left(x_2\right)$$ एक सख्ती से उत्तल कार्य $$f$$ एक फ़ंक्शन है जो वक्र पर बिंदुओं की किसी भी जोड़ी के बीच सीधी रेखा है $$f$$ वक्र के ऊपर है $$f$$ सीधी रेखा और वक्र के बीच प्रतिच्छेदन बिंदुओं को छोड़कर। एक फ़ंक्शन का एक उदाहरण जो उत्तल है लेकिन सख्ती से उत्तल नहीं है $$f(x,y) = x^2 + y$$. यह फ़ंक्शन सख्ती से उत्तल नहीं है क्योंकि x निर्देशांक साझा करने वाले किन्हीं दो बिंदुओं के बीच एक सीधी रेखा होगी, जबकि x समन्वय साझा नहीं करने वाले किन्हीं दो बिंदुओं के बीच फ़ंक्शन का मान उनके बीच के बिंदुओं की तुलना में अधिक होगा।

कार्यक्रम $$f$$ बताया गया (सम्मान.) अगर $$-f$$ ($$f$$ −1 से गुणा करने पर) उत्तल (सम्मानपूर्वक उत्तल) होता है।

वैकल्पिक नामकरण
उत्तल शब्द को अक्सर उत्तल नीचे या अवतल ऊपर की ओर कहा जाता है, और अवतल फ़ंक्शन शब्द को अक्सर अवतल नीचे या उत्तल ऊपर की ओर कहा जाता है।  यदि उत्तल शब्द का उपयोग ऊपर या नीचे कीवर्ड के बिना किया जाता है, तो यह कड़ाई से कप के आकार के ग्राफ को संदर्भित करता है $$\cup$$. उदाहरण के तौर पर, जेन्सेन की असमानता एक उत्तल या उत्तल-(नीचे), फ़ंक्शन से जुड़ी असमानता को संदर्भित करती है।

गुण
उत्तल कार्यों के कई गुणों में कई चर के कार्यों के लिए वही सरल सूत्रीकरण होता है जो एक चर के कार्यों के लिए होता है। कई चर के मामले के लिए गुणों के नीचे देखें, क्योंकि उनमें से कुछ एक चर के कार्यों के लिए सूचीबद्ध नहीं हैं।

एक चर के कार्य
$$
 * कल्पना करना $$f$$ एक अंतराल पर परिभाषित एक वास्तविक संख्या चर का एक कार्य है, और चलो $$R(x_1, x_2) = \frac{f(x_2) - f(x_1)}{x_2 - x_1}$$ (ध्यान दें कि $$R(x_1, x_2)$$ उपरोक्त चित्र में बैंगनी रेखा का ढलान है; कार्यक्रम $$R$$ में सममितीय कार्य है $$(x_1, x_2),$$ मतलब कि $$R$$ अदला-बदली से नहीं बदलता $$x_1$$ और $$x_2$$). $$f$$ उत्तल है यदि और केवल यदि $$R(x_1, x_2)$$ में नीरस रूप से गैर-घटता हुआ है $$x_1,$$ प्रत्येक निश्चित के लिए $$x_2$$ (या विपरीत)। उत्तलता का यह लक्षण वर्णन निम्नलिखित परिणामों को सिद्ध करने के लिए काफी उपयोगी है।
 * एक उत्तल कार्य $$f$$ कुछ खुले अंतराल पर परिभाषित एक वास्तविक चर का $$C$$ सतत कार्य चालू है $$C.$$ $$f$$ अर्ध-विभेदीकरण को स्वीकार करता है, और ये नीरस रूप से गैर-घटते नहीं हैं। एक परिणाम के रूप में, $$f$$ अधिकांश गणनीय बिंदुओं को छोड़कर सभी में अवकलनीय कार्य है, जिस पर समुच्चय है $$f$$ भिन्न नहीं है फिर भी सघन हो सकता है। अगर $$C$$ तो बंद है $$f$$ के अंतिम बिंदु पर निरंतर बने रहने में विफल हो सकता है $$C$$ (एक उदाहरण #Examples में दिखाया गया है)।
 * एक चर का एक अवकलनीय फ़ंक्शन फ़ंक्शन एक अंतराल पर उत्तल होता है यदि और केवल तभी जब इसका व्युत्पन्न उस अंतराल पर नीरस रूप से गैर-घटता हुआ हो। यदि कोई फ़ंक्शन अवकलनीय और उत्तल है तो यह निरंतर अवकलनीय भी है।
 * एक चर का एक अवकलनीय फलन एक अंतराल पर उत्तल होता है यदि और केवल तभी जब इसका ग्राफ इसके सभी स्पर्शरेखाओं से ऊपर हो: $$f(x) \geq f(y) + f'(y) (x-y)$$ सभी के लिए $$x$$ और $$y$$ अंतराल में.
 * एक चर का दो बार अवकलनीय फलन एक अंतराल पर उत्तल होता है यदि और केवल यदि इसका दूसरा व्युत्पन्न वहां गैर-नकारात्मक है; यह उत्तलता के लिए एक व्यावहारिक परीक्षण देता है। दृष्टिगत रूप से, एक दो बार विभेदित उत्तल फलन ऊपर की ओर मुड़ता है, बिना किसी अन्य दिशा में झुके (विभक्ति बिंदु)। यदि इसका दूसरा व्युत्पन्न सभी बिंदुओं पर सकारात्मक है तो फ़ंक्शन सख्ती से उत्तल है, लेकिन प्रमेय#वार्तालाप मान्य नहीं है। उदाहरण के लिए, का दूसरा व्युत्पन्न $$f(x) = x^4$$ है $$f''(x) = 12x^{2}$$, जो कि शून्य है $$x = 0,$$ लेकिन $$x^4$$ सख्ती से उत्तल है.
 * यह संपत्ति और उपरोक्त संपत्ति ... इसके व्युत्पन्न के संदर्भ में नीरस रूप से गैर-घटती नहीं है ... यदि के बाद से समान नहीं हैं $$f$$ एक अंतराल पर गैर-नकारात्मक है $$X$$ तब $$f'$$ एकरस रूप से गैर-घटता नहीं है $$X$$ जबकि इसका विपरीत सत्य नहीं है, उदाहरण के लिए, $$f'$$ एकरस रूप से गैर-घटता नहीं है $$X$$ जबकि यह व्युत्पन्न है $$f$$ कुछ बिंदुओं पर परिभाषित नहीं किया गया है $$X$$.
 * अगर $$f$$ एक वास्तविक चर का उत्तल फलन है, और $$f(0)\le 0$$, तब $$f$$ सकारात्मक वास्तविकताओं पर सुपरएडिटिविटी है, अर्थात $$f(a + b) \geq f(a) + f(b)$$ सकारात्मक वास्तविक संख्याओं के लिए $$a$$ और $$b$$.


 * एक फलन एक अंतराल पर मध्यबिंदु उत्तल होता है $$C$$ यदि सभी के लिए $$x_1, x_2 \in C$$ $$f\left(\frac{x_1 + x_2}{2}\right) \leq \frac{f(x_1) + f(x_2)}{2}.$$ यह स्थिति उत्तलता की तुलना में थोड़ी ही कमजोर है। उदाहरण के लिए, एक वास्तविक-मूल्यवान लेबेस्ग मापन योग्य फ़ंक्शन जो मध्यबिंदु-उत्तल है, उत्तल है: यह वाक्ला सिएरपिंस्की|सिएरपिंस्की का एक प्रमेय है। विशेष रूप से, एक सतत फलन जो मध्यबिंदु उत्तल है, उत्तल होगा।

अनेक चरों के कार्य

 * एक समारोह $$f : X \to [-\infty, \infty]$$ विस्तारित वास्तविक संख्याओं में मूल्यांकित $$[-\infty, \infty] = \R \cup \{\pm\infty\}$$ उत्तल है यदि और केवल यदि इसका एपिग्राफ (गणित) $$\{(x, r) \in X \times \R ~:~ r \geq f(x)\}$$ एक उत्तल समुच्चय है.
 * एक भिन्न कार्य $$f$$ उत्तल डोमेन पर परिभाषित उत्तल है यदि और केवल यदि $$f(x) \geq f(y) + \nabla f(y)^T \cdot (x-y)$$ सभी के लिए धारण करता है $$x, y$$ डोमेन में.
 * कई चरों का एक दो बार विभेदित कार्य उत्तल सेट पर उत्तल होता है यदि और केवल यदि इसके दूसरे आंशिक डेरिवेटिव का हेस्सियन मैट्रिक्स  उत्तल सेट के इंटीरियर पर सकारात्मक-निश्चित मैट्रिक्स है।
 * उत्तल फलन के लिए $$f,$$ उपस्तर सेट $$\{x : f(x) < a\}$$ और $$\{x : f(x) \leq a\}$$ साथ $$a \in \R$$ उत्तल समुच्चय हैं। एक फ़ंक्शन जो इस संपत्ति को संतुष्ट करता है उसे a कहा जाता है और उत्तल फलन बनने में विफल हो सकता है।
 * परिणामस्वरूप, उत्तल फलन के Arg min का समुच्चय $$f$$ एक उत्तल समुच्चय है: $${\operatorname{argmin}}\,f$$ - उत्तल.
 * उत्तल फलन का कोई भी स्थानीय न्यूनतम भी एक वैश्विक न्यूनतम होता है। ए उत्तल फ़ंक्शन में अधिकतम एक वैश्विक न्यूनतम होगा।
 * जेन्सेन की असमानता प्रत्येक उत्तल फलन पर लागू होती है $$f$$. अगर $$X$$ के क्षेत्र में मान लेने वाला एक यादृच्छिक चर है $$f,$$ तब $$\operatorname{E}(f(X)) \geq f(\operatorname{E}(X)),$$ कहाँ $$\operatorname{E}$$ अपेक्षित मूल्य को दर्शाता है। वास्तव में, उत्तल फलन बिल्कुल वही हैं जो जेन्सेन की असमानता की परिकल्पना को संतुष्ट करते हैं।
 * दो सकारात्मक चर का प्रथम-क्रम सजातीय कार्य $$x$$ और $$y,$$ (अर्थात, एक कार्य संतोषजनक है $$f(a x, a y) = a f(x, y)$$ सभी सकारात्मक वास्तविक के लिए $$a, x, y > 0$$) जो एक चर में उत्तल है, उसे दूसरे चर में उत्तल होना चाहिए।

संचालन जो उत्तलता को संरक्षित करते हैं

 * $$-f$$ अवतल है यदि और केवल यदि $$f$$ उत्तल है.
 * अगर $$r$$ तो क्या कोई वास्तविक संख्या है? $$r + f$$ उत्तल है यदि और केवल यदि $$f$$ उत्तल है.
 * अऋणात्मक भारित योग:
 * अगर $$w_1, \ldots, w_n \geq 0$$ और $$f_1, \ldots, f_n$$ सभी उत्तल हैं, तो ऐसा है $$w_1 f_1 + \cdots + w_n f_n.$$ विशेष रूप से, दो उत्तल फलनों का योग उत्तल होता है।
 * यह संपत्ति अनंत योगों, अभिन्नों और अपेक्षित मूल्यों तक भी फैली हुई है (बशर्ते कि वे मौजूद हों)।
 * तत्ववार अधिकतम: चलो $$\{f_i\}_{i \in I}$$ उत्तल कार्यों का एक संग्रह बनें। तब $$g(x) = \sup\nolimits_{i \in I} f_i(x)$$ उत्तल है. का डोमेन $$g(x)$$ उन बिंदुओं का संग्रह है जहां अभिव्यक्ति सीमित है। महत्वपूर्ण विशेष मामले:
 * अगर $$f_1, \ldots, f_n$$ उत्तल फलन हैं तो वैसा ही है $$g(x) = \max \left\{f_1(x), \ldots, f_n(x)\right\}.$$
 * डैन्स्किन का प्रमेय: यदि $$f(x,y)$$ में उत्तल है $$x$$ तब $$g(x) = \sup\nolimits_{y\in C} f(x,y)$$ में उत्तल है $$x$$ भले ही $$C$$ उत्तल समुच्चय नहीं है.
 * संघटन:
 * अगर $$f$$ और $$g$$ उत्तल कार्य हैं और $$g$$ तो, एक अविभाज्य डोमेन पर गैर-घटता नहीं है $$h(x) = g(f(x))$$ उत्तल है. उदाहरण के लिए, यदि $$f$$ उत्तल है, तो वैसा है $$e^{f(x)}$$ क्योंकि $$e^x$$ उत्तल और नीरस रूप से बढ़ रहा है।
 * अगर $$f$$ अवतल है और $$g$$ तो, एक अविभाज्य डोमेन पर उत्तल और गैर-वृद्धि है $$h(x) = g(f(x))$$ उत्तल है.
 * एफ़िन मानचित्रों के अंतर्गत उत्तलता अपरिवर्तनीय है: अर्थात, यदि $$f$$ डोमेन के साथ उत्तल है $$D_f \subseteq \mathbf{R}^m$$, तो ऐसा ही है $$g(x) = f(Ax+b)$$, कहाँ $$A \in \mathbf{R}^{m \times n}, b \in \mathbf{R}^m$$ डोमेन के साथ $$D_g \subseteq \mathbf{R}^n.$$
 * न्यूनीकरण: यदि $$f(x,y)$$ में उत्तल है $$(x,y)$$ तब $$g(x) = \inf\nolimits_{y\in C} f(x,y)$$ में उत्तल है $$x,$$ उसे उपलब्ध कराया $$C$$ एक उत्तल समुच्चय है और वह $$g(x) \neq -\infty.$$
 * अगर $$f$$ उत्तल है, तो इसका परिप्रेक्ष्य $$g(x, t) = t f \left(\tfrac{x}{t} \right)$$ डोमेन के साथ $$\left\{(x,t) : \tfrac{x}{t} \in \operatorname{Dom}(f), t > 0 \right\}$$ उत्तल है.
 * होने देना $$X$$ एक सदिश स्थान बनें. $$f : X \to \mathbf{R}$$ उत्तल है और संतुष्ट करता है $$f(0) \leq 0$$ अगर और केवल अगर $$f(ax+by) \leq a f(x) + bf(y)$$ किसी के लिए $$x, y \in X$$ और कोई भी गैर-नकारात्मक वास्तविक संख्या $$a, b$$ जो संतुष्ट करता है $$a + b \leq 1.$$

दृढ़ता से उत्तल फलन
मजबूत उत्तलता की अवधारणा सख्त उत्तलता की धारणा को विस्तारित और पैरामीट्रिज करती है। एक दृढ़ता से उत्तल फ़ंक्शन भी सख्ती से उत्तल होता है, लेकिन इसके विपरीत नहीं।

एक भिन्न कार्य $$f$$ पैरामीटर के साथ दृढ़ता से उत्तल कहा जाता है $$m > 0$$ यदि निम्नलिखित असमानता सभी बिंदुओं के लिए लागू होती है $$x, y$$ इसके डोमेन में: $$(\nabla f(x) - \nabla f(y) )^T (x-y) \ge m \|x-y\|_2^2 $$ या, अधिक सामान्यतः, $$\langle \nabla f(x) - \nabla f(y), x-y \rangle \ge m \|x-y\|^2 $$ कहाँ $$\langle \cdot, \cdot\rangle$$ कोई आंतरिक उत्पाद है, और $$\|\cdot\|$$ संगत नॉर्म (गणित) है। कुछ लेखक, जैसे इस असमानता को संतुष्ट करने वाले कार्यों को अण्डाकार संचालिका फ़ंक्शन के रूप में देखें।

एक समतुल्य शर्त निम्नलिखित है: $$f(y) \ge f(x) + \nabla f(x)^T (y-x) + \frac{m}{2} \|y-x\|_2^2 $$ किसी फ़ंक्शन के दृढ़ता से उत्तल होने के लिए उसका अवकलनीय होना आवश्यक नहीं है। तीसरी परिभाषा पैरामीटर के साथ, दृढ़ता से उत्तल फ़ंक्शन के लिए $$m,$$ क्या वह सभी के लिए है $$x, y$$ डोमेन में और $$t \in [0,1],$$ $$f(tx+(1-t)y) \le t f(x)+(1-t)f(y) - \frac{1}{2} m t(1-t) \|x-y\|_2^2$$ ध्यान दें कि यह परिभाषा सख्त उत्तलता की परिभाषा के करीब पहुंचती है $$m \to 0,$$ और उत्तल फ़ंक्शन की परिभाषा के समान है जब $$m = 0.$$ इसके बावजूद, ऐसे फ़ंक्शन मौजूद हैं जो सख्ती से उत्तल हैं लेकिन किसी के लिए दृढ़ता से उत्तल नहीं हैं $$m > 0$$ (नीचे उदाहरण देखें)।

यदि फ़ंक्शन $$f$$ दो बार लगातार भिन्न होता है, फिर यह पैरामीटर के साथ दृढ़ता से उत्तल होता है $$m$$ अगर और केवल अगर $$\nabla^2 f(x) \succeq mI$$ सभी के लिए $$x$$ डोमेन में, कहाँ $$I$$ पहचान है और $$\nabla^2f$$ हेसियन मैट्रिक्स और असमानता है $$\succeq$$ मतलब कि $$\nabla^2 f(x) - mI$$ सकारात्मक-निश्चित मैट्रिक्स है|सकारात्मक अर्ध-निश्चित। यह न्यूनतम स्वदेशी मान की आवश्यकता के बराबर है $$\nabla^2 f(x)$$ कम से कम हो $$m$$ सभी के लिए $$x.$$ यदि डोमेन केवल वास्तविक रेखा है, तो $$\nabla^2 f(x)$$ बस दूसरा व्युत्पन्न है $$f(x),$$ तो हालत बन जाती है $$f(x) \ge m$$. अगर $$m = 0$$ तो इसका मतलब है कि हेसियन सकारात्मक अर्धनिश्चित है (या यदि डोमेन वास्तविक रेखा है, तो इसका मतलब है कि $$f''(x) \ge 0$$), जिसका अर्थ है कि फ़ंक्शन उत्तल है, और शायद सख्ती से उत्तल है, लेकिन दृढ़ता से उत्तल नहीं है।

यह मानते हुए भी कि फ़ंक्शन दो बार लगातार भिन्न होता है, कोई यह दिखा सकता है कि इसकी निचली सीमा $$\nabla^2 f(x)$$ तात्पर्य यह है कि यह दृढ़ता से उत्तल है। टेलर की प्रमेय का उपयोग करना|टेलर की प्रमेय मौजूद है $$z \in \{ t x + (1-t) y : t \in [0,1] \}$$ ऐसा है कि $$f(y) = f(x) + \nabla f(x)^T (y-x) + \frac{1}{2} (y-x)^T \nabla^2f(z) (y-x)$$ तब $$(y-x)^T \nabla^2f(z) (y-x) \ge m (y-x)^T(y-x) $$ eigenvalues ​​​​के बारे में धारणा से, और इसलिए हम ऊपर दिए गए दूसरे मजबूत उत्तलता समीकरण को पुनर्प्राप्त करते हैं।

एक समारोह $$f$$ यदि और केवल यदि फ़ंक्शन पैरामीटर m के साथ दृढ़ता से उत्तल है $$x\mapsto f(x) -\frac m 2 \|x\|^2$$ उत्तल है.

उत्तल, सख्ती से उत्तल और दृढ़ता से उत्तल के बीच का अंतर पहली नज़र में सूक्ष्म हो सकता है। अगर $$f$$ दो बार निरंतर अवकलनीय है और डोमेन वास्तविक रेखा है, तो हम इसे निम्नानुसार चित्रित कर सकते हैं: उदाहरण के लिए, चलो $$f$$ सख्ती से उत्तल हो, और मान लीजिए कि बिंदुओं का एक क्रम है $$(x_n)$$ ऐसा है कि $$f''(x_n) = \tfrac{1}{n}$$. चाहे $$f(x_n) > 0$$, फ़ंक्शन दृढ़ता से उत्तल नहीं है क्योंकि $$f(x)$$ मनमाने ढंग से छोटा हो जाएगा.
 * $$f$$ उत्तल यदि और केवल यदि $$f''(x) \ge 0$$ सभी के लिए $$x.$$
 * $$f$$ सख्ती से उत्तल अगर $$f''(x) > 0$$ सभी के लिए $$x$$ (ध्यान दें: यह पर्याप्त है, लेकिन आवश्यक नहीं है)।
 * $$f$$ दृढ़ता से उत्तल यदि और केवल यदि $$f''(x) \ge m > 0$$ सभी के लिए $$x.$$

दो बार लगातार भिन्न होने वाला फ़ंक्शन $$f$$ एक कॉम्पैक्ट डोमेन पर $$X$$ जो संतुष्ट करता है $$f''(x)>0$$ सभी के लिए $$x\in X$$ दृढ़ता से उत्तल है. इस कथन का प्रमाण चरम मूल्य प्रमेय से होता है, जो बताता है कि एक कॉम्पैक्ट सेट पर एक सतत फ़ंक्शन में अधिकतम और न्यूनतम होता है।

उत्तल या सख्ती से उत्तल कार्यों की तुलना में दृढ़ता से उत्तल कार्यों के साथ काम करना आम तौर पर आसान होता है, क्योंकि वे एक छोटे वर्ग होते हैं। सख्ती से उत्तल कार्यों की तरह, दृढ़ता से उत्तल कार्यों में कॉम्पैक्ट सेट पर अद्वितीय मिनीमा होता है।

समान रूप से उत्तल कार्य
एक समान रूप से उत्तल कार्य, मापांक के साथ $$\phi$$, एक फ़ंक्शन है $$f$$ वह, सभी के लिए $$x, y$$ डोमेन में और $$t \in [0, 1],$$ संतुष्ट $$f(tx+(1-t)y) \le t f(x)+(1-t)f(y) - t(1-t) \phi(\|x-y\|)$$ कहाँ $$\phi$$ एक फ़ंक्शन है जो गैर-नकारात्मक है और केवल 0 पर गायब हो जाता है। यह दृढ़ता से उत्तल फ़ंक्शन की अवधारणा का सामान्यीकरण है; ले कर $$\phi(\alpha) = \tfrac{m}{2} \alpha^2$$ हम मजबूत उत्तलता की परिभाषा को पुनर्प्राप्त करते हैं।

यह ध्यान देने योग्य है कि कुछ लेखकों को मापांक की आवश्यकता होती है $$\phi$$ एक बढ़ता हुआ कार्य होना, लेकिन यह शर्त सभी लेखकों के लिए आवश्यक नहीं है।

एक चर के कार्य

 * कार्यक्रम $$f(x)=x^2$$ है $$f''(x)=2>0$$, इसलिए $f$ एक उत्तल फलन है. यह दृढ़ता से उत्तल भी है (और इसलिए सख्ती से उत्तल भी है), मजबूत उत्तलता स्थिरांक 2 के साथ।
 * कार्यक्रम $$f(x)=x^4$$ है $$f''(x)=12x^2\ge 0$$, इसलिए $f$ एक उत्तल फलन है. यह सख्ती से उत्तल है, भले ही दूसरा व्युत्पन्न सभी बिंदुओं पर सख्ती से सकारात्मक नहीं है। यह दृढ़ता से उत्तल नहीं है.
 * निरपेक्ष मान फ़ंक्शन $$f(x)=|x|$$ उत्तल है (जैसा कि त्रिभुज असमानता में परिलक्षित होता है), भले ही बिंदु पर इसका कोई व्युत्पन्न नहीं है $$x = 0.$$ यह सख्ती से उत्तल नहीं है.
 * कार्यक्रम $$f(x)=|x|^p$$ के लिए $$p \ge 1$$ उत्तल है.
 * घातांकीय फलन $$f(x)=e^x$$ उत्तल है. चूँकि, यह सख्ती से उत्तल भी है $$f''(x)=e^x >0 $$, लेकिन यह दृढ़ता से उत्तल नहीं है क्योंकि दूसरा व्युत्पन्न मनमाने ढंग से शून्य के करीब हो सकता है। अधिक सामान्यतः, फ़ंक्शन $$g(x) = e^{f(x)}$$ लघुगणकीय रूप से उत्तल कार्य है यदि $$f$$ एक उत्तल फलन है. इसके स्थान पर कभी-कभी सुपरकॉनवेक्स शब्द का प्रयोग किया जाता है।
 * कार्यक्रम $$f$$ डोमेन [0,1] द्वारा परिभाषित के साथ $$f(0) = f(1) = 1, f(x) = 0$$ के लिए $$0 < x < 1$$ उत्तल है; यह खुले अंतराल पर निरंतर है $$(0, 1),$$ लेकिन 0 और 1 पर निरंतर नहीं।
 * कार्यक्रम $$x^3$$ दूसरा व्युत्पन्न है $$6 x$$; इस प्रकार यह सेट पर उत्तल है $$x \geq 0$$ और सेट पर अवतल कार्य जहां $$x \leq 0.$$
 * ऐसे कार्यों के उदाहरण जो मोनोटोनिक फ़ंक्शन हैं लेकिन उत्तल नहीं हैं, उनमें शामिल हैं $$f(x)=\sqrt{x}$$ और $$g(x)=\log x$$.
 * ऐसे कार्यों के उदाहरण जो उत्तल हैं लेकिन मोनोटोनिक फ़ंक्शन नहीं हैं, उनमें शामिल हैं $$h(x)= x^2$$ और $$k(x)=-x$$.
 * कार्यक्रम $$f(x) = \tfrac{1}{x}$$ है $$f''(x)=\tfrac{2}{x^3}$$ जो 0 से अधिक है यदि $$x > 0$$ इसलिए $$f(x)$$ अंतराल पर उत्तल है $$(0, \infty)$$. यह अंतराल पर अवतल होता है $$(-\infty, 0)$$.
 * कार्यक्रम $$f(x)=\tfrac{1}{x^2}$$ साथ $$f(0)=\infty$$, अंतराल पर उत्तल है $$(0, \infty)$$ और अंतराल पर उत्तल $$(-\infty, 0)$$, लेकिन अंतराल पर उत्तल नहीं है $$(-\infty, \infty)$$, विलक्षणता के कारण $$x = 0.$$

n चर के कार्य

 * LogSumExp फ़ंक्शन, जिसे सॉफ्टमैक्स फ़ंक्शन भी कहा जाता है, एक उत्तल फ़ंक्शन है।
 * कार्यक्रम $$-\log\det(X)$$ सकारात्मक-निश्चित मैट्रिक्स के डोमेन पर | सकारात्मक-निश्चित मैट्रिक्स उत्तल है।
 * प्रत्येक वास्तविक-मूल्यवान रैखिक परिवर्तन उत्तल है, लेकिन कड़ाई से उत्तल नहीं है, क्योंकि यदि $$f$$ तो, रैखिक है $$f(a + b) = f(a) + f(b)$$. यदि हम उत्तल को अवतल से प्रतिस्थापित करते हैं तो यह कथन भी लागू होता है।
 * प्रत्येक वास्तविक-मूल्यवान एफ़िन फ़ंक्शन, अर्थात, प्रपत्र का प्रत्येक फ़ंक्शन $$f(x) = a^T x + b,$$ एक साथ उत्तल और अवतल है।
 * त्रिभुज असमानता और सजातीय फ़ंक्शन#सकारात्मक समरूपता द्वारा प्रत्येक मानदंड (गणित) एक उत्तल फ़ंक्शन है।
 * एक गैर-नकारात्मक मैट्रिक्स का वर्णक्रमीय त्रिज्या उसके विकर्ण तत्वों का उत्तल कार्य है।

यह भी देखें

 * अवतल कार्य
 * उत्तल विश्लेषण
 * उत्तल संयुग्म
 * उत्तल वक्र
 * उत्तल अनुकूलन
 * जियोडेसिक उत्तलता
 * हैन-बानाच प्रमेय
 * हर्मिट-हैडमार्ड असमानता
 * K-उत्तल फ़ंक्शन
 * जेन्सेन की असमानता
 * के-उत्तल फ़ंक्शन
 * कचुरोव्स्की का प्रमेय, जो उत्तलता को व्युत्पन्न के मोनोटोन ऑपरेटर से संबंधित करता है
 * करामाता की असमानता
 * लघुगणकीय रूप से उत्तल फ़ंक्शन
 * स्यूडोकोनवेक्स फ़ंक्शन
 * क्वासिकोनवेक्स फ़ंक्शन
 * उत्तल फलन का उपव्युत्पन्न

संदर्भ

 * Borwein, Jonathan, and Lewis, Adrian. (2000). Convex Analysis and Nonlinear Optimization. Springer.
 * Hiriart-Urruty, Jean-Baptiste, and Lemaréchal, Claude. (2004). Fundamentals of Convex analysis. Berlin: Springer.
 * Hiriart-Urruty, Jean-Baptiste, and Lemaréchal, Claude. (2004). Fundamentals of Convex analysis. Berlin: Springer.
 * Hiriart-Urruty, Jean-Baptiste, and Lemaréchal, Claude. (2004). Fundamentals of Convex analysis. Berlin: Springer.