П.Г.Фрик - Турбулентность модели и подходы, часть 1
.pdf51
П ри этом прежнее реш ение становится неустойчивым. В этой точке имеет место бифуркация, называемая вилкой (ответвление пары реш ений в виде притягиваю щ их точек). Таким образом, точкой бифуркации называется точка, в которой происходит ветвление реш ений.
2.2.2 Бифуркация Хопфа
Бифуркацией Хопфа называется процессрождения предельного цикла из точки. П оведение системы вблизи точки бифуркации иллю стрирует рисунок 2.8. Н а рисунке схематически изображены фазовые траектории при трех значениях управляю щ его параметра ε : ε < εc , ε = εc , ε > εc .
Отметим два важных свойства бифуркации Хопфа. Во-первых, вблизи точки бифуркации период колебаний не зависит от величины надкритичности ε − εñ . Во-вторых, амплитуда колебаний (амплитуда предельного
цикла) зависит от надкритичности по корневому закону, то есть пропорциональна величине | ε − εc | .
И менно с бифуркацией Хопфа связан первый предложенный сценарий перехода от ламинарного течения к турбулентности (Ландау, 1944г.). Согласно сценарию Ландау переход к турбулентности представляет собой бесконечную цепочку бифуркаций Хопфа, каждая из которых приводит к появлению новой частоты. В такой схеме аттрактор представляет собой n - мерный тор с n , стремящ имсяк бесконечности, и хаос рождаетсявсистеме с очень больш им числом степеней свободы.
2.2.3 Н ормальные и обратныебифуркации |
|
|||
П редставленная на |
рис.2.7 бифур- |
|
||
кационная |
диаграмма |
соответствует |
|
|
нормальной (суперкритической) бифур- |
|
|||
кации вилки. Это означает, что возни- |
|
|||
каю щ ая в точке бифуркации пара реш е- |
|
|||
ний ответвляется от начального реш ения |
|
|||
мягко, то есть с нулевой начальной ам- |
|
|||
плитудой, которая монотонно растет по |
|
|||
мере роста надкритичности. |
|
|||
Точно также нормальной (супер- |
|
|||
критической) |
называется бифуркация |
Ðèñ. 2.9. |
||
Хопфа, если предельный цикл рождается |
||||
|
с нулевой амплитудой и в точке бифур-
52
кации система находится в состоянии нейтральной устойчивости. П о мере удаления от точки бифуркации происходит плавное увеличение амплитуды предельного цикла.
Возможна и другая картина, когда в точке бифуркации происходит жесткий переход к циклу конечной амплитуды (или, в случаевилки, две новыеточки появляю тся на конечном расстоянии друг от друга). Это происходит, когда нелинейные члены в уравнениях стремятся усилить возникаю щ ую неустойчивость. П роходя точку бифуркации справа налево (рис.2.9) можно видеть, что неустойчивая неподвижная точка превращ ается в устойчивую неподвижную точку и неустойчивый предельный цикл. Такая бифуркация называетсяобратной èëè субкритической.
Важной особенностью обратных бифуркаций является наличие интервала управляю щ его параметра εñ < ε < εc , в котором сосущ ествуют два
устойчивых реш ения. Какое из этих реш ений реализуется, зависит от предыстории: при движении слева направо неподвижная точка остается устой- чивой до значения ε = εñ, после чего реш ение перепрыгивает на одну из
двух устойчивых ветвей. П ри движении справа налево реш ение следует вдоль этой ветви до точки ε = εñ , где скачком переходит в устойчивую не-
подвижную точку на оси.
Такое явление называется гистерезисом и хорош о известно в самых различных областях физики и механики.
2.3 Как описать переход и хаос?
2.3.1 Сечения П уанкаре
И дея метода П уанкаресостоит в снижении объема обрабатываемой информации при изучении поведения фазовых траекторий путем рассмотрения лиш ь дискретного ряда точек на траектории. Реализуется эта идея путем выбора некоторой (вообщ е говоря, произвольной) плоскости в фазовом пространстве и наблю дения за точками пересечения этой плоскости фазовыми траекториями. М етод пояс-
Ðèñ. 2.10. няет рисунок 2.10, где для трехмерного фазового пространства показаны
53
точки пересечения плоскости фазовой траекторией (причем фиксируются только точки,
âкоторых траектории пересекают плоскость
âодном направлении, в данном случае, сверху вниз).
Ìножество точек пересечения Pi îáðà-
çóþ ò сечение П уанкаре, а преобразование, связываю щ ее последую щ ую точку с предыдущ ей
Pi+ 1 = T (Pi ) |
(2.7) |
называетсяотображением П уанкаре.
П ри переходе от фазовых траекторий к сечению П уанкаре происходит снижение размерности исследуемого множества. П ри этом рассматривается не система дифферен-
циальных уравнений с непрерывным временем, а отображение (2.7) с дискретным временем и дифференциальные уравнения заменяются разностными. В то жевремя, сечение П уанкаресохраняеттопологические свойства породивш его его потока. Так для консервативной системы сечение сохраняет, а для диссипативной сокращ ает площ ади на плоскости S .
Если реш ение системы периодическое, характеризуемое частотой f1 , то фазовая траектория представляет собой замкнутую кривую и сечение П уанкаре представляет собой в простейш ем случае одну единственную точку (или несколько точек, если траектория очень извилистая и/или неудачно выбрана плоскость сечения). Если в реш ении появляется вторая частота f2 и аттрактор представляет собой двумерный тор, то точки в се- чение П уанкаре ложатся на замкнутую кривую, которая может иметь или не иметь точек самопересечения (рис.2.11). П ри этом точки могут образовывать на этой кривой конечное множество, если отнош ение частот f1 / f2 рационально и фазовая траектория представляет собой замкнутую линию , или покрывать кривую непрерывным образом, если отнош ение частот иррационально.
П осмотрим, как выглядит проблема устойчивости периодического реш ения с точки зрения отображения П уанкаре. Вопроссостоит в том, является ли замкнутая траектория устойчивой по отнош ению к малым возмущ ениям. И начеговоря, нужно узнать, как изменится положение точки P на следую щ ем ш аге, если на данном ш аге внести возмущ ение в ее положение. Ограничиваясь линейным анализом устойчивости, для описания отображения П уанкареT (P) вводят матрицу
54
é¶T ù |
|
|
|||
M = ê |
|
i |
ú, i, j = 1,2 |
, |
(2.8) |
|
|
||||
ê¶x j ú |
|
|
|||
ë |
û |
|
|
называемую матрицей Ф локе. Эта матрица характеризует реакцию ото-
бражения T вдоль координаты i на возмущ ение вдоль координаты j . Óñ- |
||
тойчивостьцикла определяется собственными |
|
|
значениями матрицы (2.8). Смещ ение траек- |
|
|
тории на следую щ ем витке экспоненциально |
|
|
убывает со временем, если все собственные |
|
|
значения лежат внутри единичной окружно- |
|
|
сти на комплексной плоскости. Ели же какое- |
|
|
либо собственное значение становится по мо- |
|
|
дулю больш еединицы, то смещ ения растут со |
|
|
временем и цикл становитсянеустойчивым. |
Ðèñ. 2.12. |
|
И зучение свойств матрицы Ф локе по- |
||
|
||
зволяет не только определить устойчив или |
|
нет предельный цикл, но и узнать вид бифуркации, соответствую щ ей потере устойчивости. П отеря устойчивости, как уже отмечалось выше, происходит при пересечении модуля собственного значения через единичную окружность. Это пересечение может происходить тремя различными способами (рис.2.12).
В первом случае, собственное значение действительно и пересекает окружность в точке+1. Этот переход соответствует бифуркации узел-седло, означаю щ ей, что появляетсяодно неустойчивое направление и периодиче- ское движение разруш ается.
Во втором случае, собственное значение также действительно, но пересекает окружность в точке-1. М омент перехода соответствует ситуации, когда траектория через раз снова попадает в прежнюю точку. Это так называемая бифуркация удвоения периода (субгармоническая бифуркация). Она можетбыть нормальной и обратной. П ри нормальной субгармониче- ской бифуркации реш ение заменяется новым устойчивым периодическим реш ением с удвоенным периодом (см. параграф 1.7), при обратной бифуркации возникает временная перемежаемость, когда долгие интервалы поч- ти периодического движения сменяю тся хаотическими осциляциями.
Третий тип перехода возникает при комплексных собственныхзначе- ниях. В этом случае пара комплексно-сопряженныхзначений одновременно пересекает единичную окружность. Этот переход отвечает бифуркации Хопфа (возникает блуждание траектории вокруг устойчивой прежде точ- ки). Если бифуркация нормальная, то предельный цикл переходит в тор, если обратная, то вновь возникаетперемежаемость.
2.3.2 П оказатели Ляпунова
Теория Ф локе рассматривает устойчивость замкнутой фазовой траектории, интересуясь при этом только поведением всего цикла в целом. М ожно поставить вопрос и о локальной устойчивости траектории, независимо от того, является ли она замкнутой или нет. И наче говоря, речь идет о характеристике скорости расхождения (схождения) начально близких траекторий в фазовом пространстве. Количественной мерой расходимости траекторий являю тсяпоказатели Ляпунова.
Чтобы ввести показатели Ляпунова, необходимо рассмотреть эволю - цию малого возмущ ения δX (t) фазовой
траектории X (t) . И нтегрируя числено исследуемую систему уравнений, можно построить матрицу M , связываю - щ ую вектор возмущ ений в момент времени t + δt с вектором в момент времени t :
δX (t + δt) = M (δt)δX (t) .
Äëÿ n - мерной системы матрица M будет иметь размерность n2 è n собственных значений. Траектория устойчива, если модули всех собственных чисел меньш е единицы (или показатели степени при экспоненциальном представлении собственных чисел отрицательны). Н а практике интерес представляет наиболее опасное направление и определяется только один, самый больш ой показатель Ляпунова. И сходя из того, что на конечных временах возмущ енная траектория уходит
55
Ðèñ. 2.13.
56
в самом неустойчивом направлении, практическое определение первого показателя Ляпунова можно реализовать по следую щ ей схеме.
В точке X (t) на заданной траектории вносится возмущ ение δX (t) , отстоящ ее на расстояние d0 от основной траектории. Реш ая далее исследуе-
мую систему уравнений для невозмущ енного и возмущ енного реш ения, вы- числяют расстояниемежду траекториями d (t) через промежуток времени τ . Далее, возмущ енную точку снова устанавливают на расстоянии d0 от основной траектории, но так, что она остается в том направлении от точки X (t + τ) , что было получено в результате вычислений возмущ енного реш е- ния. Тем самым на каждом ш агемы вычисляем скорость расхождения траекторий в наиболееопасном направлении. Считая, что расхождение траекторий подчиняется экспоненциальному закону d (t + τ) = d0 eλ1τ и много-
кратно повторяя эту процедуру, приходим к следую щ ей формуле для вы- числения первого показателя Ляпунова:
|
|
1 |
m |
di |
|
|
λ1 |
= lim |
å ln |
. |
|||
|
d0 |
|||||
|
m→ ∞ mτ |
i=1 |
|
2.3.3 Энтропия Колмогорова
Другой важной характеристикой хаотического движения в фазовом пространстве является энтропия Колмогорова (Ê-энтропия). Н апомним, что энтропия есть мера беспорядка (в термодинамике) или мера информации, необходимой для определения положения системы в некотором состояния (в теории информации) и определяется формулой
S = − å Pi ln Pi ,
i
ãäå Pi есть вероятность нахождения системы всостоянии i .
П усть система эволю ционирует в d - мерном фазовом пространстве, которое разбивается на ячейки размера l (всего l d ячеек). Состояние системы фиксируется через интервалы времени τ и на каждом ш агерегистрируется номер ячейки, в которой оказалась фазовая траектория X (t) . Обозна- чим совместную вероятность того, что система, стартовав при в
ячейке i0 , прош ла через ячейки i1 , i2,.... и в момент t = t0 + nτ оказалась в ячейке in . И нформация, необходимая для определения положения системы на заданной траектории, пропорциональна энтропии Ш енона
57
K n = − å Pi0 ....in ln Pi0 ....in . i0 ...in
Тогда, если известно, что система прош ла цепочку состояний i0 ...in , то для предсказания положения системы на следую щ ем ш аге требуется дополни-
тельная информация K n+ 1 − |
K n . И начеговоря, эта разность описывает поте- |
||||||
рю информации на ш аге n + 1. |
|
|
|
||||
Энтропия Колмогорова вводится как характеристика скорости поте- |
|||||||
ри информации |
|
|
|
|
|
|
|
|
1 |
m− 1 |
|
1 |
|
|
|
K = lim lim lim |
å |
(K n+ 1 − K n ) = − lim lim lim |
å Pi0 ....im ln Pi0 ....im . |
(2.9) |
|||
|
|
||||||
τ → 0 l → 0 m→ ∞ |
mτ n=0 |
τ → 0 l → 0 m→ ∞ |
mτ i0 ...im |
|
П роцедуру вычисленияэнтропии иллю стрирует рисунок 2.13 на примере одномерной системы с дискретным временем. Ось абсцисс соответствует времени, разбитому на интервалы длиной τ . П ри рассмотрении дискретного времени предел по τ не берется. ВероятностьPi0 = l , а число ячеек,
в которые может попасть система на следую щ ем стоянным и равным N . Тогда вероятность
ш аге пусть остается по- , = l / N 2 , à
P |
= l / N m . Тогда общ еечисло возможных траекторий есть M = N m / l è |
||||||||
i0 |
...im |
|
|
|
|
|
|
|
|
|
|
1 |
M |
|
|
1 |
|
l |
|
|
K = − lim lim |
å |
Pi0 ....im ln Pi0 ....im |
= − lim lim |
M |
(ln l − m ln N ) = ln N. |
|||
|
|
|
m |
||||||
|
l → 0 m→ ∞ m |
1 |
|
l → 0 m→ ∞ m N |
Н а рис.2.13а показан пример регулярного движения, когда изячейки i0 система однозначно переходит в данную ячейку i1 и т.д., а первоначально
близкие траектории остаю тсяблизкими. В этом случае N = 1 è K = 0 . В слу- чае, показанном на рис.2.13б, близкие траектории расходятся экспоненциально и N = e λ . Тогда K = λ и, как видим, Ê - энтропия совпадает в этом случае с показателем Ляпунова. П оследний случай (рис.2.13в) соответствуетслучайной системе, в которой на каждом ш агесистема с равной вероятностью оказывается в любой ячейке. Это приводит к тому, что N → ∞ è
K → ∞ .
58
2.4 Спектры Ф урье
2.4.1 Н епрерывноеи дискретное преобразование Ф урье
Анализ Ф урье играет особую роль при исследовании не только периодических, но также квазипериодических и стохастических сигналов. В контексте задач, рассматриваемых в этой главе, он интересует нас как инструмент, позволяю щ ий отличать периодические режимы от стохастиче- ских, но значение метода Ф урье в изучении проблемы турбулентности этим не исчерпывается. В дальнейш ем мы увидим, насколько он полезен при численном исследовании турбулентных потоков и при обработке результатов измерений. Все это делает необходимым краткое изложения основных свойств непрерывного и дискретного преобразования Ф урье.
Н апомним, что Ф урье предложил разложение функций в ряд по гармоническим функциям как метод реш ения уравнения теплопроводности, которое в одномерном случае имеет вид
∂t T = η∂xxT . |
(2.10) |
Если задача реш ается на отрезке (0,L) и имеет, например, нулевые граничные условия, то температура представляется рядом
|
T (x,t) = å bn |
æ2πnx ö |
|
|
|
|
|
|
|||||||
|
(t)sinç |
|
|
|
÷ . |
|
|
|
|
|
(2.11) |
||||
|
|
|
|
|
|
|
|
|
|||||||
|
|
n |
|
è |
|
L ø |
|
|
|
|
|
|
|||
П одстановка (2.11) в (2.10), даетуравнение |
|
|
|
|
|
||||||||||
& |
æ2πnx |
ö |
|
|
|
æ2πn |
ö2 |
æ2πnx ö |
|
||||||
å bn |
(t)sinç |
|
÷ |
= - ηå bn |
(t)ç |
|
÷ sinç |
|
|
÷, |
(2.12) |
||||
|
|
|
L |
||||||||||||
n |
è L |
ø |
|
n |
è L |
ø |
è |
ø |
|
которое распадается на отдельные уравнения для каждой гармоники (для этого достаточно умножить уравнение на sin(2πm / L) и проинтегрировать по рассматриваемому отрезку)
& |
æ2πm ö2 |
|
|||
bm |
(t) = - ç |
|
÷ ηbm (t) . |
(2.13) |
|
L |
|||||
|
è |
ø |
|
Реш ение поставленной задачи становится в результате тривиальным: после разложения в ряд для каждой гармоники имеется реш ение (2.13), имеякоторые, можно восстановить по (2.11) распределение температуры в лю бой момент времени.
59
В общ ем случае периодическую функцию f (t) с периодом T , äëÿ êî-
|
|
|
|
|
|
|
|
|
|
+ T / 2 |
|
|
|
|
|
|
|
|
|
торой сущ ествуетинтеграл ò− T / 2 | |
f (t) | dt , можно разложить в ряд Ф урье: |
||||||||||||||||||
|
|
|
|
|
|
a0 |
|
∞ |
|
|
|
|
|
|
|
|
∞ |
|
|
|
|
|
f (t) = |
+ |
å (an cos(nω 0t) + bn sin(nω 0t))= å cn einω 0t , |
(2.14) |
|||||||||||||
|
|
|
2 |
||||||||||||||||
|
|
|
|
|
|
|
n=0 |
|
|
|
|
|
|
|
n=− ∞ |
|
|
||
ãäå ω 0 = 2π / T , а коэффициенты Ф урье определяются выражениями: |
|
||||||||||||||||||
a = |
2 |
T / 2f (t) cos(nω t)dt , |
|
b |
= |
2 |
T / 2f (t) sin(nω t)dt , |
(2.15) |
|||||||||||
T |
|
T |
|||||||||||||||||
n |
|
ò |
|
|
|
|
|
0 |
|
|
n |
|
|
ò |
|
0 |
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
− T / 2 |
|
|
|
|
|
|
|
|
|
|
− T / 2 |
|
|
|
||
cn |
= c−*n = |
1 |
|
T / 2f (t)e− iω 0t dt , |
|
|
|
|
|
|
|
|
(2.16) |
||||||
T |
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
ò |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
− T / 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
гдезвездочкой обозначено комплексноесопряжение. |
|
||||||||||||||||||
Действительную функцию |
f (t) |
можно представить интегралом Ф у- |
|||||||||||||||||
рье, если для неесущ ествуетинтеграл ò−+∞∞ | |
f (t) | dt . Тогда |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
+ ∞ |
? |
2πiν t |
dν , |
|
|
(2.17) |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
f (t) = òf (ν)e |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
− ∞ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ ∞ |
|
− 2πiν t |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
? |
|
dt . |
|
|
(2.18) |
||||
|
|
|
|
|
|
|
|
|
|
f (ν) = òf (t)e |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
− ∞ |
|
|
|
|
|
|
|
|
|
Здесь |
? |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
f (ν) есть фурье-образ функции f (t) , ν - частота (будем также |
пользоваться круговой частотой ω = 2πν ). Отметим, что когда речь идет о
преобразовании Ф урье от функции координат |
f (x) , то в преобразовании |
вместо частот появляются волновые числа k è |
( k = 2πγ , в полной анало- |
гии с частотами). |
|
2.4.2Основныесвойства фурье-преобразования
Ïриведем формулировки основных теорем, касаю щ ихся свойств непрерывного фурье-преобразования, помня при этом, что все они имею т прямой аналогвтерминах дискретного преобразования.
И так, пусть f (x) - действительная функция, для которой сущ ествует
интеграл ò+ ∞ | f (x) | dx . Тогда
− ∞
60
|
|
|
1 |
) |
|
|
|
|
||
f (x)= |
|
|
|
|
òf |
(k )eikx dk |
(2.19) |
|||
|
|
|
|
|||||||
2π |
||||||||||
? |
|
|
1 |
|
|
òf |
|
− ikx |
|
|
f (k )= |
|
|
|
(x)e |
dx |
(2.20) |
||||
|
|
|
|
|
||||||
2π |
|
|
или, с учетом связи k = 2πγ ,
f (x) = òf (γ)e2πiγx dγ
f(γ) = òf (x)e− 2πiγx dx
Èспользуя для преобразования Ф урье обозначение
( ) = ~ ( )],
f k F f x
сформулируем его основныесвойства.
1.Единственность: преобразование (2.19)-(2.20) однозначно.
2.Линейность:
~ |
α1 f1 |
(x)+ α 2 f2 ( x )]= α1 f1 (k )+ α 2 f2 ( k ) . |
|||||||||
F |
|||||||||||
3.Теорема о масш табах: |
|
|
|
1 )æk |
ö |
|
|||||
|
|
~ |
[f |
(αx)]= |
|
||||||
|
|
F |
|
f ç |
|
÷. |
|
||||
|
|
α |
|
||||||||
4.Теорема о сдвиге: |
|
|
|
|
|
èα |
ø |
|
|||
|
|
|
|
|
|
ika )æk ö |
|||||
|
|
~ |
[f |
(x + a)]= e |
|||||||
|
|
F |
|
f ç |
|
÷. |
|||||
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
èn ø |
(2.21)
(2.22)
(2.23)
5.Теорема о свертке: |
|
|
|
2 |
|
|
|
~ |
* f 2 ) = f1 (k )×f2 (k ), |
(2.24) |
|
|
F ( f1 |
||
~ |
×f2 ) = f1 (k )* f2 (k ). |
. |
|
|
F ( f1 |
||
6. Теорема о дифференцировании: |
|
||
~ |
n |
(2.25) |
|
|
F (f (n ) (x))= (ik ) f (k ). |
||
7. Теорема П арсеваля3: |
|
|
|
|
òf1 (x) f 2 (x)dx = òf1 (k ) f 2 (k )dk . |
(2.26) |
|
2 Н апомним, что сверткой называетсяинтегральная операция f1 (x) * f2 (x) = òf1 (x - |
x¢) f2 (x¢)dx |
3 Важным следствием теоремы П арсеваля являетсясохранение энергии: ò| f (x)|2 dx = ò| f (k )|2 dk