Σελίδα 1 από 1

Μελέτη Ορίου V

Δημοσιεύτηκε: Σάβ Αύγ 16, 2025 1:35 am
από Ιάσων Κωνσταντόπουλος
Έστω f\colon\mathbb{R}\to\mathbb{R} συνάρτηση για την οποία κοντά στο x_0=0 ισχύει |f(x)|<1

Αν \lim\limits_{x\to0}\eta \mu \,f(x)=0 να δειχθεί ότι το όριο \lim\limits_{x\to0}f(x) υπάρχει και είναι ίσο με 0

Re: Μελέτη Ορίου V

Δημοσιεύτηκε: Σάβ Αύγ 16, 2025 9:42 am
από Mihalis_Lambrou
Ιάσων Κωνσταντόπουλος έγραψε:
Σάβ Αύγ 16, 2025 1:35 am
Έστω f\colon\mathbb{R}\to\mathbb{R} συνάρτηση για την οποία κοντά στο x_0=0 ισχύει |f(x)|<1

Αν \lim\limits_{x\to0}\eta \mu \,f(x)=0 να δειχθεί ότι το όριο \lim\limits_{x\to0}f(x) υπάρχει και είναι ίσο με 0
Χρησιμοποιούμε την (γνωστή) ανισότητα \sin t\ge \dfrac {2}{\pi}t για t στο πρώτo τεταρτημόριο: Αποδεικνύεται από το γεγονός ότι σε αυτό το διάστημα η \sin t είναι κοίλη, αφού (\sin t)'' \le 0, και άρα το γράφημα της \sin t είναι πάνω από την ευθεία που συνδέει το (0,0) με το \left ( \dfrac {\pi}{2} , \, 1\right ), δηλαδή την y=\dfrac {2}{\pi} x.

Τώρα, είναι \left | \sin  |f(x)| \right |= \left | \sin  (\pm f(x)) \right | = \left | \pm \sin  f(x) \right |=  \left |\sin  f(x) \right |\to 0 (έπεται από την υπόθεση). Συνεπώς από την παραπάνω ανισότητα, και αφού το |f(x)| είναι στο πρώτο τεταρτημόριο, ισχύει

\dfrac {\pi}{2} \left | \sin  |f(x)| \right |= \dfrac {\pi}{2}  \sin  |f(x)|  \ge |f(x)|\ge 0.

Από ισοσύγκλίνουσες έπεται \lim\limits_{x\to0}|f(x)|=0, και άρα το ζητούμενο.

Re: Μελέτη Ορίου V

Δημοσιεύτηκε: Σάβ Αύγ 16, 2025 2:11 pm
από Dimessi
Είμαι από κινητό δεν έχει καλό σήμα εδώ πέρα .
Από την ανισότητα Jordan στο [0,\frac{\pi}{2}] ισχύει \sin x\geq \frac{2}{\pi} x οπότε κοντά στο 0 από περιττότητα της \sin xέχουμε
|f(x)|\leq \frac{\pi}{2} \sin |f(x)|=\frac{\pi}{2}|\sin f(x)|\rightarrow  0
Η ανισότητα Jordan αποδεικνύεται και με διπλό ΘΜΤ και μονοτονία παραγωγου (βλέπε ποστ του κυρίου Λάμπρου )
αλλά και με τη σειρά Fourier
\displaystyle |\sin x|=\frac{2}{\pi}-\frac{4}{\pi} \sum_ {k=1}^{\infty} \frac {\cos \left (2kx \right )}{4k^{2}-1}
\forall x\in \mathbb {R}

Re: Μελέτη Ορίου V

Δημοσιεύτηκε: Σάβ Αύγ 16, 2025 3:28 pm
από Mihalis_Lambrou
Dimessi έγραψε:
Σάβ Αύγ 16, 2025 2:11 pm

αλλά και με τη σειρά Fourier
\displaystyle |\sin x|=\frac{2}{\pi}-\frac{4}{\pi} \sum_ {k=1}^{\infty} \frac {\cos \left (2kx \right )}{4k^{2}-1}
\forall x\in \mathbb {R}
Ενδιαφέρον!

Re: Μελέτη Ορίου V

Δημοσιεύτηκε: Δευ Αύγ 18, 2025 8:59 pm
από Dimessi
Πριν ενάμιση χρόνο την είχα χρησιμοποιήσει στη λύση μου εδώ viewtopic.php?f=52&t=75187&p=363797#p363797
Διαφορετική λύση.
Έχουμε \arcsin \left ( \sin x \right )=x στο \left [ -1,1 \right ]\subseteq \left [ -\frac{\pi }{2},\frac{\pi }{2} \right ] και αφού |f(x)|<1 κοντά στο 0, είναι f\left ( x \right )=\arcsin \left ( \sin f\left ( x \right ) \right )\rightarrow \arcsin 0 καθώς x\rightarrow 0 από το γεγονός \sin f\left ( x \right )\rightarrow 0 και τη συνέχεια της \arcsin x στο 0

Re: Μελέτη Ορίου V

Δημοσιεύτηκε: Δευ Αύγ 18, 2025 9:43 pm
από ksofsa
Άλλη λύση, εκτός φακέλου, εμπνευσμένη από την προηγούμενη απάντηση, του Δημήτρη.

Έστω ακολουθία x_{n}, με x_{n}\to 0. Επειδή η f(x_{n}) φραγμένη, το limsupf(x_{n}) υπάρχει και έστω ότι δεν είναι 0. Τότε υπάρχει υπακολουθία x_{n_{k}}, με f(x_{n_{k}})\to c\neq0, κι επειδή f(x_{n_{k}})\in (-\dfrac{\pi}{2},\dfrac{\pi}{2}), είναι lim (sinf(x_{n_{k}}))\to sinc \neq 0, άτοπο. Άρα, limsupf(x_{n})=0 και, όμοια, liminff(x_{n})=0. H επιλογή της x_{n} ήταν τυχαία. Τελικά, υπάρχει το ζητούμενο όριο και είναι ίσο με 0.

Re: Μελέτη Ορίου V

Δημοσιεύτηκε: Δευ Αύγ 18, 2025 11:32 pm
από Mihalis_Lambrou
Dimessi έγραψε:
Δευ Αύγ 18, 2025 8:59 pm
Πριν ενάμιση χρόνο την είχα χρησιμοποιήσει στη λύση μου εδώ viewtopic.php?f=52&t=75187&p=363797#p363797
Διαφορετική λύση.
Έχουμε \arcsin \left ( \sin x \right )=x στο \left [ -1,1 \right ]\subseteq \left [ -\frac{\pi }{2},\frac{\pi }{2} \right ] και αφού |f(x)|<1 κοντά στο 0, είναι f\left ( x \right )=\arcsin \left ( \sin f\left ( x \right ) \right )\rightarrow \arcsin 0 καθώς x\rightarrow 0 από το γεγονός \sin f\left ( x \right )\rightarrow 0 και τη συνέχεια της \arcsin x στο 0
Πάρα πολλή ωραία λύση. Όμως επειδή ίσως οι μαθητές δεν γνωρίζουν την \arcsin x και, κυρίως, την συνέχειά της στο 0, ας δούμε άλλη μία απλή λύση.

Είναι γνωστό ότι για x στο πρώτο τεταρτημόριο ισχύει \tan x \ge x, ισοδύναμα |\tan x |\ge |x|. Η τελευταία ισχύει και για -x στην θέση του x. Η ιδιότητα αυτή είναι γνωστή και απλή, αλλά ας την ξαναδούμε: Είναι |\tan (-x) |=|-\tan x |= |\tan x |\ge |x|=  |-x|.

Με αυτά κατά νου, έχουμε

0\le |f(x)|^2\le |\tan f(x) | ^2= \tan ^2f(x) =  \dfrac {  \sin ^2f(x)} {\cos ^2f(x) }=  \dfrac {  \sin ^2f(x)} {1-\sin  ^2f(x )} \to  \dfrac {  0} {1-0 }=0.

Άρα |f(x)|^2\to 0, οπότε |f(x)|\to 0 από όπου f(x)\to 0.