跳到主要内容

京都大学 情報学研究科 システム科学専攻 2017年8月実施 数学 II

Author

犬 (finalized by 祭音Myyura with assistance from GPT 6 Astra)

Description

ee を自然対数の底とし、exp(x)=ex\exp(x)=e^x とする。

問1

正の整数 NN と実数 α\alpha を用いて e=α/Ne=\alpha/N と表記する。

(i) exe^x の Maclaurin 展開を書け。

(ii) 次の不等式を示せ。

(N1)!αn=0NN!n!<1.(N-1)!\alpha-\sum_{n=0}^{N}\frac{N!}{n!}<1.

(iii) (ii) を用いて α\alpha が整数でないことを示せ。

問2

f(x)=exp(xex)f(x)=\exp(-x-e^{-x}) (<x<-\infty<x<\infty) とする。

(i) u=etu=-e^{-t} を用いて F(x)=xf(t)dtF(x)=\int_{-\infty}^{x}f(t)\,dt を計算せよ。

(ii) F(x)f(x)dx\int_{-\infty}^{\infty}F(x)f(x)\,dx を計算せよ。

(iii) 実定数 a,ba,b に対し F(xb)f(xa)dx\int_{-\infty}^{\infty}F(x-b)f(x-a)\,dx を計算せよ。

题目描述

ee 为自然对数的底,exp(x)=ex\exp(x)=e^x

问1 用正整数 NN 和实数 α\alpha 写成 e=α/Ne=\alpha/N。(i)写出 exe^x 的 Maclaurin 展开。(ii)证明

(N1)!αn=0NN!n!<1.(N-1)!\alpha-\sum_{n=0}^{N}\frac{N!}{n!}<1.

(iii)利用(ii)证明 α\alpha 不是整数。

问2f(x)=exp(xex)f(x)=\exp(-x-e^{-x})xRx\in\mathbb R。(i)用代换 u=etu=-e^{-t} 计算 F(x)=xf(t)dtF(x)=\int_{-\infty}^{x}f(t)\,dt。(ii)计算 F(x)f(x)dx\int_{-\infty}^{\infty}F(x)f(x)\,dx。(iii)对实常数 a,ba,b,计算 F(xb)f(xa)dx\int_{-\infty}^{\infty}F(x-b)f(x-a)\,dx

Kai

問1

(i) ex=n=0xn/n!e^x=\sum_{n=0}^{\infty}x^n/n!

(ii) e=α/Ne=\alpha/N より

D:=(N1)!αn=0NN!n!=k=11(N+1)(N+2)(N+k).D:=(N-1)!\alpha-\sum_{n=0}^N\frac{N!}{n!} =\sum_{k=1}^{\infty}\frac1{(N+1)(N+2)\cdots(N+k)}.

各項は正であり、k2k\ge2 では分母が (N+1)k(N+1)^k より大きい。よって

0<D<k=11(N+1)k=1N1.0<D<\sum_{k=1}^{\infty}\frac1{(N+1)^k}=\frac1N\le1.

(iii) α\alpha が整数なら DD も整数となるが、0<D<10<D<1 に矛盾する。よって α\alpha は整数ではない。

問2

(i) u=etu=-e^{-t} なら du=etdtdu=e^{-t}dt なので

F(x)=exeudu=eex.F(x)=\int_{-\infty}^{-e^{-x}}e^u\,du=\boxed{e^{-e^{-x}}}.

(ii) F=fF'=fF()=0,F()=1F(-\infty)=0,F(\infty)=1 より

Ffdx=[F22]=12.\int_{-\infty}^{\infty}Ff\,dx=\left[\frac{F^2}{2}\right]_{-\infty}^{\infty}=\boxed{\frac12}.

(iii) t=xat=x-a、次いで u=etu=e^{-t} とおくと

F(xb)f(xa)dx=eebaetetetdt=0e(1+eba)udu=11+eba.\begin{aligned} \int_{-\infty}^{\infty}F(x-b)f(x-a)\,dx &=\int_{-\infty}^{\infty}e^{-e^{b-a}e^{-t}}e^{-t-e^{-t}}\,dt\\ &=\int_0^\infty e^{-(1+e^{b-a})u}\,du =\boxed{\frac1{1+e^{b-a}}}. \end{aligned}