Art of Problem Solving
AoPS Online
Math texts, online classes, and more
for students in grades 5-12.
Visit AoPS Online ‚
Books for Grades 5-12 Online Courses
Beast Academy
Engaging math books and online learning
for students ages 6-13.
Visit Beast Academy ‚
Books for Ages 6-13 Beast Academy Online
AoPS Academy
Small live classes for advanced math
and language arts learners in grades 2-12.
Visit AoPS Academy ‚
Find a Physical Campus Visit the Virtual Campus

Difference between revisions of "Cauchy Functional Equation"
m
 
Line 1: Line 1:
−
The '''Cauchy Functional Equation''' is the [[functional equation]] <cmath> f(x+y) = f(x) + f(y)</cmath>.
+
The '''Cauchy Functional Equation''' is the [[functional equation]] <cmath> f(x+y) = f(x) + f(y).</cmath>
  
 
As with any functional equation, one may attempt to solve this equation for various different choices of the domain of <math>f</math>.
 
As with any functional equation, one may attempt to solve this equation for various different choices of the domain of <math>f</math>.
Line 6: Line 6:
 
==Rational Case==
 
==Rational Case==
  
−
If <math>f: \mathbb Q \to \mathbb Q</math> is a function whose [[domain]] and [[range]] are the [[rational numbers]] (or any [[subset]] of <math>\mathbb Q</math> [[closed]] under addition, like <math>\mathbb Z</math> or <math>\mathbb N</math>), the solutions are only the [[linear function]]s <math>f(x)=ax</math>, with <math>a\in\mathbb Q</math>.  
+
If <math>f: \mathbb Q \to \mathbb Q</math> is a function whose [[domain]] and [[range]] are the [[rational number]]s (or any [[subset]] of <math>\mathbb Q</math> [[closed]] under addition, like <math>\mathbb Z</math> or <math>\mathbb N</math>), the solutions are only the [[linear function]]s <math>f(x)=ax</math>, with <math>a\in\mathbb Q</math>.  
  
  

Latest revision as of 12:57, 22 July 2009

The Cauchy Functional Equation is the functional equation \[f(x+y) = f(x) + f(y).\]

As with any functional equation, one may attempt to solve this equation for various different choices of the domain of $f$.


Rational Case

If $f: \mathbb Q \to \mathbb Q$ is a function whose domain and range are the rational numbers (or any subset of $\mathbb Q$ closed under addition, like $\mathbb Z$ or $\mathbb N$), the solutions are only the linear functions $f(x)=ax$, with $a\in\mathbb Q$.


Real Case

If $f:\mathbb R \to \mathbb R$ is a function whose domain and range are the real numbers, then there exist solutions to the Cauchy Functional Equation other than linear functions. (To prove this requires some form of the Axiom of Choice, e.g., the existence of a Hamel basis for $\mathbb R$ over $\mathbb Q$. As a result, these functions are "pathological" -- in particular, it is not possible to write down a formula for any such function, and the graph of any such function is dense in the plane.)

However, there are a variety of simple "regularity conditions" such that if $f: \mathbb R \to \mathbb R$ satisfies one of these conditions and the Cauchy Functional Equation, then in must be of the form $f(x) = ax$ for some $a \in \mathbb R$. Examples of such conditions are that $f$ is continuous (or even just continuous at a single point), that $f$ is monotonic, or that $f(x)>0$ for all $x>0$.


This article is a stub. Help us out by expanding it.

Retrieved from "https://artofproblemsolving.com/wiki/index.php?title=Cauchy_Functional_Equation&oldid=32486"