Ζεύγος!

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

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

Ζεύγος!

#1

Μη αναγνωσμένη δημοσίευση από socrates » Σάβ Σεπ 27, 2014 1:32 am

-- Να προσδιορίσετε όλες τις συναρτήσεις f: \mathbb{R} \rightarrow \mathbb{R} τέτοιες, ώστε

\displaystyle{ f(xy+f(x))=f(x)f(y)+x ,\ \ \ \forall x,y\in\mathbb{R}. }



-- Να προσδιορίσετε όλες τις συναρτήσεις f: \mathbb{R}^+ \rightarrow \mathbb{R}^+ τέτοιες, ώστε

\displaystyle{ f(xy+f(x))=f(x)f(y)+x ,\ \ \ \forall x,y\in\mathbb{R}^+. }


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

Re: Ζεύγος!

#2

Μη αναγνωσμένη δημοσίευση από socrates » Τετ Οκτ 15, 2014 5:09 pm

socrates έγραψε:-- Να προσδιορίσετε όλες τις συναρτήσεις f: \mathbb{R} \rightarrow \mathbb{R} τέτοιες, ώστε

\displaystyle{ f(xy+f(x))=f(x)f(y)+x ,\ \ \ \forall x,y\in\mathbb{R}. }
Λύση (από τον pco):
http://www.artofproblemsolving.com/Foru ... 8&t=607692


Θανάσης Κοντογεώργης
Petros N.
Δημοσιεύσεις: 86
Εγγραφή: Σάβ Ιούλ 14, 2012 8:15 pm

Re: Ζεύγος!

#3

Μη αναγνωσμένη δημοσίευση από Petros N. » Πέμ Οκτ 16, 2014 8:11 pm

Για το R^{+}

Έστω ότι υπάρχει k θετικό με f(k)<k τότε θέτοντας \displaystyle y= \frac{k-f(k)}{k} έχουμε:
\displaystyle f(k)=f(k)f(\frac{k-f(k)}{k})+k>k, άτοπο. Άρα για κάθε θετικό x ισχύει f(x) \geq x.

Εφαρμόζοντας την τελευταία στην δοσμένη σχέση προκύπτει ότι: \displaystyle x+f(x)f(y) \geq xy +f(x) \implies f(y)-1 \geq \frac{x}{f(x)}(y-1), (1)
\displaystyle f(x) \geq x \implies 1 \geq \frac{x}{f(x)}, (2)

Έστω ότι υπάρχει \displaystyle x_0 με \frac{x_0}{f(x_0)}=m<1 \implies 1-m>0. Θέτοντας στην (1) x=x_0 γίνεται
\displaystyle f(y) \geq my-m+1>1-m \implies 0< \frac{y}{f(y)}< \frac{y}{1-m}.
Παίρνοντας στην τελευταία όριο στο 0 απο τα θετικά λόγω του κριτηρίου παρεμβολής ισχύει:
\displaystyle \lim_{x \rightarrow 0^{+}} \frac{y}{f(y)}=0.
Λαμβάνοντας όριο στο 0 απο τα θετικα για το x στην (1) έχουμε
f(y) \geq 1 , \forall y>0 \implies f(\frac{1}{2}) \geq 1. Όμως θέτοντας στην αρχική x= \frac{1}{2} , y=2f(\frac{1}{2}) έχουμε ότι:
f(2f(\frac{1}{2}))=f(2f(\frac{1}{2}))f(\frac{1}{2})+\frac{1}{2} \geq f(2f(\frac{1}{2}))+ \frac{1}{2} \implies 0 \geq 1/2, άτοπο

Άρα για κάθε x ισχύει \frac{x}{f(x)} \geq 1 που σε συνδυασμό με την (2) παίρνουμε μοναδική λύση την f(x)=x


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

Re: Ζεύγος!

#4

Μη αναγνωσμένη δημοσίευση από socrates » Παρ Οκτ 17, 2014 12:10 am

Petros N. έγραψε:Για το R^{+}

Έστω ότι υπάρχει k θετικό με f(k)<k τότε θέτοντας \displaystyle y= \frac{k-f(k)}{k} έχουμε:
\displaystyle f(k)=f(k)f(\frac{k-f(k)}{k})+k>k, άτοπο. Άρα για κάθε θετικό x ισχύει f(x) \geq x.

Εφαρμόζοντας την τελευταία στην δοσμένη σχέση προκύπτει ότι: \displaystyle x+f(x)f(y) \geq xy +f(x) \implies f(y)-1 \geq \frac{x}{f(x)}(y-1), (1)
\displaystyle f(x) \geq x \implies 1 \geq \frac{x}{f(x)}, (2)

Έστω ότι υπάρχει \displaystyle x_0 με \frac{x_0}{f(x_0)}=m<1 \implies 1-m>0. Θέτοντας στην (1) x=x_0 γίνεται
\displaystyle f(y) \geq my-m+1>1-m \implies 0< \frac{y}{f(y)}< \frac{y}{1-m}.
Παίρνοντας στην τελευταία όριο στο 0 απο τα θετικά λόγω του κριτηρίου παρεμβολής ισχύει:
\displaystyle \lim_{x \rightarrow 0^{+}} \frac{y}{f(y)}=0.
Λαμβάνοντας όριο στο 0 απο τα θετικα για το x στην (1) έχουμε
f(y) \geq 1 , \forall y>0 \implies f(\frac{1}{2}) \geq 1. Όμως θέτοντας στην αρχική x= \frac{1}{2} , y=2f(\frac{1}{2}) έχουμε ότι:
f(2f(\frac{1}{2}))=f(2f(\frac{1}{2}))f(\frac{1}{2})+\frac{1}{2} \geq f(2f(\frac{1}{2}))+ \frac{1}{2} \implies 0 \geq 1/2, άτοπο

