Section III.5

Functional Equations

[21/100%]
Show
LaTeX
Problem III.5.1

Describe all functions f∈C(X)f \in C(X) satisfying the equation f(2x)=f(x)f(2 x)=f(x) for every x∈Xx \in X, in the following cases:

?
(a)

X=RX=\mathbb {R};

(b)

X=(0,+∞)X=(0,+\infty ).

Problem III.5.2

Let the function f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} satisfy the equation f(x+y)==f(x)+f(y)(x,y∈R)f(x+y)= =f(x)+f(y)(x, y \in \mathbb {R}). Prove that

?
(a)

f(rx)=rf(x)(r∈Q,x∈R)f(r x)=r f(x)(r \in \mathbb {Q}, x \in \mathbb {R});

(b)

if the function ff is bounded above on some nonempty interval, then it is linear, i.e., f(x)=ax(x∈R)f(x)=a x(x \in \mathbb {R}), where a=f(1)a=f(1);

(c)

if the function ff is discontinuous at even one point, then its graph is a set dense in R2\mathbb {R}^{2}.

Problem III.5.3

Describe all monotone functions f:R+→Rf: \mathbb {R}_{+} \rightarrow \mathbb {R} satisfying the equation f(xy)=f(x)+f(y)f(x y)=f(x)+f(y) for all x,y>0x, y>0.

?
Problem III.5.4

Describe all functions f∈C(R)f \in C(\mathbb {R}) satisfying the equation f(xy)=xf(y)+yf(x)f(x y)=x f(y)+y f(x) for any x,y∈Rx, y \in \mathbb {R}.

?
Problem III.5.5

Find all functions f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} satisfying the system of equations

f(x+y)=f(x)+f(y),f(xy)=f(x)f(y) for x,y∈R. f(x+y)=f(x)+f(y), \quad f(x y)=f(x) f(y) \text{ for } x, y \in \mathbb {R} .
?
Problem III.5.6

Let n∈N,n>1n \in \mathbb {N}, n>1. Describe all functions f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} such that f(x+yn)=f(x)+(f(y))nf\left(x+y^{n}\right)=f(x)+(f(y))^{n} for any x,y∈Rx, y \in \mathbb {R}.

?
Problem III.5.7

Let the function f∈C(R)f \in C(\mathbb {R}), for some σ>0\sigma >0, satisfy the condition ∣f(x)+f(y)−f(x+y)∣⩽σ\left|f(x)+f(y)-f(x+y)\right| \leqslant \sigma for any x,y∈Rx, y \in \mathbb {R}. Prove that ff is representable as the sum of a linear function and a function not exceeding σ\sigma in absolute value.

?
Problem III.5.8

Let the function f∈C(R)f \in C(\mathbb {R}) satisfy the condition f(x)+f(y)==f(x2+y2)f(x)+f(y)= =f\left(\sqrt{x^{2}+y^{2}}\right) for any x,y∈Rx, y \in \mathbb {R}. Prove that f(x)=ax2f(x)=a x^{2} for any x∈Rx \in \mathbb {R}, where a=f(1)a=f(1).

?
Problem III.5.9

Let the function f∈C(R)f \in C(\mathbb {R}) satisfy the condition f≢0f \not\equiv 0, f(x)f(y)=f(x2+y2)f(x) f(y)=f\left(\sqrt{x^{2}+y^{2}}\right) for all x,y∈Rx, y \in \mathbb {R}. Prove that f(x)=eax2f(x)=e^{a x^{2}} for all x∈Rx \in \mathbb {R} (aa is a fixed number).

Generalize this result to the case when

f(x)f(y)=f((∣x∣p+∣y∣p)1/p) f(x) f(y)=f\left(\left(\left|x\right|^{p}+\left|y\right|^{p}\right)^{1 / p}\right)

for x,y∈Rx, y \in \mathbb {R} and some p>0p>0.

?
Problem III.5.10

Let a>b>0a>b>0. Describe all functions ff from C(R+)C\left(\mathbb {R}_{+}\right) such that the difference f(ax)−f(bx)f(a x)-f(b x) does not depend on x∈R+x \in \mathbb {R}_{+}.

?
Problem III.5.11
?
(a)

Describe all functions φ∈C((0,1])\varphi \in C((0,1]) satisfying the condition φ(x2)=2φ(x)\varphi \left(x^{2}\right)=2 \varphi (x) for 0<x⩽10<x \leqslant 1.

(b)

Describe all nondecreasing functions f∈C((0,1))f \in C((0,1)) satisfying the condition f(x2)=f2(x)f\left(x^{2}\right)=f^{2}(x) for 0<x<10<x<1.

Problem III.5.12

Find a continuous strictly increasing function f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} such that f(x2)=f4(x)f\left(x^{2}\right)=f^{4}(x) for all x∈Rx \in \mathbb {R}.

?
Problem III.5.13

Let Bˉ={z∈C∣∣z∣⩽1}\bar{B}=\left\{ z \in \mathbb {C}\left| \right| z \mid \leqslant 1\right\}. Find all continuous bijective mappings ff of the disk Bˉ\bar{B} onto itself satisfying the condition f(z2)=f2(z)f\left(z^{2}\right)=f^{2}(z) for all z∈Bˉz \in \bar{B}.

?
Problem III.5.14

