IV.6

Тригонометрические ряды

[24/96%]
Показать
LaTeX
Задача IV.6.1

Пусть {An},{φn}\left\{ A_{n}\right\} ,\left\{ \varphi_{n}\right\} - числовые последовательности, An→+∞A_{n} \rightarrow +\infty. Докажите, что

?
(а)

в любом непустом интервале найдётся такая точка x0x_{0}, что lim‾⁡n→+∞cos⁡(Anx0+φn)=1\varlimsup_{n \rightarrow +\infty } \cos \left(A_{n} x_{0}+\varphi_{n}\right)=1;

(б)

в канторовом множестве CC найдётся такая точка x0x_{0}, что cos⁡(Anx0+φn)↛0\cos \left(A_{n} x_{0}+\varphi_{n}\right) \nrightarrow 0.

Задача IV.6.2

Пусть α<β\alpha <\beta. Докажите, что an,bn→0a_{n}, b_{n} \rightarrow 0, если

(ancos⁡nx+bnsin⁡nx)→0 для любого x∈[α,β]. \left(a_{n} \cos n x+b_{n} \sin n x\right) \rightarrow 0 \text{ для любого } x \in [\alpha , \beta ] .
?
Задача IV.6.3

Укажите такое множество E⊂[0,2π]E \subset [0,2 \pi ] мощности континуума и такую последовательность Bn→+∞B_{n} \rightarrow +\infty, что sin⁡Bnx⇉0\sin B_{n} x \rightrightarrows 0 на множестве EE.

?
Задача IV.6.4

Пусть α<β\alpha <\beta. Докажите, что ∑(∣an∣+∣bn∣)<+∞\sum \left(\left|a_{n}\right|+\left|b_{n}\right|\right)<+\infty, если ∑∣ancos⁡nx+bnsin⁡nx∣⩽\sum \left|a_{n} \cos n x+b_{n} \sin n x\right| \leqslant const на [α,β]\left[\alpha , \beta \right].

?
Задача IV.6.5
?
(а)

Укажите иррациональную точку, в которой ряд ∑sin⁡(2n2πx)\sum \sin \left(2^{n^{2}} \pi x\right) сходится.

(б)

Докажите, что ряд ∑ansin⁡(2nπx)\sum a_{n} \sin \left(2^{n} \pi x\right), где an→0a_{n} \rightarrow 0, абсолютно сходится хотя бы в одной иррациональной точке.

Задача IV.6.6

Рассмотрим ряд ∑sin⁡(n!πx)\sum \sin (n!\pi x).

?
(а)

Докажите, что он сходится в точках x=sin⁡1,x=cos⁡1,x=2ex=\sin 1, x=\cos 1, x=\frac{2}{e} и их кратных, а в точках me(m∈N)m e(m \in \mathbb {N}) сходится лишь при нечётном mm. Будет ли сходимость абсолютной?

(б)

Докажите, что этот ряд расходится в точках x=sh⁡1x=\operatorname {sh} 1 и (вопреки утверждению Римана, см. с. 260 и 505 в [Pи]) x=12sh⁡1x=\frac{1}{2} \operatorname {sh} 1.

(в)

Укажите множество мощности континуума, во всех точках которого этот ряд абсолютно сходится.

Задача IV.6.7

Докажите, что ряды

∑1neπin(x−ln⁡[n]) и ∑1neπin(x+cln⁡n) \sum \frac{1}{\sqrt{n}} e^{\pi i n(x-\ln \left[\sqrt{n}\right])} \quad \text{ и } \quad \sum \frac{1}{\sqrt{n}} e^{\pi i n(x+c \ln n)}

расходятся для любых x,c∈R,c≠0x, c \in \mathbb {R}, c \neq 0.

?
Задача IV.6.8

Докажите, что при x∈(0,π)x \in (0, \pi )

?
(а)

