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

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

परिभाषा

मान लीजिए कि X एक वास्तविक संख्या सदिश समष्टि का उत्तल उपसमुच्चय है, और मान लीजिए कि f : X → R को गैर-ऋणात्मक मान लेने वाला फलन होने दें। तो f है:

• लघुगणकीय रूप से उत्तल यदि ${\log }\circ f$ उत्तल है, और
• सख्ती से लॉगरिदमिक रूप से उत्तल यदि ${\log }\circ f$ पूरी तरह उत्तल है.।

यहाँ हम व्याख्या करते हैं $\log 0$ जैसा $-\infty$.

स्पष्ट रूप से, f लघुगणकीय रूप से उत्तल है यदि, सभी x₁, x₂ ∈ X और सभी t ∈ [0, 1] के लिए, निम्नलिखित दो समतुल्य शर्तें हैं:

${\begin{aligned}\log f(tx_{1}+(1-t)x_{2})&\leq t\log f(x_{1})+(1-t)\log f(x_{2}),\\f(tx_{1}+(1-t)x_{2})&\leq f(x_{1})^{t}f(x_{2})^{1-t}.\end{aligned}}$

इसी प्रकार, f सख्ती से लघुगणकीय रूप से उत्तल है यदि केवल यदि, उपरोक्त दो अभिव्यक्तियों में, सभी t ∈ सख्त असमानता होती है (0, 1).

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

समतुल्य शर्तें

यदि f अंतराल पर परिभाषित एक अवकलनीय फलन है I ⊆ R, तब f लघुगणकीय रूप से उत्तल है यदि और केवल यदि निम्न स्थिति सभी के लिए है x और y में I:

$\log f(x)\geq \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}}\geq \exp \left({\frac {f'(y)}{f(y)}}\right).$

इसके अतिरिक्त, f सख्ती से लॉगरिदमिक रूप से उत्तल है यदि और केवल यदि ये असमानताएं हमेशा सख्त होती हैं।

यदि f दो बार अलग-अलग है, तो यह लघुगणकीय रूप से उत्तल है यदि और केवल यदि, सभी के लिए x में I,

$f''(x)f(x)\geq 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} _{\geq 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\geq 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.
• "Convexity, logarithmic", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
• Niculescu, Constantin; Persson, Lars-Erik (2006), Convex Functions and their Applications - A Contemporary Approach (in English) (1st ed.), Springer, doi:10.1007/0-387-31077-0, ISBN 978-0-387-24300-9, ISSN 1613-5237.

• Montel, Paul (1928), "Sur les fonctions convexes et les fonctions sousharmoniques", Journal de Mathématiques Pures et Appliquées (in French), 7: 29–60{{citation}}: CS1 maint: unrecognized language (link).

This article incorporates material from logarithmically convex function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.