数列 $a_n$ が $a_n = \sum_{k=1}^n \frac{1}{2k-1}$ で定義されている。 (1) 不等式 $\int_1^{2n+1} \frac{1}{x} dx < 2a_n$ が成り立つことを示す。 (2) 極限 $\lim_{n \to \infty} \frac{a_n}{\log n}$ を求める。

解析学数列積分極限不等式
2025/6/3

1. 問題の内容

数列 ana_nan=k=1n12k1a_n = \sum_{k=1}^n \frac{1}{2k-1} で定義されている。
(1) 不等式 12n+11xdx<2an\int_1^{2n+1} \frac{1}{x} dx < 2a_n が成り立つことを示す。
(2) 極限 limnanlogn\lim_{n \to \infty} \frac{a_n}{\log n} を求める。

2. 解き方の手順

(1)
まず、積分を計算する。
12n+11xdx=[logx]12n+1=log(2n+1)log(1)=log(2n+1)\int_1^{2n+1} \frac{1}{x} dx = [\log x]_1^{2n+1} = \log(2n+1) - \log(1) = \log(2n+1)
次に、ana_n を評価する。
an=k=1n12k1=1+13+15++12n1a_n = \sum_{k=1}^n \frac{1}{2k-1} = 1 + \frac{1}{3} + \frac{1}{5} + \cdots + \frac{1}{2n-1}
ここで、各項を積分で評価することを考える。
f(x)=12x1f(x) = \frac{1}{2x-1} を考えると、x>0x > 0 で減少関数。
kk+112x1dx<12k1\int_k^{k+1} \frac{1}{2x-1} dx < \frac{1}{2k-1}
したがって、
k=1nkk+112x1dx<k=1n12k1=an\sum_{k=1}^n \int_k^{k+1} \frac{1}{2x-1} dx < \sum_{k=1}^n \frac{1}{2k-1} = a_n
1n+112x1dx<an\int_1^{n+1} \frac{1}{2x-1} dx < a_n
12[log(2x1)]1n+1<an\frac{1}{2} [\log(2x-1)]_1^{n+1} < a_n
12(log(2n+1)log(1))<an\frac{1}{2} (\log(2n+1) - \log(1)) < a_n
12log(2n+1)<an\frac{1}{2} \log(2n+1) < a_n
log(2n+1)<2an\log(2n+1) < 2a_n
よって、12n+11xdx<2an\int_1^{2n+1} \frac{1}{x} dx < 2a_n が成り立つ。
(2)
an=k=1n12k1a_n = \sum_{k=1}^n \frac{1}{2k-1}
anlogn=k=1n12k1logn\frac{a_n}{\log n} = \frac{\sum_{k=1}^n \frac{1}{2k-1}}{\log n}
k=1n1k=logn+γ+o(1)\sum_{k=1}^n \frac{1}{k} = \log n + \gamma + o(1) (γ\gamma はオイラー・マスケローニ定数)
k=12n1k=k=1n12k1+k=1n12k=k=1n12k1+12k=1n1k\sum_{k=1}^{2n} \frac{1}{k} = \sum_{k=1}^n \frac{1}{2k-1} + \sum_{k=1}^n \frac{1}{2k} = \sum_{k=1}^n \frac{1}{2k-1} + \frac{1}{2} \sum_{k=1}^n \frac{1}{k}
k=12n1k=log(2n)+γ+o(1)=log2+logn+γ+o(1)\sum_{k=1}^{2n} \frac{1}{k} = \log (2n) + \gamma + o(1) = \log 2 + \log n + \gamma + o(1)
12k=1n1k=12(logn+γ+o(1))\frac{1}{2} \sum_{k=1}^n \frac{1}{k} = \frac{1}{2} (\log n + \gamma + o(1))
したがって、
k=1n12k1=log2+logn+γ12logn12γ+o(1)=12logn+log2+12γ+o(1)\sum_{k=1}^n \frac{1}{2k-1} = \log 2 + \log n + \gamma - \frac{1}{2} \log n - \frac{1}{2} \gamma + o(1) = \frac{1}{2} \log n + \log 2 + \frac{1}{2} \gamma + o(1)
anlogn=12logn+log2+12γ+o(1)logn=12+log2+12γlogn+o(1)logn\frac{a_n}{\log n} = \frac{\frac{1}{2} \log n + \log 2 + \frac{1}{2} \gamma + o(1)}{\log n} = \frac{1}{2} + \frac{\log 2 + \frac{1}{2} \gamma}{\log n} + \frac{o(1)}{\log n}
nn \to \infty のとき、log2+12γlogn0\frac{\log 2 + \frac{1}{2} \gamma}{\log n} \to 0, o(1)logn0\frac{o(1)}{\log n} \to 0
したがって、limnanlogn=12\lim_{n \to \infty} \frac{a_n}{\log n} = \frac{1}{2}

3. 最終的な答え

(1) 12n+11xdx<2an\int_1^{2n+1} \frac{1}{x} dx < 2a_n が成り立つ。
(2) limnanlogn=12\lim_{n \to \infty} \frac{a_n}{\log n} = \frac{1}{2}

「解析学」の関連問題

関数 $y = x^{\frac{1}{x}}$ の増減と極値を調べ、グラフの概形を描く問題です。

関数の増減極値対数微分法グラフの概形微分
2025/6/6

与えられた2変数関数 $f(x,y)$ の停留点を求め、それぞれの停留点が極大点か極小点かを判定する。 (1) $f(x,y) = x^2 - 4x + y^2 - 6y + 13$ (2) $f(x...

多変数関数偏微分停留点極大点極小点ヘッセ行列
2025/6/6

次の極限を求めます。 $\lim_{n \to \infty} (1 - \frac{1}{n^2})^n$

極限指数関数対数関数テイラー展開マクローリン展開
2025/6/6

与えられた問題は、極限 $\lim_{x \to \infty} x \sin(\frac{1}{x})$ を計算することです。

極限三角関数置換
2025/6/6

次の極限を求めます。 $\lim_{n \to \infty} \left(1 - \frac{1}{n+1}\right)^n$

極限数列指数関数e
2025/6/6

$\lim_{n \to \infty} n \sin \frac{\pi}{n}$ の値を求めます。

極限三角関数ロピタルの定理
2025/6/6

与えられた極限を計算する問題です。具体的には、以下の極限を求めます。 $\lim_{n \to \infty} \frac{1}{n^2} \sum_{k=1}^{n} k \sin \frac{k\...

極限リーマン和定積分部分積分
2025/6/6

極限値 $S = \lim_{n \to \infty} \frac{1}{n^5}(1^4 + 2^4 + 3^4 + \dots + n^4)$ を求めよ。

極限級数区分求積法積分
2025/6/6

次の極限を求める問題です。 $\lim_{x \to 0} \frac{\sin x (1 - \cos x)}{x^3}$

極限三角関数ロピタルの定理
2025/6/6

与えられた極限 $S = \lim_{n\to\infty} \frac{1}{n^5}(1^4 + 2^4 + 3^4 + \cdots + n^4)$ を計算する。

極限リーマン和定積分積分計算
2025/6/6