द्विक भाज्य: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Mathematical function}} {{hatnote|The double factorial should not be confused with the factorial function iterated twice {{OEIS|id=A000197}}, which is...")
 
No edit summary
Line 7: Line 7:
जबकि विषम के लिए {{mvar|n}} यह है
जबकि विषम के लिए {{mvar|n}} यह है
<math display="block">n!! = \prod_{k=1}^\frac{n+1}{2} (2k-1) = n(n-2)(n-4)\cdots 3\cdot 1 \,.</math>
<math display="block">n!! = \prod_{k=1}^\frac{n+1}{2} (2k-1) = n(n-2)(n-4)\cdots 3\cdot 1 \,.</math>
उदाहरण के लिए, {{math|9‼ {{=}} 9 × 7 × 5 × 3 × 1 {{=}} 945}}. शून्य डबल फैक्टोरियल {{math|0‼ {{=}} 1}} एक [[खाली उत्पाद]] के रूप में।<ref name=":0">{{Cite web|last=Weisstein|first=Eric W.|title=डबल फैक्टोरियल|url=https://mathworld.wolfram.com/DoubleFactorial.html|access-date=2020-09-10|website=mathworld.wolfram.com|language=en}}</ref><ref>{{Cite web|title=Double Factorials and Multifactorials {{!}} Brilliant Math & Science Wiki|url=https://brilliant.org/wiki/double-factorials-and-multifactorials/|access-date=2020-09-10|website=brilliant.org|language=en-us}}</ref>
उदाहरण के लिए, {{math|9‼ {{=}} 9 × 7 × 5 × 3 × 1 {{=}} 945}}. शून्य डबल फैक्टोरियल {{math|0‼ {{=}} 1}} [[खाली उत्पाद]] के रूप में।<ref name=":0">{{Cite web|last=Weisstein|first=Eric W.|title=डबल फैक्टोरियल|url=https://mathworld.wolfram.com/DoubleFactorial.html|access-date=2020-09-10|website=mathworld.wolfram.com|language=en}}</ref><ref>{{Cite web|title=Double Factorials and Multifactorials {{!}} Brilliant Math & Science Wiki|url=https://brilliant.org/wiki/double-factorials-and-multifactorials/|access-date=2020-09-10|website=brilliant.org|language=en-us}}</ref>
सम के लिए दोहरे भाज्यों का क्रम {{mvar|n}} = {{math|0, 2, 4, 6, 8,...}} के रूप में प्रारंभ होता है
सम के लिए दोहरे भाज्यों का क्रम {{mvar|n}} = {{math|0, 2, 4, 6, 8,...}} के रूप में प्रारंभ होता है
{{block indent|{{math|1, 2, 8, 48, 384, 3840, 46080, 645120, ...}} {{OEIS|id=A000165}} }}
{{block indent|{{math|1, 2, 8, 48, 384, 3840, 46080, 645120, ...}} {{OEIS|id=A000165}} }}
Line 33: Line 33:
  | volume = 86
  | volume = 86
  | year = 1999}}</ref>
  | year = 1999}}</ref>
<!--
 
The '''odd factorial''' of ''n'' is defined to be the product of all odd positive integers up to ''n'', that is, ''n''‼ if ''n'' is odd and (''n''−1)‼ if ''n'' is even.
-->




==इतिहास और उपयोग==
==इतिहास और उपयोग==
1902 के एक पेपर में, भौतिक विज्ञानी [[आर्थर शूस्टर]] ने लिखा:<ref>{{cite journal
1902 के पेपर में, भौतिक विज्ञानी [[आर्थर शूस्टर]] ने लिखा:<ref>{{cite journal
  | last = Schuster | first = Arthur
  | last = Schuster | first = Arthur
  | doi = 10.1098/rspl.1902.0068 | doi-access = free
  | doi = 10.1098/rspl.1902.0068 | doi-access = free
Line 63: Line 61:
  }}</ref> बताता है कि डबल फैक्टोरियल को मूल रूप से [[वालिस उत्पाद]] की व्युत्पत्ति में उत्पन्न होने वाले त्रिकोणमितीय कार्यों के अभिन्न अंग की कुछ सूची की अभिव्यक्ति को सरल बनाने के लिए पेश किया गया था। एन-गोले के आयतन को व्यक्त करने में डबल फैक्टोरियल भी उत्पन्न होते हैं, और गणनात्मक कॉम्बिनेटरिक्स में उनके कई अनुप्रयोग हैं।<ref name="callan"/><ref name="dm93"/>वे विद्यार्थी के t-वितरण|छात्र में होते हैं {{mvar|t}}-वितरण (1908), हालांकि [[विलियम सीली गॉसेट]] ने दोहरे विस्मयादिबोधक बिंदु संकेतन का उपयोग नहीं किया।
  }}</ref> बताता है कि डबल फैक्टोरियल को मूल रूप से [[वालिस उत्पाद]] की व्युत्पत्ति में उत्पन्न होने वाले त्रिकोणमितीय कार्यों के अभिन्न अंग की कुछ सूची की अभिव्यक्ति को सरल बनाने के लिए पेश किया गया था। एन-गोले के आयतन को व्यक्त करने में डबल फैक्टोरियल भी उत्पन्न होते हैं, और गणनात्मक कॉम्बिनेटरिक्स में उनके कई अनुप्रयोग हैं।<ref name="callan"/><ref name="dm93"/>वे विद्यार्थी के t-वितरण|छात्र में होते हैं {{mvar|t}}-वितरण (1908), हालांकि [[विलियम सीली गॉसेट]] ने दोहरे विस्मयादिबोधक बिंदु संकेतन का उपयोग नहीं किया।


==[[ कारख़ाने का ]] से संबंध==
==[[ कारख़ाने का | कारख़ाने का]] से संबंध==
क्योंकि डबल फैक्टोरियल में साधारण फैक्टोरियल के केवल आधे कारक शामिल होते हैं, इसका मूल्य फैक्टोरियल के वर्गमूल से काफी बड़ा नहीं होता है {{math|''n''!}}, और यह पुनरावृत्त फैक्टोरियल से बहुत छोटा है {{math|(''n''!)!}}.
क्योंकि डबल फैक्टोरियल में साधारण फैक्टोरियल के केवल आधे कारक शामिल होते हैं, इसका मूल्य फैक्टोरियल के वर्गमूल से काफी बड़ा नहीं होता है {{math|''n''!}}, और यह पुनरावृत्त फैक्टोरियल से बहुत छोटा है {{math|(''n''!)!}}.


Line 93: Line 91:
==गणनात्मक संयोजन विज्ञान में अनुप्रयोग==
==गणनात्मक संयोजन विज्ञान में अनुप्रयोग==
[[File:Unordered binary trees with 4 leaves.svg|thumb|300px|चार लेबल वाली पत्तियों के सेट पर पंद्रह अलग-अलग जड़ वाले बाइनरी पेड़ (अव्यवस्थित बच्चों के साथ), सचित्र {{math|15 {{=}} (2 × 4 − 3)‼}} (लेख पाठ देखें)।]]डबल फैक्टोरियल इस तथ्य से प्रेरित होते हैं कि वे गणनात्मक कॉम्बिनेटरिक्स और अन्य सेटिंग्स में अक्सर होते हैं। उदाहरण के लिए, {{math|''n''‼}} के विषम मानों के लिए {{mvar|n}} मायने रखता है
[[File:Unordered binary trees with 4 leaves.svg|thumb|300px|चार लेबल वाली पत्तियों के सेट पर पंद्रह अलग-अलग जड़ वाले बाइनरी पेड़ (अव्यवस्थित बच्चों के साथ), सचित्र {{math|15 {{=}} (2 × 4 − 3)‼}} (लेख पाठ देखें)।]]डबल फैक्टोरियल इस तथ्य से प्रेरित होते हैं कि वे गणनात्मक कॉम्बिनेटरिक्स और अन्य सेटिंग्स में अक्सर होते हैं। उदाहरण के लिए, {{math|''n''‼}} के विषम मानों के लिए {{mvar|n}} मायने रखता है
*संपूर्ण ग्राफ़ का उत्तम मिलान {{math|''K''<sub>''n'' + 1</sub>}} विषम के लिए {{mvar|n}}. ऐसे ग्राफ़ में, किसी एक शीर्ष पर v होता है {{mvar|n}} शीर्ष के संभावित विकल्प जिनसे इसका मिलान किया जा सकता है, और एक बार यह विकल्प बन जाने के बाद शेष समस्या दो कम शीर्षों के साथ पूर्ण ग्राफ़ में एक पूर्ण मिलान का चयन करने में से एक है। उदाहरण के लिए, चार शीर्षों ए, बी, सी और डी वाले एक पूर्ण ग्राफ में तीन पूर्ण मिलान होते हैं: एबी और सीडी, एसी और बीडी, और विज्ञापन और बीसी।<ref name="callan"/>पूर्ण मिलान को कई अन्य समकक्ष तरीकों से वर्णित किया जा सकता है, जिसमें एक सेट पर निश्चित बिंदुओं के बिना इनवोल्यूशन (गणित) शामिल है {{math|''n'' + 1}} आइटम ([[क्रमपरिवर्तन]] जिसमें प्रत्येक चक्र एक जोड़ी है)<ref name="callan"/>या कॉर्ड आरेख (गणित) (एक सेट की जीवा के सेट {{math|''n'' + 1}} बिंदु एक वृत्त पर समान रूप से इस प्रकार स्थित होते हैं कि प्रत्येक बिंदु ठीक एक जीवा का अंतिम बिंदु होता है, जिसे [[रिचर्ड ब्रौएर]] आरेख भी कहा जाता है)।<ref name="dm93"/><ref>{{cite book|title=क्रमपरिवर्तन और शब्दों में पैटर्न|series=EATCS Monographs in Theoretical Computer Science |first=Sergey|last=Kitaev|publisher=Springer|year=2011|isbn=9783642173332|page=96|url=https://books.google.com/books?id=JgQHtgR5N60C&pg=PA96}}</ref><ref>{{cite journal
*संपूर्ण ग्राफ़ का उत्तम मिलान {{math|''K''<sub>''n'' + 1</sub>}} विषम के लिए {{mvar|n}}. ऐसे ग्राफ़ में, किसी शीर्ष पर v होता है {{mvar|n}} शीर्ष के संभावित विकल्प जिनसे इसका मिलान किया जा सकता है, और बार यह विकल्प बन जाने के बाद शेष समस्या दो कम शीर्षों के साथ पूर्ण ग्राफ़ में पूर्ण मिलान का चयन करने में से है। उदाहरण के लिए, चार शीर्षों ए, बी, सी और डी वाले पूर्ण ग्राफ में तीन पूर्ण मिलान होते हैं: एबी और सीडी, एसी और बीडी, और विज्ञापन और बीसी।<ref name="callan"/>पूर्ण मिलान को कई अन्य समकक्ष तरीकों से वर्णित किया जा सकता है, जिसमें सेट पर निश्चित बिंदुओं के बिना इनवोल्यूशन (गणित) शामिल है {{math|''n'' + 1}} आइटम ([[क्रमपरिवर्तन]] जिसमें प्रत्येक चक्र जोड़ी है)<ref name="callan"/>या कॉर्ड आरेख (गणित) (एक सेट की जीवा के सेट {{math|''n'' + 1}} बिंदु वृत्त पर समान रूप से इस प्रकार स्थित होते हैं कि प्रत्येक बिंदु ठीक जीवा का अंतिम बिंदु होता है, जिसे [[रिचर्ड ब्रौएर]] आरेख भी कहा जाता है)।<ref name="dm93"/><ref>{{cite book|title=क्रमपरिवर्तन और शब्दों में पैटर्न|series=EATCS Monographs in Theoretical Computer Science |first=Sergey|last=Kitaev|publisher=Springer|year=2011|isbn=9783642173332|page=96|url=https://books.google.com/books?id=JgQHtgR5N60C&pg=PA96}}</ref><ref>{{cite journal
  | last1 = Dale | first1 = M. R. T.
  | last1 = Dale | first1 = M. R. T.
  | last2 = Narayana | first2 = T. V.
  | last2 = Narayana | first2 = T. V.
Line 114: Line 112:
  | volume = 12
  | volume = 12
  | year = 2005| pmid = 16201918}}</ref>
  | year = 2005| pmid = 16201918}}</ref>
*[[स्टर्लिंग क्रमपरिवर्तन]], संख्याओं के बहुसमूह का क्रमपरिवर्तन {{math|1, 1, 2, 2, ..., {{mvar|k}}, {{mvar|k}}}} जिसमें समान संख्याओं के प्रत्येक जोड़े को केवल बड़ी संख्याओं द्वारा अलग किया जाता है, जहां {{math|''k'' {{=}} {{sfrac|''n'' + 1|2}}}}. की दो प्रतियाँ {{mvar|k}} आसन्न होना चाहिए; उन्हें क्रमपरिवर्तन से हटाने पर एक क्रमपरिवर्तन निकलता है जिसमें अधिकतम तत्व होता है {{math|''k'' − 1}}, साथ {{mvar|n}} वह स्थिति जिसमें आसन्न जोड़ी {{mvar|k}} मान रखे जा सकते हैं. इस पुनरावर्ती निर्माण से, एक प्रमाण मिलता है कि स्टर्लिंग क्रमपरिवर्तन को प्रेरण के बाद दोहरे क्रमपरिवर्तन द्वारा गिना जाता है।<ref name="callan"/>वैकल्पिक रूप से, इस प्रतिबंध के बजाय कि किसी जोड़ी के बीच का मान इससे बड़ा हो सकता है, कोई इस मल्टीसेट के क्रमपरिवर्तन पर भी विचार कर सकता है जिसमें प्रत्येक जोड़ी की पहली प्रतियां क्रमबद्ध क्रम में दिखाई देती हैं; ऐसा क्रमपरिवर्तन एक मिलान को परिभाषित करता है {{math|2''k''}} क्रमपरिवर्तन की स्थिति, इसलिए फिर से क्रमपरिवर्तन की संख्या को दोहरे क्रमपरिवर्तन द्वारा गिना जा सकता है।<ref name="dm93">{{cite journal
*[[स्टर्लिंग क्रमपरिवर्तन]], संख्याओं के बहुसमूह का क्रमपरिवर्तन {{math|1, 1, 2, 2, ..., {{mvar|k}}, {{mvar|k}}}} जिसमें समान संख्याओं के प्रत्येक जोड़े को केवल बड़ी संख्याओं द्वारा अलग किया जाता है, जहां {{math|''k'' {{=}} {{sfrac|''n'' + 1|2}}}}. की दो प्रतियाँ {{mvar|k}} आसन्न होना चाहिए; उन्हें क्रमपरिवर्तन से हटाने पर क्रमपरिवर्तन निकलता है जिसमें अधिकतम तत्व होता है {{math|''k'' − 1}}, साथ {{mvar|n}} वह स्थिति जिसमें आसन्न जोड़ी {{mvar|k}} मान रखे जा सकते हैं. इस पुनरावर्ती निर्माण से, प्रमाण मिलता है कि स्टर्लिंग क्रमपरिवर्तन को प्रेरण के बाद दोहरे क्रमपरिवर्तन द्वारा गिना जाता है।<ref name="callan"/>वैकल्पिक रूप से, इस प्रतिबंध के बजाय कि किसी जोड़ी के बीच का मान इससे बड़ा हो सकता है, कोई इस मल्टीसेट के क्रमपरिवर्तन पर भी विचार कर सकता है जिसमें प्रत्येक जोड़ी की पहली प्रतियां क्रमबद्ध क्रम में दिखाई देती हैं; ऐसा क्रमपरिवर्तन मिलान को परिभाषित करता है {{math|2''k''}} क्रमपरिवर्तन की स्थिति, इसलिए फिर से क्रमपरिवर्तन की संख्या को दोहरे क्रमपरिवर्तन द्वारा गिना जा सकता है।<ref name="dm93">{{cite journal
  | last1 = Dale | first1 = M. R. T.
  | last1 = Dale | first1 = M. R. T.
  | last2 = Moon | first2 = J. W.
  | last2 = Moon | first2 = J. W.
Line 125: Line 123:
  | volume = 34
  | volume = 34
  | year = 1993}}</ref>
  | year = 1993}}</ref>
*[[ढेर (डेटा संरचना)]]|ढेर-आदेशित पेड़, पेड़ {{math|''k'' + 1}} नोड्स लेबल किए गए {{math|0, 1, 2, ... {{mvar|k}}}}, जैसे कि पेड़ की जड़ में लेबल 0 है, प्रत्येक दूसरे नोड में उसके मूल से बड़ा लेबल होता है, और इस तरह कि प्रत्येक नोड के बच्चों के पास एक निश्चित क्रम होता है। पेड़ की [[यूलर तकनीकी टावर]] (दोगुने किनारों के साथ) एक स्टर्लिंग क्रमपरिवर्तन देती है, और प्रत्येक स्टर्लिंग क्रमपरिवर्तन इस तरह से एक पेड़ का प्रतिनिधित्व करता है।<ref name="callan"/><ref>{{cite conference
*[[ढेर (डेटा संरचना)]]|ढेर-आदेशित पेड़, पेड़ {{math|''k'' + 1}} नोड्स लेबल किए गए {{math|0, 1, 2, ... {{mvar|k}}}}, जैसे कि पेड़ की जड़ में लेबल 0 है, प्रत्येक दूसरे नोड में उसके मूल से बड़ा लेबल होता है, और इस तरह कि प्रत्येक नोड के बच्चों के पास निश्चित क्रम होता है। पेड़ की [[यूलर तकनीकी टावर]] (दोगुने किनारों के साथ) स्टर्लिंग क्रमपरिवर्तन देती है, और प्रत्येक स्टर्लिंग क्रमपरिवर्तन इस तरह से पेड़ का प्रतिनिधित्व करता है।<ref name="callan"/><ref>{{cite conference
  | last = Janson | first = Svante | author-link = Svante Janson
  | last = Janson | first = Svante | author-link = Svante Janson
  | arxiv = 0803.1129
  | arxiv = 0803.1129
Line 135: Line 133:
  | title = Fifth Colloquium on Mathematics and Computer Science
  | title = Fifth Colloquium on Mathematics and Computer Science
  | year = 2008| bibcode = 2008arXiv0803.1129J}}</ref>
  | year = 2008| bibcode = 2008arXiv0803.1129J}}</ref>
*बिना जड़ वाले बाइनरी पेड़ {{math|{{sfrac|''n'' + 5|2}}}} लेबल वाली पत्तियाँ। ऐसे प्रत्येक पेड़ को एक कम पत्ती वाले पेड़ से, किसी एक को उप-विभाजित करके बनाया जा सकता है {{mvar|n}} पेड़ के किनारे और नए शीर्ष को नए पत्ते का जनक बनाना।
*बिना जड़ वाले बाइनरी पेड़ {{math|{{sfrac|''n'' + 5|2}}}} लेबल वाली पत्तियाँ। ऐसे प्रत्येक पेड़ को कम पत्ती वाले पेड़ से, किसी को उप-विभाजित करके बनाया जा सकता है {{mvar|n}} पेड़ के किनारे और नए शीर्ष को नए पत्ते का जनक बनाना।
*जड़ वाले बाइनरी पेड़ {{math|{{sfrac|''n'' + 3|2}}}} लेबल वाली पत्तियाँ। यह मामला बिना जड़ वाले मामले के समान है, लेकिन किनारों को उप-विभाजित करने की संख्या सम है, और एक किनारे को उप-विभाजित करने के अलावा एक कम पत्ती वाले पेड़ में एक नई जड़ जोड़कर एक नोड जोड़ना संभव है, जिसके दो बच्चे हैं छोटे पेड़ और नए पत्ते हैं।<ref name="callan"/><ref name="dm93"/>
*जड़ वाले बाइनरी पेड़ {{math|{{sfrac|''n'' + 3|2}}}} लेबल वाली पत्तियाँ। यह मामला बिना जड़ वाले मामले के समान है, लेकिन किनारों को उप-विभाजित करने की संख्या सम है, और किनारे को उप-विभाजित करने के अलावा कम पत्ती वाले पेड़ में नई जड़ जोड़कर नोड जोड़ना संभव है, जिसके दो बच्चे हैं छोटे पेड़ और नए पत्ते हैं।<ref name="callan"/><ref name="dm93"/>


{{harvtxt|Callan|2009}} और {{harvtxt|Dale|Moon|1993}} समान संयोजन वर्ग के साथ कई अतिरिक्त वस्तुओं की सूची बनाएं, जिनमें ट्रैपेज़ॉइडल शब्द (बढ़ते हुए विषम मूलांक के साथ [[मिश्रित मूलांक]] प्रणाली में [[अंक प्रणाली]]), ऊंचाई-लेबल वाले [[डाइक पथ]], ऊंचाई-लेबल वाले आदेशित पेड़, ओवरहैंग पथ, और निम्नतम का वर्णन करने वाले कुछ वैक्टर शामिल हैं- जड़ वाले बाइनरी ट्री में प्रत्येक नोड का क्रमांकित पत्ता वंशज। [[विशेषण प्रमाण]] के लिए कि इनमें से कुछ वस्तुएँ समसंख्य हैं, देखें {{harvtxt|Rubey|2008}} और {{harvtxt|Marsh|Martin|2011}}.<ref>{{cite conference
{{harvtxt|Callan|2009}} और {{harvtxt|Dale|Moon|1993}} समान संयोजन वर्ग के साथ कई अतिरिक्त वस्तुओं की सूची बनाएं, जिनमें ट्रैपेज़ॉइडल शब्द (बढ़ते हुए विषम मूलांक के साथ [[मिश्रित मूलांक]] प्रणाली में [[अंक प्रणाली]]), ऊंचाई-लेबल वाले [[डाइक पथ]], ऊंचाई-लेबल वाले आदेशित पेड़, ओवरहैंग पथ, और निम्नतम का वर्णन करने वाले कुछ वैक्टर शामिल हैं- जड़ वाले बाइनरी ट्री में प्रत्येक नोड का क्रमांकित पत्ता वंशज। [[विशेषण प्रमाण]] के लिए कि इनमें से कुछ वस्तुएँ समसंख्य हैं, देखें {{harvtxt|Rubey|2008}} और {{harvtxt|Marsh|Martin|2011}}.<ref>{{cite conference
Line 159: Line 157:
  | year = 2011| s2cid = 7264692
  | year = 2011| s2cid = 7264692
  }}</ref>
  }}</ref>
सम दोहरे फैक्टोरियल [[हाइपरऑक्टाहेड्रल समूह]]ों के तत्वों की संख्या देते हैं ([[ अतिविम ]] के हस्ताक्षरित क्रमपरिवर्तन या समरूपता)
सम दोहरे फैक्टोरियल [[हाइपरऑक्टाहेड्रल समूह]]ों के तत्वों की संख्या देते हैं ([[ अतिविम | अतिविम]] के हस्ताक्षरित क्रमपरिवर्तन या समरूपता)


==असिम्प्टोटिक्स==
==असिम्प्टोटिक्स==
फैक्टोरियल के लिए स्टर्लिंग के सन्निकटन का उपयोग डबल फैक्टोरियल के लिए एसिम्प्टोटिक विश्लेषण प्राप्त करने के लिए किया जा सकता है। विशेषकर, तब से <math>n! \sim \sqrt{2 \pi n}\left(\frac{n}{e}\right)^n,</math> एक के पास जैसा है <math>n</math> उस अनन्त की ओर प्रवृत्त होता है
फैक्टोरियल के लिए स्टर्लिंग के सन्निकटन का उपयोग डबल फैक्टोरियल के लिए एसिम्प्टोटिक विश्लेषण प्राप्त करने के लिए किया जा सकता है। विशेषकर, तब से <math>n! \sim \sqrt{2 \pi n}\left(\frac{n}{e}\right)^n,</math> के पास जैसा है <math>n</math> उस अनन्त की ओर प्रवृत्त होता है


<math display=block>n!! \sim \begin{cases}
<math display=block>n!! \sim \begin{cases}
Line 173: Line 171:


===नकारात्मक तर्क===
===नकारात्मक तर्क===
सामान्य फैक्टोरियल, जब [[गामा फ़ंक्शन]] तक बढ़ाया जाता है, तो प्रत्येक नकारात्मक पूर्णांक पर एक [[ध्रुव (जटिल विश्लेषण)]] होता है, जो इन संख्याओं पर फैक्टोरियल को परिभाषित होने से रोकता है। हालाँकि, विषम संख्याओं के दोहरे भाज्य को उसके [[पुनरावृत्ति संबंध]] को उल्टा करके किसी भी नकारात्मक विषम पूर्णांक तर्क तक बढ़ाया जा सकता है
सामान्य फैक्टोरियल, जब [[गामा फ़ंक्शन]] तक बढ़ाया जाता है, तो प्रत्येक नकारात्मक पूर्णांक पर [[ध्रुव (जटिल विश्लेषण)]] होता है, जो इन संख्याओं पर फैक्टोरियल को परिभाषित होने से रोकता है। हालाँकि, विषम संख्याओं के दोहरे भाज्य को उसके [[पुनरावृत्ति संबंध]] को उल्टा करके किसी भी नकारात्मक विषम पूर्णांक तर्क तक बढ़ाया जा सकता है
<math display="block">n!! = n \times (n-2)!!</math>
<math display="block">n!! = n \times (n-2)!!</math>
दे देना
दे देना
<math display="block">n!! = \frac{(n+2)!!}{n+2}\,.</math>
<math display="block">n!! = \frac{(n+2)!!}{n+2}\,.</math>
इस उलटे पुनरावृत्ति का उपयोग करते हुए, (−1)!! = 1, (−3)!! = −1, और (−5)!! ={{sfrac|1|3}}; अधिक परिमाण वाली ऋणात्मक विषम संख्याओं में भिन्नात्मक दोहरे भाज्य होते हैं।<ref name="callan"/> विशेषकर, जब {{mvar|n}} एक विषम संख्या है, इससे पता चलता है
इस उलटे पुनरावृत्ति का उपयोग करते हुए, (−1)!! = 1, (−3)!! = −1, और (−5)!! ={{sfrac|1|3}}; अधिक परिमाण वाली ऋणात्मक विषम संख्याओं में भिन्नात्मक दोहरे भाज्य होते हैं।<ref name="callan"/> विशेषकर, जब {{mvar|n}} विषम संख्या है, इससे पता चलता है
<math display="block">(-n)!! \times n!! = (-1)^\frac{n-1}{2} \times n\,.</math>
<math display="block">(-n)!! \times n!! = (-1)^\frac{n-1}{2} \times n\,.</math>




===जटिल तर्क===
===जटिल तर्क===
की उपरोक्त परिभाषा की अवहेलना करते हुए {{math|''n''!!}} के सम मानों के लिए{{mvar|n}}, विषम पूर्णांकों के लिए दोहरे भाज्य को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है {{mvar|z}} यह नोट करके कि कब {{mvar|z}} तो एक धनात्मक विषम पूर्णांक है<ref>{{cite book|title=Mathematical Methods: For Students of Physics and Related Fields|series=[[Undergraduate Texts in Mathematics]]|first=Sadri|last=Hassani|publisher=Springer|year=2000|isbn=9780387989587|page=266|url=https://books.google.com/books?id=dxSOzeLMij4C&pg=PA266}}</ref><ref>{{cite web|title=Double factorial: Specific values (formula 06.02.03.0005) |publisher=Wolfram Research|date=2001-10-29 |url=http://functions.wolfram.com/06.02.03.0005 |access-date=2013-03-23}}</ref>
की उपरोक्त परिभाषा की अवहेलना करते हुए {{math|''n''!!}} के सम मानों के लिए{{mvar|n}}, विषम पूर्णांकों के लिए दोहरे भाज्य को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है {{mvar|z}} यह नोट करके कि कब {{mvar|z}} तो धनात्मक विषम पूर्णांक है<ref>{{cite book|title=Mathematical Methods: For Students of Physics and Related Fields|series=[[Undergraduate Texts in Mathematics]]|first=Sadri|last=Hassani|publisher=Springer|year=2000|isbn=9780387989587|page=266|url=https://books.google.com/books?id=dxSOzeLMij4C&pg=PA266}}</ref><ref>{{cite web|title=Double factorial: Specific values (formula 06.02.03.0005) |publisher=Wolfram Research|date=2001-10-29 |url=http://functions.wolfram.com/06.02.03.0005 |access-date=2013-03-23}}</ref>


<math display="block">\begin{align}
<math display="block">\begin{align}
Line 200: Line 198:
{{endplainlist}}
{{endplainlist}}


परिभाषा के रूप में इस सामान्यीकृत सूत्र का उपयोग करते हुए, एक [[एन-बॉल का आयतन]] {{mvar|n}}-त्रिज्या का [[आयाम]]ी [[अति क्षेत्र]] {{mvar|R}} के रूप में व्यक्त किया जा सकता है<ref>{{cite journal|title=आणविक डेटाबेस में कुछ आयाम समस्याएं|first=Paul G.|last=Mezey|year=2009|journal=Journal of Mathematical Chemistry|volume=45|issue=1|pages=1–6|doi=10.1007/s10910-008-9365-8|s2cid=120103389}}</ref>
परिभाषा के रूप में इस सामान्यीकृत सूत्र का उपयोग करते हुए, [[एन-बॉल का आयतन]] {{mvar|n}}-त्रिज्या का [[आयाम]]ी [[अति क्षेत्र]] {{mvar|R}} के रूप में व्यक्त किया जा सकता है<ref>{{cite journal|title=आणविक डेटाबेस में कुछ आयाम समस्याएं|first=Paul G.|last=Mezey|year=2009|journal=Journal of Mathematical Chemistry|volume=45|issue=1|pages=1–6|doi=10.1007/s10910-008-9365-8|s2cid=120103389}}</ref>


<math display="block">V_n=\frac{2 \left(2\pi\right)^\frac{n-1}{2}}{n!!} R^n\,.</math>
<math display="block">V_n=\frac{2 \left(2\pi\right)^\frac{n-1}{2}}{n!!} R^n\,.</math>
Line 207: Line 205:
==अतिरिक्त पहचान==
==अतिरिक्त पहचान==
के पूर्णांक मानों के लिए {{mvar|n}},
के पूर्णांक मानों के लिए {{mvar|n}},
<!-- FORMER TEXT Using the extension of the double factorial to even arguments, for even values of ''n'', -->
<math display="block">\int_{0}^\frac{\pi}{2}\sin^n x\,dx=\int_{0}^\frac{\pi}{2}\cos^n x\,dx=\frac{(n-1)!!}{n!!}\times
<math display="block">\int_{0}^\frac{\pi}{2}\sin^n x\,dx=\int_{0}^\frac{\pi}{2}\cos^n x\,dx=\frac{(n-1)!!}{n!!}\times
\begin{cases}1 & \text{if } n \text{ is odd} \\ \frac{\pi}{2} & \text{if } n \text{ is even.}\end{cases}</math>
\begin{cases}1 & \text{if } n \text{ is odd} \\ \frac{\pi}{2} & \text{if } n \text{ is even.}\end{cases}</math>
Line 233: Line 230:
   &= \sum_{k=1}^{n} \frac{(n-1)!}{(k-1)!} k(2k-3)!!\,.
   &= \sum_{k=1}^{n} \frac{(n-1)!}{(k-1)!} k(2k-3)!!\,.
\end{align}</math>
\end{align}</math>
दो क्रमागत पूर्णांकों के दोहरे भाज्य के अनुपात का एक अनुमान है
दो क्रमागत पूर्णांकों के दोहरे भाज्य के अनुपात का अनुमान है
<math display="block"> \frac{(2n)!!}{(2n-1)!!} \approx \sqrt{\pi n}. </math>
<math display="block"> \frac{(2n)!!}{(2n-1)!!} \approx \sqrt{\pi n}. </math>
यह अनुमान और अधिक सटीक हो जाता है {{mvar|n}} बढ़ता है, जिसे वालिस%27_इंटेग्रल्स#डबल फैक्टोरियल अनुपात को कम करने के परिणामस्वरूप देखा जा सकता है।
यह अनुमान और अधिक सटीक हो जाता है {{mvar|n}} बढ़ता है, जिसे वालिस%27_इंटेग्रल्स#डबल फैक्टोरियल अनुपात को कम करने के परिणामस्वरूप देखा जा सकता है।
Line 252: Line 249:


===बहुक्रियात्मक का वैकल्पिक विस्तार===
===बहुक्रियात्मक का वैकल्पिक विस्तार===
वैकल्पिक रूप से, बहुघटकीय {{math|''z''!<sub>(''α'')</sub>}} को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है {{math|''z''}} यह नोट करके कि कब {{math|''z''}} धनात्मक पूर्णांक के धनात्मक गुणज से एक अधिक है {{math|''α''}} तब
वैकल्पिक रूप से, बहुघटकीय {{math|''z''!<sub>(''α'')</sub>}} को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है {{math|''z''}} यह नोट करके कि कब {{math|''z''}} धनात्मक पूर्णांक के धनात्मक गुणज से अधिक है {{math|''α''}} तब


<math display="block">\begin{align} z!_{(\alpha)} &= z(z-\alpha)\cdots (\alpha+1) \\
<math display="block">\begin{align} z!_{(\alpha)} &= z(z-\alpha)\cdots (\alpha+1) \\
Line 264: Line 261:
===सामान्यीकृत स्टर्लिंग संख्याएँ बहुक्रियात्मक कार्यों का विस्तार करती हैं===
===सामान्यीकृत स्टर्लिंग संख्याएँ बहुक्रियात्मक कार्यों का विस्तार करती हैं===


प्रथम प्रकार की सामान्यीकृत स्टर्लिंग संख्याओं का एक वर्ग परिभाषित किया गया है {{math|''α'' > 0}} निम्नलिखित त्रिकोणीय पुनरावृत्ति संबंध द्वारा:
प्रथम प्रकार की सामान्यीकृत स्टर्लिंग संख्याओं का वर्ग परिभाषित किया गया है {{math|''α'' > 0}} निम्नलिखित त्रिकोणीय पुनरावृत्ति संबंध द्वारा:


<math display="block">\left[\begin{matrix} n \\ k \end{matrix} \right]_{\alpha}  
<math display="block">\left[\begin{matrix} n \\ k \end{matrix} \right]_{\alpha}  
Line 284: Line 281:


<math display="block">\sigma_n^{(\alpha)}(x) := \left[\begin{matrix} x \\ x-n \end{matrix} \right]_{(\alpha)} \frac{(x-n-1)!}{x!}</math>
<math display="block">\sigma_n^{(\alpha)}(x) := \left[\begin{matrix} x \\ x-n \end{matrix} \right]_{(\alpha)} \frac{(x-n-1)!}{x!}</math>
के लिए {{math|0 ≤ ''n'' ≤ ''x''}}. इन बहुपदों में एक विशेष रूप से अच्छा बंद-रूप वाला साधारण जनरेटिंग फ़ंक्शन दिया गया है
के लिए {{math|0 ≤ ''n'' ≤ ''x''}}. इन बहुपदों में विशेष रूप से अच्छा बंद-रूप वाला साधारण जनरेटिंग फ़ंक्शन दिया गया है


<math display="block">\sum_{n \geq 0} x \cdot \sigma_n^{(\alpha)}(x) z^n = e^{(1-\alpha)z} \left(\frac{\alpha z e^{\alpha z}}{e^{\alpha z}-1}\right)^x\,. </math>
<math display="block">\sum_{n \geq 0} x \cdot \sigma_n^{(\alpha)}(x) z^n = e^{(1-\alpha)z} \left(\frac{\alpha z e^{\alpha z}}{e^{\alpha z}-1}\right)^x\,. </math>

Revision as of 12:10, 8 July 2023

छह बिंदुओं पर पंद्रह अलग-अलग कॉर्ड आरेख (गणित), या छह-शीर्ष पूर्ण ग्राफ़ पर समकक्ष पंद्रह अलग-अलग पूर्ण मिलान। इन्हें डबल फैक्टोरियल द्वारा गिना जाता है 15 = (6 − 1)‼.

गणित में, किसी संख्या का दोहरा भाज्य n, द्वारा चिह्नित n, तक के सभी धनात्मक पूर्णांकों का गुणनफल है n जिसमें समान समता (गणित) (विषम या सम) हो n.[1] वह है,

पुनर्कथित, यह कहता है कि सम के लिए n, डबल फैक्टोरियल है
जबकि विषम के लिए n यह है
उदाहरण के लिए, 9‼ = 9 × 7 × 5 × 3 × 1 = 945. शून्य डबल फैक्टोरियल 0‼ = 1 खाली उत्पाद के रूप में।[2][3] सम के लिए दोहरे भाज्यों का क्रम n = 0, 2, 4, 6, 8,... के रूप में प्रारंभ होता है

1, 2, 8, 48, 384, 3840, 46080, 645120, ... (sequence A000165 in the OEIS)

विषम के लिए दोहरे भाज्यों का क्रम n = 1, 3, 5, 7, 9,... के रूप में प्रारंभ होता है

1, 3, 15, 105, 945, 10395, 135135, ... (sequence A001147 in the OEIS)

विषम भाज्य शब्द का प्रयोग कभी-कभी किसी विषम संख्या के दोहरे भाज्य के लिए किया जाता है।[4][5]


इतिहास और उपयोग

1902 के पेपर में, भौतिक विज्ञानी आर्थर शूस्टर ने लिखा:[6]

The symbolical representation of the results of this paper is much facilitated by the introduction of a separate symbol for the product of alternate factors, , if be odd, or if be odd [sic]. I propose to write for such products, and if a name be required for the product to call it the "alternate factorial" or the "double factorial."

Meserve (1948)[7] बताता है कि डबल फैक्टोरियल को मूल रूप से वालिस उत्पाद की व्युत्पत्ति में उत्पन्न होने वाले त्रिकोणमितीय कार्यों के अभिन्न अंग की कुछ सूची की अभिव्यक्ति को सरल बनाने के लिए पेश किया गया था। एन-गोले के आयतन को व्यक्त करने में डबल फैक्टोरियल भी उत्पन्न होते हैं, और गणनात्मक कॉम्बिनेटरिक्स में उनके कई अनुप्रयोग हैं।[1][8]वे विद्यार्थी के t-वितरण|छात्र में होते हैं t-वितरण (1908), हालांकि विलियम सीली गॉसेट ने दोहरे विस्मयादिबोधक बिंदु संकेतन का उपयोग नहीं किया।

कारख़ाने का से संबंध

क्योंकि डबल फैक्टोरियल में साधारण फैक्टोरियल के केवल आधे कारक शामिल होते हैं, इसका मूल्य फैक्टोरियल के वर्गमूल से काफी बड़ा नहीं होता है n!, और यह पुनरावृत्त फैक्टोरियल से बहुत छोटा है (n!)!.

एक सकारात्मक का भाज्य n को दो दोहरे फैक्टोरियल के उत्पाद के रूप में लिखा जा सकता है:[2]

और इसलिए
जहां हर अंश में अवांछित कारकों को रद्द कर देता है। (अंतिम फॉर्म तब भी लागू होता है जब n = 0.)

सम गैर-ऋणात्मक पूर्णांक के लिए n = 2k साथ k ≥ 0, दोहरे भाज्य को इस प्रकार व्यक्त किया जा सकता है

विषम के लिए n = 2k − 1 साथ k ≥ 1, पिछले दो सूत्रों को मिलाकर परिणाम प्राप्त होते हैं
एक विषम धनात्मक पूर्णांक के लिए n = 2k − 1 साथ k ≥ 1, दोहरे भाज्य को क्रमपरिवर्तन#बिना दोहराव वाले क्रमपरिवर्तन| के संदर्भ में व्यक्त किया जा सकता हैk-का क्रमपरिवर्तन 2k जैसा[1][9]


गणनात्मक संयोजन विज्ञान में अनुप्रयोग

चार लेबल वाली पत्तियों के सेट पर पंद्रह अलग-अलग जड़ वाले बाइनरी पेड़ (अव्यवस्थित बच्चों के साथ), सचित्र 15 = (2 × 4 − 3)‼ (लेख पाठ देखें)।

डबल फैक्टोरियल इस तथ्य से प्रेरित होते हैं कि वे गणनात्मक कॉम्बिनेटरिक्स और अन्य सेटिंग्स में अक्सर होते हैं। उदाहरण के लिए, n के विषम मानों के लिए n मायने रखता है

  • संपूर्ण ग्राफ़ का उत्तम मिलान Kn + 1 विषम के लिए n. ऐसे ग्राफ़ में, किसी शीर्ष पर v होता है n शीर्ष के संभावित विकल्प जिनसे इसका मिलान किया जा सकता है, और बार यह विकल्प बन जाने के बाद शेष समस्या दो कम शीर्षों के साथ पूर्ण ग्राफ़ में पूर्ण मिलान का चयन करने में से है। उदाहरण के लिए, चार शीर्षों ए, बी, सी और डी वाले पूर्ण ग्राफ में तीन पूर्ण मिलान होते हैं: एबी और सीडी, एसी और बीडी, और विज्ञापन और बीसी।[1]पूर्ण मिलान को कई अन्य समकक्ष तरीकों से वर्णित किया जा सकता है, जिसमें सेट पर निश्चित बिंदुओं के बिना इनवोल्यूशन (गणित) शामिल है n + 1 आइटम (क्रमपरिवर्तन जिसमें प्रत्येक चक्र जोड़ी है)[1]या कॉर्ड आरेख (गणित) (एक सेट की जीवा के सेट n + 1 बिंदु वृत्त पर समान रूप से इस प्रकार स्थित होते हैं कि प्रत्येक बिंदु ठीक जीवा का अंतिम बिंदु होता है, जिसे रिचर्ड ब्रौएर आरेख भी कहा जाता है)।[8][10][11] पूर्ण ग्राफ़ में मिलान की संख्या, मिलान को पूर्ण होने से रोके बिना, इसके बजाय टेलीफोन नंबर (गणित) द्वारा दी जाती है, जिसे दोहरे फैक्टोरियल वाले योग के रूप में व्यक्त किया जा सकता है।[12]
  • स्टर्लिंग क्रमपरिवर्तन, संख्याओं के बहुसमूह का क्रमपरिवर्तन 1, 1, 2, 2, ..., k, k जिसमें समान संख्याओं के प्रत्येक जोड़े को केवल बड़ी संख्याओं द्वारा अलग किया जाता है, जहां k = n + 1/2. की दो प्रतियाँ k आसन्न होना चाहिए; उन्हें क्रमपरिवर्तन से हटाने पर क्रमपरिवर्तन निकलता है जिसमें अधिकतम तत्व होता है k − 1, साथ n वह स्थिति जिसमें आसन्न जोड़ी k मान रखे जा सकते हैं. इस पुनरावर्ती निर्माण से, प्रमाण मिलता है कि स्टर्लिंग क्रमपरिवर्तन को प्रेरण के बाद दोहरे क्रमपरिवर्तन द्वारा गिना जाता है।[1]वैकल्पिक रूप से, इस प्रतिबंध के बजाय कि किसी जोड़ी के बीच का मान इससे बड़ा हो सकता है, कोई इस मल्टीसेट के क्रमपरिवर्तन पर भी विचार कर सकता है जिसमें प्रत्येक जोड़ी की पहली प्रतियां क्रमबद्ध क्रम में दिखाई देती हैं; ऐसा क्रमपरिवर्तन मिलान को परिभाषित करता है 2k क्रमपरिवर्तन की स्थिति, इसलिए फिर से क्रमपरिवर्तन की संख्या को दोहरे क्रमपरिवर्तन द्वारा गिना जा सकता है।[8]
  • ढेर (डेटा संरचना)|ढेर-आदेशित पेड़, पेड़ k + 1 नोड्स लेबल किए गए 0, 1, 2, ... k, जैसे कि पेड़ की जड़ में लेबल 0 है, प्रत्येक दूसरे नोड में उसके मूल से बड़ा लेबल होता है, और इस तरह कि प्रत्येक नोड के बच्चों के पास निश्चित क्रम होता है। पेड़ की यूलर तकनीकी टावर (दोगुने किनारों के साथ) स्टर्लिंग क्रमपरिवर्तन देती है, और प्रत्येक स्टर्लिंग क्रमपरिवर्तन इस तरह से पेड़ का प्रतिनिधित्व करता है।[1][13]
  • बिना जड़ वाले बाइनरी पेड़ n + 5/2 लेबल वाली पत्तियाँ। ऐसे प्रत्येक पेड़ को कम पत्ती वाले पेड़ से, किसी को उप-विभाजित करके बनाया जा सकता है n पेड़ के किनारे और नए शीर्ष को नए पत्ते का जनक बनाना।
  • जड़ वाले बाइनरी पेड़ n + 3/2 लेबल वाली पत्तियाँ। यह मामला बिना जड़ वाले मामले के समान है, लेकिन किनारों को उप-विभाजित करने की संख्या सम है, और किनारे को उप-विभाजित करने के अलावा कम पत्ती वाले पेड़ में नई जड़ जोड़कर नोड जोड़ना संभव है, जिसके दो बच्चे हैं छोटे पेड़ और नए पत्ते हैं।[1][8]

Callan (2009) और Dale & Moon (1993) समान संयोजन वर्ग के साथ कई अतिरिक्त वस्तुओं की सूची बनाएं, जिनमें ट्रैपेज़ॉइडल शब्द (बढ़ते हुए विषम मूलांक के साथ मिश्रित मूलांक प्रणाली में अंक प्रणाली), ऊंचाई-लेबल वाले डाइक पथ, ऊंचाई-लेबल वाले आदेशित पेड़, ओवरहैंग पथ, और निम्नतम का वर्णन करने वाले कुछ वैक्टर शामिल हैं- जड़ वाले बाइनरी ट्री में प्रत्येक नोड का क्रमांकित पत्ता वंशज। विशेषण प्रमाण के लिए कि इनमें से कुछ वस्तुएँ समसंख्य हैं, देखें Rubey (2008) और Marsh & Martin (2011).[14][15] सम दोहरे फैक्टोरियल हाइपरऑक्टाहेड्रल समूहों के तत्वों की संख्या देते हैं ( अतिविम के हस्ताक्षरित क्रमपरिवर्तन या समरूपता)

असिम्प्टोटिक्स

फैक्टोरियल के लिए स्टर्लिंग के सन्निकटन का उपयोग डबल फैक्टोरियल के लिए एसिम्प्टोटिक विश्लेषण प्राप्त करने के लिए किया जा सकता है। विशेषकर, तब से के पास जैसा है उस अनन्त की ओर प्रवृत्त होता है


एक्सटेंशन

नकारात्मक तर्क

सामान्य फैक्टोरियल, जब गामा फ़ंक्शन तक बढ़ाया जाता है, तो प्रत्येक नकारात्मक पूर्णांक पर ध्रुव (जटिल विश्लेषण) होता है, जो इन संख्याओं पर फैक्टोरियल को परिभाषित होने से रोकता है। हालाँकि, विषम संख्याओं के दोहरे भाज्य को उसके पुनरावृत्ति संबंध को उल्टा करके किसी भी नकारात्मक विषम पूर्णांक तर्क तक बढ़ाया जा सकता है

दे देना
इस उलटे पुनरावृत्ति का उपयोग करते हुए, (−1)!! = 1, (−3)!! = −1, और (−5)!! =1/3; अधिक परिमाण वाली ऋणात्मक विषम संख्याओं में भिन्नात्मक दोहरे भाज्य होते हैं।[1] विशेषकर, जब n विषम संख्या है, इससे पता चलता है


जटिल तर्क

की उपरोक्त परिभाषा की अवहेलना करते हुए n!! के सम मानों के लिएn, विषम पूर्णांकों के लिए दोहरे भाज्य को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है z यह नोट करके कि कब z तो धनात्मक विषम पूर्णांक है[16][17]

कहाँ गामा फ़ंक्शन है.

अंतिम अभिव्यक्ति ऋणात्मक सम पूर्णांकों को छोड़कर सभी जटिल संख्याओं के लिए परिभाषित की गई है और संतुष्ट करती है (z + 2)!! = (z + 2) · z!!हर जगह इसे परिभाषित किया गया है। गामा फ़ंक्शन के साथ जो सामान्य फैक्टोरियल फ़ंक्शन का विस्तार करता है, यह डबल फैक्टोरियल फ़ंक्शन बोह्र-मोलेरुप प्रमेय के अर्थ में लघुगणकीय रूप से उत्तल है। स्पर्शोन्मुख रूप से, सामान्यीकृत सूत्र के लिए पिछले उत्पाद फ़ॉर्मूले से सहमत नहीं है z!! के गैर-नकारात्मक सम पूर्णांक मानों के लिएz. इसके बजाय, यह सामान्यीकृत सूत्र निम्नलिखित विकल्प का तात्पर्य करता है:

0 के मान के साथ!! इस मामले में किया जा रहा है

  • (sequence A076668 in the OEIS).

परिभाषा के रूप में इस सामान्यीकृत सूत्र का उपयोग करते हुए, एन-बॉल का आयतन n-त्रिज्या का आयामअति क्षेत्र R के रूप में व्यक्त किया जा सकता है[18]


अतिरिक्त पहचान

के पूर्णांक मानों के लिए n,

इसके बजाय विषम संख्याओं के दोहरे भाज्य के जटिल संख्याओं के विस्तार का उपयोग करते हुए, सूत्र है
अधिक जटिल त्रिकोणमितीय बहुपदों के अभिन्नों का मूल्यांकन करने के लिए डबल फैक्टोरियल का भी उपयोग किया जा सकता है।[7][19] विषम संख्याओं के दोहरे भाज्य पहचान द्वारा गामा फ़ंक्शन से संबंधित हैं:

विषम संख्याओं के दोहरे भाज्य से जुड़ी कुछ अतिरिक्त पहचानें हैं:[1]

दो क्रमागत पूर्णांकों के दोहरे भाज्य के अनुपात का अनुमान है
यह अनुमान और अधिक सटीक हो जाता है n बढ़ता है, जिसे वालिस%27_इंटेग्रल्स#डबल फैक्टोरियल अनुपात को कम करने के परिणामस्वरूप देखा जा सकता है।

सामान्यीकरण

परिभाषाएँ

उसी प्रकार जिस प्रकार डबल फैक्टोरियल फैक्टोरियल की धारणा को सामान्यीकृत करता है, पूर्णांक-मूल्य वाले एकाधिक फैक्टोरियल फ़ंक्शन (मल्टीफैक्टोरियल) की निम्नलिखित परिभाषा, या α-फैक्टोरियल फ़ंक्शन, सकारात्मक पूर्णांकों के लिए डबल फैक्टरियल फ़ंक्शन की धारणा का विस्तार करता है :


बहुक्रियात्मक का वैकल्पिक विस्तार

वैकल्पिक रूप से, बहुघटकीय z!(α) को अधिकांश वास्तविक और जटिल संख्याओं तक बढ़ाया जा सकता है z यह नोट करके कि कब z धनात्मक पूर्णांक के धनात्मक गुणज से अधिक है α तब

यह अंतिम अभिव्यक्ति मूल की तुलना में कहीं अधिक व्यापक रूप से परिभाषित है। उसी प्रकार वह z! ऋणात्मक पूर्णांकों के लिए परिभाषित नहीं है, और z ऋणात्मक सम पूर्णांकों के लिए परिभाषित नहीं है, z!(α) के ऋणात्मक गुणजों के लिए परिभाषित नहीं है α. हालाँकि, यह परिभाषित है और संतुष्ट करता है (z+α)!(α) = (z+αz!(α) अन्य सभी सम्मिश्र संख्याओं के लिएz. यह परिभाषा केवल उन पूर्णांकों के लिए पिछली परिभाषा के अनुरूप है z संतुष्टि देने वालाz ≡ 1 mod α.

विस्तार के अलावा z!(α) सबसे जटिल संख्याओं के लिएz, इस परिभाषा में सभी सकारात्मक वास्तविक मूल्यों के लिए काम करने की सुविधा हैα. इसके अलावा, जब α = 1, यह परिभाषा गणितीय रूप से समतुल्य है Π(z) फ़ंक्शन, ऊपर वर्णित है। इसके अलावा, कब α = 2, यह परिभाषा गणितीय रूप से #Complex तर्कों के समतुल्य है।

सामान्यीकृत स्टर्लिंग संख्याएँ बहुक्रियात्मक कार्यों का विस्तार करती हैं

प्रथम प्रकार की सामान्यीकृत स्टर्लिंग संख्याओं का वर्ग परिभाषित किया गया है α > 0 निम्नलिखित त्रिकोणीय पुनरावृत्ति संबंध द्वारा:

ये सामान्यीकृत हैंα-फैक्टोरियल गुणांक तब एकाधिक फैक्टोरियल को परिभाषित करने वाले विशिष्ट प्रतीकात्मक बहुपद उत्पादों को उत्पन्न करते हैं, या α-फैक्टोरियल फ़ंक्शन, (x − 1)!(α), जैसा

पिछले समीकरणों में विशिष्ट बहुपद विस्तार वास्तव में परिभाषित करते हैं α-कम से कम अवशेषों के कई अलग-अलग मामलों के लिए फैक्टरियल उत्पाद xn0 mod α के लिए n0 ∈ {0, 1, 2, ..., α − 1}.

सामान्यीकृत α-कारकीय बहुपद, σ(α)
n
(x)
कहाँ σ(1)
n
(x) ≡ σn(x)
, जो स्टर्लिंग बहुपद#स्टर्लिंग कनवल्शन बहुपदों को एकल तथ्यात्मक मामले से बहुकारकीय मामलों तक सामान्यीकृत करता है, द्वारा परिभाषित किया गया है

के लिए 0 ≤ nx. इन बहुपदों में विशेष रूप से अच्छा बंद-रूप वाला साधारण जनरेटिंग फ़ंक्शन दिया गया है

इनके अन्य संयोजक गुण और विस्तार सामान्यीकृत हैं α-फैक्टोरियल त्रिकोण और बहुपद अनुक्रमों पर विचार किया जाता है Schmidt (2010).[20]


एकाधिक भाज्य फलनों से युक्त सटीक परिमित योग

लगता है कि n ≥ 1 और α ≥ 2 पूर्णांक-मूल्यवान हैं। फिर हम बहुघटकीय, या को शामिल करते हुए अगले एकल परिमित योगों का विस्तार कर सकते हैं α-फैक्टोरियल फ़ंक्शन, (αn − 1)!(α), पोचहैमर प्रतीक और सामान्यीकृत, तर्कसंगत-मूल्यवान द्विपद गुणांक के संदर्भ में

और इसके अलावा, हमारे पास इसी तरह से दिए गए इन कार्यों का दोगुना योग विस्तार है

ऊपर दिए गए पहले दो योग डबल फैक्टोरियल फ़ंक्शन के लिए ज्ञात गैर-राउंड कॉम्बिनेटरियल पहचान के समान हैं α := 2 द्वारा दिए गए Callan (2009).

संदर्भ-मुक्त व्याकरण के माध्यम से समान पहचान प्राप्त की जा सकती है।[21] के लिए सर्वांगसमताओं का अतिरिक्त परिमित योग विस्तार α-फैक्टोरियल फ़ंक्शन, (αnd)!(α), मॉड्यूलो कोई भी निर्धारित पूर्णांक h ≥ 2 किसी के लिए 0 ≤ d < α द्वारा दिए गए हैं Schmidt (2018).[22]


संदर्भ

  1. 1.0 1.1 1.2 1.3 1.4 1.5 1.6 1.7 1.8 1.9 Callan, David (2009). "डबल फैक्टोरियल के लिए पहचानों का एक संयुक्त सर्वेक्षण". arXiv:0906.1317 [math.CO].
  2. 2.0 2.1 Weisstein, Eric W. "डबल फैक्टोरियल". mathworld.wolfram.com (in English). Retrieved 2020-09-10.
  3. "Double Factorials and Multifactorials | Brilliant Math & Science Wiki". brilliant.org (in English). Retrieved 2020-09-10.
  4. Henderson, Daniel J.; Parmeter, Christopher F. (2012). "Canonical higher-order kernels for density derivative estimation". Statistics & Probability Letters. 82 (7): 1383–1387. doi:10.1016/j.spl.2012.03.013. MR 2929790.
  5. Nielsen, B. (1999). "The likelihood-ratio test for rank in bivariate canonical correlation analysis". Biometrika. 86 (2): 279–288. doi:10.1093/biomet/86.2.279. MR 1705359.
  6. Schuster, Arthur (1902). "On some definite integrals and a new method of reducing a function of spherical co-ordinates to a series of spherical harmonics". Proceedings of the Royal Society of London. 71 (467–476): 97–101. doi:10.1098/rspl.1902.0068. JSTOR 116355. See in particular p. 99.
  7. 7.0 7.1 Meserve, B. E. (1948). "Classroom Notes: Double Factorials". The American Mathematical Monthly. 55 (7): 425–426. doi:10.2307/2306136. JSTOR 2306136. MR 1527019.
  8. 8.0 8.1 8.2 8.3 Dale, M. R. T.; Moon, J. W. (1993). "The permuted analogues of three Catalan sets". Journal of Statistical Planning and Inference. 34 (1): 75–87. doi:10.1016/0378-3758(93)90035-5. MR 1209991.
  9. Gould, Henry; Quaintance, Jocelyn (2012). "Double fun with double factorials". Mathematics Magazine. 85 (3): 177–192. doi:10.4169/math.mag.85.3.177. MR 2924154. S2CID 117120280.
  10. Kitaev, Sergey (2011). क्रमपरिवर्तन और शब्दों में पैटर्न. EATCS Monographs in Theoretical Computer Science. Springer. p. 96. ISBN 9783642173332.
  11. Dale, M. R. T.; Narayana, T. V. (1986). "A partition of Catalan permuted sequences with applications". Journal of Statistical Planning and Inference. 14 (2): 245–249. doi:10.1016/0378-3758(86)90161-8. MR 0852528.
  12. Tichy, Robert F.; Wagner, Stephan (2005). "Extremal problems for topological indices in combinatorial chemistry" (PDF). Journal of Computational Biology. 12 (7): 1004–1013. doi:10.1089/cmb.2005.12.1004. PMID 16201918.
  13. Janson, Svante (2008). "Plane recursive trees, Stirling permutations and an urn model". Fifth Colloquium on Mathematics and Computer Science. Discrete Math. Theor. Comput. Sci. Proc., AI. Assoc. Discrete Math. Theor. Comput. Sci., Nancy. pp. 541–547. arXiv:0803.1129. Bibcode:2008arXiv0803.1129J. MR 2508813.
  14. Rubey, Martin (2008). "Nestings of matchings and permutations and north steps in PDSAWs". 20th Annual International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2008). Discrete Math. Theor. Comput. Sci. Proc., AJ. Assoc. Discrete Math. Theor. Comput. Sci., Nancy. pp. 691–704. MR 2721495.
  15. Marsh, Robert J.; Martin, Paul (2011). "Tiling bijections between paths and Brauer diagrams". Journal of Algebraic Combinatorics. 33 (3): 427–453. arXiv:0906.0912. doi:10.1007/s10801-010-0252-6. MR 2772541. S2CID 7264692.
  16. Hassani, Sadri (2000). Mathematical Methods: For Students of Physics and Related Fields. Undergraduate Texts in Mathematics. Springer. p. 266. ISBN 9780387989587.
  17. "Double factorial: Specific values (formula 06.02.03.0005)". Wolfram Research. 2001-10-29. Retrieved 2013-03-23.
  18. Mezey, Paul G. (2009). "आणविक डेटाबेस में कुछ आयाम समस्याएं". Journal of Mathematical Chemistry. 45 (1): 1–6. doi:10.1007/s10910-008-9365-8. S2CID 120103389.
  19. Dassios, George; Kiriaki, Kiriakie (1987). "A useful application of Gauss theorem". Bulletin de la Société Mathématique de Grèce. 28 (A): 40–43. MR 0935868.
  20. Schmidt, Maxie D. (2010). "सामान्यीकृत जे-फैक्टोरियल फ़ंक्शंस, बहुपद और अनुप्रयोग". J. Integer Seq. 13.
  21. Triana, Juan; De Castro, Rodrigo (2019). "औपचारिक व्युत्पन्न ऑपरेटर और बहुक्रियात्मक संख्याएँ". Revista Colombiana de Matemáticas. 53 (2): 125–137. doi:10.15446/recolma.v53n2.85522. ISSN 0034-7426.
  22. Schmidt, Maxie D. (2018). "सामान्यीकृत तथ्यात्मक कार्यों के लिए नई सर्वांगसमताएँ और परिमित अंतर समीकरण" (PDF). Integers. 18: A78:1–A78:34. arXiv:1701.04741. MR 3862591.