Ένα κέρασμα μέσω ύπαρξης

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

Άβαταρ μέλους
chris_gatos
Συντονιστής
Δημοσιεύσεις: 6765
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Πειραιάς

Ένα κέρασμα μέσω ύπαρξης

#1

Μη αναγνωσμένη δημοσίευση από chris_gatos » Σάβ Φεβ 04, 2017 8:12 pm

Ένα κέρασμα ένεκα της επιστροφής μου μετά από καιρό και όχι μόνο...

Έστω μια συνάρτηση \displaystyle{f:[0,1] \to \mathbb{R}} ένα προς ένα και επί αλλά και παραγωγίσιμη.

Να αποδείξετε ότι υπάρχει \xi \in (0,1) τέτοιος ώστε:

\displaystyle{\int\limits_{f(0)}^{f(1)} {{f^{ - 1}}(x)dx}  = \frac{1}{2}f'(\xi )}

Y.Γ: Το "επί" ίσως και να είναι πλεονασμός. Η πηγή μου έλεγε "bijective function".


Χρήστος Κυριαζής

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

Re: Ένα κέρασμα μέσω ύπαρξης

#2

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Σάβ Φεβ 04, 2017 10:59 pm

Είναι γνωστό ότι

\int_{f(0)}^{f(1)}f^{-1}(t)dt=f(1)-\int_{0}^{1}f(t)dt

Αλλά f(1)-\int_{0}^{1}f(t)dt=\int_{0}^{1}(f(1)-f(t))dt=A

Εστω M=sup\left \{ f'(x):x\in (0,1) \right \},m=inf\left \{ f'(x):x\in (0,1) \right \}

Εχουμε ότι m(1-t)\leq f(1)-f(t)\leq M(1-t) για t\in (0,1)


Ολοκληρώνοντας την τελευταία παίρνουμε ότι \frac{1}{2}m\leq A\leq \frac{1}{2}M

Η ιδιότητα Darboux της παραγώγου μας δίνει ότι υπάρχει \xi \in (0,1)

με A=\frac{1}{2}f'(\xi ) που είναι το ζητούμενο.


Άβαταρ μέλους
chris_gatos
Συντονιστής
Δημοσιεύσεις: 6765
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Πειραιάς

Re: Ένα κέρασμα μέσω ύπαρξης

#3

Μη αναγνωσμένη δημοσίευση από chris_gatos » Σάβ Φεβ 04, 2017 11:29 pm

Καλησπέρα Σταύρο κι ευχαριστώ για την ενασχόληση!
Ίσως η λύση σου να περνάει μέσα από τη συνέχεια της πρώτης παραγώγου, στοιχείο που δεν το δίνω!
Από την άλλη διατηρώ επιφύλαξη γιατί κάποια στιγμή κάτι είχες αναφέρει για την παράγωγο και αν αυτή απαιτείται να είναι συνεχής ίταν ολοκληρώνεται μα...το έχω ξεχάσει. Αν μπορείς να μας το ξαναθυμίσεις θα σου ήμουν υπόχρεος.
Ευχαριστώ εκ των προτέρων.
Η άσκηση επιδέχεται και πιο απλή λύση.
Καλό βράδυ σε όλους!


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

Re: Ένα κέρασμα μέσω ύπαρξης

#4

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Σάβ Φεβ 04, 2017 11:44 pm

Χρήστο γεια.
Η λύση μου δεν χρησιμοποιεί συνέχεια παραγώγου.
Αυτό που χρησιμοποιεί είναι το εξής
Αν f:I\rightarrow \mathbb{R} συνάρτηση παραγωγίσιμη με I ανοικτό διάστημα τότε
το f'(I) είναι διάστημα.
Το άλλο που ρωτάς έχει σχέση με το προηγούμενο και είναι
Αν f:I\rightarrow \mathbb{R} συνάρτηση παραγωγίσιμη με I ανοικτό διάστημα και
η f' είναι μονότονη τότε η f' είναι συνεχής.


dement
Διευθύνον Μέλος
Δημοσιεύσεις: 1386
Εγγραφή: Τρί Δεκ 23, 2008 10:11 am

Re: Ένα κέρασμα μέσω ύπαρξης

#5

Μη αναγνωσμένη δημοσίευση από dement » Κυρ Φεβ 05, 2017 12:56 am

Χρήστο, έχω ένα προβληματάκι.

Αν η συνάρτηση είναι παραγωγίσιμη, είναι συνεχής. Αν είναι συνεχής και 1-1, είναι γνησίως μονότονη. Αν είναι γνησίως μονότονη και επί του \mathbb{R}, έχει άπειρα όρια στα 0, 1 και έτσι δεν είναι συνεχής.

"bijective" σημαίνει πράγματι 1-1 και επί, αλλά υποψιάζομαι ότι ο σωστός όρος θα ήταν injective (1-1). Ούτως ή άλλως το "επί" δε χρειάζεται.


Δημήτρης Σκουτέρης

Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Άβαταρ μέλους
chris_gatos
Συντονιστής
Δημοσιεύσεις: 6765
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Πειραιάς

Re: Ένα κέρασμα μέσω ύπαρξης

#6

Μη αναγνωσμένη δημοσίευση από chris_gatos » Κυρ Φεβ 05, 2017 8:55 am

Σταύρο και Δημήτρη καλημέρα και καλή Κυριακή!
Σταύρο διαβάζοντας τη λύση σου θεώρησα προς το πρώτο βήμα πιυ κάνεις, χρησιμοποιείς τη γνωστή αντικατάσταση x=f(u) οπότε βάζεις στο ολοκλήρωμα και την παράγωγο, μετά παραγοντική κτλ..
Γι αυτό και το σχόλιο! Ευχαριστώ για την απαντηση.

Δημήτρη όντως δε χρειαζεται το επί, προσπάθησα να μεταφρασω κυριολεκτικά και μετέφερα αυτήν την αστοχία. Ευχαριστώ πολυ!

Ωστόσο υπάρχει λύση πιό απλή απο του Σταύρου. Και ειναι και ο λόγος που επέλεξα την άσκηση.


Χρήστος Κυριαζής
Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 832
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Ένα κέρασμα μέσω ύπαρξης

#7

Μη αναγνωσμένη δημοσίευση από M.S.Vovos » Κυρ Φεβ 05, 2017 10:40 am

Καλημέρα κύριε Χρήστο.
Σας πεθυμήσαμε. Μόλις χθες έλυνα μια άσκηση μιγαδικών που είχατε ανεβάσει (ΔΕΝ ξεχνιούνται οι μιγαδικοί). Στο θέμα θα ήθελα να ρωτήσω αν η συνθήκη 1-1 είναι αναγκαία.


Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ
Δημοσιεύσεις: 1902
Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ

Re: Ένα κέρασμα μέσω ύπαρξης

#8

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Κυρ Φεβ 05, 2017 11:21 am

Καλημέρα Μάριε.
Φυσικά και είναι αναγκαία.Αφου υπάρχει αντίστροφη.
Βάζω την λύση που θέλει ο Χρήστος.(Δεν θα γράψω λεπτομέρειες)

Θέτουμε G(x)=\int_{f(0)}^{f(x)}f^{-1}(t)dt

Θέτουμε g(x)=G(1)x^{2}-G(x)

Το θεώρημα του Rolle για την g στο [0,1]

μας δίνει το ζητούμενο.

(G'(x)=xf'(x))


Άβαταρ μέλους
M.S.Vovos
Δημοσιεύσεις: 832
Εγγραφή: Παρ Φεβ 27, 2015 5:45 pm

Re: Ένα κέρασμα μέσω ύπαρξης

#9

Μη αναγνωσμένη δημοσίευση από M.S.Vovos » Κυρ Φεβ 05, 2017 11:56 am

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


Είναι αυταπάτη ότι η νεότητα είναι ευτυχισμένη, μια αυταπάτη αυτών που την έχουν χάσει. W. Somerset Maugham
Άβαταρ μέλους
chris_gatos
Συντονιστής
Δημοσιεύσεις: 6765
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Πειραιάς

Re: Ένα κέρασμα μέσω ύπαρξης

#10

Μη αναγνωσμένη δημοσίευση από chris_gatos » Κυρ Φεβ 05, 2017 4:38 pm

Ο Σταύρος παράθεσε μια ακόμη πιο απλή λύση από αυτήν που είχα υπόψη!
Εγώ είχα λύση με το θεώρημα Cauchy για τη συνάρτηση \displaystyle{G(x) = \int\limits_{f(0)}^{f(x)} {{f^{ - 1}}(y)dy} }
και τη x^2 στο [0,1]

Υ.Γ Σταύρο εννοούσα αυτό το σημείο:
ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:Είναι γνωστό ότι

\int_{f(0)}^{f(1)}f^{-1}(t)dt=f(1)-\int_{0}^{1}f(t)dt
,

Εδώ κάπου χρησιμοποιείς στο ολοκλήρωμα την πρώτη παράγωγο ή κάνω λάθος;

Υ.Γ: Είναι καλό να μπαίνεις σε λεπτομέρειες Σταύρο, όχι εξωφρενικές φυσικά, γιατί πρόκειται περί γραπτής συνεννόησης!
Οι ισορροπίες εκεί είναι λεπτές.


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

Re: Ένα κέρασμα μέσω ύπαρξης

#11

Μη αναγνωσμένη δημοσίευση από ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ » Κυρ Φεβ 05, 2017 8:08 pm

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:Είναι γνωστό ότι

\int_{f(0)}^{f(1)}f^{-1}(t)dt=f(1)-\int_{0}^{1}f(t)dt
,

Εδώ κάπου χρησιμοποιείς στο ολοκλήρωμα την πρώτη παράγωγο ή κάνω λάθος;

Γεια σου Χρήστο.
Το παραπάνω ισχύει με την προυπόθεση ότι η f είναι συνεχής και 1-1.
Κάνοντας ένα σχήμα εύκολα φαίνεται.Αν κάποιος δεν πιστεύει στα σχήματα τότε δεν έχει παρά να πάρει αθροίσματα
Darboux και να το αποδείξει.

Η δεύτερη απόδειξη που έκανα είναι ίδια με την δική σου.
Απλά εγώ απέδειξα και το γενικευμένο Θεώρημα μέσης τιμής.(Μου ήταν τεχνικά αδύνατο να γράψω πολλά γιαυτό άφησα τις λεπτομέρειες)
Γενικά στις περισσότερες περιπτώσεις μπορεί να παρακαμφθεί μιας και η απόδειξη του είναι απλούστατη.
Θεωρώ ότι η πρώτη απόδειξη που έδωσα είναι πιο φυσιολογική.
Η άσκηση θα ήταν πιο βατή αν δινόταν η συνέχεια της παραγώγου.


Άβαταρ μέλους
chris_gatos
Συντονιστής
Δημοσιεύσεις: 6765
Εγγραφή: Κυρ Δεκ 21, 2008 9:03 pm
Τοποθεσία: Πειραιάς

Re: Ένα κέρασμα μέσω ύπαρξης

#12

Μη αναγνωσμένη δημοσίευση από chris_gatos » Τρί Φεβ 14, 2017 5:17 pm

ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:Είναι γνωστό ότι

\int_{f(0)}^{f(1)}f^{-1}(t)dt=f(1)-\int_{0}^{1}f(t)dt
Σταύρο καλησπέρα. Επετρεψέ μου να μη βλέπω με τα δεδομένα που δίνονται αυτό που γράφεις.
Θα το ξαναψάξω.
Ευχαριστώ για την τροφή για γνώση.


Χρήστος Κυριαζής
Απάντηση

Επιστροφή σε “Προτεινόμενα Θέματα Μαθηματικών”

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

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