Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

П.Г.Фрик - Турбулентность модели и подходы, часть 1

.pdf
Скачиваний:
81
Добавлен:
07.05.2013
Размер:
1.18 Mб
Скачать

71

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

П усть имеется динамическая

 

 

система (не слиш ком больш ой

 

 

размерности

N ), описываемая

 

 

системой

дифференциальных

 

 

уравнений

первого

порядка.

 

 

П ринципиально,

от системы N

 

 

уравнений первого порядка можно

 

 

перейти

ê

дифференциальному

 

 

уравнению N -ого порядка, содер-

 

 

æàù åìó

N производных , но од-

 

 

ной переменной (например, оста-

 

 

ется переменная

X (t) è

ее произ-

 

 

водные

&

&&

&&&

ò.ä.). Ï ðè

 

 

X (t), X (t), X (t), è

Ðèñ. 2.22.

 

представлении дифференциальных

 

уравнений в конечных разностях

 

 

ýòî

соответствует

одновременному

знанию

величин

X (t), X (t + τ), X (t + 2τ), X (t + 3τ), è ò.ä., ãäå τ - постоянная. Теорема Таккенса утверждает, что каждая переменная системы X (t) отражаетосновныесвойства этой системы, а аттрактор, построенный в фазовом пространстве переменных X (t), X (t + τ), X (t + 2τ), X (t + 3τ),...... , сохраняет основныетопологические свойства аттрактора исходной системы.

П рактически, алгоритм вычисления размерности аттрактора строитсяследую щ им образом. Для измеряемой величины X (t) выбирается харак-

терное время сдвига

τ и строится фазовая траектория на p переменных

X (t), X (t + τ),............, X (t +

( p − 1)τ) как показано на рисунке2.22. Эта траектория

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

гиперсфера радиуса r и вычисляется

число точек фазовой траектории, по-

павш их в пределы этой сферы. Затем вводитсяфункция

 

 

1

m

r

r

 

C(r) = lim

å H (r

| X i

X j |) ,

(2.36)

2

m→ ∞ m

i, j =1

 

 

 

72

характеризую щ ая среднее число пар точек, попадаю щ их в сферу заданного радиуса. Здесь H - функция Хевисайда, равная по определению единице при положительных и нулю при остальныхзначениях аргумента. Ожидая, что

C(r) ≈ r d ,

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

П роцедура вычисления величины d повторяется для все возрастаю - щ их значений размерности используемого фазового пространства p . П ри этом вычисленные значения d равны p до тех пор, пока размерность используемого пространства остается меньш ей размерности аттрактора. Если вычисленная размерность d перестает зависеть от p , то это означает, что она равна размерности самого аттрактора. Н аименьш ее целое число, больш ее полученной (фрактальной) размерности аттрактора, называется размерностью вложения и определяет реальное число степеней свободы рассматриваемой системы. П ример поведения функции C(r) по мере роста p , построенная по результатам реальных измерений в конвекции РелеяБенара (из работы Malraison B. et al., Comptes Rendus Acad.Sc.Paris, 1983, C297, p.209.) приведена на рис.2.23. В этом примере наклон прямых линий перестает возрастать с p = 4 , хотя предельный наклон прямых есть 2,8 (то есть размерность вложения равна трем).

Ðèñ. 2.23.

73

2.6.3Обобщ енная размерность

Ïусть система эволю ционирует в некотором фазовом пространстве. Разобьем это пространство на ячейки (n-мерные кубики) с ребром l (всего M ячеек) и вычислим вероятность попадания системы в каждую i -òóþ

ячейку

pi = lim ni .

N → ∞ N

Ãäå ni - число точек, попавш их в данную ячейку, а N - общ еечисло рассмот-

ренных точек.

Обобщ енная размерность (размерность Рени) определяется как

M

Dq

= lim

1

 

ln å pi q

.

(2.37)

 

i=1

 

 

 

 

 

 

l → 0

q − 1

 

ln l

 

 

Таким образом вводитсяпоследовательность величин Dq , связанныхссо-

ответствую щ ими моментами распределения вероятности. П осмотрим, какой смысл имеет эта величина при конкретныхзначениях q .

1) q = 0 . Тогда

M

ln å pi 0

D0

= lim

i=1

 

 

l→ 0 ln l

сумма в числителе равна числу ячеек, в которых оказалась хотя бы одна точка. Следовательно,

D0

= lim

ln N (l)

,

(2.38)

 

 

l → 0 ln(1/ l)

 