Prove that there exists a unique monotonic function f:[0,1]→Rf:\left[0,1\right] \rightarrow \mathbb {R} satisfying the conditions

f(x)=2f(x3) and f(x)+f(1−x)=1 f(x)=2 f\left(\frac{x}{3}\right) \quad \text{ and } \quad f(x)+f(1-x)=1

for all x∈[0,1]x \in [0,1].

?
Problem III.5.15

Find all functions f∈C2(R2)f \in C^{2}\left(\mathbb {R}^{2}\right) satisfying, for all x,y,z∈Rx, y, z \in \mathbb {R}, the conditions

f(x,y)=f(y,x)f(x,y)+f(y,z)+f(z,x)=3f(x+y+z3,x+y+z3). \begin{gathered} f(x, y)=f(y, x) \\ f(x, y)+f(y, z)+f(z, x)=3 f\left(\frac{x+y+z}{3}, \frac{x+y+z}{3}\right) . \end{gathered}
?
Problem III.5.16

For which continuous functions f:R→Rf: \mathbb {R} \rightarrow \mathbb {R} does there exist a function g:R2→Rg: \mathbb {R}^{2} \rightarrow \mathbb {R} such that f(xy)=g(x,f(y))f(x y)=g(x, f(y)) for all x,y∈Rx, y \in \mathbb {R}?

?
Problem III.5.17

Describe all continuous functions f:Rn→Rf: \mathbb {R}^{n} \rightarrow \mathbb {R} satisfying the conditions:

  1. min⁡{x1,x2,…,xn}⩽f(x)⩽max⁡{x1,x2,…,xn}\min \left\{ x_{1}, x_{2}, \ldots , x_{n}\right\} \leqslant f(x) \leqslant \max \left\{ x_{1}, x_{2}, \ldots , x_{n}\right\} \quad for all x=(x1,x2,…,xn)∈Rx=\left(x_{1}, x_{2}, \ldots , x_{n}\right) \in \mathbb {R};

  2. if f(x)<f(y)f(x)<f(y), then f(x+z)<f(y+z)f(x+z)<f(y+z) for any z∈Rnz \in \mathbb {R}^{n}.

Which of these functions are symmetric (the value f(x)f(x) is preserved under any permutations of the coordinates x1,…,xnx_{1}, \ldots , x_{n})?

?
Problem III.5.18

Find the general form of the characters in the groups:

?
(a)

Z\mathbb {Z};

(b)

Z×Z\mathbb {Z} \times \mathbb {Z};

(c)

Zm\mathbb {Z}_{m} (the group of residues modulo mm).

Remark.
?

Let GG and G′G^{\prime } be arbitrary groups (with multiplicative notation for the group operation). A mapping φ:G→G′\varphi : G \rightarrow G^{\prime } is called a homomorphism if it preserves the group operation, i.e., if φ(xy)=φ(x)φ(y)\varphi (x y)=\varphi (x) \varphi (y) for all x,y∈Gx, y \in G. A homomorphism of the group GG into the group S1S^{1} of complex numbers equal to unity in modulus is called a character of the group GG.

Problem III.5.19

Find the general form of the continuous characters on the groups (additive)

?
(a)

R\mathbb {R};

(b)

Rn\mathbb {R}^{n};

(c)

R×Z\mathbb {R} \times \mathbb {Z};

(d)

C\mathbb {C}; and on the groups (multiplicative)

(e)

S1S^{1};

(f)

R+=(0,+∞)\mathbb {R}_{+}=(0,+\infty );

(g)

C∗=C\{0}\mathbb {C}^{*}=\mathbb {C} \backslash \left\{ 0\right\}.

Problem III.5.20

We will call a continuous function f:R→S1f: \mathbb {R} \rightarrow S^{1} a character of the second degree if it satisfies the functional equation (x,y,z∈Rx, y, z \in \mathbb {R})

f(x+y+z)f(x)f(y)f(z)=f(x+y)f(y+z)f(z+x). f(x+y+z) f(x) f(y) f(z)=f(x+y) f(y+z) f(z+x) .

Prove that

?
(a)

for each y∈Ry \in \mathbb {R} the function x↦f(x+y)f(x)f(y)x \mapsto \frac{f(x+y)}{f(x) f(y)} is a character;

(b)

the formula f(x)=ei(ax2+bx)(x∈R)f(x)=e^{i\left(a x^{2}+b x\right)} \quad (x \in \mathbb {R}), where a,b∈Ra, b \in \mathbb {R}, describes the general form of characters of the second degree.

Problem III.5.21

Describe all continuous homomorphisms φ\varphi of the group GG into the group G′G^{\prime } in the following cases (using the notation introduced in problem 5.19):

?
(a)

G=R,G′=RG=\mathbb {R}, \quad G^{\prime }=\mathbb {R};

(b)

G=R,G′=R+G=\mathbb {R}, \quad G^{\prime }=\mathbb {R}_{+};

(c)

G=R+,G′=RG=\mathbb {R}_{+}, \quad G^{\prime }=\mathbb {R};

(d)

G=R+,G′=R+G=\mathbb {R}_{+}, \quad G^{\prime }=\mathbb {R}_{+};

(e)

G=R,G′=S1G=\mathbb {R}, \quad G^{\prime }=S^{1};

(f)

G=C∗,G′=C∗G=\mathbb {C}^{*}, \quad G^{\prime }=\mathbb {C}^{*}.