跳到主要内容

京都大学 情報学研究科 システム科学専攻 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) 次の不等式を示せ。

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

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

問2​

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

(i) u=−e−tu=-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(x−b)f(x−a) 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)证明

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

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

问2 设 f(x)=exp⁡(−x−e−x)f(x)=\exp(-x-e^{-x}),x∈Rx\in\mathbb R。(i)用代换 u=−e−tu=-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(x−b)f(x−a) dx\int_{-\infty}^{\infty}F(x-b)f(x-a)\,dx。

Kai​

問1​

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

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

D:=(N−1)!α−∑n=0NN!n!=∑k=1∞1(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)}.

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

0<D<∑k=1∞1(N+1)k=1N≤1.0<D<\sum_{k=1}^{\infty}\frac1{(N+1)^k}=\frac1N\le1.

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

問2​

(i) u=−e−tu=-e^{-t} なら du=e−tdtdu=e^{-t}dt なので

F(x)=∫−∞−e−xeu du=e−e−x.F(x)=\int_{-\infty}^{-e^{-x}}e^u\,du=\boxed{e^{-e^{-x}}}.

(ii) F′=fF'=f、F(−∞)=0,F(∞)=1F(-\infty)=0,F(\infty)=1 より

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

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

∫−∞∞F(x−b)f(x−a) dx=∫−∞∞e−eb−ae−te−t−e−t dt=∫0∞e−(1+eb−a)u du=11+eb−a.\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}