Διπλό παραγοντικό

Στα μαθηματικά, το διπλό παραγοντικό ενός αριθμού , που συμβολίζεται με , είναι το γινόμενο όλων των άρτιων θετικών ακεραίων μέχρι το  (αν το  είναι άρτιος) ή το γινόμενο όλων των περιττών θετικών ακεραίων μέχρι το  (αν το  είναι περιττός). Δηλαδή,

Με άλλα λόγια, αυτό λέει ότι για άρτιο αριθμό , το διπλό παραγοντικόΜερικοί συγγραφείς ορίζουν διαφορετικά το διπλό παραγοντικό για άρτιους αριθμούς. είναιενώ για περιττό αριθμό  είναιΓια παράδειγμα, .

Η ακολουθία των διπλών παραγοντικών για άρτιο αριθμό  =  είναι

Η ακολουθία των διπλών παραγοντικών για περιττό αριθμό  =  είναι

Ο όρος περιττό παραγοντικό χρησιμοποιείται μερικές φορές για το διπλό παραγοντικό ενός περιττού αριθμού.

Ο όρος ημιπαραγοντικό χρησιμοποιείται επίσης από τον Ντόναλντ Κνουθ ως συνώνυμο του διπλού παραγοντικού.

 Ιστορία και χρήση 
Σε ένα άρθρο του 1902, ο φυσικός Άρθουρ Σούστερ έγραψε: See in particular p. 99.

Ο Meserve (1948) δήλωσε ότι το διπλό παραγοντικό εισάχθηκε αρχικά για να απλοποιήσει την έκφραση ορισμένων τριγωνομετρικών ολοκληρωμάτων που προκύπτουν από το γινόμενο Γουάλις. Τα διπλά παραγοντικά προκύπτουν επίσης στην έκφραση του όγκου μιας μπάλας και της επιφάνειας μιας υπερσφαίρας και έχουν πολλές εφαρμογές στην αριθμητική συνδυαστική. Εμφανίζονται και στην κατανομή t-Student (1908), αν και ο Gosset δεν χρησιμοποιούσε τον συμβολισμό του διπλού θαυμαστικού.

 Σχέση με το παραγοντικό 
Επειδή το διπλό παραγοντικό περιλαμβάνει μόνο τους μισούς παράγοντες του συνηθισμένου παραγοντικού, η τιμή του δεν είναι πολύ μεγαλύτερη από την τετραγωνική ρίζα του παραγοντικού .

Το παραγοντικό ενός θετικού αριθμού  μπορεί να γραφτεί ως το γινόμενο δύο διπλών παραγοντικών: και ως εκ τούτου όπου ο παρονομαστής απλοποιεί τους παράγοντες που βρίσκονται στον αριθμητή. (Η τελευταία ισότητα ισχύει επίσης όταν .)

Για έναν άρτιο μη-αρνητικό ακέραιο  με , το διπλό παραγοντικό μπορεί να εκφραστεί ως

Για περιττό αριθμό  με , ο συνδυασμός των δύο προηγούμενων τύπων δίνει

Για έναν περιττό θετικό ακέραιο  με , το διπλό παραγοντικό μπορεί να εκφραστεί με τους όρους των -μεταθέσεων του  ή με το καθοδικό παραγοντικό ως εξής:
 Ασυμπτωτικά 
Η προσέγγιση Στίρλινγκ για το παραγοντικό μπορεί να χρησιμοποιηθεί για να εξαχθεί ένα ασυμπτωτικό ισοδύναμο για το διπλό παραγοντικό. Ειδικότερα, αφού  όσο το  τείνει στο άπειρο:

 Επεκτάσεις 

 Αρνητικά ορίσματα 
Το συνηθισμένο παραγοντικό, όταν επεκτείνεται στη συνάρτηση γάμμα, έχει έναν πόλο σε κάθε αρνητικό ακέραιο, αποτρέποντας τον ορισμό του παραγοντικού σε αυτούς τους αριθμούς. Ωστόσο, το διπλό παραγοντικό των περιττών αριθμών μπορεί να επεκταθεί σε οποιοδήποτε αρνητικό περιττό ακέραιο όρισμα αντιστρέφοντας την αναδρομική σχέσηγια να πάρουμεΧρησιμοποιώντας αυτήν την αναδρομική σχέση, (−1)!! = 1, (−3)!! = −1 και (−5)!! = . Οι αρνητικοί περιττοί αριθμοί με μεγαλύτερο μέγεθος έχουν κλασματικά διπλά παραγοντικά. Συγκεκριμένα, όταν το  είναι περιττός αριθμός, έχουμε ότι

 Μιγαδικά ορίσματα 
Παραβλέποντας τον παραπάνω ορισμό του  για άρτιες τιμές του , το διπλό παραγοντικό για περιττούς ακέραιους αριθμούς μπορεί να επεκταθεί στους περισσότερους πραγματικούς και μιγαδικούς αριθμούς , παρατηρώντας ότι όταν το  είναι θετικός περιττός ακέραιος τότε:

όπου  είναι η συνάρτηση γάμμα.

Η τελική έκφραση ορίζεται για όλους τους μιγαδικούς αριθμούς εκτός από τους αρνητικούς άρτιους ακεραίους και ικανοποιεί την εξίσωση  παντού όπου ορίζεται. Όπως και με τη συνάρτηση γάμμα που επεκτείνει τη συνηθισμένη παραγοντική συνάρτηση, η διπλή παραγοντική συνάρτηση είναι λογαριθμικά κυρτή με την έννοια του θεωρήματος Bohr–Mollerup. Ασυμπτωτικά, 

