Теоретический минимум по математическому анализу за 4 семестр

1 Определение ряда Фурье, теорема о коэффициентах тригонометрического ряда, сходящегося в [math]L_1[/math]

Определение:

[math] L_p, (p \ge 1) [/math] — совокупность [math] 2\pi [/math]-периодических функций, суммируемых с [math] p [/math]-й степенью на промежутке [math] Q = [-\pi, \pi] [/math]. То есть, [math]L_p = \{ f | f(x + 2\pi) = f(x), \int\limits_Q |f|^p \lt +\infty \} [/math].

Определение:

Тригонометрическим рядом называется ряд: [math]\frac{c_0}{2} + \sum\limits_{n = 1}^{+\infty} (c_n \cos nx + d_n \sin nx)[/math]. Если, начиная с какого-то места, [math] c_n = d_n = 0 [/math], то соответствующая сумма называется тригонометрическим полиномом.

Теорема:

Пусть тригонометрический ряд [math] \frac {a_0}{2} + \sum\limits_{n = 1}^{+\infty} (a_n \cos nx + b_n \sin nx) [/math] сходится в [math] L_1 [/math] и имеет суммой функцию [math] f [/math]. Тогда для него выполняются формулы Эйлера-Фурье: [math] a_0 = \frac{1}{\pi} \int\limits_{Q} f,\ a_n = \frac{1}{\pi} \int\limits_{Q} f(x) \cos nx dx,\ b_n = \frac{1}{\pi} \int\limits_{Q} f(x) \sin nx dx [/math].

Определение:

Пусть функция [math] f \in L_1 [/math]. Ряд Фурье [math] f [/math] — тригонометрический ряд, коэффициенты которого вычислены по формулам Эйлера-Фурье.

2 Ядра Дирихле и Фейера

Определение:

[math]D_n(t)=\frac{1}{\pi}(\frac{1}{2}+\sum\limits_{k=1}^{n}\cos{kt})[/math] — тригонометрический полином такого вида называется ядром Дирихле.

[math]D_n(t)=\frac{1}{2\pi}\frac{\sin{(n+\frac{1}{2})t}}{\sin{\frac{t}{2}}}[/math]

Определение:

[math]S_n(x)=\int\limits_{Q}f(t)D_n(x-t)dt[/math] — интеграл Дирихле.

Определение:

[math]S_n(x) = \int\limits_{Q}f(x+t)D_n(t)dt[/math]. В такой форме записи частичная сумма называется интегралом свертки [math]f[/math] c ядром [math]D_n(t)[/math].

Определение:

[math]\Phi_n(t)=\frac{1}{n+1}\sum\limits_{k=0}^{n}D_k(t)[/math] — тригонометрический полином такого вида называется ядром Фейера.

[math]\Phi_n=\frac{1}{2\pi(n+1)}(\frac{\sin{(\frac{n+1}{2})t}}{\sin{\frac{t}{2}}})^2[/math]

3 Способы суммирование рядов в НП (нормированное пространство)

TODO: пилим

4 Теорема Фробениуса

TODO: пилим

5 Тауберова теорема Харди для метода средних арифметических суммирования рядов в нормированном пространстве

TODO: пилим

6 Теорема Фейера

Теорема (Фейер):

Пусть [math]f \in L_1[/math], [math]s \in \mathbb{R}[/math], [math]x \in \mathbb{R}[/math], [math]\lim\limits_{t\to +0} \frac1t \int\limits_0^t |f(x + t) + f(x - t) - 2s| dt = 0[/math]. Тогда [math]\lim\limits_{n\to\infty} \sigma_n(f, x) = s[/math]

7 Следствие о двух пределах

Утверждение (следствие Фейера о двух пределах):

Пусть точка [math]x[/math] — регулярная, тогда в ней [math]\lim\limits_{n \to \infty} \sigma_n(f, x) = \frac{f(x + 0) + f(x - 0)}2 [/math]

[math]\triangleright[/math]

Пусть [math]s = \frac{f(x - 0) + f(x + 0)}{2} [/math]. Так как [math]f(x + t) \xrightarrow[t\to +0]{} f(x + 0), f(x - t) \xrightarrow[t\to -0]{} f(x - 0) [/math], по определению предела [math] \forall\varepsilon\exists\delta : 0 \lt t \lt \delta : |f(x \pm t) - f(x \pm 0)| \lt \varepsilon[/math]. Для таких [math]t[/math]: [math]|f(x + t) + f(x - t) - 2s| \leq |f(x + t) - f(x + 0)| + |f(x - t) - f(x - 0)| \lt 2\varepsilon[/math], и интересующий нас интеграл [math]\frac1t\int\limits_0^t|f(x+t)+f(x-t)-2s| \leq \frac1t\int\limits_0^t2\varepsilon = 2\varepsilon[/math]. Значит, условие теоремы Фейера для данного интеграла выполняется, и в регулярной точке, [math]\lim\limits_{n \to \infty} \sigma_n(f, x) = \frac{f(x + 0) + f(x - 0)}2 [/math]. В частности, в точке непрерывности функции суммы Фейера всегда сходятся к значению функции в данной точке.

[math]\triangleleft[/math]

8 Всюду плотность множества [math] C [/math] в пространствах [math] L_p [/math]

TODO: пилим

9 Теорема Фейера в пространствах [math]L_p[/math]

[math]f\in L_p \Rightarrow \|f - \sigma_n(f)\|_p \xrightarrow[n \to \infty]{} 0[/math].

10 Наилучшее приближение в НП и его свойства

Пусть [math]X[/math] — нормированное пространство, к примеру, [math]L_p[/math]. Пусть [math]Y[/math] — линейное множество в [math]X[/math], например, [math]H_n[/math] (тригонометрических полиномов степени не больше [math]n[/math]).

Определение:

Для любого [math] x \in X[/math] величина [math]E_y(x) = \inf\limits_{y \in Y}{\|x-y\|}[/math] называется наилучшим приближением точки [math]x[/math] элементами линейного множества [math]Y[/math]. Если при этом существует [math]y^* \in Y[/math] такой, что [math]E_y(x)=\|x-y^*\|[/math], то этот [math]y^*[/math] называется элементом наилучшего приближения точки [math]x[/math].

Заметим: гарантий, что [math]y^*[/math] единственный и что он вообще существует, нет.

Утверждение:

Наилучшее приближение является полунормой, то есть выполняются однородность и неравенство треугольника.

11 Существование элемента наилучшего приближения

Теорема:

Пусть [math]X[/math] — нормированное пространство, [math]\dim Y \lt +\infty[/math], тогда [math]\forall x \in X[/math] существует элемент наилучшего приближения [math]x[/math].

12 Обобщенная теорема Вейерштрасса

TODO: пилим

13 Лемма Римана-Лебега о коэффициентах Фурье функции из [math]L_1[/math]

Лемма (Риман-Лебег):

Пусть [math]f \in L_1[/math], тогда при [math] n \to \infty [/math] [math]a_n \to 0[/math], [math]b_n \to 0[/math].

14 Теорема Дини

[math]f\in L_1[/math], [math] S \in \mathbb{R}[/math], [math]\int\limits_0^\pi \frac{|\varphi_x(t)|}{t} dt \lt +\infty[/math], где [math]\varphi_x(t) \stackrel{\mathrm{def}}= f(x + t) + f(x - t) - 2s[/math] . Тогда [math] S = \lim\limits_{n\to\infty} S_n(f, x)[/math]

15 Следствие о четырех пределах

Утверждение (следствие 1 (о четырёх пределах)):

Пусть в точке [math]x[/math] существует [math]f(x \pm 0)[/math] (левый и правый пределы) и [math]\exists\alpha=\lim\limits_{t\to +0} \frac{f(x+t) - f(x+0)}{t}[/math], [math]\exists\beta=\lim\limits_{t\to+0} \frac{f(x-t)-f(x-0)}{t}[/math]. Тогда в этой точке ряд Фурье сходится, его сумма равна [math]\frac{f(x+0)+f(x-0)}2[/math]

16 Полная вариация функции и ее аддитивность

Определение:

Вариацией функции [math]f[/math] по разбиению [math]\tau[/math] называется [math]\bigvee\limits_a^b (f, \tau) = \sum\limits_{k = 0}^{n - 1} | f(x_{k + 1}) - f(x_k)|[/math]. Полной вариацией называется [math]\bigvee\limits_a^b(f) = \sup\limits_{\tau} \bigvee\limits_a^b (f, \tau)[/math]. [math]f[/math] называется функцией ограниченной вариации, если [math]\bigvee\limits_a^b(f) \lt + \infty[/math]. Класс функций ограниченной вариации обозначается как [math]\bigvee(a, b)[/math].

Теорема (аддитивность вариации):

Пусть [math]f(x) \in \bigvee(a, c)[/math] и [math]b \in [a, c][/math], тогда [math]\bigvee\limits_a^c (f) = \bigvee\limits_a^b (f) + \bigvee\limits_b^c (f)[/math].

17 О разложении функции ограниченной вариации в разность возрастающих функций

Теорема:

[math]f[/math] — функция ограниченной вариации ([math]f \in \bigvee(a, b)[/math]) тогда и только тогда, когда ее можно представить в виде разности монотонно неубывающих функций ([math]f = f_1 - f_2[/math]).

18 Условие существования интеграла Стилтьесса

<wikitex>Пусть дан отрезок $[a, b]$, на котором определены функции $f$ и весовая функция $g$, причем $g$ — не убывает. Пусть на нем есть разбиение $\tau : a=x_0 < \dots < x_n=b$ и точки $\xi_i \in [x_i; x_{i+1}]$. Составим интегральную сумму $\sigma(f, g, \tau) = \sum\limits_{k=0}^{n-1} f(\xi_k) \Delta g_k $, где $\Delta g_k = g(x_{k+1}) - g(x_k) $ (заметим, что т.к. $g$ не убывает, $\Delta g_k \ge 0$).

Определение:

Интегралом Римана-Стилтьеса называется $\int\limits_a^b f dg = \lim\limits_{\operatorname{rang} \tau \to 0} \sigma (f, g, \tau) $, где $\operatorname{rang} \tau = \max(\Delta x_0, \dots \Delta x_{n-1})$. Класс функций, у которых существует интеграл Римана-Стилтьеса обозначанется как $\mathcal{R}(g)$.

Далее аналогично интегралу Римана введем $\omega(f, g, \tau) = \sum\limits_{k=0}^{n-1} (M_k - m_k) \Delta g_k$, где $m_k = \inf\limits_{[x_k \dots x_{k+1}]} f, M_k = \sup\limits_{[x_k \dots x_{k+1}]} f$. </wikitex>

Теорема (Критерий существования интеграла Римана-Стилтьеса):

[math]f \in \mathcal{R}(g) \Leftrightarrow \omega(f, g, \tau) \xrightarrow[\operatorname{rang} \tau \to 0]{} 0 [/math].

19 Интегрируемость по Стилтьессу непрерывной функции

<wikitex>

Теорема (о существовании интеграла Римана-Стилтьеса):

Пусть $f$ непрерывна на $[a, b]$, $g \in V(a, b)$. Тогда интеграл Римана-Стилтьеса $ \int\limits_a^b f dg $ существует.

</wikitex>

20 Аддитивность интеграла Стилтьесса

TODO: пилим

21 Сведение интеграла Стилтьесса к интегралу Римана

TODO: пилим

22 Формула интегрирования по частям для интеграла Стилтьесса

TODO: пилим

23 Оценка коэффициентов Фурье функции ограниченной вариации

TODO: пилим

24 Теорема Жордана о сходимости ряда Фурье функции ограниченной вариации

TODO: пилим

25 Условие равномерной сходимости ряда Фурье

TODO: пилим

26 Ряды Фурье в [math]L_2[/math] : экстремальное свойство сумм Фурье, неравенство Бесселя

TODO: пилим

27 Замкнутые и полные о.н.с.

TODO: пилим

28 Равенство Парсеваля

TODO: пилим

29 Теорема Лузина-Данжуа

TODO: пилим

30 Условие абсолютной сходимости ряда Фурье функции из [math]L_2[/math]

TODO: пилим

31 Принцип локализации для рядов Фурье

Теорема (Риман):

Пусть [math]f,g \in L_1[/math], [math]0 \lt \delta \lt \pi[/math], [math]x \in \mathbb{R}[/math]. Пусть также в [math]\delta[/math]-окрестности точки [math]x[/math] выполняется [math]f = g[/math], тогда [math]\lim\limits_{n \to \infty}(S_n(f,x)-S_n(g,x))=0[/math]

32 Почленное интегрирование ряда Фурье

TODO: пилим

33 Модуль непрерывности и его свойства

TODO: пилим

34 Теорема о выпуклой мажоранте модуля непрерывности

TODO: пилим

35 Модуль непрерывности в пространстве [math] C [/math]

TODO: пилим

36 Ядро Джексона

TODO: пилим

37 Теорема Джексона

TODO: пилим

38 Следствия для C^r

TODO: пилим

39 Неравенство Бернштейна для тригонометрических полиномов

TODO: пилим

40 Обратная теорема Бернштейна теории приближений

TODO: пилим

41 Явление Гиббса

TODO: пилим

42 Константа Лебега ядра Дирихле

[math]\int\limits_{Q}|D_n(t)|dt[/math] называется константой Лебега. [math]\int\limits_{Q}|D_n(t)|dt \sim \ln{n}[/math].

43 Оценка отклонения сумм Фурье через константу Лебега

TODO: пилим

44 Частный интеграл Фурье

TODO: пилим

45 Признак Дини сходимости интеграла Фурье

TODO: пилим