問1
cosx=0 なら,その点の近くでは cosx の符号が一定である。したがって ∣cosx∣ はその近傍で cosx または −cosx と一致し,f(x)=e−x∣cosx∣ は微分可能である。一方,cosx=0 となるのは x=(k+21)π(k は整数) である。x0=(k+21)π とおくと,∣cosx∣ の左微分係数と右微分係数はそれぞれ −1,1 である。e−x0>0 なので,f の左微分係数と右微分係数もそれぞれ −e−x0,e−x0 となり一致しない。よってこれらの点で f は微分可能でない。求める点は x=(k+21)π(k は整数). なお,原文で証明は不要とされている。
問2
u=x−mπ とおくと,−π/2≦u≦π/2 であり, ∣cosx∣=∣cos(mπ+u)∣=cosu である。したがって f(x)=e−mπe−ucosu. g(u)=e−ucosu とおけば g′(u)=−e−u(cosu+sinu). 区間内では cosu>0 だから,g′(u)=0 は tanu=−1,すなわち u=−π/4 のときに限る。u<−π/4 では g′(u)>0,u>−π/4 では g′(u)<0 である。端点では g=0 なので最大値は u=−π/4,すなわち x=mπ−π/4 でとる。ゆえに maxf(x)=21e−mπ+π/4.
問3
まず,I=∫e−xcosxdx,J=∫e−xsinxdx とおく。部分積分より I=−e−xcosx−J,J=−e−xsinx+I である。これを代入して 2I=e−x(sinx−cosx),∫e−xcosxdx=2e−x(sinx−cosx)+C を得る。右辺を微分すると e−xcosx となることも確かめられる。
(1)
cosx は 0≦x≦π/2 で非負,π/2≦x≦π で非正である。上の原始関数を F(x)=2e−x(sinx−cosx) とすると, a1=∫0π/2e−xcosxdx−∫π/2πe−xcosxdx=(F(2π)−F(0))−(F(π)−F(2π))=21+2e−π/2−e−π. したがって a1=21+2e−π/2−e−π.
(2)
∣cos(x+π)∣=∣cosx∣ だから,x=u+nπ とおくと an+1−an=∫nπ(n+1)πe−x∣cosx∣dx=e−nπ∫0πe−u∣cos(u+nπ)∣du=e−nπa1. よって an+1=an+21+2e−π/2−e−πe−nπ(n は 1 以上の整数).
(3)
r=e−π とおくと 0<r<1 であり,(2)を繰り返すことで an=a1j=0∑n−1rj=21+2e−π/2−e−π1−e−π1−e−nπ. n→∞ で e−nπ→0 だから, n→∞liman=2(1−e−π)1+2e−π/2−e−π.