संपूर्ण फलन

जटिल विश्लेषण में, एक संपूर्ण फ़ंक्शन, जिसे अभिन्न फ़ंक्शन भी कहा जाता है, एक जटिल-मूल्यवान फ़ंक्शन (गणित) है जो पूरे जटिल विमान पर होलोमोर्फिक फ़ंक्शन है। संपूर्ण कार्यों के विशिष्ट उदाहरण बहुपद और घातीय फ़ंक्शन हैं, और इनमें से कोई भी परिमित योग, उत्पाद और रचनाएं, जैसे कि त्रिकोणमितीय फ़ंक्शन उन लोगों के और कोज्या और उनके अतिशयोक्तिपूर्ण कार्य अतिपरवलयिक ज्या और अतिशयोक्तिपूर्ण कोज्या , साथ ही संपूर्ण फ़ंक्शन के यौगिक और इंटीग्रल। जैसे कि त्रुटि फ़ंक्शन। यदि एक संपूर्ण फ़ंक्शन $f(z)$ एक किसी फ़ंक्शन का मूल $w$, तब $f(z)/(z-w)$, सीमा मान ले रहा है $w$, एक संपूर्ण कार्य है। दूसरी ओर, प्राकृतिक लघुगणक, व्युत्क्रम फलन और वर्गमूल सभी संपूर्ण फलन नहीं हैं, न ही वे किसी संपूर्ण फलन की विश्लेषणात्मक निरंतरता हो सकते हैं।

एक पारलौकिक कार्य संपूर्ण फ़ंक्शन एक संपूर्ण फ़ंक्शन है जो बहुपद नहीं है।

जिस प्रकार मेरोमोर्फिक कार्यों को तर्कसंगत भिन्नों के सामान्यीकरण के रूप में देखा जा सकता है, उसी प्रकार संपूर्ण कार्यों को बहुपदों के सामान्यीकरण के रूप में देखा जा सकता है। विशेष रूप से, यदि मेरोमोर्फिक कार्यों के लिए कोई गुणनखंडन को सरल अंशों में सामान्यीकृत कर सकता है (मेरोमोर्फिक फ़ंक्शन के अपघटन पर मिट्टाग-लेफ़लर प्रमेय), तो संपूर्ण कार्यों के लिए गुणनखंडन का एक सामान्यीकरण होता है - संपूर्ण कार्यों पर वीयरस्ट्रैस प्रमेय।

गुण

प्रत्येक संपूर्ण समारोह $\ f(z)\$ एकल शक्ति श्रृंखला के रूप में दर्शाया जा सकता है

$$\ f(z)=\sum _{n=0}^{\infty }a_{n}z^{n}\$$

जटिल तल में हर जगह अभिसरण (गणित), इसलिए कॉम्पैक्ट अभिसरण। अभिसरण की त्रिज्या अनंत है, जिसका तात्पर्य यह है

$$\ \lim _{n\to \infty }|a_{n}|^{\frac {1}{n}}=0\$$

या

$$\ \lim _{n\to \infty }{\frac {\ln |a_{n}|}{n}}=-\infty ~.$$

इस मानदंड को पूरा करने वाली कोई भी शक्ति श्रृंखला एक संपूर्ण फ़ंक्शन का प्रतिनिधित्व करेगी।

यदि (और केवल यदि) शक्ति श्रृंखला के सभी गुणांक वास्तविक हैं तो फ़ंक्शन स्पष्ट रूप से वास्तविक तर्कों के लिए वास्तविक मान लेता है, और जटिल संयुग्म पर फ़ंक्शन का मान लेता है $\ z\$ पर मान का जटिल संयुग्म होगा $\ z~.$ ऐसे कार्यों को कभी-कभी स्व-संयुग्मित (संयुग्मित कार्य, $\ F^{*}(z)\ ,$ द्वारा दिया जा रहा है $\ {\bar {F}}({\bar {z}})\$).

यदि किसी बिंदु के पड़ोस में किसी संपूर्ण फ़ंक्शन का वास्तविक भाग ज्ञात होता है तो संपूर्ण जटिल तल के लिए, एक काल्पनिक स्थिरांक तक, वास्तविक और काल्पनिक दोनों भाग ज्ञात होते हैं। उदाहरण के लिए, यदि वास्तविक भाग शून्य के पड़ोस में ज्ञात है, तो हम इसके लिए गुणांक पा सकते हैं $n>0$ एक वास्तविक चर के संबंध में निम्नलिखित व्युत्पन्नों से $\ r\$:

