This is a good article. Click here for more information.

डिरैक डेल्टा फलन: Difference between revisions

From Vigyanwiki
(TEXT)
(TEXT)
Line 6: Line 6:
{{Differential equations}}
{{Differential equations}}


[[गणितीय भौतिकी]] में, डिराक डेल्टा वितरण ({{mvar|δ}} वितरण), जिसे इकाई आवेग के रूप में भी जाना जाता है,{{sfn|atis|2013|loc=unit impulse}} [[वास्तविक संख्या|वास्तविक संख्याओं]] पर एक सामान्यीकृत फलन या वितरण (गणित) है, जिसका मान शून्य को छोड़कर हर जगह शून्य है, और जिसका संपूर्ण वास्तविक रेखा पर [[अभिन्न]] समाकल एक के समान है।{{sfn|Arfken|Weber|2000|p=84}}{{sfn|Dirac|1930|loc=§22 The ''δ'' function}}{{sfn|Gelfand|Shilov|1966–1968|loc=Volume I, §1.1}}
[[गणितीय भौतिकी]] में, डिराक डेल्टा वितरण ({{mvar|δ}} वितरण), जिसे इकाई आवेग के रूप में भी जाना जाता है,{{sfn|atis|2013|loc=unit impulse}} [[वास्तविक संख्या|वास्तविक संख्याओं]] पर एक सामान्यीकृत फलन या वितरण (गणित) है, जिसका मान शून्य को छोड़कर हर जगह शून्य है, और जिसका संपूर्ण वास्तविक रेखा पर [[अभिन्न|समाकल]] समाकल एक के समान है।{{sfn|Arfken|Weber|2000|p=84}}{{sfn|Dirac|1930|loc=§22 The ''δ'' function}}{{sfn|Gelfand|Shilov|1966–1968|loc=Volume I, §1.1}}


इकाई आवेग की वर्तमान समझ एक [[रैखिक कार्यात्मक|रैखिकफलनक]] के रूप में है जो प्रत्येक निरंतर फलन (उदाहरण के लिए, <math>f(x)</math>) को उसके डोमेन <math>f(0)</math>) के शून्य पर मूल्य पर मानचित्र करती है,{{sfn|Gelfand|Shilov|1966–1968|loc=Volume I, §1.3}}{{sfn|Schwartz|1950|p=3}} या बम्प फलन के [[अनुक्रम]] की दुर्बल सीमा के रूप में (उदाहरण के लिए, <math>\delta(x) = \lim_{b \to 0} \frac{1}{|b|\sqrt{\pi}}e^{-(x/b)^2}</math>), जो अधिकांश वास्तविक रेखा पर शून्य हैं, जिनके मूल में एक लंबा स्पाइक है। इस प्रकार बम्प फलन को कभी-कभी <nowiki>''</nowiki>अनुमानित<nowiki>''</nowiki> या <nowiki>''</nowiki>उदीयमान<nowiki>''</nowiki> डेल्टा वितरण कहा जाता है।
इकाई आवेग की वर्तमान समझ एक [[रैखिक कार्यात्मक|रैखिकफलनक]] के रूप में है जो प्रत्येक सतत फलन (उदाहरण के लिए, <math>f(x)</math>) को उसके डोमेन <math>f(0)</math>) के शून्य पर मूल्य पर मानचित्र करती है,{{sfn|Gelfand|Shilov|1966–1968|loc=Volume I, §1.3}}{{sfn|Schwartz|1950|p=3}} या बम्प फलन के [[अनुक्रम]] की दुर्बल सीमा के रूप में (उदाहरण के लिए, <math>\delta(x) = \lim_{b \to 0} \frac{1}{|b|\sqrt{\pi}}e^{-(x/b)^2}</math>), जो अधिकांश वास्तविक रेखा पर शून्य हैं, जिनके मूल में एक लंबा स्पाइक है। इस प्रकार बम्प फलन को कभी-कभी <nowiki>''</nowiki>अनुमानित<nowiki>''</nowiki> या <nowiki>''</nowiki>उदीयमान<nowiki>''</nowiki> डेल्टा वितरण कहा जाता है।


डेल्टा फलन को भौतिक विज्ञानी [[पॉल डिराक]] द्वारा अवस्था सदिश के सामान्यीकरण के लिए एक उपकरण के रूप में प्रस्तावित किया गया था। संभाव्यता सिद्धांत और सिग्नल संसाधन में भी इसका उपयोग होता है। इसकी मान्यता तब तक विवादित रही जब तक [[लॉरेंट श्वार्ट्ज]] ने वितरण के सिद्धांत को विकसित नहीं किया जहां इसे फलनों पर कार्य करने वाले एक रैखिक रूप में परिभाषित किया गया है।
डेल्टा फलन को भौतिक विज्ञानी [[पॉल डिराक]] द्वारा अवस्था सदिश के सामान्यीकरण के लिए एक उपकरण के रूप में प्रस्तावित किया गया था। संभाव्यता सिद्धांत और सिग्नल संसाधन में भी इसका उपयोग होता है। इसकी मान्यता तब तक विवादित रही जब तक [[लॉरेंट श्वार्ट्ज]] ने वितरण के सिद्धांत को विकसित नहीं किया जहां इसे फलनों पर कार्य करने वाले एक रैखिक रूप में परिभाषित किया गया है।
Line 33: Line 33:


<math display="block">\int_{-\infty}^\infty F_{\Delta t}(t)\,dt = P,</math>
<math display="block">\int_{-\infty}^\infty F_{\Delta t}(t)\,dt = P,</math>
जो सभी {{nowrap|<math>\Delta t>0</math>}} के लिए है, उसे सीमा में बनाए रखना चाहिए। तो, समीकरण {{nowrap|<math display="inline">F(t)=P\,\delta(t)=\lim_{\Delta t\to 0}F_{\Delta t}(t)</math>}} में, यह समझा जाता है कि सीमा को हमेशा अभिन्न के बाहर लिया जाता है।
जो सभी {{nowrap|<math>\Delta t>0</math>}} के लिए है, उसे सीमा में बनाए रखना चाहिए। तो, समीकरण {{nowrap|<math display="inline">F(t)=P\,\delta(t)=\lim_{\Delta t\to 0}F_{\Delta t}(t)</math>}} में, यह समझा जाता है कि सीमा को हमेशा समाकल के बाहर लिया जाता है।


व्यावहारिक गणित में, जैसा कि हमने यहां किया है, डेल्टा फलन को प्रायः फलनों के अनुक्रम की एक प्रकार की सीमा (एक दुर्बल सीमा) के रूप में प्रकलित किया जाता है, जिसके प्रत्येक सदस्य के मूल में एक लंबा स्पाइक होता है: उदाहरण के लिए, [[गाऊसी वितरण|गॉसियन वितरणों]] का एक क्रम मूल बिंदु पर केन्द्रित है और विचरण शून्य की ओर है।
व्यावहारिक गणित में, जैसा कि हमने यहां किया है, डेल्टा फलन को प्रायः फलनों के अनुक्रम की एक प्रकार की सीमा (एक दुर्बल सीमा) के रूप में प्रकलित किया जाता है, जिसके प्रत्येक सदस्य के मूल में एक लंबा स्पाइक होता है: उदाहरण के लिए, [[गाऊसी वितरण|गॉसियन वितरणों]] का एक क्रम मूल बिंदु पर केन्द्रित है और विचरण शून्य की ओर है।
Line 66: Line 66:
: शास्त्रीय फूरियर परिवर्तन का सबसे बड़ी कमी फलनों (मूल) का एक संकीर्ण वर्ग है जिसके लिए इसे प्रभावी रूप से गणना की जा सकती है। अर्थात्, यह आवश्यक है कि फूरियर समाकल के अस्तित्व को सुनिश्चित करने के लिए यह आवश्यक है कि ये फलन पर्याप्त तेज़ी से शून्य (अनंत के पड़ोस में) तक कम हो जाता है। उदाहरण के लिए, बहुपद जैसे सरल फलनों का फूरियर रूपांतरण शास्त्रीय अर्थ में उपस्थित नहीं है। वितरणों में शास्त्रीय फूरियर परिवर्तन के विस्तार ने उन फलनों के वर्ग को अत्याधिक विवर्धित किया जिन्हें रूपांतरित किया जा सकता था और इसने कई अवरोध को दूर किया है।
: शास्त्रीय फूरियर परिवर्तन का सबसे बड़ी कमी फलनों (मूल) का एक संकीर्ण वर्ग है जिसके लिए इसे प्रभावी रूप से गणना की जा सकती है। अर्थात्, यह आवश्यक है कि फूरियर समाकल के अस्तित्व को सुनिश्चित करने के लिए यह आवश्यक है कि ये फलन पर्याप्त तेज़ी से शून्य (अनंत के पड़ोस में) तक कम हो जाता है। उदाहरण के लिए, बहुपद जैसे सरल फलनों का फूरियर रूपांतरण शास्त्रीय अर्थ में उपस्थित नहीं है। वितरणों में शास्त्रीय फूरियर परिवर्तन के विस्तार ने उन फलनों के वर्ग को अत्याधिक विवर्धित किया जिन्हें रूपांतरित किया जा सकता था और इसने कई अवरोध को दूर किया है।


यह द्विसमानता की तुलना में पूर्णतः स्थूलतर है (अर्थात् यह एक अधिसमुच्चय है) आगे के विकास में फूरियर समाकल का सामान्यीकरण सम्मिलित है, <nowiki>''</nowiki>प्लांचरेल के पथप्रदर्शक ''L''<sup>2</sup>-सिद्धांत (1910) से आरंभ करते हुए, वीनर और बोचनर के कार्यों को निरंतर रखा (1930 के आसपास) और एल. श्वार्ट्ज के वितरण के सिद्धांत (1945) में समामेलन के साथ समाप्त हुआ...,<ref name="Kracht">{{cite book |title=Topics in Mathematical Analysis: A Volume Dedicated to the Memory of A.L. Cauchy |chapter-url={{google books |plainurl=y |id=xIsPrSiDlZIC}}|first1=Manfred |last1=Kracht |first2=Erwin |last2=Kreyszig|author2-link=Erwin Kreyszig |page={{google books |plainurl=y |id=xIsPrSiDlZIC|page=553 }} 553] |isbn=978-9971-5-0666-7 |editor=Themistocles M. Rassias |year=1989 |publisher=World Scientific |chapter=On singular integral operators and generalizations}}</ref> और डिराक डेल्टा फलन के औपचारिक विकास की ओर अग्रसर हुआ है।
यह द्विसमानता की तुलना में पूर्णतः स्थूलतर है (अर्थात् यह एक अधिसमुच्चय है) आगे के विकास में फूरियर समाकल का सामान्यीकरण सम्मिलित है, <nowiki>''</nowiki>प्लांचरेल के पथप्रदर्शक ''L''<sup>2</sup>-सिद्धांत (1910) से आरंभ करते हुए, वीनर और बोचनर के कार्यों को सतत रखा (1930 के आसपास) और एल. श्वार्ट्ज के वितरण के सिद्धांत (1945) में समामेलन के साथ समाप्त हुआ...,<ref name="Kracht">{{cite book |title=Topics in Mathematical Analysis: A Volume Dedicated to the Memory of A.L. Cauchy |chapter-url={{google books |plainurl=y |id=xIsPrSiDlZIC}}|first1=Manfred |last1=Kracht |first2=Erwin |last2=Kreyszig|author2-link=Erwin Kreyszig |page={{google books |plainurl=y |id=xIsPrSiDlZIC|page=553 }} 553] |isbn=978-9971-5-0666-7 |editor=Themistocles M. Rassias |year=1989 |publisher=World Scientific |chapter=On singular integral operators and generalizations}}</ref> और डिराक डेल्टा फलन के औपचारिक विकास की ओर अग्रसर हुआ है।


एक असीम रूप से लंबे, इकाई आवेग डेल्टा फलन ([[कॉची वितरण]] का अनंत संस्करण) के लिए एक अत्यंत छोटा सूत्र स्पष्ट रूप से [[ऑगस्टिन लुई कॉची]] के 1827 के पाठ में दिखाई देता है। {{sfn|Laugwitz|1989|p=230}} सिमोन डेनिस पॉइसन ने तरंग प्रसार के अध्ययन के संबंध में इस मुद्दे पर विचार किया जैसा कि कुछ समय बाद [[गुस्ताव किरचॉफ]] ने कुछ समय बाद किया था। किरचॉफ और [[हरमन वॉन हेल्महोल्ट्ज़]] ने इकाई आवेग को गाऊसी की सीमा के रूप में भी प्रस्तावित किया, जो [[लॉर्ड केल्विन]] की बिंदु ताप स्रोत की धारणा के अनुरूप था। 19वीं शताब्दी के अंत में, [[ओलिवर हेविसाइड]] ने इकाई आवेग में प्रकलित करने के लिए औपचारिक फूरियर श्रृंखला का उपयोग किया था।<ref>A more complete historical account can be found in {{harvnb|van der Pol|Bremmer|1987|loc=§V.4}}.</ref> डिराक डेल्टा फलन को पॉल डिराक ने अपने 1927 के दस्तावेज़ क्वांटम डायनेमिक्स की भौतिक व्याख्या में प्रस्तावित किया था<ref>{{Cite journal |date=January 1927 |title=क्वांटम गतिकी की भौतिक व्याख्या|journal=Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character |language=en |volume=113 |issue=765 |pages=621–641 |doi=10.1098/rspa.1927.0012 |bibcode=1927RSPSA.113..621D |issn=0950-1207|last1=Dirac |first1=P. A. M. |s2cid=122855515 |doi-access=free }}</ref> और अपनी पाठ्यपुस्तक क्वांटम यांत्रिकी के सिद्धांत में इसका उपयोग किया था।{{sfn|Dirac|1930|loc=§22 The ''δ'' function}} इसे <nowiki>''डेल्टा फलन''</nowiki> कहा क्योंकि उन्होंने इसे असतत क्रोनकर डेल्टा के निरंतर एनालॉग के रूप में उपयोग किया था।
एक असीम रूप से लंबे, इकाई आवेग डेल्टा फलन ([[कॉची वितरण]] का अनंत संस्करण) के लिए एक अत्यंत छोटा सूत्र स्पष्ट रूप से [[ऑगस्टिन लुई कॉची]] के 1827 के पाठ में दिखाई देता है। {{sfn|Laugwitz|1989|p=230}} सिमोन डेनिस पॉइसन ने तरंग प्रसार के अध्ययन के संबंध में इस मुद्दे पर विचार किया जैसा कि कुछ समय बाद [[गुस्ताव किरचॉफ]] ने कुछ समय बाद किया था। किरचॉफ और [[हरमन वॉन हेल्महोल्ट्ज़]] ने इकाई आवेग को गाऊसी की सीमा के रूप में भी प्रस्तावित किया, जो [[लॉर्ड केल्विन]] की बिंदु ताप स्रोत की धारणा के अनुरूप था। 19वीं शताब्दी के अंत में, [[ओलिवर हेविसाइड]] ने इकाई आवेग में प्रकलित करने के लिए औपचारिक फूरियर श्रृंखला का उपयोग किया था।<ref>A more complete historical account can be found in {{harvnb|van der Pol|Bremmer|1987|loc=§V.4}}.</ref> डिराक डेल्टा फलन को पॉल डिराक ने अपने 1927 के दस्तावेज़ क्वांटम डायनेमिक्स की भौतिक व्याख्या में प्रस्तावित किया था<ref>{{Cite journal |date=January 1927 |title=क्वांटम गतिकी की भौतिक व्याख्या|journal=Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character |language=en |volume=113 |issue=765 |pages=621–641 |doi=10.1098/rspa.1927.0012 |bibcode=1927RSPSA.113..621D |issn=0950-1207|last1=Dirac |first1=P. A. M. |s2cid=122855515 |doi-access=free }}</ref> और अपनी पाठ्यपुस्तक क्वांटम यांत्रिकी के सिद्धांत में इसका उपयोग किया था।{{sfn|Dirac|1930|loc=§22 The ''δ'' function}} इसे <nowiki>''डेल्टा फलन''</nowiki> कहा क्योंकि उन्होंने इसे असतत क्रोनकर डेल्टा के सतत एनालॉग के रूप में उपयोग किया था।


==परिभाषाएँ==
==परिभाषाएँ==
Line 85: Line 85:


===मापक के रूप में===
===मापक के रूप में===
डिराक डेल्टा फलन की धारणा को कठोरता से पकड़ने का एक तरीका एक माप (गणित) को परिभाषित करना है, जिसे [[डिराक माप]] कहा जाता है, जो एक उपसमुच्चय को स्वीकार करता है {{mvar|A}} वास्तविक रेखा का {{math|'''R'''}} एक तर्क के रूप में, और लौटता है {{math|1=''δ''(''A'') = 1}} अगर {{math|0 ∈ ''A''}}, और {{math|1=''δ''(''A'') = 0}} अन्यथा।<संदर्भ नाम= रुडिन 1966 स्थान=§1.20 >{{harvnb|Rudin|1966|loc=§1.20}}<nowiki></ref></nowiki> यदि डेल्टा फलन को 0 पर एक आदर्श बिंदु द्रव्यमान के प्रतिरूपिंग के रूप में संकल्पित किया गया है, तो {{math|''δ''(''A'')}} सेट में निहित द्रव्यमान का प्रतिनिधित्व करता है {{mvar|A}}. तब कोई व्यक्ति अभिन्न को परिभाषित कर सकता है {{mvar|δ}} इस व्यापक वितरण के विरुद्ध एक फलन के अभिन्न अंग के रूप में। औपचारिक रूप से, [[लेब्सग इंटीग्रल|लेब्सग समाकल]] आवश्यक विश्लेषणात्मक उपकरण प्रदान करता है। माप के संबंध में लेब्सेग अभिन्न {{mvar|δ}} संतुष्ट करता है
डिराक डेल्टा फलन की धारणा को कठोरता से पकड़ने का एक प्रकार एक माप (गणित) को परिभाषित करना है, जिसे [[डिराक माप]] कहा जाता है, जो वास्तविक रेखा {{math|'''R'''}} के उपसमुच्चय {{mvar|A}} को एक तर्क के रूप में स्वीकार करता है, और यदि {{math|0 ∈ ''A''}} है तो {{math|1=''δ''(''A'') = 1}} देता है, और अन्यथा {{math|1=''δ''(''A'') = 0}} देता है। डेल्टा फलन को 0 पर एक आदर्श बिंदु द्रव्यमान के मॉडलिंग के रूप में संकल्पित किया गया है, तब {{math|''δ''(''A'')}} समुच्चय {{mvar|A}} में निहित द्रव्यमान का प्रतिनिधित्व करता है। कोई इस द्रव्यमान वितरण के प्रति किसी फलन के समाकल वितरण के रूप में {{mvar|δ}} के प्रति समाकल एक फलन के समाकल को परिभाषित कर सकता है। औपचारिक रूप से, [[लेब्सग इंटीग्रल|लेब्सग समाकल]] आवश्यक विश्लेषणात्मक उपकरण प्रदान करता है। माप {{mvar|δ}} के संबंध में लेब्सेग समाकल 


