Ανάλυση - Αρχική

Συντονιστές: Πρωτοπαπάς Λευτέρης, R BORIS, KAKABASBASILEIOS, Μπάμπης Στεργίου, m.pαpαgrigorakis, Καρδαμίτσης Σπύρος

Μπάμπης Στεργίου
Επιμελητής
Δημοσιεύσεις: 5588
Εγγραφή: Δευ Δεκ 22, 2008 2:16 pm
Τοποθεσία: Χαλκίδα - Καρδίτσα

Ανάλυση - Αρχική

#1

Μη αναγνωσμένη δημοσίευση από Μπάμπης Στεργίου »

Έστω f μια συνεχής συνάρτηση ορισμένη στο \mathbb R και F μια αρχική της f με την ιδιότητα

f(x) > F(x) για κάθε x και (ΠΡΟΣΘΗΚΗ ) F(0)\, > 0.

Να αποδειχθεί ότι : \mathop {\lim }\limits_{x\, \to \, + \,\infty } f(x)\, = \, + \,\infty.

ΣΧΟΛΙΑ
Έχω μια λύση, αλλά θέλω να την απλοποιήσω .
Σκέφτομαι να δώσω ότι F(0) > 0 , για να γλυκάνει η λύση , αφού αν αφαιρέσουμε από την f και την F το F(0)μπορούμε να πάμε σε αντίστοιχες συναρτήσεις g , G με g(0) > 0 και g(x) > G(x).
Θα περιμένω όμως και τις σκέψεις σας και μετά θα δω πώς θα την κάνω την άσκηση αυτή ένα θεματάκι με 2-3 ερωτήματα, ώστε να έχει και κάτι το διδακτικό ή χρήσιμο για τη δουλειά μας.

ΔΙΟΡΘΩΣΗ !!!

Στην αρχική διατύπωση, όπως θα καταλάβετε από την αλληλογραφία, έλλειπε η δεύτερη συνθήκη.
Τελευταία επεξεργασία από το μέλος Φωτεινή την Σάβ Μάιος 25, 2013 11:25 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Λόγος: $LaTeX$
Άβαταρ μέλους
chris_gatos
Επιμελητής
Δημοσιεύσεις: 6970
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Ανθούπολη

Re: Ανάλυση - Αρχική

#2

Μη αναγνωσμένη δημοσίευση από chris_gatos »

Κύριε Μπάμπη,γεια σας και καλή χρονιά! Αναρωτιέμαι μήπως η άσκηση χρειάζεται περισσότερες διευκρινίσεις...
Αν πάρουμε F(x) =  - e^{ - x} τότε η παράγωγος της F είναι f(x) = e^{ - x} και ισχύει f(x) > F(x) για κάθε x στο R.Όμως \displaystyle{\displaystyle  
\lim_{x \to  + \infty }f(x) = 0}.
Υ.Γ αν κάποιος γνωρίζει που θα βρώ το lim στο texaide,ας το...σφυρίξει!Φεύγω και επιστρέφω το βράδυ.Γειά σας!
Τελευταία επεξεργασία από το μέλος chris_gatos την Δευ Ιαν 05, 2009 11:14 pm, έχει επεξεργασθεί 1 φορά συνολικά.
Χρήστος Κυριαζής
k-ser
Δημοσιεύσεις: 870
Εγγραφή: Σάβ Δεκ 20, 2008 10:22 am
Τοποθεσία: Μουζάκι Καρδίτσας
Επικοινωνία:

Re: Ανάλυση - Αρχική

#3

Μη αναγνωσμένη δημοσίευση από k-ser »

Μπράβο ρε Χρήστο!
Τόση ώρα έψαχνα ένα αντιπαράδειγμα...
Μπάμπη,
πρέπει να δώσεις μια θετική τιμή για την F.

Δεν ανέβηκες!
Έξω χιονίζει ασταμάτητα - είναι πολύ όμορφα...
Ποτέ δεν είναι αργά...

Χρήστο, για να γράψεις το lim, πάτα το κουμπί με το οποίο βάζεις εκθέτες, και μετά το ορθογώνιο που έχει μια μαύρη γραμμούλα από κάτω.
Κώστας Σερίφης
Άβαταρ μέλους
Τηλέγραφος Κώστας
Επιμελητής
Δημοσιεύσεις: 1025
Εγγραφή: Κυρ Δεκ 21, 2008 12:06 am
Τοποθεσία: ΦΕΡΕΣ-ΑΛΕΞ/ΠΟΛΗ
Επικοινωνία:

Re: Ανάλυση - Αρχική

#4

Μη αναγνωσμένη δημοσίευση από Τηλέγραφος Κώστας »

Έστω f μια συνεχής συνάρτηση ορισμένη στο IR και F μια αρχική της f με την ιδιότητα
f(x) > F(x) για κάθε χ. Να αποδειχθεί ότι :\displaystyle{\mathop {\lim }\limits_{x \to \infty } f(x) =  + \infty }
.
Μια γρηγορη ΛΥΣΗ
Eιναι f(x) > F(x)ή F΄(x) - F(x)>0 επι \displaystyle{\displaystyle {{\rm{e}}^{ - {\rm{x}}}}} κ.τ.λ
Έστω g(x)=\displaystyle{\displaystyle {{\rm{e}}^{ - {\rm{x}}}}}F(x) προφανώς g γν.αύξουσα
•Αν F(0)>0 τοτε για \displaystyle{\displaystyle x > 0 =  > {{\rm{e}}^{ - {\rm{x}}}}{\rm{F}}({\rm{x}}){\rm{ }} > {\rm{F}}\left( 0 \right){\rm{ }} =  > {\rm{F}}({\rm{x}}){\rm{ }} > {{\rm{e}}^{\rm{x}}}{\rm{F}}\left( 0 \right)} αρα f(x) > F(x) > \displaystyle{\displaystyle {{\rm{e}}^{  {\rm{x}}}}} F(0) οποτε \displaystyle{\mathop {\lim }\limits_{x \to \infty } f(x) \ge \infty {\rm{F}}\left( 0 \right) \Rightarrow \mathop {\lim }\limits_{x \to \infty } f(x) = \infty }



• Αν F(0)=0 τοτε F(x) >0αρα F΄(x) >0 από την f(x) > F(x) δηλαδη F γν.αυξουσα
απο ΘΜΤ στο [0 ,χ] υπαρχει ξ του (0,χ) ωστε F(x) =χF΄(ξ) αρα f(x) > F(x) >χF΄(ξ) οποτε \displaystyle{\mathop {\lim }\limits_{x \to \infty } f(x) \ge \infty  \Rightarrow .......\mathop {\lim }\limits_{x \to \infty } f(x) = \infty }
•

Αν F(0)<0 ........................προβλημα
Φιλικά
Τηλέγραφος Κώστας
\displaystyle{
F(x) = \int_a^x {f(t)dt} 
}
Άβαταρ μέλους
Τηλέγραφος Κώστας
Επιμελητής
Δημοσιεύσεις: 1025
Εγγραφή: Κυρ Δεκ 21, 2008 12:06 am
Τοποθεσία: ΦΕΡΕΣ-ΑΛΕΞ/ΠΟΛΗ
Επικοινωνία:

Re: Ανάλυση - Αρχική

#5

Μη αναγνωσμένη δημοσίευση από Τηλέγραφος Κώστας »

Μπαμπη ελπιζω να μην σε πειραζει που την πειραξα λιγο;

Έστω f μια συνεχής συνάρτηση ορισμένη στο R και F μια αρχική της f με την ιδιότητα
f(x) > F(x) για κάθε x. Αν \displaystyle{F(0) \ge 0} να αποδειχθεί ότι :
Α. Η g(x)= F(x)\displaystyle{\displaystyle {{\rm{e}}^{ - {\rm{x}}}}} είναι γν. αύξουσα,
Β. Η F(x)>0 για χ>0,
Γ. Η F(x) γν. αύξουσα για χ>0,
Δ.\displaystyle{\mathop {\lim }\limits_{x \to \infty } f(x) =  + \infty }.
Φιλικά
Τηλέγραφος Κώστας
\displaystyle{
F(x) = \int_a^x {f(t)dt} 
}
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18858
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Ανάλυση - Αρχική

#6

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Μπάμπης Στεργίου έγραψε:Έστω f μια συνεχής συνάρτηση ορισμένη στο IR και F μια αρχική της f με την ιδιότητα
f(x) > F(x) για κάθε χ. Να αποδειχθεί ότι :
\mathop {\lim }\limits_{x\, \to \, + \,\infty } f(x)\, = \, + \,\infty.
Μπάμπη, μία αθώα βελτίωση διορθώνει την άσκηση, και μάλιστα την κάνει ενδιαφέρουσα για μαθητές. Η νέα διατύπωση είναι

