घातीय प्रकार: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Type of complex function with growth bounded by an exponential function}} {{for|exponential types in type theory and programming languages|Function type}}...")
 
No edit summary
Line 1: Line 1:
{{Short description|Type of complex function with growth bounded by an exponential function}}
{{Short description|Type of complex function with growth bounded by an exponential function}}
{{for|exponential types in type theory and programming languages|Function type}}
{{for|प्ररूप सिद्धांत और प्रोग्रामिंग भाषाओं में घातीय प्रकार|फलन प्ररूप }}
[[File:ExtremeGaussian.png|thumb|फ़ंक्शन का ग्राफ ग्रे रंग में है <math>e^{-\pi z^{2}}</math>, गाऊसी वास्तविक अक्ष तक ही सीमित है। फिर गॉसियन में घातीय प्रकार नहीं होता है, लेकिन लाल और नीले रंग में कार्य एक तरफा सन्निकटन होते हैं जिनमें घातांक प्रकार होता है <math>2\pi</math>.]][[जटिल विश्लेषण]] में, गणित की एक शाखा, एक [[होलोमोर्फिक फ़ंक्शन]] को घातीय प्रकार सी का कहा जाता है यदि इसकी वृद्धि घातीय फ़ंक्शन द्वारा सीमित होती है <math>e^{C|z|}</math> किसी [[वास्तविक संख्या]] के लिए|वास्तविक-मूल्यवान स्थिरांक <math>C</math> जैसा <math>|z|\to\infty</math>. जब कोई फ़ंक्शन इस तरह से घिरा होता है, तो इसे अन्य जटिल कार्यों की श्रृंखला पर कुछ प्रकार के अभिसरण योगों के रूप में व्यक्त करना संभव होता है, साथ ही यह समझना भी संभव होता है कि [[बोरेल योग]] जैसी तकनीकों को लागू करना कब संभव है, या, उदाहरण के लिए , [[ मध्य परिवर्तन ]] को लागू करने के लिए, या यूलर-मैकलॉरिन फॉर्मूला का उपयोग करके सन्निकटन करने के लिए। सामान्य मामले को नचबिन के प्रमेय द्वारा नियंत्रित किया जाता है, जो समान धारणा को परिभाषित करता है<math>\Psi</math>-एक सामान्य कार्य के लिए टाइप करें <math>\Psi(z)</math> विरोध के रूप में <math>e^z</math>.
[[File:ExtremeGaussian.png|thumb|<math>e^{-\pi z^{2}}</math> फलन का ग्राफ ग्रे रंग में है, गाऊसी वास्तविक अक्ष तक ही सीमित है। फिर गॉसियन में घातीय प्ररूप नहीं होता है, किन्तु लाल और नीले रंग में कार्य एक तरफा सन्निकटन होते हैं जिनमें घातांक प्रकार <math>2\pi</math> होता है.]][[जटिल विश्लेषण|सम्मिश्र विश्लेषण]] में, गणित की एक शाखा, एक [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक]] फलन को घातीय प्ररूप C का कहा जाता है यदि इसकी वृद्धि घातीय फलन <math>e^{C|z|}</math> द्वारा सीमित होती है किसी [[वास्तविक संख्या]] के लिए वास्तविक-मान स्थिरांक <math>C</math> जैसा <math>|z|\to\infty</math>. जब कोई फलन इस तरह से घिरा होता है, तो इसे अन्य सम्मिश्र फलन की श्रृंखला पर कुछ प्रकार के अभिसरण योगों के रूप में व्यक्त करना संभव होता है, साथ ही यह समझना भी संभव होता है कि [[बोरेल योग]] जैसी तकनीकों को क्रियान्वित करना कब संभव है, या, उदाहरण के लिए , [[ मध्य परिवर्तन |मेलिन परिवर्तन]] को क्रियान्वित करने के लिए, या यूलर-मैकलॉरिन फॉर्मूला का उपयोग करके सन्निकटन करने के लिए। सामान्य स्थितियों को नचबिन के प्रमेय द्वारा नियंत्रित किया जाता है,जो <math>e^z</math> के विपरीत एक सामान्य फलन <math>\Psi(z)</math> के लिए <math>\Psi</math>-प्रकार की अनुरूप धारणा को परिभाषित करता है।.


==बुनियादी विचार==
==मूल विचार==


एक समारोह <math>f(z)</math> यदि वास्तविक-मूल्यवान स्थिरांक मौजूद हैं तो [[जटिल विमान]] पर परिभाषित को घातीय प्रकार का कहा जाता है <math>M</math> और <math>\tau</math> ऐसा है कि
[[जटिल विश्लेषण|सम्मिश्र]] तल पर परिभाषित एक फलन <math>f(z)</math> को घातीय प्रकार का कहा जाता है यदि वास्तविक-मान वाले स्थिरांक <math>M</math> और <math>\tau</math> उपस्तिथ हों जैसे कि


:<math>\left|f\left(re^{i\theta}\right)\right| \le Me^{\tau r}</math>
:<math>\left|f\left(re^{i\theta}\right)\right| \le Me^{\tau r}</math>
की सीमा में <math>r\to\infty</math>. यहाँ, [[जटिल चर]] <math>z</math> के रूप में लिखा गया था <math>z=re^{i\theta}</math> इस बात पर ज़ोर देना कि सीमा सभी दिशाओं में कायम रहनी चाहिए <math>\theta</math>. दे <math>\tau</math> ऐसे सभी के न्यूनतम के लिए खड़े रहें <math>\tau</math>, तो कोई कहता है कि function <math>f</math> घातीय प्रकार का है <math>\tau</math>.
<math>r\to\infty</math> की सीमा में. यहाँ, [[जटिल चर|सम्मिश्र चर]] <math>z</math> को <math>z=re^{i\theta}</math> रूप में लिखा गया था जिससे कि इस बात पर ज़ोर देना कि सीमा सभी दिशाओं में <math>\theta</math> को बनाए रखना चाहिए। ऐसे सभी <math>\tau</math> के न्यूनतम के लिए <math>\tau</math> स्थित रहें <math>\tau</math>, तो कोई कहता है कि फलन <math>f</math> घातीय प्ररूप <math>\tau</math> का है .


उदाहरण के लिए, चलो <math>f(z)=\sin(\pi z)</math>. फिर कोई कहता है <math>\sin(\pi z)</math> घातीय प्रकार का है <math>\pi</math>, तब से <math>\pi</math> वह सबसे छोटी संख्या है जो विकास को सीमित करती है <math>\sin(\pi z)</math> काल्पनिक अक्ष के साथ. इसलिए, इस उदाहरण के लिए, कार्लसन का प्रमेय लागू नहीं हो सकता, क्योंकि इसके लिए इससे कम घातीय प्रकार के कार्यों की आवश्यकता होती है <math>\pi</math>. इसी तरह, यूलर-मैकलॉरिन फॉर्मूला भी लागू नहीं किया जा सकता है, क्योंकि यह भी एक प्रमेय को व्यक्त करता है जो अंततः [[परिमित अंतर]] के सिद्धांत में निहित है।
उदाहरण के लिए, चलो <math>f(z)=\sin(\pi z)</math>. फिर कोई कहता है <math>\sin(\pi z)</math> घातीय प्ररूप <math>\pi</math> का है, क्योंकि <math>\pi</math> वह सबसे छोटी संख्या है जो काल्पनिक अक्ष के साथ <math>\sin(\pi z)</math> को सीमित करती है. इसलिए, इस उदाहरण के लिए, कार्लसन का प्रमेय क्रियान्वित नहीं हो सकता, क्योंकि इसके लिए इससे कम घातीय प्ररूप <math>\pi</math> के फलनों की आवश्यकता होती है. इसी तरह, यूलर-मैकलॉरिन फॉर्मूला भी क्रियान्वित नहीं किया जा सकता है, क्योंकि यह भी एक प्रमेय को व्यक्त करता है जो अंततः [[परिमित अंतर]] के सिद्धांत में निहित है।


==औपचारिक परिभाषा==
==औपचारिक परिभाषा==
एक होलोमोर्फिक फ़ंक्शन <math>F(z)</math> घातीय प्रकार का कहा जाता है <math>\sigma>0</math> यदि प्रत्येक के लिए <math>\varepsilon>0</math> वहाँ एक वास्तविक-मूल्यवान स्थिरांक मौजूद है <math>A_\varepsilon </math> ऐसा है कि
होलोमोर्फिक फलन <math>F(z)</math> घातीय प्ररूप <math>\sigma>0</math> का कहा जाता है यदि प्रत्येक <math>\varepsilon>0</math> के लिए वहाँ एक वास्तविक-मान स्थिरांक <math>A_\varepsilon </math> उपस्तिथ है ऐसा है कि


