Equazioni Funzionali e Metodo Ansatz: Guida Pratica ed Esercizi Risolti

Che cos’è l’Ansatz? (O della “Scommessa Istruita”)

Se dovessimo tradurre Ansatz in termini meno accademici, useremmo l’espressione “partenza lanciata”.

Immagina di trovarti davanti a un lucchetto a combinazione di cui hai perso il codice.

Hai due strade:

1. Provare ogni singola combinazione possibile partendo da 0000 (metodo esaustivo, lentissimo).
2. Osservare i tasti più consumati e intuire che la combinazione deve contenere certi numeri, scommettendo su una sequenza plausibile.

L’Ansatz è esattamente la seconda strada. In matematica, non è un semplice “tirare a indovinare”, ma una scommessa istruita. Invece di manipolare l’equazione sperando che la soluzione appaia per magia (spesso non succede), tu guardi la struttura del problema e dici: “Questa equazione ha una faccia familiare… secondo me la soluzione è una retta” (oppure una parabola, o un’esponenziale).

Come funziona nel concreto?

Il processo si divide in tre fasi:

L’Intuizione (L’ipotesi): Osservi come interagiscono le [math]x[/math] e le [math]y[/math]. Se vedi che tutto si somma in modo pulito, ipotizzi che la funzione sia una retta: [math]f(x) = ax + b[/math].

Questo è il tuo Ansatz.

Il Test di Stress (La sostituzione): Prendi la tua ipotesi e la “monti” dentro l’equazione originale. A questo punto l’equazione funzionale smette di essere un mistero astratto e diventa un normale esercizio di algebra dove devi calcolare i valori di [math]a[/math] e [math]b[/math].

Il Verdetto:

Se trovi dei valori che rendono l’uguaglianza sempre vera (es. [math]0 = 0[/math]), hai vinto: la tua scommessa era corretta.

Se arrivi a un assurdo (es. [math]5 = 0[/math]), significa che il tuo Ansatz era troppo semplice o sbagliato.

Devi cambiare “forma” e riprovare.

Nelle equazioni funzionali spesso non esiste un procedimento standard che ti porta dalla domanda alla risposta (come succede invece con le equazioni di secondo grado o i sistemi). L’Ansatz ti permette di saltare i passaggi intermedi e andare direttamente alla fine, verificando se la tua idea regge. È il metodo preferito dai problem solver perché premia l’occhio critico e la conoscenza dei modelli, piuttosto che il calcolo meccanico.

Un esempio matematico “da bar”

Supponiamo di avere questa regola misteriosa:

[math]f(x + 1) = f(x) + 2[/math]

Sappiamo anche che [math]f(0) = 5[/math].

Cosa ci dice la logica?

Ogni volta che aumentiamo l’input [math]x[/math] di 1, il risultato della funzione aumenta di 2. Questa è la descrizione perfetta di una retta che sale con una pendenza costante.

1. Facciamo il nostro Ansatz

Scommettiamo che la soluzione sia una retta:

[math]f(x) = ax + b[/math]

2. Infiliamo l’Ansatz nell’equazione

Sostituiamo la nostra “forma” dentro la regola [math]f(x+1) = f(x) + 2[/math]:

• A sinistra ([math]f(x+1)[/math]): diventa [math]a(x+1) + b[/math]
• A destra ([math]f(x) + 2[/math]): diventa [math](ax + b) + 2[/math]

Quindi scriviamo:

[math]a(x + 1) + b = ax + b + 2[/math]

3. Risolviamo il rebus

Sviluppiamo i calcoli a sinistra:

[math]ax + a + b = ax + b + 2[/math]

Ora guardiamo i due lati. Le [math]ax[/math] si cancellano, le [math]b[/math] si cancellano. Cosa resta?

[math]a = 2[/math]

Abbiamo trovato la pendenza! Ora usiamo l’informazione extra [math]f(0) = 5[/math] per trovare [math]b[/math]:

[math]f(0) = a(0) + b = 5 \implies b = 5[/math]

Conclusione

La nostra scommessa iniziale era giusta.

La funzione misteriosa è:

[math]f(x) = 2x + 5[/math]

Perché è stato facile?

Perché invece di chiederci “Chissà quale funzione tra infinite possibilità farà mai questa cosa?”, abbiamo ristretto il campo dicendo “Proviamo con una retta”. Se l’equazione fosse stata molto più complicata, ad esempio con degli [math]x^2[/math], il nostro tentativo con la retta sarebbe fallito subito (avremmo ottenuto qualcosa di impossibile come [math]2=5[/math]), suggerendoci di provare con un Ansatz di secondo grado.

🔹 Esercizio 1 (Base)

Determinare [math]f: \mathbb{R} \to \mathbb{R}[/math] sapendo che:

[math]f(x+y)=f(x)+f(y), \quad f(1)=3[/math]

✅ Soluzione guidata

