Παραγωγίσιμη συνάρτηση

Συντονιστές: grigkost, Κοτρώνης Αναστάσιος

s.kap
Επιμελητής
Δημοσιεύσεις: 2455
Εγγραφή: Τρί Δεκ 08, 2009 6:11 pm
Τοποθεσία: Ιωάννινα

Παραγωγίσιμη συνάρτηση

#1

Μη αναγνωσμένη δημοσίευση από s.kap » Παρ Ιαν 22, 2010 1:31 pm

Χαιρετώ όλους τους φίλους και εύχομαι για τους εορτάζοντες τα καλύτερα
Επανεφέρω το δεύτερο ερώτημα ενός προβλήματος, το οποίο είχα αναρτήσει πριν από έναν περίπου μήνα και δεν έχω πάρει απάντηση (ίσως ξεχάστηκε). Σημειώνω πως δεν έχω λύση
Έστω συνάρτηση f:[a,b] \rightarrow R, παραγωγίσιμη, με συνεχή παράγωγο, η οποία δεν έχει κοινές ρίζες με την f' . Να αποδειχθεί ότι υπάρχει συνάρτηση g:[a,b] \rightarrow R, επίσης παραγωγίσιμη με συνεχή παράγωγο, ώστε η fg'-gf' να είναι θετική στο [a,b]
Υ.Γ Αναστάση από το γνωστό κίτρινο βιβλίο!


Σπύρος Καπελλίδης

Λέξεις Κλειδιά:
mtsarduckas
Δημοσιεύσεις: 106
Εγγραφή: Πέμ Απρ 09, 2009 9:44 am
Τοποθεσία: Αθήνα

Re: Παραγωγίσιμη συνάρτηση

#2

Μη αναγνωσμένη δημοσίευση από mtsarduckas » Παρ Ιαν 22, 2010 2:03 pm

Καλημέρα στο φόρουμ και χρόνια πολλά στους εορτάζοντες. Με μια πρόχειρη ματιά, η f-f \prime διατηρεί πρόσημο στο [a,b]. Αν f-f \prime >0 ,ορίζουμε g(x)=e^x . Αν f-f \prime <0 ορίζουμε g(x)=-e^{x} . Και στις δύο περιπτώσεις ισχύει το ζητούμενο. Πολύ απλή μου φαίνεται η λύση οπότε μάλλον καποιον λάθος θα έχω κάνει... :?

Διόρθωση στον ορισμό της g(x) - Thanks s.kap!
τελευταία επεξεργασία από mtsarduckas σε Παρ Ιαν 22, 2010 2:22 pm, έχει επεξεργασθεί 2 φορές συνολικά.


s.kap
Επιμελητής
Δημοσιεύσεις: 2455
Εγγραφή: Τρί Δεκ 08, 2009 6:11 pm
Τοποθεσία: Ιωάννινα

Re: Παραγωγίσιμη συνάρτηση

#3

Μη αναγνωσμένη δημοσίευση από s.kap » Παρ Ιαν 22, 2010 2:17 pm

Φίλε μου σε ευχαριστώ που ασχολήθηκες. Πράγματι είναι απλό, αλλά στα απλά πολλές φορές "κολλάμε". Να κάνω μία παρατήρηση-αποκατάσταση. Νομίζω πως στη δεύτερη περίπτωση η συνάρτηση που πρέπει να πάρουμε είναι η g(x)=-e^x και όχι η g(x)=e^{-x}.
Ευχαριστώ και πάλι


Σπύρος Καπελλίδης
mtsarduckas
Δημοσιεύσεις: 106
Εγγραφή: Πέμ Απρ 09, 2009 9:44 am
Τοποθεσία: Αθήνα

Re: Παραγωγίσιμη συνάρτηση

#4

Μη αναγνωσμένη δημοσίευση από mtsarduckas » Παρ Ιαν 22, 2010 2:21 pm

Ωπ! Απροσεξία λόγω βιασύνης! Ευχαριστώ πολύ για την διόρθωση φίλε μου!

Μιχάλης


Καραδήμας
Δημοσιεύσεις: 128
Εγγραφή: Πέμ Δεκ 24, 2009 1:57 pm

Re: Παραγωγίσιμη συνάρτηση

#5

Μη αναγνωσμένη δημοσίευση από Καραδήμας » Σάβ Ιαν 23, 2010 12:06 am

Η f(x)=x^3-x δεν έχει κοινές ρίζες με την f^{\prime }(x)=3x^2-1 στο [-1000,1000]. Όμως η g(x)=f(x)-f^{\prime }(x)=x^3-3x^2-x+1 δεν διατηρεί πρόσημο: g(0)=1 και g(2)=-5.


s.kap
Επιμελητής
Δημοσιεύσεις: 2455
Εγγραφή: Τρί Δεκ 08, 2009 6:11 pm
Τοποθεσία: Ιωάννινα

Re: Παραγωγίσιμη συνάρτηση

#6

Μη αναγνωσμένη δημοσίευση από s.kap » Σάβ Ιαν 23, 2010 7:45 am

Κύριε Καραδήμα, έχεις δίκιο. Για να "δουλέψει" η απόδειξη του Μιχάλη δεν αρκεί να μην έχουν κοινές ρίζες η συνάρτηση με την παράγωγο, αρκεί να μην υπάρχει c, τέτοιο ώστε f'(c)=f(c), το οποίο τα δεδομένα δεν εξασφαλίζουν. Συνεπώς το πρόβλημα δεν είναι τόσο απλό, όπως βιαστικά και εγώ να συμπεράνω. Έχεις κάποια λύση;
Με εκτίμηση


Σπύρος Καπελλίδης
Καραδήμας
Δημοσιεύσεις: 128
Εγγραφή: Πέμ Δεκ 24, 2009 1:57 pm

Re: Παραγωγίσιμη συνάρτηση

#7

Μη αναγνωσμένη δημοσίευση από Καραδήμας » Σάβ Ιαν 23, 2010 9:44 am

Όταν το πρωτοείδα το πρόβλημα, δεν μπόρεσα να φτιάξω το δεύτερο ερώτημα. Να το ξαναδούμε. Πάντως θα χρειαστεί ίσως και το πρώτο, ότι δηλαδή οι ρίζες της f είναι πεπερασμένες.

Στάθης


s.kap
Επιμελητής
Δημοσιεύσεις: 2455
Εγγραφή: Τρί Δεκ 08, 2009 6:11 pm
Τοποθεσία: Ιωάννινα

Re: Παραγωγίσιμη συνάρτηση

#8

Μη αναγνωσμένη δημοσίευση από s.kap » Τρί Φεβ 09, 2010 9:23 pm

Καραδήμας έγραψε:Όταν το πρωτοείδα το πρόβλημα, δεν μπόρεσα να φτιάξω το δεύτερο ερώτημα. Να το ξαναδούμε. Πάντως θα χρειαστεί ίσως και το πρώτο, ότι δηλαδή οι ρίζες της f είναι πεπερασμένες.

Στάθης
Έχεις δίκιο Στάθη, πρέπει να λάβουμε υπ' όψη μας, ότι το σύνολο των σημείων μηδενισμού της f είναι πεπερασμένο. (Επαναλαμβάνω την απόδειξη, γιατί δεν έμαθα ακόμη να κάνω παραπομπές-το έχει ήδη αποδείξει ο Στάθης σε παλιότερη δημοσίευση)
Αν τα σημεία μηδενισμού της f ήταν τα x_{1},x_{2},...,x_{n},..., τότε, από Rolle, θα υπήρχαν σημεία t_{1},t_{2},...,t_{n},... με x_{1}<t_{1}<x_{2}<...<t_{n-1}<x_{n}<..., που θα μηδένιζαν την f^\prime. Αλλά επειδή x_{n} \rightarrow x_{0} \in [a,b] θα είχαμε και t_{n} \rightarrow x_{0}, συνεπώς από τη συνέχεια 0=f(x_{n}) \rightarrow f(x_{0}) και 0=f^\prime(t_{n}) \rightarrow f^\prime(x_{0}), οπότε f(x_{0})=f^\prime (x_{0})=0, άτοπο.
Έστω A το πεπερασμένο σύνολο σημείων μηδενισμού της f. Από την υπόθεση σε κανένα σημείο του A δεν μηδενίζεται η f^\prime . Συνεπώς υπάρχει πολυώνυμο p(x) (n-1 βαθμού) ώστε f^\prime(x)p(x)=-1, \forall x\in A. (Δεν είναι δύσκολο να αποδειχθεί)
Αν a>0, τότε μπορούμε να θεωρήσουμε τη συνάρτηση g(x)=xf(x)+ap(x), οπότε g^\prime(x)f(x)-f^\prime(x)g(x)=f^2(x)+a[f(x)p^\prime(x)-f^\prime(x)p(x)]=h(x)
Προφανώς h(x)>0, \forall x \in A και κατ' επέκτασιν, επειδή η f είναι συνεχής, η παραπάνω σχέση θα ισχύει και σε ένα ανοικτό σύνολο S του [a,b], που περιέχει το A.
Υπάρχει θετικός M ώστε: |f(x)p^\prime(x)-f^\prime(x)p(x)|\leq M, \forallx \in[a,b]
Επιπλέον το σύνολο [a,b]-S είναι κλειστό υποσύνολο του συμπαγούς [a,b], άρα συμπαγές και επειδή η f^2 είναι θετική και συνεχής το f^2([a,b]-S) έχει ελάχιστο έναν θετικό αριθμό m . Επιλέγουμε το a ώστε 0<a<\frac {m}{M} και έχουμε
h(x)>m-a|f(x)g^\prime(x)-f^\prime(x)g(x)|>m-aM>0, \forall x\in [a,b]-S και
h(x)=-af^\prime(x)p(x)=a>0, \forall x \in S, άρα h(x)>0, \forall x \in [a,b], οπότε η gείναι η ζητούμενη συνάρτηση.


Σπύρος Καπελλίδης
Απάντηση

Επιστροφή σε “ΑΝΑΛΥΣΗ”

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

Μέλη σε αυτήν τη Δ. Συζήτηση: Google [Bot] και 2 επισκέπτες