J(y)=-\int\limits_{0}^{+\infty}e^{-yx}\sin x\mbox{d}x