View source for मेलिन परिवर्तन

{{Short description|Mathematical operation}}
गणित में, '''मेलिन परिवर्तन''' [[अभिन्न परिवर्तन]] है जिसे दो तरफा [[लाप्लास परिवर्तन]] के [[गुणक समूह]] संस्करण के रूप में माना जा सकता है। यह अभिन्न परिवर्तन [[डिरिचलेट श्रृंखला]] के सिद्धांत से निकटता से जुड़ा हुआ है, अधिकांशतः [[संख्या सिद्धांत]], [[गणितीय सांख्यिकी]] और [[स्पर्शोन्मुख विस्तार]] के सिद्धांत में उपयोग किया जाता है; यह लाप्लास ट्रांसफॉर्म और [[फूरियर रूपांतरण]] और [[गामा फ़ंक्शन|गामा फलन]] और संबद्ध विशेष कार्यों के सिद्धांत से निकटता से संबंधित है।

किसी फलन {{mvar|f}} का मेलिन रूपांतरण है

:<math>\left\{\mathcal{M}f\right\}(s) = \varphi(s)=\int_0^\infty x^{s-1} f(x) \, dx.</math>
व्युत्क्रम परिवर्तन है

:<math>\left\{\mathcal{M}^{-1}\varphi\right\}(x) = f(x)=\frac{1}{2 \pi i} \int_{c-i \infty}^{c+i \infty} x^{-s} \varphi(s)\, ds.</math>
संकेतन से पता चलता है कि यह जटिल विमान में ऊर्ध्वाधर रेखा पर लिया गया अभिन्न अंग है, जिसका वास्तविक भाग सी को केवल हल्की निचली सीमा को संतुष्ट करने की आवश्यकता है। वे स्थितियाँ जिनके अंतर्गत यह व्युत्क्रम मान्य है, मेलिन व्युत्क्रम प्रमेय में दी गई हैं।

इस परिवर्तन का नाम [[फिनलैंड]] के गणितज्ञ [[हजलमार मेलिन]] के नाम पर रखा गया है, जिन्होंने 1897 में एक्टा सोसाइटीस साइंटिअरम फेनिकी में प्रकाशित पेपर में इसे प्रस्तुत किया था।<ref name=":0">{{Cite journal|last=Mellin|first=Hj.|title=निश्चित अभिन्नों के दो सामान्य वर्गों के सिद्धांत पर|journal=Acta Societatis Scientiarum Fennicæ|volume=XXII, N:o 2|pages=1–75}}</ref>
==अन्य परिवर्तनों से संबंध                                                                                                                                                                                  ==
दो-तरफा लाप्लास परिवर्तन को मेलिन परिवर्तन के संदर्भ में परिभाषित किया जा सकता है

:<math> \left\{\mathcal{B} f\right\}(s) = \left\{\mathcal{M} f(-\ln x) \right\}(s)</math>
और इसके विपरीत हम दो-तरफा लाप्लास परिवर्तन से मेलिन परिवर्तन प्राप्त कर सकते हैं

:<math>\left\{\mathcal{M} f\right\}(s) = \left\{\mathcal{B} f(e^{-x})\right\}(s).</math>
मेलिन ट्रांसफ़ॉर्म को गुणात्मक हार माप के संबंध में कर्नेल x का उपयोग करके एकीकृत करने के बारे में सोचा जा सकता है, जो कि फैलाव <math display="inline">\frac{dx}{x}</math> के तहत अपरिवर्तनीय है, जिससे <math>x \mapsto ax</math> दो-तरफा लाप्लास परिवर्तन योगात्मक <math display="inline">\frac{d(ax)}{ax} = \frac{dx}{x};</math> माप <math>dx</math> के संबंध में एकीकृत होता है, जो कि अनुवाद अपरिवर्तनीय है, जिससे <math>d(x+a) = dx</math> प्राप्त होता है

हम फूरियर परिवर्तन को मेलिन परिवर्तन और इसके विपरीत के संदर्भ में भी परिभाषित कर सकते हैं; मेलिन परिवर्तन और ऊपर परिभाषित दो-तरफा लाप्लास परिवर्तन के संदर्भ में प्रयोग कियाजाता है

:<math>\left\{\mathcal{F} f\right\}(-s) = \left\{\mathcal{B} f\right\}(-is)
= \left\{\mathcal{M} f(-\ln x)\right\}(-is)\ .</math>
हम प्रक्रिया को व्युत्क्रम भी सकते हैं और प्राप्त कर सकते हैं

:<math>\left\{\mathcal{M} f\right\}(s) = \left\{\mathcal{B} f(e^{-x}) \right\}(s) = \left\{\mathcal{F} f(e^{-x})\right\}(-is)\ .</math>
मेलिन परिवर्तन पॉइसन-मेलिन-न्यूटन चक्र के माध्यम से न्यूटन श्रृंखला या [[द्विपद परिवर्तन]] को [[पॉइसन जनरेटिंग फ़ंक्शन|पॉइसन जनरेटिंग फलन]] के साथ भी जोड़ता है।

मेलिन ट्रांसफॉर्म को गुणन के साथ सकारात्मक वास्तविक संख्याओं के समष्टिीय रूप से कॉम्पैक्ट एबेलियन समूह के [[कनवल्शन बीजगणित]] के लिए [[ गेलफैंड परिवर्तन |गेलफैंड परिवर्तन]] के रूप में भी देखा जा सकता है।

==उदाहरण                                                                                                                                                                                                    ==

===काहेन-मेलिन इंटीग्रल===
फलन का मेलिन रूपांतरण <math> f(x) = e^{-x} </math> है

: <math>\Gamma(s) = \int_0^\infty x^{s-1}e^{-x} dx </math>
जहाँ <math>\Gamma(s)</math> गामा फलन है. <math>\Gamma(s)</math> सरल [[शून्य और ध्रुव]] वाला [[मेरोमोर्फिक फ़ंक्शन|मेरोमोर्फिक फलन]] <math>z = 0, -1, -2, \dots</math> है .<ref>{{cite book |first1=E.T. |last1=Whittaker |author-link1=E. T. Whittaker|first2=G.N. |last2=Watson|author-link2=G. N. Watson |title=[[A Course of Modern Analysis]] |year=1996 |publisher=Cambridge University Press}}</ref> इसलिए, <math>\Gamma(s)</math> के लिए विश्लेषणात्मक <math>\Re(s)>0</math> है . इस प्रकार, माना <math>c>0</math> और <math>z^{-s}</math> मुख्य शाखा पर, व्युत्क्रम परिवर्तन देता है

: <math> e^{-z}= \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} \Gamma(s) z^{-s} \; ds </math>.

इस अभिन्न अंग को काहेन-मेलिन अभिन्न अंग के रूप में जाना जाता है।<ref>{{cite journal |first1=G. H. |last1=Hardy|author-link1=G. H. Hardy |first2=J. E. |last2=Littlewood|author-link2=J. E. Littlewood |title=रीमैन ज़ेटा-फ़ंक्शन के सिद्धांत और प्राइम्स के वितरण के सिद्धांत में योगदान|journal=[[Acta Mathematica]] |volume=41 |issue=1 |year=1916 |pages=119–196 |doi=10.1007/BF02422942 |url=https://zenodo.org/record/2294397 |doi-access=free }} ''(See notes therein for further references to Cahen's and Mellin's work, including Cahen's thesis.)''</ref>
===बहुपद फलन                                                                                                                                    ===
माना <math display="inline">\int_0^\infty x^a dx</math> किसी भी मूल्य के लिए अभिसरण <math>a\in\mathbb{R}</math> नहीं है , मेलिन परिवर्तन को संपूर्ण सकारात्मक वास्तविक अक्ष पर परिभाषित बहुपद कार्यों के लिए परिभाषित नहीं किया गया है। चूँकि, वास्तविक अक्ष के विभिन्न खंडों पर इसे शून्य के रूप में परिभाषित करके, मेलिन परिवर्तन लेना संभव है। उदाहरण के लिए, यदि

:<math>
f(x)=\begin{cases} x^a  & x < 1, \\ 0 & x > 1, \end{cases}
</math>
तब

:<math>
\mathcal M f (s)= \int_0^1 x^{s-1}x^adx = \int_0^1 x^{s+a-1}dx = \frac 1 {s+a}.
</math>
इस प्रकार <math>\mathcal M f (s)</math> पर साधारण पोल <math>s=-a</math> है और इस प्रकार <math>\Re (s)>-a</math> परिभाषित किया गया है .

:<math>
f(x)=\begin{cases} 0  & x < 1, \\ x^b & x > 1, \end{cases}
</math>
तब

:<math>
\mathcal M f (s)= \int_1^\infty x^{s-1}x^bdx = \int_1^\infty x^{s+b-1}dx = - \frac 1 {s+b}.
</math>
इस प्रकार <math>\mathcal M f (s)</math> पर साधारण पोल <math>s=-b</math> है और इस प्रकार <math>\Re (s)<-b</math> परिभाषित किया गया है .

===घातांकीय फलन===
<math>p > 0 </math>, के लिए माना <math>f(x)=e^{-px}</math>. तब
:<math>
\mathcal M f (s) = \int_0^\infty x^{s} e^{-px}\frac{dx}{x} = \int_0^\infty \left(\frac{u}{p} \right)^{s}e^{-u} \frac{du}{u} = \frac{1}{p^s}\int_0^\infty u^{s}e^{-u} \frac{du}{u} = \frac{1}{p^{s}}\Gamma(s).
</math>
===ज़ेटा फलन===
[[रीमैन ज़ेटा फ़ंक्शन|रीमैन ज़ेटा फलन]] के लिए मूलभूत सूत्रों में <math>\zeta(s)</math> से का उत्पादन करने के लिए मेलिन ट्रांसफॉर्म का उपयोग करना संभव है, माना <math display="inline">f(x)=\frac{1}{e^x-1}</math>. तब
:<math>
\mathcal M f (s) = \int_0^\infty x^{s-1}\frac{1}{e^x-1}dx = \int_0^\infty x^{s-1}\frac{e^{-x}}{1-e^{-x}}dx = \int_0^\infty x^{s-1}\sum_{n=1}^\infty e^{-nx}dx = \sum_{n=1}^\infty \int_0^\infty x^{s}e^{-nx}\frac{dx}{x} = \sum_{n=1}^\infty \frac{1}{n^s}\Gamma(s)=\Gamma(s)\zeta(s) .
</math>
इस प्रकार,
:<math>
\zeta(s)=\frac{1}{\Gamma(s)}\int_0^\infty x^{s-1}\frac{1}{e^x-1}dx.
</math>
===सामान्यीकृत गाऊसी===
<math>p > 0</math>, के लिए माना <math>f(x)=e^{-x^p}</math> (अर्थात <math>f</math> स्केलिंग कारक के बिना [[सामान्यीकृत सामान्य वितरण]] है।) तब

:<math>
\mathcal M f (s) = \int_0^\infty x^{s-1}e^{-x^p}dx = \int_0^\infty x^{p-1}x^{s-p}e^{-x^p}dx = \int_0^\infty x^{p-1}(x^p)^{s/p-1}e^{-x^p}dx = \frac{1}{p}\int_0^\infty u^{s/p-1}e^{-u}du = \frac{\Gamma(s/p)}{p} .
</math>
विशेष रूप से, समुच्चयिंग <math>s=1</math> गामा फलन के निम्नलिखित स्वरूप को पुनः प्राप्त करता है
:<math>
\Gamma\left(1+\frac{1}{p}\right) = \int_0^\infty e^{-x^p}dx.
</math>
===पावर श्रृंखला और डिरिचलेट श्रृंखला===

सामान्यतः, आवश्यक अभिसरण मानते हुए, हम डिरिचलेट श्रृंखला और संबंधित पावर श्रृंखला को जोड़ सकते हैं

:<math>f(s)=\sum\limits_{n=1}^{\infty}\frac {a_n}{n^s}, \quad F(z)=\sum\limits_{n=1}^{\infty}a_nz^n</math>
मेलिन परिवर्तन से जुड़ी औपचारिक पहचान द्वारा किया जाता है:<ref>{{cite journal |first1=Aurel |last1=Wintner|author-link1=Aurel Wintner |title=रीमैन के डिरिचलेट सीरीज को पावर सीरीज में घटाने पर|journal=[[American Journal of Mathematics]] |volume=69 |issue=4 |year=1947 |pages=769–789 |doi=10.2307/2371798|url=http://www.jstor.org/stable/2371798 |doi-access=free }}</ref>
:<math>\Gamma(s)f(s)=\int_{0}^{\infty}x^{s-1}F(e^{-x})dx</math>
==मौलिक पट्टी==

<math>\alpha,\beta\in\mathbb{R}</math> के लिए, खुली पट्टी को सभी <math>\langle\alpha,\beta\rangle</math> के रूप में परिभाषित किया जाए। इस तरह कि <math>s\in\mathbb{C}</math> के साथ <math>\alpha < \sigma < \beta.</math> की मूल पट्टी <math>\mathcal{M} f(s)</math> को परिभाषित किया गया है। सबसे बड़ी खुली पट्टी जिस पर इसे परिभाषित किया गया है। उदाहरण के लिए, <math>a > b</math> के लिए मौलिक पट्टी है

:<math>f(x)=\begin{cases} x^a  & x < 1, \\ x^b & x > 1, \end{cases}</math>
जैसा कि इस उदाहरण <math>\langle -a,-b \rangle.</math> से देखा जा सकता है, फलन <math>x\to 0^+</math> की स्पर्शोन्मुखताएं इसकी मौलिक पट्टी के बाएं समापन बिंदु को परिभाषित करती हैं, और <math>x\to +\infty</math> फलन की स्पर्शोन्मुखताएं इसके सही समापन बिंदु को परिभाषित करती हैं। बिग ओ नोटेशन का उपयोग करके सारांशित करने के लिए, यदि <math>f</math> <math>O(x^a)</math> के रूप में है और <math>x\to 0^+</math> और <math>O(x^b)</math> के रूप में है। <math>x\to +\infty,</math> तो <math>\mathcal{M} f(s)</math> को स्ट्रिप <math>\langle -a,-b \rangle.</math> में परिभाषित किया गया है <ref>{{cite journal |first1=P. |last1=Flajolet |first2=X. |last2=Gourdon |first3=P. |last3=Dumas |title=Mellin transforms and asymptotics: Harmonic sums |journal=Theoretical Computer Science |volume=144 |issue=1–2 |pages=3–58 |year=1995 |doi= 10.1016/0304-3975(95)00002-e|url=https://hal.inria.fr/inria-00074307/file/RR-2369.pdf }}</ref>

इसका एक अनुप्रयोग गामा फलन में देखा जा सकता है, <math>\Gamma(s).</math> चूंकि <math>f(x)=e^{-x}</math> जैसा कि सभी <math>k,</math> के लिए <math>x\to 0^+</math> और {डिस्प्लेस्टाइल <math>O(x^{k})</math> है, तो <math>\Gamma(s)=\mathcal{M} f(s)</math> को स्ट्रिप में परिभाषित किया जाना चाहिए, जो <math>\Gamma(s)</math> पुष्टि करता है कि गामा <math>\Re(s) > 0.</math> के लिए विश्लेषणात्मक है।
==गुण==

इस तालिका में {{harvtxt|ब्रेसवेल|2000}} और {{harvtxt|एर्डेली|1954}} गुण पाए जा सकते हैं .

{| class="wikitable"
|+ मेलिन परिवर्तन के गुण
|-
! फलन !! मेलिन परिवर्तन !! मौलिक पट्टी !! टिप्पणियाँ
|-
| <math> f(x) </math>
| <math> \tilde{f}(s)=\{\mathcal{M}f\}(s)=\int_0^{\infty} f(x) x^s \frac{dx}{x} </math>
| <math> \alpha < \Re s < \beta </math>
| परिभाषा
|-
| <math> x^{\nu}\,f(x) </math>
| <math> \tilde{f}(s+\nu) </math>
| <math> \alpha - \Re \nu < \Re s < \beta - \Re \nu  </math>
|
|-
| <math> f(x^{\nu}) </math>
| <math> \frac{1}{|\nu|}\,\tilde{f}\left(\frac{s}{\nu}\right) </math>
|
गणित> \alpha < \nu^{-1} \, \Re s < \beta <nowiki></math></nowiki>
|
गणित> \nu\in\mathbb{R},\;\nu\neq 0 <nowiki></math></nowiki>
|-
|
गणित> f(x^{-1}) </गणित>
|
गणित> \tilde{f}(-s) <nowiki></math></nowiki>
|
गणित> -\बीटा < \Re s < -\अल्फ़ा </गणित>
|
|-
|
गणित> x^{-1}\,f(x^{-1}) <nowiki></math></nowiki>
|
गणित> \tilde{f}(1-s) <nowiki></math></nowiki>
|
गणित> 1-\बीटा < \Re s < 1-\अल्फा </गणित>
| पेचीदगी
|-
|
गणित> \overline{f(x)} <nowiki></math></nowiki>
|
गणित> \overline{\tilde{f}(\overline{s})} <nowiki></math></nowiki>
|
गणित> \alpha < \Re s < \beta <nowiki></math></nowiki>
| यहाँ 
गणित> \overline{z} <nowiki></math></nowiki> के जटिल संयुग्म को दर्शाता है गणित>जेड</गणित>.
|-
| <math> f(\nu x) </math>
| <math> \nu^{-s} \tilde{f}(s) </math>
| <math> \alpha < \Re s < \beta </math>
| <math> \nu > 0 </math>, स्केलिंग
|-
| <math> f(x)\,\ln x </math>
| <math> \tilde{f}'(s) </math>
| <math> \alpha < \Re s < \beta </math>
|
|-
| <math> f'(x) </math>
| <math> -(s-1)\, \tilde{f}(s-1) </math>
| <math> \alpha+1 < \Re s < \beta+1 </math>
|
|-
| <math> \left( \frac{d}{dx} \right)^n \, f(x) </math>
| <math> (-1)^n \, \frac{\Gamma(s)}{\Gamma(s-n)} \tilde{f}(s-n) </math>
| <math> \alpha+n < \Re s < \beta+n </math>
|
|-
| <math> x\,f'(x) </math>
| <math> - s \,\tilde{f}(s) </math>
| <math> \alpha < \Re s < \beta </math>
|
|-
| <math> \left( x\, \frac{d}{dx} \right)^n \, f(x) </math>
| <math> (-s)^n \tilde{f}(s) </math>
| <math> \alpha < \Re s < \beta </math>
|
|-
| <math> \left( \frac{d}{dx} \, x\right)^n \, f(x) </math>
| <math> (1-s)^n \tilde{f}(s) </math>
| <math> \alpha < \Re s < \beta </math>
|
|-
| <math> \int_0^x f(y) \, dy </math>
| <math> - s^{-1} \,\tilde{f}(s+1) </math>
| <math> \alpha-1 < \Re s < \min(\beta-1,0) </math>
| अभिन्न उपस्थित होने पर ही मान्य है।
|-
| <math> \int_x^{\infty} f(y) \, dy </math>
| <math> s^{-1} \,\tilde{f}(s+1) </math>
|  <math> \max(\alpha-1,0) < \Re s < \beta-1 </math>
| अभिन्न उपस्थित होने पर ही मान्य है।
|-
| <math> \int_0^{\infty}  f_1\left(\frac{x}{y}\right) \, f_2(y) \, \frac{dy}{y} </math>
| <math> \tilde{f}_1(s) \,\tilde{f}_2(s)  </math>
| <math> \max(\alpha_1,\alpha_2) < \Re s < \min(\beta_1,\beta_2) </math>
| गुणक संवलन
|-
| <math> x^{\mu} \int_0^{\infty} y^{\nu} \, f_1\left(\frac{x}{y}\right) \, f_2(y) \, dy </math>
| <math> \tilde{f}_1(s+\mu) \,\tilde{f}_2(s+\mu+\nu+1)  </math>
|
| गुणक संवलन (सामान्यीकृत)
|-
| <math> x^{\mu} \int_0^{\infty} y^{\nu} \, f_1(x\,y) \, f_2(y) \, dy </math>
| <math> \tilde{f}_1(s+\mu) \,\tilde{f}_2(1-s-\mu+\nu)  </math>
|
| गुणक संवलन (सामान्यीकृत)
|-
| <math> f_1(x) \, f_2(x) </math>
| <math> \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} \tilde{f}_1(r)\,\tilde{f}_2(s-r)\,dr </math>
| <math> \begin{aligned} \alpha_2+c&<\Re s<\beta_2+c \\ \alpha_1&<c<\beta_1 \end{aligned} </math>
| गुणन. केवल तभी मान्य है जब अभिन्न उपस्थित हो। उन स्थितियों के लिए नीचे पार्सेवल का प्रमेय देखें जो अभिन्न के अस्तित्व को सुनिश्चित करते हैं।
|}

===पारसेवल का प्रमेय और प्लांचरेल का प्रमेय===

माना <math>f_1(x)</math> और <math>f_2(x)</math> कार्य अच्छी तरह से परिभाषित हों मेलिन रूपांतरित <math>\tilde{f}_{1,2}(s)=\mathcal{M}\{f_{1,2}\}(s)</math> होता है मौलिक पट्टियों में <math>\alpha_{1,2}<\real s<\beta_{1,2}</math>. है

माना <math>c\in\mathbb{R}</math> साथ <math>\max(\alpha_1,1-\beta_2)<c<\min(\beta_1,1-\alpha_2)</math>. यदि कार्य <math>x^{c-1/2}\,f_1(x)</math> और <math>x^{1/2-c}\,f_2(x)</math> अंतराल पर वर्ग-पूर्णांक <math>(0,\infty)</math> भी हैं , पारसेवल %27 प्रमेय|पारसेवल का सूत्र मानता है <ref>{{harvtxt|Titchmarsh|1948|p=95}}.</ref>
:<math>
\int_0^{\infty} f_1(x)\,f_2(x)\,dx = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} \tilde{f_1}(s)\,\tilde{f_2}(1-s)\,ds
</math>
दाहिनी ओर एकीकरण ऊर्ध्वाधर रेखा <math> \Re r = c</math> के साथ किया जाता है वह पूरी तरह से (उपयुक्त रूपांतरित) मूलभूत पट्टियों के ओवरलैप के अन्दर स्थित है।

हम प्रतिस्थापित <math>f_2(x)</math> द्वारा <math>f_2(x)\,x^{s_0-1}</math> कर सकते हैं . यह प्रमेय का निम्नलिखित वैकल्पिक रूप देता है:

माना <math>f_1(x)</math> और <math>f_2(x)</math> कार्य अच्छी तरह से परिभाषित हों मेलिन रूपांतरित <math>\tilde{f}_{1,2}(s)=\mathcal{M}\{f_{1,2}\}(s)</math> होता है मौलिक पट्टियों में <math>\alpha_{1,2}<\real s<\beta_{1,2}</math>. है माना <math>c\in\mathbb{R}</math> साथ <math> \alpha_1<c<\beta_1 </math> और चुनना <math>s_0\in\mathbb{C}</math> साथ <math> \alpha_2< \Re s_0 - c <\beta_2 </math>.
यदि कार्य <math>x^{c-1/2}\,f_1(x)</math> और <math>x^{s_0-c-1/2}\,f_2(x)</math> अंतराल पर वर्ग-पूर्णांक <math>(0,\infty)</math> भी हैं , तो हमारे पास हैं <ref>{{harvtxt|Titchmarsh|1948|p=95}}.</ref>
:<math>
\int_0^{\infty} f_1(x)\,f_2(x)\,x^{s_0-1}\,dx = \frac{1}{2\pi i} \int_{c-i\infty}^{c+i\infty} \tilde{f_1}(s)\,\tilde{f_2}(s_0-s)\,ds
</math>
हम प्रतिस्थापित <math>f_2(x)</math> द्वारा <math>\overline{f_1(x)}</math> कर सकते हैं. यह निम्नलिखित प्रमेय देता है: माना <math>f(x)</math> अच्छी तरह से परिभ षित मेलिन परिवर्तन के साथ फलन <math>\tilde{f}(s)=\mathcal{M}\{f\}(s)</math> बनें मौलिक पट्टी में <math>\alpha<\real s<\beta</math>माना <math>c\in\mathbb{R}</math> साथ <math>\alpha<c<\beta</math>. यदि फलन <math>x^{c-1/2}\,f(x)</math> अंतराल पर वर्ग-पूर्णांक <math>(0,\infty)</math> भी है , फिर प्लांचरेल प्रमेय का प्रमेय मानता है:<ref>{{harvtxt|Titchmarsh|1948|p=94}}.</ref>
:<math>
\int_0^{\infty} |f(x)|^2\,x^{2c-1}dx = \frac{1}{2\pi} \int_{-\infty}^{\infty} | \tilde{f}(c+it) |^2 \,dt
</math>
== L<sup>2</sup> रिक्त समष्टि पर एक सममिति के रूप में ==
[[हिल्बर्ट स्थान|हिल्बर्ट समष्टि]] के अध्ययन में, मेलिन परिवर्तन को अधिकांशतः थोड़े अलग विधि से प्रस्तुत किया जाता है। <math>L^2(0,\infty)</math> में कार्यों के लिए ([[एलपी समष्टि]] देखें) मौलिक पट्टी <math>\tfrac{1}{2}+i\mathbb{R}</math> सदैव सम्मिलित होती है , इसलिए हम [[रैखिक ऑपरेटर]] <math>\tilde{\mathcal{M}}</math> को परिभाषित कर सकते हैं जैसा

:<math>\tilde{\mathcal{M}}\colon L^2(0,\infty)\to L^2(-\infty,\infty),
</math>
:<math>
\{\tilde{\mathcal{M}}f\}(s) := \frac{1}{\sqrt{2\pi}}\int_0^{\infty} x^{-\frac{1}{2} + is} f(x)\,dx.
</math>
दूसरे शब्दों में, हमने समुच्चय कर लिया है

: <math>\{\tilde{\mathcal{M}}f\}(s):=\tfrac{1}{\sqrt{2\pi}}\{\mathcal{M}f\}(\tfrac{1}{2} + is).</math>
इस ऑपरेटर को सामान्यतः केवल <math>\mathcal{M}</math> द्वारा दर्शाया जाता है और मेलिन ट्रांसफॉर्म कहा जाता है, किन्तु <math>\tilde{\mathcal{M}}</math> इस लेख में अन्यत्र प्रयुक्त परिभाषा से अंतर करने के लिए यहां इसका उपयोग किया गया है। मेलिन व्युत्क्रम प्रमेय यह <math>\tilde{\mathcal{M}}</math> दर्शाता है व्युत्क्रम के साथ व्युत्क्रमणीय है

:<math>
\tilde{\mathcal{M}}^{-1}\colon L^2(-\infty,\infty) \to L^2(0,\infty),
</math>
:<math>
\{\tilde{\mathcal{M}}^{-1}\varphi\}(x) = \frac{1}{\sqrt{2\pi}}\int_{-\infty}^{\infty} x^{-\frac{1}{2}-is} \varphi(s)\,ds.
</math>
इसके अलावा, यह ऑपरेटर [[आइसोमेट्री]] है, अर्थात <math>\|\tilde{\mathcal{M}} f\|_{L^2(-\infty,\infty)}=\|f\|_{L^2(0,\infty)}</math> सभी के लिए <math>f\in L^2(0,\infty)</math> (यह बताता है कि का कारक क्यों <math>1/\sqrt{2\pi}</math> प्रयोग किया गया)।

==संभाव्यता सिद्धांत में==
संभाव्यता सिद्धांत में, यादृच्छिक चर के उत्पादों के वितरण का अध्ययन करने के लिए मेलिन परिवर्तन आवश्यक उपकरण है।<ref>{{harvtxt|Galambos|Simonelli|2004|p=15}}</ref> यदि X यादृच्छिक चर है, और {{nowrap|''X''<sup>+</sup> {{=}} max{''X'',0}}} इसके सकारात्मक भाग को दर्शाता है, जबकि {{nowrap|''X''<sup>&thinsp;−</sup> {{=}} max{−''X'',0}}} इसका नकारात्मक भाग है, तो एक्स के मेलिन रूपांतरण को इस प्रकार परिभाषित किया गया है <ref name="GalSim16">{{harvtxt|Galambos|Simonelli|2004|p=16}}</ref>
: <math>
    \mathcal{M}_X(s) = \int_0^\infty  x^s dF_{X^+}(x) + \gamma\int_0^\infty x^s dF_{X^-}(x),
  </math>
जहां γ औपचारिक अनिश्चित {{nowrap|''γ''<sup>2</sup> {{=}} 1}} है . यह परिवर्तन किसी जटिल पट्टी में सभी {{nowrap|''D'' {{=}} {''s''&nbsp;: ''a'' ≤ Re(''s'') ≤ ''b''} }} के लिए उपस्थित है , जहाँ {{nowrap|''a'' ≤ 0 ≤ ''b''}}.<ref name="GalSim16" />

मेलिन परिवर्तन <math>\mathcal{M}_X(it)</math> यादृच्छिक चर X का वितरण फलन F<sub>X</sub> विशिष्ट रूप से निर्धारित होता है.<ref name="GalSim16" /> संभाव्यता सिद्धांत में मेलिन परिवर्तन का महत्व इस तथ्य में निहित है कि यदि एक्स और वाई दो स्वतंत्र यादृच्छिक चर हैं, तो उनके उत्पाद का मेलिन परिवर्तन एक्स और वाई के मेलिन परिवर्तन के उत्पाद के बराबर है:<ref>{{harvtxt|Galambos|Simonelli|2004|p=23}}</ref>
: <math>
    \mathcal{M}_{XY}(s) = \mathcal{M}_X(s)\mathcal{M}_Y(s)
  </math>
==बेलनाकार समन्वय प्रणाली में लाप्लासियन के साथ समस्याएं==

लाप्लासियन में सामान्य आयाम में बेलनाकार निर्देशांक में (एक कोण और त्रिज्या और शेष लंबाई के साथ ऑर्थोगोनल निर्देशांक) सदैव शब्द होता है:

:<math>\frac{1}{r} \frac{\partial}{\partial r} \left( r \frac{\partial f}{\partial r} \right) = f_{rr} + \frac{f_r}{r}</math>
उदाहरण के लिए, 2-डी ध्रुवीय निर्देशांक में लाप्लासियन है:

:<math>\nabla^2 f = \frac{1}{r} \frac{\partial}{\partial r} \left(r \frac{\partial f}{\partial r} \right) + \frac{1}{r^2} \frac{\partial^2 f}{\partial \theta^2}</math>
और 3-डी बेलनाकार निर्देशांक में लाप्लासियन है,

:<math> \nabla^2 f = \frac{1}{r} \frac{\partial}{\partial r} \left(r \frac{\partial f}{\partial r} \right) + \frac{1}{r^2} \frac{\partial^2 f}{\partial \varphi^2} + \frac{\partial^2 f}{\partial z^2}.</math>
इस शब्द को मेलिन ट्रांसफॉर्म के साथ व्यवहार किया जा सकता है,<ref>Bhimsen, Shivamoggi, Chapter 6: The Mellin Transform, par. 4.3: Distribution of a Potential in a Wedge, pp. 267–8</ref> तब से:

:<math>\mathcal M \left(r^2 f_{rr} + r f_r,  r \to s \right) = s^2 \mathcal M \left(f,  r \to s \right) = s^2 F</math>
उदाहरण के लिए, ध्रुवीय निर्देशांक में 2-डी [[लाप्लास समीकरण]] दो चर में पीडीई है:

:<math> r^2 f_{rr} +  r f_r + f_{\theta \theta} = 0</math>
और गुणन द्वारा:

:<math>\frac{1}{r} \frac{\partial}{\partial r} \left(r \frac{\partial f}{\partial r} \right) + \frac{1}{r^2} \frac{\partial^2 f}{\partial \theta^2} = 0</math>
त्रिज्या पर मेलिन परिवर्तन के साथ सरल हार्मोनिक दोलक बन जाता है:

:<math> F_{\theta \theta} + s^2 F = 0</math>
सामान्य समाधान के साथ:

:<math> F (s, \theta) = C_1(s) \cos (s\theta) + C_2(s) \sin (s \theta)</math>
आइए अब उदाहरण के लिए मूल लाप्लास समीकरण में कुछ सरल वेज सीमा नियम प्रयुक्त करें:

:<math> f(r,-\theta_0) = a(r), \quad  f(r,\theta_0) = b(r) </math>
ये मेलिन परिवर्तन के लिए विशेष रूप से सरल हैं, बन रहे हैं:

:<math> F(s,-\theta_0) = A(s), \quad  F(s,\theta_0) = B(s) </math>
समाधान पर लगाई गई ये नियम इसे विशिष्ट बनाती हैं:

:<math> F (s, \theta) = A(s) \frac {\sin(s (\theta_0 - \theta))}{\sin (2 \theta_0 s)}+ B(s) \frac {\sin(s (\theta_0 + \theta))}{\sin (2 \theta_0 s)}</math>
अब मेलिन परिवर्तन के लिए कनवल्शन प्रमेय द्वारा, मेलिन डोमेन में समाधान को व्युत्क्रम किया जा सकता है:

:<math> f(r, \theta) = \frac{r^m \cos (m \theta)}{2 \theta_0} \int_0^\infty \left ( \frac{a(x)}{x^{2m} + 2r^m x^m \sin(m \theta) + r^{2m}} + \frac{b(x)}{x^{2m} - 2r^m x^m \sin(m \theta) + r^{2m}} \right ) x^{m-1} \, dx </math>
जहां निम्नलिखित व्युत्क्रम परिवर्तन संबंध नियोजित किया गया था:

:<math>\mathcal M^{-1} \left( \frac {\sin (s \varphi)}{\sin (2 \theta_0 s)}; s \to r \right) = \frac 1 {2 \theta_0} \frac{r^m \sin (m \varphi)}{1+2r^m \cos(m \varphi) + r^{2m}}</math>
जहाँ <math>m= \frac \pi {2 \theta_0}</math>.

==अनुप्रयोग==
एल्गोरिदम के विश्लेषण के लिए कंप्यूटर विज्ञान में मेलिन ट्रांसफॉर्म का व्यापक रूप से उपयोग किया जाता है <ref>Philippe Flajolet and Robert Sedgewick. The Average Case Analysis of
Algorithms: Mellin Transform Asymptotics. Research Report 2956. 93 pages. Institut National de Recherche en Informatique et en Automatique (INRIA), 1996.</ref> इसके मापदंड की अपरिवर्तनशील संपत्ति के कारण स्केल किए गए फलन के मेलिन ट्रांसफ़ॉर्म का परिमाण विशुद्ध रूप से काल्पनिक इनपुट के लिए मूल फलन के परिमाण के समान है। यह [[स्केल अपरिवर्तनीयता]] प्रॉपर्टी फूरियर ट्रांसफॉर्म की शिफ्ट इनवेरिएंस प्रॉपर्टी के अनुरूप है। समय-समष्टिांतरित फलन के फूरियर रूपांतरण का परिमाण मूल फलन के फूरियर रूपांतरण के परिमाण के समान है।

यह गुण [[छवि पहचान|इमेज पहचान]] में उपयोगी है। जब वस्तु को कैमरे की ओर या उससे दूर ले जाया जाता है तो किसी वस्तु की इमेज सरलता से स्केल की जाती है।

[[क्वांटम यांत्रिकी]] और विशेष रूप से [[क्वांटम क्षेत्र सिद्धांत]] में, [[फूरियर स्थान|फूरियर समष्टि]] बेहद उपयोगी है और बड़े मापदंड पर उपयोग किया जाता है क्योंकि गति और स्थिति दूसरे के फूरियर रूपांतरण हैं (उदाहरण के लिए, [[फेनमैन आरेख]] गति अंतरिक्ष में अधिक सरलता से गणना की जाती हैं)। 2011 में, ए. लियाम फिट्ज़पैट्रिक, [[जेरेड कपलान]], जोआओ पेनेडोन्स, [[ राज को लौटें |राज को लौटें]] और बाल्ट सी. वैन रीस ने दिखाया कि मेलिन समष्टि एडीएस/सीएफटी पत्राचार के संदर्भ में समान भूमिका निभाता है।<ref>A. Liam Fitzpatrick, Jared Kaplan, Joao Penedones, Suvrat Raju, Balt C. van Rees. [https://arxiv.org/abs/1107.1499 "A Natural Language for AdS/CFT Correlators"].</ref><ref>A. Liam Fitzpatrick, Jared Kaplan. [https://arxiv.org/abs/1112.4845 "Unitarity and the Holographic S-Matrix"]</ref><ref>A. Liam Fitzpatrick.  [http://online.kitp.ucsb.edu/online/qgravity15/fitzpatrick/ "AdS/CFT and the Holographic S-Matrix"], video lecture.</ref>
==उदाहरण==
* पेरोन का सूत्र डिरिचलेट श्रृंखला पर प्रयुक्त व्युत्क्रम मेलिन परिवर्तन का वर्णन करता है।
* मेलिन ट्रांसफ़ॉर्म का उपयोग [[प्राइम-काउंटिंग फ़ंक्शन|प्राइम-काउंटिंग फलन]] के विश्लेषण में किया जाता है और रीमैन ज़ेटा फलन की चर्चा में होता है।
* व्युत्क्रम मेलिन परिवर्तन सामान्यतः रिज़्ज़ साधनों में होते हैं।
* मेलिन ट्रांसफ़ॉर्म का उपयोग [[ऑडियो टाइमस्केल-पिच संशोधन]] में किया जा सकता है .

== चयनित मेलिन परिवर्तनों की तालिका ==

मेलिन परिवर्तन के लिए रोचक उदाहरणों की निम्नलिखित सूची यहां {{harvtxt|ब्रेसवेल|2000}} और {{harvtxt|एर्डेली|1954}} पाई जा सकती है 

{| class="wikitable" 
|+ चयनित मेलिन परिवर्तन
|-
! फलन <math>f(x)</math>
! मेलिन परिवर्तन <math>\tilde{f}(s) = \mathcal{M}\{f\}(s)</math> 
! अभिसरण का क्षेत्र 
! टिप्पणी
|-
| <math> e^{-x} </math>
| <math> \Gamma(s) </math>
| <math> 0 < \Re s < \infty </math>
|
|-
| <math> e^{-x}-1 </math>
| <math> \Gamma(s) </math>
| <math> -1 < \Re s < 0 </math>
|
|-
| <math> e^{-x}-1 +x </math>
| <math> \Gamma(s) </math>
| <math> -2 < \Re s < -1 </math>
| और सामान्यतः <math>\Gamma(s)</math> का मेलिन परिवर्तन है<ref>Jacqueline Bertrand, Pierre Bertrand, Jean-Philippe Ovarlez. The Mellin Transform. The Transforms
and Applications Handbook, 1995, 978-1420066524. ffhal-03152634f</ref> <math>e^{-x}-\sum_{n=0}^{N-1} \frac{(-1)^n}{n !} x^n, \text{ for } -N< \Re s <-N+1</math>
|-
| <math> e^{-x^2} </math>
| <math> \tfrac{1}{2}\Gamma(\tfrac{1}{2}s) </math>
| <math> 0 < \Re s < \infty </math>
|
|-
| <math> \mathrm{erfc}(x) </math>
| <math> \frac{\Gamma(\tfrac{1}{2}(1+s))}{\sqrt{\pi}\;s} </math>
| <math> 0 < \Re s < \infty </math>
|
|-
| <math> e^{-(\ln x)^2} </math>
| <math> \sqrt{\pi} \, e^{\tfrac{1}{4}s^2} </math>
| <math> -\infty < \Re s < \infty </math>
|
|-
| <math> \delta(x-a) </math>
| <math> a^{s-1} </math>
| <math> -\infty < \Re s < \infty </math>
| <math> a>0, \; \delta(x)</math> डिराक डेल्टा फलन है.
|- 
| <math> u(1-x) = \left\{ \begin{aligned} &1 &&\;\text{if}\; 0<x<1 &\\ &0 &&\;\text{if}\; 1<x<\infty &\end{aligned} \right. </math>
| <math> \frac{1}{s} </math>
| <math> 0 < \Re s < \infty </math>
| <math>u(x)</math> हेविसाइड चरण फलन है
|- 
| <math> -u(x-1) = \left\{ \begin{aligned} &0 &&\;\text{if}\; 0<x<1 &\\ &-1 &&\;\text{if}\; 1<x<\infty &\end{aligned} \right. </math>
| <math> \frac{1}{s} </math>
| <math> -\infty < \Re s < 0 </math>
|
|- 
| <math> u(1-x)\,x^a = \left\{ \begin{aligned} &x^a &&\;\text{if}\; 0<x<1 &\\ &0 &&\;\text{if}\; 1<x<\infty &\end{aligned} \right. </math>
| <math> \frac{1}{s+a} </math>
| <math> -\Re a < \Re s < \infty </math>
| 
|- 
| <math> -u(x-1)\,x^a = \left\{ \begin{aligned} &0 &&\;\text{if}\; 0<x<1 &\\ &-x^a &&\;\text{if}\; 1<x<\infty &\end{aligned} \right. </math>
| <math> \frac{1}{s+a} </math>
| <math> -\infty < \Re s < -\Re a </math>
|
|- 
| <math> u(1-x)\,x^a \ln x = \left\{ \begin{aligned} &x^a \ln x &&\;\text{if}\; 0<x<1 &\\ &0 &&\;\text{if}\; 1<x<\infty &\end{aligned} \right. </math>
| <math> \frac{1}{(s+a)^2} </math>
| <math> -\Re a < \Re s < \infty </math>
| 
|- 
| <math> -u(x-1)\,x^a \ln x = \left\{ \begin{aligned} &0 &&\;\text{if}\; 0<x<1 &\\ &-x^a \ln x &&\;\text{if}\; 1<x<\infty &\end{aligned} \right. </math>
| <math> \frac{1}{(s+a)^2} </math>
| <math> -\infty < \Re s < -\Re a </math>
|
|- 
| <math> \frac{1}{1+x} </math>
| <math> \frac{\pi}{\sin(\pi s)} </math>
| <math> 0 < \Re s < 1 </math>
|
|- 
| <math> \frac{1}{1-x} </math>
| <math> \frac{\pi}{\tan(\pi s)} </math>
| <math> 0 < \Re s < 1 </math>
|
|- 
| <math> \frac{1}{1+x^2} </math>
| <math> \frac{\pi}{2\sin(\tfrac{1}{2}\pi s)} </math>
| <math> 0 < \Re s < 2 </math>
|
|- 
| <math> \ln(1+x) </math>
| <math> \frac{\pi}{s\,\sin(\pi s)} </math>
| <math> -1 < \Re s < 0 </math>
|
|- 
| <math> \sin(x) </math>
| <math> \sin(\tfrac{1}{2}\pi s) \, \Gamma(s) </math>
| <math> -1 < \Re s < 1 </math>
|
|- 
| <math> \cos(x) </math>
| <math> \cos(\tfrac{1}{2}\pi s) \, \Gamma(s) </math>
| <math> 0 < \Re s < 1 </math>
|
|- 
| <math> e^{ix} </math>
| <math> e^{i\pi s/2} \, \Gamma(s) </math>
| <math> 0 < \Re s < 1 </math>
|
|- 
| <math> J_0(x) </math>
| <math> \frac{2^{s-1}}{\pi} \, \sin(\pi s/2) \, \left[\Gamma(s/2)\right]^2 </math>
| <math> 0 < \Re s < \tfrac{3}{2} </math>
| <math> J_0(x) </math> प्रथम प्रकार का बेसेल फलन है।
|- 
| <math> Y_0(x) </math>
| <math> -\frac{2^{s-1}}{\pi} \, \cos(\pi s/2) \, \left[\Gamma(s/2)\right]^2 </math>
| <math> 0 < \Re s < \tfrac{3}{2} </math>
| <math> Y_0(x) </math> दूसरे प्रकार का बेसेल फलन है
|- 
| <math> K_0(x) </math>
| <math> 2^{s-2} \, \left[\Gamma(s/2)\right]^2 </math>
| <math> 0 < \Re s < \infty </math>
| <math> K_0(x) </math> दूसरे प्रकार का संशोधित बेसेल फलन है
|}
==यह भी देखें==
*मेलिन व्युत्क्रम प्रमेय
*पेरोन का सूत्र
*रामानुजन का मास्टर प्रमेय

==टिप्पणियाँ                                                                                                                                                                                                       ==
<references />
==संदर्भ                                                                                                                                                                                                             ==
{{refbegin}}
*{{cite book|author1=Lokenath Debnath|author2=Dambaru Bhatta|title=Integral Transforms and Their Applications|url=https://books.google.com/books?id=WbZcqdvCEfwC&q=%22Mellin+transform%22|date=19 April 2016|publisher=CRC Press|isbn=978-1-4200-1091-6}}
*{{cite book
  | last1 = Galambos
  | first1 = Janos
  | last2 = Simonelli
  | first2 = Italo
  | year = 2004
  | title = Products of random variables: applications to problems of physics and to arithmetical functions
  | publisher = Marcel Dekker, Inc.
  | isbn = 0-8247-5402-6
  | url-access = registration
  | url = https://archive.org/details/productsofrandom00gala
  }}
*{{cite book |last1=Paris |first1=R. B. |last2=Kaminski |first2=D. |title=Asymptotics and Mellin-Barnes Integrals |url=https://archive.org/details/asymptoticsmelli0000pari |url-access=registration |publisher=Cambridge University Press |year=2001 |isbn=9780521790017 }}
*{{cite book |first1=A. D. |last1=Polyanin |first2=A. V. |last2=Manzhirov |title=Handbook of Integral Equations |publisher=CRC Press |location=Boca Raton |year=1998 |isbn=0-8493-2876-4 }}
*{{cite book |last1=Bracewell |first1=Ronald N. |year=2000 |title=The Fourier Transform and Its Applications |edition=3rd}}
*{{cite book |last1=Erdélyi |first1=Arthur |year=1954 |title=Tables of Integral Transforms |volume=1 |publisher=McGraw-Hill}}
*{{cite book |last1=Titchmarsh |first1=E.C. |year=1948 |title=Introduction to the Theory of Fourier Integrals |edition=2nd}}
*{{cite journal |first1=P. |last1=Flajolet |first2=X. |last2=Gourdon |first3=P. |last3=Dumas |title=Mellin transforms and asymptotics: Harmonic sums |journal=Theoretical Computer Science |volume=144 |issue=1–2 |pages=3–58 |year=1995 |doi= 10.1016/0304-3975(95)00002-e|url=https://hal.inria.fr/inria-00074307/file/RR-2369.pdf }}
* [http://eqworld.ipmnet.ru/en/auxiliary/aux-inttrans.htm Tables of Integral Transforms] at EqWorld: The World of Mathematical Equations.
*{{springer|title=Mellin transform|id=p/m063380}}
*{{mathworld|urlname=MellinTransform|title=Mellin Transform}}
* Some Applications of the Mellin Transform in Statistics ([https://projecteuclid.org/download/pdf_1/euclid.aoms/1177730201 paper])
{{refend}}
== बाहरी संबंध                                                                                                                                                                                                                                                    ==
* Philippe Flajolet, Xavier Gourdon, Philippe Dumas, ''[http://algo.inria.fr/flajolet/Publications/mellin-harm.pdf मेलिन परिवर्तनs and Asymptotics: Harmonic sums.]''
* Antonio Gonzáles, Marko Riedel ''[http://groups.google.com/group/es.ciencia.matematicas/browse_thread/thread/cfcc11fbd5eeaa48/eab2e1423902ced1#eab2e1423902ced1 Celebrando un clásico], newsgroup es.ciencia.matematicas''
* Juan Sacerdoti, ''[http://www.fi.uba.ar/materias/61107/Apuntes/Eu00.pdf Funciones Eulerianas]'' (in Spanish).
* [http://dlmf.nist.gov/2.5 मेलिन परिवर्तन Methods], [[Digital Library of Mathematical Functions|Digital Library of Mathematical फलनs]], 2011-08-29, [[National Institute of Standards and Technology]]
* Antonio De Sena and Davide Rocchesso, ''[http://www.di.univr.it/documenti/ArticoloConferenza/allegato/allegato082603.pdf A FAST मेलिन परिवर्तन WITH APPLICATIONS IN DAFX]''

{{DEFAULTSORT:Mellin Transform}}

[[Category:CS1|Mellin Transform]]
[[Category:Created On 04/07/2023|Mellin Transform]]
[[Category:Lua-based templates|Mellin Transform]]
[[Category:Machine Translated Page|Mellin Transform]]
[[Category:Pages that use a deprecated format of the math tags|Mellin Transform]]
[[Category:Pages with script errors|Mellin Transform]]
[[Category:Short description with empty Wikidata description|Mellin Transform]]
[[Category:Templates Vigyan Ready|Mellin Transform]]
[[Category:Templates that add a tracking category|Mellin Transform]]
[[Category:Templates that generate short descriptions|Mellin Transform]]
[[Category:Templates using TemplateData|Mellin Transform]]
[[Category:अभिन्न परिवर्तन|Mellin Transform]]
[[Category:जटिल विश्लेषण|Mellin Transform]]
[[Category:लाप्लास रूपांतरित होता है|Mellin Transform]]