πρόβλημα με συναρτήσεις

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

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

πρόβλημα με συναρτήσεις

#1

Μη αναγνωσμένη δημοσίευση από s.kap »

Βρήκα κάπου το εξής πρόβλημα:
Η συνάρτηση f:(0,+\infty) \to (0,+\infty) είναι συνεχής και ικανοποιεί τη σχέση xf(f(x))=(f(x))^2, \forall x \in (0,+\infty)
α) Να αποδείξετε ότι η f είναι 1-1 και επί
β) Να βρείτε την f
Με προβληματίζει το β ερώτημα. Μήπως υπάρχει κάτι απλό που δεν βλέπω;Εσείς τι λέτε;
Σπύρος Καπελλίδης
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18417
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: πρόβλημα με συναρτήσεις

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

s.kap έγραψε:Βρήκα κάπου το εξής πρόβλημα:
Η συνάρτηση f:(0,+\infty) \to (0,+\infty) είναι συνεχής και ικανοποιεί τη σχέση xf(f(x))=(f(x))^2, \forall x \in (0,+\infty)
α) Να αποδείξετε ότι η f είναι 1-1 και επί
β) Να βρείτε την f
Με προβληματίζει το β ερώτημα. Μήπως υπάρχει κάτι απλό που δεν βλέπω;Εσείς τι λέτε;
Σπύρο, έχω μία πολύ ωραία λύση του β) που ομολογώ με παίδεψε.
Σε λίγο έχω μία ομιλία, οπότε θα γράψω την λύση αργότερα. Το κλειδί της είναι ο τύπος
\lim_{n \rightarrow \infty}\sqrt[n]{c}=1.

Ας την ξεκινήσω όμως (πάω απευθείας στο β) γιατί το α) δεν παρουσιάζει ιδιαίτερο πρόβλημα).

Αν f(1) = c, θα δείξω ότι η μοναδική λύση της δοθείσας είναι η f(x)=cx.

1) H f ως αντιστρέψιμη (απο το α) ) και συνεχής είναι μονότονη. Άρα η f(f(x)) είναι αύξουσα, όπως φυσικά και η x.
Άρα είναι αύξον το αριστερό μέλος της δοθείσας, άρα και το (f(x))^2, οπότε και το f(x).

2) Αν f(1) = c, υποθέτουμε c\ne 1\,. Την περίπτωση c = 1 την κάνουμε χωριστά.
Επαγωγικά βλέπουμε ότι ισχύει f(c^n) = c^{n+1}. Συγκεκριμένα, το δείχνουμε αυτό πρώτα για n φυσικός και μετά για ακέραιο.

3) Έστω τώρα α τυχαίο, και f(a) = b. Στόχος μας να δείξουμε ότι b = ac.

Κλείνω εδώ και συνεχίζω αργότερα γιατί άργησα.

Φιλικά και συγνώμη,

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

Re: πρόβλημα με συναρτήσεις

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Mihalis_Lambrou έγραψε:
s.kap έγραψε:Βρήκα κάπου το εξής πρόβλημα:
Η συνάρτηση f:(0,+\infty) \to (0,+\infty) είναι συνεχής και ικανοποιεί τη σχέση xf(f(x))=(f(x))^2, \forall x \in (0,+\infty)
α) Να αποδείξετε ότι η f είναι 1-1 και επί
β) Να βρείτε την f
Με προβληματίζει το β ερώτημα. Μήπως υπάρχει κάτι απλό που δεν βλέπω;Εσείς τι λέτε;
Ας την ξεκινήσω όμως (πάω απευθείας στο β) γιατί το α) δεν παρουσιάζει ιδιαίτερο πρόβλημα).

Αν f(1) = c, θα δείξω ότι η μοναδική λύση της δοθείσας είναι η f(x)=cx.

1) H f ως αντιστρέψιμη (απο το α) ) και συνεχής είναι μονότονη. Άρα η f(f(x)) είναι αύξουσα, όπως φυσικά και η x.
Άρα είναι αύξον το αριστερό μέλος της δοθείσας, άρα και το (f(x))^2, οπότε και το f(x).

2) Αν f(1) = c, υποθέτουμε c\ne 1\,. Την περίπτωση c = 1 την κάνουμε χωριστά.
Επαγωγικά βλέπουμε ότι ισχύει f(c^n) = c^{n+1}. Συγκεκριμένα, το δείχνουμε αυτό πρώτα για n φυσικός και μετά για ακέραιο.

3) Έστω τώρα α τυχαίο, και f(a) = b. Στόχος μας να δείξουμε ότι b = ac.
(συνέχεια)

Από την δοθείσα δείχνουμε επαγωγικά ότι για n φυσικό ισχύει f \left( \frac{b^{n+1}}{a^{n}}\right ) =  \frac{b^{n+2}}{a^{n+1}}. Η απόδειξη είναι όπως στο 2) που παρέλειψα, αλλά ας δούμε το επαγωγικό βήμα: Πράγματι η δοθείσα με x = \frac{b^{n+1}}{a^{n}} δίνει
\frac{b^{n+1}}{a^{n}}f\left( f \left(  \frac{b^{n+1}}{a^{n}} \right) \right) = \left(  f \left(  \frac{b^{n+1}}{a^{n}} \right)  \right)^2\,\, άρα

\frac{b^{n+1}}{a^{n}}f \left(  \frac{b^{n+2}}{a^{n+1}} \right)  = \left(   \frac{b^{n+2}}{a^{n+1}}  \right)^2\,\,

από όπου f \left(  \frac{b^{n+2}}{a^{n+1}} \right)  =  \frac{b^{n+3}}{a^{n+2}}\,\, όπως θέλαμε.

4) Επιλέγουμε p (θετικό ή αρνητικό ακέραιο) με c^p \le a < c^{p+1}

Εφαρμόζοντας την f στην ανισότητα αυτή n φορές, η μεν ανισότητα διατηρείται διότι f αύξουσα, και

c^{p+n} \le   \frac{b^{n}}{a^{n-1}} < c^{p+n+1}

παίρνοντας n-1 ρίζα καταλήγουμε

c^{\frac{p+n}{n-1}} \le   \frac{b^{\frac{n}{n-1}     }   }{a} < c^{\frac{p+n+1}{n-1}}

Αφήνοντας τώρα το n να πάει στο άπειρο καταλήγουμε

c \le \frac{b}{a}\le c

δηλαδή b = ac, όπως θέλαμε. Και λοιπά.

Φιλικά,

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

Re: πρόβλημα με συναρτήσεις

#4

Μη αναγνωσμένη δημοσίευση από s.kap »

Μιχάλη, ωραία έμπνευση!!!
Σε ευχαριστώ
Σπύρος Καπελλίδης
Ilias_Zad
Δημοσιεύσεις: 417
Εγγραφή: Δευ Ιαν 26, 2009 11:44 pm

Re: πρόβλημα με συναρτήσεις

#5

Μη αναγνωσμένη δημοσίευση από Ilias_Zad »

Ωραία απόδειξη κ. Λάμπρου κ ωραία άσκηση κ. Σπύρο.
Βάζω και την δικιά μου μιας και διαφέρει.
Θεωρούμε την c(x)=\frac{f(x)}{x}. Tότε ισχύει c(f(x))=c(x) για κάθε x από εκφώνηση, και συνεπώς με επαγωγή f^{n}(x)=c(x)^nx.
Τώρα f αύξουσα όπως έχει αποδειχτεί, και επίσης για x\geq y έχουμε, 1 \leq \frac{f^{n}( x)}{f^{n}(y)}=(\frac{c(x)}{c(y)})^n\frac{x}{y}, οπότε δεν γίνεται c(x)<c(y), άρα και c αύξουσα.
Συνεπως έχει όριο στο άπειρο, έστω l και στο μηδέν m. Τότε αν x, όχι σταθερό σημείο της f, αν c(x)>1, επειδή f^{n}(x), αύξουσα ακολουθία που πάει στο άπειρο, ισχύει c(x)=c(f^{n}(x)) \rightarrow l και άρα c(x)=l.Αν c(x)<1, όμοια c(x)=m.Tέλος, αν είναι σταθερό σημείο, c(x)=1.
Συνεπώς 3 οι πιθανές τιμές της c, και άρα ως συνεχής είναι σταθερή.

Συμβ. f^{n}(x)=f(f(f(..(x)..).(n φορές)

Φιλικά,
Ηλίας.
Linardatos
Δημοσιεύσεις: 36
Εγγραφή: Τρί Σεπ 14, 2010 2:23 pm

Re: πρόβλημα με συναρτήσεις

#6

Μη αναγνωσμένη δημοσίευση από Linardatos »

ΑΝ θεσουμε οπου χ το f^(-1)(x) η δοσμενη θα γινει

f^(-1)(x) * f(x) =x^2 απο οπου ειναι ευκολο να συμπαιρανουμε οτι μια λυση ειναι η f(x)=x μηπως μπορουμε καπως πιο ευκολα να καταληξουμε σε ατοπο οταν f(x)<>x η οταν πχ. f(x)>x με τη βοηθεια οτι αφου 1-1 και συνεχης αρα μονοτονη.
(το ψαχνω...)
<Γ/Λ>
socrates
Επιμελητής
Δημοσιεύσεις: 6595
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Re: πρόβλημα με συναρτήσεις

#7

Μη αναγνωσμένη δημοσίευση από socrates »

Άλλη μια λύση (δε διαφέρει ιδιαίτερα από τις παραπάνω.)

α)
Η f είναι γν. μονότονη ως συνεχής και 1-1, οπότε η xf(f(x)) είναι γν. αύξουσα άρα και η f.

Αν f είναι άνω φραγμένη τότε \displaystyle{\lim_{x\to \infty}f(x)=M\in \Bbb{R}} (υπάρχει λόγω μονοτονίας.)
Αν πάρουμε όριο x\to \infty στην δοθείσα καταλήγουμε σε άτοπο. Άρα \displaystyle{\lim_{x\to \infty}f(x)=\infty.}

Σε άτοπο καταλήγουμε αν υποθέσουμε \displaystyle{\lim_{x\to 0}f(x)=M>0}. Οπότε \displaystyle{\lim_{x\to 0}f(x)=0.}

Άρα \displaystyle{f((0,+\infty))=(0,+\infty).}

β)
Επαγωγικά έχουμε \displaystyle{\frac{f^{k}(x)}{x}=\left(\frac{f(x)}{x}\right)^k, \ k=1,2,...}

Αν \displaystyle{f(1)=c} τότε για x>1 έχουμε f(x)>c και επαγωγικά f^{k}(x)>c^k και άρα \displaystyle{\frac{f(x)}{x}>\frac{c}{\sqrt[k]{x}}.}

Αφήνοντας \displaystyle{k \to \infty} είναι \displaystyle{f(x)\geq cx.}

Θέτουμε τώρα στην αρχική διαδοχικά \displaystyle{x:=f^{-1}(x)} και \displaystyle{x:=f^{-1}(x)} οπότε \displaystyle{xg(g(x))=g^2(x)} όπου \displaystyle{g=f^{-1}.}

Με όμοιο τρόπο \displaystyle{g(x)\geq dx} όπου \displaystyle{d=g(1)=f^{-1}(1)=\frac{1}{c}.}
Έτσι, \displaystyle{cx\geq f(x)} και τελικά \displaystyle{f(x)=cx, \ x \geq 1.}


Για x<1 εργαζόμαστε με τον ίδιο τρόπο.



Είναι εντάξει; :roll:
Θανάσης Κοντογεώργης
Απάντηση

Επιστροφή στο “Ανάλυση”

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

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