Κυρτή στο R

Συντονιστής: KAKABASBASILEIOS

Άβαταρ μέλους
pito
Δημοσιεύσεις: 1682
Εγγραφή: Τρί Μάιος 18, 2010 10:41 pm
Τοποθεσία: mathematica

Κυρτή στο R

#1

Μη αναγνωσμένη δημοσίευση από pito » Παρ Μάιος 12, 2017 11:48 am

Καλημέρα :logo: .

Να δείξετε ότι η συνάρτηση
f(x)=\left\{\begin{matrix} 
\frac{e^{x}-1}{x},x\neq 0\\ 1,x=0 
 
\end{matrix}\right. είναι κυρτή στο R.

Ευχαριστώ.


1. Δεν διδάσκουμε με αυτό που λέμε και κάνουμε. Διδάσκουμε με αυτό που είμαστε.
2. Ο μέτριος δάσκαλος περιγράφει. Ο καλός δάσκαλος εξηγεί. Ο σωστός δάσκαλος αποδεικνύει. Ο σπουδαίος δάσκαλος εμπνέει. ( Γουίλιαμ Γουάρντ)

Λέξεις Κλειδιά:
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 1564
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Κυρτή στο R

#2

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Παρ Μάιος 12, 2017 4:03 pm

Είναι εύκολο να δείξουμε ότι η f

παραγωγίζεται στο 0και f'(0)=\frac{1}{2}

Για x\neq 0

είναι f''(x)=\dfrac{r(x)}{x^{3}}

όπου r(x)=x^{2}e^{x}-2xe^{x}+2e^{x}-2

Είναι r(0)=0\wedge r'(x)=x^{2}e^{x}

Από μονοτονία της r

έχουμε x> 0\Rightarrow r(x)> 0\wedge x< 0\Rightarrow r(x)< 0

Αρα f''(x)> 0,x\neq 0

που δείχνει ότι η f είναι κυρτή.


Άβαταρ μέλους
matha
Γενικός Συντονιστής
Δημοσιεύσεις: 6006
Εγγραφή: Παρ Μάιος 21, 2010 7:40 pm
Τοποθεσία: Θεσσαλονίκη

Re: Κυρτή στο R

#3

Μη αναγνωσμένη δημοσίευση από matha » Παρ Μάιος 12, 2017 11:10 pm

Αποδείξτε και το ισ-χειρότερο ( :) ), ότι η συνάρτηση είναι λογαριθμικά κυρτή, δηλαδή ότι η συνάρτηση \displaystyle{\ln \circ f} είναι κυρτή στο \displaystyle{\mathbb{R}.}


Μάγκος Θάνος
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 1564
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Κυρτή στο R

#4

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Σάβ Μάιος 13, 2017 6:48 pm

Αν g(x)=lnf(x)

