Ύπαρξη γ

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

Άβαταρ μέλους
ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ
Δημοσιεύσεις: 704
Εγγραφή: Κυρ Μάιος 17, 2009 7:07 pm
Τοποθεσία: ΚΑΒΑΛΑ

Ύπαρξη γ

#1

Μη αναγνωσμένη δημοσίευση από ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ » Σάβ Ιούλ 11, 2009 9:05 am

Καλημέρα και καλό Σ-Κ σε όλους .
Σκέφτηκα να τοποθετήσω την άσκηση στα θέματα με απαιτήσεις αλλά ας τη δούμε πρώτα και μετά όλα είναι εύκολα ...

Έστω \displaystyle{\displaystyle  
F:\Re  \to \Re  
} αρχική της \displaystyle{\displaystyle  
f:\Re  \to \Re  
} . Αν \displaystyle{\displaystyle  
\mathop {\lim }\limits_{x \to  - \infty } \left( {F(x) - x} \right) = a \in \Re  
} και \displaystyle{\displaystyle  
\mathop {\lim }\limits_{x \to  + \infty } \left( {F(x) - x} \right) = \beta  \in \Re  
} , να δείξετε ότι υπάρχει \displaystyle{\displaystyle  
\gamma  \in \Re  
} τέτοιο ώστε \displaystyle{\displaystyle  
f(\gamma ) = \gamma  
} .


Χρήστος Καρδάσης
hsiodos
Διευθύνον Μέλος
Δημοσιεύσεις: 1236
Εγγραφή: Σάβ Απρ 18, 2009 1:12 am

Re: Ύπαρξη γ

#2

Μη αναγνωσμένη δημοσίευση από hsiodos » Σάβ Ιούλ 11, 2009 10:31 am

Καλημέρα
Χρήστο ξέρουμε αν η f είναι συνεχής;

Γιώργος


Γιώργος Ροδόπουλος
Άβαταρ μέλους
ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ
Δημοσιεύσεις: 704
Εγγραφή: Κυρ Μάιος 17, 2009 7:07 pm
Τοποθεσία: ΚΑΒΑΛΑ

Re: Ύπαρξη γ

#3

Μη αναγνωσμένη δημοσίευση από ΧΡΗΣΤΟΣ ΚΑΡΔΑΣΗΣ » Σάβ Ιούλ 11, 2009 10:32 am

Όχι Γιώργο δε δίνεται κάτι τέτοιο ...


Χρήστος Καρδάσης
Άβαταρ μέλους
nsmavrogiannis
Επιμελητής
Δημοσιεύσεις: 4483
Εγγραφή: Σάβ Δεκ 20, 2008 7:13 pm
Τοποθεσία: Αθήνα
Επικοινωνία:

Re: Ύπαρξη γ

#4

Μη αναγνωσμένη δημοσίευση από nsmavrogiannis » Σάβ Ιούλ 11, 2009 11:42 am

Η συγκεκριμένη άσκηση μας είχε απασχολήσει και στο παλιό mathematica. Την είχε θέσει ο Θωμάς Ραικόφτσαλης φεύγοντας για διακοπές. Εμένα οι διακοπές μου αργούσαν να αρχίσουν οπότε μη έχοντας ταξίδι μπροστά μου είχα γράψει την ακόλουθη λύση:

Ας ονομάσουμε g(x)=x^2/2-F(x). Για x διάφορο του 0 είναι:
g(x)= x^2 ( 1/2 -( F(x) - x ) / x^2 - 1 / x )
και επομένως το όριο της g στα -οο, +οο είναι +οο. Yπάρχουν x1, x2 με x1<0<x2 ώστε g(x1)>g(0) και g(x2)>g(0). Τα διαστήματα (g(0),g(x1)), (g(0),g(x2)) προφανώς έχουν κοινό σημείο m. Από το θεώρημα ενδιάμεσης τιμής υπάρχουν p, q με x1<p<0<q<x2 ώστε g(p)=g(q)=m οπότε από το θεώρημα του Rolle υπάρχει γ μεταξύ των p, q ώστε g' (γ) = 0 οπότε και f(γ)=γ.

Η λύση σε \LaTeX
Ας ονομάσουμε g(x)=\frac{x^{2}}{2}-F(x). Για x διάφορο του 0 είναι:
g(x)=x^{2}(\frac{1}{2}-\frac{(F(x)-x)}{x^{2}}-\frac{1}{x})
και επομένως το όριο της g στα -\infty +\infty είναι +\infty. Yπάρχουν x_{1},x_{2} με x_{1}<0<x_{2} ώστε g\left( x_{1}\right) >g\left( 0\right) και g\left( x_{2}\right) >g\left( 0\right) . Τα διαστήματα (g(0),g(x_{1})),(g(0),g(x_{2})) προφανώς έχουν κοινό σημείο m. Από το θεώρημα ενδιάμεσης τιμής υπάρχουν p,q με x_{1}<p<0<q<x_{2} ώστε g(p)=g(q)=m οπότε από το θεώρημα του Rolle υπάρχει \gamma μεταξύ των p,q ώστε g^{\prime }\left( \gamma \right) =0 οπότε και f(\gamma )=\gamma.


Μαυρογιάννης
τελευταία επεξεργασία από nsmavrogiannis σε Σάβ Ιούλ 11, 2009 12:14 pm, έχει επεξεργασθεί 2 φορές συνολικά.
Λόγος: Μετατροπή σε LaTeX


Αν κανείς δεν ελπίζει, δεν θα βρεί το ανέλπιστο, οι δρόμοι για το ανεξερεύνητο θα είναι κλειστοί.
Ηράκλειτος
hsiodos
Διευθύνον Μέλος
Δημοσιεύσεις: 1236
Εγγραφή: Σάβ Απρ 18, 2009 1:12 am

Re: Ύπαρξη γ

#5

Μη αναγνωσμένη δημοσίευση από hsiodos » Σάβ Ιούλ 11, 2009 12:08 pm

Να δώσω και μια παραπλήσια σκέψη

Αν g(x)=F(x)-\frac{x^2}{2} τότε g^\prime(x)=f(x)-x και αρκεί να βρούμε διάστημα που να εφαρμόζεται το Θ.Rolle για την g.

Είναι g(x)=(F(x)-x)+(x-\frac{x^2}{2}) και έτσι βρίσκουμε ότι \displaystyle\lim_{x\to +\propto }g(x)=-\propto \,\,\,\,,\displaystyle\lim_{x\to -\propto }g(x)=-\propto(1)

Αν η g ήταν 1-1 τότε σαν συνεχής (διαφορά συνεχών) θα ήταν γνησίως μονότονη , άτοπο λόγω της (1)

Άρα υπάρχουν x_1,x_2 στο R με x_1<x_2 και g(x_1)=g(x_2) και έτσι από το Θ.Rolle για την g στο [x_1,x_2] προκύπτει το ζητούμενο.

Γιώργος


Γιώργος Ροδόπουλος
Απάντηση

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

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

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