How to prove $f(x)=ax$ if $f(x+y)=f(x)+f(y)$ and $f$ is locally integrable

Suppose $f$ is integrable on any bounded interval in $\mathbb R$, and it satisfies the equation $f(x+y)=f(x)+f(y)$ for all $x,y\in\mathbb R$. How to prove that there exists a constant $a\in\mathbb R$ such that $f(x)=ax$ for all $x\in\mathbb R$?

Solution 1:

Integrate the functional equation with respect to $x$ between $0$ and $1$. The result is the equation $$ \int_y^{y+1} f(u) du = \int_0^1 f(x) dx + f(y) \text . $$ The integral on the left side exists and is continuous in $y$ because $f$ is locally integrable. Therefore the right side is also continuous in $y$; that is, $f$ is continuous! The rest is clear sailing.

Solution 2:

$ \def \R {\mathbb R} \def \d {\ \mathrm d} $ Define $ g : \R \to \R $ with $$ g ( x ) = \int _ 0 ^ x f ( t ) \, \d t $$ for all $ x \in \R $, which can be done, since $ f $ is locally integrable. For any $ x , y \in \R $, it's easy to see that $$ g ( x + y ) = \int _ 0 ^ { x + y } f ( t ) \d t = \int _ 0 ^ x f ( t ) \d t + \int _ x ^ { x + y } f ( t ) \d t = g ( x ) + \int _ 0 ^ y f ( x + t ) \d t \\ = g ( x ) + \int _ 0 ^ y \big( f ( x ) + f ( t ) \big) \d t = g ( x ) + \int _ 0 ^ y f ( t ) \d t + \int _ 0 ^ y f ( x ) \d t = g ( x ) + g ( y ) + y f ( x ) \text . $$ Thus $$ y f ( x ) = g ( x + y ) - g ( x ) - g ( y ) = g ( y + x ) - g ( y ) - g ( x ) = x f ( y ) $$ for all $ x , y \in \R $. Letting $ a = f ( 1 ) $ and putting $ y = 1 $ in the last equation, we have $$ f ( x ) = a x $$ for all $ x \in \R $.

This method has the advantage of being concise and at the same time, only focuses on the condition mentioned in the problem, without reducing the problem to another case when we have additional conditions (like continuity) on $ f $. The method used here and the one in this post are essentially the same, when looking through the lens of the fundamental theorem of calculus. Here, we used integration, and avoided differentiation which is the main tool there.