积分∫(x=0,π/2) ln(cosx) dx的结果是什么?
-π/2×ln2。
解:令x=π/2-t,则在积分区间[0,π/2],有∫ln(sinx)dx=∫ln(cosx)dx。
另外,原式=∫(x=0,π/4)ln(cosx)dx+∫(x=π/4,π/2)ln(cosx)dx。对后一个积分,令x=π/2-θ,则∫(x=π/4,π/2)ln(cosx)dx=∫(θ=0,π/4)ln(sinθ)dθ,∴原式=∫(x=0,π/4)[ln(cosx)+ln(sinx)]dx=∫(x=0,π/4)ln[(1/2)(sin2x)]dx=∫(x=0,π/4)ln(sin2x)dx-(π/4)ln2【再令2x=y】=(1/2)∫(x=0,π/2)ln(siny)dy-(π/4)ln2。
∴∫(x=0,π/2)ln(cosx)dx=(1/2)∫(x=0,π/2)ln(cosx)dx-(π/4)ln2,即∫(x=0,π/2)ln(cosx)dx=-(π/2)ln2。
积分的性质:
如果一个函数f在某个区间上黎曼可积,并且在此区间上大于等于零。那么它在这个区间上的积分也大于等于零。如果f勒贝格可积并且几乎总是大于等于零,那么它的勒贝格积分也大于等于零。
作为推论,如果两个函数上的可积函数f和g相比,f(几乎)总是小于等于g,那么f的(勒贝格)积分也小于等于g的(勒贝格)积分。