[Analisi] $f(x)$ costante

[dan95]

Sia $f: RR \mapsto RR$ una funzione continua tale che $$f(x)=f(x^2)$$
Dimostrare che $f$ è costante.

[.Ruben.]

$f(x^2)=f(x)=f(x^{1/2})=f(x^{1/4})=...=f(x^{1/2^n})=...=f(1)$ che é costante

[dan95]

Perché $f(2x)=f(x)$?
Possiamo dire che $f(x^{1/2^n})=f(0)$?! No (a meno che $x=0$ chiaramente)...

Hint:

Testo nascosto, fai click qui per vederlo

Usare la definizione di continuità nei punti $x=0$ e $x=1$.

[.Ruben.]

Perché $f(2x)=f(x)$?

Era un typo

Ed era(dovrebbe essere usando la continuità) =f(1) perché ero molto distratto

[dan95]

Sì ok così dimostri grossolanamente che è costante in $[1,+\infty)$, ti manca $[0,1)$

P.s. le soluzioni in spoiler...

[.Ruben.]

Testo nascosto, fai click qui per vederlo

Per $x \in [1; + \infty):$
$f(x^2)=f(x)=f(\sqrt{x})=...=f(x^{1/2^n})=...=f(\lim_{n \to +infty} x^{1/2^n})=\lim_{x \to 1} f(x) = f(1)$
Per $x \in [0; 1):$
$f(x)=f(x^2)=f(x^4)=...=f(x^{2^n})=...=f(\lim_{n \to +infty} x^{2^n})=\lim_{x \to 0} f(x) = f(0)$

Dato che per $x \geq 0$ la funzione è costante, allora è costante anche per tutti i reali negativi, dal momento che essa è indubbiamente una funzione pari.

[dan95]

S-P-O-I-L-E-R

Altra soluzione più lunga

Testo nascosto, fai click qui per vederlo

Prendiamo $x,y \in [1,+\infty)$ consideriamo le successioni $x_n=\root[2^n]{x}$ e $y_n=\root[2^n]{y}$, per la continuità di $f$ in $1$ abbiamo che $\forall \varepsilon>0$, $\exists N \in NN$ (opportuno) tale che $|f(x_n)-f(1)|<\varepsilon$ e $|f(y_n)-f(1)|<\varepsilon$ per ogni $n\geq N$, da cui usando la disuguaglianza triangolare e l'ipotesi su $f$ risulta
$|f(y_n)-f(1)+f(1)-f(x_n)|=|f(y_n)-f(x_n)|=|f(y)-f(x)| \leq |f(x_n)-f(1)|+|f(y_n)-f(1)|<\varepsilon$
Dal l'arbitrarietà di $\varepsilon$ segue la tesi. Procedimento analogo per $x,y \in [0,1)$.

[sandroroma]

Testo nascosto, fai click qui per vederlo

Peccato che la f(x) non sia anche derivabile in R. Se lo fosse, derivando la relazione rispetto ad x, si avrebbe :
$f'(x)=2x*f'(x)$
Da qui, escludendo il caso $x=1/2 $ perché x è variabile in tutto R, si otterrebbe:
$f'(x)=0$ e quind $f(x)=C$
Peccato, veramente!

[dan95]

Dimostra che è derivabile se ci riesci

[kobeilprofeta]

Testo nascosto, fai click qui per vederlo

Peccato che la f(x) non sia anche derivabile in R. Se lo fosse, derivando la relazione rispetto ad x, si avrebbe :
$f'(x)=2x*f'(x)$
Da qui, escludendo il caso $x=1/2 $ perché x è variabile in tutto R, si otterrebbe:
$f'(x)=0$ e quind $f(x)=C$
Peccato, veramente!

Ma non sarebbe $f'(x)=2x*f'(x^2)$ ??