П.Г.Фрик - Турбулентность модели и подходы, часть 1
.pdf71
Вопрос об измерении размерности аттрактора становится особенно сложным при попытках обработки экспериментальных данных, когда даже вопрос о размерности фазового пространства, то есть вопрос о необходимом числе независимых переменных, остается открытым. П одход к реш е- нию этой задачи дает так называемая теорема Таккенса, суть которой состоит в следующ ем.
П усть имеется динамическая |
|
|
||||
система (не слиш ком больш ой |
|
|
||||
размерности |
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 − |
|
, |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
4μ |
|
|
|
|
которое |
устойчиво, |
òàê |
êàê |
ïðè |
|||
|
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.