Неавтономная динамика: классификация, инварианты, реализация

Обложка

Цитировать

Полный текст

Аннотация

Работа является кратким обзором результатов, полученных в неавтономной динамике, опираясь на понятие равномерной эквивалентности неавтономных систем. Этот подход к изучению неавтономных систем был предложен в работе [10] и развит далее в работах второго автора, а недавно - совместно обоими авторами. Такой подход видится плодотворным и перспективным, поскольку он позволяет развить неавтономный аналог теории динамических систем для указанных классов систем и дать классификацию некоторых естественных классов неавтономных систем, используя инварианты комбинаторного типа. Мы показываем это для классов неавтономных градиентноподобных векторных полей на замкнутых многообразиях размерности один, два и три. В последнем случае появляется новый инвариант эквивалентности, тип дикого вложения устойчивых и неустойчивых многообразий [14, 17], как было показано в недавней работе авторов [5].

Полный текст

Введение При изучении неавтономных векторных полей (НВП) на C∞-гладком замкнутом многообразии M одним из первых является вопрос о том, что классифицировать? Изучение автономных систем начинается с изучения множества простейших траекторий - состояний равновесия, замкнутых траекторий. Классифицируются их типы, исследуется количество таких траекторий, а также поведение траекторий, которые проходят вблизи простейших. После этого делается попытка изучения глобальной структуры фазового пространства динамической системы на траектории с помощью разработанных методов теории динамических систем. Такой подход неприменим для исследования неавтономных систем, так как сразу не представляется возможным выделение множества простейших решений и, как следствие, отсутствует объект классификации. На самом деле, существует подход к исследованию неавтономных систем, восходящий к Бебутову [1], позволяющий, в определенном смысле, свести задачу изучения неавтономной системы к изучению некоторой автономной системы, тесно связанной с неавтономной. В настоящее время такая автономная система называется косым произведением, или расширением [38, 39]. Недостатком такого подхода является топологическая сложность фазового пространства полученной автономной системы и сложность ее динамики даже в самых простейших случаях. Мы не будем здесь подробно останавливаться на этом подходе, см., например, [38, 39]. Мы опишем подход к изучению неавтономных систем, начатый в [10] и продолженный в серии работ [5, 9, 28]. Под неавтономным векторным полем (НВП) на M понимается равномерно непрерывное отображение v : R → V k (M ), где V k(M ) - банахово пространство Ck -гладких векторных полей на M, наделенное Ck-нормой. Такое НВП имеет решения, графики которых в расширенном фазовом пространстве M × R, т. е. интегральные кривые (ИК), определяют ориентированное слоение Fv. Снабдим M некоторой римановой метрикой и определим в M × R метрику, являющуюся прямым произведением двух метрик: римановой метрики в M и стандартной метрики в R. Так как M замкнуто, то любое решение поля v определено при всех t ∈ R. Напомним, что эквиморфизмом двух сепарабельных метрических пространств (X, d), (Y, ρ) с метриками d, ρ называется такой гомеоморфизм h : X → Y, для которого h, h-1 являются равномерно непрерывными отображениями. Определение 1.1. Два НВП на M называются равномерно эквивалентными, если существует эквиморфизм расширенного фазового пространства, переводящий каждую интегральную кривую первого НВП в интегральную кривую второго НВП с сохранением направления времени (другими словами, переводящий первое ориентированное слоение во второе с сохранением ориентации на слоях). Ясно, что такое отношение эквивалентности различает НВП, в которых асимптотическое поведение интегральных кривых различно. Это соотношение позволяет ввести понятие структурно устойчивого НВП. Определение 1.2. НВП v называется структурно устойчивым, если существует окрестность U поля v в пространстве НВП на M такая, что все НВП из этой окрестности равномерно эквивалентны. Развитие современной теории автономных динамических систем показало, что отношение топологической эквивалентности, введенное для таких систем, слишком жестко, чтобы получить классификацию произвольных многомерных динамические систем, так как структура таких систем слишком сложна, в частности, из-за явления Ньюхауса [25]. Тем не менее, возможна классификация систем с «простой» динамикой. Таким образом, если мы хотим получить классификацию автономных и неавтономных систем с помощью некоторого инварианта комбинаторного типа, то следует ограничить разумным образом рассматриваемый класс систем. В неавтономном случае первое ограничение, которое мы введем, звучит следующим образом: каждая интегральная кривая векторного НВП поля v обладает экспоненциальной дихотомией как на R+, так и на R-, причем типы этих дихотомий могут быть различными. Заметим, что экспоненциальная дихотомия данной интегральной кривой является требованием к поведению решений линейной системы, полученной линеаризацией исходной системы на данной интегральной кривой. 2. Экспоненциальная дихотомия и теорема Адамара-Перрона В дальнейшем одним из основных предположений относительно НВП изучаемого класса будет наличие экспоненциальной дихотомии их решений. Более точно это касается линеаризации векторного поля на рассматриваемом решении. Для удобства читателя напомним соответствующие понятия и результаты. Более подробно этот материал можно найти в [6, 7, 15, 21, 31]. В стандартном координатном пространстве Rn рассмотрим систему линейных однородных дифференциальных уравнений x˙ = A(t)x, sup ||A(t)|| K, (2.1) t∈R с непрерывной ограниченной матрицей A(t). Все решения такой системы определены на всей оси R. Пусть t, τ ∈ R. Обозначим через G(t, τ ) = G(t)G-1(τ ) нормированную фундаментальную матрицу системы уравнений (2.1), где G(t) - произвольная фундаментальная матрица системы: Gt(t) ≡ A(t)G(t), det G(t) /= 0. Определение 2.1. Говорят, что уравнение (2.1) обладает экспоненциальной дихотомией решений на полуоси R+, если существует непрерывное семейство проекционных операторов P (t), 598 В. З. ГРИНЕС, Л. М. ЛЕРМАН P 2(t) = P (t), инвариантное относительно G: G(t, τ )P (τ ) ≡ P (t)G(t, τ ), и такие положительные постоянные C, λ, ν, что выполняются следующие неравенства: ||G(t, τ )P (τ )|| C exp[-λ(t - τ )] при t τ 0, ||G(t, τ )(E - P (τ ))|| C exp[ν(t - τ )] при 0 t τ. (2.2) t Геометрически это условие означает, что при любом t ∈ R+ линейное пространство Rn = Rn × {t} распадается на два взаимно дополнительных линейных подпространства S(t) = P (t)Rn и U(t) = (E - P (t))Rn, инвариантных относительно оператора G(t, τ ) и таких, что любой вектор из подпространства S(τ ) экспоненциально быстро сжимается равномерно относительно разности t - τ при увеличении t τ, а любой вектор в U(τ ) при этом экспоненциально сжимается при уменьшении t τ, пока t 0. Важно отметить, что подпространство S(0) (а поэтому и все S(t)) определяется однозначно, так как оно в точности состоит из начальных условий тех решений, которые ограничены при t ∈ R+. Подпространство U (0) не определяется однозначно: можно выбрать любое дополнительное подпространство U1(0) к S(0) и продолжить его вперед оператором G(t, 0). Тогда вторая оценка в (2.2) остается верной при, может быть, другой положительной константе Ct. Если взять другое дополнительное подпространство U2(0), то два подпространства G(t, 0)U1(0) и G(t, 0)U2(0) будут изменяться во времени под действием G(t, 0), асимптотически приближаясь друг к другу при t → +∞. Если объединить все подпространства S(t), t 0, в Rn × R+, то мы получаем при t ∈ R+ инвариантное относительно G(t, τ ) множество, состоящее из интегральных кривых. Это множество можно назвать линейным устойчивым многообразием для интегральной кривой x = 0 системы (2.1). Ввиду первой оценки в (2.2), все интегральные кривые на этом линейном устойчивом многообразии асимптотически стремятся друг к другу при t → +∞. Аналогичные понятия существуют для экспоненциальной дихотомии на R- и на всем R. Например, для случая R- и любых t, τ ∈ R- экспоненциальная дихотомия означает существование непрерывного семейства проекционных операторов Q(t) : Rn → Rn, Q2(t) = Q(t), инвариантных относительно G, и таких положительных постоянных C, λ, ν, что выполняются неравенства ||G(t, τ )Q(τ )|| C exp[ν(t - τ )] при t τ 0, ||G(t, τ )(E - Q(τ ))|| C exp[-λ(t - τ )] при τ t 0. (2.3) В этом случае однозначно определяются неустойчивые подпространства U(t) = G(t, 0)Q(0)Rn , t 0, т. к. они соответствуют начальным условиям тех решений системы (2.1), которые ограничены при t 0, а устойчивые многообразия S(t) = G(t, 0)(E -Q(0))Rn не определены однозначно. Для экспоненциальной дихотомии на R, где t, τ ∈ R произвольны, оба подпространства S, U определены однозначно. Аналогично, как для R+, можно объединить все подпространства U(t), t 0, - в Rn × R и получить инвариантное относительно G(t, τ ) множество, состоящее из интегральных кривых при t ∈ R-. Это множество можно назвать линейным неустойчивым многообразием. В силу первой оценки в (2.3) все интегральные кривые на линейном неустойчивом многообразии асимптотически стремятся друг к другу при t → -∞. Теперь обсудим, как эти понятия можно применить к НВП на многообразии. Здесь единой системы координат, вообще говоря, не существует, поэтому следует уточнить что подразумевается под линеаризацией векторного поля на данном решении. Пусть v - НВП на гладком замкнутом многообразии M и x(t) - его единственное решение, такое что x(τ ) = x0. Тогда для любых t, τ ∈ R τ определен диффеоморфизм Φt τ : Mτ → Mt. Его дифференциал DΦt при применении к Tx0 M является линейным отображением из Tx0 Mτ в Tx(t) Mt. Используя риманову метрику на M, мы τ получаем средства для измерения норм векторов и углов между двумя векторами в касательном пространстве к любой точке на M. Говорят, что решение x(t) = x(t; τ, x0) = Φt (x0) обладает экспоненциальной дихотомией типа (p, n - p) на полуоси t 0, если существует непрерывное семейство проекционных операторов P (t) : Tx(t)Mt → Tx(t)Mt, P 2(t) = P (t), dim KerP (t) = n - p, инвариантное относительно DΦt , т. е. DΦt P (τ ) = P (t)DΦt , нормы которых отделены от нуля и τ τ τ НЕАВТОНОМНАЯ ДИНАМИКА: КЛАССИФИКАЦИЯ, ИНВАРИАНТЫ, РЕАЛИЗАЦИЯ 599 бесконечности, и положительные константы C, λ такие, что выполняются неравенства τ ||DΦt P (τ )|| C exp[-λ(t - τ )] при t τ 0, t ||DΦτ (E - P (t))|| C exp[λ(τ - t)] при t τ 0. τ Геометрическая картина опять та же: P (t) определяет непрерывное по t разложение каждого Tx(t)Mt в прямое произведение двух его линейных дополнительных подпространств P (t)Tx(t)M и (E - P (t))Tx(t)M, это разложение инвариантно относительно семейства операторов DΦt , и необходимые экспоненциальные оценки имеют место. Ясно, что на замкнутом гладком многообразии из существования таких оценок относительно данной метрики следует их существование относительно другой римановой метрики (с другими значениями постоянных). Если задано решение векторного поля v и γ его интегральная кривая в многообразии M × R (аналогично, можно работать на многообразии с краем M ×R+ или M ×R-), то с помощью экспоненциального отображения римановой метрики можно построить локальную систему координат (x, t) в равномерной окрестности1 кривой γ, где x являются некоторыми координатами в Rn. Эти координаты можно выбрать таким образом, что для любого t ∈ R (или t ∈ R+, t ∈ R-) след γ на Mt (т. е. γ ∩ Mt) в этих координатах является началом координат x = 0. В таких координатах система дифференциальных уравнений, соответствующая v, записывается в виде x˙ = F (t, x) = A(t)x + f (t, x). (2.4) Здесь матрица A(t) (равномерно) непрерывна, ограничена, а f - вектор-функция, представляющая члены более высокого порядка по координате x равномерно относительно t в начале координат. Такие свойства правой части системы (2.4) следуют из равномерной непрерывности отображения v : R → V k(M ). Если фиксированное решение системы неавтономных дифференциальных уравнений обладает экспоненциальной дихотомией2, то при некоторых дополнительных условиях в некоторой равномерной окрестности U ⊂ M × R соответствующей интегральной кривой γ существует гладкое локальное устойчивое многообразие. Это составляет содержание известной теоремы Адамара- Перрона [2, 15, 35]. Такое устойчивое многообразие содержит все интегральные кривые, проходящие через U и приближающиеся к γ при t → +∞. Термин «содержать» здесь означает, что для любой такой интегральной кривой существует такой момент времени t0, что для всех t t0 связная часть интегральной кривой действительно принадлежит окрестности U. Время t0 зависит, конечно, от выбора интегральной кривой. Напомним формулировку теоремы Адамара-Перрона для интегральной кривой с экспоненциальной дихотомией. Пусть задана система (2.4), где A(t) - непрерывная ограниченная матрица, а f (x, t) - вектор-функция второго порядка малости при x = 0, заданная в некоторой равномерной окрестности прямой x = 0 в Dn × R+ для любого t ∈ R+, и все ее производные по x до порядка k 1 являются равномерно непрерывными функциями при t 0. Предположим, что решение x = 0 обладает экспоненциальной дихотомией на R+ типа (p, n - p). Тогда существует линейная замена переменных x = B(t)y с непрерывно дифференцируемой ограниченной обратимой матрицей B такой, что после замены переменных система x = 0 принимает вид y˙1 = C(t)y1 + F1(y1, y2, t), y˙2 = D(t)y2 + F2(y1, y2, t), (2.5) где линейная система y˙1 = C(t)y1 обладает экспоненциальной дихотомией на R+ типа (p, 0) и система y˙2 = D(t)y2 обладает экспоненциальной дихотомией на R+ типа (0,n - p) с векторфункциями F1, F2 со свойствами, аналогичными свойствам вектор-функции f. Для системы (2.5) справедлива следующая теорема. 1 Теорема 2.1 (Адамар-Перрон). Существует равномерная окрестность U ⊂ Rn × R+ решения y1 = 0, y2 = 0 и C1-гладкая функция y2 = G(y1, t), G(0, t) ≡ 0, Gy (0, t) ≡ 0, такие, что 1 Под равномерной окрестностью интегральной кривой γ ⊂ M ×R понимается содержащее γ открытое множество V ⊂ M × R, эквиморфное множеству Dn × R, граница которого ∂V = ∂Dn × R равномерно удалена на конечное расстояние от точек кривой γ. 2 Здесь требование экспоненциальной дихотомии может быть ослаблено до неравномерной экспоненциальной дихотомии, при сохранении существования локального устойчивого многообразия [15]. 600 В. З. ГРИНЕС, Л. М. ЛЕРМАН подмногообразие в Rn × R+, являющееся графиком (y1, G(y1, t), t) этой функции, инвариантно относительно системы (2.5): D(t)G(y1, t)+ F2(y1, G(y1, t), t) ≡ Gy1 [C(t)y1 + F1(y1, G(y1, t), t)]. Это подмногообразие содержит все ИК (y1(t), y2(t), t), ограниченные в U, и для этих решений справедлива следующая оценка: ||y1(t)|| + ||y2(t)|| L exp[-κt]. Все остальные решения, не принадлежащие этому подмногообразию, покидают окрестность U в момент времени t1, зависящий от решения. Локальное устойчивое многообразие для γ в M × R+ можно расширить с помощью диффео- τ морфизмов Φt для всех t ∈ R, что дает для γ единственное глобальное устойчивое многообразие W s(γ) на M × R. Все интегральные кривые, принадлежащие этому многообразию, асимптотичны друг к другу при t → +∞ и обладают экспоненциальной дихотомией одного и того же типа на R+, возможно, с другими константами C, λ, ν. Точное утверждение о глобальном устойчивом многообразии выглядит следующим образом. Теорема 2.2. Пусть задана НВП v и γ - его интегральная кривая. Предположим, что γ обладает экспоненциальной дихотомией на R+ типа (p, n - p). Тогда существует C1-гладкое вложение J : Rp × R → M × R такое, что для любого t ∈ R ограничение на Rp × {t} отображения J, Jt : Rp → Mt, также является C1-гладким вложением равномерно зависящим от t в C1-топологии на компактных множествах в Rp и образ J является инвариантным подмногообразием для v, т. е. состоит из целых интегральных кривых. Аналогично, если интегральная кривая γ обладает экспоненциальной дихотомией на R- типа (p, n - p), то теорема Адамара-Перрона, примененная к системе с обращенным временем t → -t, дает единственное неустойчивое инвариантное многообразие размерности n - p в некоторой равномерной окрестности γ в M ×R-. Это многообразие можно продолжить по времени диффеомор- τ физмами Φt до глобального неустойчивого многообразия интегральной кривой γ. Для случая, когда интегральная кривая γ обладает экспоненциальной дихотомией на R типа (p, n - p), то как устойчивые, так и неустойчивые многообразия γ определены однозначно, они пересекают друг друга трансверсально вдоль γ. В случае, когда интегральная кривая γ обладает экспоненциальной дихотомией решений на всей оси R, будем называть ее h-кривой (гиперболической кривой). Пересечения устойчивых или неустойчивых многообразий интегральных кривых с сечением M0 будем называть слоями, устойчивыми или неустойчивыми. Что можно сказать о неустойчивом многообразии для ИК, обладающей экспоненциальной дихотомией на R+? В случае, когда образ оператора P (t) равен нулю, эта интегральная кривая является вполне неустойчивой на R+, а ее локальное неустойчивое многообразие на R+ является равномерной окрестностью ИК γ. 0 Предположим, что ядро оператора P (t) нетривиально и имеет размерность 0 < p < n = dim M. Пусть S(t) = P (t)Tγ(t)M - устойчивое подпространство. Выберем любое дополнительное линейное подпространство U (0) для S(0) в Tγ(0)M и продолжим его дифференциалами DΦt . Обозна- 0 - чим U(t) = DΦt (U (0)). Разложим вектор ξ ∈ U (t) в прямую сумму ξ = ξ+ + ξ t , ξ+ ∈ L+ (t), ξ- ∈ (E - P (t))Tγ(t)M. В силу оценок в (2.2) векторы DΦ0(ξ+) экспоненциально сжимаются при 0 - t → +∞, а векторы DΦt (ξ ) экспоненциально сжимаются в обратном направлении. Это приводит к тому свойству, что любые два таких дополнительных подпространства асимптотически 0 приближаются друг к другу под действием DΦt при t → +∞. В этом смысле можно говорить o неустойчивом направлении для γ. Для нелинейной системы это приводит к понятию гладкого неустойчивого многообразия в равномерной окрестности γ. Именно, продолжения под действием 0 диффеоморфизмов Φt двух любых гладких локальных дисков размерности n - p, трансверсальных к W s(γ) при t = 0, стремятся друг к другу в C1-топологии при t → +∞. Это является неавтономным аналогом λ-леммы Смейла, см. [40]. Замечание 2.1. Наиболее знакомый случай экспоненциальной дихотомии для неавтономной линейной системы - это случай действительной периодической системы, когда матрица A(t) является непрерывной T -периодической. Тогда справедливо представление Флоке для ее вещественной фундаментальной матрицы Φ(t) = S(t) exp[tB] с T -периодической (или 2T -периодической) НЕАВТОНОМНАЯ ДИНАМИКА: КЛАССИФИКАЦИЯ, ИНВАРИАНТЫ, РЕАЛИЗАЦИЯ 601 дифференцируемой невырожденной матрицей S(t). Это представление означает, что система обладает экспоненциальной дихотомией тогда и только тогда, когда матрица B не имеет собственных значений на мнимой оси. Это эквивалентно условию, что линейная периодическая система не имеет мультипликаторов на единичной окружности. Например, если n = 2, то вещественная матрица монодромии Φ(T ) может иметь: 0. оба собственных значения (мультипликатора) внутри единичного круга комплексной плоскости C (устойчивый случай); 1. одно собственное значение внутри круга и одно - вне круга, тогда оба они вещественны (седловой случай); 2. оба собственных значения вне единичного круга в плоскости C (вполне неустойчивый случай). Тогда соответствующими подпространствами S(t) являются: R2 - для первого случая; ls - для второго случая, где ls - собственная прямая матрицы Φ(T ), соответствующая единственному вещественному мультипликатору внутри единичного круга C; и начало координат - для третьего случая. Аналогично строятся подпространства U(t). Примером непериодического случая с экспоненциальной дихотомией является система с матрицей A(t) = A0 + εB(t), при условии, что спектр матрицы A0 не пересекает мнимую ось, с вещественной непрерывной равномерно ограниченной матрицей B(t) и достаточно малым ε (см. [7]). 3. Градиентно-подобные НВП Для того чтобы выделить системы с простой структурой, наложим следующие ограничения на класс изучаемых неавтономных векторных полей. Пусть v - НВП рассматриваемого класса. Предположение 3.1. Каждая интегральная кривая γ поля v обладает экспоненциальной дихотомией как на R+ так и на R-, и типы этих дихотомий для данной γ могут быть различными. Из предположения 3.1 и теоремы 2.2 следует, что многообразие M × R разбивается на глобальные устойчивые и неустойчивые многообразия, что позволяет сделать следующее предположение. Предположение 3.2. Множество глобальных устойчивых и неустойчивых многообразий поля v конечно. Напомним, что пересечение любого глобального устойчивого (неустойчивого) многообразия поля v с M0 = M × {0} является вложенным гладким подмногообразием, названным выше устойчивым (неустойчивым) слоем. Предположение 3.3. Любой устойчивый слой пересекается с любым неустойчивым слоем в M0 трансверсально. При этом, если сумма их размерностей совпадает с размерностью многообразия M0, то пересечение состоит из конечного числа точек, а если сумма их размерностей больше размерности M0, то пересечение состоит из конечного числа связных компактных многообразий. Весьма существенной для возможной классификации рассматриваемых векторных полей является информация о том, как разные устойчивые (соответственно - неустойчивые) слои примыкают друг к другу на M0, т. е. информация о взаимном расположении устойчивых (неустойчивых) слоев разных размерностей. Ключевым понятием здесь является введенное Смейлом понятие границы глобального устойчивого (неустойчивого) многообразия гиперболических состояний равновесия и замкнутых траекторий автономных векторных полей. Мы сформулируем это понятие для НВП v рассматриваемого класса. 0 0 s Пусть НВП v удовлетворяет предположению 3.1, т. е. через каждую точку многообразия M × R проходит устойчивое многообразие. Рассмотрим какое-то из этих многообразий W s, и пусть ws - его слой на M0. Выберем некоторую последовательность xn ∈ ws, которая сходится к точке ∗ 0 x ∈/ ws. Обозначим через W (x∗) глобальное устойчивое многообразие, содержащее интеграль- ∗ ную кривую, проходящую через точку x∗. Возникает естественный вопрос о взаимном расположении многообразий W s и W s(x ). Назовем множество предельных точек произвольных последовательностей xn ∈ ws с описанным выше свойством границей Смейла для ws. Как следует из тео- 0 0 ремы 2.2 о глобальном устойчивом многообразии, пересечение W s с сечением M0 = M × {0} есть 602 В. З. ГРИНЕС, Л. М. ЛЕРМАН 0 образ иммерсии i0 : Rp → M0, p = dim W s - 1. Таким образом, граница Смейла для ws = W s ∩ M0 есть множество ∂ws = clos(ws) \ ws (clos(A) означает замыкание множества A). Будем называть 0 0 0 множество ∂W s = J Φt (∂ws) границей Смейла для многообразия W s. 0 0 t∈R+ Характерной чертой автономных градиентно-подобных систем (потоков и диффеоморфизмов) является уменьшение размерности при переходе к границе Смейла устойчивых (и неустойчивых) многообразий. Мы положим это в основу следующего предположения Предположение 3.4. Для любого глобального устойчивого (неустойчивого) многообразия W s (W u) его граница Смейла ∂W s (∂W u) состоит из целых устойчивых (неустойчивых) многообразий меньшей размерности. Еще одно предположение касается поведения интегральных кривых, которое препятствует возможным бифуркациям из бесконечности. Для иллюстрации возможности такой бифуркации, рассмотрим уравнение ϕ˙ = cos ϕ(sin2 ϕ + exp[-t2] - μ), зависящее от параметра μ, в котором при переходе через μ = 0 происходит рождение интегральных кривых нового типа (из бесконечности) (см. рис. 1). Рис. 1. Бифуркация из бесконечности: μ = 0 и μ > 0 Fig. 1. Bifurcation from in nity: μ = 0 и μ > 0 Рассмотрим разбиение M × R на устойчивые многообразия поля v, полагая, что вышеприведенные предположения выполняются для v. Выберем по одной ИК из каждого устойчивого многообразия и обозначим их как Γ+,... , Γ+. Они разделены в M × R+ в том смысле, что можно 1 k выбрать некоторые достаточно тонкие равномерные окрестности каждой выбранной ИК, чтобы их замыкания не пересекались друг с другом и были расположены на конечном положительном расстоянии. Стоит отметить, что существенно рассматривать ИК в M × R+, поскольку в M × R эти кривые могут быть неотделимы, т. е. некоторые из них могут асимптотически приближаться друг к другу при t → -∞. Такие равномерные окрестности, являющиеся произвольно тонкими, могут быть построены с помощью функций Ляпунова для рассматриваемых интегральных кривых. Конструкция этих окрестностей такова, что векторы на их границе либо все направлены внутрь, либо все наружу, либо, если они касаются границы, то времена, соответствующие отрезкам ИК, принадлежащим границе, равномерно отделены от нуля и бесконечности. Аналогично выберем по одной интегральной кривой Γ-,... , Γ- на каждом неустойчивом мно- 1 r гообразии и рассмотрим их в M × R-. Пусть ε - константа, характеризующая минимальную тонкость соответствующих однородных окрестностей. Наше последнее предположение имеет следующий вид. НЕАВТОНОМНАЯ ДИНАМИКА: КЛАССИФИКАЦИЯ, ИНВАРИАНТЫ, РЕАЛИЗАЦИЯ 603 Предположение 3.5. Для любого достаточно малого ε существует такое число T (ε) > 0, что для любой интегральной кривой всякий связный интервал времени, при котором точки этой интегральной кривой лежат вне объединения ε-окрестностей кривых Γ+,... , Γ+ и 1 k 1 ,... , Γr , меньше T (ε). Γ- - Определение 3.1. Неавтономное векторное поле v, для которого выполнены предположения 3.1-3.5, будем называть градиентно-подобным. Как упоминалось выше, этот класс НВП в несколько иной форме впервые был выделен в [10] для двумерных замкнутых многообразий M, в настоящей форме это было сделано в [9]. Представляется желательным, чтобы класс рассматриваемых неавтономных векторных полей обладал двумя основными свойствами: 97. системы этого класса являются грубыми (структурно устойчивыми); 98. для случаев малой размерности (dim M = 1, 2) они могут быть классифицированы некоторыми инвариантами комбинаторного типа. В качестве класса НВП, где эта проблема решена, напомним результаты, полученные для случая наименьшей размерности dim M = 1, т. е. для скалярных неавтономных градиентноподобных уравнений на окружности S1, см. [28]. 4. Градиентно-подобные НВП на S1 Введем циклическую координату θ на S1, θ + 2πn ≡ θ (mod 2π), n ∈ Z. Тогда НВП v задается 2π-периодической функцией f (θ, t), зависящей от t, f (θ + 2π, t) ≡ f (θ, t), являющейся правой частью скалярного дифференциального уравнения θ˙ = f (θ, t). Требование на v быть равномерно непрерывным отображением v : R → V k (S1) означает, что производные от f по θ до порядка k существуют и являются равномерно непрерывными функциями относительно t. В этом случае экспоненциальная дихотомия любой ИК на R, R+, R- может быть только типов (1, 0) или (0, 1), и ее устойчивые (неустойчивые) многообразия могут быть размерности либо два, либо один. При выполнении предположений 3.1-3.5 относительно v комбинаторный инва- 0 риант поля v строится следующим образом. Рассмотрим интегральные кривые с экспоненциальной дихотомией типа (0, 1) на R+. Такие интегральные кривые совпадают с их неустойчивыми одномерными многообразиями, следовательно, их число конечно. Отметим на S1 множество точек {m+, m+,... , m+}, являющихся следами ИК с экспоненциальной дихотомией типа (0, 1) 1 2 k 1 , m2 ,... , ml } состоит из следов интегральных кривых с типом экспоненциальной дихотомии (1, 0) на R- . Эти интегральные кривые также совпадают с их неустойчивыми одномерными многообразиями, поэтому их число конечно. Эти два набора точек не пересекаются в силу предположения 3.3. Каждая точка m+ на S1 принадлежит некотоi 0 рому интервалу между двумя соседними точками m-, m- (см. рис. 2), представляющему собой j j+1 i j некоторый неустойчивый слой. Не исключено, что несколько точек m+ принадлежат одному и тому же неустойчивому слою. То же может выполняться и для точек m-: они принадлежат интервалам, т. е. 1-слоям, являющимся следами 2-мерных устойчивых многообразий (см. рис. 2). Очевидно, что равномерно эквивалентные градиентные НВП на S1 могут приводить к геометрически различным наборам точек m+, m-. Поэтому следует ввести отношение эквивалентности. i j Два таких набора вызываются эквивалентными, если существует гомеоморфизм h : S1 → S1 та- 0 0 h отображает множество точек {m+, m+,... , m+}, {m-, m-,... , m-} первого набора в кой, что 1 2 k 1 2 l аналогичное множество второго набора. Класс эквивалентности таких наборов будем называть D-инвариантом. Теорема 4.1 (см. [28]). Два скалярных градиентно-подобных уравнения на S1 равномерно эквивалентны тогда и только тогда, когда они имеют одинаковый D-инвариант. Построение эквиморфизма H : S1 × R → S1 × R, который осуществляет равномерную эквивалентность градиентно-подобных НВП v1, v2, имеющих одинаковый D-инвариант, т. е. переводит 604 В. З. ГРИНЕС, Л. М. ЛЕРМАН Рис. 2. D-инвариант на S1, жирные точки - устойчивые слои, крестики - неустойчивые слои. Fig. 2. D-invariant of S1, stable layers are indicated with bold dots, unstable layers are indicated with crosses. слоение на ИК поля v1 в слоение на ИК поля v2, строится с помощью локальных функций Ляпунова вблизи ИК, проходящих через точки {m+, m+,... , m+}, {m-, m-,... , m-} и далее про- 1 2 k 1 2 l должением на множество между ними в S1 × R. Аналогичная конструкция применяется для доказательства следующей теоремы. Теорема 4.2. Любое скалярное НВП градиентно-подобного типа на S1 структурно устойчиво. Примерами градиентно-подобных скалярных дифференциальных уравнений являются, в частности, асимптотически автономные векторные поля на S1 с (возможно) различными типами предельных систем в ±∞. Напомним (см. [30]), что НВП v на гладком замкнутом многообразии M называется асимптотически автономным, если отображение v : R → V r (M ) имеет пределы v-, v+ ∈ V r (M ) при t → ∓∞, которые являются C k-гладкими векторными полями на M. Для случая S1 асимптотическая автономность векторного поля означает, что функция f, определяющая r скалярное дифференциальное уравнение, имеет предельные функции f-, f+ класса C . В качестве иллюстрирующего примера рассмотрим скалярное дифференциальное уравнение θ˙ = f (θ, t) с функцией f (θ, t), которая при t T не зависит от t и совпадает с функцией f+(θ), а при t -T - совпадает с функцией f-(θ). Таким образом, рассматриваемое неавтономное дифференциальное уравнение относится к классу так называемых переходных (transitory) систем, введенных в [33]. Некоторые свойства таких систем изучались также в [11]. Будем предполагать, что уравнения θ˙ = f+(θ) и θ˙ = f-(θ) являются структурно устойчивыми, т. е. имеют конечное число простых нулей, и класс r гладкости функций f, f+, f- по θ равен 1 или выше. Пусть m+, i = 1,... , k, являются нулями функции f+, а m-, j = 1,... , n, являются нулями i j функции f-. Тогда рассматриваемое дифференциальное уравнение имеет при t T постоянное решение θ(t) = m+, а при t -T - постоянное решение θ(t) = m-. Решения из первого набора i j обладают экспоненциальной дихотомией на R+, а решения из второго набора - на R-. Действительно, линеаризация дифференциального уравнения на любом из решений первого набора имеет вид: ξ˙ = λiξ, λi = f t (m+). Поэтому при λi < 0 имеем: в пространстве R начальных условий (где + i t = T ) оператор P есть тождественное отображение R → R, фундаментальная матрица G(t) есть НЕАВТОНОМНАЯ ДИНАМИКА: КЛАССИФИКАЦИЯ, ИНВАРИАНТЫ, РЕАЛИЗАЦИЯ 605 exp[λit], постоянные C = 1, λ = λi, и при t τ T справедливо равенство |G(t)P G-1(τ )| = ξ(t - τ ) = eλi(t-τ ). Если λi > 0, то оператор P есть проекция в нуль, постоянные C = 1, ν = λi, и при T t τ справедливо равенство |G(t)(E - P )G-1(τ )| = eλi (t-τ ). i Если некоторое решение θ(t) асимптотически стремится при t → +∞ к одному из решений m+ i θ(t) m+ Линеаризация с λi < 0, то это решение можно записать в виде θ(t) = m+ + x(t), где |x(t)| → 0 при t → ∞, . принадлежит устойчивому многообразию решения поскольку решение i дифференциального уравнения на решении θ(t) есть ξt = f t (θ(t))ξ = [f t (m+)+ r(t)]ξ, r(t) = f t (m+x(t)) - f t (m+). + + i + i + i Поскольку f t (m+) = λ+ < 0, то соответствующая оценка имеет вид + i i t λ+ i (t-τ )+r + |f × (m x(s))-f × (m+ )|ds |ξ(t, τ )| e + i + i τ . (4.1) + Напомним, что первая производная f t является непрерывной функцией на окружности, поэтому она равномерно непрерывна. При достаточно больших t > T функция |x(t)| может быть сделана сколь угодно малой. В частности, выбирая κ < |λ+|/2, можно при всех t > T считать величину |f t (m+x(s)) - f t (m+)| меньшей κ. Тогда неравенство (4.1) можно записать в виде + i + i + + |ξ(t, τ )| eλi (t-τ )+κ(t-τ ) eλi (t-τ )/2. Это означает, что решение θ(t) также обладает экспоненциальной дихотомией того же типа (1, 0), i как и решение θ = m+. j Все вышесказанное справедливо также для решений θ = m- и решений, асимптотически стремящихся к ним при t → -∞. Таким образом, для НВП θ˙ = f (θ, t) все предположения 3.1-3.5 выполнены, кроме предположения 3.3. Для его выполнения нужно наложить некоторые условия на функцию f (θ, t), t ∈ [-T, T ]. Именно, нужно обеспечить, чтобы интегральные кривые с начальными точками (m-, -T ), (m-, -T ), для которых показатели λ- < 0, при продолжении j j j i i i i на интервал (-T, T ) в своей крайней точке при t = T не попадали в те точки (m+,T ), для которых соответствующие показатели λ+ положительны. Аналогичное свойство должно выполняться в обратную сторону по времени: интегральные кривые с начальными точками (m+,T ), для которых показатели λ+ > 0, при их продолжении при убывании времени на интервал (-T, T ) в своей крайней точке при j t = -T не должны попадать в те точки (m-, -T ), для которых соответствуj ющие показатели λ- отрицательны (см. рис. 3). Понятно, что эти условия можно выполнить, подбирая подходящую функцию f. i Опишем еще, для более полного понимания, разбиение расширенного фазового пространства S1 × R на устойчивые и неустойчивые многообразия. Каждое устойчивое многообразие состоит из ИК, которые при t → +∞ асимптотически сближаются друг с другом. Поэтому, ввиду конструкции переходного НВП, при t T такие ИК стремятся к одной ИК, задаваемой как θ = m+, у которой показатель f t (m+) < 0. Ее область притяжения при t T есть полуполоса, ограни- + i ченная двумя соседними ИК того же вида, но у которых показатели положительны. Ввиду того, что f+ имеет только простые нули, имеются либо две такие соседние ИК, либо они совпадают, тогда замыкание этой полуполосы есть полуцилиндр S1 × R+ и функция f+ имеет только два простых нуля. Для получения полного устойчивого многообразия нужно продолжить полученную полуполосу на полуцилиндр S1 × (-∞,T ). Для этого достаточно проследить за границами полуполосы. Этиi 1 ми границами являются интегральные кривые θ = m+ - i 1 и θ = m+ - i , соседние к кривой θ = m+. Продолжение назад по времени этих ИК определяется структурой слоения на ИК в переходном слое S1 × [-T, T ]. Важно то, что продолжение каждой из этих ИК, в силу предположения 3.3, попадает при t = -T строго внутрь одного интервала, крайними точками которого являются соседние простые нули m- , m- функции f-, у которых f t (m- ) < 0. Теперь продолжение j-1 j+1 - j-1 устойчивого многообразия есть полуполоса между двумя полученными продолженными назад 606 В. З. ГРИНЕС, Л. М. ЛЕРМАН ИК (см. рис. 3). Имеются еще одномерные устойчивые многообразия, которые просто совпадают с ИК, являющимися границами устойчивых многообразий. Аналогично строятся остальные устойчивые многообразия, и подобная конструкция дает неустойчивые многообразия, начиная с ИК, стремящихся к одной ИК вида θ = m-, для которой f t (m-) > 0. j - j 0 D-инвариант данного НВП состоит из класса эквивалентности набора точек на S1, состоящего из следов ИК с дихотомией (0, 1) на R+ и следов ИК с дихотомией (1, 0) на R-. Рис. 3. Правильные переходы ИК в переходном ДУ Fig. 3. Proper transitions of integral curves in a transitional di erential equation 1. Неавтономные векторные поля на поверхностях Следующей размерностью для исследования является два. Итак, рассмотрим неавтономное градиентно-подобное векторное поле v на гладкой замкнутой поверхности M. Здесь типы экспоненциальной дихотомии интегральных кривых могут быть (2, 0), (1, 1), (0, 2), поэтому устойчивые многообразия могут быть трех размерностей: dim W s = 3 (все интегральные кривые на таком устойчивом многообразии являются вполне устойчивыми интегральными кривыми), dim W s = 2 (все интегральные кривые на таком многообразии являются седловыми интегральными кривыми) и dim W s = 1 (такое многообразие состоит из единственной вполне неустойчивой интегральной кривой). В сечении M0 = M × {0} получаем конечное множество точек, являющихся следами одномерных устойчивых многообразий. К этим точкам примыкает конечное множество гладких кривых, являющихся следами двумерных устойчивых многообразий. Дополнение к замыканию множества кривых состоит из конечного числа областей, гомеоморфных диску и являющихся следами трехмерных устойчивых многообразий. Такое разбиение M0 является клеточным комплексом. Мы будем называть полученный комплекс s-комплексом. Аналогично, используя неустойчивые многообразия поля v, получаем клеточное разбиение M0, которое назовем v-комплексом. В силу градиентно-подобности граница Смейла любой устойчивой кривой на M0 состоит из одной или двух точек. Таким образом, ее замыкание топологически является либо отрезком, либо замкнутой кривой. Итак, мы получаем вложенный в M0 граф, называемый s-графом. Аналогично определяется u-граф, который строится посредством неустойчивых двумерных многообразий. Построенный выше s-комплекс на M0 позволяет описать взаимосвязь между топологией многообразия M и количеством и типами слоев устойчивых многообразий неавтономного градиентного векторного поля v. Теорема 5.1 (см. [9]). Пусть v - неавтономное градиентно-подобное векторное поле на многообразии M, а Lq - количество устойчивых слоев размерности q + 1, q ∈ {0, 1, 2}. Тогда выполняются следующие неравенства типа Морса: L0 b0, L1 - L0 b1 - b0, L2 - L1 + L0 = b2 - b1 + b0 = χ(M ), НЕАВТОНОМНАЯ ДИНАМИКА: КЛАССИФИКАЦИЯ, ИНВАРИАНТЫ, РЕАЛИЗАЦИЯ 607 где b0, b1, b2 - ранги соответствующих групп гомологий многообразия M (числа Бетти). Для градиентно-подобного векторного поля на гладком двумерном многообразии M справедливы следующие основные теоремы (см. [9, 10]). Теорема 5.2. Любое градиентно-подобное векторное поле на M структурно устойчиво. Объединение sи u-графов дает вложенный граф G на M0, соответствующий НВП v. Тогда sи u-графы назовем sи u-подграфами графа G. Два вложенных графа G1, G2 называются эквивалентными, если существует гомеоморфизм h : M0 → M0 такой, что h переводит s-подграф графа G1 в s-подграф графа G2 и u-подграф графа G1 переводит в u-подграф графа G2. Класс эквивалентности таких вложенных графов называется различающим графом (или D-графом) неавтономного векторного поля. Теорема 5.3. Два градиентно-подобных неавтономных векторных поля на двумерном многообразии M равномерно эквивалентны тогда и только тогда, когда они имеют эквивалентные D-графы. На рис. 4 представлены варианты неэквивалентных представителей различающих графов с одинаковыми sи u-подграфами. В силу теоремы 5.3, НВП, соответствующие этим D-графам, равномерно неэквивалентны. Геометрически это очевидно, т. к. левый D-граф имеет две седловые ИК с дихотомией (1, 1) на R, а правый D-граф имеет 4 таких ИК. Рис. 4. s-подграф, u-подграф и неэквивалентные D-графы. Fig. 4. s-subgraph, u-subgraph, and nonequivalent D-graphs. 2. Реализация Проблема реализации любого заданного D-графа градиентно-подобным НВП на двумерной поверхности M решается следующим образом. D-граф определяет два клеточных комплекса, устойчивый и неустойчивый, заданные s-подграфом и u-подграфом. Согласно неравенствам Морса, связывающим числа Бетти и соответствующие им числа устойчивых слоев, существует функция Морса f+, для которой число вполне неустойчивых критических точек равно количеству вершин s-подграфа, число седловых критических точек равно числу его ребер, и число устойчивых критических точек равно числу 2-клеток устойчивого комплекса. Определим некоторую риманову метрику на M. Тогда функция f+ задает автономное градиентное векторное поле v+ на M, положения равновесия которого совпадают с критическими точками f+. Аналогичным образом строится гладкая функция Морса f- на M и связанное с ней градиентное автономное векторное поле v-. Определим НВП на M таким образом, что оно совпадает с v+ для всех t T > 0, с v- для всех t -T < 0 и с некоторым переходным неавтономным векторным полем Vt при t ∈ (-T, T ). 608 В. З. ГРИНЕС, Л. М. ЛЕРМАН Задание D-графа гарантирует, что два автономных векторных поля v-, v+ в V r (M ) можно соединить гладкой кривой Vt так, что получившееся НВП представляет собой неавтономное градиентно-подобное векторное поле v на M, для которого выполняются все предположения 3.1-3.5. В частности, продолженные назад по t < T интегральные полупрямые, соответствующие источникам поля v+, попадают при t = -T на неустойчивые 2-многообразия поля v-. Тогда полученные соответствующие интегральные кривые поля v обладают экспоненциальной дихотомией типа (0, 2) на всем R и, следовательно, совпадают со своими глобальными одномерными устойчивыми многообразиями в M × R. Аналогичным образом, продолжения вперед по времени для t > -T интегральных полупрямых, соответствующих стокам поля v-, будут при t = T принадлежать устойчивым 2-многообразиям стоков поля v+. Тогда соответствующие интегральные кривые поля v обладают экспоненциальной дихотомией типа (2, 0) на всем R и, следовательно, совпадают со своими одномерными глобальными неустойчивыми многообразиями в M × R. T Для выполнения предположения 3.3 переходное поле Vt должно обеспечить следующее свойство: действие (назад по времени) диффеоморфизма Φ0 , порожденного полем Vt, на любую одномерную устойчивую сепаратрису седла поля v+ на сечении t = T должно давать гладкую кривую на сечении M0, которая пересекает трансверсально в конечном числе точек гладкие кривые на -T M0, являющиеся образами при диффеоморфизме Φ0 (вперед по времени) любой одномерной неустойчивой сепаратрисы седла поля v- на сечении t = -T. 3. Неавтономные градиентно-подобные векторные поля на M 3 Пусть теперь M - гладкое замкнутое трехмерное многообразие, а v - неавтономное градиентно-подобное векторное поле на M. Возможные здесь типы экспоненциальной дихотомии - (3, 0), (2, 1), (1, 2), (0, 3). Конечный набор различных устойчивых многообразий порождают на M0 клеточный комплекс (s-комплекс) и, аналогично, двойственный клеточный комплекс, порожденный конечным набором неустойчивых многообразий (u-комплекс). Размерность три является первой, где такой комплекс может содержать дико вложенные в M0 клетки. Например, замыкание гладкого одномерного слоя в M0, соответствующего двумерному неустойчивому многообразию, может быть дико вложенным в своей граничной точке (являющейся следом ИК с экспоненциальной дихотомией типа (3, 0)), см. [14, 17]. Кроме того, двумерные слои, являющиеся следами трехмерных устойчивых многообразий, также могут быть дико вложены в точках их границы, являющихся следами ИК с дихотомией типа (0, 3). Примеры такого поведения были построены в недавней статье [5]. Поскольку v градиентно-подобно, мы имеем разбиение M × R на устойчивые и неустойчивые глобальные многообразия. Следы этих многообразий на M0 дают слои, составляющие sи u-комплексы, являющиеся клеточными комплексами. Назовем s-подграфом множество на M0, образованное устойчивыми слоями размерностей 2, 1, 0. Аналогично определяется u-подграф. Объединение sи u-подграфов будем называть D-графом векторного поля v. Заметим, что исследования конкретных примеров показывают, что слои s-подграфа и u-подграфа графа G могут иметь точки дикости. Два D-графа G1, G2 на M0 неавтономных векторных полей v1, v2 называются эквивалентными, если существует гомеоморфизм h : M0 → M0, переводящий s-подграф графа G1 в s-подграф графа G2 и u-подграф графа G1 в u-подграф графа G2. Отметим, что гомеоморфизм, осуществляющий эквивалентность D-графов, переводит точки дикости одного графа в точки дикости другого. Сначала приведем примеры векторных полей, где слои D-графов обладают точками дикости. Это было сделано в [5], и конструкция использует две идеи. Первая идея принадлежит Лерману и Вайнштейну [3, 4] и состоит в конструкции неавтономной надстройки над заданным диффеоморфизмом f : M → M замкнутого многообразия M. Вторая идея принадлежит Д. Пикстону [36] и была в дальнейшем развита Бонатти, Гринесом, Починкой и др. в [17, 18, 26] (см. раздел 8.2). 7.1. Неавтономные надстройки. Полезная конструкция для поиска неавтономных систем с нужными свойствами была предложена Лерманом и Вайнштейном [3, 4]. Ими введено понятие неавтономной надстройки над заданным диффеоморфизмом f : M → M замкнутого многообразия M. Именно, пусть Mf - многообразие надстройки над f со слоением, состоящим из траекторий соответствующего потока. Mf является гладким расслоением над S1. Наделим Mf НЕАВТОНОМНАЯ ДИНАМИКА: КЛАССИФИКАЦИЯ, ИНВАРИАНТЫ, РЕАЛИЗАЦИЯ 609 некоторой римановой метрикой и рассмотрим его накрытие M˜ f , порожденное стандартным накрытием R → R/Z = S1. Обозначим через p : M˜f → Mf естественную проекцию. Поскольку R стягиваемо, то накрытие M˜ f диффеоморфно прямому произведению M × R. Если поднять посредством p метрику на M˜ f из Mf , то M˜ f не будет, вообще говоря, эквиморфным M × R. Слоение на траектории потока в Mf поднимается до слоения на M˜ f , которое обозначим Lf . Возникает естественный вопрос: является ли слоение Lf эквиморфным слоению на интегральные кривые некоторого неавтономного векторного поля на M ? Определение 7.1. Говорят, что диффеоморфизм f : M → M воспроизводится неавтономным векторным полем v на M, если существует эквиморфизм Φ : M × R → M˜ f , переводящий интегральные кривые поля v в слои слоения Lf . Здесь M × R рассматривается с равномерной структурой прямого произведения. В связи с этим представляют интерес следующие утверждения. Утверждение 7.1. Пусть f : Tn → Tn - гиперболический автоморфизмом тора Tn. Тогда f пространство T n не эквиморфно Tn × R. Более того, это же утверждение справедливо для любого диффеоморфизма Аносова. С другой стороны, справедливо такое утверждение. Утверждение 7.2. Диффеоморфизм Плыкина на S2 воспроизводится периодическим векторным полем на S2. f Замечание 7.1. Как известно, существуют такие диффеоморфизмы f : M → M, что надстройка Mf над таким диффеоморфизмом не диффеоморфна прямому произведению M × S1, но для некоторой его итерации fn соответствующая надстройка Mfn диффеоморфна M ×S1. Фактически многообразие Mfn является k-кратным накрытием Mf . В качестве примера такой ситуации можно взять M = S1 с координатой ϕ ( mod 2π) и диффеоморфизм f (ϕ) = -ϕ( mod 2π). Тогда S1 f 2 гомеоморфно бутылке Клейна, но f 2(ϕ) = ϕ и, следовательно, S1 = S1 × S1 = T2 (т. е. двумер- S˜1 ный тор, являющийся двулистным накрытием бутылки Клейна). Таким образом, многообразие f эквиморфно S1 × R. Обозначим через πM : M × R → M стандартную проекцию на первый сомножитель. Для 0 любого неавтономного векторного поля v на многообразии M отображение Φt : M0 → Mt из сечения M0 = M × {0} в многообразие Mt = M × {t}, порожденное решениями v с начальными точками на M0, πM (Mt) = M, диффеотопно1 тождественному отображению idM для всех t ∈ R. В частности, если v - периодическое векторное поле на многообразии M, то его отображение Пуанкаре за период диффеотопно тождественному отображению idM . Приведем теорему из работы [5], которая дает достаточное условие на диффеоморфизм f, чтобы он воспроизводился потоком, порожденным неавтономным периодическим векторным полем v. Сначала сформулируем техническую лемму. Лемма 7.1. Если f диффеотопно idM , то существует диффеотопия Ft : M → M, t ∈ [0, 1], соединяющая idM и f и такая, что диффеоморфизмы Ft гладко зависят от t и для некоторого достаточно малого ε > 0 выполняются условия Ft ≡ idM , когда t ∈ [0, ε], и ft ≡ f, когда t ∈ [1 - ε, 1]. Теорема 7.1. Предположим, что для некоторого n ∈ N диффеоморфизм fn : M → M диффеотопен idM . Тогда справедливы утверждения: 99. Mf послойно2 диффеоморфно M × S1; 100. существует периодическое векторное поле v на M, которое воспроизводит диффеоморфизм f. 1 Два диффеоморфизма f, g гладкого многообразия M диффеотопны, если их можно соединить непрерывной дугой Ft, F0 = f, F1 = g такой, что каждая Ft является диффеоморфизмом M. 2 Термин «послойно» означает существование диффеоморфизма Ψ: Mf → M × S1, действующего как (x, s) → (ψ(x, s), s). 610 В. З. ГРИНЕС, Л. М. ЛЕРМАН Это теорема позволяет по данному диффеоморфизму, обладающему дико вложенными сепаратрисными многообразиями, строить соответствующие неавтономные периодические потоки, устойчивые и неустойчивые многообразия которых также обладают точками дикости. 1. Диффеоморфизмы с дико вложенными сепаратрисами Этот раздел содержит некоторые определения и результаты, которые можно найти в книге [26]; некоторые из них мы приведем для удобства читателя. 1. Дикое вложение. Определение 8.1. Топологическое вложение λ : X → Y m-мерного многообразия X в nмерное многообразие Y (m n) называется локально плоским в точке λ(x) ∈ Y , если существует такая карта (U, ψ), λ(x) ∈ U, ψ : U → Rn в многообразии Y, что ψ(λ(X) ∩ U ) = Dm ⊂ Rm. Здесь Rm ⊂ Rn есть подпространство точек из Rn, у которых последние n - m координат равны нулю, или ψ(λ(X) ∩ U ) = Rm (Rm ⊂ Rm есть множество точек в Rn, у которых последние координаты + + неотрицательны). Вложение λ называется ручным (или локально плоским), а многообразие X - ручно вложенным, если λ является локально плоским в каждой точке λ(x) ∈ Y. В противном случае, вложение λ называется диким, а многообразие X называется дико вложенным. Если вложение λ не является локально плоским в точке λ(x), то эта точка называется точкой дикости. Стоит отметить, что определение ручно вложенного многообразия совпадает с определением топологического подмногообразия. Каждое топологическое вложение в пространство R2 (соответственно, S2) является ручным, см. [34]. В пространстве R3 (соответственно, S3) уже есть дикие дуги и дикие 2-сферы. Один из первых примеров дикой дуги был построен Артином и Фоксом [14]. Соответствующая дуга является гладкой везде, за исключением ее граничной точки (см. рис. 5). Дикость полученной дуги также следует из приведенного ниже критерия, доказанного в [27]. Утверждение 8.1. Пусть ζ - компактная дуга в R3, гладкая всюду, кроме граничной точки O. Тогда ζ является локально плоской в точке O тогда и только тогда, когда для каждого ε-шара Bε(O) с центром в O существует подмножество U ⊂ Bε(O), диффеоморфное замкнутому 3-шару такому, что O является внутренней точкой U, и пересечение ∂U ∩ ζ состоит из единственной точки. b a c Рис. 5. Конструкция дикой кривой в R3 Fig. 5. Construction of a wild curve in R3 2. Диффеоморфизмы типа Пикстона на S3. Примеры неавтономных потоков с точками дикости устойчивых и неустойчивых многообразий строятся как неавтономные надстройки над диффеоморфизмами, введенными Пикстоном [36]. Перейдем к их конструкции. Пусть V - гладкое замкнутое ориентируемое 3-многообразие, фундаментальная группа которого допускает нетривиальный гомоморфизм ηV : π1(V ) → Z. Обозначим через (V, ηV ) многообразие V, снабженное гомоморфизмом ηV . НЕАВТОНОМНАЯ ДИНАМИКА: КЛАССИФИКАЦИЯ, ИНВАРИАНТЫ, РЕАЛИЗАЦИЯ 611 Определение 8.2. Многообразия (V, ηV ) и (V t, ηV × ) называются эквивалентными, если существует гомеоморфизм ϕ : V → V t такой, что ηV × ϕ∗ = ηV . Определение 8.3. Два гладких подмногообразия a ⊂ V и at ⊂ V t называются эквивалентными, если существует гомеоморфизм ϕ : V → V t такой, что ηV × ϕ∗ = ηV и ϕ(a) = at. Определение 8.4. Гладкое подмногообразие a ⊂ V называется ηV -существенным, если ηV (ia∗(π1(a))) /= 0, где ia : a → V есть отображения включения. Проиллюстрируем эти определения для многообразия S2 × S1. Представим многообразие S2 × S1 как пространство орбит R3 \ {O})/as , где as - гомотетия, заданная формулой as(x) = 0,5x (x = (x1, x2, x3)). Легко проверить1, что естественная проекция p : R3 \ O → S2 × S1 является накрывающим отображением, которое индуцирует эпиморфизм η S2×S1 : π1(S2 × S1) → Z. Обозначим γˆ0 = p(Ox+), λˆ0 = p(Ox2x3 \ O), где Ox+ - положительная полуось, а Ox2x3 - 1 1 координатная плоскость x1 = 0. На рис. 6 показан сферический слой, ограниченный сферами радиусов 1 и 0,5. Если мы отождествим точки, которые лежат на границе сферического слоя и принадлежат одному и тому же радиусу, проходящему через точку O, мы получим многообразие S2 × S1. Более того, если мы отождествим крайние точки отрезка с одинаковыми номерами (1), то мы получим узел γˆ0, и если мы отождествим крайние точки, лежащие на одном и том же луче, принадлежащие окружностям с одинаковыми числами (2) и ограничивающие 2-кольцо, то мы получим тор λˆ0 (γˆ0 и λˆ0 вложены в S2 × S1). Рис. 6. Конструкция существенных узла и тора, вложенных в S2 × S1 Fig. 6. Construction of essential node and torus embedded in S2 × S1 Легко проверить, что γˆ0 (соответственно, λˆ0) является ηS2 ×S1 -существенным узлом (соответственно, тором) в многообразии (S2 × S1, ηS2 ×S1 ). × Определение 8.5. Узел (тор) γˆ (λˆ) в многообразии (S2 S1,η S2 ×S1 ) называется тривиальным, если он эквивалентен узлу (тору) γˆ0 (λˆ0). Утверждение 8.2. Каждый ηs S2×S1 -существенный тор λˆ ⊂ × (S2 S1, ηs S2 ×S1 ) ограничивает заполненный тор S2 × S1. × Утверждение 8.3. Узел γˆ (соответственно, тор λˆ) в многообразии (S2 S1, ηs S2 ×S1 ) является тривиальным тогда и только тогда, когда существует его трубчатая окрестность N (γˆ) (соответственно, N (λˆ)) в многообразии S2 × S1 такая, что многообразие (S2 × S1) \ N (γˆ) (соответственно, (S2 × S1) \ N (λˆ)) гомеоморфно заполненному тору (паре заполненных торов). Обозначим через P класс диффеоморфизмов Морса-Смейла, у которых неблуждающее множество состоит из источника αf , седла σf и стоков ω1 , ω2 . Фазовый портрет диффеоморфизма f f 1 Рассмотрим гомотопический класс [c] ∈ π1(S2 × S1 ) петли c : R/Z → S2 × S1). Тогда петля c : [0, 1] → S2 × S1 подымается в кривую c¯: [0, 1] → R3 \ {O}, соединяющую точку x с точкой (as)n(x) для некоторого n ∈ Z, где n не зависит от поднятия. Тогда мы определяем ηs S2 ×S1 ([c]) = n. 612 В. З. ГРИНЕС, Л. М. ЛЕРМАН из класса P показан на рис. 7. Пикстон построил пример из класса P, упомянутого выше, поэтому мы называем класс P классом Пикстона. Мы опускаем ниже индекс f в обозначениях неподвижных точек. Рис. 7. Фазовый портрет диффеоморфизма из класса P Fig. 7. Phase portrait of a di eomorphism from the class P Удивительным фактом является существование счетного множества несопряженных диффеоморфизмов в классе P. Чтобы понять это, мы опишем ниже узловой топологический инвариант, предложенный в [17]. Более того, этот инвариант объясняет существование в классе P диффеоморфизмов, для которых седловая неподвижная точка обладает дико вложенными одномерными и двумерными сепаратрисами. Обозначим через ζ1, ζ2 неустойчивые 1-мерные сепаратрисы точки σ. Согласно Смейлу [40], замыкание cl(ζi) (i = 1, 2) гомеоморфно простой компактной дуге, состоящей из самой сепаратрисы и двух ее граничных точек: σ и стока. Более того, замыкания сепаратрис ζ1 и ζ2 содержат разные стоки (см. [26, следствие 2.2]). Для определенности, пусть ωi принадлежит cl(ζi) (см. рис. 7). При i = 1, 2 обозначим Vi = W s(ωi) \ {ωi}. Обозначим через Vˆi = Vi/f соответствующее пространство орбит, и пусть pi : Vi → Vˆi - естественная проекция, которая является накрытием, индуцирующим эпиморфизм ηi : π1(Vˆi) → Z. Так как для рассматриваемого стока ωi ограничение f |Vi i топологически сопряжено с a : R3 \ {O}→ R3 \ {O}, то многообразие (Vˆi,η ) эквивалентно многообразию (S2 ×S1, ηs ) и множество ζˆi = p (ζi) является η -существенным узлом в многообразии S2×S1 i i Vˆi таким, что ηi (iˆ i ∗ (π1(ζˆi))) = Z (см. [26, теорема 2.3]). В [17, теорема 1] было доказано, что по крайней мере один из узлов ζˆ1, ζˆ2 тривиален (см. также [26, предложение 4.3]). Для определенности мы предположим ниже, что узел ζˆ1 тривиален. Следующий результат был доказан в [17, теорема 3] (см. также [26, теорема 4.3]). Утверждение 8.4. Диффеоморфизмы f, f t ∈ P топологически сопряжены тогда и только тогда, когда узлы ζˆ2(f ) и ζˆ2(f t) эквивалентны. Следовательно, класс эквивалентности узла ζˆ2(f ) является полным топологическим инвариантом для диффеоморфизмов класса Пикстона. Более того, справедлива следующая теорема о реализации (см. [17, теорема 2] и [26, теорема 4.4]). ⊂ × Утверждение 8.5. Для каждого узла ζˆ (S2 S1, ηs S2 ×S1 ) такого, что ηs S2×S1 ˆ (i (π1(ζˆ))) = Z, ∗ существует диффеоморфизм f : S3 → S3 из класса P такой, что узлы эквивалентными. ζˆ и ζˆ2(f ) являются Мазур построил пример существенного и нетривиального узла, вложенного в S2 × S1, см. [32]. Согласно предложению 8.5, существует диффеоморфизм f из класса Пикстона такой, что в точности одна неустойчивая одномерная сепаратриса и устойчивая двумерная сепаратриса седловой точки σ являются дико вложенными. σ σ На рис. 8 показан узел Мазура ˆlu, который появляется в фактор-пространстве Wˆ s(ω2), и существенный тор ˆls , вложенный Wˆ u(α), который является трубчатой окрестностью узла Мазура. Существует счетное множество попарно не эквивалентных существенных узлов в S2 ×S1 (серия таких узлов была построена недавно в работе [12]). Таким образом, из утверждений 8.4 и 8.5 следует существование счетного множества топологически не сопряженных диффеоморфизмов из класса Пикстона. НЕАВТОНОМНАЯ ДИНАМИКА: КЛАССИФИКАЦИЯ, ИНВАРИАНТЫ, РЕАЛИЗАЦИЯ 613 Рис. 8. Фазовый портрет диффеоморфизма из класса P и проекция седловых сепаратрис в фактор пространствах Fig. 8. Phase portrait of a di eomorphism from the class P and the projection of saddle separatrices in factor spaces 2. Периодические векторные поля на S3 с дико вложенными сепаратрисными множествами Теперь мы построим периодическое векторное поле на S3 с диким вложением замыкания 2мерного неустойчивого многообразия и замыкания 3-мерного устойчивого многообразия для седловой ИК с экспоненциальной дихотомией на R типа (2, 1). Начнем с некоторого диффеоморфизма f класса Пикстона на S3, который имеет один гиперболический источник α, одно седло σ типа (2, 1) (2-мерное устойчивое и 1-мерное неустойчивое многообразия) и два гиперболических стока ω1, ω2. Устойчивое 2-мерное многообразие неподвижной точки σ содержит в своем замыкании неподвижную точку α, т. е. все траектории диффеоморфизма f с начальными точками на W s(σ), за исключением самой σ, имеют единственную α-предельную точку α и единственную ω-предельную точку σ. Замыкание множества W s(σ) есть топологически вложенная сфера Σ в S3, она является границей двух открытых 3-шаров D1 и D2. Неподвижная точка ω1 (сток) лежит внутри шара D1, другой сток ω2 лежит внутри другого шара D2. Мы предполагаем, что одномерная сепаратриса точки σ, которая входит в D2, является дико вложенной. Отсюда следует, что устойчивое многообразие W s(σ) также является дико вложенным в точке α (см. рис. 8). Теперь рассмотрим надстройку над f. Как следует из результатов Серфа [20], любые два сохраняющие ориентацию диффеоморфизма в S3 могут быть соединены гладкой дугой. Отсюда следует, что f диффеотопен idS3 и многообразие Mf гомеоморфно S3 × S1, более того, структура прямого произведения может быть получена с помощью некоторого диффеоморфизма. Фиксируем эту структуру и рассмотрим далее многообразие надстройки как стандартное S3 × S1. Таким образом, поток надстройки имеет одну вполне неустойчивую периодическую траекторию, одну седловую периодическую траекторию типа (3, 2) и две вполне устойчивые периодические траектории, все они являются гиперболическими периодическими траекториями. Проекция любой из этих периодических траекторий на базу является гомеоморфизмом. Напомним, что поток надстройки является потоком Морса-Смейла. Все его периодические траектории гиперболические, а любая другая траектория стремится к одной из этих периодических при t → ±∞. Конструкция неавтономной надстройки (см. пункт 7.1) дает периодическое 614 В. З. ГРИНЕС, Л. М. ЛЕРМАН векторное поле на S3, которое обозначим vP . Это поле имеет в точности четыре периодические интегральные кривые, обладающие экспоненциальной дихотомией решений на R (т. е. они являются h-кривыми). Типы их дихотомии различны: две вполне устойчивые периодические траектории дают две вполне устойчивые ИК, тип их дихотомии (3, 0) (при этом размерность устойчивого многообразия соответствующей интегральной кривой равна 4). Седловая периодическая траекf тория в S3 приводит к седловой ИК поля vP с дихотомией типа (2, 1), а вполне неустойчивая периодическая траектория дает вполне неустойчивую ИК с дихотомией типа (0, 3). Все остальные ИК стремятся к этим четырем ИК при t → +∞ и при t → -∞. Таким образом, любая такая интегральная кривая обладает экспоненциальной дихотомией на R- и R+ в зависимости от типа той периодической ИК, к которой она стремится. В силу конструкции очевидно, что предположения 3.1-3.4, характеризующие градиентно-подобность неавтономного векторного поля, выполняются для поля vP автоматически. Выполнение предположения 3.5 следует из существования равномерных непересекающихся окрестностей Uj четырех h-кривых, j = 1, 4 таких, чтобы время перехода с одной компоненты границы множества M × R \ ∪j Uj на ее другую компоненту было ограничено сверху и снизу положительными постоянными, не зависящими от выбора ИК. Теперь напомним, что диффеоморфизм f имеет одномерное неустойчивое многообразие W u(σ) седловой неподвижной точки σ. Для потока надстройки в S3 × S1 мы получаем двумерное гладкое неустойчивое многообразие W u(γσ ) седловой периодической траектории γσ. Многообразие W u(γσ ) есть прямое произведение W u(σ) × S1, это следует из конструкции надстройки. Если замыкание одной из двух неустойчивых сепаратрис точки σ дико вложено в S3 (см. выше), то замыкание одной из связных компонент W u(γσ ) \ γσ есть дико вложенная поверхность S3 × S1. Предположим для определенности, что сток ω2 является ω-предельным множеством для всех траекторий на дико вложенной сепаратрисе седла σ. Следующее пояснение характеризует это дикое вложение. Выберем гладкий 3-диск D, трансверсальный периодической траектории γω2 в некоторой ее точке. Тогда дико вложенная компонента пересекает этот диск вдоль гладкого луча с граничной точкой D ∩ γω2 , являющейся точкой дикости. Структура прямого произведения дает периодическую траекторию γω2 с примыкающим к ней дико вложенным неустойчивым многообразием. Аналогично, выбирая трехмерный гладкий открытый диск D, трансверсальный вполне неустойчивой периодической траектории γα, получаем в D пересечение D ∩ W s(γσ ), т. е. открытое кольцо, замыкание одной из границ которого является диким в точке D ∩ γα (см. выше). Структура прямого произведения дает вполне неустойчивую периодическую траекторию γα и примыкающую к нему устойчивое многообразие W s(γσ ) с диким вложением вдоль γα. Более подробно аналогичный факт доказан в [37] с привлечением результатов из [23]. Теперь, применяя конструкцию неавтономной надстройки, получаем следующее утверждение. Теорема 9.1. Существует гладкое периодическое векторное поле vP на S3, которое является градиентно-подобным, имеет в точности четыре периодические h-кривые, обладающие экспоненциальной дихотомией на R: вполне неустойчивую (типа (0, 3)), одну седловую типа (2, 1) и две вполне устойчивые типа (3, 0). Остальные интегральные кривые стремятся к этим h-кривым при t → +∞ и при t → -∞. Кроме того, замыкания 2-мерного неустойчивого и 3мерного устойчивого многообразия седловой периодической ИК являются дико вложенными. Как упоминалось выше, существует счетное множество топологически не сопряженных диффеоморфизмов из класса Пикстона. Из конструкции неавтономной надстройки следует, что существует счетное множество топологически не эквивалентных периодических векторных полей P на S3. Тем не менее, описанная выше простая структура слоения Fv позволяет сформулировать гипотезу. Теорема 9.2. Векторное поле vP структурно устойчиво в смысле определения 1.2. В силу теоремы 9.2 при достаточно малом возмущении поля vP его равномерная структура сохраняется, но, в зависимости от выбранного возмущения, возмущенное векторное поле может стать почти периодическим или даже не рекуррентным по времени. НЕАВТОНОМНАЯ ДИНАМИКА: КЛАССИФИКАЦИЯ, ИНВАРИАНТЫ, РЕАЛИЗАЦИЯ 615 3. Вариации на тему Пикстона Покажем здесь, как, используя близкие идеи, можно строить другие неавтономные непериодические градиентно-подобные векторные поля на S3. Сначала представим явным образом оба комплекса (sи u-) для периодического поля Пикстона vP . Его s-комплекс состоит из двух 3клеток, одной 2-клетки и одной 0-клетки, причем замыкание 2-клетки имеет точку дикости в 0-клетке. Его u-комплекс состоит из одной 3-клетки, одной 1-клетки и двух 0-клеток, причем замыкание 1-клетки имеет точку дикости в одной из 0-клеток. Для построения других (не периодических) неавтономных векторных полей, используя периодическое поле Пикстона, мы рассмотрим сначала поле vP для t T > 0. Тогда на сечении t = T слои его устойчивых многообразий образуют s-комплекс поля Пикстона. При t -T мы рассмотрим векторное поле -vP , тогда на сечении t = -T мы получим разбиение на следы неустойчивых многообразий - неустойчивые слои, т. е. u-комплекс, совпадающий с s-комплексом поля Пикстона. Теперь два векторных поля vP (T ) и -vP (-T ) нужно соединить гладкой кривой в пространстве V 1(S3) так, чтобы склеенное неавтономное векторное поле v1 было градиентно-подобно. Поскольку V 1(S3) - банахово пространство, две его любые точки можно соединить кривой (например, отрезком). Однако нужно обеспечить, чтобы полученное поле v1 было градиентно-подобным. В частности, двумерная клетка s-комплекса при продолжении назад по времени до t = 0 и двумерная клетка u-комплекса при продолжении вперед по времени до t = 0 должны пересекаться трансверсально (например, по замкнутой кривой), а предельная точка устойчивого двумерного слоя (через которую проходит вполне неустойчивая ИК) должна лежать в одном из двух неустойчивых 3-мерных слоев. Также, продолжение вперед по времени до t = 0 интегральной кривой, соответствующей нульмерному неустойчивому слою, должно принадлежать трехмерному устойчивому слою. Построение кривой, соединяющей vP (T ) и -vP (-T ), с нужными свойствами можно осуществить с помощью построения соответствующего семейства диффеоморфизмов сферы S3, осуществляющих нужный сдвиг двумерных слоев. Другое неавтономное градиентно-подобное векторное поле v2, использующее периодическое поле Пикстона, можно построить на основе его u-комплекса. Для этого нужно взять при t -T поле vP , а при t T - поле -vP , и соединить их между сечениями t = -T, t = T нужным семейством векторных полей так, чтобы получилось неавтономное векторное поле v2, у которого не пересекаются 1-мерный устойчивый слой поля -vP при его продолжении назад по времени в силу склеенного поля с t = T до t = 0 и продолжение вперед по времени в силу склеенного поля с t = -T до t = 0 неустойчивого 1-мерного слоя поля vP . Структуры построенных неавтономных векторных полей v1, v2 в силу их конструкции таковы, что они являются градиентно-подобными, а их D-графы различны, т. е. они не являются равномерно эквивалентными. Также они являются структурно-устойчивыми, хотя это утверждение также пока следует рассматривать как гипотезу. 4. Структура слоения Fv для почти периодических градиентно-подобных векторных полей v В этом разделе мы уточним структуру слоения Fv для классического случая неавтономных векторных полей v, почти периодически зависящих от времени [8, 22]. В этом случае, кроме исследования структуры слоения Fv векторного поля v, удается показать существование почти периодических решений поля v, как в классических теоремах Америо, Фавара и др. [13, 24], но используя другие идеи. Почти периодичность такого НВП определяется стандартным образом как почти периодичность отображения v : R → V k (M ), см. [22]. Решение x : R → M векторного поля v называется почти периодическим (по Бохнеру [16]), если множество сдвигов {x(t + s)}, s ∈ R, предкомпактно в топологии равномерной сходимости таких отображений на всем R. Замыкание {x(t)}t∈R почти периодического решения может быть нетривиально гомотопически вложенным множеством в M. Сформулируем соответствующие результаты для слоения Fv для случаев, когда размерность многообразия M равна 1 и 2. 616 В. З. ГРИНЕС, Л. М. ЛЕРМАН Рассмотрим неавтономное скалярное градиентно-подобное дифференциальное уравнение на окружности M = S1, равномерно почти периодически зависящее от времени. Тогда справедлива следующая теорема. Теорема 11.1. Если градиентно-подобное скалярное уравнение на S1 равномерно почти периодично, то число вполне устойчивых ИК равно числу вполне неустойчивых ИК. Более того, каждое устойчивое (неустойчивое) многообразие содержит единственную почти периодиче- 0 скую ИК, являющуюся h-кривой. При обходе окружности S1 следы устойчивых и неустойчивых почти периодических интегральных кривых чередуются. Любая другая интегральная кривая стремится при t → +∞ к устойчивой почти периодической интегральной кривой, а при t → -∞ - к соседней неустойчивой почти периодической интегральной кривой. Замечание 11.1. Как следует из предыдущей теоремы, слоение Fv скалярного почти периодического градиентно-подобного векторного поля имеет такой же D-инвариант, как D-инвариант некоторого скалярного периодического градиентно-подобного поля. В силу теоремы 4.1, почти периодическое градиентно-подобное векторное поле равномерно эквивалентно периодическому градиентно-подобному векторному полю. Теперь рассмотрим градиентно-подобное почти периодическое неавтономное векторное поле v на двумерной замкнутой поверхности M. Структурная устойчивость такого v и его почти периодичность по времени позволяет доказать следующую теорему. Теорема 11.2. Пусть v - неавтономное почти периодическое градиентно-подобное векторное поле на замкнутой поверхности M. Тогда интегральные кривые, соответствующие вершинам D-графа, являются почти периодическими вполне устойчивыми или вполне неустойчивыми h-кривыми, в зависимости от типа соответствующей вершины D-графа. Более того, s-подграф и u-подграф графа D-графа двойственны друг другу: каждая двумерная клетка s-комплекса содержит ровно одну неустойчивую вершину u-комплекса и наоборот. Каждое ребро s-подграфа может пересекаться не более чем с одним ребром u-подграфа. Если такое пересечение двух ребер существует, то интегральная кривая, соответствующая этому пересечению, является почти периодической (седловой) h-кривой с типом дихотомии (1, 1). D-граф почти периодического градиентно-подобного векторного поля эквивалентен D-графу некоторого периодического градиентного векторного поля на M, т. е. почти периодическое градиентно-подобное векторное поле на M равномерно эквивалентно некоторому периодическому градиентно-подобному векторному полю. В случае периодического векторного поля v класса Пикстона на трехмерной сфере оно, по теореме 1.2, структурно устойчиво относительно малых равномерных возмущений вида v + εv1, задаваемых ограниченным равномерно непрерывным отображением v1 : R → V r (S3) в банахово пространство V r (S3), r 1. В частности, такое возмущение может быть выбрано почти периодическим. В этом случае, поскольку любая из четырех периодических ИК обладает экспоненциальной дихотомией на R (различных типов), возмущенное почти периодическое векторное поле будет иметь в малой равномерной окрестности каждой ИК почти периодическую ИК того же типа дихотомии. Более того, возмущенное векторное поле будет градиентно-подобным, и любая из его ИК будет стремиться к одной из четырех почти периодических ИК и обладать экспоненциальной дихотомией на R±. Выбрав возмущение малым, но не рекуррентным по времени, мы получим векторное поле с такой же структурой слоения, но особые ИК будут не рекуррентны.
×

