不定积分 ∫1/(1+e^x)dx解法如下:
∫1/(1+e^x)dx
=∫e^(-x)/(1+e^(-x))dx
=-∫1/(1+e^(-x))d(1+e^(-x))
=-ln(1+e^(-x))+C
=-ln((1+e^x)/e^x)+C
=x-ln(1+e^x)+C
不可积函数
虽然很多函数都可通过如上的各种手段计算其不定积分,但这并不意味着所有的函数的原函数都可以表示成初等函数的有限次复合,原函数不可以表示成初等函数的有限次复合的函数称为不可积函数。利用微分代数中的微分Galois理论可以证明,如xx ,sinx/x这样的函数是不可积的。