О явлении Лиувилля в оценках фрактальныхразмерностей вынужденных квазипериодических колебаний Текст научной статьи по специальности «Математика»

УДК 517.935.4 Вестник СПбГУ. Математика. Механика. Астрономия. 2019. Т. 6 (64). Вып. 3 МБС 37С45

О явлении Лиувилля в оценках фрактальных размерностей вынужденных квазипериодических колебаний*

М. М. Аникушин

Санкт-Петербургский государственный университет,

Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9

Для цитирования: Аникушин М. М. О явлении Лиувилля в оценках фрактальных размерностей вынужденных квазипериодических колебаний // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2019. Т. 6(64). Вып. 3. С. 363-375. https://doi.org/10.21638/11701/spbu01.2019.302

В работе развивается метод для изучения фрактальных размерностей вынужденных почти периодических колебаний в различных дифференциальных уравнениях. Метод основывается на ранее введенном понятии диофантовой размерности почти периодической функции, которое тесно связано с диофантовыми приближениями ее частот. Получены оценки диофантовой размерности для некоторых классов квазипериодических функций. Приложение метода продемонстрировано на примере одного класса систем управления, изученного В. А. Якубовичем. В результате можно наблюдать теоретико-числовое явление (явление Лиувилля), проявляющееся в невозможности управления фрактальной размерностью вынужденных колебаний с хорошо аппроксимируемыми частотами.

Ключевые слова: квазипериодическая функция, теория размерностей, диофантовы приближения, фрактальная размерность.

1. Введение. 1.1. История вопроса. При изучении фрактальных размерностей (например, хаусдорфовой) замыканий квазипериодических траекторий дифференциальных уравнений возникает следующее препятствие. В силу того, что квазипериодическая функция м(-) есть сужение некоторой периодической функции Фи нескольких, скажем т, переменных на плотную обмотку Ш плоского т-мерного тора, т.е. п(Ь) = Фи(ш£), ш € Кт, то размерностные свойства замыкания такой траектории, т.е. множества Ми = С1 м(К) = Фи(Тт), могут зависеть от того, как функция Фи влияет на диаметры множеств, т.е. от свойств типа гельдеровости. Но, по всей видимости, в нелинейных задачах невозможно получить какие-либо результаты регулярности для функции Фи ввиду того, что исходное дифференциальное уравнение определяет ее регулярность только в направлении обмотки Ш тора Тт и не предоставляет никакой информации о поведении в трансверсальных направлениях. Поэтому для оценки фрактальных размерностей множества Ми не следует опираться на регулярность функции Фи. Оказывается, что возможен другой подход, если мы знаем, что м(-) — это вынужденное почти периодическое колебание. В свя-

* Работа выполнена при поддержке Немецко-Российского междисциплинарного научного центра (G-RISC), финансируемого через Немецкую службу академических обменов (DAAD) (проекты M-2017a-5 и M-2017b-5) и при поддержке программы Ведущие школы Российской Федерации (грант №2858.2018.1).

© Санкт-Петербургский государственный университет, 2019

зи с этим было предложено понятие диофантовой размерности (см. [1, 2]), которое позволяет разделить задачу оценивания фрактальных размерностей на две части (см. теорему 1 ниже): результаты регулярности для самого решения м(-) и оценка его диофантовой размерности через соответствующую величину для возмущения (см. теорему 2). После этого можно исследовать диофантову размерность для тех или иных классов возмущений с помощью диофантовых приближений (см. [3-5]). Подобный подход впервые появился в работах К.Наито (например, в [4]), а после был развит автором в [1, 2, 6]. Здесь, по всей видимости, обнаруживается теоретико-числовое явление (см. [7] и раздел 5), аналогичное тому, которое возникает в теории Колмогорова — Арнольда — Мозера (КАМ). В нашем случае его эффект заключается в том, что невозможно контролировать (через свойства возмущения) фрактальные размерности вынужденных квазипериодических колебаний в том случае, когда их частоты хорошо аппроксимируемые. Таким образом, теоретико-числовые свойства возникают здесь не случайно.

Прежде чем сформулировать основные результаты — теоремы 1 и 3, запишем некоторые понятия.

1.2. Диофантова размерность почти периодической функции. Пусть X есть метрическое пространство с метрикой qx , и пусть u: R ^ X — непрерывная функция. Для заданного е > 0 определим T£(u) как множество всех т G R таких, что