$${\begin{aligned}\operatorname {\mathcal {R_{e}}} \left\{\ a_{n}\ \right\}&={\frac {1}{n!}}{\frac {d^{n}}{dr^{n}}}\ \operatorname {\mathcal {R_{e}}} \left\{\ f(r)\ \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{aligned}}$$

(इसी तरह, यदि काल्पनिक भाग किसी पड़ोस (गणित) में ज्ञात है तो फ़ंक्शन वास्तविक स्थिरांक तक निर्धारित होता है।) वास्तव में, यदि वास्तविक भाग किसी वृत्त के चाप पर ही ज्ञात होता है, तो फ़ंक्शन निर्धारित होता है एक काल्पनिक स्थिरांक के लिए.} हालाँकि ध्यान दें कि एक संपूर्ण फ़ंक्शन सभी वक्रों पर उसके वास्तविक भाग द्वारा नहीं निर्धारित होता है। विशेष रूप से, यदि वास्तविक भाग जटिल तल में किसी वक्र पर दिया गया है जहां किसी अन्य संपूर्ण फ़ंक्शन का वास्तविक भाग शून्य है, तो उस फ़ंक्शन के किसी भी गुणज को उस फ़ंक्शन में जोड़ा जा सकता है जिसे हम निर्धारित करने का प्रयास कर रहे हैं। उदाहरण के लिए, यदि वक्र जहां वास्तविक भाग ज्ञात है वह वास्तविक रेखा है, तो हम जोड़ सकते हैं $\ i\$ किसी भी स्व-संयुग्मित कार्य का समय। यदि वक्र एक लूप बनाता है, तो यह लूप पर फ़ंक्शन के वास्तविक भाग द्वारा निर्धारित किया जाता है क्योंकि केवल वे फ़ंक्शन जिनका वास्तविक भाग वक्र पर शून्य है वे वे हैं जो हर जगह कुछ काल्पनिक संख्या के बराबर हैं।

वीयरस्ट्रैस गुणनखंडन प्रमेय का दावा है कि किसी भी संपूर्ण फ़ंक्शन को किसी फ़ंक्शन के शून्य (या जड़ों) वाले उत्पाद द्वारा दर्शाया जा सकता है।

जटिल तल पर संपूर्ण कार्य एक अभिन्न डोमेन (वास्तव में एक प्रुफ़र डोमेन) बनाते हैं। वे जटिल संख्याओं पर एक क्रमविनिमेय इकाई बीजगणित साहचर्य बीजगणित भी बनाते हैं।

लिउविले का प्रमेय (जटिल विश्लेषण)|लिउविले का प्रमेय बताता है कि किसी भी परिबद्ध फ़ंक्शन का पूरा फ़ंक्शन स्थिर होना चाहिए।

लिउविले के प्रमेय के परिणामस्वरूप, कोई भी फ़ंक्शन जो संपूर्ण रीमैन क्षेत्र पर संपूर्ण है स्थिर है. इस प्रकार किसी भी गैर-स्थिर संपूर्ण फ़ंक्शन में अनंत पर जटिल बिंदु पर एक गणितीय विलक्षणता होनी चाहिए, या तो एक बहुपद के लिए एक ध्रुव (जटिल विश्लेषण) या एक ट्रान्सेंडैंटल फ़ंक्शन संपूर्ण फ़ंक्शन के लिए एक आवश्यक विलक्षणता। विशेष रूप से, कैसोराती-वीयरस्ट्रैस प्रमेय द्वारा, किसी भी पारलौकिक संपूर्ण फ़ंक्शन के लिए $\ f\$ और कोई भी जटिल $\ w\$ एक क्रम है $\ (z_{m})_{m\in \mathbb {N} }\$ ऐसा है कि

$\ \lim _{m\to \infty }|z_{m}|=\infty ,\qquad {\text{and}}\qquad \lim _{m\to \infty }f(z_{m})=w~.$

