∫0xJν⁡(t)⁢J1-ν⁡(x-t)⁢ⅆ⁡t=J0⁡(x)-cos⁡x,