p^(u( + т),и() := suppx(u(t + т),u(t)) < е. (1.1)

te r

Такое число т называется е-почти периодом функции u(-). Напомним, что подмножество A С R называется относительно плотным, если найдется число L > 0 такое, что пересечение A П [а, а + L] не пусто при всех а G R. Непрерывная функция u(-) называется X-почти периодической (или просто, почти периодической), если множество Te(u) относительно плотно с некоторым числом L = L(e) при всех е > 0 (см. [10]). Пусть 1и(е) есть минимум среди всех таких чисел L(e). Пределы

Si (и) := limsup ^М и := iiminf (1.2)

ln 1/е ln 1/е

соответственно называются диофантовой размерностью1 и нижней диофантовой размерностью функции u(-).

1.3. Основная теорема о диофантовой размерности. Пусть X — метрическое пространство и A С X — относительно компактное подмножество. Пусть N£(A) есть наименьшее число открытых шаров радиуса е, необходимое для покрытия A. Величины

, . AnNE(A) , 1пЛГе(Л)

dim иЛ = limint-;— и dim в А = lim sup-;— 1-3

In 1/е In 1/е

соответственно называются нижней коробочной размерностью и верхней коробочной размерностью2 (или фрактальной размерностью) множества A (см. [8]).

хЭти величины не являются размерностями в классическом смысле, так же как и, например, размерность по Ляпунову (см., например, [8, 9]). Диофантовой размерностью данная характеристика названа (см. [1, 2]) по причине ее тесной связи с диофантовыми приближениями частот (см. раздел 3).

2От англ. box-counting dimension. В русскоязычной литературе встречаются также названия: емкость, энтропийная размерность, размерность Минковского, грубая размерность.

Пусть и: К ^ X — непостоянная почти периодическая функция. В частности, и() равномерно непрерывна. Пусть число 5(£) > 0 таково, что дх(u(t 1 ),и(£2)) < £, как только |^ 1 — ¿21 < Пусть 6*(е) есть наибольшее среди всех таких чисел 6(е). Рассмотрим величину

А (и) := Цт8ир1П(5^£^. (1.4)

1п £

Ясно, что в случае, когда и(-) удовлетворяет локальному условию Гельдера3 с некоторым показателем а (Е (0,1], мы имеем Л(и) <

Оболочкой Н(и) почти периодической функции и(-) называется замыкание множества ее сдвигов {и( + в) | в € К} в топологии равномерной сходимости. По теореме Бохнера (см. теорему 1.2 в [10]) множество Н(и) компактно. Доказательство следующей теоремы приведено в разделе 2.

Теорема 1. Для оболочки Н(и) почти периодической функции и(-) имеют место неравенства

сЕтвЩи) < Щи) + Л(и), йшв?{(и) < сн(и) + Л(и).

Рассмотрим замыкание траектории и(^) в X, т.е. множество Ми = и(К). Идейно похожая версия теоремы 1 уже появлялась в работе [4] К. Наито с Ми вместо Н(и). В работе [2] она была переоткрыта автором. В силу того, что отображение г: Н(и) ^ Ми, V ^ ^(0), сюръективно и липшицево, мы сразу получаем (1.5) с Ми вместо Н(и). Также текущая версия теоремы более удобна для наших дальнейших исследований (см. следствие 1 ниже).

1-4- Частотные условия для оценки диофантовой размерности. Рассмотрим следующий класс систем управления в К":

и = Аи + Ь^(а) + / (¿), (1б)

а = с*и,

где А есть (п х п)-матрица; Ь, с суть п-векторы; <£>(•) — непрерывно дифференцируемая скалярная функция4; /(•) есть К"-почти периодическая функция. Рассмотрим передаточную функцию линейной части системы (1.6), т.е. Ш(р) := с*(А — р1)-1Ь, р € С и ёе1(А — р1) = 0. Следующая теорема может быть получена из результатов работы [11].

Теорема 2. Пусть 0 < у>'(а) < к0, а € К, для некоторого к0 < и найдется в > 0 такое, что выполнены условия:

" ^ i\ PX (u(tl ) ,u(to)) „ .

1о есть найдется so > 0 такое, что sup ' \ „ " < +оо.

0<|t1-t2|<£o |tl t21

4В работах [11] и [12] рассмотрен более общий случай нескольких, вообще говоря, разрывных нелинейностей. Оценка (1.7), записанное ниже, может быть аналогично получена и в этих случаях. Однако, ввиду того, что для систем с разрывными нелинейностями общая теория гарантирует лишь абсолютную непрерывность решения, здесь требуются результаты регулярности для того, чтобы применить нашу теорему 1. Мы приводим упрощенные версии этих результатов (теорему 2) как одну из мотиваций нашего исследования, а также, чтобы сделать возникающие здесь явления более прозрачными. Заметим, что результаты работ [11] и [12] тесно связаны с методом сильно монотонных операторов (см. [1, 10]) и необходимые оценки могут быть получены также для некоторых классов уравнений в частных производных. Несколько иной подход, все также использующий частотные методы, см. в [6].

1) матрица A + ДТ гурвицева;

2) неравенство 1/к° + Re W(—в + iß) > 0 выполнено при всех ß > 0, и если к° = то также выполнено

lim ш2 Re W(—в + iß) > 0.

Тогда система (1.6) имеет единственное ограниченное 'решение и(-), которое почти периодическое и экспоненциально устойчивое, а также выполнено

Di(u) < Di(f). (1.7)

Неравенство (1.7) есть следствие априорных оценок, полученных в доказательстве теоремы 1 из [11].

В силу теоремы 1 и неравенства (1.7) мы имеем А\твЛЛи < + 1- Отсюда

можно задаться следующими вопросами, ответы на которые мы дадим в разделах 3 и 4:

а) Как оценить Di(f) для заданной функции f ?

б) Каковы значения или оценки диофантовой размерности для f из заданного класса?

1.5. Размерности типичных квазипериодических функций. Пусть E — банахово пространство. Борелевская мера р на E называется трансверсальной к борелевскому множеству Sc E, если выполнены следующие условия (см. [13]):

(i) существует компактное подмножество K С E такое, что 0 < р(К) < то; (ii) p(S + v) = 0 для всех v G E.

В этом случае множество S называется пренебрежимым, а его дополнение — пре-валентным множеством. Если некоторое свойство выполняется для всех элементов из некоторого превалентного множества в E, то будем говорить, что этим свойством обладают почти все (или типичные) элементы из E. Если условие (ii) выполняется лишь для элементов v G P некоторого превалентного множества P С E, то будем говорить, что мера р существенно трансверсальна к S.

Для заданного банахового пространства E рассмотрим векторное пространство QPm(E) := Cx(Tm; E) х Rm и для а G (0,1] рассмотрим QP^E) := C°'a(Tm; E) х Rm, где C°>a(Tm; E) есть пространство всех непрерывных по Гельдеру (с показателем а) функций из Tm в E.

Теорема 3. Для почти всех (относительно некоторой борелевской меры5) элементов (Ф(-),ш) из QP^R"), m < п, выполняется6

dimT Mu = dimB Mu = Di(u) + 1 = m, (1.8)

где u(t) = ФМ). Более того, для почти всех (Ф(-),ш) G Qpma(E) выполняется

m1

S)i(u) < -. (1.9)

__а

5 Детали построения меры указаны в доказательстве.

6Далее через dim^ X мы обозначаем топологическую размерность по Лебегу метрического пространства X. Читателю необходимо лишь знать, что dim^ X < dimgX (см., например, [8]). Использование dim_g Mu указывает на то, что нижняя и верхняя коробочные размерности Mu совпадают.

Доказательство теоремы 3 состоит из двух ингредиентов: нижняя оценка величины di(u), получающаяся из (1.5) с использованием теоремы Картрайт (см. теорему 4 ниже), и верхней оценки Di(u) в духе теорем переноса Хинчина (см. [3]) и после с использованием метрических свойств диофантовых чисел (см. [3, 5]).

2. Доказательство теоремы 1 и следствий из нее.

Доказательство теоремы 1. Пусть число е > 0 достаточно мало. Покажем, что для всех t (Е К найдется t (Е [0,1и(е)] такое, что

0oo(«(-+t),«(-+i))<£. (2.1)

Действительно, имеется е-почти период т G [—t, —t + /и(е)] для u(-). Тогда число t := t + г является искомым. Теперь для всех v (Е Н(и) найдется t (Е К такое, что +1)) < е и, следовательно,

goo («(•), «(• + t)) < Qoo (v(-), u(- +1)) + Qoo («(• + t), u(- + t)) < 2e. (2.2)

Для удобства введем обозначение Qu := +1) | t G Q} С H(u), где Q С R. Из (2.2) следует, что для покрытия открытыми шарами множества H(u) достаточно предъявить покрытие множества [0,/и(е)]и. Пусть Be(u(- + t)) — открытый шар с центром в u(- +1) и радиусом е. Ясно, что для t G R имеем

Be« +1)) D

t--тг1^ Н--^

(2.3)

Таким образом, множество [0, /и(е)]и может быть покрыто + 1 шарами радиуса

е, и, как следствие, множество Н(и) может быть покрыто таким же количеством

(е) I 1 9

<5*(е) + - ' <5*0)

шаров, но радиуса Зе. Имеем неравенство ЩЕ(Н(и)) < М^т + 1 < 2 • и

InN3e(H(u)) ^ 1п(2'Ш)

< ^ГТТ^- (2-4)

lnl/е lnl/е

Для всех 3 > 0 найдется ео > 0 такое, что '"¡„^ < А(и) + 3 при е (Е (0, ео). Из (2.4) получаем

1плг3е№)) ^ 1п2 ад х

1пЗ + 1п 1 /(Зе) " ЬТА + ШТГ + А(М) + * (2'5)

Переходя к верхнему/нижнему пределу в (2.5) и используя произвольность выбора числа 3, мы завершаем доказательство. □

Теперь пусть Е — банахово пространство и м(-) есть Е-почти периодическая функция. Тогда ей можно сопоставить формальный ряд Фурье:

(t) UkeiXk(2.6)

k=1

где Ак £ К и ик £ Ес. Множество = {ах Ах +... + а„А„ | ак £ <Р, п € Ы} называ-

