अर्ध-विश्लेषणात्मक फलन

गणित में, कार्यों का एक अर्ध-विश्लेषणात्मक वर्ग निम्नलिखित तथ्यों पर आधारित वास्तविक विश्लेषणात्मक कार्यों के वर्ग का एक सामान्यीकरण है: यदि f एक अंतराल पर एक विश्लेषणात्मक कार्य है [a,b' '] ⊂ R, और किसी बिंदु पर f और इसके सभी डेरिवेटिव शून्य हैं, तो f समान रूप से सभी [a,b''] पर शून्य है। अर्ध-विश्लेषणात्मक वर्ग कार्यों के व्यापक वर्ग हैं जिनके लिए यह कथन अभी भी सत्य है।

परिभाषाएँ
होने देना $$M=\{M_k\}_{k=0}^\infty$$ सकारात्मक वास्तविक संख्याओं का एक क्रम हो। फिर डेनजॉय-कार्लमैन कार्यों का वर्ग सीM([a,b]) को उन f ∈ C के रूप में परिभाषित किया गया है∞([a,b]) जो संतुष्ट करते हैं


 * $$\left |\frac{d^kf}{dx^k}(x) \right | \leq A^{k+1} k! M_k $$

सभी x ∈ [a,b], कुछ स्थिर A, और सभी गैर-ऋणात्मक पूर्णांक k के लिए। अगर एमk= 1 यह वास्तव में [ए, बी] पर वास्तविक विश्लेषणात्मक कार्यों का वर्ग है।

कक्षा सीM([a,b]) अर्ध-विश्लेषणात्मक कहा जाता है यदि जब भी f ∈ Cएम([ए, बी]) और
 * $$\frac{d^k f}{dx^k}(x) = 0$$

किसी बिंदु x ∈ [a,b] और सभी k के लिए, फिर f समान रूप से शून्य के बराबर है।

एक फ़ंक्शन f को अर्ध-विश्लेषणात्मक फ़ंक्शन कहा जाता है यदि f कुछ अर्ध-विश्लेषणात्मक वर्ग में है।

कई चर के अर्ध-विश्लेषणात्मक कार्य
एक समारोह के लिए $$f:\mathbb{R}^n\to\mathbb{R}$$ और बहु-सूचकांक $$j=(j_1,j_2,\ldots,j_n)\in\mathbb{N}^n$$, निरूपित करें $$|j|=j_1+j_2+\ldots+j_n$$, और
 * $$D^j=\frac{\partial^j}{\partial x_1^{j_1}\partial x_2^{j_2}\ldots\partial x_n^{j_n}}$$
 * $$j!=j_1!j_2!\ldots j_n!$$

और
 * $$x^j=x_1^{j_1}x_2^{j_2}\ldots x_n^{j_n}.$$

तब $$f$$ खुले सेट पर अर्ध-विश्लेषणात्मक कहा जाता है $$U\subset\mathbb{R}^n$$ अगर हर कॉम्पैक्ट के लिए $$K\subset U$$ एक स्थिर है $$A$$ ऐसा है कि


 * $$\left|D^jf(x)\right|\leq A^{|j|+1}j!M_{|j|}$$

सभी मल्टी-इंडेक्स के लिए $$j\in\mathbb{N}^n$$ और सभी बिंदु $$x\in K$$.

डेनजॉय-कार्लमैन के कार्यों का वर्ग $$n$$ अनुक्रम के संबंध में चर $$M$$ मंच पर $$U$$ निरूपित किया जा सकता है $$C_n^M(U)$$, हालांकि अन्य नोटेशन लाजिमी है।

डेनजॉय-कार्लमैन वर्ग $$C_n^M(U)$$ अर्ध-विश्लेषणात्मक कहा जाता है जब इसमें एकमात्र फ़ंक्शन जिसके सभी आंशिक डेरिवेटिव एक बिंदु पर शून्य के बराबर होते हैं, फ़ंक्शन समान रूप से शून्य के बराबर होता है।

कई चर के एक समारोह को अर्ध-विश्लेषणात्मक कहा जाता है जब यह अर्ध-विश्लेषणात्मक डेन्जॉय-कार्लेमैन वर्ग से संबंधित होता है।

लघुगणकीय रूप से उत्तल अनुक्रमों के संबंध में अर्ध-विश्लेषणात्मक वर्ग
उपरोक्त परिभाषाओं में यह मान लेना संभव है $$M_1=1$$ और वह क्रम $$M_k$$ घटता नहीं है।

क्रम $$M_k$$ लघुगणकीय रूप से उत्तल कहा जाता है, यदि
 * $$M_{k+1}/M_k$$ यह बढ़ रहा है।

कब $$M_k$$ लघुगणकीय रूप से उत्तल है, तब $$(M_k)^{1/k}$$ बढ़ रहा है और
 * $$M_rM_s\leq M_{r+s}$$ सभी के लिए $$(r,s)\in\mathbb{N}^2$$.

