Funzionale sugli interi

Messaggioda Gi8 » 06/09/2018, 10:50

Trovare tutte le funzioni \(\displaystyle f : \mathbb{Z} \to \mathbb{Z} \) tali che
\[ f \left(x - f(y) \right) = f\left( f(x) \right) - f (y) -1 \qquad \forall x, y \in \mathbb{Z} \]
Gi8
Cannot live without
Cannot live without
 
Messaggio: 5020 di 9559
Iscritto il: 18/02/2010, 20:20

Re: Funzionale sugli interi

Messaggioda giammaria » 09/09/2018, 18:10

Testo nascosto, fai click qui per vederlo
Se $f(x)$ è la costante $k$ l'equazione diventa
$k=k-k-1" "->" " k=-1$
e quindi la prima soluzione è $f(x)=-1$

Se invece $f(x)$ non è costante allora, posto
$u=x-f(y)" "->" "f(y)=x-u$
notiamo che $u$ varia al variare di $y$, anche se $x$ resta immutata; $u$ è quindi una variabile che può sostituire $y$. L'equazione diventa allora
$f(u)=f(f(x))-x+u-1$
Indicando con $a$ ciò che non dipende da $u$, cioè ponendo
$a=f(f(x))-x-1$
abbiamo $f(u)=u+a$. Quindi $f(f(x))=f(x+a)=x+a+a=x+2a$ e la formula precedente diventa
$a=x+2a-x-1->a=1$
Si ha quindi la soluzione $f(x)=x+1$

Ma forse sbaglio, dato che il titolo è "Funzionale sugli interi", mentre la mia soluzione vale per tutti i reali.
- Indicando i metri con m e i centimetri con cm, si ha m=100 cm. Quindi 5 centimetri equivalgono a metri m=100*5=500.
- E' disonesto che un disonesto si comporti in modo onesto (R. Powell)
giammaria
Cannot live without
Cannot live without
 
Messaggio: 4928 di 9469
Iscritto il: 29/12/2008, 22:19
Località: provincia di Asti

Messaggioda Gi8 » 09/09/2018, 19:20

Testo nascosto, fai click qui per vederlo
In generale non sappiamo che $f$ è suriettiva. Quindi non possiamo dire che $u$ assume necessariamente tutti i valori in $ZZ$
Gi8
Cannot live without
Cannot live without
 
Messaggio: 5021 di 9559
Iscritto il: 18/02/2010, 20:20

Re: Funzionale sugli interi

Messaggioda giammaria » 11/09/2018, 15:15

Hai ragione. ma non riesco a trovare la soluzione. Un hint?
Riporto due miei approcci, con relative critiche.

Approccio 1
Dall'equazione data deduco (per ora, lasciamo perdere come) che, a parte la soluzione costante, esiste un intero $h!=0$ tale che per ogni $u$ vale la formula
$f(u+h)=f(u)+h$
Questo però dimostra solo che si ha quello che potremmo chiamare una simil-periodicità, sul tipo di quella che, con $h=2pi$, si ha per la funzione $f(x)=x+2sin x$

Approccio 2
Le uniche funzioni "solite" che trasformano qualsiasi intero in un intero sono i polinomi a coefficienti interi, e con questa ipotesi si conclude facilmente. Però la funzione da trovare potrebbe anche essere "insolita", ad esempio con doppia definizione.
- Indicando i metri con m e i centimetri con cm, si ha m=100 cm. Quindi 5 centimetri equivalgono a metri m=100*5=500.
- E' disonesto che un disonesto si comporti in modo onesto (R. Powell)
giammaria
Cannot live without
Cannot live without
 
Messaggio: 4931 di 9469
Iscritto il: 29/12/2008, 22:19
Località: provincia di Asti

Messaggioda Gi8 » 11/09/2018, 16:58

Hint:
Testo nascosto, fai click qui per vederlo
1) $EE a in ZZ$ tale che $f(a)= -1$
2) $y=a => ...$
Gi8
Cannot live without
Cannot live without
 
Messaggio: 5022 di 9559
Iscritto il: 18/02/2010, 20:20

Re: Funzionale sugli interi

Messaggioda dan95 » 11/09/2018, 18:41

@Giammaria

