Solveeit Logo

Question

Question: Let $n$ be an odd integer greater than 1. Determine all continuous functions $f:[0, 1] \to \mathbb{R...

Let nn be an odd integer greater than 1. Determine all continuous functions f:[0,1]Rf:[0, 1] \to \mathbb{R} such that 01(f(x1k))nkdx=kn,k=1,2,...,n1.\int_0^1 (f(x^{\frac{1}{k}}))^{n-k} dx = \frac{k}{n}, \quad k=1, 2, ..., n-1.

Answer

f(x)=x

Explanation

Solution

  1. Substitution: The integral equation 01(f(x1k))nkdx=kn\int_0^1 (f(x^{\frac{1}{k}}))^{n-k} dx = \frac{k}{n} is transformed using y=x1ky = x^{\frac{1}{k}} to 01yk1(f(y))nkdy=1n\int_0^1 y^{k-1} (f(y))^{n-k} dy = \frac{1}{n} for k=1,,n1k=1, \dots, n-1.

  2. Form of Solution: Testing f(x)=xaf(x)=x^a, we find that the exponent in the integral must be constant with respect to kk. This leads to a=1a=1.

  3. Verification: f(x)=xf(x)=x is verified by direct substitution into the original integral equation, yielding kn\frac{k}{n}.

  4. Uniqueness: By considering f(y)=y+ϵg(y)f(y) = y + \epsilon g(y) and substituting into the equations for k=1k=1 and k=n1k=n-1, we show that for the equations to hold for small ϵ\epsilon, g(y)g(y) must be identically zero, proving f(x)=xf(x)=x is the unique continuous solution.