トップ 東北大学 2013年 理系 第4問

東北大学 2013年 理系 第4問 解説

数学3/積分法数学3/極限数学2/指数対数テーマ/不等式の証明テーマ/定積分計算
東北大学 2013年 理系 第4問 解説

方針・初手

$b_n$ では被積分関数に $\cos \theta$ が付いているので,$u=\sin \theta$ と置くとただちに積分できる形になる。

また,区間 $-\dfrac{\pi}{6} \le \theta \le \dfrac{\pi}{6}$ では $\cos \theta$ の値域が簡単に押さえられるので,これを用いて $a_n$ と $b_n$ を比較する。最後はその評価と $b_n$ の明示式からはさみうちを行えばよい。

解法1

まず

$$ b_n=\int_{-\pi/6}^{\pi/6} e^{n\sin\theta}\cos\theta,d\theta $$

において,$u=\sin\theta$ と置くと $du=\cos\theta,d\theta$ であり,積分区間は

$$ \theta=-\frac{\pi}{6}\ \Rightarrow\ u=-\frac12,\qquad \theta=\frac{\pi}{6}\ \Rightarrow\ u=\frac12 $$

となる。したがって

$$ b_n=\int_{-1/2}^{1/2} e^{nu},du =\left[\frac1n e^{nu}\right]_{-1/2}^{1/2} =\frac{e^{n/2}-e^{-n/2}}{n}. $$

よって (1) の答えは

$$ b_n=\frac{e^{n/2}-e^{-n/2}}{n} $$

である。

次に (2) を示す。区間 $-\dfrac{\pi}{6}\le \theta\le \dfrac{\pi}{6}$ では

$$ \frac{\sqrt3}{2}\le \cos\theta \le 1 $$

が成り立つ。$e^{n\sin\theta}>0$ であるから,両辺にこれを掛けて

$$ e^{n\sin\theta}\cos\theta \le e^{n\sin\theta} \le \frac{2}{\sqrt3}e^{n\sin\theta}\cos\theta $$

を得る。これを $-\dfrac{\pi}{6}$ から $\dfrac{\pi}{6}$ まで積分すると

$$ \int_{-\pi/6}^{\pi/6} e^{n\sin\theta}\cos\theta,d\theta \le \int_{-\pi/6}^{\pi/6} e^{n\sin\theta},d\theta \le \frac{2}{\sqrt3} \int_{-\pi/6}^{\pi/6} e^{n\sin\theta}\cos\theta,d\theta. $$

すなわち

$$ b_n\le a_n\le \frac{2}{\sqrt3}b_n $$

がすべての $n$ について成り立つ。

最後に (3) を求める。上の不等式に $n$ を掛けると

$$ nb_n\le na_n\le \frac{2}{\sqrt3}nb_n $$

である。ここで (1) より

$$ nb_n=e^{n/2}-e^{-n/2} =e^{n/2}(1-e^{-n}) $$

であるから,

$$ \log(nb_n)=\frac n2+\log(1-e^{-n}) $$

となる。したがって

$$ \frac1n\log(nb_n) ================= \frac12+\frac1n\log(1-e^{-n}) \to \frac12 \qquad (n\to\infty). $$

また,

$$ \frac1n\log(na_n) \le \frac1n\log!\left(\frac{2}{\sqrt3}nb_n\right) ============================================= \frac1n\log(nb_n)+\frac1n\log!\frac{2}{\sqrt3} $$

であり,右辺は $n\to\infty$ で $\dfrac12$ に収束する。一方,

$$ \frac1n\log(na_n)\ge \frac1n\log(nb_n)\to \frac12 $$

である。よってはさみうちより

$$ \lim_{n\to\infty}\frac1n\log(na_n)=\frac12 $$

である。

解説

この問題の要点は,$b_n$ の積分が $u=\sin\theta$ によってそのまま指数関数の積分になる点である。ここで一般項を明示できる。

さらに $a_n$ と $b_n$ の差は $\cos\theta$ の有無だけであり,しかも積分区間が $[-\pi/6,\pi/6]$ なので $\cos\theta$ は $\dfrac{\sqrt3}{2}$ 以上 $1$ 以下に収まる。したがって両者は定数倍の範囲で比較でき,極限も同じ指数的増大率をもつことが分かる。

答え

$$ \text{(1)}\quad b_n=\frac{e^{n/2}-e^{-n/2}}{n} $$

$$ \text{(2)}\quad b_n\le a_n\le \frac{2}{\sqrt3}b_n\qquad (\forall n\in\mathbb{N}) $$

$$ \text{(3)}\quad \lim_{n\to\infty}\frac1n\log(na_n)=\frac12 $$

自分の記録

ログインすると保存できます。

誤りを報告

解説の誤り、誤字、表示崩れに気づいた場合は送信してください。ログイン不要です。