Банк задач по математике

Задача VI.3.1

(а)(б)(в)(г)

Пусть $Q>1, p, q \in \mathbb {R}$ . Докажите, что при $n \rightarrow +\infty$ справедливы соотношения

?

(а)

$\sum_{1 \leqslant k \leqslant n} k^{p} \ln^{q} k \sim \frac{n^{p+1}}{p+1} \ln^{q} n \quad (p>-1)$ ;

(б)

$\sum_{k \geqslant n} \frac{\ln^{q} k}{k^{p}} \sim \frac{\ln^{q} n}{(p-1) n^{p-1}} \quad (p>1)$ ;

(в)

$\sum_{1 \leqslant k \leqslant n} k^{p} Q^{k} \sim \frac{Q}{Q-1} n^{p} Q^{n}$ ;

(г)

$\sum_{k \geqslant n} \frac{k^{p}}{Q^{k}} \sim \frac{Q}{Q-1} \frac{n^{p}}{Q^{n}}$ .

Задача VI.3.2

Пусть $\alpha >0$ и $x_{n}=\sum_{1 \leqslant k \leqslant n^{\alpha }} \frac{1}{k}\left(1-\frac{1}{n}\right)^{k}$ . Докажите, что $x_{n} \sim \min (1, \alpha ) \ln n$ .

?

Задача VI.3.3

(а)(б)

Пусть $a_{n}>0, b_{n}=o\left(a_{n}\right), c_{n} \sim a_{n}$ . Докажите, что

?

(а)

если $\sum a_{n}=+\infty$ , то

\sum _{1 \leqslant k \leqslant n} b_{k}=o\left(\sum _{1 \leqslant k \leqslant n} a_{k}\right), \quad \sum _{1 \leqslant k \leqslant n} c_{k} \sim \sum _{1 \leqslant k \leqslant n} a_{k} ;

(б)

если $\sum a_{n}<+\infty$ , то

\sum _{k \geqslant n} b_{k}=o\left(\sum _{k \geqslant n} a_{k}\right), \quad \sum _{k \geqslant n} c_{k} \sim \sum _{k \geqslant n} a_{k} .

Примечание.

?

Напомним, что $\sum a_{n}$ — обозначение ряда $\sum_{n \geqslant 1} a_{n}$ .

Задача VI.3.4

(а)(б)(в)(г)

Пусть $a_{n} \downarrow 0, p \geqslant 0, \alpha \in \mathbb {R}$ . Докажите, что

?

(а)

если $\sum_{1 \leqslant k \leqslant n} k^{\alpha } a_{k}=O\left(n^{p}\right)$ , то $a_{n}=O\left(n^{p-\alpha -1}\right)$ ;

(б)

если $\sum_{1 \leqslant k \leqslant n} k^{\alpha } a_{k}=o\left(n^{p}\right)$ , то $a_{n}=o\left(n^{p-\alpha -1}\right)$ ;

(в)

если $\quad \sum_{k \geqslant n} k^{\alpha } a_{k}=O\left(n^{-p}\right)$ , то $a_{n}=O\left(n^{-p-\alpha -1}\right)$ ;

(г)

если $\quad \sum_{k \geqslant n} k^{\alpha } a_{k}=o\left(n^{-p}\right)$ , то $a_{n}=o\left(n^{-p-\alpha -1}\right)$ .

Задача VI.3.5

(а)(б)(в)

Пусть $p>0, \alpha \in \mathbb {R}$ и $\sum_{1 \leqslant k \leqslant n} k^{\alpha } x_{k} \sim n^{p}$ . Докажите, что

?

(а)

если $p>\alpha$ , то $S_{n}=x_{1}+\ldots +x_{n} \sim \frac{p}{p-\alpha } n^{p-\alpha }$ ;

(б)

если $p=\alpha$ , то $S_{n}=x_{1}+\ldots +x_{n} \sim p \ln n$ ;

(в)