Έστω f μια συνεχής συνάρτηση ορισμένη στο R και έστω για κάποιο a \inR ισχύει
f(x) >  \int_{a}^{x}{f(t)}dtγια κάθε x > a. Να αποδειχθεί ότι ότι \lim_{x \rightarrow \infty}}f(x) = \infty.
(ακόμα καλύτερα, να αποδειχθεί ότι \lim_{x \rightarrow \infty}}\int_{a}^{x}{f(t)}dt= \infty).


Απόδειξη. Είναι \frac{d}{dx}\left(e^{-x}\int_{a}^{x}{f(t)}dt\right)= e^{-x}\left( f(x)-\int_{a}^{x}{f(t)}dt\right)>0, άρα η e^{-x}\int_{a}^{x}{f(t)}dtείναι γνήσια αύξουσα στο [a, +\infty].
Οπότε για x > b > a, όπου b σταθερός, έχουμε
e^{-x}\int_{a}^{x}{f(t)}dt > e^{-b}\int_{a}^{b}{f(t)}dt  > 0
άρα
\int_{a}^{x}{f(t)}dt > e^xe^{-b}\int_{a}^{b}{f(t)}dt.
Παίρνοντας όριο του x τείνοντος στο άπειρο, έπεται το ζητούμενο.

Σχόλιο: Αν και η άσκηση δείχνει να είναι ολόιδια με την αρχική, αλλά φυσικά δεν είναι. Αξίζει το κόπο να δείτε πως η νέα διατύπωση
παρακάμπτει το αντιπαράδειγμα του Χρήστου και πως η προβληματική περίπτωση F(0) < 0 που επισήμανε ο Κώστας, δεν υπεισέρχεται.

Φιλικά,

Μιχάλης.
AΝΔΡΕΑΣ ΒΑΡΒΕΡΑΚΗΣ
Επιμελητής
Δημοσιεύσεις: 1238
Εγγραφή: Τετ Δεκ 31, 2008 8:07 pm
Τοποθεσία: ΗΡΑΚΛΕΙΟ ΚΡΗΤΗΣ

Re: Ανάλυση - Αρχική

#7

Μη αναγνωσμένη δημοσίευση από AΝΔΡΕΑΣ ΒΑΡΒΕΡΑΚΗΣ »

Mihalis_Lambrou έγραψε:
Μπάμπης Στεργίου έγραψε:Έστω f μια συνεχής συνάρτηση ορισμένη στο IR και F μια αρχική της f με την ιδιότητα
f(x) > F(x) για κάθε χ. Να αποδειχθεί ότι :
\mathop {\lim }\limits_{x\, \to \, + \,\infty } f(x)\, = \, + \,\infty.
Μπάμπη, μία αθώα βελτίωση διορθώνει την άσκηση, και μάλιστα την κάνει ενδιαφέρουσα για μαθητές. Η νέα διατύπωση είναι

Έστω f μια συνεχής συνάρτηση ορισμένη στο R και έστω για κάποιο a \inR ισχύει
f(x) >  \int_{a}^{x}{f(t)}dtγια κάθε x\inR. Να αποδειχθεί ότι ότι \lim_{x \rightarrow \infty}}f(x) = \infty.
(ακόμα καλύτερα, να αποδειχθεί ότι \lim_{x \rightarrow \infty}}\int_{a}^{x}{f(t)}dt= \infty).


Απόδειξη. Είναι \frac{d}{dx}\left(e^{-x}\int_{a}^{x}{f(t)}dt\right)= e^{-x}\left( f(x)-\int_{a}^{x}{f(t)}dt\right)>0, άρα η e^{-x}\int_{a}^{x}{f(t)}dtείναι γνήσια αύξουσα.
Οπότε για x > b > a, όπου b σταθερός, έχουμε
e^{-x}\int_{a}^{x}{f(t)}dt > e^{-b}\int_{a}^{b}{f(t)}dt  > 0
άρα
\int_{a}^{x}{f(t)}dt > e^xe^{-b}\int_{a}^{b}{f(t)}dt.
Παίρνοντας όριο του x τείνοντος στο άπειρο, έπεται το ζητούμενο.

