Équation fonctionnelle de Cauchy

Soit f une solution.

• Alors, f est un endomorphisme de groupe abélien c'est-à-dire de ℤ-module, donc${\displaystyle \forall n\in \mathbb {Z} \quad \forall v\in \mathbb {R} \quad f(nv)=nf(v).}$
• On en déduit que f est ℚ-linéaire, c'est-à-dire vérifie (en plus de l'additivité) :${\displaystyle \forall r\in \mathbb {Q} \quad \forall v\in \mathbb {R} \quad f(rv)=rf(v).}$En effet, tout rationnel r est de la forme ^p⁄_q avec p et q entiers et q non nul, ce qui permet d'écrire : q f(rv) = f(qrv) = f(pv) = p f(v), donc f(rv) = p/q f(v) = r f(v).

• Une solution f est ℝ-linéaire si elle vérifie :${\displaystyle \forall x\in \mathbb {R} \quad \forall v\in \mathbb {R} \quad f(xv)=xf(v).}$Les solutions ℝ-linéaires sont donc les homothéties, c'est-à-dire les applications de la forme x ↦ ax (avec, nécessairement, a = f(1)).
• Toute solution f qui n'est pas de cette forme est loin d'être monotone, car elle est pathologique à plus d'un titre :
  • son graphe est dense[2] - [3] (dans ℝ²), si bien que sur tout intervalle ouvert non vide, f n'est pas majorée (ni minorée) ; a fortiori, f est discontinue en tout point ;
  • tout borélien d'image (par f) non dense[3] (en particulier : tout borélien sur lequel f est majorée ou minorée[1]) est négligeable ; il en résulte que |f| n'est majorée par aucune fonction mesurable ; a fortiori, f n'est pas mesurable ;
  • si f n'est pas injective alors son noyau est dense donc f est « fortement Darboux », c'est-à-dire que l'image de tout intervalle contenant au moins deux points est ℝ[4].
• Par contraposée, toute solution « suffisamment régulière », i.e. ne possédant pas l'une de ces pathologies, est une homothétie. Par exemple si une solution est majorée sur un borélien non négligeable (en particulier si elle est continue en un point), ou même seulement si son graphe n'est pas dense, alors c'est une homothétie.

Les solutions sont exactement les applications ℚ-linéaires de ℝ dans ℝ. Étant donné une base de Hamel B du ℚ-espace vectoriel ℝ (base dont l'existence repose sur l'axiome du choix), l'application qui à toute fonction de ℝ dans ℝ associe sa restriction à B est donc une bijection de l'ensemble des solutions dans l'ensemble des applications de B dans ℝ.

De nombreuses équations fonctionnelles se ramènent à celle de Cauchy. Par exemple soit l'équation, d'inconnue g : ℝ→ℝ :

${\displaystyle \forall x,y\in \mathbb {R} \quad g(x+y)=g(x)g(y).}$

La fonction nulle est une solution évidente. Toutes les autres sont strictement positives et vérifient :

${\displaystyle \forall x,y\in \mathbb {R} \quad \ln(g(x+y))=\ln(g(x)g(y))=\ln(g(x))+\ln(g(y)).}$

Ce sont donc les fonctions g = e ^f telles que f vérifie l'équation fonctionnelle de Cauchy, et celles qui sont continues sont les fonctions exponentielles.