:<math>|F(z)|\leq A_\varepsilon e^{(\sigma+\varepsilon)|z|}</math>
:<math>|F(z)|\leq A_\varepsilon e^{(\sigma+\varepsilon)|z|}</math>
के लिए <math>|z|\to\infty</math> कहाँ <math>z\in\mathbb{C}</math>.
<math>|z|\to\infty</math> के लिए जहाँ <math>z\in\mathbb{C}</math>. हम कहते हैं <math>F(z)</math> यदि घातीय प्ररूप का है यदि <math>F(z)</math> कुछ <math>\sigma>0</math> घातीय प्ररूप <math>\sigma</math> का है. जो संख्या
हम कहते हैं <math>F(z)</math> यदि घातीय प्रकार का है <math>F(z)</math> घातीय प्रकार का है <math>\sigma</math> कुछ के लिए <math>\sigma>0</math>. जो नंबर


:<math>\tau(F)=\sigma=\displaystyle\limsup_{|z|\rightarrow\infty}|z|^{-1}\log|F(z)|</math>
:<math>\tau(F)=\sigma=\displaystyle\limsup_{|z|\rightarrow\infty}|z|^{-1}\log|F(z)|</math>
का घातीय प्रकार है <math>F(z)</math>. यहां श्रेष्ठ सीमा का मतलब किसी दिए गए त्रिज्या के बाहर अनुपात के सर्वोच्च की सीमा है क्योंकि त्रिज्या अनंत तक जाती है। यह किसी दिए गए त्रिज्या पर अनुपात के अधिकतम से बेहतर सीमा भी है क्योंकि त्रिज्या अनंत तक जाती है। उच्चतम सीमा त्रिज्या पर अधिकतम होने पर भी मौजूद हो सकती है <math>r</math> जैसी कोई सीमा नहीं है <math>r</math> अनंत तक जाता है. उदाहरण के लिए, फ़ंक्शन के लिए
<math>F(z)</math> का घातीय प्ररूप है. यहां श्रेष्ठ सीमा का कारण किसी दिए गए त्रिज्या के बाहर अनुपात के सर्वोच्च की सीमा है क्योंकि त्रिज्या अनंत तक जाती है। यह किसी दिए गए त्रिज्या पर अनुपात के अधिकतम से श्रेष्ठ सीमा भी है क्योंकि त्रिज्या अनंत तक जाती है। उच्चतम सीमा त्रिज्या पर अधिकतम होने पर भी उपस्तिथ हो सकती है <math>r                                                                                                                                                                                                           </math> जैसी कोई सीमा नहीं है <math>r                                                                                                                                                                                                           </math> अनंत तक जाता है. उदाहरण के लिए, फलन के लिए


:<math>F(z)=\sum_{n=1}^\infty\frac{z^{10^{n!}}}{(10^{n!})!}</math>
:<math>F(z)=\sum_{n=1}^\infty\frac{z^{10^{n!}}}{(10^{n!})!}</math>
Line 33: Line 32:
&\sim(\log 10)(n!-1-(n-1)!)/10^{n!-1-(n-1)!}\\
&\sim(\log 10)(n!-1-(n-1)!)/10^{n!-1-(n-1)!}\\
\end{align}</math>
\end{align}</math>
और यह शून्य हो जाता है <math>n</math> अनंत तक जाता है,<ref>In fact, even <math>(\max_{|z|=r}\log \log|F(z)|) /(\log r)</math> goes to zero at <math>r=10^{n!-1}</math> as  
और यह शून्य हो जाता है <math>n                                                                                                                                                                                                           </math> अनंत तक जाता है,<ref>In fact, even <math>(\max_{|z|=r}\log \log|F(z)|) /(\log r)</math> goes to zero at <math>r=10^{n!-1}</math> as  
<math>n</math> goes to infinity.</ref> लेकिन <math>F(z)</math> फिर भी यह घातीय प्रकार 1 का है, जैसा कि बिंदुओं को देखकर देखा जा सकता है <math>z=10^{n!}</math>.
<math>n</math> goes to infinity.</ref> किन्तु <math>F(z)</math> फिर भी यह घातीय प्ररूप 1 का है, जैसा कि बिंदुओं <math>z=10^{n!}</math> को देखकर देखा जा सकता है.


