PSD — Power Spectral Density
Στο FT chapter §10 είδαμε ότι για ντετερμινιστικά energy signals, η autocorrelation έχει FT ίση με την Energy Spectral Density :
Αλλά για random processes (ή genericά power signals), το δεν είναι καλά ορισμένο — γιατί το είναι μια συγκεκριμένη realization, και διαφορετικές realizations δίνουν διαφορετικά .
Σε αυτό το κεφάλαιο γενικεύουμε την Wiener-Khinchin για WSS random processes:
- Ορίζουμε την Power Spectral Density (PSD) .
- Wiener-Khinchin theorem — .
- Ιδιότητες της PSD.
- Παραδείγματα — λευκός θόρυβος, sinusoid, lowpass, bandpass.
- Πώς διαβάζουμε ισχύ από την PSD.
1. Από ESD σε PSD — γιατί χρειαζόμαστε νέο εργαλείο
Για ντετερμινιστικό σήμα έχουμε ενέργεια:
Αλλά για ένα random process WSS με σταθερή ισχύ, η συνολική ενέργεια είναι άπειρη () — άρα δεν μπορούμε να ορίσουμε ESD.
Αντί για ενέργεια χρησιμοποιούμε μέση ισχύ:
(Από WSS, σταθερή σε όλα τα t.)
Η PSD είναι η κατανομή αυτής της ισχύος στις συχνότητες:
2. Wiener-Khinchin theorem — η σύνδεση R_X ↔ S_X
Το θεμελιώδες αποτέλεσμα:
Σημαντικό: η PSD είναι η FT της autocorrelation — όχι του ίδιου του σήματος. Η αυτοσυσχέτιση είναι το «μη-τυχαίο πρόσωπο» του random process — όλη η spectral information κρύβεται εκεί.
🎯 Κλείνει υπόσχεση από /foundations/fourier-transform §10: εκεί ορίσαμε τη ντετερμινιστική ESD ως FT της autocorrelation. Εδώ εκτείνουμε στο random/power case: η ίδια FT-ταυτότητα ισχύει με PSD αντί ESD.
Διαισθητική απόδειξη
Τυπική απόδειξη: ορίζουμε truncated process και υπολογίζουμε . Παίρνοντας προκύπτει η Wiener-Khinchin.
Διαισθητικά: η FT της autocorrelation σπάει τη μνήμη του process σε «πόσο γρήγορα ξεχνάει». Αν είναι «πλατιά» (αργή λήθη), τότε είναι «στενή» (χαμηλή frequency content). Αν είναι δ-spike (καμία μνήμη — λευκός θόρυβος), τότε είναι flat (όλες οι συχνότητες ίδιες ισχύς).
3. Ιδιότητες της PSD
| Ιδιότητα | Τύπος | Προέλευση |
|---|---|---|
| Πραγματική | είναι real → FT είναι real για άρτια | |
| Άρτια | είναι άρτια → FT είναι άρτια real | |
| Μη-αρνητική | non-negative definiteness της | |
| Συνολική ισχύς | Από WK με | |
| Bandpass / lowpass | έχει υποστήριξη μόνο όπου το process έχει frequency content | by definition |
Η μη-αρνητικότητα είναι κρίσιμη — σημαίνει ότι η PSD μετρά πραγματική ισχύς σε κάθε συχνότητα. Δεν μπορεί να είναι αρνητική, διαφορετικά «θα έβγαζες ενέργεια» από συχνότητες, που είναι αδύνατο φυσικά.
4. Παραδείγματα PSD
Πάμε να συνδέσουμε γνωστά autocorrelation patterns με PSDs:
Αυτοσυσχέτιση RX(τ) και PSD SX(f) — Wiener-Khinchin
(α) Λευκός θόρυβος
→ (επίπεδη).
Όνομα: «λευκός» γιατί όλες οι συχνότητες έχουν ίδια ισχύ, όπως το λευκό φως. Στην πράξη, δεν υπάρχει αληθινά λευκός θόρυβος (θα είχε άπειρη ισχύ) — ο θόρυβος που μετράμε είναι «λευκός σε εύρος που μας ενδιαφέρει» (συνήθως μέχρι κάποια GHz).
(β) Τυχαίας φάσης sinusoid
→ .
Συνέπεια: όλη η ισχύς συγκεντρώνεται σε δύο impulses στις . Λογικό — ο sinusoid έχει συγκεκριμένη συχνότητα.
(γ) Lowpass-bandlimited θόρυβος
Αν για και 0 αλλιώς (ιδανικό LPF στον λευκό θόρυβο), τότε
(η συμμετρική FT του rect είναι sinc).
Διαβάζεται: ο θόρυβος μετά από LPF έχει «κάποια μνήμη» — η αυτοσυσχέτιση πέφτει σε αργό sinc, όχι σε δ-spike. Όσο μικρότερο το , τόσο πιο πλατύ το sinc — δηλαδή ο θόρυβος γίνεται πιο «αργός».
(δ) Bandpass θόρυβος
PSD επίπεδο σε ζώνη (και συμμετρικά αρνητική) → autocorrelation:
Δηλαδή lowpass-style envelope πολλαπλασιασμένο με carrier — όπως η bandpass εκδοχή ενός sinc.
5. Συνολική ισχύς από την PSD
Πρακτική χρήση: σε FM-in-noise υπολογισμούς, όπου ο θόρυβος μετά τον discriminator έχει μέσα σε :
Αυτό ακριβώς εμφανίστηκε στο /fm/in-noise Section 4.
6. Cross-PSD
Για δύο jointly WSS processes :
Γενικά μιγαδική (σε αντίθεση με αυτο-PSD που είναι real-even). Ικανοποιεί .
Αν τα δύο processes είναι uncorrelated (), τότε — δηλαδή δεν υπάρχει συσχέτιση σε καμία συχνότητα.
7. PSD μετά από LTI φίλτρο
Πανίσχυρο αποτέλεσμα. Αν περάσεις WSS process με PSD μέσα από LTI φίλτρο με transfer function , η έξοδος είναι WSS και η PSD της είναι:
Παρατηρήσεις:
- Η φάση του δεν εμφανίζεται — μόνο το μέτρο. Λογικό, αφού η PSD μετρά μόνο ισχύς.
- Αυτή η εξίσωση είναι το βασικό εργαλείο για να αναλύσεις πώς ο θόρυβος αλλάζει μέσα από φίλτρα — που είναι όλη η δουλειά του Noise group που έρχεται.
Παράδειγμα: ιδανικό LPF με cutoff έχει για και 0 αλλιώς. Αν εισέρχεται λευκός θόρυβος ():
Output power:
8. Worked example — ισχύς θορύβου σε συγκεκριμένη ζώνη
9. Σύνοψη formulas
| Έννοια | Τύπος |
|---|---|
| Wiener-Khinchin (random) | |
| Inverse | |
| Total power | |
| Properties | , real, even |
| Cross-PSD | (γενικά μιγαδικό) |
| Filter output PSD | |
| Output power |
Εξάσκηση
Πέντε ερωτήσεις πάνω στο PSD και τη σχέση του με autocorrelation και LTI φίλτρα.
Τι μάθαμε
- Για WSS random process, ορίζουμε PSD — η FT της αυτοσυσχέτισης.
- Wiener-Khinchin theorem (random version): η ίδια FT-σχέση που ισχύει για ντετερμινιστικά energy signals (ESD ↔ R) εκτείνεται στο random/power case (PSD ↔ R_X).
- Properties: , real, even. Συνολική ισχύς .
- Φιλτράρισμα WSS process μέσω LTI: — η PSD πολλαπλασιάζεται με τη squared magnitude του φίλτρου.
- Αυτή η μηχανή είναι η βασική γλώσσα του Noise group που έρχεται. Ξέροντας μόνο PSDs μπορούμε να υπολογίσουμε output noise σε οποιονδήποτε δέκτη.
🎯 Κλείνει υπόσχεση από /foundations/fourier-transform §10 (random-signal Wiener-Khinchin).
Έχουμε ολοκληρώσει την Randomness ομάδα. Επόμενα βήματα: Noise group — εφαρμογή όλων αυτών σε θερμικό θόρυβο, λευκό θόρυβο, θόρυβος μέσα από φίλτρα, και SNR.