ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΑ ΤΜΗΜΑ ΣΤΑΤΙΣΤΙΚΗΣ ΚΑΙ ΑΣΦΑΛΙΣΤΙΚΗΣ ΕΠΙΣΤΗΜΗΣ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ ΣΤΑΤΙΣΤΙΚΗ Ι ΜΙΑ ΣΥΝΤΟΜΗ ΑΝΑΣΚΟΠΗΣΗ

Transcript

1 ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΕΙΡΑΙΑ ΤΜΗΜΑ ΣΤΑΤΙΣΤΙΚΗΣ ΚΑΙ ΑΣΦΑΛΙΣΤΙΚΗΣ ΕΠΙΣΤΗΜΗΣ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥΔΩΝ ΣΤΑΤΙΣΤΙΚΗ Ι ΜΙΑ ΣΥΝΤΟΜΗ ΑΝΑΣΚΟΠΗΣΗ ΓΕΩΡΓΙΟΣ ΤΖΑΒΕΛΑΣ ΕΠΙΚΟΥΡΟΣ ΚΑΘΗΓΗΤΗΣ Ακαδημαϊκό έτος 03-4

2 Τι είναι η Στατιστική; Είναι η επιστήμη η οποία ασχολείται με την ) συλλογή δεδομένων ) ταξινόμηση και επεξεργασία δεδομένων 3) εξαγωγή συμπερασμάτων. Θα μιλήσουμε για το (3) Το (3) είναι η πεμπτουσία της στατιστικής: Να βγάζουμε συμπεράσματα από το μέρος (δείγμα) για το σύνολο (Πληθυσμό).

3 ΑΝΑΛΟΓΑ ΜΕ ΤΙΣ ΥΠΟΘΕΣΕΙΣ ΠΟΥ ΚΑΝΕΙ ΚΑΝΕΙΣ ΔΙΑΚΡΙΝΕΤΑΙ ΣΕ ΠΑΡΑΜΕΤΡΙΚΗ ΣΤΑΤΙΣΤΙΚΗ (Η κατανομή θεωρείται γνωστή εκτός από κάποιες παραμέτρους) ΜΗ ΠΑΡΑΜΕΤΡΙΚΗ ΣΤΑΤΙΣΤΙΚΗ (Η κατανομή θεωρείται άγνωστη) ΗΜΙΠΑΡΑΜΕΤΡΙΚΗ ΣΤΑΤΙΣΤΙΚΗ (Μερική γνώση της κατανομής) ΑΝΑΛΟΓΑ ΜΕ ΤΟ ΑΝΤΙΚΕΙΜΕΝΟ ΠΟΥ ΜΕΛΕΤΑ ή ΤΑ ΕΡΓΑΛΕΙΑ ΠΟΥ ΧΡΗΣΙΜΟΠΟΙΕΙ ΔΙΑΚΡΙΝΕΤΑΙ ΣΕ ΔΙΑΦΟΡΟΥΣ ΚΛΑΔΟΥΣ ΟΠΩΣ κ.λπ. ΑΝΑΛΥΣΗ ΧΡΟΝΟΣΕΙΡΩΝ ΜΠΕΥΖΙΑΝΗ ΣΤΑΤΙΣΤΙΚΗ ΒΙΟΣΤΑΤΙΣΙΚΗ SEQUENCIAL ANALYSIS EKTIMHTIKH 3

4 ΤΟ ΠΡΟΒΛΗΜΑ Έστω,, είναι δείγμα από ανεξάρτητες παρατηρήσεις από την ίδια κατανομή,θ, Σκοπός μας: Μέθοδοι εκτίμησης της παραμέτρου θ Οι υποθέσεις της κλασικής συμπερασματολογίας είναι; Οι παρατηρήσεις είναι ανεξάρτητες μεταξύ τους Οι παρατηρήσεις έχουν την ίδια κατανομή Η κατανομή είναι γνωστή. Τέτοιο δείγμα το ονομάζουμε τυχαίο δείγμα (τ.δ.) f. 4

5 ΒΑΣΙΚΟΙ ΟΡΙΣΜΟΙ Στατιστική συνάρτηση: Μια συνάρτηση των δεδομένων (χωρίς αγνώστους). π.χ. η μέση τιμή η διακύμανση s = είναι στατιστικές συναρτήσεις. Ακόμα αν μ είναι γνωστή, η συνάρτηση μ s = είναι σ.σ. Αν η μ δεν είναι γνωστή τότε δεν είναι σ.σ. Ένας εκτιμητής (ή εκτιμήτρια) της παραμέτρου θ είναι μια στατιστική συνάρτηση. Προσοχή: Άλλο εκτίμηση, άλλο εκτιμητής. 5

6 Ας τον ονομάσουμε θˆ Τι ιδιότητες πρέπει να έχει; Προφανώς πρέπει να είναι κοντά στο θ. Τι σημαίνει όμως κοντά ; Θυμηθείτε: ο θˆ είναι μια τυχαία μεταβλητή και ο θ άγνωστη ποσότητα Έτσι δεν έχει νόημα να μιλάμε για την απόσταση θˆ θ αφού το θ δεν είναι γνωστό. Υιοθετούμε το Μέσο Τετραγωνικό Σφάλμα (ΜΤΣ) Όμως Ε θ ˆ θ Ε θ ˆ θ = Εθˆ Εθˆ + Εθ ˆ θ.. Δηλαδή ΜΤΣ = διακύμανση + μεροληψία Έτσι ένας καλός εκτιμητής πρέπει να έχει μικρό ΜΤΣ Αν Εθˆ = θ ο εκτιμητής λέγεται αμερόληπτος. 6

