🚀 Integration Bee: Το Τέχνασμα του Feynman (Feynman's Trick)

🚀 Το Τέχνασμα του Feynman στα Ολοκληρώματα

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

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

⚛️ Γιατί συνδέθηκε με τον Feynman;

Η τεχνική δεν επινοήθηκε από τον Richard Feynman. Αποτελεί εφαρμογή του κανόνα του Leibniz και ήταν γνωστή πολύ πριν από την εποχή του.

Ο Feynman, όμως, την έκανε ιδιαίτερα γνωστή μέσα από την προσωπική του αφήγηση στο βιβλίο Surely You’re Joking, Mr. Feynman!. Ως φοιτητής είχε μελετήσει το Advanced Calculus του Frederick S. Woods, όπου συνάντησε την τεχνική της παραγώγισης παραμετρικών ολοκληρωμάτων.

💡 Η βασική ιδέα

Αντί να υπολογίσουμε απευθείας ένα ολοκλήρωμα, εισάγουμε μια παράμετρο \(t\) και ορίζουμε

\[ I(t)=\int_a^b f(x,t)\,dx. \]

Υπό κατάλληλες συνθήκες κανονικότητας και σύγκλισης, μπορούμε να αλλάξουμε τη σειρά παραγώγισης και ολοκλήρωσης:

\[ I'(t) = \frac{d}{dt}\int_a^b f(x,t)\,dx = \int_a^b \frac{\partial f}{\partial t}(x,t)\,dx. \]

Η μερική παράγωγος ως προς \(t\) μπορεί να είναι πολύ απλούστερη από την αρχική συνάρτηση. Υπολογίζουμε τότε το \(I'(t)\) και επιστρέφουμε στην \(I(t)\).

Προσοχή: Η μεταφορά της παραγώγου μέσα στο ολοκλήρωμα δεν επιτρέπεται πάντοτε. Σε μια αυστηρή απόδειξη πρέπει να ελέγχονται οι κατάλληλες υποθέσεις.

🧠 Το ολοκλήρωμα

Να υπολογιστεί το ακατάλληλο ολοκλήρωμα

\[ \boxed{ I= \int_0^{\infty} \frac{\arctan(2x)-\arctan(x)}{x}\,dx }. \]

Το ολοκλήρωμα συγκλίνει: για \(x\to0\) το ολοκλήρωματέο τείνει στο \(1\), ενώ για \(x\to\infty\) είναι τάξης \(O(x^{-2})\).

🪄 Η λύση βήμα προς βήμα

1. Εισάγουμε την παράμετρο.

Για \(t>0\), ορίζουμε

\[ I(t)= \int_0^{\infty} \frac{\arctan(tx)-\arctan(x)}{x}\,dx. \]

Το ζητούμενο είναι το \(I(2)\), ενώ αμέσως έχουμε

\[ I(1)=0. \]

2. Παραγωγίζουμε ως προς \(t\).

Σε κάθε κλειστό διάστημα θετικών τιμών του \(t\), η εναλλαγή παραγώγισης και ολοκλήρωσης μπορεί να δικαιολογηθεί. Έτσι,

\[ \begin{aligned} I'(t) &= \int_0^\infty \frac1x \frac{\partial}{\partial t}\arctan(tx)\,dx \\[4pt] &= \int_0^\infty \frac{1}{1+t^2x^2}\,dx. \end{aligned} \]

Ο παράγοντας \(1/x\) εξαφανίζεται επειδή

\[ \frac{\partial}{\partial t}\arctan(tx) = \frac{x}{1+t^2x^2}. \]

3. Υπολογίζουμε το νέο ολοκλήρωμα.

Με την αντικατάσταση \(u=tx\), για \(t>0\),

\[ \begin{aligned} I'(t) &= \frac1t \int_0^\infty\frac{du}{1+u^2}\\[4pt] &= \frac{\pi}{2t}. \end{aligned} \]

4. Επιστρέφουμε στην \(I(t)\).

Ολοκληρώνουμε από \(1\) έως \(t\):

\[ \begin{aligned} I(t)-I(1) &= \int_1^t\frac{\pi}{2s}\,ds\\[4pt] &= \frac{\pi}{2}\ln t. \end{aligned} \]

Επειδή \(I(1)=0\),

\[ I(t)=\frac{\pi}{2}\ln t. \]

Θέτοντας \(t=2\), παίρνουμε τελικά

\[ \boxed{ I=\frac{\pi\ln2}{2} }. \]

🔗 Η σχέση με το ολοκλήρωμα του Frullani

Η παραπάνω μέθοδος συγγενεύει στενά με τον τύπο του Frullani. Υπό κατάλληλες προϋποθέσεις,

\[ \int_0^\infty \frac{f(ax)-f(bx)}{x}\,dx = \bigl(f(0)-f(\infty)\bigr) \ln\!\left(\frac{b}{a}\right). \]

Στο παράδειγμά μας παίρνουμε

\[ f(x)=\arctan x,\qquad a=2,\qquad b=1. \]

Επομένως

\[ \begin{aligned} I &= \left(0-\frac{\pi}{2}\right) \ln\!\left(\frac12\right)\\[4pt] &= \frac{\pi}{2}\ln2. \end{aligned} \]

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

🏆 Πρόκληση για τον αναγνώστη

Χρησιμοποιώντας την ίδια ιδέα, υπολογίστε

\[ J= \int_0^1 \frac{x^3-1}{\ln x}\,dx. \]

Υπόδειξη: Για \(t>-1\), ορίστε

\[ J(t)= \int_0^1 \frac{x^t-1}{\ln x}\,dx \]

και παραγωγίστε ως προς \(t\).

🔍 Δείτε τη λύση

Παραγωγίζοντας ως προς \(t\),

\[ J'(t) = \int_0^1x^t\,dx = \frac1{t+1}. \]

Επειδή

\[ J(0)=0, \]

παίρνουμε

\[ J(t)=\ln(t+1). \]

Άρα

\[ \boxed{ J=J(3)=\ln4 }. \]

Η ίδια ιδέα δίνει τη γενικότερη ταυτότητα, για \(a,b>-1\),

\[ \boxed{ \int_0^1 \frac{x^a-x^b}{\ln x}\,dx = \ln\!\left(\frac{a+1}{b+1}\right) }. \]

Όταν ένα ολοκλήρωμα δεν υποχωρεί, ίσως δεν χρειάζεται μια καλύτερη αντικατάσταση — ίσως χρειάζεται μια παράμετρο.

📚

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

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

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

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

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