SEEMOUS 2011/1
Συντονιστής: Demetres
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
SEEMOUS 2011/1
Δίνονται ακέραιος και μη φθίνουσα συνάρτηση . Να αποδειχθεί ότι
Να βρεθούν όλες οι μη φθίνουσες συνεχείς συναρτήσεις για τις οποίες ισχύει η ισότητα.
Να βρεθούν όλες οι μη φθίνουσες συνεχείς συναρτήσεις για τις οποίες ισχύει η ισότητα.
τελευταία επεξεργασία από Demetres σε Τετ Φεβ 01, 2012 7:18 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: Μεταφορά από μεταγενέστερη δημοσίευση ώστε να εμφανιστεί η εκφώνηση πριν την λύση
Λόγος: Μεταφορά από μεταγενέστερη δημοσίευση ώστε να εμφανιστεί η εκφώνηση πριν την λύση
Re: SEEMOUS 2011
Μια γρήγορη αντιμετώπιση:
Ο μετασχηματισμός στο δεξί ολοκλήρωμα θα δώσει:
διότι: όπου εφαρμόζοντας την και πολλαπλασιάζοντας με και ολοκληρώνοντας μετά στο προκείπτει η ζητούμενη.
Δείχνουμε τώρα ότι ισότητα ικανοποιούν μόνο οι σταθερές συναρτήσεις στο .
Πράγματι, αν η ισότητα ισχύει, τότε ,
με το μέσα να μην αλλάζει πρόσημο και να είναι συνεχές, επομένος πρέπει για κάθε
να έχουμε . Επειδή είναι συνεχής, αρκεί να δείξω ότι είναι σταθερή στο (0,1).
Έστω ότι είναι μη σταθερή στο , τότε υπάρχει ένα , ώστε το
να είναι μη κενό, ορίζω , τότε στο θα έχω ,
και επομένως για τυχαίο θα βρώ στο , με ενώ στο
θα έχω στοιχείο του , έστω , οπότε , άρα μπορώ να βρώ
, αυτό είναι άτοπο διότι σε μια περιοχή του η είναι
κάτω φραγμένη από κάτι μη μηδενικό, και μπορούμε να πάρουμε με και στη συνέχεια
να πάρουμε ώστε το οποίο όμως δεν μπορεί να ισχύει. Άρα η είναι σταθερή και βλέπουμε ότι όλες οι σταθερές συναρτήσεις ικανοποιούν.
Ο μετασχηματισμός στο δεξί ολοκλήρωμα θα δώσει:
διότι: όπου εφαρμόζοντας την και πολλαπλασιάζοντας με και ολοκληρώνοντας μετά στο προκείπτει η ζητούμενη.
Δείχνουμε τώρα ότι ισότητα ικανοποιούν μόνο οι σταθερές συναρτήσεις στο .
Πράγματι, αν η ισότητα ισχύει, τότε ,
με το μέσα να μην αλλάζει πρόσημο και να είναι συνεχές, επομένος πρέπει για κάθε
να έχουμε . Επειδή είναι συνεχής, αρκεί να δείξω ότι είναι σταθερή στο (0,1).
Έστω ότι είναι μη σταθερή στο , τότε υπάρχει ένα , ώστε το
να είναι μη κενό, ορίζω , τότε στο θα έχω ,
και επομένως για τυχαίο θα βρώ στο , με ενώ στο
θα έχω στοιχείο του , έστω , οπότε , άρα μπορώ να βρώ
, αυτό είναι άτοπο διότι σε μια περιοχή του η είναι
κάτω φραγμένη από κάτι μη μηδενικό, και μπορούμε να πάρουμε με και στη συνέχεια
να πάρουμε ώστε το οποίο όμως δεν μπορεί να ισχύει. Άρα η είναι σταθερή και βλέπουμε ότι όλες οι σταθερές συναρτήσεις ικανοποιούν.
Κολλιοπουλος Νικος.
Μεταδιδακτορικός ερευνητής.
Ερευνητικά ενδιαφέροντα: Στοχαστικές ΜΔΕ, ασυμπτωτική ανάλυση στοχαστικών συστημάτων, εφαρμογές αυτών στα χρηματοοικονομικά και στη διαχείριση ρίσκων.
Μεταδιδακτορικός ερευνητής.
Ερευνητικά ενδιαφέροντα: Στοχαστικές ΜΔΕ, ασυμπτωτική ανάλυση στοχαστικών συστημάτων, εφαρμογές αυτών στα χρηματοοικονομικά και στη διαχείριση ρίσκων.
Re: SEEMOUS 2011/1
Καλησπέρα. Συγγνώμη που αναβιώνω το θέμα, αλλά θέλω πιο πολύ όχι να παραθέσω την λύση μου αλλά να ρωτήσω κάποιες απορίες που μου γεννήθηκαν μέσω αυτής. Θα είμαι πραγματικά ευγνώμων σε όποιον κάτσει να διαβάσει τα παρακάτω και μου απαντήσει.
Η είναι επίσης μη φθίνουσα άρα εφαρμόζοντας την ανισότητα Chebyshev έχω
και το ζητούμενο έπεται.
Εδώ είναι και η πρώτη μου απορία. Γνωρίζουμε πότε ισχύει η ισότητα στην ανισότητα Chebyshev με ολοκληρώματα; Υποπτεύομαι ότι θα είναι μόνο όταν η μία συνάρτηση είναι σταθερή (όπως στη διακριτή περίπτωση όταν είναι μια n-αδα μεταβλητών ίσες) αλλά όσο κι αν έψαξα δεν βρήκα κάτι οπότε δεν μπορώ να είμαι σίγουρος. Επίσης, μπορούμε να χρησιμοποιούμε ελεύθερα την ανισότητα Chebyshev σε διαγωνισμούς;
Ας δείξω τώρα την ισότητα.
Για να ισχύει η ισότητα πρέπει:
Σε αυτά τα δύο ολοκληρώματα ικανοποιούνται οι συνθήκες του πρώτου Θ.Μ.Τ.Ο.Λ. (η διατηρεί πρόσημο) άρα υπάρχουν ώστε να ισχύει η γνωστή ισότητα με τα ολοκληρώματα. Αντικαθιστώντας, έχω
Λόγω του ότι η f είναι μη φθίνουσα έπεται ότι είναι σταθερή στο . Και τώρα ένα λεπτό σημείο που δεν είμαι σίγουρος αν είναι σωστό.
Θεωρώ το μέγιστο διάστημα που περιέχει το και η είναι σταθερή σε αυτό. Με την έννοια του μεγίστου εννοώ το εξής:
τα οποία είναι καλώς ορισμένα αφού τα σύνολα είναι μη κενά γιατί το ανήκει στο 1ο και το στο 2ο.
Τότε η είναι σταθερή στα . Λόγω συνέχειας θα είναι σταθερή και στο και πάλι λόγω συνέχειας θα είναι σταθερή στο και ίση με . Στόχος μου είναι να δείξω ότι και .
Έστω ότι τουλάχιστον μία από τις δύο ισότητες δεν ισχύει και ΧΒΓ υποθέτω ότι αυτή είναι η 2η, δηλαδή . Τότε, πηγαίνοντας στην (1), σπάζοντας τα ολοκληρώματα και εφαρμόζοντας πάλι Θ.Μ.Τ.Ο.Λ έχω
(όπου πιθανώς και ίσο με 0 και )
Κάνοντας τις πράξεις στην τελευταία προκύπτει ότι
Επειδή η πρώτη παρένθεση είναι μη θετική. Λόγω μονοτονίας το ίδιο ισχύει και για τη δεύτερη. Άρα το πρώτο γινόμενο είναι μη αρνητικό.
Η 3η παρένθεση είναι μη θετική όπως και η 1η, ενώ λόγω μονοτονίας η δεύτερη είναι μη αρνητική. Με το μπροστά το 2ο γινόμενο γίνεται μη αρνητικό. Άρα για να κάνει πρέπει και τα δύο να είναι , δηλαδή το οποίο είναι άτοπο γιατί το είναι supremum.
Άρα το διάστημα στο οποίο η είναι σταθερή είναι το και εύκολα βλέπω ότι όλες οι σταθερές συναρτήσεις ικανοποιούν.
Είναι εμφανές νομίζω ότι αν ξέρουμε πότε ισχύει η ισότητα στην Chebyshev γλυτώνουμε πολύ κόπο.
Ζητώ την επιείκειά σας για τυχόν λάθη, είμαι ακόμα αρχάριος στα πανεπιστημιακά μαθηματικά.
Η είναι επίσης μη φθίνουσα άρα εφαρμόζοντας την ανισότητα Chebyshev έχω
και το ζητούμενο έπεται.
Εδώ είναι και η πρώτη μου απορία. Γνωρίζουμε πότε ισχύει η ισότητα στην ανισότητα Chebyshev με ολοκληρώματα; Υποπτεύομαι ότι θα είναι μόνο όταν η μία συνάρτηση είναι σταθερή (όπως στη διακριτή περίπτωση όταν είναι μια n-αδα μεταβλητών ίσες) αλλά όσο κι αν έψαξα δεν βρήκα κάτι οπότε δεν μπορώ να είμαι σίγουρος. Επίσης, μπορούμε να χρησιμοποιούμε ελεύθερα την ανισότητα Chebyshev σε διαγωνισμούς;
Ας δείξω τώρα την ισότητα.
Για να ισχύει η ισότητα πρέπει:
Σε αυτά τα δύο ολοκληρώματα ικανοποιούνται οι συνθήκες του πρώτου Θ.Μ.Τ.Ο.Λ. (η διατηρεί πρόσημο) άρα υπάρχουν ώστε να ισχύει η γνωστή ισότητα με τα ολοκληρώματα. Αντικαθιστώντας, έχω
Λόγω του ότι η f είναι μη φθίνουσα έπεται ότι είναι σταθερή στο . Και τώρα ένα λεπτό σημείο που δεν είμαι σίγουρος αν είναι σωστό.
Θεωρώ το μέγιστο διάστημα που περιέχει το και η είναι σταθερή σε αυτό. Με την έννοια του μεγίστου εννοώ το εξής:
τα οποία είναι καλώς ορισμένα αφού τα σύνολα είναι μη κενά γιατί το ανήκει στο 1ο και το στο 2ο.
Τότε η είναι σταθερή στα . Λόγω συνέχειας θα είναι σταθερή και στο και πάλι λόγω συνέχειας θα είναι σταθερή στο και ίση με . Στόχος μου είναι να δείξω ότι και .
Έστω ότι τουλάχιστον μία από τις δύο ισότητες δεν ισχύει και ΧΒΓ υποθέτω ότι αυτή είναι η 2η, δηλαδή . Τότε, πηγαίνοντας στην (1), σπάζοντας τα ολοκληρώματα και εφαρμόζοντας πάλι Θ.Μ.Τ.Ο.Λ έχω
(όπου πιθανώς και ίσο με 0 και )
Κάνοντας τις πράξεις στην τελευταία προκύπτει ότι
Επειδή η πρώτη παρένθεση είναι μη θετική. Λόγω μονοτονίας το ίδιο ισχύει και για τη δεύτερη. Άρα το πρώτο γινόμενο είναι μη αρνητικό.
Η 3η παρένθεση είναι μη θετική όπως και η 1η, ενώ λόγω μονοτονίας η δεύτερη είναι μη αρνητική. Με το μπροστά το 2ο γινόμενο γίνεται μη αρνητικό. Άρα για να κάνει πρέπει και τα δύο να είναι , δηλαδή το οποίο είναι άτοπο γιατί το είναι supremum.
Άρα το διάστημα στο οποίο η είναι σταθερή είναι το και εύκολα βλέπω ότι όλες οι σταθερές συναρτήσεις ικανοποιούν.
Είναι εμφανές νομίζω ότι αν ξέρουμε πότε ισχύει η ισότητα στην Chebyshev γλυτώνουμε πολύ κόπο.
Ζητώ την επιείκειά σας για τυχόν λάθη, είμαι ακόμα αρχάριος στα πανεπιστημιακά μαθηματικά.
Μιχάλης Σαράντης
Re: SEEMOUS 2011/1
Μιχάλη καλησπέρα! Από τη στιγμή που καταλαβαίνουμε ότι είναι ειδική περίπτωση της Chebychev, γιατί να μην περάσουμε μέσα από την απόδειξή της για να δούμε και την ισότητα; Τι κάνουμε λοιπόν;
Ισχύει (*) Ολοκληρώνοντας την ανισότητα αυτή έχουμε:
Κάνοντας πράξεις καταλήγουμε στη ζητούμενη.
Για την ισότητα, πρέπει να ισχύει η ισότητα στην (*) λόγω της συνέχειας της επομένως σταθερή.
Ισχύει (*) Ολοκληρώνοντας την ανισότητα αυτή έχουμε:
Κάνοντας πράξεις καταλήγουμε στη ζητούμενη.
Για την ισότητα, πρέπει να ισχύει η ισότητα στην (*) λόγω της συνέχειας της επομένως σταθερή.
Σιλουανός Μπραζιτίκος
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 10 επισκέπτες