Equazione funzionale di Cauchy

L'equazione funzionale di Cauchy è l'equazione funzionale:

Una funzione che soddisfa la suddetta equazione è definita additiva.

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

  • è 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.
  • è monotona (almeno in un intervallo).
  • è 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.

Dimostrazione della soluzione sui numeri razionaliModifica

  • Si osserva che
     
     
     
     
  • Si ponga  . Si ottiene:
     
  • Si nota anche che:
     
      (come sopra)
     
  • Combinando i due risultati precedenti:
     
     
     
  • Per   e ponendo  , con  , allora:
     
  • Infine, poiché la dimostrazione precedente è valida solo per i razionali positivi, si nota che ponendo   nell'equazione funzionale originaria, si ottiene:
     
  • Ma ponendo   si ricava che  , e quindi  , ossia   è 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à:

 

Equazioni analogheModifica

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à.

Equazione  Modifica

Se esiste   tale che  , allora, ponendo  , si ottiene  , e, dunque,   per ogni  , che è una soluzione dell'equazione. In tutti gli altri casi, deve valere   per ogni  . Inoltre, ponendo  , si ottiene che   per ogni  . Prendendo il logaritmo di entrambi i membri dell'equazione, si ottiene:

 

Cioè, posto  :

 

che, per l'ipotesi della continuità, è risolta da  , e quindi:

 

Equazione  Modifica

Posto  ,  ,  , l'equazione diventa:

 

ossia:

 

quindi   e, infine,  .

Equazione  Modifica

Se ci si limita a  , allora, ponendo  ,  ,   si ottiene:  , ossia   che, per quanto visto precedentemente, ha l'unica soluzione continua   e quindi  , oltre alla soluzione banale in cui   per ogni  .

Se si vuole risolvere l'equazione per ogni  ,  , allora con le due sostituzioni   e   (con  ) si ricava   e  , da cui   per ogni  . Allora, per ogni scelta di  , deve valere   oppure   (oltre, anche qui, al caso banale in cui   per ogni  ). Supponendo la continuità, le soluzioni sono:

 
 
 

dove   indica la funzione segno, uguale a   per  , a   per  .

BibliografiaModifica

  • A. Engel, Problem-Solving Strategies, Springer, New York, 1999, ISBN 0387982191
  • M. Kuczma, A survey of the theory of functional equations, Univ. Beograd. Publ. Elektrotchn. Fak. Ser. Mat. Fiz. 130 (1964), 64 pp. versione online

Voci correlateModifica

Collegamenti esterniModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica