7. ΑΝΩΜΑΛΑ ΣΗΜΕΙΑ, ΠΟΛΟΙ ΚΑΙ ΤΟ ΘΕΩΡΗΜΑ ΤΩΝ ΟΛΟΚΛΗΡΩΤΙΚΩΝ ΥΠΟΛΟΙΠΩΝ Ένα σημείο λέγεται ανώμαλο σημείο της συνάρτησης f( ) αν η f( ) δεν είναι αναλυτική στο και σε κάθε γειτονιά του υπάρχει ένα τουλάχιστον σημείο στο οποίο η f( ) είναι αναλυτική. Αν επί πλέον υπάρχει μια τρυπημένη γειτονιά του της μορφής < < (όπου το είναι μικρότερο ή ίσο με την απόσταση του από το κοντινότερο ανώμαλο σημείο της f( )) σε όλα τα σημεία της οποίας η f( ) να είναι αναλυτική τότε το λέγεται μεμονωμένο ανώμαλο σημείο της f( ). Σε αυτή την τρυπημένη γειτονιά (που είναι ένα δακτυλιοειδές χωρίο στο οποίο ο κεντρικός κυκλικός δίσκος αποτελείται από ένα μόνο σημείο) η f( ) αναλύεται σε σειρά Lauret b b b f( ) = a ( ) + + +... + +... (.) ( ) ( ) 2 2 = της οποίας οι συντελεστές των αρνητικών δυνάμεων του δίνονται από τον τύπο (6.7). Εφαρμόζοντας αυτό τον τύπο για = παίρνουμε ( ) = 2 πib (.2) f d όπου είναι ένας οποιοσδήποτε ορθά προσανατολισμένος απλός βρόχος γύρω από το σημείο ο οποίος περιέχεται στο δακτυλιοειδές χωρίο < <. Ο αριθμός b που είναι ο συντελεστής του ( ) στο ανάπτυγμα του Lauret λέγεται ολοκληρωτικό υπόλοιπο της συνάρτησης f( ) στο σημείο και συμβολίζεται ως εξής: b es f( ). (.3) Επειδή ο υπολογισμός του b είναι συχνά εύκολος για τις συναρτήσεις που συναντάμε στις εφαρμογές ο τύπος (7.2) αποτελεί μια ισχυρότατη μέθοδο υπολογισμού ολοκληρωμάτων γύρω από απλούς βρόχους. Το μέρος του αναπτύγματος Lauret (7.) που περιέχει τις αρνητικές δυνάμεις του δηλαδή το b b2 b + +... + +... 2 ( ) ( ) λέγεται κύριο μέρος (ή και πρωτεύον μέρος) της συνάρτησης f( ) στο μεμονωμένο ανώμαλο σημείο. Αν δε το πλήθος των όρων του κύριου μέρους είναι άπειρο τότε το μεμονωμένο ανώμαλο σημείο λέγεται ουσιώδες ανώμαλο. Αν αντιθέτως το κύριο μέρος έχει πεπερασμένο πλήθος όρων και ο όρος με την υψηλότερη αρνητική δύναμη είναι ο b ( ) m, όπου m ένας θετικός ακέραιος, τότε το μεμονωμένο m ανώμαλο σημείο λέγεται πόλος τάξης m της f( ). Στην περίπτωση που m = το λέγεται απλός πόλος της f( ). Μια συνάρτηση f( ) λέγεται μερόμορφη σε ένα
χωρίο D του μιγαδικού επιπέδου αν είναι αναλυτική στο D εκτός από κάποια πεπερασμένα στο πλήθος σημεία του D τα οποία είναι πόλοι. Οι συναρτήσεις που συναντάμε στις εφαρμογές είναι κατά κανόνα μερόμορφες. Ο υπολογισμός του ολοκληρωτικού υπολοίπου μιας συνάρτησης σε ένα σημείο το οποίο είναι πόλος είναι συχνά πολύ εύκολος. Επ αυτού ισχύει το εξής θεώρημα: Θεώρημα 7. Αν μια συνάρτηση f( ) μπορεί να γραφεί στην μορφή φ( ) f( ) =, όπου m θετικός ακέραιος ( ) m και η φ ( ) είναι αναλυτική στο με φ( ), τότε το ολοκληρωτικό υπόλοιπο της f( ) στο (το οποίο είναι πόλος τάξης m για την f( )) γράφεται (.4) ( m ) φ ( ) es f( ) = ( m )! Αν m = ο ανωτέρω τύπος παίρνει την απλή μορφή (.5) es f( ) = φ( ). Ένας άλλος ιδιαίτερα χρήσιμος τύπος υπολογισμού του ολοκληρωτικού υπολοίπου μιας συνάρτησης σε ένα σημείο που είναι απλός της πόλος δίνεται από το ακόλουθο θεώρημα: Θεώρημα 7.2 Αν μια συνάρτηση f( ) μπορεί να γραφεί στην μορφή f( ) = p ( )/ q ( ) όπου οι συναρτήσεις p ( ) και q ( ) είναι αναλυτικές στο σημείο με q ( ) =, q ( ) και p ( ) τότε το είναι απλός πόλος της f( ) και το ολοκληρωτικό υπόλοιπο εκεί είναι p ( ) f = (.6) q ( ) es ( ) Ο τύπος (7.2) εύκολα γενικεύεται στη μορφή του ακόλουθου θεωρήματος το οποίο παίζει κεντρικό ρόλο στους υπολογισμούς ολοκληρωμάτων στην μιγαδική αλλά και την πραγματική ανάλυση. Θεώρημα των ολοκληρωτικών υπολοίπων. Έστω ότι η συνάρτηση f( ) είναι αναλυτική πάνω στον θετικά προσανατολισμένο απλό βρόχο. Αν επί πλέον η f( ) είναι αναλυτική στο εσωτερικό του εκτός από ένα πεπερασμένο πλήθος μεμονωμένων ανώμαλων σημείων k με k =,2,..., τότε ισχύει ο τύπος π k k = f( ) d = 2 i es f( ). (.7)
Υπολογισμός Πραγματικών ολοκληρωμάτων Το θεώρημα των ολοκληρωτικών υπολοίπων αποτελεί ένα ισχυρό εργαλείο για τον υπολογισμό πραγματικών ολοκληρωμάτων. Η μέθοδος συνίσταται στην θεώρηση ενός δρομικού ολοκληρώματος μιας κατάλληλα επιλεγμένης συνάρτησης της μεταβλητής πάνω σε ένα κατάλληλα επιλεγμένο βρόχο. Η επιλογή της συνάρτησης και του βρόχου δεν είναι σε όλες τις περιπτώσεις εύκολη αλλά συχνά απαιτεί πείρα σε τέτοιου είδους υπολογισμούς όπως και φαντασία. Εδώ αναφερόμαστε μόνο σε τρεις κλασικές αλλά και απλές περιπτώσεις εφαρμογής της μεθόδου οι οποίες σε καμμιά περίπτωση δεν εξαντλούν τις δυνατότητές της. η Περίπτωση: Γενικευμένα ολοκληρώματα της μορφής f ( x ) dx (.8) όπου η συνάρτηση f( x ) είναι ρητή, δηλαδή f( x) = Pm( x) P( x) όπου Pm ( x ), P ( x ) είναι πολυώνυμα βαθμού m και αντίστοιχα. Αποδεικνύεται ότι για να συγκλίνει το ολοκλήρωμα (7.8) θα πρέπει m 2. Το ολοκλήρωμα μπορεί να υπολογισθεί αν θεωρήσουμε το δρομικό ολοκλήρωμα f ( ) d πάνω σε ένα βρόχο όπως στο παρακάτω σχήμα 7.. Ο βρόχος αποτελείται από ένα ημικύκλιο ακτίνας με το κέντρο του στην αρχή των αξόνων και την διάμετρό του να πάνω στον πραγματικό άξονα. Για να μπορεί να εφαρμοσθεί η μέθοδος δεν πρέπει η f( ) να έχει ανώμαλο σημείο πάνω στον πραγματικό άξονα. Η ακτίνα του βρόχου πρέπει αρχικά να ληφθεί τόσο μεγάλη ώστε ο βρόχος να περικλείει όλα τα ανώμαλα σημεία της f( ) τα οποία βρίσκονται στο άνω ( y > ) μιγαδικό ημιεπίπεδο. (Στο σχήμα 7. θεωρήσαμε ότι η f( ) έχει τέσσερα ανώμαλα σημεία από τα οποία τα τρία βρίσκονται το άνω ημιεπίπεδο). Στη συνέχεια εφαρμόζουμε το θεώρημα των ολοκληρωτικών υπολοίπων για το βρόχο το οποίο γράφεται f( ) d+ f( x) dx= 2π i es f( ). k = k Αν αποδείξουμε (με τη βοήθεια της ανισότητας Darboux) ότι στο όριο που το δρομικό ολοκλήρωμα πάνω στον δρόμο τείνει στο μηδέν, δηλαδή ότι lim f ( ) d =, τότε η ζητούμενη τιμή του πραγματικού ολοκληρώματος θα είναι f( x) dx= 2π i es f( ). N k = k N
y - x O 2 η Περίπτωση: Ολοκληρώματα της μορφής f ( x )si( ax ) dx ή f ( x )cos( ax ) dx, (.9) Σχήμα 7. όπου η συνάρτηση f( x ) είναι ρητή. Ο υπολογισμός τους με την μέθοδο των ολοκληρωτικών υπολοίπων είναι πανομοιότυπος με αυτόν της ης περίπτωσης. Θεωρούμε την συνάρτηση f( e ) ia την οποία αν α > ολοκληρώνουμε κατά μήκος του ημικυκλικού βρόχου του σχήματος 7.. Για να είναι εφαρμόσιμη η μέθοδος θα πρέπει η f( ) να μην έχει ανώμαλα σημεία πάνω στον πραγματικό άξονα. Αν το δρομικό ολοκλήρωμα πάνω στην ημιπεριφέρεια μηδενίζεται στο όριο, δηλαδή τότε ia lim f ( ) e d = όπου a >, iax ia f( x) e dx= 2π i es ( f( ) e ) k, k και τα ζητούμενα πραγματικά ολοκληρώματα λαμβάνονται με την εξίσωση των πραγματικών και φανταστικών μερών στην ανωτέρω εξίσωση. Εδώ η σύγκλιση του δρομικού ολοκληρώματος πάνω στον είναι δυνατή ακόμα και αν ο βαθμός του πολυωνύμου στον παρονομαστή της ρητής συνάρτησης f( ) είναι μεγαλύτερος μόνο κατά μια μονάδα από τον βαθμό του αριθμητή. Σε αυτή όμως την περίπτωση για να αποδειχθεί η σύγκλιση πρέπει να επικαλεστούμε το λήμμα Jorda του οποίου η εκφώνηση έχει ως εξής: Αν α < τότε ή ολοκληρώνουμε κατά μήκος ενός ημικυκλικού βρόχου στο αρνητικό μιγαδικό ia ημιεπίπεδο ( y < ), ή θεωρούμε τη συνάρτηση f( e ) και διεξάγουμε τον υπολογισμό ως ανωτέρω με τον βρόχο του σχήματος 7..
Λήμμα Jorda Έστω ότι όλα τα ανώμαλα σημεία της συνάρτησης f( ) στο άνω ημιεπίπεδο κείνται κάτω από το ημικύκλιο όλα τα πάνω στο f( ) M, τότε θα έχουμε υπάρχει σταθερά i με = e θ, θ π. Αν επί πλέον για M με lim M = και τέτοια ώστε ia lim f ( ) e d = όπου a >. (.) 3 η Περίπτωση: Ολοκληρώματα της μορφής 2π f(si θ,cos θ) dθ (.) όπου f (si θ, cos θ ) είναι μια συνάρτηση των cosθ και siθ. Τα ολοκληρώματα αυτά μπορούν να υπολογισθούν με την μετατροπή τους σε ένα δρομικό ολοκλήρωμα i πάνω στον μοναδιαίο κύκλο με κέντρο την αρχή των αξόνων: = e θ, με θ 2π. Όταν η θ μεταβάλλεται στο διάστημα [, 2 π ] η μεταβλητή διαγράφει προφανώς στο μιγαδικό επίπεδο τον μοναδιαίο κύκλο που έχει κέντρο την αρχή των αξόνων. Εξ άλλου, από τον τύπο του Euler προκύπτει ότι cos, si + θ = θ = (.2) 2 2i ενώ dθ = d / i. Εισάγοντας αυτές τις τιμές στο προς υπολογισμό πραγματικό ολοκλήρωμα βλέπουμε ότι αυτό δεν είναι τίποτα άλλο παρά η παραμετρική έκφραση (με παράμετρο το θ ) ενός δρομικού ολοκληρώματος κατά την θετική φορά πάνω στον μοναδιαίο κύκλο 2π + d f(si θ,cos θ) dθ = f, 2i 2 i Αν η συνάρτηση f (si θ,cos θ ) είναι μια ρητή συνάρτηση των cosθ και siθ τότε και η συνάρτηση f κάτω από το ολοκλήρωμα στο δεξί μέλος της (7.3) θα είναι μια ρητή συνάρτηση της ανεξάρτητης μεταβλητής. Σε αυτή την περίπτωση ο υπολογισμός του ολοκληρώματος πάνω στον βρόχο είναι εύκολος αρκεί να χρησιμοποιήσουμε το θεώρημα των ολοκληρωτικών αφού πρώτα εντοπίσουμε τους πόλους της συνάρτησης f οι οποίοι περικλείονται από τον. (.3)