∑1⩽n⩽N1nsin⁡nx>0\sum_{1 \leqslant n \leqslant N} \frac{1}{n} \sin n x>0;

(б)

1+∑1⩽n⩽N1ncos⁡nx>01+\sum_{1 \leqslant n \leqslant N} \frac{1}{n} \cos n x>0.

Задача IV.6.9

Пусть {an}1N\left\{ a_{n}\right\}_{1}^{N} и {bn}1N\left\{ b_{n}\right\}_{1}^{N} такие конечные последовательности вещественных чисел, что суммы

A(x)=∑1⩽n⩽Nansin⁡nx и B(x)=∑1⩽n⩽Nbnsin⁡nx A(x)=\sum _{1 \leqslant n \leqslant N} a_{n} \sin n x \quad \text{ и } \quad B(x)=\sum _{1 \leqslant n \leqslant N} b_{n} \sin n x

неотрицательны на [0,π]\left[0, \pi \right]. Докажите, что

C(x)=∑1⩽n⩽Nanbnnsin⁡nx⩾0 для любого x∈[0,π]. C(x)=\sum _{1 \leqslant n \leqslant N} \frac{a_{n} b_{n}}{n} \sin n x \geqslant 0 \quad \text{ для любого } \quad x \in [0, \pi ] .
?
Задача IV.6.10

Докажите, что при x∈(0,π)x \in (0, \pi )

Sn(x)=sin⁡x+sin⁡2x+…+sin⁡nx=O(min⁡(n,1x))Cn(x)=cos⁡x+cos⁡2x+…+cos⁡nx=O(min⁡(n,1x)) \begin{gathered} S_{n}(x)=\sin x+\sin 2 x+\ldots +\sin n x=O\left(\min \left(n, \frac{1}{x}\right)\right) \\ C_{n}(x)=\cos x+\cos 2 x+\ldots +\cos n x=O\left(\min \left(n, \frac{1}{x}\right)\right) \end{gathered}
?
Задача IV.6.11

Вычислите пределы

lim⁡A→+∞1ln⁡A∫0π/2∣sin⁡Ax∣sin⁡xdx и lim⁡A→+∞1ln⁡A∫0π/2sin⁡2Axsin⁡xdx. \lim _{A \rightarrow +\infty } \frac{1}{\ln A} \int _{0}^{\pi / 2} \frac{\left|\sin A x\right|}{\sin x} d x \quad \text{ и } \quad \lim _{A \rightarrow +\infty } \frac{1}{\ln A} \int _{0}^{\pi / 2} \frac{\sin ^{2} A x}{\sin x} d x .

Какова асимптотика интегралов

Ln=∫−ππ∣Cn(x)∣dx и L~n=∫−ππ∣Sn(x)∣dx L_{n}=\int _{-\pi }^{\pi }\left|C_{n}(x)\right| d x \text{ и } \quad \tilde{L}_{n}=\int _{-\pi }^{\pi }\left|S_{n}(x)\right| d x

(определения Cn(x)C_{n}(x) и Sn(x)S_{n}(x) см. в задаче 6.10)?

В задачах 6.12-6.19 последовательность {an}\left\{ a_{n}\right\} убывает к нулю. При решении этих задач может оказаться полезным преобразование Абеля.

?
Задача IV.6.12

Докажите, что ряды ∑ancos⁡nx\sum a_{n} \cos n x и ∑ansin⁡nx\sum a_{n} \sin n x сходятся равномерно на любом замкнутом промежутке, не содержащем точек 2πk(k∈Z)2 \pi k(k \in \mathbb {Z}).

?
Задача IV.6.13

Докажите, что для любого m∈Nm \in \mathbb {N} ряды

∑ancos⁡nxsin⁡mx и ∑ansin⁡nxsin⁡mx \sum a_{n} \cos n x \sin m x \quad \text{ и } \quad \sum a_{n} \sin n x \sin m x

равномерно сходятся на R\mathbb {R}.

?
Задача IV.6.14

