$Question$
Prove that there is exactly one function $f,$ continuous on the positive real axis, such that
$$f(x) = 1+ \frac 1 x \int_1^x f(t) \, dt \text{ for all } x> 0$$ and find this function.
$Attempt$
Differentiating the about equation , we get
$$f'(x) = \frac{-1}{x^2}\int_1^x f(t) \, dt + \frac 1 x f(x)$$
Comparing with
$f'(x)+p(x) f( x) = q(x),$ we can see both $p(x)$ and $q(x)$ are continuous on $x> 0.$
Therefore $f(x)$ will be unique (uniqueness of $f(x)$ in $f'(x)+p(x) f(x) = q(x)$ can easily be proven if p and q are continuous in some interval I.)
$Doubt$
Is my proof correct?
How to find function $f(x)$?
Since $f(x)=1+\frac{1}{x}\int_1^xf(t) \, dt$, therefore we can use this in the equation $f^{'}(x)=\frac{-1}{x^2}\int_1^xf(t) \, dt+\frac{1}{x}f(x)$ to get \begin{align*} f^{'}(x) & =\frac{x(1-f(x))}{x^2}+\frac{1}{x}f(x)\\ & =\frac{x(1-f(x))}{x^2}+\frac{1}{x}f(x)\\ &=\frac{1}{x}. \end{align*} So $f(x)=\ln x+C$. Now we can use $f(1)=1$, to get $C$.