Σαν l'Hopital

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

Λάμπρος Κατσάπας
Δημοσιεύσεις: 435
Εγγραφή: Σάβ Ιουν 17, 2017 10:17 pm
Τοποθεσία: Αθήνα

Σαν l'Hopital

#1

Μη αναγνωσμένη δημοσίευση από Λάμπρος Κατσάπας » Κυρ Σεπ 01, 2019 4:41 pm

Έστω συναρτήσεις f,g παραγωγίσιμες στο (0,1] με {g}'(x)>0 στο διάστημα αυτό και

\lim_{x\rightarrow 0^+}\dfrac{{f}'(x)}{{g}'(x)}= πραγματικός ή άπειρο.

Να δείξετε ότι \lim_{x\rightarrow 0^+}\dfrac{f(x)}{g(x)}= πραγματικός ή άπειρο ανεξάρτητα από το αν αυτό είναι

απροσδιόριστη μορφή ή όχι.



Λέξεις Κλειδιά:
Μάρκος Βασίλης
Δημοσιεύσεις: 40
Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
Τοποθεσία: Καισαριανή
Επικοινωνία:

Re: Σαν l'Hopital

#2

Μη αναγνωσμένη δημοσίευση από Μάρκος Βασίλης » Κυρ Σεπ 01, 2019 8:43 pm

Ωραίο πρόβλημα. Έκανα κάποιες πρόχειρες σκέψεις για μία ειδική περίπτωση, αλλά πρώτα ας παρουσιάσω το γενικό μου σκεπτικό.

Λοιπόν, ας υποθέσουμε ότι (εφ' όσον η g έχει θετική παράγωγο, θα είναι γνησίως αύξουσα, άρα το όριό της στο 0 θα υπάρχει - είτε αριθμός είτε -\infty.):
a=\lim\limits_{x\to0^+}\frac{f'(x)}{g'(x)},\ b=\lim\limits_{x\to0^+}g(x).
Έστω τώρα ότι το a είναι πεπερασμένο και έστω \epsilon>0 και \epsilon'=\frac{\epsilon}{2}, οπότε υπάρχει ένα \delta>0 τέτοιο ώστε για κάθε 0<x<\delta:
a-\epsilon'<\frac{f'(x)}{g'(x)}

Διαδοχικά, έχουμε, για κάποιο 0<t<\delta:
Σε αυτό το σημείο θεωρούμε ένα \delta'>0 (χωρίς βλάβη της γενικότητας, \delta'<\delta), τέτοιο ώστε για κάθε 0<t<\delta' τα g(t),b να είναι ομόσημα (αν b=0 τότε θα έχουμε g(t)>0). Διαιρούμε τώρα την παραπάνω ανισότητα με -g(t) οπότε, αν b\geq0 η φορά αλλάζει ενώ στην αντίθετη περίπτωση η φορά παραμένει ίδια.

Εδώ, θα εξετάσουμε μόνο την περίπτωση όπου b=-\infty, οπότε η φορά δεν θα αλλάζει: Τώρα, έπεται ότι:
\lim\limits_{t\to0^+}\frac{f(\delta)-(a\pm\epsilon')g(\delta)}{g(t)}=0,
επομένως θα υπάρχει ένα 0<\delta''<\delta' τέτοιο ώστε:
-\epsilon'<\frac{f(\delta)-(a\pm\epsilon')g(\delta)}{g(t)}<\epsilon',
και έτσι, τελικά έχουμε:
a-2\epsilon'<\frac{f(t)}{g(t)}<a+2\epsilon',
από όπου έπεται το ζητούμενο.