ется Q-модулем функции м(-), а множество = {ахАх + .. .+а„А„ | а^ £ Ж, п £ Ы}

называется Ж-модулем «(•). На оболочке Н(и) можно ввести структуру компактной

u

связной абелевой группы (см. [16] или [15]). По следствию из двойственности Понт-рягина (см. теорему 47 в [14]) мы имеем dimT H(u) = rankH(u), где через H(u) обозначена группа характеров H(u). В работе [15] показано, что эта группа характеров изоморфна (но, вообще говоря, не топологически изоморфна) Z-модулю Mz(u). Таким образом, в силу цепочки7 dimTH(u) = rankH(u) = rankMZ(u) = dimMq(u) справедлива следующая теорема Картрайт (оригинальную версию см. в [16]).

Теорема 4. Для всякой E-почти периодической функции u(-) имеет место

dimT H(u) = dim Mq(u). (2.7)

В силу того, что dim< dimpTifa) из теорем 1 и 4 мы имеем следующее следствие.

Следствие 1. Предположим, что EE-почти периодическая функция u(-) удовлетворяет локальному условию Гельдера с показателем а € (0,1]. Тогда

Ы(и) > dim SOW«) - -. (2.8)

а

Почти периодическая функция u(-) называется квазипериодической, если найдутся вещественные числа wi,..., wm такие, что для всех Ak из (2.6) имеет место единственное разложение

m

Afc = ^ aj% (2.9)

j=i

с целыми коэффициентами ajfc). Числа wi,...,wm в этом случае называются интегральной базой (или 2п-частотами) функции u(-). Если не существует другой интегральной базы из меньшего, чем m, количества элементов, то интегральная база w1,...,wm называется базой истинного размера m. Оказывается, что оболочка H(u) квазипериодической функции с базой истинного размера m гомеоморфна Tm (см., например, теорему 3 на стр.83 в [17]). Таким образом, dimMq(u) = m.

3. Оценки диофантовой размерности. Для в € Rm обозначим через |в|т расстояние от в до Zm. Ясно, что | ■ |m определяет метрику на m-мерном плоском торе Tm = Rm/Zm.

Эквивалентное определение E-квазипериодической функции u(-) состоит в том, что найдется непрерывная функция Фи : Tm ^ E и вектор рационально независимых чисел w = (wi,..., wm) (который в этом случае мы называем 1-частотами) такой, что u(t) = Ф„(wt). Будем называть функцию Ф„ параметризацией u(-) (так как Фи(Тт) = Mu) заданной 1-частотами8 w = (wi,...,wm). Заметим, что 1-частоты нужно умножить на 2п, чтобы они стали частотами, определенными в разделе 2.

Будем говорить, что m-вектор w = (wi,...,wm) удовлетворяет диофантовому условию порядка v > 0, если для некоторого C > 0 и всех натуральных q выполнено неравенство

1 + U

(3.1)

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

