wiki

Центральное многообразие

Разделы:
- Сноски

Центра́льное многообра́зие особой точки автономного дифференциального уравнения — инвариантное многообразие в фазовом пространстве, проходящее через особую точку и касающееся инвариантного центрального подпространства линеаризации дифференциального уравнения. [1] Важный объект изучения теории дифференциальных уравнений и динамических систем. В некотором смысле, вся нетривиальная динамика системы в окрестности особой точки сосредоточена на центральном многообразии.[2]

Содержание

Формальное определение

Рассмотрим автономное дифференциальное уравнение с особой точкой 0:

x˙=Ax+f(x){displaystyle {dot {x}}=Ax+f(x)}

${displaystyle {dot {x}}=Ax+f(x)}$ ,

где x∈Rn{displaystyle xin mathbb {R} ^{n}}

${displaystyle xin mathbb {R} ^{n}}$ , A{displaystyle A} $A$ — линейный оператор, f(x){displaystyle f(x)} $f(x)$ — гладкая функция класса Ck+1{displaystyle C^{k+1}} ${displaystyle C^{k+1}}$ , причем f(0)=0{displaystyle f(0)=0} $f(0)=0$ и Df(0)=0{displaystyle Df(0)=0} ${displaystyle Df(0)=0}$ . Иными словами, Ax{displaystyle Ax} $Ax$ — линеаризация векторного поля в особой точке 0.

Согласно классическим результатам линейной алгебры, линейное пространство раскладывается в прямую сумму трех A{displaystyle A}

$A$ -инвариантных подпространств Rn=Ts⊕Tu⊕Tc{displaystyle mathbb {R} ^{n}=T^{s}oplus T^{u}oplus T^{c}} ${displaystyle mathbb {R} ^{n}=T^{s}oplus T^{u}oplus T^{c}}$ , где Ts,Tu,Tc{displaystyle T^{s},T^{u},T^{c}} ${displaystyle T^{s},T^{u},T^{c}}$ определяются знаком вещественной части соответствующих собственных значений (см. табл.)

подпространство	название	спектр A
Ts{displaystyle T^{s}} $T^{s}$	устойчивое (stable)	Re⁡λ<0{displaystyle operatorname {Re} lambda <0} ${displaystyle operatorname {Re} lambda <0}$
Tu{displaystyle T^{u}} ${displaystyle T^{u}}$	неустойчивое (unstable)	Re⁡λ>0{displaystyle operatorname {Re} lambda >0} ${displaystyle operatorname {Re} lambda >0}$
Tc{displaystyle T^{c}} ${displaystyle T^{c}}$	центральное (center)	Re⁡λ=0{displaystyle operatorname {Re} lambda =0} ${displaystyle operatorname {Re} lambda =0}$

Эти подпространства являются инвариантными многообразиями линеаризованной системы x˙=Ax{displaystyle {dot {x}}=Ax}

${displaystyle {dot {x}}=Ax}$ , решением которой является матричная экспонента x(t)=eAtx0{displaystyle x(t)=e^{At}x_{0}} ${displaystyle x(t)=e^{At}x_{0}}$ . Оказывается, динамика системы в окрестности особой точки по своим свойствам близка к динамике линеаризованной системы. Точнее, справедливо следующее утверждение: В окрестности особой точки существуют многообразия Ws,Wu{displaystyle W^{s},W^{u}} ${displaystyle W^{s},W^{u}}$ и Wc{displaystyle W^{c}} ${displaystyle W^{c}}$ классов Cr+1,Cr+1{displaystyle C^{r+1},C^{r+1}} ${displaystyle C^{r+1},C^{r+1}}$ и Cr{displaystyle C^{r}} $C^{r}$ соответственно, инвариантные относительно фазового потока дифференциального уравнения. Они касаются в начале координат Ts,Tu{displaystyle T^{s},T^{u}} ${displaystyle T^{s},T^{u}}$ и Tc{displaystyle T^{c}} ${displaystyle T^{c}}$ и называются устойчивым, неустойчивым и центральным многообразиями соответственно. [3]. Устойчивое и неустойчивое инвариантные многообразия называются также гиперболическими, они определяются единственным образом; в то же время, локальное центральное многообразие определяется неоднозначным образом.

Пример: седлоузел

Невырожденные особые точки на плоскости не имеют центрального многообразия. Рассмотрим простейший пример вырожденной особой точки: седлоузел вида

{x˙=x2y˙=y{displaystyle {begin{cases}{dot {x}}=x^{2}\{dot {y}}=yend{cases}}}

${displaystyle {begin{cases}{dot {x}}=x^{2}\{dot {y}}=yend{cases}}}$

Его неустройчивое многообразие совпадает с осью Oy и состоит из двух вертикальных сепарататрис {x=0,y>0}{displaystyle {x=0,y>0}}

${displaystyle {x=0,y>0}}$ и x=0,y<0{displaystyle x=0,y<0} ${displaystyle x=0,y<0}$ и самой особой точки. Остальные фазовые кривые задаются уравнением

y(x)=y0exp⁡(1x−1y0){displaystyle y(x)=y_{0}exp left({frac {1}{x}}-{frac {1}{y
_{0}}}right)}

${displaystyle y(x)=y_{0}exp left({frac {1}{x}}-{frac {1}{y_{0}}}right)}$ ,

где y(x0)=y0{displaystyle y(x_{0})=y_{0}}

${displaystyle y(x_{0})=y_{0}}$ .

Нетрудно видеть, что в левой полуплоскости единственная фазовая кривая, стремящаяся к особой точке, совпадает с лучом оси Ox {x<0,y=0}{displaystyle {x<0,y=0}}

${displaystyle {x<0,y=0}}$ . В то же время, в правой полуплоскости существует бесконечно много (континуум) фазовых кривых, стремящихся к нулю — это графики функции y(x) для любого x0>0{displaystyle x_{0}>0} ${displaystyle x_{0}>0}$ и любого y0{displaystyle y_{0}} $y_0$ . В силу того, что функция y(x) является плоской в нуле, мы можем составить гладкое инвариантное многообразие из луча {x<0,y=0}{displaystyle {x<0,y=0}} ${displaystyle {x<0,y=0}}$ , точки (0, 0) и любой траектории в правой полуплоскости. Любое из них локально будет центральным многообразием точки (0, 0).

Сноски

↑ Д. Ван, Ч. Ли, Ш.-Н. Чоу. Нормальные формы и бифуркации векторных полей на плоскости. — М.: МЦНМО, 2005. — 416 с. — ISBN 5-94057-206-5., c. 13
↑ Ильяшенко Ю.С., Вейгу Л. Нелокальные бифуркации. — М.: МЦНМО-ЧеРо, 1999. — 416 с. — ISBN 5-900916-34-0., глава 1, п. 2.3
↑ Ильяшенко Ю.С., Вейгу Л. Нелокальные бифуркации. — М.: МЦНМО-ЧеРо, 1999. — 416 с. — ISBN 5-900916-34-0., глава 1, пункт 2.2

Это статья-заготовка по математике. Помогите Википедии, дополнив эту статью, как и любую другую.