ãäå N (l) есть число ячеек, содержащ их точки, и (2.38) совпадает, таким образом, с определением размерности Хаусдорфа (2.34).

2) q = 1 . В этом случае возникаетпроблема деления на ноль. Рассматриваетсяпредел q → 1 и с помощ ью правила Лопиталя

74

 

 

 

 

M

 

 

 

M

 

M

 

 

D = lim

1

 

ln å pi q

= lim

1

 

å pi q ln pi

= lim

å pi ln pi

lim

i=1

lim

i=1

i=1

 

(2.39)

 

 

 

M

 

 

1

 

ln l q→ 1

q − 1

l → 0 ln l q→ 1

 

 

ln l

 

l→ 0

å pi q

l→ 0

i=1

Числитель под знаком предела есть энтропия Ш енона, а размерность D1 называю т информационной размерностью .

3) q = 2 . Теперь в числителе под знаком суммы стоит квадрат вероятности попадания точки в ячейку, то есть совместная вероятность одновременного попадания пары точек. Таким образом,

 

 

M

 

 

 

 

 

 

 

ln å pi

2

 

ln Ñ(l)

,

(2.40)

D2

= lim

i=1

 

= lim

 

 

ln l

 

l→ 0 ln l

 

l → 0

 

 

ãäå Ñ(l) есть функция (2.36), а размерность (2.40) называетсякорреляционной размерностью .

Справедливо общ ее правило: Di ³ D j , åñëè i < j . Это означает, что наибольш еезначение всегда имеет Хаусдорфова размерность D0 .

2.7Субгармонический каскад

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

нок 2.24. П редельный цикл после би- Ðèñ. 2.24. фуркации замыкается только на втором витке, удваивая тем самым период движения системы в фазовом пространстве.

75

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

П рекрасной иллю страцией свойств субгармонического каскада является работа Ф ейгенбаума «Универсальное поведение квадратичных отображений» (Feigenbaum M.J., The universal properties of nonlinear transformations, J.Stat.Phys., 1979, V.21, P.669.), содержание которой мы в основном и постараемсяпересказать.

Рассмотрим отображение первого возвращ ения

xk + 1 = f (xk ) = 4μxk (1 − xk )

(2.41)

ãäå x [0,1] è 0 ≤ μ ≤ 1. Отображение ставит в соответствие каждой точке из интервала [0,1] другую точку из этого же интервала. μ - управляю щ ий параметр.

Ï ðè μ < 0,25 сущ ествует только одна точка, в которой xk + 1 = xk . Это точка x = 0 и она устойчива. Действительно,

f (x) = 4μ(1 − 2x)

è

f (0) = 4μ .

Это означает, что при μ < 1/ 4 производная в точке пересечения функции

Ðèñ. 2.25.

Ðèñ. 2.26.

76

 

f (x) с биссектрисой xk + 1 = xk

остается

 

меньш еединицы, что обеспечивает ус-

 

тойчивостьреш ения (см. рис.2.25).

 

 

Ï ðè

0,25 < μ < 0,75

ðåø åíèå

x = 0

 

становится неустойчивым, но появля-

 

етсядругое реш ение

 

1

 

 

 

 

 

 

x* = 1 −

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

которое

устойчиво,

òàê

êàê

ïðè

 

0,25 < μ < 0,75

 

 

 

 

 

 

 

 

*

) |= 2 | 1 − 2μ |< 1.

 

 

 

 

