Συναρτησιακή

Συντονιστές: cretanman, Demetres, polysot, achilleas, socrates, silouan

Άβαταρ μέλους
mathxl
Δημοσιεύσεις: 6736
Εγγραφή: Τρί Δεκ 23, 2008 3:49 pm
Τοποθεσία: Σιδηρόκαστρο
Επικοινωνία:

Συναρτησιακή

#1

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

Να βρείτε όλες τις συναρτήσεις f: R-> R με την ιδιότητα f(y^{4}+f(x)-x)) = (f(y))^{4} για κάθε x,y πραγματικούς αριθμούς

ΥΓ: Επειδή έχει ικανό αριθμό επισκέψεων δίνω τις λύσεις σε hide
Ποτε δεν κάνω λάθος! Μια φορά νομιζα πως είχα κάνει, αλλά τελικά έκανα λάθος!
Απ' τα τσακάλια δεν γλυτώνεις μ' ευχές η παρακάλια. Κ. Βάρναλης
Aπέναντι στις αξίες σου να είσαι ανυποχώρητος

Ενεργό μέλος από 23-12-2008 ως και 17-8-2014 (δεν θα απαντήσω σε πμ)
Dreamkiller
Δημοσιεύσεις: 263
Εγγραφή: Τρί Δεκ 23, 2008 12:52 pm

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

#2

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

Έχω βρει μια λύση αλλά αμφιβάλλω για την αυστηρότητά της.

Αν η f είναι σταθερή, τότε εύκολα παίρνουμε ότι f(x)=1 ή f(x)=0.
Αν η f δεν είναι σταθερή, θέτοντας στη δοθείσα όπου y το 0 παίρνουμε f(f(x)-x)=c, όπου c=(f(0))^4. Ψάχνουμε επομένως μη σταθερή συνάρτηση f τέτοια ώστε η fo(f-I) να είναι σταθερή. Ας θεωρήσουμε ότι η f είναι σταθερή κατά τμήματα (ακόμα και οι 1-1 συναρτήσεις μπορούν να θεωρηθούν εκφυλισμένες περιπτώσεις σταθερών κατά τμήματα συναρτήσεων), έστω δηλαδή
f(x)= x_1 αν x \in A_1, x_2 αν x \in A_2 και λοιπά (εδώ θέλει πολλαπλό τύπο αλλά δυσκολεύομαι με το latex). Τότε (f-I)(x)=x_1-x αν x \in A_1, x_2-x αν x \in A_2 και λοιπά. Για να είναι σταθερή η fo(f-I) τότε πρέπει ή όλα τα x_i -x να ανήκουν σε ένα A_k, δηλαδή το A_k να ταυτίζεται με το R, οπότε η f είναι σταθερή ή όλα τα x_1-xνα γίνουν ένα, οπότε η f-I είναι σταθερή. Αν θέσουμε λοιπόν f(x)=x+k, παίρνουμε εύκολα k=0.

Formal proof failure.
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18441
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

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

#3

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

Dreamkiller έγραψε:Έχω βρει μια λύση αλλά αμφιβάλλω για την αυστηρότητά της.
<...>

f(x)= x_1 αν x \in A_1, x_2 αν x \in A_2 και λοιπά (εδώ θέλει πολλαπλό τύπο αλλά δυσκολεύομαι με το latex). Τότε (f-I)(x)=x_1-x αν x \in A_1, x_2-x αν x \in A_2 και λοιπά. Για να είναι σταθερή η fo(f-I) τότε πρέπει ή όλα τα x_i -x να ανήκουν σε ένα A_k, δηλαδή το A_k να ταυτίζεται με το R, οπότε η f είναι σταθερή ή όλα τα x_1-x να γίνουν ένα, οπότε η f-I είναι σταθερή. Αν θέσουμε λοιπόν f(x)=x+k, παίρνουμε εύκολα k=0.

Formal proof failure.
Χμμμμμ Dreamkiller, από ότι βλέπω η λύση έχει πολλά προβλήματα. Ίσως το ουσιαστικότερο είναι το σημειωμένο με κόκκινο:
Εδώ πρέπει να θυμηθούμε ότι το x δεν είναι οποιοδήποτε, αλλά επιλέγεται από το A_1

Επίσης δεν καταλαβαίνω τι θα πει (το πράσινο παραπάνω) " όλα τα x_1-x να γίνουν ένα"

Μ.
Άβαταρ μέλους
Ανδρέας Πούλος
Δημοσιεύσεις: 1509
Εγγραφή: Κυρ Μαρ 01, 2009 10:47 pm
Τοποθεσία: ΘΕΣΣΑΛΟΝΙΚΗ

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

#4

Μη αναγνωσμένη δημοσίευση από Ανδρέας Πούλος »