<math display="block">\int_{-\infty}^\infty f(x) \, \delta(dx) =  f(0)</math>
<math display="block">\int_{-\infty}^\infty f(x) \, \delta(dx) =  f(0)</math>
सभी निरंतर कॉम्पैक्ट रूप से समर्थित कार्यों के लिए {{mvar|f}}. पैमाना {{mvar|δ}} [[लेब्सेग माप]] के संबंध में [[बिल्कुल निरंतर]] नहीं है - वास्तव में, यह एक एकल उपाय है। नतीजतन, डेल्टा माप में कोई रेडॉन-निकोडिम व्युत्पन्न नहीं है (लेबेस्ग माप के संबंध में) - कोई वास्तविक कार्य नहीं जिसके लिए संपत्ति
सभी सतत कॉम्पैक्ट रूप से समर्थित फलन {{mvar|f}} को संतुष्ट करता है। माप {{mvar|δ}} [[लेब्सेग माप]] के संबंध में [[बिल्कुल निरंतर|बिल्कुल सतत]] नहीं है - वास्तव में, यह एक अद्वितीय माप है। परिणामस्वरूप, डेल्टा माप में कोई रेडॉन-निकोडिम व्युत्पन्न नहीं है (लेबेस्ग माप के संबंध में) - कोई वास्तविक फलन नहीं जिसके लिए गुण धारण करती है।{{sfn|Hewitt|Stromberg|1963|loc=§19.61}}


<math display="block">\int_{-\infty}^\infty f(x)\, \delta(x)\, dx = f(0)</math>
<math display="block">\int_{-\infty}^\infty f(x)\, \delta(x)\, dx = f(0)</math>
धारण करता है.{{sfn|Hewitt|Stromberg|1963|loc=§19.61}} परिणामस्वरूप, बाद वाला अंकन अंकन का एक सुविधाजनक दुरुपयोग है, न कि एक मानक ([[ रीमैन अभिन्न ]] या लेबेस्ग समाकल) समाकल।
परिणामस्वरूप, बाद वाला संकेतन संकेतन का एक सुविधाजनक दुरुपयोग है, और एक मानक ([[ रीमैन अभिन्न |रीमैन]] या लेबेस्ग) समाकल नहीं है।


[[संभाव्यता माप]] के रूप में {{math|'''R'''}}, डेल्टा माप को इसके संचयी वितरण फलन द्वारा चित्रित किया जाता है, जो इकाई चरण फलन है।<ref>{{harvnb|Driggers|2003|p=2321}}  See also {{harvnb|Bracewell|1986|loc=Chapter 5}} for a different interpretation.  Other conventions for the assigning the value of the Heaviside function at zero exist, and some of these are not consistent with what follows.</ref>
{{math|'''R'''}} पर [[संभाव्यता माप]] के रूप में, डेल्टा माप को इसके संचयी वितरण फलन की विशेषता है, जो इकाई सोपान फलन है।<ref>{{harvnb|Driggers|2003|p=2321}}  See also {{harvnb|Bracewell|1986|loc=Chapter 5}} for a different interpretation.  Other conventions for the assigning the value of the Heaviside function at zero exist, and some of these are not consistent with what follows.</ref>


<math display="block">H(x) =  
<math display="block">H(x) =  
Line 100: Line 100:
0 & \text{if } x < 0.
0 & \text{if } x < 0.
\end{cases}</math>
\end{cases}</math>
इस का मतलब है कि {{math|''H''(''x'')}} संचयी सूचक फलन का अभिन्न अंग है {{math|'''1'''<sub>(−∞, ''x'']</sub>}}माप के संबंध में {{mvar|δ}}; अर्थात,
इसका अर्थ यह है कि {{math|''H''(''x'')}} माप {{mvar|δ}} के संबंध में संचयी संकेतक फलन {{math|'''1'''<sub>(−∞, ''x'']</sub>}} का समाकल है; बुद्धि के लिए,


<math display="block">H(x) = \int_{\mathbf{R}}\mathbf{1}_{(-\infty,x]}(t)\,\delta(dt) = \delta(-\infty,x],</math>
<math display="block">H(x) = \int_{\mathbf{R}}\mathbf{1}_{(-\infty,x]}(t)\,\delta(dt) = \delta(-\infty,x],</math>
उत्तरार्द्ध इस अंतराल का माप है; अधिक औपचारिक रूप से, {{math|''δ''((−∞, ''x''])}}. इस प्रकार विशेष रूप से एक निरंतर फलन के विरुद्ध डेल्टा फलन के एकीकरण को रीमैन-स्टिल्टजेस समाकल के रूप में ठीक से समझा जा सकता है:{{sfn|Hewitt|Stromberg|1963|loc=§9.19}}
अनुवर्ती इस अंतराल का माप है; अधिक औपचारिक रूप से, {{math|''δ''((−∞, ''x''])}} है। इस प्रकार विशेष रूप से एक सतत फलन के प्रति डेल्टा फलन के एकीकरण को रीमैन-स्टिल्टजेस समाकल के रूप में ठीक से समझा जा सकता है:{{sfn|Hewitt|Stromberg|1963|loc=§9.19}}


<math display="block">\int_{-\infty}^\infty f(x)\,\delta(dx) = \int_{-\infty}^\infty f(x) \,dH(x).</math>
<math display="block">\int_{-\infty}^\infty f(x)\,\delta(dx) = \int_{-\infty}^\infty f(x) \,dH(x).</math>
के सभी उच्चतर [[क्षण (गणित)]]। {{mvar|δ}}शून्य हैं. विशेष रूप से, विशेषता फलन (संभावना सिद्धांत) और क्षण उत्पन्न करने वाला फलन दोनों एक के समान हैं।
{{mvar|δ}} के सभी उच्चतर [[क्षण (गणित)]] शून्य हैं। विशेष रूप से, विशेषता फलन (संभावना सिद्धांत) और क्षण उत्पन्न करने वाला फलन दोनों एक के समान हैं।


===वितरण के रूप में===
===वितरण के रूप में===
वितरण (गणित) के सिद्धांत में, एक सामान्यीकृत फलन को अपने आप में एक फलन नहीं माना जाता है, बल्कि केवल यह माना जाता है कि यह अन्य कार्यों को कैसे प्रभावित करता है जब उनके विरुद्ध एकीकृत किया जाता है।{{sfn|Hazewinkel|2011|p=[{{google books |plainurl=y |id=_YPtCAAAQBAJ|page=41}} 41]}} इस दर्शन को ध्यान में रखते हुए, डेल्टा फलन को ठीक से परिभाषित करने के लिए, यह कहना पर्याप्त है कि पर्याप्त रूप से अच्छे परीक्षण फलन के विरुद्ध डेल्टा फलन का अभिन्न अंग क्या है {{mvar|φ}}. परीक्षण फलन को बम्प फलन के रूप में भी जाना जाता है। यदि डेल्टा फलन को पहले से ही एक माप के रूप में समझा जाता है, तो उस माप के विरुद्ध एक परीक्षण फलन का लेबेस्ग समाकल आवश्यक समाकल प्रदान करता है।
वितरण (गणित) के सिद्धांत में, एक सामान्यीकृत फलन को अपने आप में एक फलन नहीं माना जाता है, बल्कि केवल यह माना जाता है कि यह अन्य कार्यों को कैसे प्रभावित करता है जब उनके प्रति एकीकृत किया जाता है।{{sfn|Hazewinkel|2011|p=[{{google books |plainurl=y |id=_YPtCAAAQBAJ|page=41}} 41]}} इस दर्शन को ध्यान में रखते हुए, डेल्टा फलन को ठीक से परिभाषित करने के लिए, यह कहना पर्याप्त है कि पर्याप्त रूप से अच्छे परीक्षण फलन के प्रति डेल्टा फलन का समाकल अंग क्या है {{mvar|φ}}. परीक्षण फलन को बम्प फलन के रूप में भी जाना जाता है। यदि डेल्टा फलन को पहले से ही एक माप के रूप में समझा जाता है, तो उस माप के प्रति एक परीक्षण फलन का लेबेस्ग समाकल आवश्यक समाकल प्रदान करता है।


परीक्षण कार्यों के एक विशिष्ट स्थान में सभी सुचारू कार्य सम्मिलित होते हैं {{math|'''R'''}} [[कॉम्पैक्ट समर्थन]] के साथ जिसमें आवश्यकतानुसार कई डेरिवेटिव हैं। वितरण के रूप में, डिराक डेल्टा परीक्षण कार्यों के स्थान पर एक रैखिक कार्यात्मक है और इसे परिभाषित किया गया है{{sfn|Strichartz|1994|loc=§2.2}}
परीक्षण कार्यों के एक विशिष्ट स्थान में सभी सुचारू कार्य सम्मिलित होते हैं {{math|'''R'''}} [[कॉम्पैक्ट समर्थन]] के साथ जिसमें आवश्यकतानुसार कई डेरिवेटिव हैं। वितरण के रूप में, डिराक डेल्टा परीक्षण कार्यों के स्थान पर एक रैखिक कार्यात्मक है और इसे परिभाषित किया गया है{{sfn|Strichartz|1994|loc=§2.2}}
Line 117: Line 117:
प्रत्येक परीक्षण फलन के लिए {{mvar|φ}}.
प्रत्येक परीक्षण फलन के लिए {{mvar|φ}}.


के लिए {{mvar|δ}} उचित रूप से एक वितरण होने के लिए, इसे परीक्षण कार्यों के स्थान पर एक उपयुक्त टोपोलॉजी में निरंतर होना चाहिए। सामान्य तौर पर, एक रैखिक कार्यात्मक के लिए {{mvar|S}} वितरण को परिभाषित करने के लिए परीक्षण कार्यों के स्थान पर, प्रत्येक सकारात्मक पूर्णांक के लिए यह आवश्यक और पर्याप्त है {{mvar|N}} एक पूर्णांक है {{math|''M''<sub>''N''</sub>}} और एक स्थिरांक {{mvar|''C''<sub>''N''</sub>}} ऐसा कि प्रत्येक परीक्षण फलन के लिए {{mvar|φ}}, एक में असमानता है{{sfn|Hörmander|1983|loc=Theorem 2.1.5}}
के लिए {{mvar|δ}} उचित रूप से एक वितरण होने के लिए, इसे परीक्षण कार्यों के स्थान पर एक उपयुक्त टोपोलॉजी में सतत होना चाहिए। सामान्य तौर पर, एक रैखिक कार्यात्मक के लिए {{mvar|S}} वितरण को परिभाषित करने के लिए परीक्षण कार्यों के स्थान पर, प्रत्येक सकारात्मक पूर्णांक के लिए यह आवश्यक और पर्याप्त है {{mvar|N}} एक पूर्णांक है {{math|''M''<sub>''N''</sub>}} और एक स्थिरांक {{mvar|''C''<sub>''N''</sub>}} ऐसा कि प्रत्येक परीक्षण फलन के लिए {{mvar|φ}}, एक में असमानता है{{sfn|Hörmander|1983|loc=Theorem 2.1.5}}


<math display="block">\left|S[\varphi]\right| \le C_N \sum_{k=0}^{M_N}\sup_{x\in [-N,N]} \left|\varphi^{(k)}(x)\right|</math>
<math display="block">\left|S[\varphi]\right| \le C_N \sum_{k=0}^{M_N}\sup_{x\in [-N,N]} \left|\varphi^{(k)}(x)\right|</math>
Line 125: Line 125:


<math display="block">\delta[\varphi] = -\int_{-\infty}^\infty \varphi'(x)\,H(x)\,dx.</math>
<math display="block">\delta[\varphi] = -\int_{-\infty}^\infty \varphi'(x)\,H(x)\,dx.</math>
सहज रूप से, यदि [[भागों द्वारा एकीकरण]] की अनुमति दी गई थी, तो बाद वाले अभिन्न को सरल बनाना चाहिए
सहज रूप से, यदि [[भागों द्वारा एकीकरण]] की अनुमति दी गई थी, तो बाद वाले समाकल को सरल बनाना चाहिए


<math display="block">\int_{-\infty}^\infty \varphi(x)\,H'(x)\,dx = \int_{-\infty}^\infty \varphi(x)\,\delta(x)\,dx,</math>
<math display="block">\int_{-\infty}^\infty \varphi(x)\,H'(x)\,dx = \int_{-\infty}^\infty \varphi(x)\,\delta(x)\,dx,</math>
Line 131: Line 131:


<math display="block">-\int_{-\infty}^\infty \varphi'(x)\,H(x)\, dx = \int_{-\infty}^\infty \varphi(x)\,dH(x).</math>
<math display="block">-\int_{-\infty}^\infty \varphi'(x)\,H(x)\, dx = \int_{-\infty}^\infty \varphi(x)\,dH(x).</math>
माप सिद्धांत के संदर्भ में, डिराक माप एकीकरण द्वारा वितरण को जन्म देता है। इसके विपरीत, समीकरण ({{EquationNote|1}}) सभी सघन रूप से समर्थित निरंतर कार्यों के स्थान पर [[ डेनियल अभिन्न ]] को परिभाषित करता है {{mvar|φ}} जिसे, रिज़्ज़-मार्कोव-काकुतानी प्रतिनिधित्व प्रमेय द्वारा, लेबेस्ग समाकल के रूप में दर्शाया जा सकता है {{mvar|φ}} कुछ [[रेडॉन माप]] के संबंध में।
माप सिद्धांत के संदर्भ में, डिराक माप एकीकरण द्वारा वितरण को जन्म देता है। इसके विपरीत, समीकरण ({{EquationNote|1}}) सभी सघन रूप से समर्थित सतत कार्यों के स्थान पर [[ डेनियल अभिन्न | डेनियल समाकल]] को परिभाषित करता है {{mvar|φ}} जिसे, रिज़्ज़-मार्कोव-काकुतानी प्रतिनिधित्व प्रमेय द्वारा, लेबेस्ग समाकल के रूप में दर्शाया जा सकता है {{mvar|φ}} कुछ [[रेडॉन माप]] के संबंध में।


आम तौर पर, जब डिराक डेल्टा फलन शब्द का उपयोग किया जाता है, तो यह उपायों के बदले वितरण के अर्थ में होता है, डिराक माप माप सिद्धांत में संबंधित धारणा के लिए कई शब्दों में से एक होता है। कुछ स्रोत डिराक डेल्टा वितरण शब्द का भी उपयोग कर सकते हैं।
आम तौर पर, जब डिराक डेल्टा फलन शब्द का उपयोग किया जाता है, तो यह उपायों के बदले वितरण के अर्थ में होता है, डिराक माप माप सिद्धांत में संबंधित धारणा के लिए कई शब्दों में से एक होता है। कुछ स्रोत डिराक डेल्टा वितरण शब्द का भी उपयोग कर सकते हैं।
Line 139: Line 139:


<math display="block">\int_{\mathbf{R}^n} f(\mathbf{x})\,\delta(d\mathbf{x}) = f(\mathbf{0})</math>
<math display="block">\int_{\mathbf{R}^n} f(\mathbf{x})\,\delta(d\mathbf{x}) = f(\mathbf{0})</math>
प्रत्येक सघन रूप से समर्थित निरंतर फलन के लिए {{mvar|f}}. एक उपाय के रूप में, {{mvar|n}}-आयामी डेल्टा फलन प्रत्येक चर में अलग-अलग 1-आयामी डेल्टा फलन का [[उत्पाद माप]] है। इस प्रकार, औपचारिक रूप से, साथ {{math|1='''x''' = (''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>)}}, किसी के पास{{sfn|Bracewell|1986|loc=Chapter 5}}
प्रत्येक सघन रूप से समर्थित सतत फलन के लिए {{mvar|f}}. एक उपाय के रूप में, {{mvar|n}}-आयामी डेल्टा फलन प्रत्येक चर में अलग-अलग 1-आयामी डेल्टा फलन का [[उत्पाद माप]] है। इस प्रकार, औपचारिक रूप से, साथ {{math|1='''x''' = (''x''<sub>1</sub>, ''x''<sub>2</sub>, ..., ''x''<sub>''n''</sub>)}}, किसी के पास{{sfn|Bracewell|1986|loc=Chapter 5}}


{{NumBlk|:|<math>\delta(\mathbf{x}) = \delta(x_1)\,\delta(x_2)\cdots\delta(x_n).</math>|{{EquationRef|2}}}}
{{NumBlk|:|<math>\delta(\mathbf{x}) = \delta(x_1)\,\delta(x_2)\cdots\delta(x_n).</math>|{{EquationRef|2}}}}
Line 145: Line 145:
डेल्टा फलन को एक-आयामी मामले में ऊपर बताए अनुसार वितरण के अर्थ में भी परिभाषित किया जा सकता है।{{sfn|Hörmander|1983|loc=§3.1}} हालाँकि, इंजीनियरिंग संदर्भों में व्यापक उपयोग के बावजूद, ({{EquationNote|2}}) में सावधानी से प्रकलित किया जाना चाहिए, क्योंकि वितरण के उत्पाद को केवल काफी संकीर्ण परिस्थितियों में ही परिभाषित किया जा सकता है।{{sfn|Strichartz|1994|loc=§2.3}}{{sfn|Hörmander|1983|loc=§8.2}}
डेल्टा फलन को एक-आयामी मामले में ऊपर बताए अनुसार वितरण के अर्थ में भी परिभाषित किया जा सकता है।{{sfn|Hörmander|1983|loc=§3.1}} हालाँकि, इंजीनियरिंग संदर्भों में व्यापक उपयोग के बावजूद, ({{EquationNote|2}}) में सावधानी से प्रकलित किया जाना चाहिए, क्योंकि वितरण के उत्पाद को केवल काफी संकीर्ण परिस्थितियों में ही परिभाषित किया जा सकता है।{{sfn|Strichartz|1994|loc=§2.3}}{{sfn|Hörmander|1983|loc=§8.2}}


