Универсальность Фейгенбаума

Универсальность Фейгенбаума, или универсальность Фейгенбаума — Кулле — Трессера, — эффект в теории бифуркаций, заключающийся в том, что определённые числовые характеристики каскада бифуркаций удвоения периодов в однопараметрическом семействе унимодальных отображений при переходе от регулярного поведения к хаотическому оказываются не зависящими от выбора конкретного семейства (и, тем самым, являются универсальными константами). Такими характеристиками оказываются, в частности, предел отношений соседних отрезков параметров между двумя бифуркациями удвоения периода (названный постоянной Фейгенбаума $\mathrm{\delta <!--\; \delta \; -->}$$\delta$) и хаусдорфова размерность аттрактора в конечной точке каскада.

Эффект был открыт в численных экспериментах М. Фейгенбаумом и одновременно и независимо П. Кулле и Ч. Трессером; как Фейгенбаум, так и Кулле и Трессер предложили объяснение этого эффекта через описание поведения оператора ренормализации. Обоснование такого поведения в случае унимодальных отображений было сначала получено в (строгой, но опирающемся на проведённые с помощью компьютера выкладки) работе О. Лэнфорда, а затем в использующих комплексную технику работах Д. Салливана, К. МакМюллена^[en] и М. Любича.

Описание эффектаПравить

Универсальность Фейгенбаума — Кулле — Трессера — эффект, который был открыт при изучении перехода от регулярного поведения к хаотичному в однопараметрических семействах унимодальных отображений^[en], в частности, при исследовании семейства логистических отображений

$f_{\mathrm{\lambda <!--\; \lambda \; -->}}:[0,1]\to <!--\; \to \; -->[0,1],x\mapsto <!--\; \mapsto \; -->\mathrm{\lambda <!--\; \lambda \; -->}x(1-<!--\; -\; -->x)$$f_{\lambda }:[0,1]\to [0,1],\quad x\mapsto \lambda x(1-x)$ 

и семейства

$g_{\mathrm{\mu <!--\; \mu \; -->}}:[0,1]\to <!--\; \to \; -->[0,1],x\mapsto <!--\; \mapsto \; -->\mathrm{\mu <!--\; \mu \; -->}\sin <!--\; \; -->\mathrm{\pi <!--\; \pi \; -->}x.$$g_{\mu }:[0,1]\to [0,1],x\mapsto \mu \sin \pi x.$ 

А именно, в логистическом семействе отображений, при малых $\mathrm{\lambda <!--\; \lambda \; -->}$$\lambda$  аттрактором отображения оказывается единственная притягивающая неподвижная точка. При ${\mathrm{\lambda <!--\; \lambda \; -->}}_1=3$$\lambda _{1}=3$  происходит первая бифуркация удвоения периода, в результате которой неподвижная точка теряет устойчивость, и вместо неё аттрактором становится возникающая в этот момент притягивающая периодическая орбита периода 2. Эта орбита остаётся устойчивой при дальнейшем увеличении параметра вплоть до ${\mathrm{\lambda <!--\; \lambda \; -->}}_2\approx <!--\; \approx \; -->\mathrm{3,449}$$\lambda _{2}\approx 3{,}449$ , после чего происходит следующая бифуркация удвоения периода, и аттрактором становится рождающаяся при $\mathrm{\lambda <!--\; \lambda \; -->}={\mathrm{\lambda <!--\; \lambda \; -->}}_2$$\lambda =\lambda _{2}$  периодическая орбита периода 4. В свою очередь, эта орбита при $\mathrm{\lambda <!--\; \lambda \; -->}={\mathrm{\lambda <!--\; \lambda \; -->}}_3\approx <!--\; \approx \; -->\mathrm{3,544}$$\lambda =\lambda _{3}\approx 3{,}544$  теряет устойчивость, и аттрактором становится рождающаяся орбита периода 8, и так далее.

