∫0xⅆ⁡t1+t4=sign⁡(x)2⁢F⁡(ϕ,k),