मोलिफ़ायर: Difference between revisions

Latest revision as of 15:11, 31 July 2023

आयाम (गणित) में एक मोलिफ़ायर (शीर्ष)। सबसे नीचे, लाल रंग में एक कोने (बाएं) और तेज छलांग (दाएं) के साथ एक फ़ंक्शन है, और नीले रंग में इसका पिघला हुआ संस्करण है।

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

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

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

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

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

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

परिभाषा

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

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

Definition 1. यदि $\varphi$ ℝⁿ, n ≥ 1 पर एक स्मूथ फंक्शन है, तो निम्नलिखित तीन आवश्यकताओं को पूरा करता है

(1) यह सघन रूप से समर्थित है^[8]

(2)

\int _{\mathbb {R} ^{n}}\!\varphi (x)\mathrm {d} x=1

(3)

\lim _{\epsilon \to 0}\varphi _{\epsilon }(x)=\lim _{\epsilon \to 0}\epsilon ^{-n}\varphi (x/\epsilon )=\delta (x)

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

(4)

\varphi

(x)

≥ 0 सभी x ∈ ℝⁿ के लिए, तो इसे 'पॉजिटिव मोलिफ़ायर' कहा जाता है

(5)

\varphi

(x)

=

\mu

(|x|)

कुछ असीम रूप से भिन्न फ़ंक्शन के लिए

\mu

: ℝ⁺ → ℝ, तो इसे सममित मोलिफ़ायर कहा जाता है

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

नोट 1. जब वितरण का सिद्धांत अभी भी व्यापक रूप से ज्ञात नहीं था और न ही उपयोग किया जाता था, ^[10] ऊपर दी गई गुण (3) को यह कहकर तैयार किया गया था कि उचित हिल्बर्ट या बानाच स्थान से संबंधित किसी दिए गए फ़ंक्शन के साथ फ़ंक्शन $\scriptstyle \varphi _{\epsilon }$ का कनवल्शन उस फ़ंक्शन के लिए ε → 0 के रूप में परिवर्तित होता है: ^[11]यह बिल्कुल वही है जो फ्रेडरिक्स ने किया था।^[12] इससे यह भी स्पष्ट होता है कि मोलिफ़ायर अनुमानित सर्वसमिका से संबंधित क्यों हैं।^[13]

नोट 2. जैसा कि इस प्रविष्टि के मोलिफायर#ऐतिहासिक नोट्स अनुभाग में संक्षेप में बताया गया है, मूल रूप से, मोलिफायर शब्द ने निम्नलिखित कन्वोल्यूशन की सर्वसमिका की:^[13]^[14]

\Phi _{\epsilon }(f)(x)=\int _{\mathbb {R} ^{n}}\varphi _{\epsilon }(x-y)f(y)\mathrm {d} y

जहाँ $\varphi _{\epsilon }(x)=\epsilon ^{-n}\varphi (x/\epsilon )$ और $\varphi$ ऊपर बताई गई पहली तीन शर्तों और धनात्मक और समरूपता के रूप में एक या अधिक पूरक शर्तों को पूरा करने वाला एक स्मूथ फंक्शन है।

ठोस उदाहरण

ℝⁿ द्वारा परिभाषित एक वेरिएबल के बम्प फ़ंक्शन $\varphi$ $(x)$ पर विचार करें

$\varphi (x)={\begin{cases}e^{-1/(1-|x|^{2})}/I_{n}&{\text{ if }}|x|<1\\0&{\text{ if }}|x|\geq 1\end{cases}}$

जहां संख्यात्मक स्थिरांक $I_{n}$ सामान्यीकरण सुनिश्चित करता है। यह फ़ंक्शन असीम रूप से भिन्न है, गैर-विश्लेषणात्मक है और $| x | = 1$ के लिए लुप्त व्युत्पन्न है जैसा कि ऊपर बताया गया है, $\varphi$ को मोलिफ़ायर के रूप में उपयोग किया जा सकता है: कोई देख सकता है कि $\varphi$ $(x)$ एक धनात्मक और सममित मोलिफ़ायर को परिभाषित करता है।^[15]

फ़ंक्शन

\varphi

(x)

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

गुण

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

समरेखण गुण

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

T_{\epsilon }=T\ast \varphi _{\epsilon }

जहाँ $\ast$ कनवल्शन को दर्शाता है, यह स्मूथ फंक्शन्स का एक परिवार है।

सर्वसमिका का अनुमान

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

\lim _{\epsilon \to 0}T_{\epsilon }=\lim _{\epsilon \to 0}T\ast \varphi _{\epsilon }=T\in D^{\prime }(\mathbb {R} ^{n})

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

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

\operatorname {supp} T_{\epsilon }=\operatorname {supp} (T\ast \varphi _{\epsilon })\subset \operatorname {supp} T+\operatorname {supp} \varphi _{\epsilon }

,

जहाँ $\operatorname {supp}$ वितरण के अर्थ में वितरण का समर्थन इंगित करता है, और $+$ उनके मिन्कोव्स्की योग को इंगित करता है।

अनुप्रयोग

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

वितरण गुणनफल

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

\lim _{\epsilon \to 0}S_{\epsilon }\cdot T=\lim _{\epsilon \to 0}S\cdot T_{\epsilon }{\overset {\mathrm {def} }{=}}S\cdot T

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

"वीक= स्ट्रांग" प्रमेय

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

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

यूनिट बॉल के संकेतक फ़ंक्शन के कनवल्शन द्वारा $B_{1}=\{x:|x|<1\}$ स्मूथ फंक्शन $\varphi _{1/2}$ के साथ(के रूप में परिभाषित किया गया है (3) साथ $\epsilon =1/2$ ), कोई फ़ंक्शन प्राप्त करता है

\chi _{B_{1},1/2}(x)=\chi _{B_{1}}\ast \varphi _{1/2}(x)=\int _{\mathbb {R} ^{n}}\!\!\!\chi _{B_{1}}(x-y)\varphi _{1/2}(y)\mathrm {d} y=\int _{B_{1/2}}\!\!\!\chi _{B_{1}}(x-y)\varphi _{1/2}(y)\mathrm {d} y\ \ \ (\because \ \mathrm {supp} (\varphi _{1/2})=B_{1/2})

जो कि एक सुचारु फंक्शन के बराबर है $1$ पर $B_{1/2}=\{x:|x|<1/2\}$ , में निहित समर्थन के साथ $B_{3/2}=\{x:|x|<3/2\}$ . इसका अवलोकन करके आसानी से देखा जा सकता है कि यदि $|x|$ ≤ $1/2$ और $|y|$ ≤ $1/2$ तब $|x-y|$ ≤ $1$ . इसलिए $|x|$ ≤ $1/2$ , के लिए

\int _{B_{1/2}}\!\!\!\chi _{B_{1}}(x-y)\varphi _{1/2}(y)\mathrm {d} y=\int _{B_{1/2}}\!\!\!\varphi _{1/2}(y)\mathrm {d} y=1

.

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

यह भी देखें

अनुमानित सर्वसमिका
बम्प फ़ंक्शन
कनवल्शन
वितरण (गणित)
सामान्यीकृत फ़ंक्शन
कर्ट ओट्टो फ्रेडरिक्स
गैर-विश्लेषणात्मक स्मूथ फंक्शन
सेर्गेई सोबोलेव
वीयरस्ट्रास परिवर्तन

↑ Respect to the topology of the given space of generalized functions.
↑ See (Friedrichs 1944, pp. 136–139).
↑ ^3.0 ^3.1 See the commentary of Peter Lax on the paper (Friedrichs 1944) in (Friedrichs 1986, volume 1, p. 117).
↑ (Friedrichs 1986, volume 1, p. 117)
↑ 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."
↑ See (Sobolev 1938).
↑ Friedrichs (1953, p. 196).
↑ Such as a bump function
↑ See (Giusti 1984, p. 11).
↑ As when the paper (Friedrichs 1944) was published, few years before Laurent Schwartz widespread his work.
↑ Obviously the topology with respect to convergence occurs is the one of the Hilbert or Banach space considered.
↑ See (Friedrichs 1944, pp. 136–138), properties PI, PII, PIII and their consequence PIII₀.
↑ ^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".
↑ See (Friedrichs 1944, p. 137), paragraph 2, "Integral operators".
↑ See (Hörmander 1990, p. 14), lemma 1.2.3.: the example is stated in implicit form by first defining
$f(t)=\exp({-1/t})$ for $t\in \mathbb {R} _{+}$ ,
and then considering
$f(x)=f{\big (}1-|x|^{2}{\big )}=\exp {\big (}1-|x|^{2}{\big )}$ for $x\in \mathbb {R} ^{n}$ .
↑ See for example (Hörmander 1990).
↑ A proof of this fact can be found in (Hörmander 1990, p. 25), Theorem 1.4.1.

संदर्भ

Friedrichs, Kurt Otto (January 1944), "The identity of weak and strong extensions of differential operators", Transactions of the American Mathematical Society, 55 (1): 132–151, doi:10.1090/S0002-9947-1944-0009701-0, JSTOR 1990143, MR 0009701, Zbl 0061.26201. The first paper where mollifiers were introduced.
Friedrichs, Kurt Otto (1953), "On the differentiability of the solutions of linear elliptic differential equations", Communications on Pure and Applied Mathematics, VI (3): 299–326, doi:10.1002/cpa.3160060301, MR 0058828, Zbl 0051.32703, archived from the original on 2013-01-05. A paper where the differentiability of solutions of elliptic partial differential equations is investigated by using mollifiers.
Friedrichs, Kurt Otto (1986), Morawetz, Cathleen S. (ed.), Selecta, Contemporary Mathematicians, Boston-Basel-Stuttgart: Birkhäuser Verlag, pp. 427 (Vol. 1), pp. 608 (Vol. 2), ISBN 0-8176-3270-0, Zbl 0613.01020. A selection from Friedrichs' works with a biography and commentaries of David Isaacson, Fritz John, Tosio Kato, Peter Lax, Louis Nirenberg, Wolfgag Wasow, Harold Weitzner.
Giusti, Enrico (1984), Minimal surfaces and functions of bounded variations, Monographs in Mathematics, vol. 80, Basel-Boston-Stuttgart: Birkhäuser Verlag, pp. xii+240, ISBN 0-8176-3153-4, MR 0775682, Zbl 0545.49018.
Hörmander, Lars (1990), The analysis of linear partial differential operators I, Grundlehren der Mathematischen Wissenschaft, vol. 256 (2nd ed.), Berlin-Heidelberg-New York: Springer-Verlag, ISBN 0-387-52343-X, MR 1065136, Zbl 0712.35001.
Sobolev, Sergei L. (1938), "Sur un théorème d'analyse fonctionnelle", Recueil Mathématique (Matematicheskii Sbornik) (in Russian and French), 4(46) (3): 471–497, Zbl 0022.14803{{citation}}: CS1 maint: unrecognized language (link). The paper where Sergei Sobolev proved his embedding theorem, introducing and using integral operators very similar to mollifiers, without naming them.

[1] Respect to the topology of the given space of generalized functions.

[2] See (Friedrichs 1944, pp. 136–139).

[Laxref-3] 3.0 ^3.1 See the commentary of Peter Lax on the paper (Friedrichs 1944) in (Friedrichs 1986, volume 1, p. 117).