Riconoscimento: La relazione è l’equazione funzionale di Cauchy, il che suggerisce una crescita strettamente proporzionale.

Ansatz: Proviamo la forma lineare [math]f(x)=ax[/math].

Verifica: [math]a(x+y) = ax + ay[/math]. L’uguaglianza è identicamente soddisfatta su entrambi i lati.

Determinazione di [math]a[/math]:

Usiamo la condizione iniziale [math]f(1)=a(1)=3[/math], da cui deduciamo che [math]a=3[/math].

📌 Risultato: [math]f(x)=3x[/math].

Esercizio 2 (Intermedio)

Trovare tutte le funzioni [math]f: \mathbb{R} \to \mathbb{R}[/math] tali che:

[math]f(xy) = f(x)f(y) \quad \text{e} \quad f(x) = x^k \text{ per qualche } k[/math]

✅ Soluzione guidata

Riconoscimento: Questa è l’equazione funzionale base delle potenze. Il prodotto degli input si traduce nel prodotto degli output.

Ansatz: Proviamo una potenza [math]f(x) = x^n[/math].

Verifica: [math](xy)^n = x^n \cdot y^n[/math]. L’identità è verificata per ogni [math]n[/math].

Nota tecnica: Per dimostrare formalmente che solo le potenze sono soluzioni, servono ipotesi aggiuntive come la continuità o la monotonia della funzione, un dettaglio cruciale quando si passa dall’Ansatz alla dimostrazione rigorosa.

🔹 Esercizio 3 (Avanzato – Composizione Lineare)

Trovare tutte le funzioni [math]f: \mathbb{R} \to \mathbb{R}[/math] tali che:

[math]f(f(x) + y) = 2x + f(f(y) – x)[/math]

✅ Soluzione guidata

Analisi della struttura: C’è una “doppia” [math]f[/math] (funzione composta). Se [math]f[/math] fosse un polinomio di grado superiore a 1, la composizione [math]f(f(x))[/math] farebbe esplodere il grado a sinistra, rendendo impossibile bilanciare il lineare [math]2x[/math] a destra. L’Ansatz deve essere lineare.

Ansatz: Proviamo la forma completa [math]f(x) = ax + b[/math].

Sostituzione:

LHS (Sinistra):
[math]\displaystyle \begin{aligned}
f(ax + b + y) &= a(ax + b + y) + b \\
&= a^2x + ay + ab + b
\end{aligned}[/math]

RHS (Destra):
[math]\displaystyle \begin{aligned}
2x + f(ay + b – x) &= 2x + a(ay + b – x) + b \\
&= (2-a)x + a^2y + ab + b
\end{aligned}[/math]

Confronto dei coefficienti (Principio di identità dei polinomi):

• Per [math]y[/math]: [math]a = a^2 \implies a=1[/math] oppure [math]a=0[/math]. (Scartiamo [math]a=0[/math] perché, rendendo nullo il coefficiente della [math]x[/math] a sinistra, non bilancerebbe il [math]2x[/math] a destra).
• Per [math]x[/math]: [math]a^2 = 2 – a[/math]. Sostituendo [math]a=1[/math], otteniamo [math]1 = 2-1 = 1[/math]. L’identità regge perfettamente.
• Per il termine noto: i termini [math]ab+b[/math] compaiono identici su entrambi i lati e si elidono. Questo significa che [math]b[/math] è una variabile libera e può assumere il valore di qualunque costante [math]c[/math].

📌 Risultato: [math]f(x) = x + c[/math].

🔹 Esercizio 4 (Avanzato – Biforcazione delle soluzioni)

Trovare tutte le funzioni [math]f: \mathbb{R} \to \mathbb{R}[/math] tali che:

[math]f(x+f(y)) = f(x) + y[/math]

✅ Soluzione guidata

Analisi della struttura: L’input della funzione a sinistra contiene un’altra funzione applicata a [math]y[/math]. A destra abbiamo una semplice addizione con [math]y[/math]. Poiché non ci sono termini misti (come [math]xy[/math]) o potenze, ipotizziamo una forma lineare.

Ansatz: [math]f(x) = ax + b[/math].

Sostituzione e Sviluppo:

Sostituiamo [math]f(y)[/math] con [math]ay+b[/math] all’interno dell’argomento a sinistra: [math]f(x + ay + b)[/math].

Applichiamo di nuovo la regola [math]f(\text{input}) = a(\text{input}) + b[/math]:

[math]a(x + ay + b) + b = ax + a^2y + ab + b[/math].

A destra abbiamo: [math]f(x) + y = ax + b + y[/math].

Confronto: Uguagliamo i due lati:

[math]ax + a^2y + ab + b = ax + y + b[/math]

Semplifichiamo sottraendo [math]ax[/math] e [math]b[/math] da entrambi i lati:

[math]a^2y + ab = y[/math]

Sistema di coefficienti:

• Per [math]y[/math]: [math]a^2 = 1 \implies a=1[/math] oppure [math]a=-1[/math].
• Per i termini noti (costanti rispetto a [math]x, y[/math]): [math]ab = 0[/math].

Analisi dei casi (Biforcazione):

• Caso 1: Se [math]a = 1[/math], allora [math]1 \cdot b = 0 \implies b = 0[/math]. La funzione è [math]f(x) = x[/math].
• Caso 2: Se [math]a = -1[/math], allora [math]-1 \cdot b = 0 \implies b = 0[/math]. La funzione è [math]f(x) = -x[/math].

Commento Applicativo: Questo esercizio è un classico perché dimostra che un singolo Ansatz può generare un “bivio” algebrico, restituendo molteplici funzioni valide. Entrambe le soluzioni sono involuzioni (applicare la funzione due volte riporta allo stato di partenza).

📌 Risultati: [math]f(x) = x[/math] e [math]f(x) = -x[/math].

🔹 Esercizio 5 (Avanzato – Salto di Grado)

Trovare tutte le funzioni polinomiali [math]f: \mathbb{R} \to \mathbb{R}[/math] tali che:

[math]f(x+y) + f(x-y) = 2f(x) + 2y^2[/math]

✅ Soluzione guidata

Analisi della struttura: A differenza dei casi precedenti, a destra compare un termine esplicito di secondo grado ([math]2y^2[/math]). Un Ansatz lineare [math]ax+b[/math] è destinato a fallire perché non genererà mai termini al quadrato da confrontare con il lato destro. Dobbiamo “alzare il tiro”.

Ansatz: Proviamo un polinomio generico di secondo grado: [math]f(x) = ax^2 + bx + c[/math].

Sviluppo del lato Sinistro (LHS):
[math]f(x+y) = a(x+y)^2 + b(x+y) + c = a(x^2 + 2xy + y^2) + bx + by + c[/math]
[math]f(x-y) = a(x-y)^2 + b(x-y) + c = a(x^2 – 2xy + y^2) + bx – by + c[/math]

Sommandoli, i termini con [math]2xy[/math] e [math]by[/math] si annullano per simmetria:

[math]\text{LHS} = 2ax^2 + 2ay^2 + 2bx + 2c[/math]

Sviluppo del lato Destro (RHS):
[math]\text{RHS} = 2(ax^2 + bx + c) + 2y^2 = 2ax^2 + 2bx + 2c + 2y^2[/math]

Confronto:
Uguagliamo i due lati:
[math]2ax^2 + 2ay^2 + 2bx + 2c = 2ax^2 + 2bx + 2c + 2y^2[/math]

Eliminando i termini identici da ambo le parti ([math]2ax^2, 2bx, 2c[/math]), ci resta solo:
[math]2ay^2 = 2y^2 \implies a = 1[/math]

E i termini [math]b[/math] e [math]c[/math]? Avendoli semplificati, significa che l’uguaglianza regge indipendentemente dal loro valore. Sono variabili libere.

Commento Applicativo: Questo problema mostra come le simmetrie (la somma di [math]x+y[/math] e [math]x-y[/math]) facciano collassare i termini dispari, lasciando intatti solo quelli pari. È lo stesso principio fisico alla base delle equazioni d’onda e dei filtri di segnale.

📌 Risultato: [math]f(x) = x^2 + bx + c[/math] (dove [math]b, c[/math] sono costanti reali arbitrarie).

Lista Operativa: Forme da riconoscere al volo

Nelle competizioni matematiche o nei test di pre-selezione aziendale quantitativa, il tempo è una metrica di sopravvivenza. Ecco le forme standard e l’Ansatz corrispondente da tentare come prima mossa:

Regole d’ingaggio e limiti della tecnica

Prima di buttarti sui calcoli, tieni a mente questi protocolli per evitare di girare a vuoto:

• Testa il “Ground Zero”: Prima ancora di tentare un Ansatz, imponi sempre [math]x=0, y=0[/math] oppure [math]x=1, y=1[/math]. Nelle gare a squadre, i primi minuti si passano a testare i valori zero. Chi prova subito un Ansatz complicato senza prima aver trovato valori costanti utili, di solito si blocca contro equazioni irrisolvibili.
• Attenzione alla finta unicità: L’Ansatz è un metodo euristico. Ti fornisce una soluzione (condizione sufficiente), ma non dimostra che sia l’unica possibile. Per blindare il risultato serve dimostrare a monte proprietà accessorie, come la continuità della funzione, la monotonia o l’iniettività ([math]f(x)=f(y) \implies x=y[/math]).
• Adatta il grado: Come visto nell’Esercizio 5, se i termini esterni alla funzione hanno grado [math]N[/math], l’Ansatz deve solitamente essere un polinomio di grado perlomeno [math]N[/math]. Se l’approccio lineare sbatte contro asimmetrie costanti, prova il polinomio di secondo grado.