Συναρτησιακή στο R+

Συντονιστές: achilleas, emouroukos, silouan

socrates
Επιμελητής
Δημοσιεύσεις: 6461
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Συναρτησιακή στο R+

#1

Μη αναγνωσμένη δημοσίευση από socrates » Παρ Μάιος 06, 2022 8:10 pm

Να προσδιορίσετε όλες τις συναρτήσεις f  :  \mathbb{R}^+ \to \mathbb{R}^+ τέτοιες ώστε f(x^{2}f(x)+f(y)) = (f(x))^{3}+y , για κάθε x,y \in \Bbb{R}^+.


Θανάσης Κοντογεώργης

Λέξεις Κλειδιά:
Άβαταρ μέλους
Ορέστης Λιγνός
Δημοσιεύσεις: 1835
Εγγραφή: Κυρ Μάιος 08, 2016 7:19 pm
Τοποθεσία: Χαλάνδρι Αττικής
Επικοινωνία:

Re: Συναρτησιακή στο R+

#2

Μη αναγνωσμένη δημοσίευση από Ορέστης Λιγνός » Κυρ Ιούλ 03, 2022 10:46 am

socrates έγραψε:
Παρ Μάιος 06, 2022 8:10 pm
Να προσδιορίσετε όλες τις συναρτήσεις f  :  \mathbb{R}^+ \to \mathbb{R}^+ τέτοιες ώστε f(x^{2}f(x)+f(y)) = (f(x))^{3}+y , για κάθε x,y \in \Bbb{R}^+.
Καλή!

Αρχίζουμε με κάποιους Ισχυρισμούς:

Ισχυρισμός 1: Η f είναι 1-1.
Απόδειξη: Άμεσο από την αρχική καθώς αν f(y_1)=f(y_2) για κάποια y_1,y_2>0, τότε

f(1)^3+y_1=f(f(1)+f(y_1))=f(f(1)+f(y_2))=f(1)^3+y_2,

άρα y_1=y_2 όπως θέλαμε \blacksquare

Ισχυρισμός 2: Υπάρχει σταθερά N>0 ώστε η f να είναι επί στο (N,+\infty).
Απόδειξη: Πράγματι, η αρχική για x=1 και y := y-f^3(1) δίνει ότι

f(f(1)+f(y-f^3(1)))=y, άρα η f είναι επί στο (f^3(1),+\infty) \blacksquare

Ισχυρισμός 3: Υπάρχει σταθερά c τέτοια, ώστε f(f^3(x))=x^2f(x)+c για κάθε x>0.
Απόδειξη: Πράγματι, είναι

f(x^2f(x)+f(f^3(y)))=f^3(x)+f^3(y)=f(y^2f(y)+f(f^3(x))),

και αφού από τον Ισχυρισμό 1 η f είναι 1-1, προκύπτει ότι x^2f(x)+f(f^3(y))=y^2f(y)+f(f^3(x)), δηλαδή η f(f^3(x))-x^2f(x) είναι σταθερή, όπως θέλαμε \blacksquare

Στο πρόβλημα τώρα, έστω τυχαίο z>0. Είναι,

f(y^2f(y)+f(f^3(x)+z))=f^3(y)+f^3(x)+z=f(x^2f(x)+f(f(f^3(y)+z)),

συνεπώς αφού η f είναι 1-1,

y^2f(y)+f(f^3(x)+z)=x^2f(x)+f(f(f^3(y)+z),

η οποία λόγω του Ισχυρισμού 3 γράφεται ως

f(f^3(x)+z)+f(f^3(y))=f(f^3(y)+z)+f(f^3(x))

Από τον Ισχυρισμό 2 τώρα, αφού η f είναι τελικά επί, υπάρχει M>0 τέτοιο, ώστε

f(x+z)+f(y)=f(y+z)+f(x), για κάθε x,y>M. Έστω x:=x+M και y:=y+M, οπότε τελικά

f(x+z+M)+f(y)=f(y+z+M)+f(x), για κάθε x,y,z>0.

Άρα, με z:=x+z, προκύπτει

f(2x+z+M)+f(y)=f(x+y+z+M)+f(x) (1)

και με x:=x+y, προκύπτει

f(x+y+z+M)+f(y)=f(y+z+M)+f(x+y) (2)

Συνδυάζοντας τις (1) και (2) προκύπτει ότι

f(x)-f(y)=f(2x+z+M)+f(y)-f(y+z+M)-f(x+y), δηλαδή

f(2x+z+M)-f(y+z+M)=f(x)+f(x+y)-2f(y).

Όμως, f(2x+z+M)-f(y+z+M)=f(2x)-f(y), συνεπώς f(2x)=f(x)+f(x+y)-f(y), για κάθε x,y>0.

Άρα, f(2x)-2f(x)=f(x+y)-f(x)-f(y)=f(2y)-2f(y), δηλαδή υπάρχει σταθερά c' τέτοια, ώστε f(2x)=2f(x)+c', για κάθε x>0.

Άρα, f(x+y)=f(x)+f(y)-c'. Έστω g(x)=f(x)-c', οπότε εύκολα g(x+y)=g(x)+g(y). Οπότε η g είναι Cauchy και αφού g(x)=f(x)-c'>-c', είναι κάτω φραγμένη, άρα γραμμική.

Οπότε και η f είναι γραμμική και εύκολα πλέον ελέγχουμε ότι είναι η ταυτοτική.

Τελικά, μόνη λύση η f \equiv \rm id.


Κερδίζουμε ό,τι τολμούμε!
socrates
Επιμελητής
Δημοσιεύσεις: 6461
Εγγραφή: Δευ Μαρ 09, 2009 1:47 pm
Τοποθεσία: Θεσσαλονίκη
Επικοινωνία:

Re: Συναρτησιακή στο R+

#3

Μη αναγνωσμένη δημοσίευση από socrates » Τετ Ιούλ 06, 2022 4:54 pm

:coolspeak: :clap2: :clap:


Θανάσης Κοντογεώργης
Απάντηση

Επιστροφή σε “Άλγεβρα - Προχωρημένο Επίπεδο (Seniors)”

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

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