मोलिफ़ायर

From Vigyanwiki
Revision as of 08:01, 24 July 2023 by alpha>Nileshj
आयाम (गणित) में एक मोलिफ़ायर (शीर्ष)। सबसे नीचे, लाल रंग में एक कोने (बाएं) और तेज छलांग (दाएं) के साथ एक फ़ंक्शन है, और नीले रंग में इसका पिघला हुआ संस्करण है।

गणित में, मोलिफ़ायर (सर्वसमिका के सन्निकटन के रूप में भी जाना जाता है) विशेष गुणों के साथ स्मूथ फंक्शन होते हैं, उदाहरण के लिए वितरण सिद्धांत में कनवल्शन के माध्यम से नॉनस्मूथ (सामान्यीकृत) फंक्शन को अनुमानित करने वाले स्मूथ फंक्शन के अनुक्रम बनाने के लिए उपयोग किया जाता है। सहज रूप से, एक फ़ंक्शन दिया गया है जो काफी अनियमित है, इसे मोलिफ़ायर के साथ घुमाने से फ़ंक्शन "मोलिफ़ाइड" हो जाता है, यानी, इसकी तेज विशेषताएं स्मूथ हो जाती हैं, जबकि अभी भी मूल नॉनस्मूथ (सामान्यीकृत) फ़ंक्शन के करीब रहती हैं।[1]

इन्हें कर्ट ओटो फ्रेडरिक्स के नाम पर फ्रेडरिक्स मोलिफायर्स के नाम से भी जाना जाता है, जिन्होंने इन्हें प्रस्तुत किया था।[2]

ऐतिहासिक नोट्स

कर्ट ओटो फ्रेडरिक्स ने अपने पेपर (फ्रेडरिक्स 1944, पृ. 136-139) में मोलिफायर्स की शुरुआत की थी, जिसे आंशिक अंतर समीकरणों के आधुनिक सिद्धांत में एक महत्वपूर्ण मोड़ माना जाता है।[3] इस गणितीय वस्तु के नाम की उत्पत्ति विचित्र थी, और पीटर लैक्स ने फ्रेडरिक्स के "सेलेक्टा" में प्रकाशित उस पेपर पर अपनी टिप्पणी में पूरी कहानी बताई है।[4] उनके अनुसार, उस समय, गणितज्ञ डोनाल्ड अलेक्जेंडर फ़्लैंडर्स फ्रेडरिक्स के सहयोगी थे: चूँकि उन्हें अंग्रेजी के उपयोग के बारे में सहकर्मियों से परामर्श करना पसंद था, इसलिए उन्होंने फ़्लैंडर्स से सलाह मांगी कि वह जिस स्मूथिंग ऑपरेटर का उपयोग कर रहे थे उसका नाम कैसे रखा जाए।[3] फ़्लैंडर्स एक शुद्धतावादी थे, उनके दोस्तों ने उनके नैतिक गुणों को पहचानने के लिए उन्हें मोल फ़्लैंडर्स के नाम पर मोल उपनाम दिया था: उन्होंने नई गणितीय अवधारणा को एक वाक्य के रूप में "मोलिफ़ायर" कहने का सुझाव दिया, जिसमें फ़्लैंडर्स का उपनाम और क्रिया 'टू मॉलिफ़ाई', जिसका अर्थ लाक्षणिक अर्थ में 'सुचारू करना' है, दोनों शामिल थे।[5]

इससे पहले, सर्गेई सोबोलेव ने अपने युग-निर्माण 1938 पेपर में मोलिफायर्स का उपयोग किया था,[6] जिसमें सोबोलेव एम्बेडिंग प्रमेय का प्रमाण शामिल है: फ्रेडरिक्स ने खुद मोलिफायर्स पर सोबोलेव के काम को स्वीकार करते हुए कहा था कि: - "ये मोलिफायर सोबोलेव और लेखक द्वारा पेश किए गए थे..."।[7]

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

परिभाषा

प्रगतिशील मोलीकरण के दौर से गुजर रहा एक कार्य।

आधुनिक (वितरण आधारित) परिभाषा

Definition 1. अगरℝ पर एक सुचारू कार्य हैn, n ≥ 1, निम्नलिखित तीन आवश्यकताओं को पूरा करता है

(1)  यह समर्थन है (गणित)[8] :(2)  
(3)  

कहाँ डिराक डेल्टा फ़ंक्शन है और सीमा को श्वार्ट्ज वितरण (गणित) के स्थान में समझा जाना चाहिए, फिरएक 'मोलिफ़ायर' है. कार्यक्रमआगे की शर्तों को भी पूरा कर सकता है:[9] उदाहरण के लिए, यदि यह संतुष्ट करता है

