Содержание к диссертации
Введение
Глава 1. Априорные оценки. Существование решений. Гладкость .
1 Функциональные пространства.
2 Регулярность решений линейных уравнений в весовых пространствах .
3 Нелинейное уравнение. Априорные оценки и существование решений
4 Единственность решений.
Глава 2. Аттрактор нелинейного уравнения в неограниченной области .
5 Существование аттрактора.
6 Колмогоровская е-энтропия множеств в функциональных пространствах .
7 Оценка сверху s-энтропии аттрактора.
8 Бесконечномерные неустойчивые многообразия и оценка снизу е-энтропии аттрактора.
Глава 3. Пространственный и динамический хаос, порождаемый уравнением реакции-диффузии в неограниченной области .
9 Количественные характеристики пространственно-временной динамики на аттракторе.
10 Пространственный хаос.
11 Построение вспомогательной динамической системы .
12 Вспомогательная динамическая система в окрестности неподвижной точки.
13 Пространственно-временной хаос, порождаемый нелинейным уравнением реакции-диффузии
.14 Примеры.
Заключение.
Литература.
- Регулярность решений линейных уравнений в весовых пространствах
- Нелинейное уравнение. Априорные оценки и существование решений
- Колмогоровская е-энтропия множеств в функциональных пространствах
- Построение вспомогательной динамической системы
Введение к работе
Актуальность темы и предмет исследования. Идеи и методы нелинейной динамики играют весьма важную роль в современной теории информации. Действительно, решение многих ключевых проблем этой теории (таких как различение детерминированных и стохастических сигналов, обнаружение и обработка слабых и зашумленных сигналов, исследование нейронных сетей и т. д.) не представляется возможным без понимания природы динамических процессов, происходящих в нелинейных системах. Одним из наиболее важных универсальных свойств таких систем является возможность возникновения (даже в относительно простых системах, таких как, например, система Лоренца, порождаемая системой из трех обыкновенных дифференциальных уравнений с квадратичными нелинейностями) чрезвычайно сложной хаотической динамики, обладающей ярко выраженными стохастическими свойствами (так называемого детерминированного хаоса).
В свою очередь, при исследовании динамических систем с нерегулярным хаотическим поведением траекторий активно используются идеи и методы близкие к теории информации. Так, для количественного и качественного описания сложности хаотической динамики используется понятие колмогоровской эпсилон-энтропии (и различные ее модификации, такие как топологическая и метрическая энтропия и др.), играющее фундаментальную роль в современной теории информации и являющееся обобщением энтропии К. Шеннона. Более того, существует даже, так называемая информационная теория динамического хаоса, в которой фактическая непредсказуемость поведения траекторий хаотической системы на больших временах объясняется производством системой новой информации с течением времени. Топологическая энтропия рассматриваемой системы определяет, согласно этой теории, количество новой информации, производимой системой в единицу времени. Кроме того, в качестве модельной динамической системы, демонстрирующей хаотическое поведение, обычно используются схемы Бернулли, например, с двумя различными символами. В этом контексте хаотические траектории естественно кодируются бесконечными последовательностями из нулей и единиц.
К настоящему времени достигнуто весьма глубокое понимание конечномерной динамики, порождаемой системами обыкновенных диф ференциальных уравнений. В частности, предложен ряд количественных и качественных характеристик для описания этой динамики (показатели Ляпунова, инвариантные меры, топологическая и метрическая энтропия, хаусдорфова и фрактальная размерность инвариантных множеств и др.) и исследованы взаимосвязи между ними; изучено большое количество модельных примеров, иллюстрирующих природу хаотического поведения детерминированных систем и проясняющих причину и механизмы его возникновения; построена теория возмущений для различных структур в фазовом пространстве, таких как инвариантные торы, гиперболические множества, гомоклинические структуры и т.д. Кроме того, на основе этих понятий и результатов разработаны весьма эффективные алгоритмы для численного анализа реальных динамических систем, возникающих в приложениях. См., например, [1-2], [17], [25], [27], [63], [73].
Заметим, однако, что очень многие важные динамические системы, возникающие в современном естествознании, порождаются уравнениями в частных производных и, следовательно, имеют бесконечномерное фазовое пространство (например, L2(i?)). Поэтому для систематического их изучения необходимо развитие теории бесконечномерных динамических систем. Одним из наиболее важных шагов в этом направлении стало нахождение при помощи метода обратной задачи рассеяния явных аналитических формул солитонных решений для ряда консервативных уравнений математической физики, таких как уравнение Кор-тевега де Фриза, нелинейное уравнения Шредингера, уравнение синус-Гордон и др., и построение бесконечномерной теории интегрируемых гамильтоновых систем (см. [8], [29] и цитированную там литературу).
Другим важным классом бесконечномерных динамических систем, включающим систему уравнений Навье-Стокса, уравнение Гинзбурга-Ландау, диссипативное волновое уравнение, системы уравнений реакции-диффузии и многие другие уравнения математической физики, являются так называемые диссипативные системы. Центральную роль при исследовании таких систем играет понятие глобального аттрактора, который, по определению, является компактным инвариантным подмножеством фазового пространства, притягивающим при t — со образы всех ограниченных подмножеств фазового пространства (см. [3], [12], [47-48], [62], [64], [76]). Таким образом, с одной стороны, аттрактор (если он существует) содержит всю нетривиальную динамику исследу емой системы, а с другой стороны, обычно оказывается существенно меньше, чем исходное фазовое пространство.
Наиболее изучен случай диссипативных систем, порождаемых эволюционными уравнениями математической физики в ограниченных областях. В этом случае глобальный аттрактор Л, как правило, имеет конечную хаусдорфову и фрактальную размерность. Более того, в ряде случаев удается показать, что аттрактор Л может быть вложен в конечномерное инвариантное подмногообразие фазового пространства, притягивающее экспоненциально все траектории рассматриваемой динамической системы (см. [3], [57], [76] и цитируемую там литературу). Таким образом, несмотря на то, что исходное фазовое пространство является бесконечномерным, порождаемая ими динамика фактически оказывается конечномерной, что позволяет весьма успешно применять идеи и методы классической теории конечномерных динамических систем для (см., например, [27], [73]).
Ситуация существенно изменяется при рассмотрении диссипативных систем, порождаемых эволюционными уравнениями в неограниченных областях Q (например, Q = Rn), систематическое изучение которых началось с первой половины 90х годов XX века (см. [34], [42], [58-59], [67-70]). В этом случае хаусдорфова и фрактальная размерность аттрактора Л, как правило, оказывается бесконечной. Более того, как ляпуновская размерность, так и топологическая энтропия динамических систем рассматриваемого класса оказывается бесконечной (см. [9-11], [50-52], [55-56], [78-82]). Таким образом, как классические характеристики динамической сложности, так и классические модельные примеры динамических систем, используемые в конечномерной динамике, оказываются непригодными для адекватного описания бесконечномерной динамики, возникающей в диссипативных системах этого типа, и, следовательно, возникает проблема нахождения новых количественных характеристик и новых модельных примеров, адекватно описывающих динамику данного типа.
Одним из возможных подходов к решению этой проблемы является использование понятия колмогоровской е-энтропии для исследования аттрактора Л и индуцированной на нем динамики. Напомним, что по определению (см. [14]), колмогоровской -энтропией ШЄ(Л4,Ф) компактного множества Л4 в пространстве Ф называется логарифм от наименьшего числа є-шаров в Ф, необходимых для покрытия множества А. Таким образом, согласно критерию Хаусдорфа, величина Me (Л, Ф) является конечной при любом є 0, если Л - компакт, и следовательно, колмогоровская -энтропия аттрактора Л (или/и ее асимптотика при -)-0) действительно может рассматриваться как некоторая его количественная характеристика.
Оценки -энтропии для бесконечномерных аттракторов неавтономных диссипативных систем, порождаемых неавтономными уравнениями математической физики в ограниченных областях, были получены в работе [32]. Заметим, что в этом случае бесконечномерность аттрактора имеет внешнюю природу, то есть возникает лишь при воздействии на систему неавтономных внешних сил, зависимость которых от времени описывается бесконечным числом параметров (например, почти-периодических по времени, см. [48]). Поэтому, в этом случае асимптотика -энтропии аттрактора Л естественно описывается в терминах -энтропии временной оболочки внешних сил (см. [32], [48]).
Оценки -энтропии аттракторов автономных и неавтономных диссипативных систем, порождаемых уравнениями математической физики в неограниченных областях, были получены в работах автора [9-11], [78-80]. В отличие от предыдущего случая, в неограниченных областях бесконечномерность аттрактора имеет внутреннюю природу, то есть возникает и в автономных системах при отсутствии внешних сил. Более того, как оказалось, тип асимптотики -энтропии аттрактора Л при -» 0 имеет универсальный характер, зависящий, конечно, от геометрии неограниченной области І?, но одинаковый для весьма широкого класса диссипативных систем в неограниченных областях, включающего в себя различные типы уравнений реакции-диффузии, диссипатив-ные волновые уравнения и др. (см. [9-10], [26], [56], [78-80]). Некоторые частные случаи этих универсальных оценок были независимо получены в работах [50] и [52].
Другой отличительной чертой динамики, возникающей в диссипативных системах, порождаемых уравнениями математической физики в больших и неограниченных областях І?, является наличие не только сложной картины эволюции во времени, но и появление сложных хаотических пространственных структур, а также возникновение нетривиального взаимодействия между пространственными и временными модами рассматриваемой системы, что приводит к формированию так называемого пространственно-временного хаоса (см., например, [27], [73]).
Одной из возможных моделей для описания этого феномена (см. [46], [72]) является дискретная динамическая система на решетке Zn, состоящая из Z71 хаотических (во времени) осцилляторов, расположенных в узлах решетки и связанных достаточно слабым пространственным взаимодействием. Действительно, если при отсутствии пространственного взаимодействия каждый из рассматриваемых хаотических осцилляторов содержит гиперболическое множество Го, то из структурной устойчивости гиперболических множеств следует, что при достаточно малой константе взаимодействия рассматриваемая система будет иметь бесконечномерное гиперболическое множество, гомеоморфное (o)Z » которое и описывает пространственно-временной хаос в рамках этой модели (см. также, [36], [38], [46] и цитированную там литературу по по поводу дальнейшего исследования решеточных моделей этого типа).
Пространственная динамика и пространственный хаос в диссипатив-ных системах, порождаемых уравнениями математической физики, исследовался в работах [35], [37], [40-41], [43-44], [53], [64]. В частности, в случае 12 = Rn был построен ряд примеров уравнений реакции диффузии с пространственно периодической функцией взаимодействия, аттрактор которых допускает вложение схемы Бернулли {0,1}Z с двумя различными символами и Є {0,1}. Более того, при этом вложении сдвиг Бернулли на {0,1}Z оказывается сопряженным с соответствующим пространственным сдвигом за период на аттракторе. Заметим, однако, что схема Бернулли с конечным числом символов имеет конечную топологическую энтропию, тогда как топологическая энтропия пространственных динамических систем, связанных с диссипативны-ми уравнениями математической физики, обычно равна бесконечности (это следует из оценок снизу для колмогоровской энтропии аттрактора, полученных автором). Таким образом, классической схемы Бернулли с конечным числом символов недостаточно для объяснения природы пространственного хаоса и, следовательно, возникает проблема нахождения новых относительно простых модельных динамических систем, адекватно описывающих пространственный хаос в диссипативных системах в неограниченных областях.
Эта проблема была решена в работах автора [11] и [80-81]. в которых многомерная схема Бернулли с бесконечным (континуальным) числом символов была использована для объяснения природы пространственного и пространственно-временного хаоса в уравнениях реакции диффузии в неограниченной области. Фундаментальную роль при этом играют классические объекты теории информации, такие как пространства функций Вст, преобразование Фурье которых имеет компактный носитель, и формула Котельникова.
Цель работы. Построение общей теории существенно-бесконечномерных динамических систем, описывающей пространственно-временную динамику, связанную с уравнениями реакции-диффузии в неограниченных областях. Исследование пространственной структуры глобальных аттракторов таких систем. Построение и изучение количественных и качественных характеристик, дающих оценки сверху и снизу для пространственной и динамической сложности этих аттракторов. Исследование феномена пространственного и пространственно-временного хаоса, возникающего в диссипативных уравнениях математической физики в неограниченных областях при помощи формулы Котельникова и схем Бернулли с бесконечным числом символов.
Методы исследования. В диссертации использовались классические методы теории нелинейных уравнений в частных производных, основанные на последовательном применении теории обобщенных функций, пространств Соболева и теорем вложения. Ключевую роль при этом играли весовые пространства Соболева в неограниченных областях и теоремы о регулярности решений параболических уравнений в таких пространствах. Кроме того, были разработаны новые методы исследования решений уравнений реакции-диффузии в весовых пространствах Соболева, позволившие доказать существование глобальных аттракторов для весьма общего класса уравнений реакции-диффузии в неограниченных областях и получить весьма тонкие оценки для разности между решениями, лежащими на аттракторе, необходимые для оценки сверху его колмогоровской энтропии.
Для получения оценок снизу колмогоровской энтропии аттрактора и исследования природы пространственно-временного хаоса был предложен новый метод построения бесконечномерных существенно-неустойчивых многообразий, не требующий гиперболичности соответствующего положения равновесия. Кроме того, были использованы методы теории аналитических функций и теории аппроксимации, связанные с формулой Котельникова и ее обобщениями, а также некоторые методы теории многопараметрических полугрупп.
Научная новизна. Все результаты диссертации являются новыми.
Доказано существование глобальных аттракторов для весьма широкого класса систем уравнений реакции-диффузии в неограниченных областях. Получены оценки сверху и снизу колмогоровской эпсилон-энтропии аттракторов в зависимости от эпсилон и конкретного вида неограниченной области.
Введен ряд новых характеристик сложности пространственно-временной динамики, обобщающих фрактальную размерность и топологическую энтропию, доказана их конечность в случае системы уравнений реакции диффузии общего вида и приведены конкретные примеры таких уравнений, для которых введенные характеристики оказываются строго положительными.
Развита теория бесконечномерных существенно-неустойчивых многообразий уравнений реакции-диффузии в неограниченных областях, позволяющая описывать пространственно-временную динамику при помощи гомеоморфных вложений многомерных схем Бернулли с бесконечным числом символов.
Практическая и теоретическая ценность. Диссертация имеет теоретический характер. Разработанные в ней методы исследования и полученные результаты носят универсальный характер и могут быть применены для изучения природы пространственно-временного хаоса, возникающего во многих конкретных уравнениях математической физики. Работа может быть полезна специалистам по нелинейной динамике, уравнениям в частных производных, гидродинамике и теории информации.
Апробация работы. Основные результаты диссертации докладывались и обсуждались на международной конференции по дифференциальным уравнениям EQUADIFF 99 (Берлин, 1999), на международной конференции по нелинейной динамике, посвященной столетию А.А. Андронова (Нижний Новгород, 2001), на международной конференции "Дифференциальные уравнения и смежные вопросы" посвященной столетию И.Г.Петровского (Москва, МГУ, 2001) и других конференциях, на семинарах в Институте проблем передачи информации РАН, в Московском государственном университете, зарубежных университетах (Берлин, Штуттгарт (Германия), Париж, Пуатье (Франция)).
Личный вклад. Основные результаты диссертации получены авто ром самостоятельно.
Публикации. По теме диссертации опубликовано 21 научная работа объемом от 1 до 68 страниц. Одиннадцать из них опубликовано в ведущих российских рецензируемых журналах (Успехи Мат. Наук, Математический Сборник, Труды ММО, Мат. Заметки) и 10 - в зарубежных журналах (Communications on Pure and Applied Mathematics, Mathematische Nachrichten, Jornal of Dynamics and Differential Equations и др.).
Содержание работы. В диссертации изучается пространственно-временная динамика, порождаемая следующей модельной системой уравнений типа реакции-диффузии в неограниченной области Q (граница которой удовлетворяет некоторым условиям регулярности, точная формулировка которых приведена в §1):
( dtu = аЛхи - (L, Vx)u - Х0и - f(u) + д, х Є О,
Здесь и = (и1, • • • , ик) - неизвестная векторная функция, / и g - заданные функции, Ао 0 - заданная положительная константа,
п
(L,Vx)u:=Y,LidXiu, (0.2)
г=1
где L = L(x) Є Cl(Q) - заданное векторное поле, удовлетворяющее условию
divLLoo(/7) Ло/2. (0.3)
Напомним, что в приложениях векторное поле L обычно является решением системы Навье-Стокса, поэтому условие (0.3) не является ограничительным.
Предполагается также, что матрица диффузии а Є (Rfc,Rfe) имеет положительную симметрическую часть:
о + а 0. (0.4)
Уравнения вида (0.1) при различных ограничениях на геометрию области І?, структуру нелинейной функции взаимодействия /, и внешнюю силу д изучались многими авторами (см., например, [3], [16], [18-22], [65], [76] и цитированную там литературу).
В настоящей работе предполагается, что нелинейная функция / Є C3(Rfe,Kfe) удовлетворяет условиям диссипативности:
{
1. /(«).« -с,
2. Г(и) -К, (°-5)
где через u.v обозначено стандартное скалярное произведение в М.к.
Кроме того, предполагаются выполненными следующие ограничения на рост / при \и\ — оо:
ri. /(«) с(1 + М ),
І2. / («)"/СР-І) C(/(u) + и + 1), { }
где показатель роста р 1 удовлетворяет условию дополнительному
УСЛОВИЮ р ртах := 1 + 7 4 если W 4.
В отличие от случая ограниченной области ,Г2, в неограниченной области пространство L2{Q) (равно как и пространства Wl,p{Q)) не является адекватным фазовым пространством для задачи (0.1). Действительно, в случае неограниченной области Q (например, Q — Rn) из условия wo Є L2{Q) следует, что (в некотором смысле) щ (х) - 0 при \х\ —ї оо. Таким образом, при таком выборе фазового пространства многие важные и реально встречающиеся в приложениях структуры (такие как бегущие волны, пространственно периодические решения и др.) автоматически исключаются из рассмотрения. Более того (как следствие вышеизложенного), существование глобального аттрактора в L2(Q) для системы (0.1) накладывает весьма жесткие ограничения на структуру нелинейной функции / и внешней силы д, которые не выполняются даже в простейших примерах уравнений вида (0.1) (например, для скалярного уравнения Chafee-Infante см. [11], [82]). Поэтому, следуя [58], [70], мы будем рассматривать задачу (0.1) в фазовом пространстве
Щ Є Фъ(П) := W q{Q) П {uQ\dn = 0}, (0.7)
где q п + 1 - некоторый фиксированный показатель, а символ Wb 9 обозначает следующее пространство:
Wl q(Q) := {щ Є D\Q) : u0wi„ := sup u0wi.«(nnBi ) оо}. (0.8)
6 жоЄЯ °
Здесь и далее В 0 - шар радиуса R в пространстве М.п с центром в точке #о, a Wl q(V) - классическое соболевское пространство обобщенных функций, производные которых до порядка I включительно принадлежат пространству Lq(V). Грубо говоря, фазовое пространство Фь состоит из достаточно регулярных функций щ, ограниченных при \х\ — оо. При этом никаких условий стремления к нулю при ж — оо не накладывается.
Относительно внешней силы д = д(х) естественно предположить, что
д Є ЬЦП) := WS (0). (0.9)
Первая глава настоящей работы посвящена исследованию аналитических свойств системы (0.1) и ее решений на конечном интервале времени t Є [0,Т]. Основным результатом этой главы можно считать следующую теорему.
Теорема 0.1. Пусть выполнены условия (0.2)-(0.9). Тогда для любого щ є Фъ задача (0.1) имеет единственное решение u{t) Є Фь, t 0, и выполнена следующая оценка:
«М1к(я) Q (ІМо)Ік(л)) e at + Q (Ы\ьцп)), (0.Ю),
где a 0 - некоторая положительная константа, а Q - некоторая монотонная функция, зависящая от f, но не зависящая от и.
Таким образом, задача (0.1) определяет полугруппу St, действующую в фазовом пространстве Фь(ї2), по стандартной формуле
St : ФЬ(П) - Фъ(П), t 0, Stu0:=u(t), (0.11)
где u(t) - решение (0.1) с начальным условием u(0) = щ.
Отметим, что в случае скалярной матрицы диффузии, благодаря стандартной технике, основанной на принципе максимума (см., например, [82]), результат теоремы 0.1 может быть доказан и при отсутствии ограничений на рост (0.6) (см., также [55]). В общем случае нескалярной матрицы диффузии а оценки вида (0.10) обычно доказывались при существенно более сильных ограничениях на рост нелинейности /, а именно р 1 -f 2 в случае ограниченной области Q и
p 1 + min{ , } в случае неограниченной области і? (см. [42]). Результат теоремы 0.1 является обобщением работы автора [77], в которой оценка вида (0.10) (при ограничении на рост р 1 + 4) была получена для случая ограниченной области Q. В частности, в наиболее физичном случае п = 3 этот результат позволяет вообще обойтись без ограничений на рост нелинейной функции /.
Кроме того, в первой главе получен ряд вспомогательных результатов, таких как оценки решений в весовых Соболевских пространствах, свойство сглаживания для разности двух решений (0.1), инъективность оператора St и т.д., которые систематически используются в следующих главах для исследования пространственно-временной динамики, порождаемой задачей (0.1). В частности, рассмотрена также более общая краевая задача вида (0.1) с неоднородным и неавтономным краевым условием
и
дП
= u°(t,x), (t,x) єШ+хдП
и получен аналог теоремы 0.1 для этой задачи.
Вторая глава работы посвящена построению аттрактора Л и исследованию его колмогоровской е-энтропии. Заметим, прежде всего, что в отличие от случая ограниченных областей, в неограниченной области компактность вложения Wb1,q(f2) С Wb2,q(Q) при l\ fa, вообще говоря, не имеет места, поэтому наличие сглаживания для решений (0.1) еще не влечет наличие компактного поглощающего множества для St в фазовом пространстве Фъ- Следовательно, для построения глобального аттрактора Л в Фъ необходим более аккуратный анализ поведения решений u(t, х) при ж — • ею, который, в свою очередь, требует весьма ограничительных и неестественных предположений относительно структуры нелинейности / и внешней силы g (см., например, [42], [55], [67]). В частности, как показано в [82], даже в простейшем случае скалярного уравнения Chafee-Infante в Rn глобального аттрактора в пространстве Фъ нет (см., также §5). Поэтому, следуя [58], [68-70], мы будем строить и исследовать так называемый локально компактный аттрактор уравнения (0.1). Напомним, что множество Л С Фъ называется локально компактным аттрактором полугруппы St, если выполнены следующие условия:
1) множество А ограничено в Фъ и компактно в Ф\ос := Wt (f2);
2) множество Л строго инвариантно, то есть St Л = Л при t 0;
3) множество А притягивает ограниченные в Фъ подмножества в топологии пространства Ф/ос, то есть для любого ограниченного в Фъ подмножества В и любой окрестности О (А) множества А в топологии пространства Фіос существует Т = Т(0,В), такое что
StBcO(A) при t T.
Теорема 0.2. Пусть выполнены условия теоремы 0.1. Тогда полугруппа St, определенная по формуле (0.11), обладает локально компактным аттрактором А, который допускает следующее стандартное описание:
Л=К
=0 где через К, обозначено так называемое ядро уравнения (0.1), то есть множество всех определенных при t Є Ш и ограниченных решений и Є Ь°°{Ж,ФЬ(ІЇ)) уравнения (0.1).
Отметим, что в условиях теоремы 0.1 аттрактор А, как правило, имеет бесконечную размерность (см. [11], [82]), поэтому мы будем исследовать его колмогоровскую -энтропию. Более того, так как аттрактор А не компактен в Фъ, но его сужения на любой шар «4опяя компактны,
XQ
то естественно рассмотреть е-энтропию He( nBH ,Фь) и исследовать
XQ
ее зависимость от трех параметров є, R и XQ. Следующая теорема дает оценку сверху для этой величины.
Теорема 0.3. Пусть выполнены условия теоремы 0.1. Тогда колмо-горовская е-энтропия сужений аттрактора А на шары B Q допускает следующую оценку:
И, (л дл, ь(ЯПВ 0)) СУОІ(І?П + 1П+ЙО/Є 1П+ О? ((Ш)
где ln+ z := maxjln z, 0}, vol(F) - n-мерный объем области V, а константы С, К и Ro не зависят от є 0, R 0 и XQ Є Kn.
В частности, в случае ограниченной области І? из оценки (0.12) вытекает, что
1 {А,ФЬ{П)) Cvol(/2)ln+ , (0.13)
откуда следует, что фрактальная размерность dim/ (Л) аттрактора конечна и допускает оценку сверху
dim/ (Л) Cvol(l2), (0.14)
которая дает правильную асимптотику зависимости фрактальной размерности аттрактора от выбора ограниченной области Q (см., например, [3], [76]). Таким образом, формула (0.12) может быть рассмотрена как естественное обобщение оценок (0.13) и (0.14) на случай неограниченной области І? (см. также работы [10], [79] и [26] по поводу аналогичных оценок е-энтропии аттракторов для диссипативного волнового уравнения и эллиптической системы в цилиндрической области соответственно) .
В другом частном случае Q = W1 из оценки (0.12) следует, что
Не (Л\В ФЬ(В Cf R + Kln+ yin+ . (0.15)
Отметим также, что в случае R ( ) оценка вида (0.15) для аттрактора уравнения Гинзбурга-Ландау в R2 была получена в работе [50].
Более того, для случая пространственно-однородной системы урав-«; нений (0.1) получены оценки снизу для е-энтропии аттрактора, показывающие точность оценки (0.15).
Теорема 0.4. Пусть выполнены условия теоремы 0.1, и пусть дополнительно
Ї2 = ЖП, д(х)=д0ЄШк, L(x)=L0eRn. (0.16)
Предположим также, что система (0.1) допускает хотя бы одно пространственно-однородное экспоненциально неустойчивое положение равновесия u(t,x) = ZQ єШк, то есть
a(aAx - (L, Vx) - А0 - f (z0)) П {z Є С : Rez 0} ф 0. (0.17)
Тогда е-энтропия аттрактора Л уравнения (0.1) допускает следующую оценку снизу:
Не (А\ВЯ,ФЪ(В )) C1Rn\n-, Сі 0, є є0 1. (0.18)
Более того, для случая R = 1 оценка (0.18) может быть уточнена следующим образом:
/ 1 \ 71 + (Д1в;0 Ф о)) С2( уг] , (0.19)
где константы С і и С2 не зависят от R и є.
Таким образом, в случае R In или R In оценка (0.15) дает точный вид асимптотики для соответствующей -энтропии аттрактора, а для случая R С In (в частности, для R = 1) оценки е-энтропии сверху и снизу совпадают с точностью до двойного логарифма от (в степени п(п + 1)). Заметим также, что из оценки (0.19) следует, что сужение A\BR аттрактора А на любой шар В 0 имеет бесконечную
фрактальную размерность.
Третья глава работы посвящена более детальному исследованию пространственно-однородного случая системы уравнений (0.1) (то есть, при выполнении условий (0.16)). В этом случае аттрактор А обладает важным дополнительным свойством, а именно, он оказывается инвариантным относительно группы {Th,h Є Шп} пространственных сдвигов:
Th:A A, ThA = A, heRn, {Thu0){x) :=u0{x + h), (0.20),
и следовательно, (п+1)-параметрическая полугруппа, §(t,/i) определенная по формуле
S(t,fc)«o := П о Stuo, S(t,h)A = Л ( , /iJGl+xf, (0.21)
действует на аттракторе А уравнения (0.1). Мы интерпретируем эту полугруппу как динамическую систему с многомерным временем, описывающую пространственно-временную динамику, порождаемую системой уравнений (0.1), и будем исследовать ее динамические характеристики.
Напомним, что в случае ограниченной области Q полугруппа St, действующая на аттракторе А системы (0.1), имеет конечную топологическую энтропию (см., например, [63], [76])
htop{A,St) со.
ъп
Следующий результат является аналогом этого факта для случая неограниченной области Q =
Теорема 0.5. Пусть выполнены условия теоремы 0.1 и условие (0.16). Тогда топологическая энтропия полугруппы (0.21), действующей на аттракторе, является конечной:
htoP(A,$(tih)) оо. (0.22)
Представляет интерес также изучение динамики полугрупп, порожденных ограничением динамической системы §(І,Ь) на произвольные fc-мерные гиперплоскости Vfc С Mt х Щ т0 есть полугрупп, определяемых по формуле
Slt,h) := {S( ,fc) 0. М) е vkh (0-23)
1. где Vfc С Щ X Rn - произвольная фиксированная /г-мерная гиперплоскость и0 /г п + 1. Наиболее естественными являются следующие две возможности выбора гиперплоскости Vk к = п, Vn = R, тогда, очевидно S//1/ = Th, и следовательно, при этом выборе Vk описывается чисто пространственная часть динамики, порождаемой полугруппой §(t,/i)5
к = I, Vi = Щ, тогда &uh\ -= St, и следовательно, этот выбор Vk отвечает чисто временной части описываемой динамики. Отметим также, что и промежуточные возможности выбора гиперплоскостей Vfc, описывающие взаимодействие пространственных и временных мод рассматриваемой системы, представляют самостоятельный интерес.
Для получения количественной информации о сложности динамики, порождаемой полугруппами вида (0.23) представляется естественным исследовать их топологическую энтропию
h(A):=htop(A h))- (0.24)
Однако, как будет показано ниже, в случае к n +1 эти величины оказываются, вообще говоря, бесконечными. Для того, чтобы получить конечные характеристики динамики для этого случая мы фиксируем метрику на аттракторе Д, индуцированную вложением аттрактора Л в весовое пространство L°°_\x\ (Мп), и введем модифицированную топологическую энтропию hkk(A) полугруппы (0.23), определение которой отличается от классического определения топологической энтропии наличием нормирующего фактора (in ) (см. §9 по поводу строгого определения). Например, в случае Vn = № соответствующая модифицированная энтропия определяется по формуле
hsp(A) := hfr (A) := limsup fin -) Km - (Д, L°°([0, R]n)),
а для случая V\ = 1 - по следующей формуле:
= limsup fin -) lim 1 (/С, L°°([0, T], L („ (Ж"))) ,
где через /С обозначено ядро уравнения (0.1) (см. теорему 0.2).
Отметим, что, в отличие от топологической энтропии (0.24), величины hkk (А) не являются топологическими инвариантами, а только метрическими инвариантами (подобно фрактальной размерности), и следовательно, зависят от способа метризации локальной топологии на аттракторе. По многим причинам (см. §9) выбор метрики пространства L°°_\x\ (W1) с экспоненциально убывающим весом представляется нам наиболее естественным.
Следующая теорема показывает, что использование нормирующего множителя (In ) действительно обеспечивает конечность введен ных характеристик, а так лее описывает взаимосвязь между модифицированными топологическими энтропиями, отвечающими различным подпространствам Т4.
Теорема 0.6. Пусть выполнены условия теоремы 0.5. Тогда для любого к, 0 к п+1 и для любой к-мерной гиперплоскости Vk соответствующая модифицированная энтропия является конечной:
hlk(A) oo. (0.25)
Более того, если Vfc С V/ (при к I), то
V(l{A) Kl-khlk{A), (0.26)
где константа К 0 зависит только от параметров уравнения (0.1).
Формулу (0.26) молено считать обобщением классического результата о связи между фрактальной размерностью и топологической энтропией на случай многомерного времени. Действительно, в случае системы обыкновенных уравнений вида (0.1) n = 0, поэтому hi (А) совпадает с топологической энтропией, ho(A) - с фрактальной размерностью аттрактора А, а оценка (0.26) принимает классический вид:
ЫоР(Л) К dimf (А)
(см., например, [63]).
Рассмотрим теперь некоторые естественные классы уравнений вида (0.1), для которых удается получить оценки снизу величин hkk(A) и частично описать природу хаотической динамики, порождаемой этими уравнениями. Мы начнем с рассмотрения пространственной динамики и феномена пространственного хаоса.
Следующая теорема показывает, что пространственная динамическая система (0.20) является хаотической на аттракторе, если уравнение (0.1) допускает хотя бы одно (экспоненциально) неустойчивое пространственно-однородное положение равновесия.
Теорема 0.7. Пусть выполнены условия теоремы 0.4. Тогда модифи-цированная топологическая энтропия hsp(A) пространственной динамической системы (0.20) (Vn = Шп) является конечной и строго положительной:
0 Сі hsp(A) оо, и, следовательно, htop{A:Th) = ос. (0.27)
Напомним, что в классической (конечномерной) теории динамических систем для описания хаотической динамики часто используются вложения схем Бернулли {0, • • • , iV — 1}Z с конечным числом символов в рассматриваемую динамическую систему (см. [63] и цитированную там литературу). Однако, как известно, схемы Бернулли с конечным числом символов имеют конечную топологическую энтропию и, следовательно, не могут дать адекватного описания динамики с бесконечной топологической энтропией. Поэтому, для исследования пространственной динамической системы (0.20) мы будем использовать схемы Бернулли с бесконечным (континуальным) числом символов.
Определение 0.1. Пусть D := {г Є С, И 1} - единичный диск в С. Рассмотрим пространство М. .— Ю 2 отображений v : Zn — D, наделенное топологией локально-компактной сходимости и определим символическую динамику (77, М) с континуальным числом символов weDno следующей стандартной формуле:
(Tiv)(m) :=v(m + l), m,leZn, v Є M. (0.28)
Следующая теорема дает описание феномена пространственного хаоса в терминах модельной динамической системы (0.28).
Теорема 0.8. Пусть выполнены условия теоремы 0.4. Тогда существуют положительное число о 0, замкнутое подмножество В С Л и гомеоморфизм т : М - В, такие что
TalB = B и TalT(v)=r(Tiv), VleZn,veM. (0.29)
Более того, этот гомеоморфизм является липшицевым при соответствующем выборе метрик на А и М. и сохраняет модифицированную топологическую энтропию:
0 a nhsp(M) = hsp(B) hsp(A) со.
Одним из следствий этой теоремы является следующий результат, показывающий, что любая конечномерная динамика может быть реализована с точностью до гомеоморфизма ограничением пространственной динамической системы на подходящее подмножество аттрактора.
Следствие 0.1. Пусть выполнены условия теоремы 0.4, и пусть К С M.N - произвольное компактное подмножество в M.N. Предположим также, что F\, • • , Fn : К — К - произвольные попарно коммутирующие гомеоморфизмы, то есть
FioFj = FjoFi, ij Є {І,--- ,n}.
Тогда существуют положительное число 7 = 7( 0 0 и гомеоморфизм
т:К- т(К) С А, (0.30)
такой что
т7гад = г( іо...оі ), кек, iezn, (0.31)
где через F обозначена / -тая итерация отображения Fj.
Наша следующая цель - получить описание динамики, порождаемой полугруппой S/t"/j\, аналогичное теоремам 0.7 и 0.8, для случая, когда гиперплоскость Vn содержит временные направления, то есть Vn ф. R. Для этого мы предположим, что векторное поле L Є Шп имеет специальный вид:
L:=Lei = (1,0,--- ,0), L Є К+. (0.32)
Здесь и далее символом в{ будет обозначаться г-тый координатный вектор в Жп. Отметим, что на самом деле, условие (0.32) не ограничивает общности, так как случай произвольного L Є Кп сводится к (0.32) подходящей ортогональной заменой координаты х, которая не меняет вид лапласиана в уравнении (0.1). При этой замене, очевидно, L — \L\.
Следующая теорема показывает, что динамика §(tnM для гиперплоскости
Vn := span{et, е2, • • • , еп}, (0.33)
— ортогональной в 1 х R направлению векторного поля L, оказывается хаотической, если число L = \L\ достаточно велико.
Теорема 0.9. Пусть выполнены условия теоремы 0.4, и пусть векторное поле L имеет вид (0.32). Тогда существует некоторое положительное число LQ = Lo(a, f,Xo), такое что, если, дополнительно,
L=\L\ L0, (0.34)
то модифицированная топологическая энтропия аттрактора в направлении гиперплоскости (0.33) является строго положительной:
0 С hln {А) оо и htop(A, S h)) = оо, (0.35)
и, следовательно (по теореме 0.6), модифицированная топологическая энтропия в направлении времени (V\ = 1) также является строго положительной:
0 Ci ht(A) оо и htop(A,St) = оо. (0.36)
Таким образом, для описания пространственно-временной динамики §Хпм в гиперплоскости (0.33) также естественно использовать модельную динамическую систему (77, Лч), введенную в определении 0.1.
Теорема 0.10. Пусть выполнены условия теоремы 0.4 и условия (0.32) и (0.34). Предположим также, что матрица диффузии а в системе (0.1) является нормальной, то есть aa = a а. Тогда существуют положительное число a 0 и гомеоморфное вложение
т:М Л, (0.37)
такое что
Sai4v0) = ЦТГ о), ТЦтЫ = г(7Г о) , г = 2,. • • ,п, (0.38)
для любых І Є Z и VQ Є М. (здесь и далее Т := Т , TtXi := 77). Более того,
где Vn := span{et, е2, • • • , е„}.
Как и в случае пространственной динамики, вложение (0.37) позволяет доказать, что любая конечномерная динамика может быть реализована сужением полугруппы S/Дч на подходящее инвариантное подмножество аттрактора.
Следствие 0.2. Пусть выполнены условия теоремы 0.10. Пусть также К С M.N - произвольное компактное множество в RN, а F\, • • • , Fn : К — • К - произвольные попарно коммутирующие гомеоморфизмы, то есть
FioFj FjoFi, г,іє{1,---,п}. (0.39)
Тогда существуют положительное число 7 — j(N) 0 и гомеоморфизм
т:К- т{К) с Л (0.40)
такой что
Syh ° Г7?2 о ••• о т;Гпт(к) = т (F? О .. • о Ft к) , к Є К, ІЄ Z", (0.41)
где через F обозначена U-тая итерация отображения i .
Для иллюстрации описанных выше результатов рассмотрен ряд примеров естественных уравнений математической физики, имеющих вид (0.1) (таких как уравнение Chafee-Infante, комплексное уравнение Гинзбурга-Ландау и др., см. §14). В частности, показано, что в градиентном случае
/(«):= VF(u), a = a\ L = 0 (0.42)
расширенная полугруппа &(t,h)i соответствующая уравнению (0.1) имеет нулевую топологическую энтропию
biop(AS(tfc)) = 0. (0.43)
Как известно (см., например, [63]), в случае градиентной системы в ограниченной области топологическая энтропия полугруппы St равна нулю:
htop(A,St) = 0 (0.44)
(благодаря наличию глобальной функции Ляпунова). Формула (0.43) является естественным обобщением этого факта на случай неограниченной области 4? = Rn (отметим, также, что в неограниченной области нет глобальной функции Ляпунова, поэтому получить прямой аналог формулы (0.44) для этого случая не удается).
Кроме того, на следующем модельном примере исследована зависимость е-энтропии аттрактора Л от физических параметров уравнения (0.1):
( dtu = vaAxu - X0u - f(u) + g, xeRn,
I u t=o = u° где матрица диффузии a и нелинейная функция / удовлетворяют условиям теоремы 0.4, a v 0 - малый параметр (см. §14). В частности, показано, что модифицированная топологическая энтропия hsp(A) имеет следующую асимптотику при v —» 0:
Сцу- 2 hsp(A) C2v n/2, (0.46)
где константы Сг 0 не зависят от v — 0. Формула (0.46) является естественным обобщением аналогичной асимптотики для фрактальной размерности аттрактора Л уравнения (0.45) в ограниченной области на случай J? = En.
Регулярность решений линейных уравнений в весовых пространствах
Мы начнем с описания следов функций из весовых пространств, введенных в 1, на границе dQ регулярной области Q. Предложение 2.1. Пусть Q - регулярная область, ф - весовая функция экспоненциального роста ц, и пусть I 1/р, I — 1/р . N. Тогда существует линейный оператор продолжения П1,р : W± p,p{dQ) - W±P{Q), такой что (П1 ру0){х) = 0, если dist{x,d(2) 2, П1 р(у0)\дП = v0, (2.1) и справедлива оценка Сі\\ПІ,Р(у\дп)\\\1ф" ((2) іМ0Г2ІЦ-1/р р(дЯ) ClhWw iOy (2-2) где константы С\,С2 зависят оті, р, константы Сф, введенной в (1.5), и константы К, участвующей в определении 1.1 регулярной области, но не зависит от конкретного вида Q и ф. Таким образом, пространство следов функций из УУфР{2) на границе dfl совпадает с WT p,p{dfi). Аналогично, если v Є Wb,Jl{Q), то C\\\nl {v\dn)\\wib {n) b\dn\\w /p,p{dn) c2\\v\\wl%w (2-3) и пространство следов функций из Wh,P {Q) совпадает с Wb , /p,p(df2).
Доказательство. Напомним, что регулярная область Q предполагается удовлетворяющей условиям (1.1)и(1.2)с константой RQ = 2. Введем функцию р Є CQ (Kn), такую что р(х) = 1, если ж 1 и (р(х) = 0 при ж 3/2. (2.4) Пусть также фХо(х) : ( — хо)- Определим разбиение единицы, соответствующее покрытию границы областями VXo, XQ Є сШ, следующим образом: JdQlPxo\X)a":)xo Тогда, как нетрудно проверить (см. предложение 1.5), \\$xo(.x)\dn\\wy{dn) ci,p J VxAx)dSx0 = l (2.5) и supp ipX0 (х) Iдп С dQ П 22.
Напомним, что так как VXQ гладкая область, то существует оператор продолжения ПХ0 : Wl 1/ {dVXQ) -+ Wl (VXo), ПХо(у0)\дУхо = v0 (см., например, [4] или [30]). Кроме того, без ограничения общности можно считать что supp ПХ0 (v0) С Q П 20, если supp VQ С dQ П 52. (2.6) Более того, так как области VXo удовлетворяют условию (1.2) равномерно по XQ Є /2 (с достаточно большой константой iV = iV(/)), то нормы операторов продолжения ПХо также ограничены равномерно по XQ Є 8Q. Определим теперь оператор продолжения П1,р по формуле П1 (у0)(х):= [ nxo($XovQ)(x)dSXo, v0eWl 1/p p(dQ). (2.7)
Действительно, из (2.5) и определения операторов ПХо следует, что nl,p(vo)\dn = vo, а также, что П1,р удовлетворяет свойству (2.1). Остается проверить выполнение оценки (2.2). Для этого заметим, что \\п1 ры,в1хпп\\1Р Со [ \\nX0($XQvQ),Blnn\\lPdsXQ Со J XB )\\nxo x0vo),B2XQnf2\\lpdSXo cf е- і--і и«о,вяпв {L1/KPdSn J dQ df e-W - \\vo,dnnBlJl1/p,pdSXo, (2.8) J dQ где константа Сі не зависит от ж Є і? (здесь мы в неявной форме использовали тот факт, что нормы операторов продолжения ПХо ограничены равномерно по XQ Є df2, а также оценку (2.5) для срезающих функций фХо и эквивалентность норм вида (1.14) при различных R).
Умножив неравенство (2.8) на ф(х), проинтегрировав по х Є Q и использовав оценку (1.27) с q = 1, мы получим левую часть оценки (2.2). Аналогично, умножив (2.8) на ф(х), взяв верхнюю грань по х Є fl и использовав неравенство (1.27) с q = оо, мы получим левую часть оценки (2.3). Таким образом, оператор продолжения П1,р, удовлетворяющий всем условиям предложения 2.1, построен.
Доказательство правых оценок (2.2) и (2.3) аналогично, но существенно проще. Действительно, пусть v Є W7P(J7). Тогда, согласно классической теореме о следах (см., например, [30]), примененной к гладкой области VXQ, Ид пвЦ\11/р р C\\v,B3Xo п Щ1Р d f e-2rix-x\\\v,anBl\\fpdx, (2.9) где константа С не зависит от XQ Є дО. Умножив неравенство (2.9) на ф(х), проинтегрировав по х Є df2, и использовав неравенство (1.28) с q = 1 и эквивалентность норм (1.14) при разных R, мы получим левую часть оценки (2.2). Для доказательства левой части оценки (2.3) достаточно умножить (2.9) на ф(х) и взять верхнюю грань по х Є df), использовав после этого оценку (1.28) с q = оо. Предложение 2.1 доказано. Сформулируем теперь аналог предложения 2.1 для анизотропных (Л 0\ »-» соболевских пространств W\ (Е X J2), соответствующих параболическому уравнению.
Нелинейное уравнение. Априорные оценки и существование решений
Этот параграф посвящен исследованию следующей нелинейной системы реакции-диффузии в регулярной неограниченной области Q С Rn: ( д±и = аЛхи - (L, Vx)u - \0u - f(u) + g, її lo № ) где u = (u1,--- ,uk) - неизвестная векторная функция, Ло 0 - положительное число, f(u) = (/i(n), ,fk(u)) и g = (gi(x), ,gk(x)) -заданные функции, a - заданная постоянная матрица диффузии, удовлетворяющая условию а + а 0, (3.2) L :— L{x) ct" - заданное векторное поле в Rn, такое что L Є ИЪ1,0(Я), div(L)Loo(„) Ло/2, (3.3) Лх - оператор Лапласа по переменной х Є Шп, а транспортный член (L, Vx)u определяется формулой п {L,Vx)u:= TLi(x)dXiu. (3.4) г=1 Напомним, что нелинейная функция / предполагается удовлетворяющей следующим условиям регулярности: 1. feC3(Rk,Rk), 2. f(u).u -С, (3.5) 3. /» -К (здесь и далее u.v обозначает скалярное произведение в Mr) и, дополнительно, следующим ограничениям на рост: 1. \f(u)\ С(1 + \иП 2. І/ НҐ C(\f(u)\ + U + 1), (3.6) где показатель р 0 удовлетворяет неравенству р 1 -\— при п 4, а в случае п 4 показатель р может быть произвольно большим. Предполагается также, что начальное условие ио принадлежит фазовому пространству Фь = Фь(і2): u0e Pb:=W q{f2), (3.7) для некоторого фиксированного показателя q п + 1, внешняя сила принадлежит пространству 9 Є L\(Q), (3.8) а краевое условие и0 выбирается из пространства и0 Є М + х = К, ft« Є W -1/{2q) -1/gU{R+ х дП)} (3.9) (которое есть пространство следов на dQ функций из пространства {u,dtu Є WJ; 9(Ж__ х О)}, см. предложение 2.2), и удовлетворяет условию согласования Мм = Л=о- (3-10) Под решением задачи (3.1) понимается функция и Є L(18L+,wZ q{n)) П С(К+,Х,Ї(Л)), (3.11) удовлетворяющая (3.1) в смысле обобщенных функций. Замечание 3.1. Так как показатель q п + 1, то, согласно теореме вложения и Є L(IR+ х і?), и, следовательно, нелинейное слагаемое f(u) в (3.1) корректно определено и принадлежит L. Более того, из уравнения (3.1) следует, что для любого решения u(t) є (Е+,іДО)), и, как нетрудно показать, и є с([о,т], и я(/2)) n cHlo,т],#_.,., (Я», (3.12) для любых є 0 и Г 0. Заметим однако, что, как и в случае линейного уравнения (2.24), решение u{t) не принадлежит, вообще говоря, пространству С([0,Т], W q(Q)). Основным результатом этого параграфа является следующая теорема. Теорема 3.1. Пусть выполнены условия (3.2)-(3.10). Тогда задача (3.1) имеет хотя бы одно решение u(t), принадлежащее пространству (3.11), и для любого такого решения справедлива оценка Ht), rtnsija., Q(\H0)\\W2,4n))e-at+ + Q(hhb{]R+xdn))e-adist{X0 dn) + QMLIW), (3.13) для некоторого a 0 и некоторой монотонной функции Q. Доказательство. Выведем сначала аналог оценки (3.13) для случая 1 2 Wb -нормы.
Лемма 3.1. Пусть выполнены условия теоремы 3.1. Тогда справедлива оценка rj i -і \HT)tw (Я) + / II WIIw2-2 (я)dt Сі1 + ІМІІ2(Я))+ + Ce-aTu(0) 1 2 . + 0а,сш( о№(ик), (3.14) где функции ф є у такие же, как и в (1.9), (1.9 ), жо Є є5 a 0 -достаточно малые положительные константы, а константа С и монотонная функция Q не зависят от XQ . Доказательство. Как и в случае линейного уравнения, умножим уравнение (3.1) скалярно в L2(fi) на фЄіХои{ї) и проинтегрируем по частям, используя второе условие (3.5) и оценку (2.16). Тогда, аналогично выводу оценок (2.17) и (2.27), получим, что при достаточно малом є 0 справедлива оценка dt (\и(і)\2,фє,Х0) +а {\Чхи{ )\2Ж,хо) + ((Ао - div(L))n(t)2,0 a;o) c(i + ЫЬ) + сц«ц, {dQ) + с (u, \х?м )\Ф для некоторого положительного а 0 (здесь и далее символ (u,v)dQ означает скалярное произведение в L2(dQ)). Применив теперь неравенство Гронуолла к последней оценке и использовав условие (3.3), по лучим рТ+1 + Ce-r«(0)b (fi)+C,Hll,,+ /»J -1-І + W e- + - JllV.uWII», (вп)Л, (3.16) где константы C,Cv,a О не зависят от XQ, а константа 0 может быть выбрана сколь угодно малой. Умножим теперь уравнение (3.1) скалярно на функцию п 2дХі(фє,ходХіи(і)) = 4 e,X0Axu(t) + Vx j ,X0.Vxu(t) (3.17) »=i и проинтегрируем по частям, используя третье условие (3.5) для оценки нелинейного члена.
Колмогоровская е-энтропия множеств в функциональных пространствах
В этом параграфе мы напомним определение колмогоровской е-эн-тропии множества в метрическом пространстве (см., например, [14] для детального изучения этого понятия) и приведем оценки сверху и снизу для е-энтропии типичных множеств в функциональных пространствах, которые будут использованы в дальнейшем для оценки е-энтропии аттрактора уравнения (3.1).
Определение 6.1. Пусть М - метрическое пространство и пусть К -предкомпактное множество в нем. Для любого заданного є О определим N (К) — Ne (К, М) как минимальное число є-шаров в М достаточное для покрытия К (это число конечно, согласно критерию Хаусдор-фа). По определению, колмогоровской е-энтропией множества К в М называется следующее число: Be(K)=Me(K,M) \nNe(K). (6.1) Пример 6.1. Пусть К - компактное тг-мерное липшицево многообразие в М. Тогда, как нетрудно показать, Ci (jV Ne{K) С2 (jV (6.2) и, следовательно, Ше(К) = (п + Щ1)) In- (6.3) є при є — 0. Этот пример оправдывает следующее определение.
Определение 6.2. Фрактальной (энтропийной) размерностью множества ІІ ССМ называется следующее число: dimF(K) - &тР(К,Щ = limsup V. (6.4) -).о In Заметим, что фрактальная размерность сІіпір(.К ) Є [0, со] определена для любого компактного множества в М, но может быть не целой, если К не является многообразием.
Пример 6.2. Пусть М = [0,1] и пусть К - двоичное канторово множество в М. Тогда, как нетрудно показать, C )d Nc(K) C2{l)d , „= (6.5) и, следовательно, dimip(K) = d = . Рассмотрим теперь примеры вычисления е-энтропии бесконечномерных множеств в пространствах функций.
Следующие два примера демонстрируют типичное поведение е-эн-тропии компактных множеств в пространствах аналитических функций. Пример 6.3. Пусть К - множество всех аналитических функций / в шаре B(R) радиуса R 1 в С", таких что Ц/Ць вся)) 1 И пусть М := C{BRe), где BRe = {z Є Cn :lmzi = 0,\z\ 1}. Таким образом, К состоит из функций из C(BRe), которые могут быть продолжены до аналитической функции в шаре В(R) С Сп, и С-норма которых не превосходит единицы. Тогда Не (Я", М) С2 In - (6.6) є
Доказательство этой оценки приведено, например, в [14]. Пример 6.4. Пусть М то же самое, что и предыдущем примере и пусть К - множество функций / из М, допускающих продолжение до целой функции / экспоненциального роста в Сп, то есть \f(z)\ КхеК2М, zeC1. (6.7) Тогда, как показано в [14], (1пі) (к\ г (1п ) Ci\j\,n Be (К) С2) \ (6.8) Следующий пример демонстрирует типичное поведение энтропии компактных множеств в Соболевских пространствах в ограниченных областях. Пример 6.5. Пусть Q - гладкая ограниченная область в Rn и WluPl(f2) с С Wl P2{Q) , 0 k оо, 1 pi оо, h /2, то есть, согласно теореме вложения, — —L k —L. Пусть теперь М = Wl2,P2(Q) и К - единичный шар в пространстве Wh pi{f2). Тогда Сі (г) Be(K) C2(-j . (6.9) Доказательство этих оценок приведено, например, в [5] и [30]. Следующее предложение описывает зависимость константы С2 в правой части оценки (6.9) от области Q в некотором частном случае, которая будет существенно использована в дальнейшем для оценки сверху энтропии аттрактора. Предложение 6.1. Пусть І? - регулярная область, R 0 - положительное число, 1 q оо, XQ Є О, и пусть М = Ь\{0 П B Q), а К = Б(1,0, Wl,q) единичный шар в пространстве W q(f2 П В 1). Тогда Ие(5(1,0, ), ЩП nO) C2vol( n +1)QV, (6.10) где vo\{V) - n-мерный объем области V. Более того, константа С2 в (6.10) не зависит от R и XQ. Схема доказательства. Для простоты мы ограничимся выводом оценки (6.10) в частном случае q п, хотя аналогичным образом можно доказать ее и в общем случае. Заметим, что, так как L С L\, то достаточно доказать следующую оценку для L -нормы Ие(Б(1,О, ), (Г2п )) С3уо1(/2П +1)0у. (6.11) Более того, умножая функции из К на срезающую функцию фц{х), равную единице при х Є В о и нулю вне шара -В 0+1, мы получим оператор І7і продолжения функций из К до функций из Wb,q(f2), такой что П1иппвк Няпв » Wniu Wb KCWu nBg+ Wb , (6.12) х0 где константа С не зависит от XQ И R. Напомним теперь, что область Q предполагается регулярной, то, как нетрудно показать (например, аналогично доказательству предложения 2.1), существует оператор продолжения І72 функций из Wb 9(f2) в пространство Wb1,9(Rn), такой что n2v\nsu\n, tfiu,KnM,g Cu,l2M,g. (6.13) Поэтому достаточно доказать оценку 1 (ЗДО. ІГЙ.Г ПВЗ) C4vol(tfn +1) (і)П (6.14) с константой С±, не зависящей от R (здесь и далее символ В [г, VQ,V) означает шар радиуса г в пространстве V с центром в точке г;о). Заметим далее, что из регулярности области Q нетрудно вывести, что vol(Oe(dn Л Я )) Cs vol(/2 П B +1), (6.15) где S 0 - достаточно малое положительное число, 0(V) - -окрестность множества V, а константа С$ не зависит от R и XQ. Рассмотрим теперь решетку гЪп, где г - достаточно малое положительное число, и соответствующее ей разбиение пространства Еп на кубы CXj := Xj + (—r,r)n, Xj Є vTr.
Построение вспомогательной динамической системы
Напомним, что в предыдущем параграфе мы доказали, что, при выполнении естественных условий, пространственная динамическая система {Th,h Є Rn}, действующая на аттракторе уравнения (3.1), является хаотической. Более того, было дано описание пространственного хаоса при помощи гомеоморфного вложения схемы Бернулли с континуальным числом символов. Основная цель следующих трех параграфов - получить аналогичное описание и для временной динамики, порождаемой уравнением (3.1) на аттракторе. Для этой цели мы построим некоторую вспомогательную динамическую систему, для которой роль времени будет играть одно из пространственных направлений, а координата t окажется пространственной переменной. Применив затем схему исследования пространственной динамики, изложенную в параграфах 8-10, к этой вспомогательной динамической системе, мы получим описание динамического хаоса в исходной динамической системе St (так как направление времени t является пространственным для построенной вспомогательной динамической системы).
Основной целью данного параграфа является построение вышеописанной вспомогательной динамической системы. Как и ранее, мы будем рассматривать лишь пространственно-однородный случай уравнения (3.1). Для простоты мы предположим также, что ZQ = 0 является положением равновесия уравнения (3.1), то есть П = Rn, д = 0 , L(x) :=єКп, /(0) = 0. (11.1) Более того, без ограничения общности можно считать, что постоянное векторное поле L имеет вид L:=Leu ei := (1,0,--- ,0), L Є R+ (11.2) (общий случай, очевидно, сводится к (11.2) при помощи подходящей линейной (ортогональной) замены пространственной координаты х). Рассмотрим теперь следующую параболическую краевую задачу в полупространстве х = (хі,х ) Є Е+ х Kn_1: dtu == a(dXlu + Axtu) - LdXlu - \0u - f(u), u\ _n = u, xi 0, t Gl, x ЄКП-1. 138
Мы рассмотрим эту задачу как (формальное) эволюционное уравнение относительно новой временной переменной х\. Для того, чтобы подчеркнуть эту идею, мы переобозначим независимые переменные следующим образом: rj:=xi, у=(уи-" ,yn) = (yuy )-=(t,x ). (11.5) В этих новых переменных задача (11.3) примет вид: а(д%и-\- Аут) - Ldvu — \и — f(u) = дУ1и, уЄШп, rj 0, і о С11-5) it n = u . l?7=0
Следующая теорема показывает, что уравнение (11.5) действительно определяет динамическую систему относительно переменной rj, если число L достаточно велико. Теорема 11.1. Пусть выполнены условия теоремы 3.1 и условие (11.2). Предположим также, что существует неотрицательное число Л о О, такое что LAQ - (a+ - 2а_(а+)_1а-) ЛІ - К 0, (11.6) где а+ := 1/2(а + а ), а_ := 1/2(а — а ), а константа К такая же, как и в условии (3.5). Тогда, для любого и0 Є ЙЪ(КП) := {u,dtu0 Є VTb(1-1/(29),2-1/9) 9(E")}, задача (11.5) имеет единственное ограниченное решение u(r},y), принадлежащее пространству u,dtu Є W?aU ( х (ЩіХі х Ж;,"1)) . (11.7) Доказательство. Существование решения задачи (11.5) следует из теоремы 3.1 (при этом не требуется выполнения условия (11.6)). Действительно, пусть UQ Є W g(M+ х Mra_1) такое, что \Uo\\w (R+XRn-i) С\\и\\ ь, И ві=0 = U\t==_ N 139
Очевидно, что такое и$ существует, более того, константа С может быть выбрана не зависящей от N Є N. Тогда, согласно теореме 3.1, существует единственное решение uN(t) задачи (11.3), определенное при t —iV, такое что uN\ _N = и$. Более того, из оценки (3.13) следует \\uN(t), П П Bl0 \\2,q + ftu"(t), П П BlQ о,д Q(tik), (11.8) где Q := R+ х К-1, а функция Q не зависит от N и хо. Переходя к пределу N — со и используя равномерную оценку (11.8), легко построить ограниченное решение u(t) задачи (8.3), а из оценки (3.13) следует тогда, что это решение удовлетворяет следующей оценке: «М, П П В1Х0 \\2л + \\dtu{t), Q П ВЦ\0,д Q(u0 )e- + С, (11.9) где Q, С и а О не зависят от t и XQ. Покажем, что это решение принадлежит пространству (11.7). Для этого мы продифференцируем уравнение (11.3) по t и обозначим w — dtu: dtW-aAxwJr\ow = h(t):=-Ldxlw-f,(u)dtu, w\x = dtu0. (11.97) Применив к уравнению (11.9 ) оценку (2.23) в области Q с весовой функцией (f)(t,x) = е_є(І _тІ+Іа:_ХоІ\ где є 0 - достаточно малое положительное число, аТижд произвольны, получим w(l-l/(2q),2-l/q),q Rxn) + c(\\dtu\\ + \№хдіи\\ьяфіШхГ2) + \\f (u)dtu\\Lq(jstxn)) (П.9")
Напомним, что показатель q п + 1 выбран так, чтобы W ),q(M. х Q) С С(Ш х І?), поэтому третье слагаемое в правой части (11.9") легко оценивается из (11.9). Второе слагаемое, как обычно, оценивается при помощи интерполяционного неравенства и оценки для Lq-нормы dtu, полученной в (11.9).