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

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

Ιάσων Κωνσταντόπουλος
Δημοσιεύσεις: 251
Εγγραφή: Κυρ Ιαν 28, 2024 10:16 pm
Τοποθεσία: Θεσσαλονίκη

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

#1

Μη αναγνωσμένη δημοσίευση από Ιάσων Κωνσταντόπουλος » Πέμ Αύγ 14, 2025 7:49 am

Έστω παραγωγίσιμη συνάρτηση f\colon(0,1)\to\mathbb{R} για την οποία ισχύει
f^\prime(x)=\sqrt{\frac{1}{\sqrt{1-x}}-\eta\mu^2\frac{1}{1-x}} για κάθε x\in \mathbb{R}

Να αποδειχθεί ότι \lim\limits_{x\to1^-}f(x)\in\mathbb{R}


Φιλόλογος τυπικών γλωσσών

Λέξεις Κλειδιά:
Dimessi
Δημοσιεύσεις: 385
Εγγραφή: Κυρ Δεκ 10, 2023 3:48 pm

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

#2

Μη αναγνωσμένη δημοσίευση από Dimessi » Πέμ Αύγ 14, 2025 7:41 pm

Σταθεροποιώντας ένα 0<a<1 έχουμε \displaystyle f(x)=f\left ( a \right )+\int \limits_{a}^{x} f'\left ( t \right )dt\leq f\left ( a \right )+\int \limits_{a}^{x}\left ( 1-t \right )^{-1/4}dt=f\left ( a \right )+\frac{4}{3}\left ( \left ( 1-x \right )^{3/4}-\left ( 1-a \right )^{3/4} \right ) \left (\ast \right)

για κάθε x\in \left (a,1 \right)

Όμως για κάθε x\in \left (0,1 \right ) ισχύει \displaystyle q=\frac{1}{1-x}\in \left ( 1, +\infty \right) οπότε \displaystyle f'\left ( x \right )=\sqrt{\sqrt{q}-\sin ^{2}q}\geqslant \sqrt{\sqrt{q}-1}> 0
οπότε f γνήσια αύξουσα και λόγω συνέχειας το όριο \displaystyle \lim_{x \to 1^{-}}f\left ( x \right ) υπάρχει,έστωL

Παίρνοντας τώρα στην \left (\ast \right) όριο x\rightarrow 1^{-} έχουμε \displaystyle L\leq f\left ( a \right )-\frac{4}{3}\left ( 1-a \right )^{3/4} \left(\ast \ast \right)

Έστω, προς άτοπο, ότι L\notin \mathbb{R} τότε από \left (\ast \ast \right) έχουμε L=-\infty και άρα για τη συνεχή και γνήσια αύξουσα f ισχύει \displaystyle f\left ( x \right )< \displaystyle \lim_{x \to 1^{-}}f\left ( x \right )=-\infty για κάθε x\in \left (0,1 \right ) που είναι άτοπο.
Τελειώσαμε.


Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18290
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

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

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Πέμ Αύγ 14, 2025 9:58 pm

Ιάσων Κωνσταντόπουλος έγραψε:
Πέμ Αύγ 14, 2025 7:49 am
Έστω παραγωγίσιμη συνάρτηση f\colon(0,1)\to\mathbb{R} για την οποία ισχύει
f^\prime(x)=\sqrt{\frac{1}{\sqrt{1-x}}-\eta\mu^2\frac{1}{1-x}} για κάθε x\in \mathbb{R}

Να αποδειχθεί ότι \lim\limits_{x\to1^-}f(x)\in\mathbb{R}
Aφού f'(x) >0 για κάθε x\in (0,1), σημαίνει ότι η f είναι γνήσια αύξουσα. Επίσης είναι f'(x)\le \sqrt{\frac{1}{\sqrt{1-x}}-0}  = (1-x)^{-1/4}, άρα

\displaystyle{f(x) \le f\left (\dfrac {1}{2} \right )  + \int _{1/2} ^x  (1-t)^{-1/4}dt  = f\left (\dfrac {1}{2} \right )  + \dfrac {4}{3}\left [\left (1-\dfrac {1}{2} \right ) ^{3/4}  - (1-x)^{3/4} \right ] \le f\left (\dfrac {1}{2} \right )  +\dfrac {4}{3}\left (\dfrac {1}{2} \right )^{3/4}  }.

Ειδικά, η f είναι άνω φραγμένη.

Έπεται ότι το \lim\limits_{x\to1^-}f(x) είτε υπάρχει (είναι πραγματικός αριθμός) ή είναι +\infty. Αλλά δεν είναι +\infty αφού η f είναι άνω φραγμένη. Συνοψίζοντας, \lim\limits_{x\to1^-}f(x)\in\mathbb{R},


Απάντηση

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

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

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