Skip to main content
5 of 6
added 52 characters in body
Andrey Rekalo
  • 22.3k
  • 12
  • 89
  • 122

Let $E$ and $E'$ be Banach spaces. Mappings $f:E\to E'$, which satisfy the inequality $$\|f(x + y) − f(x) − f(y)\| \leq\epsilon$$ for all $x, y \in E$, are called $\epsilon$-additive (or approximately additive). The main result concerning approximately additive functions is due to D. Hyers (link).

Theorem. Let $f(x)$ be an $\epsilon$-additive mapping of a Banach space $E$ into another Banach space $E'$. Then $l(x)=\lim f(2^nx)/2^n$ exists for each $x$ in $E$, $l(x)$ is linear, and the inequality $$\|f(x)-l(x)\|\leq\epsilon$$ is true for all $x$ in $E$. Moreover, $l(x)$ is the only linear mapping satisfying this inequality. If $f(x)$ is continuous at at least one point, then $l(x)$ is continuous everywhere in $E$.

So in your case $E=L^2(\Omega)$, $E'=\mathbb R$.

Andrey Rekalo
  • 22.3k
  • 12
  • 89
  • 122