बम्प फलन (फंक्शन): Difference between revisions
No edit summary |
No edit summary |
||
| (6 intermediate revisions by 4 users not shown) | |||
| Line 11: | Line 11: | ||
(वर्ग) बम्प फलन का एक सरल उदाहरण <math>n</math> चर का उत्पाद लेकर प्राप्त किया जाता है <math>n</math> उपरोक्त बम्प फलन की प्रतियां एक चर में हैं, इसलिए | (वर्ग) बम्प फलन का एक सरल उदाहरण <math>n</math> चर का उत्पाद लेकर प्राप्त किया जाता है <math>n</math> उपरोक्त बम्प फलन की प्रतियां एक चर में हैं, इसलिए | ||
<math display="block">\Phi(x_1, x_2, \dots, x_n) = \Psi(x_1) \Psi(x_2) \cdots \Psi(x_n).</math> | <math display="block">\Phi(x_1, x_2, \dots, x_n) = \Psi(x_1) \Psi(x_2) \cdots \Psi(x_n).</math> | ||
== फलन बम्प का अस्तित्व == | |||
[[Image:Venn diagram of three sets.svg|thumb|निर्माण में समूह का एक उदाहरण.|100x100px]]विशिष्टताओं के लिए बम्प कार्यों का निर्माण करना संभव है। औपचारिक रूप से कहा गया है, अगर <math>K</math> में एक मनमाना [[कॉम्पैक्ट सेट|कॉम्पैक्ट समुच्चय]] है <math>n</math> आयाम और <math>U</math> युक्त एक [[Index.php?title=खुला समूह|खुला समुच्चय]] है <math>K,</math> एक बम्प फलन उपस्थित है <math>\phi</math> जो है <math>1</math> पर <math>K</math> तथा <math>0</math> के बाहर <math>U.</math> तब से <math>U</math> का एक बहुत छोटा समीपवर्ती स्थान माना जा सकता है <math>K,</math> यह एक फलन बनाने में सक्षम होने के बराबर है <math>1</math> पर <math>K</math> और तेजी से गिर जाता है <math>0</math> के बाहर <math>K,</math> जबकि अभी भी सम है। | |||
निर्माण निम्नानुसार आगे बढ़ता है। एक सघन समीपवर्ती स्थान पर विचार करता है <math>V</math> का <math>K</math> इसमें रखा <math>U,</math> इसलिए <math>K \subseteq V^\circ\subseteq V \subseteq U.</math> [[सूचक समारोह|सूचक फलन]] <math>\chi_V</math> का <math>V</math> के बराबर होगा <math>1</math> पर <math>V</math> तथा <math>0</math> के बाहर <math>V,</math> तो विशेष रूप से, यह होगा <math>1</math> पर <math>K</math> तथा <math>0</math> के बाहर <math>U.</math> हालांकि यह फलन सम नहीं है। मुख्य विचार सम करना है <math>\chi_V</math> थोड़ा सा, का [[घुमाव]] लेकर <math>\chi_V</math> एक [[शमन करनेवाला]] के साथ है। उत्तरार्द्ध बहुत छोटे समर्थन के साथ एक बम्प कार्य है और जिसका अभिन्न अंग है <math>1.</math> इस तरह के एक मोलिफायर को प्राप्त किया जा सकता है, उदाहरण के लिए, बम्प फलन लेकर <math>\Phi</math> पिछले अनुभाग से और उचित सपरिवर्तन करना। | |||
वैकल्पिक निर्माण जिसमें आक्षेप शामिल नहीं है,अब विस्तृत है। किसी भी सुचारू कार्य से प्रारंभ करें <math>c : \R \to \R</math> जो ऋणात्मक रील्स पर लुप्त हो जाता है और धनात्मक रील्स पर धनात्मक होता है (अर्थात, <math>c = 0</math> पर <math>(-\infty, 0)</math> तथा <math>c > 0</math> पर <math>(0, \infty),</math> जहां बाएं से निरंतरता जरूरी है <math>c(0) = 0</math>); ऐसे फलन का एक उदाहरण है <math>c(x) := e^{-1/x}</math> के लिये <math>x > 0</math> तथा <math>c(x) := 0</math> अन्यथा।{{sfn|Nestruev|2020|pp=13-16}} एक खुले उपसमुच्चय को ठीक करें <math>U</math> का <math>\R^n</math> और सामान्य [[यूक्लिडियन मानदंड]] को निरूपित करें <math>\| \cdot \|</math> (इसलिए <math>\R^n</math> सामान्य [[यूक्लिडियन मीट्रिक]] के साथ संपन्न है)। निम्नलिखित निर्माण एक सुचारू कार्य को परिभाषित करता है <math>f : \R^n \to \R</math> वह धनात्मक है <math>U</math> और बाहर लुप्त हो जाता है <math>U.</math>{{sfn|Nestruev|2020|pp=13-16}} तो विशेष रूप से अगर <math>U</math> अपेक्षाकृत सघन है तो यह फलन <math>f</math> बम्प फलन होगा। | |||
<math display="block">M_k := \sup \left\{ \left| \frac{\partial^p f_k}{\partial^{p_1} x_1 \cdots \partial^{p_n} x_n}(x) \right| ~:~ x \in \R^n \text{ and } p_1, \ldots, p_n, p \in \Z \text{ satisfy } 0 \leq p_i \leq k \text{ and } p = \sum_i p_i \right\},</math> | यदि <math>U = \R^n</math>और <math>f := 1</math> जबकि अगर <math>U = \varnothing</math> और <math>f := 0</math>; तो मान लो <math>U</math> इनमें से कोई भी नहीं है। <math>\left(U_k\right)_{k=1}^{\infty}</math> का खुला आवरण है <math>U</math> ओपन बॉलों से जहां ओपन बॉल <math>U_k</math> त्रिज्या है <math>r_k > 0</math> और केंद्र <math>a_k \in U.</math> फिर नक्शा <math>f_k : \R^n \to \R</math> द्वारा परिभाषित <math>f_k(x) := c\left(r_k^2 - \left\|x - a_k\right\|^2\right)</math> एक सुचारू कार्य है जो धनात्मक है <math>U_k</math> और लुप्त हो जाता है <math>U_k.</math>{{sfn|Nestruev|2020|pp=13-16}} हर एक के लिए <math>k \in \N,</math> होने देना<math display="block">M_k := \sup \left\{ \left| \frac{\partial^p f_k}{\partial^{p_1} x_1 \cdots \partial^{p_n} x_n}(x) \right| ~:~ x \in \R^n \text{ and } p_1, \ldots, p_n, p \in \Z \text{ satisfy } 0 \leq p_i \leq k \text{ and } p = \sum_i p_i \right\},</math> | ||
जो कि एक रील्स संख्या है क्योंकि किसी भी समय श्रेष्ठता लुप्त हो जाती है <math>x</math> के बाहर <math>U_k</math> जबकि सघन समूह पर <math>\overline{U_k},</math> आंशिक यौगिक के मान परिबद्ध हैं।<ref group="note">The partial derivatives <math>\frac{\partial^p f_k}{\partial^{p_1} x_1 \cdots \partial^{p_n} x_n} : \R^n \to \R</math> are continuous functions so the image of the compact subset <math>\overline{U_k}</math> is a compact subset of <math>\R.</math> The supremum is over all non-negative integers <math>0 \leq p = p_1 + \cdots + p_n \leq k</math> where because <math>k</math> and <math>n</math> are fixed, this supremum is taken over only finitely many partial derivatives, which is why <math>M_k < \infty.</math></ref> श्रृंखला | जो कि एक रील्स संख्या है क्योंकि किसी भी समय श्रेष्ठता लुप्त हो जाती है <math>x</math> के बाहर <math>U_k</math> जबकि सघन समूह पर <math>\overline{U_k},</math> आंशिक यौगिक के मान परिबद्ध हैं।<ref group="note">The partial derivatives <math>\frac{\partial^p f_k}{\partial^{p_1} x_1 \cdots \partial^{p_n} x_n} : \R^n \to \R</math> are continuous functions so the image of the compact subset <math>\overline{U_k}</math> is a compact subset of <math>\R.</math> The supremum is over all non-negative integers <math>0 \leq p = p_1 + \cdots + p_n \leq k</math> where because <math>k</math> and <math>n</math> are fixed, this supremum is taken over only finitely many partial derivatives, which is why <math>M_k < \infty.</math></ref> श्रृंखला | ||
<math display="block">f := \sum_{k=1}^{\infty} \frac{f_k}{2^k M_k}</math> | <math display="block">f := \sum_{k=1}^{\infty} \frac{f_k}{2^k M_k}</math> | ||
| Line 25: | Line 27: | ||
एक उपप्रमेय के रूप में, दो असंयुक्त बंद उपसमुच्चय दिए गए हैं <math>A, B</math> का <math>\R^n</math> और सुचारू गैर-ऋणात्मक कार्य <math>f_A, f_B : \R^n \to [0, \infty)</math> ऐसा किसी के लिए अगर <math>x \in \R^n,</math> <math>f_A(x) = 0</math> और अगर <math>x \in A,</math> और इसी तरहअगर, <math>f_B(x) = 0</math> और अगर <math>x \in B,</math> फिर फलन <math>f := \frac{f_A}{f_A + f_B} : \R^n \to [0, 1]</math> सम है और किसी के लिए अगर <math>x \in \R^n,</math> <math>f(x) = 0</math> और अगर <math>x \in A,</math> <math>f(x) = 1</math> और अगर <math>x \in B,</math> तथा <math>0 < f(x) < 1</math> और अगर <math>x \not\in A \cup B.</math>{{sfn|Nestruev|2020|pp=13-16}} विशेष रूप से, <math>f(x) \neq 0</math> और अगर <math>x \in \R^n \smallsetminus A,</math> तो अगर इसके अलावा <math>U := \R^n \smallsetminus A</math> में अपेक्षाकृत सघन है <math>\R^n</math> (कहाँ पे <math>A \cap B = \varnothing</math> तात्पर्य <math>B \subseteq U</math>) फिर <math>f</math> में सहयोग के साथ एक सम बम्प फलन होगा <math>\overline{U}.</math> | एक उपप्रमेय के रूप में, दो असंयुक्त बंद उपसमुच्चय दिए गए हैं <math>A, B</math> का <math>\R^n</math> और सुचारू गैर-ऋणात्मक कार्य <math>f_A, f_B : \R^n \to [0, \infty)</math> ऐसा किसी के लिए अगर <math>x \in \R^n,</math> <math>f_A(x) = 0</math> और अगर <math>x \in A,</math> और इसी तरहअगर, <math>f_B(x) = 0</math> और अगर <math>x \in B,</math> फिर फलन <math>f := \frac{f_A}{f_A + f_B} : \R^n \to [0, 1]</math> सम है और किसी के लिए अगर <math>x \in \R^n,</math> <math>f(x) = 0</math> और अगर <math>x \in A,</math> <math>f(x) = 1</math> और अगर <math>x \in B,</math> तथा <math>0 < f(x) < 1</math> और अगर <math>x \not\in A \cup B.</math>{{sfn|Nestruev|2020|pp=13-16}} विशेष रूप से, <math>f(x) \neq 0</math> और अगर <math>x \in \R^n \smallsetminus A,</math> तो अगर इसके अलावा <math>U := \R^n \smallsetminus A</math> में अपेक्षाकृत सघन है <math>\R^n</math> (कहाँ पे <math>A \cap B = \varnothing</math> तात्पर्य <math>B \subseteq U</math>) फिर <math>f</math> में सहयोग के साथ एक सम बम्प फलन होगा <math>\overline{U}.</math> | ||
== गुण और उपयोग == | == गुण और उपयोग == | ||
| Line 39: | Line 39: | ||
<math display="block">|k|^{-3/4} e^{-\sqrt{|k|}}</math> | <math display="block">|k|^{-3/4} e^{-\sqrt{|k|}}</math> | ||
बड़े के लिए <math>|k|</math>.<ref>[[Steven G. Johnson]], [https://arxiv.org/abs/1508.04376 Saddle-point integration of ''C''<sub>∞</sub> "bump" functions], arXiv:1508.04376 (2015).</ref> | बड़े के लिए <math>|k|</math>.<ref>[[Steven G. Johnson]], [https://arxiv.org/abs/1508.04376 Saddle-point integration of ''C''<sub>∞</sub> "bump" functions], arXiv:1508.04376 (2015).</ref> | ||
== यह भी देखें == | == यह भी देखें == | ||
| Line 47: | Line 45: | ||
* {{annotated link|गैर-विश्लेषणात्मक स्मूथ फलन}} | * {{annotated link|गैर-विश्लेषणात्मक स्मूथ फलन}} | ||
* {{annotated link|श्वार्ट्ज समतल}} | * {{annotated link|श्वार्ट्ज समतल}} | ||
== उद्धरण == | == उद्धरण == | ||
{{reflist|group=note}} | {{reflist|group=note}} | ||
{{reflist}} | {{reflist}} | ||
== संदर्भ == | == संदर्भ == | ||
* | * | ||
{{DEFAULTSORT:Bump Function}} | {{DEFAULTSORT:Bump Function}} | ||
[[Category:Machine Translated Page|Bump Function]] | |||
[[Category:Pages with script errors|Bump Function]] | |||
[[Category:Templates Vigyan Ready]] | |||
Latest revision as of 11:43, 7 February 2023
गणित में, एक बम्प फलन (जिसे परीक्षण फलन भी कहा जाता है)। एक फलन (गणित) यूक्लिडियन अंतरिक्ष पर है, जो दोनों सुचारू कार्य (सभी आदेशों के सतत कार्य यौगिक होने के अर्थ में) और समर्थन (गणित) सघन समर्थन। किसी फलन के प्रभाव क्षेत्र के साथ सभी बम्प फलन का निरूपित एक सदिश स्थान बनाता है। या एक उपयुक्त स्थानिक स्थान के साथ संपन्न इस स्थान का दोहरा स्थान परिभाषाएँ वितरण (गणित) का स्थान है।
उदाहरण
कार्यक्रम के द्वारा दिया गया
फलन बम्प का अस्तित्व
विशिष्टताओं के लिए बम्प कार्यों का निर्माण करना संभव है। औपचारिक रूप से कहा गया है, अगर में एक मनमाना कॉम्पैक्ट समुच्चय है आयाम और युक्त एक खुला समुच्चय है एक बम्प फलन उपस्थित है जो है पर तथा के बाहर तब से का एक बहुत छोटा समीपवर्ती स्थान माना जा सकता है यह एक फलन बनाने में सक्षम होने के बराबर है पर और तेजी से गिर जाता है के बाहर जबकि अभी भी सम है।
निर्माण निम्नानुसार आगे बढ़ता है। एक सघन समीपवर्ती स्थान पर विचार करता है का इसमें रखा इसलिए सूचक फलन का के बराबर होगा पर तथा के बाहर तो विशेष रूप से, यह होगा पर तथा के बाहर हालांकि यह फलन सम नहीं है। मुख्य विचार सम करना है थोड़ा सा, का घुमाव लेकर एक शमन करनेवाला के साथ है। उत्तरार्द्ध बहुत छोटे समर्थन के साथ एक बम्प कार्य है और जिसका अभिन्न अंग है इस तरह के एक मोलिफायर को प्राप्त किया जा सकता है, उदाहरण के लिए, बम्प फलन लेकर पिछले अनुभाग से और उचित सपरिवर्तन करना।
वैकल्पिक निर्माण जिसमें आक्षेप शामिल नहीं है,अब विस्तृत है। किसी भी सुचारू कार्य से प्रारंभ करें जो ऋणात्मक रील्स पर लुप्त हो जाता है और धनात्मक रील्स पर धनात्मक होता है (अर्थात, पर तथा पर जहां बाएं से निरंतरता जरूरी है ); ऐसे फलन का एक उदाहरण है के लिये तथा अन्यथा।[1] एक खुले उपसमुच्चय को ठीक करें का और सामान्य यूक्लिडियन मानदंड को निरूपित करें (इसलिए सामान्य यूक्लिडियन मीट्रिक के साथ संपन्न है)। निम्नलिखित निर्माण एक सुचारू कार्य को परिभाषित करता है वह धनात्मक है और बाहर लुप्त हो जाता है [1] तो विशेष रूप से अगर अपेक्षाकृत सघन है तो यह फलन बम्प फलन होगा।
यदि और जबकि अगर और ; तो मान लो इनमें से कोई भी नहीं है। का खुला आवरण है ओपन बॉलों से जहां ओपन बॉल त्रिज्या है और केंद्र फिर नक्शा द्वारा परिभाषित एक सुचारू कार्य है जो धनात्मक है और लुप्त हो जाता है [1] हर एक के लिए होने देना
एक उपप्रमेय के रूप में, दो असंयुक्त बंद उपसमुच्चय दिए गए हैं का और सुचारू गैर-ऋणात्मक कार्य ऐसा किसी के लिए अगर और अगर और इसी तरहअगर, और अगर फिर फलन सम है और किसी के लिए अगर और अगर और अगर तथा और अगर [1] विशेष रूप से, और अगर तो अगर इसके अलावा में अपेक्षाकृत सघन है (कहाँ पे तात्पर्य ) फिर में सहयोग के साथ एक सम बम्प फलन होगा
गुण और उपयोग
जबकि बम्प फलन सुचारू हैं, वे विश्लेषणात्मक फलन नहीं हो सकते हैं जब तक कि वे किसी फलन के समान रूप से शून्य न हों, यह पहचान प्रमेय का एक सरल परिणाम है। बम्प फलन का उपयोग अक्सर मोलिफ़ायर के रूप में, सम कटऑफ फलन के रूप में और एकता के सम विभाजन बनाने के लिए किया जाता है। वे विश्लेषण में उपयोग किए जाने वाले परीक्षण कार्यों का सबसे सामान्य वर्ग हैं। कई संचालन के तहत बम्प फलन का स्थान बंद है। उदाहरण के लिए, दो बम्प कार्यों का योग, उत्पाद, या दृढ़ संकल्प फिर से एक बम्प कार्य होता है, और सम गुणांक वाले किसी भी अंतर ऑपरेटर, जब बम्प फलन पर लागू होता है, तो एक और बम्प कार्य उत्पन्न करेगा।
यदि बम्प फलन क्षेत्र की सीमाएँ हैं , सम की आवश्यकता को पूरा करने के लिए इसे अपने सभी यौगिक की निरंतरता को बनाए रखना होगा, जो इसके क्षेत्र की सीमाओं पर निम्नलिखित आवश्यकता की ओर ले जाता है:
यह भी देखें
उद्धरण
- ↑ The partial derivatives are continuous functions so the image of the compact subset is a compact subset of The supremum is over all non-negative integers where because and are fixed, this supremum is taken over only finitely many partial derivatives, which is why
- ↑ 1.0 1.1 1.2 1.3 1.4 1.5 Nestruev 2020, pp. 13–16.
- ↑ K. O. Mead and L. M. Delves, "On the convergence rate of generalized Fourier expansions," IMA J. Appl. Math., vol. 12, pp. 247–259 (1973) doi:10.1093/imamat/12.3.247.
- ↑ Steven G. Johnson, Saddle-point integration of C∞ "bump" functions, arXiv:1508.04376 (2015).