Σχόλιο: Αν και η άσκηση δείχνει να είναι ολόιδια με την αρχική, αλλά φυσικά δεν είναι. Αξίζει το κόπο να δείτε πως η νέα διατύπωση
παρακάμπτει το αντιπαράδειγμα του Χρήστου και πως η προβληματική περίπτωση F(0) < 0 που επισήμανε ο Κώστας, δεν υπεισέρχεται.

Φιλικά,

Μιχάλης.
Εύχομαι κατ' αρχάς σε όλη την παρέα Χρόνια πολλά και Καλή και Δημιουργική χρονιά και συγχαρητήρια στους δημιουργούς και συνελεστές τούτης εδώ της πολύ σημαντικής προσπάθειας.
Με την ευκαιρία να παραθέσω μία μικρή παρατήρηση στα παραπάνω.
Η συνθήκη "F(x)>0 για κάποιο πραγματικό αριθμό", μας είναι αρκετή στις αρχικές προϋποθέσεις, όπως και η συνθήκη "η συνάρτησή μας να μην είναι φραγμένη άνω".
Μπάμπης Στεργίου
Επιμελητής
Δημοσιεύσεις: 5588
Εγγραφή: Δευ Δεκ 22, 2008 2:16 pm
Τοποθεσία: Χαλκίδα - Καρδίτσα

Re: Ανάλυση - Αρχική

#8

Μη αναγνωσμένη δημοσίευση από Μπάμπης Στεργίου »

Τηλέγραφος Κώστας έγραψε:Μπαμπη ελπιζω να μην σε πειραζει που την πειραξα λιγο;

Έστω f μια συνεχής συνάρτηση ορισμένη στο R και F μια αρχική της f με την ιδιότητα
f(x) > F(x) για κάθε x. Αν \displaystyle{F(0) \ge 0} να αποδειχθεί ότι :
Α. Η g(x)= F(x)\displaystyle{\displaystyle {{\rm{e}}^{ - {\rm{x}}}}} είναι γν. αύξουσα,
Β. Η F(x)>0 για χ>0,
Γ. Η F(x) γν. αύξουσα για χ>0,
Δ.\displaystyle{\mathop {\lim }\limits_{x \to \infty } f(x) =  + \infty }.
Καλημερίζω όλους τους εκκλεκτούς συναδέλφους και ευχαριστώ για τις βελτιώσεις. Όπως είδατε και στο αρχικό μου μήνυμα είχα και γω κάποιους ενδοιασμούς για την άσκηση και για κάποια ίσως κατάλληλη συνθήκη που πρέπει να δοθεί.
Στο περιοδικό , όπου έβλεπα στα γρήγορα τη σύντομη λύση που είχε( η άσκηση είναι από το διαγωνισμό Cuculescu 2004) , δεν είχε δυστυχώς καμία άλλη υπόθεση.
Θα κοιτάξω τώρα με προσοχή τη λύση που δίνεται εκεί , να δω που είναι το κενό.
...................................................................................................
Κώστα ευχαριστώ που το έκανες θεματάκι, διότι και μένα αυτός ήταν ο αρχικός μου σκοπός. Ήθελα όμως να δω μαζί σας την προσέγγιση στη λύση και μετά να την ..τεμαχίσω.
Χρόνια Πολλά και ..φωτισμένα !
( Στις Φωτεινές , Ουρανίες και όσους ακούν στο όνομα Φώτης, διπλά τα χρόνια πολλά !)
Μπάμπης Στεργίου
Επιμελητής
Δημοσιεύσεις: 5588
Εγγραφή: Δευ Δεκ 22, 2008 2:16 pm
Τοποθεσία: Χαλκίδα - Καρδίτσα

Re: Ανάλυση - Αρχική

#9

Μη αναγνωσμένη δημοσίευση από Μπάμπης Στεργίου »

Βάζω συνημμένη την επίσημη λύση. Δυστυχώς εκεί, υπάρχει ένα σημαντικό κενό σε ένα ... αθώο σημείο που από συνήθεια ο συμβολισμός μας παρασύρει σε λάθος. Το σημείο αυτό με την πρώτη ανάγνωση μου διέφυγε και μένα .
Ζητώ συγνώμη που σας παίδεψα :( .Όμως τελικά οι παρεμβάσεις σας δημιούργησαν μια καλή άσκηση , οπότε μένω με την ελαφρά ικανοποίηση ότι κάτι πήραμε όλοι από αυτή την επικοινωνία.

Μπάμπης
Απάντηση

Επιστροφή στο “ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ Γ'”

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

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