解答
解法1
(1)
0<x<2π で微分する。まず dxd{(cosx)log(cosx)}=−sinxlog(cosx)−sinx であり、また
dxd(−cosx)=sinx,dxd∫0x(cost)log(cost)dt=(cosx)log(cosx)
である。したがって
f′(x)=−sinxlog(cosx)−sinx+sinx+(cosx)log(cosx)=(cosx−sinx)log(cosx)
となる。 0<x<2π では 0<cosx<1 であるから log(cosx)<0 である。また
cosx−sinx⎩⎨⎧>0=0<0(0<x<4π),(x=4π),(4π<x<2π)
である。よって
f′(x)<0(0<x<4π),f′(x)>0(4π<x<2π)
である。
したがって f(x) は x=4π まで減少し、その後増加する。ゆえに区間 0≦x<2π において最小値を持ち、その最小点は x=4π である。
(2)
(1)より最小値は f(4π) である。まず定積分を計算する。部分積分により
∫costlog(cost)dt=sintlog(cost)−∫sint⋅(−tant)dt=sintlog(cost)+∫costsin2tdt=sintlog(cost)+∫(sect−cost)dt=sintlog(cost)+log(sect+tant)−sint
である。したがって
∫0π/4costlog(cost)dt=22log22+log(2+1)−22.
また cos4π=22 であるから
f(4π)=22log22−22+∫0π/4costlog(cost)dt=2log22−2+log(2+1).
ここで log22=log(2−1/2)=−21log2 なので
f(4π)=log(1+2)−2−22log2
である。
よって求める最小値は log(1+2)−2−22log2 である。
解法2
(1)
f′(x)=(cosx−sinx)log(cosx).
0<x<π/2 では log(cosx)<0 だから、f′ は 0<x<π/4 で負、π/4<x<π/2 で正である。よって x=π/4 で最小値をもつ。
(2)
I=∫0π/4costlog(cost)dt
で u=sint と置くと
I=21∫01/2{log(1−u)+log(1+u)}du.
原始関数は
21{−(1−u)log(1−u)+(1+u)log(1+u)−2u}
である。上下端を代入して整理すると
I=21log21+log(1+2)−21.
したがって
f(4π)=21log21−21+I=log(1+2)−2−22log2.
これが最小値である。