Εικασία του Μπουνιακόφσκι

Η εικασία Μπουνιακόφσκι (ή εικασία του Μπουνιακόφσκι) δίνει ένα κριτήριο για ένα πολυώνυμο  σε μία μεταβλητή με ακέραιους συντελεστές να δίνει άπειρες πρώτες τιμές στην ακολουθία Διατυπώθηκε το 1857 από τον Ρώσο μαθηματικό Βίκτορ Μπουνιακόφσκι.  Οι ακόλουθες τρεις συνθήκες είναι απαραίτητες για να έχει η  την επιθυμητή ιδιότητα παραγωγής πρώτων αριθμών:

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

Η εικασία του Μπουνιακόφσκι υποστηρίζει ότι αυτές οι συνθήκες είναι επαρκείς: αν το  ικανοποιεί τις (1)-(3), τότε το  είναι πρώτος αριθμός για άπειρους θετικούς ακέραιους .

Μια φαινομενικά ασθενέστερη αλλά ισοδύναμη δήλωση με την εικασία του Μπουνιακόφσκι είναι ότι για κάθε ακέραιο πολυώνυμο  που ικανοποιεί τις (1)-(3), το  είναι πρώτος για τουλάχιστον έναν θετικό ακέραιο : αλλά τότε, αφού το μεταφρασμένο πολυώνυμο  εξακολουθεί να ικανοποιεί τις (1)-(3), ενόψει της ασθενέστερης δήλωσης το  είναι πρώτος για τουλάχιστον έναν θετικό ακέραιο , οπότε το  είναι πράγματι πρώτος για απείρως πολλούς θετικούς ακέραιους . Η εικασία του Μπουνιακόφσκι είναι μια ειδική περίπτωση της υπόθεσης H του Σίνζελ, ένα από τα πιο διάσημα ανοιχτά προβλήματα στη θεωρία των αριθμών.

Συζήτηση των τριών συνθηκών

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

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

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

Παραδείγματος χάριν, το ακέραιο πολυώνυμο  δεν ικανοποιεί τη συνθήκη (2), αφού , οπότε τουλάχιστον ένας από τους δύο τελευταίους παράγοντες πρέπει να είναι διαιρέτης του  για να έχουμε  πρώτος, πράγμα που ισχύει μόνο αν . Οι αντίστοιχες τιμές είναι , οπότε αυτοί είναι οι μόνοι τέτοιοι πρώτοι αριθμοί για  ολοκληρώματα , αφού όλοι αυτοί οι αριθμοί είναι πρώτοι. Αυτό δεν αποτελεί αντιπαράδειγμα της εικασίας Μπουνιακόφσκι, αφού η συνθήκη (2) αποτυγχάνει.

Η τρίτη συνθήκη, ότι οι αριθμοί  έχουν gcd 1, είναι προφανώς απαραίτητη, αλλά είναι κάπως λεπτή και γίνεται καλύτερα κατανοητή με ένα αντιπαράδειγμα. Ας θεωρήσουμε τον , ο οποίος έχει θετικό κύριο συντελεστή και είναι μη αναγώγιμος, και οι συντελεστές είναι σχετικά πρώτοι- ωστόσο ο  είναι αρτιός για όλους τους ακέραιους , και έτσι είναι πρώτος μόνο πεπερασμένες φορές (δηλαδή στο , όταν ).

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

Εναλλακτικά, όταν ένα ακέραιο πολυώνυμο  γράφεται στη βάση πολυωνύμων με διωνυμικό συντελεστή:

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

και οι συντελεστές στη δεξιά πλευρά της εξίσωσης έχουν gcd 2. 

Χρησιμοποιώντας αυτόν τον τύπο gcd, μπορεί να αποδειχθεί ότι  αν και μόνο αν υπάρχουν θετικοί ακέραιοι  και  τέτοιοι ώστε  και  να είναι σχετικά πρώτοι.

Παραδείγματα

Ένα απλό τετραγωνικό πολυώνυμο
Μερικές πρώτες τιμές του πολυωνύμου  παρατίθενται στον ακόλουθο πίνακα. (Οι τιμές του  σχηματίζουν την OEIS ακολουθία - εκείνες του  σχηματίζουν την }).

   1  2  4  6  10  14  16  20  24  26  36  40  54  56  66  74  84  90  94  110  116  120  2  5  17  37  101  197  257  401  577  677  1297  1601  2917  3137  4357  5477  7057  8101  8837  12101  13457  14401

Το ότι το  πρέπει να είναι πρώτος αριθμός απείρως συχνά είναι ένα πρόβλημα που τέθηκε για πρώτη φορά από τον Όιλερ, και είναι επίσης η πέμπτη εικασία των Χάρντι-Λίτλγουντ και το τέταρτο πρόβλημα του Λαντάου. Παρά τις εκτεταμένες αριθμητικές αποδείξεις    
δεν είναι γνωστό αν η ακολουθία αυτή εκτείνεται επ' άπειρον.