7 (Το να είναι ένας εκτιμητής αμερόληπτος δεν είναι αρκετό για να είναι καλός) Τρόποι εύρεσης εκτιμητών Οι εκτιμητές θα συγκρίνονται μεταξύ τους με το κριτήριο του ΜΤΣ ˆ θ ˆ Ένας εκτιμητής είναι καλύτερος από τον θ όταν ΜΤΣ( θ ˆ, θ) ΜΤΣ( θ ˆ, θ) για όλα τα θ στον Θ. Παράδειγμα Έστω ανεξάρτητο δείγμα,,..., από Βm, p. Θεωρούμε δυο εκτιμητές του p τον Τ Ποιος εκτιμητής είναι καλύτερος; = = = και τον T = m = = m 7

8 Απάντηση Και οι δυο εκτιμητές είναι αμερόληπτοι. Άρα p p ΜΤΣ(,θ)=var( Τ )= και Τ = m ΜΤΣ(,θ)=var( )= Τ Τ p p = m. Ποιος είναι καλύτερος; Απάντηση : Συγκρίνοντας τις διακυμάνσεις βρίσκουμε ότι καλύτερος είναι ο Τ. Βασικά η σύγκριση ανάγεται στην ανισότητα m η οποία ισχύει. Γιατί ; m 8

9 Πως ελέγχουμε τις ιδιότητες ενός εκτιμητή; Με προσομοίωση Τι είναι η προσομοίωση; Είναι μια διαδικασία με την οποία παράγουμε τυχαία δείγματα από μια κατανομή. Η βασική αρχή της είναι το εξής θεώρημα Αν Χ είναι τ.μ. με σκ F(), τότε η τ.μ. Υ=F() ακολουθεί την ομοιόμορφη U[0,]. Άρα αν πάρω τυχαίο δείγμα y, y,... y από την ομοιόμορφη κατανομή, οι τιμές F ( y ), F ( y ),..., F ( ) ακολουθούν την κατανομή F. y Δηλαδή ο υπολογιστής επιλέγει ένα τυχαίο δείγμα από το διάστημα [0,] και παίρνει τις αντίστροφες τιμές F -. Στην πράξη ο υπολογιστής δεν παράγει τυχαίο δείγμα αλλά ψευδο-τυχαίο. Πίσω στο παράδειγμά μας Με την παρακάτω διαδικασία στο Mathematca παράγουμε 000 δείγματα των =5. 9

10 Η μέση τιμή των 000 τιμών του εκτιμητή Τ είναι Ε( Τ )= Με διακύμανση Var(T )= Για τον Τ έχουμε Ε( Τ )= Με διακύμανση Var(T )= Σχήμα Ιστόγραμμα των τιμών Τ Ιστόγραμμα των τιμών Τ Δυστυχώς δεν υπάρχει βέλτιστος εκτιμητής με το κριτήριο του ΜΤΣ. 0

11 Θα αναζητήσουμε έναν βέλτιστο εκτιμητή σε ένα μικρότερο σύνολο. Στο σύνολο των αμερόληπτων εκτιμητών ΔΕΔΟΜΕΝΟΥ ΟΤΙ ΥΠΑΡΧΟΥΝ ΑΜΕΡΟΛΗΠΤΟΙ ΕΚΤΙΜΗΤΕΣ!!!!!!!! Δεν υπάρχει πάντα αμερόληπτος εκτιμητής για μια άγνωστη ποσότητα. π.χ. Αν ~B(,p) τότε δεν υπάρχει αμερόληπτος εκτιμητής για το /p. ΥΠΟΘΕΤΟΥΜΕ ΛΟΙΠΟΝ ΟΤΙ ΤΟ ΣΥΝΟΛΟ ΤΩΝ ΑΜΕΡΟΛΗΠΤΩΝ ΕΚΤΙΜΗΤΩΝ ΔΕΝ ΕΙΝΑΙ ΚΕΝΟ Θα ψάξουμε για Αμερόληπτους Ομοιομόρφως Ελαχίστης Διασποράς (ΑΟΕΔ) Πρώτα θα δώσουμε τον ορισμό της επαρκούς σ.σ. Μιά σ.σ. ΤΧ λέγεται επαρκής για την θ όταν η δεσμευμένη κατανομή του Χ δοθέντος ΤΧ δεν εξαρτάται από το θ.

12 Παράδειγμα Έστω δείγμα,,... από την Β(,p) και Τότε P =, Τ = = =,..., = T = t = t Όλη η πληροφορία για το p βρίσκεται στην Τ. Η επάρκεια είναι δύσκολο να ελεγχθεί. Ευτυχώς υπάρχει το παραγοντικό Θεώρημα. Η Τ = Τ είναι επαρκής για την θ όταν η π.π. της γράφεται στη μορφή

13 f ;θ= qt,θ h, Στο προηγούμενο Παράδειγμα f, p = p p p p... p p p Έτσι p, p= p p q και h = Επομένως μια επαρκής στατιστική συνάρτηση είναι η Ερώτηση Ποια είναι η επαρκής σσ στο Παράδειγμα ; T ( ) 3