Об авторах

В. З. Гринес

Национальный исследовательский университет «Высшая школа экономики»

Автор, ответственный за переписку.
Email: vgrines@yandex.ru
Нижний Новгород, Россия

Л. М. Лерман

Национальный исследовательский университет «Высшая школа экономики»

Email: lermanl@mm.unn.ru
Нижний Новгород, Россия

Список литературы

  1. Алексеев В. М., Фомин С. В. Михаил Валерьевич Бебутов// Усп. мат. наук. - 1970. - 25, № 3. - С. 237-239.
  2. Аносов Д. В. Геодезические потоки на замкнутых римановых многообразиях отрицательной кривизны// Тр. МИАН. - 1967. - 90. - С. 3-210.
  3. Вайнштейн А. Г., Лерман Л. М. Неавтономные надстройки над диффеоморфизмами и геометрия близости// Усп. мат. наук. - 1976. - 31, № 5. - С. 231-232.
  4. Вайнштейн А. Г., Лерман Л. М. Равномерные структуры и эквивалентность диффеоморфизмов// Мат. заметки. - 1978. - 23, № 5. - С. 739-752.
  5. Гринес В. З., Лерман Л. М. Неавтономные векторные поля на S3: простаядинамика и дикое вложение сепаратрис// Теор. мат. физ. - 2022. - 212, № 1. - С. 15-32.
  6. Далецкий Ю. Л., Крейн М. Г. Устойчивость решений дифференицальных уравнений в банаховом пространстве. - М.: Наука, 1970.
  7. Демидович Б. П. Лекции по математической теории устойчивости. - М.: Наука, 1967.
  8. Левитан Б. М., Жиков В. В. Почти-периодические функции и дифференциальные уравнения. - М.: МГУ, 1978.
  9. Лерман Л. М. О неавтономных динамических системах типа Морса-Смейла// Дисс. канд. физ.-мат. наук. - Горький: Горьк. гос. ун-т, 1975.
  10. Лерман Л. М., Шильников Л. П. О классификации грубых неавтономных систем с конечным числом ячеек// Докл. АН СССР. - 1973. - 209, № 3. - С. 544-547.
  11. Морозов А. Д., Морозов К. Е. Транзиторный сдвиг в задаче о флаттере// Нелин. динамика. - 2015. - 11, № 3. - С. 447-457.
  12. Akhmet’ev P. M., Medvedev T. V., Pochinka O. V. On the number of the classes of topological conjugacy of Pixton di eomorphisms// Qual. Theory Dyn. Syst. - 2021. - 20. - 76.
  13. Amerio L. Soluzioni quasi-periodiche, o limitate, di sistemi di erenziali non lineari quasi-periodici, o limitati// Ann. Mat. Pura Appl. - 1955. - 39. - С. 97-119.
  14. Artin E., Fox R. Some wild cells and spheres in three-dimensional space// Ann. Math. - 1948. - 49.- С. 979-990.
  15. Barreira L., Valls C. Stability of nonautonomous di erential equations. - Berlin-Heidelberg: Springer, 2008.
  16. Bochner S. Sur les fonctions presque p´eriodiques de Bohr// C. R. - 1925. - 180. - С. 1156-1158.
  17. Bonatti Ch., Grines V. Knots as topological invariant for gradient-like di eomorphisms of the sphere S3// J. Dyn. Control Syst. - 2000. - 6, № 4. - С. 579-602.
  18. Bonatti Ch., Grines V., Medvedev V., Pecou E. Topological classi cation of gradient-like di eomorphisms on 3-manifolds// Topology. - 2004. - 43. - С. 369-391.
  19. Bonatti C., Grines V. Z., Pochinka O. Topological classi cation of Morse-Smale di eomorphisms on 3manifolds// Duke Math. J. - 2019. - 168, № 13. - С. 2507-2558.
  20. Cerf J. Sur les di ´eomorphismes de la sph´ere de dimension trois (Γ4 = 0). - Berlin: Springer, 1968.
  21. Coppel W. A. Stability and asymptotic behavior of di erential equations. - Boston: D.C. Heath and Company, 1965.
  22. Corduneanu C. Almost periodic oscillations and waves. - New York: Springer, 2009.
  23. Daverman R. J., Venema G. A. Embedding in manifolds. - Providence: AMS, 2009.
  24. Favard J. Sur les eq´uations di erentielles ´a coe cients presqu-periodiques// Acta Math. - 1927. - 51.- С. 31-81.
  25. Gonchenko S. V., Shilnikov L. P., Turaev D. V. On dynamical properties of multidimensional diffeomorphisms from Newhouse regions// Nonlinearity. - 2008. - 21, № 5. - С. 923-972.
  26. Grines V., Medvedev T., Pochinka O. Dynamical systems on 2-and 3-manifolds. - Cham: Springer, 2016.
  27. Harrold O. G., Gri th H. C., Posey E. E. A characterization of tame curves in three-space// Trans. Am. Math. Soc. - 1955. - 79. - С. 12-34.
  28. Lerman L. M., Gubina E. V. Nonautonomous gradient-like vector elds on the circle: classi cation, structural stability and autonomization// Discrete Contin. Dyn. Syst. Ser. S. - 2020. - 13, № 4. - С. 1341- 1367.
  29. Lerman L. M., Shilnikov L. P. Homoclinical structures in nonautonomous systems: nonautonomous chaos// Chaos. - 1992. - 2, № 3. - С. 447-454.
  30. Marcus L. Asymptotically autonomous di erential equations// В сб.: «Contributions to the Theory of Nonlinear Oscillations. III». - Princeton: Princeton Univ. Press, 1956. - С. 17-29.
  31. Massera J. L., Scha¨ er J. J. Linear di erential equations and function spaces. - New York-London: Academic Press, 1966.
  32. Mazur B. A note on some contractible 4-manifolds// Ann. Math. - 1961. - 73, № 1. - С. 221-228.
  33. Mosovsky B. A., Meiss J. D. Transport in transitory dynamical systems// SIAM J. Appl. Dyn. Syst. - 2011. - 10, № 1. - С. 35-65.
  34. Newman M. H. A. Elements of the topology of plane sets of points. - Cambridge: Cambridge Univ. Press, 1964.
  35. Perron O. Die Stabilit¨atsfrage bei Differentialgleichungen// Math. Z. - 1930. - 32. - С. 703-728.
  36. Pixton D. Wild unstable manifolds// Topology. - 1977. - 16, № 2. - С. 167-172.
  37. Pochinka O., Shubin D. On 4-dimensional ows with wildly embedded invariant manifolds of a periodic orbit// Appl. Math. Nonlinear Sci. Ser. - 2020. - 5, № 2. - С. 261-266.
  38. Sell G. Nonautonomous di erential equations and topological dynamics. I// Trans. Am. Math. Soc. - 1967. - 127. - С. 241-262.
  39. Sell G. Nonautonomous di erential equations and topological dynamics. II// Trans. Am. Math. Soc. - 1967. - 127. - С. 263-283.
  40. Smale S. Morse inequality for a dynamical systems// Bull. Am. Math. Soc. - 1960. - 66. - С. 43-49.

© Гринес В.З., Лерман Л.М., 2022

Creative Commons License
Эта статья доступна по лицензии Creative Commons Attribution-NonCommercial 4.0 International License.

Данный сайт использует cookie-файлы

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

О куки-файлах