क्यू-पोछाम्मेर सिंबल

साहचर्य के गणितीय क्षेत्र में, क्यू-पोचममेर चिह्न, जिसे क्यू-शिफ्टेड फैक्टोरियल भी कहा जाता है, उत्पाद होता है $$(a;q)_n = \prod_{k=0}^{n-1} (1-aq^k)=(1-a)(1-aq)(1-aq^2)\cdots(1-aq^{n-1}),$$ जहाँ $$(a;q)_0 = 1.$$यह पोचममेर चिह्न का क्यू-एनालॉग|क्यू-एनालॉग है $$(x)_n = x(x+1)\dots(x+n-1)$$, इस अर्थ में कि $$\lim_{q\to1} \frac{(q^x;q)_n}{(1-q)^n} = (x)_n.$$ क्यू-पोचममेर चिह्न क्यू-एनालॉग्स के निर्माण में एक प्रमुख बिल्डिंग ब्लॉक है; उदाहरण के लिए, बुनियादी हाइपरज्यामितीय श्रृंखला के सिद्धांत में, यह वह भूमिका निभाता है जो साधारण पोचममेर चिह्न सामान्यीकृत हाइपरज्यामितीय श्रृंखला के सिद्धांत में निभाता है।

साधारण पोचहैमर चिह्न के विपरीत, क्यू-पोचममेर चिह्न को एक अनंत उत्पाद में विस्तारित किया जा सकता है: $$(a;q)_\infty = \prod_{k=0}^{\infty} (1-aq^k).$$ यह यूनिट डिस्क के अंदर क्यू के लिए एक विश्लेषणात्मक कार्य है, और इसे क्यू में एक औपचारिक शक्ति श्रृंखला के रूप में भी माना जा सकता है। विशेष स्थिति में $$\phi(q) = (q;q)_\infty=\prod_{k=1}^\infty (1-q^k)$$ यूलर के कार्य के रूप में जाना जाता है, और संयोजक, संख्या सिद्धांत और मॉड्यूलर रूप के सिद्धांत में महत्वपूर्ण है।

पहचान
अंतिम उत्पाद अनंत उत्पाद के शब्दों में व्यक्त किया जा सकता है:: $$(a;q)_n = \frac{(a;q)_\infty} {(aq^n;q)_\infty}, $$ जो नकारात्मक पूर्णांक n के लिए परिभाषा को विस्तारित करता है। इस प्रकार, गैर-ऋणात्मक n के लिए, निम्नलिखित मान प्राप्त होते हैं: $$(a;q)_{-n} = \frac{1}{(aq^{-n};q)_n}=\prod_{k=1}^n \frac{1}{(1-a/q^k)}$$ और $$(a;q)_{-n} = \frac{(-q/a)^n q^{n(n-1)/2}} {(q/a;q)_n}.$$ वैकल्पिक रूप से, $$\prod_{k=n}^\infty (1-aq^k)=(aq^n;q)_\infty = \frac{(a;q)_\infty} {(a;q)_n}, $$ जो विभाजन कार्यों के कुछ जनरेटिंग कार्यों के लिए उपयोगी होता है।

क्यू-पोचममेर चिह्न कई क्यू-श्रृंखला पहचानों का विषय है, विशेष रूप से अनंत श्रृंखला विस्तार $$(x;q)_\infty = \sum_{n=0}^\infty \frac{(-1)^n q^{n(n-1)/2}}{(q;q)_n} x^n$$ और $$\frac{1}{(x;q)_\infty}=\sum_{n=0}^\infty \frac{x^n}{(q;q)_n},$$ जो दोनों क्यू-बाइनोमियल सिद्धांत के विशेष स्थितिया हैं $$\frac{(ax;q)_\infty}{(x;q)_\infty} = \sum_{n=0}^\infty \frac{(a;q)_n}{(q;q)_n} x^n.$$ फ्रेडरिक कारपेलेविच ने निम्नलिखित पहचान का पता लगाया (प्रमाण के लिए देखें ): $$\frac{(q;q)_{\infty}}{(z;q)_{\infty}}=\sum_{n=0}^{\infty}\frac{(-1)^{n}q^{n(n+1)/2}}{(q;q)_n(1-zq^n)}, \ |z|<1.$$