Για τη γενική περίπτωση, φαντάζομαι, εφ' όσον τα όρια:
\lim\limits_{t\to0^+}\frac{f(\delta)-(a\pm\epsilon')g(\delta)}{g(t)},
υπάρχουν, απλώς δεν είναι ίσα, θα χρειάζεται κάποιο τέχνασμα (κάποια προσθαφαίρεση, π.χ. του αριθμητικού τους μέσου ή κάτι τέτοιο) για να έρθουμε στην προηγούμενη κατάσταση.

Θα το ξανασκεφτώ και αύριο με καθαρότερο μυαλό.

Ελπίζω να βοήθησε κάπως!
τελευταία επεξεργασία από Μάρκος Βασίλης σε Τρί Σεπ 10, 2019 5:41 pm, έχει επεξεργασθεί 1 φορά συνολικά.


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

Re: Σαν l'Hopital

#3

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Τρί Σεπ 03, 2019 1:37 pm

Λάμπρος Κατσάπας έγραψε:
Κυρ Σεπ 01, 2019 4:41 pm
Έστω συναρτήσεις f,g παραγωγίσιμες στο (0,1] με {g}'(x)>0 στο διάστημα αυτό και

\lim_{x\rightarrow 0^+}\dfrac{{f}'(x)}{{g}'(x)}= πραγματικός ή άπειρο.

Να δείξετε ότι \lim_{x\rightarrow 0^+}\dfrac{f(x)}{g(x)}= πραγματικός ή άπειρο ανεξάρτητα από το αν αυτό είναι

απροσδιόριστη μορφή ή όχι.
Ωραία πρόταση.
Θεωρώ γνωστά τα εξής:
1)Αν η f είναι μονότονη συνάρτηση τότε το \lim_{x\rightarrow x_{0}^{+}}f(x)
υπάρχει.
2)Αν
\lim_{x\rightarrow 0^+}\dfrac{{f}'(x)}{{g}'(x)}=l με l\in \mathbb{R}\cup \left \{ \infty ,-\infty \right \}
και
\lim_{x\rightarrow 0^{+}}g(x)=-\infty
τότε και
\lim_{x\rightarrow 0^+}\dfrac{{f}(x)}{{g}(x)}=l
3)Αν
\lim_{x\rightarrow 0^{+}}g(x)=m,\lim_{x\rightarrow 0^{+}}f(x)=r
με m,r\in \mathbb{R}\cup \left \{ \infty ,-\infty \right \}
τότε η το
\lim_{x\rightarrow 0^+}\dfrac{f(x)}{g(x)}

θα υπάρχει η θα έχουμε απροσδιόριστη μορφή.






Είναι φανερό λόγω του 1) ότι το \lim_{x\rightarrow 0^{+}}g(x)
υπάρχει

Εστω \lim_{x\rightarrow 0^+}\dfrac{{f}'(x)}{{g}'(x)}=l .
Μπορούμε να υποθέσουμε ότι l\geq 0
(αλλιώς παίρνουμε την -f)

Αν l>0 τότε f'(x)>0 κοντά στο 0.

Λόγω του 1) το \lim_{x\rightarrow 0^{+}}f(x) υπάρχει και λόγω του 3)τελειώσαμε.

Εστω ότι l=0.
Αν
\lim_{x\rightarrow 0^{+}}g(x)=-\infty λόγω του 2) τελειώσαμε.
Εστω
\lim_{x\rightarrow 0^{+}}g(x)=m με m\in \mathbb{R}(*)

Για δύο ακολουθίες (x_{n})_{n\in \mathbb{N}},(y_{n})_{n\in \mathbb{N}}
θετικών όρων
με
x_{n}\rightarrow 0,y_{n}\rightarrow 0,x_{n}\neq y_{n}
το γενικευμένο θεώρημα μεσης τιμής δίνει
f(x_{n})-f(y_{n})=(g(x_{n})-g(y_{n}))\dfrac{f'(c_{n})}{g'(c_{n})}(**)

με c_{n}\rightarrow 0.

Αλλά λόγω της (*) g(x_{n})-g(y_{n})\rightarrow 0 οπότε η( **)
δίνει ότι
f(x_{n})-f(y_{n})\rightarrow 0
Από το τελευταίο συμπεραίνουμε ότι το
\lim_{x\rightarrow 0^{+}}f(x)
υπάρχει.


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

Re: Σαν l'Hopital

#4

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

Μάρκος Βασίλης έγραψε:
Κυρ Σεπ 01, 2019 8:43 pm
Ωραίο πρόβλημα. Έκανα κάποιες πρόχειρες σκέψεις για μία ειδική περίπτωση, αλλά πρώτα ας παρουσιάσω το γενικό μου σκεπτικό.

Λοιπόν, ας υποθέσουμε ότι (εφ' όσον η g έχει θετική παράγωγο, θα είναι γνησίως αύξουσα, άρα το όριό της στο 0 θα υπάρχει - είτε αριθμός είτε -\infty.):
a=\lim\limits_{x\to0^+}\frac{f(x)}{g(x)},\ b=\lim\limits_{x\to0^+}g(x).
Έστω τώρα ότι το a είναι πεπερασμένο και έστω \epsilon>0 και \epsilon'=\frac{\epsilon}{2}, οπότε υπάρχει ένα \delta>0 τέτοιο ώστε για κάθε 0<x<\delta:
a-\epsilon'<\frac{f'(x)}{g'(x)}

Διαδοχικά, έχουμε, για κάποιο 0<t<\delta:
Σε αυτό το σημείο θεωρούμε ένα \delta'>0 (χωρίς βλάβη της γενικότητας, \delta'<\delta), τέτοιο ώστε για κάθε 0<t<\delta' τα g(t),b να είναι ομόσημα (αν b=0 τότε θα έχουμε g(t)>0). Διαιρούμε τώρα την παραπάνω ανισότητα με -g(t) οπότε, αν b\geq0 η φορά αλλάζει ενώ στην αντίθετη περίπτωση η φορά παραμένει ίδια.

