Главная > Фракталы и хаос > Странные аттракторы
<< Предыдущий параграф
Следующий параграф >>
<< Предыдущий параграф Следующий параграф >>
Макеты страниц

О ПРИРОДЕ ТУРБУЛЕНТНОСТИ

Д. Рюэль и Ф. Такенс

Аннотация. Предлагается механизм, описывающий процесс возникновения турбулентности и связанных с ней явлений в диссипативных системах.

§ 1. ВВЕДЕНИЕ

Если физическая система, состоящая из вязкой жидкости (и твердых тел), не подвергается какому-либо внешнему воздействию, то она стремится к состоянию покоя (равновесия). Подчиним теперь систему устойчивому воздействию (накачке, нагреву и т. п.), характеризуемому параметром При жидкость покоится. При сначала возникает установившееся течение, характеризуемое тем, что описывающие жидкость физические параметры (скорость, температура и т. д.) не меняются со временем, хотя сама жидкость не находится более в состоянии покоя. Такое состояние сохраняется при малых значениях При возрастании могут возникать различные новые явления: (а) течение жидкости может остаться установившимся, но изменяются его свойства симметрии; (б) течение жидкости может стать периодическим во времени; (в) при достаточно больших течение жидкости становится очень сложным, нерегулярными хаотичным, т. е. иозникает турбулентность.

Турбулентное течение жидкости как физическое явление получило различные математические интерпретации. Согласно представлениям Лере [9], турбулентность связана с нарушением уравнений (Навье — Стокса), используемых для описания системы. Хотя такое нарушение возможно и происходит, мы полагаем, что оно не обязательно связано с турбулентностью. Ландау и Лифшиц [8] предположили, что физический параметр описывающий жидкость в турбулентном

течении, является квазипериодической функцией времени:

где функция f имеет период 1 по каждому из своих аргументов в отдельности, а частоты он, рационально независимы. При этом число k становится большим для достаточно больших значений и это ведет к сложному и нерегулярному поведению, характеризующему турбулентное течение. Мы увидим, однако, что некоторые диссипативные системы, похожие на вязкую жидкость, вообще говоря, не имеют квазипериодических движений. Поэтому идея Ландау и Лифшица должна быть модифицирована.

Рассмотрим для определенности вязкую несжимаемую жидкость, занимающую область D в Если тепловыми эффектами можно пренебречь, то течение жидкости описывается при помощи вектора скорости в каждой точке области D. Пусть Н — это бесконечномерное векторное пространство. Эволюция во времени поля скоростей задается уравнениями Навье — Стокса

где — векторное поле на Н. В этой статье нам не понадобится более точных представлений о пространстве Н и векторном поле

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

При каждое решение уравнения (1) стремится К решению когда время стремится к

Рассмотрим теперь какой-либо способ изменения векторного поля т. е. переход от векторного поля к некоторому векторному полю с Если этот переход осуществляется произвольным образом, то об изменении в характере поведения решений уравнения (1) мало что известно. Естественно поэтому ограничиться рассмотрением лишь типичных переходов, т. е. пренебречь темн из них, которые в некотором смысле можно считать исключительными. Эта точка зрения могла бы привести к серьезным ошибкам, если из-за некоторых законов природы, действием которых мы пренебрегаем, векторное поле окажется в специальном классе векторных полей с исключительными свойствами. Однако нам кажется, что те переходы от векторного поля к векторному полю которые описывают изменения в поведении трехмерной вязкой жидкости с ростом должны быть типичными. Эти переходы мы и обсудим ниже. Наше рассмотрение применимо в действительности к весьма общим диссипативным системам.

Настоящая статья состоит из двух глав. Глава I по своему характеру более физическая и соответственно технически менее сложная. В § 2 мы приведем некоторые результаты о дифференциальных уравнениях; в § 3—4 применим эти результаты к изучению решений уравнения (1). Глава II содержит доказательства некоторых теорем, использованных в гл. I. В § 5 используется теория центральных многообразий для перехода от пространства Н к конечномерному многообразию. В § 6—8 изложена теория бифуркаций Хопфа как для векторных полей, так и для диффеоморфизмов. В § 9 указан пример «турбулентного» аттрактора.

Благодарности. Авторы считают своим приятным долгом выразить благодарность Р. Тому за ценные обсуждения, в частности за ознакомление одного из нас с теорией бифуркаций Хопфа. К написанию настоящей статьи нас вдохновила в известном смысле готовящаяся к выходу в свет книга Тома [12].

§ 2. КАЧЕСТВЕННАЯ ТЕОРИЯ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ

Пусть — открытый шар в конечномерном евклидовом пространстве Н. Пусть X — векторное поле с непрерывными производными до порядка на число фиксировано. Такие векторные поля образуют банахово пространство с нормой

где

Множество Е из называется массивным, если оно содержит счетное пересечение открытых множеств, которые плотны в . В силу теоремы Бэра массивное множество также плотно в Поэтому массивное множество Е может рассматриваться в некотором смысле как «большое» подмножество множества . Свойство векторного поля которое выполняется для некоторого массивного множества в называется типичным.