(4)   ≥ 0 सभी x ∈ ℝ के लिएn, तो इसे 'पॉजिटिव मोलिफ़ायर' कहा जाता है
(5)  = कुछ असीम रूप से भिन्न फ़ंक्शन के लिए: ℝ+ → ℝ, तो इसे सममित मोलिफ़ायर कहा जाता है

फ्रेडरिक की परिभाषा पर नोट्स

नोट 1. जब वितरण का सिद्धांत (गणित) अभी भी व्यापक रूप से ज्ञात नहीं था और न ही इसका उपयोग किया जाता था,[10] संपत्ति (3)ऊपर यह कहकर तैयार किया गया था कि फ़ंक्शन का कनवल्शनउचित हिल्बर्ट स्थान या बनच स्थान कन्वर्जेंस (गणित) से संबंधित दिए गए फ़ंक्शन के साथ उस फ़ंक्शन के लिए ε → 0:[11] कर्ट ओटो फ्रेडरिक्स ने बिल्कुल यही किया।[12] इससे यह भी स्पष्ट होता है कि मोलिफ़ायर अनुमानित पहचान से क्यों संबंधित हैं।[13] नोट 2. जैसा कि इस प्रविष्टि के मोलिफायर#ऐतिहासिक नोट्स अनुभाग में संक्षेप में बताया गया है, मूल रूप से, मोलिफायर शब्द ने निम्नलिखित कन्वोल्यूशन की पहचान की:[13][14]

कहाँ औरऊपर बताई गई पहली तीन शर्तों और सकारात्मकता और समरूपता के रूप में एक या अधिक पूरक शर्तों को पूरा करने वाला एक सुचारू कार्य है।

ठोस उदाहरण

टक्कर समारोह पर विचार करें ℝ में एक वेरिएबल (गणित) काn द्वारा परिभाषित

जहां संख्यात्मक स्थिरांक सामान्यीकरण सुनिश्चित करता है। यह फ़ंक्शन गैर-विश्लेषणात्मक सुचारू फ़ंक्शन है | असीम रूप से भिन्न, गायब होने वाले व्युत्पन्न के साथ गैर-विश्लेषणात्मक |x| = 1.जैसा कि ऊपर वर्णित है, इसे मोलिफ़ायर के रूप में उपयोग किया जा सकता है: कोई इसे देख सकता है एक सकारात्मक और सममित मोलिफ़ायर को परिभाषित करता है।[15]

कार्यक्रम आयाम (गणित) में एक

गुण

एक मोलिफ़ायर के सभी गुण कनवल्शन के संचालन के तहत उसके व्यवहार से संबंधित हैं: हम निम्नलिखित को सूचीबद्ध करते हैं, जिनके प्रमाण वितरण (गणित) पर प्रत्येक पाठ में पाए जा सकते हैं।[16]


चौरसाई संपत्ति

किसी भी वितरण के लिए , वास्तविक संख्या द्वारा अनुक्रमित कनवल्शन का निम्नलिखित परिवार

कहाँ कनवल्शन को दर्शाता है, सुचारू कार्यों का एक परिवार है।

पहचान का अनुमान

किसी भी वितरण के लिए , वास्तविक संख्या द्वारा अनुक्रमित कनवल्शन का निम्नलिखित परिवार में एकत्रित हो जाता है


कनवल्शन का समर्थन

किसी भी वितरण के लिए ,

,

कहाँ वितरण (गणित)#वितरण के अर्थ में वितरण का समर्थन इंगित करता है, और उनके मिन्कोव्स्की जोड़ को इंगित करता है।

अनुप्रयोग

मोलिफ़ायर का मूल अनुप्रयोग यह साबित करना है कि सुचारू कार्यों के लिए मान्य गुण गैर-सुचारू स्थितियों में भी मान्य हैं:

वितरण का उत्पाद

सामान्यीकृत कार्यों के कुछ सिद्धांतों में, सामान्यीकृत फ़ंक्शन को परिभाषित करने के लिए मोलिफायर का उपयोग किया जाता है#वितरण का गुणन: सटीक रूप से, दो वितरण दिए गए हैं और , वितरण की सीमा (गणित)#एक सुचारु कार्य के एक सुचारु कार्य द्वारा गुणा और एक वितरण (गणित)

