Σελίδα 1 από 1
'Αλλη μία με κυρτές συναρτήσεις
Δημοσιεύτηκε: Δευ Δεκ 29, 2008 7:35 pm
από nsmavrogiannis
Να αποδείξετε ότι αν η

είναι δύο φορές παραγωγίσιμη σε ένα διάστημα τότε τα εξής είναι ισοδύναμα:
1) Η

είναι κυρτή.
2) Η

είναι παντού μη αρνητική και το σύνολο των ριζών της δεν περιέχει διάστημα.
Μαυρογιάννης
Re: 'Αλλη μία με κυρτές συναρτήσεις
Δημοσιεύτηκε: Δευ Δεκ 29, 2008 7:46 pm
από Μπάμπης Στεργίου
nsmavrogiannis έγραψε:Να αποδείξετε ότι αν η

είναι δύο φορές παραγωγίσιμη σε ένα διάστημα τότε τα εξής είναι ισοδύναμα:
1) Η

είναι κυρτή.
2) Η

είναι παντού μη αρνητική και το σύνολο των ριζών της δεν περιέχει διάστημα.
Μαυρογιάννης
Νίκο, ωραία επισήμανση και βασικό νομίζω συμπέρασμα. Έκανες πολύ καλά και το έκανες άσκηση, διότι οι μαθητές δυσκολεύονται με αυτούς τους συλλογισμούς. Δεν θα γράψω λεπτομέρειες για τη λύση, ώστε να την απαντήσει κάποιο νεότερο μέλος. Να πω μόνο αυτό: Αν η f '' είναι μηδέν σε κάποιο διάστημα, τότε η f ' είναι σταθερή στο διάστημα αυτό και έτσι δεν είναι γνησίως μονότονη (γν. αύξουσα) στο διάστημα αυτό, κάτι που απαιτεί ο ορισμός της κυρτής συνάρτησης. Από την άλλη, αν η f '' δεν μηδενίζεται σε διάστημα και δεν είναι πουθενά αρνητική, τότε η f ' είναι γνησίως αύξουσα (ως αύξουσα).
Καλό βράδυ σε όλους .
Re: 'Αλλη μία με κυρτές συναρτήσεις
Δημοσιεύτηκε: Δευ Δεκ 29, 2008 9:02 pm
από chris_gatos
Έστω

το διάστημα. Υποθέτουμε οτι η

είναι κυρτή στο

. Συνεπώς

γνησίως αύξουσα στο

.
Επειδή η

είναι δύο φορές παραγωγίσιμη στο

, θα ισχύει

.
Αν υπήρχε διάστημα

, υποσύνολο του

, ώστε

, για κάθε

στο

, τότε η

θα ήταν σταθερή. Άτοπο.
Αρα η

δε μηδενίζεται σε διάστημα.
Αντιστρόφως, έστω

και τα σημεία μηδενισμού της

δε συνιστούν διάστημα. Τότε η

είναι αύξουσα στο

.Aν δεν ήταν γν.αύξουσα, θα υπήρχαν

και

.
Τότε για κάθε
![x \in [x_1,x_2] x \in [x_1,x_2]](/forum/ext/geomar/texintegr/latexrender/pictures/7f4773005917d56ebc95a6aa22242ed6.png)
ισχύει:

δηλαδή

, που σημαίνει

σταθερή στο
![[x_1,x_2] [x_1,x_2]](/forum/ext/geomar/texintegr/latexrender/pictures/e2928e128099d8ebc393e5079c62ab4c.png)
. Αρα

στο
![[x_1,x_2] [x_1,x_2]](/forum/ext/geomar/texintegr/latexrender/pictures/e2928e128099d8ebc393e5079c62ab4c.png)
. Άτοπο.
Αρα η

είναι γν. αύξουσα στο

. Συνεπώς η

κυρτή στο

.
Υ.Γ. παιδεύτηκα να γράψω την απάντηση, συγνώμη αν κάποιος την έχει απαντήσει ήδη, αλλά εντάξει, καίω κάρβουνο στην πληκτρολόγηση και γενικά τη χρήση του Η/Υ.
Re: 'Αλλη μία με κυρτές συναρτήσεις
Δημοσιεύτηκε: Κυρ Ιαν 04, 2009 7:49 am
από R BORIS
chris_gatos έγραψε:Έστω Δ το διάστημα. Υποθέτουμε οτι η f είναι κυρτή στο Δ. Συνεπώς f' γνησίως αύξουσα στο Δ. Επειδή η f είναι δύο φορές παραγωγίσιμη στο Δ, θα ισχύει f''(x)>=0 για κάθε χ στο Δ. Αν υπήρχε διάστημα Δ1, υποσύνολο του Δ, ώστε f''(x)=0, για κάθε χ στο Δ1, τότε η f' θα ήταν σταθερή. Άτοπο. Αρα η f'' δε μηδενίζεται σε διάστημα.
Αντιστρόφως, έστω f''(x)>=0 για κάθε χ στο Δ και τα σημεία μηδενισμού της f'' δε συνιστούν διάστημα. Τότε η f' είναι αύξουσα στο Δ.Aν δεν ήταν γν.αύξουσα, θα υπήρχαν χ1,χ2 στο Δ με χ1<χ2 και f'(x1)=f'(x2). Τότε για κάθε χ στο [χ1,χ2] ισχύει: f'(x1)<=f'(x)<=f'(x2) δηλαδή f'(x)=f'(x1)=f'(x2), που σημαίνει f' σταθερή στο [χ1,χ2]. Αρα f''(x)=0 στο [x1,x2]. Άτοπο.
Αρα η f' είναι γν. αύξουσα στο Δ. Συνεπώς η f κυρτή στο Δ.
Υ.Γ. παιδεύτηκα να γράψω την απάντηση, συγνώμη αν κάποιος την έχει απαντήσει ήδη, αλλά εντάξει, καίω κάρβουνο στην πληκτρολόγηση και γενικά τη χρήση του Η/Υ.
Το κριτήριο αυτό δεν χρειάζεται να εφαρμοστεί στην 2η παράγωγο για κυρτότητα αλλά μπορεί να εφαρμοστεί απ' ευθείας στην πρώτη προκειμένου να αποφανθεί κανείς για το ΓΝΗΣΙΩΣ μονότονο πχ
