🚀 Integration Bee: Η Συνάρτηση Γάμμα - Τα Παραγοντικά στα Ολοκληρώματα

 

Γ Η Συνάρτηση Γάμμα στα Ολοκληρώματα

Τα παραγοντικά που κρύβονται μέσα στην ανάλυση

Το παραγοντικό \(n!\) ορίζεται αρχικά μόνο για μη αρνητικούς ακεραίους. Η συνάρτηση Γάμμα επεκτείνει αυτή την ιδέα σε πραγματικές και μιγαδικές τιμές και, ταυτόχρονα, προσφέρει έναν άμεσο τρόπο υπολογισμού πολλών ακατάλληλων ολοκληρωμάτων.

📐 Ο ορισμός

Για μιγαδικό \(z\) με \(\operatorname{Re}(z)>0\), ορίζουμε

\[\boxed{ \Gamma(z)=\int_0^{\infty}t^{z-1}e^{-t}\,dt }.\]

Το ολοκλήρωμα συγκλίνει κοντά στο \(0\) χάρη στη συνθήκη \(\operatorname{Re}(z)>0\), ενώ ο εκθετικός παράγοντας \(e^{-t}\) εξασφαλίζει τη σύγκλιση στο άπειρο.

🔗 Πώς εμφανίζεται το παραγοντικό;

Με ολοκλήρωση κατά παράγοντες προκύπτει η αναγωγική σχέση

\[\Gamma(z+1)=z\Gamma(z).\]

Επειδή

\[\Gamma(1)=\int_0^{\infty}e^{-t}\,dt=1,\]

η επαναληπτική εφαρμογή του τύπου δίνει, για κάθε θετικό ακέραιο \(n\),

\[\boxed{\Gamma(n)=(n-1)!} \qquad\text{και}\qquad \boxed{\Gamma(n+1)=n!}.\]

🧠 Ένα ολοκλήρωμα σε μία γραμμή

Να υπολογιστεί

\[I=\int_0^{\infty}x^4e^{-x}\,dx.\]

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

\[I=\Gamma(5)=4!=24.\]

\[\boxed{I=24}.\]

🔔 Η ξεχωριστή τιμή \(\Gamma(1/2)\)

Μία από τις σημαντικότερες τιμές της συνάρτησης είναι

\[\boxed{\Gamma\!\left(\frac12\right)=\sqrt\pi}.\]

Η ισότητα αυτή μπορεί να αποδειχθεί, για παράδειγμα, μέσω του Gaussian ολοκληρώματος σε δύο διαστάσεις ή μέσω της συνάρτησης Βήτα. Αφού είναι γνωστή, η αντικατάσταση \(t=x^2\) δίνει

\[\int_0^{\infty}e^{-x^2}\,dx =\frac12\int_0^{\infty}t^{-1/2}e^{-t}\,dt =\frac12\Gamma\!\left(\frac12\right) =\frac{\sqrt\pi}{2}.\]

Επειδή η \(e^{-x^2}\) είναι άρτια,

\[\boxed{ \int_{-\infty}^{\infty}e^{-x^2}\,dx=\sqrt\pi }.\]

Η \(e^{-x^2}\) δεν έχει αντιπαράγωγο που να εκφράζεται με στοιχειώδεις συναρτήσεις. Αυτό δεν εμποδίζει το ορισμένο ολοκλήρωμα να έχει ακριβή τιμή.

🔢 Δύο χρήσιμοι γενικοί τύποι

Για \(a>0\) και \(n>-1\), οι κατάλληλες αλλαγές μεταβλητής δίνουν:

\[\boxed{ \int_0^{\infty}x^ne^{-ax}\,dx =\frac{\Gamma(n+1)}{a^{n+1}} }.\]

\[\boxed{ \int_0^{\infty}x^ne^{-ax^2}\,dx =\frac{1}{2a^{(n+1)/2}} \Gamma\!\left(\frac{n+1}{2}\right) }.\]

Όταν το \(n\) είναι ακέραιο, οι τιμές της Γάμμα ανάγονται σε παραγοντικά ή σε γινόμενα που περιέχουν \(\sqrt\pi\).

📜 Από τον Euler στο σύμβολο \(\Gamma\)

Ο Leonhard Euler άρχισε να μελετά συστηματικά την παρεμβολή του παραγοντικού στα τέλη της δεκαετίας του 1720, στο πλαίσιο της αλληλογραφίας του με τον Christian Goldbach. Η ολοκληρωτική μορφή που βρίσκεται στη βάση της σημερινής συνάρτησης Γάμμα προέκυψε από αυτή την αναζήτηση.

Το σύμβολο \(\Gamma\) και η σημερινή κανονικοποίηση καθιερώθηκαν αργότερα από τον Adrien-Marie Legendre. Η συνάρτηση επεκτάθηκε στη συνέχεια, μέσω αναλυτικής συνέχειας, σε όλους τους μιγαδικούς αριθμούς εκτός από τους μη θετικούς ακεραίους, όπου έχει απλούς πόλους.

🏆 Προκλήσεις για τον αναγνώστη

1. Υπολογίστε:

\[J=\int_0^{\infty}x^6e^{-2x}\,dx.\]

2. Υπολογίστε:

\[K=\int_{-\infty}^{\infty}e^{-3x^2}\,dx.\]

Δείτε τις λύσεις

\[J=\frac{\Gamma(7)}{2^7} =\frac{6!}{128} =\boxed{\frac{45}{8}}.\]

\[K=\boxed{\sqrt{\frac{\pi}{3}}}.\]

Το μάθημα: όταν βλέπετε μια δύναμη του \(x\) δίπλα σε έναν εκθετικό παράγοντα σε ολοκλήρωμα από \(0\) έως \(\infty\), αναζητήστε τη μορφή της συνάρτησης Γάμμα.

📚

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

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

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

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

Σχετικά άρθρα