Главная
Почти периодическая функция — это функция на множестве вещественных чисел, которая периодична с любой желаемой точностью, если заданы достаточно большие равномерно распределённые «почти периоды». Концепцию первым изучал Харальд Бор и её впоследствие обобщили, среди прочих, Вячеслав Васильевич Степанов, Герман Вейль и Абрам Самойлович Безикович. Есть также понятие почти периодических функций на локально компактных абелевых группах, которое первым изучал Джон фон Нейман.
Почти периодичность является свойством динамических систем, которое проявляется при прослеживании пути системы через фазовое пространство. Примером может служить планетная система с планетами на орбитах, двигающихся с несопоставимыми периодами (то есть с вектором периодов, который не пропорционален вектору целых чисел). Теорема Кронекера из теории диофантовых приближений может быть использована, чтобы показать, что любая конкретная конфигурация, встретившись однажды, будет повторяться с любой указанной точностью — если мы достаточно долго ждём, мы можем наблюдать, что все планеты вернутся в секунды дуги, в которых они находились.
Мотивация
Имеется несколько неэквивалентных определений почти периодических функций. Первое определение дал Харальд Бор. Его первоначально интересовал конечный ряд Дирихле. Фактически, если обрубить ряд дзета-функции Римана ζ ( s ) {displaystyle zeta (s)} , чтобы сделать его конечным, получим конечные суммы членов типа
e ( σ + i t ) log n {displaystyle e^{(sigma +it)log n},}с s, записанными в виде ( σ + i t ) {displaystyle (sigma +it)} , суммы вещественной σ {displaystyle sigma } и мнимой it частей. Если зафиксировать σ {displaystyle sigma } , что ограничивает внимание до отдельной вертикальной прямой на комплексной плоскости, мы можем представить это как
n σ e ( log n ) i t . {displaystyle n^{sigma }e^{(log n)it}.,}Если брать конечную сумму таких членов, уходят трудности с аналитическим продолжением в область σ < 1 {displaystyle sigma <1} . Здесь «частоты» log n {displaystyle log {n}} не сопоставимы (они все линейно независимы над рациональными числами).
По этим причинам мы рассмотрим виды тригонометрических многочленов с независимы частотами и используем математический анализ для обсуждения замыкания этогт множества базовых функций в различных нормах.
Для других норм теорию разрабатывали Безикович, Степанов, Вейль, фон Нейман, Тьюринг, Бохнер и другие в 1920-х – 1930-х годах.
Равномерные (Бора, Бохнера) почти периодические функции
Бор (1925) определил равномерно почти периодические функции как замыкание тригонометрических многочленов по равномерной норме
‖ f ‖ ∞ = sup x | f ( x ) | {displaystyle |f|_{infty }=sup _{x}|f(x)|}(для ограниченных функций f на R). Другими словами, функция f равномерно почти периодична, если для любого ϵ > 0 {displaystyle epsilon >0} есть конечная линейная комбинация синусоидальных волн на расстоянии, меньшим ϵ {displaystyle epsilon } от f по равномерной норме. Бор доказал, что это определение эквивалентно существованию относительно плотного множества ϵ − {displaystyle epsilon -} почти-периодов для всех ϵ > 0 {displaystyle epsilon >0} . То есть, существование параллельных переносов T ( ϵ ) = T {displaystyle T(epsilon )=T} по переменной t, для которых
| f ( t + T ) − f ( t ) | < ε . {displaystyle left|f(t+T)-f(t) ight|<varepsilon .}Альтернативное определение Бохнера (1926) эквивалентно определению Бора и относительно просто формулируется:
Функция f почти периодична, если любая последовательность { ( t + T n ) } {displaystyle {(t+T_{n})}} параллельных переносов f имеет подпоследовательность, которая равномерно сходится по t в ( − ∞ , + ∞ ) {displaystyle (-infty ,+infty )} .
Почти периодические функции Бора есть, по существу, то же самое, что и непрерывные функции на компактификации Бора вещественных чисел.
Почти периодические функции Степанова
Пространство S p {displaystyle S^{p}} почти периодических функций Стеанова (для p ⩾ 1 {displaystyle pgeqslant 1} ) ввёл В.В. Степанов (1925) Оно содержит пространство почти периодических функций Бора. Пространство является замыканием тригонометрических многочленов по норме
‖ f ‖ S , r , p = sup x ( 1 r ∫ x x + r | f ( s ) | p d s ) 1 / p {displaystyle |f|_{S,r,p}=sup _{x}left({1 over r}int _{x}^{x+r}|f(s)|^{p},ds ight)^{1/p}}для любого положительного фиксированного r. Для различных значений r эта норма даёт ту же самую топологию и то же самое пространство почти периодических функций (хотя норма в этом пространстве зависит от выбора r).
Почти периодические функции Вейля
Пространство W p {displaystyle W^{p}} почти периодических функций Вейля (для p ⩾ 1 {displaystyle pgeqslant 1} ) ввёл Вейль (1927). Оно содержит пространство S p {displaystyle S^{p}} почти периодических функций Степнова. Оно является замыканием тригонометрических многочленов по полунорме
‖ f ‖ W , p = lim r → ∞ ‖ f ‖ S , r , p {displaystyle |f|_{W,p}=lim _{r o infty }|f|_{S,r,p}}Предупреждение: имеются ненулевые функции f {displaystyle f} с ‖ f ‖ W , p = 0 {displaystyle {lVert }f{ Vert }_{W,p}=0} , как и любая ограниченная функция на компактном носителе, так что для получения банахового пространства следует взять факторпространство по этим функциям.
Почти периодические функции Безиковича
Пространство B p {displaystyle B^{p}} почти периодических функций Безиковича ввёл Безикович (1926). Оно является замыканием тригонометрических многочленов по полунорме
‖ f ‖ B , p = lim sup x → ∞ ( 1 2 x ∫ − x x | f ( s ) | p d s ) 1 / p {displaystyle |f|_{B,p}=limsup _{x o infty }left({1 over 2x}int _{-x}^{x}|f(s)|^{p},ds ight)^{1/p}}Предупреждение: имеются ненулевые функции f {displaystyle f} с ‖ f ‖ B , p = 0 {displaystyle {lVert }f{ Vert }_{B,p}=0} , как и любая ограниченная функция на компактном носителе, так что для получения банахового пространства следует взять факторпространство по этим функциям.
Почти периодические функции Безиковича в B 2 {displaystyle B^{2}} имеют разложение (не обязательно сходящееся)
∑ a n e i λ n t {displaystyle sum a_{n}e^{ilambda _{n}t}}с конечной суммой ∑ a n 2 {displaystyle sum {a_{n}^{2}}} и вещественным λ n {displaystyle lambda _{n}} . Обратно, любой такой ряд является расширением некоторой периодической функции Безиковича (не уникальной).
Пространство B p {displaystyle B^{p}} почти периодических функций Безиковича (для p ⩾ 1 {displaystyle pgeqslant 1} ) содержит пространство W p {displaystyle W^{p}} почти периодических функций Вейля. Если создать факторпространство по подпространству "нулевых" функций, его можно отождествить с пространством L p {displaystyle L^{p}} функций на компактификации Бора вещественных чисел.
Почти периодические функции на локально компактных абелевых группах
С теоретическим развитием и приходом абстрактных методов (теорема Питера — Вейля, двойственность Понтрягина и банаховы алгебры) стала возможной общая теория. Основной идеей почти периодичности по отношению к локально компактной абелевой группы G сводится к идее функции F в L ∞ ( G ) {displaystyle L^{infty }(G)} , такой что параллельные переносы на G образуют относительно компактное множество. Эквивалентно, пространство почти периодических функций является замыканием по норме конечных линейных комбинаций характеров группы G. Если G компактно, почти периодические функции — это то же самое, что и непрерывные функции.
Компактификация Бора группы G — это компактная абелева группа всех, возможно разрывных, характеров группы, двойственной группе G, и представляет собой компактную группу, содержащую G в качестве плотной подгруппы. Пространство равномерно почти периодических функций на G можно отождествить с пространством всех непрерывных функций на компактификации Бора группы G. В более общем смысле компактификация Бора можно определить для любой топологической группы G, а пространства непрерывных или L p {displaystyle L^{p}} функций на компактификации Бора можно считать почти периодическими функциями на G. Для локально компактных связных групп G отображение из G в её компактификацию Бора инъективно тогда и только тогда, когда G является центральным расширением компактной группы или, эквивалентно, произведением компактной группы на конечномерное векторное пространство.
Квазипериодические сигналы при аудиообработке и синтезе музыки
При обработке речевого сигнала, обработке аудиосигнала и синтезе музыки, квазипериодический сигнал имеет форму волны, которая с микроскопической точки зрения периодична, но не обязательно периодична макроскопически. Это не даёт квазипериодическую функцию в смысле статьи Википедии с таким именем, но даёт что-то более сходное с почти периодической функцией, будучи почти периодической функцией, где любой период виртуально идентичен находящимся рядом периодам, но не обязательно похож на периоды, более далёкие по времени. Это справедливо для музыкальных тонов (после начального переходного процесса) где все гармоники или обертоны являются гармоническими (то есть все обертоны обладают частотой, кратной опорной частоте тона).
Если сигнал x ( t ) {displaystyle x(t) } полностью периодичен с периодом P {displaystyle P } , то сигнал удовлетворяет тождеству
x ( t ) = x ( t + P ) ∀ t ∈ R {displaystyle x(t)=x(t+P)qquad forall tin mathbb {R} }или
| x ( t ) − x ( t + P ) | = 0 ∀ t ∈ R . {displaystyle {Big |}x(t)-x(t+P){Big |}=0qquad forall tin mathbb {R} . }Представлением в виде ряда Фурье будет
x ( t ) = a 0 + ∑ n = 1 ∞ [ a n cos ( 2 π n f 0 t ) − b n sin ( 2 π n f 0 t ) ] {displaystyle x(t)=a_{0}+sum _{n=1}^{infty }{ig [}a_{n}cos(2pi nf_{0}t)-b_{n}sin(2pi nf_{0}t){ig ]}}или
x ( t ) = a 0 + ∑ n = 1 ∞ r n cos ( 2 π n f 0 t + φ n ) {displaystyle x(t)=a_{0}+sum _{n=1}^{infty }r_{n}cos(2pi nf_{0}t+varphi _{n})}где f 0 = 1 P {displaystyle f_{0}={frac {1}{P}}} является опорной частотой и коэффициенты ряда Фурье равны
a 0 = 1 P ∫ t 0 t 0 + P x ( t ) d t {displaystyle a_{0}={frac {1}{P}}int _{t_{0}}^{t_{0}+P}x(t),dt } a n = r n cos ( φ n ) = 2 P ∫ t 0 t 0 + P x ( t ) cos ( 2 π n f 0 t ) d t n ≥ 1 {displaystyle a_{n}=r_{n}cos left(varphi _{n} ight)={frac {2}{P}}int _{t_{0}}^{t_{0}+P}x(t)cos(2pi nf_{0}t),dtqquad ngeq 1} b n = r n sin ( φ n ) = − 2 P ∫ t 0 t 0 + P x ( t ) sin ( 2 π n f 0 t ) d t {displaystyle b_{n}=r_{n}sin left(varphi _{n} ight)=-{frac {2}{P}}int _{t_{0}}^{t_{0}+P}x(t)sin(2pi nf_{0}t),dt } где t 0 {displaystyle t_{0} } может быть любым временем из промежутка − ∞ < t 0 < + ∞ {displaystyle -infty <t_{0}<+infty } .Опорная частота f 0 {displaystyle f_{0} } и коэффициенты ряда Фурье a n {displaystyle a_{n} } , b n {displaystyle b_{n} } , r n {displaystyle r_{n} } , или φ n {displaystyle varphi _{n} } , являются константами, то есть не зависят от времени. Частоты гармоник кратны опорной частоте.
Если x ( t ) {displaystyle x(t) } квазипериодична, то
x ( t ) ≈ x ( t + P ( t ) ) {displaystyle x(t)approx x{ig (}t+P(t){ig )} }или
| x ( t ) − x ( t + P ( t ) ) | < ε {displaystyle {Big |}x(t)-x{ig (}t+P(t){ig )}{Big |}<varepsilon }где
0 < ϵ ≪ ‖ x ‖ = x 2 ¯ = lim τ → ∞ 1 τ ∫ − τ / 2 τ / 2 x 2 ( t ) d t . {displaystyle 0<epsilon ll {ig Vert }x{ig Vert }={sqrt {overline {x^{2}}}}={sqrt {lim _{ au o infty }{frac {1}{ au }}int _{- au /2}^{ au /2}x^{2}(t),dt}}. }Теперь представление в виде ряда Фурье будет
x ( t ) = a 0 ( t ) + ∑ n = 1 ∞ [ a n ( t ) cos ( 2 π n ∫ 0 t f 0 ( τ ) d τ ) − b n ( t ) sin ( 2 π n ∫ 0 t f 0 ( τ ) d τ ) ] {displaystyle x(t)=a_{0}(t) + sum _{n=1}^{infty }left[a_{n}(t)cos left(2pi nint _{0}^{t}f_{0}( au ),d au ight)-b_{n}(t)sin left(2pi nint _{0}^{t}f_{0}( au ),d au ight) ight]}или
x ( t ) = a 0 ( t ) + ∑ n = 1 ∞ r n ( t ) cos ( 2 π n ∫ 0 t f 0 ( τ ) d τ + φ n ( t ) ) {displaystyle x(t)=a_{0}(t) + sum _{n=1}^{infty }r_{n}(t)cos left(2pi nint _{0}^{t}f_{0}( au ),d au +varphi _{n}(t) ight)}или
x ( t ) = a 0 ( t ) + ∑ n = 1 ∞ r n ( t ) cos ( 2 π ∫ 0 t f n ( τ ) d τ + φ n ( 0 ) ) {displaystyle x(t)=a_{0}(t)+sum _{n=1}^{infty }r_{n}(t)cos left(2pi int _{0}^{t}f_{n}( au ),d au +varphi _{n}(0) ight)}где f 0 ( t ) = 1 P ( t ) {displaystyle f_{0}(t)={frac {1}{P(t)}}} , возможно, меняющаяся во времени опорная частота, а меняющиеся во времени коэффициенты ряда Фурье равны
a 0 ( t ) = 1 P ( t ) ∫ t − P ( t ) / 2 t + P ( t ) / 2 x ( τ ) d τ {displaystyle a_{0}(t)={frac {1}{P(t)}}int _{t-P(t)/2}^{t+P(t)/2}x( au ),d au } a n ( t ) = r n ( t ) cos ( φ n ( t ) ) = 2 P ( t ) ∫ t − P ( t ) / 2 t + P ( t ) / 2 x ( τ ) cos ( 2 π n f 0 ( t ) τ ) d τ n ≥ 1 {displaystyle a_{n}(t)=r_{n}(t)cos {ig (}varphi _{n}(t){ig )}={frac {2}{P(t)}}int _{t-P(t)/2}^{t+P(t)/2}x( au )cos {ig (}2pi nf_{0}(t) au {ig )},d au qquad ngeq 1} b n ( t ) = r n ( t ) sin ( φ n ( t ) ) = − 2 P ( t ) ∫ t − P ( t ) / 2 t + P ( t ) / 2 x ( τ ) sin ( 2 π n f 0 ( t ) τ ) d τ {displaystyle b_{n}(t)=r_{n}(t)sin {ig (}varphi _{n}(t){ig )}=-{frac {2}{P(t)}}int _{t-P(t)/2}^{t+P(t)/2}x( au )sin {ig (}2pi nf_{0}(t) au {ig )},d au }а мгновенная частота для каждой гармоники равна
f n ( t ) = n f 0 ( t ) + 1 2 π φ n ′ ( t ) . {displaystyle f_{n}(t)=nf_{0}(t)+{frac {1}{2pi }}varphi _{n}^{prime }(t).,}В отличие от квазипериодического случая опорная частота f 0 ( t ) {displaystyle f_{0}(t) } , частоты гармоник f n ( t ) {displaystyle f_{n}(t) } и коэффициенты ряда Фурье a n ( t ) {displaystyle a_{n}(t) } , b n ( t ) {displaystyle b_{n}(t) } , r n ( t ) {displaystyle r_{n}(t) } или φ n ( t ) {displaystyle varphi _{n}(t) } не обязательно постоянны и являются функциями от времени, хоть и медленно меняющимися.
Частоты f n ( t ) {displaystyle f_{n}(t)} очень близки к гармоническим, но не обязательно в точности таковы. Производная по времени от φ n ( t ) {displaystyle varphi _{n}(t)} , то есть φ n ′ ( t ) {displaystyle varphi _{n}^{prime }(t)} , имеет эффект рассогласования частоты от точного целочисленного гармонического значения n f 0 ( t ) {displaystyle nf_{0}(t)} . Быстро меняющаяся φ n ( t ) {displaystyle varphi _{n}(t)} означает, что мгновенная частота для этой гармоники резко уходит от целочисленного гармонического значения, что означает, что x ( t ) {displaystyle x(t)} не квазипериодична.