Consider the set of continuous, differentiable a.e. functions from $\mathbb R \to \mathbb R$. Can we characterise the subset of these that satisfy $f’(x) = f(x)$ for almost every $x \in \mathbb R$?
1) The problem can be thought of as a weakening of the defining ODE for the exponential function - $f’(x) = f(x)$ everywhere, which is solvable only by piecewise combinations of $Ce^x$ and the zero function.
2) If $f$ is a solution, then so is $f + g$ for any $g$ continuous and differentiable a.e. with $g’ = 0$ a.e.
3) The full measure subset on which $f’ = f$ can in general be smaller than the full measure set on which $f’$ is defined.