Интегральная кривая проходящая через точку удовлетворяет условиям она определена по крайней мере для достаточно малых Зависимость от выражается при помощи записи называют интегралом векторного поля X; — это интеграл за единицу времени. Если то решение определяет неподвижную точку интеграла векторного поля X. Если для то решение определяет замкнутую траекторию периода т. Естественным обобщением понятия замкнутой траектории является понятие квазипериодического движения:

где f — периодическая функция периода 1 по каждому из своих аргументов в отдельности, а частоты рационально

независимы. Мы предположим, что f — функция класса а ее значения пробегают -мерный тор вложенный в В. Отметим, однако, что квазипериодическое движение не типично. В частности, для из теоремы Пейксото вытекает, что квазипериодические движения на двумерном торе содержатся в дополнении к открытому плотному подмножеству 2 в банаховом пространстве векторных полей класса на торе: множество S состоит из векторных полей, неблуждающее множество Й которых составлено только из конечного числа неподвижных точек и замкнутых траекторий.

Рис. 1.

При интегральная кривая векторного поля X может притягиваться к неподвижной точке или замкнутой траектории векторного поля, или к аттракторам более общего типа. Она, по-видимому, не может притягиваться к квазипериодическим траекториям, поскольку последние встречаются редко. Возможно, однако, что траектория притягивается к множеству, которое не является многообразием. Чтобы проиллюстрировать эту ситуацию в размерности , вообразим, что интегральные кривые векторного поля проходят приблизительно параллельно и пересекают трансверсально некоторый кусок (-мерной поверхности S (рис. 1). Пусть обозначает первую точку пересечения интегральной кривой, проходящей через с поверхностью S (Р — отображение Пуанкаре).

Возьмем теперь и предположим, что Р отображает полноторий По в себя, как показано на рис. 2,

Множество является аттрактором; локально оно представляется произведением канторова множества и отрезка прямой (см. Смейл [11], § 1.9). Возвращаясь вновь к векторному полю X, мы получим в этом случае «странный» аттрактор, который локально представляется как произведение канторова множества и куска двумерного многообразия. Отметим, что картина сохранится, если заменить векторное поле X векторным полем У, которое достаточно близко к X в норме банахова пространства, выбранного подходящим образом. Поэтому аттракторы только что рассмотренного типа не могут быть изъяты из рассмотрения под тем предлогом, что они представляют собой нетипичное явление.

Рис. 2.

§ 3. ОБ ОДНОМ МАТЕМАТИЧЕСКОМ МЕХАНИЗМЕ ПОЯВЛЕНИЯ ТУРБУЛЕНТНОСТИ

Пусть векторное поле, зависящее от параметра Мы сохраним те же предположения, что и в § 2, но отныне будем интерпретировать как правую часть уравнений Навье — Стокса. При изменении параметра векторное поле может меняться различными способами. Здесь мы опишем один способ изменения поля который физически вполне приемлем, и покажем, что происходящие при этом изменения в характере поведения решений уравнения (1) приводят к такой картине поведения траекторий, которая очень похожа на турбулентность.

Пусть при о уравнение

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

имеют строго отрицательные действительные части; это соответствует тому, что неподвижная точка 0 притягивающая. Определитель матрицы Якоби отличен от нуля, и поэтому (в силу теоремы о неявной функции) существует такая непрерывная зависящая от функция что

В гидродинамической интерпретации функция описывает установившееся течение.

Мы проследим теперь за функцией ПРИ возрастании параметра Для достаточно малых матрица Якоби задаваемая равенством

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

не является более притягивающей. Когда пара комплексно сопряженных собственных значений матрицы (2) пересекает мнимую ось при значении параметра, равном существует, как показано Хопфом, однопараметрическое семейство замкнутых траекторий векторного поля, лежащих в некоторой окрестности Более точно, существуют непрерывные функции определенные для и такие, что

б) для интегральная кривая векторного поля проходящая через точку является замкнутой траекторией.

В общем случае или для . Чтобы увидеть, как возникают замкнутые траектории, мы проследим в двумерном случае за окрестностью точки для (рис. 3) и (рис. 4).

Рис.

Рис. 5.

Предположим, что когда параметр и переходит через значение векторное поле на больших расстояниях от точки имеет вид, изображенный на рис. 3; замкнутая траектория рождается так, как изображено на рис. 5. Отметим, что рис. 4 отвечает случаю и что замкнутая траектория является притягивающей. Обычно мы будем предполагать, что замкнутые траектории возникают при так, что векторное поле на больших расстояниях от точки остается притягивающим в соответствии с физическими представлениями. Когда параметр переходит через бифуркационное значение, происходит замена притягивающей неподвижной точки на притягивающую

периодическую траекторию. Замкнутая траектория интерпретируется физически как периодическое движение, его амплитуда увеличивается с ростом параметра

§ 3 а). ИЗУЧЕНИЕ ОКРЕСТНОСТИ БИФУРКАЦИОННОГО ЗНАЧЕНИЯ

Для того чтобы проследить за тем, что происходит, когда параметр . последовательно переходит через значения мы рассмотрим двумерное линейное пространство натянутое на пару собственных значений матрицы Якоби. В первом приближении векторное поле X вблизи точки имеет вид

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

