∫0xJν⁡(t)⁢J-ν⁡(x-t)⁢ⅆ⁡t=sin⁡x,