Русская Википедия:Почти периодическая функция

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Почти периодическая функция — это функция на множестве вещественных чисел, которая периодична с любой желаемой точностью, если заданы достаточно большие равномерно распределённые «почти периоды». Концепцию первым изучал Харальд Бор и её впоследствии обобщили, среди прочих, Вячеслав Васильевич Степанов, Герман Вейль и Абрам Самойлович Безикович. Есть также понятие почти периодических функций на Шаблон:Нп5, которое первым изучал Джон фон Нейман.

Почти периодичность является свойством динамических систем, которое проявляется при прослеживании пути системы через фазовое пространство. Примером может служить планетная система с планетами на орбитах, двигающихся с несопоставимыми периодами (то есть с вектором периодов, который не пропорционален вектору целых чисел). Шаблон:Нп5 из теории диофантовых приближений может быть использована, чтобы показать, что любая конкретная конфигурация, встретившись однажды, будет повторяться с любой указанной точностью — если мы достаточно долго ждём, мы можем наблюдать, что все планеты вернутся в секунды дуги, в которых они находились.

Мотивация

Имеется несколько неэквивалентных определений почти периодических функций. Первое определение дал Харальд Бор. Его первоначально интересовал конечный ряд Дирихле. Фактически, если обрубить ряд дзета-функции Римана <math>\zeta(s)</math>, чтобы сделать его конечным, получим конечные суммы членов типа

<math>e^{(\sigma+it)\log n}\,</math>

с s, записанными в виде <math>(\sigma+it)</math>, суммы вещественной <math>\sigma</math> и мнимой it частей. Если зафиксировать <math>\sigma</math>, что ограничивает внимание до отдельной вертикальной прямой на комплексной плоскости, мы можем представить это как

<math>n^\sigma e^{(\log n)it}.\,</math>

Если брать конечную сумму таких членов, уходят трудности с аналитическим продолжением в область <math>\sigma < 1</math>. Здесь «частоты» <math>\log{n}</math> не сопоставимы (они все линейно независимы над рациональными числами).

По этим причинам мы рассмотрим виды тригонометрических многочленов с независимы частотами и используем математический анализ для обсуждения замыкания этогт множества базовых функций в различных нормах.

Для других норм теорию разрабатывали Безикович, Степанов, Вейль, фон Нейман, Тьюринг, Бохнер и другие в 1920-х – 1930-х годах.

Равномерные (Бора, Бохнера) почти периодические функции

Бор (1925)Шаблон:Sfn определил равномерно почти периодические функции как замыкание тригонометрических многочленов по равномерной норме

<math>\|f\|_\infty = \sup_x|f(x)|</math>

(для ограниченных функций f на R). Другими словами, функция f равномерно почти периодична, если для любого <math>\epsilon > 0</math> есть конечная линейная комбинация синусоидальных волн на расстоянии, меньшим <math>\epsilon</math> от f по равномерной норме. Бор доказал, что это определение эквивалентно существованию относительно плотного множества <math>\epsilon-</math>почти-периодов для всех <math>\epsilon>0</math>. То есть, существование параллельных переносов <math>T(\epsilon)=T</math> по переменной t, для которых

<math>\left|f(t+T)-f(t)\right|<\varepsilon.</math>

Альтернативное определение Бохнера (1926) эквивалентно определению Бора и относительно просто формулируется:

Функция f почти периодична, если любая последовательность <math>\{(t+T_n)\}</math> параллельных переносов f имеет подпоследовательность, которая равномерно сходится по t в <math>(-\infty,+\infty)</math>.

Почти периодические функции Бора есть, по существу, то же самое, что и непрерывные функции на компактификации Бора вещественных чисел.

Почти периодические функции Степанова

Пространство <math>S^p</math> почти периодических функций Стеанова (для <math>p\geqslant 1</math>) ввёл В.В. Степанов (1925)Шаблон:SfnШаблон:Sfn Оно содержит пространство почти периодических функций Бора. Пространство является замыканием тригонометрических многочленов по норме

<math>\|f\|_{S,r,p}=\sup_x \left({1\over r}\int_x^{x+r} |f(s)|^p \, ds\right)^{1/p}</math>

для любого положительного фиксированного r. Для различных значений r эта норма даёт ту же самую топологию и то же самое пространство почти периодических функций (хотя норма в этом пространстве зависит от выбора r).

Почти периодические функции Вейля

Пространство <math>W^p</math> почти периодических функций Вейля (для <math>p\geqslant 1</math>) ввёл Вейль (1927)Шаблон:Sfn. Оно содержит пространство <math>S^p</math> почти периодических функций Степнова. Оно является замыканием тригонометрических многочленов по полунорме

<math>\|f\|_{W,p}=\lim_{r\to\infty}\|f\|_{S,r,p}</math>

Предупреждение: имеются ненулевые функции <math>f</math> с <math>{\lVert}f{\rVert}_{W,p}=0</math>, как и любая ограниченная функция на компактном носителе, так что для получения банахового пространства следует взять факторпространство по этим функциям.

Почти периодические функции Безиковича

Пространство <math>B^p</math> почти периодических функций Безиковича ввёл Безикович (1926)Шаблон:Sfn. Оно является замыканием тригонометрических многочленов по полунорме

<math>\|f\|_{B,p}=\limsup_{x \to\infty}\left({1\over 2x} \int_{-x}^x |f(s)|^p \, ds \right)^{1/p}</math>

Предупреждение: имеются ненулевые функции <math>f</math> с <math>{\lVert}f{\rVert}_{B,p}=0</math>, как и любая ограниченная функция на компактном носителе, так что для получения банахового пространства следует взять факторпространство по этим функциям.

Почти периодические функции Безиковича в <math>B^2</math> имеют разложение (не обязательно сходящееся)

<math>\sum a_ne^{i\lambda_n t}</math>

с конечной суммой <math>\sum{a^2_n}</math> и вещественным <math>\lambda_n</math>. Обратно, любой такой ряд является расширением некоторой периодической функции Безиковича (не уникальной).

Пространство <math>B^p</math> почти периодических функций Безиковича (для <math>p\geqslant 1</math>) содержит пространство <math>W^p</math> почти периодических функций Вейля. Если создать факторпространство по подпространству "нулевых" функций, его можно отождествить с пространством <math>L^p</math> функций на компактификации Бора вещественных чисел.

Почти периодические функции на локально компактных абелевых группах

С теоретическим развитием и приходом абстрактных методов (Шаблон:Нп5, двойственность Понтрягина и банаховы алгебры) стала возможной общая теория. Основной идеей почти периодичности по отношению к Шаблон:Нп5 G сводится к идее функции F в <math>L^\infty(G)</math>, такой что параллельные переносы на G образуют Шаблон:Нп5. Эквивалентно, пространство почти периодических функций является замыканием по норме конечных линейных комбинаций характеров группы G. Если G компактно, почти периодические функции — это то же самое, что и непрерывные функции.

Компактификация Бора группы G — это компактная абелева группа всех, возможно разрывных, характеров группы, двойственной группе G, и представляет собой компактную группу, содержащую G в качестве плотной подгруппы. Пространство равномерно почти периодических функций на G можно отождествить с пространством всех непрерывных функций на компактификации Бора группы G. В более общем смысле компактификация Бора можно определить для любой топологической группы G, а пространства непрерывных или <math>L^p</math> функций на компактификации Бора можно считать почти периодическими функциями на G. Для локально компактных связных групп G отображение из G в её компактификацию Бора инъективно тогда и только тогда, когда G является центральным расширением компактной группы или, эквивалентно, произведением компактной группы на конечномерное векторное пространство.

Квазипериодические сигналы при аудиообработке и синтезе музыки

