Chapter

Advanced Functional Equations

A module on mixed and parametric functional equations: additivity plus products, systems of functions, rational and real domains, compositions, and parameters.
Log in to track solved progress and bookmarks.

Theory

Key Idea

In advanced functional equations, the method is rarely visible immediately. Often two layers must be combined: first reduce the equation to a Cauchy/Jensen type, then use a second condition, a parameter, a composition, or a domain restriction. The important habit is not to chase the answer immediately, but to expose the structure.

Basic Facts

Additivity on \(\mathbb Q\) gives \(f(x)=cx\). Continuous or monotone additivity on \(\mathbb R\) also gives linearity. The equation \(f(x+y)=f(x)+f(y)+a xy\) is handled by the substitution \(g(x)=f(x)-\frac{a}{2}x^2\). In systems, one equation often determines the form of the function, while the second fixes the coefficient.

When to Use This Method

Use the mixed method when a problem contains both sum and product, composition and additivity, a parameter, several functions, or conditions over \(\mathbb Q\) and \(\mathbb R\) with different consequences. If \(xy\) appears next to \(x+y\), look for a quadratic correction.

How to Recognise the Method

Signs include: two functional equations in one problem; a parameter \(a\); expressions \(x+f(y)\); a condition \(f(f(x))\); a mixture of \(f(xy)\) and \(f(x)+f(y)\); a request to find all parameters for which a solution exists.

Typical Mistakes

Do not solve the second condition before the first has given the form of the function. Do not forget the zero solution in multiplicative systems. Do not transfer a conclusion from \(\mathbb Q\) to \(\mathbb R\) without regularity. In parameter problems, check both the function and the parameter value.

Mini-checklist

1. Which condition gives the form of the function? 2. Which condition fixes the coefficients? 3. Is a shift or quadratic correction needed? 4. Is the domain \(\mathbb Q\) or \(\mathbb R\)? 5. Is there regularity? 6. Have all parameters and special solutions been checked?

Examples

Example 1. Parametric Quadratic Correction

The term \(a xy\) is removed by subtracting \(\frac a2 x^2\).

Problem. Find all continuous \(f:\mathbb R\to\mathbb R\) such that \(f(x+y)=f(x)+f(y)+a xy\).

Solution.

Let \(g(x)=f(x)-\frac a2 x^2\). Then \(g(x+y)=g(x)+g(y)\). By continuity, \(g(x)=cx\). Hence \(f(x)=\frac a2 x^2+cx\). Direct checking works.

Comment. The parameter remains free, and so does \(c\).

Example 2. The Second Condition Fixes the Coefficient

First find the form, then use the extra condition.

Problem. Let \(f(x+y)=f(x)+f(y)+2xy\), let \(f\) be continuous, and suppose \(f(1)=0\). Find \(f\).

Solution.

From the previous example, \(f(x)=x^2+cx\). The condition \(f(1)=0\) gives \(1+c=0\), so \(c=-1\). The answer is \(f(x)=x^2-x\).

Comment. Do not start with \(f(1)=0\); first get the structure.

Example 3. Additivity Plus a Square

On \(\mathbb Q\), the second condition becomes an equation for the coefficient.

Problem. Find all additive \(f:\mathbb Q\to\mathbb Q\) such that \(f(x^2)=f(x)^2\).

Solution.

Additivity gives \(f(x)=cx\). Then \(cx^2=c^2x^2\) for all \(x\). Hence \(c=0\) or \(c=1\). The answers are \(f=0\) and \(f(x)=x\).

Comment. Do not forget the zero answer.

Example 4. A Derivation-Type Condition

A mixed condition can force the coefficient to vanish.

Problem. Let \(f:\mathbb Q\to\mathbb Q\) be additive and satisfy \(f(xy)=xf(y)+yf(x)\). Find \(f\).

Solution.

By additivity, \(f(x)=cx\). Then \(cxy=2cxy\) for all \(x,y\), so \(c=0\). The answer is \(f\equiv0\).

Comment. This is a rational-domain version of a derivation-type condition.

Example 5. The Golden Coefficient

Additivity gives linearity, and the product condition gives a quadratic equation.

Problem. Find all continuous additive \(f:\mathbb R\to\mathbb R\) such that \(f(x)f(y)=f(xy)+xy\).

Solution.

Continuous additivity gives \(f(x)=cx\). Then \(c^2xy=cxy+xy\), hence \(c^2=c+1\). The answer is \(f(x)=\frac{1+\sqrt{5}}{2}x\) or \(f(x)=\frac{1-\sqrt{5}}{2}x\).

Comment. The coefficient may be irrational because the domain is \(\mathbb R\).

Example 6. Rational Impossibility

The same architecture over \(\mathbb Q\) may have no solution.

Problem. Prove that there is no additive \(f:\mathbb Q\to\mathbb Q\) such that \(f(f(x))=2x\).

Solution.