डिराक माप की धारणा किसी भी सेट पर समझ में आती है।{{sfn|Rudin |1966 |loc=§1.20}} इस प्रकार यदि {{mvar|X}} एक समुच्चय है, {{math|''x''<sub>0</sub> ∈ ''X''}} एक चिह्नित बिंदु है, और {{math|Σ}} के उपसमुच्चय का कोई सिग्मा बीजगणित है {{mvar|X}}, फिर सेट पर परिभाषित माप {{math|''A'' ∈ Σ}} द्वारा
डिराक माप की धारणा किसी भी समुच्चय पर समझ में आती है।{{sfn|Rudin |1966 |loc=§1.20}} इस प्रकार यदि {{mvar|X}} एक समुच्चय है, {{math|''x''<sub>0</sub> ∈ ''X''}} एक चिह्नित बिंदु है, और {{math|Σ}} के उपसमुच्चय का कोई सिग्मा बीजगणित है {{mvar|X}}, फिर समुच्चय पर परिभाषित माप {{math|''A'' ∈ Σ}} द्वारा


<math display="block">\delta_{x_0}(A)=\begin{cases}
<math display="block">\delta_{x_0}(A)=\begin{cases}
Line 157: Line 157:
{{NumBlk|:|<math>\delta_{x_0}[\varphi] = \varphi(x_0)</math>|{{EquationRef|3}}}}
{{NumBlk|:|<math>\delta_{x_0}[\varphi] = \varphi(x_0)</math>|{{EquationRef|3}}}}


सभी कॉम्पैक्ट रूप से समर्थित सुचारू वास्तविक-मूल्यवान कार्यों के लिए {{mvar|φ}} पर {{mvar|M}}.{{sfn|Dieudonné|1972|loc=§17.3.3}} इस निर्माण का एक सामान्य विशेष मामला एक मामला है {{mvar|M}} यूक्लिडियन अंतरिक्ष में एक [[खुला सेट]] है {{math|'''R'''<sup>''n''</sup>}}.
सभी कॉम्पैक्ट रूप से समर्थित सुचारू वास्तविक-मूल्यवान कार्यों के लिए {{mvar|φ}} पर {{mvar|M}}.{{sfn|Dieudonné|1972|loc=§17.3.3}} इस निर्माण का एक सामान्य विशेष मामला एक मामला है {{mvar|M}} यूक्लिडियन अंतरिक्ष में एक [[खुला सेट|खुला समुच्चय]] है {{math|'''R'''<sup>''n''</sup>}}.


[[स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ स्थान]] पर {{mvar|X}}, डिराक डेल्टा माप एक बिंदु पर केंद्रित है {{mvar|x}} डेनियल समाकल से जुड़ा रेडॉन माप है ({{EquationNote|3}}) सघन रूप से समर्थित निरंतर कार्यों पर {{mvar|φ}}.<ref>{{Cite book|last1=Krantz|first1=Steven G.|url={{google books |plainurl=y |id=X_BKmVphIcsC&q }}|title=ज्यामितीय एकीकरण सिद्धांत|last2=Parks|first2=Harold R.|date=2008-12-15|publisher=Springer Science & Business Media|isbn=978-0-8176-4679-0|language=en}}</ref> व्यापकता के इस स्तर पर, कैलकुलस अब संभव नहीं है, हालांकि अमूर्त विश्लेषण से लेकर विभिन्न प्रकार की तकनीकें उपलब्ध हैं। उदाहरण के लिए, मानचित्रिंग <math>x_0\mapsto \delta_{x_0}</math> का एक सतत एम्बेडिंग है {{mvar|X}} परिमित रेडॉन के अंतरिक्ष में मापता है {{mvar|X}}, अपनी अस्पष्ट टोपोलॉजी से सुसज्जित। इसके अलावा, की छवि का उत्तल पतवार {{mvar|X}} इस एम्बेडिंग के अंतर्गत संभाव्यता माप के स्थान में सघन सेट किया गया है {{mvar|X}}.{{sfn|Federer|1969|loc=§2.5.19}}
[[स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ स्थान]] पर {{mvar|X}}, डिराक डेल्टा माप एक बिंदु पर केंद्रित है {{mvar|x}} डेनियल समाकल से जुड़ा रेडॉन माप है ({{EquationNote|3}}) सघन रूप से समर्थित सतत कार्यों पर {{mvar|φ}}.<ref>{{Cite book|last1=Krantz|first1=Steven G.|url={{google books |plainurl=y |id=X_BKmVphIcsC&q }}|title=ज्यामितीय एकीकरण सिद्धांत|last2=Parks|first2=Harold R.|date=2008-12-15|publisher=Springer Science & Business Media|isbn=978-0-8176-4679-0|language=en}}</ref> व्यापकता के इस स्तर पर, कैलकुलस अब संभव नहीं है, हालांकि अमूर्त विश्लेषण से लेकर विभिन्न प्रकार की तकनीकें उपलब्ध हैं। उदाहरण के लिए, मानचित्रिंग <math>x_0\mapsto \delta_{x_0}</math> का एक सतत एम्बेडिंग है {{mvar|X}} परिमित रेडॉन के अंतरिक्ष में मापता है {{mvar|X}}, अपनी अस्पष्ट टोपोलॉजी से सुसज्जित। इसके अलावा, की छवि का उत्तल पतवार {{mvar|X}} इस एम्बेडिंग के अंतर्गत संभाव्यता माप के स्थान में सघन समुच्चय किया गया है {{mvar|X}}.{{sfn|Federer|1969|loc=§2.5.19}}


==गुण==
==गुण==
Line 203: Line 203:


===अनुवाद===
===अनुवाद===
समय-विलंबित डिराक डेल्टा का अभिन्न अंग है<ref>{{Cite book|last1=Rottwitt|first1=Karsten|url={{google books |plainurl=y |id=G1jSBQAAQBAJ}}|title=Nonlinear Optics: Principles and Applications|last2=Tidemand-Lichtenberg|first2=Peter| date=2014-12-11| publisher=CRC Press|isbn=978-1-4665-6583-8|language=en|page=[{{google books |plainurl=y |id=G1jSBQAAQBAJ|page=276}}] 276}}</ref>
समय-विलंबित डिराक डेल्टा का समाकल अंग है<ref>{{Cite book|last1=Rottwitt|first1=Karsten|url={{google books |plainurl=y |id=G1jSBQAAQBAJ}}|title=Nonlinear Optics: Principles and Applications|last2=Tidemand-Lichtenberg|first2=Peter| date=2014-12-11| publisher=CRC Press|isbn=978-1-4665-6583-8|language=en|page=[{{google books |plainurl=y |id=G1jSBQAAQBAJ|page=276}}] 276}}</ref>


<math display="block">\int_{-\infty}^\infty f(t) \,\delta(t-T)\,dt = f(T).</math>
<math display="block">\int_{-\infty}^\infty f(t) \,\delta(t-T)\,dt = f(T).</math>
Line 243: Line 243:


<math display="block">\int_{\R} \delta\bigl(g(x)\bigr) f\bigl(g(x)\bigr) \left|g'(x)\right| dx = \int_{g(\R)} \delta(u)\,f(u)\,du</math>
<math display="block">\int_{\R} \delta\bigl(g(x)\bigr) f\bigl(g(x)\bigr) \left|g'(x)\right| dx = \int_{g(\R)} \delta(u)\,f(u)\,du</math>
उसे उपलब्ध कराया {{mvar|g}} एक सतत् अवकलनीय फलन है {{math|''g&prime;''}}कहीं भी शून्य नहीं।{{sfn|Gelfand|Shilov|1966–1968|loc=Vol. 1, §II.2.5}}अर्थात, वितरण को अर्थ बताने का एक अनोखा तरीका है <math>\delta\circ g</math> ताकि यह पहचान सभी कॉम्पैक्ट रूप से समर्थित परीक्षण कार्यों के लिए बनी रहे {{mvar|f}}. इसलिए, को बाहर करने के लिए डोमेन को तोड़ना होगा {{math|1=''g&prime;'' = 0}} बिंदु। यह वितरण संतुष्ट करता है {{math|1=''δ''(''g''(''x'')) = 0}} अगर {{mvar|g}} कहीं भी शून्य नहीं है, और अन्यथा यदि {{mvar|g}} में किसी फलन का वास्तविक मूल होता है {{math|''x''<sub>0</sub>}}, तब
उसे उपलब्ध कराया {{mvar|g}} एक सतत् अवकलनीय फलन है {{math|''g&prime;''}}कहीं भी शून्य नहीं।{{sfn|Gelfand|Shilov|1966–1968|loc=Vol. 1, §II.2.5}}अर्थात, वितरण को अर्थ बताने का एक अनोखा प्रकार है <math>\delta\circ g</math> ताकि यह पहचान सभी कॉम्पैक्ट रूप से समर्थित परीक्षण कार्यों के लिए बनी रहे {{mvar|f}}. इसलिए, को बाहर करने के लिए डोमेन को तोड़ना होगा {{math|1=''g&prime;'' = 0}} बिंदु। यह वितरण संतुष्ट करता है {{math|1=''δ''(''g''(''x'')) = 0}} अगर {{mvar|g}} कहीं भी शून्य नहीं है, और अन्यथा यदि {{mvar|g}} में किसी फलन का वास्तविक मूल होता है {{math|''x''<sub>0</sub>}}, तब


