बम्प फलन (फंक्शन): Difference between revisions

From Vigyanwiki
(Created page with "गणित में, एक '''बम्प फलन''' (जिसे परीक्षण फलन भी कहा जाता है)'''।''' एक फलन (ग...")
 
No edit summary
 
(8 intermediate revisions by 4 users not shown)
Line 1: Line 1:
गणित में, एक '''बम्प फलन''' (जिसे परीक्षण फलन भी कहा जाता है)'''।''' एक फलन (गणित) <math>f: \R^n \to \R</math>  [[यूक्लिडियन अंतरिक्ष]] पर <math>\R^n</math>है, जो दोनों सुचारू कार्य  (सभी आदेशों के सतत कार्य [[यौगिक]] होने के अर्थ में) और समर्थन (गणित) #सघन समर्थन। किसी फलन के प्रभाव क्षेत्र के साथ सभी बम्प फलन का  <math>\R^n</math> निरूपित एक सदिश स्थान बनाता है'''।''' <math>\mathrm{C}^\infty_0(\R^n)</math> या <math>\mathrm{C}^\infty_\mathrm{c}(\R^n).</math> एक उपयुक्त स्थानिक स्थान के साथ संपन्न इस स्थान का दोहरा स्थान # परिभाषाएँ [[वितरण (गणित)]] का स्थान है।
गणित में, एक '''बम्प फलन''' (जिसे परीक्षण फलन भी कहा जाता है)'''।''' एक फलन (गणित) <math>f: \R^n \to \R</math>  [[यूक्लिडियन अंतरिक्ष]] पर <math>\R^n</math>है, जो दोनों सुचारू कार्य  (सभी आदेशों के सतत कार्य [[यौगिक]] होने के अर्थ में) और समर्थन (गणित) सघन समर्थन। किसी फलन के प्रभाव क्षेत्र के साथ सभी बम्प फलन का  <math>\R^n</math> निरूपित एक सदिश स्थान बनाता है'''।''' <math>\mathrm{C}^\infty_0(\R^n)</math> या <math>\mathrm{C}^\infty_\mathrm{c}(\R^n).</math> एक उपयुक्त स्थानिक स्थान के साथ संपन्न इस स्थान का दोहरा स्थान परिभाषाएँ [[वितरण (गणित)]] का स्थान है।