если $p<\alpha$ , то ряд $\sum x_{n}$ сходится и $\sigma_{n}=\sum_{k \geqslant n} x_{k} \sim \frac{p}{\alpha -p} n^{p-\alpha }$ .

Задача VI.3.6

(а)(б)(в)

Пусть $p>0, \quad \alpha \in \mathbb {R} \quad$ и $\quad$ ряд $\sum k^{\alpha } x_{k} \quad$ сходится, причём $\sum_{k \geqslant n} k^{\alpha } x_{k} \sim n^{-p}$ . Докажите, что

?

(а)

если $p<-\alpha$ , то $S_{n}=x_{1}+\ldots +x_{n} \sim \frac{p}{\left|p+\alpha \right|} n^{\left|p+\alpha \right|}$ ;

(б)

если $p=-\alpha$ , то $S_{n}=x_{1}+\ldots +x_{n} \sim p \ln n$ ;

(в)

если $p>-\alpha$ , то ряд $\sum x_{n}$ сходится и $\sigma_{n}=\sum_{k \geqslant n} x_{k} \sim \frac{p}{p+\alpha } n^{-(p+\alpha )}$ .

Задача VI.3.7

(а)(б)

Пусть $a_{n}>0$ и $\sqrt[n]{a_{n}} \uparrow +\infty$ . Докажите, что

?

(а)

$\sum_{1 \leqslant k \leqslant n} k^{p} a_{n} \sim n^{p} a_{n}$ ;

(б)

$\sum_{k \geqslant n} \frac{k^{p}}{a_{k}} \sim \frac{n^{p}}{a_{n}}$ .

Задача VI.3.8

(а)(б)

Пусть $a_{n} \downarrow 0, S_{n}=a_{1}+\ldots +a_{n} \sim \frac{n^{1-p}}{1-p}$ , где $0<p<1$ .

?

(а)

Докажите, что $a_{n} \sim n^{-p}$ .

(б)

Можно ли утверждать, что $a_{n} \sim \frac{1}{n}$ , если $S_{n} \sim \ln n$ ?

Задача VI.3.9

Пусть $a_{n} \downarrow 0$ и $\sum a_{n}<+\infty$ , причём $\sum_{k \geqslant n} a_{k} \sim n^{-p}$ , где $p>0$ . Докажите, что $a_{n} \sim p n^{-1-p}$ .

?

Задача VI.3.10

(а)(б)

Пусть $a_{n} \downarrow 0$ . Докажите, что

?

(а)

$\varlimsup_{\varepsilon \cdot \rightarrow +0} \frac{1}{\ln (1 / \varepsilon )} \sum a_{n}^{1+\varepsilon }=\varlimsup_{N \rightarrow \infty } \frac{1}{\ln \ln \left(1 / a_{N}\right)} \sum_{1 \leqslant n \leqslant N} a_{n}$ ;

(б)

$\overline{\lim }_{\varepsilon \rightarrow +0} \varepsilon \sum a_{n}^{1+\varepsilon } \leqslant \overline{\lim }_{N \rightarrow \infty } \frac{1}{\ln \left(1 / a_{N}\right)} \sum_{1 \leqslant n \leqslant N} a_{n} \leqslant e \overline{\lim }_{\varepsilon \rightarrow +0} \varepsilon \sum a_{n}^{1+\varepsilon }$ .

Можно ли уменьшить коэффициент $e$ в неравенстве б)?

Задача VI.3.11

Пусть $\alpha_{n}>0, \sum \alpha_{n}<+\infty$ и $f(t)=t \sum \frac{\alpha_{n}}{1+t^{2} \alpha_{n}}$ при $t \geqslant 0$ . Докажите, что поведение функции $f$ при $t \rightarrow +\infty$ тесно связано с поведением последовательности $\left\{ n \sqrt{\alpha_{n}}\right\}$ :

\frac{\pi }{2} \lim n \sqrt{\alpha _{n}} \leqslant \lim _{t \rightarrow +\infty } f(t) \leqslant \varlimsup _{t \rightarrow +\infty } f(t) \leqslant \frac{\pi }{2} \overline{\lim } n \sqrt{\alpha _{n}}

Кроме того,

\sup _{t \geqslant 0} f(t) \leqslant \frac{\pi }{2} \sup n \sqrt{\alpha _{n}}

причём коэффициент $\frac{\pi }{2}$ уменьшить нельзя.

?

Задача VI.3.12

Пусть $f:[0,+\infty ) \rightarrow \mathbb {R}$ — неотрицательная невозрастающая функция, $h>0$ . Докажите, что

\lim _{h \rightarrow +0} h \sum f(k h)=\int _{0}^{+\infty } f(t) d t

Верно ли это, если функция $f$ непрерывна, но не монотонна?

?

Задача VI.3.13

(а)(б)(в)

Определите асимптотику следующих сумм при $A \rightarrow +\infty$ :

?

(а)

$\sum_{k \geqslant 1} \frac{1}{k^{2}+A^{2}}$ ;

(б)

$\sum_{k \geqslant 1} e^{-k^{2} / A^{2}}$ ;

(в)

$\sum_{k \geqslant 1} \frac{k^{p-1}}{k^{q}+A^{q}}(0<p<q)$ .

Задача VI.3.14

(а)(б)

Пусть функция $f$ неотрицательна и убывает на $[1,+\infty )$ . Докажите, что

?

(а)

если $\int_{1}^{+\infty } f(t) d t=+\infty$ , то

\sum _{1 \leqslant k \leqslant n} f(k)=\int _{1}^{n+1} f(t) d t+C+o(1), \quad 0 \leqslant C \leqslant f(1)

в частности $\sum_{1 \leqslant k \leqslant n} f(k) \sim \int_{1}^{n} f(t) d t$ ;

(б)

если $\int_{1}^{+\infty } f(t) d t<+\infty$ , то

\sum _{k \geqslant n} f(k)=\int _{n}^{+\infty } f(t) d t+O(f(n))

в частности, если $f(x)=o\left(\int_{x}^{+\infty } f(t) d t\right)$ при $x \rightarrow +\infty$ , то

\sum _{k \geqslant n} f(k) \sim \int _{n}^{+\infty } f(t) d t

Задача VI.3.15

Если функция $f$ монотонна на $\left[m, n\right](m, n \in \mathbb {Z})$ , то

\left|\sum _{m \leqslant k \leqslant n} f(k)-\int _{m}^{n} f(t) d t\right| \leqslant \max (\left|f(n)\right|,\left|f(m)\right|)

В частности, если функция $f$ монотонна на $[1, \infty ), \int_{1}^{\infty } f(t) d t=+\infty$ и

f(x)=o\left(\int _{1}^{x} f(t) d t\right) \text{ при } x \rightarrow +\infty , \text{ то } \sum _{1 \leqslant k \leqslant n} f(k) \sim \int _{1}^{n} f(t) d t .

?

Задача VI.3.16

(а)(б)(в)

Пусть $M, N \in \mathbb {Z}, M \leqslant N$ , функция $f$ (вообще говоря, комплекснозначная) интегрируема на промежутке $\left[M-\frac{1}{2}, N+\frac{1}{2}\right]$ , и пусть

\Delta =\sum _{M \leqslant k \leqslant N} f(k)-\int _{M-1 / 2}^{N+1 / 2} f(t) d t

?

(а)

Докажите, что $\left|\Delta \right| \leqslant \frac{1}{2} \underset {M-\frac{1}{2}}{\stackrel{N+\frac{1}{2}}{\mathrm{~ V}}}(f)$ . В частности, если $f$ монотонна, то

\left|\Delta \right| \leqslant \frac{1}{2}\left|f\left(N+\frac{1}{2}\right)-f\left(M-\frac{1}{2}\right)\right| .

(б)

Если $f \in C^{1}\left(\left[M-\frac{1}{2}, N+\frac{1}{2}\right]\right)$ , то

