धनात्मक निश्चित फलन: Difference between revisions
m (Arti Shah moved page सकारात्मक-निश्चित कार्य to धनात्मक निश्चित फलन without leaving a redirect) |
m (6 revisions imported from alpha:धनात्मक_निश्चित_फलन) |
||
(4 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
{{Short description|Bimodal function}} | {{Short description|Bimodal function}} | ||
गणित में, एक | गणित में, एक '''धनात्मक-निश्चित फलन''', संदर्भ के आधार पर, दो प्रकार के [[फ़ंक्शन (गणित)|फलन (गणित)]] में से एक होता है। | ||
== परिभाषा 1 == | == परिभाषा 1 == | ||
मान लीजिये <math>\mathbb{R}</math> [[वास्तविक संख्या]]ओं का समुच्चय हो और <math>\mathbb{C}</math> सम्मिश्र संख्याओं का समुच्चय है। | |||
किसी फलन <math> f: \mathbb{R} \to \mathbb{C} </math> को धनात्मक अर्ध-निश्चित कहा जाता है यदि किसी भी वास्तविक संख्या x1, …, xn n × n आव्यूह के लिए | |||
<math> A = \left(a_{ij}\right)_{i,j=1}^n~, \quad a_{ij} = f(x_i - x_j) </math> | |||
एक धनात्मक अर्ध-निश्चित आव्यूह है। | |||
विशेषकर, यह आवश्यक (परन्तु पर्याप्त नहीं) है | परिभाषा के अनुसार, एक धनात्मक अर्ध-निश्चित आव्यूह, जैसे <math>A</math>, [[हर्मिटियन मैट्रिक्स|हर्मिटियन आव्यूह]] है; इसलिए f(−x) f(x)) का सम्मिश्र संयुग्म है। | ||
विशेषकर, यह आवश्यक (परन्तु पर्याप्त नहीं) है कि | |||
:<math> f(0) \geq 0~, \quad |f(x)| \leq f(0) </math> | :<math> f(0) \geq 0~, \quad |f(x)| \leq f(0) </math> | ||
(ये असमानताएँ n = 1, 2 की स्थिति का अनुसरण करती हैं।) | (ये असमानताएँ n = 1, 2 की स्थिति का अनुसरण करती हैं।) | ||
यदि असमानता को उलट दिया जाए तो एक | यदि असमानता को उलट दिया जाए तो एक फलन नकारात्मक अर्ध-निश्चित होता है। यदि शक्तिहीन असमानता को शक्तिशाली (<, > 0) से बदल दिया जाए तो एक फलन निश्चित होता है। | ||
===उदाहरण=== | ===उदाहरण=== | ||
अगर <math>(X, \langle \cdot, \cdot \rangle)</math> तो फिर, यह एक वास्तविक [[आंतरिक उत्पाद स्थान]] | अगर <math>(X, \langle \cdot, \cdot \rangle)</math> है तो फिर, यह एक वास्तविक [[आंतरिक उत्पाद स्थान]] <math>g_y \colon X \to \mathbb{C}</math> है, प्रत्येक <math>y \in X</math> के लिए <math>x \mapsto \exp(i \langle y, x \rangle)</math> निश्चित रूप से निश्चित है: सभी <math>u \in \mathbb{C}^n</math> के लिए और सभी <math>x_1, \ldots, x_n</math> हमारे पास निम्न है | ||
:<math> | :<math> | ||
u^* A^{(g_y)} u | u^* A^{(g_y)} u | ||
Line 28: | Line 29: | ||
\ge 0. | \ge 0. | ||
</math> | </math> | ||
चूंकि | चूंकि धनात्मक निश्चित कार्यों के गैर-नकारात्मक रैखिक संयोजन फिर से धनात्मक निश्चित होते हैं, [[कोसाइन फ़ंक्शन|कोटिज्या फलन]] उपरोक्त कार्यों के गैर-नकारात्मक रैखिक संयोजन के रूप में धनात्मक निश्चित होता है: | ||
:<math> | :<math> | ||
\cos(x) = \frac{1}{2} ( e^{i x} + e^{- i x}) = \frac{1}{2}(g_{1} + g_{-1}). | \cos(x) = \frac{1}{2} ( e^{i x} + e^{- i x}) = \frac{1}{2}(g_{1} + g_{-1}). | ||
</math> | </math> | ||
कोई एक | कोई एक धनात्मक निश्चित कार्य <math>f \colon X \to \mathbb{C}</math> बना सकता है धनात्मक निश्चित कार्य <math>f \colon \R \to \mathbb C</math> से आसानी से किसी भी सदिश समष्टि <math>X</math> के लिए : एक रैखिक फलन <math>\phi \colon X \to \R</math> चुनें और <math>f^* := f \circ \phi</math> को परिभाषित करें। | ||
तब | तब | ||
:<math> | :<math> | ||
Line 41: | Line 43: | ||
\ge 0, | \ge 0, | ||
</math> | </math> | ||
जहाँ <math>\tilde{A}^{(f)} = \big( f(\phi(x_i) - \phi(x_j)) = f(\tilde{x}_i - \tilde{x}_j) \big)_{i, j}</math> जहाँ <math>\tilde{x}_k := \phi(x_k)</math> के रूप में विशिष्ट हैं <math>\phi</math> रैखिक है। <ref>{{cite book |last1=Cheney |first1=Elliot Ward |title=सन्निकटन सिद्धांत में एक पाठ्यक्रम|date=2009 |publisher=American Mathematical Society |isbn=9780821847985 |pages=77–78 |url=https://books.google.com/books?id=II6DAwAAQBAJ |access-date=3 February 2022}}</ref> | |||
===बोचनर का प्रमेय=== | ===बोचनर का प्रमेय=== | ||
{{main| | {{main|बोचनर का प्रमेय}} | ||
[[फूरियर रूपांतरण]] के सिद्धांत में | [[फूरियर रूपांतरण]] के सिद्धांत में धनात्मक-निश्चितता स्वाभाविक रूप से उत्पन्न होती है; इसे प्रत्यक्ष रूप से देखा जा सकता है कि धनात्मक-निश्चित होने के लिए f के लिए g(y) ≥ 0 के साथ वास्तविक रेखा पर फलन g का फूरियर रूपांतरण होना पर्याप्त है। | ||
विपरीत परिणाम बोचनर का प्रमेय है, जिसमें कहा गया है कि वास्तविक रेखा पर कोई भी निरंतर कार्य | विपरीत परिणाम बोचनर का प्रमेय है, जिसमें कहा गया है कि वास्तविक रेखा पर कोई भी निरंतर कार्य धनात्मक-निश्चित फलन एक (धनात्मक) [[माप (गणित)]] का फूरियर रूपांतरण है। <ref>{{cite book | last=Bochner | first=Salomon | authorlink=Salomon Bochner | title=फूरियर इंटीग्रल्स पर व्याख्यान| url=https://archive.org/details/lecturesonfourie0000boch | url-access=registration | publisher=Princeton University Press | year=1959}}</ref> | ||
====अनुप्रयोग==== | ====अनुप्रयोग==== | ||
सांख्यिकी में, और विशेष रूप से बायेसियन सांख्यिकी में, प्रमेय | सांख्यिकी में, और विशेष रूप से बायेसियन सांख्यिकी में, प्रमेय सामान्यतः वास्तविक कार्यों पर लागू होता है। सामान्यतः, बिंदुओं पर कुछ अदिश मान का n अदिश माप <math>R^d</math> लिया जाता है और जो बिंदु परस्पर निकट होते हैं, उनके लिए ऐसे माप की आवश्यकता होती है जो अत्यधिक सहसंबद्ध हों। व्यवहार में, किसी को यह सुनिश्चित करने के लिए सावधान रहना चाहिए कि परिणामी सहप्रसरण आव्यूह (ए {{nowrap|''n'' × ''n''}} आव्यूह) हमेशा धनात्मक-निश्चित होता है। एक रणनीति एक सहसंबंध आव्यूह ए को परिभाषित करना है जिसे सहप्रसरण आव्यूह देने के लिए एक अदिश राशि से गुणा किया जाता है: यह धनात्मक-निश्चित होना चाहिए। बोचनर के प्रमेय में कहा गया है कि यदि दो बिंदुओं के बीच सहसंबंध केवल उनके बीच की दूरी (फलन एफ के माध्यम से) पर निर्भर है, तो सहप्रसरण आव्यूह ए धनात्मक-निश्चित है यह सुनिश्चित करने के लिए फलन एफ को धनात्मक-निश्चित होना चाहिए। [[ युद्ध |क्रीजिंग]] देखें। | ||
इस संदर्भ में, फूरियर शब्दावली का सामान्य रूप से उपयोग नहीं किया जाता है और इसके | इस संदर्भ में, फूरियर शब्दावली का सामान्य रूप से उपयोग नहीं किया जाता है और इसके स्थान पर यह कहा जाता है कि f(x) एक [[सममित]] संभाव्यता घनत्व फलन (पीडीएफ) का विशेषता फलन (संभावना सिद्धांत) है। | ||
===सामान्यीकरण=== | ===सामान्यीकरण=== | ||
{{main| | {{main|एक समूह पर धनात्मक-निश्चित फलन}} | ||
कोई भी [[स्थानीय रूप से कॉम्पैक्ट एबेलियन टोपोलॉजिकल समूह]] पर | कोई भी [[स्थानीय रूप से कॉम्पैक्ट एबेलियन टोपोलॉजिकल समूह|स्थानीय रूप से सघन एबेलियन सांस्थितिक समूह]] पर धनात्मक-निश्चित कार्यों को परिभाषित कर सकता है; बोचनर का प्रमेय इस संदर्भ तक विस्तारित है। समूहों पर धनात्मक-निश्चित कार्य [[हिल्बर्ट स्थान|हिल्बर्ट स्थानों]] पर समूहों के [[प्रतिनिधित्व सिद्धांत]] (यानी [[एकात्मक प्रतिनिधित्व]] के सिद्धांत) में स्वाभाविक रूप से होते हैं। | ||
==परिभाषा 2== | ==परिभाषा 2== | ||
वैकल्पिक रूप से, एक | वैकल्पिक रूप से, एक फलन <math>f : \reals^n \to \reals</math> को मूल के प्रतिवैस D पर धनात्मक-निश्चित कहा जाता है यदि प्रत्येक गैर-शून्य <math>x \in D</math> के लिए <math>f(0) = 0</math> और <math>f(x) > 0</math> है। <ref>{{cite book|last=Verhulst|first=Ferdinand|title=नॉनलीनियर डिफरेंशियल इक्वेशन और डायनामिकल सिस्टम|edition=2nd|publisher=Springer|year=1996|isbn=3-540-60934-2}}</ref><ref>{{cite book|last=Hahn|first=Wolfgang|title=गति की स्थिरता|url=https://archive.org/details/stabilityofmotio0000hahn|url-access=registration|publisher=Springer|year=1967}}</ref> | ||
ध्यान दें कि यह परिभाषा ऊपर दी गई परिभाषा 1 से विरोधाभासी है। | |||
भौतिकी में, | भौतिकी में, <math>f(0) = 0</math> की आवश्यकता को कभी-कभी हटा दिया जाता है (देखें, उदाहरण के लिए, कॉर्नी और ऑलसेन<ref>{{cite journal|first1=J. F.|last1=Corney|first2=M. K.|last2=Olsen|title=गैर-गाऊसी शुद्ध अवस्थाएँ और सकारात्मक विग्नर फ़ंक्शन|journal=Physical Review A|date=19 February 2015|issn=1050-2947 |pages=023824|volume=91|issue=2|doi=10.1103/PhysRevA.91.023824|arxiv=1412.4868|bibcode=2015PhRvA..91b3824C|s2cid=119293595}}</ref>)। | ||
==यह भी देखें== | ==यह भी देखें== | ||
* [[सकारात्मक-निश्चित कर्नेल]] | * [[सकारात्मक-निश्चित कर्नेल|धनात्मक-निश्चित कर्नेल]] | ||
==संदर्भ== | ==संदर्भ== | ||
Line 89: | Line 94: | ||
[[Category: Machine Translated Page]] | [[Category: Machine Translated Page]] | ||
[[Category:Created On 11/08/2023]] | [[Category:Created On 11/08/2023]] | ||
[[Category:Vigyan Ready]] |
Latest revision as of 22:34, 10 October 2023
गणित में, एक धनात्मक-निश्चित फलन, संदर्भ के आधार पर, दो प्रकार के फलन (गणित) में से एक होता है।
परिभाषा 1
मान लीजिये वास्तविक संख्याओं का समुच्चय हो और सम्मिश्र संख्याओं का समुच्चय है।
किसी फलन को धनात्मक अर्ध-निश्चित कहा जाता है यदि किसी भी वास्तविक संख्या x1, …, xn n × n आव्यूह के लिए
एक धनात्मक अर्ध-निश्चित आव्यूह है।
परिभाषा के अनुसार, एक धनात्मक अर्ध-निश्चित आव्यूह, जैसे , हर्मिटियन आव्यूह है; इसलिए f(−x) f(x)) का सम्मिश्र संयुग्म है।
विशेषकर, यह आवश्यक (परन्तु पर्याप्त नहीं) है कि
(ये असमानताएँ n = 1, 2 की स्थिति का अनुसरण करती हैं।)
यदि असमानता को उलट दिया जाए तो एक फलन नकारात्मक अर्ध-निश्चित होता है। यदि शक्तिहीन असमानता को शक्तिशाली (<, > 0) से बदल दिया जाए तो एक फलन निश्चित होता है।
उदाहरण
अगर है तो फिर, यह एक वास्तविक आंतरिक उत्पाद स्थान है, प्रत्येक के लिए निश्चित रूप से निश्चित है: सभी के लिए और सभी हमारे पास निम्न है
चूंकि धनात्मक निश्चित कार्यों के गैर-नकारात्मक रैखिक संयोजन फिर से धनात्मक निश्चित होते हैं, कोटिज्या फलन उपरोक्त कार्यों के गैर-नकारात्मक रैखिक संयोजन के रूप में धनात्मक निश्चित होता है:
कोई एक धनात्मक निश्चित कार्य बना सकता है धनात्मक निश्चित कार्य से आसानी से किसी भी सदिश समष्टि के लिए : एक रैखिक फलन चुनें और को परिभाषित करें।
तब
जहाँ जहाँ के रूप में विशिष्ट हैं रैखिक है। [1]
बोचनर का प्रमेय
फूरियर रूपांतरण के सिद्धांत में धनात्मक-निश्चितता स्वाभाविक रूप से उत्पन्न होती है; इसे प्रत्यक्ष रूप से देखा जा सकता है कि धनात्मक-निश्चित होने के लिए f के लिए g(y) ≥ 0 के साथ वास्तविक रेखा पर फलन g का फूरियर रूपांतरण होना पर्याप्त है।
विपरीत परिणाम बोचनर का प्रमेय है, जिसमें कहा गया है कि वास्तविक रेखा पर कोई भी निरंतर कार्य धनात्मक-निश्चित फलन एक (धनात्मक) माप (गणित) का फूरियर रूपांतरण है। [2]
अनुप्रयोग
सांख्यिकी में, और विशेष रूप से बायेसियन सांख्यिकी में, प्रमेय सामान्यतः वास्तविक कार्यों पर लागू होता है। सामान्यतः, बिंदुओं पर कुछ अदिश मान का n अदिश माप लिया जाता है और जो बिंदु परस्पर निकट होते हैं, उनके लिए ऐसे माप की आवश्यकता होती है जो अत्यधिक सहसंबद्ध हों। व्यवहार में, किसी को यह सुनिश्चित करने के लिए सावधान रहना चाहिए कि परिणामी सहप्रसरण आव्यूह (ए n × n आव्यूह) हमेशा धनात्मक-निश्चित होता है। एक रणनीति एक सहसंबंध आव्यूह ए को परिभाषित करना है जिसे सहप्रसरण आव्यूह देने के लिए एक अदिश राशि से गुणा किया जाता है: यह धनात्मक-निश्चित होना चाहिए। बोचनर के प्रमेय में कहा गया है कि यदि दो बिंदुओं के बीच सहसंबंध केवल उनके बीच की दूरी (फलन एफ के माध्यम से) पर निर्भर है, तो सहप्रसरण आव्यूह ए धनात्मक-निश्चित है यह सुनिश्चित करने के लिए फलन एफ को धनात्मक-निश्चित होना चाहिए। क्रीजिंग देखें।
इस संदर्भ में, फूरियर शब्दावली का सामान्य रूप से उपयोग नहीं किया जाता है और इसके स्थान पर यह कहा जाता है कि f(x) एक सममित संभाव्यता घनत्व फलन (पीडीएफ) का विशेषता फलन (संभावना सिद्धांत) है।
सामान्यीकरण
कोई भी स्थानीय रूप से सघन एबेलियन सांस्थितिक समूह पर धनात्मक-निश्चित कार्यों को परिभाषित कर सकता है; बोचनर का प्रमेय इस संदर्भ तक विस्तारित है। समूहों पर धनात्मक-निश्चित कार्य हिल्बर्ट स्थानों पर समूहों के प्रतिनिधित्व सिद्धांत (यानी एकात्मक प्रतिनिधित्व के सिद्धांत) में स्वाभाविक रूप से होते हैं।
परिभाषा 2
वैकल्पिक रूप से, एक फलन को मूल के प्रतिवैस D पर धनात्मक-निश्चित कहा जाता है यदि प्रत्येक गैर-शून्य के लिए और है। [3][4]
ध्यान दें कि यह परिभाषा ऊपर दी गई परिभाषा 1 से विरोधाभासी है।
भौतिकी में, की आवश्यकता को कभी-कभी हटा दिया जाता है (देखें, उदाहरण के लिए, कॉर्नी और ऑलसेन[5])।
यह भी देखें
संदर्भ
- Christian Berg, Christensen, Paul Ressel. Harmonic Analysis on Semigroups, GTM, Springer Verlag.
- Z. Sasvári, Positive Definite and Definitizable Functions, Akademie Verlag, 1994
- Wells, J. H.; Williams, L. R. Embeddings and extensions in analysis. Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 84. Springer-Verlag, New York-Heidelberg, 1975. vii+108 pp.
टिप्पणियाँ
- ↑ Cheney, Elliot Ward (2009). सन्निकटन सिद्धांत में एक पाठ्यक्रम. American Mathematical Society. pp. 77–78. ISBN 9780821847985. Retrieved 3 February 2022.
- ↑ Bochner, Salomon (1959). फूरियर इंटीग्रल्स पर व्याख्यान. Princeton University Press.
- ↑ Verhulst, Ferdinand (1996). नॉनलीनियर डिफरेंशियल इक्वेशन और डायनामिकल सिस्टम (2nd ed.). Springer. ISBN 3-540-60934-2.
- ↑ Hahn, Wolfgang (1967). गति की स्थिरता. Springer.
- ↑ Corney, J. F.; Olsen, M. K. (19 February 2015). "गैर-गाऊसी शुद्ध अवस्थाएँ और सकारात्मक विग्नर फ़ंक्शन". Physical Review A. 91 (2): 023824. arXiv:1412.4868. Bibcode:2015PhRvA..91b3824C. doi:10.1103/PhysRevA.91.023824. ISSN 1050-2947. S2CID 119293595.
बाहरी संबंध
- "Positive-definite function", Encyclopedia of Mathematics, EMS Press, 2001 [1994]