Μαθηματικό Υπόβαθρο.3 Εισαγωγή Η μελέτη των σημάτων και των συστημάτων που θα παρουσιαστούν στη συνέχεια βασίζεται κατά κύριο λόγο σε βασικές γνώσεις Απειροστικού Λογισμού και Μιγαδικών Αριθμών. Εν γένει, η θεωρία σημάτων και συστημάτων έχει πολύ ισχυρά μαθηματικά θεμέλια τα οποία εκτείνονται σε πολλούς κλάδους των μαθηματικών. Στο κεφάλαιο αυτό θα αναφερθούμε μόνο στα απαραίτητα, τα οποία και αποτελούν το αναγκαίο υπόβαθρο για τον αναγνώστη. Ο λόγος της σύντομης αυτής ανασκόπησης έγκειται στο ότι αφ ενός το περισσότερο περιεχόμενο αυτού του κεφαλαίου δεν (πρέπει να) είναι καινούριο στον αναγνώστη που έχει ολοκληρώσει την τριτοβάθμια εκπαίδευση ή που έχει στοιχειώδες υπόβαθρο στον Απειροστικό Λογισμό, αφ ετέρου είναι χρήσιμο να φρεσκαριστούν μερικές βασικές μαθηματικές έννοιες οι οποίες διαπερνούν ολόκληρο το βιβλίο ως το τέλος του..4 Μιγαδικοί Αριθμοί Θα ξεκινήσουμε με μια μικρή ανασκόπηση στους μιγαδικούς αριθμούς. Οι μιγαδικοί αριθμοί είναι ένα σπουδαίο μαθηματικό εργαλείο με εφαρμογές σε πολλές επιστήμες μηχανικού. Παρ όλο που οι μιγαδικοί αριθμοί δεν υπάρχουν πουθενά στη φύση και αποτελούν καθαρά θεωρητικό κατασκεύασμα, έχουν αποδειχθεί πολύτιμοι στην απλοποίηση πραγματικών προβλημάτων. Ο λόγος πίσω από αυτό είναι ότι ενώ ένα πραγματικό πρόβλημα πρέπει να ξεκινά και να τελειώνει με πραγματικούς αριθμούς, η πορεία προς την επίλυση δεν είναι απαραίτητο να περνά μέσα από το βασίλειο των πραγματικών αριθμών. Φυσικά κάθε πραγματικό πρόβλημα μπορεί να λυθεί αποκλειστικά χρησιμοποιώντας πραγματικούς αριθμούς και σχέσεις. Ομως, η χρήση μιγαδικών αριθμών και σχέσεων μπορεί να απλοποιήσει σημαντικά τη διαδικασία. Άρα, ο μοναδικός πρακτικός λόγος μελέτης των μιγαδικών αριθμών είναι ένας: γιατί μας διευκολύνουν! Ας θέσουμε το εξής πρόβλημα ως κίνητρο: έστω ότι σας ζητείται να βρείτε τη λύση της εξίσωσης x + = () Αβιάστα θα απαντούσε κανείς ότι η εξίσωση αυτή δεν έχει πραγματική λύση. Πράγματι, αυτή είναι η σωστή απάντηση. Αν όμως χαλαρώσουμε λίγο τη μαθηματική μας αυστηρότητα, μπορούμε να αναρωτηθούμε τι τιμή θα έπρεπε να έχει το x ώστε το x να αποτελεί ρίζα της εξίσωσης. Προφανώς θα πρέπει x = x = ± () j -5-4 -3 - - - - -3-4 Im 4 3 3 4 5 Re j Εστω ότι ορίζουμε αυτήν την περίεργη λύση της παραπάνω εξίσωσης ως j =. Αν λοιπόν αποδεσμευθούμε από το χώρο των πραγματικών αριθμών, μπο- Σχήμα 7: Μιγαδικό επίπεδο. ρούμε να ορίσουμε ένα νέο χώρο, αυτό των μιγαδικών αριθμών, ο οποίος συμβολίζεται ως C και στον οποίο λύσεις των εξισώσεων όπως η παραπάνω είναι απόλυτα αποδεκτές! Στο χώρο αυτό, οι αριθμοί δεν αναπαρίστανται επάνω σε έναν άξονα (όπως στο χώρο των πραγματικών αριθμών) αλλά σε ένα επίπεδο. Δείτε το Σχήμα 7. Ο οριζόντιος άξονας είναι ο άξονας των πραγματικών αριθμών όπως τον γνωρίζετε (και αναμενόμενα ονομάζεται πραγματικός άξονας), ενώ ο κατακόρυφος άξονας ονομάζεται φανταστικός άξονας, και αποτελείται από πραγματικά πολλαπλάσια της φανταστικής μονάδας j. Προσέξτε όμως ότι η φανταστική μονάδα j δεν αποτελεί μέρος του άξονα, αλλά εμείς πρέπει να καταλαβαίνουμε ότι ο άξονας αυτός αφορά το τμήμα του μιγαδικού αριθμού που σχετίζεται με τη φανταστική μονάδα. Στο ίδιο Σχήμα απεικονίζονται οι μιγαδικοί αριθμοί ±j που αποτελούν λύσεις της παραπάνω
Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου εξίσωσης 7. Ας γενικεύσουμε το παραπάνω παράδειγμα για ένα πολυώνυμο της μορφής Οι ρίζες του δίνονται ως με f(x) = αx + βx + γ (3) x, = β ± α = β 4αγ (5) Γνωρίζετε ότι αν > το πολυώνυμο έχει δυο διακριτές πραγματικές ρίζες, αν = το πολυώνυμο έχει μια διπλή ρίζα, και αν < μπορούμε να γράψουμε ότι με + =, και τότε = + (6) (4) Ας δούμε ένα παράδειγμα. x, = β ± α = β ± ( ) + α = β ± ( ) + α = β ± ( ) α = β ± j α (7) (8) (9) () () Παράδειγμα..: Βρείτε τις ρίζες της εξίσωσης x x + 5 = () Η διακρίνουσα είναι = ( ) = 4 = 6 < (3) άρα η εξίσωση δεν έχει λύση για πραγματικά x. Ομως, στο χώρο των μιγαδικών αριθμών, έχουμε x, = β ± j α = ± j 6 Άρα οι ρίζες της εξίσωσης είναι οι μιγαδικοί αριθμοί x, = ± j. = ± j (4) Επιβεβαιώστε κάνοντας πράξεις ότι οι παραπάνω αριθμοί αποτελούν ρίζες της δοθείσας εξίσωσης. Οι μιγαδικοί αριθμοί είναι ένα εύπλαστο εργαλείο. Μπορούν να πάρουν πολλές μορφές, έχουν αλγεβρικές και γεωμετρικές ιδιότητες και ερμηνείες, γι αυτό και η χρήση τους στη μηχανική είναι αρκετά διαδεδομένη. Στη συνέχεια, θα εξετάσουμε τους μιγαδικούς αριθμούς ως ξεχωριστές οντότητες, χωρίς να συνδέονται απαραίτητα με τη λύση πολυωνυμικών εξισώσεων. Θα δούμε τις διάφορες μορφές και ιδιότητές τους, τις σχέσεις τους με την τριγωνομετρία, δηλ. με τα γνωστά σας ημίτονα και συνημίτονα, θα γνωρίσουμε τη βασική θεωρία των μιγαδικών συναρτήσεων, και αρκετά άλλα χρήσιμα στοιχεία. 7 Ακριβέστερα, η αναπαράσταση ενός μιγαδικού αριθμού στο μιγαδικό επίπεδο ονομάζεται εικόνα του μιγαδικού αριθμού.
3.4. Καρτεσιανή μορφή Ενας μιγαδικός αριθμός z = x + jy αναπαρίσταται στο μιγαδικό επίπεδο ως ένα σημείο με συντεταγμένες (x, y) R R. Η αναπαράσταση αυτή ονομάζεται καρτεσιανή. Στο μιγαδικό επίπεδο, ένας μιγαδικός μπορεί να αναπαρασταθεί από ένα διάνυσμα με αρχή το (, ) και πέρας τις συντεταγμένες του μιγαδικού αριθμού, όπως στο πρώτο τεταρτημόριο των αξόνων του Σχήματος 8. Im{ z} Η τετμημένη x ονομάζεται πραγματικό μέρος του μιγαδικού αριθμού, ενώ η τεταγμένη y ονομάζεται φανταστικό μέρος του μιγαδικού αριθμού. Είναι πολύ σύνηθες να συμβολίζουμε τα παραπάνω ως δηλ. R{z} = x (5) I{z} = y (6) z = x + jy = R{z} + ji{z} (7) Το μήκος του διανύσματος που αναπαριστά το μιγαδικό z ονομάζεται μέτρο του μιγαδικού αριθμού και συμβολίζεται ως z. Από το ορθογώνιο τρίγωνο του Σχή- Σχήμα 8: Ζεύγος συζυγών μιγαδικών z, z. x ματος 8 και με χρήση του Πυθαγορείου Θεωρήματος παρατηρούμε ότι z = x + y (8) Ο συζυγής μιγαδικός αριθμός x z * z y y Re{ z} z = x jy (9) έχει ίδιο μέτρο, ίδιο πραγματικό μέρος, και αντίθετο φανταστικό μέρος με τον z. Δυο τυχαίοι συζυγείς μιγαδικοί αριθμοί z, z αναπαρίστανται στο Σχήμα 8. Αν επιστρέψουμε στο εισαγωγικό πρόβλημα της λύσης ενός πολυωνύμου δευτέρου βαθμού, μπορεί κανείς να αποδείξει ότι ένα τριώνυμο με πραγματικούς συντελεστές και αρνητική διακρίνουσα έχει πάντα συζυγείς ρίζες. Ακόμα γενικότερα, ένα πολυώνυμο N βαθμού με πραγματικούς συντελεστές έχει N μιγαδικές (εν γένει) ρίζες, οι οποίες αποτελούνται από ζεύγη συζυγών μιγαδικών αριθμών. Για παράδειγμα, το πολυώνυμο x + 3x 5 + έχει ρίζες, και όσες από αυτές είναι μιγαδικές πρέπει απαραίτητα να έρχονται σε συζυγή ζεύγη. Αντίθετα, το πολυώνυμο jx + x + έχει δυο μη-συζυγείς μιγαδικές ρίζες - επιβεβαιώστε το υπολογίζοντάς τες! Παράδειγμα..: Να βρεθούν οι τιμές του k R για τις οποίες το πολυώνυμο έχει δυο μιγαδικές ρίζες μέτρου 5. z + 8z + k = () Οι ρίζες του τριωνύμου είναι οι z, = 8 ± 64 8k 4 = ± 64 8k Εφ όσον έχει δυο μιγαδικές ρίζες, η διακρίνουσά του θα είναι αρνητική. Ετσι z, = 8 ± 64 8k 4 = 8 ± j 8k 64 4 4 = ± j 8k 64 Οι ρίζες ικανοποιούν τη σχέση z, = 5 z, = 5, και από την τελευταία έχουμε 4 () () ( z, = 5 ( ) 8k + 64 ) = 5 4 (3) 4 + 8k 64 = 5 8k 64 = 336 6 (4)
4 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου 8k = 4 k = 5 (5) Άρα οι τιμές του k που ικανοποιούν την απαίτηση της εκφώνησης είναι οι k = ± 5. Οι μιγαδικοί αριθμοί διαθέτουν ένα σύνολο από πολύ ενδιαφέρουσες ιδιότητες, μερικές από τις οποίες παρουσιάζονται στον Πίνακα. Η απόδειξή τους είναι καθαρά θέμα πράξεων. Ιδιότητες Μιγαδικών Αριθμών - Καρτεσιανή Μορφή Ιδιότητα Άθροισμα Διαφορά Πολλαπλασιασμός Μαθηματική περιγραφή z = x + jy z = u + jv az + bz = (ax + bu) + j(ay + bv) az bz = (ax bu) + j(ay bv) Διαίρεση z z = (xu yv) + j(yu + xv) z = z z ( xu + yv ) z z z = u + v + j Συζυγία z = x jy Άθροισμα συζυγών z + z = R{z } Διαφορά συζυγών z z = ji{z } Γινόμενο συζυγών z z = z = x + y Πηλίκο συζυγών Ιδιότητες συζυγίας z z = x y x + y + j xy x + y (z + z ) = z + z (z z ) = z z (z z ) = zz ( ) z z z = z x ( uy xv ) u + v Αμοιβαιότητα = z z z z = x + y j y x + y Ισότητα z = z αν και μόνο αν R{z } = R{z } και I{z } = I{z } z R z = z z I z = z Πίνακας : Πίνακας Ιδιοτήτων των Μιγαδικών Αριθμών (καρτεσιανή μορφή) Μπορείτε να δοκιμάσετε να τις αποδείξετε, για εξάσκηση. Είναι σημαντικό να παρατηρήσετε ότι οι βασικές πράξεις του αθροίσματος και της διαφοράς έχουν διαισθητική ερμηνεία υπό την οπτική της διανυσματικής αναπαράστασης των μιγαδικών αριθμών z, z, καθώς ισοδυναμούν με πράξεις μεταξύ διανυσμάτων. Δείτε το Σχήμα 9, όπου εφαρμόζουμε τον κανόνα του παραλληλογράμμου για να βρούμε το άθροισμα και τη διαφορά δυο μιγαδικών στο μιγαδικό επίπεδο. Πρέπει να μπορείτε να παρατηρήσετε ότι απλά προσθέτουμε γραφικά τα πραγματικά και τα φανταστικά μέρη των μιγαδικών μεταξύ τους. Επίσης, δείτε τις πράξεις και τις ιδιότητες που σχετίζονται με τη συζυγία και προσπαθήστε να τις αποδείξετε. Θα τις χρησιμοποιήσουμε αρκετά στη συνέχεια. Αντίθετα, οι πράξεις του πολλαπλασιασμού και της διαίρεσης δεν έχουν ιδιαίτερη διαίσθηση, καθώς το αποτέλεσμα μοιάζει πολύπλοκο να ερμηνευτεί. Σύντομα θα δούμε μια καλύτερη αναπαράσταση και ερμηνεία για αυτές τις δυο πράξεις. Ας δούμε ένα παράδειγμα των παραπάνω. Παράδειγμα..3: Αν z = + j και z = j, υπολογίστε τους μιγαδικούς (αʹ) z z (βʹ) j z + j z (γʹ) z 4 (δʹ) z R{z } z I{z } z R{z } + z I{z }
5 (α) Im{ z} (β) Im{ z} z z z z z z Re{ z} z z Re{ z} Σχήμα 9: (α) Πρόσθεση και (β) αφαίρεση μιγαδικών αριθμών στο μιγαδικό επίπεδο. (αʹ) Εχουμε (βʹ) Θα είναι z z = ( + j) ( j) = ( + j + j )( j) = j( j) = j 4j = j + 4 = 4 + j (6) j z + j z = jz z z + ( j)z z z = jz + ( j)z z z (7) = (jz + z jz )(z z ) z z (z z ) = (jz + z jz )z z z z (8) (j( j) + ( + j) j( + j))( j)( + j) = (j + 6)(3 + j) (j + 6))(3 + j) = = = 8 5 + j 6 5 = 6j + j + 8 + 6j = (j 4j + + j j j )(3 + j) (9) (3) (3) (γʹ) Είναι (δʹ) Εχουμε z 4 = (z ) = ( ( j) ) = ( 4j + 4j ) = ( 3 4j) = 9 + 4j + 6j = 7 + 4j (3) z R{z } z I{z } z R{z } + z I{z } = z + z z z = + j + + j = 5 j3 (33) + j ( + j) Εδώ χρησιμοποιήσαμε τη σχέση την οποία θα χρησιμοποιούμε συχνά. ± j = j (34).4. Πολική μορφή Μια εναλλακτική - και πιο χρήσιμη - μορφή ενός μιγαδικού αριθμού είναι η περίφημη πολική μορφή. Ενας μιγαδικός αριθμός z με συντεταγμένες (x, y) μπορεί να αναπαρασταθεί με ένα διαφορετικό ζεύγος τιμών, (ρ, φ), που αναπαριστούυν την απόσταση ρ του μιγαδικού αριθμού από την αρχή των αξόνων - δηλ. το μέτρο του - και τη γωνία φ μεταξύ του οριζόντιου άξονα και του διανύσματος που αντιπροσωπεύει το μιγαδικό αριθμό. Το Σχήμα απεικονίζει τις παραμέτρους ρ και φ. Σημειώστε ότι η γωνία φ ορίζεται κατά την ορθή μαθηματική φορά (αντίθετα της φοράς του ρολογιού). Από το Σχήμα, είναι εμφανές ότι ρ = z = x + y (35) το οποίο έχουμε ήδη ονομάσει μέτρο του μιγαδικού αριθμού z. Μερικές χρήσιμες ιδιότητες για το μέτρο ενός
6 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου Im{ z} z y Re{ z} x Σχήμα : Πολική μορφή μιγαδικού αριθμού z. μιγαδικού αριθμού είναι οι ακόλουθες. (αʹ) z = z = z (βʹ) z = zz = z z (γʹ) z z = z z (δʹ) z k = z k (εʹ) z z = z z (ϛʹ) Τριγωνική Ανισότητα Ι: z z z + z z + z (ζʹ) Τριγωνική Ανισότητα ΙΙ: z z z z z + z Η γωνία φ, η οποία αναφέρεται συχνά στη βιβλιογραφία ως φάση, ορίζεται ως ( ) tan y x, x > ( ) tan y x + π, x <, y ( ) φ = tan y x π, x <, y < π, x =, y > π, x =, y < απροσδιόριστη, x = y = (36) Η πρωτεύουσα τιμή της φάσης φ ορίζεται πάντα στο διάστημα ( π, π], όπως παραπάνω, και θα προσπαθούμε να εκφράζουμε κάθε τιμή της φάσης στο διάστημα αυτό. Μερικές σπουδαίες ιδιότητες της φάσης είναι οι ακόλουθες. (αʹ) φ zz = φ z + φ z (βʹ) φ z k = kφ z (γʹ) φ z/z = φ z φ z Προτού προχωρήσουμε, θα ήταν ενδιαφέρον να συζητήσουμε λίγο την (φαινόμενη) πολυπλοκότητα της φάσης και να εξηγήσουμε γιατί υπάρχουν τόσες περιπτώσεις στον υπολογισμό της. Η συνάρτηση της αντίστροφης εφαπτομένης έχει πεδίο ορισμού το R και πεδίο τιμών το ( π, π ), όπως στο Σχήμα (α), δηλ. αφορούν το πρώτο και το τέταρτο τεταρτημόριο του μιγαδικού επιπέδου. Σε αυτά, το πραγματικό μέρος του μιγαδικού αριθμού είναι θετικό. Οι τιμές αυτές τις φάσης είναι αυτές που ονομάσαμε νωρίτερα ως πρωτεύουσες. Κάθε άλλη τιμή της φάσης εκτός του ( π, π ) ονομάζεται δευτερεύουσα τιμή. Είναι φανερό λοιπόν ότι η αντίστροφη εφαπτομένη μπορεί να μας δώσει τιμές φάσης μόνο στο ( π, π ), δηλ. να μας υποδείξει σωστά τους μιγαδικούς που ανήκουν είτε στο πρώτο είτε στο τέταρτο τεταρτημόριο. Για τους υπόλοιπους; Για τον υπολογισμό της φάσης μέσω της αντίστροφης εφαπτομένης χρειάζεται να υπολογίσουμε το λόγο Im{z}/Re{z}. Ο λόγος αυτός μπορεί φυσικά να είναι θετικός ή αρνητικός. Δείτε για παράδειγμα τους μιγαδικούς z = j και z = + j του Σχήματος. Πέραν αμφιβολίας, οι μιγαδικοί αυτοί βρίσκονται στο 4ο και στο ο τεταρτημόριο του μιγαδικού επιπέδου, αντίστοιχα, οπότε οι φάσεις τους θα είναι σίγουρα διαφορετικές (εν γένει).
7 (α) (β) tan ( x) tan ( x) / x / / x ο ο 4 ο Re{ z} Im{ z} Re{ z} Im{ z} Re{ z} Im{ z} / 3 ο Re{ z} Im{ z} Σχήμα : (α) Πρωτεύουσα τιμή φάσης και (β) πρωτεύουσα και δευτερεύουσες τιμές φάσης. (,) Im{ z} z Re{ z} z (, ) Σχήμα : Μιγαδικοί z και z. Ας υπολογίσουμε το αποτέλεσμα της αντίστροφης εφαπτομένης για τη φάση τους χωρίς να λάβουμε υπόψη μας τη Σχέση (36). Θα είναι φ z = tan = tan ( ) = π 4 φ z = tan = tan ( ) = π 4 (37) (!!!) (38) Παρατηρήστε ότι η συνάρτηση αντίστροφης εφαπτομένης είναι τυφλή στο πρόσημο του πραγματικού και του φανταστικού μέρους των μιγαδικών αριθμών! Θεωρεί πως και οι δυο, επιβεβαιωμένα διαφορετικοί, μιγαδικοί αριθμοί σχηματίζουν την ίδια γωνία με την οριζόντιο άξονα, δηλ. 45 o κάτω από αυτόν. Ασφαλώς η γωνία του μιγαδικού αριθμου z είναι σωστή: πράγματι ο μιγαδικός αριθμός z σχηματίζει γωνία 45 μοίρες με τον οριζόντιο άξονα. Δε μας κάνει εντύπωση καθώς ο μιγαδικός αριθμός αυτός βρίσκεται στο τέταρτο τεταρτημόριο, όπου η αντίστορφη εφαπτομένη προβλέπει σωστά. Πώς θα διορθώσουμε πρόβλημα με τον μιγαδικό z, ο οποίος ανήκει στο δεύτερο τεταρτημόριο; Μα φυσικά χρησιμοποιώντας τις δευτερεύουσες τιμές της συνάρτησης φάσης! Αυτές οι τιμές φαίνονται στο Σχήμα (β) και η διόρθωση υπαγορεύεται από τις περιπτώσεις της Σχέσης (36)..4.3 Σχέσεις του Euler Στην προσπάθειά μας να απλοποιήσουμε την πολική μορφή αλλά και να την κάνουμε πιο διαχειρίσιμη, μπορούμε - από τον Απειροστικό Λογισμό και τις Σειρές MacLaurin - να δείξουμε ότι e jφ = + jφ + (jφ)! + (jφ)3 3! + (jφ)4 4! + (39) = + jφ φ! j φ3 3! + φ4 4! + (4) = + n= (jφ) n n! (4)
8 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου και και άρα καταληγουμε ότι cos(φ) = φ! + φ4 4! φ6 6! + φ8 8! + (4) = + n= ( ) n (n)! φn (43) sin(φ) = φ φ3 3! + φ5 5! φ7 7! + φ9 9! + (44) = + n= ( ) n (n + )! φn+ (45) e jφ = cos(φ) + j sin(φ) (46) η οποία είναι η περίφημη Σχέση του Euler, προς τιμήν του μεγάλου μαθηματικού Leonard Euler που την ανακάλυψε 8. Από τη σχέση του Euler μπορούμε να ορίσουμε τις αντίστροφες σχέσεις του Euler ως cos(φ) = ejφ + e jφ sin(φ) = ejφ e jφ j (47) (48) οι οποίες είναι κι αυτές μεγάλης σημασίας. Φροντίστε να τις συνηθίσετε! Οπότε, η πολική μορφή ενός μιγαδικού αριθμού z, όπως αυτού στο Σχήμα, μπορεί να γραφεί ως z = x + jy = z (cos(φ) + j sin(φ)) = z e jφ (49) με x = z cos(φ), y = z sin(φ), z = ( x + y, φ = tan y ) (5) x Ας εξετάσουμε ξανά τον Πίνακα αλλά χρησιμοποιώντας αυτή τη φορά την πολική μορφή. Ο Πίνακας είναι αυτός που προκύπτει με εφαρμογή της πολικής μορφής. Συγκρίνοντας τους Πίνακες και, παρατηρούμε ότι το άθροισμα και η διαφορά μιγαδικών αριθμών απλοποιείται όταν χρησιμοποιούμε καρτεσιανές συντεταγμένες, ενώ αντίθετα ο πολλαπλασιασμός και η διαίρεση μιγαδικών αριθμών είναι προτιμότερο να γίνεται στην πολική μορφή τους. Δείτε στο Σχήμα 3 τη διαισθητική ερμηνεία του γινομένου και του πηλίκου δυο μιγαδικών αριθμών όταν τους κοιτάζει κανείς σε πολική μορφή. Μπορείτε να βρείτε (α) zz Im{ z} Im{ z} (β) j z z e z z e z z z z e j z z j( ) z z z z e z z e Re{ z} Re{ z} z z z z z z j e j j( ) Σχήμα 3: (α) Πολλαπλασιασμός και (β) διαίρεση μιγαδικών αριθμών στο μιγαδικό επίπεδο. που βρίσκεται ο μιγαδικός z για ένα δοθέντα μιγαδικό z = z e jφ ; Είναι χρήσιμο να βρούμε ξεχωριστά την πολική μορφή για κάποιους συγκεκριμένους μιγαδικούς αριθμούς, όπως οι ±, ±j, καθώς η χρήση τους απλοποιεί σημαντικά τις σχέσεις που θα συναντήσουμε στη συνέχεια. Ο Πίνακας 3 8 Μια πιο κομψή μορφή της, η e jπ + = θεωρείται ως η ομορφότερη εξίσωση όλων των εποχών: συνδέει τους θεμελιώδεις αριθμούς e, j, π,, και τις πράξεις της πρόσθεσης και της ύψωσης σε δύναμη.
9 Ιδιότητες Μιγαδικών Αριθμών - Πολική Μορφή Ιδιότητα Μαθηματική περιγραφή z = ρ e jφ, ρ > z = ρ e jφ, ρ > Άθροισμα az + bz = ρ e jφ + ρ e jφ Διαφορά az bz = ρ e jφ ρ e jφ Πολλαπλασιασμός z z = ρ e jφ ρ e jφ = ρ ρ e j(φ+φ) Διαίρεση z = ρ e jφ z ρ e jφ = ρ e j(φ φ) ρ Συζυγία z = ρe jφ Άθροισμα συζυγών z + z = R{z } = ρ cos(φ ) Διαφορά συζυγών z z = ji{z } = jρ sin(φ ) Γινόμενο συζυγών z z = ρ ρ e jφ e jφ = ρ = z Πηλίκο συζυγών Ιδιότητες συζυγίας z z = ρ e jφ ρ e = jφ ejφ (z + z ) = ρ e jφ + ρ e jφ (z z ) = ρ e jφ ρ e jφ (z z ) = ρ ρ e j(φ+φ) ( z z ) = ρ ρ e j(φ φ) Αμοιβαιότητα z = ρ = e jφ ρ e jφ Ισότητα z = z αν και μόνο αν ρ = ρ και φ = φ + kπ, k Z Πίνακας : Πίνακας Ιδιοτήτων των Μιγαδικών Αριθμών (πολική μορφή) συνοψίζει τις πολικές μορφές μιγαδικών αριθμών που συναντώνται συχνά στην πράξη. Συνήθεις πολικές μορφές Φάση φ Πολική μορφή e j = ±π e ±jπ = {, k άρτιος ±kπ, k Z e ±jkπ = ( ) k =, k περιττός ±π e ±jπ = ±kπ, k Z e ±jkπ = ± π e ±jπ/ = ±j, k =, 4, 8,, ±k π, k Z e±jkπ/ = (±j) k ±j, k =, 5, 9, 3, = j, k = 3, 7,, 5,, k =, 6,, 4, Πίνακας 3: Πολική μορφή συχνά χρησιμοποιούμενων μιγαδικών αριθμών Ας δούμε μερικά παραδείγματα. Παράδειγμα..4: Εκφράστε καθέναν από τους παρακάτω μιγαδικούς αριθμούς σε καρτεσιανή μορφή (x + jy): (αʹ) ejπ (γʹ) e jπ/ (εʹ) e j5π/ (ζʹ) e j9π/4 (βʹ) e jπ Θα είναι (δʹ) e jπ/ (ϛʹ) e jπ/4 (ηʹ) e j9π/4
Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου (αʹ) ejπ = cos(π) + j sin(π) = (βʹ) e jπ = cos( π) + j sin( π) = (γʹ) e j π (δʹ) e j π = cos( π ) + j sin(π ) = j = cos( π ) + j sin( π ) = j (εʹ) e j 5π 5π = cos( ) + j sin(5π ) = cos(4π + π ) + j sin( 4π + π ) = cos( π ) + j sin(π ) = j (ϛʹ) e j π π 4 = cos( 4 ) + j sin( π 4 ) = + j = + j (ζʹ) e j 9π 4 (ηʹ) e j 9π 4 = e j 8π+π 4 = e j π 4 = + j = e j 8π+π 4 = e j π 4 = cos( π 4 ) + j sin( π 4 ) = j Παράδειγμα..5: Εκφράστε καθέναν από τους παρακάτω μιγαδικούς αριθμούς σε πολική μορφή re jθ, π < θ π: (αʹ) 5 (βʹ) Θα είναι (αʹ) 5 = 5e j (βʹ) = e jπ (γʹ) 3j = 3e j π (γʹ) 3j (δʹ) j 3 (εʹ) ( j) (ϛʹ) j( j) (ζʹ) +j (ηʹ) j +j +j 3 (δʹ) 3 ( ) j, με z = 4 + 3 4 =, με θ = 3 tan = tan ( 3) = π 3, άρα e j π 3 (εʹ) ( j) = j + j = j = j = e j π (ϛʹ) j( j) = j j = j + = + j = e j π 4 (ζʹ) + j j = e j π 4 e j π 4 = e j π 4 e j π 4 = e j π (ηʹ) + j + j 3 = ( + j) ( + j 3 ) = e j π 4 e j π 3 = e j π 4 e j π 3 = e j π.4.4 Η Σχέση του De Moivre Οταν υπολογίζουμε δυνάμεις μιγαδικών αριθμών, των οποίων ο εκθέτης είναι ακέραιος αριθμός, είναι πολύ χρήσιμη η γνωστή σχέση του De Moivre: z n = (x + jy) n = ( ρ cos(φ) + jρ sin(φ) ) n = (ρe jφ ) n = ρ n( cos(nφ) + j sin(nφ) ) (5) Βλέπετε πόσο πιο απλή είναι η εύρεση μιας δύναμης ενός μιγαδικού αριθμού όταν χρησιμοποιούμε την πολική μορφή. Με την ίδια ευκολία μπορούμε να βρούμε οποιαδήποτε ρίζα ενός μιγαδικού αριθμού: z /n = (x + jy) /n = ( ρ cos(φ) + jρ sin(φ) ) /n = (ρe jφ ) /n = ρ /n( cos(φ/n) + j sin(φ/n) ) (5)
Παράδειγμα..6: Βρείτε όλες τις ρίζες της εξίσωσης z 3 8 = (53) Περιμένουμε ότι θα υπάρχουν 3 λύσεις για αυτήν την εξίσωση. Εχουμε τότε Θέτοντας τιμές του k έχουμε z 3 8 = (54) z 3 = 8e jπk (55) z 3 = 8(cos(πk) + j sin(πk)) (56) z = 3 8(cos(πk) + j sin(πk) 3 (57) z = 3 ( ( πk ) ( πk )) 8 cos + j sin, 3 3 k =,,. (58) z = (59) z = + j 3 (6) z 3 = j 3 (6) Μπορείτε να επιβεβαιώσετε ότι τιμές του k διαφορετικές από αυτές τις τρεις που διαλέξαμε δίνουν ακριβώς τις ίδιες λύσεις. Το τελευταίο Παράδειγμα μας δίνει ένα γενικό τρόπο λύσης εξισώσεων της μορφής z N a =, N N, a = a e jφ C (6) και μπορείτε να δείξετε (Άσκηση ΧΧΧΧ) ότι η γενική λύση είναι η ακόλουθη.4.5 Γεωμετρικός τόπος z : θ z = a /N = φ+πk N, k =,,,, N (63) Ο γεωμετρικός τόπος μιγαδικών αριθμών δεν είναι τίποτε άλλο από ένα γεωμετρικό σχήμα του οποίου τα σημεία (οι μιγαδικοί αριθμοί δηλαδή) ικανοποιούν μια κοινή γεωμετρική ιδιότητα. Συνήθεις γεωμετρικοί τόποι είναι κύκλοι, κυκλικοί δίσκοι, ευθείες και άλλα γεωμετρικά σχήματα. Παράδειγμα..7: Βρείτε το γεωμετρικό τόπο των μιγαδικών z = x + jy που ικανοποιούν τις σχέσεις (αʹ) z = 4 (βʹ) z = (γʹ) z = z j (δʹ) z < (εʹ) R{z} > (ϛʹ) z + 6 z + 4 (αʹ) Η σχέση αυτή ουσιαστικά περιγράφει τους μιγαδικούς z που έχουν μέτρο ίσο με 4, δηλ. η απόστασή τους από την αρχή των αξόνων ισούται με 4. Μπορείτε ίσως να φανταστείτε μερικούς: οι μιγαδικοί z = ±4, z = ±4j σίγουρα ικανοποιούν την απαίτηση. Ποιοί άλλοι την ικανοποιούν; Θα έχουμε z = 4 x + jy = 4 x + jy = 6 x + y = 6 (64) Άρα ο γεωμετρικός τόπος των μιγαδικών αυτών αποτελεί κύκλο με κέντρο το (, ) και ακτίνα ρ = 4. (βʹ) Θα έχουμε z = x + jy = (x ) + y = 4 (65) >
Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου Άρα ο γεωμετρικός τόπος των μιγαδικών αυτών αποτελεί κύκλο με κέντρο το (, ) και ακτίνα ρ =. Εν γένει, ο γεωμετρικός τόπος των μιγαδικών που ικανοποιούν τη σχέση αποτελεί κύκλο με κέντρο το z = z και ακτίνα c. (γʹ) Θα έχουμε z z = c, c R (66) z = z j z = z j (x ) + y = x + (y ) (67) x x + + y = x + y y + x = y x = y (68) Άρα ο γεωμετρικός τόπος των μιγαδικών αυτών αποτελεί η μεσοκάθετος του ευθυγράμμου τμήματος που ενώνει τα σημεία (, ) και (, ). Με άλλα λόγια, οι μιγαδικοί αυτοί ανήκουν στην ευθεία y = x. Εν γένει, ο γεωμετρικός τόπος των μιγαδικών που ικανοποιούν τη σχέση z z = z z (69) αποτελεί τα σημεία της μεσοκαθέτου του ευθυγράμμου τμήματος μεταξύ των σημείων (x, y ) και (x, y ), με z = x + jy, z = x + jy. (δʹ) Εφόσον η σχέση z = (7) δηλώνει το σύνολο των μιγαδικών που ανήκουν σε κύκλο με κέντρο το (, ) και ακτίνα ρ =, τότε η σχέση δηλώνει τους μιγαδικούς που βρίσκονται εντός του παραπάνω κύκλου. z < (7) Μπορούμε να συμπεράνουμε ότι οι γεωμετρικοί τόποι των μιγαδικών που ικανοποιούν τις σχέσεις ˆ z z < c ˆ z z > c ˆ c < z z < c με c, c, c R αποτελούν ˆ σημεία εντός κύκλου με κέντρο το z και ακτίνα ρ = c ˆ σημεία εκτός κύκλου με κέντρο το z και ακτίνα ρ = c ˆ σημεία εντός δακτυλίου που σχηματίζεται από τους ομόκεντρους με κέντρο το z κύκλους και ακτίνες ρ = c, ρ = c. (εʹ) Θα έχουμε R{z} > (7) που προφανώς ορίζει τους μιγαδικούς αριθμούς που ανήκουν στο ημιεπίπεδο δεξιά της ευθείας x =, χωρίς να την περιλαμβάνει. (ϛʹ) Θα έχουμε z + 6 z + 4 > z + 6 > z + 4 z + 6 > 4 z + 4 (x + 6) + y > 4((x + 4) + y ) x + 3x + 56 + y > 4(x + 8x + 6 + y ) 3x + 3y > 9 (74) x + y > 64 = 8 (75) άρα ο ζητούμενος γεωμετρικός τόπος αποτελεί το εξωτερικό ενός κύκλου με κέντρο το (, ) και ακτίνα ρ = 8. Μια απεικόνιση των γεωμετρικών τόπων του Παραδείγματος..7 φαίνονται στο Σχήμα 4. (73)
3 (α) Im (β) Im (γ) Im (,) y = x 4 (,) (,) Re Re Re (δ) Im (ε) Im (στ) Im - (,) - 8 Re Re Re.5 Μιγαδικές Συναρτήσεις Σχήμα 4: Γεωμετρικοί τόποι Παραδείγματος..7. Ως αποτέλεσμα της συνεχούς χρήσης μιγαδικών αριθμών, η βασική θεωρία σημάτων και συστημάτων περιλαμβάνει ουκ ολίγες μιγαδικές συναρτήσεις, οι οποίες όμως είναι σχετικά απλές. Μια μιγαδική συνάρτηση f(z) ορίζεται σε ένα σύνολο A C, το οποίο λέγεται πεδίο ορισμού, και αντιστοιχίζει κάθε σημείο του συνόλου A σε ένα μιγαδικό αριθμό. Είναι λοιπόν προφανές ότι μια μιγαδική συνάρτηση ορίζεται σε τέσσερις διαστάσεις: δυο διαστάσεις για το πεδίο ορισμού της, και δυο διαστάσεις για κάθε τιμή της συνάρτησης. Αυτό δυσκολεύει τα πράγματα γιατί δεν μπορούμε, εν γένει, να σχεδιάσουμε στο χαρτί μια μιγαδική συνάρτηση. Αυτό που μπορούμε να κάνουμε είναι ˆ είτε να σχεδιάσουμε ξεχωριστά το πραγματικό και το φανταστικό της μέρος, δηλ. να αναλύσουμε τη μιγαδική συνάρτηση στη μορφή f(z) = R{f(z)} + ji{f(z)} (76) ˆ είτε να σχεδιάσουμε ξεχωριστά το μέτρο και τη φάση της, δηλ. να τη γράψουμε στη μορφή Ας δούμε ένα παράδειγμα. Παράδειγμα..8: Εστω το σύνολο A = C {±j} στο οποίο ορίζεται η μιγαδική συνάρτηση f(z) = f(z) e jφ(z) (77) f(z) = z + (78) Βρείτε το πραγματικό και το φανταστικό της μέρος, καθώς και την αναπαράσταση μέτρου και φάσης. Το πραγματικό της μέρος ισούται με { } { } R{f(z)} = R (x + jy) = R + x y + + jxy { x y + jxy } = R (x y + + jxy)(x y + jxy) { x y + = R (x y + ) + (xy) j xy } (x y + ) + (xy) { x y + jxy } = R (x y + ) + (xy) = (79) (8) x y + (x y + ) + 4x y (8)
4 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου ενώ το φανταστικό της μέρος - από την τελευταία σχέση παραπάνω - ισούται με { } I{f(z)} = I (x + jy) + { = I x y + + jxy } xy = (x y + ) + 4x y (8) Οι γραφικές παραστάσεις τους απεικονίζονται στο Σχήμα 5. Ας βρούμε τώρα τη γραφική παράσταση του μέτρου Σχήμα 5: Πραγματικό και Φανταστικό μέρος της συνάρτησης του Παραδείγματος..8. και της φάσης της συνάρτησης f(z). Θα είναι f(z) = για το μέτρο, ενώ για τη φάση θα είναι z + = (x + jy) + = x + jxy y + = (x y + ) + 4x y (83) I{f(z)} φ f (z) = tan R{f(z)} = xy tan x y + (84) Οι γραφικές παραστάσεις τους απεικονίζονται στο Σχήμα 6. Είναι ενδιαφέρον να παρατηρήσετε ότι στα σημεία Σχήμα 6: Μέτρο και Φάση της συνάρτησης Παραδείγματος..8. z = ±j, η συνάρτηση f(z) απειρίζεται. Δείτε πως αυτό εκφράζεται στη γραφική της παράσταση. Επίσης,
5 παρατηρήστε ότι η φάση της συνάρτησης παίρνει τιμές στο διάστημα ( π, π], καθώς ο τρόπος υπολογισμού της γίνεται με τη γνωστή σας συνάρτηση αντίστροφης εφαπτομένης..5. Οριο Είναι σημαντικό να συζητηθούν οι έννοιες της συνέχειας και της παραγώγισης μιγαδικών συναρτήσεων. Η έννοια του μέτρου μας βοηθά κατάρχάς να ορίσουμε την απόσταση και το όριο στο χώρο των μιγαδικών αριθμών. Η απόσταση μεταξύ δυο μιγαδικών αριθμών z και z αποτελεί το μέτρο της διαφοράς τους, δηλ. z z. Ενας μιγαδικός αριθμός z τείνει στο μιγαδικό αριθμό z αν με z z την Ευκλείδια απόσταση μεταξύ των δυο μιγαδικών αριθμών. z z (85).5. Συνέχεια Μια μιγαδική συνάρτηση f(z) η οποία ορίζεται στο ανοικτό 9 σύνολο A C είναι συνεχής στο σημείο z A αν και μόνον αν ισχύει ότι lim f(z) = f(z ) (86) z z Εάν η παραπάνω σχέση ισχύει για κάθε z A τότε η μιγαδική συνάρτηση f(z) ονομάζεται συνεχής σε κάθε σημείο του A..5.3 Παραγωγισιμότητα Αντίστοιχα, μια μιγαδική συνάρτηση f(z) ορισμένη σε ένα ανοικτό σύνολο A C είναι παραγωγίσιμη σε ένα σημείο z A αν υπάρχει το όριο f(z) f(z ) lim (87) z z z z και το οποίο συμβολίζεται με f (z ). Εάν η μιγαδική συνάρτηση είναι παραγωγίσιμη σε κάθε σημείο του ανοικτού συνόλου A, τότε ονομάζεται αναλυτική. Οποιοδήποτε πολυώνυμο του z αποτελεί αναλυτική συνάρτηση στο C. Επίσης, οποιαδήποτε ρητή συνάρτηση είναι αναλυτική στο ανοικτό σύνολο που αποτελείται από όλα τα z, εκτός από αυτά που ο παρονομαστής μηδενίζεται. Στη συνέχεια του βιβλίου θα ασχοληθούμε σχεδόν αποκλειστικά με συναρτήσεις που είναι αναλυτικές σε κάποιο απλό υποσύνολο του C. Ολοι οι συνήθεις κανόνες του γινομένου, του πηλίκου, ο κανόνας της αλυσίδας, κλπ. ισχύουν κατά τα γνωστά από το λογισμό μιας μεταβλητής. Μια πολύ σημαντική μιγαδική συνάρτηση είναι η εκθετική, η οποία είναι αναλυτική στο C, με e z = d dz ez (88) όπως επίσης και η για κάθε ακέραιο n. d dz zn = nz n (89).5.4 Η μιγαδική εκθετική συνάρτηση e jπf t Μια πολύ σημαντική μιγαδική συνάρτηση είναι η εκθετική της μορφής f(z) = e jθ(t). Νωρίτερα, εισάγαμε την περίφημη σχέση του Euler, η οποία επαναλαμβάνεται χάριν ευκολίας παρακάτω στη γενικότερη μορφή της: Ae jθ = R{Ae jθ } + ji{ae jθ } = A cos(θ) + ja sin(θ) (9) με A > το μέτρο (ή πλάτος) της εκθετικής μιγαδικής συνάρτησης και θ τη φάση της. Αν το όρισμα θ είναι γραμμική συνάρτηση του χρόνου t, δηλ. της μορφής θ(t) = ω t + φ = πf t + φ, τότε στο διδιάστατο επίπεδο 9 Ανοικτό λέγεται ένα σύνολο A όταν δεν συμπεριλαμβάνεται σε αυτό το σύνορό του. Για παράδειγμα, τα σημεία (x, y) που ικανοποιούν τη σχέση x + y < r αποτελούν ένα ανοικτό σύνολο A. Το σύνορο B του ανοικτού συνόλου A είναι το σύνολο των σημείων που ικανοποιούν τη σχέση Η ένωση των δυο αυτών συνόλων αποτελεί ένα κλειστό σύνολο. x + y = r
6 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου των μιγαδικών αριθμών, η σχέση περιγράφει ένα διάνυσμα σταθερού μήκους A στο μιγαδικό επίπεδο το οποίο περιστρέφεται συνεχώς σε έναν κύκλο ακτίνας A, με γωνιακή (ή κυκλική) συχνότητα ω = πf rad/s. Αν ορίσουμε έναν τρίτο άξονα, αυτόν του χρόνου t, τότε ο χώρος γίνεται τριδιάστατος και το περιστρεφόμενο διάνυσμα ορίζει μια σπειροειδή τροχιά στο χώρο αυτό. Η περιστροφή αυτή γίνεται φυσικά με γωνιακή συχνότητα ω = πf rad/s, ή εναλλακτικά με συχνότητα f Hz. Αυτό σημαίνει ότι το περιστρεφόμενο διάνυσμα εκτελεί f πλήρεις σπειροειδείς κύκλους ανά δευτερόλεπτο. Διάφορες όψεις - για καλύτερη κατανόηση και μόνο - αυτής της κίνησης του περιστρεφόμενου διανύσματος (μοναδιαίου μήκους A και μηδενικής φάσης φ εδώ, για ευκολία) φαίνονται στο Σχήμα 7, μαζί με το πραγματικό και το φανταστικό μέρος του. Με χρήση της συζυγίας, οι σχέσεις του Euler δίνουν επίσης τις παρακάτω σχέσεις jπ f t sin(π f t) jπ f t sin(π f t).5.5.5.5 -.5 - -.5 3 4 - - cos(π f t) -.5 - -.5 cos(π f t) 3 4 - Σχήμα 7: Μιγαδική εκθετική συνάρτηση e jπft, μαζί με το πραγματικό και φανταστικό μέρος της, από δυο όψεις στον τριδιάστατο μιγαδικό χώρο. για το πραγματικό και το φανταστικό μέρος του μιγαδικού εκθετικού: R{Ae jπft } = A cos(πf t) = A ejπft + A e jπft (9) I{Ae jπft } = A sin(πf t) = A j ejπft A j e jπft (9) Ας πάρουμε τη Σχέση (9), η οποία περιγράφει ένα ημίτονο ως άθροισμα ενός συζυγούς ζεύγους μιγαδικών εκθετικών συναρτήσεων με πλάτη A. Ας απεικονίσουμε την κίνηση των περιστρεφόμενων διανυσμάτων που αντιστοιχούν στο ζεύγος αυτό. Βλέπουμε στο Σχήμα 8 (για A = ) ότι η τροχιές τους είναι αντίθετες: η μιγαδική εκθετική συνάρτηση A ejπft περιστρέφεται με την ορθή μαθηματική φορά, ενώ η αντίστοιχη A e jπft περιστρέφεται με την αντίθετη μαθηματική φορά. Σε κάθε χρονική στιγμή t, τα φανταστικά μέρη τους έχουν το ίδιο μέτρο, A sin(πf t), αλλά αντίθετα πρόσημα, ενώ τα πραγματικά τους μέρη είναι ακριβώς ίδια. Το άθροισμα των διανυσμάτων αυτών για κάθε t ισούται με το διπλάσιο πραγματικό μέρος της μιγαδικής εκθετικής συνάρτησης. Σε περίπτωση που το πλάτος A είναι μιγαδικό, δηλ. είναι της μορφής A = A e jφ (93) τότε η γωνία φ συμβολίζει την αρχική φάση της μιγαδικής εκθετικής συνάρτησης, και οι αντίστοιχες σχέσεις γίνοται R{Ae jπft } = A cos(πf t + φ) = A ej(πft+φ) + A e j(πft+φ) (94) I{Ae jπft } = A sin(πf t + φ) = A j ej(πft+φ) A j e j(πft+φ) (95)
7 jπ f t -jπ f t jπ f t +.5e -jπ f t.5.5.5.5.5.5 -.5 -.5 -.5 - - - -.5-3 -.5-3 -.5-3 Σχήμα 8: Συζυγείς μιγαδικές εκθετικές συναρτήσεις και το πραγματικό άθροισμά τους. Το περιστρεφόμενο μιγαδικό εκθετικό διάνυσμα (με μαύρο χρώμα) βρίσκεται σε τυχαία θέση του άξονα του χρόνου (διακεκκομένη μαύρη γραμμή). δηλ. το πραγματικό και το φανταστικό μέρος της μιγαδικής εκθετικής συνάρτησης έχει μια αρχική φάση φ για t = με τιμή cos(φ) κα sin(φ) αντίστοιχα. Στο Σχήμα 9 μπορείτε να δείτε τη συμπεριφορά του ζεύγους συζυγών μιγαδικών εκθετικών συναρτήσεων για A = και φ = π 4, καθώς και του αθροίσματός τους. Από τα παραπάνω είναι j(π f t + π/4) -j(π f t + π/4)) j(π f t + π/4) + e -j(π f t + π/4).5.5.5.5 )φ = π 4.5 φ = π 4 ).5 -.5 -.5 -.5 / - - - -.5-3 -.5-3 -.5 - - 3 Σχήμα 9: Συζυγείς μιγαδικές εκθετικές συναρτήσεις με αρχική φάση φ = π/4 και το πραγματικό άθροισμά τους. Το περιστρεφόμενο μιγαδικό εκθετικό διάνυσμα (με μαύρο χρώμα) βρίσκεται σε τυχαία θέση του άξονα του χρόνου (διακεκκομένη μαύρη γραμμή) εμφανής η σχέση ημιτόνων και συνημιτόνων με το συζυγές ζεύγος μιγαδικών εκθετικών συναρτήσεων e ±j(πft+φ), σύμφωνα με τις Σχέσεις (94,95): ˆ Ενα συνημίτονο πλάτους A, συχνότητας f, και φάσης φ μπορεί να ειδωθεί ως το πραγματικό μέρος ενός περιστρεφόμενου μιγαδικού εκθετικού διανύσματος Ae j(πft+φ). ˆ Ενα ημίτονο πλάτους A, συχνότητας f, και φάσης φ μπορεί να ειδωθεί ως το φανταστικό μέρος ενός περιστρεφόμενου μιγαδικού εκθετικού διανύσματος Ae j(πft+φ). ˆ Ενα συνημίτονο πλάτους A, συχνότητας f, και φάσης φ μπορεί να ειδωθεί ως το άθροισμα δυο συζυγών περιστρεφόμενων μιγαδικών εκθετικών διανυσμάτων A e±j(πft+φ). ˆ Ενα ημίτονο πλάτους A, συχνότητας f, και φάσης φ μπορεί να ειδωθεί ως τη διαφορά δυο συζυγών περιστρεφόμενων μιγαδικών εκθετικών διανυσμάτων A e±j(πft+φ). Η παράγραφος αυτή είναι σημαντική για την κατανόηση των μιγαδικών εκθετικών συναρτήσεων, τη σχέση τους με τη συχνότητα ω ή f, και την αξιοποίησή τους σε πραγματικά προβλήματα μέσω των σχέσων της συζυγίας και του πραγματικού/φανταστικού μέρους τους. Μάλιστα, στην επόμενη παράγραφο θα δούμε πόσο χρήσιμες είναι αυτές οι σχέσεις!
8 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου.6 Ημίτονα Αφήνοντας για λίγο τις μιγαδικές συναρτήσεις και επιστρέφοντας στις καθαρά πραγματικές, μια πολύ σημαντική κατηγορία συναρτήσεων είναι τα ημιτονοειδή. Γι αυτό αξίζει τον κόπο να τα εξετάσουμε διεξοδικά. Ας δούμε τον γενικό τύπο των συναρτήσεων αυτών: x(t) = A cos(ω t + φ) = A cos(πf }{{} t + φ) (96) radians όπου A το πλάτος του ημιτονοειδούς, ω = πf η λεγόμενη κυκλική συχνότητα σε rad/s, με f να είναι η συχνότητα σε Hz, και φ η φάση μετατόπισης του ημιτονοειδούς. Για αποφυγή παρεξηγήσεων, χρησιμοποιούμε το συνημίτονο cos(.) αντί για το ημίτονο sin(.) ως τη γενική μορφή ενός ημιτονοειδούς σήματος, ανεξάρτητα αν οι συναρτήσεις αυτές ονομάζονται ημιτονο-ειδείς. Άλλωστε το ημίτονο και το συνημίτονο είναι οι ίδιες συναρτήσεις ακριβώς, μόνο που διαφέρουν κατά μια μετατόπιση, όπως φαίνεται και στο Σχήμα. sin( ft) cos( ft)............ T t T T T t Σχήμα : Ημίτονο (αριστερά) και Συνημίτονο (δεξιά). Ας μελετήσουμε ένα συγκεκριμένο ημιτονοειδές, το x(t) = cos(πt.4π) (97) Η συχνότητά του είναι f = Hz, και η περίοδός του είναι T = f =. s. Η περίοδος μας δίνει τις χρονικές στιγμές όπου η συνάρτηση επαναλαμβάνεται. Εδώ λοιπόν θα έχουμε μέγιστο τις χρονικές στιγμές t =...,.,.,,.,.,... Επομένως x(t + T ) = x(t) (98) cos(πf (t + T ) + φ) = cos(πf t + φ) (99) cos(πf t + πf T + φ) = cos(πf t + φ) = cos(πf t + kπ + φ), k N () 5 x ( 5 x ( ) 5 cos( ) x 3 ( ) 5 cos( )....5. t Σχήμα : Ημιτονοειδή για διάφορες συχνότητες f. Παρατηρούμε ότι θα πρέπει να ισχύει πf T = kπ T = k f () Ονομάζουμε βασική περίοδο ή απλά περίοδο του σήματος την τιμή του T για k =. Ετσι η περίοδος ενός
9 ημιτονοειδούς θα δίδεται από τη σχέση: T = f () και επίσης Επομένως T = f = =. ω = πf T = π ω (3) Στο Σχήμα βλέπουμε μερικά ημιτονοειδή για διάφορες συχνότητες f : για f = Hz, το x (t) = 5 cos(πt) = 5, για f = Hz, το x (t) = 5 cos(πt), και για f = Hz, το x 3 (t) = 5 cos(πt). Το ημιτονοειδές x (t) λέγεται και DC (Direct Current) συνιστώσα. Αυτή η ονομασία προέρχεται - και χρησιμοποιείται ακόμα - από την ηλεκτρονική..6. Μετατόπιση Φάσης Η συχνότητα f καθορίζει το κάθε πότε επαναλαμβάνονται τα μέγιστα και τα ελάχιστα ενός ημιτονοειδούς, ενώ η φάση φ καθορίζει το πού ακριβώς αυτά βρίσκονται. Αν φ = τότε το πρώτο μέγιστο βρίσκεται στο t = και έχει τιμή A cos() = A, ενώ σε κάθε άλλη περίπτωση όπου φ ( π, π] {}, το πρώτο μέγιστο έχει μετατοπιστεί στο χρόνο και έχει τιμή A cos(φ) A. Ομοια ισχύουν και για τα ελάχιστα. Ας συμβολίσουμε με x (t) το ημιτονοειδές με φ = : x (t) = A cos(πf t + φ) = A cos(πf t) (4) φ= Εστω λοιπόν ότι καθυστερούμε το ημιτονοειδές x (t) κατά t = t >. Τότε: όπου θέσαμε φ = πf t. x (t t ) = A cos(πf (t t )) = A cos(πf t πf t ) = A cos(πf t + φ) (5) t cos( ft ) f t...... cos( ft ) t cos( ) Ομως, T = f, επομένως έχουμε Σχήμα : Φάση φ, μετατόπιση t, και η μεταξύ τους σχέση. φ = πf t = π t T, (6) Αυτή η σχέση μας υποδεικνύει την τιμή που πρέπει να έχει η φάση φ για να έχουμε καθυστέρηση του ημιτονοειδούς κατά t = t. Ομοια συζήτηση μπορεί να γίνει και για προήγησή του κατά t = t <. Ενα παράδειγμα όπου απεικονίζονται όλα τα παραπάνω φαίνεται στο Σχήμα. Εδώ θα πρέπει να διευκρινήσουμε την ορολογία. Φάση ονομάζεται η ποσότητα που υπάρχει στο όρισμα του cos(.), δηλαδή η ποσότητα: πf t + φ. Φάση μετατόπισης ονομάζεται η ποσότητα φ. Ενα μικρό μπέρδεμα που προκύπτει πολύ συχνά στην βιβλιογραφία είναι ότι για λόγους απλότητας η φάση μετατόπισης αναφέρεται απλά ως φάση. Από εδώ και στο εξής θα αναφερόμαστε συχνά στην φάση μετατόπισης απλά ως φάση ενώ θα διαχωρίζουμε τις δύο φάσεις όταν αυτό είναι αναγκαίο.
3 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου Γενικά, εάν ένα ημιτονοειδές έχει περίοδο T, η μετατόπιση του είναι φραγμένη: t T Φυσικά και μπορούμε να μετακινήσουμε περισσότερο τη συνάρτηση του ημιτόνου, το αποτέλεσμα όμως που θα λάβουμε είναι το ίδιο, αφού το ημιτονοειδές είναι περιοδικό με περίοδο T. Επομένως από τις Σχέσεις (6) και (7) έχουμε π < φ π (8).6. Παραγωγή ημιτόνου Ενα ημιτονοειδές δεν έχει μόνο στενή μαθηματική ερμηνεία συναντάται πάρα πολλές φορές στην πράξη, περισσότερες απ όσες νομίζετε. Ισως το πιο οικείο σας παράδειγμα να είναι η παραγωγή ηχητικών κυμάτων - τα οποία γνωρίζουμε ότι μεταβάλλονται ημιτονοειδώς - μέσω ενός διαπασών, όπως αυτό του Σχήματος 3. Μάλιστα οι μουσικοί το χρησιμοποιούν πολύ συχνά για να κουρδίσουν τα όργανά τους. Ενα ιδανικό διαπασών εκπέμπει ένα ημίτονο μιας συγκεκριμένης συχνότητας όταν το χτυπήσουμε σε μια επιφάνεια. Αυτό σημαίνει ότι το άκρο του διαπασών δονείται μετά το χτύπημα εκτελώντας (ιδανικά) απλή αρμονική ταλάντωση. Η ταλάντωση του άκρου του προκαλεί όμοια κίνηση στα μόρια του αέρα γύρω του, αυτά ταλαντώνονται με την ίδια συχνότητα, διαδίδοντας το αρμονικό κύμα στα γειτονικά μόρια, και στο τέλος αυτή η κυματική διάδοση φτάνει και διεγείρει ακουστικά το αυτί μας, οπότε και αντιλαμβανόμαστε τον ήχο. Οι μεταβολές της πίεσης και της θέσης των μορίων του αέρα κατά την κυματική διάδοση έχουν ημιτονοειδή χαρακτηριστικά. Η παραγωγή του ημιτονοειδούς προέρχεται από απλές εφαρμογές γνωστών νόμων της Φυσικής. Αν θεωρήσουμε ότι το άκρο του διαπασών ταλαντώνεται όπως ένα ελατήριο, τότε η δύναμη του κυβερνά την ταλάντωση μπορεί να μοντελοποιηθεί από το νόμο του Hooke, δηλ. F = kx (9) Σχήμα 3: Διαπασών. με k μια σταθερά που σχετίζεται με την ελαστικότητα του διαπασών και x τη μετατόπιση του άκρου του από τη θέση ισορροπίας. Ομως, η δύναμη αυτή προκαλεί επιτάχυνση στο άκρο του διαπασών, οπότε μπορεί να περιγραφεί με όρους Μηχανικής ως F = ma () με m τη μάζα και a την επιτάχυνση του ταλαντούμενου άκρου. Η σύνθεση των δυο εξισώσεων δίνει (7) kx = ma kx(t) = m d x(t) () dt εφ όσον η ταλάντωση είναι μια κίνηση που μεταβάλλεται συναρτήσει του χρόνου και η επιτάχυνση αποτελεί το δεύτερη παράγωγο ως προς το χρόνο της συνάρτησης θέσης του άκρου του διαπασών. Η παραπάνω εξίσωση ονομάζεται διαφορική (καθώς εμπλέκει παραγώγους μιας συνάρτησης) και η ακριβής επίλυσή της θα μετατεθεί σε επόμενο κεφάλαιο. Ομως μπορούμε να σας πούμε ότι αν θέσετε ( k ) x(t) = A cos m t + φ στην παραπάνω εξίσωση, θα δείτε ότι επαληθεύεται! Μάλιστα η συχνότητα ταλάντωσης δίνεται από τη σχέση () ω = k m (3) Τι πρέπει να προσέξουμε ώστε ένα διαπασών να παράγει μια συγκεκριμένη νότα (π.χ. τη νότα ΛΑ, η οποία είναι μια ταλάντωση στα 44 Hz); Προφανώς θα πρέπει να ρυθμίσουμε τη μάζα και το είδος του υλικού κατασκευής του διαπασών (σταθερά k). Παρατηρήστε ότι η συχνότητα δεν εξαρτάται από την ένταση με την οποία θα χτυπήσουμε το διαπασών. Τέλος, οι παράμετροι A και φ εξαρτώνται από τις λεγόμενες αρχικές συνθήκες του προβλήματος, που ουσιαστικά μοντελοποιούν τι συμβαίνει στο βραχίονα του διαπασών όταν t =. Περισσότερα για αυτά θα πούμε σύντομα. Ισως σας είναι γνωστός από τις δυνάμεις ελατηρίων.
3.6.3 Άθροισμα δυο ημιτόνων Αν έχουμε δυο ημίτονα ίδιας συχνότητας αλλά με διαφορετικές φάσεις, μπορούμε να τα αθροίσουμε σε ένα ημίτονο ίδιας συχνότητας. Η τριγωνομετρία μας βοηθά σε αυτό, δίνοντάς μας τη γνωστή σχέση A cos(πf t + φ) = A cos(πf t) cos(φ) A sin(πf t) sin(φ) (4) Αν τώρα θέσουμε τότε η Σχέση (4) γράφεται X = A cos(φ) (5) Y = A sin(φ) (6) A cos(πf t + φ) = X cos(πf t) + Y sin(πf t) (7) Οι ποσότητες X, Y αντιστοιχούν στο ορθογώνιο τρίγωνο που σχηματίζεται από το μιγαδικό αριθμό z = X jy στο μιγαδικό επίπεδο (βλέπε Σχήμα 4). Πώς το καταλαβαίνουμε αυτό; Θυμηθείτε τις σχέσεις του Euler και τη μιγαδική εκθετική συνάρτηση που γνωρίσαμε πριν λίγες σελίδες. Είναι Y Im{ z} A X ( X, Y) Re{ z} Σχήμα 4: Μιγαδικός αριθμός z = X jy στην πρόσθεση δυο ημιτόνων ίδιας συχνότητας. A cos(πf t + φ) = R{Ae jφ e jπft } (8) και X cos(πf t) + Y sin(πf t) = R{Xe jπft } + R{Y e j π e jπf t } (9) αφού sin(πf t) = cos(πf t π/). Άρα R{Ae jφ e jπft } = R{Xe jπft } + R{Y e j π e jπf t } () R{Ae jφ e jπft } = R{Xe jπft + Y e j π e jπf t } () R{Ae jφ e jπft } = R{(X + Y e j π )e jπf t } () R{Ae jφ e jπft } = R{(X jy )e jπft } (3) αφού e jπ/ = j. Άρα πράγματι ο μιγαδικός αυτός μπορεί να γραφεί σε πολική μορφή ως z = X jy = Ae jφ = ( ) X + Y e j tan Y X (4) δηλ. τελικά A = X + Y (5) ( φ = tan Y ) X (6) Άρα για να βρούμε τις τιμές των A και φ, η πολική μορφή είναι πολύ βολική και μας δίνει κατευθείαν το αποτέλεσμα, αρκεί να δεχθούμε να περάσουμε μέσα από το μονοπάτι των μιγαδικών συναρτήσεων. Υπενθυμίζεται ότι η φάση φ πρέπει πάντα να εκφράζεται στο διάστημα ( π, π]. Η παραπάνω απλή περίπτωση γίνεται πιο σύνθετη αν θέλουμε να γράψουμε το άθροισμα A cos(πf t + φ ) + B cos(πf t + φ ) (7) ως έναν ημιτονοειδή όρο, δηλ. ως A cos(πf t + ψ). Εδώ η πολική μορφή αποτελεί σχεδόν μονόδρομο για μια εύκολη λύση. x(t) = A cos(πf t + φ ) + B cos(πf t + φ ) (8) = R{Ae j(πft+φ) } + R{Be j(πft+φ) } (9) = R{Ae jφ e jπft } + R{Be jφ e jπft } (3) = R{Ae jφ e jπft + Be jφ e jπft } (3) = R{(Ae jφ + Be jφ )e jπft } (3)
3 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου = R{Ae jψ e jπft } (33) = A cos(πf t + ψ) (34) με A = R{Ae jφ + Be jφ } + I{Ae jφ + Be jφ } (35) ψ = tan I{Aejφ + Be jφ } R{Ae jφ + Be jφ } (36) Τώρα μπορούμε να κάνουμε μια πολύ σημαντική παρατήρηση. Δείτε τις Σχέσεις (3-33). Οι μιγαδικοί συντελεστές των μιγαδικών εκθετικών συναρτήσεων e jπft ονομάζονται φάσορες - phasors - δεν είναι άλλοι από τους μιγαδικούς αριθμούς Ae jφ και Be jφ (37) Οι φάσορες χρησιμοποιούνται για να αναπαραστήσουν ημίτονα (και τις μεταξύ τους πράξεις) με πιο εύκολο τρόπο. Παρατηρήστε ότι η τριγωνομετρική εξίσωση είναι ισοδύναμη με την εξίσωση μιγαδικών αριθμών A cos(πf t + φ ) + B cos(πf t + φ ) = A cos(πf t + ψ) (38) και η λύση της, δηλ. η εύρεση των A, ψ, δίνεται από τις Σχέσεις (35-36)..6.4 Άθροισμα N ημιτόνων Ae jφ + Be jφ = Ae jψ (39) Ακόμα γενικότερα, έστω ότι έχουμε ένα πιο σύνθετο άθροισμα, το οποίο αποτελείται από πολλά ημιτονοειδή ίδιας συχνότητας, το οποίο περιγράφεται ως x(t) = N A k cos(πf t + φ k ) (4) k= Η έκφραση αυτή μπορεί να απλοποιηθεί αρκετά, αλλά αυτό είναι δύσκολο να γίνει με τους γνωστούς τύπους της τριγωνομετρίας που δείξαμε στην προηγούμενη παράγραφο. Αν χρησιμοποιήσουμε όμως πολικές μορφές υπάρχει αρκετή απλοποίηση: N N x(t) = A k cos(πf t + φ k ) = R{A k e j(πft+φk) } (4) k= k= k= (4) { N } { } [ N ] = R A k e j(πft+φ k) = R A k e jφ k e j(πft) = R{Ae jφ e j(πft) } (43) k= (44) = R{A cos(πf t + φ) + ja sin(πf t + φ)} = A cos(πf t + φ) (45) όπου ( N A = ( N R{A k e jφ k }) + I{A k e jφ k }) (46) φ = tan k= N I{A k e jφ k } k= N R{A k e jφ k } k= k= (47) Ας δούμε μερικά παραδείγματα.
33 Παράδειγμα..9: Λύστε την ακόλουθη εξίσωση ως προς θ: R{( + j)e jθ } = (48) Εχουμε διαδοχικά R { ( + j)e jθ} { } { = R e j π 4 e jθ = R e j(θ+ π )} 4 = (49) { R e j(θ+ π )} 4 = ( 3π ) = = cos (5) 4 ( cos θ + π ) ( 3π ) = cos (5) 4 4 Άρα θ + π 4 = kπ ± 3π θ = kπ + π 4, θ = kπ π, k Z k Z (5) Παράδειγμα..: Εστω η ημιτονοειδής συνάρτηση x(t) = 3 cos(πf t + π/3) + sin(πf t + π/) (53) Βρείτε μια μιγαδική συνάρτηση z(t) για την οποία να ισχύει x(t) = R{z(t)}. Είναι x(t) = 3 cos(πf t+ π 3 )+sin(πf t+ π ) = 3 cos(πf t+ π 3 )+cos(πf t) = R { ( 3e j π 3 + )e jπf t } (54) όπου Οπότε και Άρα z = + 3e j π 3 π = + 3 cos( 3 ) + 3j sin( π 3 ) = + 3 3 3 + j 3 = + + j 3 z = θ = tan 3 + 3 ( 3 + (55) ) 9 +.394 (56) 4 = tan 3 + =.677 rad (57) 3 z(t) =.394e j(πft+.677) (58).6.5 Περιοδικότητα N ημιτόνων Γνωρίζουμε ότι ένα ημίτονο A cos(πf t+φ ) είναι πάντα περιοδικό με περίοδο T = /f s. Τι συμβαίνει όμως όταν έχουμε αθροίσματα ημιτόνων; Είναι το άθροισμα N ημιτόνων περιοδικό; Κι αν ναι, υπό ποιές συνθήκες; Ας ξεκινήσουμε με ένα απλό άθροισμα δυο ημιτόνων ως x(t) = cos(πf t + φ ) + cos(πf t + φ ) (59) Καθένα από τα επιμέρους ημίτονα έχει περίοδο T = /f και T = /f, αντίστοιχα. Εστω ότι υπάρχει αριθμός
34 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου T ο οποίος αποτελεί την περίοδο του σήματος x(t). Τότε μπορούμε να γράψουμε x(t) = x(t + T ) (6) cos(πf t + φ ) + cos(πf t + φ ) = cos(πf (t + T ) + φ ) + cos(πf (t + T ) + φ ) (6) cos(πf t + φ ) + cos(πf t + φ ) = cos(πf t + πf T + φ ) + cos(πf t + πf T + φ ) (6) Για να ισχύει η τελευταία ισότητα, πρέπει { πf T = πk, k Z πf T = πl, l Z { f T = k, k Z f T = l, l Z (63) και άρα Αναδιατάσσοντας, έχουμε T = k f = l f = kt = lt, k, l Z (64) k l = f f = T T, k, l Z (65) Η παραπάνω σχέση μας λέει ότι για να είναι περιοδική η συνάρτηση x(t) πρέπει ο λόγος των περιόδων ή των συχνοτήτων των επιμέρους ημιτόνων να είναι λόγος ακεραίων. Αν ο λόγος των περιόδων ή των συχνοτήτων δεν είναι λόγος ακεραίων, τότε η συνάρτηση δεν είναι περιοδική. Ομως η παραπάνω μελέτη μας πληροφορεί αν η συνάρτηση είναι περιοδική ή όχι. Δε μας πληροφορεί για το ποιά είναι η περίοδός της, σε περίπτωση που αυτή είναι περιοδική. Ομως από τη σχέση T = kt = lt, k, l Z (66) καταλαβαίνουμε ότι η περίοδος T αποτελεί το ελάχιστο κοινό πολλαπλάσιο - Ε.Κ.Π των περιόδων T, T. Αντίστοιχα, αν η παραπάνω σχέση γραφεί ως f = f k = f, k, l Z (67) l καταλαβαίνουμε ότι η θεμελιώδης συχνότητα f της συνάρτησης αποτελεί το μέγιστο κοινό διαιρέτη - Μ.Κ.Δ των συχνοτήτων f, f. Οι παραπάνω παρατηρήσεις γενικεύονται για N το πλήθος ημίτονα. Παράδειγμα..: Ας ελέγξουμε αν η συνάρτηση είναι περιοδική. x(t) = cos(πt + π/3) sin(π4t) + 3 cos(π5t π/6) (68) Αν υπάρχει περίοδος T, τότε για αυτή θα πρέπει να ισχύει T = k = l 4 = m, k, l, m Z (69) 5 Προφανώς ο λόγος όλων των περιόδων ή συχνοτήτων ανά δυο είναι λόγος ακεραίων, άρα η συνάρτηση είναι περιοδική. Η θεμελιώδης του συχνότητα δίνεται ως Άρα η περίοδος της είναι T = /f =. s. f = Μ.Κ.Δ{, 4, 5} = Hz (7)
35 Παράδειγμα..: Ας ελέγξουμε αν η συνάρτηση x(t) = cos(πt π/5) + sin(4t) + sin(π5t + π/9) (7) είναι περιοδική. Αν υπάρχει περίοδος T, τότε για αυτή θα πρέπει να ισχύει T = k = l 4 π = m, k, l, m Z (7) 5 Παρατηρήστε ότι ο λόγος των δυο πρώτων συχνοτήτων δεν είναι λόγος ακεραίων, αφού 4 π = 4π 4 = π k, k, l Z (73) l μια και ο αριθμός π είναι άρρητος αριθμός. Άρα η συνάρτηση x(t) δεν είναι περιοδική, παρ όλο που τα επιμέρους ημίτονα είναι περιοδικά! Κλείνοντας, ο Πίνακας 4 αναφέρει μερικές χρήσιμες τριγωνομετρικές ταυτότητες. Τριγωνομετρικές Σχέσεις Α/Α Σχέση Α/Α Σχέση cos(x ± π/) = sin(x) sin(x ± π/) = ± cos(x) 3 sin(x) = sin(x) cos(x) 4 sin (x) + cos (x) = 5 cos(x) = cos (x) sin (x) 6 cos (x) = ( + cos(x)) 7 sin (x) = ( cos(x)) 8 sin(x ± y) = sin(x) cos(y) ± cos(x) sin(y) tan(x) ± tan(y) 9 cos(x ± y) = cos(x) cos(y) sin(x) sin(y) tan(x ± y) = tan(x) tan(y) sin(x) sin(y) = (cos(x y) cos(x + y)) cos(x) cos(y) = (cos(x y) + cos(x + y)) 3 sin(x) cos(y) = (sin(x y) + sin(x + y)) Πίνακας 4: Πίνακας Χρήσιμων Τριγωνομετρικών Σχέσεων.7 Ανάπτυγμα σε Μερικά Κλάσματα Σε αυτήν την Παράγραφο, θα περιγράψουμε την μέθοδο του Αναπτύγματος σε Μερικά Κλάσματα (Partial Fraction Expansion - PFE), που θα μας είναι χρήσιμη στη μελέτη σημάτων και συστημάτων γενικότερα. Οπως λέει και το όνομά της, η μέθοδος PFE διασπά μια ρητή συνάρτηση F (x), με συνήθως υψηλής τάξης πολυώνυμα στον αριθμητή και στον παρονομαστή, σε απλά κλάσματα, με σταθερά ή πρωτοβάθμια πολυώνυμα στον αριθμητή και πρωτοβάθμια ή δευτεροβάθμια πολυώνυμα στον παρονομαστή. Ουσιαστικά πρόκειται για την αντίστροφη διαδικασία της πρόσθεσης κλασμάτων σε κοινό παρονομαστή. Η χρησιμότητα του αναπτύγ Η μέθοδος που ακολουθούμε για την PFE είναι πολύ απλή, και απλά χρειάζεται τριβή για να τη συνηθίσει κανείς. Υπάρχουν δυο συνήθεις περιπτώσεις PFE, οι οποίες εξαρτώνται από την ταξη των ριζών του παρονομαστή. Πρέπει να σημειωθεί ότι η PFE εφαρμόζεται μόνον όταν ο βαθμός του πολυωνύμου του αριθμητή είναι γνήσια μικρότερος του βαθμού του πολυωνύμου του παρονομαστή. Αν δεν ισχύει αυτό, τότε πρέπει να κάνουμε πρώτα διαίρεση πολυωνύμων αριθμητή και παρονομαστή, ώστε να καταλήξουμε σε περίπτωση που μπορούμε να εφαρμόσουμε τη μέθοδο PFE. Δεδομένου ότι ισχύει η παραπάνω σχέση μεταξύ των βαθμών των πολυωνύων, διακρίνουμε λοιπόν τις περιπτώσεις:
36 Επεξεργασία Σήματος Συνεχούς και Διακριτού Χρόνου. Ο παρονομαστής έχει απλές ρίζες. Ο παρονομαστής έχει μια ή περισσότερες ρίζες πολλαπλότητας r.7. Απλές ρίζες Θεωρούμε πρώτα την πιο απλή περίπτωση, όπου η συνάρτησή μας F (x) = P (x) Q(x) (74) έχει απλές ρίζες στον παρονομαστή της, Q(x). Θεωρήστε το ακόλουθο παράδειγμα: F (x) = b mx m + b m x m + + b x + b x n + a n x n, m < n (75) + + a x + a P (x) = (x ρ )(x ρ ) (x ρ n ) Μπορούμε να δείξουμε ότι η παραπάνω σχέση μπορεί να γραφεί ως F (x) = k + k + + k n (76) x ρ x ρ x ρ n Για να βρούμε τον συντελεστή k, πολλαπλασιάζουμε και τις δυο πλευρές της παραπάνω σχέσης με (x ρ ), και έπειτα θέτουμε x = ρ. Άρα (x ρ )F (x) = x=ρ [ k + k (x ρ ) x ρ + k 3(x ρ 3 ) x ρ 3 + + k n(x ρ ) x ρ n ] x=ρ (77) Ολοι οι όροι στη δεξιά πλευρά απαλείφονται, εκτός του k. Άρα καταλήγουμε στο k = (x ρ )F (x) (78) x=ρ Παρόμοια, καταλήγουμε ότι k i = (x ρ i )F (x), i =,,, n (79) x=ρi Η παραπάνω διαδικασία δουλεύει ανεξάρτητα από το αν οι ρίζες είναι πραγματικές ή μιγαδικές..7. Ρίζες πολλαπλότητας r Αν η συνάρτηση F (x) έχει πολλαπλή ρίζα, με πολλαπλότητα r, στον παρονομαστή, τότε θα είναι της μορφής F (x) = P (x) (x λ) r (x ρ )(x ρ )(x ρ 3 ) (x ρ j ) (8) Το Ανάπτυγμα σε Μερικά Κλάσματα για αυτή τη συνάρτηση δίνεται ως d F (x) = (x λ) r + d (x λ) r + + d r (x λ) (8) + k + k + + k n x ρ x ρ x ρ n (8) Οι συντελεστές k i αντιστοιχούν στις ρίζες χωρίς πολλαπλότητα και υπολογίζονται όπως περιγράψαμε στην προηγούμενη παράγραφο. Για να βρούμε τους συντελεστές d,, d r, πολλαπλασιάζουμε και τα δυο μέλη με (x λ) r : (x λ) r F (x) = d + d (x λ) + d (x λ) + + d r (x λ) r + + k (x λ) r x ρ + k (x λ) r x ρ + + k n (x λ) r x ρ n (83) Θέτοντας x = λ και στα δυο μέλη, έχουμε (x λ) r F (x) = d (84) x=λ
37 Άρα το d υπολογίζεται κρύβοντας τον όρο (x λ) r στην F (x), και θέτοντας x = λ στη σχέση που απομένει. Αν παραγωγίσουμε τη Σχέση (83) ως προς x, το δεξιό μέλος καταλήγει στο d + όροι που περιέχουν το (x λ) στους αριθμητές. Θέτοντας x = λ και στα δυο μέλη, έχουμε d [ ] (x λ) r F (x) = d (85) dx x=λ Άρα, το d υπολογίζεται κρύβοντας τον όρο (x λ) r από τον όρο F (x), παραγωγίζοντας την υπόλοιπη έκφραση ως προς x και μετά θέτοντας x = λ. Συνεχίζοντας κατ αυτόν τον τρόπο, έχουμε ότι d i = d i i! dx i [(x λ)r F (x)] (86) x=λ Άρα ο συντελεστής d i υπολογίζεται κρύβοντας τον όρο (x λ) r στο F (x), υπολογίζοντας μετά την i οστή παράγωγο την έκφρασης που απομένει, διαιρώντας με i!, και τέλος θέτοντας x = λ. Υπάρχουν αρκετές συντομεύσεις και παραλλαγές που μπορούν να γίνουν για να διευκολυνθεί η επίτευξη της PFE, αλλά οι παραπάνω δυο περιπτώσεις είναι οι πιο γενικές και αυτές θα ακολουθήσουμε στη συνέχεια. Παράδειγμα..3: Αναπτύξτε σε Μερικά Κλάσματα τη συνάρτηση f(x) = 3x + x x 6 (87) Η τάξη του πολυωνύμου του αριθμητή είναι μικρότερη του παρονομαστή, άρα μπορούμε να εφαρμόσουμε απευθείας το ανάτπυγμα. Θα είναι με f(x) = 3x + x x 6 = 3x + (x + )(x 3) = A x + + B x 3 (88) 3x + A = (x 3)(x + ) (x + ) x= 3x + 6 + = = = (89) x 3 x= 5 3x + B = (x + )(x 3) (x 3) x=3 3x + = = 9 + = 4 (9) x + x=3 5 Οπότε Παράδειγμα..4: f(x) = 4 x 3 x + (9) Αναπτύξτε σε Μερικά Κλάσματα τη συνάρτηση f(x) = x4 5x 3 + 6x 8 x 3 3x (9) Εδώ η τάξη του πολυωνύμου του αριθμητή είναι μεγαλύτερη του παρονομαστή, οπότε πριν το ανάπτυγμα θα χρειαστεί διαίρεση των πολυωνύμων. Η διαίρεση θα σταματήσει όταν το πολυώνυμο του υπολοίπου έχει μικρότερη τάξη από αυτή του διαιρέτη. Η διαίρεση φαίνεται στο Σχήμα 5.Άρα θα είναι f(x) = x4 5x 3 + 6x 8 x 3 3x = x + 8 x (x 3) = x + A x + B x + 8 = x x 3 3x (93) C x 3 (94)