\Delta =\int _{M-1 / 2}^{N+1 / 2}\left(t-\left[t\right]-\frac{1}{2}\right) f^{\prime }(t) d t

(в)

Если $f \in C^{2}\left(\left[M-\frac{1}{2}, N+\frac{1}{2}\right]\right)$ , то

\Delta =-\frac{1}{2} \int _{M-1 / 2}^{N+1 / 2}\left(t-\left[t\right]-\frac{1}{2}\right)^{2} f^{\prime \prime }(t) d t

и следовательно, $\left|\Delta \right| \leqslant \frac{1}{8} \int_{M-1 / 2}^{N+1 / 2}\left|f^{\prime \prime }(t)\right| d t$ . В частности, если $f$ выпукла или вогнута, то $\left|\Delta \right| \leqslant \frac{1}{8}\left|f^{\prime }\left(N+\frac{1}{2}\right)-f^{\prime }\left(M-\frac{1}{2}\right)\right|$ .

Задача VI.3.17

Пусть $f(p)=\sum_{n \geqslant 1} \frac{(-1)^{n+1}}{n^{p}}$ при $p>0$ . Докажите, что

f(p)=\frac{1}{2}+O(p) .

?

Задача VI.3.18

Докажите, что при $p \rightarrow +0$

\sum _{n \geqslant 1} \frac{1}{n^{p+1}}=\frac{1}{p}+\gamma +o(1) \quad (\gamma -\text{ постоянная Эйлера }) .

?

Задача VI.3.19

Докажите, что

\begin{aligned} \prod _{1 \leqslant k \leqslant n}\left(1+\frac{1}{\sqrt{k}}\right) & \sim A \frac{\exp (2 \sqrt{n})}{\sqrt{n}}, \\ \prod _{1 \leqslant k \leqslant n}\left(1+\frac{1}{\sqrt[3]{k}}\right) & \sim B \sqrt[3]{n} \exp \left(\frac{3}{2}\left(n^{2 / 3}-n^{1 / 3}\right)\right) \end{aligned}

для некоторых положительных чисел $A$ и $B$ .

?

Задача VI.3.20

Пусть $\alpha \in \mathbb {R} \backslash \mathbb {N}$ . Докажите, что

\binom {n-\alpha }{n}=\frac{(n-\alpha )(n-\alpha -1) \ldots (1-\alpha )}{n!} \sim \frac{C_{\alpha }}{n^{\alpha }} \quad \left(C_{\alpha } \neq 0\right) .

?

Задача VI.3.21

(а)(б)(в)

Докажите, что

?

(а)

$\sqrt[n^{2}]{1 \cdot 2^{2} \cdot 3^{3} \ldots n^{n}} \sim \frac{\sqrt{n}}{\sqrt[4]{e}}$ ;

(б)

$\sqrt[n^{3}]{1!\cdot (2!)^{2} \cdot (3!)^{3} \ldots (n!)^{n}} \sim \frac{\sqrt[3]{n}}{e^{4 / 9}}$ ;

(в)

$\sqrt[n]{1 \cdot 2^{2} \cdot 3^{3} \ldots n^{n}} \sim \left(\frac{n}{\sqrt{e}}\right)^{n / 2} \sqrt{n}$ .

Задача VI.3.22

(а)(б)(в)(г)

Пусть $\alpha >0$ . Докажите, что при $n \rightarrow +\infty (n \in \mathbb {N})$

?

(а)

$\sum_{1 \leqslant k \leqslant n} k^{\alpha k / n} \sim \frac{n^{1+\alpha }}{\alpha \ln n}$ ;

(б)

$\sum_{1 \leqslant k \leqslant n} k^{-\alpha k / n} \sim \frac{n}{\alpha \ln n}$ ;

(в)

$\sum_{1 \leqslant k \leqslant n}(k!)^{-\alpha / n} \sim \frac{n}{\alpha \ln n}$ ;

(г)