सामान्यीकृत कार्यों के विभिन्न सिद्धांतों में उनके उत्पाद को परिभाषित करता है (यदि यह मौजूद है)।

कमजोर=मजबूत प्रमेय

बहुत अनौपचारिक रूप से, मोलिफ़ायर का उपयोग अंतर ऑपरेटरों के दो अलग-अलग प्रकार के विस्तार की पहचान साबित करने के लिए किया जाता है: मजबूत विस्तार और कमजोर फॉर्मूलेशन। कागज़ (Friedrichs 1944) इस अवधारणा को काफी अच्छी तरह से चित्रित करता है: हालाँकि इसका वास्तव में क्या मतलब है यह दिखाने के लिए आवश्यक तकनीकी विवरणों की उच्च संख्या उन्हें इस संक्षिप्त विवरण में औपचारिक रूप से विस्तृत होने से रोकती है।

स्मूथ कटऑफ फ़ंक्शन

यूनिट बॉल के संकेतक फ़ंक्शन के कनवल्शन द्वारा सुचारू कार्य के साथ(के रूप में परिभाषित किया गया है (3) साथ ), कोई फ़ंक्शन प्राप्त करता है

जो कि एक सुचारु कार्य के बराबर है पर , में निहित समर्थन के साथ . इसका अवलोकन करके आसानी से देखा जा सकता है कि यदि और तब . इसलिए के लिए ,

.

कोई यह देख सकता है कि किसी दिए गए कॉम्पैक्ट सेट के पड़ोस (टोपोलॉजी) के समान एक सुचारू फ़ंक्शन प्राप्त करने के लिए इस निर्माण को कैसे सामान्यीकृत किया जा सकता है, और प्रत्येक बिंदु पर शून्य के बराबर जिसकी इस सेट से दूरी किसी दिए गए से अधिक है .[17] ऐसे फ़ंक्शन को (सुचारू) कटऑफ फ़ंक्शन कहा जाता है: उन फ़ंक्शन (गणित) का उपयोग गुणन द्वारा किसी दिए गए (सामान्यीकृत फ़ंक्शन) फ़ंक्शन (गणित) की विलक्षणताओं को खत्म करने के लिए किया जाता है। वे (सामान्यीकृत फ़ंक्शन) फ़ंक्शन (गणित) के मान को अपरिवर्तित छोड़ देते हैं, वे केवल दिए गए सेट (गणित) पर गुणा करते हैं, इस प्रकार इसके वितरण (गणित) को संशोधित करते हैं #वितरण का समर्थन: कटऑफ फ़ंक्शन भी स्मूथ फ़ंक्शन के मूल भाग हैं# एकता का सहज विभाजन.

यह भी देखें

टिप्पणियाँ

  1. Respect to the topology of the given space of generalized functions.
  2. See (Friedrichs 1944, pp. 136–139).
  3. See the commentary of Peter Lax on the paper (Friedrichs 1944) in (Friedrichs 1986, volume 1, p. 117).
  4. (Friedrichs 1986, volume 1, p. 117)
  5. In (Friedrichs 1986, volume 1, p. 117) Lax writes precisely that:-"On English usage Friedrichs liked to consult his friend and colleague, Donald Flanders, a descendant of puritans and a puritan himself, with the highest standard of his own conduct, noncensorious towards others. In recognition of his moral qualities he was called Moll by his friends. When asked by Friedrichs what to name the smoothing operator, Flander sremarked that they could be named mollifier after himself; Friedrichs was delighted, as on other occasions, to carry this joke into print."
  6. See (Sobolev 1938).
  7. Friedrichs (1953, p. 196).
  8. Such as a bump function
  9. See (Giusti 1984, p. 11).
  10. As when the paper (Friedrichs 1944) was published, few years before Laurent Schwartz widespread his work.
  11. Obviously the topology with respect to convergence occurs is the one of the Hilbert or Banach space considered.
  12. See (Friedrichs 1944, pp. 136–138), properties PI, PII, PIII and their consequence PIII0.
  13. 13.0 13.1 Also, in this respect, Friedrichs (1944, pp. 132) says:-"The main tool for the proof is a certain class of smoothing operators approximating unity, the "mollifiers".
  14. See (Friedrichs 1944, p. 137), paragraph 2, "Integral operators".
  15. See (Hörmander 1990, p. 14), lemma 1.2.3.: the example is stated in implicit form by first defining
    for ,
    and then considering
    for .
  16. See for example (Hörmander 1990).
  17. A proof of this fact can be found in (Hörmander 1990, p. 25), Theorem 1.4.1.


संदर्भ