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

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

$$M=\{M_k\}_{k=0}^\infty$$ धनात्मक वास्तविक संख्याओं का क्रम है। फिर डेनजॉय-कार्लमैन फलन का वर्ग cM([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 के लिए है। यदि Mk= 1 यह वास्तव में [a,b] पर वास्तविक विश्लेषणात्मक फलन का वर्ग है।

कक्षा cM([a,b]) अर्ध-विश्लेषणात्मक कहा जाता है यदि जब भी f ∈ CM([a,b]) और
 * $$\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 पर मानदंड देता है जिसके अनुसार  cM([a,b]) अर्ध-विश्लेषणात्मक वर्ग है। यह बताता है कि निम्नलिखित स्थितियाँ समतुल्य हैं: प्रमाण है कि पिछली दो स्थितियां दूसरी उपयोग की गई कार्लमैन असमानता के बराबर हैं। उदाहरण: ने इंगित किया कि यदि Mn अनुक्रमों में से दिया गया है
 * CM([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$$, जहां Mj* ऊपर 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$$वीयरस्ट्रैस विभाजन गुण के संबंध में संतुष्ट नहीं है $$g(x_1,x_2,\ldots,x_n)=x_1+x_2^2$$ होता है।