$\sum_{1 \leqslant k \leqslant n} k^{\alpha n} \sim \frac{n^{\alpha n}}{1-e^{-\alpha }}$ .

Задача VI.3.23

Докажите, что $\sum_{1 \leqslant k \leqslant n} \frac{n^{k}}{k!} \sim \frac{1}{2} e^{n}$ .

?

Задача VI.3.24

(а)(б)

Докажите, что

?

(а)

$\sum_{1 \leqslant k \leqslant n} \sqrt{C_{n}^{k}} \sim \sqrt[4]{2 \pi n} 2^{n / 2}$ ;

(б)

$\sum_{1 \leqslant k \leqslant n} C_{n}^{k} \sqrt{\left|2 k-n\right|} \sim \frac{\Gamma \left(\frac{3}{4}\right)}{\sqrt{\pi }} \sqrt[4]{2 n} 2^{n}$ .

Задача VI.3.25

Пусть $N \in \mathbb {N}$ и $x>0$ . Докажите, что

\sum _{n \geqslant N} e^{-x \sqrt{n}}=\left(\frac{2}{x} \sqrt{N-\frac{1}{2}}+\frac{2}{x^{2}}+O\left(\frac{x}{\sqrt{N}}\right)\right) e^{-x \sqrt{N-1 / 2}}

где постоянная в оценке $O$ -члена не зависит от $x$ и $N$ .

?

Задача VI.3.26

(а)(б)(в)

Пусть последовательность чисел $\left\{ x_{n}\right\}$ такова, что $\frac{x_{n}}{\sqrt{n}} \rightarrow C$ , $0 \leqslant C \leqslant +\infty$ . Найдите асимптотику суммы

\alpha _{N}=\sum _{n \geqslant N} e^{-x_{N} \sqrt{n}}

в следующих случаях:

?

(а)

$C=0$ ;

(б)

$C=+\infty$ ;

(в)

$0<C<+\infty$ .

Задача VI.3.27

Пусть $p>0$ и $S(x)=\sum_{k=0}^{\left[x\right]}(x-k)^{p}$ . Докажите, что при некотором $C>0$ для всех $x>0$ справедливо неравенство

\left|S(x)-\frac{1}{p+1} x^{p+1}\right| \leqslant C x^{p} .

?

Задача VI.3.28

Пусть $\psi \in C^{1}([a,+\infty )), \psi , \psi^{\prime }>0$ и $\psi =O\left(\psi^{\prime }\right)$ на $[a,+\infty )$ . Докажите, что

\int _{a}^{+\infty } e^{-\varepsilon \psi (t)} d t=\psi ^{-1}\left(\frac{1}{\varepsilon }\right)+O(1) \quad \text{ при } \quad \varepsilon \rightarrow +0

?

Задача VI.3.29

Найдите асимптотику при $t \rightarrow 1-0$ сумм рядов

?

(а)

$\sum \frac{1}{n} t^{\ln^{p} n}(p>0)$ ;

(б)

$\sum t^{\ln^{p} n} \quad (p>1)$ ;

(в)

$\sum t^{n^{p}} \quad (p>0)$ ;

(г)

$\sum t^{a^{n}} \quad (a>1)$ ;

(д)

$\sum t^{(a n)^{n}}(a>0)$ ;

(е)

$\sum t^{n!}$ .

Задача VI.3.30

(а)(б)

Найдите асимптотику при $t \rightarrow 1-0$ сумм рядов

?

(а)

$\sum n^{p} t^{n}(p>-1)$ ;

(б)

$\sum_{n \geqslant 2}(\ln n)^{p} t^{n}(p \in \mathbb {R})$ .

Задача VI.3.31

Найдите асимптотику при $t \rightarrow 1-0$ сумм рядов

?

(а)

$\sum \frac{t^{n}}{1+t^{n}}$ ;

(б)

$\sum \frac{n t^{n}}{1+t^{n}}$ ;

(в)

$\quad \sum \frac{t^{n}}{\left(1+t^{n}\right)^{2}}$ ;

(г)

