Σελίδα 1 από 1
Μέγιστο γινομένου
Δημοσιεύτηκε: Πέμ Δεκ 06, 2018 10:21 pm
από chris_gatos
Έστω

και η γραμμική συνάρτηση
για την οποία ισχύει
![\displaystyle \left| {f(x)} \right| \le 1,{\rm{ }}\forall {\rm{x}} \in \left[ {0,1} \right] \displaystyle \left| {f(x)} \right| \le 1,{\rm{ }}\forall {\rm{x}} \in \left[ {0,1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/5f4ee1f19772efe13cfa35df191348bc.png)
.
Ποια είναι τότε η μέγιστη τιμή του γινομένου

;
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Πέμ Δεκ 06, 2018 10:59 pm
από Mihalis_Lambrou
chris_gatos έγραψε: Πέμ Δεκ 06, 2018 10:21 pm
Έστω

και η γραμμική συνάρτηση
για την οποία ισχύει
![\displaystyle \left| {f(x)} \right| \le 1,{\rm{ }}\forall {\rm{x}} \in \left[ {0,1} \right] \displaystyle \left| {f(x)} \right| \le 1,{\rm{ }}\forall {\rm{x}} \in \left[ {0,1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/5f4ee1f19772efe13cfa35df191348bc.png)
.
Ποια είναι τότε η μέγιστη τιμή του γινομένου

;
H

δίνει

. Άρα

.
Τα

της

που βέβαια ικανοποιεί την συνθήκη διότι

, δίνουν
ισότητα

. Με άλλα λόγια η μέγιστη τιμή του γινομένου

είναι

.
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Παρ Δεκ 07, 2018 10:27 pm
από Γιώργος Ρίζος
Καλησπέρα σε όλους. Μια διαφορετική και μακροσκελέστερη αντιμετώπιση απ' αυτήν του
Μιχάλη, τον οποίον και ευχαριστώ για τη διακριτική υπόδειξή του σε προηγούμενη ημιτελή προσέγγισή μου, την οποίαν απέσυρα.
Αν

ή

, τότε

.
Aν

ετερόσημοι τότε

.
Έστω

. Τότε η συνθήκη
![\displaystyle \left| {f(x)} \right| \le 1,\forall {\rm{x}} \in \left[ {0,1} \right] \displaystyle \left| {f(x)} \right| \le 1,\forall {\rm{x}} \in \left[ {0,1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/fd2a0b8f4f470aeff05a8f191f4cda50.png)
της υποθέσεως γίνεται

(1).
Για

είναι

.
Οπότε,
![\displaystyle \forall x \in \left[ {0,\;1} \right] \displaystyle \forall x \in \left[ {0,\;1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/78bb3d3ccbb82d7c41ed298fc4ea8104.png)
είναι

.
Για να ισχύει η (1) πρέπει και αρκεί

. Όταν το άθροισμα

ισούται με το μέγιστο δυνατό, που είναι

, το γινόμενο

παίρνει τη μέγιστη τιμή του, όταν

, οπότε το μέγιστο του γινομένου τους ισούται με

.
Έστω

. Τότε η συνθήκη
![\displaystyle \left| {f(x)} \right| \le 1,\forall {\rm{x}} \in \left[ {0,1} \right] \displaystyle \left| {f(x)} \right| \le 1,\forall {\rm{x}} \in \left[ {0,1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/fd2a0b8f4f470aeff05a8f191f4cda50.png)
της υποθέσεως γίνεται

(2).
Για

είναι

.
Οπότε,
![\displaystyle \forall x \in \left[ {0,\;1} \right] \displaystyle \forall x \in \left[ {0,\;1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/78bb3d3ccbb82d7c41ed298fc4ea8104.png)
είναι

.
Για να ισχύει η (2) πρέπει και αρκεί

. Όταν το άθροισμα των θετικών αριθμών

ισούται με το μέγιστο δυνατό, που είναι

, το γινόμενο

παίρνει τη μέγιστη τιμή του, όταν

, οπότε το μέγιστο του γινομένου τους ισούται με

.
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Σάβ Δεκ 08, 2018 12:57 am
από Μπουμπουλής Κώστας
Και μια διαφορετική προσέγγιση, για ...πλουραλισμό:
Θεωρούμε τα διανύσματα

και

οπότε
Άρα
αφού η μέγιστη τιμή του

είναι

, όταν
![x\in \left [ 0,1 \right ] x\in \left [ 0,1 \right ]](/forum/ext/geomar/texintegr/latexrender/pictures/6c33a6c363fd621c68b448a8bcad2f84.png)
.
Επειδή

αρκεί

.
Η ισότητα επιτυγχάνεται για

που ικανοποιούν τη συνθήκη
άρα
άρα

με την ισότητα για
Άρα η μέγιστη τιμή του

είναι

(αν δεν έκανα κάποιο άλμα...)
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Σάβ Δεκ 08, 2018 1:18 am
από Mihalis_Lambrou
Κάτι δεν μου πάει καλά με το παραπάνω βήμα. Πρώτα απ' όλα δεν είναι συντακτικά σωστό: Αν πούμε "επειδή" μετά πρέπει να πούμε "έπεται" και όχι "αρκεί".
Όπως και να είναι, με την συνθήκη

χάνουμε συναρτήσεις

με

. Τέτοια είναι η

. Για να πεισθούμε ότι ικανοποιείται η

δεν έχουμε παρά να κοιτάξουμε το γράφημά της (απλό). Όμως εδώ

.
Θέλω να πω: Η μέθοδος βρίσκει το μέγιστο

εκείνων των

με

. Όμως υπάρχουν και άλλες

που ικανοποιούν τα δεδομένα της εκφώνησης, οπότε το μέγιστο

μπορεί να αυξηθεί.
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Κυρ Δεκ 09, 2018 1:00 am
από Μπουμπουλής Κώστας

Τελικά έγινε άλμα ...επι κοντώ. Μικρός δεν ήμουνα καλός. Τώρα που μεγάλωσα βλέπω ότι βελτιώθηκα...
Αν μπορεί κάποιος να άρει το άλμα ας το κάνει , αν όχι ας αφαιρέσει παρακαλώ τη λύση ...
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Κυρ Δεκ 09, 2018 9:50 am
από Γιώργος Ρίζος
Μπουμπουλής Κώστας έγραψε: Κυρ Δεκ 09, 2018 1:00 am
Αν μπορεί κάποιος να άρει το άλμα ας το κάνει , αν όχι ας αφαιρέσει παρακαλώ τη λύση ...
Καλημέρα σε όλους. Έκανα μια προσπάθεια να παρέμβω στην λύση του
Κώστα, αλλά δεν μπορώ να "σώσω την παρτίδα", όπως έλεγε ο αξέχαστος φίλος
Λεωνίδας.
Θεωρούμε τα διανύσματα

και
![\displaystyle \vec v = \left( {x,1} \right),\;\;x \in \left[ {0,1} \right] \displaystyle \vec v = \left( {x,1} \right),\;\;x \in \left[ {0,1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/bf2d97ebbb0971be6d4f4581ceaf8da5.png)
οπότε

.
Άρα

(1) , αφού η μέγιστη τιμή του

είναι

, όταν
![\displaystyle x \in \left[ {0,1} \right] \displaystyle x \in \left[ {0,1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/4987ba4cf4510bdf68a9f05777424a28.png)
.
(Στην ίδια ανισότητα (1) θα καταλήγαμε απευθείας με τη χρήση της ανισότητας Cauchy

).
Η συνθήκη

γράφεται

(2), αφού
![\displaystyle x \in \left[ {0,1} \right] \displaystyle x \in \left[ {0,1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/4987ba4cf4510bdf68a9f05777424a28.png)
.
Εδώ έχουμε δύο ανισότητες ομόρροπες, που δεν μπορούν να συνδυαστούν με τη μεταβατική ιδιότητα.
Προφανώς ισχύει

, για κάθε

.
με την ισότητα να επιτυγχάνεται όταν

.
Τότε

, άρα η μέγιστη δυνατή τιμή του

είναι το

, οπότε και το μέγιστο δυνατό γινόμενο

είναι

.
Όμως, με βάση ποια συνθήκη της εκφώνησης θα απαιτήσουμε να ισχύει η ισότητα, που δίνει το (εκ των προτέρων γνωστό) μέγιστο;
Νομίζω ότι η διαδρομή του
Μιχάλη, που έθεσε αρχικά

στη συνθήκη της υπόθεσης είναι η βέλτιστη.
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Κυρ Δεκ 09, 2018 8:09 pm
από S.E.Louridas
chris_gatos έγραψε: Πέμ Δεκ 06, 2018 10:21 pm
Έστω

και η γραμμική συνάρτηση
για την οποία ισχύει
![\displaystyle \left| {f(x)} \right| \le 1,{\rm{ }}\forall {\rm{x}} \in \left[ {0,1} \right] \displaystyle \left| {f(x)} \right| \le 1,{\rm{ }}\forall {\rm{x}} \in \left[ {0,1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/5f4ee1f19772efe13cfa35df191348bc.png)
.
Ποια είναι τότε η μέγιστη τιμή του γινομένου

;
Αρκεί να βρούμε το μέγιστο του
Τότε, για κάθε
![x \in \left[ {0,1} \right],\;\left| {ax + b} \right| \leqslant 1 \Leftrightarrow {a^2}x + u \leqslant \left| a \right|. x \in \left[ {0,1} \right],\;\left| {ax + b} \right| \leqslant 1 \Leftrightarrow {a^2}x + u \leqslant \left| a \right|.](/forum/ext/geomar/texintegr/latexrender/pictures/3590113cacf597fbbd0be8220ba3a065.png)
Αρκεί λοιπόν να βρούμε το

, όταν

αφού
![x \in \left[ {0,1} \right] \Rightarrow u \leqslant {\left| a \right|^2}x + u \leqslant {\left| a \right|^2} + u, x \in \left[ {0,1} \right] \Rightarrow u \leqslant {\left| a \right|^2}x + u \leqslant {\left| a \right|^2} + u,](/forum/ext/geomar/texintegr/latexrender/pictures/c4e5bf14bbba096f840cc31c34db1e96.png)
άρα αρκεί να βρούμε το

όταν

έτσι καταλήγουμε στην

οπότε

και αυτό γίνεται όταν

Η επαλήθευση είναι εύκολη.
edit: Αντικατέστησα την προηγούμενη ανάρτηση μου με αυτήν που είναι πιό αυστηρή.
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Κυρ Δεκ 09, 2018 10:09 pm
από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Ας γράψω και εγώ μια εκτός φακέλου.
Ειναι φανερό ότι η συνθήκη του προβλήματος ισχύει αν και μόνο αν

Αν κάνουμε ένα σχήμα θα δούμε ότι τα

βόσκουν σε ένα τετράγωνο
με κορυφές τα σημεία

Μεσα σε αυτό θέλουμε να μεγιστοποιήσουμε το

Παίρνοντας μερικές παραγώγους βλέπουμε ότι δεν μεγιστοποιειται στο εσωτερικό.
Αρα η μεγιστοποίηση θα γίνει όταν

η
(στις άλλες πλευρές είναι αρνητικό)
Από την

με ισότητα για

παίρνουμε το ζητούμενο.
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Κυρ Δεκ 09, 2018 11:11 pm
από Demetres
Ακόμη μία απόδειξη. Ας γράψω

και

. Τότε
με ισότητα αν και μόνο αν

και

. Μένει να κάνουμε τον απλό έλεγχο ότι η

ικανοποιεί τις συνθήκες.
Re: Μέγιστο γινομένου
Δημοσιεύτηκε: Τετ Ιαν 23, 2019 12:38 pm
από S.E.Louridas
chris_gatos έγραψε: Πέμ Δεκ 06, 2018 10:21 pm
Έστω

και η γραμμική συνάρτηση
για την οποία ισχύει
![\displaystyle \left| {f(x)} \right| \le 1,{\rm{ }}\forall {\rm{x}} \in \left[ {0,1} \right] \displaystyle \left| {f(x)} \right| \le 1,{\rm{ }}\forall {\rm{x}} \in \left[ {0,1} \right]](/forum/ext/geomar/texintegr/latexrender/pictures/5f4ee1f19772efe13cfa35df191348bc.png)
.
Ποια είναι τότε η μέγιστη τιμή του γινομένου

;
Σε συζήτηση που είχαμε προ ημερών με τον φίλο μου Γιώργο Τασσόπουλο του ανέφερα το ενδιαφέρον θέμα περί
μεγίστου γινομένου που πρότεινε ο συνάδελφος Χρήστος Κυριαζής και έδωσε τη λύση που ακολουθεί:
Λύση: (από τον Γιώργο Σ. Τασσόπουλο)
Έχουμε:
Αν

μπορούμε χωρίς βλάβη της γενικότητας, να υποθέσουμε

αφού
Τότε:
Αφού η

ισχύει για κάθε
![x \in \left[ {0,1} \right], x \in \left[ {0,1} \right],](/forum/ext/geomar/texintegr/latexrender/pictures/1bb28983b8252de535b82a664ca7b63d.png)
θα έχουμε:
![\left[ {0,1} \right] \subseteq \left[ { - \frac{{1 + \beta }}{\alpha },\;\frac{{1 - \beta }}{\alpha }} \right] \Rightarrow \frac{{1 - \beta }}{\alpha } \geqslant 1 \left[ {0,1} \right] \subseteq \left[ { - \frac{{1 + \beta }}{\alpha },\;\frac{{1 - \beta }}{\alpha }} \right] \Rightarrow \frac{{1 - \beta }}{\alpha } \geqslant 1](/forum/ext/geomar/texintegr/latexrender/pictures/e47dcc38385e5431b0d977126f260e16.png)
και
Όμως:

με το ισον για

Προφανώς τότε

Τέλος για

έχουμε

Άρα
Ερώτηση: Προφανώς:
Άραγε είναι αυτό αρκετό; Περιέργως:

κλπ.(!!)
(*) Συμπληρώθηκαν τα παρακάτω που το \tex στο κείμενο τα είχε "φάει":

,