Εδώ, θα εξετάσουμε μόνο την περίπτωση όπου b=-\infty, οπότε η φορά δεν θα αλλάζει: Τώρα, έπεται ότι:
\lim\limits_{t\to0^+}\frac{f(\delta)-(a\pm\epsilon')g(\delta)}{g(t)}=0,
επομένως θα υπάρχει ένα 0<\delta''<\delta' τέτοιο ώστε:
-\epsilon'<\frac{f(\delta)-(a\pm\epsilon')g(\delta)}{g(t)}<\epsilon',
και έτσι, τελικά έχουμε:
a-2\epsilon'<\frac{f(t)}{g(t)}<a+2\epsilon',
από όπου έπεται το ζητούμενο.

Για τη γενική περίπτωση, φαντάζομαι, εφ' όσον τα όρια:
\lim\limits_{t\to0^+}\frac{f(\delta)-(a\pm\epsilon')g(\delta)}{g(t)},
υπάρχουν, απλώς δεν είναι ίσα, θα χρειάζεται κάποιο τέχνασμα (κάποια προσθαφαίρεση, π.χ. του αριθμητικού τους μέσου ή κάτι τέτοιο) για να έρθουμε στην προηγούμενη κατάσταση.

Θα το ξανασκεφτώ και αύριο με καθαρότερο μυαλό.

Ελπίζω να βοήθησε κάπως!
Στην αρχή νομίζω ότι υπάρχει τυπογραφικό.

Αντί

a=\lim\limits_{x\to0^+}\frac{f(x)}{g(x)},\ b=\lim\limits_{x\to0^+}g(x).

νομίζω πως θέλει

a=\lim\limits_{x\to0^+}\frac{f'(x)}{g'(x)},\ b=\lim\limits_{x\to0^+}g(x).

Στην ουσία .
Δεν μας δίνεται ότι οι παράγωγοι είναι ολοκληρώσιμες.
Βέβαια αυτά που έχεις γράψει ισχύουν παίρνοντας ολοκλήρωμα Lebesgue
η εφαρμόζοντας γενικευμένο μέσης τιμής.

Εκείνο που δεν βλέπω είναι από που προκύπτει το


\lim\limits_{t\to0^+}\frac{f(\delta)-(a\pm\epsilon')g(\delta)}{g(t)}=0,

εκτός αν εννοείς μόνο για την περίπτωση που b=-\infty


Μάρκος Βασίλης
Δημοσιεύσεις: 40
Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
Τοποθεσία: Καισαριανή
Επικοινωνία:

Re: Σαν l'Hopital

#5

Μη αναγνωσμένη δημοσίευση από Μάρκος Βασίλης » Τρί Σεπ 10, 2019 5:41 pm

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Τρί Σεπ 10, 2019 12:35 pm

Στην αρχή νομίζω ότι υπάρχει τυπογραφικό.

Αντί

a=\lim\limits_{x\to0^+}\frac{f(x)}{g(x)},\ b=\lim\limits_{x\to0^+}g(x).

νομίζω πως θέλει

a=\lim\limits_{x\to0^+}\frac{f'(x)}{g'(x)},\ b=\lim\limits_{x\to0^+}g(x).

Στην ουσία .
Δεν μας δίνεται ότι οι παράγωγοι είναι ολοκληρώσιμες.
Βέβαια αυτά που έχεις γράψει ισχύουν παίρνοντας ολοκλήρωμα Lebesgue
η εφαρμόζοντας γενικευμένο μέσης τιμής.

Εκείνο που δεν βλέπω είναι από που προκύπτει το


\lim\limits_{t\to0^+}\frac{f(\delta)-(a\pm\epsilon')g(\delta)}{g(t)}=0,

εκτός αν εννοείς μόνο για την περίπτωση που b=-\infty
Πράγματι, στην αρχή έχω ξεχάσει του τόνους (ευχαριστώ για την επισήμανση!). Επίσης, έχετε δίκιο, έπρεπε να είχα επισημάνει ότι δε μιλάμε κατ' ανάγκη για Riemann ολοκλήρωμα. Τέλος, το τελευταίο μέρος αναφέρεται μόνον στην περίπτωση του b=-\infty.

Πρακτικά, όταν b=-\infty η παραπάνω πρόταση είναι η «γενίκευση» του λήμματος Stolz-Cesaro για συναρτήσεις, εξ ου και οι ομοιότητες στις δύο αποδείξεις.


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

Re: Σαν l'Hopital

#6

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

Μάρκος Βασίλης έγραψε:
Τρί Σεπ 10, 2019 5:41 pm

Πρακτικά, όταν b=-\infty η παραπάνω πρόταση είναι η «γενίκευση» του λήμματος Stolz-Cesaro για συναρτήσεις, εξ ου και οι ομοιότητες στις δύο αποδείξεις.
Επειδή εγώ δεν γνωρίζω το λήμμα Stolz-Cesaro θα γράψω πώς προκύπτει η ανισότητα σου
όταν b=-\infty

Κάνω την δεξια .
Από γενικευμένο θεώρημα μέσης τιμής για 0<t<\delta είναι

\frac{f(\delta )-f(t)}{g(\delta )-g(t)}=\frac{f'(c)}{g'(c)}< a+\epsilon '

με πράξεις και επειδή g(t)<0 προκύπτει ότι

\frac{f(t)}{g(t)}< a+\epsilon '+\frac{f(\delta )-(a+\epsilon ')g(\delta )}{g(t)}

που είναι το ίδιο με αυτό που εβγαλες χωρίς να ολοκληρώσουμε η να χρησιμοποιήσουμε

το άγνωστο σε εμένα Stolz-Cesaro.


Μάρκος Βασίλης
Δημοσιεύσεις: 40
Εγγραφή: Σάβ Αύγ 31, 2019 5:47 pm
Τοποθεσία: Καισαριανή
Επικοινωνία:

Re: Σαν l'Hopital

#7

Μη αναγνωσμένη δημοσίευση από Μάρκος Βασίλης » Τρί Σεπ 10, 2019 10:39 pm

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Τρί Σεπ 10, 2019 6:19 pm
Μάρκος Βασίλης έγραψε:
Τρί Σεπ 10, 2019 5:41 pm

Πρακτικά, όταν b=-\infty η παραπάνω πρόταση είναι η «γενίκευση» του λήμματος Stolz-Cesaro για συναρτήσεις, εξ ου και οι ομοιότητες στις δύο αποδείξεις.
Επειδή εγώ δεν γνωρίζω το λήμμα Stolz-Cesaro θα γράψω πώς προκύπτει η ανισότητα σου
όταν b=-\infty

Κάνω την δεξια .
Από γενικευμένο θεώρημα μέσης τιμής για 0<t<\delta είναι

\frac{f(\delta )-f(t)}{g(\delta )-g(t)}=\frac{f'(c)}{g'(c)}< a+\epsilon '

με πράξεις και επειδή g(t)<0 προκύπτει ότι

\frac{f(t)}{g(t)}< a+\epsilon '+\frac{f(\delta )-(a+\epsilon ')g(\delta )}{g(t)}

που είναι το ίδιο με αυτό που εβγαλες χωρίς να ολοκληρώσουμε η να χρησιμοποιήσουμε

το άγνωστο σε εμένα Stolz-Cesaro.
Έξυπνο αυτό (άλλωστε, ο τίτλος παραπέμπει στον l' Hospital, του οποίου οι κανόνες αποδεικνύονται με το ΘΜΤ του Cauchy). Το λήμμα Stolz-Cesaro λέει το εξής:

Έστω (a_n)_n,(b_n)_n ακολουθίες με την (b_n)_n αποκλίνουσα και γνησίως μονότονη και έστω ότι το ακόλουθο όριο υπάρχει:

\displaystyle\lim_{n\to\infty}\frac{a_{n+1}-a_n}{b_{n+1}-b_n}=\ell.

Τότε έχουμε ότι:

\displaystyle\lim_{n\to\infty}\frac{a_n}{b_n}=\ell.

Πρακτικά, για b=-\infty στην άσκησή μας έχουμε το Stolz-Cesaro για συναρτήσεις, αν σκεφτούμε ότι η «παράγωγος» μιας ακολουθίας (a_n)_n σε όρους ρυθμού μεταβολής θα μπορούσε να είναι:

\displaystyle \frac{a_{n+1}-a_n}{n+1-n}=a_{n+1}-a_n.


\textcolor{blue}{\forall after-maths}
Απάντηση

Επιστροφή σε “Ανάλυση”

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

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