View source for बम्प फलन (फंक्शन)

गणित में, एक '''बम्प फलन''' (जिसे परीक्षण फलन भी कहा जाता है)'''।''' एक फलन (गणित) <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> एक उपयुक्त स्थानिक स्थान के साथ संपन्न इस स्थान का दोहरा स्थान परिभाषाएँ [[वितरण (गणित)]] का स्थान है।

== उदाहरण ==
[[File:Mollifier Illustration.svg|right|thumb|280px|1d बम्प फलन Ψ(x)।]]कार्यक्रम <math>\Psi:\R \to \R</math> के द्वारा दिया गया
<math display="block">\Psi(x) = 
\begin{cases}
\exp\left( -\frac{1}{1 - x^2}\right), & x \in (-1,1) \\
0, & \text{otherwise} 
\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>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>


== फलन बम्प का अस्तित्व ==
[[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 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 display="block">f := \sum_{k=1}^{\infty} \frac{f_k}{2^k M_k}</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>p_1, \ldots, p_n \in \Z,</math>{{sfn|Nestruev|2020|pp=13-16}}

<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>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> \partial x </math>, सम की आवश्यकता को पूरा करने के लिए इसे अपने सभी यौगिक की निरंतरता को बनाए रखना होगा, जो इसके क्षेत्र की सीमाओं पर निम्नलिखित आवश्यकता की ओर ले जाता है:
<math display="block"> \lim_{x \to \partial x^\pm} \frac{d^n}{dx^n} f(x) = 0,\,\forall n \geq 0, \,n \in \mathbb{Z}</math>
बम्प फलन का फूरियर रूपांतरण एक (रील्स) विश्लेषणात्मक फलन है, और इसे पूरे जटिल विमान तक बढ़ाया जा सकता है: इसलिए इसे तब तक सघन रूप से समर्थित नहीं किया जा सकता जब तक कि यह शून्य न हो, क्योंकि केवल संपूर्ण विश्लेषणात्मक बम्प फलन शून्य फलन है (देखें) पाले-वीनर प्रमेय और लिउविल का प्रमेय (जटिल विश्लेषण) | लिउविल का प्रमेय)। क्योंकि बम्प फलन असीम रूप से भिन्न होता है, इसके फूरियर रूपांतरण की किसी भी परिमित शक्ति की तुलना में तेजी से क्षय होना चाहिए <math>1/k</math> एक बड़े कोणीय आवृत्ति के लिए <math>|k|</math>.<ref>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}}.</ref> विशेष बम्प फलन का फूरियर रूपांतरण
<math display="block">\Psi(x) = e^{-1/(1-x^2)} \mathbf{1}_{\{|x|<1\}}</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>


== यह भी देखें ==

* {{annotated link|कटऑफ समारोह}}
* {{annotated link|संकेतक का लाप्लासियन}}
* {{annotated link|गैर-विश्लेषणात्मक स्मूथ फलन}}
* {{annotated link|श्वार्ट्ज समतल}}











== उद्धरण ==

{{reflist|group=note}}
{{reflist}}













== संदर्भ ==

*<!-- {{sfn|Nestruev|2020|p=}} -->

{{DEFAULTSORT:Bump Function}}