मिश्रित व्याख्या
क्यू-पोचममेर चिह्न विभाजनों के ज्ञातिकरणीय संख्यात्मक संगणना से गहराता संबंध रखता है। $$(a;q)_\infty^{-1} = \prod_{k=0}^{\infty} (1-aq^k)^{-1}$$ $$q^m a^n$$ के समकोण में अध्यक्षता के के माध्यम से, यह m के बहुत से अंशों में विभाजनों की संख्या है? चूँकि विभाजनों के संयुक्तिकरण के माध्यम से, यह m के n से अधिक नहीं होने वाले अंशों में विभाजनों की संख्या के समान होता है, जेनरेटिंग सीरीज की पहचान के  के माध्यम से हम इस तोते को प्राप्त करते हैं $$(a;q)_\infty^{-1} = \sum_{k=0}^\infty \left(\prod_{j=1}^k \frac{1}{1-q^j} \right) a^k = \sum_{k=0}^\infty \frac{a^k}{(q;q)_k}$$ जैसा कि उपरोक्त खंड में है।

हमारे पास वह गुणांक भी है $$q^m a^n$$ में $$(-a;q)_\infty = \prod_{k=0}^{\infty} (1+aq^k)$$ यह m के n या n-1 अलग-अलग अंशों में विभाजनों की संख्या है।

इस प्रकार के एक विभाजन से n − 1 अंशों के साथ एक त्रिकोणीय विभाजन को हटाकर, हम अधिकांश n अंशों वाले एक अनिश्चित विभाजन के साथ छोड़ दिया जाता है। यह n या n − 1 अलग-अलग भागो में विभाजन के सेट और n − 1 अंशों वाले त्रिकोणीय विभाजन वाले जोड़े के सेट और अधिकांश n अंशों वाले विभाजन के बीच एक वजन-संरक्षण आक्षेप देता है। जनरेटिंग सीरीज़ की पहचान करके, यह पहचान की ओर ले जाता है $$(-a;q)_\infty = \prod_{k=0}^\infty (1+aq^k) = \sum_{k=0}^\infty \left(q^{k\choose 2} \prod_{j=1}^k \frac{1}{1-q^j}\right) a^k = \sum_{k=0}^\infty \frac{q^{k\choose 2}}{(q;q)_k} a^k$$ उपरोक्त खंड में भी वर्णित है।फलन का व्युत्क्रम $$(q)_{\infty} := (q; q)_{\infty}$$ उसी प्रकारसे, विभाजन फ़ंक्शन(संख्या सिद्धांत) $$p(n)$$ के लिए जनरेटिंग कार्य के रूप में उत्पन्न होता है,, जिसे नीचे दिए गए दूसरे दो क्यू-श्रृंखला विस्तारों के माध्यम से भी विस्तारित किया गया है: $$\frac{1}{(q; q)_{\infty}} = \sum_{n \geq 0} p(n) q^n = \sum_{n \geq 0} \frac{q^n}{(q; q)_n} = \sum_{n \geq 0} \frac{q^{n^2}}{(q; q)_n^2}. $$ क्यू-बाइनोमियल उद्धरण खुद एक थोड़ी और विस्तृत संख्यात्मक तर्क के के माध्यम से उठाया जा सकता है जो एक इसी प्रकार का स्वाद रखता है (अगले उपखण्ड में दिए गए विस्तारों को देखें)।

इसी तरह,$$(q; q)_{\infty} = 1 - \sum_{n \geq 0} q^{n+1}(q; q)_n = \sum_{n \geq 0} q^{\frac{n(n+1)}{2}}\frac{(-1)^n}{(q; q)_n}.$$

एकाधिक तर्क सम्मेलन
चूंकि क्यू-पोचहैमर चिह्नों से संबंधित उद्धरण अक्सर कई प्रतीकों के उत्पादों को सम्मलित करते हैं, इसलिए मानक अनुशासन एक उपकरण के रूप में एक उत्पाद को कई तर्कों का एक एकल प्रतीक लिखना है:: $$(a_1,a_2,\ldots,a_m;q)_n = (a_1;q)_n (a_2;q)_n \ldots (a_m;q)_n.$$

क्यू-श्रृंखला
क्यू-श्रृंखला एक श्रृंखला (गणित) है जिसमें गुणांक एक क्यू के फ़ंक्शन होते हैं, फ़ंक्शन $$(a; q)_{n}$$. इसके पहले परिणाम यूलर, गॉस और कॉची के लिए हैं। संगठित अध्ययन एडवर्ड हेन (1843) के साथ प्रारंभ होता है।