==सममित उत्तल पिंड के संबंध में घातीय प्रकार==
==सममित उत्तल पिंड के संबंध में घातीय प्ररूप==


{{harvtxt|Stein|1957}} ने [[कई जटिल चर]]ों के [[संपूर्ण कार्य]]ों के लिए घातीय प्रकार का सामान्यीकरण दिया है।
{{harvtxt|Stein|1957}} ने [[कई जटिल चर|कई सम्मिश्र चर]] के [[संपूर्ण कार्य|संपूर्ण फलन]] के लिए घातीय प्ररूप का सामान्यीकरण दिया है। मान लीजिए <math>K                                                                                                                                                                                                           </math> एक उत्तल समुच्चय, [[सघन तत्व]] और [[सममित]] उपसमुच्चय <math>\mathbb{R}^n</math> है. यह ज्ञात है कि हर ऐसे के लिए <math>K</math> एक संबद्ध मानदंड <math>\|\cdot\|_K</math> है (गणित) उस गुण के साथ
कल्पना करना <math>K</math> एक उत्तल समुच्चय, [[सघन तत्व]] और [[सममित]] उपसमुच्चय है <math>\mathbb{R}^n</math>. यह ज्ञात है कि हर ऐसे के लिए <math>K</math> एक संबद्ध मानदंड है (गणित) <math>\|\cdot\|_K</math> उस संपत्ति के साथ


:<math> K=\{x\in\mathbb{R}^n : \|x\|_K \leq1\}. </math>
:<math> K=\{x\in\mathbb{R}^n : \|x\|_K \leq1\}. </math>
दूसरे शब्दों में, <math>K</math> में यूनिट बॉल है <math>\mathbb{R}^{n}</math> इसके संबंध में <math>\|\cdot\|_K</math>. सेट
दूसरे शब्दों में, <math>K</math> में यूनिट बॉल <math>\mathbb{R}^{n}</math> है इसके संबंध में समुच्चय <math>\|\cdot\|_K</math>.


:<math>K^{*}=\{y\in\mathbb{R}^{n}:x\cdot y \leq 1 \text{ for all }x\in{K}\}</math>
:<math>K^{*}=\{y\in\mathbb{R}^{n}:x\cdot y \leq 1 \text{ for all }x\in{K}\}</math>
ध्रुवीय समुच्चय कहा जाता है और यह उत्तल समुच्चय, सघन तत्व और सममित उपसमुच्चय भी है <math>\mathbb{R}^n</math>. इसके अलावा, हम लिख सकते हैं
<math>\mathbb{R}^n</math> को ध्रुवीय समुच्चय कहा जाता है और यह उत्तल समुच्चय, सघन तत्व और सममित उपसमुच्चय भी है. इसके अतिरिक्त, हम लिख सकते हैं


:<math>\|x\|_K = \displaystyle\sup_{y\in K^{*}}|x\cdot y|.</math>
:<math>\|x\|_K = \displaystyle\sup_{y\in K^{*}}|x\cdot y|.</math>
Line 51: Line 49:


:<math>\|z\|_K = \displaystyle\sup_{y\in K^{*}}|z\cdot y|.</math>
:<math>\|z\|_K = \displaystyle\sup_{y\in K^{*}}|z\cdot y|.</math>
एक संपूर्ण समारोह <math>F(z)</math> का <math>n</math>-सम्मिश्र चर को घातीय प्रकार का कहा जाता है <math>K</math> यदि प्रत्येक के लिए <math>\varepsilon>0</math> वहाँ एक वास्तविक-मूल्यवान स्थिरांक मौजूद है <math>A_\varepsilon</math> ऐसा है कि
एक संपूर्ण फलन <math>F(z)                                                                                                                                                                                                           </math> का <math>n                                                                                                                                                                                                           </math>-सम्मिश्र चर को घातीय प्ररूप <math>K                                                                                                                                                                                                                   </math> का कहा जाता है यदि प्रत्येक के लिए <math>\varepsilon>0</math> वहाँ एक वास्तविक-मान स्थिरांक उपस्तिथ <math>A_\varepsilon                                                                                                                                                                                                           </math> है ऐसा है कि


:<math>|F(z)|<A_\varepsilon e^{2\pi(1+\varepsilon)\|z\|_K}</math>
:<math>|F(z)|<A_\varepsilon e^{2\pi(1+\varepsilon)\|z\|_K}</math>
सभी के लिए <math>z\in\mathbb{C}^{n}</math>.
सभी के लिए <math>z\in\mathbb{C}^{n}</math>.


==फ्रेचेट स्पेस==
==फ्रेचेट समष्टि==
घातीय प्रकार के कार्यों का संग्रह <math>\tau</math> मानदंड (गणित) के गणनीय परिवार द्वारा प्रेरित [[टोपोलॉजिकल स्पेस]] द्वारा एक पूर्ण अंतरिक्ष समान स्थान, अर्थात् फ़्रेचेट स्पेस, बना सकता है
घातीय प्ररूप के फलनों का संग्रह <math>\tau</math> मानदंड (गणित) के गणनीय वर्ग द्वारा प्रेरित [[टोपोलॉजिकल स्पेस|टोपोलॉजिकल समष्टि]] द्वारा एक पूर्ण [[टोपोलॉजिकल स्पेस|समष्टि]], समान समष्टि, अर्थात् फ़्रेचेट समष्टि, बना सकता है


: <math> \|f\|_n = \sup_{z \in \mathbb{C}} \exp \left[-\left(\tau + \frac{1}{n}\right)|z|\right]|f(z)|. </math>
: <math> \|f\|_n = \sup_{z \in \mathbb{C}} \exp \left[-\left(\tau + \frac{1}{n}\right)|z|\right]|f(z)|. </math>
Line 64: Line 62:
==यह भी देखें==
==यह भी देखें==
*पेली-वीनर प्रमेय
*पेली-वीनर प्रमेय
*पेली-वीनर स्थान
*पेली-वीनर समष्टि


== संदर्भ ==
== संदर्भ ==
<!--- See http://en.wikipedia.org/wiki/Wikipedia:Footnotes on how to create references using <ref></ref> tags which will then appear here automatically -->
{{Reflist}}
{{Reflist}}



Revision as of 09:28, 12 December 2023

फलन का ग्राफ ग्रे रंग में है, गाऊसी वास्तविक अक्ष तक ही सीमित है। फिर गॉसियन में घातीय प्ररूप नहीं होता है, किन्तु लाल और नीले रंग में कार्य एक तरफा सन्निकटन होते हैं जिनमें घातांक प्रकार होता है.

सम्मिश्र विश्लेषण में, गणित की एक शाखा, एक होलोमोर्फिक फलन को घातीय प्ररूप C का कहा जाता है यदि इसकी वृद्धि घातीय फलन द्वारा सीमित होती है किसी वास्तविक संख्या के लिए वास्तविक-मान स्थिरांक जैसा . जब कोई फलन इस तरह से घिरा होता है, तो इसे अन्य सम्मिश्र फलन की श्रृंखला पर कुछ प्रकार के अभिसरण योगों के रूप में व्यक्त करना संभव होता है, साथ ही यह समझना भी संभव होता है कि बोरेल योग जैसी तकनीकों को क्रियान्वित करना कब संभव है, या, उदाहरण के लिए , मेलिन परिवर्तन को क्रियान्वित करने के लिए, या यूलर-मैकलॉरिन फॉर्मूला का उपयोग करके सन्निकटन करने के लिए। सामान्य स्थितियों को नचबिन के प्रमेय द्वारा नियंत्रित किया जाता है,जो के विपरीत एक सामान्य फलन के लिए -प्रकार की अनुरूप धारणा को परिभाषित करता है।.

मूल विचार

सम्मिश्र तल पर परिभाषित एक फलन को घातीय प्रकार का कहा जाता है यदि वास्तविक-मान वाले स्थिरांक और उपस्तिथ हों जैसे कि

की सीमा में. यहाँ, सम्मिश्र चर को रूप में लिखा गया था जिससे कि इस बात पर ज़ोर देना कि सीमा सभी दिशाओं में को बनाए रखना चाहिए। ऐसे सभी के न्यूनतम के लिए स्थित रहें , तो कोई कहता है कि फलन घातीय प्ररूप का है .

उदाहरण के लिए, चलो . फिर कोई कहता है घातीय प्ररूप का है, क्योंकि वह सबसे छोटी संख्या है जो काल्पनिक अक्ष के साथ को सीमित करती है. इसलिए, इस उदाहरण के लिए, कार्लसन का प्रमेय क्रियान्वित नहीं हो सकता, क्योंकि इसके लिए इससे कम घातीय प्ररूप के फलनों की आवश्यकता होती है. इसी तरह, यूलर-मैकलॉरिन फॉर्मूला भी क्रियान्वित नहीं किया जा सकता है, क्योंकि यह भी एक प्रमेय को व्यक्त करता है जो अंततः परिमित अंतर के सिद्धांत में निहित है।

औपचारिक परिभाषा

होलोमोर्फिक फलन घातीय प्ररूप का कहा जाता है यदि प्रत्येक के लिए वहाँ एक वास्तविक-मान स्थिरांक उपस्तिथ है ऐसा है कि

के लिए जहाँ . हम कहते हैं यदि घातीय प्ररूप का है यदि कुछ घातीय प्ररूप का है. जो संख्या

का घातीय प्ररूप है. यहां श्रेष्ठ सीमा का कारण किसी दिए गए त्रिज्या के बाहर अनुपात के सर्वोच्च की सीमा है क्योंकि त्रिज्या अनंत तक जाती है। यह किसी दिए गए त्रिज्या पर अनुपात के अधिकतम से श्रेष्ठ सीमा भी है क्योंकि त्रिज्या अनंत तक जाती है। उच्चतम सीमा त्रिज्या पर अधिकतम होने पर भी उपस्तिथ हो सकती है जैसी कोई सीमा नहीं है अनंत तक जाता है. उदाहरण के लिए, फलन के लिए

का मान है

पर का प्रभुत्व है शब्द इसलिए हमारे पास स्पर्शोन्मुख अभिव्यक्तियाँ हैं:

और यह शून्य हो जाता है अनंत तक जाता है,[1] किन्तु फिर भी यह घातीय प्ररूप 1 का है, जैसा कि बिंदुओं को देखकर देखा जा सकता है.

सममित उत्तल पिंड के संबंध में घातीय प्ररूप

Stein (1957) ने कई सम्मिश्र चर के संपूर्ण फलन के लिए घातीय प्ररूप का सामान्यीकरण दिया है। मान लीजिए एक उत्तल समुच्चय, सघन तत्व और सममित उपसमुच्चय है. यह ज्ञात है कि हर ऐसे के लिए एक संबद्ध मानदंड है (गणित) उस गुण के साथ

दूसरे शब्दों में, में यूनिट बॉल है इसके संबंध में समुच्चय .

को ध्रुवीय समुच्चय कहा जाता है और यह उत्तल समुच्चय, सघन तत्व और सममित उपसमुच्चय भी है. इसके अतिरिक्त, हम लिख सकते हैं

हम विस्तार करते हैं से को द्वारा

एक संपूर्ण फलन का -सम्मिश्र चर को घातीय प्ररूप का कहा जाता है यदि प्रत्येक के लिए वहाँ एक वास्तविक-मान स्थिरांक उपस्तिथ है ऐसा है कि

सभी के लिए .

फ्रेचेट समष्टि

घातीय प्ररूप के फलनों का संग्रह मानदंड (गणित) के गणनीय वर्ग द्वारा प्रेरित टोपोलॉजिकल समष्टि द्वारा एक पूर्ण समष्टि, समान समष्टि, अर्थात् फ़्रेचेट समष्टि, बना सकता है


यह भी देखें

  • पेली-वीनर प्रमेय
  • पेली-वीनर समष्टि

संदर्भ

  1. In fact, even goes to zero at as goes to infinity.
  • Stein, E.M. (1957), "Functions of exponential type", Ann. of Math., 2, 65: 582–592, doi:10.2307/1970066, JSTOR 1970066, MR 0085342