$\quad \sum \frac{n t^{n}}{\left(1+t^{n}\right)^{2}}$ ;

(д)

$\sum \frac{t^{n}}{1-t^{n}}$ ;

(е)

$\sum \frac{n t^{n}}{1-t^{n}}$ ;

(ж)

$\sum \frac{t^{n}}{\left(1-t^{n}\right)^{2}}$ ;

(з)

$\sum \frac{n t^{n}}{\left(1-t^{n}\right)^{2}}$ ;

(и)

$\quad \sum \frac{(-1)^{n} t^{n}}{1-t^{n}}$ ;

(к)

$\quad \sum \frac{(-1)^{n} n t^{n}}{1-t^{n}}$ ;

(л)

$\quad \sum \frac{(-1)^{n} t^{n}}{\left(1-t^{n}\right)^{2}}$ ;

(м)

$\quad \sum \frac{(-1)^{n} n t^{n}}{\left(1-t^{n}\right)^{2}}$ .

Задача VI.3.32

Найдите асимптотику при $t \rightarrow 1-0$ сумм рядов

?

(а)

$\sum \frac{t^{n}}{1+t^{2 n}}$ ;

(б)

$\sum \frac{t^{n}}{\left(1+t^{2 n}\right)^{2}}$ ;

(в)

$\quad \sum \frac{n t^{n}}{1-t^{2 n}}$ ;

(г)

$\quad \sum \frac{t^{n}}{1-t^{2 n}}$ ;

(д)

Задача VI.3.33

Пусть $\tau (k)$ — число делителей натурального числа $k$ . Докажите, что

\sum _{1 \leqslant k \leqslant n} \tau (k)=n(\ln n+2 \gamma -1)+O(\sqrt{n}) .

Здесь $\gamma$ — константа Эйлера (см. задачу II.2.8).

?

Задача VI.3.34

(а)(б)

Найдите асимптотику при $t \rightarrow 1-0$ сумм рядов

?

(а)

$T(t)=\sum \tau (n) t^{n}$ ,

(б)

$S(t)=\sum \sigma (n) t^{n}$ , $(\tau (n)$ — число делителей, $\sigma (n)$ — сумма делителей числа $n$ ).

Задача VI.3.35

(а)(б)

Пусть гладкая функция $\varphi$ выпукла или вогнута на $[1,+\infty )$ , $\lim_{x \rightarrow +\infty } \varphi (x)=+\infty$ . Докажите, что

?

(а)

если $\ln \varphi (x)=o(x)$ при $x \rightarrow +\infty$ , то

\sum \varphi (n) t^{n} \sim \frac{1}{1-t} \sum \varphi ^{\prime }(n) t^{n} \quad (t \rightarrow 1-0) ;

(б)

если $\varphi (x)=O(x)$ при $x \rightarrow +\infty$ , то

\sum \varphi (n) t^{n}=\frac{1}{1-t}\left(\sum \varphi ^{\prime }(n) t^{n}+C+o(1)\right) \quad (t \rightarrow 1-0),

где $C=\lim \left(\varphi (n)-\left(\varphi^{\prime }(1)+\ldots +\varphi^{\prime }(n)\right)\right)$ . В частности, взяв $\varphi (x)=\ln x$ , получим уточнение результата задачи 3.30 б) при $p=1$ :

\sum t^{n} \ln n=\left|\ln (1-t)\right|-\gamma +o(1)

Задача VI.3.36

(а)(б)

Найдите асимптотику при $A \rightarrow +\infty$ сумм ( $C>0$ )

?

(а)

$\sum e^{-C n}\left(1-\frac{1}{n^{2}}\right)^{A}$ ;

(б)

$\sum e^{-C n}\left(1-\frac{1}{n}\right)^{A}$ .

Задача VI.3.37

(а)(б)

Пусть $1<b<a$ . Докажите, что при $s \rightarrow +\infty$

?

(а)