पिकार्ड प्रमेय|पिकार्ड का छोटा प्रमेय बहुत मजबूत परिणाम है: कोई भी गैर-स्थिर संपूर्ण फ़ंक्शन प्रत्येक जटिल संख्या को मान के रूप में लेता है, संभवतः एक अपवाद के साथ। जब कोई अपवाद मौजूद होता है, तो इसे फ़ंक्शन का लैकुनरी मान कहा जाता है। एक संक्षिप्त मान की संभावना को घातीय फ़ंक्शन द्वारा चित्रित किया गया है, जो कभी भी मान नहीं लेता है 0 . कोई संपूर्ण फ़ंक्शन के लघुगणक की एक उपयुक्त शाखा ले सकता है जो कभी हिट नहीं होती 0 , ताकि यह भी एक संपूर्ण फ़ंक्शन हो (वीयरस्ट्रैस फ़ैक्टराइज़ेशन प्रमेय के अनुसार)। लघुगणक संभवतः एक संख्या को छोड़कर प्रत्येक जटिल संख्या को हिट करता है, जिसका अर्थ है कि पहला फ़ंक्शन 0 के अलावा किसी भी मान को अनंत बार हिट करेगा। इसी तरह, एक गैर-स्थिर, संपूर्ण फ़ंक्शन जो किसी विशेष मान पर नहीं पड़ता है, वह हर दूसरे मान पर अनंत बार वार करेगा।

लिउविले का प्रमेय निम्नलिखित कथन का एक विशेष मामला है:

Theorem — Assume $\ M\ ,$ $\ R\$ are positive constants and $\ n\$ is a non-negative integer. An entire function $f$ satisfying the inequality $\ |f(z)|\leq M|z|^{n}\$ for all $\ z\$ with $\ |z|\geq R\ ,$ is necessarily a polynomial, of degree at most $\ n~.$ Similarly, an entire function $\ f\$ satisfying the inequality $\ M|z|^{n}\leq |f(z)|\$ for all $z$ with $\ |z|\geq R\ ,$ is necessarily a polynomial, of degree at least $n$.

विकास

संपूर्ण फ़ंक्शन किसी भी बढ़ते फ़ंक्शन जितनी तेज़ी से बढ़ सकते हैं: किसी भी बढ़ते फ़ंक्शन के लिए

$g:[0,\infty )\to [0,\infty )$ वहाँ एक संपूर्ण फ़ंक्शन मौजूद है $f$ ऐसा है कि
$f(x)>g(|x|)$ सभी वास्तविक के लिए $x$. ऐसा कार्य $f$ फॉर्म आसानी से मिल सकता है:

$$f(z)=c+\sum _{k=1}^{\infty }\left({\frac {z}{k}}\right)^{n_{k}}$$

एक स्थिरांक के लिए $c$ और धनात्मक पूर्णांकों का कड़ाई से बढ़ता क्रम $n_{k}$. ऐसा कोई भी क्रम संपूर्ण फ़ंक्शन को परिभाषित करता है $f(z)$, और यदि शक्तियां उचित रूप से चुनी जाती हैं तो हम असमानता को संतुष्ट कर सकते हैं $f(x)>g(|x|)$ सभी वास्तविक के लिए $x$. (उदाहरण के लिए, यदि कोई चुनता है तो यह निश्चित रूप से मान्य है $c:=g(2)$ और, किसी भी पूर्णांक के लिए $k\geq 1$ कोई एक सम घातांक चुनता है $n_{k}$ ऐसा है कि $\left({\frac {k+1}{k}}\right)^{n_{k}}\geq g(k+2)$).

ऑर्डर करें और टाइप करें

संपूर्ण फ़ंक्शन का क्रम (अनंत पर)। $f(z)$ श्रेष्ठ सीमा का उपयोग करके परिभाषित किया गया है:

$$\rho =\limsup _{r\to \infty }{\frac {\ln \left(\ln \|f\|_{\infty ,B_{r}}\right)}{\ln r}},$$

कहाँ $B_{r}$ त्रिज्या की डिस्क है $r$ और $\|f\|_{\infty ,B_{r}}$ के सर्वोच्च मानदंड को दर्शाता है $f(z)$ पर $B_{r}$. क्रम एक गैर-नकारात्मक वास्तविक संख्या या अनंत है (कब को छोड़कर)। $f(z)=0$ सभी के लिए $z$. दूसरे शब्दों में, का क्रम $f(z)$ सभी में अल्पतम है $m$ ऐसा है कि:

$$f(z)=O\left(\exp \left(|z|^{m}\right)\right),\quad {\text{as }}z\to \infty .$$

का उदाहरण $f(z)=\exp(2z^{2})$ दिखाता है कि इसका मतलब यह नहीं है $f(z)=O(\exp(|z|^{m}))$ अगर

$f(z)$ व्यवस्थित है $m$.

अगर $0<\rho <\infty ,$ कोई प्रकार को भी परिभाषित कर सकता है:

$$\sigma =\limsup _{r\to \infty }{\frac {\ln \|f\|_{\infty ,B_{r}}}{r^{\rho }}}.$$