Κυκλοτομικά πολυώνυμα
Τα κυκλοτομικά πολυώνυμα  για  ικανοποιούν τις τρεις συνθήκες της εικασίας του Μπουνιακόφσκι, οπότε για όλα τα k, θα πρέπει να υπάρχουν άπειροι πολλοί φυσικοί αριθμοί n τέτοιοι ώστε το  να είναι πρώτος. Μπορεί να αποδειχθεί ότι αν για όλα τα k, υπάρχει ένας ακέραιος n > 1 με  πρώτος, τότε για όλα τα k, υπάρχουν άπειροι πολλοί φυσικοί αριθμοί n με  πρώτος. 

H παρακάτω ακολουθία δίνει τον μικρότερο φυσικό αριθμό n > 1 τέτοιο ώστε ο  να είναι πρώτος, για :

3, 2, 2, 2, 2, 2, 2, 2, 2, 2, 5, 2, 2, 2, 2, 2, 2, 6, 2, 4, 3, 2, 10, 2, 22, 2, 2, 4, 6, 2, 2, 2, 2, 2, 14, 3, 61, 2, 10, 2, 14, 2, 15, 25, 11, 2, 5, 5, 2, 6, 30, 11, 24, 7, 7, 2, 5, 7, 19, 3, 2, 2, 3, 30, 2, 9, 46, 85, 2, 3, 3, 3, 11, 16, 59, 7, 2, 2, 22, 2, 21, 61, 41, 7, 2, 2, 8, 5, 2, 2, ... .

Η ακολουθία αυτή είναι γνωστό ότι περιέχει μερικούς μεγάλους όρους: ο 545ος όρος είναι 2706, ο 601ος είναι 2061 και ο 943ος είναι 2042. Αυτή η περίπτωση της εικασίας του Μπουνιακόφσκι πιστεύεται ευρέως, αλλά και πάλι δεν είναι γνωστό αν η ακολουθία εκτείνεται επ' άπειρον.

Συνήθως, υπάρχει ένας ακέραιος αριθμός  μεταξύ 2 και  (όπου  είναι η συνάρτηση του Ὀιλερ, οπότε  είναι ο βαθμός ενός πολυωνύμου της ), ώστε  να είναι πρώτος, αλλά υπάρχουν εξαιρέσεις, οι πρώτες είναι:

 1, 2, 25, 37, 44, 68, 75, 82, 99, 115, 119, 125, 128, 159, 162, 179, 183, 188, 203, 213, 216, 229, 233, 243, 277, 289, 292, ....

Μερικά αποτελέσματα: μόνο το θεώρημα του Ντίριχλετ

Μέχρι σήμερα, η μόνη περίπτωση της εικασίας του Μπουνιακόφσκι που έχει αποδειχθεί είναι αυτή των πολυωνύμων βαθμού 1. Πρόκειται για το θεώρημα του Ντίριχλετ, το οποίο δηλώνει ότι όταν  και  είναι σχετικά πρώτοι ακέραιοι αριθμοί υπάρχουν άπειροι πρώτοι αριθμοί . Αυτή είναι η εικασία του Μπουνιακόφσκι για την  (ή  αν ).
Η τρίτη συνθήκη στην εικασία του Μπουνιακόφσκι για ένα γραμμικό πολυώνυμο  είναι ισοδύναμη με το να είναι  και  σχετικά πρώτοι. 

Καμία μεμονωμένη περίπτωση της εικασίας του Μπουνιακόφσκι για βαθμό μεγαλύτερο του 1 δεν αποδεικνύεται, αν και αριθμητικές ενδείξεις σε υψηλότερους βαθμούς είναι συνεπείς με την εικασία.

Γενικευμένη εικασία Μπουνιακόφσκι
Βλ.:Υπόθεση H του Σίνζελ

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

 Εξωτερικοί σύνδεσμοι 
English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
 Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
 Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
 Θεωρία Αριθμών και Εφαρμογές
 Υπολογιστική Θεωρία Αριθμών

 Δείτε επίσης 
 Θεωρία αριθμών
 Αλγεβρική θεωρία αριθμών
 Φυσικός λογάριθμος
 Πρώτος αριθμός Μερσέν
 Δίδυμοι πρώτοι αριθμοί
 e (μαθηματική σταθερά)
 Πρώτος αριθμός
 Δίδυμοι πρώτοι αριθμοί
 Γενικευμένη υπόθεση Ρίμαν
 Φυσικός αριθμός
 Εικασία του Λεζάντρ
 Θεμελιώδες θεώρημα αριθμητικής
 Αλγεβρική γεωμετρία
 Υπόθεση H του Σίνζελ
 Συνάρτηση Όιλερ
 Ευκλείδειος χώρος

 Βιβλιογραφία












 Παραπομπές 

 Rupert, Wolfgang M. (1998-08-05). «Reducibility of polynomials f(x, y) modulo p». arXiv:math/9808021



 Sorini, Laerte (2001). "Un Metodo Euristico per la Soluzione della Congettura di Giuga". Quaderni di Economia, Matematica e Statistica, DESP, Università di Urbino Carlo Bo (in Italian). 68. .

 Πηγές 








Κατηγορία:Αναλυτική θεωρία αριθμών
Κατηγορία:Εικασίες για πρώτους αριθμούς
Κατηγορία:Πρώτοι αριθμοί
Κατηγορία:Ακέραιοι αριθμοί
Κατηγορία:Άλυτα προβλήματα στα μαθηματικά