跳到主要内容

公立はこだて未来大学 システム情報科学研究科 2021年8月実施 A日程 基礎数学 II

Author​

祭音Myyura (Based on Miyake's answer refined with GPT 6 Astra)

Description​

以下の問いに答えよ。(配点 25 点)

問1 f(x)=sin⁡xf(x)=\sin x,g(x)=e−2xg(x)=e^{-2x} とする。以下の式をみたす 8 つの定数 aia_i および bib_i(i=0,1,2,3i=0,1,2,3)をすべて求めよ。

f(x)=a0+a1x+a2x2+a3x3+o(x3)(x→0),g(x)=b0+b1x+b2x2+b3x3+o(x3)(x→0).\begin{aligned} f(x)&=a_0+a_1x+a_2x^2+a_3x^3+o(x^3)\quad(x\to0),\\ g(x)&=b_0+b_1x+b_2x^2+b_3x^3+o(x^3)\quad(x\to0). \end{aligned}

ただし,記号 oo はランダウのスモールオーである。さらに,その結果を用いて極限

lim⁡x→0(12sin⁡x+1e−2x−1)\lim_{x\to0}\left(\frac{1}{2\sin x}+\frac{1}{e^{-2x}-1}\right)

を求めよ。

問2 aa は実数とする。広義積分 ∫01xalog⁡x dx\displaystyle\int_0^1x^a\log x\,dx が収束するような aa の値の範囲を求め,そのときの広義積分の値を aa を用いて表せ。

题目描述​

回答以下问题。(25 分)

问1 设 f(x)=sin⁡xf(x)=\sin x、g(x)=e−2xg(x)=e^{-2x}。求满足下式的全部八个常数 aia_i、bib_i(i=0,1,2,3i=0,1,2,3):

f(x)=a0+a1x+a2x2+a3x3+o(x3)(x→0),g(x)=b0+b1x+b2x2+b3x3+o(x3)(x→0).\begin{aligned} f(x)&=a_0+a_1x+a_2x^2+a_3x^3+o(x^3)\quad(x\to0),\\ g(x)&=b_0+b_1x+b_2x^2+b_3x^3+o(x^3)\quad(x\to0). \end{aligned}

其中 oo 为兰道小 oo 记号。再利用所得结果求极限

lim⁡x→0(12sin⁡x+1e−2x−1).\lim_{x\to0}\left(\frac{1}{2\sin x}+\frac{1}{e^{-2x}-1}\right).

问2 设 aa 为实数。求使广义积分 ∫01xalog⁡x dx\displaystyle\int_0^1x^a\log x\,dx 收敛的 aa 的取值范围,并用 aa 表示此时的积分值。

Kai​

問1​

Taylor 展開により、

sin⁡x=x−x36+o(x3),e−2x=1−2x+2x2−43x3+o(x3).\begin{gathered} \sin x=x-\frac{x^3}{6}+o(x^3),\\ e^{-2x}=1-2x+2x^2-\frac43x^3+o(x^3). \end{gathered}

よって、

(a0,a1,a2,a3)=(0,1,0,−1/6),(b0,b1,b2,b3)=(1,−2,2,−4/3).\boxed{\begin{gathered} (a_0,a_1,a_2,a_3)=(0,1,0,-1/6),\\ (b_0,b_1,b_2,b_3)=(1,-2,2,-4/3) \end{gathered}}.

さらに

12sin⁡x=12x+O(x),1e−2x−1=−12x−12+O(x)\begin{gathered} \frac1{2\sin x}=\frac1{2x}+O(x),\\ \frac1{e^{-2x}-1}=-\frac1{2x}-\frac12+O(x) \end{gathered}

より、求める極限は −1/2\boxed{-1/2}。

問2​

a≠−1a\ne-1 のとき、

∫xalog⁡x dx=xa+1(log⁡xa+1−1(a+1)2)+C.\int x^a\log x\,dx =x^{a+1}\left(\frac{\log x}{a+1}-\frac1{(a+1)^2}\right)+C.

x→0+x\to0+ で下端の項が 00 となるのは a>−1a>-1 のときである。a=−1a=-1 では原始関数が (log⁡x)2/2(\log x)^2/2 となり、a<−1a<-1 の場合も積分は −∞-\infty に発散する。したがって、

a>−1,∫01xalog⁡x dx=−1(a+1)2.\boxed{\begin{gathered} a>-1,\\ \int_0^1x^a\log x\,dx=-\frac1{(a+1)^2} \end{gathered}}.

Reference​