== उदाहरण ==
== उदाहरण ==
Line 8: Line 8:
0, & \text{otherwise}  
0, & \text{otherwise}  
\end{cases}</math>
\end{cases}</math>
एक आयाम में बम्प फलन का एक उदाहरण है। निर्माण से यह स्पष्ट है कि इस फलन का सघन समर्थन है, क्योंकि रील्स रेखा के एक फलन में सघन समर्थन होता है, केवल यह बंद समर्थन को बाध्य करता है। सम का प्रमाण [[गैर-विश्लेषणात्मक सुचारू कार्य]] लेख में चर्चा किए गए संबंधित फलन के समान ही होता है। इस फलन की व्याख्या गाऊसी फलन के रूप में की जा सकती है <math>\exp\left(-y^2\right)</math> इकाई चक्र में उपयुक्त होने के लिए बढ़ाया गया: प्रतिस्थापन <math>y^2 = {1} / {\left(1-x^2\right)}</math> भेजने से मेल खाता है <math>x = \pm 1</math> प्रति <math>y = \infty.</math>
आयाम में बम्प फलन का एक उदाहरण है। निर्माण से यह स्पष्ट है कि इस फलन का सघन समर्थन है, क्योंकि रील्स रेखा के एक फलन में सघन समर्थन होता है, केवल यह बंद समर्थन को बाध्य करता है। सम का प्रमाण [[गैर-विश्लेषणात्मक सुचारू कार्य]] लेख में चर्चा किए गए संबंधित फलन के समान ही होता है। इस फलन की व्याख्या गाऊसी फलन के रूप में की जा सकती है <math>\exp\left(-y^2\right)</math> इकाई चक्र में उपयुक्त होने के लिए बढ़ाया गया: प्रतिस्थापन <math>y^2 = {1} / {\left(1-x^2\right)}</math> भेजने से मेल खाता है <math>x = \pm 1</math> प्रति <math>y = \infty.</math>
(वर्ग) बम्प फलन का एक सरल उदाहरण <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> जबकि अभी भी सम है।
[[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>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>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>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>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 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 29: Line 24:


<math display="block">\frac{\partial^{p_1+\cdots+p_n}}{\partial^{p_1} x_1 \cdots \partial^{p_n} x_n} f = \sum_{k=1}^{\infty} \frac{1}{2^k M_k} \frac{\partial^{p_1+\cdots+p_n} f_k}{\partial^{p_1} x_1 \cdots \partial^{p_n} x_n}</math>
<math display="block">\frac{\partial^{p_1+\cdots+p_n}}{\partial^{p_1} x_1 \cdots \partial^{p_n} x_n} f = \sum_{k=1}^{\infty} \frac{1}{2^k M_k} \frac{\partial^{p_1+\cdots+p_n} f_k}{\partial^{p_1} x_1 \cdots \partial^{p_n} x_n}</math>
जहाँ यह श्रृंखला भी समान रूप से अभिसरित होती है <math>\R^n</math> (क्योंकि जब भी <math>k \geq p_1 + \cdots + p_n</math> फिर <math>k</math><sup></sum> शर्तों का निरपेक्ष मान है <math>\leq \frac{M_k}{2^k M_k} = \frac{1}{2^k}</math>).
जहाँ यह श्रृंखला भी समान रूप से अभिसरित होती है <math>\R^n</math> (क्योंकि जब भी <math>k \geq p_1 + \cdots + p_n</math> फिर <math>k</math><sup>th</sup> शर्तों का निरपेक्ष मान है <sup><math>\leq \frac{M_k}{2^k M_k} = \frac{1}{2^k}</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>
एक उपप्रमेय के रूप में, दो असंयुक्त बंद उपसमुच्चय दिए गए हैं <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>


== गुण और उपयोग ==
== गुण और उपयोग ==


जबकि बम्प फलन सुचारू हैं, वे विश्लेषणात्मक फलन नहीं हो सकते हैं जब तक कि वे किसी फलन के समान रूप से शून्य न हों {{citation needed|date=August 2022}}. यह [[पहचान प्रमेय]] का एक सरल परिणाम है। बम्प फलन का उपयोग अक्सर मोलिफ़ायर के रूप में, सम [[कटऑफ समारोह|कटऑफ फलन]] के रूप में और एकता के सम विभाजन बनाने के लिए किया जाता है। वे विश्लेषण में उपयोग किए जाने वाले [[परीक्षण कार्य]]ों का सबसे सामान्य वर्ग हैं। कई संचालन के तहत बम्प फलन का स्थान बंद है। उदाहरण के लिए, दो बम्प कार्यों का योग, उत्पाद, या दृढ़ संकल्प फिर से एक बम्प कार्य होता है, और सम गुणांक वाले किसी भी [[अंतर ऑपरेटर]], जब बम्प फलन पर लागू होता है, तो एक और बम्प कार्य उत्पन्न करेगा।
जबकि बम्प फलन सुचारू हैं, वे विश्लेषणात्मक फलन नहीं हो सकते हैं जब तक कि वे किसी फलन के समान रूप से शून्य न हों, यह [[पहचान प्रमेय]] का एक सरल परिणाम है। बम्प फलन का उपयोग अक्सर मोलिफ़ायर के रूप में, सम [[कटऑफ समारोह|कटऑफ फलन]] के रूप में और एकता के सम विभाजन बनाने के लिए किया जाता है। वे विश्लेषण में उपयोग किए जाने वाले [[परीक्षण कार्य]]ों का सबसे सामान्य वर्ग हैं। कई संचालन के तहत बम्प फलन का स्थान बंद है। उदाहरण के लिए, दो बम्प कार्यों का योग, उत्पाद, या दृढ़ संकल्प फिर से एक बम्प कार्य होता है, और सम गुणांक वाले किसी भी [[अंतर ऑपरेटर]], जब बम्प फलन पर लागू होता है, तो एक और बम्प कार्य उत्पन्न करेगा।


यदि बम्प फलन क्षेत्र की सीमाएँ हैं <math> \partial x </math>, सम की आवश्यकता को पूरा करने के लिए इसे अपने सभी यौगिक की निरंतरता को बनाए रखना होगा, जो इसके क्षेत्र की सीमाओं पर निम्नलिखित आवश्यकता की ओर ले जाता है:
यदि बम्प फलन क्षेत्र की सीमाएँ हैं <math> \partial x </math>, सम की आवश्यकता को पूरा करने के लिए इसे अपने सभी यौगिक की निरंतरता को बनाए रखना होगा, जो इसके क्षेत्र की सीमाओं पर निम्नलिखित आवश्यकता की ओर ले जाता है:
Line 46: 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 54: Line 45:
* {{annotated link|गैर-विश्लेषणात्मक स्मूथ फलन}}
* {{annotated link|गैर-विश्लेषणात्मक स्मूथ फलन}}
* {{annotated link|श्वार्ट्ज समतल}}
* {{annotated link|श्वार्ट्ज समतल}}
== उद्धरण ==
== उद्धरण ==


{{reflist|group=note}}
{{reflist|group=note}}
{{reflist}}
{{reflist}}
== संदर्भ ==
== संदर्भ ==


* {{Nestruev Smooth Manifolds and Observables 2020}} <!-- {{sfn|Nestruev|2020|p=}} -->
*


{{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

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

उदाहरण

1d बम्प फलन Ψ(x)।

कार्यक्रम के द्वारा दिया गया

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

फलन बम्प का अस्तित्व

निर्माण में समूह का एक उदाहरण.

विशिष्टताओं के लिए बम्प कार्यों का निर्माण करना संभव है। औपचारिक रूप से कहा गया है, अगर में एक मनमाना कॉम्पैक्ट समुच्चय है आयाम और युक्त एक खुला समुच्चय है एक बम्प फलन उपस्थित है जो है पर तथा के बाहर तब से का एक बहुत छोटा समीपवर्ती स्थान माना जा सकता है यह एक फलन बनाने में सक्षम होने के बराबर है पर और तेजी से गिर जाता है के बाहर जबकि अभी भी सम है।

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

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

यदि और जबकि अगर और ; तो मान लो इनमें से कोई भी नहीं है। का खुला आवरण है ओपन बॉलों से जहां ओपन बॉल त्रिज्या है और केंद्र फिर नक्शा द्वारा परिभाषित एक सुचारू कार्य है जो धनात्मक है और लुप्त हो जाता है [1] हर एक के लिए होने देना

जो कि एक रील्स संख्या है क्योंकि किसी भी समय श्रेष्ठता लुप्त हो जाती है के बाहर जबकि सघन समूह पर आंशिक यौगिक के मान परिबद्ध हैं।[note 1] श्रृंखला
समान रूप से अभिसरित हो जाता है सुचारू कार्य करने के लिए धनात्मक है और लुप्त हो जाता है [1] इसके अलावा, किसी भी गैर-ऋणात्मक पूर्णांक के लिए [1]

जहाँ यह श्रृंखला भी समान रूप से अभिसरित होती है (क्योंकि जब भी फिर th शर्तों का निरपेक्ष मान है ).

एक उपप्रमेय के रूप में, दो असंयुक्त बंद उपसमुच्चय दिए गए हैं का और सुचारू गैर-ऋणात्मक कार्य ऐसा किसी के लिए अगर और अगर और इसी तरहअगर, और अगर फिर फलन सम है और किसी के लिए अगर और अगर और अगर तथा और अगर [1] विशेष रूप से, और अगर तो अगर इसके अलावा में अपेक्षाकृत सघन है (कहाँ पे तात्पर्य ) फिर में सहयोग के साथ एक सम बम्प फलन होगा

गुण और उपयोग

जबकि बम्प फलन सुचारू हैं, वे विश्लेषणात्मक फलन नहीं हो सकते हैं जब तक कि वे किसी फलन के समान रूप से शून्य न हों, यह पहचान प्रमेय का एक सरल परिणाम है। बम्प फलन का उपयोग अक्सर मोलिफ़ायर के रूप में, सम कटऑफ फलन के रूप में और एकता के सम विभाजन बनाने के लिए किया जाता है। वे विश्लेषण में उपयोग किए जाने वाले परीक्षण कार्यों का सबसे सामान्य वर्ग हैं। कई संचालन के तहत बम्प फलन का स्थान बंद है। उदाहरण के लिए, दो बम्प कार्यों का योग, उत्पाद, या दृढ़ संकल्प फिर से एक बम्प कार्य होता है, और सम गुणांक वाले किसी भी अंतर ऑपरेटर, जब बम्प फलन पर लागू होता है, तो एक और बम्प कार्य उत्पन्न करेगा।

यदि बम्प फलन क्षेत्र की सीमाएँ हैं , सम की आवश्यकता को पूरा करने के लिए इसे अपने सभी यौगिक की निरंतरता को बनाए रखना होगा, जो इसके क्षेत्र की सीमाओं पर निम्नलिखित आवश्यकता की ओर ले जाता है:

बम्प फलन का फूरियर रूपांतरण एक (रील्स) विश्लेषणात्मक फलन है, और इसे पूरे जटिल विमान तक बढ़ाया जा सकता है: इसलिए इसे तब तक सघन रूप से समर्थित नहीं किया जा सकता जब तक कि यह शून्य न हो, क्योंकि केवल संपूर्ण विश्लेषणात्मक बम्प फलन शून्य फलन है (देखें) पाले-वीनर प्रमेय और लिउविल का प्रमेय (जटिल विश्लेषण) | लिउविल का प्रमेय)। क्योंकि बम्प फलन असीम रूप से भिन्न होता है, इसके फूरियर रूपांतरण की किसी भी परिमित शक्ति की तुलना में तेजी से क्षय होना चाहिए एक बड़े कोणीय आवृत्ति के लिए .[2] विशेष बम्प फलन का फूरियर रूपांतरण
ऊपर से एक सैडल-पॉइंट विधि द्वारा विश्लेषण किया जा सकता है, और असम्बद्ध रूप में क्षय होता है
बड़े के लिए .[3]

यह भी देखें

उद्धरण

  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. 1.0 1.1 1.2 1.3 1.4 1.5 Nestruev 2020, pp. 13–16.
  2. 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.
  3. Steven G. Johnson, Saddle-point integration of C "bump" functions, arXiv:1508.04376 (2015).

संदर्भ