अन्य क्यू-फ़ंक्शंस से संबंध
n का क्यू-एनालॉग, जिसे n का 'क्यू-ब्रैकेट' या 'क्यू-संख्या' भी कहा जाता है, को परिभाषित किया गया है $$[n]_q=\frac{1-q^n}{1-q}.$$ इससे कारख़ाने का  के क्यू-एनालॉग को 'क्यू-फैक्टोरियल' के रूप में परिभाषित किया जा सकता है $$ [n]!_q = \prod_{k=1}^n [k]_q = [1]_q \cdot [2]_q \cdots [n-1]_q \cdot [n]_q. $$ इसे कई समकक्ष तरीकों से फिर से लिखा जा सकता है, जिसमें सम्मलित हैं $$\frac{1-q}{1-q} \frac{1-q^2}{1-q} \cdots \frac{1-q^{n-1}}{1-q} \frac{1-q^n}{1-q}$$, $$1 \cdot (1+q)\cdots (1+q+\cdots + q^{n-2}) \cdot (1+q+\cdots + q^{n-1})$$, और $$\frac{(q;q)_n}{(1-q)^n}.$$ये संख्याएँ इस अर्थ में अनुरूप हैं जिसका अर्थ है कि $$\lim_{q\rightarrow 1}[n]_q = n,$$ और इसलिए भी $$\lim_{q\rightarrow 1}[n]!_q = n!.$$ सीमा मूल्य n! n-तत्व सेट S के क्रम परिवर्तन की गिनता है। समान रूप से, इसके समकक्ष रूप से, यह n-अंश वाले समन्वित सेट के नेस्टेड सेटों की शृंखलाओं की संख्या को गिनता है $$E_1 \subset E_2 \subset \cdots \subset E_n = S$$ जो इस प्रकार हो कि $$E_i$$ में बिल्कुल i तत्व हों। समानता करने पर, जब क्यू एक प्राइम पावर हो और V क्यू तत्वों वाले फ़ील्ड पर एक n-विमानित वेक्टर अंतरिक्ष हो, तो क्यू-अनुशंष $$V_1 \subset V_2 \subset \cdots \subset V_n = V$$ में पूर्ण झंडों की संख्या है, अर्थात यह उप-स्थान की शृंखला है $$V_i$$ का आयाम i होता है। पिछली विचारों से यह सुझाव देते हैं कि कोई एक तत्व वाली फ़ील्ड के उपर एक नेस्टेड सेट की शृंखला को एक झंडे के रूप में देखा जा सकता है।

ऋणात्मक पूर्णांक क्यू-कोष्ठकों के गुणनफल को क्यू-फैक्टोरियल के रूप में व्यक्त किया जा सकता है $$\prod_{k=1}^n [-k]_q = \frac{(-1)^n\,[n]!_q}{q^{n(n+1)/2}}$$ क्यू-फैक्टोरियल्स से, कोई क्यू-बिनोमियल गुणांक परिभाषित करने के लिए आगे बढ़ सकता है, जिसे गौसियन द्विपद गुणांक के रूप में भी जाना जाता है, जैसा कि $$ \begin{bmatrix} n\\ k \end{bmatrix}_q = \frac{[n]!_q}{[n-k]!_q [k]!_q}, $$ जहाँ इसे समझना बहुत आसान होता है कि इन कोईफिशिएं का त्रिकोण सममित होता है, अर्थात इस अर्थ में कि

$$\begin{bmatrix} n \\ m \end{bmatrix}_q = \begin{bmatrix} n \\ n-m \end{bmatrix}_q$$ सभी के लिए $$0 \leq m \leq n$$.