यदि ऑर्डर 1 है और प्रकार है $\sigma$, फ़ंक्शन को घातीय प्रकार का कहा जाता है $\sigma$. यदि यह 1 से कम क्रम का है तो इसे घातीय प्रकार 0 कहा जाता है।

अगर

$$f(z)=\sum _{n=0}^{\infty }a_{n}z^{n},$$

तो क्रम और प्रकार सूत्रों द्वारा पाया जा सकता है

$${\begin{aligned}\rho &=\limsup _{n\to \infty }{\frac {n\ln n}{-\ln |a_{n}|}}\\[6pt](e\rho \sigma )^{\frac {1}{\rho }}&=\limsup _{n\to \infty }n^{\frac {1}{\rho }}|a_{n}|^{\frac {1}{n}}\end{aligned}}$$

होने देना $f^{(n)}$ निरूपित करें $n$-वें का व्युत्पन्न $f$, तो हम इन सूत्रों को किसी भी मनमाने बिंदु पर डेरिवेटिव के संदर्भ में पुन: स्थापित कर सकते हैं $z_{0}$:

$${\begin{aligned}\rho &=\limsup _{n\to \infty }{\frac {n\ln n}{n\ln n-\ln |f^{(n)}(z_{0})|}}=\left(1-\limsup _{n\to \infty }{\frac {\ln |f^{(n)}(z_{0})|}{n\ln n}}\right)^{-1}\\[6pt](\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{aligned}}$$

प्रकार अनंत हो सकता है, जैसा कि पारस्परिक गामा फ़ंक्शन के मामले में, या शून्य (नीचे उदाहरण देखें) § Order 1).

क्रम और प्रकार का पता लगाने का दूसरा तरीका मत्सेव का प्रमेय है।

उदाहरण

यहां विभिन्न आदेशों के कार्यों के कुछ उदाहरण दिए गए हैं:

आदेश ρ

मनमानी सकारात्मक संख्याओं के लिए $\rho$ और $\sigma$ कोई ऑर्डर के संपूर्ण फ़ंक्शन का एक उदाहरण बना सकता है $\rho$ और टाइप करें $\sigma$ का उपयोग करना:

$$f(z)=\sum _{n=1}^{\infty }\left({\frac {e\rho \sigma }{n}}\right)^{\frac {n}{\rho }}z^{n}$$

आदेश 0

• गैर-शून्य बहुपद
• $\sum _{n=0}^{\infty }2^{-n^{2}}z^{n}$

आदेश 1/4

$$f({\sqrt[{4}]{z}})$$

कहाँ

$$f(u)=\cos(u)+\cosh(u)$$

आदेश 1/3

$$f({\sqrt[{3}]{z}})$$

कहाँ

$$f(u)=e^{u}+e^{\omega u}+e^{\omega ^{2}u}=e^{u}+2e^{-{\frac {u}{2}}}\cos \left({\frac {{\sqrt {3}}u}{2}}\right),\quad {\text{with }}\omega {\text{ a complex cube root of 1}}.$$

आदेश 1/2

$$\cos \left(a{\sqrt {z}}\right)$$

साथ $a\neq 0$ (जिसके लिए प्रकार दिया गया है $\sigma =|a|$)

आदेश 1

• $\exp(az)$ साथ $a\neq 0$ ($\sigma =|a|$)
• $\sin(z)$
• $\cosh(z)$
• बेसेल फ़ंक्शन $J_{0}(z)$
• पारस्परिक गामा फ़ंक्शन $1/\Gamma (z)$ ($\sigma$ अनंत है)
• $\sum _{n=2}^{\infty }{\frac {z^{n}}{(n\ln n)^{n}}}.\quad (\sigma =0)$

आदेश 3/2

• हवादार कार्य $Ai(z)$

आदेश 2

• $\exp(az^{2})$ साथ $a\neq 0$ ($\sigma =|a|$)
• बार्न्स जी-फ़ंक्शन ($\sigma$ अनंत है)।

आदेश अनंत

• $\exp(\exp(z))$

जाति

परिमित क्रम के संपूर्ण कार्यों में जैक्स हैडामर्ड का विहित प्रतिनिधित्व (हैडामर्ड गुणनखंडन प्रमेय) है:

$$f(z)=z^{m}e^{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),$$