Ο γενικευμένος τύπος  δεν συμφωνεί με τον προηγούμενο τύπο γινομένου του  για μη-αρνητικές άρτιες ακέραιες τιμές του . Αντίθετα, αυτός ο γενικευμένος τύπος συνεπάγεται την ακόλουθη εναλλακτική λύση: με την τιμή για το 0!! στην προκειμένη περίπτωση να είναι

 .

Χρησιμοποιώντας αυτόν τον γενικευμένο τύπο ως ορισμό, ο όγκος μιας -διάστατης υπερσφαίρας ακτίνας  μπορεί να εκφραστεί ως

 Επιπλέον ταυτότητες 
Για ακέραιες τιμές του , Χρησιμοποιώντας αντ' αυτού την επέκταση του διπλού παραγοντικού των περιττών αριθμών σε μιγαδικούς αριθμούς, ο τύπος είναι

Τα διπλά παραγοντικά μπορούν επίσης να χρησιμοποιηθούν για τον υπολογισμό των ολοκληρωμάτων πιο περίπλοκων τριγωνομετρικών πολυωνύμων.

Τα διπλά παραγοντικά περιττών αριθμών σχετίζονται με τη συνάρτηση γάμμα από την ταυτότητα:

Ορισμένες πρόσθετες ταυτότητες που περιλαμβάνουν διπλά παραγοντικά περιττών αριθμών είναι:

Μια προσέγγιση για τον λόγο του διπλού παραγοντικού δύο διαδοχικών ακεραίων είναιΑυτή η προσέγγιση γίνεται πιο ακριβής καθώς το  αυξάνεται.

 Γενικεύσεις 

 Ορισμοί 
Με τον ίδιο τρόπο που το διπλό παραγοντικό γενικεύει την έννοια του απλού παραγοντικού, ο ακόλουθος ορισμός των πολλαπλών παραγοντικών συναρτήσεων με ακέραιες τιμές (πολυπαραγοντικά), ή -παραγοντικές συναρτήσεις, επεκτείνει την έννοια της διπλής παραγοντικής συνάρτησης για θετικούς ακεραίους αριθμούς :

 Εναλλακτική επέκταση του πολυπαραγοντικού 
Εναλλακτικά, το πολυπαραγοντικό  μπορεί να επεκταθεί στους περισσότερους πραγματικούς και μιγαδικούς αριθμούς , παρατηρώντας ότι όταν το  είναι κατά ένα περισσότερο από ένα θετικό πολλαπλάσιο ενός θετικού ακέραιου αριθμού  τότε

Αυτή η τελευταία έκφραση ορίζεται πολύ ευρύτερα από την αρχική. Με τον ίδιο τρόπο που το  δεν ορίζεται για αρνητικούς ακεραίους και το  δεν ορίζεται για αρνητικούς άρτιους ακεραίους, το  δεν ορίζεται για αρνητικά πολλαπλάσια του . Ωστόσο, ορίζεται και ικανοποιεί την εξίσωση  για όλους τους άλλους μιγαδικούς αριθμούς . Αυτός ο ορισμός είναι συνεπής με τον προηγούμενο ορισμό μόνο για εκείνους τους ακέραιους αριθμούς  που ικανοποιούν .

 Γενικευμένοι αριθμοί Στίρλινγκ που επεκτείνουν τις πολυπαραγοντικές συναρτήσεις 
Μια κατηγορία γενικευμένων αριθμών Στίρλινγκ του πρώτου είδους ορίζεται για  από την ακόλουθη τριγωνική αναδρομική σχέση:

Αυτοί οι γενικευμένοι -παραγοντικοί συντελεστές δημιουργούν στη συνέχεια τα διακριτά συμβολικά πολυωνυμικά γινόμενα που ορίζουν τα πολλαπλά παραγοντικά ή τις -παραγοντικές συναρτήσεις, , ως

Οι διακριτές πολυωνυμικές επεκτάσεις στις προηγούμενες εξισώσεις στην πραγματικότητα ορίζουν τα -παραγοντικά γινόμενα για πολλαπλές διακριτές περιπτώσεις των ελάχιστων υπολοίπων  για .

Τα γενικευμένα -παραγοντικά πολυώνυμα , όπου , που γενικεύουν τα πολυώνυμα συνέλιξης Στίρλινγκ από την απλή παραγοντική περίπτωση στις πολυπαραγοντικές περιπτώσεις, ορίζονται ως

για .

 Πεπερασμένα αθροίσματα που περιλαμβάνουν πολλαπλές παραγοντικές συναρτήσεις 
Ας υποθέσουμε ότι το  και το  έχουν ακέραιες τιμές. Τότε μπορούμε να επεκτείνουμε τα επόμενα απλά πεπερασμένα αθροίσματα που περιλαμβάνουν τις πολυπαραγοντικές ή -παραγοντικές συναρτήσεις , όσον αφορά το σύμβολο Pochhammer και τους γενικευμένους διωνυμικούς συντελεστές, ως εξής:

και επιπλέον, έχουμε ομοίως ένα διπλό ανάπτυγμα αθροίσματος αυτών των συναρτήσεων που δίνονται από τον τύπο

 Παραπομπές 

Κατηγορία:Ακολουθίες ακεραίων
Κατηγορία:Σελίδες με μη επιθεωρημένες μεταφράσεις