Замена векторного поля векторным полем может рассматриваться как некоторое возмущение. Предположим, что это возмущение мало, т. е. что векторное поле вблизи бифуркационного значения представимо в виде (3). В этом случае существует многообразие — тор Тк класса близкий к тору , который инвариантен относительно и является притягивающим. Справедливость предположения о малости векторного поля определяется тем, будут ли замкнутые траектории притягивающими траекториями векторных полей соответственно, поэтому это предположение может оказаться неверным, если параметр . будет достаточно близок к одному из значений

Рассмотрим теперь ограничение векторного поля на тор . В связи со сказанным выше мы не надеемся на то, что движение на этом торе будет по-прежнему квазипериодическим.

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

Пусть . В этом случае векторные поля на торе Тк, неблуждающее множество которых состоит из конечного числа неподвижных точек и замкнутых траекторий, не образуют более плотного множества в соответствующем банаховом пространстве. Реализуется другая возможность, соответствующая более сложной структуре траекторий; возникают «странные» аттракторы, похожие на тот, который рассмотрен в конце § 2. Как мы покажем в § 9, в случае тора 74, снабженного -топологией, в любой окрестности квазипериодического векторного поля К существует открытое множество векторных полей, обладающих странными аттракторами.

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

Это определение основано на следующих соображениях:

а) Как мы указывали, кажется весьма вероятным, что при возрастании параметра и появляется аттрактор А, который не является ни неподвижной точкой, ни замкнутой траекторией.

б) В известных примерах, являющихся типичными, в которых множество А не является ни неподвижной точкой, ни замкнутой траекторией, поведение интегральных кривых на или вблизи множества А является сложным и неустойчивым (см. Смейл [11]) и Вильямс [13]).

В § 4 мы продолжим обсуждение данного выше определения турбулентного течения.

§ 3 б). БИФУРКАЦИИ ЗАМКНУТЫХ ТРАЕКТОРИЙ

Мы видели выше, как притягивающая неподвижная точка векторного поля заменяется на притягивающую замкнутую траекторию когда параметр проходит через значение (бифуркация Хопфа).

Рассмотрим теперь детально следующую бифуркацию; мы предположим, что она происходит при значении параметра, равном и что lim у является замкнутой траекторией векторного поля X.

Пусть — отображение Пуанкаре, заданное на куске гиперповерхности S, трансверсальной при Так как траектория притягивающая, то точка является неподвижной притягивающей точкой отображения для Производная отображения в точке — это линейное отображение в себя касательной гиперплоскости к поверхности S в точке .

Предположим, что спектр отображения распадается на две части: первая состоит из изолированных собственных значений, равных по модулю 1, а вторая содержится в открытом единичном диске Согласно § 5, замечание (5.6), мы можем предположить, что гиперповерхность S конечномерна. Опираясь на это предположение, можно предсказать, какова типичная бифуркация при . Мы опишем такие бифуркации, указав притягивающие множества векторного поля X (или отображения Ф) вблизи замкнутой траектории (или точки ), когда . В общем случае множество Е собственных значений отображения равных по модулю 1, имеет вид

3. , где числа отличны друг от друга.

В случаях 1 и 2 мы можем воспользоваться результатами Бруновски [3]. В первом случае отсутствуют притягивающие замкнутые траектории (как отсутствуют и гиперболические замкнутые траектории); при векторное поле вообще говоря, не имеет аттракторов вблизи кривой у Во втором случае при имеется притягивающая (соответственно гиперболическая) замкнутая траектория, но в два раза большего периода.

В случае 3 для значений немного превышающих отображение имеет неподвижную точку причем в общем случае выполняются условия (а) — (д) теоремы 7.2. Отсюда вытекает, что если траектория является неопределенным аттрактором, (т. е. если выполнено еще и условие (е)), то при отображение имеет притягивающую окружность; последнее эквивалентно существованию инвариантного притягивающего тора для векторного поля Если траектория не является «неопределенным аттрактором», то в общем случае векторное поле при не имеет притягивающих множеств вблизи кривой

§ 4. НЕСКОЛЬКО ЗАМЕЧАНИЙ ПО ПОВОДУ ОПРЕДЕЛЕНИЯ ТУРБУЛЕНТНОСТИ

В заключение мы сделаем несколько замечаний:

1. Представление об общности, основанное на понятии массивного множества, может оказаться неубедительным с точки зрения физика. Действительно, дополнение к массивному на оси множеству не обязательно имеет нулевую лебеговскую меру. В частности, квазипериодические движения, которые мы исключили из рассмотрения, на самом деле могут составлять на оси множество, имеющее ненулевую лебеговскую меру. Такие квазипериодические движения должны считаться турбулентными согласно нашему определению, но «турбулентность» должна быть слабой при малых Однако имеются доводы, заставляющие считать квазипериодические движения, как и периодические, не турбулентными (см. замечание (4) ниже).

2. Согласно нашему определению, периодическое движение (замкнутая траектория векторного поля ) не является турбулентным. Однако оно может быть весьма сложным и казаться турбулентным (представьте себе периодическое движение, аппроксимирующее квазипериодическое, см. § 36), вторая сноска).

