Παραλλαγή!

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

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

Παραλλαγή!

#1

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

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


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

Λέξεις Κλειδιά:
achilleas
Γενικός Συντονιστής
Δημοσιεύσεις: 3014
Εγγραφή: Τρί Σεπ 15, 2009 3:32 pm

Re: Παραλλαγή!

#2

Μη αναγνωσμένη δημοσίευση από achilleas » Δευ Μάιος 09, 2022 9:13 am

Έστω P(x,y) η δοθείσα σχέση.

H P(1,0) δίνει f(1)=f(0)+f(1), οπότε \boxed{f(0)=0}.

Αν υπάρχει a\ne 0 τέτοιο ώστε f(a)=0 , τότε η P(a,y) δίνει 0=f(a)=a^3f(y), οπότε f(y)=0 για κάθε y\in \mathbb{R}. Η μηδενική συνάρτηση αποτελεί λύση της δοθείσας εξίσωσης.

Έστω f(a)\ne 0 για κάθε a\ne 0. Αν f(1)\ne 1, τότε η P(1,\frac{1}{1-f(1)^3}) δίνει

f(\frac{1}{1-f(1)^3})=f(\frac{1}{1-f(1)^3})+f(1), οπότε f(1)=0, άτοπο. Άρα \boxed{f(1)=1}. (*)

Η P(1,x) δίνει f(x+1)=f(x)+1. (1)

Αφαιρώντας κατά μέλη τις σχέσεις P(x,\frac{y+f(x)^3-x}{f(x)^3}) και P(x,\frac{y-x}{f(x)^3}) (για x\ne 0), και χρησιμοποιώντας την (*) και την (1) παίρνουμε

f(y+f(x)^3)-f(y)=x^3f(\frac{y-x}{f(x)^3}+1)-x^3f(\frac{y-x}{f(x)^3})=x^3, (2)

η οποία με y=0 δίνει f(f(x)^3)=x^3 (3).

Έτσι, η f είναι επί. Έστω z\in \mathbb{R} και x\in \mathbb{R} τέτοιο ώστε f(x)^3=z, οπότε από την (3) είναι f(z)=x^3. Τότε η (2) δίνει

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

δηλ. η f είναι προσθετική. Από την τελευταία και την P(x,y) παίρνουμε

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

οπότε x^3f(y)=f(yf(x)^3), δηλ. f(z)f(y)=f(yz),

δηλ η f είναι πολλαπλασιαστική.

Έτσι, η μη μηδενική συνάρτηση f είναι προσθετική και πολλαπλασιαστική. Άρα, η f σε αυτη την περίπτωση είναι η ταυτοτική, η οποία ικανοποιεί τη δοθείσα σχέση. Συνεπώς, οι λύσεις είναι η μηδενική και η ταυτοτική.

Σχόλια. (α) Όπως είναι αντιληπτό από την παραπάνω λύση αντί για τον εκθέτη 3, θα μπορούσαμε να έχουμε οποιοδήποτε θετικό περιττό εκθέτη n, δηλ.

\displaystyle f\left(y\left(f\left(x\right)\right)^n+x\right)=x^nf(y)+f(x)

για κάθε x,y \in \mathbb{R}.

Δείτε, επίσης, το θέμα αυτό στο AoPS.

(β) Το προτεινόμενο θέμα και η παραπάνω λύση έχουν ανέβει στο AoPS εδώ.


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 8989
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Παραλλαγή!

#3

Μη αναγνωσμένη δημοσίευση από Demetres » Τρί Μάιος 10, 2022 11:34 pm

Ασφαλώς μιλάμε για παραλλαγή της άσκησης 3 της ΒΜΟ 2022.

Αξίζει να αναφέρουμε ότι αυτή η παραλλαγή είχε επίσης προταθεί από την Ελλάδα και βρίσκεται στη shortlist ώς εναλλακτική διατύπωση. Θεωρώ ότι η μορφή που επιλέχθηκε είναι πιο δύσκολη από αυτή.


achilleas
Γενικός Συντονιστής
Δημοσιεύσεις: 3014
Εγγραφή: Τρί Σεπ 15, 2009 3:32 pm

Re: Παραλλαγή!

#4

Μη αναγνωσμένη δημοσίευση από achilleas » Τετ Μάιος 11, 2022 12:04 am

Demetres έγραψε:
Τρί Μάιος 10, 2022 11:34 pm
... Θεωρώ ότι η μορφή που επιλέχθηκε είναι πιο δύσκολη από αυτή.
Ναι, Δημήτρη, συμφωνώ.

Η τελική επιλογή σας αντί της παραπάνω εκδοχής ήταν σοφή επιλογή.

Φιλικά,

Αχιλλέας


Άβαταρ μέλους
Demetres
Γενικός Συντονιστής
Δημοσιεύσεις: 8989
Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
Τοποθεσία: Λεμεσός/Πύλα
Επικοινωνία:

Re: Παραλλαγή!

#5

Μη αναγνωσμένη δημοσίευση από Demetres » Τετ Μάιος 11, 2022 12:10 am

achilleas έγραψε:
Τετ Μάιος 11, 2022 12:04 am
Demetres έγραψε:
Τρί Μάιος 10, 2022 11:34 pm
... Θεωρώ ότι η μορφή που επιλέχθηκε είναι πιο δύσκολη από αυτή.
Ναι, Δημήτρη, συμφωνώ.

Η τελική επιλογή σας αντί της παραπάνω εκδοχής ήταν σοφή επιλογή.

Φιλικά,

Αχιλλέας

Ο Σιλουανός μου είχε ζητήσει να μπει η εκδοχή που επιλέχθηκε πρώτη και η παραλλαγή δεύτερη.


Απάντηση

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

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

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