<math display="block">\delta(g(x)) = \frac{\delta(x-x_0)}{|g'(x_0)|}.</math>
<math display="block">\delta(g(x)) = \frac{\delta(x-x_0)}{|g'(x_0)|}.</math>
Line 252: Line 252:


<math display="block">\delta\left(x^2-\alpha^2\right) = \frac{1}{2|\alpha|} \Big[\delta\left(x+\alpha\right)+\delta\left(x-\alpha\right)\Big].</math>
<math display="block">\delta\left(x^2-\alpha^2\right) = \frac{1}{2|\alpha|} \Big[\delta\left(x+\alpha\right)+\delta\left(x-\alpha\right)\Big].</math>
अभिन्न रूप में, सामान्यीकृत स्केलिंग संपत्ति को इस प्रकार लिखा जा सकता है
समाकल रूप में, सामान्यीकृत स्केलिंग संपत्ति को इस प्रकार लिखा जा सकता है


<math display="block"> \int_{-\infty}^\infty f(x) \, \delta(g(x)) \, dx = \sum_{i}\frac{f(x_i)}{|g'(x_i)|}. </math>
<math display="block"> \int_{-\infty}^\infty f(x) \, \delta(g(x)) \, dx = \sum_{i}\frac{f(x_i)}{|g'(x_i)|}. </math>
===अनिश्चित अभिन्न===
===अनिश्चित समाकल===
एक स्थिरांक के लिए {{math|''a'' ∈ &reals;}} और एक अच्छा व्यवहार वाला मनमाना वास्तविक-मूल्यवान फलन {{math|''y''(''x'')}} यह सच है कि:
एक स्थिरांक के लिए {{math|''a'' ∈ &reals;}} और एक अच्छा व्यवहार वाला मनमाना वास्तविक-मूल्यवान फलन {{math|''y''(''x'')}} यह सच है कि:
<math display="block">\displaystyle{\int}y(x)\delta(x-a)dx = y(a)H(x-a) + \mathbf{C}</math>
<math display="block">\displaystyle{\int}y(x)\delta(x-a)dx = y(a)H(x-a) + \mathbf{C}</math>
Line 271: Line 271:
सभी कॉम्पैक्ट रूप से समर्थित कार्यों के लिए {{mvar|f}}.
सभी कॉम्पैक्ट रूप से समर्थित कार्यों के लिए {{mvar|f}}.


[[ज्यामितीय माप सिद्धांत]] से कोएरिया सूत्र का उपयोग करके, एक यूक्लिडियन स्थान से दूसरे विभिन्न आयामों में विसर्जन (गणित) के साथ डेल्टा फलन की संरचना को भी परिभाषित किया जा सकता है; परिणाम एक प्रकार का करंट (गणित) है। निरंतर अवकलनीय फलन के विशेष मामले में {{math|''g'' : '''R'''<sup>''n''</sup> → '''R'''}} ऐसा कि ढाल {{mvar|g}} कहीं भी शून्य नहीं है, निम्नलिखित पहचान कायम है{{sfn|Hörmander|1983|loc=§6.1}}
[[ज्यामितीय माप सिद्धांत]] से कोएरिया सूत्र का उपयोग करके, एक यूक्लिडियन स्थान से दूसरे विभिन्न आयामों में विसर्जन (गणित) के साथ डेल्टा फलन की संरचना को भी परिभाषित किया जा सकता है; परिणाम एक प्रकार का करंट (गणित) है। सतत अवकलनीय फलन के विशेष मामले में {{math|''g'' : '''R'''<sup>''n''</sup> → '''R'''}} ऐसा कि ढाल {{mvar|g}} कहीं भी शून्य नहीं है, निम्नलिखित पहचान कायम है{{sfn|Hörmander|1983|loc=§6.1}}
<math display="block">\int_{\R^n} f(\mathbf{x}) \, \delta(g(\mathbf{x})) \,d\mathbf{x} = \int_{g^{-1}(0)}\frac{f(\mathbf{x})}{|\mathbf{\nabla}g|}\,d\sigma(\mathbf{x}) </math>
<math display="block">\int_{\R^n} f(\mathbf{x}) \, \delta(g(\mathbf{x})) \,d\mathbf{x} = \int_{g^{-1}(0)}\frac{f(\mathbf{x})}{|\mathbf{\nabla}g|}\,d\sigma(\mathbf{x}) </math>
जहां दाहिनी ओर का अभिन्न अंग समाप्त हो गया है {{math|''g''<sup>−1</sup>(0)}}, द {{math|(''n'' − 1)}}-आयामी सतह द्वारा परिभाषित {{math|1=''g''('''x''') = 0}}मिन्कोव्स्की सामग्री माप के संबंध में। इसे सरल परत समाकल के रूप में जाना जाता है।
जहां दाहिनी ओर का समाकल अंग समाप्त हो गया है {{math|''g''<sup>−1</sup>(0)}}, द {{math|(''n'' − 1)}}-आयामी सतह द्वारा परिभाषित {{math|1=''g''('''x''') = 0}}मिन्कोव्स्की सामग्री माप के संबंध में। इसे सरल परत समाकल के रूप में जाना जाता है।


|अधिक सामान्यतः, यदि {{mvar|S}} की एक चिकनी हाइपरसतह है {{math|'''R'''<sup>''n''</sup>}}, तो हम इससे जुड़ सकते हैं {{mvar|S}} वह वितरण जो किसी भी कॉम्पैक्ट रूप से समर्थित सुचारू फलन को एकीकृत करता है {{mvar|g}} ऊपर {{mvar|S}}:
|अधिक सामान्यतः, यदि {{mvar|S}} की एक चिकनी हाइपरसतह है {{math|'''R'''<sup>''n''</sup>}}, तो हम इससे जुड़ सकते हैं {{mvar|S}} वह वितरण जो किसी भी कॉम्पैक्ट रूप से समर्थित सुचारू फलन को एकीकृत करता है {{mvar|g}} ऊपर {{mvar|S}}:
Line 284: Line 284:
== संपत्तियों का सारांश ==
== संपत्तियों का सारांश ==


इन गुणों को समीकरणों के दोनों पक्षों को एक सुव्यवस्थित फलन द्वारा गुणा करके सिद्ध किया जा सकता है {{math|''f''(''x'')}} और एक निश्चित एकीकरण लागू करना, यह ध्यान में रखते हुए कि डेल्टा फलन अंतिम परिणाम का हिस्सा नहीं हो सकता है, सिवाय इसके कि जब यह एक अभिन्न अंग के अंदर हो।
इन गुणों को समीकरणों के दोनों पक्षों को एक सुव्यवस्थित फलन द्वारा गुणा करके सिद्ध किया जा सकता है {{math|''f''(''x'')}} और एक निश्चित एकीकरण लागू करना, यह ध्यान में रखते हुए कि डेल्टा फलन अंतिम परिणाम का हिस्सा नहीं हो सकता है, सिवाय इसके कि जब यह एक समाकल अंग के अंदर हो।


* <math>\delta(x)=\delta(-x)\,\!</math>
* <math>\delta(x)=\delta(-x)\,\!</math>
Line 334: Line 334:
जो फिर से फूरियर परिवर्तन के आत्म-संबद्धता को लागू करके अनुसरण करता है।
जो फिर से फूरियर परिवर्तन के आत्म-संबद्धता को लागू करके अनुसरण करता है।


फूरियर ट्रांसफॉर्म की [[विश्लेषणात्मक निरंतरता]] से, डेल्टा फलन का [[लाप्लास परिवर्तन]] पाया जाता है{{sfn|Bracewell|1986}}
फूरियर ट्रांसफॉर्म की [[विश्लेषणात्मक निरंतरता|विश्लेषणात्मक सततता]] से, डेल्टा फलन का [[लाप्लास परिवर्तन]] पाया जाता है{{sfn|Bracewell|1986}}
<math display="block"> \int_{0}^{\infty}\delta(t-a)\,e^{-st} \, dt=e^{-sa}.</math>
<math display="block"> \int_{0}^{\infty}\delta(t-a)\,e^{-st} \, dt=e^{-sa}.</math>
==डिराक डेल्टा फलन के व्युत्पन्न==
==डिराक डेल्टा फलन के व्युत्पन्न==
Line 383: Line 383:


===उच्च आयाम===
===उच्च आयाम===
अधिक सामान्यतः, खुले सेट पर {{mvar|U}} में {{mvar|n}}-आयामी यूक्लिडियन स्थान {{math|&reals;<sup>''n''</sup>}}, डिराक डेल्टा वितरण एक बिंदु पर केंद्रित है {{math|''a'' ∈ ''U''}} द्वारा परिभाषित किया गया है{{sfn|Hörmander|1983|p=56}}
अधिक सामान्यतः, खुले समुच्चय पर {{mvar|U}} में {{mvar|n}}-आयामी यूक्लिडियन स्थान {{math|&reals;<sup>''n''</sup>}}, डिराक डेल्टा वितरण एक बिंदु पर केंद्रित है {{math|''a'' ∈ ''U''}} द्वारा परिभाषित किया गया है{{sfn|Hörmander|1983|p=56}}
<math display="block">\delta_a[\varphi]=\varphi(a)</math>
<math display="block">\delta_a[\varphi]=\varphi(a)</math>
सभी के लिए <math>\varphi \in C_c^\infty(U)</math>, कॉम्पैक्ट समर्थन के साथ सभी सुचारू कार्यों का स्थान {{mvar|U}}. अगर <math>\alpha = (\alpha_1, \ldots, \alpha_n)</math> के साथ कोई बहु-सूचकांक है <math> |\alpha|=\alpha_1+\cdots+\alpha_n</math> और <math>\partial^\alpha</math> संबद्ध मिश्रित [[आंशिक व्युत्पन्न]] ऑपरेटर को दर्शाता है, फिर {{mvar|α}}-वां व्युत्पन्न {{mvar|∂<sup>α</sup>δ<sub>a</sub>}} का {{mvar|δ<sub>a</sub>}} द्वारा दिया गया है{{sfn|Hörmander|1983|p=56}}
सभी के लिए <math>\varphi \in C_c^\infty(U)</math>, कॉम्पैक्ट समर्थन के साथ सभी सुचारू कार्यों का स्थान {{mvar|U}}. अगर <math>\alpha = (\alpha_1, \ldots, \alpha_n)</math> के साथ कोई बहु-सूचकांक है <math> |\alpha|=\alpha_1+\cdots+\alpha_n</math> और <math>\partial^\alpha</math> संबद्ध मिश्रित [[आंशिक व्युत्पन्न]] ऑपरेटर को दर्शाता है, फिर {{mvar|α}}-वां व्युत्पन्न {{mvar|∂<sup>α</sup>δ<sub>a</sub>}} का {{mvar|δ<sub>a</sub>}} द्वारा दिया गया है{{sfn|Hörmander|1983|p=56}}
Line 392: Line 392:
डेल्टा फलन के पहले आंशिक व्युत्पन्न को समन्वय विमानों के साथ [[दोहरी परत क्षमता]] के रूप में माना जाता है। अधिक आम तौर पर, किसी सतह पर समर्थित एक साधारण परत का सामान्य व्युत्पन्न उस सतह पर समर्थित एक दोहरी परत होती है और एक लामिना चुंबकीय मोनोपोल का प्रतिनिधित्व करती है। डेल्टा फलन के उच्च व्युत्पन्न को भौतिकी में [[मल्टीपोल]] के रूप में जाना जाता है।
डेल्टा फलन के पहले आंशिक व्युत्पन्न को समन्वय विमानों के साथ [[दोहरी परत क्षमता]] के रूप में माना जाता है। अधिक आम तौर पर, किसी सतह पर समर्थित एक साधारण परत का सामान्य व्युत्पन्न उस सतह पर समर्थित एक दोहरी परत होती है और एक लामिना चुंबकीय मोनोपोल का प्रतिनिधित्व करती है। डेल्टा फलन के उच्च व्युत्पन्न को भौतिकी में [[मल्टीपोल]] के रूप में जाना जाता है।


उच्च व्युत्पन्न बिंदु समर्थन के साथ वितरण की पूरी संरचना के लिए बिल्डिंग ब्लॉक के रूप में स्वाभाविक रूप से गणित में प्रवेश करते हैं। अगर {{mvar|S}} क्या कोई वितरण चालू है {{mvar|U}} सेट पर सपोर्ट किया {{math|{{brace|''a''}}}} एक बिंदु से मिलकर, तब एक पूर्णांक होता है {{mvar|m}} और गुणांक {{mvar|c<sub>α</sub>}} ऐसा है कि{{sfn|Hörmander|1983|p=56}}{{sfn|Rudin|1991|loc=Theorem 6.25}}
उच्च व्युत्पन्न बिंदु समर्थन के साथ वितरण की पूरी संरचना के लिए बिल्डिंग ब्लॉक के रूप में स्वाभाविक रूप से गणित में प्रवेश करते हैं। अगर {{mvar|S}} क्या कोई वितरण चालू है {{mvar|U}} समुच्चय पर सपोर्ट किया {{math|{{brace|''a''}}}} एक बिंदु से मिलकर, तब एक पूर्णांक होता है {{mvar|m}} और गुणांक {{mvar|c<sub>α</sub>}} ऐसा है कि{{sfn|Hörmander|1983|p=56}}{{sfn|Rudin|1991|loc=Theorem 6.25}}
<math display="block">S = \sum_{|\alpha|\le m} c_\alpha \partial^\alpha\delta_a.</math>
<math display="block">S = \sum_{|\alpha|\le m} c_\alpha \partial^\alpha\delta_a.</math>
==डेल्टा फलन का प्रतिनिधित्व==
==डेल्टा फलन का प्रतिनिधित्व==
Line 405: Line 405:


===पहचान का अनुमान===
===पहचान का अनुमान===
सामान्यतः एक नवजात डेल्टा फलन {{mvar|η<sub>ε</sub>}} का निर्माण निम्नलिखित तरीके से किया जा सकता है। होने देना {{mvar|η}} एक बिल्कुल एकीकृत फलन बनें {{math|'''R'''}} कुल अभिन्न का {{math|1}}, और परिभाषित करें
सामान्यतः एक नवजात डेल्टा फलन {{mvar|η<sub>ε</sub>}} का निर्माण निम्नलिखित तरीके से किया जा सकता है। होने देना {{mvar|η}} एक बिल्कुल एकीकृत फलन बनें {{math|'''R'''}} कुल समाकल का {{math|1}}, और परिभाषित करें
<math display="block">\eta_\varepsilon(x) = \varepsilon^{-1} \eta \left (\frac{x}{\varepsilon} \right). </math>
<math display="block">\eta_\varepsilon(x) = \varepsilon^{-1} \eta \left (\frac{x}{\varepsilon} \right). </math>
में {{mvar|n}} आयाम, कोई इसके बदले स्केलिंग का उपयोग करता है
में {{mvar|n}} आयाम, कोई इसके बदले स्केलिंग का उपयोग करता है
<math display="block">\eta_\varepsilon(x) = \varepsilon^{-n} \eta \left (\frac{x}{\varepsilon} \right). </math>
<math display="block">\eta_\varepsilon(x) = \varepsilon^{-n} \eta \left (\frac{x}{\varepsilon} \right). </math>
फिर चरों का एक साधारण परिवर्तन यह दर्शाता है {{mvar|η<sub>ε</sub>}} का भी अभिन्न अंग है {{math|1}}. कोई यह दिखा सकता है कि ({{EquationNote|5}}) सभी निरंतर कॉम्पैक्ट रूप से समर्थित कार्यों के लिए धारण करता है {{mvar|f}},{{sfn|Stein|Weiss|1971|loc=Theorem 1.18}} इसलिए {{mvar|η<sub>ε</sub>}} कमजोर रूप से अभिसरण करता है {{mvar|δ}} उपायों के अर्थ में. वह {{mvar|η<sub>ε</sub>}} इस तरह से निर्मित को पहचान के सन्निकटन के रूप में जाना जाता है।{{sfn|Rudin|1991|loc=§II.6.31}} यह शब्दावली अंतरिक्ष के कारण है {{math|''L''<sup>1</sup>('''R''')}पूर्णतया एकीकृत कार्यों का } कार्यों के कनवल्शन के संचालन के तहत बंद है: {{math|''f'' ∗ ''g'' ∈ ''L''<sup>1</sup>('''R''')}} जब कभी भी {{mvar|f}} और {{mvar|g}} में हैं {{math|''L''<sup>1</sup>('''R''')}}. हालाँकि, इसमें कोई पहचान नहीं है {{math|''L''<sup>1</sup>('''R''')}} कनवल्शन उत्पाद के लिए: कोई तत्व नहीं {{mvar|h}} ऐसा है कि {{math|1=''f'' ∗ ''h'' = ''f''}} सभी के लिए {{mvar|f}}. फिर भी, क्रम {{mvar|η<sub>ε</sub>}} इस अर्थ में ऐसी पहचान का अनुमान लगाता है
फिर चरों का एक साधारण परिवर्तन यह दर्शाता है {{mvar|η<sub>ε</sub>}} का भी समाकल अंग है {{math|1}}. कोई यह दिखा सकता है कि ({{EquationNote|5}}) सभी सतत कॉम्पैक्ट रूप से समर्थित कार्यों के लिए धारण करता है {{mvar|f}},{{sfn|Stein|Weiss|1971|loc=Theorem 1.18}} इसलिए {{mvar|η<sub>ε</sub>}} कमजोर रूप से अभिसरण करता है {{mvar|δ}} उपायों के अर्थ में. वह {{mvar|η<sub>ε</sub>}} इस तरह से निर्मित को पहचान के सन्निकटन के रूप में जाना जाता है।{{sfn|Rudin|1991|loc=§II.6.31}} यह शब्दावली अंतरिक्ष के कारण है {{math|''L''<sup>1</sup>('''R''')}पूर्णतया एकीकृत कार्यों का } कार्यों के कनवल्शन के संचालन के तहत बंद है: {{math|''f'' ∗ ''g'' ∈ ''L''<sup>1</sup>('''R''')}} जब कभी भी {{mvar|f}} और {{mvar|g}} में हैं {{math|''L''<sup>1</sup>('''R''')}}. हालाँकि, इसमें कोई पहचान नहीं है {{math|''L''<sup>1</sup>('''R''')}} कनवल्शन उत्पाद के लिए: कोई तत्व नहीं {{mvar|h}} ऐसा है कि {{math|1=''f'' ∗ ''h'' = ''f''}} सभी के लिए {{mvar|f}}. फिर भी, क्रम {{mvar|η<sub>ε</sub>}} इस अर्थ में ऐसी पहचान का अनुमान लगाता है


<math display="block">f*\eta_\varepsilon \to f \quad \text{as }\varepsilon\to 0.</math>
<math display="block">f*\eta_\varepsilon \to f \quad \text{as }\varepsilon\to 0.</math>
Line 423: Line 423:


<math display="block"> \eta_\varepsilon(x) = \varepsilon^{-1}\max \left (1-\left|\frac{x}{\varepsilon}\right|,0 \right) </math>
<math display="block"> \eta_\varepsilon(x) = \varepsilon^{-1}\max \left (1-\left|\frac{x}{\varepsilon}\right|,0 \right) </math>
जो सभी निरंतर और सघन रूप से समर्थित हैं, हालांकि चिकने नहीं हैं और इसलिए मोलीफ़ायर भी नहीं हैं।
जो सभी सतत और सघन रूप से समर्थित हैं, हालांकि चिकने नहीं हैं और इसलिए मोलीफ़ायर भी नहीं हैं।


===संभाव्य विचार===
===संभाव्य विचार===
संभाव्यता सिद्धांत के संदर्भ में, प्रारंभिक की अतिरिक्त शर्त लगाना स्वाभाविक है {{math|''η''<sub>1</sub>}} पहचान के सन्निकटन में सकारात्मक होना चाहिए, क्योंकि ऐसा फलन तब संभाव्यता वितरण का प्रतिनिधित्व करता है। संभाव्यता वितरण के साथ कनवल्शन कभी-कभी अनुकूल होता है क्योंकि इसके परिणामस्वरूप [[ ओवरशूट (संकेत) ]] या अंडरशूट नहीं होता है, क्योंकि आउटपुट इनपुट मानों का [[उत्तल संयोजन]] होता है, और इस प्रकार इनपुट फलन के अधिकतम और न्यूनतम के बीच आता है। ले रहा {{math|''η''<sub>1</sub>}} किसी भी संभाव्यता वितरण होना, और देना {{math|1=''η<sub>ε</sub>''(''x'') = ''η''<sub>1</sub>(''x''/''ε'')/''ε''}}जैसा कि ऊपर बताया गया है, पहचान के एक अनुमान को जन्म देगा। सामान्य तौर पर यह अधिक तेजी से डेल्टा फलन में परिवर्तित हो जाता है, यदि, इसके अतिरिक्त, {{mvar|η}} का मतलब है {{math|0}} और इसमें छोटे उच्चतर क्षण हैं। उदाहरण के लिए, यदि {{math|''η''<sub>1</sub>}} पर एकसमान वितरण (निरंतर) है {{nowrap|1=<math display="inline">\left[-\frac{1}{2},\frac{1}{2}\right]</math>,}} को आयताकार फलन के रूप में भी जाना जाता है, फिर:{{sfn|Saichev|Woyczyński|1997|loc=§1.1 The "delta function" as viewed by a physicist and an engineer, p. 3}}
संभाव्यता सिद्धांत के संदर्भ में, प्रारंभिक की अतिरिक्त शर्त लगाना स्वाभाविक है {{math|''η''<sub>1</sub>}} पहचान के सन्निकटन में सकारात्मक होना चाहिए, क्योंकि ऐसा फलन तब संभाव्यता वितरण का प्रतिनिधित्व करता है। संभाव्यता वितरण के साथ कनवल्शन कभी-कभी अनुकूल होता है क्योंकि इसके परिणामस्वरूप [[ ओवरशूट (संकेत) ]] या अंडरशूट नहीं होता है, क्योंकि आउटपुट इनपुट मानों का [[उत्तल संयोजन]] होता है, और इस प्रकार इनपुट फलन के अधिकतम और न्यूनतम के बीच आता है। ले रहा {{math|''η''<sub>1</sub>}} किसी भी संभाव्यता वितरण होना, और देना {{math|1=''η<sub>ε</sub>''(''x'') = ''η''<sub>1</sub>(''x''/''ε'')/''ε''}}जैसा कि ऊपर बताया गया है, पहचान के एक अनुमान को जन्म देगा। सामान्य तौर पर यह अधिक तेजी से डेल्टा फलन में परिवर्तित हो जाता है, यदि, इसके अतिरिक्त, {{mvar|η}} का मतलब है {{math|0}} और इसमें छोटे उच्चतर क्षण हैं। उदाहरण के लिए, यदि {{math|''η''<sub>1</sub>}} पर एकसमान वितरण (सतत) है {{nowrap|1=<math display="inline">\left[-\frac{1}{2},\frac{1}{2}\right]</math>,}} को आयताकार फलन के रूप में भी जाना जाता है, फिर:{{sfn|Saichev|Woyczyński|1997|loc=§1.1 The "delta function" as viewed by a physicist and an engineer, p. 3}}
<math display="block">
<math display="block">
\eta_\varepsilon(x) = \frac{1}{\varepsilon}\operatorname{rect}\left(\frac{x}{\varepsilon}\right)=
\eta_\varepsilon(x) = \frac{1}{\varepsilon}\operatorname{rect}\left(\frac{x}{\varepsilon}\right)=
Line 438: Line 438:
0, & \text{otherwise}.
0, & \text{otherwise}.
\end{cases}</math>
\end{cases}</math>
यह निरंतर और सघन रूप से समर्थित है, लेकिन मोलिफ़ायर नहीं है क्योंकि यह चिकना नहीं है।
यह सतत और सघन रूप से समर्थित है, लेकिन मोलिफ़ायर नहीं है क्योंकि यह चिकना नहीं है।


===[[अर्धसमूह]]===
===[[अर्धसमूह]]===
Line 451: Line 451:
\displaystyle\lim_{t\to 0^+} \eta(t,x) = \delta(x)
\displaystyle\lim_{t\to 0^+} \eta(t,x) = \delta(x)
\end{cases}</math>
\end{cases}</math>
जिसमें सीमा को हमेशा की तरह कमजोर अर्थ में समझा जाता है। सेटिंग {{math|1=''η<sub>ε</sub>''(''x'') = ''η''(''ε'', ''x'')}}संबंधित नवजात डेल्टा फलन देता है।
जिसमें सीमा को हमेशा की तरह कमजोर अर्थ में समझा जाता है। समुच्चयिंग {{math|1=''η<sub>ε</sub>''(''x'') = ''η''(''ε'', ''x'')}}संबंधित नवजात डेल्टा फलन देता है।


ऐसे मौलिक समाधान से उत्पन्न होने वाले भौतिक रूप से महत्वपूर्ण कनवल्शन सेमीग्रुप के कुछ उदाहरणों में निम्नलिखित सम्मिलित हैं।
ऐसे मौलिक समाधान से उत्पन्न होने वाले भौतिक रूप से महत्वपूर्ण कनवल्शन सेमीग्रुप के कुछ उदाहरणों में निम्नलिखित सम्मिलित हैं।
Line 476: Line 476:
<math display="block">\mathcal{F}\left[\left(-\frac{\partial^2}{\partial x^2} \right)^{\frac{1}{2}}f\right](\xi) = |2\pi\xi|\mathcal{F}f(\xi).</math>
<math display="block">\mathcal{F}\left[\left(-\frac{\partial^2}{\partial x^2} \right)^{\frac{1}{2}}f\right](\xi) = |2\pi\xi|\mathcal{F}f(\xi).</math>
===[[ऑसिलेटरी इंटीग्रल|ऑसिलेटरी समाकल]]्स===
===[[ऑसिलेटरी इंटीग्रल|ऑसिलेटरी समाकल]]्स===
तरंग प्रसार और तरंग जैसे भौतिकी के क्षेत्रों में, सम्मिलित समीकरण [[अतिशयोक्तिपूर्ण आंशिक अंतर समीकरण]] हैं और इसलिए अधिक एकल समाधान हो सकते हैं। परिणामस्वरूप, संबंधित [[कॉची समस्या]]ओं के मौलिक समाधान के रूप में उत्पन्न होने वाले नवजात डेल्टा फलन आम तौर पर दोलन संबंधी अभिन्न अंग होते हैं। एक उदाहरण, जो ट्रांसोनिक गैस गतिशीलता के यूलर-ट्राइकोमी समीकरण के समाधान से आता है,{{sfn|Vallée|Soares|2004|loc=§7.2}} पुनर्स्केल्ड [[हवादार कार्य]] है
तरंग प्रसार और तरंग जैसे भौतिकी के क्षेत्रों में, सम्मिलित समीकरण [[अतिशयोक्तिपूर्ण आंशिक अंतर समीकरण]] हैं और इसलिए अधिक एकल समाधान हो सकते हैं। परिणामस्वरूप, संबंधित [[कॉची समस्या]]ओं के मौलिक समाधान के रूप में उत्पन्न होने वाले नवजात डेल्टा फलन आम तौर पर दोलन संबंधी समाकल अंग होते हैं। एक उदाहरण, जो ट्रांसोनिक गैस गतिशीलता के यूलर-ट्राइकोमी समीकरण के समाधान से आता है,{{sfn|Vallée|Soares|2004|loc=§7.2}} पुनर्स्केल्ड [[हवादार कार्य]] है
<math display="block">\varepsilon^{-1/3}\operatorname{Ai}\left (x\varepsilon^{-1/3} \right). </math>
<math display="block">\varepsilon^{-1/3}\operatorname{Ai}\left (x\varepsilon^{-1/3} \right). </math>
यद्यपि फूरियर रूपांतरण का उपयोग करते हुए, यह देखना आसान है कि यह कुछ अर्थों में एक अर्धसमूह उत्पन्न करता है - यह बिल्कुल एकीकृत नहीं है और इसलिए उपरोक्त मजबूत अर्थों में एक अर्धसमूह को परिभाषित नहीं किया जा सकता है। ऑसिलेटरी समाकल्स के रूप में निर्मित कई नवजात डेल्टा फलन उपायों के अर्थ के बदले केवल वितरण के अर्थ में अभिसरण करते हैं (एक उदाहरण नीचे [[डिरिचलेट कर्नेल]] है)।
यद्यपि फूरियर रूपांतरण का उपयोग करते हुए, यह देखना आसान है कि यह कुछ अर्थों में एक अर्धसमूह उत्पन्न करता है - यह बिल्कुल एकीकृत नहीं है और इसलिए उपरोक्त मजबूत अर्थों में एक अर्धसमूह को परिभाषित नहीं किया जा सकता है। ऑसिलेटरी समाकल्स के रूप में निर्मित कई नवजात डेल्टा फलन उपायों के अर्थ के बदले केवल वितरण के अर्थ में अभिसरण करते हैं (एक उदाहरण नीचे [[डिरिचलेट कर्नेल]] है)।
Line 508: Line 508:
-\frac{|s|^k\log|s|}{k!(2\pi i)^n}&n \text{ even.}
-\frac{|s|^k\log|s|}{k!(2\pi i)^n}&n \text{ even.}
\end{cases}</math>
\end{cases}</math>
तब {{mvar|δ}} इकाई क्षेत्र माप के संबंध में [[लाप्लासियन]] की शक्ति को अभिन्न अंग पर लागू करके प्राप्त किया जाता है {{mvar|dω}} का {{math|''g''(''x'' · ''ξ'')}} के लिए {{mvar|ξ}} इकाई क्षेत्र में {{math|''S''<sup>''n''−1</sup>}}:
तब {{mvar|δ}} इकाई क्षेत्र माप के संबंध में [[लाप्लासियन]] की शक्ति को समाकल अंग पर लागू करके प्राप्त किया जाता है {{mvar|dω}} का {{math|''g''(''x'' · ''ξ'')}} के लिए {{mvar|ξ}} इकाई क्षेत्र में {{math|''S''<sup>''n''−1</sup>}}:
<math display="block">\delta(x) = \Delta_x^{(n+k)/2} \int_{S^{n-1}} g(x\cdot\xi)\,d\omega_\xi.</math>
<math display="block">\delta(x) = \Delta_x^{(n+k)/2} \int_{S^{n-1}} g(x\cdot\xi)\,d\omega_\xi.</math>
यहां लाप्लासियन की व्याख्या एक कमजोर व्युत्पन्न के रूप में की गई है, ताकि इस समीकरण का अर्थ यह निकाला जा सके कि, किसी भी परीक्षण फलन के लिए {{mvar|φ}},
यहां लाप्लासियन की व्याख्या एक कमजोर व्युत्पन्न के रूप में की गई है, ताकि इस समीकरण का अर्थ यह निकाला जा सके कि, किसी भी परीक्षण फलन के लिए {{mvar|φ}},
<math display="block">\varphi(x) = \int_{\mathbf{R}^n}\varphi(y)\,dy\,\Delta_x^{\frac{n+k}{2}} \int_{S^{n-1}} g((x-y)\cdot\xi)\,d\omega_\xi.</math>
<math display="block">\varphi(x) = \int_{\mathbf{R}^n}\varphi(y)\,dy\,\Delta_x^{\frac{n+k}{2}} \int_{S^{n-1}} g((x-y)\cdot\xi)\,d\omega_\xi.</math>
परिणाम [[न्यूटोनियन क्षमता]] (पॉइसन समीकरण का मौलिक समाधान) के सूत्र से होता है। यह मूल रूप से [[रेडॉन परिवर्तन]] के व्युत्क्रम सूत्र का एक रूप है क्योंकि यह का मान पुनर्प्राप्त करता है {{math|''φ''(''x'')}} हाइपरप्लेन पर इसके समाकल्स से। उदाहरण के लिए, यदि {{mvar|n}} विषम है और {{math|1=''k'' = 1}}, तो दाहिनी ओर का अभिन्न अंग है
परिणाम [[न्यूटोनियन क्षमता]] (पॉइसन समीकरण का मौलिक समाधान) के सूत्र से होता है। यह मूल रूप से [[रेडॉन परिवर्तन]] के व्युत्क्रम सूत्र का एक रूप है क्योंकि यह का मान पुनर्प्राप्त करता है {{math|''φ''(''x'')}} हाइपरप्लेन पर इसके समाकल्स से। उदाहरण के लिए, यदि {{mvar|n}} विषम है और {{math|1=''k'' = 1}}, तो दाहिनी ओर का समाकल अंग है
<math display="block">
<math display="block">
\begin{align}
\begin{align}
Line 549: Line 549:


===हिल्बर्ट अंतरिक्ष सिद्धांत===
===हिल्बर्ट अंतरिक्ष सिद्धांत===
डिराक डेल्टा वितरण [[ हिल्बर्ट स्थान ]] एलपी स्पेस|एल पर एक [[सघन रूप से परिभाषित]] अनबाउंड ऑपरेटर रैखिक कार्यात्मक है<sup>2</sup>वर्ग-अभिन्न कार्यों का। वास्तव में, सुचारु रूप से समर्थित फलन सघन रूप से सेट होते हैं {{math|''L''<sup>2</sup>}}, और ऐसे कार्यों पर डेल्टा वितरण की कार्रवाई अच्छी तरह से परिभाषित है। कई अनुप्रयोगों में, के उप-स्थानों की पहचान करना संभव है {{math|''L''<sup>2</sup>}} और एक मजबूत टोपोलॉजी देने के लिए जिस पर डेल्टा फलन एक बंधे हुए रैखिक कार्यात्मक को परिभाषित करता है।
डिराक डेल्टा वितरण [[ हिल्बर्ट स्थान ]] एलपी स्पेस|एल पर एक [[सघन रूप से परिभाषित]] अनबाउंड ऑपरेटर रैखिक कार्यात्मक है<sup>2</sup>वर्ग-समाकल कार्यों का। वास्तव में, सुचारु रूप से समर्थित फलन सघन रूप से समुच्चय होते हैं {{math|''L''<sup>2</sup>}}, और ऐसे कार्यों पर डेल्टा वितरण की कार्रवाई अच्छी तरह से परिभाषित है। कई अनुप्रयोगों में, के उप-स्थानों की पहचान करना संभव है {{math|''L''<sup>2</sup>}} और एक मजबूत टोपोलॉजी देने के लिए जिस पर डेल्टा फलन एक बंधे हुए रैखिक कार्यात्मक को परिभाषित करता है।


====सोबोलेव रिक्त स्थान====
====सोबोलेव रिक्त स्थान====
वास्तविक रेखा पर सोबोलेव रिक्त स्थान के लिए सोबोलेव एम्बेडिंग प्रमेय {{math|'''R'''}} तात्पर्य यह है कि कोई भी वर्ग-अभिन्न फलन {{mvar|f}} ऐसा है कि
वास्तविक रेखा पर सोबोलेव रिक्त स्थान के लिए सोबोलेव एम्बेडिंग प्रमेय {{math|'''R'''}} तात्पर्य यह है कि कोई भी वर्ग-समाकल फलन {{mvar|f}} ऐसा है कि


<math display="block">\|f\|_{H^1}^2 = \int_{-\infty}^\infty |\widehat{f}(\xi)|^2 (1+|\xi|^2)\,d\xi < \infty</math>
<math display="block">\|f\|_{H^1}^2 = \int_{-\infty}^\infty |\widehat{f}(\xi)|^2 (1+|\xi|^2)\,d\xi < \infty</math>
स्वचालित रूप से निरंतर है, और विशेष रूप से संतुष्ट करता है
स्वचालित रूप से सतत है, और विशेष रूप से संतुष्ट करता है


<math display="block">\delta[f]=|f(0)| < C \|f\|_{H^1}.</math>
<math display="block">\delta[f]=|f(0)| < C \|f\|_{H^1}.</math>
Line 561: Line 561:


====होलोमोर्फिक फलन के स्थान====
====होलोमोर्फिक फलन के स्थान====
[[जटिल विश्लेषण]] में, डेल्टा फलन कॉची के अभिन्न सूत्र के माध्यम से प्रवेश करता है, जो दावा करता है कि यदि {{mvar|D}} तो, चिकनी सीमा के साथ [[जटिल विमान]] में एक डोमेन है
[[जटिल विश्लेषण]] में, डेल्टा फलन कॉची के समाकल सूत्र के माध्यम से प्रवेश करता है, जो दावा करता है कि यदि {{mvar|D}} तो, चिकनी सीमा के साथ [[जटिल विमान]] में एक डोमेन है


<math display="block">f(z) = \frac{1}{2\pi i} \oint_{\partial D} \frac{f(\zeta)\,d\zeta}{\zeta-z},\quad z\in D</math>
<math display="block">f(z) = \frac{1}{2\pi i} \oint_{\partial D} \frac{f(\zeta)\,d\zeta}{\zeta-z},\quad z\in D</math>
Line 567: Line 567:


<math display="block">\delta_z[f] = f(z) = \frac{1}{2\pi i} \oint_{\partial D} \frac{f(\zeta)\,d\zeta}{\zeta-z}.</math>
<math display="block">\delta_z[f] = f(z) = \frac{1}{2\pi i} \oint_{\partial D} \frac{f(\zeta)\,d\zeta}{\zeta-z}.</math>
इसके अलावा, चलो {{math|''H''<sup>2</sup>(∂''D'')}} [[हार्डी स्पेस]] हो जिसमें क्लोजर सम्मिलित हो {{math|''L''<sup>2</sup>(∂''D'')}} सभी होलोमोर्फिक फलन में {{mvar|D}} की सीमा तक निरंतर {{mvar|D}}. फिर कार्य करता है {{math|''H''<sup>2</sup>(∂''D'')}} विशिष्ट रूप से होलोमोर्फिक फलन तक विस्तारित होता है {{mvar|D}}, और कॉची समाकल फॉर्मूला कायम है। विशेष रूप से के लिए {{math|''z'' ∈ ''D''}}, डेल्टा फलन {{mvar|δ<sub>z</sub>}} एक सतत रैखिक कार्यात्मक है {{math|''H''<sup>2</sup>(∂''D'')}}. यह [[कई जटिल चर]]ों में स्थिति का एक विशेष मामला है, जिसमें सुचारू डोमेन के लिए {{mvar|D}}, स्ज़ेगो कर्नेल कॉची समाकल की भूमिका निभाता है।{{sfn|Hazewinkel|1995|p=[{{google books |plainurl=y |id=PE1a-EIG22kC|page=357}} 357]}}
इसके अलावा, चलो {{math|''H''<sup>2</sup>(∂''D'')}} [[हार्डी स्पेस]] हो जिसमें क्लोजर सम्मिलित हो {{math|''L''<sup>2</sup>(∂''D'')}} सभी होलोमोर्फिक फलन में {{mvar|D}} की सीमा तक सतत {{mvar|D}}. फिर कार्य करता है {{math|''H''<sup>2</sup>(∂''D'')}} विशिष्ट रूप से होलोमोर्फिक फलन तक विस्तारित होता है {{mvar|D}}, और कॉची समाकल फॉर्मूला कायम है। विशेष रूप से के लिए {{math|''z'' ∈ ''D''}}, डेल्टा फलन {{mvar|δ<sub>z</sub>}} एक सतत रैखिक कार्यात्मक है {{math|''H''<sup>2</sup>(∂''D'')}}. यह [[कई जटिल चर]]ों में स्थिति का एक विशेष मामला है, जिसमें सुचारू डोमेन के लिए {{mvar|D}}, स्ज़ेगो कर्नेल कॉची समाकल की भूमिका निभाता है।{{sfn|Hazewinkel|1995|p=[{{google books |plainurl=y |id=PE1a-EIG22kC|page=357}} 357]}}


====पहचान के संकल्प====
====पहचान के संकल्प====
कार्यों का एक पूर्ण [[ऑर्थोनॉर्मल आधार]] सेट दिया गया है {{math|{{brace|''φ''<sub>''n''</sub>}}}} एक अलग करने योग्य हिल्बर्ट स्पेस में, उदाहरण के लिए, हिल्बर्ट स्पेस#स्पेक्ट्रल प्रमेय|कॉम्पैक्ट सेल्फ-एडजॉइंट ऑपरेटर, किसी भी वेक्टर पर एक कॉम्पैक्ट ऑपरेटर के सामान्यीकृत [[आइजन्वेक्टर]] {{mvar|f}} के रूप में व्यक्त किया जा सकता है
कार्यों का एक पूर्ण [[ऑर्थोनॉर्मल आधार]] समुच्चय दिया गया है {{math|{{brace|''φ''<sub>''n''</sub>}}}} एक अलग करने योग्य हिल्बर्ट स्पेस में, उदाहरण के लिए, हिल्बर्ट स्पेस#स्पेक्ट्रल प्रमेय|कॉम्पैक्ट सेल्फ-एडजॉइंट ऑपरेटर, किसी भी वेक्टर पर एक कॉम्पैक्ट ऑपरेटर के सामान्यीकृत [[आइजन्वेक्टर]] {{mvar|f}} के रूप में व्यक्त किया जा सकता है
<math display="block">f = \sum_{n=1}^\infty \alpha_n \varphi_n. </math>
<math display="block">f = \sum_{n=1}^\infty \alpha_n \varphi_n. </math>
गुणांक {α<sub>n</sub>} के रूप में पाए जाते हैं
गुणांक {α<sub>n</sub>} के रूप में पाए जाते हैं
Line 584: Line 584:


<math display="block">I = \sum_{n=1}^\infty \varphi_n \varphi_n^\dagger, </math>
<math display="block">I = \sum_{n=1}^\infty \varphi_n \varphi_n^\dagger, </math>
इसे बोरेल फंक्शनल कैलकुलस#पहचान का संकल्प कहा जाता है। जब हिल्बर्ट स्थान ही स्थान है {{math|''L''<sup>2</sup>(''D'')}} किसी डोमेन पर वर्ग-अभिन्न कार्यों का {{mvar|D}}, मात्रा:
इसे बोरेल फंक्शनल कैलकुलस#पहचान का संकल्प कहा जाता है। जब हिल्बर्ट स्थान ही स्थान है {{math|''L''<sup>2</sup>(''D'')}} किसी डोमेन पर वर्ग-समाकल कार्यों का {{mvar|D}}, मात्रा:


<math display="block">\varphi_n \varphi_n^\dagger, </math>
<math display="block">\varphi_n \varphi_n^\dagger, </math>
एक अभिन्न ऑपरेटर है, और के लिए अभिव्यक्ति है {{mvar|f}} पुनः लिखा जा सकता है
एक समाकल ऑपरेटर है, और के लिए अभिव्यक्ति है {{mvar|f}} पुनः लिखा जा सकता है


<math display="block">f(x) = \sum_{n=1}^\infty \int_D\, \left( \varphi_n (x) \varphi_n^*(\xi)\right) f(\xi) \, d \xi.</math>
<math display="block">f(x) = \sum_{n=1}^\infty \int_D\, \left( \varphi_n (x) \varphi_n^*(\xi)\right) f(\xi) \, d \xi.</math>
Line 596: Line 596:


<math display="block">\delta(x-\xi) = \sum_{n=1}^\infty  \varphi_n (x) \varphi_n^*(\xi). </math>
<math display="block">\delta(x-\xi) = \sum_{n=1}^\infty  \varphi_n (x) \varphi_n^*(\xi). </math>
उपयुक्त कठोर हिल्बर्ट स्थान के साथ {{math|(Φ, ''L''<sup>2</sup>(''D''), Φ*)}} कहाँ {{math|Φ ⊂ ''L''<sup>2</sup>(''D'')}} में सभी कॉम्पैक्ट रूप से समर्थित सुचारु कार्य सम्मिलित हैं, यह सारांश इसमें परिवर्तित हो सकता है {{math|Φ*}}, आधार के गुणों पर निर्भर करता है {{math|''φ''<sub>''n''</sub>}}. व्यावहारिक रुचि के अधिकांश मामलों में, ऑर्थोनॉर्मल आधार एक अभिन्न या विभेदक ऑपरेटर से आता है, जिस स्थिति में श्रृंखला वितरण (गणित)#वितरण अर्थ में परिवर्तित हो जाती है।{{sfn|de la Madrid|Bohm|Gadella|2002}}
उपयुक्त कठोर हिल्बर्ट स्थान के साथ {{math|(Φ, ''L''<sup>2</sup>(''D''), Φ*)}} कहाँ {{math|Φ ⊂ ''L''<sup>2</sup>(''D'')}} में सभी कॉम्पैक्ट रूप से समर्थित सुचारु कार्य सम्मिलित हैं, यह सारांश इसमें परिवर्तित हो सकता है {{math|Φ*}}, आधार के गुणों पर निर्भर करता है {{math|''φ''<sub>''n''</sub>}}. व्यावहारिक रुचि के अधिकांश मामलों में, ऑर्थोनॉर्मल आधार एक समाकल या विभेदक ऑपरेटर से आता है, जिस स्थिति में श्रृंखला वितरण (गणित)#वितरण अर्थ में परिवर्तित हो जाती है।{{sfn|de la Madrid|Bohm|Gadella|2002}}


===इनफिनिटेसिमल डेल्टा फलन===
===इनफिनिटेसिमल डेल्टा फलन===
Line 634: Line 634:


<math display="block">\sum_{i=-\infty}^\infty a_i \delta_{ik}=a_k.</math>
<math display="block">\sum_{i=-\infty}^\infty a_i \delta_{ik}=a_k.</math>
इसी प्रकार, किसी भी वास्तविक या जटिल मूल्य वाले निरंतर फलन के लिए {{mvar|f}} पर {{math|'''R'''}}, डिराक डेल्टा छनाई संपत्ति को संतुष्ट करता है
इसी प्रकार, किसी भी वास्तविक या जटिल मूल्य वाले सतत फलन के लिए {{mvar|f}} पर {{math|'''R'''}}, डिराक डेल्टा छनाई संपत्ति को संतुष्ट करता है


<math display="block">\int_{-\infty}^\infty f(x)\delta(x-x_0)\,dx=f(x_0).</math>
<math display="block">\int_{-\infty}^\infty f(x)\delta(x-x_0)\,dx=f(x_0).</math>
Line 642: Line 642:


===संभावना सिद्धांत===
===संभावना सिद्धांत===
संभाव्यता सिद्धांत और सांख्यिकी में, डिराक डेल्टा फलन का उपयोग प्रायिकता घनत्व फलन (जो सामान्यतः बिल्कुल [[निरंतर वितरण]] का प्रतिनिधित्व करने के लिए किया जाता है) का उपयोग करके असतत वितरण, या आंशिक रूप से असतत, आंशिक रूप से निरंतर वितरण का प्रतिनिधित्व करने के लिए किया जाता है। उदाहरण के लिए, संभाव्यता घनत्व फलन {{math|''f''(''x'')}}अंकों से युक्त एक पृथक वितरण का {{math|1='''x''' = {{brace|''x''<sub>1</sub>, ..., ''x<sub>n</sub>''}}}}, संगत संभावनाओं के साथ {{math|''p''<sub>1</sub>, ..., ''p<sub>n</sub>''}}, के रूप में लिखा जा सकता है
संभाव्यता सिद्धांत और सांख्यिकी में, डिराक डेल्टा फलन का उपयोग प्रायिकता घनत्व फलन (जो सामान्यतः बिल्कुल [[निरंतर वितरण|सतत वितरण]] का प्रतिनिधित्व करने के लिए किया जाता है) का उपयोग करके असतत वितरण, या आंशिक रूप से असतत, आंशिक रूप से सतत वितरण का प्रतिनिधित्व करने के लिए किया जाता है। उदाहरण के लिए, संभाव्यता घनत्व फलन {{math|''f''(''x'')}}अंकों से युक्त एक पृथक वितरण का {{math|1='''x''' = {{brace|''x''<sub>1</sub>, ..., ''x<sub>n</sub>''}}}}, संगत संभावनाओं के साथ {{math|''p''<sub>1</sub>, ..., ''p<sub>n</sub>''}}, के रूप में लिखा जा सकता है


<math display="block">f(x) = \sum_{i=1}^n p_i \delta(x-x_i).</math>
<math display="block">f(x) = \sum_{i=1}^n p_i \delta(x-x_i).</math>
एक अन्य उदाहरण के रूप में, एक वितरण पर विचार करें जिसमें 6/10 समय एक मानक सामान्य वितरण लौटाता है, और 4/10 समय बिल्कुल मान 3.5 (यानी आंशिक रूप से निरंतर, आंशिक रूप से असतत [[मिश्रण वितरण]]) लौटाता है। इस वितरण का घनत्व फलन इस प्रकार लिखा जा सकता है
एक अन्य उदाहरण के रूप में, एक वितरण पर विचार करें जिसमें 6/10 समय एक मानक सामान्य वितरण लौटाता है, और 4/10 समय बिल्कुल मान 3.5 (यानी आंशिक रूप से सतत, आंशिक रूप से असतत [[मिश्रण वितरण]]) लौटाता है। इस वितरण का घनत्व फलन इस प्रकार लिखा जा सकता है


<math display="block">f(x) = 0.6 \, \frac {1}{\sqrt{2\pi}} e^{-\frac{x^2}{2}} + 0.4 \, \delta(x-3.5).</math>
<math display="block">f(x) = 0.6 \, \frac {1}{\sqrt{2\pi}} e^{-\frac{x^2}{2}} + 0.4 \, \delta(x-3.5).</math>
Line 653: Line 653:
डेल्टा फलन का उपयोग [[प्रसार प्रक्रिया]] (जैसे ब्राउनियन गति) के [[स्थानीय समय (गणित)]] को दर्शाने के लिए पूरी तरह से अलग तरीके से किया जाता है। स्टोकेस्टिक प्रक्रिया का स्थानीय समय {{math|''B''(''t'')}} द्वारा दिया गया है
डेल्टा फलन का उपयोग [[प्रसार प्रक्रिया]] (जैसे ब्राउनियन गति) के [[स्थानीय समय (गणित)]] को दर्शाने के लिए पूरी तरह से अलग तरीके से किया जाता है। स्टोकेस्टिक प्रक्रिया का स्थानीय समय {{math|''B''(''t'')}} द्वारा दिया गया है
<math display="block">\ell(x,t) = \int_0^t \delta(x-B(s))\,ds</math>
<math display="block">\ell(x,t) = \int_0^t \delta(x-B(s))\,ds</math>
और उस समय की मात्रा को दर्शाता है जो प्रक्रिया बिंदु पर खर्च करती है {{mvar|x}} प्रक्रिया की सीमा में। अधिक सटीक रूप से, एक आयाम में यह अभिन्न लिखा जा सकता है
और उस समय की मात्रा को दर्शाता है जो प्रक्रिया बिंदु पर खर्च करती है {{mvar|x}} प्रक्रिया की सीमा में। अधिक सटीक रूप से, एक आयाम में यह समाकल लिखा जा सकता है
<math display="block">\ell(x,t) = \lim_{\varepsilon\to 0^+}\frac{1}{2\varepsilon}\int_0^t \mathbf{1}_{[x-\varepsilon,x+\varepsilon]}(B(s))\,ds</math>
<math display="block">\ell(x,t) = \lim_{\varepsilon\to 0^+}\frac{1}{2\varepsilon}\int_0^t \mathbf{1}_{[x-\varepsilon,x+\varepsilon]}(B(s))\,ds</math>
कहाँ <math>\mathbf{1}_{[x-\varepsilon,x+\varepsilon]}</math> अंतराल का सूचक कार्य है <math>[x-\varepsilon,x+\varepsilon].</math>
कहाँ <math>\mathbf{1}_{[x-\varepsilon,x+\varepsilon]}</math> अंतराल का सूचक कार्य है <math>[x-\varepsilon,x+\varepsilon].</math>
===[[क्वांटम यांत्रिकी]]===
===[[क्वांटम यांत्रिकी]]===
क्वांटम यांत्रिकी में डेल्टा फलन समीचीन है। किसी कण का तरंग फलन अंतरिक्ष के किसी दिए गए क्षेत्र के भीतर एक कण को ​​खोजने की संभावना आयाम देता है। तरंग कार्यों को हिल्बर्ट स्थान के तत्व माना जाता है {{math|''L''<sup>2</sup>}} वर्ग-अभिन्न कार्यों का, और किसी दिए गए अंतराल के भीतर एक कण को ​​खोजने की कुल संभावना अंतराल पर तरंग फलन के वर्ग के परिमाण का अभिन्न अंग है। एक सेट {{math|{{brace|{{ket|''φ<sub>n</sub>''}}}}}}तरंग कार्यों का ऑर्थोनॉर्मल है यदि उन्हें सामान्यीकृत किया जाता है
क्वांटम यांत्रिकी में डेल्टा फलन समीचीन है। किसी कण का तरंग फलन अंतरिक्ष के किसी दिए गए क्षेत्र के भीतर एक कण को ​​खोजने की संभावना आयाम देता है। तरंग कार्यों को हिल्बर्ट स्थान के तत्व माना जाता है {{math|''L''<sup>2</sup>}} वर्ग-समाकल कार्यों का, और किसी दिए गए अंतराल के भीतर एक कण को ​​खोजने की कुल संभावना अंतराल पर तरंग फलन के वर्ग के परिमाण का समाकल अंग है। एक समुच्चय {{math|{{brace|{{ket|''φ<sub>n</sub>''}}}}}}तरंग कार्यों का ऑर्थोनॉर्मल है यदि उन्हें सामान्यीकृत किया जाता है


<math display="block">\langle\varphi_n \mid \varphi_m\rangle = \delta_{nm}</math>
<math display="block">\langle\varphi_n \mid \varphi_m\rangle = \delta_{nm}</math>
कहाँ {{mvar|δ}} क्रोनकर डेल्टा है। यदि कोई तरंग कार्य करता है तो वर्ग-अभिन्न कार्यों के स्थान में ऑर्थोनॉर्मल तरंग कार्यों का एक सेट पूरा हो जाता है {{math|{{ket|ψ}}}} को एक रैखिक संयोजन के रूप में व्यक्त किया जा सकता है {{math|{{brace|{{ket|''φ<sub>n</sub>''}}}}}} जटिल गुणांक के साथ:
कहाँ {{mvar|δ}} क्रोनकर डेल्टा है। यदि कोई तरंग कार्य करता है तो वर्ग-समाकल कार्यों के स्थान में ऑर्थोनॉर्मल तरंग कार्यों का एक समुच्चय पूरा हो जाता है {{math|{{ket|ψ}}}} को एक रैखिक संयोजन के रूप में व्यक्त किया जा सकता है {{math|{{brace|{{ket|''φ<sub>n</sub>''}}}}}} जटिल गुणांक के साथ:


<math display="block"> \psi = \sum c_n \varphi_n, </math>
<math display="block"> \psi = \sum c_n \varphi_n, </math>
साथ {{math|1=''c<sub>n</sub>'' = {{bra-ket|''φ<sub>n</sub>''|''ψ''}}}}. तरंग कार्यों की पूर्ण ऑर्थोनॉर्मल प्रणालियाँ स्वाभाविक रूप से क्वांटम यांत्रिकी में [[हैमिल्टनियन (क्वांटम यांत्रिकी)]] (एक [[बाध्य अवस्था]] के) के [[eigenfunction]] के रूप में दिखाई देती हैं जो ऊर्जा के स्तर को मापती हैं, जिन्हें आइगेनवैल्यू कहा जाता है। इस मामले में, eigenvalues ​​​​के सेट को हैमिल्टनियन के स्पेक्ट्रम के रूप में जाना जाता है। ब्रा-केट नोटेशन में, #पहचान के संकल्प के रूप में, यह समानता पहचान के संकल्प को दर्शाती है:
साथ {{math|1=''c<sub>n</sub>'' = {{bra-ket|''φ<sub>n</sub>''|''ψ''}}}}. तरंग कार्यों की पूर्ण ऑर्थोनॉर्मल प्रणालियाँ स्वाभाविक रूप से क्वांटम यांत्रिकी में [[हैमिल्टनियन (क्वांटम यांत्रिकी)]] (एक [[बाध्य अवस्था]] के) के [[eigenfunction]] के रूप में दिखाई देती हैं जो ऊर्जा के स्तर को मापती हैं, जिन्हें आइगेनवैल्यू कहा जाता है। इस मामले में, eigenvalues ​​​​के समुच्चय को हैमिल्टनियन के स्पेक्ट्रम के रूप में जाना जाता है। ब्रा-केट नोटेशन में, #पहचान के संकल्प के रूप में, यह समानता पहचान के संकल्प को दर्शाती है:


<math display="block">I = \sum |\varphi_n\rangle\langle\varphi_n|.</math>
<math display="block">I = \sum |\varphi_n\rangle\langle\varphi_n|.</math>
यहां eigenvalues ​​​​को असतत माना जाता है, लेकिन एक अवलोकन के eigenvalues ​​​​का सेट असतत के बदले निरंतर हो सकता है। एक उदाहरण स्थिति ऑपरेटर है, {{math|1=''Qψ''(''x'') = ''x''ψ(''x'')}}. स्थिति का स्पेक्ट्रम (एक आयाम में) संपूर्ण वास्तविक रेखा है और इसे [[सतत स्पेक्ट्रम]] कहा जाता है। हालाँकि, हैमिल्टनियन के विपरीत, स्थिति ऑपरेटर में उचित eigenfunctions का अभाव है। इस कमी को दूर करने का पारंपरिक तरीका वितरण की अनुमति देकर उपलब्ध कार्यों के वर्ग को चौड़ा करना है: यानी, क्वांटम यांत्रिकी के हिल्बर्ट स्पेस को उचित रिग्ड हिल्बर्ट स्पेस के साथ प्रतिस्थापित करना है।{{sfn|Isham|1995|loc=§6.2}} इस संदर्भ में, स्थिति ऑपरेटर के पास बिंदुओं द्वारा लेबल किए गए ईजेन-वितरण का एक पूरा सेट होता है {{mvar|y}} वास्तविक रेखा का, द्वारा दिया गया
यहां eigenvalues ​​​​को असतत माना जाता है, लेकिन एक अवलोकन के eigenvalues ​​​​का समुच्चय असतत के बदले सतत हो सकता है। एक उदाहरण स्थिति ऑपरेटर है, {{math|1=''Qψ''(''x'') = ''x''ψ(''x'')}}. स्थिति का स्पेक्ट्रम (एक आयाम में) संपूर्ण वास्तविक रेखा है और इसे [[सतत स्पेक्ट्रम]] कहा जाता है। हालाँकि, हैमिल्टनियन के विपरीत, स्थिति ऑपरेटर में उचित eigenfunctions का अभाव है। इस कमी को दूर करने का पारंपरिक प्रकार वितरण की अनुमति देकर उपलब्ध कार्यों के वर्ग को चौड़ा करना है: यानी, क्वांटम यांत्रिकी के हिल्बर्ट स्पेस को उचित रिग्ड हिल्बर्ट स्पेस के साथ प्रतिस्थापित करना है।{{sfn|Isham|1995|loc=§6.2}} इस संदर्भ में, स्थिति ऑपरेटर के पास बिंदुओं द्वारा लेबल किए गए ईजेन-वितरण का एक पूरा समुच्चय होता है {{mvar|y}} वास्तविक रेखा का, द्वारा दिया गया


<math display="block">\varphi_y(x) = \delta(x-y).</math>
<math display="block">\varphi_y(x) = \delta(x-y).</math>
स्थिति के eigenfunctions को निरूपित किया जाता है {{math|1=''φ<sub>y</sub>'' = {{ket|''y''}}}} डिराक नोटेशन में, और स्थिति आइजेनस्टेट्स के रूप में जाना जाता है।
स्थिति के eigenfunctions को निरूपित किया जाता है {{math|1=''φ<sub>y</sub>'' = {{ket|''y''}}}} डिराक नोटेशन में, और स्थिति आइजेनस्टेट्स के रूप में जाना जाता है।


इसी तरह के विचार संवेग संचालिका, या वास्तव में किसी अन्य स्व-सहायक अनबाउंड ऑपरेटर के आइजेनस्टेट्स पर लागू होते हैं {{mvar|P}} हिल्बर्ट स्थान पर, का स्पेक्ट्रम प्रदान किया गया {{mvar|P}} सतत है और कोई विकृत स्वदेशीमान नहीं हैं। उस स्थिति में, एक सेट है {{math|Ω}} वास्तविक संख्याओं का (स्पेक्ट्रम), और एक संग्रह {{mvar|φ<sub>y</sub>}} के तत्वों द्वारा अनुक्रमित वितरण का {{math|Ω}}, ऐसा है कि
इसी तरह के विचार संवेग संचालिका, या वास्तव में किसी अन्य स्व-सहायक अनबाउंड ऑपरेटर के आइजेनस्टेट्स पर लागू होते हैं {{mvar|P}} हिल्बर्ट स्थान पर, का स्पेक्ट्रम प्रदान किया गया {{mvar|P}} सतत है और कोई विकृत स्वदेशीमान नहीं हैं। उस स्थिति में, एक समुच्चय है {{math|Ω}} वास्तविक संख्याओं का (स्पेक्ट्रम), और एक संग्रह {{mvar|φ<sub>y</sub>}} के तत्वों द्वारा अनुक्रमित वितरण का {{math|Ω}}, ऐसा है कि


<math display="block">P\varphi_y = y\varphi_y.</math>
<math display="block">P\varphi_y = y\varphi_y.</math>
Line 683: Line 683:


<math display="block">I = \int_\Omega |\varphi_y\rangle\, \langle\varphi_y|\,dy</math>
<math display="block">I = \int_\Omega |\varphi_y\rangle\, \langle\varphi_y|\,dy</math>
जहां ऑपरेटर-मूल्यवान समाकल को फिर से कमजोर अर्थ में समझा जाता है। यदि का स्पेक्ट्रम {{mvar|P}} में निरंतर और असतत दोनों भाग होते हैं, तो पहचान के समाधान में असतत स्पेक्ट्रम पर एक योग सम्मिलित होता है {{em|and}} सतत स्पेक्ट्रम पर एक अभिन्न।
जहां ऑपरेटर-मूल्यवान समाकल को फिर से कमजोर अर्थ में समझा जाता है। यदि का स्पेक्ट्रम {{mvar|P}} में सतत और असतत दोनों भाग होते हैं, तो पहचान के समाधान में असतत स्पेक्ट्रम पर एक योग सम्मिलित होता है {{em|and}} सतत स्पेक्ट्रम पर एक समाकल।


डेल्टा फलन के क्वांटम यांत्रिकी में कई और विशिष्ट अनुप्रयोग भी हैं, जैसे एकल और दोहरे संभावित कुएं के लिए डेल्टा संभावित प्रतिरूप।
डेल्टा फलन के क्वांटम यांत्रिकी में कई और विशिष्ट अनुप्रयोग भी हैं, जैसे एकल और दोहरे संभावित कुएं के लिए डेल्टा संभावित प्रतिरूप।
Line 699: Line 699:


<math display="block">q(x) = F \delta(x-x_0).</math>
<math display="block">q(x) = F \delta(x-x_0).</math>
चूंकि डेल्टा फलन के एकीकरण के परिणामस्वरूप हेविसाइड चरण फलन होता है, यह इस प्रकार है कि एकाधिक बिंदु भार के अधीन एक पतली बीम के स्थैतिक विक्षेपण को टुकड़े-टुकड़े [[बहुपद]]ों के एक सेट द्वारा वर्णित किया गया है।
चूंकि डेल्टा फलन के एकीकरण के परिणामस्वरूप हेविसाइड चरण फलन होता है, यह इस प्रकार है कि एकाधिक बिंदु भार के अधीन एक पतली बीम के स्थैतिक विक्षेपण को टुकड़े-टुकड़े [[बहुपद]]ों के एक समुच्चय द्वारा वर्णित किया गया है।


साथ ही, बीम पर कार्य करने वाले एक बिंदु झुकने वाले क्षण को डेल्टा फलन द्वारा वर्णित किया जा सकता है। दो विरोधी बिंदु बलों पर विचार करें {{mvar|F}} दूरी पर {{mvar|d}} अलग। फिर वे एक क्षण उत्पन्न करते हैं {{math|1=''M'' = ''Fd''}} किरण पर कार्य करना। अब चलो दूरियां {{mvar|d}} [[किसी फ़ंक्शन की सीमा|किसी फलन की सीमा]] शून्य तक पहुंचें, जबकि {{mvar|M}} स्थिर रखा गया है. भार वितरण, एक दक्षिणावर्त क्षण पर कार्य करते हुए {{math|1=''x'' = 0}}, लिखा है
साथ ही, बीम पर कार्य करने वाले एक बिंदु झुकने वाले क्षण को डेल्टा फलन द्वारा वर्णित किया जा सकता है। दो विरोधी बिंदु बलों पर विचार करें {{mvar|F}} दूरी पर {{mvar|d}} अलग। फिर वे एक क्षण उत्पन्न करते हैं {{math|1=''M'' = ''Fd''}} किरण पर कार्य करना। अब चलो दूरियां {{mvar|d}} [[किसी फ़ंक्शन की सीमा|किसी फलन की सीमा]] शून्य तक पहुंचें, जबकि {{mvar|M}} स्थिर रखा गया है. भार वितरण, एक दक्षिणावर्त क्षण पर कार्य करते हुए {{math|1=''x'' = 0}}, लिखा है

Revision as of 15:23, 8 August 2023

एक तीर के ऊपर एक रेखा द्वारा डिराक डेल्टा फलन का योजनाबद्ध प्रतिनिधित्व। तीर की ऊंचाई सामान्यतः किसी भी गुणक स्थिरांक का मान निर्दिष्ट करने के लिए होती है, जो फलन के अंतर्गत क्षेत्र देगी। दूसरी परिपाटी तीर के शीर्ष के आगे का क्षेत्र लिखने की है।
सीमा के रूप में डिराक डेल्टा (वितरण (गणित) के अर्थ में) शून्य-केंद्रित सामान्य वितरण के अनुक्रम का

गणितीय भौतिकी में, डिराक डेल्टा वितरण (δ वितरण), जिसे इकाई आवेग के रूप में भी जाना जाता है,[1] वास्तविक संख्याओं पर एक सामान्यीकृत फलन या वितरण (गणित) है, जिसका मान शून्य को छोड़कर हर जगह शून्य है, और जिसका संपूर्ण वास्तविक रेखा पर समाकल समाकल एक के समान है।[2][3][4]

इकाई आवेग की वर्तमान समझ एक रैखिकफलनक के रूप में है जो प्रत्येक सतत फलन (उदाहरण के लिए, ) को उसके डोमेन ) के शून्य पर मूल्य पर मानचित्र करती है,[5][6] या बम्प फलन के अनुक्रम की दुर्बल सीमा के रूप में (उदाहरण के लिए, ), जो अधिकांश वास्तविक रेखा पर शून्य हैं, जिनके मूल में एक लंबा स्पाइक है। इस प्रकार बम्प फलन को कभी-कभी ''अनुमानित'' या ''उदीयमान'' डेल्टा वितरण कहा जाता है।

डेल्टा फलन को भौतिक विज्ञानी पॉल डिराक द्वारा अवस्था सदिश के सामान्यीकरण के लिए एक उपकरण के रूप में प्रस्तावित किया गया था। संभाव्यता सिद्धांत और सिग्नल संसाधन में भी इसका उपयोग होता है। इसकी मान्यता तब तक विवादित रही जब तक लॉरेंट श्वार्ट्ज ने वितरण के सिद्धांत को विकसित नहीं किया जहां इसे फलनों पर कार्य करने वाले एक रैखिक रूप में परिभाषित किया गया है।

क्रोनकर डेल्टा फलन, जिसे सामान्यतः एक अलग डोमेन पर परिभाषित किया जाता है और 0 और 1 मान लेता है, डिराक डेल्टा फलन का अलग एनालॉग है।

प्रेरणा और समीक्षा

डिराक डेल्टा का आलेख सामान्यतः संपूर्ण x-अक्ष और सकारात्मक y-अक्ष का अनुसरण करने वाला माना जाता है।[7]: 174  डिराक डेल्टा का उपयोग एक लंबे संकीर्ण स्पाइक फलन (एक आवेग), और अन्य समान अमूर्त जैसे बिंदु आवेश, बिंदु द्रव्यमान या इलेक्ट्रॉन बिंदु को प्रतिरूप करने के लिए किया जाता है। उदाहरण के लिए, बिलियर्ड गेंद पर प्रहार की गतिशीलता की गणना करने के लिए, कोई डायराक डेल्टा द्वारा प्रभाव के बल का अनुमान लगा सकता है। ऐसा करने से, कोई न केवल समीकरणों को सरल बनाता है, लेकिन कोई उपपरमाण्विक स्तरों (उदाहरण के लिए) पर सभी प्रत्यास्थ ऊर्जा हस्तांतरण के विस्तृत प्रतिरूप के बिना केवल संघट्ट के कुल आवेग पर विचार करके गेंद की गति (भौतिकी) की गणना करने में भी सक्षम होता है।

विशिष्ट रूप से, मान लीजिए कि एक बिलियर्ड गेंद आराम की स्थिति में है। समय पर यह एक अन्य गेंद से टकराता है, जिससे इसे इकाई kg⋅m⋅s−1 के साथ संवेग P प्रदान होती है। संवेग का आदान-प्रदान वास्तव में तात्क्षणिक नहीं है, आणविक और उपपरमाण्विक स्तर पर प्रत्सास्थ प्रक्रियाओं द्वारा मध्यस्थ होने के कारण, लेकिन व्यावहारिक उद्देश्यों के लिए उस ऊर्जा हस्तांतरण को प्रभावी रूप से तात्क्षणिक मानना ​​​​सुविधाजनक है। इसलिए बल P δ(t) है; δ(t) की इकाइयाँ s−1 है।

इस स्थिति को और अधिक कठोरता से प्रतिरूप करने के लिए, मान लीजिए कि इसके बदले बल को एक छोटे समय अंतराल पर समान रूप से वितरित किया जाता है। वह,

फिर किसी भी समय t का संवेग एकीकरण द्वारा पाया जाता है:

अब, संवेग के तात्कालिक स्थानांतरण की प्रतिरूप स्थिति में सीमा को Δt → 0 के रूप में लेने की आवश्यकता होती है, जिससे 0 को छोड़कर हर जगह परिणाम मिलता है:

यहाँ फलन को संवेग के तात्क्षणिक स्थानांतरण के विचार के लिए उपयोगी सन्निकटन के रूप में माना जाता है।

डेल्टा फलन हमें इन सन्निकटनों की एक आदर्श सीमा बनाने की अनुमति देता है। दुर्भाग्य से, फलनों की वास्तविक सीमा (बिंदुवार अभिसरण के अर्थ में) हर जगह शून्य है लेकिन एक बिंदु है, जहां यह अनंत है। डिराक डेल्टा की उचित समझ बनाने के लिए, हमें इसके बदले गुण पर जोर देना चाहिए

जो सभी के लिए है, उसे सीमा में बनाए रखना चाहिए। तो, समीकरण में, यह समझा जाता है कि सीमा को हमेशा समाकल के बाहर लिया जाता है।

व्यावहारिक गणित में, जैसा कि हमने यहां किया है, डेल्टा फलन को प्रायः फलनों के अनुक्रम की एक प्रकार की सीमा (एक दुर्बल सीमा) के रूप में प्रकलित किया जाता है, जिसके प्रत्येक सदस्य के मूल में एक लंबा स्पाइक होता है: उदाहरण के लिए, गॉसियन वितरणों का एक क्रम मूल बिंदु पर केन्द्रित है और विचरण शून्य की ओर है।

डिराक डेल्टा वास्तव में एक फलन नहीं है, कम से कम वास्तविक संख्याओं में डोमेन और श्रैणी वाला सामान्य फलन नहीं है। उदाहरण के लिए, वस्तुएं f(x) = δ(x) और g(x) = 0, x = 0 को छोड़कर सभी जगह समान हैं, फिर भी इनके समाकल हैं जो भिन्न हैं। लेबेस्ग एकीकरण सिद्धांत के अनुसार, यदि f और g ऐसे फलन हैं कि लगभग हर जगह f = g है, तब f पूर्णांक है यदि और केवल यदि g पूर्णांक है और f और g के पूर्णांक समरूप हैं। डिराक डेल्टा फलन को अपने आप में एक गणितीय वस्तु के रूप में मानने के लिए एक परिशुद्ध दृष्टिकोण के लिए माप सिद्धांत या वितरण (गणित) के सिद्धांत की आवश्यकता होती है।

इतिहास

जोसेफ फूरियर ने जिसे अब फूरियर समाकल प्रमेय कहा जाता है उसे अपने ग्रंथ थियोरी एनालिटिक डे ला चैलूर में इस रूप में प्रस्तुत किया:[8]

जो विधि में δ-फलन की प्रास्ताविक के समान है:[9]

बाद में, ऑगस्टिन कॉची ने घातांक का उपयोग करके प्रमेय व्यक्त किया:[10][11]

कॉची ने बताया कि कुछ परिस्थितियों में एकीकरण का क्रम इस परिणाम में महत्वपूर्ण है (फुबिनी के प्रमेय के विपरीत)।[12][13]

जैसा कि वितरण के सिद्धांत का उपयोग करके तर्कसंगत किया गया है, कॉची समीकरण को फूरियर के मूल सूत्रीकरण के समान पुन: व्यवस्थित किया जा सकता है और δ-फलन को इस प्रकार दिखाया गया है

जहां δ-फलन को इस प्रकार व्यक्त किया जाता है

घातीय रूप की परिशुद्ध व्याख्या और इसके अनुप्रयोग के लिए आवश्यक फलन f की विभिन्न सीमाएं कई सदियों तक विस्तारित है। शास्त्रीय व्याख्या की समस्याओं को इस प्रकार समझाया गया है:[14]

शास्त्रीय फूरियर परिवर्तन का सबसे बड़ी कमी फलनों (मूल) का एक संकीर्ण वर्ग है जिसके लिए इसे प्रभावी रूप से गणना की जा सकती है। अर्थात्, यह आवश्यक है कि फूरियर समाकल के अस्तित्व को सुनिश्चित करने के लिए यह आवश्यक है कि ये फलन पर्याप्त तेज़ी से शून्य (अनंत के पड़ोस में) तक कम हो जाता है। उदाहरण के लिए, बहुपद जैसे सरल फलनों का फूरियर रूपांतरण शास्त्रीय अर्थ में उपस्थित नहीं है। वितरणों में शास्त्रीय फूरियर परिवर्तन के विस्तार ने उन फलनों के वर्ग को अत्याधिक विवर्धित किया जिन्हें रूपांतरित किया जा सकता था और इसने कई अवरोध को दूर किया है।

यह द्विसमानता की तुलना में पूर्णतः स्थूलतर है (अर्थात् यह एक अधिसमुच्चय है) आगे के विकास में फूरियर समाकल का सामान्यीकरण सम्मिलित है, ''प्लांचरेल के पथप्रदर्शक L2-सिद्धांत (1910) से आरंभ करते हुए, वीनर और बोचनर के कार्यों को सतत रखा (1930 के आसपास) और एल. श्वार्ट्ज के वितरण के सिद्धांत (1945) में समामेलन के साथ समाप्त हुआ...,[15] और डिराक डेल्टा फलन के औपचारिक विकास की ओर अग्रसर हुआ है।

एक असीम रूप से लंबे, इकाई आवेग डेल्टा फलन (कॉची वितरण का अनंत संस्करण) के लिए एक अत्यंत छोटा सूत्र स्पष्ट रूप से ऑगस्टिन लुई कॉची के 1827 के पाठ में दिखाई देता है। [16] सिमोन डेनिस पॉइसन ने तरंग प्रसार के अध्ययन के संबंध में इस मुद्दे पर विचार किया जैसा कि कुछ समय बाद गुस्ताव किरचॉफ ने कुछ समय बाद किया था। किरचॉफ और हरमन वॉन हेल्महोल्ट्ज़ ने इकाई आवेग को गाऊसी की सीमा के रूप में भी प्रस्तावित किया, जो लॉर्ड केल्विन की बिंदु ताप स्रोत की धारणा के अनुरूप था। 19वीं शताब्दी के अंत में, ओलिवर हेविसाइड ने इकाई आवेग में प्रकलित करने के लिए औपचारिक फूरियर श्रृंखला का उपयोग किया था।[17] डिराक डेल्टा फलन को पॉल डिराक ने अपने 1927 के दस्तावेज़ क्वांटम डायनेमिक्स की भौतिक व्याख्या में प्रस्तावित किया था[18] और अपनी पाठ्यपुस्तक क्वांटम यांत्रिकी के सिद्धांत में इसका उपयोग किया था।[3] इसे ''डेल्टा फलन'' कहा क्योंकि उन्होंने इसे असतत क्रोनकर डेल्टा के सतत एनालॉग के रूप में उपयोग किया था।

परिभाषाएँ

डिराक डेल्टा फलन को वास्तविक रेखा पर एक फलन के रूप में सोचा जा सकता है जो मूल बिंदु को छोड़कर हर जगह शून्य है, जहां यह अनंत है,

और जो तत्समक को संतुष्ट करने के लिए भी सीमित है[19]

यह केवल एक अनुमानी लक्षण वर्णन है। डिराक डेल्टा पारंपरिक अर्थों में एक फलन नहीं है क्योंकि वास्तविक संख्याओं पर परिभाषित किसी भी फलन में ये गुण नहीं होते हैं।[20]

डिराक डेल्टा फलन की एक और तुल्य परिभाषा: एक फलन है (एक शिथिल अर्थ में) जो संतुष्ट करता है

जहां g(x) एक सुव्यवस्थित फलन है।[21] इस परिभाषा में दूसरी प्रतिबंध उपरोक्त पहली परिभाषा से प्राप्त की जा सकती है:
डिराक डेल्टा फलन को या तो वितरण के रूप में या नीचे वर्णित माप के रूप में यथार्थ रूप से परिभाषित किया जा सकता है।

मापक के रूप में

डिराक डेल्टा फलन की धारणा को कठोरता से पकड़ने का एक प्रकार एक माप (गणित) को परिभाषित करना है, जिसे डिराक माप कहा जाता है, जो वास्तविक रेखा R के उपसमुच्चय A को एक तर्क के रूप में स्वीकार करता है, और यदि 0 ∈ A है तो δ(A) = 1 देता है, और अन्यथा δ(A) = 0 देता है। डेल्टा फलन को 0 पर एक आदर्श बिंदु द्रव्यमान के मॉडलिंग के रूप में संकल्पित किया गया है, तब δ(A) समुच्चय A में निहित द्रव्यमान का प्रतिनिधित्व करता है। कोई इस द्रव्यमान वितरण के प्रति किसी फलन के समाकल वितरण के रूप में δ के प्रति समाकल एक फलन के समाकल को परिभाषित कर सकता है। औपचारिक रूप से, लेब्सग समाकल आवश्यक विश्लेषणात्मक उपकरण प्रदान करता है। माप δ के संबंध में लेब्सेग समाकल

सभी सतत कॉम्पैक्ट रूप से समर्थित फलन f को संतुष्ट करता है। माप δ लेब्सेग माप के संबंध में बिल्कुल सतत नहीं है - वास्तव में, यह एक अद्वितीय माप है। परिणामस्वरूप, डेल्टा माप में कोई रेडॉन-निकोडिम व्युत्पन्न नहीं है (लेबेस्ग माप के संबंध में) - कोई वास्तविक फलन नहीं जिसके लिए गुण धारण करती है।[22]

परिणामस्वरूप, बाद वाला संकेतन संकेतन का एक सुविधाजनक दुरुपयोग है, और एक मानक (रीमैन या लेबेस्ग) समाकल नहीं है।

R पर संभाव्यता माप के रूप में, डेल्टा माप को इसके संचयी वितरण फलन की विशेषता है, जो इकाई सोपान फलन है।[23]

इसका अर्थ यह है कि H(x) माप δ के संबंध में संचयी संकेतक फलन 1(−∞, x] का समाकल है; बुद्धि के लिए,

अनुवर्ती इस अंतराल का माप है; अधिक औपचारिक रूप से, δ((−∞, x]) है। इस प्रकार विशेष रूप से एक सतत फलन के प्रति डेल्टा फलन के एकीकरण को रीमैन-स्टिल्टजेस समाकल के रूप में ठीक से समझा जा सकता है:[24]

δ के सभी उच्चतर क्षण (गणित) शून्य हैं। विशेष रूप से, विशेषता फलन (संभावना सिद्धांत) और क्षण उत्पन्न करने वाला फलन दोनों एक के समान हैं।

वितरण के रूप में

वितरण (गणित) के सिद्धांत में, एक सामान्यीकृत फलन को अपने आप में एक फलन नहीं माना जाता है, बल्कि केवल यह माना जाता है कि यह अन्य कार्यों को कैसे प्रभावित करता है जब उनके प्रति एकीकृत किया जाता है।[25] इस दर्शन को ध्यान में रखते हुए, डेल्टा फलन को ठीक से परिभाषित करने के लिए, यह कहना पर्याप्त है कि पर्याप्त रूप से अच्छे परीक्षण फलन के प्रति डेल्टा फलन का समाकल अंग क्या है φ. परीक्षण फलन को बम्प फलन के रूप में भी जाना जाता है। यदि डेल्टा फलन को पहले से ही एक माप के रूप में समझा जाता है, तो उस माप के प्रति एक परीक्षण फलन का लेबेस्ग समाकल आवश्यक समाकल प्रदान करता है।

परीक्षण कार्यों के एक विशिष्ट स्थान में सभी सुचारू कार्य सम्मिलित होते हैं R कॉम्पैक्ट समर्थन के साथ जिसमें आवश्यकतानुसार कई डेरिवेटिव हैं। वितरण के रूप में, डिराक डेल्टा परीक्षण कार्यों के स्थान पर एक रैखिक कार्यात्मक है और इसे परिभाषित किया गया है[26]

 

 

 

 

(1)

प्रत्येक परीक्षण फलन के लिए φ.

के लिए δ उचित रूप से एक वितरण होने के लिए, इसे परीक्षण कार्यों के स्थान पर एक उपयुक्त टोपोलॉजी में सतत होना चाहिए। सामान्य तौर पर, एक रैखिक कार्यात्मक के लिए S वितरण को परिभाषित करने के लिए परीक्षण कार्यों के स्थान पर, प्रत्येक सकारात्मक पूर्णांक के लिए यह आवश्यक और पर्याप्त है N एक पूर्णांक है MN और एक स्थिरांक CN ऐसा कि प्रत्येक परीक्षण फलन के लिए φ, एक में असमानता है[27]

कहाँ sup सबसे निचला और उच्चतम का प्रतिनिधित्व करता है। साथ δ वितरण, एक ऐसी असमानता है (के साथ)। CN = 1) साथ MN = 0 सभी के लिए N. इस प्रकार δ ऑर्डर शून्य का वितरण है। इसके अलावा, यह कॉम्पैक्ट सपोर्ट (समर्थन (गणित)) वाला एक वितरण है {0}).

डेल्टा वितरण को कई समान तरीकों से भी परिभाषित किया जा सकता है। उदाहरण के लिए, यह हेविसाइड स्टेप फलन का वितरणात्मक व्युत्पन्न है। इसका मतलब है कि प्रत्येक परीक्षण फलन के लिए φ, किसी के पास

सहज रूप से, यदि भागों द्वारा एकीकरण की अनुमति दी गई थी, तो बाद वाले समाकल को सरल बनाना चाहिए

और वास्तव में, स्टिल्टजेस समाकल के लिए भागों द्वारा एकीकरण के एक रूप की अनुमति है, और उस स्थिति में, किसी के पास

माप सिद्धांत के संदर्भ में, डिराक माप एकीकरण द्वारा वितरण को जन्म देता है। इसके विपरीत, समीकरण (1) सभी सघन रूप से समर्थित सतत कार्यों के स्थान पर डेनियल समाकल को परिभाषित करता है φ जिसे, रिज़्ज़-मार्कोव-काकुतानी प्रतिनिधित्व प्रमेय द्वारा, लेबेस्ग समाकल के रूप में दर्शाया जा सकता है φ कुछ रेडॉन माप के संबंध में।

आम तौर पर, जब डिराक डेल्टा फलन शब्द का उपयोग किया जाता है, तो यह उपायों के बदले वितरण के अर्थ में होता है, डिराक माप माप सिद्धांत में संबंधित धारणा के लिए कई शब्दों में से एक होता है। कुछ स्रोत डिराक डेल्टा वितरण शब्द का भी उपयोग कर सकते हैं।

सामान्यीकरण

डेल्टा फलन को परिभाषित किया जा सकता है n-आयामी यूक्लिडियन स्थान Rn उपाय के रूप में ऐसा है कि

प्रत्येक सघन रूप से समर्थित सतत फलन के लिए f. एक उपाय के रूप में, n-आयामी डेल्टा फलन प्रत्येक चर में अलग-अलग 1-आयामी डेल्टा फलन का उत्पाद माप है। इस प्रकार, औपचारिक रूप से, साथ x = (x1, x2, ..., xn), किसी के पास[28]

 

 

 

 

(2)

डेल्टा फलन को एक-आयामी मामले में ऊपर बताए अनुसार वितरण के अर्थ में भी परिभाषित किया जा सकता है।[29] हालाँकि, इंजीनियरिंग संदर्भों में व्यापक उपयोग के बावजूद, (2) में सावधानी से प्रकलित किया जाना चाहिए, क्योंकि वितरण के उत्पाद को केवल काफी संकीर्ण परिस्थितियों में ही परिभाषित किया जा सकता है।[30][31]

डिराक माप की धारणा किसी भी समुच्चय पर समझ में आती है।[32] इस प्रकार यदि X एक समुच्चय है, x0X एक चिह्नित बिंदु है, और Σ के उपसमुच्चय का कोई सिग्मा बीजगणित है X, फिर समुच्चय पर परिभाषित माप A ∈ Σ द्वारा

डेल्टा माप या इकाई द्रव्यमान पर केंद्रित है x0.

डेल्टा फलन का एक और सामान्य सामान्यीकरण एक विभेदक मैनिफोल्ड है जहां वितरण के रूप में इसके अधिकांश गुणों का भी विभेदक संरचना के कारण शोषण किया जा सकता है। डेल्टा अनेक गुना पर कार्य करता है M बिंदु पर केन्द्रित x0M को निम्नलिखित वितरण के रूप में परिभाषित किया गया है:

 

 

 

 

(3)

सभी कॉम्पैक्ट रूप से समर्थित सुचारू वास्तविक-मूल्यवान कार्यों के लिए φ पर M.[33] इस निर्माण का एक सामान्य विशेष मामला एक मामला है M यूक्लिडियन अंतरिक्ष में एक खुला समुच्चय है Rn.

स्थानीय रूप से कॉम्पैक्ट हॉसडॉर्फ़ स्थान पर X, डिराक डेल्टा माप एक बिंदु पर केंद्रित है x डेनियल समाकल से जुड़ा रेडॉन माप है (3) सघन रूप से समर्थित सतत कार्यों पर φ.[34] व्यापकता के इस स्तर पर, कैलकुलस अब संभव नहीं है, हालांकि अमूर्त विश्लेषण से लेकर विभिन्न प्रकार की तकनीकें उपलब्ध हैं। उदाहरण के लिए, मानचित्रिंग का एक सतत एम्बेडिंग है X परिमित रेडॉन के अंतरिक्ष में मापता है X, अपनी अस्पष्ट टोपोलॉजी से सुसज्जित। इसके अलावा, की छवि का उत्तल पतवार X इस एम्बेडिंग के अंतर्गत संभाव्यता माप के स्थान में सघन समुच्चय किया गया है X.[35]

गुण

स्केलिंग और समरूपता

डेल्टा फलन गैर-शून्य स्केलर के लिए निम्नलिखित स्केलिंग संपत्ति को संतुष्ट करता है α:[36]

इसलिए

 

 

 

 

(4)

स्केलिंग संपत्ति प्रमाण:

इस प्रमाण में, डेल्टा फलन का प्रतिनिधित्व शून्य-केंद्रित सामान्य वितरण के अनुक्रम की सीमा के रूप में होता है प्रयोग किया जाता है। यह प्रमाण अन्य डेल्टा फलन अभ्यावेदन का उपयोग करके कार्यों के अनुक्रम की सीमा के रूप में किया जा सकता है, जब तक कि ये सम कार्य हों।

एक अन्य प्रमाण निम्नलिखित है:

जहां परिवर्तनशील परिवर्तन होता है x′ = ax प्रयोग किया जाता है। अगर a नकारात्मक है, यानी, a = −|a|, तब
इस प्रकार, .

विशेष रूप से, डेल्टा फलन एक सम फलन वितरण (समरूपता) है, इस अर्थ में

जो डिग्री का सजातीय कार्य है −1.

बीजगणितीय गुण

का वितरण (गणित) δ साथ x शून्य के समान है:

इसके विपरीत, यदि xf(x) = xg(x), कहाँ f और g तो वितरण हैं

कुछ स्थिरांक के लिए c.[37]

अनुवाद

समय-विलंबित डिराक डेल्टा का समाकल अंग है[38]

इसे कभी-कभी छनाई संपत्ति के रूप में जाना जाता है[39] या नमूना संपत्ति.[40] कहा जाता है कि डेल्टा फलन t = T पर f(t) का मान निकालता है।[41] इससे यह पता चलता है कि कनवल्शन का प्रभाव एक फलन है f(t) समय-विलंबित डिराक डेल्टा के साथ समय-विलंब करना है f(t) समान राशि से. इसे कभी-कभी स्थानांतरण संपत्ति के रूप में जाना जाता है (स्थानांतरण संपत्ति के साथ भ्रमित न हों):

ध्यान दें कि sifting संपत्ति पर केंद्रित फलन का मान ढूंढती है T जहांकि shifting संपत्ति विलंबित फलन लौटाती है। स्थानांतरण संपत्ति सटीक स्थिति में रहती है f एक डिस्ट्रीब्यूशन (गणित)#टेम्पर्ड डिस्ट्रीब्यूशन और फूरियर ट्रांसफॉर्म बनें (फूरियर ट्रांसफॉर्म #फूरियर ट्रांसफॉर्म की चर्चा देखें)। उदाहरण के लिए, एक विशेष मामले के रूप में, हमारे पास पहचान है (वितरण अर्थ में समझी गई)

अनुवाद गुण में (जिसे छनाई या नमूनाकरण गुण भी कहा जाता है), यदि T के लिए असंततता का एक बिंदु है f(t), तो संपत्ति बाएँ और दाएँ सीमा का औसत देती है f(t) की ओर T:[42]

इसे सिद्ध करने के लिए, डिराक डेल्टा फलन के आयताकार फलन प्रतिनिधित्व का उपयोग किया जाता है; कहाँ
साथ T के लिए असंततता के बिंदु के रूप में f(t), अनुवाद गुण को इस प्रकार लिखा जा सकता है
इसे ऐसे भी लिखा जा सकता है
अंतिम पक्ष में प्रथम पद का औसत है f(t) आयताकार फलन के आधे से अधिक बाईं ओर और अंतिम पद का औसत है f(t) आयताकार फलन के आधे दाईं ओर। जैसा , यह बनता है

फलन के साथ रचना

अधिक सामान्यतः, डेल्टा वितरण एक सुचारु कार्य के साथ एक सुचारु कार्य के साथ वितरण (गणित)#संरचना हो सकता है g(x) इस तरह से कि चर सूत्र का परिचित परिवर्तन कायम रहे

उसे उपलब्ध कराया g एक सतत् अवकलनीय फलन है g′कहीं भी शून्य नहीं।[43]अर्थात, वितरण को अर्थ बताने का एक अनोखा प्रकार है ताकि यह पहचान सभी कॉम्पैक्ट रूप से समर्थित परीक्षण कार्यों के लिए बनी रहे f. इसलिए, को बाहर करने के लिए डोमेन को तोड़ना होगा g′ = 0 बिंदु। यह वितरण संतुष्ट करता है δ(g(x)) = 0 अगर g कहीं भी शून्य नहीं है, और अन्यथा यदि g में किसी फलन का वास्तविक मूल होता है x0, तब

इसलिए यह स्वाभाविक है define रचना δ(g(x)) लगातार भिन्न कार्यों के लिए g द्वारा

जहां योग सभी जड़ों (यानी, सभी अलग-अलग) पर विस्तारित होता है g(x), जिन्हें सरल जड़ माना जाता है। इस प्रकार, उदाहरण के लिए

समाकल रूप में, सामान्यीकृत स्केलिंग संपत्ति को इस प्रकार लिखा जा सकता है

अनिश्चित समाकल

एक स्थिरांक के लिए a ∈ ℝ और एक अच्छा व्यवहार वाला मनमाना वास्तविक-मूल्यवान फलन y(x) यह सच है कि:

साथ H(x) हेविसाइड स्टेप फलन है और C पारंपरिक एकीकरण स्थिरांक।

एन आयामों में गुण

ए में डेल्टा वितरण n-आयामी स्थान इसके बदले निम्नलिखित स्केलिंग संपत्ति को संतुष्ट करता है,

ताकि δ डिग्री का एक सजातीय कार्य वितरण है n.

किसी भी प्रतिबिंब (गणित) या घूर्णन (गणित) के अंतर्गत ρ, डेल्टा फलन अपरिवर्तनीय है,

जैसा कि एक-चर मामले में, इसकी संरचना को परिभाषित करना संभव है δ लिप्सचिट्ज़ फलन के साथ|द्वि-लिप्सचिट्ज़ फलन[44] g: RnRn विशिष्ट रूप से ताकि पहचान हो
सभी कॉम्पैक्ट रूप से समर्थित कार्यों के लिए f.

ज्यामितीय माप सिद्धांत से कोएरिया सूत्र का उपयोग करके, एक यूक्लिडियन स्थान से दूसरे विभिन्न आयामों में विसर्जन (गणित) के साथ डेल्टा फलन की संरचना को भी परिभाषित किया जा सकता है; परिणाम एक प्रकार का करंट (गणित) है। सतत अवकलनीय फलन के विशेष मामले में g : RnR ऐसा कि ढाल g कहीं भी शून्य नहीं है, निम्नलिखित पहचान कायम है[45]

जहां दाहिनी ओर का समाकल अंग समाप्त हो गया है g−1(0), द (n − 1)-आयामी सतह द्वारा परिभाषित g(x) = 0मिन्कोव्स्की सामग्री माप के संबंध में। इसे सरल परत समाकल के रूप में जाना जाता है।

|अधिक सामान्यतः, यदि S की एक चिकनी हाइपरसतह है Rn, तो हम इससे जुड़ सकते हैं S वह वितरण जो किसी भी कॉम्पैक्ट रूप से समर्थित सुचारू फलन को एकीकृत करता है g ऊपर S:

कहाँ σ हाइपरसरफेस माप से संबंधित है S. यह सामान्यीकरण सरल परत क्षमता के संभावित सिद्धांत से जुड़ा है S. अगर D में एक डोमेन (गणितीय विश्लेषण) है Rn चिकनी सीमा के साथ S, तब δS के सूचक फलन के सामान्य व्युत्पन्न के समान है D वितरण अर्थ में,

कहाँ n जावक सामान्य है.[46][47] प्रमाण के लिए, उदाहरण देखें। सूचक#डिराक सतह डेल्टा फलन के लाप्लासियन पर लेख।

संपत्तियों का सारांश

इन गुणों को समीकरणों के दोनों पक्षों को एक सुव्यवस्थित फलन द्वारा गुणा करके सिद्ध किया जा सकता है f(x) और एक निश्चित एकीकरण लागू करना, यह ध्यान में रखते हुए कि डेल्टा फलन अंतिम परिणाम का हिस्सा नहीं हो सकता है, सिवाय इसके कि जब यह एक समाकल अंग के अंदर हो।

  • जो ये दर्शाता हे
  • * यह वर्ग है
  • साथ हेविसाइड स्टेप फलन और यह एकीकरण स्थिरांक है।

गोलाकार निर्देशांक में प्रतिनिधित्व है:

फूरियर रूपांतरण

डेल्टा फलन एक डिस्ट्रीब्यूशन (गणित)#टेम्पर्ड डिस्ट्रीब्यूशन और फूरियर ट्रांसफॉर्म है, और इसलिए इसमें एक अच्छी तरह से परिभाषित फूरियर ट्रांसफॉर्म है। औपचारिक रूप से, कोई पाता है[48]

ठीक से कहें तो, किसी वितरण के फूरियर रूपांतरण को द्वैत युग्मन के तहत फूरियर रूपांतरण की स्व-संयुक्तता को लागू करके परिभाषित किया गया है। श्वार्ट्ज कार्य करता है के साथ टेम्पर्ड वितरण। इस प्रकार अद्वितीय टेम्पर्ड वितरण संतोषजनक के रूप में परिभाषित किया गया है

सभी श्वार्ट्ज कार्यों के लिए φ. और वास्तव में इससे यह निष्कर्ष निकलता है कि इस पहचान के परिणामस्वरूप, डेल्टा का कनवल्शन किसी अन्य टेम्पर्ड वितरण के साथ कार्य करता है S सादा है S:

यही कहना है δ टेम्पर्ड डिस्ट्रीब्यूशन पर कनवल्शन के लिए एक पहचान तत्व है, और वास्तव में, कनवल्शन के तहत कॉम्पैक्ट रूप से समर्थित वितरण का स्थान डेल्टा फलन की पहचान के साथ एक सहयोगी बीजगणित है। यह संपत्ति सिग्नल प्रोसेसिंग में मौलिक है, क्योंकि टेम्पर्ड वितरण के साथ कनवल्शन एक रैखिक समय-अपरिवर्तनीय प्रणाली है, और रैखिक समय-अपरिवर्तनीय प्रणाली को लागू करने से इसकी आवेग प्रतिक्रिया मापी जाती है। आवेग प्रतिक्रिया की गणना उपयुक्त सन्निकटन का चयन करके सटीकता की किसी भी वांछित डिग्री तक की जा सकती है δ, और एक बार यह ज्ञात हो जाए, तो यह सिस्टम को पूरी तरह से चित्रित करता है। देखना LTI system theory § Impulse response and convolution.

टेम्पर्ड वितरण का व्युत्क्रम फूरियर रूपांतरण f(ξ) = 1 डेल्टा फलन है. औपचारिक रूप से, इसे इस प्रकार व्यक्त किया जाता है

और अधिक कठोरता से, यह तब से अनुसरण करता है
सभी श्वार्ट्ज कार्यों के लिए f.

इन शब्दों में, डेल्टा फलन फूरियर कर्नेल की ऑर्थोगोनैलिटी संपत्ति का एक विचारोत्तेजक विवरण प्रदान करता है R. औपचारिक रूप से, किसी के पास है

निःसंदेह, यह इस दावे का आशुलिपि है कि फूरियर टेम्पर्ड वितरण का रूपांतरण करता है
है
जो फिर से फूरियर परिवर्तन के आत्म-संबद्धता को लागू करके अनुसरण करता है।

फूरियर ट्रांसफॉर्म की विश्लेषणात्मक सततता से, डेल्टा फलन का लाप्लास परिवर्तन पाया जाता है[49]

डिराक डेल्टा फलन के व्युत्पन्न

डिराक डेल्टा वितरण का व्युत्पन्न, दर्शाया गया δ′ और इसे डिराक डेल्टा प्राइम या डिराक डेल्टा व्युत्पन्न भी कहा जाता है जैसा कि सूचक के लाप्लासियन में वर्णित है, इसे कॉम्पैक्ट रूप से समर्थित सुचारू परीक्षण कार्यों पर परिभाषित किया गया है φ द्वारा[50]

यहां पहली समानता, यदि के लिए, भागों द्वारा एक प्रकार का एकीकरण है δ तब एक सच्चा कार्य था

k}-वें का व्युत्पन्न δ को परीक्षण कार्यों पर दिए गए वितरण के समान ही परिभाषित किया गया है

