Пред.
След.
Макеты страниц
Распознанный текст, спецсимволы и формулы могут содержать ошибки, поэтому с корректным вариантом рекомендуем ознакомиться на отсканированных изображениях учебника выше Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике До сих пор рассматривались только «типичные» функции или семейства функций, т. е. «находящиеся в общем положении». Это означает, что члены ряда Тейлора при разложении функции в окрестности любой точки независимы и что на них не накладывается никаких органичений. Если на систему наложены какие-либо ограничения симметрии, то они проявятся в виде ограничений на члены ряда Тейлора при разложении потенциальной функции в ряд в окрестности некоторой точки. Попытаемся распространить теорию катастроф на класс симметричных функций. Для этого рассмотрим функцию $F(x, y ; c)$ двух переменных состояния $(x, y)$ и $k$ управляющих параметров $c \in \mathbb{R}^{k}$; будем предполагать, что $F$ имеет критическую точку в начале системы координат, и рассмотрим отдельно влияние четырех различных органичений симметрии на разложение в ряд Тейлора. Пример 1. $F(x, y ; c)$ не меняется при замене $x \rightarrow \pm x$. Ряд Тейлора может содержать только четные степени $x$ : Поскольку $\partial^{p+q} F / \partial x^{p} \partial y^{q}=F_{p q}=(-)^{p} F_{p q}$, все коэффициенты $F_{p q}$ с нечетным $p$ должны быть равны нулю; $F_{01}$ также равно нулю, поскольку начало системы координат является критической точкой. Пример 2. $F(x, y ; c)$ не меняется при замене $x \rightarrow \pm x$ и $y \rightarrow \pm y$. При наложении таких ограничений симметрии $F_{p q}=(-)^{p} F_{p q}=(-)^{q} F_{p q}=$ $=(-)^{p+q} F_{p q}$, поэтому все коэффициенты с нечетными $p$ или $q$ должны быть равны нулю, и Пример 3. $F(x, y ; c)$ инвариантна относительно восьмиэлемөнтной группы $C_{4 v}$, состоящей из отражений относнтельно прямых $x=0, y=0, x=y$, $\boldsymbol{x}=-y$ и вращений на $\pi / 2, \pi, 3 \pi / 2,2 \pi=0$ рад. (Вращения порождаются парой отражений.) Из инвариантности относительно отражений от прямых $x=0, y=0$ вытекают ограничения, обсуждавшиеся выше (разд. 2). Инвариантность относительно отражений ог прямой $x=y$ налагает дополнительное ограничение $F_{p q}=F_{q p}$, поэтому разложение $F(x, y ; c)$ в ряд Тейлора теперь имеет вид Пример 4. $F(x, y ; c)$ инвариантна относительно группы вращений: Тогда $F$ является функцией только одного инварианта $\left(r^{2}=x^{2}+y^{2}\right.$ ) группы вращений и В каждом из приведенных рядов коэффициенты ряда Тейлора являются функциями $k$ управляющих параметров $c$, хотя это явно не указывалось. Теперь с помощью методов, описанных в гл. 3 и 4, для всех типов ограничений симметрии можно изучать канонические формы и универсальные деформации функций $F(x, y ; c)$. В случае (17.5ii) один из трех квадратичных коэффициентов также может быть сделан равным нулю. Результаты, описанные ниже, зависят от того, равен ли нулю член $F_{40}$ или $F_{22}$. В (17.6) члены, заключенные в скобки и помеченные индексом 0 , могут быть сделаны равными нулю соответствующим выбором трех управляющих параметров. (17.6) к следующим каноническим формам: Аналогичная процедура используется и в общем случае. Предположим, что $F$ есть $k$-параметрическое семейство функций $n$ переменных состояния и что $F$ должно быть инвариантно относительно некоторой группы симметрий $G$, действующей в $\mathbb{R}^{n}$. Пусть $\varphi_{1}(x), \varphi_{2}(x), \ldots, \varphi_{i}(x), \ldots$ – однородные неприводимые инвариантные многочлены на $\mathbb{R}^{n}$ относительно $G$, и пусть $\varphi_{i}(x)$ имеет степень $d_{i}$. Полное множество однородных инвариантных многочленов $\varphi_{i}(x)$ можно найти, анализируя характеры, как это было сделано в гл. 11. Тогда разложение $F(x ; c)$ имеет вид где коэффициент $F_{p_{1}} \ldots$…. ряда Тейлора есть коэффициент при члене степени $p_{1} d_{1}+\ldots+p_{i} d_{i}+\ldots$, инвариантном относительно $G$. Будем считать, что $G$ не имеет линейных инвариантов, т.е. $0 \in \mathbb{R}^{n}$ является критической точкой. Тогда элементарная теория катастроф применительно к симметризованной функции (17.9) позволяет (1) расположить коэффициенты $F_{p 1} \ldots$…. в убывающем порядке и выбрать $k$ управляющих параметров так, чтобы первые $k$ ненулевых коэффициентов ряда Тейлора обратились в нуль; (2) найти гладкое преобразование переменных, сохраняющее симметрию и удаляющее «наибольшее число» членов высших порядков. Полученная функция будет ростком функции $F(x ; c)$, инвариантным относительно группы симметрий $G$. При этом универсальная деформация будет содержать члены, первоначально обращенные в нуль соответствующим выбором управлений, и любые члены ростка, умноженные на модуль (такие члены в (17.8 ii) и (17.8 iii) подчеркнуты). Если предполагается, что $F(x ; c)$ инвариантна относи тельно группы симметрий $G$ (действующей в начале) и что $F(x ; c)$ имеет минимумы (но $x=0$ минимумом не является), то существует несколько значений $x^{0} \in \mathbb{R}^{n}$, в которых $F(x ; c)$ достигает минимума. Более того, группа инвариантности $F(x ; c)$ около $x^{0}$ является подгруппой группы $G$. В $x^{0}$ матрица устойчивости $F$ может быть вырожденной, а может и не быть. Для иллюстрации этих соображений рассмотрим функцию $F(x ; c)$ д действительных переменных состояния $x_{1}, \ldots, x_{n}$, инвариантну относительно действительной ортогональной группы $S O(n)$. Тогда разложение $F(x ; c)$ в ряд Тейлора в окрестности точки $0 \in \mathbb{R}^{n}$ имеет вид где $r^{2}=x_{1}^{2}+\ldots+x_{n}^{2}$. который не является единственным, поскольку $F$ принимает одинаковые значения во всех точках, находящихся на расстоянии $\left(-F_{2} / 2 F_{4}\right)^{1 / 2}$ от начала координат. Если зафиксировать точку $x^{0}=(0, \ldots, 0, r)$, то $F(x ; c)$ будет инвариантна относительно І руппы вращений $S O(n-1)$, действующей на первые $(n-1)$ координат $x_{1}, \ldots, x_{n-1}$. Матрица устойчивости функции $F$, вычисленная в $x^{0}$ (или в любой эквивалентной точке), имеет единичный ранг: одно собственное значение положительно, $\lambda=$ $=-4 F_{2}>0$, а остальные $n-1$ равны нулю. Такое понижение симметрии при переходе от единственного минимума в $0 \in \mathbb{R}^{n}$ к неединственному минимуму в $r
|
1 |
Оглавление
|