τότε είναι g''(x)=\dfrac{f''(x)f(x)-(f'(x))^{2}}{(f(x))^{2}}

Αρκεί να δείξουμε ότι για x\neq 0

f''(x)f(x)-(f'(x))^{2}>0

Αλλά κάνοντας τις πράξεις βρίσκουμε ότι

f''(x)f(x)-(f'(x))^{2}=\dfrac{r(x)}{x^{4}}

οπου r(x)=e^{2x}-x^{2}e^{x}-2e^{x}+1=e^{x}(e^{x}+e^{-x}-2-x^{2})

Αρκεί για x\neq 0

να είναι e^{x}+e^{-x}-2-x^{2}>0(1)

Ειναι για x\in \mathbb{R}

e^{x}\geq 1+x+\frac{x^{2}}{2}+\frac{x^{3}}{6}(2)

με ισότητα αν και μόνο αν x=0

παίρνοντας την (2)για x και -x και προσθέτοντας έχουμε την (1).


Απόδειξη της (2)
Θεωρούμε την h(x)=e^{-x}(1+x+\frac{x^{2}}{2}+\frac{x^{3}}{6})

Είναι h'(x)=-e^{-x}\frac{x^{3}}{6} που δείχνει ότι έχει ολικό μέγιστο στο 0

Αφού h(0)=1 προκύπτει άμεσα.


Με τον ίδιο τρόπο που μπορούμε να δείξουμε ότι για x\in \mathbb{R}

e^{x}\geq 1+x+\frac{x^{2}}{2!}+.....+\frac{x^{2n+1}}{(2n+1)!}

με ισότητα αν και μόνο αν x=0

Συμπλήρωμα .Διόρθωσα τυπογραφικό.Συγκεκριμένα είχα γράψει ολικό ελάχιστο για την h ενώ το σωστό είναι
ολικό μέγιστο.


Antonis Loutraris
Δημοσιεύσεις: 165
Εγγραφή: Δευ Οκτ 19, 2009 4:16 pm

Re: Κυρτή στο R

#5

Μη αναγνωσμένη δημοσίευση από Antonis Loutraris » Σάβ Μάιος 13, 2017 10:59 pm

Ένα ακόμη ερώτημα..

Υπάρχει θετική κυρτή συνάρτηση f:\mathbb{R}\rightarrow\mathbb{R} της οποίας
ο λογάριθμος δεν είναι κυρτή συνάρτηση;


Αντώνης Λουτράρης
Παπαστεργίου Κώστας
Δημοσιεύσεις: 41
Εγγραφή: Δευ Σεπ 05, 2016 2:36 pm

Re: Κυρτή στο R

#6

Μη αναγνωσμένη δημοσίευση από Παπαστεργίου Κώστας » Κυρ Μάιος 14, 2017 1:02 am

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:Αν g(x)=lnf(x)

τότε είναι g''(x)=\dfrac{f''(x)f(x)-(f'(x))^{2}}{(f(x))^{2}}

Αρκεί να δείξουμε ότι για x\neq 0

f''(x)f(x)-(f'(x))^{2}>0

Αλλά κάνοντας τις πράξεις βρίσκουμε ότι

f''(x)f(x)-(f'(x))^{2}=\dfrac{r(x)}{x^{4}}

οπου r(x)=e^{2x}-x^{2}e^{x}-2e^{x}+1=e^{x}(e^{x}+e^{-x}-2-x^{2})

Αρκεί για x\neq 0

να είναι e^{x}+e^{-x}-2-x^{2}>0(1)

Ειναι για x\in \mathbb{R}

e^{x}\geq 1+x+\frac{x^{2}}{2}+\frac{x^{3}}{6}(2)

με ισότητα αν και μόνο αν x=0

παίρνοντας την (2)για x και -x και προσθέτοντας έχουμε την (1).


Απόδειξη της (2)
Θεωρούμε την h(x)=e^{-x}(1+x+\frac{x^{2}}{2}+\frac{x^{3}}{6})

Είναι h'(x)=-e^{-x}\frac{x^{3}}{6} που δείχνει ότι έχει ολικό μέγιστο στο 0

Αφού h(0)=1 προκύπτει άμεσα.


Με τον ίδιο τρόπο που μπορούμε να δείξουμε ότι για x\in \mathbb{R}

e^{x}\geq 1+x+\frac{x^{2}}{2!}+.....+\frac{x^{2n+1}}{(2n+1)!}


με ισότητα αν και μόνο αν x=0

Συμπλήρωμα .Διόρθωσα τυπογραφικό.Συγκεκριμένα είχα γράψει ολικό ελάχιστο για την h ενώ το σωστό είναι
ολικό μέγιστο.

Ο μηδενισμός της πρώτης παραγώγου σε ένα σημείο δεν αρκεί να το χαρακτηρίσει ως θέση ακροτάτου. Πολύ δε μάλλον ολικό ακρότατο. Δεν είναι γνωστή η μονοτονία της h και δυστυχώς η δευτέρα παράγωγος είναι επίσης 0 και πάει λέγοντας. Έχω να πω όμως ότι η σχέση e^{x}>1+x+....+\frac{x^{n}}{n!} ισχύει και αυτό προκύπτει από το ανάπτυγμα της e^{x} σε δυναμοσειρά. Έτσι νομίζω ότι φεύγει ένα μελανό σημείο από μια έξυπνη απόδειξη.

Πάντως αν θέλαμε να περιοριστούμε σε σχολικά πλαίσια έχω μια απόδειξη την οποία θα ανεβάσω αύριο διότι είναι αργά και είναι λίγο μεγάλη.
Καλόπιστα ΠΚ.


ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 1564
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Κυρτή στο R

#7

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Κυρ Μάιος 14, 2017 8:31 am

Παπαστεργίου Κώστας έγραψε:
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:Αν g(x)=lnf(x)

τότε είναι g''(x)=\dfrac{f''(x)f(x)-(f'(x))^{2}}{(f(x))^{2}}

Αρκεί να δείξουμε ότι για x\neq 0

f''(x)f(x)-(f'(x))^{2}>0

Αλλά κάνοντας τις πράξεις βρίσκουμε ότι

f''(x)f(x)-(f'(x))^{2}=\dfrac{r(x)}{x^{4}}

οπου r(x)=e^{2x}-x^{2}e^{x}-2e^{x}+1=e^{x}(e^{x}+e^{-x}-2-x^{2})

Αρκεί για x\neq 0

να είναι e^{x}+e^{-x}-2-x^{2}>0(1)

Ειναι για x\in \mathbb{R}

e^{x}\geq 1+x+\frac{x^{2}}{2}+\frac{x^{3}}{6}(2)

με ισότητα αν και μόνο αν x=0

παίρνοντας την (2)για x και -x και προσθέτοντας έχουμε την (1).


Απόδειξη της (2)
Θεωρούμε την h(x)=e^{-x}(1+x+\frac{x^{2}}{2}+\frac{x^{3}}{6})

Είναι h'(x)=-e^{-x}\frac{x^{3}}{6} που δείχνει ότι έχει ολικό μέγιστο στο 0

Αφού h(0)=1 προκύπτει άμεσα.


Με τον ίδιο τρόπο που μπορούμε να δείξουμε ότι για x\in \mathbb{R}

e^{x}\geq 1+x+\frac{x^{2}}{2!}+.....+\frac{x^{2n+1}}{(2n+1)!}


με ισότητα αν και μόνο αν x=0

Συμπλήρωμα .Διόρθωσα τυπογραφικό.Συγκεκριμένα είχα γράψει ολικό ελάχιστο για την h ενώ το σωστό είναι
ολικό μέγιστο.

Ο μηδενισμός της πρώτης παραγώγου σε ένα σημείο δεν αρκεί να το χαρακτηρίσει ως θέση ακροτάτου. Πολύ δε μάλλον ολικό ακρότατο. Δεν είναι γνωστή η μονοτονία της h και δυστυχώς η δευτέρα παράγωγος είναι επίσης 0 και πάει λέγοντας. Έχω να πω όμως ότι η σχέση e^{x}>1+x+....+\frac{x^{n}}{n!} ισχύει και αυτό προκύπτει από το ανάπτυγμα της e^{x} σε δυναμοσειρά. Έτσι νομίζω ότι φεύγει ένα μελανό σημείο από μια έξυπνη απόδειξη.

Πάντως αν θέλαμε να περιοριστούμε σε σχολικά πλαίσια έχω μια απόδειξη την οποία θα ανεβάσω αύριο διότι είναι αργά και είναι λίγο μεγάλη.
Καλόπιστα ΠΚ.
Είδατε πουθενά γραμμένο ότι ο μηδενισμός της πρώτης παραγώγου μας δίνει το ακρότατο;

Από την h'(x)=-e^{-x}\frac{x^{3}}{6} προκύπτει άμεσα εύκολα η μονοτονία της συνάρτησης και μετά το

ολικό ακρότατο.

x> 0\Rightarrow x^{3}> 0\Rightarrow -e^{-x}\frac{x^{3}}{6}< 0
κλπ


Παπαστεργίου Κώστας
Δημοσιεύσεις: 41
Εγγραφή: Δευ Σεπ 05, 2016 2:36 pm

Re: Κυρτή στο R

#8

Μη αναγνωσμένη δημοσίευση από Παπαστεργίου Κώστας » Κυρ Μάιος 14, 2017 8:36 am

Η δευτέρα παράγωγος της ln(\frac{e^{x}-1}{x}) είναι η \frac{e^{2x}-x^{2}e^{x}-2e^{x}+1}{x^{2}(e^{x}-1)^{2}} της οποίας το πρόσημο φυσικά καθορίζεται από τον αριθμητή h_{1}(x)= e^{2x}-x^{2}e^{x}-2e^{x}+1 με h_{1}(0)=0 και {h_{1}}'(x)= e^{x}\left ( 2e^{x}-2x-x^{2}-2 \right ) Το πρόσημο αυτής καθορίζεται από το πρόσημο της h_{2}(x)= 2e^{x}-2x-x^{2}-2 με h_{2}(0)=0 και {h_{2}}'(x)=2(e^{x}-x-1) .Το πρόσημο της {h_{2}}'(x) καθορίζεται από το πρόσημο της h_{3}(x)=e^{x}-x-1 με h_{3}(0)=0 και {h_{3}}'(x)= e^{x}-1 με {h_{3}}'(0)= 0 και {h_{3}}''(x)= e^{x}> 0
Πάμε τώρα αντίστροφα.
Η {h_{3}}'(x) είναι γνησίως αύξουσα άρα - αριστερά του μηδενός και + δεξιά του. Άρα η h_{3}(x) είναι θετική με ελάχιστο το μηδέν. Επομένως η h_{2}(x) άρα και η {h_{1}}'(x)
είναι αύξουσα άρα - αριστερά του μηδενός και + δεξιά του. Έτσι η h_{1}(x) είναι θετική με ελάχιστο το μηδέν.
Τελικά η δευτέρα παράγωγος της ln(\frac{e^{x}-1}{x}) είναι θετική παντού (και στο 0 με πολλαπλά DLH είναι 1/12 αν και δε χρειάζεται). Έτσι η ln(\frac{e^{x}-1}{x}) είναι κυρτή.
Ευχαριστώ
ΠΚ


Παπαστεργίου Κώστας
Δημοσιεύσεις: 41
Εγγραφή: Δευ Σεπ 05, 2016 2:36 pm

Re: Κυρτή στο R

#9

Μη αναγνωσμένη δημοσίευση από Παπαστεργίου Κώστας » Κυρ Μάιος 14, 2017 9:10 am

Η νύχτα είναι κακός σύμβουλος και εγώ απρόσεκτος. Ήταν πατάτα. Ίσως είμαι πρόβλημα γιαυτό φεύγω. Να είστε καλά.


Άβαταρ μέλους
matha
Γενικός Συντονιστής
Δημοσιεύσεις: 6006
Εγγραφή: Παρ Μάιος 21, 2010 7:40 pm
Τοποθεσία: Θεσσαλονίκη

Re: Κυρτή στο R

#10

Μη αναγνωσμένη δημοσίευση από matha » Κυρ Μάιος 14, 2017 10:48 pm

Antonis Loutraris έγραψε:Ένα ακόμη ερώτημα..

Υπάρχει θετική κυρτή συνάρτηση f:\mathbb{R}\rightarrow\mathbb{R} της οποίας
ο λογάριθμος δεν είναι κυρτή συνάρτηση;
Μια τέτοια είναι η κυρτή \displaystyle{x^2+1} με την \displaystyle{\ln (x^2+1)} να Μην είναι κυρτή σε όλο το \displaystyle{\mathbb{R}.}


Μάγκος Θάνος
Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 779
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Κυρτή στο R

#11

Μη αναγνωσμένη δημοσίευση από M.S.Vovos » Κυρ Μάιος 14, 2017 11:17 pm

Παπαστεργίου Κώστας έγραψε:Η νύχτα είναι κακός σύμβουλος και εγώ απρόσεκτος. Ήταν πατάτα. Ίσως είμαι πρόβλημα γιαυτό φεύγω. Να είστε καλά.
Κύριε Παπαστεργίου, θα ήθελα να δηλώσω απλά (μέσα από τη μικρή μου διαδρομή στο :logo:) ότι ο εν λόγω ιστόχωρος έχει τη λογική και τη νοοτροπία να έλκει και όχι να απωθεί τα άτομα που δέχεται. Δεν είστε καθόλου πρόβλημα, κάθε άλλο μάλιστα. Γι' αυτό θα προτιμούσα να μείνετε. Πάντα υπάρχει κάτι που μπορούμε να μάθουμε από άλλους... κάτι καινούργιο!

Φιλικά.

Υ.Γ. Σας τα λέει αυτά άνθρωπος που δεν έχει κάποιο "αξίωμα" στο :logo:.


Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
Άβαταρ μέλους
pito
Δημοσιεύσεις: 1682
Εγγραφή: Τρί Μάιος 18, 2010 10:41 pm
Τοποθεσία: mathematica

Re: Κυρτή στο R

#12

Μη αναγνωσμένη δημοσίευση από pito » Παρ Ιαν 12, 2018 11:29 am

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Παρ Μάιος 12, 2017 4:03 pm
Είναι εύκολο να δείξουμε ότι η f

παραγωγίζεται στο 0και f'(0)=\frac{1}{2}

Για x\neq 0

είναι f''(x)=\dfrac{r(x)}{x^{3}}

όπου r(x)=x^{2}e^{x}-2xe^{x}+2e^{x}-2

Είναι r(0)=0\wedge r'(x)=x^{2}e^{x}

Από μονοτονία της r

έχουμε x> 0\Rightarrow r(x)> 0\wedge x< 0\Rightarrow r(x)< 0

Αρα f''(x)> 0,x\neq 0

που δείχνει ότι η f είναι κυρτή.
Καλημέρα,σας ευχαριστώ για την απάντησή σας. Μετά από καιρό, ήθελα να ρωτήσω, δεν θα έπρεπε και να δείξουμε ότι η παράγωγος της f είναι συνεχής στο 0, για να πούμε ότι η f είναι κυρτή σε όλο το R;

Ευχαριστώ.


1. Δεν διδάσκουμε με αυτό που λέμε και κάνουμε. Διδάσκουμε με αυτό που είμαστε.
2. Ο μέτριος δάσκαλος περιγράφει. Ο καλός δάσκαλος εξηγεί. Ο σωστός δάσκαλος αποδεικνύει. Ο σπουδαίος δάσκαλος εμπνέει. ( Γουίλιαμ Γουάρντ)
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 1564
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Κυρτή στο R

#13

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Παρ Ιαν 12, 2018 6:14 pm

pito έγραψε:
Παρ Ιαν 12, 2018 11:29 am
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Παρ Μάιος 12, 2017 4:03 pm
Είναι εύκολο να δείξουμε ότι η f

παραγωγίζεται στο 0και f'(0)=\frac{1}{2}

Για x\neq 0

είναι f''(x)=\dfrac{r(x)}{x^{3}}

όπου r(x)=x^{2}e^{x}-2xe^{x}+2e^{x}-2

Είναι r(0)=0\wedge r'(x)=x^{2}e^{x}

Από μονοτονία της r

έχουμε x> 0\Rightarrow r(x)> 0\wedge x< 0\Rightarrow r(x)< 0

Αρα f''(x)> 0,x\neq 0

που δείχνει ότι η f είναι κυρτή.
Καλημέρα,σας ευχαριστώ για την απάντησή σας. Μετά από καιρό, ήθελα να ρωτήσω, δεν θα έπρεπε και να δείξουμε ότι η παράγωγος της f είναι συνεχής στο 0, για να πούμε ότι η f είναι κυρτή σε όλο το R;

Ευχαριστώ.
Εξαρτάται τα Μαθηματικά.Με τα δεδομένα της λύσης είναι άμεσο ότι η f' είναι συνεχής.

Δηλαδή αν f:\mathbb{R}\rightarrow \mathbb{R}
συνεχής παραγωγίσημη με f''(x)> 0,x\neq 0
τότε η f' είναι συνεχής.

Απόδειξη.
η f' είναι γνησίως αύξουσα στα (0,+\infty ),(-\infty ,0)
Ετσι τα \lim_{x\rightarrow 0^{+}}f'(x),\lim_{x\rightarrow 0^{-}}f'(x)
υπάρχουν.Ωφείλουν να είναι ίσα(προκύπτει από Darboux) .
Και επειδή το f'(0) υπάρχει προκύπτει ότι είναι ίσα με αυτό.

Μάλλον το παραπάνω είχα στο μυαλό μου και το παρέλειψα.

Σε κάθε περίπτωση είναι εύκολο με DHL να δείξουμε ότι \lim_{x\rightarrow 0}f'(x)=f'(0)


Απάντηση

Επιστροφή σε “ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης