Putnam 2018/A3
Συντονιστής: Demetres
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Putnam 2018/A3
Να βρεθεί η μεγαλύτερη δυνατή τιμή του
όπου οι είναι πραγματικοί αριθμοί ώστε
όπου οι είναι πραγματικοί αριθμοί ώστε
Λέξεις Κλειδιά:
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Putnam 2018/A3
Μιας και είμαστε στον φάκελο των φοιτητών, ας το δούμε με πολλαπλασιαστές Lagrange. Θα καταγράψω όλα όσα οφείλουμε να ελέγξουμε. Δεν γνωρίζω πόσες μονάδες θα έπαιρνε μια απευθείας χρήση των πολλαπλασιαστών χωρίς τους κατάλληλους ελέγχους.
Επειδή , το πρόβλημα αρκεί να μεγιστοποιήσουμε το
Γράφοντας αρκεί να μεγιστοποιήσουμε το υπό τις συνθήκες και .
Επειδή το σύνολο όλων των είναι συμπαγές υποσύνολο του (ως κλειστό και φραγμένο) και επειδή η συνάρτηση προς μεγιστοποίηση είναι συνεχής, θα υπάρχει διάνυσμα στο οποίο λαμβάνεται το μέγιστο.
Αν στο διάνυσμα που λαμβάνεται το μέγιστο έχουμε , τότε αλλάζοντάς τα σε θα έχουμε ένα άλλο διάνυσμα που ικανοποιεί τις συνθήκες και στο οποίο λαμβάνεται το μέγιστο. Μπορούμε λοιπόν να υποθέσουμε ότι στο διάνυσμα που λαμβάνεται το μέγιστο δεν έχουμε δύο τέτοια στοιχεία διάφορα του .
Περίπτωση 1: Χωρίς βλάβη της γενικότητας το μέγιστο λαμβάνεται στο όπου και εκτός και αν .
Επειδή το είναι ανοικτό, επειδή ξέρουμε ότι υπάρχει διάνυσμα στο οποίο λαμβάνουμε το μέγιστο, και επειδή , τότε από τους πολλαπλασιαστές Lagrange υπάρχει ώστε για κάθε να ισχύει ότι
Αυτό δίνει . Επειδή εκτός και αν παίρνουμε ότι . Η συνθήκη δίνει . Επειδή επιπλέον πρέπει . Άρα το μέγιστο θα πρέπει να ισούται με
Για η μέγιστη τιμή της πιο πάνω συνάρτησης είναι η για .
Περίπτωση 2: Χωρίς βλάβη της γενικότητας το μέγιστο λαμβάνεται στο όπου και εκτός και αν .
Ακριβώς όπως στην Περίπτωση 1 το μέγιστο θα πρέπει να ισούται με το οποίο είναι πάντα αρνητικό. (Στην πραγματικότητα εδώ δεν έχουμε μέγιστο αλλά τοπικό ελάχιστο.)
Λαμβάνοντας όλα τα πιο πάνω υπόψη το μέγιστο του ζητούμενου αθροίσματος ισούται με
Επειδή , το πρόβλημα αρκεί να μεγιστοποιήσουμε το
Γράφοντας αρκεί να μεγιστοποιήσουμε το υπό τις συνθήκες και .
Επειδή το σύνολο όλων των είναι συμπαγές υποσύνολο του (ως κλειστό και φραγμένο) και επειδή η συνάρτηση προς μεγιστοποίηση είναι συνεχής, θα υπάρχει διάνυσμα στο οποίο λαμβάνεται το μέγιστο.
Αν στο διάνυσμα που λαμβάνεται το μέγιστο έχουμε , τότε αλλάζοντάς τα σε θα έχουμε ένα άλλο διάνυσμα που ικανοποιεί τις συνθήκες και στο οποίο λαμβάνεται το μέγιστο. Μπορούμε λοιπόν να υποθέσουμε ότι στο διάνυσμα που λαμβάνεται το μέγιστο δεν έχουμε δύο τέτοια στοιχεία διάφορα του .
Περίπτωση 1: Χωρίς βλάβη της γενικότητας το μέγιστο λαμβάνεται στο όπου και εκτός και αν .
Επειδή το είναι ανοικτό, επειδή ξέρουμε ότι υπάρχει διάνυσμα στο οποίο λαμβάνουμε το μέγιστο, και επειδή , τότε από τους πολλαπλασιαστές Lagrange υπάρχει ώστε για κάθε να ισχύει ότι
Αυτό δίνει . Επειδή εκτός και αν παίρνουμε ότι . Η συνθήκη δίνει . Επειδή επιπλέον πρέπει . Άρα το μέγιστο θα πρέπει να ισούται με
Για η μέγιστη τιμή της πιο πάνω συνάρτησης είναι η για .
Περίπτωση 2: Χωρίς βλάβη της γενικότητας το μέγιστο λαμβάνεται στο όπου και εκτός και αν .
Ακριβώς όπως στην Περίπτωση 1 το μέγιστο θα πρέπει να ισούται με το οποίο είναι πάντα αρνητικό. (Στην πραγματικότητα εδώ δεν έχουμε μέγιστο αλλά τοπικό ελάχιστο.)
Λαμβάνοντας όλα τα πιο πάνω υπόψη το μέγιστο του ζητούμενου αθροίσματος ισούται με
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 8 επισκέπτες