Άρα για κάθε x ισχύει \frac{x}{f(x)} \geq 1 που σε συνδυασμό με την (2) παίρνουμε μοναδική λύση την f(x)=x

Πέτρο, εξαιρετικά! :coolspeak:
Είναι μία από τις αγαπημένες μου δημιουργίες! Ακολουθεί και η (μακροσκελής...) λύση μου.. :)


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

Re: Ζεύγος!

#5

Μη αναγνωσμένη δημοσίευση από socrates » Παρ Οκτ 17, 2014 12:13 am

socrates έγραψε:-- Να προσδιορίσετε όλες τις συναρτήσεις f: \mathbb{R}^+ \rightarrow \mathbb{R}^+ τέτοιες, ώστε

\displaystyle{ f(xy+f(x))=f(x)f(y)+x ,\ \ \ \forall x,y\in\mathbb{R}^+. }

α) \displaystyle{f(x)\geq x,} για κάθε x>0.

Αν υπάρχει a>0 με a>f(a), τότε για \displaystyle{x=a, \ y=\frac{a-f(a)}{a}} έχουμε

\displaystyle{f(a)=f(a)f\left(\frac{a-f(a)}{a}\right)+a>a} δηλαδή f(a)>a, άτοπο αφού υποθέσαμε ότι a>f(a).

Επομένως, \displaystyle{f(x)\geq x,} για κάθε x>0.


β) \displaystyle{f(x)< 1,} για κάθε x<1.

Έστω a<1. Θέτοντας στην αρχική \displaystyle{x=a, \ y=\frac{f(a)}{1-a}} έχουμε

\displaystyle{f\left(\frac{f(a)}{1-a}\right)(1-f(a))=a} οπότε f(a)<1.

Το a<1 ήταν αυθαίρετο οπότε \displaystyle{f(x)< 1,} για κάθε x<1.


γ) Η f είναι αύξουσα.

Έστω ότι υπάρχουν 0<x_2<x_1 με f(x_1)<f(x_2).

Θέτουμε \displaystyle{y=\frac{f(x_2)-f(x_1)}{x_1-x_2}} οπότε \displaystyle{x_1y+f(x_1)=x_2y+f(x_2)} και άρα

\displaystyle{f(x_1y+f(x_1))=f(x_2y+f(x_2))} ή \displaystyle{f(x_1)f(y)+x_1=f(x_2)f(y)+x_2} ή

\displaystyle{f(y)=\frac{x_1-x_2}{f(x_2)-f(x_1)}=\frac{1}{y},} δηλαδή υπάρχει b>0 με \displaystyle{f(b)=\frac{1}{b}.}

Όμως, f(b)\geq b οπότε b\leq 1.

Αν b<1 τότε (από το β)) f(b)<1 ή \displaystyle{\frac{1}{b}<1} ή b>1, άτοπο.

Επομένως, b=1 που σημαίνει ότι f(1)=1.


Για x=1 από την αρχική έχουμε f(y+1)=f(y)+1 και επαγωγικά \displaystyle{f(y+n)=f(y)+n} για κάθε θετικό ακέραιο n.

Για y:=y+1 η αρχική γίνεται \displaystyle{f(xy+x+f(x))=f(x)f(y)+f(x)+x=f(x)+f(xy+f(x)).}

Θέτοντας στην τελευταία \displaystyle{y:=\frac{y-f(x)}{x}} έχουμε

f(y+x)=f(x)+f(y) \ (*), για κάθε x,y>0 με \displaystyle{y>f(x).}

Θα δείξουμε ότι η (*) ισχύει για κάθε x,y>0.

Επιλέγουμε θετικό ακέραιο n με \displaystyle{y+n>f(x).}

Είναι \displaystyle{f(y+x)=f(y+n+x)-n=f(y+n)+f(x)-n=f(y)+f(x),} για κάθε x,y>0.

Όμως, αφού f(x)>0, από την τελευταία σχέση, η f είναι γν. αύξουσα, οπότε δεν είναι δυνατόν να υπάρχουν 0<x_2<x_1 με f(x_1)<f(x_2).

Επομένως, για κάθε 0<x_2<x_1 ισχύει f(x_2)\leq f(x_1), δηλαδή η f είναι αύξουσα.


δ) \displaystyle{\lim_{x\to 0}f(x)=0}

Εφόσον η f είναι μονότονη το όριο \displaystyle{L=\lim_{x\to 0}f(x)} υπάρχει.

Από το α) και την αρχική έχουμε \displaystyle{f(x)f(y)+x\geq xy+f(x)} οπότε \displaystyle{f^2(x)+x\geq x^2+f(x).

Παίρνοντας x\to 0 στην τελευταία, έχουμε \displaystyle{L^2\geq L} οπότε L\leq 0 ή \displaystyle{L\geq 1.}

Αν L\geq 1 τότε \displaystyle{f(x)>L\geq 1,} για κάθε x, άτοπο από το β).

Συνεπώς, L\leq 0. Όμως, αφού f(x)>0 , θα είναι L\geq 0 και τελικά L=0.


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

Παίρνοντας y\to 0 στην f(x)f(y)+x\geq xy+f(x) προκύπτει f(x)\leq x.

Έχουμε, λοιπόν, x\leq f(x)\leq x, για κάθε x>0, δηλαδή f(x)=x, για κάθε x>0.


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

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

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

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