$\sum_{n \geqslant 1} \frac{b^{n}}{a^{n}+a^{s}} \sim \left(\frac{b}{a}\right)^{s} \varphi (s)$ ;

(б)

$\sum_{n \geqslant 1} \frac{1}{a^{n} \operatorname {sh}\left(b^{s-n}\right)} \sim \frac{\psi (s)}{a^{s}}$ ,

где $\varphi , \psi -1$ -периодические положительные гладкие функции:

\varphi (s)=\sum _{k \in \mathbb {Z}} \frac{b^{k-s}}{1+a^{k-s}}, \quad \psi (s)=\sum _{k \in \mathbb {Z}} \frac{a^{k-s}}{\operatorname {sh}\left(b^{k-s}\right)} .

Чему равно среднее значение функции $\psi$ при $a=b^{2}$ ?

Задача VI.3.38

Найдите асимптотику суммы

S_{m}=\sum _{n \geqslant 0} \frac{1}{2^{n}}\left(1-\frac{1}{2^{n}}\right)^{2^{m}}

?

Задача VI.3.39

Докажите, что

\max _{x_{1}^{2}+\ldots +x_{n}^{2}=1} \sum _{k=1}^{n}\left(x_{1}+\frac{x_{2}}{\sqrt{2}}+\ldots +\frac{x_{k}}{\sqrt{k}}\right)^{2} \underset {n \rightarrow +\infty }{\sim } n \ln n .

?

Задача VI.3.40

(а)(б)(в)

Пусть $s>1,\left\{ p_{k}\right\}$ — последовательность всех простых чисел, занумерованных в порядке возрастания. Для нечётного номера $2 n+1$ положим $\varphi (2 n+1)=(-1)^{n}$ .

Рассуждая так же, как при решении задач I.2.11 б) и I.2.12 б), докажите, что

?

(а)

$\prod_{k \geqslant 2}\left(1-\frac{\varphi \left(p_{k}\right)}{p_{k}^{s}}\right)^{-1}=\sum_{n \geqslant 0} \frac{(-1)^{n}}{(2 n+1)^{s}}$ ;

(б)

$\sum_{k \geqslant 1} \frac{\varphi \left(p_{k}\right)}{p_{k}^{s}}=O(1)$ .

(в)

С помощью результата задачи I.2.12б) выведите отсюда асимптотические соотношения

\sum _{p_{k}=1 \bmod 4} \frac{1}{p_{k}^{s}} \underset {s \rightarrow 1}{\sim } \frac{1}{2} \ln \frac{1}{s-1}, \quad \sum _{p_{k}=-1 \bmod 4} \frac{1}{p_{k}^{s}} \underset {s \rightarrow 1}{\sim } \frac{1}{2} \ln \frac{1}{s-1} .

Из п. в) следует, что каждая из арифметических прогрессий $\left\{ 4 m \pm 1\right\}$ содержит бесконечно много простых чисел. Это частный случай знаменитой теоремы Дирихле, согласно которой любая арифметическая прогрессия $\left\{ a m+b\right\}$ с взаимно простыми натуральными $a$ и $b$ содержит бесконечно много простых чисел (см. [ГЛ], [Ка], [Тр]). Интересные сведения, связанные с этой теоремой, можно найти в $[\mathrm{Kn}]$ . Видно также, что прогрессии $\left\{ 4 m \pm 1\right\}$ содержат «примерно поровну» простых чисел. Этот результат (а также задачу I.2.15) можно дополнить следующими асимптотическими соотношениями.

Задача VI.3.41

Докажите, что

\sum _{\substack {p_{k}=1 \bmod 4 \\ p_{k} \leqslant N}} \frac{1}{p_{k}} \underset {N \rightarrow \infty }{\sim } \frac{\ln \ln N}{2}, \quad \sum _{\substack {p_{k}=-1 \bmod 4 \\ p_{k} \leqslant N}}^{\frac{1}{p_{k}}} \underset {N \rightarrow \infty }{\sim } \frac{\ln \ln N}{2} .

?

Асимптотика сумм