7/16/2016 IMOmath:
Cauchy Equation and Equations of Cauchy Type
Log In Register
IMOmath Olympiads Book Training IMO Results
Forum
Functional equations (Table of contents)
Cauchy Equation and Equations of Cauchy
Type
The equation f (x + y) = f (x) + f (y) is called the Cauchy equation. If its domain is Q , it is
wellknown that the solution is given by f (x) = xf (1) . That fact is easy to prove using
mathematical induction. The next problem is simply the extention of the domain from Q to R .
With a relatively easy counterexample we can show that the solution to the Cauchy equation
in this case doesn′t have to be f (x) = xf (1) . However there are many additional
assumptions that forces the general solution to be of the described form. Namely if a function f
satisfies any of the conditions:
monotonicity on some interval of the real line;
continuity;
boundedness on some interval;
positivity on the ray x ≥ 0 ;
then the general solution to the Cauchy equation f : R → S has to be f (x) = xf (1) .
The following equations can be easily reduced to the Cauchy equation.
All continuous functions f : R → (0, +∞) satisfying f (x + y) = f (x)f (y) are of
the form f (x) = ax . Namely the function g(x) = log f (x) is continuous and satisfies
the Cauchy equation.
All continuous functions f : (0, +∞) → R satisfying f (xy) = f (x) + f (y) are of
the form f (x) = loga x . Now the function g(x) = f (ax ) is continuous and satisfies
the Cauchy equation.
All continuous functions f : (0, +∞) → (0, +∞) satisfying f (xy) = f (x)f (y) are
f (x) = x , where t = loga b and f (a) = b . Indeed the function g(x) = log f (a ) is
t x
continuous and satisfies the Cauchy equation.
Functional equations (Table of contents)
http://imomath.com/index.php?options=340&lmm=0 1/2
7/16/2016 IMOmath: Cauchy Equation and Equations of Cauchy Type
20052016 IMOmath.com | imomath"at"gmail.com | Math rendered by MathJax
Home | Olympiads | Book | Training | IMO Results | Forum | Links | About | Contact us
http://imomath.com/index.php?options=340&lmm=0 2/2