1

。さんの問題の解答

370
0
$$\newcommand{a}[0]{\alpha} \newcommand{b}[0]{\beta} \newcommand{beq}[0]{\begin{eqnarray*}} \newcommand{C}[0]{\mathbb{C}} \newcommand{ds}[0]{\displaystyle} \newcommand{eeq}[0]{\end{eqnarray*}} \newcommand{G}[1]{\Gamma({#1})} \newcommand{g}[0]{\gamma} \newcommand{hp}[0]{\frac{\pi}2} \newcommand{limn}[0]{\lim_{n\to\infty}} \newcommand{N}[0]{\mathbb{N}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{R}[0]{\mathbb{R}} \newcommand{sumk}[1]{\sum_{k={#1}}^n} \newcommand{sumn}[1]{\sum_{n={#1}}^\infty} \newcommand{t}[0]{\theta} \newcommand{tc}[0]{\TextCenter} \newcommand{Z}[0]{\mathbb{Z}} $$

${}$

この記事では, Twitterで 。さん がツイートされていた, 以下の問題の, 私の解法を書こうと思います.
${}$

$\hspace{10pt}$(問題)$$\limn\sum_{m=1}^n\bigg(\frac1m\sum_{k=2}^n\frac1{k^{2m}}\bigg)=\log2$$
$\hspace{10pt}$を示せ.

(こちらの都合で, 問題文の表記のみ少し変更させてもらいました.)
${}$

(証明)

$$\beq \sum_{m=1}^n\frac1m\sumk{2}\frac1{k^{2m}} &=&\int_0^1\sum_{m=1}^n\sumk{2}\frac{x^{m-1}}{k^{2m}}\,dx\\[5pt] &=&\sumk{2}\int_0^1\frac1{k^2}\sum_{m=1}^n\Big(\frac{x}{k^2}\Big)^{m-1}\,dx\\[5pt] &=&\sumk{2}\int_0^1\frac{\ 1-(\frac{x}{k^2})^n}{k^2-x}\,dx \eeq$$
と表せます.

ここで第$2$$\ds\sumk{2}\int_0^1\frac{1}{k^2-x}\Big(\frac{x}{k^2}\Big)^n\,dx$は, $n\to\infty$で明らかに$0$に収束します. このことは,
$$\sumk{2}\int_0^1\frac{1}{k^2-x}\Big(\frac{x}{k^2}\Big)^n\,dx\leq\sumk{2}\frac1{k^{2n}(k^2-1)}\leq\sumk{2}\frac1{3\cdot2^{2n}}=\frac{n-1}{3\cdot2^{2n}}$$
とすれば, 簡単に示せます.

従って, 極限には第$1$項しか影響せず,

$$\beq \limn\sum_{m=1}^n\frac1m\sum_{k=2}^n\frac1{k^{2m}} &=&\limn\sumk{2}\int_0^1\frac{1}{k^2-x}\,dx\\[5pt] &=&\limn\sumk{2}\,\log\frac{k^2}{k^2-1}\\[5pt] &=&\limn\sumk{2}\,\log\frac{k\cdot k}{(k-1)(k+1)}\\[5pt] &=&\limn\,\log\frac{2\cdot2}{1\cdot3}\cdot\frac{3\cdot3}{2\cdot4}\cdots\frac{n\cdot n}{(n-1)(n+1)}\\[5pt] &=&\limn\,\log\frac{2\cdot n}{n+1}\\[5pt] &=&\log2 \eeq$$
と, 示すことができました.$$\Box$$

${}$

投稿日:202115

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

東大理数B3です

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中