इसे दूसरे व्युत्पन्न की गणना करके सिद्ध किया जा सकता है δ(2)[φ] पहले व्युत्पन्न, तीसरे व्युत्पन्न का उपयोग करके δ(2)[φ] दूसरे व्युत्पन्न इत्यादि का उपयोग करके। (भागों द्वारा एकीकरण और सभी के लिए k = 0, 1, 2, ..., प्रत्येक गणना में उपयोग किया जाता है)। विशेष रूप से, δ एक असीम रूप से भिन्न वितरण है।

डेल्टा फलन का पहला व्युत्पन्न अंतर भागफल की वितरण सीमा है:[51]

अधिक ठीक से, किसी के पास है
कहाँ τh अनुवाद ऑपरेटर है, जिसे फलन द्वारा परिभाषित किया गया है τhφ(x) = φ(x + h), और वितरण पर S द्वारा
विद्युत चुंबकत्व के सिद्धांत में, डेल्टा फलन का पहला व्युत्पन्न मूल बिंदु पर स्थित एक बिंदु चुंबकीय द्विध्रुव का प्रतिनिधित्व करता है। तदनुसार, इसे द्विध्रुव या इकाई द्विध्रुव कहा जाता है।[52] डेल्टा फलन का व्युत्पन्न कई बुनियादी गुणों को संतुष्ट करता है, जिनमें सम्मिलित हैं:[53]
जिसे परीक्षण फलन लागू करके और भागों द्वारा एकीकृत करके दिखाया जा सकता है।

इन गुणों में से बाद वाले को वितरणात्मक व्युत्पन्न परिभाषा, लिब्निट्ज़ के प्रमेय और आंतरिक उत्पाद की रैखिकता को लागू करके भी प्रदर्शित किया जा सकता है:[54]