При Шаблон:Нп5, Шаблон:Нп5 и синтезе музыки, квазипериодический сигнал имеет форму волны, которая с микроскопической точки зрения периодична, но не обязательно периодична макроскопически. Это не даёт Шаблон:Нп5 в смысле статьи Википедии с таким именем, но даёт что-то более сходное с почти периодической функцией, будучи почти периодической функцией, где любой период виртуально идентичен находящимся рядом периодам, но не обязательно похож на периоды, более далёкие по времени. Это справедливо для музыкальных тонов (после начального переходного процесса) где все гармоники или обертоны являются гармоническими (то есть все обертоны обладают частотой, кратной Шаблон:Нп5 тона).

Если сигнал <math> x(t) \ </math> полностью периодичен с периодом <math> P \ </math>, то сигнал удовлетворяет тождеству

<math> x(t) = x(t + P) \qquad \forall t \in \mathbb{R} </math>

или

<math> \Big| x(t) - x(t + P) \Big| = 0 \qquad \forall t \in \mathbb{R}. \ </math>

Представлением в виде ряда Фурье будет

<math>x(t) = a_0 + \sum_{n=1}^\infty \big[a_n\cos(2 \pi n f_0 t) - b_n\sin(2 \pi n f_0 t)\big]</math>

или

<math>x(t) = a_0 + \sum_{n=1}^\infty r_n\cos(2 \pi n f_0 t + \varphi_n)</math>

где <math> f_0 = \frac{1}{P} </math> является опорной частотой и коэффициенты ряда Фурье равны

<math>a_0 = \frac{1}{P} \int_{t_0}^{t_0+P} x(t) \, dt \ </math>
<math>a_n = r_n \cos \left( \varphi_n \right) = \frac{2}{P} \int_{t_0}^{t_0+P} x(t) \cos(2 \pi n f_0 t) \, dt \qquad n \ge 1 </math>
<math>b_n = r_n \sin \left( \varphi_n \right) = - \frac{2}{P} \int_{t_0}^{t_0+P} x(t) \sin(2 \pi n f_0 t) \, dt \ </math>
где <math> t_0 \ </math> может быть любым временем из промежутка <math> -\infty < t_0 < +\infty \ </math>.

Шаблон:Нп5 <math> f_0 \ </math> и коэффициенты ряда Фурье <math> a_n \ </math>, <math> b_n \ </math>, <math> r_n \ </math>, или <math> \varphi_n \ </math>, являются константами, то есть не зависят от времени. Частоты гармоник кратны опорной частоте.

Если <math> x(t) \ </math> квазипериодична, то

<math> x(t) \approx x \big( t + P(t) \big) \ </math>

или

<math> \Big| x(t) - x \big( t + P(t) \big) \Big| < \varepsilon \ </math>

где

<math> 0 < \epsilon \ll \big \Vert x \big \Vert = \sqrt{\overline{x^2}} = \sqrt{ \lim_{\tau \to \infty} \frac{1}{\tau} \int_{-\tau/2}^{\tau/2} x^2(t)\, dt }. \ </math>

Теперь представление в виде ряда Фурье будет

<math>x(t) = a_0(t) \ + \ \sum_{n=1}^\infty \left[a_n(t)\cos \left(2 \pi n \int_{0}^{t} f_0(\tau)\, d\tau \right) - b_n(t)\sin \left( 2 \pi n \int_0^t f_0(\tau)\, d\tau \right) \right]</math>

или

<math>x(t) = a_0(t) \ + \ \sum_{n=1}^\infty r_n(t)\cos \left( 2 \pi n \int_0^t f_0(\tau)\, d\tau + \varphi_n(t) \right) </math>

или

<math>x(t) = a_0(t) + \sum_{n=1}^\infty r_n(t)\cos \left( 2 \pi \int_0^t f_n(\tau)\, d\tau + \varphi_n(0) \right)</math>

где <math> f_0(t) = \frac{1}{P(t)} </math>, возможно, меняющаяся во времени опорная частота, а меняющиеся во времени коэффициенты ряда Фурье равны