3. Мы показали, что при определенных условиях векторное поле имеет притягивающий тор , когда лежит между . Переход от тора к тору описан в § 36), но переход от тора к тору при может оказаться более сложным. В общем случае складывается впечатление, что поведение траекторий, не вкладывающихся в нашу схему, является более сложным, трудно описываемым и, вероятно, турбулентным.

4. Интересный вопрос возникает при исследовании, основанном на индивидуальной эргодической теореме, статистических свойств движения, связанных с эргодической мерой, сосредоточенной на притягивающем множестве А. Предположим, что наблюдаемая в некоторой физической системе в момент времени t величина описывается функцией заданной на пространстве , и ее среднее значение равно . Если мера m перемешивающая, то корреляционные функции стремятся к нулю при Такое поведение корреляционных функций должно свидетельствовать о том, что движение является турбулентным; «псевдослучайные» величины с корреляционными функциями, стремящимися к нулю на бесконечности изучались Бассом. С этой точки зрения квазипериодические движения не следует считать турбулентными.

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

6. В диссипативных системах, отличных от вязкой жидкости, также могут наблюдаться как периодические, так и более сложные движения. С такими движениями встречаются при изучении некоторых систем, возникающих в химии.

§ 6. РЕДУКЦИЯ К РАЗМЕРНОСТИ ДВА

Определение (5.1). Пусть — отображение класса имеющее неподвижную точку , где — гильбертово пространство. Спектром отображения Ф в точке назовем спектр индуцированного отображения

Пусть X — векторное поле класса обращающееся в нуль в точке Тогда для каждого t интеграл векторного поля X за время t индуцирует отображение Пусть также — такое непрерывное линейное отображение, определенное единственным образом, что

Назовем спектром векторного поля X в точке спектр отображения (заметим, что отображение ) может быть также получено линеаризацией векторного поля X).

Предложение (5.2). Пусть — такое однопараметрическое семейство векторных полей класса С на гильбертовом пространстве , что отображение . задаваемое равенством также принадлежит классу С. Предположим, что

(б) При спектр векторного поля в нуле содержится в множестве

(в) Для (соответственно спектр векторного поля в нуле имеет два изолированных собственных значения с кратностью (соответственно ). Оставшаяся часть спектра содержится в множестве

Тогда существует такое (малое) трехмерное подмногообразие класса лежащее в и содержащее точку (0, 0), что

1. Многообразие локально инвариантно под действием интеграла векторного поля X (которое задается равенством ) локальная инвариантность означает, что существует такая окрестность U точки (0, 0), что при

2. Существует такая окрестность U точки (0,0), что для всякой рекуррентной точки для которой , имеем

3. Многообразие касается в точке (0, 0) подпространства, натянутого на ось и собственное подпространство, отвечающее собственным значениям

Доказательство. Имеем разложение где подпространство натянуто на ось и собственное подпространство, отвечающее собственным значениям подпространство — собственное подпространство, отвечающее оставшейся (компактной) части спектра оператора , Поскольку эта оставшаяся часть спектра компактна, она содержится в множестве при некотором Мы можем теперь воспользоваться теоремой о центральном многообразии [5], доказательство которой переносится на случай гильбертовых пространств, и взять в качестве подмногообразия центральное многообразие отображения X в точке (0,0) [в силу предположения о том, что , подмногообразие принадлежит классу если мы предположим только, что для каждого векторное поле (а X лежит только в ), то многообразие будет класса но для каждого многообразие будет класса . При положительных t отображение является сжатием к подмногообразию (спектр в подпространстве содержится в множестве ). Следовательно, существует такая окрестность U точки (0, 0), что

Предположим теперь, что — рекуррентная точка и для всех t. Тогда для заданных существует такое что расстояние между точками меньше е. Отсюда следует, что , если окрестность U выбрана достаточно малой. Это завершает доказательство требуемого утверждения.

Замечание (5.3). Подобным образом доказывается аналогичное утверждение для однопараметрического семейства диффеоморфизмов, Необходимые предположения в этом случае следующие:

(б) При спектр отображения в нуле содержится в множестве

(в) При (соответственно ) спектр отображения в нуле имеет два изолированных собственных значения и с кратностями 1 и (соответствен-но ) Оставшаяся часть спектра, содержится в

множестве Теперь точно так же, как в предложении (5.2), строится центральное многообразие, которое содержит все локально рекуррентные точки.

Замечание (5.4). Ограничение векторного поля X или диффеоморфизма Ф [определенного формулой ] на трехмерное многообразие удовлетворяет тем же предположениям (а), (б), (в) или (а), (б), (в) с той лишь разницей, что теперь гильбертово пространство Н имеет размерность 21), Таким образом, если мы хотим доказать свойство локальной рекуррентности точек для однопараметрического семейства векторных полей или диффеоморфизмов, удовлетворяющих условиям (а), (б), (в) или (а), (б) и (в), то достаточно доказать это в случае, когда .

Замечание (5.5). Все сказанное в настоящем параграфе остается справедливым, если заменить гильбертово пространство Я на банахово пространство с нормой класса банахово пространство В снабжено нормой класса если отображение раз непрерывно дифференцируемо всюду, кроме нуля. Такая норма класса необходима для доказательства теоремы о центральном многообразии.

Замечание (5.6). Предложения (5.2) и (5.3) остаются верными, если

1. Мы опустим предположения о спектре векторного поля (соответственно отображения ) для

2. Введем предположения о том, что в спектре векторного поля (соответственно отображения ) содержится произвольное конечное число изолированных собственных значений, расположенных на вещественной оси (соответственно на единичной окружности). В этом случае размерность инвариантного многообразия Vе на единицу больше числа собственных значений.

§ 6. БИФУРКАЦИЯ ХОПФА

Рассмотрим однопараметрическое семейство векторных полей класса на плоскости удовлетворяющих условиям предложения (5.2) (с вместо Н); — собственные значения векторного поля в точке (0,0). Заметим, что в подходящей системе координат векторное поле

можно представить в члены более высокого порядка.

Теорема (6.1) (Хопф [6]). Если имеет положительную действительную часть и то существует однопараметрическое семейство замкнутых траекторий векторного поля ) на лежащих вблизи точки (0, 0, 0) и имеющих период, близкий к существует такая окрестность U точки (0, 0, 0) в что каждая замкнутая траектория векторного поля X, лежащая в U, принадлежит указанному выше семейству траекторий.

