Об интеграле Фурье — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(Интегральная формула Фурье: да)
Строка 1: Строка 1:
 +
{| class="wikitable" align="center" style="color: red; background-color: black; font-size: 56px; width: 800px;"
 +
|+
 +
|-align="center"
 +
|'''НЕТ ВОЙНЕ'''
 +
|-style="font-size: 16px;"
 +
|
 +
24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.
 +
 +
Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.
 +
 +
Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей.
 +
 +
Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.
 +
 +
''Антивоенный комитет России''
 +
|-style="font-size: 16px;"
 +
|Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
 +
|-style="font-size: 16px;"
 +
|[https://meduza.io/ meduza.io], [https://www.youtube.com/c/popularpolitics/videos Популярная политика], [https://novayagazeta.ru/ Новая газета], [https://zona.media/ zona.media], [https://www.youtube.com/c/MackNack/videos Майкл Наки].
 +
|}
 +
 
[[Теорема Джексона|<<]][[Явление Гиббса|>>]]
 
[[Теорема Джексона|<<]][[Явление Гиббса|>>]]
  

Версия 07:52, 1 сентября 2022

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян.

Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием.

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

Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить.

Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.
meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

<<>>

Эта статья находится в разработке!

Голова человеческая устроена линейно, поэтому, если оператор — нелинейный, то это — мрак полный. Живите линейно!

Ряд Фурье имеет дело с [math]2\pi[/math]-периодической суммируемой на [math]Q[/math] функцией.

Пусть [math]f[/math] задана на всём [math]\mathbb{R}[/math] и [math]\int\limits_{\mathbb{R}} |f| \lt +\infty[/math]. Можно ли писать аналог ряда Фурье?

С формальной точки зрения, аналог выписывается просто.

[math]a_n(f) = \frac1\pi \int\limits_{-\pi}^\pi f(x) \cos nx dx[/math] — существует для любого [math]n[/math], не только натурального.


Определение:
[math]a(f, z) = \frac1\pi \int\limits_{\mathbb{R}} f(t) \cos zt dt[/math] — косинусное преобразование [math]f[/math].
[math]b(f, z) = \frac1\pi \int\limits_{\mathbb{R}} f(t) \sin zt dt[/math] — синусное преобразование [math]f[/math].


Выпишем ряд [math]\sum\limits_{n=0}^\infty A_n(f, z)[/math], где [math]A_n (f, x) = a_n \cos nx + b_n \sin nx[/math]. Если мы будем рассматривать все вещественные значения [math] n [/math], а не только натуральные, то ряд перейдет в интеграл.

Предложение: рассмотрим интеграл [math]\int\limits_0^{+\infty} (a(f, z) \cos zx + b(f, z) \sin zx) dz[/math]. Интеграл понимают не в смысле Лебега, а в смысле Римана — как предел частичных интегралов. Получившийся интеграл называют интегралом Фурье.

Ему можно придать более удобную форму:

[math]a(f, z) \cos zx + b(f, z) \sin zx = \frac1\pi \int\limits_{\mathbb{R}} f(t) [\cos zt \cdot \cos zx + \sin zt \cdot \sin zx] dt = \frac1\pi \int\limits_{\mathbb{R}} f(t) \cos z(x - t) dt[/math].

[math]\frac1\pi \int\limits_0^{+\infty} \left(\int\limits_{\mathbb{R}} f(t) \cos z(x - t) dt \right) dz[/math] — интеграл Фурье.

Интегральная формула Фурье

Утверждение (интегральная формула Фурье):
[math]\frac1\pi \int\limits_0^{+\infty} \left(\int\limits_{\mathbb{R}} f(t) \cos z(x - t) dt \right) dz = \frac{f(x+0)+f(x-0)}2[/math]
[math]\triangleright[/math]

[math]\frac1\pi \int\limits_0^{+\infty} \left(\int\limits_{\mathbb{R}} f(t)\cos z(x-t) dt \right) dz[/math] [math]= \lim\limits_{A\to\infty} \frac1\pi \int\limits_0^A \left(\int\limits_{\mathbb{R}} f(t) \cos z(x-t)dt \right) dz = I[/math]

Применим теорему Фубини: [math]I(A) = \int\limits_0^A \left(\int\limits_{\mathbb{R}} f(t) \cos z(x-t)dt \right) dz[/math] — частный случай интеграла Фурье.

[math]I = \lim\limits_{A\to\infty} \frac1\pi \int\limits_{\mathbb{R}} \left(\int\limits_0^A f(t) \cos z(x-t) dz \right) dt[/math] [math]= \lim\limits_{A\to\infty} \frac1\pi \int\limits_{\mathbb{R}} f(t) \left( \int\limits_0^A \cos z(x-t) dz\right) dt[/math].

Заменим: [math]\int\limits_0^A \cos z(x-t) dz = \left. \frac{\sin z(x-t)}{x-t} \right|_0^A = \frac{\sin A(x-t)}{x-t}[/math]

[math]I = \lim\limits_{A\to\infty} \frac1\pi \int\limits_{\mathbb{R}} f(t) \frac{\sin A(x-t)}{x-t} = I[/math]

Сделаем замену переменной: [math]u=x-t[/math]

[math]I(A) = \frac1\pi \int\limits_{\mathbb{R}} f(x+u) \frac{\sin Au}u du[/math] — аналог интеграла Дирихле для рядов Фурье.

Проделаем то же самое, что и с рядами Фурье: сведём к полуоси:

[math]I(A) = \frac1\pi \left(\int\limits_{-\infty}^0 + \int\limits_0^{+\infty}\right)[/math] [math]=\frac1\pi \int\limits_{\mathbb{R}_+} (f(x+t) + f(x-t))\frac{\sin At}t dt[/math]

[math]\int\limits_{\mathbb{R}_+} \frac{\sin t}t dt = \frac\pi2[/math] — интеграл Дирихле. [math]\int\limits_{\mathbb{R}_+} \frac{\sin At}t dt = \int\limits_{\mathbb{R}_+} \frac{\sin At}{At} d(At) = \frac\pi2[/math]

[math]\frac1\pi \int\limits_{\mathbb{R}_+} 2s \frac{\sin t}t dt = s[/math]

[math]I(A) - s = \frac1\pi\int\limits_{\mathbb{R}_+} [f(x+t)+f(x-t)-2s]\frac{\sin At}t dt[/math] — основное соотношение для исследования сходимости интеграла Фурье в индивидуальной точке.

Это соотношение позволяет сформировать и доказать аналог теоремы Дини сходимости интеграла Фурье.

Утверждение (признак Дини сходимости интеграла Фурье):
Пусть [math]f \in L_1, s \in \mathbb{R}[/math]. Если существует [math]\Delta \gt 0: \int\limits_0^{\Delta} \frac{|\varphi_x(t)|}{t} dt \lt + \infty[/math], то [math] s = \lim\limits_{A \to \infty} I(A)[/math].
[math]\triangleright[/math]

Предположим, что для некоторого [math]\Delta[/math]: [math]\int\limits_0^\Delta \frac{|f(x+t)+f(x-t)-2s|}t dt = \int\limits_0^\Delta \frac{|\varphi_x(t)|}t dt \lt +\infty[/math]. Возьмём [math]\delta \in (0; \Delta)[/math].

Рассмотрим [math]|I(A)-s|=\frac1\pi \left|\int\limits_0^\delta + \int\limits_\delta^{+\infty}\right|[/math] [math]\le \frac1\pi\left(\int\limits_0^\delta\frac{|\varphi_x(t)|}{t}dt+ \left|\int\limits_\delta^{+\infty} \varphi_x(t) \frac{\sin At}{t} dt\right| \right)[/math]

Рассмотрим первое слагаемое: так как, по условию, [math]\int\limits_0^\Delta \frac{|\varphi_x(t)|}t dt \lt +\infty[/math], то [math]\forall\varepsilon\gt 0 \exists\delta\in(0;\Delta) : \int\limits_0^\delta \frac{|\varphi_x(t)|}t dt \lt \varepsilon[/math]

Далее считаем, что [math]\delta[/math] уже такое и заметим, что оно выбрано вне зависимости от [math]A[/math]. Значит,

[math]|I(A)-s| \le \frac1\pi\left( \varepsilon + \left| \int\limits_\delta^{+\infty}\varphi_x(t)\frac{\sin At}t dt \right| \right)[/math]

Рассмотрим второе слагаемое: [math]\int\limits_\delta^{+\infty} \varphi_x(t) \frac{\sin At}{t} dt = \int\limits_\delta^{+\infty} \frac{f(x+t) +f(x-t)}{t} \sin At dt - 2s \int\limits_\delta^{+\infty} \frac{\sin At}{t} dt [/math]

Для второго интеграла: [math]\int\limits_\delta^{+\infty} \frac{\sin At}t dt = \int\limits_\delta^{+\infty} \frac{\sin At}{At} d(At) = \int\limits_{\delta A}^{+\infty} \frac{\sin t}t dt[/math], что, при [math]A\to+\infty[/math], стремится к [math]0[/math]. Значит, при [math]A\to\infty[/math], [math]\int\limits_\delta^{+\infty} \frac{\sin At}{t} dt \to 0[/math]

Для первого интеграла: в рядах Фурье была лемма Римана-Лебега, там было не принципиально, что было подставлены [math]2\pi[/math]-периодические функции. Лемма верна и в общем случае: [math]f[/math] — суммируема на оси [math]\Rightarrow[/math] [math]\int\limits_{\mathbb{R}} f(t) \sin pt dt \xrightarrow[p\to\infty]{} 0[/math].

[math]\int\limits_{\delta}^{+\infty} \frac{f(x+t)+f(x-t)}t \sin At dt[/math] и [math]\left| \frac{f(x+t)+f(x-t)}{t}\right| \le \frac{|f(x+t)| + |f(x-t)|}{\delta}[/math] и [math]f[/math] — суммируема.

Тогда [math]\frac{|f(x+t)| + |f(x-t)|}{\delta}[/math] — суммируемая, а значит, и [math]\left| \frac{f(x+t)+f(x-t)}{t}\right|[/math] — суммируемая. Возвращаясь к интегралу, по лемме Римана-Лебега, [math]\int\to_{A\to\infty} 0[/math].

Итак, собирая всё вместе, [math]\int\limits_\delta^{+\infty} \varphi_x(t) \frac{\sin At}t dt \to_{A\to+\infty} 0[/math]

Значит, для [math]\varepsilon[/math], [math]\exists A_0 : \forall A \gt A_0 : \left|\int\limits_\delta^{+\infty}\right| \lt \varepsilon[/math]

Принимая это во внимание в оценке отклонения [math]|I(A) - s| \le \frac2\pi \varepsilon[/math], получаем, что [math]s = \lim\limits_{A\to+\infty} I(A)[/math], или, [math]s = \frac1\pi\int\limits_0^{+\infty}\left(\int\limits_{\mathbb{R}}f(t)\cos z(x-t) dt\right)dz[/math] в условиях, когда [math]\int\limits_0^\Delta \frac{|\varphi_x(t)|}{t} dt \lt +\infty[/math].
[math]\triangleleft[/math]
В частности, если, как и в рядах Фурье, в точке [math]x[/math] существуют односторонние пределы, что если [math]s=\frac{f(x+0)+f(x-0)}{2}[/math], то для этого [math]s[/math] условия Дини выполняются, что и доказывает эту теорему.
[math]\triangleleft[/math]

<<>>