Jensen functional equation

ID: jensen-functional-equation

The Jensen functional equation on is
It says that a function preserves midpoint averages. Every affine function satisfies it. The quadratic function does not: the midpoint of is zero but the average of their squares is one.
Set . Taking gives , and substituting this back into the equation yields . Thus solutions are exactly a constant plus a solution of the Cauchy functional equation. Continuity at one point forces , first on rational multiples by additivity and then on all real inputs by rational approximation. Without a regularity hypothesis, non-linear additive solutions can occur, so the midpoint identity alone is not sufficient to infer an affine formula.

New to topics? Read the docs here!