एक तीर के ऊपर एक रेखा द्वारा डिराक डेल्टा फलन का आरेखीय प्रतिनिधित्व है। तीर की ऊंचाई सामान्यतः किसी भी गुणक स्थिरांक का मान निर्दिष्ट करने के लिए होती है, जो फलन के अंतर्गत क्षेत्र होता है। दूसरी वाणाग्र के शीर्ष के आगे का क्षेत्र लिखने की है।
शून्य-केंद्रित सामान्य फलन के अनुक्रम की सीमा के रूप में डिराक डेल्टा है।
गणितीय भौतिकी में, डिराक डेल्टा फलन (δ फलन), जिसे इकाई आवेग के रूप में भी जाना जाता है,[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 के पूर्णांक समरूप हैं। डिराक डेल्टा फलन को अपने आप में एक गणितीय वस्तु के रूप में मानने के लिए एक परिशुद्ध दृष्टिकोण के लिए माप सिद्धांत या फलन (गणित) के सिद्धांत की आवश्यकता होती है।
कॉची ने बताया कि कुछ परिस्थितियों में एकीकरण का क्रम इस परिणाम में महत्वपूर्ण है (फुबिनी के प्रमेय के विपरीत)।[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सर्वोच्च का प्रतिनिधित्व करता है। δ फलन के साथ, सभी N के लिए MN = 0 के साथ ऐसी असमानता (CN = 1 के साथ) होती है। इस प्रकार δ क्रम शून्य का फलन है। इसके अलावा, यह सघन समर्थन वाला एक फलन है (समर्थन{0}है)।
डेल्टा फलन को कई समान प्रकार से भी परिभाषित किया जा सकता है। उदाहरण के लिए, यह हेविसाइड सोपान फलन का फलनात्मक व्युत्पन्न है। इसका अर्थ है कि प्रत्येक परीक्षण फलन के लिए φ, एक है।
सहज रूप से, यदि भागों द्वारा एकीकरण की अनुमति दी गई थी, तो बाद वाले समाकल को सरल बनाना चाहिए
और वास्तव में, स्टिल्टजेस समाकल के लिए भागों द्वारा एकीकरण के एक रूप की अनुमति है, और उस प्रकरण में, किसी के पास
माप सिद्धांत के संदर्भ में, डिराक माप एकीकरण द्वारा फलन को वृद्धि किया जाता है। इसके विपरीत, समीकरण (1) सभी सघन रूप से समर्थित सतत फलनों के समष्टि पर एक डेनियल समाकल को परिभाषित करता है φ जो, रिज़्ज़ प्रतिनिधित्व प्रमेय द्वारा, कुछ रेडॉन माप के संबंध में φ के लेबेस्ग समाकल के रूप में दर्शाया जा सकता है।
सामान्यतः, जब डिराक डेल्टा फलन शब्द का उपयोग किया जाता है, तो यह मापक के बदले फलन के अर्थ में होता है, डिराक माप, माप सिद्धांत में संबंधित धारणा के लिए कई शब्दों में से एक होता है। कुछ स्रोत डिराक डेल्टा फलन शब्द का भी उपयोग कर सकते हैं।
सामान्यीकरण
डेल्टा फलन को n-विमीय यूक्लिडियन समष्टिRn में इस तरह के माप के रूप में परिभाषित किया जा सकता है
प्रत्येक सघन रूप से समर्थित सतत फलन f के लिए है। एक माप के रूप में, n-विमीय डेल्टा फलन प्रत्येक चर में अलग-अलग 1-विमीय डेल्टा फलन का उत्पाद माप है। इस प्रकार, औपचारिक रूप से, x = (x1, x2, ..., xn) के साथ, किसी के पास है[28]
(2)
डेल्टा फलन को एक-विमीय प्रकरण में ऊपर बताए अनुसार फलन के अर्थ में भी परिभाषित किया जा सकता है।[29] हालाँकि, इंजीनियरिंग संदर्भों में व्यापक उपयोग के बदले, (2) में सावधानी से प्रकलित किया जाना चाहिए, क्योंकि फलन के उत्पाद को केवल अत्यन्त संकीर्ण परिस्थितियों में ही परिभाषित किया जा सकता है।[30][31]
डिराक माप की धारणा किसी भी समुच्चय पर समझ में आती है।[32] इस प्रकार यदि X एक समुच्चय है, x0 ∈ X एक चिह्नित बिंदु है, और Σ, X के उपसमुच्चय का कोई सिग्मा बीजगणित है, तो समुच्चय A ∈ Σ पर परिभाषित माप
डेल्टा माप या इकाई द्रव्यमान x0 पर केंद्रित है।
डेल्टा फलन का एक और सामान्य सामान्यीकरण एक विभेदक बहुरूप है जहां फलन के रूप में इसके अधिकांश गुणों का भी विभेदक संरचना के कारण पराक्रम किया जा सकता है। बिंदु x0 ∈ M पर केन्द्रित बहुरूपता M पर डेल्टा फलन को निम्नलिखित फलन के रूप में परिभाषित किया गया है:
(3)
M पर सभी सघन रूप से समर्थित सुचारू वास्तविक-मूल्यवान फलन φ के लिए हैं।[33] इस निर्माण का एक सामान्य विशेष प्रकरण वह प्रकरण है जिसमें M यूक्लिडियन समष्टि Rn में एक विवृत समुच्चय हैं।
स्थानीय रूप से सघन हॉसडॉर्फ़ समष्टिX पर, एक बिंदु x पर केंद्रित डिराक डेल्टा माप, सघन रूप से समर्थित सतत फलन φ पर डेनियल समाकल (3) से जुड़ा रेडॉन माप हैं।[34] व्यापकता के इस स्तर पर, कैलकुलस अब संभव नहीं है, हालांकि अमूर्त विश्लेषण से लेकर विभिन्न प्रकार की तकनीकें उपलब्ध हैं। उदाहरण के लिए, मानचित्रण अपनी अस्पष्ट टोपोलॉजी से सुसज्जित, X पर परिमित रेडॉन माप के समष्टि में X का सतत अंतःस्थापन है। इसके अलावा, इस अंतःस्थापन के अंतर्गत X के प्रतिबिंब का अवमुख समावरक X पर प्रायिकता माप के प्रायिकता माप के समष्टि में सघन हैं।[35]
गुण
सोपान और समरूपता
डेल्टा फलन गैर-शून्य स्केलर α के लिए निम्नलिखित सोपान गुण को संतुष्ट करता है :[36]
इसलिए
(4)
सोपान गुण प्रमाण:
जहां चर x′ = ax में परिवर्तन का उपयोग किया जाता है। यदि a ऋणात्मक है, अर्थात्, a = −|a|, तो
इस प्रकार, .
विशेष रूप से, डेल्टा फलन एक समान फलन (समरूपता) है, इस अर्थ में
इसे कभी-कभी विचालन गुण या प्रतिदर्श गुण[39]के रूप में जाना जाता है।[40] डेल्टा फलन के बारे में कहा जाता है कि यह t = T पर f(t) के मान को "विचालन" देता है।।[41]
इसका तात्पर्य यह है कि किसी फलन f(t) को समय-विलंबित डिराक डेल्टा के साथ संयोजित करने का प्रभाव f(t) को समान मात्रा में समय-विलंबित करना है:
स्थानांतरण गुण स्पष्ट प्रतिबंध के अंतर्गत है कि f एक संस्कारित फलन है (नीचे फूरियर रूपांतरण की परिचर्चा देखें)। उदाहरण के लिए, एक विशेष प्रकरण के रूप में, हमारे पास तत्समक है (फलन अर्थ में समझी गई)
फलन के साथ रचना
अधिक सामान्यतः, डेल्टा फलन एक सुचारु फलन g(x) के साथ इस तरह से बनाया जा सकता है कि चर सूत्र का परिचित परिवर्तन का मानना है कि
बशर्ते कि g एक सतत अवकलनीय फलन है जिसमें g′ कहीं भी शून्य नहीं है।[42] अर्थात, फलन को अर्थ निर्दिष्ट करने का एक अद्वितीय प्रकार है ताकि यह तत्समक सभी सघन रूप से समर्थित परीक्षण फलन f के लिए बना रहता है। इसलिए, g′ = 0 बिंदु को बाहर करने के लिए डोमेन तोड़ा जाता है। यह फलन δ(g(x)) = 0 को संतुष्ट करता है यदि g कहीं भी शून्य नहीं है, और अन्यथा यदि g का वास्तविक मूल x0 पर है, तो
इसलिए सतत भिन्न-भिन्न फलनों g के लिए संघटन δ(g(x)) को परिभाषित करना स्वाभाविक है
जहां योग g(x) के सभी मूलों (अर्थात्, सभी अलग-अलग) पर विस्तारित होता है, जिन्हें सरल माना जाता है। इस प्रकार, उदाहरण के लिए
समाकल रूप में, सामान्यीकृत सोपान गुण को इस प्रकार लिखा जा सकता है
अनिश्चित समाकल
एक स्थिरांक a ∈ ℝ और एक "अच्छे व्यवहार वाले" स्वेच्छाचारी वास्तविक-मूल्यवान फलन y(x) के लिए यह सत्य है कि:
H(x) के साथ हेविसाइड सोपान फलन है और C पारंपरिक एकीकरण स्थिरांक है।
n आयामों में गुण
n-विमीय समष्टि में डेल्टा फलन इसके बदले निम्नलिखित सोपान गुण को संतुष्ट करता है,
ताकि δ डिग्री −n का एक सजातीय फलन है।
किसी भी प्रतिबिंब या घूर्णनρ के अंतर्गत, डेल्टा फलन अपरिवर्तनीय है,
जैसा कि एक-चर प्रकरण में, द्वि-लिप्सचिट्ज़ फलन[43]g: Rn → Rn के साथ δ की संरचना को विशिष्ट रूप से परिभाषित करना संभव है ताकि तत्समक
सभी सघन रूप से समर्थित फलन f के लिए है।
ज्यामितीय माप सिद्धांत से कोएरिया सूत्र का उपयोग करके, एक यूक्लिडियन समष्टि से दूसरे विभिन्न आयामों में निमज्जन (गणित) के साथ डेल्टा फलन की संरचना को भी परिभाषित किया जा सकता है; परिणाम एक प्रकार का करंट (गणित) है। सतत विभेदक फलन g : Rn → R के विशेष प्रकरण में जैसे कि g का प्रवणता कहीं भी शून्य नहीं है, निम्नलिखित तत्समक संचालित है।[44]
जहां दाहिनी ओर का समाकल g−1(0) से अधिक है, मिन्कोव्स्की विषय सूची माप के संबंध में (n − 1)-विमीय सतह g(x) = 0 द्वारा परिभाषित है। इसे सरल स्तर समाकल के रूप में जाना जाता है।
अधिक सामान्यतः, यदि S, Rn की एक सुचारू अधिपृष्ठ है, तो हम S से उस फलन को संबद्ध कर सकते हैं जो S पर किसी भी सघन रूप से समर्थित सुचारू फलन g को एकीकृत करता है:
जहां σS से संबंधित अधिपृष्ठ माप है। यह सामान्यीकरण S पर सरल परत क्षमता के संभावित सिद्धांत से जुड़ा है। यदि D सुचारू सीमा S के साथ Rn में एक डोमेन है, तो δS फलन अर्थ में D के संकेतक फलन के सामान्य व्युत्पन्न के समान है,
जहाँ n बाह्य सामान्य है।[45][46] प्रमाण के लिए, उदाहरण देखें सतह डेल्टा फलन पर आलेख है।
तीन विमीय में, डेल्टा फलन को गोलाकार निर्देशांक में दर्शाया गया है:
फूरिये रूपांतर
डेल्टा फलन एक टेम्पर्ड फलन है, और इसलिए इसमें एक अच्छी तरह से परिभाषित फूरियर रूपांतर है। औपचारिक रूप से, कोई ढूँढ़ें[47]
उचित रूप से कहें तो, एक फलन के फूरियर रूपांतरण को श्वार्ट्ज फलनों के साथ टेम्पर्ड फलनों के द्वंद्व युग्मन के अंतर्गत फूरियर रूपांतरण की स्व-संयुक्तता को उपयोजित करके परिभाषित किया गया है। इस प्रकार को अद्वितीय टेम्पर्ड फलन संतोषजनक के रूप में परिभाषित किया गया है
सभी श्वार्ट्ज फलनों φ के लिए है। वास्तव में इससे निष्कर्ष निकलता है।
इस तत्समक के परिणामस्वरूप, किसी अन्य टेम्पर्ड फलन S के साथ डेल्टा फलन का संवलन केवल S है:
यह तात्पर्य है कि टेम्पर्ड फलन पर संवलन के लिए δ एक तत्समक तत्व है, और वास्तव में, संवलन के अंतर्गत सघन रूप से समर्थित फलन का समष्टि डेल्टा फलन की तत्समक के साथ एक सहयोगी बीजगणित है। यह गुण सिग्नल संसाधन में मौलिक है, क्योंकि टेम्पर्ड फलन के साथ संवलन एक रैखिक समय-अपरिवर्तनीय प्रणाली है, और रैखिक समय-अपरिवर्तनीय प्रणाली को उपयोजित करने से इसकी आवेग अनुक्रिया मापी जाती है। आवेग अनुक्रिया की गणना δ के लिए उपयुक्त सन्निकटन का चयन करके सटीकता की किसी भी वांछित डिग्री तक की जा सकती है, और एक बार यह ज्ञात हो जाए तो यह प्रणाली को पूरी तरह से चित्रित करता है। LTI प्रणाली सिद्धांत देखें § आवेग अनुक्रिया और संवलन।
टेम्पर्ड फलन f(ξ) = 1 का व्युत्क्रम फूरियर रूपांतरण डेल्टा फलन है। औपचारिक रूप से, इसे इस प्रकार व्यक्त किया जाता है
और अधिक परिशुद्ध से, यह तब से अनुसरण करता है
सभी श्वार्ट्ज फलनों f के लिए है।
इन शब्दों में, डेल्टा फलन R फूरियर कर्नेल की लंबकोणीयता गुण का एक सांकेतिक विवरण प्रदान करता है। औपचारिक रूप से, किसी के पास है
निःसंदेह, यह इस अभिकथन का आशुलिपि है कि फूरियर टेम्पर्ड फलन का रूपांतरण करता
है
जो फिर से फूरियर परिवर्तन के आत्म-संबद्धता को उपयोजित करके अनुसरण करता है।
डिराक डेल्टा फलन का व्युत्पन्न, जिसे δ′ दर्शाया गया है और इसे डिराक डेल्टा मूल या डिराक डेल्टा व्युत्पन्न भी कहा जाता है जैसा कि संकेतक के लाप्लासियन में वर्णित है, इसे सघन रूप से समर्थित सुचारू परीक्षण फलन φ द्वारा परिभाषित किया गया है[49]
यहां पहली समानता भागों द्वारा एक प्रकार का एकीकरण है, यदि δ तब एक सत्य फलन होता
गणितीय प्रेरण द्वारा, δ के k-वें व्युत्पन्न को परीक्षण फलनों पर दिए गए फलन के समान ही परिभाषित किया गया है
विशेष रूप से, δ अनंततः भिन्न फलन है।
डेल्टा फलन का पहला व्युत्पन्न अंतर भागफल की फलन सीमा है:[50]
अधिक ठीक से, किसी के पास है
जहां τh अनुवाद प्रचालक है, जिसे τhφ(x) = φ(x + h) द्वारा फलन और फलन S पर परिभाषित किया गया है।
विद्युत चुंबकत्व के सिद्धांत में, डेल्टा फलन का पहला व्युत्पन्न मूल बिंदु पर स्थित एक बिंदु चुंबकीय द्विध्रुव का प्रतिनिधित्व करता है। परिस्थिति के अनुसार, इसे द्विध्रुव या द्विक फलन कहा जाता है।[51]
डेल्टा फलन का व्युत्पन्न कई आधारिक गुणों को संतुष्ट करता है, जिनमें सम्मिलित हैं:[52]
जिसे परीक्षण फलन उपयोजित करके और भागों द्वारा एकीकृत करके दिखाया जा सकता है।
इन गुणों में से बाद वाले को फलनात्मक व्युत्पन्न परिभाषा, लिब्निट्ज़ के प्रमेय और आंतरिक उत्पाद की रैखिकता को उपयोजित करके भी प्रदर्शित किया जा सकता है:[53]
इसके अलावा, एक सघन रूप से समर्थित, सुचारू फलन f के साथ δ′ का संवलन है
जो संवलन के फलनात्मक व्युत्पन्न के गुणों से अनुसरण करता है।
उच्चतर आयाम
अधिक सामान्यतः, n-विमीय यूक्लिडियन समष्टि ℝn में विवृत समुच्चय U पर एक बिंदु पर केंद्रित डिराक डेल्टा फलन a ∈ U को सभी द्वारा परिभाषित किया गया है।[54]
के लिए परिभाषित किया गया है, U पर सघन समर्थन के साथ सभी सुचारू फलनों की समष्टि है। अगर के साथ कोई बहु-सूचकांक है और संबद्ध मिश्रित आंशिक व्युत्पन्न प्रचालक को दर्शाता है, तो δa का α-वां व्युत्पन्न ∂αδa द्वारा दिया जाता है।[54]
अर्थात्, δa का α-वां व्युत्पन्न वह फलन है जिसका किसी भी परीक्षण फलन φ पर मान a (उचित धनात्मक या ऋणात्मक चिह्न के साथ) पर φ का α-वां व्युत्पन्न है।
डेल्टा फलन के पहले आंशिक व्युत्पन्न को समन्वय समतल के साथ दोहरी परतों के रूप में माना जाता है। अधिक सामान्यतः, किसी सतह पर समर्थित एक साधारण परत का सामान्य व्युत्पन्न उस सतह पर समर्थित एक दोहरी परत होती है और एक लामिना चुंबकीय मोनोपोल का प्रतिनिधित्व करता है। डेल्टा फलन के उच्च व्युत्पन्न को भौतिकी में मल्टीपोल के रूप में जाना जाता है।
उच्च व्युत्पन्न बिंदु समर्थन के साथ फलन की पूरी संरचना के लिए बिल्डिंग ब्लॉक के रूप में स्वाभाविक रूप से गणित में प्रवेश करते हैं। यदि S एकल बिंदु वाले समुच्चय{a} पर समर्थित U पर कोई फलन है, तब तो एक पूर्णांक m और गुणांक cα है जैसे कि[54][55]
डेल्टा फलन का प्रतिनिधित्व
डेल्टा फलन को फलनों के अनुक्रम की सीमा के रूप में देखा जा सकता है
जहां ηε(x) को कभी-कभी नवागत डेल्टा फलन कहा जाता हैं। इस सीमा का अर्थ कमजोर अर्थ में है: या तो वह
(5)
सघन समर्थन वाले सभी सतत फलन f के लिए, या यह सीमा सघन समर्थन वाले सभी सुचारु फलन f के लिए है। दुर्बल अभिसरण के इन दो अलग-अलग प्रकार के मध्य का अंतर प्रायः सूक्ष्म होता है: पहला मापों की अस्पष्ट टोपोलॉजी में अभिसरण है, और दूसरा फलन के अर्थ में अभिसरण है।
तत्समक का अनुमान
सामान्यतः एक नवागत डेल्टा फलन ηε का निर्माण निम्नलिखित प्रकार से किया जा सकता है। मान लीजिए η कुल समाकल 1 के R पर एक पूर्णतया समाकलनीय फलन है, और
n आयाम में, कोई इसके बदले सोपान का उपयोग किया जाता है
फिर चरों का एक साधारण परिवर्तन से पता चलता है कि ηε का अभिन्न भी समाकल 1 है। कोई यह दिखा सकता है कि (5) सभी सतत सघन रूप से समर्थित फलन f के लिए है,[56] और इसलिए ηε मापक के अर्थ में कमजोर रूप से δ में परिवर्तित हो जाता है।
इस तरह से निर्मित ηε को तत्समक के सन्निकटन के रूप में जाना जाता है।[57] यह शब्दावली इसलिए है क्योंकि पूर्णतः समाकलनीय फलनों का समष्टि L1(R) फलनों के संवलन के अंतर्गत बंद है: f ∗ g ∈ L1(R) जब भी f और gL1(R) में होता हैं। हालाँकि, संवलन उत्पाद के लिए L1(R) में कोई तत्समक नहीं है: कोई तत्व h ऐसा नहीं है कि सभी f के लिए f ∗ h = f हैं। फिर भी, अनुक्रम ηε इस अर्थ में ऐसी तत्समक का अनुमान लगाता है
यह सीमा माध्य अभिसरण (L1 में अभिसरण ) के अर्थ में उपयोजित होती है। ηε पर आगे के प्रतिबंध, उदाहरण के लिए कि यह एक सघन रूप से समर्थित फलन से जुड़ा एक मोलिफ़ायर है,[58] लगभग हर जगह बिंदुवार अभिसरण सुनिश्चित करने की आवश्यकता है।
यदि प्रारंभिक η = η1स्वयं सुचारू और सघन रूप से समर्थित है तो अनुक्रम को मोलिफ़ायर कहा जाता है। उदाहरण के लिए, एक उपयुक्त सामान्यीकृत बम्प फलन के रूप में η का चयन करके मानक मोलिफ़ायर प्राप्त किया जाता है।
संख्यात्मक विश्लेषण जैसी कुछ स्थितियों में, तत्समक के लिए खंडशः में रैखिक सन्निकटन वांछनीय है। इसे η1 को हैट फलन मानकर प्राप्त किया जा सकता है। η1 के इस विकल्प के साथ, किसी के पास है
जो सभी सतत और सघन रूप से समर्थित हैं, हालांकि सुचारू नहीं हैं और इसलिए मोलीफ़ायर भी नहीं हैं।
संभाव्य विचार
प्रायिकता सिद्धांत के संदर्भ में, अतिरिक्त प्रतिबंध लगाना स्वाभाविक है कि तत्समक के सन्निकटन में प्रारंभिक η1 धनात्मक होना चाहिए, क्योंकि ऐसा फलन तब प्रायिकता फलन का प्रतिनिधित्व करता है। प्रायिकता फलन के साथ संवलन कभी-कभी अनुकूल होता है क्योंकि इसके परिणामस्वरूपओवरशूट (संकेत) या अंडरशूट नहीं होता है, क्योंकि निर्गत निवेश मानों का उत्तल संयोजन होता है, और इस प्रकार निवेश फलन के अधिकतम और न्यूनतम के मध्य आता है। η1 को किसी भी प्रायिकता फलन के रूप में लेना, और उपरोक्त के अनुसार ηε(x) = η1(x/ε)/ε देने से तत्समक का अनुमान लगाया जा सकता है। सामान्य रूप में यह अधिक तेजी से डेल्टा फलन में परिवर्तित हो जाता है, यदि, इसके अतिरिक्त, η का अर्थ 0 है और इसमें छोटे उच्च क्षण हैं। उदाहरण के लिए, यदि η1 पर एक समान फलन है, जिसे आयताकार फलन भी कहा जाता है, फिर:[59]
एक अन्य उदाहरण विग्नर अर्धवृत्त फलन के साथ है
यह सतत और सघन रूप से समर्थित है, लेकिन मोलिफ़ायर नहीं है क्योंकि यह सुचारू नहीं है।
नवागत डेल्टा फलन प्रायः संवलन अर्धसमूह के रूप में उत्पन्न होता हैं।[60] यह आगे के प्रतिबंध के समान है जो कि ηδ के साथ ηε का संवलन सभी
ε, δ > 0 के लिए संतुष्ट होता हैं। L1 में संवलन अर्धसमूह जो एक नवागत डेल्टा फलन बनाते हैं, वे हमेशा उपरोक्त अर्थ में तत्समक का एक अनुमान होते हैं, हालांकि अर्धसमूह स्थिति अत्यन्त मजबूत प्रतिबंध है।
व्यवहार में, डेल्टा फलन का अनुमान लगाने वाले अर्धसमूह भौतिक रूप से प्रेरित दीर्घवृत्तीय या परवलयिक आंशिक अवकल समीकरणों के लिए मौलिक समाधान या ग्रीन के फलनों के रूप में उत्पन्न होते हैं। अनुप्रयुक्त गणित के संदर्भ में, अर्धसमूह एक रैखिक समय-अपरिवर्तनीय प्रणाली के निर्गत के रूप में उत्पन्न होते हैं। संक्षेप में, यदि A एक रैखिक प्रचालक है जो x के फलनों पर कार्य करता है, तो प्रारंभिक मूल्य समस्या का समाधान करने से एक संवलन अर्धसमूह उत्पन्न होता है
जिसमें सीमा को हमेशा की तरह कमजोर अर्थ में समझा जाता है। ηε(x) = η(ε, x) समायोजन संबंधित नवागत डेल्टा फलन मिलता है।
ऐसे मौलिक समाधान से उत्पन्न होने वाले भौतिक रूप से महत्वपूर्ण संवलन अर्धसमूह के कुछ उदाहरणों में निम्नलिखित सम्मिलित हैं।
समय t > 0 पर एक अनंत तार में तापमान का प्रतिनिधित्व करता है, यदि समय t = 0 पर तार के मूल में ऊष्मा ऊर्जा की एक इकाई संग्रहीत होती है। यह अर्धसमूह एक-विमीय ताप समीकरण के अनुसार विकसित होता है:
प्रायिकता सिद्धांत में, ηε(x) विचरण ε और माध्य 0 का एक सामान्य फलन है। यह एक मानक ब्राउनियन गति के बाद मूल से आरंभिक होने वाले कण की स्थिति के समय t = ε पर प्रायिकता घनत्व का प्रतिनिधित्व करता है। इस संदर्भ में, अर्धसमूह स्थिति ब्राउनियन गति की मार्कोव गुण की अभिव्यक्ति है।
उच्च-विमीय यूक्लिडियन समष्टि Rn में, हीट कर्नेल है
और इसकी वही भौतिक व्याख्या है, यथावश्यक परिवर्तन सहित है। यह इस अर्थ में एक नवागत डेल्टा फलन का भी प्रतिनिधित्व करता है कि ηε → δ फलन अर्थ में ε → 0 के रूप में है।
ऊपरी आधे तल में लाप्लास समीकरण का मूल समाधान है।[61] यह एक अर्ध-अनंत प्लेट में इलेक्ट्रोस्टैटिक क्षमता का प्रतिनिधित्व करता है जिसकी किनारे के साथ क्षमता डेल्टा फलन पर स्थिर होता है। पॉइसन कर्नेल का कॉची फलन और एपानेचनिकोव और गॉसियन कर्नेल फलन से भी निकटता से संबंधित होता है।[62] यह अर्धसमूह समीकरण के अनुसार विकसित होता है
जहां प्रचालक को यथार्थ रूप से फूरियर गुणक के रूप में परिभाषित किया गया है
तरंग संचरण और तरंग यांत्रिकी जैसे भौतिकी के क्षेत्रों में, इसमें सम्मिलित समीकरण अतिशयोक्तिपूर्ण हैं और इसलिए उनके अधिक अद्वितीय समाधान होता हैं। परिणामस्वरूप, संबंधित कॉची समस्याओं के मौलिक समाधान के रूप में उत्पन्न होने वाले नवागत डेल्टा फलन सामान्यतः दोलन संबंधी समाकल होते हैं। एक उदाहरण, जो ट्रांसोनिक गैस गतिशीलता के यूलर-ट्राइकोमी समीकरण के समाधान से आता है,[63] पुन: स्केल किया गया एयरी फलन है
यद्यपि फूरियर रूपांतरण का उपयोग करते हुए, यह देखना आसान है कि यह कुछ अर्थों में एक अर्धसमूह उत्पन्न करता है - यह यथार्थतः एकीकृत नहीं है और इसलिए उपरोक्त मजबूत अर्थों में एक अर्धसमूह को परिभाषित नहीं किया जा सकता है। ऑसिलेटरी समाकल्स के रूप में निर्मित कई नवागत डेल्टा फलन मापक के अर्थ के बदले केवल फलन के अर्थ में अभिसरण करते हैं (एक उदाहरण नीचे डिरिचलेट कर्नेल है)।
एक अन्य उदाहरण R1+1 तरंग समीकरण के लिए कॉची समस्या है:[64]
समाधान u मूल बिंदु पर प्रारंभिक विक्षोभ के साथ, एक अनंत प्रत्यास्थ स्ट्रिंग के संतुलन से विस्थापन का प्रतिनिधित्व करते है।
इस प्रकार की तत्समक के अन्य अनुमानों में सिनक फलन (इलेक्ट्रॉनिक्स और दूरसंचार में व्यापक रूप से उपयोग किया जाने वाला) सम्मिलित है।
रैखिक आंशिक अवकल समीकरण के अध्ययन के लिए एक दृष्टिकोण
जहां L, Rn पर एक विभेदक प्रचालक है, सबसे पहले एक मौलिक समाधान खोजना है, जो समीकरण का एक समाधान है
जब L विशेष रूप से सरल है, तो इस समस्या को प्रायः सीधे फूरियर रूपांतर का उपयोग करके हल किया जा सकता है (जैसा कि पॉइसन कर्नेल और हीट कर्नेल के प्रकरण में पहले ही उल्लेख किया गया है)। अधिक सम्मिश्र प्रचालकों के लिए, पहले फॉर्म के समीकरण पर विचार करना कभी-कभी आसान होता है
जहाँ h एक समतल तरंग फलन है, जिसका अर्थ है कि इसका रूप है
कुछ सदिश ξ के लिए है। ऐसे समीकरण को कॉची-कोवालेव्स्काया प्रमेय द्वारा (यदि L के गुणांक विश्लेषणात्मक फलन हैं) या (यदि L के गुणांक स्थिर हैं) चतुर्भुज द्वारा हल किया जा सकता है। इसलिए, यदि डेल्टा फलन को समतल तरंगों में विघटित किया जा सकता है, तो कोई सिद्धांत रूप से रैखिक आंशिक अंतर समीकरणों को हल कर सकता है।
डेल्टा फलन का समतल तरंगों में इस तरह का अपघटन एक सामान्य तकनीक का भाग था जिसे पहले अनिवार्य रूप से जोहान रेडॉन द्वारा प्रस्तावित किया गया था, और फिर फ़्रिट्ज़ जॉन (1955) द्वारा इस रूप में विकसित किया गया था।[65]k का चयन करे ताकि n + k एक सम पूर्णांक है, और एक वास्तविक संख्या s के लिए, लगाएं
तब इकाई क्षेत्र Sn−1 में ξ के लिए g(x · ξ) के इकाई क्षेत्र माप dω के संबंध में लाप्लासियन की शक्ति को उपयोजित करके δ प्राप्त किया जाता है:
यहां लाप्लासियन की व्याख्या एक कमजोर व्युत्पन्न के रूप में की गई है, ताकि इस समीकरण का अर्थ यह निकाला जा सके कि, किसी भी परीक्षण फलन φ के लिए,
परिणाम न्यूटोनियन क्षमता (पॉइसन समीकरण का मौलिक समाधान) के सूत्र से होता है। यह मूल रूप से रेडॉन परिवर्तन के लिए व्युत्क्रम सूत्र का एक रूप है क्योंकि यह अधिसमतल पर अपने समाकल से φ(x) का मान पुनर्प्राप्त करता है। उदाहरण के लिए, यदि n विषम है और k = 1 है, तो दाहिनी ओर पूर्णांक है
जहां Rφ(ξ, p)φ का रैडॉन रूपांतरण है:
समतल तरंग अपघटन की एक वैकल्पिक समतुल्य अभिव्यक्ति है:[66]
फूरियर श्रृंखला के अध्ययन में, एक प्रमुख प्रश्न यह निर्धारित करना है कि क्या और किस अर्थ में आवधिक फलन से जुड़ी फूरियर श्रृंखला फलन में परिवर्तित होती है। अवधि 2π के फलन f की फूरियर श्रृंखला का n-वां आंशिक योग डिरिचलेट कर्नेल के साथ संवलन (अंतराल [−π,π] पर) द्वारा परिभाषित किया गया है:
इस प्रकार,
जहाँ
प्राथमिक फूरियर श्रृंखला का एक मौलिक परिणाम में कहा गया है कि डिरिचलेट कर्नेल अंतराल [−π,π] तक सीमित है, जो N → ∞ के रूप में डेल्टा फलन के गुणज की ओर जाता है। इसकी व्याख्या फलन अर्थ में की जाती है
प्रत्येक सघन रूप से समर्थित सुचारू फलन f के लिए है। इस प्रकार, औपचारिक रूप से किसी के पास है
अंतराल पर [−π,π] है।
इसके बदले, परिणाम सभी सघन रूप से समर्थित सतत फलन के लिए मान्य नहीं है: अर्थात् DN मापक के अर्थ में कमजोर रूप से अभिसरण नहीं करती है। फूरियर श्रृंखला के अभिसरण की कमी के कारण अभिसरण उत्पन्न करने के लिए विभिन्न प्रकार की योग्यता विधियों का प्रारंभ हुआ है। सेसरो योग की विधि फेजर कर्नेल की ओर ले जाती है।[67]
फेजर कर्नेल एक मजबूत अर्थ में डेल्टा फलन की ओर प्रवृत्त होती है।[68]
प्रत्येक सघन रूप से समर्थित सतत फलन f के लिए है। निहितार्थ यह है कि किसी भी सतत फलन की फूरियर श्रृंखला प्रत्येक बिंदु पर फलन के मान के योग के अनुसार होती है।
हिल्बर्ट समष्टि सिद्धांत
डिराक डेल्टा फलन वर्ग-समाकल फलनों के हिल्बर्ट समष्टि L2 पर एक सघन रूप से परिभाषित असीमित रैखिक कार्यात्मक है। वास्तव में, सुचारु रूप से समर्थित फलन L2 में सघन हैं, और ऐसे फलनों पर डेल्टा फलन की कार्रवाई अच्छी तरह से परिभाषित है। कई अनुप्रयोगों में, L2 के उपसमष्टि की तत्समक करना संभव है और एक मजबूत टोपोलॉजी देना संभव है, जिस पर डेल्टा फलन एक बंधे हुए रैखिक कार्यात्मक को परिभाषित करता है।
सोबोलेव समष्टि
वास्तविक रेखा R पर सोबोलेव समष्टि के लिए सोबोलेव एम्बेडिंग प्रमेय का तात्पर्य यह है कि कोई भी वर्ग-समाकल फलन f जैसे कि
स्वचालित रूप से सतत है, और विशेष रूप से संतुष्ट करता है
इस प्रकार δ सोबोलेव समष्टि H1 पर एक परिबद्ध रैखिक कार्यात्मक है। समान रूप से δ, H1 के सतत दोहरे समष्टि H−1का एक तत्व है। अधिक सामान्यतः n आयाम में, किसी के पास δ ∈ H−s(Rn) है बशर्ते s > n/2 है।
होलोमोर्फिक फलन के समष्टि
सम्मिश्र विश्लेषण में, डेल्टा फलन कॉची के समाकल सूत्र के माध्यम से प्रवेश करता है, जो दृढतापूर्वक कहता है कि यदि D सुचारू सीमा के साथ सम्मिश्र समतल में एक डोमेन है, तो
D में सभी होलोमोर्फिक फलनf के लिए जो D के संवरक होने पर सतत है। परिणामस्वरूप, डेल्टा फलन δz को कॉची समाकल द्वारा होलोमोर्फिक फलन के इस वर्ग में दर्शाया गया है:
इसके अलावा, मान लीजिए कि H2(∂D)हार्डी समष्टि है, जिसमें D की सीमा तक सतत D में सभी होलोमोर्फिक फलन को L2(∂D) में संवरक करना सम्मिलित है। H2(∂D) में फलन विशिष्ट रूप से D में होलोमोर्फिक फलन तक विस्तारित होते हैं, और कॉची समाकल सूत्र संचालित है। विशेष रूप से z ∈ D के लिए, डेल्टा फलन δzH2(∂D) पर एक सतत रैखिक कार्यात्मक है। यह कई सम्मिश्र चरों में स्थिति का एक विशेष प्रकरण है, जिसमें सुचारू डोमेन D के लिए, स्ज़ेगो कर्नेल कॉची समाकल की भूमिका निभाता है।[69]
तत्समक के संकल्प
एक अलग हिल्बर्ट समष्टि में फलन{φn} के पूर्ण ऑर्थोनॉर्मल आधार समुच्चय को देखते हुए, उदाहरण के लिए, सघन स्वयं-एडजॉइंट प्रचालक के सामान्यीकृत आइजन्सदिश, किसी भी सदिश f को इस प्रकार व्यक्त किया जा सकता है
गुणांक {αn} के रूप में पाए जाते हैं
जिसे संकेतन द्वारा दर्शाया जा सकता है:
डिराक के ब्रा-केट संकेतन का एक रूप है।[70] इस संकेतन को अपनाने पर, f का विस्तार डायडिक रूप लेता है:[71]
मान लीजिए कि I हिल्बर्ट समष्टि पर तत्समक प्रचालक को निरूपित करता है, अभिव्यक्ति
तत्समक का संकल्प कहलाता है। जब हिल्बर्ट समष्टि डोमेन D पर वर्ग-समाकल फलनों का समष्टि L2(D) है, तो मात्रा:
एक समाकल प्रचालक है, और f के लिए अभिव्यक्ति को पुनः लिखा जा सकता है
दाहिनी भाग L2 अर्थ में f में परिवर्तित होता है। इसे बिंदुवार अर्थ में रखने की आवश्यकता नहीं है, तब भी जब f एक सतत फलन है। तथापि, संकेतन का दुरुपयोग करना और लिखना सामान्य बात है
जिसके परिणामस्वरूप डेल्टा फलन का प्रतिनिधित्व होता है:[72]
एक उपयुक्त रिग्ड हिल्बर्ट समष्टि (Φ, L2(D), Φ*) के साथ जहां Φ ⊂ L2(D) में सभी सघन रूप से समर्थित सुचारु फलन सम्मिलित हैं, यह योग आधार φn के गुणों के आधार पर Φ* में परिवर्तित हो सकता है। व्यावहारिक रुचि के अधिकांश प्रकरण में, ऑर्थोनॉर्मल आधार एक समाकल या विभेदक प्रचालक से आता है, जिस स्थिति में श्रृंखला फलन अर्थ में परिवर्तित होता है।[73]
अत्युणु डेल्टा फलन
कॉची ने 1827 में कई लेखों में एक इकाई आवेग, अपरिमित लंबा और संकीर्ण डायराक-प्रकार डेल्टा फलन δα को संतुष्ट करने वाले को लिखने के लिए एक अपरिमित छोटे α का उपयोग किया है।[74] कॉची ने कौर्स d'विश्लेशण (1827) में शून्य की ओर प्रवृत्त अनुक्रम के संदर्भ में एक अतिसूक्ष्म को परिभाषित करता है। अर्थात्, कॉची और लज़ारे कार्नोट की शब्दावली में ऐसा शून्य अनुक्रम एक अत्यंत छोटा अनुक्रम बन जाता है।
गैर-मानक विश्लेषण किसी को अतिसूक्ष्म के साथ कठोरता से व्यवहार करने की अनुमति देता है। यामाशिता (2007) harvtxt error: no target: CITEREFयामाशिता2007 (help) के लेख में हाइपररियल द्वारा प्रदान किए गए एक अनंत-समृद्ध सातत्य के संदर्भ में आधुनिक डिराक डेल्टा फलन पर एक ग्रंथ सूची सम्मिलित है। यहां डिराक डेल्टा को एक वास्तविक फलन द्वारा दिया जा सकता है, जिसमें यह गुण होता है कि प्रत्येक वास्तविक फलन F के लिए होता है, जैसा कि फूरियर और कॉची द्वारा प्रत्याशित होता है।
एक डिराक कॉम्ब T के अंतराल पर स्थित डिराक डेल्टा फलनों की एक अनंत श्रृंखला है
डिराक डेल्टा माप की एक तथाकथित समान ''पल्स ट्रेन'', जिसे डिराक कॉम्ब या शा फलन के रूप में जाना जाता है, एक प्रतिदर्श (सिग्नल संसाधन) फलन बनाता है, जिसका उपयोग प्रायः डिजिटल सिग्नल प्रसंस्करण (डीएसपी) और असतत समय सिग्नल विश्लेषण में किया जाता है। डिराक कॉम्ब को अनंत योग के रूप में दिया गया है, जिसकी सीमा फलन अर्थ में समझी जाती है,
जो प्रत्येक पूर्णांक पर बिंदु द्रव्यमान का एक क्रम है।
समग्र सामान्यीकरण स्थिरांक तक, डिराक कॉम्ब अपने स्वयं के फूरियर रूपांतरण के समान है। यह महत्वपूर्ण है क्योंकि यदि f कोई श्वार्ट्ज फलन है, तो f की अवधि संवलन द्वारा दी गई है
विशेष रूप से,
यह यथार्थतः पॉइसन योग सूत्र है।[75][76] अधिक सामान्यतः, यह सूत्र सत्य रहता है यदि f तीव्र अवतरण का एक संयमित फलन है या तुल्य, यदि टेम्पर्ड फलन के क्षेत्र में एक धीरे-धीरे बढ़ने वाला, सामान्य फलन है।
सोखोत्स्की-प्लेमेलज प्रमेय
क्वांटम यांत्रिकी में महत्वपूर्ण सोखोटस्की-प्लेमेलज प्रमेय, डेल्टा फलन को फलन p.v. 1/x से संबंधित करता है, फलन 1/x का कॉची प्रमुख मूल्य, द्वारा परिभाषित
यहां सीमा को फलन अर्थ में समझा जाता है, जो कि सभी सघन रूप से समर्थित सुचारू फलनों f के लिए है,
क्रोनकर डेल्टा से संबंध
क्रोनकर डेल्टा δij द्वारा परिभाषित मात्रा है
सभी पूर्णांकों i, j के लिए है। यह फलन तब सिफ्टिंग गुण के निम्नलिखित एनालॉग को संतुष्ट करता है: यदि ai (सभी पूर्णांकों के समुच्चय में i के लिए) कोई दोगुना-अनंत अनुक्रम है, तो
इसी प्रकार, R पर किसी भी वास्तविक या सम्मिश्र मूल्य वाले सतत फलन f के लिए, डिराक डेल्टा सिफ्टिंग गुण को संतुष्ट करता है
यह क्रोनेकर डेल्टा फलन को डिराक डेल्टा फलन के एक अलग एनालॉग के रूप में प्रदर्शित करता है।[78]
अनुप्रयोग
प्रायिकता सिद्धांत
प्रायिकता सिद्धांत और सांख्यिकी में, डिराक डेल्टा फलन का उपयोग प्रायिकता घनत्व फलन (जो सामान्यतः यथार्थतः सतत फलन का प्रतिनिधित्व करने के लिए किया जाता है) का उपयोग करके असतत फलन, या आंशिक रूप से असतत, आंशिक रूप से सतत फलन का प्रतिनिधित्व करने के लिए किया जाता है। उदाहरण के लिए, एक असतत फलन की प्रायिकता घनत्व फलन f(x) जिसमें बिंदु x = {x1, ..., xn} सम्मिलित है, संबंधित संभावनाओं p1, ..., pn के साथ, इस प्रकार लिखा जा सकता है
एक अन्य उदाहरण के रूप में, एक फलन पर विचार करें जिसमें 6/10 समय एक मानक सामान्य फलन लौटाता है, और 4/10 समय यथार्थतः मान 3.5 (अर्थात् आंशिक रूप से सतत, आंशिक रूप से असतत मिश्रण फलन) लौटाता है। इस फलन का घनत्व फलन इस प्रकार लिखा जा सकता है
डेल्टा फलन का उपयोग यादृच्छिक चर के परिणामी प्रायिकता घनत्व फलन का प्रतिनिधित्व करने के लिए भी किया जाता है जो लगातार भिन्न फलन द्वारा परिवर्तित होता है। यदि Y = g(X) एक सतत अवकलनीय फलन है, तो Y का घनत्व इस प्रकार लिखा जा सकता है
डेल्टा फलन का उपयोग प्रसार प्रक्रिया (जैसे ब्राउनियन गति) के स्थानीय समय (गणित) को दर्शाने के लिए पूरी तरह से अलग प्रकार से किया जाता है। स्टोकेस्टिक प्रक्रिया का स्थानीय समय B(t) द्वारा दिया गया है
और उस समय की मात्रा को दर्शाता है जो प्रक्रिया की सीमा में बिंदु x पर खर्च करती है। अधिक सटीक रूप से, एक आयाम में यह समाकल लिखा जा सकता है
क्वांटम यांत्रिकी में डेल्टा फलन योग्य है। किसी कण का तरंग फलन समष्टि के किसी दिए गए क्षेत्र के अंतर्गत एक कण को खोजने की संभावना आयाम देता है। तरंग फलनों को हिल्बर्ट समष्टि L2 के तत्व माना जाता है, और किसी दिए गए अंतराल के अंतर्गत एक कण को खोजने की कुल संभावना अंतराल पर तरंग फलन के वर्ग के परिमाण का समाकल है। तरंग फलनों का एक समुच्चय {|φn⟩} लंबात्मक होता है यदि उन्हें इसके द्वारा सामान्यीकृत किया जाता है
जहां δ क्रोनकर डेल्टा है। यदि किसी तरंग फलन |ψ⟩ को सम्मिश्र गुणांक के साथ {|φn⟩} के रैखिक संयोजन के रूप में व्यक्त किया जा सकता है, तो ऑर्थोनॉर्मल तरंग फलनों का एक समुच्चय वर्ग-अभिन्न फलन के स्थान में पूरा हो जाता है:
cn = ⟨φn|ψ⟩ के साथ है। तरंग फलनों की पूर्ण ऑर्थोनॉर्मल प्रणालियाँ स्वाभाविक रूप से क्वांटम यांत्रिकी में हैमिल्टनियन (एक बाध्य अवस्था के) के अभिलक्षणिक फलन के रूप में दिखाई देती हैं जो ऊर्जा के स्तर को मापती हैं, जिन्हें अभिलक्षणिक मान कहा जाता है। इस प्रकरण में, अभिलक्षणिक मान के समुच्चय को हैमिल्टनियन के स्पेक्ट्रम के रूप में जाना जाता है। ब्रा-केट संकेतन में, जैसा कि ऊपर दिया गया है, यह समानता तत्समक के समाधान को दर्शाती है:
यहां अभिलक्षणिक मान को असतत माना जाता है, लेकिन एक अवलोकन के अभिलक्षणिक मान का समुच्चय असतत के बदले सतत हो सकता है। एक उदाहरण Qψ(x) = xψ(x) देखने योग्य अवस्था है। स्थिति का स्पेक्ट्रम (एक आयाम में) संपूर्ण वास्तविक रेखा है और इसे सतत स्पेक्ट्रम कहा जाता है। हालाँकि, हैमिल्टनियन के विपरीत, स्थिति प्रचालक में उचित अभिलक्षणिक फलन का अभाव है। इस कमी को दूर करने का पारंपरिक प्रकार फलन की अनुमति देकर उपलब्ध फलनों के वर्ग का विस्तार करना है: अर्थात्, क्वांटम यांत्रिकी के हिल्बर्ट समष्टि को एक उपयुक्त रिग्ड हिल्बर्ट समष्टि के साथ प्रतिस्थापित करना है।[79] इस संदर्भ में, स्थिति प्रचालक के पास ईजेन-फलन का एक पूरा समुच्चय होता है, जिसे वास्तविक रेखा के बिंदु y द्वारा लेबल किया जाता है,
स्थिति के अभिलक्षणिक फलन को डिराक संकेतन में φy = |y⟩ द्वारा निरूपित किया जाता है और स्थिति अभिलक्षणिक अवस्था के रूप में जाना जाता है।
इसी तरह के विचार संवेग संचालक के अभिलक्षणिक अवस्था, या वास्तव में हिल्बर्ट समष्टि पर किसी अन्य स्व-सहायक अपरिबद्धि प्रचालक P पर उपयोजित होते हैं, बशर्ते कि P का स्पेक्ट्रम सतत है और कोई विकृत अभिलक्षणिक मान नहीं हैं। उस स्थिति में, वास्तविक संख्याओं (स्पेक्ट्रम) का एक समुच्चय Ω है, और Ω के तत्वों द्वारा अनुक्रमित फलन का एक संग्रह φy है, जैसे कि
अर्थात्, φy, P के अभिलक्षणिक सदिश हैं। यदि अभिलक्षणिक सदिश को सामान्यीकृत किया जाता है तो
फलन अर्थ में, किसी भी परीक्षण फलन ψ के लिए,
जहां c(y) = ⟨ψ, φy⟩ है। अर्थात्, असतत प्रकरण की तरह, तत्समक का एक समाधान है
जहां प्रचालक-मूल्यवान समाकल को फिर से कमजोर अर्थ में समझा जाता है। यदि P का स्पेक्ट्रम में सतत और असतत दोनों भाग होते हैं, तो तत्समक के समाधान में असतत स्पेक्ट्रम पर एक योग और सतत स्पेक्ट्रम पर एक समाकल सम्मिलित होता है।
डेल्टा फलन के क्वांटम यांत्रिकी में कई और विशिष्ट अनुप्रयोग भी हैं, जैसे एकल और दोहरी क्षमता वाले डेल्टा संभावित प्रतिरूप भी है।
संरचनात्मक यांत्रिकी
डेल्टा फलन का उपयोग संरचनात्मक यांत्रिकी में संरचनाओं पर अभिनय करने वाले क्षणिक भार या बिंदु भार का वर्णन करने के लिए किया जा सकता है। समय t = 0 पर आकस्मिक बल आवेग I से उत्तेजित एक सरल द्रव्यमान-स्प्रिंग प्रणाली का गवर्निंग समीकरण (भौतिकी) लिखा जा सकता है।
जहाँ m द्रव्यमान है, ξ विक्षेपण है, और k स्प्रिंग स्थिरांक है।
एक अन्य उदाहरण के रूप में, यूलर-बर्नौली सिद्धांत के अनुसार, एक तनु बीम (संरचना) के स्थिर विक्षेपण को नियंत्रित करने वाला समीकरण है,
जहां EI बीम की झुकाव कठोरता है, wविक्षेपण (इंजीनियरिंग) है, x स्थानिक समन्वय है, और q(x) भार फलन है। यदि एक बीम को एक बिंदु बल F द्वारा x = x0 पर लोड किया जाता है, तो लोड फलन लिखा जाता है।
डेल्टा फलन के एकीकरण के परिणामस्वरूप हेविसाइड पद फलन होता है, यह इस प्रकार है कि एकाधिक बिंदु भार के अधीन एक पतली बीम के स्थैतिक विक्षेपण को खंडशः बहुपदों के एक समुच्चय द्वारा वर्णित किया गया है।
साथ ही, बीम पर कार्य करने वाले एक बिंदु क्षण को डेल्टा फलन द्वारा वर्णित किया जा सकता है। दूरी d पर दो विरोधी बिंदु बलों F पर विचार किया जा सकता है। फिर वे बीम पर कार्य करते हुए एक क्षण M = Fd उत्पन्न करते हैं। अब दूरी d को सीमा शून्य तक पहुंचने दें, जबकि M स्थिर रखा गया हैं। भार फलन, x = 0 पर कार्य करने वाले दक्षिणावर्त क्षण को मानते हुए लिखा जाता है।
इस प्रकार बिंदु क्षणों को डेल्टा फलन के व्युत्पन्न द्वारा दर्शाया जा सकता है। बीम समीकरण के एकीकरण से फिर से खंडशः बहुपद विक्षेपण होता है।
↑Arfken, George B.; Weber, Hans J.; Harris, Frank E. (2013). "1.11 Dirac Delta Function". भौतिकविदों के लिए गणितीय विधियाँ - एक व्यापक मार्गदर्शिका (7th ed.). Elsevier Inc. p. 75. ISBN978-0-12-384654-9.
↑Driggers 2003, p. 2321 See also Bracewell 1986, 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.
Laugwitz, D. (1989), "Definite values of infinite sums: aspects of the foundations of infinitesimal analysis around 1820", Arch. Hist. Exact Sci., 39 (3): 195–245, doi:10.1007/BF00329867, S2CID120890300.
McMahon, D. (2005-11-22), "An Introduction to State Space"(PDF), Quantum Mechanics Demystified, A Self-Teaching Guide, Demystified Series, New York: McGraw-Hill, p. 108, ISBN978-0-07-145546-6, retrieved 2008-03-17.
van der Pol, Balth.; Bremmer, H. (1987), Operational calculus (3rd ed.), New York: Chelsea Publishing Co., ISBN978-0-8284-0327-6, MR0904873.
Rudin, Walter (1966). Devine, Peter R. (ed.). Real and complex analysis (3rd ed.). New York: McGraw-Hill (published 1987). ISBN0-07-100276-6.