~ ~ ΕΞΕΤΑΣΤΙΚΗ ΠΕΡΙΟΔΟΣ ΦΕΒΡΟΥΑΡΙΟΥ ΛΥΣΕΙΣ ΤΩΝ ΘΕΜΑΤΩΝ ΘΕΜΑ α) Μια συνάρτηση f () = uy (, ) + vy (, ) έχει παράγωγο σε ένα σημείο = + y αν ικανοποιούνται τα ακόλουθα: ) Οι πρώτες μερικές παράγωγοι u( y, ), uy( y, ), v( y, ), vy( y, ) υπάρχουν και είναι συνεχείς στο σημείο (, y ) ) Στο σημείο (, y ) επαληθεύονται οι εξισώσεις auchy-ma Επί τούτου κοιτάξτε στις «Σημειώσεις Μιγαδικού Λογισμού» σελ Μια συνάρτηση f () = uy (, ) + vy (, ) που έχει παράγωγο σε ένα σημείο δεν είναι εκεί απαραίτητα και αναλυτική Για να είναι αναλυτική θα πρέπει επί πλέον να υπάρχει γειτονιά του σε όλα τα σημεία της οποίας η f () να έχει παράγωγο (Κοιτάξτε στις «Σημειώσεις Μιγαδικού Λογισμού» σελ) β) Το πραγματικό και φανταστικό μέρος της f ( ) είναι: uy (, ) y =, vy (, ) = ( + y y) Οι πρώτες μερικές παράγωγοι u =, u = y, v = y, vy = y είναι προφανώς συνεχείς σε όλο το επίπεδο,y Οι εξισώσεις auchy-ma u = v, u = v γράφονται: y y = y, - y= ( y) Και οι δύο ισοδυναμούν με την εξίσωση y =, η οποία περιγράφει την ευθεία «κύρια διχοτόμο» του επιπέδου, y στο καρτεσιανό σύστημα αξόνων Συμπερασματικά, η f ( ) είναι παραγωγίσιμη στα σημεία του μιγαδικού επιπέδου (ευθεία): = ( + ) με < < Στα σημεία αυτά η παράγωγος f ( ) γράφεται: y
~ ~ f ( ) = u + v = + ( y) = ( + ) Γνωρίζουμε ότι οι συναρτήσεις και cos είναι ακέραιες αναλυτικές συναρτήσεις Η f ( ) που είναι σύνθεση αυτών των συναρτήσεων είναι παντού αναλυτική εκτός από τα σημεία που είναι ρίζες της εξίσωσης cos( ) + = ή ισοδύναμα της εξίσωσης + + = Θέτοντας μορφή w = μπορούμε να γράψουμε την εξίσωση αυτή στην w + w+ = Οι ρίζες της γράφονται w = = + και w = = Οι τιμές και μπορούν να προσδιορισθούν ως εξής: ( + ) ( ) y y π = = = = = π + π π ( k) = + kπ l( ), όπου k =, ±, ±, y και k Με τον ίδιο τρόπο βρίσκουμε ότι ( ) π ( k) = l + + + kπ, όπου k =, ±, ±, Βλέπουμε λοιπόν ότι η f ( ) δεν είναι αναλυτική στις δύο απειροπληθείς οικογένειες σημείων ( k ) και ( ) k με k =, ±, ±, Τα σημεία αυτά είναι απλές ρίζες και επομένως απλοί πόλοι της συνάρτησης f ( ) Εναλλακτικά τα και μπορούν να υπολογισθούν με την βοήθεια της (πλειότιμης) συνάρτησης log Πχ για το ο υπολογισμός έχει ως π log = log( ) = log ( ) εξής: π = l( ) + ( π + kπ) ( k) = l( ) + + kπ Σημειώστε εδώ ότι log = + (ακέραιο πολ του π ) Ο όρος αυτός με το ακέραιο πολλαπλάσιο του π έχει απορροφηθεί στον όρο kπ στο δεξί μέλος της ποιο πάνω εξίσωσης
~ 3 ~ γ) Υπολογισμός του ολοκληρώματος I Επειδή η f( ) δεν είναι αναλυτική πουθενά στο μιγαδικό επίπεδο είμαστε αναγκασμένοι για τον υπολογισμό του δρομικού ολοκληρώματος να προχωρήσουμε σε παραμετροποίηση Ο βρόχος αποτελείται από τα δύο ευθύγραμμα τμήματα ΟΑ, ΒΟ και το κυκλικό τόξο ΑΒ Η παραμετρική εξίσωση για καθένα από αυτά έχει ως εξής: Για το ΟΑ: Εδώ = και άρα ( y) = y με y Ενώ f ( ) = y + y = ( ) y Για το ΑΒ : Εδώ ( θ ) = θ με θ π Ενώ Για το ΒΟ: Εδώ y = και άρα ( ) = με Ενώ f ( ) = + = (+ ) Τα δρομικά ολοκληρώματα πάνω σε κάθε δρόμο θα είναι: 3 y OA 8 f ( d ) = ( ) ydy= ( + ) = ( + ) 3 3 θ θ θ θ ( ) ( 8 ) θ 8 ( ) ΑΒ f d = + d = + dθ = π π θ θ π π ( ) ( ) f = + ( ) θ 8 = + = + + = + = + 8 8 8( ) 8( ) π 3 8 f( d ) = (+ ) d= (+ ) = (+ ) 3 3 BO Τελικά, 8 8 f ( ) d = f ( ) d+ f ( ) d+ f ( ) d = ( + ) + 8( + ) (+ ) = 3 3 OA ΑΒ BO Υπολογισμός του ολοκληρώματος I Επειδή τα ανώμαλα σημεία (απλοί πόλοι) της συνάρτησης f ( ) είναι μεμονωμένα ανώμαλα σημεία και εφόσον κανένα από αυτά δεν βρίσκεται πάνω στον δρόμο ολοκλήρωσης το ολοκλήρωμα μπορεί να υπολογισθεί με την βοήθεια του θεωρήματος των ολοκληρωτικών υπολοίπων Άρα το πρώτο πράγμα που πρέπει να κάνουμε είναι να
~ ~ εξετάσουμε την θέση αυτών των σημείων στο μιγαδικό επίπεδο, να βεβαιωθούμε ότι κανένα από αυτά δεν βρίσκεται πάνω στον, και τέλος να πρέπει να βρούμε ποια από αυτά βρίσκονται στο εσωτερικό του Επειδή ο βρόχος βρίσκεται στο πρώτο τεταρτημόριο πρέπει να βρούμε αρχικά ποια από τα ανώμαλα σημεία βρίσκονται στο πρώτο τεταρτημόριο Τα σημεία ( ) k βρίσκονται όλα στο δεύτερο (αν k > ) και τρίτο (αν k < ) τεταρτημόριο και επομένως είναι όλα έξω από τον Μένει να βρούμε ποια από τα ( ) k βρίσκονται στο πρώτο τεταρτημόριο και μέσα στον Παρατηρούμε ότι > Im[ ( k)] = ( )l( ),>, ενώ [ ( k)] = π + kπ, οπότε είναι σαφές ότι > [ ( k)] > μόνο αν k = Δηλαδή μόνο το σημείο () = π ( )l( ) π +, είναι υποψήφιο για να βρίσκεται μέσα στον Για να συμβαίνει όμως αυτό θα πρέπει < < Προφανώς όμως < ( π ) +, < ( π ) +,5,7 <, και έτσι το σημείο βρίσκεται στο εσωτερικό του Τώρα με εφαρμογή του θεωρήματος των ολοκληρωτικών υπολοίπων και αφού λάβουμε υπόψη ότι ο βρόχος είναι αρνητικά προσανατολισμένος μπορούμε να γράψουμε f ( d ) = πs f( ) = Επειδή το είναι απλός πόλος θα έχουμε s f( ) = = = s( ) cos( ) + = Υπολογίζουμε ξέχωρα τον αριθμητή και τον παρονομαστή στο δεξιό μέλος της εξίσωσης: ( ) π ( ) ( ) π + l l = = =
~ 5 ~ ( ) ( ) + s( ) = = = + = ( + + ) = ( ) Τελικά s f( ) = = = ( ) f d = π ( ) = π( ) ΘΕΜΑ ( ) α) Η f ( ) είναι παντού αναλυτική εκτός από τα σημεία = (διπλός πόλος) και = (απλός πόλος) Το ζητούμενο ανάπτυγμα θα είναι ένα ανάπτυγμα Maclaur διότι η f ( ) είναι αναλυτική σε όλα σημεία τα σημεία του ανοικτού κυκλικού δίσκου < Η ακτίνα σύγκλισης ισούται με, όση η απόσταση του κέντρου = της σειράς από το πλησιέστερο ανώμαλο σημείο = και Η f ( ) αναλύεται σε απλά κλάσματα ως εξής: = ( ) ( ) ( ) Αναλύουμε τώρα σε σειρά στο χωρίο < καθένα από τα απλά κλάσματα: = =, διότι < = Για να αναλύσουμε σε σειρά τον όρο = =, διότι < = ( ) παρατηρούμε τα κάτωθι: Η σειρά Maclaur ( ) = συγκλίνει ομοιόμορφα σε κάθε = κλειστό υποχωρίο r < του χωρίου < (βλέπε Θεώρημα 6 σελ8 στις Σημειώσεις Μιγαδικού Λογισμού) Γι αυτό σε κάθε τέτοιο
~ 6 ~ υποχωρίο παραγωγίζεται όρο προς όρο έτσι ώστε (βλέπε Θεώρημα 68 σελ στις Σημειώσεις Μιγαδικού Λογισμού) = ( ) ( ) = = = + = ( ) = = = και η σύγκλιση της παραγωγισμένης σειράς είναι πάλι ομοιόμορφη σε κάθε κλειστό υποχωρίο r < Συνοψίζοντας τα ανωτέρω μπορούμε να γράψουμε: = + ( + ), ( ) ( ) = = = Ή ισοδύναμα συμπτύσσοντας τα αθροίσματα στο δεξί μέλος ( ) = ( ) ( ) = β) Η συνάρτηση f ( ) = είναι παντού αναλυτική εκτός από το σημείο = το οποίο βρίσκεται στο εσωτερικό του βρόχου Με εφαρμογή του θεωρήματος των ολοκληρωτικών υπολοίπων μπορούμε λοιπόν να γράψουμε f ( d ) = π s f( ) Όμως η συνάρτηση f () δεν υπάγεται στις δύο κατηγορίες συναρτήσεων που μπορούμε μέσω ενός απλού τύπου να υπολογίσουμε το ολοκληρωτικό υπόλοιπο (βλέπε Θεώρημα 7 σελ63 και Θεώρημα 7 σελ65 στις Σημειώσεις Μιγαδικού Λογισμού) Για τον υπολογισμό του ολοκληρωτικού υπολοίπου είμαστε εδώ αναγκασμένοι να θεωρήσουμε το ανάπτυγμα Laurt της f () σε μια τρυπημένη γειτονιά < < του σημείου = με το αρκούντως μικρό έτσι ώστε σε όλα τα σημεία της εκτός από το κέντρο η f () να είναι αναλυτική Αυτό το ανάπτυγμα Laurt γράφεται = 3 = f( ) = = + + + + = + + + +!! 3! 6 Επειδή στο ανάπτυγμα Laurt οι όροι με τις αρνητικές δυνάμεις του είναι άπειροι στο πλήθος συμπεραίνουμε ότι το σημείο = είναι ένα ουσιώδες ανώμαλο σημείο της συνάρτησης Το ολοκληρωτικό υπόλοιπο
~ 7 ~ θα είναι εξ ορισμού ο συντελεστής μπροστά από τον όρο με το Δηλαδή s f( ) = = 6 Τελικά η τιμή του ολοκληρώματος είναι ΘΕΜΑ 3 Θεωρούμε την συνάρτηση π d= 3 g ( ) = f( ) π, όπου f( ) = + και τον θετικά προσανατολισμένο ημικυκλικό βρόχο του σχήματος που αποτελείται από το ημικύκλιο κέντρου Ο και την διάμετρό του ( ) επί του άξονα των Η συνάρτηση g( ) είναι παντού αναλυτική εκτός από τα σημεία που αντιστοιχούν στις τέσσερις απλές ρίζες της εξίσωσης + = Οι ρίζες αυτές υπολογίζονται εύκολα (βλέπε στις Σημειώσεις Μιγαδικού Λογισμού: εξίσωση () σελ5 και Παράδειγμα σελ 5), αρκεί να επαναδιατυπώσουμε την εξίσωση σε πολική (ή τριγωνομετρική) μορφή Επειδή = = και οι ζητούμενες ρίζες σε πολική μορφή γράφονται = θ Μένει να υπολογίσουμε το όρισμα θ Επειδή = π η προς επίλυση εξίσωση γράφεται ( ) θ π θ π = =, οπότε οι τέσσερις τιμές για το όρισμα θ θα είναι θ = π + kπ όπου k =,,, ή ισοδύναμα θ = π + kπ με k =,,, Θα έχουμε λοιπόν θ = π, θ = 3π, θ3 = 3π, θ = π και οι τέσσερις ρίζες γράφονται = = +, = = +, π / 3 π / 3 π / π / 3 = =, = = Παρατηρούμε ότι από αυτές τις ρίζες μόνο οι και βρίσκονται στο άνω ημιεπίπεδο ( y > ) ενώ καμία δεν βρίσκεται πάνω στον άξονα των
~ 8 ~ y O Το θεώρημα των ολοκληρωτικών υπολοίπων εφαρμοζόμενο για το βρόχο και την συνάρτηση ( ) g μας δίνει gd ( ) = gd ( ) + gd ( ) = π s g ( ) + s g ( ) = = Αφήνουμε την ακτίνα να τείνει προς το άπειρο και η πιο πάνω σχέση γίνεται lm gd ( ) + gd ( ) = π s g ( ) + s g ( ) = = (3) Τα ολοκληρωτικά υπόλοιπα στα σημεία και = (που είναι απλοί πόλοι της g( )) είναι s ( ) = ( + ) 8 ( ) g= = = 3 π π + π, s ( ) = + ( + ) 8 ( + ) g= = = 3 Έτσι, π π π + + π s g ( ) + s g ( ) = + = = = 8 8 π
~ 9 ~ Αντικαθιστούμε την ποιο πάνω τιμή στη σχέση (3) που γίνεται π lm gd ( ) + gd ( ) = π Τώρα θα δείξουμε με την βοήθεια του λήμματος Jorda (βλέπε σημειώσεις Μιγαδ Λογ σελ 78) ότι lm gd ( ) = Γι αυτό το (3) σκοπό χρησιμοποιούμε την τριγωνική ανισότητα για τα σημεία πάνω στον δρόμο (όπου = ) για να πάρουμε: + = = + Από αυτή προκύπτει ότι πάνω στον η f () φράσσεται ως εξής: f( ) M Τώρα επειδή lm M = από το λήμμα Jorda έπεται ότι lm gd ( ) = και έτσι η σχέση (3) γράφεται π π π = + Από αυτήν παίρνοντας τα πραγματικά μέρη και των δύο μελών προκύπτει ότι π π cos( π ) d = Τέλος, επειδή η συνάρτηση κάτω από την + ολοκλήρωση είναι άρτια θα έχουμε και π + π cos( π ) d = Η απόδειξη μπορεί να γίνει και με την βοήθεια της ανισότητας Darbou Πάνω στον θα έχουμε π πy f( ) ( ) και = οπότε f d π π π γράφεται ( ) ( ) = 3 ( ) π f( ) ( ) Η ανισότητα του Darbou
~ ~ ΘΕΜΑ Ας συμβολίσουμε με Ukt (, ) την μετασχηματισμένη Fourr (ως προς την ανεξάρτητη μεταβλητή ) της προς προσδιορισμό συνάρτησης ut (, ) Δηλαδή k F [ ut (,)] Ukt (,) = ut (,) d π Αν δράσουμε πάνω στην διαφορική εξίσωση με τον μετασχηματισμό Fourr F και χρησιμοποιήσουμε την ιδιότητα μετασχηματισμού της παραγώγου (βλέπε στο -cours το «Συμπλήρωμα σημειώσεων Μιγαδικού Λογισμού», σελ) παίρνουμε U t U = ( k) U U = ( + k ) U, t της οποίας η ολοκλήρωση μας δίνει ( ) Ukt (, ) Uk (,) +k t = όμως από την αρχική συνθήκη u (,) = δ ( ) προκύπτει ότι (βλέπε στο - cours το «Συμπλήρωμα σημειώσεων Μιγαδικού Λογισμού», Παράδειγμα 3 σελ) Uk (,) = F[ u (,)] = F [ δ ( )] = π και έτσι Ukt (, ) ( + k ) t = π Η ζητούμενη λύση προκύπτει με την βοήθεια του αντίστροφου μετασχηματισμού Fourr: ( + k ) t ut (, ) = F [ Ukt (, )] = F [ ] π
~ ~ Ο υπολογισμός της ( + k ) t F [ ] είναι εύκολος Θα έχουμε t ut (, ) = dk= dk π π π ( + k ) t k ( k tk ) Εδώ παρατηρούμε ότι ( ) k tk = t k t t οπότε t t t( k t) ut (, ) = dk π Με την αλλαγή k λ = t( k t) στην μεταβλητή ολοκλήρωσης η προηγούμενη σχέση γράφεται t+ t t + t λ ut (, ) = dλ π t = π t π και τελικά t+ t ut (, ) = πt Δείτε ένα παρόμοιο υπολογισμό στο «Συμπλήρωμα σημειώσεων Μιγαδικού Λογισμού» Παράδειγμα σελ