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

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

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

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

#1

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Αύγ 31, 2009 12:57 am

Να βρεθούν όλες οι συναρτήσεις f:\mathbb{N} \to \mathbb{N} που να ικανοποιούν xf(y) + yf(x) = (x+y)f(x+y) για κάθε x,y \in \mathbb{N}.



lefteris mastoris
Δημοσιεύσεις: 86
Εγγραφή: Κυρ Αύγ 23, 2009 5:12 pm
Τοποθεσία: Θεσσαλονικη,Πολιχνη
Επικοινωνία:

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

#2

Μη αναγνωσμένη δημοσίευση από lefteris mastoris » Δευ Αύγ 31, 2009 1:14 am

μηπως ειναι σταθερη???γιατι αν θεσουμε x=y εκει καταληγω.. :?



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

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

#3

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Αύγ 31, 2009 11:59 am

lefteris mastoris έγραψε:μηπως ειναι σταθερη???γιατι αν θεσουμε x=y εκει καταληγω.. :?
Λευτέρη έκανα όντως ένα λάθος στην διατύπωση που ίσως να κάνει την άσκηση πιο εύκολη. Δεν βλέπω όμως πως καταλήγεις πως η f είναι σταθερή. Θέτοντας x=y βρίσκεις ότι f(x) = f(2x) για κάθε x \in \mathbb{N}. Μετά πως συνεχίζεις;

Την αφήνω έτσι λοιπόν διατυπωμένη (αφού ακόμη δεν βλέπω πως λύθηκε) και μετά θα βάλω και την άσκηση που είχα υπόψη μου.



lefteris mastoris
Δημοσιεύσεις: 86
Εγγραφή: Κυρ Αύγ 23, 2009 5:12 pm
Τοποθεσία: Θεσσαλονικη,Πολιχνη
Επικοινωνία:

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

#4

Μη αναγνωσμένη δημοσίευση από lefteris mastoris » Δευ Αύγ 31, 2009 12:27 pm

βασικα δεν ειμαι πολυ σιγουρος γιατι ηταν βραδυ οταν την σκεφτηκα!αν βαλουμε οπου x to 2x βρισκουμε πως f(x)=f(2^2x) και επαγωγικα βγαζουμε πως f(x)=f(2^nx).Αρα η f παιρνει την ιδια τιμη απειρες φορες.Αυτο δεν ειναι ατοπο??αν και νομιζω πως αυτο ισχυει μονο για συνεχεις συναρτησεις...επειδη κατι εχω στο μυαλο μου σχετικα με αυτο θα συνεχισω σε λιγο..



k-ser
Δημοσιεύσεις: 870
Εγγραφή: Σάβ Δεκ 20, 2008 10:22 am
Τοποθεσία: Μουζάκι Καρδίτσας
Επικοινωνία:

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

#5

Μη αναγνωσμένη δημοσίευση από k-ser » Δευ Αύγ 31, 2009 12:42 pm

Δημήτρη, για y=0 προκύπτει f(x)=f(0) για κάθε x \in \mathbb{N} !
Κάνω λάθος;


Κώστας Σερίφης

lefteris mastoris
Δημοσιεύσεις: 86
Εγγραφή: Κυρ Αύγ 23, 2009 5:12 pm
Τοποθεσία: Θεσσαλονικη,Πολιχνη
Επικοινωνία:

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

#6

Μη αναγνωσμένη δημοσίευση από lefteris mastoris » Δευ Αύγ 31, 2009 12:46 pm

μπορουμε επισης ,αν δουμε τη σχεση αυτη σαν υποασκηση ,να βγαλουμε συμπερασματα με orizontal stretching του γραφηματος της f στο [0,1] κατα 2^n και παιρνουμε το γραφημα της f στο [2^n,2^n^+^1] κλπ αλλα και παλι δεν βγαζω πολλα..
τελευταία επεξεργασία από lefteris mastoris σε Δευ Αύγ 31, 2009 3:43 pm, έχει επεξεργασθεί 1 φορά συνολικά.



Άβαταρ μέλους
Στέλιος Μαρίνης
Δημοσιεύσεις: 536
Εγγραφή: Πέμ Ιούλ 16, 2009 9:45 pm
Τοποθεσία: Νέα Σμύρνη, Αθήνα
Επικοινωνία:

Ποια είναι η κανονική εκφώνηση;

#7

Μη αναγνωσμένη δημοσίευση από Στέλιος Μαρίνης » Δευ Αύγ 31, 2009 12:47 pm

Καλημέρα!
Με τη δοσμένη εκφώνηση βγαίνει επαγωγικά ότι είναι σταθερή κι ύστερα κάθε σταθερή επαληθεύει τη σχέση.
Για 1,0 έχουμε φ(0)=φ(1)
Αν φ(ν)=φ(0)=φ(1), για ν,1 έχουμε νφ(1)+φ(ν)=(ν+1)φ(ν+1), άρα φ(ν+1)=φ(1)=φ(0)
Αντίστροφα ...
Έγραψα τη λύση γιατί είμαι περίεργος για την κανονική εκφώνηση, κι εσύ μας εκβιάζεις ότι δε θα τη δώσεις αν δε λυθεί αυτή, εκβιαστή :)


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

lefteris mastoris
Δημοσιεύσεις: 86
Εγγραφή: Κυρ Αύγ 23, 2009 5:12 pm
Τοποθεσία: Θεσσαλονικη,Πολιχνη
Επικοινωνία:

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

#8

Μη αναγνωσμένη δημοσίευση από lefteris mastoris » Δευ Αύγ 31, 2009 12:52 pm

k-ser έγραψε:Δημήτρη, για y=0 προκύπτει f(x)=f(0) για κάθε x \in \mathbb{N} !
Κάνω λάθος;
επειδη συχνα αντιμετωπιζω προβληματα με το 0 και το Ν οποτε γραφω στο ξενο mathlinks νομιζω οτι πρεπει να διευκρινισει ο συγγραφεας αν το 0 το θεωρει στοιχειο του Ν η οχι....



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

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

#9

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Αύγ 31, 2009 1:00 pm

Η άσκηση που έπρεπε να γράψω ήταν
Demetres έγραψε:Να βρεθούν όλες οι συναρτήσεις f:\mathbb{N} \to \mathbb{N} που να ικανοποιούν xf(y) + yf(x) = (x+y)f(x{\color{red}^2}+y{\color{red}^2}) για κάθε x,y \in \mathbb{N}. (Όπου \color{red}\mathbb{N} = \{1,2,3,\ldots\})
Στέλιος Μαρίνης έγραψε: Έγραψα τη λύση γιατί είμαι περίεργος για την κανονική εκφώνηση, κι εσύ μας εκβιάζεις ότι δε θα τη δώσεις αν δε λυθεί αυτή, εκβιαστή :)
Επίσης \mathbb{N} = \{1,2,3,\ldots\} άρα ακόμη δεν έχετε λύσει την πρώτη άσκηση. Αλλά με εκβιάζετε να βάλω και την άλλη άσκηση. Εκβιαστές! :)
lefteris mastoris έγραψε: επειδη συχνα αντιμετωπιζω προβληματα με το 0 και το Ν οποτε γραφω στο ξενο mathlinks νομιζω οτι πρεπει να διευκρινισει ο συγγραφεας αν το 0 το θεωρει στοιχειο του Ν η οχι....
Λευτέρη, έχεις απόλυτο δίκιο. Έκανα την διευκρίνηση.



k-ser
Δημοσιεύσεις: 870
Εγγραφή: Σάβ Δεκ 20, 2008 10:22 am
Τοποθεσία: Μουζάκι Καρδίτσας
Επικοινωνία:

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

#10

Μη αναγνωσμένη δημοσίευση από k-ser » Δευ Αύγ 31, 2009 1:37 pm

Να βρεθούν όλες οι συναρτήσεις f:\mathbb{N} \to \mathbb{N} που να ικανοποιούν xf(y) + yf(x) = (x+y)f(x+y) για κάθε x,y \in \mathbb{N}.

Αν το 0 δεν είναι στο \mathbb{N} τότε:
Για x=y έχουμε: f(x)=f(2x) \color{red}(1)
Για y=1 και x:2x έχουμε:
2xf(1)+f(2x)=(2x+1)f(2x+1) \Rightarrow^{\color{red}(1)}\\2xf(1)+f(x)=(2x+1)f(2x+1)\color{red}(2)
Για y=x+1 έχουμε: xf(x+1)+(x+1)f(x)=(2x+1)f(2x+1)\color{red}(3)
Από τις (2),(3) προκύπτει: f(x+1)=2f(1)-f(x)
Επαγωγικά από την τελευταία έχουμε ότι f(x)=f(1)


Κώστας Σερίφης

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

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

#11

Μη αναγνωσμένη δημοσίευση από Demetres » Δευ Αύγ 31, 2009 3:19 pm

Κώστα πολύ ωραία! Συγνώμη που σας ταλαιπώρησα με τον ορισμό του \mathbb{N}. Μένει τώρα να λυθεί και η αρχική άσκηση που ήθελα να βάλω.



k-ser
Δημοσιεύσεις: 870
Εγγραφή: Σάβ Δεκ 20, 2008 10:22 am
Τοποθεσία: Μουζάκι Καρδίτσας
Επικοινωνία:

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

#12

Μη αναγνωσμένη δημοσίευση από k-ser » Δευ Αύγ 31, 2009 7:47 pm

Γράφω μια "απλή" απόδειξη, χωρίς να είμαι και πολύ... σίγουρος - περίμενα κάτι πιο δύσκολο!
Αν διαπιστώσετε κάποιο χαζό λάθος :oops: να μου το πείτε ήρεμα! (π.χ.: Μα τι κάνεις;; χαζός είσαι;)

Έχουμε:
για οποιουσδήποτε θετικούς ακεραίους x,y είναι: xf(y)+yf(x)=(x+y)f(x^2+y^2) και οι τιμές της f είναι θετικοί ακέραιοι.
Για y=x: f(2x^2)=f(x)
Επαγωγικά: \displaystyle f\left(\frac{\left(2x\right)^{2^n}}{2}\right)=f(x) για κάθε θετικό ακέραιο n.