Υποθέτω στο ίδιο κομβικό σημείο έχουν καταλήξει όλοι οι ενδιαφερόμενοι - που δεν έχουν δώσει ακόμη πλήρη απάντηση.
Αν δηλαδή για μία συνάρτηση f ισχύει f(f(x) - x) = c για κάθε x πραγματικό και c μη αρνητικό,
τι συμπέρασμα προκύπτει για τη συνάρτηση f;
Είναι μία σταθερή, είναι η ταυτοτική ή μπορεί και κάποια άλλη;
Ο mathxl ισχυρίζεται ότι είναι μόνο αυτές οι δύο περιπτώσεις.
Κάτι θα ξέρει που δεν το βρήκαμε οι υπόλοιποι.
Σε κάθε περίπτωση είναι μία ενδιαφέρουσα πρόκληση.
Συνεχίζουμε λοιπόν.
Φιλικά,
Ανδρέας Πούλος
Άβαταρ μέλους
Nick1990
Δημοσιεύσεις: 669
Εγγραφή: Παρ Ιαν 23, 2009 3:15 pm
Τοποθεσία: Peking University, Πεκίνο

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

#5

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

Ανδρέας Πούλος έγραψε:Υποθέτω στο ίδιο κομβικό σημείο έχουν καταλήξει όλοι οι ενδιαφερόμενοι - που δεν έχουν δώσει ακόμη πλήρη απάντηση.
Αν δηλαδή για μία συνάρτηση f ισχύει f(f(x) - x) = c για κάθε x πραγματικό και c μη αρνητικό,
τι συμπέρασμα προκύπτει για τη συνάρτηση f;
Είναι μία σταθερή, είναι η ταυτοτική ή μπορεί και κάποια άλλη;
Ο mathxl ισχυρίζεται ότι είναι μόνο αυτές οι δύο περιπτώσεις.
Κάτι θα ξέρει που δεν το βρήκαμε οι υπόλοιποι.
Σε κάθε περίπτωση είναι μία ενδιαφέρουσα πρόκληση.
Συνεχίζουμε λοιπόν.
Φιλικά,
Ανδρέας Πούλος
Ισως η παραπανω (που ειναι ειδικη περιπτωση για y=0) να εχει οντως και αλλες λυσεις, οχι ομως και η αρχικη, διοτι νομιζω πως μια συναρτηση που ικανοποιει την ειδικη περιπτωση δεν ικανοποιει υποχρεωτικα και την γενικοτερη, εκτως και αν μπορουμε να αποδειξουμε με καποιο τροπο την ισοδυναμια των δυο εξισωσεων.

Νικος
Κολλιοπουλος Νικος.
Μεταδιδακτορικός ερευνητής.
Ερευνητικά ενδιαφέροντα: Στοχαστικές ΜΔΕ, ασυμπτωτική ανάλυση στοχαστικών συστημάτων, εφαρμογές αυτών στα χρηματοοικονομικά και στη διαχείριση ρίσκων.
Dreamkiller
Δημοσιεύσεις: 263
Εγγραφή: Τρί Δεκ 23, 2008 12:52 pm

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

#6

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

Έστω, λοιπόν, μια συνάρτηση f τέτοια ώστε (πολλαπλός τύπος) f(x)=x_1, αν x \in A_1, x_2 αν x \in A_2, ..., x_n αν x\in A_n, με \displaystyle\bigcup_{i=1}^{n}{A_i}=R και ανά δύο ξένα μεταξύ τους. Τότε (πολλαπλός τύπος) f(x)-x=x_1-x, αν x \in A_1, x_2 -x, αν x \in A_2, ..., x_n - x, αν x \in A_n. Τότε f(f(x)-x) = x_1 αν x \in \left\{x \in R: x_1-x \in A_1}\right\}, x_2 ανx \in \left\{x \in R: x_2-x \in A_2}\right\}..., x_n αν x \in \left \{x \in R: x_n-x \in A_n}\right\}. Για να είναι η fo(f-I) σταθερή πρέπει:
α) x_k-x=x_j-x, απ' όπου παίρνουμε ότι x_k=x_j οπότε η f είναι σταθερή
β)ένα από τα τμήματα του πεδίου ορισμού της fo(f-I) να ταυτίζεται με το R, να έχουμε δηλαδή ότι για οποιονδήποτε πραγματικό αριθμό το σύνολο λύσεων της a-x \in A να ταυτίζεται με το R, με a κάποιον πραγματικό και Aγνήσιο υποσύνολο του R. Τότε υπάρχει πραγματικός b που δεν ανήκει στο A. Αλλά τότε ο αριθμός a-(a-b)=b δεν ανήκει στο A αλλά ανήκει στο R, οπότε δεν γίνεται το σύνολο λύσεων της a-x \in R να είναι το R. Άρα τίποτα σ' αυτήν την περίπτωση.
γ) η f(x)-x να είναι σταθερή, απ' όπου παίρνουμε ότι f(x)=x.

Πώς ακριβώς βάζω πολλαπλό τύπο στο Latex;
Ελπίζω επίσης τώρα να διόρθωσα τα προηγούμενα λάθη.
Τελευταία επεξεργασία από το μέλος Dreamkiller την Δευ Μαρ 29, 2010 10:46 am, έχει επεξεργασθεί 1 φορά συνολικά.
Άβαταρ μέλους
S.E.Louridas
Δημοσιεύσεις: 6169
Εγγραφή: Σάβ Μαρ 21, 2009 10:53 am
Τοποθεσία: Aegaleo.
Επικοινωνία:

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

