∞ Το άπειρο γινόμενο του Euler για το ημίτονο: Όταν οι ρίζες γίνονται παράγοντες

∞ Το άπειρο γινόμενο του Euler για το ημίτονο

Μπορεί μια τριγωνομετρική συνάρτηση να γραφτεί σαν ένα... άπειρο γινόμενο;

Μία από τις ομορφότερες ταυτότητες της Ανάλυσης, που συνδέεται με το έργο του Leonhard Euler, λέει ότι:

\[ \boxed{ \frac{\sin(\pi x)}{\pi x} = \prod_{n=1}^{\infty} \left(1-\frac{x^2}{n^2}\right) } \]

Με άλλα λόγια,

\[ \frac{\sin(\pi x)}{\pi x} = \left(1-x^2\right) \left(1-\frac{x^2}{2^2}\right) \left(1-\frac{x^2}{3^2}\right) \left(1-\frac{x^2}{4^2}\right)\cdots \]

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

🎯 Οι ρίζες του ημιτόνου είναι κρυμμένες μέσα στο γινόμενο

Η συνάρτηση \(\sin(\pi x)\) μηδενίζεται όταν

\[ x=0,\pm1,\pm2,\pm3,\ldots \]

Η διαίρεση όμως με \(\pi x\) αφαιρεί τη ρίζα στο \(x=0\), αφού

\[ \lim_{x\to0}\frac{\sin(\pi x)}{\pi x}=1. \]

Επομένως η συνάρτηση

\[ f(x)=\frac{\sin(\pi x)}{\pi x} \]

έχει ρίζες ακριβώς στα

\[ \boxed{\pm1,\pm2,\pm3,\ldots} \]

Και τώρα ας κοιτάξουμε το δεξί μέλος.

Για \(x=1\), ο πρώτος παράγοντας γίνεται:

\[ 1-\frac{1^2}{1^2}=0. \]

Για \(x=2\), ο δεύτερος:

\[ 1-\frac{2^2}{2^2}=0. \]

Για \(x=3\), ο τρίτος:

\[ 1-\frac{3^2}{3^2}=0. \]

και ούτω καθεξής.

Επειδή εμφανίζεται το \(x^2\), οι ίδιοι παράγοντες μηδενίζονται και για τις αντίστοιχες αρνητικές τιμές.

✨ Οι ρίζες δεν είναι απλώς ιδιότητα της συνάρτησης.

Είναι κυριολεκτικά κωδικοποιημένες στους παράγοντες του άπειρου γινομένου.

🔢 Κάτι σαν παραγοντοποίηση πολυωνύμου

Η ιδέα θυμίζει έντονα κάτι πολύ πιο οικείο από την Άλγεβρα.

Αν ένα πολυώνυμο έχει ρίζες \(a\) και \(b\), μπορούμε —μέχρι έναν σταθερό πολλαπλασιαστή— να το γράψουμε ως

\[ P(x)=C(x-a)(x-b). \]

Οι ρίζες του εμφανίζονται μέσα στην ίδια την παραγοντοποίησή του.

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

Κάθε ζεύγος ριζών \(n,-n\) αντιστοιχεί στον παράγοντα

\[ \left(1-\frac{x}{n}\right) \left(1+\frac{x}{n}\right) = 1-\frac{x^2}{n^2}. \]

Έτσι το ημίτονο μοιάζει, κατά μία έννοια, με ένα «πολυώνυμο απείρου βαθμού» του οποίου οι ρίζες εμφανίζονται μία προς μία μέσα στους παράγοντές του.

🤯 Και από εδώ εμφανίζεται το \(\pi^2/6\)

Το άπειρο γινόμενο κρύβει ακόμη μία από τις διασημότερες ανακαλύψεις του Euler.

Από την ανάπτυξη Taylor έχουμε:

\[ \frac{\sin(\pi x)}{\pi x} = 1-\frac{\pi^2x^2}{3!} +\frac{\pi^4x^4}{5!} -\cdots \]

δηλαδή ο συντελεστής του \(x^2\) είναι

\[ -\frac{\pi^2}{6}. \]

Αν τώρα αναπτύξουμε τυπικά το γινόμενο

\[ \prod_{n=1}^{\infty} \left(1-\frac{x^2}{n^2}\right), \]

ο συντελεστής του \(x^2\) είναι

\[ -\left( 1+\frac1{2^2}+\frac1{3^2}+\frac1{4^2}+\cdots \right). \]

Συγκρίνοντας τους δύο συντελεστές προκύπτει η περίφημη σχέση:

\[ \boxed{ \sum_{n=1}^{\infty}\frac1{n^2} = 1+\frac1{2^2}+\frac1{3^2}+\cdots = \frac{\pi^2}{6} } \]

Αυτό είναι το περίφημο πρόβλημα της Βασιλείας, του οποίου η λύση έκανε τον Euler διάσημο ήδη από νεαρή ηλικία.

🧠 Μια μικρή μαθηματική προσοχή

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

🌉 Μια γέφυρα ανάμεσα σε δύο κόσμους

Στη μία πλευρά έχουμε μια τριγωνομετρική συνάρτηση:

\[ \sin(\pi x). \]

Στην άλλη, τους θετικούς ακεραίους:

\[ 1,2,3,4,\ldots \]

Και το άπειρο γινόμενο του Euler τα ενώνει:

\[ \boxed{ \frac{\sin(\pi x)}{\pi x} = \prod_{n=1}^{\infty} \left(1-\frac{x^2}{n^2}\right) }. \]

✨ Ανάλυση και αριθμητικά μοτίβα συναντώνται σε έναν τύπο:

οι ακέραιοι εμφανίζονται ως οι ρίζες,
οι ρίζες μετατρέπονται σε παράγοντες
και το άπειρο γινόμενο ανακατασκευάζει το ημίτονο.

📚

Έρχεται το πολλαπλό βιβλίο ΝΕΟ — βρες όλες τις επιλογές εδώΠολλαπλό βιβλίο ΝΕΟ — 437 βιβλία σε PDF

PDF & Ψηφιακά Μαθησιακά Αντικείμενα — χωρίς εγγραφή • Portify

📚 437 βιβλία🎬 22.000+ Ψηφιακά Μαθησιακά Αντικείμενα

Δες τα βιβλία →