Почти периодическая функция
Почти периодическая функция — это функция на множестве вещественных чисел, которая периодична с любой желаемой точностью, если заданы достаточно большие равномерно распределённые «почти периоды». Концепцию первым изучал Харальд Бор и её впоследствии обобщили, среди прочих, Вячеслав Васильевич Степанов, Герман Вейль и Абрам Самойлович Безикович. Есть также понятие почти периодических функций на локально компактных абелевых группах[англ.], которое первым изучал Джон фон Нейман.
Почти периодичность является свойством динамических систем, которое проявляется при прослеживании пути системы через фазовое пространство. Примером может служить планетная система с планетами на орбитах, двигающихся с несопоставимыми периодами (то есть с вектором периодов, который не пропорционален вектору целых чисел). Теорема Кронекера[англ.] из теории диофантовых приближений может быть использована, чтобы показать, что любая конкретная конфигурация, встретившись однажды, будет повторяться с любой указанной точностью — если мы достаточно долго ждём, мы можем наблюдать, что все планеты вернутся в секунды дуги, в которых они находились.
Мотивация
[править | править код]Имеется несколько неэквивалентных определений почти периодических функций. Первое определение дал Харальд Бор. Его первоначально интересовал конечный ряд Дирихле. Фактически, если обрубить ряд дзета-функции Римана , чтобы сделать его конечным, получим конечные суммы членов типа
с s, записанными в виде , суммы вещественной и мнимой it частей. Если зафиксировать , что ограничивает внимание до отдельной вертикальной прямой на комплексной плоскости, мы можем представить это как
Если брать конечную сумму таких членов, уходят трудности с аналитическим продолжением в область . Здесь «частоты» не сопоставимы (они все линейно независимы над рациональными числами).
По этим причинам мы рассмотрим виды тригонометрических многочленов с независимы частотами и используем математический анализ для обсуждения замыкания этого множества базовых функций в различных нормах.
Для других норм теорию разрабатывали Безикович, Степанов, Вейль, фон Нейман, Тьюринг, Бохнер и другие в 1920-х – 1930-х годах.
Равномерные (Бора, Бохнера) почти периодические функции
[править | править код]Бор (1925)[1] определил равномерно почти периодические функции как замыкание тригонометрических многочленов по равномерной норме
(для ограниченных функций f на R). Другими словами, функция f равномерно почти периодична, если для любого есть конечная линейная комбинация синусоидальных волн на расстоянии, меньшим от f по равномерной норме. Бор доказал, что это определение эквивалентно существованию относительно плотного множества почти-периодов для всех . То есть, существование параллельных переносов по переменной t, для которых
Альтернативное определение Бохнера (1926) эквивалентно определению Бора и относительно просто формулируется:
Функция f почти периодична, если любая последовательность параллельных переносов f имеет подпоследовательность, которая равномерно сходится по t в .
Почти периодические функции Бора есть, по существу, то же самое, что и непрерывные функции на компактификации Бора вещественных чисел.
Почти периодические функции Степанова
[править | править код]Пространство почти периодических функций Стеанова (для ) ввёл В.В. Степанов (1925)[2][3] Оно содержит пространство почти периодических функций Бора. Пространство является замыканием тригонометрических многочленов по норме
для любого положительного фиксированного r. Для различных значений r эта норма даёт ту же самую топологию и то же самое пространство почти периодических функций (хотя норма в этом пространстве зависит от выбора r).
Почти периодические функции Вейля
[править | править код]Пространство почти периодических функций Вейля (для ) ввёл Вейль (1927)[4]. Оно содержит пространство почти периодических функций Степнова. Оно является замыканием тригонометрических многочленов по полунорме
Предупреждение: имеются ненулевые функции с , как и любая ограниченная функция на компактном носителе, так что для получения банахового пространства следует взять факторпространство по этим функциям.
Почти периодические функции Безиковича
[править | править код]Пространство почти периодических функций Безиковича ввёл Безикович (1926)[5]. Оно является замыканием тригонометрических многочленов по полунорме
Предупреждение: имеются ненулевые функции с , как и любая ограниченная функция на компактном носителе, так что для получения банахового пространства следует взять факторпространство по этим функциям.
Почти периодические функции Безиковича в имеют разложение (не обязательно сходящееся)
с конечной суммой и вещественным . Обратно, любой такой ряд является расширением некоторой периодической функции Безиковича (не уникальной).
Пространство почти периодических функций Безиковича (для ) содержит пространство почти периодических функций Вейля. Если создать факторпространство по подпространству "нулевых" функций, его можно отождествить с пространством функций на компактификации Бора вещественных чисел.
Почти периодические функции на локально компактных абелевых группах
[править | править код]С теоретическим развитием и приходом абстрактных методов (теорема Питера — Вейля[англ.], двойственность Понтрягина и банаховы алгебры) стала возможной общая теория. Основной идеей почти периодичности по отношению к локально компактной абелевой группы[англ.] G сводится к идее функции F в , такой что параллельные переносы на G образуют относительно компактное множество[англ.]. Эквивалентно, пространство почти периодических функций является замыканием по норме конечных линейных комбинаций характеров группы G. Если G компактно, почти периодические функции — это то же самое, что и непрерывные функции.
Компактификация Бора группы G — это компактная абелева группа всех, возможно разрывных, характеров группы, двойственной группе G, и представляет собой компактную группу, содержащую G в качестве плотной подгруппы. Пространство равномерно почти периодических функций на G можно отождествить с пространством всех непрерывных функций на компактификации Бора группы G. В более общем смысле компактификация Бора можно определить для любой топологической группы G, а пространства непрерывных или функций на компактификации Бора можно считать почти периодическими функциями на G. Для локально компактных связных групп G отображение из G в её компактификацию Бора инъективно тогда и только тогда, когда G является центральным расширением компактной группы или, эквивалентно, произведением компактной группы на конечномерное векторное пространство.
Квазипериодические сигналы при аудиообработке и синтезе музыки
[править | править код]При обработке речевого сигнала[англ.], обработке аудиосигнала[англ.] и синтезе музыки, квазипериодический сигнал имеет форму волны, которая с микроскопической точки зрения периодична, но не обязательно периодична макроскопически. Это не даёт квазипериодическую функцию[англ.] в смысле статьи Википедии с таким именем, но даёт что-то более сходное с почти периодической функцией, будучи почти периодической функцией, где любой период виртуально идентичен находящимся рядом периодам, но не обязательно похож на периоды, более далёкие по времени. Это справедливо для музыкальных тонов (после начального переходного процесса) где все гармоники или обертоны являются гармоническими (то есть все обертоны обладают частотой, кратной опорной частоте[англ.] тона).
Если сигнал полностью периодичен с периодом , то сигнал удовлетворяет тождеству
или
Представлением в виде ряда Фурье будет
или
где является опорной частотой и коэффициенты ряда Фурье равны
- где может быть любым временем из промежутка .
Опорная частота[англ.] и коэффициенты ряда Фурье , , , или , являются константами, то есть не зависят от времени. Частоты гармоник кратны опорной частоте.
Если квазипериодична, то
или
где
Теперь представление в виде ряда Фурье будет
или
или
где , возможно, меняющаяся во времени опорная частота, а меняющиеся во времени коэффициенты ряда Фурье равны
а мгновенная частота[англ.] для каждой гармоники равна
В отличие от квазипериодического случая опорная частота , частоты гармоник и коэффициенты ряда Фурье , , или не обязательно постоянны и являются функциями от времени, хоть и медленно меняющимися.
Частоты очень близки к гармоническим, но не обязательно в точности таковы. Производная по времени от , то есть , имеет эффект рассогласования частоты от точного целочисленного гармонического значения . Быстро меняющаяся означает, что мгновенная частота для этой гармоники резко уходит от целочисленного гармонического значения, что означает, что не квазипериодична.
Квазипериодическая функция
[править | править код]В математике функция называется квазипериодической, когда она имеет некоторое сходство с периодической функцией, но не соответствует строгому определению. Чтобы быть более точным, это означает, что функция является квазипериодической с квазипериодом , если , где является более простой функцией, чем .
Простой случай (иногда называемый арифметически-квазипериодическим), когда функция подчиняется уравнению:
Другой случай (иногда называемый геометрически-квазипериодическим) заключается в том, что функция подчиняется уравнению:
Еще одним примером является функция:
Если соотношение А/В является рациональным, функция будет иметь период, но если А/В является иррациональным нет такого периода, хотя есть последовательность чисел , называемых "почти" периодами, такие, что для любого , существует такой, что
Другим примером функции с почти периодами является тета-функция Якоби, где
- .
Это показывает, что для фиксированного существует квазипериод ; он также периодический с периодом, равным одному. Другим примером является Сигма-функция Вейерштрасса, которая является квазипериодической, с двумя независимыми квазипериодами, соответствующими Сигма-функциям Вейерштрасса.
Функции с аддитивным функциональным уравнением
также называются квазипериодическими. Примером этого является Дзета-функция Вейерштрасса, где
для фиксированной постоянной , когда является периодом соответствующей функции Вейерштрасса.
См. также
[править | править код]Примечания
[править | править код]- ↑ Bohr, 1925, с. 29–127.
- ↑ Stepanoff, 1925, с. 90–92.
- ↑ Stepanov, 1925, с. 473–498.
- ↑ Weyl, 1927, с. 338–356.
- ↑ Besicovitch, 1926, с. 495–512.
Литература
[править | править код]- H. Bohr. Zur Theorie der fastperiodischen Funktionen I // Acta Math.. — 1925. — Вып. 45.
- H. Bohr. Almost-periodic functions. — Chelsea, 1947. — (reprint).
- W. Stepanoff(=V.V. Stepanov). Sur quelques généralisations des fonctions presque périodiques // C. R. Acad. Sci.. — Paris, 1925. — Т. 181.
- W. Stepanoff(=V.V. Stepanov). Ueber einige Verallgemeinerungen der fastperiodischen Funktionen // Math. Ann.. — 1925. — Вып. 45.
- H. Weyl. Integralgleichungen und fastperiodische Funktionen // Math. Ann.. — 1927. — Вып. 97.
- A.S. Besicovitch. On generalized almost periodic functions // Proc. London Math. Soc.. — 1926. — Т. 2, вып. 25.
- A.S. Besicovitch. Almost periodic functions. — Cambridge Univ. Press, 1932.
- Luigi Amerio, Giovanni Prouse. Almost-periodic functions and functional equations. — New York–Cincinnati–Toronto–London–Melbourne: Van Nostrand Reinhold, 1971. — С. viii+184. — (The University Series in Higher Mathematics). — ISBN 0-442-20295-4.
- Bochner S. Beitrage zur Theorie der fastperiodischen Funktionen // Math. Annalen. — 1926. — Т. 96. — С. 119–147. — doi:10.1007/BF01209156.
- J. von Neumann. Almost Periodic Functions in a Group I. — Trans. Amer. Math. Soc.. — 1934. — Т. 36. — С. 445–492.
- S. Bochner, J. von Neumann. Almost Periodic Function in a Group II // Trans. Amer. Math. Soc.. — 1935. — Т. 37, вып. 1. — С. 21–50.
- Bredikhina, E.A. (2001), "Almost-periodic functions", in Hazewinkel, Michiel (ed.), Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Bredikhina, E.A. (2001), "Besicovitch almost periodic functions", in Hazewinkel, Michiel (ed.), Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Bredikhina, E.A. (2001), "Bohr almost periodic functions", in Hazewinkel, Michiel (ed.), Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Bredikhina, E.A. (2001), "Stepanov almost periodic functions", in Hazewinkel, Michiel (ed.), Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Bredikhina, E.A. (2001), "Weyl almost periodic functions", in Hazewinkel, Michiel (ed.), Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Для улучшения этой статьи желательно:
|