लघुगणकीय रूप से उत्तल कार्य

गणित में, एक फलन (गणित) f 'लघुगणकीय रूप से उत्तल' या 'आतिउत्तल' होता है यदि $${\log}\circ f$$, f के साथ लघुगणक की संघटन, अपने आप में एक उत्तल फलन है।

परिभाषा
मान लीजिए कि $X$ एक वास्तविक संख्या स्थान का उत्तल उपसमुच्चय है, और  $f : X → R$ को गैर-ऋणात्मक मान लेने वाला फलन होने दें। तो f निम्नलिखित है: यहाँ हम व्याख्या करते हैं $$\log 0$$ के रूप में $$-\infty$$।
 * लघुगणकीय रूप से उत्तल यदि $${\log} \circ f$$ उत्तल है, और
 * सख्ती से लघुगणकीय रूप से उत्तल यदि $${\log} \circ f$$ पूरी तरह उत्तल है।

स्पष्ट रूप से, $f$ लघुगणकीय रूप से उत्तल है यदि, सभी $x_{1}, x_{2} ∈ X$ और सभी $t ∈ [0, 1]$  के लिए, निम्नलिखित दो समतुल्य स्थितियां हैं:
 * $$\begin{align}

\log f(tx_1 + (1 - t)x_2) &\le t\log f(x_1) + (1 - t)\log f(x_2), \\ f(tx_1 + (1 - t)x_2) &\le f(x_1)^tf(x_2)^{1-t}. \end{align}$$ इसी प्रकार, $f$ सख्ती से लघुगणकीय रूप से उत्तल है यदि उपरोक्त दो अभिव्यक्तियों में, सभी t ∈ के लिए सख्त असमानता$(0, 1)$ होती है।

उपरोक्त परिभाषा $f$  को शून्य होने की अनुमति देती है, लेकिन यदि $f$  लघुगणकीय रूप से उत्तल है और $X$  में कहीं भी विलुप्त हो जाता है, तो यह $X$  के अंतस्थ में हर जगह विलुप्त हो जाता है।

समतुल्य शर्तें
यदि $f$ एक अंतराल $I ⊆ R$ पर परिभाषित एक भिन्न फलन है, तो $f$  लघुगणकीय रूप से उत्तल है यदि $I$ में सभी $x$ और $y$ के लिए निम्नलिखित स्थिति लागू होती है:
 * $$\log f(x) \ge \log f(y) + \frac{f'(y)}{f(y)}(x - y).$$

यह इस स्थिति के समान है कि, जब भी $x$ और $y$ $I$ में होते हैं और $x > y$ होते हैं,
 * $$\left(\frac{f(x)}{f(y)}\right)^{\frac{1}{x - y}} \ge \exp\left(\frac{f'(y)}{f(y)}\right).$$

इसके अतिरिक्त, $f$ सख्ती से लघुगणकीय उत्तल है यदि और केवल तभी जब ये असमानताएं हमेशा सख्त होती हैं।

यदि $f$ दो बार भिन्न है, तो यह लघुगणकीय रूप से उत्तल है यदि और केवल, यदि, $I$ में सभी $x$ के लिए,
 * $$f''(x)f(x) \ge f'(x)^2.$$

यदि असमानता हमेशा सख्त है, तो $f$ सख्ती से लघुगणकीय रूप से उत्तल है। यद्यपि, इसका विपरीत गलत है: यह संभव है कि $f$  सख्ती से लघुगणकीय उत्तल है और यह कि, कुछ $x$ के लिए, हमारे पास  $$f(x)f(x) = f'(x)^2$$ है।उदाहरण के लिए, यदि $$f(x) = \exp(x^4)$$, तो $f$  सख्ती से लघुगणकीय रूप से उत्तल है, लेकिन $$f(0)f(0) = 0 = f'(0)^2$$।

आगे भी, $$f\colon I \to (0, \infty)$$ लघुगणकीय रूप से उत्तल है यदि और केवल यदि $$e^{\alpha x}f(x)$$ सभी के लिए $$\alpha\in\mathbb R$$ उत्तल है

पर्याप्त शर्तें
यदि $$f_1, \ldots, f_n$$ लघुगणकीय रूप से उत्तल हैं, और यदि $$w_1, \ldots, w_n$$ गैर-ऋणात्मक वास्तविक संख्याएँ हैं, तो $$f_1^{w_1} \cdots f_n^{w_n}$$ लघुगणकीय रूप से उत्तल है।

यदि $$\{f_i\}_{i \in I}$$ लघुगणकीय उत्तल फलन का कोई भी वर्ग है, तो $$g = \sup_{i \in I} f_i$$ लघुगणकीय रूप से उत्तल है।

यदि $$f \colon X \to I \subseteq \mathbf{R}$$ उत्तल है और $$g \colon I \to \mathbf{R}_{\ge 0}$$ लघुगणकीय रूप से उत्तल और गैर-घटता हुआ है, तो $$g \circ f$$ लघुगणकीय रूप से उत्तल है।

गुण
लघुगणकीय उत्तल फलन f एक उत्तल फलन है क्योंकि यह बढ़ते उत्तल फलन $$\exp$$ और फलन $$\log\circ f$$का मिश्रण है, जो परिभाषा के अनुसार उत्तल है। यद्यपि, लघुगणकीय उत्तल होना उत्तल होने की तुलना में एक सख्ती से प्रबल संपत्ति है। उदाहरण के लिए, वर्गाकार फलन $$f(x) = x^2$$ उत्तल है, लेकिन इसका लघुगणक $$\log f(x) = 2\log |x|$$ नहीं है। इसलिए वर्गाकार फलन लघुगणकीय रूप से उत्तल नहीं है।

उदाहरण

 * $$f(x) = \exp(|x|^p)$$ लघुगणकीय रूप से उत्तल है जब $$p \ge 1$$ और सख्ती से लघुगणकीय रूप से उत्तल है जब $$p > 1$$।
 * $$f(x) = \frac{1}{x^p}$$ पर सख्ती से लघुगणकीय रूप से उत्तल $$(0,\infty)$$ है सभी के लिए $$p>0.$$।
 * सकारात्मक वास्तविक संख्याओं तक सीमित होने पर यूलर का गामा फलन सख्ती से लघुगणकीय उत्तल होता है। वास्तव में, बोह्र-मोलेरुप प्रमेय द्वारा, इस संपत्ति का उपयोग वास्तविक तर्कों के लिए तथ्यात्मक फलन के संभावित विस्तार के बीच यूलर के गामा फलन को चिह्नित करने के लिए किया जा सकता है।

यह भी देखें

 * लघुगणकीय अवतल फलन

संदर्भ

 * John B. Conway. Functions of One Complex Variable I, second edition. Springer-Verlag, 1995. ISBN 0-387-90328-3.