Metti in spoiler... Comunque sto usando il tuo primo approccio e

Testo nascosto, fai click qui per vederlo
Si deduce che più valori distinti assume $f(x)$ più periodi ha, da qui si deduce (in qualche modo) che o è costante o è iniettiva.
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 2363 di 5268
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Re: Funzionale sugli interi

Messaggioda giammaria » 12/09/2018, 07:30

Non ho messo in spoiler perché si trattava solo di approcci (falliti) e non di una soluzione.
La simbologia matematica non è il mio forte e quindi forse sbaglio, ma secondo la mia interpretazione, se ho $y=f(x)$, la scritta $f:ZZ->ZZ$ significa che l'insieme delle $x$ è l'intero $ZZ$ e l'insieme delle $y$ appartiene a $ZZ$, ma può anche essere solo una sua parte.
Testo nascosto, fai click qui per vederlo
Non c' quindi nessuna garanzia che esista una $a$ per cui $f(a)=-1$ (hint di Gi8) e nemmeno che $f(x)$ possa assumere più di due valori distinti (hint di dan95).
Se sbaglio ed anche l'insieme delle $y$ coincide con $ZZ$, allora va bene la mia prima risposta.
- Indicando i metri con m e i centimetri con cm, si ha m=100 cm. Quindi 5 centimetri equivalgono a metri m=100*5=500.
- E' disonesto che un disonesto si comporti in modo onesto (R. Powell)
giammaria
Cannot live without
Cannot live without
 
Messaggio: 4932 di 9469
Iscritto il: 29/12/2008, 22:19
Località: provincia di Asti

Re: Funzionale sugli interi

Messaggioda dan95 » 12/09/2018, 09:53

@Giammaria

Testo nascosto, fai click qui per vederlo
Se sostituisci $y=f(x)$ all'equazione funzionale ottieni

$f(x-f(f(x)))=-1$

per ogni $x \in \mathbb{Z}$, quindi questo garantisce l'esistenza di almeno un intero. Sempre se ho capito quello che intendi.


Mostro fin dove sono arrivato usando il tuo primo approccio.

Abbiamo dimostrato che esiste $a \in \mathbb{Z}$ tale che $f(a)=-1$, ora sostituendo $x=a$ e $y=a$ otteniamo

$f(a+1)=f(-1)$

Ora se $f(-1)=-1$ allora la funzione è costante, infatti se si sostituisce $x=a+k$ e $y=a$, con $k \geq 1$ otteniamo $f(a+k)=-1$, sia $b < a$, consideriamo $k=f(b)$ abbiamo che

$f(a-k)=-k-2$

Ora se $k<0$ allora $k=-1$, altrimenti se $k>0$ sostituendo $a \rightarrow a+k$ otteniamo

$f(a)=-k-2=-1$

Da cui sempre $k=-1$. Quindi $f(b)=-1$ per ogni $b<a$, in definitiva $f(x)=-1$.

Quindi supponiamo $f(-1) \ne -1$ e sia $k=f(-1)$ allora

$f(x)+m=f(x+m)$

Dove $m=k+1$. Definiamo $g(x):=x-f(x)$, risulta

$g(x)=g(x+m)$

Dunque $g(x)$ può assumere al più $|m|$ valori distinti cioè $g(0), \cdots, g(|m|-1)$, quindi $f(x)=x-g(x \mod m)$. Qua mi fermo...
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 2364 di 5268
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Re: Funzionale sugli interi

Messaggioda giammaria » 12/09/2018, 15:08

Grazie, la tua prima formula è proprio il pezzo che mi mancava. Con quello, anche il suggerimento di Gi8 va bene.
- Indicando i metri con m e i centimetri con cm, si ha m=100 cm. Quindi 5 centimetri equivalgono a metri m=100*5=500.
- E' disonesto che un disonesto si comporti in modo onesto (R. Powell)
giammaria
Cannot live without
Cannot live without
 
Messaggio: 4933 di 9469
Iscritto il: 29/12/2008, 22:19
Località: provincia di Asti

Re: Funzionale sugli interi

Messaggioda dan95 » 15/09/2018, 21:36

@Gi8

Potresti "hintare" ancora un po'...
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 2373 di 5268
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Prossimo

Torna a Scervelliamoci un po'

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite