Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике Напомним ситуацию для течения Куэтта: вязкая несжимаемая жидкость заполняет пространство между двумя концентрическими цилиндрами. Пусть $R_{1}$ – радиус внутреннего цилиндра, а $R_{2}$ – радиус внешнего цилиндра. Допустим, что мы вращаем оба цилиндра. Пусть $\Omega_{1}$ – угловая скорость внутреннего цилиндра, а $\Omega_{2}$ – угловая скорость внешнего цилиндра. Будем считать, что $\Omega_{1}>0$ и $\Omega_{2}>0$ (т. е. мы вращаем оба цилиндра против часовой стрелки). При малых значениях $\Omega_{1}$ и $\Omega_{2}$ можно наблюдать установившийся горизонтальный ламинарный поток, называемый течением Куэтта. Действительно, при произвольных $\Omega_{1}, \Omega_{2}$ течение Куэтта является явным решением уравнений Навье – Стокса, которое в цилиндрических координатах $(r, \varphi, z)$ задается следующим образом (см. гл. 1): Чтобы получить это решение, мы должны игнорировать особые явления, возникающие на концах цилиндров. Мы сделаем это, отождествляя концы цилиндров, так что пространство $A$, в котором заключена наша жидкость, будет прямым произведением кольца и окружности. Пусть $E$ – пространство $C^{r}$-векторных полей $Y$ на $A$ с $C^{r}$-топологией, удовлетворяющи условиям $\operatorname{div} Y=0$ и $\left.Y\right|_{\partial A}=0$. Мы будем считать $\Omega_{1}$ малой фиксированной величиной, а $\Omega_{2}$ переменной: $\Omega_{2}$ будет нашим бифуркационным параметром $\mu$. Для каждого $\mu$ пусть $Z_{\mu}$ означает соответствующее векторное поле Куэтта на $A$. Тогда для каждого $\mu$ векторные поля $Y$ на $A$, удовлетворяющие условиям $\operatorname{div} Y=0$, $Y$ неподвижно относительно $\partial A$, образуют пространство $E_{\mu}$; его можно мыслить себе как $Z_{\mu}+E$. Будем очевидным образом отождествлять каждое $E_{\mu}$ с $E$. Будем считать, что уравнения Навье – Стокса определяют для каждого $\mu$ векторное поле $X_{\mu}$ на $E$. Сделаем предположение (вообще говоря, неверное), что векторное поле $X: E \times R \rightarrow E$, задаваемое равенством $X(Y, \mu)=X_{\mu}(Y)$, удовлетворяет условиям работы Рюэля $\left.{ }^{1}\right)$. Отметим, что точка $(0, \mu) \in E \times \mathbb{R}$ соответствует векторному полю Куэтта $Z_{\mu}$. Так как течение Куэтта – стационарное решение уравнений Навье – Стокса, то $X_{\mu}(0)=0$ для всех $\mu$. Пусть $G=S O(2) \times O(2)$ – произведение группы вращений кольца на полную ортогональную группу окружности. Это естественная группа симметрий задачи. Отметим, что векторное поле, соответствующее течению Куэтта, $G$-инвариантно. Для каждого $g \in G$ определим $\Lambda_{g}: E \rightarrow E$ как $\left(\Lambda_{g} Y\right)(x)=D g Y\left(g^{-1}(x)\right)$, где $x \in A$. Так как каждое $g$ является изометрией $A$ и $D^{k} g=D^{k} g^{-1}=0$ при $k>1$, то легко проверить, что каждое $\Lambda_{g}$ – линейная изометрия $E$. Таким образом, $\Lambda_{a}=\left\{\Lambda_{g}: g \in G\right\}$ – это группа линейных изометрий $E$. Физические симметрии задачи означают, что $X_{\mu} \Lambda_{g}=$ $=\Lambda_{g} X_{\mu}$ при всех $g \in G$. Предположим, что при малых $\mu$ точка 0 является устойчивой особой точкой $X_{\mu}$ (на самом деле это можно доказать, см. Серрин [1,2] и гл. 2А и 9). Данное предположение согласуется с известным экспериментальным фактом, что течение Куэтта устойчиво при малых $\Omega_{1}, \Omega_{2}$. Допустим, что в первой точке бифуркации $\mu_{0}>0$ только конечное число собственных значений оператора $D X_{\mu}(0)$ достигает мнимой оси, причем каждое имеет конечную кратность. Тогда, в общем случае, устойчивое многообразие $V \subset E \times \mathbb{R}$ в момент бифуркации должно касаться $E^{0} \times R$ в точке $\left(0, \mu_{0}\right)$, где $E^{0}$ 一 подпространство $E$, в котором $\Lambda_{o}$ действует неприводимо. Таким образом, по существу $\Lambda_{a}^{0}$ – это полная ортогональная группа плоскости. Если $\left(0, \mu_{0}\right)$ – «слабый аттрактор» для $X_{\mu}$, то, согласно примеру 1 п. 4 (приспособленному для векторного поля), для каждого малого $\mu>\mu_{0}$ мы ожидаем существование следующих инвариантных множеств вблизи начала $E \times\{\mu\}$ (см. рис. 7.1): Предположим, что $Y_{1}, Y_{2} \in S_{\mu}$ и $Y_{1}=\Lambda_{g} Y_{2}, g \in 1 \times O(2)$. Тогда $Y_{1}(x)=D g Y_{2}\left(g^{-1} x\right)$. Это означает, что $Y_{1}$ и $Y_{2}$ отличаются только вертикальным сдвигом и (или) отражением $A$. Кроме того, так как $\Lambda_{S O(2) \times 1}$ действует тождественно на $E^{0}$, мы видим, что каждое $Y \in S_{\mu}$ неподвижно относительно элементов $\Lambda_{\text {so(2) }_{1} \text {, }}$, т. е. каждое $Y \in S_{\mu}$ обладает горизонтальной вращательной симметрией. Такое описание $S_{\mu}$ согласуется с экспериментально наблюдаемым явлением – вихрями Тейлора. Когда $\mu$ проходит некоторое критическое значение, обычно наблюдается, что течение Куэтта разбивается на ячейки, внутри которых жидкость движется радиально от внутреннего цилиндра к внешнему и обратно и в то же время продолжает свое круговое движение вокруг вертикальной оси (рис. 7.2). Для уравнений Навье-Стокса вихри Тейлора являются устойчивым решением с горизонтальной вращательной симметрией. Так как любая картина вихрей Тейлора может встретиться с той же вероятностью, что и ее сдвиг в вертикальном направлении на любое расстояние (предполагая, что концы цилиндра отождествлены), мы видим, почему из течения Куэтта рождается целая окружность неподвижных точек, которые переставляются операторами $\Lambda_{1 \times 0(2)}$. Когда $\mu$ возрастает, $S_{\mu}$ на нашем рисунке все сильнее удаляется от точки $(0, \mu)$; это соответствует тому, что вихри Тейлора «усиливаются», т.е. усиливается радиальное движение. Отметим, что при $\mu>\mu_{0}$ течение Куэтта остается нулем поля $X_{\mu}$, однако этот нуль неустойчив. Рис. 7.2. зом:рассмотрим $O(2)$ как группу, образованную числами $\theta$, $0 \leqslant \theta<2 \pi$, где $\theta$ задает угол поворота, и отражением $r$. Представим тогда $1 \times O(2)$ в $O(2)$ (изометриях $\mathbb{R}^{2}$ ) с помощью гомоморффизма $(1, \theta) \longmapsto n \theta,(1, r) \mapsto r$. Так как это гомоморфизм на, мы получаем, как и выше, $S_{\mu}$. Теперь, однако, каждое $Y_{\mu} \in S_{\mu}$ инвариантно относительно $\Lambda_{H}$, где $H=S O(2) \times$ $X\{0,2 \pi / n, 4 \pi / n, \ldots, 2(n-1) \pi / n\}$. Эта дополнительная инвариантность относительно новой $\Lambda_{Q}^{0}$ будет сохраняться и в дальнейшем.) Теперь мы изучим вторую бифуркацию $X_{\mu}$. Ситуация усложняется тем обстоятельством, что при $\mu>\mu_{0}$ нули $X_{\mu}$, которыми мы интересуемся, образуют одномерные множества. Мы предположим, что уже сделана такая замена координат, что $S_{\mu} \subset E^{0} \times\{\mu\}$. Пусть $Y_{\mu} \in S_{\mu}$. При малых $\mu>\mu_{0}, D X_{\mu}\left(Y_{\mu}\right)$ имеет соб ственное значение 0 кратности 1 , а остальная часть спектра лежит в полуплоскости $\operatorname{Re} z<0$. Отметим, что если также $Y_{\mu}^{\prime} \in S_{\mu}$, то $Y_{\mu}^{\prime}=\Lambda_{g} Y_{\mu}$ дла некоторого $g \in 1 \times O(2)$, поэтому $X\left(Y_{\mu}^{\prime}\right)=X \Lambda_{g}\left(Y_{\mu}\right)=\Lambda_{g} X\left(Y_{\mu}\right) . \quad$ Следовательно, $\quad D X\left(Y_{\mu}^{\prime}\right) \cdot \Lambda_{g}=$ $=\Lambda_{g} \cdot D X\left(Y_{\mu}\right)$, т. е. $D X\left(Y_{\mu}^{\prime}\right)$ и $D X\left(Y_{\mu}\right)$ сопряжены. Таким образом, Spec $D X\left(Y_{\mu}\right)=\operatorname{Spec} D X\left(Y_{\mu}^{\prime}\right)$. Предполагая, что $\Lambda_{1 \times 0(2)}$ действует на $E^{0}$ подобно полной ортогональной группе плоскости, получаем, что $Y_{\mu}$ неподвижно относительно в точности двух элементов $\Lambda_{1 \times 0 \text { (2) }}$, именно $\Lambda_{(1,1)}$ и $\Lambda_{(\mathrm{i}, r)}$, где $\Lambda_{(1, r)}^{0}$ – как раз отражение относительно прямой, определенной $Y_{\mu}$. Так как $E^{0}$ неподвижно в каждой точке относительно $\Lambda_{S O(2) \times 1}$, то подгруппа группы $\Lambda_{G}$, которая оставляет на месте $Y_{\mu}$, – это $\Lambda_{S O(2)} \times\{1, r\}$. Поэтому $D X\left(Y_{\mu}\right) \cdot \Lambda_{g}=\Lambda_{g} \cdot D X\left(Y_{\mu}\right)$ для всех $g \in S O(2) \times\{1, r\}$. Допустим, что для $\mu_{0}<\mu<\mu_{1}$ и $Y_{\mu} \in S_{\mu}$. Spec $D X_{\mu}\left(Y_{\mu}\right)$ содержится в полуплоскости $\operatorname{Re} z<0$, за исключением одного собственного значения 0 кратности 1. Допустим также, что для $Y_{\mu_{1}} \in S_{\mu_{1}} \operatorname{Spec} D X_{\mu_{1}}\left(Y_{\mu_{1}}\right) \cap(\operatorname{Re} z=0)$ состоит из конечного числа изолированных собственных значений (включая 0), каждое из которых имеет конечную кратность. Зафиксируем $Y_{\mu_{1}} \in S_{\mu_{1}}$, и пусть $r$ теперь обозначает единственный элемент группы $O(2)$, для которого $Y_{\mu_{1}}$. неподвижно относительно $\Lambda_{S O(2) \times\{1, r\}}$. X имеет центральное многообразие $W$ в точке $Y_{\mu}$ касающееся $T_{Y_{\mu_{1}}} S_{\mu_{1}} \oplus E^{1} \oplus\{\mu$-ось $\}, \quad$ где $E^{1}$ – конечномерное подпространство $T_{Y_{\mu_{1}}} \oplus E^{1}$ инвариантно относительно $\Lambda_{\text {SO (2) } \times\{1, r\}}$. Так как $W$ содержит всю локальную рекуррентность поля $X$ около точки $Y_{\mu_{1}}$, то $W$ содержит все точки $\bigcup_{4} S_{\mu}$ в окрестности $Y_{\mu_{1}}$. Пусть II: $E \times{ }^{\prime} \mathrm{R} \rightarrow E$ – проекция на первый сомножитель. Тогда для каждого $\mu$, близкого к $\mu_{1}$, существует единственное $Y_{\mu} \in S_{\mu}$, для которого $\Pi Y_{\mu} /\left\|Y_{\mu}\right\|=\Pi Y_{\mu_{1}} /\left\|Y_{\mu_{1}}\right\|$. Возьмем теперь это в качестве определения $Y_{\mu}$. Тогда подгруппа $\Lambda_{\sigma}$, которая оставляет $Y_{\mu}$ неподвижным, в точности есть $\Lambda_{S O(2) \times 1, r}$ Қак в п. 1, мы можем отождествить окрестность $Y_{\mathbf{u}_{1}}$ в $W$ с окрестностью $U$ точки $\left(Y_{\mu_{1}}, 0,0\right)$ в $T_{Y_{\mu_{1}}} S_{\mu_{1}} \oplus E^{\mathrm{I}} \oplus\{\mu$-ось $\}$, и $\left.X\right|_{V}-$ с векторным полем на $U$ (которое снова назовем $X$ ) таким образом, чтобы выполнялись следующие условия: Предположим, что выполняется (2). Тогда для каждого $\mu$, близкого к $\mu_{1}$, существует единственное подпространство $E_{\mu}^{2} \subset T_{\left(Y_{\mu_{1}, 0, \mu}\right)} U$, такое, что $D X\left(Y_{\mu_{1}}, 0, \mu\right)$ оставляет $E_{\mu}^{2}$ инвариантным и $\left.D X\left(Y_{u_{1}}, 0, \mu\right)\right|_{E_{\mu}^{2}}$ имеет собственными значениями только $\lambda_{\mu}, \bar{\lambda}_{\mu}$. Если мы теперь будем считать $E_{u}^{2}$ подпространством $T_{Y_{\mu_{1}}} S_{\mu_{1}} \oplus E^{1} \oplus\{\mu$-ось $\}$, то $E_{\mu}^{2}$ инвариантно относительно действия $\Lambda_{S O(2) \times\{1, r\}}$, так как этим свойством обладает $D X\left(Y_{\mu_{1}}, 0, \mu\right)$. В типичном случае $\Lambda_{S o(2) \times(1, ~ r)}$ действует неприводимо на $E_{\mu_{1}}^{2}$. Допустим, $E_{\mu_{1}}^{2} \cong \mathrm{R}^{2}$, тогда $E^{1} \cong \mathrm{R}^{2}$ и каждое $E_{u}^{2} \cong \mathrm{R}^{2}$. Предположим, что $\Lambda_{S O(2) \times(1, r}$ действует на $E_{\mu_{1}}^{2}$ подобно вращениям плоскости. Другими словами, предположим, что каждая точка $E_{\mu_{1}}^{2}$ неподвижна относительно $\Lambda_{(1, r)}$ и $\Lambda_{S O(2) \times 1}$ действует на $E_{\mu, \text { вращениями пло- }}^{2}$ скости. Так как $\Lambda_{(1, r)}$ оставляет $E_{\mu_{1}}^{2}$ неподвижной в каждой точке, то $E_{\mu_{1}}^{2}$ инвариантна относительно $X_{u_{1}}$. Так как $E_{\mu}^{2}$ почти параллельна $E_{\mu_{4}}^{2}$ и $\Lambda_{S O(2) \times(1, r)}$-инвариантна, мы можем заключить, что $E_{\mu}^{2}$ на самом деле параллельна $E_{\mu_{1}}^{2}$ и, следовательно, $E_{\mu}^{2} X_{\mu}$-инвариантно. Глобально окружность неподвижных точек $S_{\mu_{1}}$ бифурцирует в устойчивый тор $T_{\mu}$ для $\mu>\mu_{1}, T_{\mu}$ составлен из замкнутых орбит ${ }^{1}$ ), каждая из которых рождается из одной неподвижной точки $S_{\mu_{1}}$. Замкнутые орбиты инвариантны относи- тельно $\Lambda_{S о(2) \times\{1, r\}}$ и переставляются элементами $\Lambda_{1 \times O(2)}$. Эта бифуркация соответствует следующему экспериментальному наблюдению; когда $\mu$ возрастает, вихри Тейлора становятся «дважды периодическими», т. е. наводятся горизональные волны, и эта волновая структура вращается горизонтально с постоянной скоростью (см. рис. 7.3). Это рассуждение не учитывает горизонтальной периодичности, часто наблюдаемой в волновой картине. Эта периодичность может быть объяснена, если предположить, что представление $S O(2) \times 1$ в $O(2)$ (группе изометрий $E_{\mu_{1}}^{2} \cong \mathbb{R}^{2}$ ) имеет вид $(\theta, 1) \mapsto n \theta$. Более серьезной проблемой является то, что из нашего рассуждения вытекает сохранение симметрии относительно вертикального отражения после второй бифуркации: элементы $T_{\mu}$ инвариантны относительно $\Lambda_{(1, r)}$. Эта симметрия не наблюдается экспериментально. В целом ситуация требует дальнейшего изучения. Методы, обсуждавшиеся здесь, кажутся очень плодотворными для продвижения в этом направлении.
|
1 |
Оглавление
|