#7

Μη αναγνωσμένη δημοσίευση από S.E.Louridas »

Ας μου επιτραπεί, με την ευκαιρία αυτή να συστήσω σε εκείνους που ενδιαφέρονται για προσδιορισμό συναρτήσεων μέσω συναρτησιακών εξισώσεων, να ασχοληθούν με την κλάση των συναρτησιακών εξισώσεων της μορφής:
f:\mathbb{R} \to \mathbb{R},f\left( {g\left( x \right) + y + f\left( y \right)} \right) = ag\left( {f\left( x \right)} \right) + by, για όλους τους πραγματικούς αριθμούς x,y, όταν α,b πραγματικές σταθερές.Η μελέτη τους στο γενικό αυτό 'γίγνεσθαι' είναι φοβερά χρήσιμη.

S.E.Louridas
Τελευταία επεξεργασία από το μέλος S.E.Louridas την Τρί Μαρ 30, 2010 11:00 am, έχει επεξεργασθεί 1 φορά συνολικά.
S.E.Louridas

1.Μιλώ, μόνο όταν έχω να πώ κάτι καλύτερο από την σιωπή (Πυθαγόρας).
2.Οι αξίες αντανακλώνται, Δεν επιβάλλονται.
3.Είναι Κορυφαία η κάθε στιγμή επίλυσης ενός Μαθηματικού προβλήματος.
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18441
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

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

#8

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

Dreamkiller έγραψε: <...> Για να είναι η fo(f-I) σταθερή πρέπει:
α) x_k-x=x_j-x, απ' όπου παίρνουμε ότι x_k=x_j οπότε η f είναι σταθερή

<...> Ελπίζω επίσης τώρα να διόρθωσα τα προηγούμενα λάθη.
Χμμμ Dreamkiller, η απόδειξη έχει (πολλά) προβλήματα και επαναλαμβάνει τα ίδια λάθη όπως πρίν.

Το ουσιαστικότερο είναι ότι παίρνεις το χ και ως σταθερά και ως μεταβλητή. Για να γίνω κατανοητός, ας ονομάσουμε A, B, ... αυτά που ονομάζεις A_1, A_2, ... και ας συμβολίσουμε το τυπικό τους στοιχείο ως α, β, ... αντίστοιχα.

Τώρα, αν a στο Α, και b στο Β ισχύει f(a) - a = x_1 - a \in A, f(b) - b = x_2 - b\in B. Για να είναι σταθερή πρέπει x_1 - a = x_2 - b αλλά δεν έγραψες αυτό. Ξαφνικά άλλαξες τα a, b σε μεταβλητές που τις συμβόλισες με το ίδιο γράμμα, x. Οπότε συμπεραίνεις εσφαλμένα ότι x_1 - x = x_2 - x.

Ένα δεύτερο σφάλμα που κάνεις είναι ο κυκλικός συλλογισμός που σημείωσα με κόκκινο: Από την μία λαμβάνεις ότι η f είναι σταθερή (το χρησιμοποιείς όταν γράφεις την ισότητα x_1 - x = x_2 - x ) για να καταλήξεις ότι είναι σταθερή. Μα αφού την πήρες σταθερή, τι πάμε να δείξουμε;

Ελπίζω τα παραπάνω να διασαφηνίζουν την κατάσταση.

Ας δώσω μία υπόδειξη για την λύση:
Έστω ότι η f έχει σταθερό σημείο c διαφορετικό από τα 0 ή 1. Είναι δηλαδή f(c) = c. Από την υπόθεση για x = y = c έχουμε
f(c^4) = f(c^4 + f(c) - c) = (f(c))^4 = c^4\, δηλαδή και το c^4 είναι σταθερό σημείο.
Άβαταρ μέλους
mathxl
Δημοσιεύσεις: 6736
Εγγραφή: Τρί Δεκ 23, 2008 3:49 pm
Τοποθεσία: Σιδηρόκαστρο
Επικοινωνία:

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

#9

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

Για όσους θέλουν να δουν την λύση από τον pco εδώ http://www.mathlinks.ro/viewtopic.php?t=330377
Ποτε δεν κάνω λάθος! Μια φορά νομιζα πως είχα κάνει, αλλά τελικά έκανα λάθος!
Απ' τα τσακάλια δεν γλυτώνεις μ' ευχές η παρακάλια. Κ. Βάρναλης
Aπέναντι στις αξίες σου να είσαι ανυποχώρητος

Ενεργό μέλος από 23-12-2008 ως και 17-8-2014 (δεν θα απαντήσω σε πμ)
Απάντηση

Επιστροφή στο “Άλγεβρα - Θεωρία Αριθμών - Συνδυαστική (Seniors) - Παλαιότερες Συζητήσεις”

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

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