[Lax.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 PIII₀.

[Fredref-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
$f(t)=\exp({-1/t})$ for $t\in \mathbb {R} _{+}$ ,
and then considering
$f(x)=f{\big (}1-|x|^{2}{\big )}=\exp {\big (}1-|x|^{2}{\big )}$ for $x\in \mathbb {R} ^{n}$ .

[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.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

@@ Line 1: / Line 1: @@
-[[File:Mollified Illustration.svg|thumb|[[आयाम (गणित)]] में एक मोलिफ़ायर (शीर्ष)। सबसे नीचे, लाल रंग में एक कोने (बाएं) और तेज छलांग (दाएं) के साथ एक फ़ंक्शन है, और नीले रंग में इसका पिघला हुआ संस्करण है।]]गणित में, मोलिफ़ायर (जिसे ''पहचान के सन्निकटन'' के रूप में भी जाना जाता है) विशेष गुणों के साथ [[सुचारू कार्य]] हैं, उदाहरण के लिए [[वितरण (गणित)]]गणित) में [[कनवल्शन]] के माध्यम से गैर-सुचारू सामान्यीकृत फ़ंक्शन (सामान्यीकृत) कार्यों को अनुमानित करने वाले चिकनी कार्यों के [[अनुक्रम]] बनाने के लिए उपयोग किया जाता है। सहज रूप से, एक फ़ंक्शन दिया गया है जो अनियमित है, इसे मोलिफ़ायर के साथ घुमाने से फ़ंक्शन नरम हो जाता है, यानी, इसकी तेज विशेषताएं सुचारू हो जाती हैं, जबकि अभी भी मूल नॉनस्मूथ (सामान्यीकृत) फ़ंक्शन के करीब रहती हैं।<ref>Respect to the [[topology]] of the given space of generalized functions.</ref> इन्हें [[कर्ट ओटो फ्रेडरिक्स]] के नाम पर फ्रेडरिक्स मोलिफायर्स के नाम से भी जाना जाता है, जिन्होंने इन्हें पेश किया था।<ref>See {{Harv|Friedrichs|1944|pp=136–139}}.</ref>
+[[File:Mollified Illustration.svg|thumb|[[आयाम (गणित)]] में एक मोलिफ़ायर (शीर्ष)। सबसे नीचे, लाल रंग में एक कोने (बाएं) और तेज छलांग (दाएं) के साथ एक फ़ंक्शन है, और नीले रंग में इसका पिघला हुआ संस्करण है।]]गणित में, '''मोलिफ़ायर''' (''सर्वसमिका के सन्निकटन'' के रूप में भी जाना जाता है) विशेष गुणों के साथ स्मूथ फंक्शन होते हैं, उदाहरण के लिए वितरण सिद्धांत में कनवल्शन के माध्यम से नॉनस्मूथ (सामान्यीकृत) फंक्शन को अनुमानित करने वाले स्मूथ फंक्शन के अनुक्रम बनाने के लिए उपयोग किया जाता है। सहज रूप से, फ़ंक्शन दिया गया है जो काफी अनियमित है, इसे मोलिफ़ायर के साथ घुमाने से फ़ंक्शन "मोलिफ़ाइड" हो जाता है, यानी, इसकी तेज विशेषताएं स्मूथ हो जाती हैं, जबकि अभी भी मूल नॉनस्मूथ (सामान्यीकृत) फ़ंक्शन के निकट रहती हैं।<ref>Respect to the [[topology]] of the given space of generalized functions.</ref>
+इन्हें [[कर्ट ओटो फ्रेडरिक्स]] के नाम पर '''फ्रेडरिक्स मोलिफायर्स''' के नाम से भी जाना जाता है, जिन्होंने इन्हें प्रस्तुत किया था।<ref>See {{Harv|Friedrichs|1944|pp=136–139}}.</ref>
+== ऐतिहासिक नोट्स ==
-== ऐतिहासिक नोट्स ==
+कर्ट ओटो फ्रेडरिक्स ने अपने पेपर (फ्रेडरिक्स 1944, पृ. 136-139) में मोलिफायर्स को प्रारम्भ किया था, जिसे आंशिक अंतर समीकरणों के आधुनिक सिद्धांत में एक महत्वपूर्ण मोड़ माना जाता है।<ref name="Laxref">See the commentary of [[Peter Lax]] on the paper {{Harv|Friedrichs|1944}} in {{Harv|Friedrichs|1986|loc=volume 1, p. 117}}.</ref> इस गणितीय वस्तु के नाम की उत्पत्ति विचित्र थी, और [[पीटर लैक्स]] ने फ्रेडरिक्स के "सेलेक्टा" में प्रकाशित उस पेपर पर अपनी टिप्पणी में पूरी कहानी बताई है।<ref name="Lax.p.117">{{Harv|Friedrichs|1986|loc=volume 1, p. 117}}</ref> उनके अनुसार, उस समय, गणितज्ञ डोनाल्ड अलेक्जेंडर फ़्लैंडर्स फ्रेडरिक्स के सहयोगी थे: चूँकि उन्हें अंग्रेजी के उपयोग के बारे में सहकर्मियों से परामर्श करना पसंद था, इसलिए उन्होंने फ़्लैंडर्स से सलाह मांगी कि वह जिस स्मूथिंग ऑपरेटर का उपयोग कर रहे थे उसका नाम कैसे रखा जाए।<ref name="Laxref" /> फ़्लैंडर्स एक शुद्धतावादी थे, उनके दोस्तों ने उनके नैतिक गुणों को पहचानने के लिए उन्हें मोल फ़्लैंडर्स के नाम पर मोल उपनाम दिया था: उन्होंने नई गणितीय अवधारणा को एक वाक्य के रूप में "'''मोलिफ़ायर'''" कहने का सुझाव दिया, जिसमें फ़्लैंडर्स का उपनाम और क्रिया 'टू मॉलिफ़ाई', जिसका अर्थ लाक्षणिक अर्थ में 'स्मूथ करना' है, दोनों सम्मिलित थे।<ref>In {{Harv|Friedrichs|1986|loc=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.''"</ref>
+इससे पहले, [[सर्गेई सोबोलेव]] ने अपने युग-निर्माण 1938 पेपर में मोलिफायर्स का उपयोग किया था,<ref>See {{Harv|Sobolev|1938}}.</ref> जिसमें [[सोबोलेव एम्बेडिंग प्रमेय]] का प्रमाण सम्मिलित है: फ्रेडरिक्स ने खुद मोलिफायर्स पर सोबोलेव के काम को स्वीकार करते हुए कहा था कि: - "ये मोलिफायर सोबोलेव और लेखक द्वारा पेश किए गए थे..."।<ref>{{Harvtxt|Friedrichs|1953|p=196}}.</ref>
-मोलिफायर्स को कर्ट ओटो फ्रेडरिक्स ने अपने पेपर में पेश किया था {{Harv|Friedrichs|1944|pp=136–139}}, जिसे [[आंशिक अंतर समीकरण]]ों के आधुनिक सिद्धांत में एक वाटरशेड माना जाता है।<ref name="Laxref">See the commentary of [[Peter Lax]] on the paper {{Harv|Friedrichs|1944}} in {{Harv|Friedrichs|1986|loc=volume 1, p. 117}}.</ref> इस गणितीय वस्तु के नाम की एक विचित्र उत्पत्ति थी, और [[पीटर लैक्स]] ने फ्रेडरिक्स सेलेक्टा में प्रकाशित उस पेपर पर अपनी टिप्पणी में पूरी कहानी बताई है।<ref name="Lax.p.117">{{Harv|Friedrichs|1986|loc=volume 1, p. 117}}</ref> उनके अनुसार, उस समय, गणितज्ञ डोनाल्ड अलेक्जेंडर फ़्लैंडर्स फ्रेडरिक्स के सहयोगी थे: चूँकि उन्हें सहकर्मियों से अंग्रेजी के उपयोग के बारे में सलाह लेना पसंद था, इसलिए उन्होंने फ़्लैंडर्स से सलाह मांगी कि वह जिस स्मूथिंग ऑपरेटर का उपयोग कर रहे थे उसका नाम कैसे रखा जाए।<ref name="Laxref" />फ़्लैंडर्स एक [[ नैतिकतावादी ]] थे, उनके नैतिक गुणों की पहचान के लिए उनके दोस्तों ने उन्हें [[मोल फ़्लैंडर्स]] के नाम पर मोल उपनाम दिया था: उन्होंने नई गणितीय अवधारणा को एक मोलिफ़ायर कहने का सुझाव दिया था, जिसमें फ़्लैंडर्स के उपनाम और क्रिया 'विक्षनरी:मोलिफ़ाई' दोनों को शामिल किया गया था, जिसका अर्थ लाक्षणिक अर्थ में 'सुचारू करना' था।<ref>In {{Harv|Friedrichs|1986|loc=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.''"</ref>
+यह बताया जाना चाहिए कि "मोलिफ़ायर" शब्द इन मूलभूत फंक्शन्स के समय से भाषाई विचलन से गुजर रहा है: फ्रेडरिक्स ने "मोलिफ़ायर" को इंटीग्रल ऑपरेटर के रूप में परिभाषित किया है जिसका कर्नेल आजकल '''मोलिफ़ायर''' नामक फंक्शन्स में से एक है। हालाँकि, चूंकि लीनियर इंटीग्रल ऑपरेटर के गुण पूरी तरह से उसके कर्नेल द्वारा निर्धारित होते हैं, इसलिए सामान्य उपयोग के परिणामस्वरूप नाम मोलिफ़ायर कर्नेल द्वारा ही मिला था।
-इससे पहले, [[सर्गेई सोबोलेव]] ने 1938 के पेपर बनाने में मोलिफ़ायर का उपयोग किया था,<ref>See {{Harv|Sobolev|1938}}.</ref> जिसमें [[सोबोलेव एम्बेडिंग प्रमेय]] का प्रमाण शामिल है: फ्रेडरिक्स ने स्वयं मोलिफायर्स पर सोबोलेव के काम को स्वीकार करते हुए कहा कि:- ये मोलिफायर्स सोबोलेव और लेखक द्वारा पेश किए गए थे...।<ref>{{Harvtxt|Friedrichs|1953|p=196}}.</ref>
-यह बताया जाना चाहिए कि इन मूलभूत कार्यों के समय से मोलिफायर शब्द में भाषाई विचलन आया है: फ्रेडरिक्स ने मोलिफायर को [[ अभिन्न ऑपरेटर ]] के रूप में परिभाषित किया है जिसका इंटीग्रल ऑपरेटर आजकल मोलिफायर कहे जाने वाले कार्यों में से एक है। हालाँकि, चूंकि एक लीनियर इंटीग्रल ऑपरेटर के गुण पूरी तरह से उसके कर्नेल द्वारा निर्धारित होते हैं, इसलिए सामान्य उपयोग के परिणामस्वरूप मोलिफ़ायर नाम कर्नेल द्वारा ही विरासत में मिला था।
 == परिभाषा ==
-[[Image:Heat eqn.gif|right|frame|प्रगतिशील मोलीकरण के दौर से गुजर रहा एक कार्य।]]
+[[Image:Heat eqn.gif|right|frame|प्रगतिशील मोलीकरण के दौर से गुजर रहा एक फंक्शन।]]
 === आधुनिक (वितरण आधारित) परिभाषा ===
-{{EquationRef|1|Definition 1.}} अगर<math>\varphi</math>ℝ पर एक सुचारू कार्य है<sup>n</sup>, n ≥ 1, निम्नलिखित तीन आवश्यकताओं को पूरा करता है
+{{EquationRef|1|Definition 1.}} यदि <math>\varphi</math> ℝ<sup>n</sup>, n ≥ 1 पर एक स्मूथ फंक्शन है, तो निम्नलिखित तीन आवश्यकताओं को पूरा करता है
-:{{EquationRef|2|(1){{spaces|2}}}}यह समर्थन है (गणित)<ref>Such as a [[bump function]]</ref> :{{EquationRef|3|(2){{spaces|2}}}}<math>\int_{\mathbb{R}^n}\!\varphi(x)\mathrm{d}x=1</math>
+:{{EquationRef|2|(1){{spaces|2}}}}यह सघन रूप से समर्थित है<ref>Such as a [[bump function]]</ref>
+:{{EquationRef|3|(2){{spaces|2}}}}<math>\int_{\mathbb{R}^n}\!\varphi(x)\mathrm{d}x=1</math>
 :{{EquationRef|4|(3){{spaces|2}}}}<math>\lim_{\epsilon\to 0}\varphi_\epsilon(x) = \lim_{\epsilon\to 0}\epsilon^{-n}\varphi(x / \epsilon)=\delta(x)</math>
-कहाँ <math>\delta(x)</math> [[डिराक डेल्टा फ़ंक्शन]] है और सीमा को श्वार्ट्ज वितरण (गणित) के स्थान में समझा जाना चाहिए, फिर<math>\varphi</math>एक 'मोलिफ़ायर' है. कार्यक्रम<math>\varphi</math>आगे की शर्तों को भी पूरा कर सकता है:<ref>See {{harv|Giusti|1984|p=11}}.</ref> उदाहरण के लिए, यदि यह संतुष्ट करता है
+जहाँ <math>\delta(x)</math> [[डिराक डेल्टा फ़ंक्शन]] है और सीमा को श्वार्ट्ज वितरण (गणित) के स्थान में समझा जाना चाहिए, फिर <math>\varphi</math> एक 'मोलिफ़ायर' है. फ़ंक्शन <math>\varphi</math> आगे की शर्तों को भी पूरा कर सकता है:<ref>See {{harv|Giusti|1984|p=11}}.</ref> उदाहरण के लिए, यदि यह संतुष्ट करता है
-:{{EquationRef|5|(4){{spaces|2}}}}<math>\varphi</math><math>(x)</math> ≥ 0 सभी x ∈ ℝ के लिए<sup>n</sup>, तो इसे 'पॉजिटिव मोलिफ़ायर' कहा जाता है
+:{{EquationRef|5|(4){{spaces|2}}}}<math>\varphi</math><math>(x)</math> ≥ 0 सभी x ∈ ℝ<sup>n</sup> के लिए, तो इसे 'पॉजिटिव मोलिफ़ायर' कहा जाता है
-:{{EquationRef|6|(5){{spaces|2}}}}<math>\varphi</math><math>(x)</math>=<math>\mu</math><math>(|x|)</math> कुछ असीम रूप से भिन्न फ़ंक्शन के लिए<math>\mu</math>: ℝ<sup>+</sup> → ℝ, तो इसे सममित मोलिफ़ायर कहा जाता है
+:{{EquationRef|6|(5){{spaces|2}}}}<math>\varphi</math><math>(x)</math>=<math>\mu</math><math>(|x|)</math> कुछ असीम रूप से भिन्न फ़ंक्शन के लिए <math>\mu</math>: ℝ<sup>+</sup> → ℝ, तो इसे सममित मोलिफ़ायर कहा जाता है
 ===फ्रेडरिक की परिभाषा पर नोट्स===
-नोट 1. जब वितरण का सिद्धांत (गणित) अभी भी व्यापक रूप से ज्ञात नहीं था और न ही इसका उपयोग किया जाता था,<ref>As when the paper {{Harv|Friedrichs|1944}} was published, few years before [[Laurent Schwartz]] widespread his work.</ref> संपत्ति {{EquationNote|4|(3)}}ऊपर यह कहकर तैयार किया गया था कि फ़ंक्शन का कनवल्शन<math>\scriptstyle\varphi_\epsilon</math>उचित [[ हिल्बर्ट स्थान ]] या [[बनच स्थान]] कन्वर्जेंस (गणित) से संबंधित दिए गए फ़ंक्शन के साथ उस फ़ंक्शन के लिए ε → 0:<ref>Obviously the [[topology]] with respect to convergence occurs is the one of the [[Hilbert space|Hilbert]] or [[Banach space]] considered.</ref> कर्ट ओटो फ्रेडरिक्स ने बिल्कुल यही किया।<ref>See {{harv|Friedrichs|1944|pp=136–138}}, properties '''PI''', '''PII''', '''PIII''' and their consequence '''PIII<sub>0</sub>'''.</ref> इससे यह भी स्पष्ट होता है कि मोलिफ़ायर [[अनुमानित पहचान]] से क्यों संबंधित हैं।<ref name="Fredref">Also, in this respect, {{harvtxt|Friedrichs|1944|pp=132}} says:-"''The main tool for the proof is a certain class of smoothing operators approximating unity, the "mollifiers"''.</ref>
+नोट 1. जब वितरण का सिद्धांत अभी भी व्यापक रूप से ज्ञात नहीं था और न ही उपयोग किया जाता था, <ref>As when the paper {{Harv|Friedrichs|1944}} was published, few years before [[Laurent Schwartz]] widespread his work.</ref> ऊपर दी गई गुण {{EquationNote|4|(3)}} को यह कहकर तैयार किया गया था कि उचित हिल्बर्ट या बानाच स्थान से संबंधित किसी दिए गए फ़ंक्शन के साथ फ़ंक्शन <math>\scriptstyle\varphi_\epsilon</math> का कनवल्शन उस फ़ंक्शन के लिए ε → 0 के रूप में परिवर्तित होता है: <ref>Obviously the [[topology]] with respect to convergence occurs is the one of the [[Hilbert space|Hilbert]] or [[Banach space]] considered.</ref>यह बिल्कुल वही है जो फ्रेडरिक्स ने किया था।<ref>See {{harv|Friedrichs|1944|pp=136–138}}, properties '''PI''', '''PII''', '''PIII''' and their consequence '''PIII<sub>0</sub>'''.</ref> इससे यह भी स्पष्ट होता है कि मोलिफ़ायर अनुमानित सर्वसमिका से संबंधित क्यों हैं।<ref name="Fredref">Also, in this respect, {{harvtxt|Friedrichs|1944|pp=132}} says:-"''The main tool for the proof is a certain class of smoothing operators approximating unity, the "mollifiers"''.</ref>
-नोट 2. जैसा कि इस प्रविष्टि के मोलिफायर#ऐतिहासिक नोट्स अनुभाग में संक्षेप में बताया गया है, मूल रूप से, मोलिफायर शब्द ने निम्नलिखित कन्वोल्यूशन की पहचान की:<ref name="Fredref"/><ref>See {{harv|Friedrichs|1944|p=137}}, [[paragraph]] 2, "''Integral operators''".</ref>
+नोट 2. जैसा कि इस प्रविष्टि के मोलिफायर#ऐतिहासिक नोट्स अनुभाग में संक्षेप में बताया गया है, मूल रूप से, मोलिफायर शब्द ने निम्नलिखित कन्वोल्यूशन की सर्वसमिका की:<ref name="Fredref" /><ref>See {{harv|Friedrichs|1944|p=137}}, [[paragraph]] 2, "''Integral operators''".</ref>
 :<math>\Phi_\epsilon(f)(x)=\int_{\mathbb{R}^n}\varphi_\epsilon(x-y) f(y)\mathrm{d}y</math>
-कहाँ <math>\varphi_\epsilon(x)=\epsilon^{-n}\varphi(x/\epsilon)</math> और<math>\varphi</math>ऊपर बताई गई पहली तीन शर्तों और सकारात्मकता और समरूपता के रूप में एक या अधिक पूरक शर्तों को पूरा करने वाला एक सुचारू कार्य है।
+जहाँ <math>\varphi_\epsilon(x)=\epsilon^{-n}\varphi(x/\epsilon)</math> और <math>\varphi</math> ऊपर बताई गई पहली तीन शर्तों और धनात्मक और समरूपता के रूप में एक या अधिक पूरक शर्तों को पूरा करने वाला एक स्मूथ फंक्शन है।
 == ठोस उदाहरण ==
-[[टक्कर समारोह]] पर विचार करें<math>\varphi</math><math>(x)</math> ℝ में एक वेरिएबल (गणित) का<sup>n</sup> द्वारा परिभाषित
+ℝ<sup>n</sup> द्वारा परिभाषित एक वेरिएबल के बम्प फ़ंक्शन <math>\varphi</math><math>(x)</math> पर विचार करें
 <math>\varphi(x) = \begin{cases} e^{-1/(1-|x|^2)}/I_n& \text{ if } |x| < 1\\
 & \text{ if } |x|\geq 1
                   \end{cases}</math>
-जहां संख्यात्मक स्थिरांक <math> I_n</math> सामान्यीकरण सुनिश्चित करता है। यह फ़ंक्शन गैर-विश्लेषणात्मक सुचारू फ़ंक्शन है | असीम रूप से भिन्न, गायब होने वाले व्युत्पन्न के साथ गैर-विश्लेषणात्मक {{math|<nowiki>|</nowiki>''x''<nowiki>|</nowiki> {{=}} 1}}.<math>\varphi</math>जैसा कि ऊपर वर्णित है, इसे मोलिफ़ायर के रूप में उपयोग किया जा सकता है: कोई इसे देख सकता है<math>\varphi</math><math>(x)</math> एक सकारात्मक और सममित मोलिफ़ायर को परिभाषित करता है।<ref>See {{Harv|Hörmander|1990|p=14}}, [[lemma (mathematics)|lemma]] 1.2.3.: the example is stated in implicit form by first defining
-:<math>f(t)=\exp({-1/t})</math> for <math>t\in\mathbb{R}_+</math>,
+जहां संख्यात्मक स्थिरांक <math> I_n</math> सामान्यीकरण सुनिश्चित करता है। यह फ़ंक्शन असीम रूप से भिन्न है, गैर-विश्लेषणात्मक है और {{math|<nowiki>|</nowiki>''x''<nowiki>|</nowiki> {{=}} 1}} के लिए लुप्त व्युत्पन्न है जैसा कि ऊपर बताया गया है, <math>\varphi</math> को मोलिफ़ायर के रूप में उपयोग किया जा सकता है: कोई देख सकता है कि <math>\varphi</math><math>(x)</math> एक धनात्मक और सममित मोलिफ़ायर को परिभाषित करता है।<ref>See {{Harv|Hörmander|1990|p=14}}, [[lemma (mathematics)|lemma]] 1.2.3.: the example is stated in implicit form by first defining
+:<math>f(t)=\exp({-1/t})</math> for <math>t\in\mathbb{R}_+</math>,
 and then considering
-:<math>f(x)=f\big(1-|x|^2\big)=\exp\big(1-|x|^2\big)</math> for <math>x\in\mathbb{R}^n</math>.</ref>
+:<math>f(x)=f\big(1-|x|^2\big)=\exp\big(1-|x|^2\big)</math> for <math>x\in\mathbb{R}^n</math>.</ref> [[File:Mollifier Illustration.svg|center|frame|फ़ंक्शन<math>\varphi</math><math>(x)</math> आयाम (गणित) में एक]]
-[[File:Mollifier Illustration.svg|center|frame|कार्यक्रम<math>\varphi</math><math>(x)</math> आयाम (गणित) में एक]]
 == गुण ==
-एक मोलिफ़ायर के सभी गुण कनवल्शन के संचालन के तहत उसके व्यवहार से संबंधित हैं: हम निम्नलिखित को सूचीबद्ध करते हैं, जिनके प्रमाण वितरण (गणित) पर प्रत्येक पाठ में पाए जा सकते हैं।<ref>See for example {{Harv|Hörmander|1990}}.</ref>
+एक मोलिफायर के सभी गुण कनवल्शन के संचालन के तहत उसके व्यवहार से संबंधित होते हैं: हम निम्नलिखित को सूचीबद्ध करते हैं, जिनके प्रमाण वितरण सिद्धांत पर प्रत्येक पाठ में पाए जा सकते हैं।<ref>See for example {{Harv|Hörmander|1990}}.</ref>
+=== समरेखण गुण ===
+किसी भी वितरण के लिए <math>T</math>, [[वास्तविक संख्या]] <math>\epsilon</math> द्वारा अनुक्रमित कनवल्शन का निम्नलिखित परिवार
-=== चौरसाई संपत्ति ===
-किसी भी वितरण के लिए <math>T</math>, [[वास्तविक संख्या]] द्वारा अनुक्रमित कनवल्शन का निम्नलिखित परिवार <math>\epsilon</math>
 :<math>T_\epsilon = T\ast\varphi_\epsilon</math>
-कहाँ <math>\ast</math> कनवल्शन को दर्शाता है, सुचारू कार्यों का एक परिवार है।
+जहाँ <math>\ast</math> कनवल्शन को दर्शाता है, यह स्मूथ फंक्शन्स का एक परिवार है।
-===पहचान का अनुमान===
+===सर्वसमिका का अनुमान===
-किसी भी वितरण के लिए <math>T</math>, वास्तविक संख्या द्वारा अनुक्रमित कनवल्शन का निम्नलिखित परिवार <math>\epsilon</math> में एकत्रित हो जाता है <math>T</math>
+किसी भी वितरण <math>T</math> के लिए, वास्तविक संख्या <math>\epsilon</math> एप्सिलॉन द्वारा अनुक्रमित कनवल्शन का निम्नलिखित परिवार <math>T</math> में परिवर्तित हो जाता है।
 :<math>\lim_{\epsilon\to 0}T_\epsilon = \lim_{\epsilon\to 0}T\ast\varphi_\epsilon=T\in D^\prime(\mathbb{R}^n)</math>
 === कनवल्शन का समर्थन===
-किसी भी वितरण के लिए <math>T</math>,
+किसी भी वितरण <math>T</math> के लिए ,
 :<math>\operatorname{supp}T_\epsilon=\operatorname{supp}(T\ast\varphi_\epsilon)\subset\operatorname{supp}T+\operatorname{supp}\varphi_\epsilon</math>,
-कहाँ <math>\operatorname{supp}</math> वितरण (गणित)#वितरण के अर्थ में वितरण का समर्थन इंगित करता है, और <math>+</math> उनके मिन्कोव्स्की जोड़ को इंगित करता है।
+जहाँ <math>\operatorname{supp}</math> वितरण के अर्थ में वितरण का समर्थन इंगित करता है, और <math>+</math> उनके मिन्कोव्स्की योग को इंगित करता है।
 == अनुप्रयोग ==
-मोलिफ़ायर का मूल अनुप्रयोग यह साबित करना है कि सुचारू कार्यों के लिए मान्य गुण गैर-सुचारू स्थितियों में भी मान्य हैं:
+मोलिफ़ायर का मूल अनुप्रयोग यह सिद्ध करना है कि स्मूथ फंक्शन्स के लिए मान्य गुण गैर-स्मूथ स्थितियों में भी मान्य हैं:
-=== वितरण का उत्पाद ===
+=== वितरण गुणनफल ===
-सामान्यीकृत कार्यों के कुछ सिद्धांतों में, सामान्यीकृत फ़ंक्शन को परिभाषित करने के लिए मोलिफायर का उपयोग किया जाता है#वितरण का गुणन: सटीक रूप से, दो वितरण दिए गए हैं <math>S</math> और <math>T</math>, वितरण की सीमा (गणित)#एक सुचारु कार्य के एक सुचारु कार्य द्वारा गुणा और एक वितरण (गणित)
+सामान्यीकृत फंक्शन्स के कुछ सिद्धांतों में, वितरण के गुणन को परिभाषित करने के लिए मोलिफायर का उपयोग किया जाता है: सटीक रूप से, दो वितरण <math>S</math> और <math>T</math> दिए जाने पर, एक स्मूथ कार्य और एक वितरण के गुणनफल की सीमा
 :<math>\lim_{\epsilon\to 0}S_\epsilon\cdot T=\lim_{\epsilon\to 0}S\cdot T_\epsilon\overset{\mathrm{def}}{=}S\cdot T</math>
-सामान्यीकृत कार्यों के विभिन्न सिद्धांतों में उनके उत्पाद को परिभाषित करता है (यदि यह मौजूद है)।
+सामान्यीकृत फंक्शन्स के विभिन्न सिद्धांतों में उनके गुणनफल को परिभाषित करता है (यदि यह मौजूद है)।
-=== कमजोर=मजबूत प्रमेय===
+=== "वीक= स्ट्रांग" प्रमेय===
-बहुत अनौपचारिक रूप से, मोलिफ़ायर का उपयोग अंतर ऑपरेटरों के दो अलग-अलग प्रकार के विस्तार की पहचान साबित करने के लिए किया जाता है: मजबूत विस्तार और कमजोर फॉर्मूलेशन। कागज़ {{Harv|Friedrichs|1944}} इस अवधारणा को काफी अच्छी तरह से चित्रित करता है: हालाँकि इसका वास्तव में क्या मतलब है यह दिखाने के लिए आवश्यक तकनीकी विवरणों की उच्च संख्या उन्हें इस संक्षिप्त विवरण में औपचारिक रूप से विस्तृत होने से रोकती है।
+बहुत ही अनौपचारिक रूप से, मोलिफायर का उपयोग अंतर ऑपरेटरों के दो अलग-अलग प्रकार के विस्तार की पहचान साबित करने के लिए किया जाता है: स्ट्रांग विस्तार और वीक विस्तार। पेपर (फ्रेडरिक्स 1944) इस अवधारणा को अच्छी तरह से चित्रित करता है: हालाँकि इसका वास्तव में क्या मतलब है यह दिखाने के लिए आवश्यक तकनीकी विवरणों की उच्च संख्या उन्हें इस संक्षिप्त विवरण में औपचारिक रूप से विस्तृत होने से रोकती है।
 === स्मूथ कटऑफ फ़ंक्शन ===
-[[यूनिट बॉल]] के संकेतक फ़ंक्शन के कनवल्शन द्वारा <math>B_1 = \{x : |x|<1\}</math> सुचारू कार्य के साथ<math>\varphi_{1/2}</math>(के रूप में परिभाषित किया गया है {{EquationNote|4|(3)}} साथ <math>\epsilon = 1/2</math>), कोई फ़ंक्शन प्राप्त करता है
+[[यूनिट बॉल]] के संकेतक फ़ंक्शन के कनवल्शन द्वारा <math>B_1 = \{x : |x|<1\}</math> स्मूथ फंक्शन <math>\varphi_{1/2}</math> के साथ(के रूप में परिभाषित किया गया है {{EquationNote|4|(3)}} साथ <math>\epsilon = 1/2</math>), कोई फ़ंक्शन प्राप्त करता है
 :<math>
@@ Line 79: / Line 80: @@
 \chi_{B_1}(x-y) \varphi_{1/2}(y)\mathrm{d}y \ \ \ (\because\ \mathrm{supp}(\varphi_{1/2})=B_{1/2})
 </math>
-जो कि एक सुचारु कार्य के बराबर है <math>1</math> पर <math>B_{1/2} = \{ x: |x| < 1/2 \}</math>, में निहित समर्थन के साथ <math>B_{3/2}=\{ x: |x| < 3/2 \}</math>. इसका अवलोकन करके आसानी से देखा जा सकता है कि यदि <math>|x|</math> ≤ <math>1/2</math> और <math>|y|</math> ≤ <math>1/2</math> तब <math> |x-y|</math> ≤ <math>1</math>. इसलिए के लिए <math>|x|</math> ≤ <math>1/2</math>,
+जो कि एक सुचारु फंक्शन के बराबर है <math>1</math> पर <math>B_{1/2} = \{ x: |x| < 1/2 \}</math>, में निहित समर्थन के साथ <math>B_{3/2}=\{ x: |x| < 3/2 \}</math>. इसका अवलोकन करके आसानी से देखा जा सकता है कि यदि <math>|x|</math> ≤ <math>1/2</math> और <math>|y|</math> ≤ <math>1/2</math> तब <math> |x-y|</math> ≤ <math>1</math>. इसलिए <math>|x|</math> ≤ <math>1/2</math>, के लिए
 :<math>
 \int_{B_{1/2}}\!\!\!\chi_{B_1}(x-y) \varphi_{1/2}(y)\mathrm{d}y= \int_{B_{1/2}}\!\!\!
   \varphi_{1/2}(y)\mathrm{d}y=1
 </math>.
-कोई यह देख सकता है कि किसी दिए गए [[कॉम्पैक्ट सेट]] के [[पड़ोस (टोपोलॉजी)]] के समान एक सुचारू फ़ंक्शन प्राप्त करने के लिए इस निर्माण को कैसे सामान्यीकृत किया जा सकता है, और प्रत्येक बिंदु पर शून्य के बराबर जिसकी इस सेट से [[दूरी]] किसी दिए गए से अधिक है <math>\epsilon</math>.<ref>A proof of this fact can be found in {{Harv|Hörmander|1990|p=25}}, Theorem 1.4.1.</ref> ऐसे फ़ंक्शन को (सुचारू) कटऑफ फ़ंक्शन कहा जाता है: उन [[फ़ंक्शन (गणित)]] का उपयोग गुणन द्वारा किसी दिए गए (सामान्यीकृत फ़ंक्शन) फ़ंक्शन (गणित) की विलक्षणताओं को खत्म करने के लिए किया जाता है। वे (सामान्यीकृत फ़ंक्शन) फ़ंक्शन (गणित) के मान को अपरिवर्तित छोड़ देते हैं, वे केवल दिए गए [[सेट (गणित)]] पर [[गुणा]] करते हैं, इस प्रकार इसके वितरण (गणित) को संशोधित करते हैं #वितरण का समर्थन: कटऑफ फ़ंक्शन भी स्मूथ फ़ंक्शन के मूल भाग हैं# एकता का सहज विभाजन.
+कोई यह देख सकता है कि इस निर्माण को किसी दिए गए [[कॉम्पैक्ट सेट]] के परिवेश में एक के समान एक स्मूथ फ़ंक्शन प्राप्त करने के लिए सामान्यीकृत किया जा सकता है, और प्रत्येक बिंदु पर शून्य के बराबर है जिसकी इस सेट से दूरी किसी दिए गए <math>\epsilon</math> से अधिक है।<ref>A proof of this fact can be found in {{Harv|Hörmander|1990|p=25}}, Theorem 1.4.1.</ref>  ऐसे फ़ंक्शन को (स्मूथ) कटऑफ फ़ंक्शन कहा जाता है: उन कार्यों का उपयोग गुणन द्वारा दिए गए (सामान्यीकृत) फ़ंक्शन की विलक्षणताओं को खत्म करने के लिए किया जाता है। वे (सामान्यीकृत) फ़ंक्शन के मूल्य को अपरिवर्तित छोड़ देते हैं, वे केवल दिए गए सेट पर गुणा करते हैं, इस प्रकार इसके समर्थन को संशोधित करते हैं: कटऑफ फ़ंक्शन भी एकता के स्मूथ विभाजन के मूल भाग हैं।
 ==यह भी देखें==
-*अनुमानित पहचान
+* अनुमानित सर्वसमिका
 * बम्प फ़ंक्शन
 * कनवल्शन
 * वितरण (गणित)
-* सामान्यीकृत कार्य
+* सामान्यीकृत फ़ंक्शन
-* कर्ट ओटो फ्रेडरिक्स
+* कर्ट ओट्टो फ्रेडरिक्स
-* [[गैर-विश्लेषणात्मक सुचारू कार्य]]
+* गैर-विश्लेषणात्मक स्मूथ फंक्शन
-* सर्गेई सोबोलेव
+* सेर्गेई सोबोलेव
-* [[वीयरस्ट्रैस परिवर्तन]]
+* वीयरस्ट्रास परिवर्तन
 ==टिप्पणियाँ==
@@ Line 203: / Line 204: @@
 | zbl = 0022.14803
 }}. The paper where Sergei Sobolev proved his [[Sobolev embedding theorem|embedding theorem]], introducing and using [[integral operator]]s very similar to mollifiers, without naming them.
-[[Category: कार्यात्मक विश्लेषण]] [[Category: सुचारू कार्य]] [[Category: श्वार्ट्ज वितरण]]
-[[Category: Machine Translated Page]]
+[[Category:CS1]]
+[[Category:CS1 maint]]
 [[Category:Created On 21/07/2023]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:Templates Vigyan Ready]]
+[[Category:कार्यात्मक विश्लेषण]]
+[[Category:श्वार्ट्ज वितरण]]
+[[Category:सुचारू कार्य]]

Anonymous

Search

मोलिफ़ायर: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 15:11, 31 July 2023

Contents

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