8Ввиду того, что движение Ь ^ шЬ всюду плотно заполняет тор Тт, функция Фи(0 единственным образом определяется по набору ш.

В разделе 4 мы обсудим метрические свойства диофантовых чисел. Для дальнейшего нам понадобится один результат из геометрии чисел.

Решеткой Е в К" называется аддитивная подгруппа, порожденная п линейно независимыми векторами. Для примера, решетка Е = Ж" порождается стандартным базисом в1,..., еп. Рассмотрим замкнутое выпуклое центрально-симметричное тело К в К" с внутренней точкой 0. Для к = 1,..., п определим 5 к как наименьшее число 5 такое, что множество 5 • К содержит к линейно независимых векторов решетки Е. Числа 51,...,5" называются последовательными минимумами тела К относительно решетки Е. Ясно, что 51 < 52 < ... < 5П. Справедлива следующая теорема Минковского (см. [5]).

Теорема 5. В вышеуказанных построениях мы имеем 2"

— уо1(Кп/Ц < 51 • ... • 5„ • уо1(/С) < 2™ уо1(К"/Е). (3.2)

п!

Множество Р С К" называется фундаментальной областью решетки Е, если естественная проекция п: К" ^ биективна на Р. Из теоремы 5 мы выведем

следующую лемму.

Лемма 1. Пусть удовлетворяют диофантовому условию порядка

V > 0, причем ^(т — 1) < 1. Тогда найдется число Сш > 0 такое, что для всех е > 0 система неравенств

|^1Т|1 < е, ..., |^тт|1 < е (3.3)

имеет целочисленное 'решение т € К в каждом интервале длины Ь(е), где Ь(е) =

1 — и(т— 1)

Доказательство. Для удобства положим 7 := Для Т > 1 рассмотрим параллелепипед

Пт:=((х,у1,...,ут)еКт+1 : тах \щх - % | < |х| < т\ (3.4)

I 1<^<т Т ' I

при некотором фиксированном С1 < С, где С из (3.1). Рассмотрим последовательные минимумы 51,..., 5т+1 параллелепипеда Пт относительно решетки Е = Жт+1. Из определения следует, что Пт не содержит ненулевых целочисленных точек и, как следствие, 51 > 1. В силу того, что (т + 1)-мерный объем Пт пропорционален величине Тт7— 1, то для некоторой константы С2 > 0 имеет место

5т+1 < 51 • ... • 5т+1 < С2 Тт7—1. (3.5)

Таким образом, множество (т+1)С2Т™7—1 •Пт содержит фундаментальную область решетки Жт+1 и, как следствие, любой его сдвиг содержит целочисленную точку. Отсюда следует, что для некоторых констант С3 > 0 и С4 > 0 система неравенств

|"х — 0|т < СзТ(т—1)7—1 (3.6)

имеет целочисленное решение х, где А < х < А + С4Т™7, при любом А и произвольной точки в = (01,..., вт) € Кт. Заметим, что (то — 1)7 — 1 = ^(г/(то — 1) — 1) < 0. Теперь для достаточно малого е > 0 выберем Т так, что е = С3Т7(т—1)—1, и положим в = 0 в (3.6). Так как Т™7 = С5 (1)", где в, = = ^"(т-1) и С5 > 0 -

некоторая подходящая константа, мы имеем целочисленное решение т системы (3.3) в каждом интервале длины L{e) = К при некоторой константе Сш > 0 и, таким образом, доказательство завершено. □

Из леммы 1 получается следующая теорема.

Теорема 6. Пусть u(t) = Ф„(wot, w^ ..., wmt) есть E-квазипериодическая функция с частотами w = (w0, wi,..., wm), m > 1. Предположим, что Ф„ удовлетворяет локальному условию Гельдера с показателем а £ (0,1] и т-вектор w' = (щ^' • • •' шТ) удовлетворяет диофантовому условию порядка v > 0 и v{m — 1) < 1. Тогда имеет место оценка

_ / ч 1 (1 + v)m

Щи)<-- { \ ' (3.7)

а 1 — v(m — 1)

Доказательство. Положим v(t) := wt G Im+i. Из предложения 2.2 в [1] мы имеем Di(и) = £Н(Ф„ о v) < v). Таким образом, наша задача свелась к оценке диофантовой размерности линейного потока на торе. Рассмотрим два случая.

Случай 1: wo = 1. Тогда всякий е-почти период для v(-) есть решение системы неравенств

|т|i < е, |wiT|i < е, ..., |wmT|i < е. (3.8)

Избавимся от первого условия, считая, что т — целое число. Тогда лемма 1 гарантирует существование целочисленного решения т системы (3.8) во всяком интервале длины Ь(е) = С (i) , где d = и С" > 0 — некоторая константа. Отсюда

мы сразу же получаем (3.7).

Случай 2: w = (wo,..., wm) не имеет 1 в качестве частоты. Тогда для е > 0 всякий е-почти период для v(-) есть решение системы неравенств

|wot|i < е, ..., |wmT|i < е. (3.9)

Положим Z := wot. Тогда система (3.9) принимает вид

|Z|i < е, |wi z |i < е, ..., |wm Z |i < е, (3.10)

где ujj = j = 1 ,...,m. Обозначим v'(t) := (1, uj^t,..., uj'mt). Тогда ясно, что Di(v) = Di(v') в силу того, что их почти периоды пропорциональны, и, как следствие, этот случай сводится к случаю 1. □

4. Доказательство теоремы 3. Обозначим множество всех т-векторов, удовлетворяющих диофантовому условию заданного порядка V > 0, через ). Положим Х>т(П) := р|^>0 и Х>т(0). Из теоремы Хинчина (см. [3], глава VII, теорема 1) вытекает, что множество Т>т (V) имеет полную меру (т. е. его дополнение имеет лебегову меру нуль) при всех V > 0, и, таким образом, из того, что Т>п (VI) С "Рт^2) для VI < V2, и непрерывности меры сверху вытекает, что Х>т(П) — множество полной меры. Определим Х>т как множество всех т-векторов в Х>т(П), которые рационально независимы. Заметим, что множество "Рт также имеет полную меру.

Наконец, для 1 < у < т определим Т>т как множество всех рационально независимых т-векторов ш = (ш1,..., шт), для которых (ш1,..., uJj,..., шт) £ "Рт_1.

Лемма 2. Множество 'т имеет полную меру.

Доказательство. Положим Ст := Кт \ . Для £ € К рассмотрим сечения множества Ст вдоль (т — 1)-мерной плоскости {ш^ = £}. По принципу Кавальери получаем

+^

Р^Ст) = | 1) ({ш; = £} П Ст) ¿£, (4.1)

— то

где через р^к) обозначена к-мерная мера Лебега. Ясно, что для £ = 0 мы имеем равенство р^™ 1) ({ш.? = £} П Ст) = р^™ 1) 1 \ = 0, так как множество