Если точка (0,0) является «неопределенным аттрактором, (определение приводится ниже) для векторного поля то это однопараметрическое семейство содержится в множестве , а замкнутые траектории являются притягивающими.

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

Лемма (6.2). Пусть X — векторное поле класса С на и пусть . Введем полярные координаты при помощи отображения Тогда существует такое единственное векторное поле Н класса на , что (т. е. для любых ).

Доказательство леммы (6.2). Имеем

Здесь — «координатные векторные поля» по отношению к координатам (Заметим, что двузначны.)

Рассмотрим теперь функции . Они равны нулю при это также верно для функций . В силу теоремы о производной частного функции принадлежат классам соответственно. Мы можем теперь положить единственность очевидна.

Определение (6.3). Определим отображение Пуанкаре связанное с векторным полем X, удовлетворяющим условиям теоремы (6.1):

это отображение задано на множестве и переводит его в плоскость здесь число выбрано так, чтобы при число достаточно мало.

Отображение сопоставляет точке первую точку пересечения кривой с плоскостью удовлетворяющую дополнительному условию: проекции этой точки и точки на координатную ось имеют один и тот же знак.

Рис. 6. Интегральная кривая X при .

Замечание (6.4). Отображение не меняет значения Характер этого отображения в плоскости иллюстрируется на следующем рисунке. Условие означает, что векторное поле X имеет «ненулевое вращение»; поэтому отображение определено лишь для достаточно малых .

Замечание (6.5). Из леммы (6.2) легко следует, что отображение принадлежит классу Определим функцию смещения по формуле

Эта функция определена там же, где и отображение принадлежит классу и обладает следующими свойствами:

(I) Функция V равна нулю на множестве множество всех остальных нулей этой функции разбивается на пары (проекции входящих в пар точек на ось имеют противоположные

знаки), каждой паре соответствует замкнутая траектория векторного поля X. Если замкнутая траектория у векторного поля X содержится в достаточно малой окрестности точки (0, 0) и пересекает множество только в двух точках, то функция V имеет соответствующую пару нулей (именно ими служат точки (область определения

(II) При имеем при и имеем и при имеем

Эти свойства вытекают из предположений относительно Поэтому, снова воспользовавшись теоремой о производной частного, получим, что функция принадлежит классу Имеем так что существует единственная раза непрёрывно дифференцируемая кривая лежащая в некоторой окрестности точки (0,0), проходящая через эту точку и состоящая из нулей функции V. Локально множество нулей функции V является объединением кривой I и множества Кривая I индуцирует однопараметрическое семейство замкнутых траекторий векторного поля X.

(III) Мы скажем, что точка (0,0) является «неопределенным аттрактором» векторного поля если (члены порядка ), где . Это означает, что благодаря членам третьего порядка точка (0,0) является притягивающей точкой потока, порожденного векторным полем . В этом случае (члены высшего порядка), где так что функция равна нулю только при или Это доказывает, что однопараметрическое семейство замкнутых траекторий содержится в множестве

(IV) Рассмотрим окрестность точки (0,0,0), в которой Имеет место следующее утверждение: если то замкнутая траектория, которая проходит через область определения отображения в точке является притягивающей траекторией векторного поля Это следует из двух фактов: во-первых, точка — неподвижная точка отображения и, во-вторых, производная в этой точке отображения рассматриваемого в плоскости при фиксированном значении параметра, равном меньше единицы (по абсолютной величине).

Из свойств (III) и (IV) легко следует, что если точка (0,0) — неопределенный аттрактор, то любая замкнутая траектория, принадлежащая нашему однопараметрическому семейству траекторий и проходящая вблизи точки (0, 0), является притягивающей.

Наконец, мы можем утверждать существование такой окрестности U точки (0,0), что каждая замкнутая траектория векторного поля X, лежащая в окрестности U, принадлежит нашему семейству замкнутых траекторий. Прежде всего мы можем взять окрестность U столь малой, чтобы любая замкнутая траектория у поля X, лежащая в U, пересекала область определения отображения

Пусть — точка пересечения замкнутой траектории у с областью определения отображения Мы можем выбрать окрестность U столь малой, чтобы (область определения (область определения ). Тогда точка лежит в области определения отображения , так как , то можно построить точку Продолжая рассуждения, построим точки .

Отображение рассмотренное на множестве является локальным диффеоморфизмом некоторого отрезка, лежащего на луче или в этот луч.

Если первая координата точки меньше (соответственно больше), чем первая координата точки меньше (соответственно больше), чем первая координата точки так что точка не лежит на замкнутой траектории. Поэтому первая координата точки равна следовательно, точка есть нуль функции V, так что в силу свойства (II) кривая у принадлежит нашему однопараметрическому семейству замкнутых траекторий.

§ 7. БИФУРКАЦИЯ ХОПФА ДЛЯ ДИФФЕОМОРФИЗМОВ

Рассмотрим теперь однопараметрическое семейство диффеоморфизмов удовлетворяющих условиям (а), (б) и (в) (см. замечание (5.3)) и таких, что

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

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

Далее сделаем замену координат в плоскости (зависящую от ) так, чтобы в новых координатах члены порядка где запись порядка означает, что частные производные по отображений до порядка совпадают в точке (0, 0).

Мы введем теперь еще одно дополнительное условие на отображения Ф:

Предположение (7.1). Предположим, что отображения удовлетворяют условиям и принадлежат классу Тогда для и, достаточно близких к 0, существует зависящая от и замена координат в приводящая к следующему виду:

члены порядка

Для каждого и замена координат в принадлежит классу индуцированная замена в принадлежит только классу

Доказательству этого утверждения посвящен следующий параграф. Наконец, введем еще одно предположение, касающееся отображения

(e) . Более того, мы предположим даже, что (это соответствует тому, что при точка 0

является неопределенным аттрактором, см. § 6). Случай исследуется аналогично (достаточно рассмотреть и назовем это «упрощенной формой отображения

Обозначение. Мы используем символ для обозначения отображения

и назовем это «упрощенной формой отображения

Теорема (7.2). Предположим, что отображение принадлежит по крайней мере классу и удовлетворяет условиям (а), (б), (в), (г) и (д), а его нормальная форма удовлетворяет условию (). Тогда существует и для каждого непрерывно зависящая от инвариатная относительно Ф, притягивающая окружность (так что в целом мы имеем непрерывное однопараметрическое семейство инвариантных притягивающих окружностей).

Доказательство. Идея доказательства состоит в следующем: множество лежащее в -пространстве, инвариантно под действием упрощенной формы Более того, отображение ЫФ «притягивает к этому множеству», так что 2 устойчиво в следующем смысле: последовательность многообразий сходится (при достаточно малых и) к инвариантному многообразию (это как раз то, что мы хотим доказать). Метод доказательства подобен тому, который использован в [4, 5].

Положим и покажем, что а также Это вытекает из следующих соображений: если - координата точки , то -координата точки равна и отображение переводит точку во внутренность окрестности Поскольку отображение Ф совпадает со своей упрощенной формой с точностью до членов порядка то локально

Отсюда следует, что при достаточно малом и любом где

Для векторов, касательных к поверхности уровня , лежащей в определим следующим образом угол наклона: если — касательный вектор к многообразию то угол наклона равен если то угол наклона не определен.

Прямыми вычислениями нетрудно показать, что если X — касательный вектор к многообразию с углом наклона 1, а число достаточно мало, то угол наклона вектора не превосходит , где К — некоторое положительное число. Используя это обстоятельство и тот факт, что величина приблизительно постоянна в а отображения отличаются членами порядка можно показать, что при достаточно малом угол наклона вектора меньше 1, где X — касательный вектор к многообразию с углом наклона 1.

Отсюда следует, что при достаточно малом и любом

2. Угол наклона касательного вектора к многообразию меньше 1.

Это означает, что при любых

где — гладкая функция, удовлетворяющая условиям

Перечисленные выше условия определяют функцию единственным образом. Мы теперь покажем, что при достаточно малом последовательность функции сходится. Фиксируем некоторое и положим

Снова воспользовавшись тем фактом, что величина приблизительно постоянна (независимо от ), получим

и

где — постоянные, не зависящие от Из определения функции следует, что

Оценим разность между и

. Поскольку

то

Легко видеть также, что

Таким образом,

Выберем теперь столь малым, чтобы и положим

Из сказанного выше следует, что

Это доказывает сходимость последовательности функций и существование для каждого достаточно малого инвариантной притягивающей окружности. Непрерывность построенного семейства окружностей вытекает из непрерывности по предельной функции что в свою очередь есть следствие равномерной сходимости последовательности функций

Замечание (7.3). При заданном функция не только непрерывна, но даже удовлетворяет условию Липшица, поскольку она является пределом функций, производная каждой из которых

Поэтому можно воспользоваться результатами об инвариантных многообразиях, полученных в [4, 5], и доказать следующий факт:

Если отображение принадлежит классу при каждом то существует такое что инвариантные окружности из построенного нами семейства окружностей, отвечающие значениям параметра принадлежат

классу Это есть следствие того факта, что при близких к 0, в окрестности степень сжатия в направлении намного превосходит максимальную возможную степень сжатия в направлении

§ 8. УПРОЩЕННЫЕ ФОРМЫ (ДОКАЗАТЕЛЬСТВО ПРЕДЛОЖЕНИЯ (7.1))

Сначала мы дадим некоторые определения. Пусть — векторное пространство -струй в нуле таких векторных полей на у которых -струя равна нулю (таким образом, элементы могут быть единственным образом представлены векторными полями, координатные функции которых являются однородными многочленами степени ? Через V, обозначим множество -струй диффеоморфизмов , у которых -струя есть «единица». Определим отображение , положив для равным -струе диффеоморфизма, полученного из векторного поля а сдвигом на единицу времени.

Замечание (8.1). Для отображение является диффеоморфизмом на и . Доказательство непосредственно следует из определений и предоставляется читателю

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

Замечание (8.2). Если обозначает -струю диффеоморфизма то для каждого а -струи совпадают. Доказательство предоставляется читателю.

Пусть — линейное отображение. -разложением называется разложение пространства в прямую сумму подпространств удовлетворяющее условиям:

1. Подпространства V и инвариантны относительно

2. Единица не является собственным значением отображения

Пример (8.3). Возьмем матрицу с собственными значениями , такими, что или , но

где . Более того, матрицу А можно взять в виде

При разложение пространства описывается следующим образом:

пространство V есть множество (-струй) векторных полей, которые в полярных координатах записываются в виде ; точнее, порождается векторными полями (другие случаи приводят к векторным полям, которые не дифференцируемы в обычных координатах).

Пространство V" есть множество (-струй) векторных полей, записываемых в виде

где

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

Предложение (8.4). Для заданного диффеоморфизма и заданного -разложения где и существует такое преобразование координат к: , что

1. тождественное отображение;

2. для каждого -струя диффеоморфизма связана со своей -струей следующим образом-. —полиномиальное отображение степени —1, имеющее подходящую -струю. При этом -струя диффеоморфизма Ф связана со своей -струей, если существует такое что диффеоморфизм имеет ту же -струю, что и Ф.

Доказательство. Воспользуемся индукцией. Предположим, что построено отображение k, удовлетворяющее условиям 1 и 2 при Рассмотрим -струю диффеоморфизма Заменим отображение на для некоторого

. Тогда диффеоморфизм заменится на который, согласно замечанию (8.2), равен

Поскольку единица не является собственным значёнием отображения то для каждого существует единственное такое, что замене отображения и на и отвечает замена диффеоморфизма на . Отсюда легко следует, что существует единственное такое, что отображение удовлетворяет условию 2 при Это доказывает требуемое утверждение.

Доказательство предложения (7.1). Для близких к нулю, линейное отображение имеет вид, описанный в примере (8.3). Поэтому указанное там разложение — это -разложение пространства где близко к нулю. Проводя те же рассуждения, что и при доказательстве предложения (8.4), мы получим для каждого и преобразование координат которое приводит отображение к требуемому виду. При этом индуктивное рассуждение выглядит следующим образом: для заданного и преобразования координат удовлетворяющего условиям 1 и 2 при существует единственное такое, что отображение удовлетворяет условиям 1 и 2 при Зависимость векторного поля от параметра будет класса если таковой будет зависимость -струи диффеоморфизма Ф от по этой причине происходит уменьшение гладкости по параметру

§ 9. НЕКОТОРЫЕ ПРИМЕРЫ

В этом параграфе мы покажем, как при помощи малого возмущения квазипериодического потока на торе можно получить потоки, имеющие странные аттракторы (предложение (9.2)), и даже потоки, не являющиеся системами Морса — Смейла (предложение (9.1)).

Предложение (9.1). Пусть — постоянное векторное поле на торе . В каждой достаточно малой в топологии окрестности векторного поля а существует открытое множество векторных полей, не являющихся системами Морса — Смейла.

Мы рассмотрим сначала случай . Положим можно считать, что . Для

заданного можно выбрать такое постоянное векторное поле что

где — целые числа, а числа не имеют общих делителей. Более того, мы можем взять числа достаточно большими и удовлетворяющими условию

Наконец, всем этим требованиям можно удовлетворить, выбрав числа в виде

Пусть Зададим отображения равенствами

Имеем и отображение g (соответственно h) обратимо на множестве точек (соответственно ), где

Рассмотрим отображение f диска в себя (см. (11), § 1.5, рис. 7), введенное Смейлом для построения подковы Смейла. Вкладывая диск в тор так, чтобы

мы можем добиться того, чтобы отображение f было отображением Пуанкаре некоторого потока на Более точно, нетрудно задать векторное поле на торе так, чтобы для мы имели

где — интеграл за единицу времени векторного поля X (рис. 7), и в окрестности множества это векторное поле равнялось бы (0, 1) (т. е. ).

Для определено отображение . Зададим векторное поле У равенством

где

Векторное поле У единственным образом продолжается до гладкого векторного поля, заданного на торе которое мы также обозначим через У. Положим и оценим

где

— оператор частного дифференцирования порядка Заметим, что первый супремум в достаточно взять по множеству точек , т. е. точек , где

Рис. 7.

Имеем

так что

Заметим, что

Поэтому

Если выбрать достаточно большими, то

и поэтому

Рассмотрим отображение Пуанкаре индуцированное потоком, задаваемым векторным полем Z на По построению неблуждающее множество для отображения Р содержит канторово множество, то же верно для любого векторного поля Z, достаточно близкого к Это завершает доказательство для случая

В общем случае при 3 мы снова аппроксимируем постоянное векторное поле постоянным векторным полем компоненты которого являются рациональными числами и

причем целые числа не имеют общих делителей. Более того, мы можем выбрать числа достаточно большими и такими, чтобы

где С — постоянная, зависящая только от

Остальная часть доказательства проводится так же, как в случае с заменой диффеоморфизма, использованного при построении подковы Смейла, на подходящий диффеоморфизм класса . В частности, используя диффеоморфизм, схема действия которого изображена на рис. 2 (см. конец § 2), можно доказать следующий результат.

Предложение (9.2). Пусть постоянное векторное поле на торе . В каждой достаточно малой в -топологии векторного поля со существует открытое множество векторных полей, обладающих странными аттракторами.

ПРИЛОЖЕНИЕ. БИФУРКАЦИИ СТАЦИОНАРНЫХ РЕШЕНИЙ УРАВНЕНИЙ ГИДРОДИНАМИКИ

В этом приложении мы приведем теорему о бифуркациях неподвижных точек нелинейного отображения в банаховом пространстве. Наш результат отличается от известных исследованием вопроса дифференцируемой зависимости от бифуркационного параметра. Он может быть использован, например, для изучения бифуркации стационарных решений в задачах Тейлора и Бенара. Как показано у Бруновского (см. § 36)), обсуждаемые ниже бифуркации не типичны. Бифуркации стационарных решений в задачах Тейлора и Бенара также не типичны, поскольку они допускают группу преобразований.

Теорема. Пусть Н — банахово пространство, снабженное нормой класса — дифферент цируемое отображение, такое, что и отображение из пространства в R принадлежит классу Пусть

Предположим, что оператор имеет одно простое действительное изолированное собственное значение непрерывно зависящее от причем предположим также, что оставшаяся часть спектра лежит в множестве Тогда

а) В некоторой окрестности точки существует однопараметрическое семейство неподвижных точек отображения (образующих кривую в классе ). Эти точки и точки образуют в этой окрестности полный набор неподвижных точек отображения Ф.

б) Пусть j (соответственно а — собственный вектор оператора (соответственно сопряженного ему оператора в сопряженном к Н пространстве Н с собственным значением 1, так что . Предположим, что для всех

Тогда кривая I, построенная в (а), касается вектора в точке (0, 0).

Из теоремы о центральном многообразии Хирша, Пью и Шуба следует, что существует двумерное многообразие класса касающееся в точке плоскости, натянутой на векторы , и инвариантное относительно отображения Ф. Более того, существует такая окрестность U точки (0, 0), что каждая неподвижная точка отображения Ф, лежащая в U, принадлежит

Мы выберем координаты на многообразии так, чтобы

причем Неподвижные точки отображения Ф, лежащие в , ищутся из равенства они состоят из точек и решений уравнения

где и в силу теоремы о производной частного функция принадлежит классу . Так как то утверждение (а) вытекает из теоремы о неявной функции.

Пусть . Представим вектор в виде

где

Заметим, что

Поскольку выполнено условие (2):

то

где обозначает члены порядка 2 и выше по Кривая I, состоящая из неподвижных точек отображения Ф и построенная в утверждении (а), задается равенством

и утверждение (б) следует из условий

Замечание 1. Из условия (2) и инвариантности многообразия вытекает, что

поэтому

и равенство (5) можно записать более подробно

что позволяет вычислить коэффициент А при в разложении

Рис. 8.

Тогда уравнение (6) с точностью до членов высшего порядка имеет вид

В зависимости от того, будет ли или кривая I лежит в области или и состоит из притягивающих или отталкивающих неподвижных точек. Это видно из рассмотрения знака функции (см. рис. 86, в); неподвижные

точки являются всегда притягивающими при и отталкивающими при .

Замечание 2. Если кривая I, состоящая из неподвижных точек, не касается в точке (0, 0) вектора , то точки этой кривой являются притягивающими при и отталкивающими при (см. рис. 8, а).

Замечание 3. Если, так же как и в теореме, предположить, что оператор имеет одно простое изолированное собственное значение , но оставшаяся часть спектра лежит в множестве , которое предпочтительнее множества , то теорема остается верной, неверными же являются приведенные выше результаты, дающие условия, при которых неподвижные точки будут притягивающими.

СПИСОК ЛИТЕРАТУРЫ

(см. скан)

(см. скан)

<< Предыдущий параграф Следующий параграф >>
Оглавление