Докажите, что при x∈(0,π)x \in (0, \pi )

∑n⩾Nancos⁡nx=O(aNx);∑n⩾Nansin⁡nx=O(aNx). \sum _{n \geqslant N} a_{n} \cos n x=O\left(\frac{a_{N}}{x}\right) ; \quad \sum _{n \geqslant N} a_{n} \sin n x=O\left(\frac{a_{N}}{x}\right) .
?
Задача IV.6.15

Рассмотрим ряд ∑ansin⁡nx\sum a_{n} \sin n x. Докажите, что

?
(а)

равномерная ограниченность частичных сумм ряда равносильна соотношению an=O(1n)a_{n}=O\left(\frac{1}{n}\right);

(б)

равномерная сходимость ряда равносильна соотношению an=o(1n)a_{n}=o\left(\frac{1}{n}\right).

Задача IV.6.16

Пусть g(x)=∑ansin⁡nxg(x)=\sum a_{n} \sin n x. Докажите, что

?
(а)

g(x)⩾−a12πxg(x) \geqslant -\frac{a_{1}}{2 \pi } x при x∈(0,π)x \in (0, \pi );

(б)

непрерывность функции gg в нуле равносильна соотношению an=o(1n)a_{n}=o\left(\frac{1}{n}\right); в частности, из непрерывности gg в нуле следует её непрерывность всюду;

(в)

g(x)x→∑nan\frac{g(x)}{x} \rightarrow \sum n a_{n} при x→0x \rightarrow 0; в частности, из дифференцируемости функции gg в нуле следует её дифференцируемость всюду;

(г)

если последовательность {an}\left\{ a_{n}\right\} выпукла, то g(x)⩾0g(x) \geqslant 0 на [0,π]\left[0, \pi \right].

Задача IV.6.17

Докажите, что ∑annsin⁡nx⩾0\sum \frac{a_{n}}{n} \sin n x \geqslant 0 на [0,π]\left[0, \pi \right].

?
Задача IV.6.18

Пусть Ip=∫0π∣g(x)∣dxxpI_{p}=\int_{0}^{\pi }\left|g(x)\right| \frac{d x}{x^{p}}, где g(x)=∑ansin⁡nxg(x)=\sum a_{n} \sin n x и p∈Rp \in \mathbb {R}. Докажите, что

?
(а)

при p<0p<0 интеграл IpI_{p} сходится;

(б)

при p⩾2p \geqslant 2 он сходится лишь в случае g(x)≡0g(x) \equiv 0;

(в)

при p∈[0,2)p \in [0,2) его сходимость равносильна сходимости ряда ∑np−1an\sum n^{p-1} a_{n}. В частности,

∫0π∣g(x)∣dx<∞⟺∑1nan<∞. \int _{0}^{\pi }\left|g(x)\right| d x<\infty \Longleftrightarrow \sum \frac{1}{n} a_{n}<\infty .
Задача IV.6.19

Пусть f(x)=∑ancos⁡nxf(x)=\sum a_{n} \cos n x и ∑ann<∞\sum \frac{a_{n}}{n}<\infty. Докажите, что

?
(а)

∫0π∣f(x)∣dx<+∞\int_{0}^{\pi }\left|f(x)\right| d x<+\infty;

(б)

∫0tf(x)dx⩾0\int_{0}^{t} f(x) d x \geqslant 0 при t∈[0,π]t \in [0, \pi ].

Задача IV.6.20

Пусть f(x)=a02+∑ancos⁡nxf(x)=\frac{a_{0}}{2}+\sum a_{n} \cos n x. Докажите, что если последовательность {an}n⩾0\left\{ a_{n}\right\}_{n \geqslant 0} выпукла и an→0a_{n} \rightarrow 0, то f⩾0f \geqslant 0 на R\mathbb {R} и ∫0πf(x)dx<+∞\int_{0}^{\pi } f(x) d x<+\infty.

?
Задача IV.6.21

Пусть α∈(0,1)\alpha \in (0,1). Докажите, что при x→+0x \rightarrow +0

∑cos⁡nxnα=Ax1−α+O(1) и ∑sin⁡nxnα=Bx1−α+O(1) \sum \frac{\cos n x}{n^{\alpha }}=\frac{A}{x^{1-\alpha }}+O(1) \quad \text{ и } \quad \sum \frac{\sin n x}{n^{\alpha }}=\frac{B}{x^{1-\alpha }}+O(1)

где A,BA, B - положительные числа, зависящие от α\alpha.

?
Задача IV.6.22

Докажите, что существует такое число α0∈(0,1)\alpha_{0} \in (0,1), что для любого α⩾α0\alpha \geqslant \alpha_{0} частичные суммы ряда ∑cos⁡nxnα\sum \frac{\cos n x}{n^{\alpha }} равномерно ограничены снизу, а для любого α∈(0,α0)\alpha \in \left(0, \alpha_{0}\right) это неверно.

Что можно сказать об ограниченности снизу частичных сумм ряда ∑n−αsin⁡nx\sum n^{-\alpha } \sin n x при x∈[0,π]x \in [0, \pi ] ?

?
Задача IV.6.23
?
(а)

Пусть x1,…,xN∈Rx_{1}, \ldots , x_{N} \in \mathbb {R}. Докажите, что для всех M<NM<N справедливо неравенство Ван дер Корпута

∣eix1+…+eixN∣2⩽N+M1+M(N+2∑r=1M∣∑n=1N−rei(xn+r−xn)∣). \left|e^{i x_{1}}+\ldots +e^{i x_{N}}\right|^{2} \leqslant \frac{N+M}{1+M}\left(N+2 \sum _{r=1}^{M}\left|\sum _{n=1}^{N-r} e^{i\left(x_{n+r}-x_{n}\right)}\right|\right) .
(б)

Пусть PP - вещественный многочлен, P(0)=0P(0)=0, у которого хотя бы один коэффициент иррационален. Докажите, что в этом случае сумма Вейля

WN(P)=∑n=1Ne2πiP(n) W_{N}(P)=\sum _{n=1}^{N} e^{2 \pi i P(n)}

есть o(N)o(N).

(в)

Пусть PP - вещественный многочлен, у которого старший коэффициент - иррациональное нелиувиллево число (см. I.3.13). Докажите, что

∣WN(P)∣⩽CN1−θ, \left|W_{N}(P)\right| \leqslant C N^{1-\theta },

где C,θC, \theta - положительные числа, зависящие только от старшего коэффициента PP.

Задача IV.6.24
?
(а)

Пусть {xn}n∈Z\left\{ x_{n}\right\}_{n \in \mathbb {Z}} - двусторонняя вещественная последовательность и

tN=∑1⩽∣n∣⩽N1neixn. t_{N}=\sum _{1 \leqslant \left|n\right| \leqslant N} \frac{1}{n} e^{i x_{n}} .

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

∣tN∣2<20+2∑∣k∣+∣j∣⩽Nk,j≠0cos⁡(xk+j−xk)kj. \left|t_{N}\right|^{2}<20+2 \sum _{\substack {\left|k\right|+\left|j\right| \leqslant N \\ k, j \neq 0}} \frac{\cos \left(x_{k+j}-x_{k}\right)}{k j} .
(б)

Пусть PP - вещественный многочлен степени mm и

TN(P)=∑1⩽∣n∣⩽N1neiP(n). T_{N}(P)=\sum _{1 \leqslant \left|n\right| \leqslant N} \frac{1}{n} e^{i P(n)} .

Докажите, что ∣TN(P)∣<8ln⁡1−εm(N+1)\left|T_{N}(P)\right|<8 \ln^{1-\varepsilon_{m}}(N+1), где εm=12m−1\varepsilon_{m}=\frac{1}{2^{m-1}}.