कहाँ $z_{k}$ के एक फलन के वे शून्य हैं $f$ वह शून्य नहीं हैं ($z_{k}\neq 0$), $m$ के शून्य का क्रम है $f$ पर $z=0$ (मामला $m=0$ मतलब निकाला जा रहा है $f(0)\neq 0$), $P$ एक बहुपद (जिसकी डिग्री हम कहेंगे $q$), और $p$ श्रृंखला का सबसे छोटा गैर-नकारात्मक पूर्णांक है

$$\sum _{n=1}^{\infty }{\frac {1}{|z_{n}|^{p+1}}}$$

जुटता है. गैर-नकारात्मक पूर्णांक $g=\max\{p,q\}$ संपूर्ण फ़ंक्शन का जीनस कहा जाता है $f$.

यदि आदेश $\rho$ तो फिर, पूर्णांक नहीं है $g=[\rho ]$ का पूर्णांक भाग है $\rho$. यदि क्रम एक धनात्मक पूर्णांक है, तो दो संभावनाएँ हैं: $g=\rho -1$ या $g=\rho$.

उदाहरण के लिए, $\sin$, $\cos$ और $\exp$ जीनस के संपूर्ण कार्य हैं $g=\rho =1$.

अन्य उदाहरण

जे. ई. लिटिलवुड के अनुसार, वीयरस्ट्रैस सिग्मा फ़ंक्शन एक 'विशिष्ट' संपूर्ण फ़ंक्शन है। इस कथन को यादृच्छिक संपूर्ण कार्यों के सिद्धांत में सटीक बनाया जा सकता है: लगभग सभी संपूर्ण कार्यों का स्पर्शोन्मुख व्यवहार सिग्मा फ़ंक्शन के समान है। अन्य उदाहरणों में फ़्रेज़नेल इंटीग्रल, जैकोबी थीटा फ़ंक्शन और पारस्परिक गामा फ़ंक्शन शामिल हैं। घातीय फ़ंक्शन और त्रुटि फ़ंक्शन मिट्टाग-लेफ़लर फ़ंक्शन के विशेष मामले हैं। मौलिक पैली-वीनर प्रमेय के अनुसार, बंधे हुए समर्थन के साथ कार्यों (या वितरण) के फूरियर रूपांतरण क्रम के संपूर्ण कार्य हैं $1$ और परिमित प्रकार.

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

उदाहरण के लिए, किसी सम्मिश्र संख्या के वर्गमूल का संपूर्ण फलन संपूर्ण होता है यदि मूल फलन सम फलन हो $\cos({\sqrt {z}})$.

यदि बहुपदों का एक क्रम जिसकी सभी जड़ें वास्तविक हैं, मूल बिंदु के पड़ोस में एक सीमा तक परिवर्तित हो जाती है जो शून्य के बराबर नहीं है, तो यह सीमा एक संपूर्ण फ़ंक्शन है। इस तरह के संपूर्ण कार्य लैगुएरे-पोल्या वर्ग का निर्माण करते हैं, जिसे हैडामर्ड उत्पाद के संदर्भ में भी चित्रित किया जा सकता है, अर्थात्, $f$ इस वर्ग से संबंधित है यदि और केवल यदि हैडामर्ड प्रतिनिधित्व में सभी $z_{n}$ असली हैं, $\rho \leq 1$, और

$P(z)=a+bz+cz^{2}$, कहाँ $b$ और $c$ वास्तविक हैं, और $c\leq 0$. उदाहरण के लिए, बहुपदों का क्रम

$$\left(1-{\frac {(z-d)^{2}}{n}}\right)^{n}$$
 अभिसरण, जैसे $n$ बढ़ता है, को $\exp(-(z-d)^{2})$. बहुपद

$${\frac {1}{2}}\left(\left(1+{\frac {iz}{n}}\right)^{n}+\left(1-{\frac {iz}{n}}\right)^{n}\right)$$
 सभी वास्तविक जड़ें हैं, और एकजुट हैं $\cos(z)$. बहुपद

$$\prod _{m=1}^{n}\left(1-{\frac {z^{2}}{\left(\left(m-{\frac {1}{2}}\right)\pi \right)^{2}}}\right)$$
 भी जुट जाते हैं $\cos(z)$, कोसाइन के लिए हैडामर्ड उत्पाद का निर्माण दिखा रहा है।

यह भी देखें

• जेन्सेन का सूत्र
• कार्लसन का प्रमेय
• घातीय प्रकार
• पैली-वीनर प्रमेय
• विमन-वेलिरॉन सिद्धांत

स्रोत

• 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.

श्रेणी:विश्लेषणात्मक कार्य श्रेणी:विशेष कार्य