Find all continuous functions f: ℝ → ℝ such that f(x+y) = f(x) + f(y) for all x,y ∈ ℝ.

Answer: The continuous functions f:R→Rf: \mathbb{R} \to \mathbb{R} satisfying f(x+y)=f(x)+f(y)f(x+y) = f(x) + f(y) are of the form f(x)=cxf(x) = cx for some constant c∈Rc \in \mathbb{R}.

Step-by-step solution

Step 1: Identify the type of equation

The given equation is a functional equation known as Cauchy's functional equation. We are looking for continuous functions that satisfy this property.

Step 2: Evaluate at specific points

First, let's substitute x=0x=0 and y=0y=0 into the equation. This gives f(0+0)=f(0)+f(0)f(0+0) = f(0) + f(0), which simplifies to f(0)=2f(0)f(0) = 2f(0). Subtracting f(0)f(0) from both sides yields f(0)=0f(0) = 0.

Step 3: Prove for natural numbers

We can prove by induction that f(nx)=nf(x)f(nx) = nf(x) for any natural number nn. For n=1n=1, f(1x)=1f(x)f(1x) = 1f(x) is true. Assuming f(kx)=kf(x)f(kx) = kf(x) for some k∈Nk \in \mathbb{N}, we have f((k+1)x)=f(kx+x)=f(kx)+f(x)=kf(x)+f(x)=(k+1)f(x)f((k+1)x) = f(kx+x) = f(kx) + f(x) = kf(x) + f(x) = (k+1)f(x). Thus, it holds for all natural numbers.

Step 4: Extend to integers

Since f(0)=0f(0)=0, we have f(x+(−x))=f(x)+f(−x)f(x + (-x)) = f(x) + f(-x), which means f(0)=f(x)+f(−x)f(0) = f(x) + f(-x), so 0=f(x)+f(−x)0 = f(x) + f(-x), implying f(−x)=−f(x)f(-x) = -f(x). This extends the property to negative integers, so f(qx)=qf(x)f(qx) = qf(x) for all integers qq.

Step 5: Extend to rational numbers

Let r=p/qr = p/q where p,q∈Zp, q \in \mathbb{Z} and q≠0q \neq 0. Then f(qx)=qf(x)f(qx) = qf(x). Also, f(x)=f(q⋅xq)=qf(xq)f(x) = f(q \cdot \frac{x}{q}) = qf(\frac{x}{q}). So f(xq)=1qf(x)f(\frac{x}{q}) = \frac{1}{q}f(x). Combining these, f(rx)=f(pqx)=pf(xq)=p1qf(x)=pqf(x)=rf(x)f(rx) = f(\frac{p}{q}x) = p f(\frac{x}{q}) = p \frac{1}{q} f(x) = \frac{p}{q} f(x) = rf(x).

Step 6: Extend to real numbers using continuity

Since ff is continuous and f(rx)=rf(x)f(rx) = rf(x) for all rational numbers rr, we can let x=1x=1 to get f(r)=rf(1)f(r) = rf(1). Let c=f(1)c = f(1). Then f(r)=crf(r) = cr for all rational numbers rr. Because ff is continuous and the rational numbers are dense in the real numbers, this property extends to all real numbers. Thus, f(x)=cxf(x) = cx for some constant c∈Rc \in \mathbb{R}.

More from this chapter

All Continuity and Differentiability solutions →

Solve your own maths question free →