Για y=1 προκύπτει: |f(x)-f(1)|=(x+1)k με k=|f(x^2+1)-f(1)| μη αρνητικός ακέραιος.

Αν υποθέσουμε ότι για κάποιο x είναι k>0 τότε: |f(x)-f(1)|\geq x+1.
Για x: \displaystyle \frac{\left(2x\right)^{2^n}}{2} και εφόσον \displaystyle f\left(\frac{\left(2x\right)^{2^n}}{2}\right)=f(x)
έχουμε: |f(x)-f(1)|\geq \displaystyle \frac{\left(2x\right)^{2^n}}{2}+1για κάθε θετικό ακέραιο n, το οποίο είναι άτοπο.
Άρα πρέπει: k=0
και έτσι το σύνολο των συναρτήσεων f προσδιορίζεται από την:
f(x)=f(1) , x \in \mathbb{N} και f(1) κάποιον θετικό ακέραιο.


Κώστας Σερίφης

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

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

#13

Μη αναγνωσμένη δημοσίευση από Demetres » Τρί Σεπ 01, 2009 11:27 am

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

Ας υποθέσουμε πως η f δεν είναι σταθερή. Έστω f(x) < f(y). Τότε (x+y)f(x^2+y^2) = xf(y) + yf(x) > (x+y)f(x) και (x+y)f(x^2+y^2) = xf(y) + yf(x) < (x+y)f(y). Άρα υπάρχει y_1 >x,y ώστε f(x) < f(y_1) < f(y). Ομοίως υπάρχει y_2>y_1>x ώστε f(x) < f(y_2) < f(y_1) < f(y) κτλ. Αυτή η διαδικασία όμως δεν μπορεί να συνεχιστεί επ'άπειρο αφού η f παίρνει τιμές στο \mathbb{N}.



k-ser
Δημοσιεύσεις: 870
Εγγραφή: Σάβ Δεκ 20, 2008 10:22 am
Τοποθεσία: Μουζάκι Καρδίτσας
Επικοινωνία:

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

#14

Μη αναγνωσμένη δημοσίευση από k-ser » Τρί Σεπ 01, 2009 1:39 pm

Δημήτρη, πολύ καλή απόδειξη: Μεταξύ δύο διαφορετικών τιμών της f , f(x), f(y), υπάρχει πάντα η f(x^2+y^2) και συνεπώς θα υπάρχουν άπειρες τιμές - πράγμα αδύνατο αν f(x), f(y) \in \mathbb{N}.
Μάλιστα!


Κώστας Σερίφης

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

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

#15

Μη αναγνωσμένη δημοσίευση από socrates » Τετ Σεπ 02, 2009 12:51 pm

Να μια ακόμα, που βασίζεται κι αυτή στην ιδέα του Δημήτρη και μου άρεσε.

Να βρεθούν όλες οι συναρτήσεις f:\mathbb{N} \rightarrow \mathbb{N} τέτοιες ώστε 2f(n+3)f(n+2)=f(n+1)+f(n)+1, \forall n \in \mathbb{N}.


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

Ilias_Zad
Δημοσιεύσεις: 417
Εγγραφή: Δευ Ιαν 26, 2009 11:44 pm

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

#16

Μη αναγνωσμένη δημοσίευση από Ilias_Zad » Τετ Σεπ 02, 2009 5:17 pm

Αν δεν εχω κανει λαθος βρηκα τα εξης,
Θετουμε oπου n το n+1, και εχουμε, 2f(n+4)f(n+3)=f(n+2)+f(n+1)+1
Aφαιρωντας την απο την αρχικη εχουμε,
f(n+2)-f(n)=2f(n+3)(f(n+4)-f(n+2))
Aρα, (f(n+2)-f(n))(f(n+4)-f(n+2)) \geq 0 που σημαινει οτι η διαφορα f(n+2)-f(n) εχει σταθερο προσημο για καθε n.
Eστω οτι ειναι θετικη ή μηδεν
Θεωρουμε 2 ακολουθιες a_n,b_n με συνολο αφιξεως τους φυσικους(με το μηδεν ;) )
και τις οριζουμε ως εξης,
1)a_0=f(3)-f(1), a_n=f(2n+3)-f(2n+1)
2)b_0=f(4)-f(2), b_n=f(2(n+2))-f(2(n+1))
Παρατηρουμε ομως οτι για την a_n ισχυει
a_n=2f(2n+4)a_{n+1}(1) > a_{n+1} \geq 0
Αρα θα υπαρχει m, ωστε για καθε n>m, a_n=0 και λογω της (1) a_n=0 για καθε n δηλαδη f(n)=c_1, για καθε n περιττο.
ομοια χρησιμοποιωντας την b_n, f(n)=c_2, για καθε n αρτιο.
Αντικαθιστωντας στην αρχικη ευκολα (c_1,c_2)=(1,2) ή (2,1)



Απάντηση

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

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

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