已知定义在无穷区间上的可导函数,满足xf(x)-4∫1到xf(t)=x^3-3,求表达式