Let \(f(x)=cx\), \(c\in\mathbb Q\). Then \(f(f(x))=c^2x\), so \(c^2=2\). No rational \(c\) has this property. Contradiction.

Comment. The domain changes existence.

Example 7. An Equation with \(x+f(y)\)

Sometimes the first equation itself proves injectivity and additivity.

Problem. Find all increasing \(f:\mathbb R\to\mathbb R\) such that \(f(x+f(y))=f(x)+2y\).

Solution.

As in earlier modules, comparing values of \(y\) gives injectivity, then \(f(0)=0\), \(f(f(y))=2y\), and \(f(x+t)=f(x)+f(t)\). An increasing additive function is linear: \(f(x)=cx\). Then \(c^2=2\), and increasing gives \(c>0\). The answer is \(f(x)=\sqrt{2}x\).

Comment. This combines injectivity, surjectivity, and order.

Example 8. Parameter Plus Composition

Composition can force the parameter to disappear.

Problem. Find all pairs \((a,f)\), where \(f\) is continuous, \(f(x+y)=f(x)+f(y)+a xy\), and \(f(f(x))=x\).

Solution.

From the first condition, \(f(x)=\frac a2x^2+cx\). If \(a e0\), then \(f(f(x))\) has degree \(4\), impossible since it equals \(x\). Hence \(a=0\). Then \(f(x)=cx\), and \(c^2=1\). The answer is \(a=0\), \(f(x)=x\) or \(f(x)=-x\).

Comment. This is a typical advanced problem: the parameter is checked by degree.

Problems

Problems

#10.1
#10.1

Parameter \(a\)

Parameter Grade 10 Grade 11 ★★★★☆

Find all continuous \(f:\mathbb R\to\mathbb R\) such that \(f(x+y)=f(x)+f(y)+a xy\).

Details
Problem: ALG-B3-M10-P001
Difficulty: Level 4 of 5
Tag: Parameter
Grade: Grade 10, Grade 11
#10.2
#10.2

A Given Value

Parameter Grade 10 Grade 11 ★★★★☆

Let \(f\) be continuous, \(f(x+y)=f(x)+f(y)+2xy\), and \(f(1)=5\). Find \(f\).

Details
Problem: ALG-B3-M10-P002
Difficulty: Level 4 of 5
Tag: Parameter
Grade: Grade 10, Grade 11
#10.3
#10.3

Square of the Value

Additive Grade 10 Grade 11 ★★★★☆

Find all additive \(f:\mathbb Q\to\mathbb Q\) such that \(f(x^2)=f(x)^2\).

Details
Problem: ALG-B3-M10-P003
Difficulty: Level 4 of 5
Tag: Additive
Grade: Grade 10, Grade 11
#10.4
#10.4

Rational Derivation Form

Additive Grade 10 Grade 11 ★★★★☆

Let \(f:\mathbb Q\to\mathbb Q\) be additive and satisfy \(f(xy)=xf(y)+yf(x)\). Find \(f\).

Details
Problem: ALG-B3-M10-P004
Difficulty: Level 4 of 5
Tag: Additive
Grade: Grade 10, Grade 11
#10.5
#10.5

Square Root of Two on the Rationals

No Solution Grade 10 Grade 11 ★★★★☆

Prove that there is no additive \(f:\mathbb Q\to\mathbb Q\) such that \(f(f(x))=2x\).

Details
Problem: ALG-B3-M10-P005
Difficulty: Level 4 of 5
Tag: No Solution
Grade: Grade 10, Grade 11
#10.6
#10.6

Golden Product

Additive Grade 10 Grade 11 ★★★★★

Find all continuous additive \(f:\mathbb R\to\mathbb R\) such that \(f(x)f(y)=f(xy)+xy\).

Details
Problem: ALG-B3-M10-P006
Difficulty: Level 5 of 5
Tag: Additive
Grade: Grade 10, Grade 11
#10.7
#10.7

Continuous Derivation Form

Additive Grade 10 Grade 11 ★★★★★

Let \(f:\mathbb R\to\mathbb R\) be continuous, additive, and satisfy \(f(xy)=xf(y)+yf(x)\). Find \(f\).

Details
Problem: ALG-B3-M10-P007
Difficulty: Level 5 of 5
Tag: Additive
Grade: Grade 10, Grade 11
#10.8
#10.8

Square of the Function

Additive Grade 10 Grade 11 ★★★★★

Let \(f\) be continuous, additive, and satisfy \(f(x^2)=f(x)^2\). Find \(f\).

Details
Problem: ALG-B3-M10-P008
Difficulty: Level 5 of 5
Tag: Additive
Grade: Grade 10, Grade 11
#10.9
#10.9

Two Given Values

Parameter Grade 10 Grade 11 ★★★★★

Let \(f\) be continuous, \(f(x+y)=f(x)+f(y)+a xy\), \(f(1)=1\), and \(f(2)=6\). Find \(a\) and \(f\).

Details
Problem: ALG-B3-M10-P009
Difficulty: Level 5 of 5
Tag: Parameter
Grade: Grade 10, Grade 11
#10.10
#10.10

Two Inverse Additive Functions

System Grade 10 Grade 11 ★★★★★

Let \(f,g:\mathbb Q\to\mathbb Q\) be additive and satisfy \(f(g(x))=x\), \(g(f(x))=x\). Find all pairs.

Details
Problem: ALG-B3-M10-P010
Difficulty: Level 5 of 5
Tag: System
Grade: Grade 10, Grade 11
#10.11
#10.11

Increasing Square Root of Two

Monotonicity Grade 10 Grade 11 ★★★★★

Find all increasing \(f:\mathbb R\to\mathbb R\) such that \(f(x+f(y))=f(x)+2y\).

Details
Problem: ALG-B3-M10-P011
Difficulty: Level 5 of 5
Tag: Monotonicity
Grade: Grade 10, Grade 11
#10.12
#10.12

Parameter and Involution

Parameter Grade 10 Grade 11 ★★★★★

Find all pairs \((a,f)\), where \(f\) is continuous, \(f(x+y)=f(x)+f(y)+a xy\), and \(f(f(x))=x\).

Details
Problem: ALG-B3-M10-P012
Difficulty: Level 5 of 5
Tag: Parameter
Grade: Grade 10, Grade 11
#10.13
#10.13

Parameter and Shift

Parameter Grade 10 Grade 11 ★★★★★

Find all pairs \((a,f)\), where \(f\) is continuous, \(f(x+y)=f(x)+f(y)+a xy\), and \(f(f(x))=x+1\).

Details
Problem: ALG-B3-M10-P013
Difficulty: Level 5 of 5
Tag: Parameter
Grade: Grade 10, Grade 11
#10.14
#10.14

Additivity and Reciprocal Argument

System Grade 10 Grade 11 ★★★★★

Let \(f:\mathbb Q\to\mathbb Q\) be additive and suppose that for all \(x\ne0\), \(f\left(\frac1x\right)=\frac{f(x)}{x^2}\). Find \(f\).

Details
Problem: ALG-B3-M10-P014
Difficulty: Level 5 of 5
Tag: System
Grade: Grade 10, Grade 11
#10.15
#10.15

Reciprocal Argument with a Square

System Grade 10 Grade 11 ★★★★★

Let \(f:\mathbb Q\to\mathbb Q\) be additive and suppose that for all \(x\ne0\), \(f\left(\frac1x\right)=f(x)^2\). Find \(f\).

Details
Problem: ALG-B3-M10-P015
Difficulty: Level 5 of 5
Tag: System
Grade: Grade 10, Grade 11
#10.16
#10.16

Surjective Form with a Coefficient

Functional Equation Grade 10 Grade 11 ★★★★★

Find all increasing \(f:\mathbb R\to\mathbb R\) such that \(f(f(x)+y)=x+f(y)\).

Details
Problem: ALG-B3-M10-P016
Difficulty: Level 5 of 5
Tag: Functional Equation
Grade: Grade 10, Grade 11
#10.17
#10.17

Parametric Jensen Equation

Parameter Grade 10 Grade 11 ★★★★★

Find all continuous \(f:\mathbb R\to\mathbb R\) such that \(f(x+y)+f(x-y)=2f(x)+2a y^2\).

Details
Problem: ALG-B3-M10-P017
Difficulty: Level 5 of 5
Tag: Parameter
Grade: Grade 10, Grade 11
#10.18
#10.18

Jensen Plus Involution

Parameter Grade 10 Grade 11 ★★★★★

Find all continuous \(f\) such that \(f(x+y)+f(x-y)=2f(x)\) and \(f(f(x))=x\).

Details
Problem: ALG-B3-M10-P018
Difficulty: Level 5 of 5
Tag: Parameter
Grade: Grade 10, Grade 11
#10.19
#10.19

Parameter and Square of Composition

Parameter Grade 10 Grade 11 ★★★★★

Find all pairs \((a,f)\), where \(f\) is continuous, \(f(x+y)=f(x)+f(y)+a xy\), and \(f(f(x))=x^2\).

Details
Problem: ALG-B3-M10-P019
Difficulty: Level 5 of 5
Tag: Parameter
Grade: Grade 10, Grade 11
#10.20
#10.20

Full Parametric Check

Parameter Grade 10 Grade 11 ★★★★★

Find all pairs \((a,f)\), where \(f\) is continuous, \(f(x+y)=f(x)+f(y)+a xy\), and \(f(f(x))=x+a\).

Details
Problem: ALG-B3-M10-P020
Difficulty: Level 5 of 5
Tag: Parameter
Grade: Grade 10, Grade 11

Ladders

No published ladders were found.
Previous Chapter
Next Chapter