£Т>т_1 имеет полную меру. Отсюда и из (4.1) получаем, что /и,^та')(Ст) = 0. □

Будем говорить, что функция Ф € С 1(Тт; К") невырожденная, если найдется точка € Тт, в которой дифференциал Ф имеет максимальный ранг.

Лемма 3. Пусть Ф € С1 (Тт; К") невырождена и т < п. Тогда для всякого т-вектора ш = (о1,..., шт) € Кт, компоненты которого рационально независимы, соответствующая квазипериодическая функция и(£) := Ф(ш*) имеет 2пш в качестве интегральной базы истинного размера т.

Доказательство. Предположим, что м(-) имеет 1-частоты ш1,...,шк с к < т < п и = Ф(ш1 ..., Шк*). Из того, что Ф € С 1(Тт; К"), а также леммы 1 на стр. 71 в [17] следует, что Ф € С1(Тк; К"). Так как М„ = Ф(Тт) и Ф невырождена, то имеет место Ми = т. Из Ми = Ф(Тк) получаем, что Ми < Ми <

(Итд Ф(ТА:) < к. Таким образом, т < к, что приводит к противоречию. □

Нам также потребуется следующая лемма.

Лемма 4. Пусть £2 (Е, Е) есть двумерное подпространство в пространстве всех линейных операторов между конечномерными пространствами Е и Е. Предположим также, что в £2(Е, Е) имеется к + 2 попарно непропорциональных9 операторов А1,...,Ак+2 с рангом, не превосходящим к; тогда всякий оператор из £2(Е, Е) имеет ранг, не превосходящий к.

Теперь мы переходим к доказательству теоремы 3.

Доказательство теоремы 3. Пусть С+ (Тт; К") и С!(Тт; К") соответственно обозначают множества всех невырожденных и вырожденных функций из С1(Тт; К"). Рассмотрим множество Р := С+ (Тт; К") х для произвольного 1 < 3 < т. Мы покажем, что его дополнение 5 — пренебрежимое множество. Проделаем это в несколько шагов.

1. Рассмотрим множество 5 = С!(Тт; К") х Кт и докажем, что 5 — пренебрежимое. Зафиксируем произвольную невырожденную функцию Фо и обозначим любую из ее невырожденных точек через #о. Рассмотрим одномерное подпространство У1 := {(хФ0, 0) | х € К} в йрт с одномерной мерой Лебега. Сумма заданного (Ф,ш) € и произвольного (Ф, ш) € 5 принадлежит У1 тогда и только тогда,

когда выполнено ш = —ш и Ф + Ф = хФо, т. е. функция —Ф + хФо вырождена для

9То есть любые два из них образуют базис для Г).

некоторого х € К. По лемме 4 существует не более чем т + 1 таких чисел х. В частности, пересечение 5 + (Ф, ш) П У1 имеет меру нуль, и, таким образом, множество ¿> — пренебрежимое.

2. Дополнение до 5 — превалентное множество Р = С+ (Тт; К") х Кт. Рассмотрим т-мерное подпространство У2 := {0} х Кт в ЙР^. Сумма (Ф, ш) € Р и (Ф, ш) € 5 может принадлежать У2 только, если Ф = — Ф и Ф невырождена. Отсюда следует, что ш лежит в дополнении к 'т, т.е. в множестве нулевой меры (лемма 2). Таким образом, мера Лебега на У2 существенно трансверсальна к 5 и, в силу факта 4 из [13], множество 5 — пренебрежимое1о.

3. Теперь рассмотрим (Ф, ш) € Р. Так как ш € 'т, то из теоремы 6, с помощью предельного перехода при V ^ 0+, мы заключаем, что Э1(м) < т — 1. Из предложения 1 мы также имеем 31(м) > т — 1. Таким образом, 31(м) = Э1(м) = т — 1. Невырожденность Ф гарантирует, что сИт^ Л4и = то. Так как то = сИтт Ми < сИтвМи < 2Н(т) + 1 = то, то равенство (1.8) доказано.

Вторая часть теоремы следует сразу из леммы 2 и аналогичных построений (можно рассмотреть £ := {0} х Кт в качестве подходящего подпространства с мерой Лебега). □

5. Обсуждение. Пусть м(-) — почти периодическое решение системы (1.6), полученное в рамках теоремы 2 при почти периодическом возмущении /(*) = Ф/(ш*), где (Ф/, ш) — типичный элемент <2Р™а в смысле теоремы (3), т.е. выполнено (1.9). Из теоремы 1 и (1.7) мы сразу получаем

т1

с1ш1 вМи<-+ 1. (5.1)

а

Как правило, условия, гарантирующие существование почти периодических решений, включают в себя открытое множество допустимых возмущений /(•) или Ф/ (в случае теоремы 2 на возмущение вообще не накладывается никаких условий, кроме, разумеется, непрерывности). Таким образом, оценка (5.1) может быть рассмотрена как типичная оценка в данном классе возмущений.

В более общей ситуации, когда возмущение f (*) = Ф/(ш*) таково, что ш = (ш1,..., шт) и (ш1,..., uJj,..., шт) € 'т—), где V(т — 2) < 1, мы получаем

ННВ>1„< 1.(1+4^1 + 1. (5.2)

а 1 — v(m — 2)

Отсюда и из опыта, полученного в теории КАМ [7], можно сделать следующие выводы.

(С1) Несмотря на невозможность управления регулярностью Фи, управление (с помощью регулярности Ф/ и диофантовых условий частот) фрактальной размерностью Ми = Ф«(Тт) возможно во всех, кроме некоторых исключительных, случаях.

(С2) Эти исключительные случаи соответствуют хорошо аппроксимируемым частотам, которые усиливают эффект невозможности управления регулярностью

10Воспроизводя доказательство факта 4 из [13], искомая мера получается как свертка мер Лебега * , сосредоточенных на подпространствах VI и У2 соответственно.

Фи настолько, что управление фрактальной размерностью становится также невозможным.

6. Заключение. В работе был предложен метод оценивания фрактальных размерностей вынужденных квазипериодических колебаний с использованием свойств диофантовых приближений частот квазипериодической функции. На примере одного класса систем управления с монотонной нелинейностью было показано, что в типичных случаях можно избавиться от диофантового показателя в оценке фрактальной размерности. С другой стороны, исключительные случаи, в которых, по всей видимости, этот показатель сохраняется, демонстрируют проявление теоретико-числового явления — явления Лиувилля, что наводит на мысль о невозможности управления фрактальными размерностями вынужденных колебаний в особо исключительных случаях.

Благодарности. Автор выражает благодарность своему научному руководителю Ф. Райтманну, сделавшему множество полезных замечаний, которые во многом определили окончательный вид данной работы. Также автор благодарит Н. Г. Мо-щевитина за указание на современное доказательство теоремы 6 и А. А. Панкова за полезные обсуждения.

Литература

1. Anikushin M. M. Dimension theory approach to the complexity of almost periodic trajectories // International Journal of Evolution Equations. 2017. Vol.10, no. 3-4. P. 215-232.

2. Anikushin M. M. Badly approximable numbers and the growth rate of the inclusion length of an almost periodic function // Proc. of International Student Conference in Saint-Petersburg State University "Science and Progress". 2016. P. 46-50.

3. Cassels J. W. S. An introduction to Diophantine approximation. Cambridge: Cambridge Univ. Press, 1957.

4. Naito K. Fractal dimensions of almost periodic attractors // Ergodic Theory Dyn. Syst. 1996. Vol.16, no. 4. P. 791-803.

5. Siegel C.L. Lectures on the geometry of numbers. Springer Science & Business Media, 2013.

6. Anikushin M. M. Dimensional aspects of almost periodic dynamics //In book [8].

7. Moser J. On commuting circle mappings and simultaneous diophantine approximations // Mathematische Zeitschrift. 1990. Vol. 205, no. 1. P. 105-121.

8. Leonov G. A., Kuznetsov N. V., Reitmann V. Attractor dimension estimates for dynamical systems: theory and computation. Switzerland: Springer International Publishing AG, 2019.

9. Leonov G. A., Alexeeva T. A. Estimates of the Lyapunov dimension of attractors for generalized Rossler systems // Vestnik St. Petersburg University: Mathematics. 2014. Vol. 47, no. 4. P. 154-158. https://doi.org/10.3103/S1063454114040050

10. Pankov A. A. Bounded and almost periodic solutions of nonlinear operator differential equations. London: Kluwer Academic Publishers, 1990.

11. Якубович В. А. Метод матричных неравенств втеории устойчивости нелинейных регулируемых систем. I. Абсолютная устойчивость вынужденных колебаний // Автоматика и телемеханика. 1964. Вып. 25, №7. С. 1017-1029.

12. Якубович В. А. Периодические и почти периодические предельные режимы регулируемых систем с несколькими, вообще говоря, разрывными нелинейностями // Доклады Академии наук. 1966. Вып. 171, №3. С. 533-536.

13. Hunt B. R., Sauer T., Yorke J. A. Prevalence: a translation-invariant "almost every" on infinite-dimensional spaces // Bulletin of the American Mathematical Society. 1992. Vol. 27, no. 2. P. 217-238.

14. Понтрягин Л. С. Топологические группы. М.: Наука, 1973.

15. Зинченко И. Л. О группе характеров замыкания почти периодической траектории автономной системы дифференциальных уравнений // Дифференциальные уравнения. 1988. Вып. 24, №6. С. 1043-1045.

16. Cartwright M. L. Almost periodic flows and solutions of differential equations // Proc. London Math. Soc. 1967. Vol. 3, no. 2. P. 355-380.

17. Samoilenko A. M. Elements of the mathematical theory of multi-frequency oscillations. Dordrecht: Springer Science & Business Media, 1991.

Статья поступила в редакцию 5 декабря 2018 г.;

после доработки 10 марта 2019 г.; рекомендована в печать 21 марта 2019 г.

Контактная информация:

Аникушин Михаил Михайлович — аспирант; demolishka@gmail.com

On the Liouville phenomenon in estimates of fractal dimensions of forced quasi-periodic oscillations*

M. M. Anikushin

St. Petersburg State University, Universitetskaya nab., 7-9, St. Petersburg, 199034, Russian Federation

For citation: Anikushin M. M. On the Liouville Phenomenon in Estimates of Fractal Dimensions of Forced Quasi-Periodic Oscillations. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2019, vol. 6(64), issue 3, pp. 363-375. https://doi.org/10.21638/11701/spbu01.2019.302 (In Russian)

We develop a method for studying fractal dimensions of forced almost periodic oscillations in various differential equations. The method is based on the previously introduced notion of the Diophantine dimension of an almost periodic function that is strictly connected with Diophantine approximations of its frequencies. Some estimates of the Diophantine dimension for typical quasi-periodic perturbations are obtained. For a class of control systems we state frequency-domain conditions under which the presented approach can be applied. As a result of our investigations one may observe a number-theoretic phenomenon (the Liouville phenomenon) arising within the mentioned problem. Its effect is in that we can not control fractal dimensions of quasi-periodic oscillations having well-approximable frequencies.

Keywords: quasi-periodic function, dimension theory, diophantine approximation, fractal dimension.

References

1. Anikushin M. M., "Dimension theory approach to the complexity of almost periodic trajectories", International Journal of Evolution Equations 10(3-4), 215-232 (2017).

2. Anikushin M. M., "Badly approximable numbers and the growth rate of the inclusion length of an almost periodic function", Proc. of International Student Conference in Saint-Petersburg State University "Science and Progress", 46-50 (2016).

3. Cassels J.W. S., An introduction to Diophantine approximation (Cambridge Tracts in Math. and Math. Physics No. 45, Cambridge Univ. Press, Cambridge, 1957).

4. Naito K., "Fractal dimensions of almost periodic attractors", Ergodic Theory Dyn. Syst. 16(4), 791-803 (1996).

5. Siegel C.L., Lectures on the geometry of numbers (Springer Science & Business Media, 2013).

6. Anikushin M.M., "Dimensional aspects of almost periodic dynamics", In book: [8].

*This work is supported by the German-Russian Interdisciplinary Science Center (G-RISC) funded by the German Federal Foreign Office via the German Academic Exchange Service (DAAD) (project M-2017a-5, Project M-2017b-9) and the Leading Scientific Schools of Russia (project NSh-2858.2018.1).

7. Moser J., "On commuting circle mappings and simultaneous diophantine approximations", Mathematische Zeitschrift 205(1), 105-121 (1990).

8. Leonov G.A., Kuznetsov N.V., Reitmann V., Attractor dimension estimates for dynamical systems: theory and computation (Springer International Publishing AG, Switzerland, 2019).

9. Leonov G.A., Alexeeva T. A., "Estimates of the Lyapunov dimension of attractors for generalized Rössler systems". Vestnik St. Petersburg University: Mathematics 47(4), 154-158 (2014). https://doi.org/10.3103/S1063454114040050

10. Pankov A.A., Bounded and almost periodic solutions of nonlinear operator differential equations (Kluwer Academic Publishers, London, 1990).

11. Yakubovich V. A., "Method of matrix inequalities in theory of nonlinear control systems stability. I. Forced oscillations absolute stability", Avtomat. i Telemekh. 25(7), 1017-1029 (1964). (In Russian)

12. Yakubovich V. A., "Periodic and almost periodic limiting states of control systems with several, in general discontinuous, nonlinear terms", Dokl. Akad. Nauk SSSR 171(3), 533-536 (1966). (In Russian)

13. Hunt B. R., Sauer T., Yorke J. A., "Prevalence: a translation-invariant "almost every" on infinite-dimensional spaces", Bulletin of the American Mathematical Society 27(2), 217-238 (1992).

14. Pontryagin L. S., Topological groups (Nauka Publ., Moscow, 1973). (In Russian)

15. Zinchenko I.L., "The group of characters on the closure of the almost periodic trajectory of an autonomous system of differential equations", Differentsial'nye Uravneniya 24(6), 1043-1045 (1988). (In Russian)

16. Cartwright M.L., "Almost periodic flows and solutions of differential equations", Proc. London Math. Soc. 3(2), 355-380 (1967).

17. Samoilenko A.M., Elements of the mathematical theory of multi-frequency oscillations (Springer Science & Business Media, Dordrecht, 1991).

Received: December 5, 2018 Revised: March 10, 2019 Accepted: March 21, 2019

Author's information:

Mikhail M. Anikushin — demolishka@gmail.com