| f (x

 

 

 

П уть, по которому реш ение выходит в

 

этом случае на устойчивую точку, по-

Ðèñ. 2.27.

казан на рис.2.26. В точке μ = μ1 = 0,75 è

эта точка становится неустойчивой. Характер возникаю щ его реш ения иллю стрирует рисунок 2.27, где показано реш ение для μ = 0,8 . Â ðåø åíèè âîç-

никают две неподвижныеточки. Это так называемый 2-цикл, при котором реш ение возвращ ается в данную точку через ш аг. И наче говоря, реш ение определяется условием: xk + 2 = xk . Запиш ем

xk + 2 = f (xk + 1 ) = f 2 (xk ) = g(xk ) ,

где явный вид функции g åñòü

Ðèñ. 2.29.

Ðèñ. 2.28.

77

g(x) = 16μ 2 (x x 2 − 4μx 2 + 8μx3 − 4μx 4 ) .

График этой функции показан на рисунке2.28, а два выделенных квадрата поясняю т тот факт, что в них воспроизводится картинка, представленная на рис.2.26. В дальнейш ем все повторяется. Ф ункция g(x) теряет устойчи-

востьпри μ = μ2 = (1 + 6) / 4 = 0,86237... Далеерассматриваетсяфункция

h(x) = g 2 (x) = f 4 (x) ,

представленная на рис.2.29. Квадрат на рисунке снова показывает, что вблизи каждой устойчивой точки воспроизводится ситуация рисунка 2.26. Ф ункция h(x) становится неустойчивой при μ = μ3 = 0,875 , è ò.ä. Êà-

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

закона подобия, характеризую щ их

 

субгармонический каскад. Во первых,

 

он показал, что последовательность

 

μi быстро сходится

Ðèñ. 2.30.

μ= 0,892486418... ,

èсущ ествует предел

lim

μi

− μi− 1

= δ.

μ

 

 

− μ

 

i→ ∞

i

+ 1

i

 

 

 

 

 

Важно, что величина δ не зависит от конкретного вида функции f (x) (лю - бая выпуклая, непрерывная, дифференцируемая функция с одним максимумом) и равна

δ = 4,6692016091....

Это первый закон подобия. Второй закон подобия касается положения устойчивых точек. Н а рисунке 2.30 схематически показана структура реш е- ний уравнения (2.41). Рассматриваю тся точки пересечения с прямой x = 0,5

до ближайш ей к ней точки на устойчивом 2n -цикле. Для соответствую щ их расстояний dn справедливо соотнош ение

78

lim dn = − α

n→ ∞ d n+ 1

èвторая константа Ф ейгенбаума

α= 2,5029078750....

Отметим, что в результате бесконечной последовательности бифуркаций удвоения при μ = μвозникает бесконечное множество (аттрактор Ф ейгенбаума), который имеет размерность Хаусдорфа D = 0,548... . Важно, что при всех μ < μпоказатель Ляпунова отрицателен, стремясь при μ → μк нулю . Следовательно, аттрактор Ф ейгенбаума неявляетсястранным.

Хаос возникает при μ > μ, где показатель Ляпунова в основном положителен. П оведениевэтой области достаточно сложное. Хаотические области чередую тсяс«окнами периодичности» (светлыезоны на рис.2.31).

Ðèñ. 2.31.

79

2.8 Н екоторые примеры

2.8.1 Система Лоренца

Рассмотрим подробно свойства системы Лоренца, полученной ранее в параграфе1.5 как пример маломодовой модели конвекции в подогреваемом снизу слое жидкости. И меем систему (1.35)

&

= σ(Y

X ),

 

X

 

Y& = − XZ +

rX Y ,

(2.42)

&

= XY

bZ.

 

Z

 

Н апомним, что управляю щ им параметром является относительное число Рейнольдса r , а число П рандтля и параметр b для определенностиво всех случаях, когда будут обсуждаться численные результаты, будем пола-

ãàòü σ = 10, b = 8 / 3.

Уравнения (2.42) имею т тривиальное реш ение X 0 = Y0 = Z0 = 0 , îòâå-

чаю щ ее отсутствию конвекции. П роверим это реш ение на устойчивость. Для этого представим всетри переменные в виде

X = X

0

+ xe− λt , Y = Y + ye− λt , Z = Z

0

+ ze− λt ,

(2.43)

 

0

 

 

считая x, y, z - малыми возмущ ениями. (2.43) подставляем в (2.42) и

Ðèñ. 2.32.

80

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

( λ − σ )x + σy = 0, rx + ( λ − 1) y = 0, ( λ + b )z = 0.

Реш ая задачу на собственные значения, приравниваем нулю определитель системы и получаем

λ =

σ + 1

±

(σ + 1)2 − 4σ(1 − r)

.

 

2

2

 

 

Видно, что при r > 1 один из двух корней становится отрицательным, то есть в точном соответствии с результатом Релея (иначе и быть не может) при r = 1 возникаетконвективное движение.

Система (2.42) имеет и нетривиальное реш ение

X = Y = ± b(r − 1),

(2.44)

 

Z = r − 1.

У переменных X è Y действительная часть появляется при r > 1 . Таким образом, в точке r = 1 имеет место нормальная бифуркация вилки и появляетсядва устойчивых реш ения, соответствую щ их стационарной валиковой конвекции с противоположным направлением вращ ения конвективных валов.

П овторяя линейный анализ устойчивости для реш ения (2.44), приходим к кубическому уравнению

Ðèñ. 2.33.

Соседние файлы в предмете Физика