Let $f$ be a function, defined in $\mathbb{R}$ and differentiable in $\mathbb{R}$, with f(1)=1. If: $ \ln(x) f'(\ln(x))=3\ln^3x, \forall x > 0$, prove $f(x)=x^3, x\in R$. My try: $$f'(\ln(x))\frac{1}{x}= 3\ln^2(x)\frac{1}{x}, x\neq1 \Rightarrow (f(\ln(x)))'=(\ln^3x)' \Rightarrow f(\ln(x))=\ln^3x + c, \rightarrow c= 0$$ and if $$x=\ln(x) \Rightarrow f(x)=x^3$$ However, there are many spots where I think I need a better explanation. For example, I don't think I can just let $x=\ln(x)$ so freely.
Does anyone know what is needed here, or a better way? Thanks!
If you have$$(\forall x\in(0,\infty)):\log(x)f'(\log x)=3\log^3x,$$then, for each $x\in\Bbb R$,$$\log(e^x)f'(\log e^x)=3\log^3e^x;$$in other words, $xf'(x)=3x^3$, and therefore $f'(x)=3x^2$. So,$$f(x)=f(1)+\int_1^x3t^2\,\mathrm dt=1+x^3-1=x^3.$$