14 4 Απάντηση Εύκολα βρίσκουμε ότι m p p m p p m p p m p p m = p, f... m m m Πάλι ο T ) (. Αυτό είναι μια ερμηνεία γιατί ο Τ είναι καλύτερος σε σχέση με τον Τ. Που μας χρειάζεται η επάρκεια; Απάντηση. Για να βελτιώσουμε έναν αμερόληπτο εκτιμητή του θ Πως;

15 Με την διαδικασία Rao-Blackwell. Δηλαδή: Ξεκινώ με έναν αμερόληπτο εκτιμητή Τ του θ. Στη συνέχεια βρίσκω τον εκτιμητή = ET T Τ O T είναι μια βελτίωση του Τ με την έννοια ότι είναι αμερόληπτος και ΜΤΣ(,θ)<ΜΤΣ( T,θ) T Αν η Τ =Τ είναι και πλήρης τότε ο T είναι ο ΑΟΕΔ. Ορισμός Η οικογένεια κατανομών του Τ λέγεται πλήρης όταν για κάθε συνάρτηση E θ ht = 0 τότε ht = 0. ht του Τ έχουμε ότι αν Ο ΑΟΕΔ ΕΙΝΑΙ ΕΝΑΣ ΑΜΕΡΟΛΗΠΤΟΣ ΕΚΤΙΜΗΤΗΣ ΠΟΥ ΕΙΝΑΙ ΣΥΝΑΡΤΗΣΗ ΜΙΑΣ ΠΛΗΡΟΥΣ ΚΑΙ ΕΠΑΡΚΟΥΣ Σ.Σ. 5

16 Εν γένει η εύρεση ΑΟΕΔ εκτιμητών είναι μια δύσκολη υπόθεση Ευτυχώς υπάρχουν οι εκθετικές οικογένειες κατανομών ΕΚΘΕΤΙΚΕΣ ΟΙΚΟΓΕΝΕΙΕΣ ΚΑΤΑΝΟΜΩΝ Για Μονοδιάστατη Εκθετική Οικογένεια Κατανομών Η οικογένεια κατανομών του είναι μια ΜΕΟΚ αν γράφεται στη μορφή f,θ= ep Αθ + Β+Cθ Τ και το στήριγμα δεν εξαρτάται από το θ. Παράδειγμα 3 Έστω δείγμα,,..., f ;θ = e θ θ για! από την Posso. N Τότε 6

17 f ;θ= f ;θ = = = e θ θ! = e θ θ = f ;θ= ep θ + logθ = log Για Πολυδιάστατη Εκθετική Οικογένεια Κατανομών Βασικός τύπος Η οικογένεια κατανομών του είναι μια ΠΕΟΚ αν γράφεται στη μορφή f k,θ= ep Αθ + Β+ C θ Τ = και το στήριγμα δεν εξαρτάται από το θ. Παράδειγμα 4 7

18 Για δείγμα από την κανονική κατανομή όπου μ αλλά και σ άγνωστοι. f,θ = ep logσ logπ σ + μ σ μ σ. Τι το καλό έχουν οι κατανομές αυτές; Έχουν πολλές και χρήσιμες ιδιότητες απλά και μόνο επειδή γράφονται στη μορφή αυτή. π.χ. Αν η οικογένεια κατανομών του είναι μια ΜΕΟΚ τότε η είναι επαρκής. Αν το πεδίο τιμών του Cθ περιέχει ένα ανοιχτό διάστημα τότε είναι και πλήρης. Οι εκθετικές οικογένειες κατανομών ικανοποιούν τις συνθήκες ομαλότητας των Cramer-Rao Η πιο σπουδαία εφαρμογή των εκθετικών οικογενειών κατανομών είναι στα γενικευμένα γραμμικά μοντέλα. Τα μοντέλα αυτά γενικεύουν τα κλασσικά μοντέλα παλινδρόμησης στα οποία η βασική υπόθεση είναι οι παρατηρήσεις μας να ακολουθούν κανονική κατανομή. Στα ΓΓΜ η υπόθεση αυτή αίρεται και αντικαθίσταται με την υπόθεση οι παρατηρήσεις να ακολουθούν μια εκθετική οικογένεια κατανομών. Η σπουδαιότητα είναι προφανής. T 8

19 Έχουμε δει τους Αμερόληπτους Ομοιόμορφα Ελαχίστης διασποράς Πόσο μικρή μπορεί να είναι η διασπορά τους; Απάντηση δίνει η ανισότητα Cramer-Rao. 9

20 Ανισότητα Cramer-Rao Αν η οικογένεια κατανομών του και Ε θ Τ = hθ τότε Var θ Τ h' θ Iθ θ. όπου Ι θ = Ε f ;θ = Ε logf ;θ θ log θ θ θ είναι ο πληροφοριακός αριθμός του Fsher ικανοποιεί κάποιες συνθήκες ομαλότητας Παράδειγμα 5 Θεωρούμε ένα δείγμα από την,,..., από την Beroull B(,θ). Αφού είναι εκθετική οικογένεια κατανομών ισχύουν οι συνθήκες ομαλότητας των C-R. Ποιό είναι το κάτω φράγμα της διασποράς για έναν αμερόληπτο εκτιμητή του θ; 0

21 Μάλλον εύκολα μπορούμε να δούμε ότι Ι θ = Ε logf ;θ θ Έτσι αν T var θ θ Τ θ = θ θ είναι ένας αμερόληπτος εκτιμητής του θ θ. Εδώ μπορούμε να πιάσουμε το κάτω φράγμα. Δεν είναι πάντα έτσι. Παράδειγμα 6 Για το ίδιο δείγμα θέλουμε να εκτιμήσουμε το θ.

22 Για τους αμερόληπτους εκτιμητές του θ το κάτω φράγμα της διασποράς είναι v = 4θ 3 θ. Όμως ο ΑΟΕΔ εκτιμητής του Τ με = T var θ = θ (γιατί;) θ + 3 Μπορούμε να δούμε ότι θ θ. είναι ο v. var θ T Έτσι είναι μάλλον σπάνιο ένας εκτιμητής να πιάνει το κάτω φράγμα. Όμως Μπορούμε να πλησιάσουμε όσο κοντά θέλουμε στο κάτω φράγμα (όταν αυξάνουμε το δείγμα).

23 Πώς; Με τον εκτιμητή μέγιστης πιθανοφάνειας (ΕΜΠ ) Είναι ο εκτιμητής ο οποίος μεγιστοποιεί την λογαριθμική συνάρτηση πιθανοφάνειας ma{ L;θ,θ Θ} = L;θˆ Πως τον βρίσκουμε; Λύνουμε την εξίσωση (ή το σύστημα) log f ;θ = 0 θ Θεώρημα: Αν ισχύουν οι συνθήκες κανονικότητας τότε το παραπάνω σύστημα έχει μια λύση πού έχει τις εξής ιδιότητες: θ ˆ θ με την έννοια της πιθανότητας θˆ θ g( θˆ D N0, I θ D ( g'( )) ) g( θ) N 0, Iθ για τα θ για τα οποία g '( ) 0 3

24 Έτσι ο ΕΜΠ προσεγγίζει το κάτω φράγμα των C-R. Προσοχή!! Ο ΕΜΠ δεν είναι πάντα αμερόληπτος. Έχουμε πρόβλημα εύρεσης των ριζών (όταν οι εξισώσεις του συστήματος είναι μη γραμμικές). Έχουμε πρόβλημα επιλογής της κατάλληλης ρίζας όταν έχουμε πολλές ρίζες και κυρίως όταν υπάρχουν πολλά τοπικά μέγιστα. Παραδείγματα. Για την εκθετική (εύκολο) H λογαριθμική συνάρτηση πιθανοφάνειας είναι Lθ;= e θ θ Επομένως Lθ; = + = 0 θ θ θ Τελικά Λύση ˆ = θ 4

25 . Για την Κατανομή γάμμα (δύσκολο) Μπορούμε να έχουμε,, ή 3 παραμέτρους f ;α, β,γ = e αβ α α γ Γ γ β α= παράμετρος μορφής β= παράμετρος κλίμακας γ= παράμετρος θέσης >γ Παράγωγοι L θ; Γ' α = α Γa log θ; α γ L β = + β β β+ γ log 5

26 L θ; = +βα γ γ Αν β,γ γνωστά (π.χ. και 0) τότε έχουμε να λύσουμε την εξίσωση Ψ α = Γ' Γ α a = log () 6

27 Plot[PolyGamma[0,],{,0,5}] Σχήμα Η Ψ() συνάρτηση Αν α, β, άγνωστοι αλλά γ=γνωστό(=0). λύνουμε το σύστημα των δυο πρώτων εξισώσεων. Ευτυχώς το σύστημα γράφεται στη μορφή 7

28 α Ψ + logα log + log = 0 β = α () Αν α,β,γ άγνωστοι τότε το σύστημα γράφεται στη μορφή α log a= log γ log γ Ψ Α γ α = Α γ β = Α γ Ηγ Ηγ (3) 8

29 ΑΡΙΘΜΗΤΙΚΑ ΠΑΡΑΔΕΙΓΜΑΤΑ Με τη μέθοδο της προσομοίωσης παίρνουμε ένα δείγμα μεγέθους =00 <<Statstcs`CotuousDstrbutos` ls0=radomarray[gammadstrbuto[,],00] {.077,.0088,.6534, ,.4830, , ,.934,.9533,.03477,0.3844, , ,.89444,3.6748,3.684,.0454,3.7407,.5477,.05887,.509,3.330, ,.7999,0.9565,.608, ,0.634,.0759,.493,3.0859,3.885, ,4.7399, ,.93655, ,3.4400,.847,4.837,7.3476,.67759, ,.63,.86677,4.68,.544,.4979,3.088, , ,.8383,.0695,.74,.4673,.399, , , ,.6947,3.5893,.57365,.95565,.44896,.4568,.87656,.5066,.9694, ,6.964, , ,.6476,.0833, ,.84,3.9385,.05,3.0347, ,.0445,.75697,.434,3.6674,.038,5.679,.688,.0774,.0569,7.4534,.649,.89833,.34373,0.5983, ,3.3597,.93, ,4.355,.38607} 9

30 Hstogram[ls0,0] Σχήμα 3 Ιστόγραμμα του προσομοιωμένου δείγματος από την κατανομή Γάμμα 30

31 Plot[PolyGamma[]-Mea[Log[ls0]],{,0,5}] Σχήμα 4 Η συνάρτηση στη σχέση () FdRoot[PolyGamma[]-Mea[Log[ls0]]==0,{,}] {=.8575} Ας υποθέσουμε ότι α και β άγνωστα. 3

32 Plot[PolyGamma[]-Log[]+Log[Mea[ls0]]-Mea[Log[ls0]],{,0,5}] Σχήμα 5 Η πρώτη συνάρτηση από τις σχέσεις () FdRoot[PolyGamma[]-Log[]+Log[Mea[ls0]]-Mea[Log[ls0]]==0,{,}] {=.05} Mea[ls0]/

33 Ας υποθέσουμε ότι και οι τρεις παράμετροι είναι άγνωστοι. Τότε η λύση του συστήματος ανάγεται στην εύρεση των ριζών της παρακάτω συνάρτησης. ( ) G( ) f ( ) ( ) log( ) (4) ( ) ( ) ( ) ( ) Σχήμα 6 Γραφική αναπαράσταση της συνάρτησης f(γ) FdRoot[f[]==0,{,0.5}] {=0.098} α=.3 β=.658 Αλλά

34 Σχήμα 7 Γραφική αναπαράσταση της συνάρτησης f(γ) Άλλη μια λύση!!!! Απαιτείται ο έλεγχος των λύσεων. Με τη βοήθεια του πίνακα δευτέρων παραγώγων (Hessa metr). Μπορεί ακόμα να μην έχει λύση. Πώς εξηγείται; Δεν είναι εκθετική οικογένεια κατανομών. Μέθοδος των ροπών. 34

35 Είναι μια πρόχειρη λύση. Εξισώνουμε τις θεωρητικές ροπές με τις δειγματικές και λύνουμε ως προς τις παραμέτρους Σε πολλές περιπτώσεις ο εκτιμητής με την μέθοδο των ροπών ταυτίζεται με τον Ε.Μ.Π. Πότε; Όταν η κατανομή είναι μια εκθετική οικογένεια κατανομής. Για το προηγούμενο παράδειγμα της κατανομής γάμμα. Όταν α άγνωστο και β, γ γνωστά. Έστω β=,γ=0. E α = Βρίσκουμε α= Όταν α, β άγνωστα και γ γνωστό(=0) Έχουμε να λύσουμε το σύστημα ΕΧ = αβ = α + β E = α 35

36 Καταλήγουμε στο α = β = Βρίσκουμε α=.0807 β=. Όταν και οι τρεις παράμετροι είναι άγνωστες ΕΧ = E E 3 = = 3 καταλήγουμε στο σύστημα 36

37 α a a + β αβ + γ = + ααβ+ γ = α + α + β + 3αα + β γ + 3ααβ + γ = Το αποτέλεσμα είναι FdRoot[{a*b+g==.3383, a*(a+)*b^+a*b*g+g^==mea[ls0^], a*(a+)*(a+)*b^3+3*g*a*(a+)b^+3*a*b*g^+g^3 Mea[ls0^3]},{{a,},{b,},{g,}}] {a=.577, β=.0458, γ=-0.44} Μπορεί να αποδειχθεί ότι και οι εκτιμητές με τη μέθοδο των ροπών είναι ασυμπτωτικά κανονικοί. Γιατί τότε υπολείπονται του ΕΜΠ; Γιατί η ασυμπτωτική διασπορά είναι μεγαλύτερη από αυτή του ΕΜΠ (ασυμπτωτική αποτελεσματικότητα) ΠΡΟΣΟΧΗ: Ο ΕΜΠ δεν είναι πάντα ασυμπτωτικά κανονικός. 37

38 Ο ΕΜΠ του θ από δείγμα ομοιόμορφης U[0, θ] είναι ο ˆ ( ) του οποίου η ασυμπτωτική κατανομή είναι η εκθετική!!!! Γιατί συμβαίνει αυτό; Γιατί δεν ισχύουν οι συνθήκες κανονικότητας αφού το στήριγμα εξαρτάται από το θ. ΠΡΟΣΟΧΗ(Νο ) Ενώ στο συγκεκριμένο παράδειγμα της ομοιόμορφης κατανομής ο ΕΜΠ δεν είναι ~ ασυμπτωτικά κανονικός, ο εκτιμητής με τη μέθοδο των ροπών ο οποίος είναι ο είναι ασυμπτωτικά κανονικός. Έλεγχος της ασυμπτωτικής κανονικότητας και αμεροληψίας των εκτιμητών με προσομοίωση 38

39 Clear[Qa,Qb,a,b]; teratos=0000; =00; a=; =3; Qa=Table[0,{teratos}]; Qb=Table[0,{teratos}]; Do[ls=RadomReal[GammaDstrbuto[a,],]; fa[a_]:=mea[log[ls]]-log[mea[ls]]+log[a]-polygamma[a]; ak=t/.fdroot[fa[t]0,{t,}]; f5[b_]:=mea[ls]/b; bm=f5[ak]; Qa[[k]]=ak; Qb[[k]]=bm;,{k,,teratos}] Hstogram[Qa] Hstogram[Qb] 39

40 Mea[Qa] Mea[Qb]

41 ΔΙΑΣΤΗΜΑΤΑ ΕΜΠΙΣΤΟΣΥΝΗΣ Διαφορετικά δείγματα δίνουν διαφορετικές εκτιμήσεις. Για να το δούμε αυτό θα καταφύγουμε πάλι στην προσομοίωση. Παίρνουμε 000 δείγματα των =00 παρατηρήσεων από την Κανονική Κατανομή Ν(,). Σκοπός: Να εκτιμήσουμε την μέση τιμή μ. Τα στατιστικά χαρακτηριστικά των 000 εκτιμήσεων Mea[Q] Ma[Q] M[Q]

42 Σχήμα 8 Ιστόγραμμα των 000 εκτιμητών της μ. Καταρχήν πόσο πρέπει να είναι το α; Το διάστημα Τ,Τ λέγεται ένα 00(-α)% διάστημα εμπιστοσύνης για το g (θ ) όταν Τ gθ Τ α Pθ Ερμηνεία Αν επαναλάβουμε το πείραμα 00 φορές τότε το 00(-α)% των διαστημάτων εμπιστοσύνης που θα 4

43 κατασκευάσουμε θα περιέχει την πραγματική τιμή g (θ ). Για την κατασκευή του χρειαζόμαστε μία συνάρτηση οδηγό. Δηλαδή μια συνάρτηση των δεδομένων και της αγνώστου παραμέτρου η οποία έχει τις εξής ιδιότητες. Η κατανομή της δεν εξαρτάται από το την άγνωστη παράμετρο.. Επιπλέον η συνάρτηση αυτή να είναι αντιστρέψιμη. Να μπορούμε δηλαδή να λύσουμε ως προς την άγνωστη παράμετρο. Διαδικασία: Θεωρούμε διάστημα C,C. Τέτοιο ώστε P C φ ;θ C a Αφού φ οδηγός μπορούμε να βρούμε τα C και C. Στη συνέχεια λύνουμε ως προς θ. Υπάρχουν άπειρα τέτοια ζεύγη. Δυο είναι τα κριτήρια επιλογής. Διάστημα εμπιστοσύνης ελαχίστου μήκους.. Διάστημα εμπιστοσύνης ίσων ουρών. 43

44 Το πιο σύνηθες είναι αυτό των ίσων ουρών Παραδείγματα Έστω ότι το δείγμα ακολουθεί την κανονική κατανομή Ν θ,σ Για τη μέση τιμή μ όταν η διακύμανση είναι γνωστή. θ φ,θ = είναι συνάρτηση οδηγός και ακολουθεί την κανονική κατανομή. Έτσι σ Η ποσότητα C = Z και C = Z a / a / σ [ Ζ α /, + Ζ α / Ζ α / φ Ζ α / σ ] Για τη μέση τιμή μ όταν η διακύμανση είναι άγνωστη θ φ,θ = και ακολουθεί την t-studet κατανομή. Έχουμε S Η ποσότητα οδηγός είναι η C και = t a /, C = t a / s [ t, α /, +t,α / t, α / φ t, α / Για την διακύμανση σ όταν μ γνωστό. s ] 44

45 45 Οδηγός είναι σ μ =,σ φ και ακολουθεί την Για δ.ε. ίσων ουρών έχουμε α = φ P α, α / /,. Λύνοντας έχουμε το 00(-α)% ΔΕ /, / α α, μ, μ

46 46 Για την διακύμανση σ όταν μ άγνωστο. Οδηγός είναι σ =,σ φ και ακολουθεί την Για Δ.Ε. ίσων ουρών έχουμε α = φ P α, α / /,. Λύνοντας έχουμε το 00(-α)% ΔΕ /, /, α α,

47 Χωρίο Εμπιστοσύνης για το μ, σ. Εδώ και τα δυο είναι άγνωστα. Μπορούμε να κατασκευάσουμε από τα μονοδιάστατα 00(-α)% Δ.Ε. για το μ και σ το αντίστοιχο 00(-α)% χωρίο για το μ, σ ; Μια ιδέα είναι να πάρουμε το t, α / s, +t, α / s, α /,, α / To χωρίο αυτό είναι μικρό γιατί αποδεικνύεται ότι η πιθανότητα ένα ζεύγος μ, σ να ανήκει στο παραπάνω χωρίο είναι <-α. Όμως το χωρίο 47

48 48 4 /, 4 /, / 4 /, α α 4 α, α, s, +t s t είναι κατάλληλο γιατί η πιθανότητα να ανήκει εκεί είναι >-α. Διαστήματα εμπιστοσύνης Boferro. Μπορούμε να βρούμε ένα χωρίο με πιθανότητα επικάλυψης ακριβώς -α; Απάντηση : Ναι Είναι το /, / / / : β β, β β Χ σ S,Χ z σ μ z μ,σ = C όπου α = β

49 Παράδειγμα Θεωρούμε τα δεδομένα Κανονικής κατανομής Βρίσκουμε ότι = 45.7, S = 97.4 Ένα 95% Δ.Ε. για τη μέση τιμή είναι [ , ]. Ένα 95% Δ.Ε. για τη διακύμανση είναι το [53.008, 3.686] Το 95% χωρίο δίνεται από τη σχέση μ,σ : σ μ σ, σ Τα διαστήματα Boferro [39.35, 5.405][48.85, 67.0] 49

50 Σχήμα 9 Τα διαστήματα εμπιστοσύνης 50

51 5 Στην περίπτωση δυο τυχαίων και ανεξάρτητων δειγμάτων ),...,, ( και ),...,, ( m Y Y Y Y από κανονικές κατανομές Ν(μ,σ ) και Ν(μ,σ ). Τα διαστήματα εμπιστοσύνης για τη διαφορά μ -μ διαμορφώνονται ως εξής. Όταν σ, σ γνωστές + + z Y, + z Y α α / / Όταν σ, σ άγνωστες και σ = σ m + +t Y, m + t Y p a m p m s s /, α/, όπου ) ( ) ( m Y Y S p

52 5 Σχετικά με τις διακυμάνσεις και. Δυστυχώς δεν μπορούμε να βρούμε ποσότητα οδηγό για τη διαφορά. Μπορούμε όμως να βρούμε για τον λόγο /. Όταν μ και μ είναι γνωστές. Ποσότητα οδηγός είναι η m m F m m Y, / / ~ }/ / ) ( { }/ / ) ( { Το διάστημα εμπιστοσύνης είναι ] [ /,, /,, ) ( ) (, ) ( ) ( a m m a Y m F Y m F

53 53 Όταν μ και μ είναι άγνωστές. Ποσότητα οδηγός είναι η, ) /( ) /( ~ }/ / ) ( { }/ / ) ( { m m F m m Y Y Το διάστημα εμπιστοσύνης είναι ] [ /,, /,, ) ( ) (, ) ( ) ( Y Y m F Y Y m F a m a m

54 Όμως δεν είναι πάντα εφικτό να βρούμε ποσότητα οδηγό. Έτσι πάμε ασυμπτωτικά. Ασυμπτωτικά διαστήματα εμπιστοσύνης π.χ. η κατανομή της δεν είναι πάντα γνωστή. Όμως γνωρίζουμε ότι ασυμπτωτικά είναι κανονική. Το τυχαίο διάστημα Τ,Τ λέγεται 00(-α)% ασυμπτωτικό ΔΕ για την ποσότητα θ όταν lm Τ,Τ α όταν Pθ 54

55 Τα εργαλεία που χρησιμοποιούμε συνήθως είναι Κεντρικό Οριακό Θεώρημα Αν,,..., ) είναι τυχαίο δείγμα από κατανομή f() με ΕΧ =μ και Var( )=σ <. Τότε ( D (0,). Θεώρημα Slutsky Αν ( ) και ( ) είναι δυο ακολουθίες τυχαίων μεταβλητών τέτοιες ώστε Y N D Y D c Y P c.. Τότε D Y c N D / Y / c όταν c 0 Τις ιδιότητες του ΕΜΠ. 55

56 Παράδειγμα Έστω =,,..., από μια οποιαδήποτε κατανομή με μέση τιμή μ και πεπερασμένη και άγνωστη διασπορά σ. Μπορεί να αποδειχθεί ότι ( (Κεντρικό οριακό Θεώρημα + Θεώρημα του Slutsky) S ) Ν, 0, Με βάση το παραπάνω ένα ασυμπτωτικό 00(-α)% δ.ε. είναι το σ [ Ζ α /, + Ζ α / σ ] Έστω =,,..., και Υ = Υ Υ,Υ,,... δυο ανεξάρτητα δείγματα από διαφορετικές κατανομές. Σκοπός: ένα 00(-α)% ΔΕ για τη διαφορά των μέσων τιμών μ μ 56

57 57 Μπορούμε να δείξουμε ότι 0, Ν + S S μ μ Y Y,, (Κεντρικό οριακό Θεώρημα + Θεώρημα του Slutsky) άρα α z + S S μ μ Y z P α Y,, α / / και ένα ασυμπτωτικό διάστημα εμπιστοσύνης είναι S + S + z Y, S + S z Y Y,, α Y,, α / /.

58 Ένα παράδειγμα α.δ.ε. με τη βοήθεια του ΕΜΠ. Ας επιστρέψουμε στο Παράδειγμα της κατανομής γάμμα όπου μόνο η παράμετρος μορφής α είναι άγνωστη. Ο ΕΜΠ είναι η λύση της εξίσωσης () της σελίδας και προφανώς η κατανομή της δεν είναι γνωστή. Όμως είναι γνωστή η ασυμπτωτική του κατανομή. Με βάση το Θεώρημα το 00(-α)% α.δ.ε. είναι το ( ˆ, ˆ za / za / ) I( ˆ ) I( ˆ ) ˆ ) Για το συγκεκριμένο παράδειγμα ˆ d log ( I( ). d Τελικά ένα 95% α.δ.ε. είναι (0,8646, 4,049) 58

59 Ασυμπτωτικά συμπεράσματα σημαίνει ότι χρησιμοποιούνται για μεγάλα. Αλλά τι σημαίνει μεγάλα ; Πολλά βιβλία λένε >30 σημαίνει μεγάλο δείγμα πράγμα που δεν ισχύει πάντα. Βασικά εξαρτάται από τη μορφή της κατανομής. Όσο μεγαλύτερη είναι η ασυμμετρία τόσο μεγαλύτερο δείγμα θα χρειαστούμε για να έχουμε μια καλή προσέγγιση. Η δυωνυμική κατανομή είναι συμμετρική για p=0,5. Οσο το p πλησιάζει τις ακραίες τιμές 0 ή τόσο αυξάνει η ασυμμετρία. Η προσέγγιση της κατανομής του p από την κανονική κατανομή κρίνεται ικανοποιητική για που δίνονται από τον παρακάτω πίνακα του Cochra Ρ 0,5 30 0,4 ή 0,6 50 0,3 ή 0,7 80 0, ή 0,8 00 0, ή 0, ,05 ή 0,

60 Τα παρακάτω ιστογράμματα επιβεβαιώνουν τον παρακάτω ισχυρισμό. Σχήμα 9 Ιστόγραμμα του pˆ από 000 δείγματα μεγέθους =50 από την Β(,/) 60

61 Σχήμα 0 Ιστόγραμμα του pˆ από 000 δείγματα μεγέθους =50 από την Β(,0.05) Χρήσιμες (και προφανείς) ιδιότητες των Δ.Ε. Όταν το επίπεδο σημαντικότητας α αυξάνει τότε το μήκος του δ.ε. αυξάνει. Όταν το μέγεθος του δείγματος αυξάνει τότε το μήκος του δ.ε. ελαττώνεται. 6

62 Θεωρία ακραίων τιμών και κατανομές με βαριές ουρές Παράδειγμα : Έστω δείγμα,...,, από την U[0, θ]. Η (), έχει κατανομή F ( ( ) ) ( ) για θ F( ( ) ) 0 για για D Όμως ) E( ) Εύκολο: P ( ( ) / / ( ( ( ) ) ) P( ( ) ) ( ) ( ) e Αυτό το αποτέλεσμα είναι ειδική περίπτωση του παρακάτω θεωρήματος. 6

63 (Gedeko 943, Gumbel 958) Έστω M ma{,..., }, όπου,...,, είναι τυχαίο δείγμα. Αν υπάρχουν ακολουθίες { a } και {b } τέτοιες ώστε Pr{( M b ) / a z} G( z) as, όπου G είναι μια μη φθίνουσα κατανομή, τότε η G ανήκει σε μια από τις ακόλουθες οικογένειες : I G ( ) Pr[ ] ep[ e ( ) / ] R Gumbel dstrbuto II G ( ) Pr[ ] ep[ ( ) ] Frechet dstrbuto III G 3 ( ) Pr[ ] ep[ ( ) ] Webull dstrbuto GEV ή Jekso Dstrbuto / G( ) Pr[ ] ep{ [ ( )] Ποια θα είναι η ασυμπτωτική κατανομή εξαρτάται από τη συμπεριφορά της ουράς P( ) καθώς το τείνει στο άπειρο. } 63

64 Κατανομές με βαριές (heavy) ή λεπτές (lght) ουρές. Θα λέγαμε ότι μια κατανομή έχει βαριά ουρά όταν δεν έχει όλες τις ροπές. Ισχύουν τα εξής Η ασυμπτωτική κατανομή του ma για κατανομές με βαριές ουρές είναι η Frechet. Π.χ. Pareto Η ασυμπτωτική κατανομή του ma για κατανομές με φραγμένο στήριγμα είναι η Webull. Π.χ. Ομοιόμορφη κατανομή ασυμπτωτική κατανομή του ma για κατανομές με ελαφρά ουρά είναι η Gumbel. Κανονική κατανομή. 64

65 frequecy Μια εφαρμογή Δεδομένα : Μέγιστες ανά έτος ημερήσιες τιμές βροχόπτωσης στην περιοχή της Αθήνας για τα έτη Ερώτημα: Ποια κατανομή περιγράφει καλύτερα τη χρονοσειρά; Πρέπει πρώτα να τα δούμε (Περιγραφική Στατιστική) Σχήμα Ιστόγραμμα των ακραίων τιμών βροχής Precptato heght (mm) 65

66 Precptato (mm) Αλλά και σαν χρονοσειρά Σχήμα Η χρονοσειρά των ακραίων τιμών βροχής Ένα από τα πρώτα συμπεράσματα που εξάγουμε είναι ότι η κατανομή που προσπαθούμε να βρούμε έχει θετική ασυμμετρία. Στη συνέχεια ανατρέχουμε στη βιβλιογραφία Ποια μοντέλα έχουν μελετηθεί και προταθεί σαν κατάλληλα μοντέλα στο πρόβλημά μας; Έχουν προταθεί πολλά μοντέλα. Δύο είναι τα επικρατέστερα: Η Frechet και η κατανομή Γάμμα. Ας ελέγξουμε επίσης την Log-ormal και την Iverse Gaussa. Θα πρέπει να εκτιμήσουμε τις παραμέτρους και στη συνέχεια να χρησιμοποιήσουμε ένα από τα πολλά μη παραμετρικά τεστ για να δούμε ποιες κατανομές προσαρμόζονται στα δεδομένα. Year 66

67 Όμως για να εκτιμήσω τα δεδομένα πρέπει το δείγμα μου να είναι τυχαίο. Δηλαδή ανεξάρτητες παρατηρήσεις από την ίδια κατανομή. Ισχύει αυτό στην περίπτωσή μας; Οι μετεωρολόγοι λένε πως Ναι γιατί συνήθως τα καιρικά φαινόμενα έχουν διάρκεια το πολύ 3 μέρες. Αν θέλουμε να το ελέγξουμε στατιστικά θα πρέπει να χρησιμοποιήσουμε διάφορα Μη-παραμετρικά τεστ όπως το ru test for radomess κλπ Στη συνέχεια ελέγχουμε ποιες από τις κατανομές προσαρμόζονται στα δεδομένα. Τα αποτελέσματα του KS test είναι τα ακόλουθα Null Hypothess Mamum Crtcal Decso Devato Value D Fréchet Do ot reject H o Iverse Gaussa Do ot reject H o LogNormal Reject H o Gamma Reject H o 67

68 Ενώ ο έλεγχος Χ δίνει Classes Observed frequecy Epected Frequecy Logormal Iverse Gaussa Fréchet Gamma (0,5] (5,30] (30,35] (35,40] (40,45] (45,50] (50,55] (55,65] (65, ] Sum = df.=6 P=0.000 =8.93 df.=6 P=0.78 = df=6 P=0.70 =.37 df=6 P=

69 Με βάση τα παραπάνω αποτελέσματα, τις θεωρητικές γνώσεις μας πάνω στις κατανομές πρέπει να δούμε ποιες κατανομές θα απορρίψουμε και ποιες θα δεχθούμε. Σχήμα 3 Γραφική αναπαράσταση των υποψηφίων κατανομών IvGauss Gamma Frechet Logormal

70 ΟΛΑ ΤΑ ΣΤΑΤΙΣΤΙΚΑ ΜΟΝΤΕΛΑ ΕΙΝΑΙ ΛΑΘΟΣ ΑΠΛΑ ΚΑΠΟΙΑ ΑΠΟ ΑΥΤΑ ΕΙΝΑΙ ΚΑΙ ΧΡΗΣΙΜΑ ΑΡΚΕΙ ΝΑ ΞΕΡΟΥΜΕ ΤΙ ΛΕΜΕ (Η ΣΥΜΠΛΗΡΩΣΗ ΕΙΝΑΙ ΤΟΥ ΟΜΗΛΟΥΝΤΟΣ) 70