इससे हम देख सकते हैं कि $$ \begin{align} \begin{bmatrix} n+1\\ k \end{bmatrix}_q & = \begin{bmatrix} n\\ k \end{bmatrix}_q + q^{n-k+1} \begin{bmatrix} n\\ k-1 \end{bmatrix}_q \\ & = \begin{bmatrix} n \\ k-1 \end{bmatrix}_q + q^k \begin{bmatrix} n \\ k \end{bmatrix}_q. \end{align} $$ पिछले रिकरेंट रिश्तों से हम देख सकते हैं कि $$q$$ बाइनोमियल थियोरी के अगले रूप भी इन कोईफिशिएं के आधार पर विस्तारित किए जाते हैं जैसे निम्नलिखित होते हैं।: $$ \begin{align} (z; q)_n & = \sum_{j=0}^n \begin{bmatrix} n \\ j \end{bmatrix}_q (-z)^j q^{\binom{j}{2}} = (1-z)(1-qz) \cdots (1-z q^{n-1}) \\ (-q; q)_n & = \sum_{j=0}^n \begin{bmatrix} n \\ j \end{bmatrix}_{q^2} q^j \\ (q; q^2)_n & = \sum_{j=0}^{2n} \begin{bmatrix} 2n \\ j \end{bmatrix}_q (-1)^j \\ \frac{1}{(z; q)_{m+1}} & = \sum_{n \geq 0} \begin{bmatrix} n+m \\ n \end{bmatrix}_q z^n. \end{align} $$ इन्हें और आगे बढ़ाकर क्यू-बहुपद गुणांकों की परिभाषा भी की जा सकती है। $$ \begin{bmatrix} n\\ k_1, \ldots ,k_m \end{bmatrix}_q = \frac{[n]!_q}{[k_1]!_q \cdots [k_m]!_q}, $$ यहाँ तर्क $$k_1, \ldots, k_m$$ गैर-ऋणात्मक पूर्णांक हैं जो संतुष्ट करते हैं $$ \sum_{i=1}^m k_i = n $$. उपरोक्त गुणांक झंडे की संख्या की गणना करता है $$ V_1 \subset \dots \subset V_m $$ क्यू तत्वों के साथ क्षेत्र पर एन-आयामी वेक्टर अंतरिक्ष में उप-स्थानों की संख्या $$ \dim V_i = \sum_{j=1}^i k_j $$.

सीमा $$q\to 1$$ सामान्य बहुराष्ट्रीय गुणांक देता है $${n\choose k_1,\dots ,k_m}$$, जो शब्दों को अलग-अलग चिह्नों में गिनता है $$\{s_1,\dots,s_m\}$$ ऐसा है कि प्रत्येक $$s_i$$ दिखाई पड़ना $$k_i$$ बार।

एक व्यक्ति गामा फलन का क्यू-एनालॉग भी प्राप्त करता है, जिसे 'क्यू-गामा फलन' कहा जाता है, और इसे इस रूप में परिभाषित किया जाता है $$\Gamma_q(x)=\frac{(1-q)^{1-x} (q;q)_\infty}{(q^x;q)_\infty}$$ यह सामान्य गामा कार्य में परिवर्तित हो जाता है क्योंकि क्यू यूनिट डिस्क के अंदर से 1 तक पहुंचता है। ध्यान दें कि $$\Gamma_q(x+1)=[x]_q\Gamma_q(x)$$ किसी भी एक्स और के लिए $$\Gamma_q(n+1)=[n]!_q$$ यह गैर-नकारात्मक पूर्णांक मानों के लिए होता है। या फिर, इसे वास्तविक संख्या प्रणाली के लिए q-फैक्टरियल फ़ंक्शन का विस्तार माना जा सकता है।

यह भी देखें

 * बुनियादी हाइपरज्यामितीय श्रृंखला
 * अण्डाकार गामा समारोह
 * थीटा समारोह
 * लैम्बर्ट श्रृंखला
 * पंचकोणीय संख्या प्रमेय
 * क्यू-व्युत्पन्न|क्यू-व्युत्पन्न
 * क्यू-थीटा कार्य | क्यू-थीटा कार्य
 * क्यू-वंडरमोंडे की पहचान|क्यू-वंडरमोंडे की पहचान
 * रोजर्स-रामानुजन पहचान
 * रोजर्स-रामानुजन ने अंश जारी रखा

संदर्भ

 * George Gasper and Mizan Rahman, Basic Hypergeometric Series, 2nd Edition, (2004), Encyclopedia of Mathematics and Its Applications, 96, Cambridge University Press, Cambridge. ISBN 0-521-83357-4.
 * Roelof Koekoek and Rene F. Swarttouw, The Askey scheme of orthogonal polynomials and its क्यू-analogues, section 0.2.
 * Exton, H. (1983), क्यू-Hypergeometric Functions and Applications, New York: Halstead Press, Chichester: Ellis Horwood, 1983, ISBN 0853124914, ISBN 0470274530, ISBN 978-0470274538
 * M.A. Olshanetsky and V.B.K. Rogov (1995), The Modified क्यू-Bessel Functions and the क्यू-Bessel-Macdonald Functions, arXiv:क्यू-alg/9509013.