Эти значения накапливаются к некоторому значению ${\mathrm{\lambda <!--\; \lambda \; -->}}_{\ast <!--\; \ast \; -->}=\underset{n}{lim}{\mathrm{\lambda <!--\; \lambda \; -->}}_n$$\lambda _{*}=\lim _{n}\lambda _{n}$  — концевой точке каскада бифуркаций. Выполняя численные эксперименты, Фейгенбаум обнаружил, что их накопление асимптотически выглядит как геометрическая прогрессия:

${\mathrm{\lambda <!--\; \lambda \; -->}}_{\ast <!--\; \ast \; -->}-<!--\; -\; -->{\mathrm{\lambda <!--\; \lambda \; -->}}_n\sim <!--\; \sim \; -->C{\mathrm{\delta <!--\; \delta \; -->}}^{-<!--\; -\; -->n}.$$\lambda _{*}-\lambda _{n}\sim C\delta ^{-n}.$ 

Подобный сценарий перехода от регулярного поведения к хаотичному через каскад бифуркаций удвоения периода имеет место для любого семейства унимодальных отображений с отрицательной производной Шварца; поставив эксперименты для другого однопараметрического семейства унимодальных отображений, $g_{\mathrm{\mu <!--\; \mu \; -->}}:x\mapsto <!--\; \mapsto \; -->\mathrm{\mu <!--\; \mu \; -->}\sin <!--\; \; -->\mathrm{\pi <!--\; \pi \; -->}x,$$g_{\mu }:x\mapsto \mu \sin \pi x,$  Фейгенбаум обнаружил, что в этом случае моменты бифуркации ${\mathrm{\mu <!--\; \mu \; -->}}_n$$\mu _{n}$  накапливаются к предельному ${\mathrm{\mu <!--\; \mu \; -->}}_{\ast <!--\; \ast \; -->}$$\mu _{*}$  асимптотически как геометрическая прогрессия,

${\mathrm{\mu <!--\; \mu \; -->}}_{\ast <!--\; \ast \; -->}-<!--\; -\; -->{\mathrm{\mu <!--\; \mu \; -->}}_n\sim <!--\; \sim \; -->C^{\prime }{\mathrm{\delta <!--\; \delta \; -->}}^{-<!--\; -\; -->n},$$\mu _{*}-\mu _{n}\sim C'\delta ^{-n},$ 

причём с тем же, что и для логистического семейства, знаменателем ${\mathrm{\delta <!--\; \delta \; -->}}^{-<!--\; -\; -->1}$$\delta ^{-1}$ . В связи с этим, он высказал гипотезу, что подобное поведение моментов бифуркации универсально — не зависит от выбора конкретного однопараметрического семейства; константа $\mathrm{\delta <!--\; \delta \; -->}\approx <!--\; \approx \; -->\mathrm{4,669...}$$\delta \approx 4{,}669...$  получила название постоянной Фейгенбаума.

Объяснение: ренормализацияПравить

Обоснование эффекта универсальности опирается на описание динамики преобразования ренормализации $\mathcal{R}$$\mathcal{R}$  на пространстве унимодальных отображений интервала $[-<!--\; -\; -->1,1]$$[-1,\;1]$  в себя. А именно, при определенных условиях на унимодальное отображение f можно выделить интервал, который за две итерации отображается в себя, и отображение первого возвращения на который также будет унимодальным. Линейная смена масштаба после этого позволяет рассмотреть отображение первого возвращения опять как отображение исходного интервала $[-<!--\; -\; -->1,1]$$[-1,\;1]$  в себя; такое преобразование, сопоставляющее исходному отображению проитерированное со сменой масштаба, и называется ренормализацией.

Предложенное Фейгенбаумом и Кулле — Трессером объяснение эффекта универсальности основывалось на том, что у преобразования ренормализации есть единственная неподвижная точка $g$$g$ , тем самым, удовлетворяющая уравнению Фейгенбаума — Цитановича

$g(x)=-<!--\; -\; -->\frac{1}{\mathrm{\alpha <!--\; \alpha \; -->}}g(g(\mathrm{\alpha <!--\; \alpha \; -->}x)),$$g(x)=-{\frac {1}{\alpha }}g(g(\alpha x)),$ 