<math>a_0(t) = \frac{1}{P(t)} \int_{t-P(t)/2}^{t+P(t)/2} x(\tau) \, d\tau \ </math>
<math>a_n(t) = r_n(t) \cos\big(\varphi_n(t)\big) = \frac{2}{P(t)} \int_{t-P(t)/2}^{t+ P(t)/2} x(\tau) \cos\big( 2 \pi n f_0(t) \tau \big) \, d\tau \qquad n \ge 1 </math>
<math>b_n(t) = r_n(t) \sin\big(\varphi_n(t)\big) = -\frac{2}{P(t)} \int_{t-P(t)/2}^{t+P(t)/2} x(\tau) \sin\big( 2 \pi n f_0(t) \tau \big) \, d\tau \ </math>

а Шаблон:Нп5 для каждой гармоники равна

<math> f_n(t) = n f_0(t) + \frac{1}{2 \pi} \varphi_n^\prime(t). \, </math>

В отличие от квазипериодического случая опорная частота <math> f_0(t) \ </math>, частоты гармоник <math> f_n(t) \ </math> и коэффициенты ряда Фурье <math> a_n(t) \ </math>, <math> b_n(t) \ </math>, <math> r_n(t) \ </math> или <math> \varphi_n(t) \ </math> не обязательно постоянны и являются функциями от времени, хоть и медленно меняющимися.

Частоты <math>f_n(t)</math> очень близки к гармоническим, но не обязательно в точности таковы. Производная по времени от <math>\varphi_n(t)</math>, то есть <math> \varphi_n^\prime(t)</math>, имеет эффект рассогласования частоты от точного целочисленного гармонического значения <math>n f_0(t)</math>. Быстро меняющаяся <math>\varphi_n(t)</math> означает, что мгновенная частота для этой гармоники резко уходит от целочисленного гармонического значения, что означает, что <math>x(t)</math> не квазипериодична.

Квазипериодическая функция

В математике функция называется квазипериодической, когда она имеет некоторое сходство с периодической функцией, но не соответствует строгому определению. Чтобы быть более точным, это означает, что функция <math>f</math>является квазипериодической с квазипериодом <math>\omega</math>, если <math>f(z + \omega) = g(z,f(z))</math>, где <math>g</math> является более простой функцией, чем <math>f</math>.

Простой случай (иногда называемый арифметически-квазипериодическим), когда функция подчиняется уравнению:

<math> f(z + \omega) = f(z) + C </math>

Другой случай (иногда называемый геометрически-квазипериодическим) заключается в том, что функция подчиняется уравнению:

<math> f(z + \omega) = C f(z) </math>

Еще одним примером является функция:

<math> f(z) = \sin(Az) + \sin(Bz) </math>

Если соотношение А/В является рациональным, функция будет иметь период, но если А/В является иррациональным нет такого периода, хотя есть последовательность чисел <math>\omega_i </math>, называемых "почти" периодами, такие, что для любого <math> \epsilon </math>, существует <math>i</math> такой, что

<math> |f(z+\omega_i) - f(z)|<\epsilon </math>

Другим примером функции с почти периодами является тета-функция Якоби, где

<math>\vartheta(z+\tau;\tau) = e^{-2\pi iz - \pi i\tau}\vartheta(z;\tau)</math>.

Это показывает, что для фиксированного <math> \tau </math> существует квазипериод <math> \tau </math>; он также периодический с периодом, равным одному. Другим примером является Сигма-функция Вейерштрасса, которая является квазипериодической, с двумя независимыми квазипериодами, соответствующими Сигма-функциям Вейерштрасса.

Функции с аддитивным функциональным уравнением

<math> f(z + \omega) = f(z)+az+b \ </math>

также называются квазипериодическими. Примером этого является Дзета-функция Вейерштрасса, где

<math> \zeta(z + \omega) = \zeta(z) + \eta \ </math>

для фиксированной постоянной <math> \eta </math>, когда <math> \omega </math> является периодом соответствующей функции Вейерштрасса.

См. также

Примечания

Шаблон:Примечания

Литература

Шаблон:Refbegin

Шаблон:Refend

Шаблон:Rq