Equazione funzionale di Cauchy

Da Wikipedia, l'enciclopedia libera.

L'equazione funzionale di Cauchy è una delle equazioni funzionali più semplici, sebbene la sua soluzione nel dominio dei numeri reali sia molto più complessa. L'equazione è la seguente:

Una funzione che soddisfa l'equazione precedente è detta additiva.

Nei numeri razionali, si può dimostrare con semplici passaggi di algebra elementare che f(x) = cx dove . Affinché questa sia l'unica soluzione nei numeri reali, è necessario aggiungere altre condizioni. Per esempio, una qualunque delle seguenti condizioni è sufficiente:

• f(x) è continua (dimostrato da Cauchy nel 1821). Questa condizione fu migliorata nel 1875 da Darboux, che dimostrò che è sufficiente che la funzione sia continua in un solo punto.
• f(x) è monotona (almeno in un intervallo).
• f(x) è limitata superiormente o inferiormente in un intervallo.

D'altronde, se non viene imposta nessuna condizione aggiuntiva, esistono infinite altre funzioni che soddisfano l'equazione. Ciò fu dimostrato nel 1905 da Georg Hamel usando le basi di Hamel. Il quinto problema di Hilbert è una generalizzazione di questa equazione.

Indice 1 Dimostrazione della soluzione sui numeri razionali 2 Equazioni analoghe 2.1 f(x + y) = f(x)f(y) 2.2 f(xy) = f(x) + f(y) 2.3 f(xy) = f(x)f(y) 3 Collegamenti esterni 4 Bibliografia

[modifica] Dimostrazione della soluzione sui numeri razionali

• Osserviamo che

  

  

  

  

• Poniamo Si ottiene:

  

• Notiamo anche che:

  

  (come sopra)

  

• Combinando i due risultati precedenti:

  

  

  

• Per a = 1 e ponendo , allora

  

• Infine, poiché la dimostrazione precedente è valida solo per i razionali positivi, notiamo che ponendo y = − x nell'equazione funzionale originaria, si ottiene:

  

• Ma ponendo x = y = 0 si ricava che

  ossia f(x) è dispari.

• Di conseguenza, per ogni

Si verifica facilmente, d'altronde, che tutte le funzioni di questa forma soddisfano effettivamente l'equazione iniziale. Vale infatti l'identità:

c(x + y) = cx + cy

[modifica] Equazioni analoghe

Altre tre equazioni simili alla precedente vengono talvolta chiamate equazioni di Cauchy, poiché è possibile ricondurle ad essa con opportune manipolazioni. Anche per queste equazioni esistono delle soluzioni esprimibili in forma semplice, ma sono necessarie delle assunzioni aggiuntive (come quelle elencate prima) per risolverle completamente. Nei paragrafi che seguono assumeremo la continuità.

[modifica] f(x + y) = f(x)f(y)

Se esiste a tale che f(a) = 0, allora, ponendo y = a, si ottiene f(x + a) = f(x)f(a) = 0, e, dunque, f(x) = 0 per ogni x, che è una soluzione dell'equazione. In tutti gli altri casi, deve valere per ogni x. Inoltre, ponendo , si ottiene che per ogni t. Prendendo il logaritmo di entrambi i membri dell'equazione, si ottiene:

lnf(x + y) = lnf(x) + lnf(y)

Cioè, posto lnf(x) = g(x):

g(x + y) = g(x) + g(y)

che, per l'ipotesi della continuità, è risolta da g(x) = cx, e quindi

f(x) = e^cx

[modifica] f(xy) = f(x) + f(y)

Posto x = e^u, y = e^v, f(e^x) = g(u), l'equazione diventa f(e^{u + v}) = f(e^u) + f(e^v), ossia g(u + v) = g(u) + g(v), quindi g(x) = cx e, infine, f(x) = clnx.

[modifica] f(xy) = f(x)f(y)

Se ci limitiamo a x,y > 0, allora, ponendo x = e^u, y = e^v, f(e^u) = g(u) otteniamo: f(e^{u + v}) = f(e^u)f(e^v), ossia g(u + v) = g(u)g(v) che, per quanto visto precedentemente, ha l'unica soluzione continua g(u) = e^cu e quindi f(x) = f(e^u) = g(u) = (e^u)^c = x^c, oltre alla soluzione banale in cui f(x) = 0 per ogni x.

Se vogliamo risolvere l'equazione per ogni x / neq0, y / neq0, allora con le due sostituzioni x = y = t e x = y = − t (con t > 0) si ricava f(t²) = f²(t) e f(t²) = f²( − t), da cui f²(t) = f²( − t) per ogni t. Allora, per ogni scelta di t, deve valere f( − t) = f(t) = t^c oppure f( − t) = − f(t) = − t^c (oltre, anche qui, al caso banale in cui f(x) = 0 per ogni x). Supponendo la continuità, le soluzioni sono:

.

dove sgnx indica la funzione segno, uguale a −1 per x < 0, ad 1 per x > 0.

[modifica] Collegamenti esterni

• (EN) Cauchy Functional Equation - La pagina di MathWorld sull'equazione funzionale di Cauchy.
• (EN) The Cauchy equation - Dall'University of New Brunswick.

[modifica] Bibliografia

• A. Engel, Problem-Solving Strategies, Springer, New York, 1999, ISBN 0387982191