संपूर्ण फलन: Difference between revisions
(Created page with "{{short description|Function that is holomorphic on the whole complex plane}} जटिल विश्लेषण में, एक संपूर्ण फ़ंक्...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{short description|Function that is holomorphic on the whole complex plane}} | {{short description|Function that is holomorphic on the whole complex plane}} | ||
[[जटिल विश्लेषण]] में, | [[जटिल विश्लेषण]] में, संपूर्ण फलन, जिसे [[ अभिन्न ]] फलन भी कहा जाता है, जटिल-मूल्यवान [[फ़ंक्शन (गणित)|फलन (गणित)]] है, जो पूरे [[जटिल विमान]] पर [[होलोमोर्फिक फ़ंक्शन|होलोमोर्फिक फलन]] है। संपूर्ण कार्यों के विशिष्ट उदाहरण [[बहुपद]] और घातीय फलन हैं, और इनमें से कोई भी परिमित योग, उत्पाद और रचनाएं, जैसे कि त्रिकोणमितीय फलन [[ उन लोगों के ]] और [[ कोज्या ]] और उनके [[अतिशयोक्तिपूर्ण कार्य]] [[ अतिपरवलयिक ज्या ]] और [[ अतिशयोक्तिपूर्ण कोज्या ]], साथ ही संपूर्ण फलन के [[ यौगिक ]] और इंटीग्रल। जैसे कि [[त्रुटि फ़ंक्शन|त्रुटि फलन]]। यदि संपूर्ण फलन <math>f(z)</math> [[किसी फ़ंक्शन का मूल|किसी फलन का मूल]] <math>w</math>, तब <math>f(z)/(z-w)</math>, सीमा मान ले रहा है <math>w</math>, संपूर्ण कार्य है। दूसरी ओर, [[प्राकृतिक]] लघुगणक, व्युत्क्रम फलन और [[वर्गमूल]] सभी संपूर्ण फलन नहीं हैं, न ही वे किसी संपूर्ण फलन की [[विश्लेषणात्मक निरंतरता]] हो सकते हैं। | ||
[[किसी फ़ंक्शन का मूल]] <math>w</math>, तब <math>f(z)/(z-w)</math>, सीमा मान ले रहा है <math>w</math>, | |||
[[पारलौकिक कार्य]] संपूर्ण फलन संपूर्ण फलन है जो बहुपद नहीं है। | |||
जिस प्रकार मेरोमोर्फिक कार्यों को तर्कसंगत भिन्नों के सामान्यीकरण के रूप में देखा जा सकता है, उसी प्रकार संपूर्ण कार्यों को बहुपदों के सामान्यीकरण के रूप में देखा जा सकता है। विशेष रूप से, यदि मेरोमोर्फिक कार्यों के लिए कोई गुणनखंडन को सरल अंशों में सामान्यीकृत कर सकता है (मेरोमोर्फिक | जिस प्रकार मेरोमोर्फिक कार्यों को तर्कसंगत भिन्नों के सामान्यीकरण के रूप में देखा जा सकता है, उसी प्रकार संपूर्ण कार्यों को बहुपदों के सामान्यीकरण के रूप में देखा जा सकता है। विशेष रूप से, यदि मेरोमोर्फिक कार्यों के लिए कोई गुणनखंडन को सरल अंशों में सामान्यीकृत कर सकता है (मेरोमोर्फिक फलन के अपघटन पर मिट्टाग-लेफ़लर प्रमेय), तो संपूर्ण कार्यों के लिए गुणनखंडन का सामान्यीकरण होता है - संपूर्ण कार्यों पर वीयरस्ट्रैस प्रमेय। | ||
==गुण== | ==गुण== | ||
Line 15: | Line 14: | ||
या | या | ||
<math display="block">\ \lim_{n\to\infty} \frac{\ln|a_n|}n = -\infty ~.</math> | <math display="block">\ \lim_{n\to\infty} \frac{\ln|a_n|}n = -\infty ~.</math> | ||
इस मानदंड को पूरा करने वाली कोई भी शक्ति श्रृंखला | इस मानदंड को पूरा करने वाली कोई भी शक्ति श्रृंखला संपूर्ण फलन का प्रतिनिधित्व करेगी। | ||
यदि (और केवल यदि) शक्ति श्रृंखला के सभी गुणांक वास्तविक हैं तो | यदि (और केवल यदि) शक्ति श्रृंखला के सभी गुणांक वास्तविक हैं तो फलन स्पष्ट रूप से वास्तविक तर्कों के लिए वास्तविक मान लेता है, और जटिल संयुग्म पर फलन का मान लेता है <math>\ z\ </math> पर मान का जटिल संयुग्म होगा <math>\ z ~.</math> ऐसे कार्यों को कभी-कभी स्व-संयुग्मित (संयुग्मित कार्य, <math>\ F^*(z)\ ,</math> द्वारा दिया जा रहा है {{nowrap|<math>\ \bar F(\bar z)\ </math>).}}{{sfn|Boas|1954|p=1}} | ||
यदि किसी बिंदु के पड़ोस में किसी संपूर्ण | यदि किसी बिंदु के पड़ोस में किसी संपूर्ण फलन का वास्तविक भाग ज्ञात होता है तो संपूर्ण जटिल तल के लिए, काल्पनिक स्थिरांक [[तक]], वास्तविक और काल्पनिक दोनों भाग ज्ञात होते हैं। उदाहरण के लिए, यदि वास्तविक भाग शून्य के पड़ोस में ज्ञात है, तो हम इसके लिए गुणांक पा सकते हैं <math>n>0</math> वास्तविक चर के संबंध में निम्नलिखित व्युत्पन्नों से <math>\ r\ </math>: | ||
<math display="block">\begin{align} | <math display="block">\begin{align} | ||
Line 25: | Line 24: | ||
\operatorname\mathcal{I_m}\left\{\ a_n\ \right\} &= \frac{1}{n!} \frac{d^n}{dr^n}\ \operatorname\mathcal{R_e} \left\{\ f\left( r\ e^{-\frac{i\pi}{2n}} \right)\ \right\} && \quad \mathrm{ at } \quad r = 0 | \operatorname\mathcal{I_m}\left\{\ a_n\ \right\} &= \frac{1}{n!} \frac{d^n}{dr^n}\ \operatorname\mathcal{R_e} \left\{\ f\left( r\ e^{-\frac{i\pi}{2n}} \right)\ \right\} && \quad \mathrm{ at } \quad r = 0 | ||
\end{align}</math> | \end{align}</math> | ||
(इसी तरह, यदि काल्पनिक भाग किसी [[पड़ोस (गणित)]] में ज्ञात है तो | (इसी तरह, यदि काल्पनिक भाग किसी [[पड़ोस (गणित)]] में ज्ञात है तो फलन वास्तविक स्थिरांक तक निर्धारित होता है।) वास्तव में, यदि वास्तविक भाग किसी वृत्त के चाप पर ही ज्ञात होता है, तो फलन निर्धारित होता है काल्पनिक स्थिरांक के लिए.{{efn| | ||
For instance, if the real part is known on part of the unit circle, then it is known on the whole unit circle by [[analytic extension]], and then the coefficients of the infinite series are determined from the coefficients of the [[Fourier series]] for the real part on the unit circle. | For instance, if the real part is known on part of the unit circle, then it is known on the whole unit circle by [[analytic extension]], and then the coefficients of the infinite series are determined from the coefficients of the [[Fourier series]] for the real part on the unit circle. | ||
}}} | }}} | ||
हालाँकि ध्यान दें कि संपूर्ण फलन सभी वक्रों पर उसके वास्तविक भाग द्वारा ''नहीं'' निर्धारित होता है। विशेष रूप से, यदि वास्तविक भाग जटिल तल में किसी वक्र पर दिया गया है जहां किसी अन्य संपूर्ण फलन का वास्तविक भाग शून्य है, तो उस फलन के किसी भी गुणज को उस फलन में जोड़ा जा सकता है जिसे हम निर्धारित करने का प्रयास कर रहे हैं। उदाहरण के लिए, यदि वक्र जहां वास्तविक भाग ज्ञात है वह वास्तविक रेखा है, तो हम जोड़ सकते हैं <math>\ i\ </math> किसी भी स्व-संयुग्मित कार्य का समय। यदि वक्र लूप बनाता है, तो यह लूप पर फलन के वास्तविक भाग द्वारा निर्धारित किया जाता है क्योंकि केवल वे फलन जिनका वास्तविक भाग वक्र पर शून्य है वे वे हैं जो हर जगह कुछ काल्पनिक संख्या के बराबर हैं। | |||
[[वीयरस्ट्रैस गुणनखंडन प्रमेय]] का दावा है कि किसी भी संपूर्ण फलन को किसी फलन के शून्य (या जड़ों) वाले उत्पाद द्वारा दर्शाया जा सकता है। | |||
लिउविले का प्रमेय (जटिल विश्लेषण)|लिउविले का प्रमेय बताता है कि किसी भी परिबद्ध | जटिल तल पर संपूर्ण कार्य [[अभिन्न डोमेन]] (वास्तव में प्रुफ़र डोमेन) बनाते हैं। वे जटिल संख्याओं पर क्रम[[विनिमेय]] [[इकाई बीजगणित]] [[साहचर्य बीजगणित]] भी बनाते हैं। | ||
लिउविले का प्रमेय (जटिल विश्लेषण)|लिउविले का प्रमेय बताता है कि किसी भी परिबद्ध फलन का पूरा फलन स्थिर होना चाहिए।{{efn| | |||
Liouville's theorem may be used to elegantly prove the [[fundamental theorem of algebra]]. | Liouville's theorem may be used to elegantly prove the [[fundamental theorem of algebra]]. | ||
}} | }} | ||
लिउविले के प्रमेय के परिणामस्वरूप, कोई भी | लिउविले के प्रमेय के परिणामस्वरूप, कोई भी फलन जो संपूर्ण [[रीमैन क्षेत्र]] पर संपूर्ण है{{efn| | ||
The [[Riemann sphere]] is the whole complex plane augmented with a single point at infinity. | The [[Riemann sphere]] is the whole complex plane augmented with a single point at infinity. | ||
}} | }} | ||
स्थिर है. इस प्रकार किसी भी गैर-स्थिर संपूर्ण | स्थिर है. इस प्रकार किसी भी गैर-स्थिर संपूर्ण फलन में अनंत पर जटिल बिंदु पर [[गणितीय विलक्षणता]] होनी चाहिए, या तो बहुपद के लिए [[ध्रुव (जटिल विश्लेषण)]] या ट्रान्सेंडैंटल फलन संपूर्ण फलन के लिए [[आवश्यक विलक्षणता]]। विशेष रूप से, कैसोराती-वीयरस्ट्रैस प्रमेय द्वारा, किसी भी पारलौकिक संपूर्ण फलन के लिए <math>\ f\ </math> और कोई भी जटिल <math>\ w\ </math> क्रम है <math>\ (z_m)_{m\in\N}\ </math> ऐसा है कि | ||
:<math>\ \lim_{m\to\infty} |z_m| = \infty, \qquad \text{and} \qquad \lim_{m\to\infty} f(z_m) = w ~.</math> | :<math>\ \lim_{m\to\infty} |z_m| = \infty, \qquad \text{and} \qquad \lim_{m\to\infty} f(z_m) = w ~.</math> | ||
पिकार्ड प्रमेय|पिकार्ड का छोटा प्रमेय बहुत मजबूत परिणाम है: कोई भी गैर-स्थिर संपूर्ण | पिकार्ड प्रमेय|पिकार्ड का छोटा प्रमेय बहुत मजबूत परिणाम है: कोई भी गैर-स्थिर संपूर्ण फलन प्रत्येक जटिल संख्या को मान के रूप में लेता है, संभवतः अपवाद के साथ। जब कोई अपवाद मौजूद होता है, तो इसे फलन का लैकुनरी मान कहा जाता है। संक्षिप्त मान की संभावना को घातीय फलन द्वारा चित्रित किया गया है, जो कभी भी मान नहीं लेता है {{nobr| {{math|0}} .}} कोई संपूर्ण फलन के लघुगणक की उपयुक्त शाखा ले सकता है जो कभी हिट नहीं होती {{nobr| {{math|0}} ,}} ताकि यह भी संपूर्ण फलन हो (वीयरस्ट्रैस फ़ैक्टराइज़ेशन प्रमेय के अनुसार)। लघुगणक संभवतः एक संख्या को छोड़कर प्रत्येक जटिल संख्या को हिट करता है, जिसका अर्थ है कि पहला फलन 0 के अलावा किसी भी मान को अनंत बार हिट करेगा। इसी तरह, गैर-स्थिर, संपूर्ण फलन जो किसी विशेष मान पर नहीं पड़ता है, वह हर दूसरे मान पर अनंत बार वार करेगा। | ||
लिउविले का प्रमेय निम्नलिखित कथन का | लिउविले का प्रमेय निम्नलिखित कथन का विशेष मामला है: | ||
{{math theorem|math_statement= Assume <math>\ M\ ,</math> <math>\ R\ </math> are positive constants and <math>\ n\ </math> is a non-negative integer. An entire function <math>f</math> satisfying the inequality <math>\ |f(z)| \le M |z|^n\ </math> for all <math>\ z\ </math> with <math>\ |z| \ge R\ ,</math> is necessarily a polynomial, of [[degree of a polynomial|degree]] at most <math>\ n ~.</math>{{efn| | {{math theorem|math_statement= Assume <math>\ M\ ,</math> <math>\ R\ </math> are positive constants and <math>\ n\ </math> is a non-negative integer. An entire function <math>f</math> satisfying the inequality <math>\ |f(z)| \le M |z|^n\ </math> for all <math>\ z\ </math> with <math>\ |z| \ge R\ ,</math> is necessarily a polynomial, of [[degree of a polynomial|degree]] at most <math>\ n ~.</math>{{efn| | ||
Line 55: | Line 55: | ||
==विकास== | ==विकास== | ||
संपूर्ण | संपूर्ण फलन किसी भी बढ़ते फलन जितनी तेज़ी से बढ़ सकते हैं: किसी भी बढ़ते फलन के लिए | ||
<math>g:[0,\infty)\to[0,\infty)</math> वहाँ | <math>g:[0,\infty)\to[0,\infty)</math> वहाँ संपूर्ण फलन मौजूद है <math>f</math> ऐसा है कि | ||
<math>f(x)>g(|x|)</math> सभी वास्तविक के लिए <math>x</math>. ऐसा कार्य <math>f</math> फॉर्म आसानी से मिल सकता है: | <math>f(x)>g(|x|)</math> सभी वास्तविक के लिए <math>x</math>. ऐसा कार्य <math>f</math> फॉर्म आसानी से मिल सकता है: | ||
<math display="block">f(z)=c+\sum_{k=1}^{\infty}\left(\frac{z}{k}\right)^{n_k}</math> | <math display="block">f(z)=c+\sum_{k=1}^{\infty}\left(\frac{z}{k}\right)^{n_k}</math> | ||
स्थिरांक के लिए <math>c</math> और धनात्मक पूर्णांकों का कड़ाई से बढ़ता क्रम <math>n_k</math>. ऐसा कोई भी क्रम संपूर्ण फलन को परिभाषित करता है <math>f(z)</math>, और यदि शक्तियां उचित रूप से चुनी जाती हैं तो हम असमानता को संतुष्ट कर सकते हैं <math>f(x)>g(|x|)</math> सभी वास्तविक के लिए <math>x</math>. (उदाहरण के लिए, यदि कोई चुनता है तो यह निश्चित रूप से मान्य है <math>c:=g(2)</math> और, किसी भी पूर्णांक के लिए <math>k \ge 1</math> कोई सम घातांक चुनता है <math> n_k </math> ऐसा है कि <math>\left(\frac{k+1}{k}\right)^{n_k} \ge g(k+2)</math>). | |||
== | ==ऑर्डर करें और टाइप करें == | ||
संपूर्ण | संपूर्ण फलन का क्रम (अनंत पर)। <math>f(z)</math> श्रेष्ठ सीमा का उपयोग करके परिभाषित किया गया है: | ||
<math display="block">\rho = \limsup_{r\to\infty}\frac{\ln \left (\ln\| f \|_{\infty, B_r} \right ) }{\ln r},</math> | <math display="block">\rho = \limsup_{r\to\infty}\frac{\ln \left (\ln\| f \|_{\infty, B_r} \right ) }{\ln r},</math> | ||
कहाँ <math>B_r</math> त्रिज्या की डिस्क है <math>r</math> और <math>\|f \|_{\infty, B_r}</math> के सर्वोच्च मानदंड को दर्शाता है <math>f(z)</math> पर <math>B_r</math>. क्रम | कहाँ <math>B_r</math> त्रिज्या की डिस्क है <math>r</math> और <math>\|f \|_{\infty, B_r}</math> के सर्वोच्च मानदंड को दर्शाता है <math>f(z)</math> पर <math>B_r</math>. क्रम गैर-नकारात्मक वास्तविक संख्या या अनंत है (कब को छोड़कर)। <math>f(z) = 0</math> सभी के लिए <math>z</math>. दूसरे शब्दों में, का क्रम <math>f(z)</math> सभी में अल्पतम है <math>m</math> ऐसा है कि: | ||
<math display="block">f(z) = O \left (\exp \left (|z|^m \right ) \right ), \quad \text{as } z \to \infty.</math> | |||
का उदाहरण <math>f(z) = \exp(2z^2)</math> दिखाता है कि इसका मतलब यह नहीं है <math>f(z)=O(\exp(|z|^m))</math> अगर | का उदाहरण <math>f(z) = \exp(2z^2)</math> दिखाता है कि इसका मतलब यह नहीं है <math>f(z)=O(\exp(|z|^m))</math> अगर | ||
<math>f(z)</math> व्यवस्थित है <math>m</math>. | <math>f(z)</math> व्यवस्थित है <math>m</math>. | ||
Line 75: | Line 75: | ||
<math display="block">\sigma=\limsup_{r\to\infty}\frac{\ln \| f\|_{\infty,B_r}} {r^\rho}.</math> | <math display="block">\sigma=\limsup_{r\to\infty}\frac{\ln \| f\|_{\infty,B_r}} {r^\rho}.</math> | ||
यदि ऑर्डर 1 है और प्रकार है <math>\sigma</math>, | यदि ऑर्डर 1 है और प्रकार है <math>\sigma</math>, फलन को [[घातीय प्रकार]] का कहा जाता है <math>\sigma</math>. यदि यह 1 से कम क्रम का है तो इसे घातीय प्रकार 0 कहा जाता है। | ||
अगर <math display="block"> f(z)=\sum_{n=0}^\infty a_n z^n,</math> तो क्रम और प्रकार सूत्रों द्वारा पाया जा सकता है | अगर <math display="block"> f(z)=\sum_{n=0}^\infty a_n z^n,</math> तो क्रम और प्रकार सूत्रों द्वारा पाया जा सकता है | ||
Line 88: | Line 88: | ||
(\rho\sigma)^{\frac{1}{\rho}} &=e^{1-\frac{1}{\rho}} \limsup_{n\to\infty}\frac{|f^{(n)}(z_0)|^{\frac{1}{n}}}{n^{1-\frac{1}{\rho}}} | (\rho\sigma)^{\frac{1}{\rho}} &=e^{1-\frac{1}{\rho}} \limsup_{n\to\infty}\frac{|f^{(n)}(z_0)|^{\frac{1}{n}}}{n^{1-\frac{1}{\rho}}} | ||
\end{align}</math> | \end{align}</math> | ||
प्रकार अनंत हो सकता है, जैसा कि [[पारस्परिक गामा फ़ंक्शन]] के मामले में, या शून्य (नीचे उदाहरण देखें) {{slink||Order 1}}). | प्रकार अनंत हो सकता है, जैसा कि [[पारस्परिक गामा फ़ंक्शन|पारस्परिक गामा फलन]] के मामले में, या शून्य (नीचे उदाहरण देखें) {{slink||Order 1}}). | ||
क्रम और प्रकार का पता लगाने का दूसरा तरीका मत्सेव का प्रमेय है। | क्रम और प्रकार का पता लगाने का दूसरा तरीका मत्सेव का प्रमेय है। | ||
Line 96: | Line 96: | ||
====आदेश ρ==== | ====आदेश ρ==== | ||
मनमानी सकारात्मक संख्याओं के लिए <math>\rho</math> और <math>\sigma</math> कोई ऑर्डर के संपूर्ण | मनमानी सकारात्मक संख्याओं के लिए <math>\rho</math> और <math>\sigma</math> कोई ऑर्डर के संपूर्ण फलन का उदाहरण बना सकता है <math>\rho</math> और टाइप करें <math>\sigma</math> का उपयोग करना: | ||
<math display="block">f(z)=\sum_{n=1}^\infty \left (\frac{e\rho\sigma}{n} \right )^{\frac{n}{\rho}} z^n</math> | <math display="block">f(z)=\sum_{n=1}^\infty \left (\frac{e\rho\sigma}{n} \right )^{\frac{n}{\rho}} z^n</math> | ||
Line 123: | Line 123: | ||
*<math>\sin(z)</math> | *<math>\sin(z)</math> | ||
*<math>\cosh(z)</math> | *<math>\cosh(z)</math> | ||
*[[बेसेल फ़ंक्शन]] <math>J_0(z)</math>{{citation needed|reason=Quick calculation seems to point to a order of 1/2| date =August 2016}} | *[[बेसेल फ़ंक्शन|बेसेल फलन]] <math>J_0(z)</math>{{citation needed|reason=Quick calculation seems to point to a order of 1/2| date =August 2016}} | ||
*[[पारस्परिक गामा फ़ंक्शन]] <math>1/\Gamma(z)</math> (<math>\sigma</math> अनंत है) | *[[पारस्परिक गामा फ़ंक्शन|पारस्परिक गामा फलन]] <math>1/\Gamma(z)</math> (<math>\sigma</math> अनंत है) | ||
*<math>\sum_{n=2}^\infty \frac{z^n}{(n\ln n)^n}. \quad (\sigma=0)</math> | *<math>\sum_{n=2}^\infty \frac{z^n}{(n\ln n)^n}. \quad (\sigma=0)</math> | ||
Line 134: | Line 134: | ||
====आदेश 2==== | ====आदेश 2==== | ||
*<math>\exp(az^2)</math> साथ <math>a\neq 0</math> (<math>\sigma=|a|</math>) | *<math>\exp(az^2)</math> साथ <math>a\neq 0</math> (<math>\sigma=|a|</math>) | ||
*[[बार्न्स जी-फ़ंक्शन]] (<math>\sigma</math> अनंत है)। | *[[बार्न्स जी-फ़ंक्शन|बार्न्स जी-फलन]] (<math>\sigma</math> अनंत है)। | ||
====आदेश अनंत==== | ====आदेश अनंत==== | ||
Line 140: | Line 140: | ||
== | ==जाति== | ||
परिमित क्रम के संपूर्ण कार्यों में [[जैक्स हैडामर्ड]] का विहित प्रतिनिधित्व ([[हैडामर्ड गुणनखंडन प्रमेय]]) है: | परिमित क्रम के संपूर्ण कार्यों में [[जैक्स हैडामर्ड]] का विहित प्रतिनिधित्व ([[हैडामर्ड गुणनखंडन प्रमेय]]) है: | ||
<math display="block">f(z)=z^me^{P(z)}\prod_{n=1}^\infty\left(1-\frac{z}{z_n}\right)\exp\left(\frac{z}{z_n}+\cdots+\frac{1}{p} \left(\frac{z}{z_n}\right)^p\right),</math> | <math display="block">f(z)=z^me^{P(z)}\prod_{n=1}^\infty\left(1-\frac{z}{z_n}\right)\exp\left(\frac{z}{z_n}+\cdots+\frac{1}{p} \left(\frac{z}{z_n}\right)^p\right),</math> | ||
कहाँ <math>z_k</math> के | कहाँ <math>z_k</math> के फलन के वे शून्य हैं <math>f</math> वह शून्य नहीं हैं (<math>z_k \neq 0</math>), <math>m</math> के शून्य का क्रम है <math>f</math> पर <math>z = 0</math> (मामला <math>m = 0</math> मतलब निकाला जा रहा है <math>f(0) \neq 0</math>), <math>P</math> बहुपद (जिसकी डिग्री हम कहेंगे <math>q</math>), और <math>p</math> श्रृंखला का सबसे छोटा गैर-नकारात्मक पूर्णांक है | ||
<math display="block">\sum_{n=1}^\infty\frac{1}{|z_n|^{p+1}}</math> | <math display="block">\sum_{n=1}^\infty\frac{1}{|z_n|^{p+1}}</math> | ||
जुटता है. गैर-नकारात्मक पूर्णांक <math>g=\max\{p,q\}</math> संपूर्ण | जुटता है. गैर-नकारात्मक पूर्णांक <math>g=\max\{p,q\}</math> संपूर्ण फलन का जीनस कहा जाता है <math>f</math>. | ||
यदि आदेश <math>\rho</math> तो फिर, पूर्णांक नहीं है <math>g = [ \rho ]</math> का पूर्णांक भाग है <math>\rho</math>. यदि क्रम | यदि आदेश <math>\rho</math> तो फिर, पूर्णांक नहीं है <math>g = [ \rho ]</math> का पूर्णांक भाग है <math>\rho</math>. यदि क्रम धनात्मक पूर्णांक है, तो दो संभावनाएँ हैं: <math>g = \rho-1</math> या <math>g = \rho </math>. | ||
उदाहरण के लिए, <math>\sin</math>, <math>\cos</math> और <math>\exp</math> जीनस के संपूर्ण कार्य हैं <math>g = \rho = 1</math>. | उदाहरण के लिए, <math>\sin</math>, <math>\cos</math> और <math>\exp</math> जीनस के संपूर्ण कार्य हैं <math>g = \rho = 1</math>. | ||
==अन्य उदाहरण== | ==अन्य उदाहरण== | ||
जे. ई. लिटिलवुड के अनुसार, [[वीयरस्ट्रैस सिग्मा फ़ंक्शन]] | जे. ई. लिटिलवुड के अनुसार, [[वीयरस्ट्रैस सिग्मा फ़ंक्शन|वीयरस्ट्रैस सिग्मा फलन]] 'विशिष्ट' संपूर्ण फलन है। इस कथन को यादृच्छिक संपूर्ण कार्यों के सिद्धांत में सटीक बनाया जा सकता है: लगभग सभी संपूर्ण कार्यों का स्पर्शोन्मुख व्यवहार सिग्मा फलन के समान है। अन्य उदाहरणों में [[फ़्रेज़नेल इंटीग्रल]], [[जैकोबी थीटा फ़ंक्शन|जैकोबी थीटा फलन]] और पारस्परिक गामा फलन शामिल हैं। घातीय फलन और त्रुटि फलन [[मिट्टाग-लेफ़लर फ़ंक्शन|मिट्टाग-लेफ़लर फलन]] के विशेष मामले हैं। मौलिक पैली-वीनर प्रमेय के अनुसार, बंधे हुए समर्थन के साथ कार्यों (या वितरण) के [[फूरियर रूपांतरण]] क्रम के संपूर्ण कार्य हैं <math>1</math> और परिमित प्रकार. | ||
अन्य उदाहरण बहुपद गुणांक वाले रैखिक अवकल समीकरणों के समाधान हैं। यदि उच्चतम अवकलज पर गुणांक स्थिर है, तो ऐसे समीकरणों के सभी समाधान संपूर्ण फलन हैं। उदाहरण के लिए, घातीय फलन, ज्या, कोज्या, वायु फलन और परवलयिक सिलिंडर फलन इस प्रकार उत्पन्न होते हैं। संपूर्ण कार्यों का वर्ग रचनाओं के संबंध में बंद है। इससे होलोमोर्फिक गतिशीलता का अध्ययन करना संभव हो जाता है। | अन्य उदाहरण बहुपद गुणांक वाले रैखिक अवकल समीकरणों के समाधान हैं। यदि उच्चतम अवकलज पर गुणांक स्थिर है, तो ऐसे समीकरणों के सभी समाधान संपूर्ण फलन हैं। उदाहरण के लिए, घातीय फलन, ज्या, कोज्या, वायु फलन और परवलयिक सिलिंडर फलन इस प्रकार उत्पन्न होते हैं। संपूर्ण कार्यों का वर्ग रचनाओं के संबंध में बंद है। इससे होलोमोर्फिक गतिशीलता का अध्ययन करना संभव हो जाता है। | ||
Line 160: | Line 160: | ||
उदाहरण के लिए, किसी सम्मिश्र संख्या के वर्गमूल का संपूर्ण फलन संपूर्ण होता है यदि मूल फलन सम फलन हो <math>\cos(\sqrt{z})</math>. | उदाहरण के लिए, किसी सम्मिश्र संख्या के वर्गमूल का संपूर्ण फलन संपूर्ण होता है यदि मूल फलन सम फलन हो <math>\cos(\sqrt{z})</math>. | ||
यदि बहुपदों का | यदि बहुपदों का क्रम जिसकी सभी जड़ें वास्तविक हैं, मूल बिंदु के पड़ोस में सीमा तक परिवर्तित हो जाती है जो शून्य के बराबर नहीं है, तो यह सीमा संपूर्ण फलन है। इस तरह के संपूर्ण कार्य लैगुएरे-पोल्या वर्ग का निर्माण करते हैं, जिसे हैडामर्ड उत्पाद के संदर्भ में भी चित्रित किया जा सकता है, अर्थात्, <math>f</math> इस वर्ग से संबंधित है यदि और केवल यदि हैडामर्ड प्रतिनिधित्व में सभी <math>z_n</math> असली हैं, <math>\rho\leq 1</math>, और | ||
<math>P(z)=a+bz+cz^2</math>, कहाँ <math>b</math> और <math>c</math> वास्तविक हैं, और <math>c\leq 0</math>. उदाहरण के लिए, बहुपदों का क्रम | <math>P(z)=a+bz+cz^2</math>, कहाँ <math>b</math> और <math>c</math> वास्तविक हैं, और <math>c\leq 0</math>. उदाहरण के लिए, बहुपदों का क्रम | ||
Line 205: | Line 205: | ||
}} | }} | ||
{{refend}} | {{refend}} | ||
श्रेणी:विश्लेषणात्मक कार्य | श्रेणी:विश्लेषणात्मक कार्य |
Revision as of 00:12, 11 July 2023
जटिल विश्लेषण में, संपूर्ण फलन, जिसे अभिन्न फलन भी कहा जाता है, जटिल-मूल्यवान फलन (गणित) है, जो पूरे जटिल विमान पर होलोमोर्फिक फलन है। संपूर्ण कार्यों के विशिष्ट उदाहरण बहुपद और घातीय फलन हैं, और इनमें से कोई भी परिमित योग, उत्पाद और रचनाएं, जैसे कि त्रिकोणमितीय फलन उन लोगों के और कोज्या और उनके अतिशयोक्तिपूर्ण कार्य अतिपरवलयिक ज्या और अतिशयोक्तिपूर्ण कोज्या , साथ ही संपूर्ण फलन के यौगिक और इंटीग्रल। जैसे कि त्रुटि फलन। यदि संपूर्ण फलन किसी फलन का मूल , तब , सीमा मान ले रहा है , संपूर्ण कार्य है। दूसरी ओर, प्राकृतिक लघुगणक, व्युत्क्रम फलन और वर्गमूल सभी संपूर्ण फलन नहीं हैं, न ही वे किसी संपूर्ण फलन की विश्लेषणात्मक निरंतरता हो सकते हैं।
पारलौकिक कार्य संपूर्ण फलन संपूर्ण फलन है जो बहुपद नहीं है।
जिस प्रकार मेरोमोर्फिक कार्यों को तर्कसंगत भिन्नों के सामान्यीकरण के रूप में देखा जा सकता है, उसी प्रकार संपूर्ण कार्यों को बहुपदों के सामान्यीकरण के रूप में देखा जा सकता है। विशेष रूप से, यदि मेरोमोर्फिक कार्यों के लिए कोई गुणनखंडन को सरल अंशों में सामान्यीकृत कर सकता है (मेरोमोर्फिक फलन के अपघटन पर मिट्टाग-लेफ़लर प्रमेय), तो संपूर्ण कार्यों के लिए गुणनखंडन का सामान्यीकरण होता है - संपूर्ण कार्यों पर वीयरस्ट्रैस प्रमेय।
गुण
प्रत्येक संपूर्ण समारोह एकल शक्ति श्रृंखला के रूप में दर्शाया जा सकता है
यदि (और केवल यदि) शक्ति श्रृंखला के सभी गुणांक वास्तविक हैं तो फलन स्पष्ट रूप से वास्तविक तर्कों के लिए वास्तविक मान लेता है, और जटिल संयुग्म पर फलन का मान लेता है पर मान का जटिल संयुग्म होगा ऐसे कार्यों को कभी-कभी स्व-संयुग्मित (संयुग्मित कार्य, द्वारा दिया जा रहा है ).[1]
यदि किसी बिंदु के पड़ोस में किसी संपूर्ण फलन का वास्तविक भाग ज्ञात होता है तो संपूर्ण जटिल तल के लिए, काल्पनिक स्थिरांक तक, वास्तविक और काल्पनिक दोनों भाग ज्ञात होते हैं। उदाहरण के लिए, यदि वास्तविक भाग शून्य के पड़ोस में ज्ञात है, तो हम इसके लिए गुणांक पा सकते हैं वास्तविक चर के संबंध में निम्नलिखित व्युत्पन्नों से :
हालाँकि ध्यान दें कि संपूर्ण फलन सभी वक्रों पर उसके वास्तविक भाग द्वारा नहीं निर्धारित होता है। विशेष रूप से, यदि वास्तविक भाग जटिल तल में किसी वक्र पर दिया गया है जहां किसी अन्य संपूर्ण फलन का वास्तविक भाग शून्य है, तो उस फलन के किसी भी गुणज को उस फलन में जोड़ा जा सकता है जिसे हम निर्धारित करने का प्रयास कर रहे हैं। उदाहरण के लिए, यदि वक्र जहां वास्तविक भाग ज्ञात है वह वास्तविक रेखा है, तो हम जोड़ सकते हैं किसी भी स्व-संयुग्मित कार्य का समय। यदि वक्र लूप बनाता है, तो यह लूप पर फलन के वास्तविक भाग द्वारा निर्धारित किया जाता है क्योंकि केवल वे फलन जिनका वास्तविक भाग वक्र पर शून्य है वे वे हैं जो हर जगह कुछ काल्पनिक संख्या के बराबर हैं।
वीयरस्ट्रैस गुणनखंडन प्रमेय का दावा है कि किसी भी संपूर्ण फलन को किसी फलन के शून्य (या जड़ों) वाले उत्पाद द्वारा दर्शाया जा सकता है।
जटिल तल पर संपूर्ण कार्य अभिन्न डोमेन (वास्तव में प्रुफ़र डोमेन) बनाते हैं। वे जटिल संख्याओं पर क्रमविनिमेय इकाई बीजगणित साहचर्य बीजगणित भी बनाते हैं।
लिउविले का प्रमेय (जटिल विश्लेषण)|लिउविले का प्रमेय बताता है कि किसी भी परिबद्ध फलन का पूरा फलन स्थिर होना चाहिए।[lower-alpha 2]
लिउविले के प्रमेय के परिणामस्वरूप, कोई भी फलन जो संपूर्ण रीमैन क्षेत्र पर संपूर्ण है[lower-alpha 3] स्थिर है. इस प्रकार किसी भी गैर-स्थिर संपूर्ण फलन में अनंत पर जटिल बिंदु पर गणितीय विलक्षणता होनी चाहिए, या तो बहुपद के लिए ध्रुव (जटिल विश्लेषण) या ट्रान्सेंडैंटल फलन संपूर्ण फलन के लिए आवश्यक विलक्षणता। विशेष रूप से, कैसोराती-वीयरस्ट्रैस प्रमेय द्वारा, किसी भी पारलौकिक संपूर्ण फलन के लिए और कोई भी जटिल क्रम है ऐसा है कि
पिकार्ड प्रमेय|पिकार्ड का छोटा प्रमेय बहुत मजबूत परिणाम है: कोई भी गैर-स्थिर संपूर्ण फलन प्रत्येक जटिल संख्या को मान के रूप में लेता है, संभवतः अपवाद के साथ। जब कोई अपवाद मौजूद होता है, तो इसे फलन का लैकुनरी मान कहा जाता है। संक्षिप्त मान की संभावना को घातीय फलन द्वारा चित्रित किया गया है, जो कभी भी मान नहीं लेता है 0 . कोई संपूर्ण फलन के लघुगणक की उपयुक्त शाखा ले सकता है जो कभी हिट नहीं होती 0 , ताकि यह भी संपूर्ण फलन हो (वीयरस्ट्रैस फ़ैक्टराइज़ेशन प्रमेय के अनुसार)। लघुगणक संभवतः एक संख्या को छोड़कर प्रत्येक जटिल संख्या को हिट करता है, जिसका अर्थ है कि पहला फलन 0 के अलावा किसी भी मान को अनंत बार हिट करेगा। इसी तरह, गैर-स्थिर, संपूर्ण फलन जो किसी विशेष मान पर नहीं पड़ता है, वह हर दूसरे मान पर अनंत बार वार करेगा।
लिउविले का प्रमेय निम्नलिखित कथन का विशेष मामला है:
Theorem — Assume are positive constants and is a non-negative integer. An entire function satisfying the inequality for all with is necessarily a polynomial, of degree at most [lower-alpha 4] Similarly, an entire function satisfying the inequality for all with is necessarily a polynomial, of degree at least .
विकास
संपूर्ण फलन किसी भी बढ़ते फलन जितनी तेज़ी से बढ़ सकते हैं: किसी भी बढ़ते फलन के लिए
वहाँ संपूर्ण फलन मौजूद है ऐसा है कि सभी वास्तविक के लिए . ऐसा कार्य फॉर्म आसानी से मिल सकता है:
ऑर्डर करें और टाइप करें
संपूर्ण फलन का क्रम (अनंत पर)। श्रेष्ठ सीमा का उपयोग करके परिभाषित किया गया है:
व्यवस्थित है .
अगर कोई प्रकार को भी परिभाषित कर सकता है:
अगर
क्रम और प्रकार का पता लगाने का दूसरा तरीका मत्सेव का प्रमेय है।
उदाहरण
यहां विभिन्न आदेशों के कार्यों के कुछ उदाहरण दिए गए हैं:
आदेश ρ
मनमानी सकारात्मक संख्याओं के लिए और कोई ऑर्डर के संपूर्ण फलन का उदाहरण बना सकता है और टाइप करें का उपयोग करना:
आदेश 0
- गैर-शून्य बहुपद
आदेश 1/4
आदेश 1/3
आदेश 1/2
आदेश 1
- साथ ()
- बेसेल फलन [citation needed]
- पारस्परिक गामा फलन ( अनंत है)
आदेश 3/2
आदेश 2
- साथ ()
- बार्न्स जी-फलन ( अनंत है)।
आदेश अनंत
जाति
परिमित क्रम के संपूर्ण कार्यों में जैक्स हैडामर्ड का विहित प्रतिनिधित्व (हैडामर्ड गुणनखंडन प्रमेय) है:
यदि आदेश तो फिर, पूर्णांक नहीं है का पूर्णांक भाग है . यदि क्रम धनात्मक पूर्णांक है, तो दो संभावनाएँ हैं: या .
उदाहरण के लिए, , और जीनस के संपूर्ण कार्य हैं .
अन्य उदाहरण
जे. ई. लिटिलवुड के अनुसार, वीयरस्ट्रैस सिग्मा फलन 'विशिष्ट' संपूर्ण फलन है। इस कथन को यादृच्छिक संपूर्ण कार्यों के सिद्धांत में सटीक बनाया जा सकता है: लगभग सभी संपूर्ण कार्यों का स्पर्शोन्मुख व्यवहार सिग्मा फलन के समान है। अन्य उदाहरणों में फ़्रेज़नेल इंटीग्रल, जैकोबी थीटा फलन और पारस्परिक गामा फलन शामिल हैं। घातीय फलन और त्रुटि फलन मिट्टाग-लेफ़लर फलन के विशेष मामले हैं। मौलिक पैली-वीनर प्रमेय के अनुसार, बंधे हुए समर्थन के साथ कार्यों (या वितरण) के फूरियर रूपांतरण क्रम के संपूर्ण कार्य हैं और परिमित प्रकार.
अन्य उदाहरण बहुपद गुणांक वाले रैखिक अवकल समीकरणों के समाधान हैं। यदि उच्चतम अवकलज पर गुणांक स्थिर है, तो ऐसे समीकरणों के सभी समाधान संपूर्ण फलन हैं। उदाहरण के लिए, घातीय फलन, ज्या, कोज्या, वायु फलन और परवलयिक सिलिंडर फलन इस प्रकार उत्पन्न होते हैं। संपूर्ण कार्यों का वर्ग रचनाओं के संबंध में बंद है। इससे होलोमोर्फिक गतिशीलता का अध्ययन करना संभव हो जाता है।
उदाहरण के लिए, किसी सम्मिश्र संख्या के वर्गमूल का संपूर्ण फलन संपूर्ण होता है यदि मूल फलन सम फलन हो .
यदि बहुपदों का क्रम जिसकी सभी जड़ें वास्तविक हैं, मूल बिंदु के पड़ोस में सीमा तक परिवर्तित हो जाती है जो शून्य के बराबर नहीं है, तो यह सीमा संपूर्ण फलन है। इस तरह के संपूर्ण कार्य लैगुएरे-पोल्या वर्ग का निर्माण करते हैं, जिसे हैडामर्ड उत्पाद के संदर्भ में भी चित्रित किया जा सकता है, अर्थात्, इस वर्ग से संबंधित है यदि और केवल यदि हैडामर्ड प्रतिनिधित्व में सभी असली हैं, , और
, कहाँ और वास्तविक हैं, और . उदाहरण के लिए, बहुपदों का क्रम
अभिसरण, जैसे बढ़ता है, को . बहुपद
सभी वास्तविक जड़ें हैं, और एकजुट हैं . बहुपद
भी जुट जाते हैं , कोसाइन के लिए हैडामर्ड उत्पाद का निर्माण दिखा रहा है।
यह भी देखें
- जेन्सेन का सूत्र
- कार्लसन का प्रमेय
- घातीय प्रकार
- पैली-वीनर प्रमेय
- विमन-वेलिरॉन सिद्धांत
टिप्पणियाँ
- ↑ For instance, if the real part is known on part of the unit circle, then it is known on the whole unit circle by analytic extension, and then the coefficients of the infinite series are determined from the coefficients of the Fourier series for the real part on the unit circle.
- ↑ Liouville's theorem may be used to elegantly prove the fundamental theorem of algebra.
- ↑ The Riemann sphere is the whole complex plane augmented with a single point at infinity.
- ↑ The converse is also true as for any polynomial of degree the inequality holds for any
संदर्भ
स्रोत
- Boas, Ralph P. (1954). संपूर्ण कार्य. Academic Press. ISBN 9780080873138. OCLC 847696.
- Levin, B. Ya. (1980) [1964]. संपूर्ण कार्यों के शून्यों का वितरण. American Mathematical Society. ISBN 978-0-8218-4505-9.
- Levin, B. Ya. (1996). संपूर्ण कार्यों पर व्याख्यान. American Mathematical Society. ISBN 978-0-8218-0897-9.
श्रेणी:विश्लेषणात्मक कार्य श्रेणी:विशेष कार्य