где $\mathrm{\alpha <!--\; \alpha \; -->}$$\alpha$  — константа перемасштабирования.

Эта неподвижная точка гиперболична, причём её неустойчивое многообразие одномерно, и пересекает поверхность в пространстве отображений, отвечающую бифуркации удвоения периода. Напротив того, устойчивое многообразие этой точки имеет коразмерность один (в бесконечномерном пространстве унимодальных отображений), и типичное однопараметрическое семейство отображений — в частности, квадратичное семейство — его трансверсально пересекает.

Тогда, асимптотическая скорость, с которой моменты бифуркаций удвоения периода ${\mathrm{\lambda <!--\; \lambda \; -->}}_n$$\lambda_n$  приближаются ${\mathrm{\lambda <!--\; \lambda \; -->}}_{\ast <!--\; \ast \; -->}$$\lambda _{*}$  к предельному — экспоненциальная, со знаменателем, обратным большему 1 собственному значению линеаризации $\mathcal{R}$$\mathcal{R}$  в точке $g$$g$ . В частности, отсюда следует явление универсальности: эта скорость определяется большим 1 собственным значением, и не зависит от выбора индивидуального семейства.

ИсторияПравить

В 1976 г. вышла работа Р. М. Мэя, исходной точкой которой служили вопросы популяционной динамики; в качестве математической модели рассматривались динамические системы на отрезке, соответствующие нескольким различным унимодальным отображениям, в том числе логистическому. Она мотивировала интерес к исследованию таких отображений и бифуркаций в их однопараметрических семействах, и в 1978 году М. Фейгенбаум и одновременно и независимо П. Кулле и Ч. Трессер обнаруживают в численных экспериментах эффект универсальности, и предлагают его объяснение через описание динамики оператора ренормализации.

Вскоре, в 1984 году, О. Лэнфорд строго доказывает данное свойство, однако его доказательство в существенной степени опирается на проведённые компьютерные вычисления.

СсылкиПравить

• Universal behaviour in dynamical systems, Springer Encyclopaedia of Mathematics.
• Аннотация курса М. Ямпольского
• Weisstein, Eric W. Feigenbaum Constant (англ.) на сайте Wolfram MathWorld.
• Видеозапись доклада А. Авила на Международном конгрессе математиков, Хайдарабад, 2010.

ЛитератураПравить

• R. M. May, Simple mathematical models with very complicated dynamics, Nature 261 (1976), 459—467.
• P. Coullet, C. Tresser, Itérations d’endomorphismes et groupe de rénormalisation, Journal de Physique Colloques 39:C5 (1978), pp. 25-28.
• C. Tresser and P. Coullet, Iterations d’endomorphismes et groupe de renormalisation, C. R. Acad. Sci. Paris 287A (1978), pp. 577—580.
• M. J. Feigenbaum, Quantitative universality for a class of nonlinear transformations, J. Statist. Phys. 19 (1978), 25-52.
• M. J. Ferigenbaum, The universal metric properties of nonlinear transformations, J. Statist. Phys. 21 (1979), 669—706.
• O. E. Lanford III, A computer-assisted proof of the Feigenbaum conjectures, Bull. AMS. 6:3 (1984), pp. 427—434
• J.-P. Eckmann The Mechanism of Feigenbaum Universality, Proceedings of the International Congress of Mathematicians, Berkeley, California, USA, 1986.
• M. Lyubich, Feigenbaum-Coullet-Tresser Universality and Milnor’s Hairiness Conjecture, Annals of Mathematics, 149 (1999), pp. 319—420.
• J. Milnor, Self-similarity and hairiness in the Mandelbrot set, in Computers in Geometry and Topology, Lect. Notes in Pure and Appl Math. 114 (1989), 211—257
• Е. Б. Вул, Я. Г. Синай, К. М. Ханин, Универсальность Фейгенбаума и термодинамический формализм, УМН, 39:3 (237) (1984), 3-37.
• В. И. Арнольд, Дополнительные главы теории обыкновенных дифференциальных уравнений, изд. 2-е.