∫0x∫0vAi⁡(t)⁢ⅆ⁡t⁢ⅆ⁡v=x⁢∫0xAi⁡(t)⁢ⅆ⁡t-Ai′⁡(x)+Ai′⁡(0),