अर्ध-विश्लेषणात्मक वर्ग $$C_n^M$$ लघुगणकीय रूप से उत्तल अनुक्रम के संबंध में $$M$$ संतुष्ट:


 * $$C_n^M$$ एक अंगूठी है। विशेष रूप से यह गुणा के तहत बंद है।
 * $$C_n^M$$ रचना के तहत बंद है। विशेष रूप से, अगर $$f=(f_1,f_2,\ldots f_p)\in (C_n^M)^p$$ और $$g\in C_p^M$$, तब $$g\circ f\in C_n^M$$.

डेनजॉय-कार्लमैन प्रमेय
डेनजॉय-कार्लमैन प्रमेय, द्वारा सिद्ध किया गया बाद  ने कुछ आंशिक परिणाम दिए, अनुक्रम एम पर मानदंड देता है जिसके तहत सीM([a,b]) एक अर्ध-विश्लेषणात्मक वर्ग है। यह बताता है कि निम्नलिखित स्थितियाँ समतुल्य हैं: सबूत है कि पिछली दो स्थितियां दूसरी इस्तेमाल की गई कार्लमैन असमानता के बराबर हैं। उदाहरण: ने इंगित किया कि यदि एमn अनुक्रमों में से एक द्वारा दिया गया है
 * सीM([a,b]) अर्ध-विश्लेषणात्मक है।
 * $$\sum 1/L_j = \infty$$ कहाँ $$L_j= \inf_{k\ge j}(k\cdot M_k^{1/k})$$.
 * $$\sum_j \frac{1}{j}(M_j^*)^{-1/j} = \infty$$, जहां एमj* ऊपर M से घिरा सबसे बड़ा लॉग उत्तल अनुक्रम हैj.
 * $$\sum_j\frac{M_{j-1}^*}{(j+1)M_j^*} = \infty.$$
 * $$1,\, {(\ln n)}^n,\, {(\ln n)}^n\,{(\ln \ln n)}^n,\, {(\ln n)}^n\,{(\ln \ln n)}^n\,{(\ln \ln \ln n)}^n, \dots,$$

तो संबंधित वर्ग अर्ध-विश्लेषणात्मक है। पहला अनुक्रम विश्लेषणात्मक कार्य देता है।

अतिरिक्त गुण
लघुगणकीय रूप से उत्तल अनुक्रम के लिए $$M$$ कार्यों के संगत वर्ग के निम्नलिखित गुण धारण करते हैं:


 * $$C^M$$ विश्लेषणात्मक कार्य शामिल हैं, और यह इसके बराबर है अगर और केवल अगर $$\sup_{j\geq 1}(M_j)^{1/j}<\infty$$
 * अगर $$N$$ एक अन्य लघुगणक उत्तल अनुक्रम है, साथ में $$M_j\leq C^j N_j$$ कुछ स्थिर के लिए $$C$$, तब $$C^M\subset C^N$$.
 * $$C^M$$ भेदभाव के तहत स्थिर है अगर और केवल अगर $$\sup_{j\geq 1}(M_{j+1}/M_j)^{1/j}<\infty$$.
 * किसी भी असीम रूप से भिन्न कार्य के लिए $$f$$ अर्ध-विश्लेषणात्मक छल्ले हैं $$C^M$$ और $$C^N$$ और तत्व $$g\in C^M$$, और $$h\in C^N$$, ऐसा है कि $$f=g+h$$.

वीयरस्ट्रैस डिवीजन
एक समारोह $$g:\mathbb{R}^n\to\mathbb{R}$$ नियमानुसार कहा गया है $$d$$ इसके संबंध में $$x_n$$अगर $$g(0,x_n)=h(x_n)x_n^d$$ और $$h(0)\neq 0$$. दिया गया $$g$$ आदेश का नियमित $$d$$ इसके संबंध में $$x_n$$, एक अंगूठी $$A_n$$ के वास्तविक या जटिल कार्यों की $$n$$ वेरिएबल्स के संबंध में वीयरस्ट्रैस डिवीजन को संतुष्ट करने के लिए कहा जाता है $$g$$यदि प्रत्येक के लिए $$f\in A_n$$ वहाँ है $$q\in A$$, और $$h_1,h_2,\ldots,h_{d-1}\in A_{n-1}$$ ऐसा है कि


 * $$f=gq+h$$ साथ $$h(x',x_n)=\sum_{j=0}^{d-1}h_{j}(x')x_n^j$$.

जबकि विश्लेषणात्मक कार्यों की अंगूठी और औपचारिक शक्ति श्रृंखला की अंगूठी दोनों वीयरस्ट्रैस डिवीजन संपत्ति को संतुष्ट करते हैं, वही अन्य अर्ध-विश्लेषणात्मक वर्गों के लिए सही नहीं है।

अगर $$M$$ लघुगणकीय रूप से उत्तल है और $$C^M$$ विश्लेषणात्मक कार्य के वर्ग के बराबर नहीं है, तब $$C^M$$ Weierstrass डिवीजन संपत्ति के संबंध में संतुष्ट नहीं है $$g(x_1,x_2,\ldots,x_n)=x_1+x_2^2$$.